A.26 Fourier inversion theorem and Parseval

This note discusses Fourier series, Fourier integrals, and Parseval’s identity.

Consider first one-dimensional Fourier series. They apply to functions

Such functions can be written as a “Fourier series:”

Here the

Note that notations for Fourier series can vary from one author to the
next. The above form of the Fourier series is the prefered one for
quantum mechanics. The reason is that the functions

That any (reasonable) periodic function

Note from (A.193) that if you known

But the symmetry goes even deeper than that. Consider the inner
product of a pair of functions

Using the orthonormality property (A.195) that becomes

(A.196) |

Therefore the equation above may be written more concisely as

That is quite important for quantum mechanics. For example, assume
that

According to the Born interpretation, the left hand side says that the probability of finding the particle is 1, certainty, if you look at every position on the ring. But according to the orthodox interpretation of quantum mechanics,

So far, only periodic functions have been covered. But functions in
infinite space can be handled by taking the period

In the limit

The reason that this is convenient is that

If the above definition and

Of course, in quantum mechanics you are often more interested in the
momentum than in the wave number. So it is often convenient to define
a new function

Using similar substitutions as for the Fourier series, the Parseval
identity (A.197) becomes

or in short

This identity is sometimes called the “Plancherel theorem,” after a later mathematician who generalized its applicability. The bottom line is that Fourier integral transforms too conserve inner products.

So far, this was all one-dimensional. However, the extension to three
dimensions is straightforward. The first case to be considered is
that there is periodicity in each Cartesian direction:

In quantum mechanics, this would typically correspond to the wave function of a particle stuck in a periodic box of dimensions

There are now wave numbers for each direction,

where

Here

The Fourier series for a three-dimensional periodic function is

The above expression for

This is equivalent to what is given above, except for trivial changes in notation. The expression for the Fourier coefficients can be derived analogous to the one-dimensional case, integrating now over the entire periodic box.

The Parseval equality still applies

These expressions are all obtained completely analogously to the one-dimensional case.

Often, the function is a vector rather than a scalar. That does not
make a real difference since each component transforms the same way.
Just put a vector symbol over

For the picky, converting Fourier series into Fourier integrals only works for well-behaved functions. But to show that it also works for nasty wave functions, you can set up a limiting process in which you approximate the nasty functions increasingly accurately using well-behaved ones. Now if the well-behaved functions are converging, then their Fourier transforms are too. The inner products of the differences in functions are the same according to Parseval. And according to the abstract Lebesgue variant of the theory of integration, that is enough to ensure that the transform of the nasty function exists. This works as long as the nasty wave function is square integrable. And wave functions need to be in quantum mechanics.

But being square integrable is not a strict requirement, as you may have been told elsewhere. A lot of functions that are not square integrable have meaningful, invertible Fourier transforms. For example, functions whose square magnitude integrals are infinite, but absolute value integrals are finite can still be meaningfully transformed. That is more or less the classical version of the inversion theorem, in fact. (See D.C. Champeney, A Handbook of Fourier Theorems, for more.)