Fiveable

๐ŸงFunctional Analysis Unit 8 Review

QR code for Functional Analysis practice questions

8.3 Spectral theorem for normal operators

8.3 Spectral theorem for normal operators

Written by the Fiveable Content Team โ€ข Last updated August 2025
Written by the Fiveable Content Team โ€ข Last updated August 2025
๐ŸงFunctional Analysis
Unit & Topic Study Guides

Normal operators are a crucial class of linear operators in Hilbert spaces. They include self-adjoint and unitary operators, which are fundamental in quantum mechanics. Understanding normal operators is key to grasping the structure of linear transformations in complex vector spaces.

The spectral theorem for normal operators is a powerful tool in functional analysis. It allows us to decompose these operators into simpler parts, making it easier to study their properties and applications in various fields of mathematics and physics.

Normal Operators and the Spectral Theorem

Normal operators and examples

  • Normal operators defined as linear operators on a Hilbert space that commute with their adjoint (Tโˆ—T=TTโˆ—T^*T = TT^*)
  • Self-adjoint operators are normal operators equal to their own adjoint (T=Tโˆ—T = T^*)
    • Position operator QQ and momentum operator PP in quantum mechanics are self-adjoint
  • Unitary operators are normal operators whose adjoint is their inverse (Uโˆ—U=UUโˆ—=IU^*U = UU^* = I)
    • Preserve inner products and norms of vectors in the Hilbert space
    • Time-evolution operator U(t)=eโˆ’iHt/โ„U(t) = e^{-iHt/\hbar} in quantum mechanics is unitary (HH is the Hamiltonian)
Normal operators and examples, Sturm-Liouville theory - Knowino

Spectral theorem for compact normals

  • Compact normal operators on a Hilbert space HH possess an orthonormal basis {en}\{e_n\} consisting of their eigenvectors
  • Corresponding eigenvalues {ฮปn}\{\lambda_n\} of the compact normal operator converge to zero
  • Proof outline:
    1. Eigenvectors corresponding to distinct eigenvalues are orthogonal
    2. Eigenspaces of the compact normal operator span the entire Hilbert space HH
    3. Eigenvalues converge to zero due to the compactness of the operator
Normal operators and examples, Adjoint (operator theory) - Knowino

Extension to bounded normals

  • Bounded normal operators on a Hilbert space HH have a unique resolution of the identity EE
  • Spectral decomposition: T=โˆซฯƒ(T)ฮปdE(ฮป)T = \int_{\sigma(T)} \lambda dE(\lambda), where ฯƒ(T)\sigma(T) is the spectrum of TT
  • Functional calculus extends the spectral theorem to bounded normal operators
    • For a bounded Borel function ff on ฯƒ(T)\sigma(T), the operator f(T)=โˆซฯƒ(T)f(ฮป)dE(ฮป)f(T) = \int_{\sigma(T)} f(\lambda) dE(\lambda)
    • Functional calculus properties: (fg)(T)=f(T)g(T)(fg)(T) = f(T)g(T), (fโ€พ)(T)=f(T)โˆ—(\overline{f})(T) = f(T)^*, โˆฅf(T)โˆฅโ‰คsupโกฮปโˆˆฯƒ(T)โˆฃf(ฮป)โˆฃ\|f(T)\| \leq \sup_{\lambda \in \sigma(T)} |f(\lambda)|

Applications of spectral theorem

  • Diagonalization of normal operators
    • Normal operators are unitarily equivalent to multiplication operators
    • Unitary operator UU exists such that T=Uโˆ—MUT = U^*MU, where MM is the multiplication operator Men=ฮปnenMe_n = \lambda_n e_n
  • Computing spectra of normal operators
    • Spectrum of a normal operator consists of its eigenvalues
    • Compact normal operators have a countable spectrum with the only accumulation point at zero
    • Bounded normal operators have a compact spectrum in the complex plane
  • Quantum mechanics applications
    • Observables are self-adjoint operators with real spectra and complete orthonormal eigenvectors
    • Measurements are projections onto eigenvectors of the observable's self-adjoint operator
  • Diagonalization of the unilateral shift operator SS on โ„“2(N)\ell^2(\mathbb{N})
    • S(x1,x2,โ€ฆ)=(0,x1,x2,โ€ฆ)S(x_1, x_2, \ldots) = (0, x_1, x_2, \ldots) is a bounded normal operator
    • Spectrum of SS is ฯƒ(S)={ฮปโˆˆC:โˆฃฮปโˆฃโ‰ค1}\sigma(S) = \{\lambda \in \mathbb{C} : |\lambda| \leq 1\}
    • Spectral theorem diagonalizes SS as a multiplication operator on a suitable Hilbert space