6 The Hilbert Space

A mathematical detour, in which we start viewing wave functions as vectors in an infinite-dimensional complex vector space: Hilbert space.

We now begin to develop the mathematical structures underlying quantum mechanics more systematically. In this lecture, we introduce the idea of wave functions as elements of a complex vector space with Hermitian inner product. With a few additional assumptions, this is known as a ‘Hilbert space’.

6.1 Linear Algebra

Consider a finite-dimensional complex vector space VCN. The most important property is that of taking linear combinations: a1v1+a2v2V for any v1,v2V and complex numbers a1,a2C.

A Hermitian inner product on V is a map (6.1),:V×VC:(v1,v2)v1,v2

that obeys

It is often convenient to introduce an orthonormal basis {ej} such that (6.2)ei,ej=δij and any vector can be expressed (6.3)v=j=1Nvjej. Computing the inner product with ej, the components of the vector are vj=v,ej. The Hermitian inner product can then be expressed in component form as (6.4)v,w=jv¯jwj. In particular, the squared norm of a vector is |v|2:=v,v=j|vj|2.

6.2 Wave functions Revisited

At a fixed time t, a wave function is a continuous function (6.5)ψ:RC:xψ(x). In order for the wave function to have a probabilistic interpretation, we require it to be square-normalisable, (6.6)|ψ(x)|2dx<. This means that by multiplying by a constant, we can ensure that the probability to find the particle anywhere is 1.

The set of continuous square-integrable wave functions forms a complex vector space. That is to say, for any square-integrable ψ1, ψ2 and complex numbers a1,a2C, the wave function a1ψ1+a2ψ2 is square-integrable. This can be shown as follows. It is immediate that if ψ is square-integrable then aψ is square integrable for any complex number aC. We can therefore focus on the sum ψ1+ψ2. At each point xR we have (6.7)|ψ1+ψ2|2=|ψ1|2+|ψ2|2+2Re(ψ¯1ψ2)|ψ1|2+|ψ2|2+2|ψ¯1ψ2||ψ1|2+|ψ2|2+2|ψ1||ψ2|, where we used the properties of complex numbers, Re(z)|z| and |z1z2|=|z1|z2|. We also have the elementary inequality (6.8)2|ψ1||ψ2|=|ψ1|2+|ψ2|2(|ψ1||ψ2|)2|ψ1|2+|ψ2|2. This implies (6.9)|ψ1+ψ2|22|ψ1|2+2|ψ2|2. and therefore (6.10)dx|ψ1+ψ2|22dx|ψ1|2+2dx|ψ2|2. This makes it clear that if the wave functions ψ1 and ψ2 are square-integrable then the sum ψ1+ψ2 is square-integrable.

6.3 Inner Product

Let us define (6.11)ψ1,ψ2:=dxψ1(x)ψ2(x). We claim this is a Hermitian inner product:

The first three properties follow immediately from the definition. To prove the final property, note that (6.12)ψ,ψ:=dx|ψ(x)|2 and that the integrand is everywhere non-negative, |ψ(x)|20. This immediately implies ψ,ψ0. Now suppose ψ,ψ=0. Then |ψ(x)|2 vanishes everywhere except a set of measure zero. However, since |ψ(x)|2 is a continuous function, we must have |ψ(x)|2=0 everywhere and therefore ψ(x)=0.

The Hermitian inner product obeys another property known as ‘completeness’. We will not need the definition in this course. Including this property, the vector space of wave functions together with the Hermitian inner product form a ‘Hilbert space’.

6.4 Orthonormal Bases

It is frequently useful to introduce an orthonormal basis of wave functions. In a later lecture, we will explain that there are natural orthonormal bases that are ‘continuous’ or ‘discrete’ in nature and arise from eigenfunctions of operators associated to observables such as position, momentum and energy.

For now we define an orthonormal basis to be a discrete set of wave functions {ϕn(x)} such that (6.13)ϕm,ϕn=δmn and any continuous square-integrable wave function can be uniquely expressed (6.14)ψ(x)=ncnϕn(x), where (6.15)cm=ϕm,ψ=dxϕm(x)ψ(x). The Hermitian inner product can be expressed in terms of the coefficients, (6.16)ψ1,ψ2=dxψ1(x)ψ2(x)=nc¯1,nc2,n while the the squared norm becomes ψ,ψ=dx|ψ(x)|2=n|cn|2.

6.5 Example: Particle in a Box

Let us consider an infinite potential well in the region 0<x<L. We therefore restrict to continuous square-integrable wave functions that vanish for x0 and xL. In this case, we may replace everywhere (6.17)dx0Ldx.

The first three basis functions for a particle in a box.

Let us define (6.18)ϕn(x)=2Lsin(nπxL)nZ>0. These wave functions are orthogonal with respect to the inner product (6.19)ϕm,ϕn=0Lϕ¯m(x)ϕn(x)=2L0Ldxsin(mπxL)sin(nπxL)=1L0Ldx(cos((mn)πxL)cos((m+n)πxL))=δm,nδm,n=δm,n where in passing to the final line, we dropped the second contribution because n+m=0 is impossible for n,mZ>0.

The fact that any continuous square-integrable wave function has a unique expansion of the form (6.20)ψ(x)=n=0cnϕn(x)=2Ln=1cnsin(nπxL), is the content of Fourier’s theorem. The Fourier coefficients are found by taking the Hermitian inner product with ϕn(x), (6.21)cn=ϕn,ψ=2L0Ldxsin(nπxL)ψ(x). The norm squared of the wave function is (6.22)ψ,ψ=0Ldx|ψ(x)|2=n=1|cn|2, which is precisely the statement of Parseval’s theorem.

The ‘pyramid’ wave function for a particle in a box.

As an example, consider the ‘pyramid’ wave function displayed above. With the correct normalisation, this wave function is (6.23)ψ(x)=12L{xL0xL2LxLL2xL The Fourier coefficients cn are computed as follows, (6.24)cn=2L0Lsin(nπxL)ψ(x)dx=24L2(0L/2xLsin(nπxL)dx+L/2L(1xL)sin(nπxL)dx)=24L2(1(1)n)0L/2xLsin(nπxL)dx=24(1(1)n)(1)n+12n2π2={96(1)m+1(2m+1)2π2ifn=2m+10otherwise. In passing to the final line, the summands are non-zero only when n is odd, so we introduced n=2m+1. As a consistency check, (6.25)ψ,ψ=n=1|cn|2=96π4m=01(2m+1)4=1, so the wave function is indeed correctly normalised.

6.6 Problems

  1. TUTORIAL 1
    Properties of the inner product The inner product on continuous square-integrable functions is (6.26)ψ1,ψ2=ψ1(x)ψ2(x)dx. Show that

    1. ψ1,ψ2=ψ2,ψ1

    2. ψ3,a1ψ1+a2ψ2=a1ψ3,ψ1+a2ψ3,ψ2

    3. a1ψ1+a2ψ2,ψ3=a¯1ψ1,ψ3+a¯2ψ2,ψ3

    4. ψ,ψ0

    5. ψ,ψ=0 implies ψ(x)=0

    for any constants a1,a2C.

    Solution

    1. We have (6.27)ψ1,ψ2=ψ1(x)ψ2(x)dx=ψ2(x)ψ1(x)dx=ψ2,ψ1.

    2. We have (6.28)ψ3,a1ψ1+a2ψ2=ψ3(x)(a1ψ1(x)+a2ψ2(x))dx=a1ψ3(x)ψ1(x)dx+a2ψ3(x)ψ2(x)dx=a1ψ3,ψ1+a2ψ3,ψ2.

    3. This follows from parts (a) and (b).

    4. We have ψ,ψ=|ψ(x)|2dx0 since |ψ(x)|20 for all xR.

    5. Suppose ψ,ψ=|ψ(x)|2dx=0. Then |ψ(x)|2 can be non-zero at most on a set of measure zero in R. But since the wavefunction is continuous, |ψ(x)|2=0 everywhere and therefore ψ(x)=0.

  2. PROBLEMS CLASS 2
    Inconsistent? Consider the canonical commutation relation (6.29)[x^,p^]=i. We have argued that wave functions are vectors in Hilbert space, and operators are ‘matrices’ acting on those vectors. In this case, the operators x^ and p^ are then both matrices, and the right hand side should be read as ‘i times the unit matrix’. All fine so far.

    Now let use take the trace of the above equation, (6.30)Tr([x^,p^])=Tr(i). The left-hand side vanishes by virtue of cyclicity of the trace. The right-hand side clearly does not vanish, as it is the trace over the unit operator. How can this be consistent?

    Solution This argument shows that Hilbert space cannot be finite-dimensional, as the trace of a commutator of finite-dimensional matrices definitely vanishes, and the trace of a finite-dimensional unit matrix does not.

    If you write this in terms of wave functions, you can see the kind of trouble we get into. The left-hand side would be an integral or infinite sum over all normalisable wave functions, (6.31)Tr([x^,p^])‘‘=''iall normalisable ϕ(x)ϕ(x)(xxxx)ϕ(x)dx, where the derivatives act on everything to the right, and the ‘sum’ of course needs careful definition. However, the key point is that e.g. in the second term, the derivative acts on xϕ(x), which may not be a normalisable function!

    For more details on this and related tricky points, see e.g. F. Gieres. Dirac's formalism and mathematical surprises in quantum mechanics. Rept. Prog. Phys., 63:1893, 2000. arXiv:quant-ph/9907069, doi:10.1088/0034-4885/63/12/201..