We wish to find the matrix representing the 1D harmonic oscillator lowering operator. This is similar to the last section.
The lowering operator equation is.
Now we compute the matrix element from the definition.