Skip to main content
3 of 9
deleted 5 characters in body
Lao-tzu
  • 1.9k
  • 13
  • 16

Interpret Fourier transform as limit of Fourier series

Let $V=\mathbb{R}^n$, $\Lambda_r=2\pi r \mathbb{Z}^n \subset V (r>0)$ a lattice; $V^*\cong\mathbb{R}^n$ the dual vector space of $V$, and $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z}^n =\text{Hom}(\Lambda_r, \mathbb{Z})$ the dual lattice in $V^*$.

$\Lambda_r^*$ can be thought of as the Pontryagin dual of the torus $T^n_r=V/\Lambda_r$; also, $V^*$ can be thought of as the Pontryagin dual of $V$ and can be identified with $V$ via the pairing $\left< x,\xi \right>=e^{2\pi i x\cdot\xi}$. Chapter 4 of Gerald B. Folland's book A course in abstract harmonic analysis is a nice introduction to these material in the context of locally compact abelian groups; see also the blog of Terry Tao.

It's well known that the Fourier series gives an isometry of Hilbert spaces $$L^2(V)\cong L^2(V^*).$$

Also, Fourier transform gives an isometry of Hilbert spaces $$L^2(T^n_r)\cong l^2(\Lambda_r^*).$$

We have the following obvious intuition: as $r>0$ becomes larger and larger, the scale of $T^n_r$ also becomes larger and larger, and finally becomes like $V=\mathbb{R}^n$; on the other hand, the dual lattice $\Lambda_r^*$ becomes more and more 'dense' in $V^*=\mathbb{R}^n$ as the distance of adjacent points is $\frac{1}{2\pi r}$, which goes to 0 as $r$ goes to $\infty$.

My question is the following:

Can we make it mathematically rigious that the 'limit' of the isomorphisms $$L^2(T^n_r)\cong l^2(\Lambda_r^*)$$ is the isomorphism $$L^2(V)\cong L^2(V^*)$$ as $r$ goes to $\infty$?

The bad thing is that $V=\mathbb{R}^n$ is noncompact, while we have the notion of Bohr compactification, I hope this can be helpful.

Is there any relation between the tori $T^n_r$ and the Bohr compactification of $\mathbb{R}^n$?

Hopefully, if we can do this, then we can do similar thing such as interpreting Fourier inversion as a limit.

Lao-tzu
  • 1.9k
  • 13
  • 16