The oscillator spectrum came from together with the fact that a squared length is…

PHYSICS · Multi-part · Fermi University Physics · Quantum Mechanics · Wave mechanics in one dimension · The formalism of quantum mechanics

The Structure of Quantum Mechanics, Ch The oscillator as an algebra

Problem

The oscillator spectrum ℏω(n+12)\hbar\omega(n+\tfrac12) came from [a^,a^†]=1[\hat a,\hat a^\dagger]=1 together with the fact that a squared length is never negative. Because a^†\hat a^\dagger is the adjoint of a^\hat a, that fact makes ⟨ψ∣N^∣ψ⟩=∥a^∣ψ⟩∥2≥0\langle\psi|\hat N|\psi\rangle=\|\hat a|\psi\rangle\|^2\ge0 automatically, so it cannot be switched off while a^†\hat a^\dagger keeps its meaning. To see what the commutator does on its own, replace a^†\hat a^\dagger by an operator c^\hat c with no adjoint relation to a^\hat a: let a^\hat a and c^\hat c act on a space of functions that carries no inner product, obey only [a^,c^]=1[\hat a,\hat c]=1, and set N^=c^a^\hat N=\hat c\hat a. ((a)) Show, using only the commutator, that if N^∣ν⟩=ν∣ν⟩\hat N|\nu\rangle=\nu|\nu\rangle then a^∣ν⟩\hat a|\nu\rangle, whenever it is nonzero, is an eigenvector of N^\hat N with eigenvalue ν−1\nu-1, and confirm that no step uses a length or an inner product. ((b)) Take a^=d/dz\hat a=d/dz and c^=z\hat c=z (multiplication by zz), acting on functions of z>0z>0. Check that [a^,c^]=1[\hat a,\hat c]=1, show that zνz^\nu is an eigenvector of N^\hat N with eigenvalue ν\nu for every real ν\nu, and show that for ν=π\nu=\pi the descending chain a^kzπ\hat a^kz^\pi never reaches the zero function, so its eigenvalues are unbounded below. ((c)) State in one sentence which single assumption, restored, forces the descending chain to stop at eigenvalue 00 and so recovers the non-negative integer spectrum.

Related theory

Browse the problem library