For a vector space of complex valued functions : one can choose basis functions 3
and expand in these functions,
(2.7) |
The expansion coefficient is nothing but the Fourier transform,
(2.8) |
In much of physics, one traditionally does not normalise the , but uses . In that case an explicit factor enters in the Fourier transforms, but not in the inverse one,
In order to figure out the orthogonality relations, we substitute ( 2.8 ) into ( 2.7 ), which gives the relation
(2.9) |
which must hold for any . We now swap integrals, and find
(2.10) |
We call the object between square brackets the “Dirac delta function” , where can be defined using the explicit definition of the functions , as
(2.11) |
(See the appendix to this chapter, 2.4 , for additional properties.)
From the definition ( 2.11 ) of the delta function, we can show that the basis states satisfy the orthonormality relation
and the completeness relation
We start with a space of functions, where the scalar product is assumed to be defined by 4
where the space from which and are chosen is such that the integral is finite for any pair. In general:
Suppose in this space we have a discrete (i.e., labelled by integers), but let us assume infinite, set of basis functions , chosen to be orthonormal (similar to Eq. ( 2.5 ))
using orthogonalisation if necessary. Then an arbitrary can be decomposed as
(2.12) |
The coefficients can be determined from the orthogonality relation, multiplying ( 2.12 ) from the left with , integrating with respect to , exchanging the order of the summation and the integration on the right-hand side, we find that
from which we conclude that
(2.13) |
Substituting Eq. ( 2.13 ) into Eq. ( 2.12 ) we find
where we have interchanged the summation and integration (which mathematicians will tell you may be incorrect!). From this we conclude that
which is the form of the completeness relation for a basis labelled by a continuous variable. If the basis is labelled by a continuous label, as for the Fourier transformation, we get the completeness relations discussed for that case, Eqs. ( 2.9 , 2.10 ). This leads to
In this case we do not speak of a Hilbert space, since the basis is not normalisable, the norm of the basis states is necessarily infinite.
Much of what we have stated in this section can be illustrated for quantum mechanical problems. Like all linear wave problems, QM relies heavily on the principle of superposition:
For any physical system, if and are possible wave functions, then so is
where and are arbitrary complex numbers. 5
A very important statement can now be found in the fact that:
Theorem 2.3. The eigenfunctions of any physical operator form a complete set. (Can be proven for specific cases only.)
This implies that
A very clear example are the eigenstates of the harmonic oscillator Hamiltonian,
The solutions of the Schrödinger equation
are , with a (Hermite) polynomial. In this case the time-dependence is determined by the eigenenergies, and we conclude that