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

319
votes
25answers
33k views

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

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

Closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$.

What is the closed form for $\sum_{n=-\infty}^{\infty}\frac{1}{(n-a)^2+b^2}$? We can use Fourier series of $e^{-bx}$ ($|x|<\pi$) to evaluate $\sum_{n=-\infty}^{\infty}\frac{1}{n^2+b^2}$. But this ...
3
votes
1answer
440 views

($n$-dimensional) Inverse Fourier transform of $\frac{1}{\| \mathbf{\omega} \|^{2\alpha}}$

I'd like to find the $n$-dimensional inverse Fourier transform of $\frac{1}{\| \mathbf{\omega} \|^{2\alpha}}$ i.e. $$ \int_{\mathbb{R}^n} \frac{1}{ \| \mathbf{\omega} \|^{2\alpha}} e^{2 \pi i ...
176
votes
13answers
145k views

Fourier transform for dummies

A vague question of Kevin Lin which didn't quite fit at Mathoverflow: So ... what is the Fourier transform? What does it do? Why is it useful (both in math and in engineering, physics, etc)? ...
16
votes
3answers
703 views

A log improper integral

Evaluate : $$\int_0^{\frac{\pi}{2}}\ln ^2\left(\cos ^2x\right)\text{d}x$$ I found it can be simplified to $$\int_0^{\frac{\pi}{2}}4\ln ^2\left(\cos x\right)\text{d}x$$ I found the exact value in the ...
5
votes
1answer
281 views

How to prove a function is the Fourier transform of another $L^{1}$ function?

If $m(\xi)$ satisfies $$D^{\alpha}m(\xi)\leq \frac{C}{(1+|\xi|)^{|\alpha|+1}}$$ then is $m$ a Fourier transform of a $L^{1}$ function? (Note that the Bernstein theorem can't be applied here, since ...
15
votes
2answers
1k views

Sobolev space is an algebra

How do you prove that the Sobolev space $H^s(\mathbb{R}^n)$ is an algebra if $s>\frac{n}{2}$, i.e. if $u,v$ are in $H^s(\mathbb{R}^n)$, then so is $uv$? Actually I think we should also have ...
9
votes
6answers
726 views

show that $\int_{0}^{\infty} \frac {\sin^3(x)}{x^3}dx=\frac{3\pi}{8}$

show that $$\int_{0}^{\infty} \frac {\sin^3(x)}{x^3}dx=\frac{3\pi}{8}$$ using different ways thanks for all
11
votes
3answers
767 views

Dirac Delta or Dirac delta function?

Is Dirac delta a function? What is its contribution to analysis? What I know about it: It is infinite at 0 and 0 everywhere else. Its integration is 1 and I know how does it come.
2
votes
2answers
263 views

proof that translation of a function converges to function in $L^1$

Let $f \in L^1(\mathbb{R})$, for $a\in \mathbb{R}$ let $f_a(x)=f(x-a)$, prove that: $$\lim_{a\rightarrow 0}||f_a -f ||_1=0$$ I know that there exists $g\in C(\mathbb{R})$ s.t $||f-g||_1 \leq ...
10
votes
1answer
845 views

Tensor products of functions generate dense subspace?

Let $X$ and $Y$ be two spaces in certain category, $F(\cdot)$ a functor associating each space with a function space (with certain topology). Assume that for any $f\in F(X)$ and $g\in F(Y)$, $f\otimes ...
3
votes
2answers
8k views

Derivative of convolution

Assume that $f(x),g(x)$ are positive and are in $L^1$. Moreover, they are differentiable and their derivative is integrable. Let $h(x)=f(x)*g(x)$, the convolution of $f$ and $g$. Does the derivative ...
3
votes
1answer
438 views

Complex Fourier series

I need to find the complex Fourier series of this function, and I'm having problems calculating these integers: $$|a|<1$$ $$x\in [-\pi,\pi]$$ $$f(x)=\frac{1-a\cos(x)}{1-2a\cos(x)+a^2}$$ ...
57
votes
6answers
10k views

Connection between Fourier transform and Taylor series

Both Fourier transform and Taylor series are means to represent functions in a different form. My question: What is the connection between these two? Is there a way to get from one to the other (and ...
13
votes
1answer
926 views

Relation between function discontinuities and Fourier transform at infinity

I have made the following assertion a few times in this space without ever having provided a proof: Let $m$ be the smallest number such that a function $f \in L^2(\mathbb{R})$ has a discontinuity in ...
1
vote
2answers
5k views

Calculate the Fourier transform of ${\rm b}\left(x\right) = 1/\left(x^{2} +a^{2}\right)$

I need help to calculate the Fourier transform of this funcion $${\rm b}\left(x\right)=\frac{1}{x^{2} + a^{2}}\,,\qquad a > 0$$ Thanks.
18
votes
2answers
3k views

Fourier transform of function composition

Given two functions $f$ and $g$, is there a formula for the Fourier transform of $f \circ g$ in terms of the Fourier transforms of $f$ and $g$ individually? I know you can do this for the sum, the ...
7
votes
1answer
314 views

$L_{p}$ distance between a function and its translation

I'm working through a proof and one of the comments is that for a function $f\in L_p (\mathbb{T})$: $$\lim_{t\to 0}\;\|f(\cdot + t) - f\|_p = 0.$$ How do I prove it? I think it is intuitively ...
5
votes
1answer
169 views

Solution of a differentiation in integral form

How will I get the solution in the form of integration $$ \phi (0,t)=\frac{R^{3}}{2}\frac{A}{\sqrt{\pi }}\int_{0}^{\infty }k^2e^{-R^{2}k^{2}/4}\cos (\sqrt{k^2+2} t)\ dk. $$ from the equation, when ...
20
votes
2answers
1k views

Applications of Pseudodifferential Operators

I am very interested in just about anything that has to do with PDE's, and inevitably pseudodifferential operators comes up. Its obvious that such a novel way of looking at PDE's would be important, ...
18
votes
4answers
10k views

Non-power-of-2 FFT's?

If I have a program that can compute FFT's for sizes that are powers of 2, how can I use it to compute FFT's for other sizes? I have read that I can supposedly zero-pad the original points, but I'm ...
6
votes
1answer
2k views

Does rapid decay of Fourier coefficients imply smoothness?

Under the isomorphism of Hilbert spaces $L^2(S^1)\to\ell^2(\mathbb Z),\quad e^{2\pi i n t}\mapsto e_n$, smooth functions on the circle are mapped to rapidly decaying sequences (see wikipedia). Is the ...
3
votes
1answer
831 views

Heisenberg uncertainty principle in $d$ dimensions.

Suppose $f(x)$ is a $d$-dimensional real function and $\int_{R^{d}}|f(x)|^2dx=1$. Show that $$ (\int_{R^{d}}|x|^2|f(x)|^2dx)(\int_{R^{d}}|\xi|^2|\hat f(\xi)|^2d\xi)\geq\frac{d^2}{16\pi^2}$$ I ...
2
votes
1answer
425 views

Convolution of an $L_{p}(\mathbb{T})$ function $f$ with a term of a summability kernel $\{\phi_n\}$

... is the result in $L_{p}$? A remark in my notes says yes but I can't see how to verify it. As was pointed out to me in a previous question I asked last night, I need to show that the following ...
11
votes
1answer
2k views

Calculating the Fourier transform of $\frac{\sinh(kx)}{\sinh(x)}$

I'm trying to compute $$\int_{-\infty}^\infty \frac{\sinh(kx)}{\sinh(x)}e^{-i\omega x} \ dx$$ i.e. the Fourier transform of $x\mapsto \frac{\sinh(kx)}{\sinh(x)}$, where $0<k<1$ is fixed. But ...
0
votes
1answer
125 views

Derivative of Fourier transform: $F[f]'=F[-ixf(x)]$

Let us define the Fourier transform of the Lebesgue-summable function $f\in L_1(\mathbb{R},\mu_x)$ as $F[f](\lambda)=\int_{\mathbb{R}}f(x) e^{-i\lambda x} d\mu_x$, where $\mu_x$ is the Lebesgue linear ...
6
votes
1answer
2k views

Fourier transform of $\text{sinc}^3 {\pi t}$

$$f(t)=\frac{\sin^3(\pi t)}{(\pi t)^3}$$ I want to calculate the Fourier transform. I can't calculate this integral: $$\int_0^\infty\frac{\sin^3(\pi t)}{(\pi t)^3}\cos(ut)\,\mathrm{d}t$$
3
votes
5answers
481 views

Fourier Analysis

I am interested in Fourier Analysis. But I don't get why the coefficients are choosen that way and why the Fourier series will converge to a given function? Can someone provide me simple information ...
11
votes
2answers
13k views

Fourier transform of unit step?

I don't understand what's wrong with my derivation below... $\delta(t) = u'(t)$ $\mathcal{F}(\delta)(\omega) = 1 = \mathcal{F}(u')(\omega) = i\omega \times \mathcal{F}(u)(\omega)$ (since the ...
6
votes
1answer
128 views

Two definitions of Fourier transform for $L^1$ and $L^2$ coincide

For a function $f\in L^1(\mathbb{R})$, its Fourier transform is defined as $$\hat{f}(y)=\int_{-\infty}^\infty f(x)e^{-ixy}dx$$ For a function $f\in L^2(\mathbb{R})$, its Fourier transform is ...
4
votes
2answers
74 views

$\int_{\mathbb{R}}f(x)e^{-ixz}d\mu_x$ analytic for $f\in L_1$

Let $f\in L_1(-\infty,\infty)$ be a Lebesgue-summable function on $\mathbb{R}$ and let $x\mapsto e^{\delta|x|}f(x)$ also be Lebesgue-summable on all the real line. I have added the condition that ...
2
votes
1answer
100 views

Selfadjoint Restrictions of Legendre Operator $-\frac{d}{dx}(1-x^{2})\frac{d}{dx}$

Problem: Let $Lf =-((1-x^{2})f')'$ be the Legendre differential operator defined on the domain $\mathcal{D}(L)$ consisting of twice absolutely continuous functions on $(-1,1)$ for which $f, Lf \in ...
0
votes
1answer
174 views

Inverse Fourier transform to find out $\hat c_1$

If we have an integration which is need to solve inversely $$a_0 e^{-r^2/R^2} = \int_0^\infty \hat{c}_1(k) \frac{\sin(k r)}{r} dk,$$ If I transform the $\sin(kr)$, then we get imaginary part. Please ...
32
votes
3answers
981 views

Instructive proofs in functional analysis

I am beginning to learn functional analysis (from Folland and Royden), but I am from a non-mathematical background, so I often encounter techniques in proofs that I am not familiar with (for example ...
24
votes
5answers
12k views

Difference between Fourier transform and Wavelets

While understanding difference between wavelets and Fourier transform I came across this point in Wikipedia. The main difference is that wavelets are localized in both time and frequency whereas ...
23
votes
4answers
35k views

Difference between Fourier series and Fourier transformation

Whats the difference between Fourier transformations and Fourier Series? As I've been working with Fourier Series in my maths lectures yet a friend of mine also doing engineering has been working with ...
10
votes
4answers
424 views

Singular asymptotics of Gaussian integrals with periodic perturbations

At the bottom of page 5 of this paper by Giedrius Alkauskas it is claimed that, for a $1$-periodic continuous function $f$, $$ \int_{-\infty}^{\infty} f(x) e^{-Ax^2}\,dx = \sqrt{\frac{\pi}{A}} ...
8
votes
5answers
2k views

What is Fourier Analysis on Groups and does it have “applications” to physics?

I am trying to be as specific as possible, but I am extremely unclear about this topic (Fourier Analysis on Groups). In Reed-Simon Vol II (Fourier Analysis, Self-Adjointness) there is some ...
9
votes
2answers
2k views

Compactly supported function whose Fourier transform decays exponentially?

It's well known now that a function can not be compactly supported both on the space side and the frequency side (so-called uncertainty principle). On the other hand a function can have exponential ...
7
votes
1answer
578 views

For symmetric stable distributions, why is $\alpha \le 2$?

I'm preparing a lecture on stable distributions, and I'm trying to find a simple explanation of the following fact. Suppose we are trying to come up with stable distributions. From the definition, ...
5
votes
1answer
256 views

Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$

Let $$f(x)=\large \frac{1}{e^x+e^{-x}+2}$$ Compute the Fourier transform of $f$. We can factor the denominator to get $$f(x)=\frac1{(\exp(x/2)+\exp(-x/2))^2}=\frac1{(2\cosh(x/2))^2}$$ I'm thinking ...
13
votes
1answer
6k views

Criteria for swapping integration and summation order

I have a function (a potential from an electrostatic potential via a Fourier series) in the form of $$V(x, y, z)=\sum_n\sum_m \ a(x, n, m) b(y, n) c(z, m) \int\int f(u, v) d(u,n) e(v,m) du\, dv$$ ...
3
votes
1answer
333 views

Asymptotic error of Fourier series partial sum of sawtooth function

In Iwaniec's book, Topics in Classical Automorphic Forms, pg. 4, he gives the statement: $$\{x\}=\frac{1}{2}-\sum_{n=1}^N\frac{\sin 2\pi nx}{\pi n}+O((1+||x||N)^{-1})$$ where $\{x\}$ denotes the ...
2
votes
1answer
213 views

Convergence of the Fourier Transform of the Prime $\zeta$ Functions

I think I found a way to write the truncated Prime $\zeta$ function like this: $$ P_x(s)=\sum_{p<x} \frac{1}{p^s} =\sum_{n=1}^{\infty}\frac{ \mu (n)}{n} \sum_{z\in\{1,\rho\}}(-1)^{1-\delta_{1z}} ...
2
votes
2answers
2k views

Example of a function whose Fourier Series fails to converge at One point

Can one think of an example of a continuous $2\pi$ periodic function whose Fourier series fails to converge on $\mathbb{R}$. I referred this in the wikipedia page but no avail: It might be ...
8
votes
3answers
243 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
4
votes
1answer
239 views

Dirichlet problem in the disk: behavior of conjugate function, and the effect of discontinuities

Dirichlet's problem in the unit disk is to construct the harmonic function from the given continuous function on the boundary circle. It is solved by the convolution with the Poisson kernel, and we ...
2
votes
3answers
4k views

Scaling property of Fourier series and Fourier Transform

This question about the intuition behind the scaling property of the Fourier transform made me wonder about the corresponding notion for a Fourier series. The Fourier transform of $f(ax)$ is ...
2
votes
1answer
332 views

Question on Schwartz function

I am seeing the Schwartz Space for the first time today and I have trouble understanding the following argument: Given that $f \in S({\mathbb{R}})$ with $f(x_0) = 0$ Taylor's theorem tells us that ...
1
vote
1answer
2k views

Proof of Fourier Inverse formula for $L^1$ case

I know this may be a stupid question, but still hope someone can help me. I was trying to prove the Fourier inversion formula for which $f$ and $\hat{f}=\int_{\mathbb{R}}f(x)e^{-i2\pi xy}dx$ both lie ...