Applications §
Applications is where the machinery of the other three pages pays off. The same Hilbert-space and operator language that abstracts Euclidean geometry is exactly the language of quantum mechanics, and the same weak/compact-operator ideas give existence theorems for partial differential equations. This page covers the two flagship applications: quantum mechanics (states, observables, time evolution) and PDEs (weak solutions and existence by the direct method).
Authoritative sources
Quantum mechanics §
Definition. In quantum mechanics the state of a system is a unit vector (equivalently a ray) in a Hilbert space ; an observable is a self-adjoint operator on ; and the possible measured values of an observable are its spectrum.
Details
States and expectation values §
A pure state is a unit vector (vectors differing by a phase represent the same physical state, so really a “ray”). If is an observable, the expected value of measuring in state is the number . Because is self-adjoint, this number is real — see Operators.
Example. A spin- particle has state space . The spin in the -direction is the observable , whose spectrum is exactly the two outcomes of a Stern–Gerlach measurement.
Time evolution is a one-parameter unitary group §
The time evolution of a state with Hamiltonian (a self-adjoint operator) is given by the Schrödinger equation
The family is a one-parameter group of unitary operators — this is Stone’s theorem in action, and it is why probability is conserved. The operator is defined by the functional calculus of the spectral theorem.
Example problem
Problem. Let be a self-adjoint operator and a unit vector. Show that the expectation value is real.
Solution
, using . A complex number equal to its own conjugate is real. ∎
PDEs and weak solutions §
Definition. A weak solution of a PDE is a function in a Sobolev space that satisfies the equation in the distributional sense (after integrating by parts to move derivatives onto smooth test functions). Existence is often proved by the direct method: a minimizing sequence has a weakly convergent subsequence whose limit is the solution.
Details
Why weak solutions §
Classical (smooth) solutions to PDEs often do not exist, especially for nonsmooth data or nonlinear equations. Weak solutions relax the requirement: instead of the equation holding pointwise, it holds after pairing with test functions. This is exactly the language of Distributions — a weak solution is a function whose weak derivatives satisfy the PDE.
Sobolev spaces. The natural home for weak solutions is a Sobolev space , the space of functions whose weak first derivatives are also in . These are Banach (indeed Hilbert) spaces, so all the machinery of Spaces applies.
The direct method of the calculus of variations §
To solve with zero boundary data, one minimizes the energy
over the affine space of admissible functions. The argument has three steps, each a theorem from the other pages:
- Boundedness: a minimizing sequence is bounded in .
- Weak compactness: because is reflexive, a subsequence converges weakly to some (see Spaces).
- Lower semicontinuity: the energy satisfies , so is the minimizer, and the Euler–Lagrange equation gives in the weak sense.
Example problem
Problem. Explain why the Poisson equation on a bounded domain with and zero boundary conditions has a weak solution in .
Solution
Minimize over . By the Poincaré inequality, is coercive and bounded below, so a minimizing sequence is bounded in . Since is a Hilbert (hence reflexive) space, a subsequence converges weakly to some . The norm is convex and continuous, hence weakly lower semicontinuous, so minimizes . Taking the first variation of at gives for all test functions , which is precisely the weak form of . ∎
Quiz §
Example problem
Problem. In quantum mechanics, show that if is a self-adjoint Hamiltonian, then the time-evolution operator is unitary for every real .
Solution
By the functional calculus, (the adjoint conjugates the exponent). Then , since the two exponents are functions of the same self-adjoint operator and hence commute. So is unitary, which is why it preserves the norm (and hence total probability) of a state. ∎