3.4 Solving the QHO with Ladder Operators

In this section we are going to introduce a technique to solve for the energy eigenvalues and eigenfunctions without solving the complicated differential equation 3.9. This method will be to factorise the Hamiltonian using two new operators, which we will call ladder operators for reasons that will become clear, and then see what their effect on an unknown eigenfunction is.

3.4.1 Factorising the Hamiltonian

Notice that the QHO Hamiltonian (equation 3.6) is a sum of squares of operators. We would like to write it in a more symmetric form and then factorise.

We can do this by removing the units. Define the dimensionless position operator by

X^=x^x0, (3.59)

where x0=mω is the natural length scale created using the constants in the Hamiltonian. We can define a dimensionless momentum operator by creating a nautral momentum scale, which is created by dividing by x0:

p0=x0=mω. (3.60)

Then we can define

P^=x^p0, (3.61)

as the dimensionless momentum operator.

Substituting these into equation 3.6, we get

H^ =p02P^22m+12mω2x02X^2 (3.62)
=mω2mP^2+mω2mωX^2 (3.63)
=ω2(P^2+X^2). (3.64)

Recall that an expression u2+v2 can be factored using complex numbers as (u+iv)(uiv). When using the same idea with operators, we need to keep in mind that two operators may not necessarily commute. The two parentheses expand to

(U^iV^)(U^+iV^) =U^2+V^2+iU^V^iV^U^ (3.65)
=U^2+V^2+i[U^,V^], (3.66)

therefore for the QHO Hamiltonian, we get

H^=ω2((X^iP^)(X^+iP^)i[X^,P^]), (3.67)

where we have to subtract of i times the commutator of X^ and P^ to account for the cross terms. The commutator between dimensionless position and momentum is given by

[X^,P^] =[x^x0,p^p0] (3.68)
=1x0p0[x^,p^] (3.69)
=mω1mωi (3.70)
=i, (3.71)

So the Hamiltonian simplifies to

H^=ω2((X^iP^)(X^+iP^)+1). (3.72)

Now we will define new operators to be the combination in parentheses:

A^ =12(X^+iP^) (3.73)
A^ =12(X^iP^). (3.74)

These operators are called the ladder operators for reasons that will become very clear in the next section. If we substitute these into the Hamiltonian, we get

H^=ω(A^A^+12). (3.75)

This equation looks suspiciously like equation 3.31 for the energy eigenvalues but with operators! This implies that the product A^A^ is a “number operator”, it has the energy eigenstates as its eigenfunctions with their corresponding quantum number n as its eigenvalues.

But what do the operators A^ and A^ actually do? Note that A^ is the adjoint of A^, as we can tell by the notation and because it is defined as the “complex conjugate” of A^. Because A^A^, neither of them are Hermitian and therefore they do not represent observables. We will look at the action of these operators on an energy eigenstate in the next section.