Fourier analysis, also known as spectral analysis, encompasses all sorts of Fourier expansions, including Fourier series, Fourier transform and the discrete Fourier transform (and relatives). The non-commutative analog is (representation-theory).

learn more… | top users | synonyms

0
votes
1answer
8 views

For a compact abelian group, what can I conclude if range of a character is finite?

Suppose $G$ is a compact abelian group, and suppose $<g^n>$ is dense in $G$ where $g$ is a particular element of $G$ and $<g^n>$ is the subgroup generated by $g$. Let $\chi$ be a character ...
0
votes
0answers
16 views

Fourier transform of convolution with additional dependence

There's the well-known identity $$\widehat{f*g}(\xi)=\hat f(\xi)\hat g(\xi)$$ for, say, $f,g\in\mathcal S$. Does anyone know of an extension of this to a situation like $$\mathcal F_x\{[f*g(\cdot,x)](...
1
vote
1answer
18 views

Square-integrability of Fourier transform

Given an absolutely integrable function $f(x)$, with continuous and absolutely integrable first and second derivatives, is it true that its Fourier transform $F(t)$ is square-integrable? I know that ...
0
votes
0answers
31 views

Is my formula for DFT correct?

I'm doing "Digital Image" online course. I tried to solve the following question $x(n_1,n_2)$ is defined as $x(n_1,n_2)=(−1)^{(n_1+n_2)}$ when $0≤n_1$, $n_2≤2$ and zero elsewhere. Denote by $X(k_1,k_2)...
420
votes
33answers
48k views

Different methods to compute $\sum\limits_{k=1}^\infty \frac{1}{k^2}$

As I have heard people did not trust Euler when he first discovered the formula (solution of the Basel problem) $$\zeta(2)=\sum_{k=1}^\infty \frac{1}{k^2}=\frac{\pi^2}{6}.$$ However, Euler was Euler ...
-1
votes
0answers
34 views

Possible master thesis [on hold]

I am searching a topic for my master thesis. My interests are especially probability theory (something with brownian motion would be nice) and fourier analysis (also in an abstract Hilbert space ...
0
votes
0answers
7 views

Prove $\mathscr{F}[(1+|x|^2)^{-s}]\in L^1(\mathbb{R}^d)$

Let $s>0$, show that $\mathscr{F}[(1+|x|^2)^{-s}]\in L^1(\mathbb{R}^d)$. The original goal is to prove that $W^{s,p}(\mathbb{R}^d)\hookrightarrow L^p(\mathbb{R}^d)$ for all $s>0,1\le p\le \...
2
votes
1answer
1k views

How can I use the time-frequency uncertainty principle?

I have a signal composed of the summation of a set of sine waves of different frequencies. The amplitude of these sub-signals can change so many times a second. I have been told that, if I want to ...
0
votes
1answer
24 views

Sequence $\{ e^{2 \pi i n x}\}_{n\in\mathbb N}$ and Paley-Wiener space $PW(0,1)$.

Let us consider the Paley-Wiener space: $$PW(0,1):=\{f\in L^2(\mathbb R)\cap C(\mathbb R),\ \operatorname{supp}\hat f\subset (0,1) \}.$$ Let us consider $\{ e^{2 \pi i n x}\}_{n\in\mathbb N}$, for $x\...
1
vote
1answer
54 views

In a proof of the Riemann Lebesgue lemma

In a proof of the Riemann-Lebesgue lemma in Hunter's Applies Analysis, he first proves the statement in the Schwartz space and then uses a density argument: Here are my questions: What goes ...
0
votes
0answers
24 views

Compute two 1D lookup tables for computing DCT of a 2D Laplacian

I am following a paper that I have to implement through coding and I am struggling understanding what it means exactly with the sentence "create two 1D lookup tables for computing the DCT of a 2D ...
0
votes
0answers
23 views

Numerical method for fourier transform other than FFT/DFT

FFT relies on uniform samples, which cause aliasing, so FFT can be inaccurate in a certain case. Suppose you can obtain samples of $f(t): \mathbb{C} \to \mathbb{C}$ at any point ($t$ can also be a ...
9
votes
2answers
193 views

What is the precise mathematical definition of what a wavelet is and what is its relation to linear algebra?

I was reading on wavelets and it seems that its hard to find a precise mathematical definition of what this concept is. My confusion first arose due to Gilbert Stang's linear algebra book. In ...
0
votes
0answers
13 views

Convolution notation

I refer to notations like $$f*K_\epsilon(0)$$ in Convolution with Gaussian question. Do they mean $(f*K_\epsilon)(0)$, i.e. the convolution evaluated at zero or $f*(K_\epsilon(0))$, i.e. $f$ ...
0
votes
1answer
20 views

Short-time Fourier Transform identity in $L^2$

Define the Short-time (or windowed) Fourier Transform of a function $f:\mathbb{R}\rightarrow\mathbb{C}$ as follows, $F_gf(\omega,t)=\int\limits_{\mathbb{R}}f(x)\overline{g(x-t)e^{ix\omega}}dx$. Show ...
0
votes
1answer
59 views

When do Fourier series converge uniformly almost everywhere?

Let $f:\Bbb{R}\to\Bbb{R}$ be $2\pi$-periodic, $f\in L^1[0,2\pi]$, with fourier series $\frac{a_0}{2}+\sum_{n=1}^{\infty}(a_n \cos n\theta + b_n \sin n\theta)$. What condition must we impose upon $f$, ...
1
vote
0answers
39 views

Convergence of Fourier series in $L^2$ space

I'm learning about Fourier series, specifically $L^1$ and $L^2$ convergence, and need help with the following exercise: True or False (justify): $(1)$ The trigonometric series $2 + \sum_{k = ...
0
votes
1answer
30 views

Convolution with Gaussian question

Let $K_\epsilon(x):=\dfrac{e^{-x^2/\epsilon^2}}{\epsilon\sqrt\pi}$ for $x\in \mathbb{R}$, $\epsilon>0$. Let $f\in L^\infty(\mathbb{R})$ where $f$ is of bounded variation on any interval $[a,b]$. ...
0
votes
0answers
72 views

Problem: If $f\in L^1[0,1]$, show that $\lim_{n\to\infty}\frac{1}{n}\sum_{k=0}^{n-1}f(x+\frac{k}{n})=\int_0^1 f(s)ds$ in $L^1[0,1]$.

This is the solution from the Prof.: Define $f_n(x)=\frac{1}{n}\sum_{k=0}^{n-1}f(x+\frac{k}{n})$. Then, unless $j<n$, we get $\hat f_n(j)=\frac{1}{n}\sum_{k=0}^{n-1}e^{2\pi i j k/n} \hat f(j)=0$ ...
0
votes
3answers
55 views

If $f \in L^1(\mathbb{R})$, then $\hat{f}(\omega)‎\to0$ as $‎\omega‎ \to+‎\infty‎$?

The Fourier transform of $f$ is as follows: $$\hat{f}(\omega)=\frac{1}{‎‎‎\sqrt{2‎\pi‎}}\int_{-\infty}^{+\infty} e^{-i\omega t} f(t) \, dt.$$ I need to know that if $f \in L^1(R)$, then can we ...
0
votes
2answers
44 views

If $f \in L^2(R)$, then $\hat{f}\in L^2(R)$?

The Fourier transform of $f$ is as follows: $$\hat{f}(\omega)=\frac{1}{‎‎‎\sqrt{2‎\pi‎}}\int_{-\infty}^{+\infty} e^{-i\omega t}f(t)dt$$ I need to know that if $f \in L^2(R)$, then can we conclude that ...
0
votes
1answer
710 views

Y-Axis units on FFT graph

A 50Hz sinusoid wave with a voltage range of +/-20V is sampled at 512Hz for 1 second. No bias or phase shift are present. The signal is run through an FFT. The result is one spike at 50Hz on the ...
0
votes
1answer
20 views

What's the meaning of the continuity in spectrum analysis?

We all know for any kind of signal $f(x)$, it corresponds a Fourier transform function $F(\omega)$ that $$ f(t) = \frac{1}{2\omega} \int_{-\infty}^{+\infty} F(\omega) e^{i\omega t} d\omega $$ So, $F(\...
0
votes
0answers
22 views

Help needed in deriving the complex root of raised cosine power spectrum

The raised cosine power spectrum (energy spectrum) is defined as $$|\hat{\phi}|^2 = \begin{cases} 1,& \text {if} |\omega| \leq \pi (1-b)\\ \dfrac{1}{2}[1+\cos\dfrac{|\omega|-\pi(1-b)}{2b}],& \...
1
vote
1answer
55 views

Relationship between decay of Fourier transform and smoothness in $L^2$

This is Ex $2.3.6$ in Dym and Mckean's Fourier Series and Integrals. One can define the operator $\hat{f}(\gamma)$ for $f \in L^2(\mathbb{R})$ as $\lim_{b \rightarrow \infty, \, a \rightarrow -\infty}...
4
votes
2answers
89 views

If $\int_0^{2\pi} q = 0$, then $\lim_{n \to \infty} \int_0^{2\pi}p(x)q(nx) = 0$

I'm learning about Fourier series and need help with the following exercise: Let the functions $p, q \in L^1([0, 2\pi])$ be bounded and $2\pi$-periodic. If $\int_0^{2\pi} q = 0$, show that $...
2
votes
2answers
107 views

What is the Fourier Sine Transform of $\frac{1}{x(a^2+x^2)}$? (Please check my solution)

My textbook says that the answer is $\frac{\pi}{2a^2}(1-e^{-as})$ while my answer is $\frac{1}{a^2}\sqrt{\frac{\pi}{2}}(1-\frac{e^{-as}}{2}+\frac{e^{as}}{2})$. Here is my solution: \begin{align} \hat{...
0
votes
0answers
26 views

Fourier Transform of $\frac{sin^2(3\pi C t) }{ 3 \pi^2 C t^2 }$?

C is a positive constant. How would you calculate the Fourier Transform of $\frac{sin^2(3\pi C t) }{ 3 \pi^2 C t^2 }$? As it is not easy to calculate the Fourier integral $ \int_{-\infty}^{\infty} \...
0
votes
0answers
9 views

When is a linear combination of spherical harmonics positive?

Let's say I have a real function $f$ on the sphere, and I express it as a linear combination of (real) spherical harmonics: $$f(x) = \sum_{l,m} \alpha_{l,m} Y_{l,m}(x).$$ Are there necessary and ...
1
vote
2answers
400 views

Fourier transform of $e^{-|t|}\sin(t)$

How can i calculate the Fourier transform of $e^{-|t|}\sin(t)$. I guess I need to do something with convolution, but I am not sure. Can somebody show me the way?
1
vote
0answers
33 views

Finding the maximum of $|\widehat{f''}|$ for $f$ in terms of the Gaussian

Let $$f = \begin{cases} e^{-x^2/2} - e^{-2 x^2} &\text{if $x\geq 0$,}\\ 0 &\text{if $x<0$.}\end{cases}$$ I would like to find out $|\widehat{f''}|_\infty$. A good numerical bound -- of ...
-2
votes
0answers
25 views

Find the function whose Fourier sine transform is $\frac{s}{1+s^2}$? (Please check my solution)

There needs to a $\sqrt{\frac{2}{\pi}}$ before that integral, which I have left by mistake. I have used this result : $$\int_{0}^{\infty}\frac{\sin{a x}}{x}dx = \frac{\pi}{2}$$ where $a > 0$. My ...
0
votes
1answer
48 views

Fourier transform of log(t)*exp(-t^2)

Let $f:\mathbb{R}\to \mathbb{C}$ be the function defined by $$f(t) = \begin{cases} \log(x) \exp(-x^2) &\text{if $x\geq 0$}\\ 0 &\text{if $x<0$.} \end{cases}$$ What is the Fourier transform ...
0
votes
0answers
58 views

A basis for $\text{span}_{L^2(0,1)} \left\{ \eta_\alpha,0<\alpha<1 \right\}$, and how compute coordinates

Let $$\text{span}_{L^2(0,1)} \left\{ \eta_\alpha,0<\alpha<1 \right\},$$ where we take $$\eta_\alpha(t)= \left\{ \frac{\alpha}{t} \right\} -\alpha \left\{ \frac{1}{t} \right\},$$ and $ \left\{ x ...
1
vote
0answers
32 views

mapping monotonicity and limit properties of $f$ to Fourier transform $\hat f$

Question Let $\hat f$ denote the Fourier transform of $f$ (non-unitary, angular frequency). I'm interested in a class of $\hat f$ that is characterized by the differential equation $$\hat f ' (t) = - ...
0
votes
1answer
32 views

A proof of the fact that the Fourier transform is not surjective

Let $f_n = \mathbb 1_{[-n,n]}$ for all $n \in \mathbb{N}$ 1) Compute explicitly $f_n \star f_1$ for all $n \in \mathbb{N}$. 2) Show that $f_n \star f_1$ is the Fourier transform of $g_n = \...
1
vote
1answer
24 views

Fourier transform symmetry property proof

I am trying to write my own proof that: If $f(t)$ is odd then so is $F(\nu).$ Where $F$ denotes the Fourier transform of $f.$ What I want to show is that if $f(t)=-f(-t),$ then $F(\nu)=-F(-\nu).$...
4
votes
1answer
237 views

Definition of the convolution with tempered distributions and Schwartz function

In the book where I'm studying there is the following exercise. If $x \in \mathbb{R}^n$, $\varphi \in \mathcal{S}(\mathbb{R}^n)$ and $u \in \mathcal{S}'(\mathbb{R}^n)$ we define $(u \ast \varphi)(x)=...
0
votes
1answer
27 views

In a proof of the Fourier inversion theorem

The following is the Fourier inversion theorem on Schwartz space and the beginning of its proof in Hunter's Applied Analysis (p.305): Would anybody elaborate how the one dimensional case could ...
6
votes
1answer
46 views

Fourier Transform of $\frac{1}{\sqrt{|x|}}$

I want to find the fourier transform of $\frac{1}{\sqrt{|x|}}$. I checked the table of common fourier transforms in Wikipedia, and I know the answer should be $$\sqrt{\frac{2\pi}{|\omega|}}$$ What I ...
0
votes
1answer
21 views

What will be power spectral density?

If the autocorrelation of a random process is given as $$r_x(k) = \begin{cases} 10 - \vert k \vert &\mbox{if } |k| < 10 \\ 0& \mbox{else.} \end{cases} $$ What will be the DTFT of this ...
6
votes
0answers
74 views

Rigorous justification for “complex” change of variable in integration

Suppose that I have $X_1,\ldots,X_n$ i.i.d. $\sim $ $X$ and $Y_1,\ldots,Y_n$ i.i.d. $\sim$ $Y$ for some continuous $X$ and $Y$. Consider the r.v.'s $\bar{X}=\frac{1}{n}\sum_jX_j$ and $\bar{Y}=\frac{1}{...
4
votes
2answers
82 views

Supremum of absolute value of the Fourier transform equals $1$, and it is attained exactly at $0$

Suppose that $f \in L^1(\mathbb{R}^n)$, $f \ge 0$, $\|f\|_{L^1} = 1$. How do I see that $\sup_{\xi\in\mathbb{R}^n} |\mathcal{F}(f)(\xi)| = 1$, and it is attained exactly at $0$?
1
vote
1answer
30 views

The indefinite integral of an $L^1$ function has a convergent series of Fourier coefficients

Let $f\in L^1([0,2\pi])$ be a $2\pi$-periodic function with $\hat f(0)=0$ and $\hat f(\vert n\vert)=-\hat f(-\vert n\vert)\geq 0$. Define $F(t)=\int_0^t f(x)dx$. I know that F iscontinuous, $2\pi$-...
2
votes
5answers
170 views

Evaluating the integral $\int_{-\infty}^\infty \frac{\sin^2(x)}{x^2}e^{i t x} dx$

I want to evaluate the integral $$\int_{-\infty}^\infty \frac{\sin^2(x)}{x^2}e^{i t x} dx$$ for all $t \in \mathbb{R}$. I would preferably do it using the tools of complex analysis, but since I ...
3
votes
1answer
55 views

Eigenfunctions of non-uniform convolution

Consider a non-uniform ("generalized"?) convolution operator: $$ A_h[f](t) = \int f(x)h(x,t)dx $$ I would like determine the eigenfunctions. In the "stationary" case where $h(x,t) = h(x-t)$ we have ...
1
vote
2answers
42 views

Convolution and Fourier transform problem

I was struggling with this question, can use some help. given that $a\not=0$ $$f_a(x) =\frac{1}{x^2+a^2}$$ I'm trying to find k and c dependent on a and b $$(f_a ∗ f_b) (x) = kf_c(x) $$ I know ...