Harmonic Oscillator#
The Hamiltonian for the harmonic oscillator follows the potential energy of Hooke’s law (recall it is negative in magntiude). We consider the system to be similar to a mass \(m\) attached to a spring of constant \(k\) where we define the natural frequency as \(\omega \equiv \sqrt{k/m}\):
The eigenstate is the normalized Hermite polynomials. This is rarely used and written out (you’ll see why in the ladder operator method) but it is:
Much easier is to write the eigenstates in terms of the ladder operators:
The eigenvalues are then,
There are two ways to solve the harmonic oscillator one clever (called the ladder operators) and one brute force. We will only use the clever way in this article becuase it’s clever and very useful later on.
Ladder Operators#
The clever way of the harmonic oscillator is a method that will be used almost everywhere to describe not only the harmonic oscillator but also any Hamiltonian that requires the angular momentum operators \(J,L,S\). Therefore learning the clever way is most crucial.
We define an operator called the ladder operator as:
\begin{equation} a_\pm = \frac{1}{\sqrt{2\hbar m \omega}}\left(\mp ip + m \omega x\right) \end{equation}
We divide \(a_\pm\) where \(a_+\) is to be called the raising operator and \(a_-\) is to be called the lowering operator. They have a special property that raises and lowers the eigenstate where:
\begin{gather} \boxed{a_+\psi_n = \sqrt{n+1};\psi_{n+1} \qquad a_-\psi_n = \sqrt{n};\psi_{n-1}}\ \end{gather}
With some work, the Hamiltonian can be written in terms of the ladder operators:
The eigenstate to this Hamiltonian is (in terms of the raising operator \(a_+\))
The eigenstate above are equivalent to the Hermite polynomials.
Properties#
Conjugates : The ladder operators are hermitian conjugates of one another:
begin{equation} a_\pm^\dagger = a_\mp \end{equation}
Position : The position operator can be written in terms of the ladder operators:
Momentum : The momentum operator can be written in terms of the ladder operators:
Motivation#
Here we will motivate you why the ladder operators are defined the way it is: