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
(3.59) |
where 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 :
(3.60) |
Then we can define
(3.61) |
as the dimensionless momentum operator.
Substituting these into equation 3.6, we get
(3.62) | ||||
(3.63) | ||||
(3.64) |
Recall that an expression can be factored using complex numbers as . 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
(3.65) | ||||
(3.66) |
therefore for the QHO Hamiltonian, we get
(3.67) |
where we have to subtract of times the commutator of and to account for the cross terms. The commutator between dimensionless position and momentum is given by
(3.68) | ||||
(3.69) | ||||
(3.70) | ||||
(3.71) |
So the Hamiltonian simplifies to
(3.72) |
Now we will define new operators to be the combination in parentheses:
(3.73) | ||||
(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
(3.75) |
This equation looks suspiciously like equation 3.31 for the energy eigenvalues but with operators! This implies that the product is a “number operator”, it has the energy eigenstates as its eigenfunctions with their corresponding quantum number as its eigenvalues.
But what do the operators and actually do? Note that is the adjoint of , as we can tell by the notation and because it is defined as the “complex conjugate” of . Because , 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.