The spectral theorem does more than diagonalize an operator — it tells you how to take any function
of it. Want the square root of an operator? Its exponential? Its logarithm? You apply the ordinary
scalar function to the eigenvalues and leave the eigenvectors alone. This functional calculus is
what gives meaning to expressions like the time-evolution operator e−iHt/ℏ.
The definition
Let A be Hermitian (or, more generally, normal) with spectral decomposition A=∑kλk∣k⟩⟨k∣. For any scalar function f defined on the eigenvalues, define
f(A)=k∑f(λk)∣k⟩⟨k∣.
The eigenvectors ∣k⟩ are unchanged; only the weights are transformed from λk to
f(λk). In the eigenbasis, where A=diag(λ1,…,λn), this
is simply
f(A)=diag(f(λ1),…,f(λn)).
Apply the function entry by entry along the diagonal — that is the whole idea.
Why this is the right definition
For a polynomialf(x)=∑mcmxm there is no choice: f(A) must mean ∑mcmAm,
where Am is repeated operator multiplication. But powers of A are easy in the eigenbasis,
Am∣k⟩=λkm∣k⟩, so
f(A)∣k⟩=m∑cmAm∣k⟩=(m∑cmλkm)∣k⟩=f(λk)∣k⟩.
The spectral formula agrees with the polynomial definition. For more general f (square roots,
exponentials, logarithms) we definef(A) by the same rule, and it matches the limit of polynomial
approximations whenever the power series converges. Consistency requires only that f be defined at
each eigenvalue.
The operator exponential
The most important example is f(x)=ex. The exponential of an operator,
eA=m=0∑∞m!Am=k∑eλk∣k⟩⟨k∣,
is what turns a Hermitian Hamiltonian into a unitary evolution. If H is Hermitian with real
eigenvalues Ek, then
U(t)=e−iHt/ℏ=k∑e−iEkt/ℏ∣Ek⟩⟨Ek∣
has eigenvalues e−iEkt/ℏ of modulus one — a unitary, exactly as promised in the unitary-
operators lesson. Each energy eigenstate simply picks up a rotating phase.
A trace shortcut
Because the trace is basis-independent and equals the sum of the eigenvalues, the trace of f(A) is
just
Tr(f(A))=k∑f(λk).
You never have to build the matrix f(A) to get its trace — sum f over the spectrum. For instance,
with A=(3113) (eigenvalues 4 and 2), the operator square
root satisfies Tr(A)=4+2=2+2. The same logic gives the
partition functionTr(e−βH)=∑ke−βEk of statistical
mechanics for free.
Try it
Using the spectral rule, compute A for A=(3113) and
return its trace Tr(A) as a plain number.
Run your code to see the quantum state.
Sign in on the full site to ask questions and join the discussion.