Questions tagged [fourier-analysis]

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).

Fourier analysis is the study of how general functions can be decomposed into trigonometric or exponential functions with definite frequencies. There are two types of Fourier expansions:

  • Fourier series: If a (reasonably well-behaved) function is periodic, then it can be written as a discrete sum of trigonometric or exponential functions with specific frequencies.
  • Fourier transform: A general function that isn’t necessarily periodic (but that is still reasonably well-behaved) can be written as a continuous integral of trigonometric or exponential functions with a continuum of possible frequencies.

The reason why Fourier analysis is so important is that many (although certainly not all) of the differential equations that govern physical systems are linear, which implies that the sum of two solutions is again a solution. Therefore, since Fourier analysis tells us that any function can be written in terms of sinusoidal functions, we can limit our attention to these functions when solving the differential equations. And then we can build up any other function from these special ones. This is a very helpful strategy, because it is invariably easier to deal with sinusoidal functions than general ones.

Fourier series

Consider a function $f(x)$ that is periodic on the interval $0 ≤ x ≤ L$, then Fourier’s theorem states that $f(x)$ can be written as $$f(x)={a_0}+\sum_{n=1}^{\infty}\left[a_n \cos\left(\frac{2n\pi x}{L}\right)+b_n \sin \left(\frac{2n\pi x}{L}\right)\right]$$ where the constant coefficients $a_n$ and $b_n$ are called the Fourier coefficients of $f$ and is given by $$a_0=\frac{1}{L}\int_0^L f(x)\mathrm{d}x$$ $$a_n=\frac{2}{L}\int_0^L f(x)\cos\left(\frac{2\pi nx }{L}\right)\mathrm{d}x$$ $$b_n=\frac{2}{L}\int_0^L f(x)\sin\left(\frac{2\pi nx }{L}\right)\mathrm{d}x$$

Reference:

http://www.people.fas.harvard.edu/~djmorin/waves/Fourier.pdf

https://en.wikipedia.org/wiki/Fourier_analysis

http://mathworld.wolfram.com/FourierSeries.html

Fourier Transform:

For this part find the following link

https://math.stackexchange.com/tags/fourier-transform/info

10420 questions
9
votes
1 answer

Rate of decay of Fourier coefficients vs smoothness

Suppose $f \in L^1$, $2\pi$ periodic and that the Fourier coefficients decay with order $|n|^{-k}$, $k \gt 2$. Show that the derivative of $f$ is continuous. I read that the rate of decay of Fourier coefficients relates that the "smoothness" of the…
jack
  • 1,359
9
votes
1 answer

Space-time Fourier explainer

I would like to educate myself in "space-time Fourier" analysis. I understand simple Fourier transforms that take a signal in time domain to frequency fairly well - i.e. f(t) -> F(s). However, the space-time Fourier, especially in the classical…
9
votes
2 answers

Prove the Fourier transform is a unitary linear operator

I am trying to prove that the inverse of the fourier transform is equal to its adjoint (i.e. it is a unitary linear operator). I am working with the inner product $\langle s_1,s_2 \rangle=\int_{-\infty}^{\infty}s_1^*(t)s_2(t)dt$. The Fourier…
8
votes
1 answer

How to interpret the Fourier transform graphs of an image?

Below are graphs (frequency spectrum) of the fourier transform of some simple images. How should I interpret these graphs? I know the center stands for the low frequency of the original image (the parts that are mostly same) and the outer regions…
Archi
  • 131
  • 2
  • 3
8
votes
3 answers

Eigenfunction of the Fourier transform

I want to show that $$ \frac{1}{ \sqrt{ 2 \pi}} \int_{-\infty}^{\infty} \frac{e^{-iwx}}{\cosh{ (x \sqrt{\frac{\pi}{2}}} ) } = \frac{1}{\cosh{ (w \sqrt{\frac{\pi}{2}}} ) } .$$ My attempt is to first make a substitution $y = x \sqrt{ \frac{\pi}{2}…
8
votes
0 answers

Fourier transform of vector-valued functions (e.g. differential forms)

Consider $L^2(\mathbb R^n, \mathbb R^m)$. There should be a Fourier transform for these functions, like in the case $L^2( \mathbb R^n, \mathbb R )$. I wonder how these can be defined. The application I have in mind is defining a Fourier transform…
shuhalo
  • 7,485
8
votes
2 answers

Fourier Transform on the circle

I've been studying the Fourier Transform on Riemannian Manifolds. I got the general idea (I think) and I started by trying to define a Fourier Transform on the circle, $S^1$. I have found that this result is already…
PML
  • 1,006
8
votes
1 answer

Is Fourier transform defined on $L^p(\mathbb{R})$ only for $p \in [1, 2]$?

Is Fourier transform defined on $L^p(\mathbb{R})$ only for $p \in [1, 2]$? From Lieb and Loss's Analysis, they extend the definition of Fourier transform from $L^1(\mathbb{R})$ to $L^p(\mathbb{R}), p \in (1, \infty)$, using $$ \| FT(f) \|_q \leq…
Tim
  • 47,382
8
votes
1 answer

Proof of elementary Wiener's tauberian theorem

I want to proof the following (simple case/version of) Wiener's tauberian theorem: The (span of the) set of translates $\{f_a | a \in \mathbb R^n\}$, $f_a(x) = f(a+x)$, is dense in $L^2(\mathbb R^n)$ if and only if $\hat f(p) \neq 0$ a.e., where…
Mekanik
  • 1,761
7
votes
1 answer

Prove $\sum_{n= -\infty}^{\infty} \frac{1}{(t+n)^2} = \frac{\pi^2 }{\sin^2(\pi t)}$ using $f(x)=\max (1-|x|,0)$ and Poisson summation formula

I'd like to prove $$\sum_{n= -\infty}^{\infty} \frac{1}{(t+n)^2} = \frac{\pi^2 }{\sin^2(\pi t)}$$ by using the Poisson summation formula. There is a way to do it by firstly taking the Fourier transform of $f(x) = 1 - |x|$ for $|x|\le1$ and $f(x) =…
7
votes
1 answer

An inequality by Hardy

Young's inequality for convolutions states that if $1 \leq p, q, r \leq \infty$ satisfy $$\frac{1}{q} + 1 = \frac{1}{p} + \frac{1}{r}$$ for all $f \in L^p(G)$ and all $g \in L^r(G)$ where $g$ and $g'$ have the same $L^r$-norm and $g'(x) =…
JT_NL
  • 14,514
7
votes
1 answer

How does the Dirac delta, written as $\delta(x)=\frac1{2\pi}\int e^{i\omega x}d\omega$, satisfy $\int_{-k}^k \delta(x)dx=1$?

We see the Dirac delta representation as follows, $$\delta(x) = \frac{1}{2\pi}\int_{-\infty}^{\infty} e^{i\omega x} d\omega$$ I want to know, how does this satisfy the following? ($k > 0$) $$\int_{-k}^k \delta(x) dx = 1$$
Abhinav
7
votes
2 answers

Fourier transform of $(1-\cos(tx))/x^2$

I am trying to compute the Fourier transform of $f(x) = \frac{1-\cos(tx)}{x^2}$, $(t > 0)$ directly. I tried contour integration, and could not seem to get it to work. So, I am wondering if it can be done in this way, or, even better, if there is a…
user15464
  • 11,682
7
votes
2 answers

Fourier Transform on a Torus

If I have a function $f(\mathbf{x})$ defined over $\mathbb{R}^3$ and wish to make a Fourier transform of this function, I do \begin{equation} f(\mathbf{x})=\int_{\mathbb{R}^3}\hat{f}(\mathbf{k})e^{2\pi i \mathbf{x} \cdot \mathbf{k}}…
7
votes
1 answer

Integer multiplication using FFT

I've some trouble in understanding integer multiplication using FFT. I'm using the algorithm described on wikipedia. Here is an example of how I understand this algorithm: $$a=173$$ $$b=95$$ Lets take $w=4$, then we have $$a=13*2^{4\cdot…
1 2
3
67 68