Fourier basis is complete for Updated +Created
Riesz-Fischer theorem is a norm version of it, and Carleson's theorem is stronger pointwise almost everywhere version.
Note that the Riesz-Fischer theorem is weaker because the pointwise limit could not exist just according to it: norm sequence convergence does not imply pointwise convergence.
Fourier inversion theorem Updated +Created
A set of theorems that prove under different conditions that the Fourier transform has an inverse for a given space, examples:
Fourier series Updated +Created
Approximates an original function by sines. If the function is "well behaved enough", the approximation is to arbitrary precision.
Fourier's original motivation, and a key application, is solving partial differential equations with the Fourier series.
The Fourier series behaves really nicely in , where it always exists and converges pointwise to the function: Carleson's theorem.
Video 1.
But what is a Fourier series? by 3Blue1Brown (2019)
Source. Amazing 2D visualization of the decomposition of complex functions.
Uncertainty principle Updated +Created
The wave equation contains the entire state of a particle.
From mathematical formulation of quantum mechanics remember that the wave equation is a vector in Hilbert space.
And a single vector can be represented in many different ways in different basis, and two of those ways happen to be the position and the momentum representations.
More importantly, position and momentum are first and foremost operators associated with observables: the position operator and the momentum operator. And both of their eigenvalue sets form a basis of the Hilbert space according to the spectral theorem.
When you represent a wave equation as a function, you have to say what the variable of the function means. And depending on weather you say "it means position" or "it means momentum", the position and momentum operators will be written differently.
Furthermore, the position and momentum representations are equivalent: one is the Fourier transform of the other: position and momentum space. Remember that notably we can always take the Fourier transform of a function in due to Carleson's theorem.
Then the uncertainty principle follows immediately from a general property of the Fourier transform: en.wikipedia.org/w/index.php?title=Fourier_transform&oldid=961707157#Uncertainty_principle
In precise terms, the uncertainty principle talks about the standard deviation of two measures.
We can visualize the uncertainty principle more intuitively by thinking of a wave function that is a real flat top bump function with a flat top in 1D. We can then change the width of the support, but when we do that, the top goes higher to keep probability equal to 1. The momentum is 0 everywhere, except in the edges of the support. Then:
  • to localize the wave in space at position 0 to reduce the space uncertainty, we have to reduce the support. However, doing so makes the momentum variation on the edges more and more important, as the slope will go up and down faster (higher top, and less x space for descent), leading to a larger variance (note that average momentum is still 0, due to to symmetry of the bump function)
  • to localize the momentum as much as possible at 0, we can make the support wider and wider. This makes the bumps at the edges smaller and smaller. However, this also obviously delocalises the wave function more and more, increasing the variance of x