Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A linear operator on a real inner-product space is self-adjoint when
for all .
To prove the finite-dimensional spectral theorem, first note that the continuous quadratic function has a maximum on the unit sphere. The Lagrange multiplier equation at a maximizing vector gives , so has a real unit eigenvector. Its orthogonal complement is invariant because
Induction on the dimension supplies an orthonormal eigenbasis of that complement and hence of .
For ,
while symmetry and bilinearity are immediate, so the displayed formula defines an inner product on . Since
integration by parts gives
The boundary term vanishes for polynomials, proving that is self-adjoint.
On the monomial ,
Thus the matrix of in the monomial basis is triangular with diagonal
These are therefore its eigenvalues. For , corresponding eigenvectors are
for eigenvalues , respectively. They are the first Laguerre polynomials up to normalization, as described by the Laguerre differential operator on polynomials.
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 9F
  2. Paper 3
  3. Ib
  4. 2023
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home