🧐Functional Analysis Unit 6 – Bounded Linear Operators in Hilbert Spaces

Bounded linear operators in Hilbert spaces are crucial in functional analysis. They map elements between Hilbert spaces while preserving linearity and boundedness. These operators have key properties like continuity, adjoint existence, and spectral characteristics. Understanding these operators is essential for applications in quantum mechanics, signal processing, and differential equations. Key concepts include operator norms, spectral theory, and special operator types like self-adjoint and compact operators. These tools provide a powerful framework for analyzing infinite-dimensional problems.

Key Concepts and Definitions

  • Hilbert spaces generalize Euclidean spaces to infinite dimensions while preserving the notion of an inner product
  • Bounded linear operators map elements from one Hilbert space to another while maintaining linearity and boundedness
  • Adjoint operators TT^* satisfy Tx,y=x,Ty\langle Tx, y \rangle = \langle x, T^*y \rangle for all xx and yy in the Hilbert space
  • Spectrum of an operator σ(T)\sigma(T) consists of all scalars λ\lambda for which TλIT - \lambda I is not invertible
    • Point spectrum σp(T)\sigma_p(T) contains eigenvalues of TT
    • Continuous spectrum σc(T)\sigma_c(T) and residual spectrum σr(T)\sigma_r(T) are subsets of σ(T)\sigma(T)
  • Compact operators can be approximated by finite-rank operators and have useful spectral properties
  • Self-adjoint operators TT satisfy T=TT = T^* and have real eigenvalues and orthogonal eigenvectors

Hilbert Space Fundamentals

  • Hilbert spaces are complete inner product spaces over the field of real or complex numbers
  • Inner product ,\langle \cdot, \cdot \rangle induces a norm \|\cdot\| and a metric d(x,y)=xyd(x, y) = \|x - y\|
  • Orthogonality in Hilbert spaces generalizes perpendicularity in Euclidean spaces
    • Two vectors xx and yy are orthogonal if x,y=0\langle x, y \rangle = 0
  • Orthonormal bases {en}n=1\{e_n\}_{n=1}^\infty satisfy ei,ej=δij\langle e_i, e_j \rangle = \delta_{ij} and span the Hilbert space
  • Parseval's identity states that n=1x,en2=x2\sum_{n=1}^\infty |\langle x, e_n \rangle|^2 = \|x\|^2 for any xx in the Hilbert space
  • Examples of Hilbert spaces include L2([a,b])L^2([a, b]), 2(N)\ell^2(\mathbb{N}), and L2(Rn)L^2(\mathbb{R}^n) with appropriate inner products

Types of Bounded Linear Operators

  • Identity operator II maps each element to itself and satisfies IT=TI=TIT = TI = T for any operator TT
  • Inverse operator T1T^{-1} satisfies TT1=T1T=ITT^{-1} = T^{-1}T = I and exists only if TT is bijective
  • Unitary operators UU preserve inner products and satisfy UU=UU=IU^*U = UU^* = I
  • Normal operators NN commute with their adjoints, i.e., NN=NNNN^* = N^*N
    • Self-adjoint, unitary, and projection operators are special cases of normal operators
  • Positive operators PP satisfy Px,x0\langle Px, x \rangle \geq 0 for all xx in the Hilbert space
  • Compact operators KK map bounded sets to relatively compact sets and have useful spectral properties

Properties of Bounded Linear Operators

  • Linearity: T(αx+βy)=αTx+βTyT(\alpha x + \beta y) = \alpha Tx + \beta Ty for scalars α,β\alpha, \beta and vectors x,yx, y
  • Boundedness: M0\exists M \geq 0 such that TxMx\|Tx\| \leq M\|x\| for all xx in the Hilbert space
    • Operator norm T=sup{Tx:x=1}\|T\| = \sup\{\|Tx\| : \|x\| = 1\} quantifies the boundedness of TT
  • Continuity: Bounded linear operators are continuous, i.e., xnx    TxnTxx_n \to x \implies Tx_n \to Tx
  • Adjoints: Every bounded linear operator TT has a unique adjoint TT^* satisfying Tx,y=x,Ty\langle Tx, y \rangle = \langle x, T^*y \rangle
    • Properties of adjoints: (S+T)=S+T(S + T)^* = S^* + T^*, (αT)=αT(\alpha T)^* = \overline{\alpha}T^*, and (ST)=TS(ST)^* = T^*S^*
  • Closed range theorem: For a bounded linear operator TT, ran(T)\operatorname{ran}(T) is closed iff ran(T)\operatorname{ran}(T^*) is closed

Operator Norms and Continuity

  • Operator norm T=sup{Tx:x=1}\|T\| = \sup\{\|Tx\| : \|x\| = 1\} measures the "size" of a bounded linear operator TT
    • Equivalent definition: T=sup{Tx:x1}=sup{Tx/x:x0}\|T\| = \sup\{\|Tx\| : \|x\| \leq 1\} = \sup\{\|Tx\| / \|x\| : x \neq 0\}
  • Operator norm satisfies the triangle inequality S+TS+T\|S + T\| \leq \|S\| + \|T\| and submultiplicativity STST\|ST\| \leq \|S\|\|T\|
  • Bounded linear operators are continuous, and the operator norm quantifies the continuity
    • TT is Lipschitz continuous with Lipschitz constant T\|T\|, i.e., TxTyTxy\|Tx - Ty\| \leq \|T\|\|x - y\|
  • Adjoint operator satisfies T=T\|T^*\| = \|T\|, and TT=T2\|T^*T\| = \|T\|^2
  • Convergence in operator norm: A sequence of operators {Tn}\{T_n\} converges to TT if limnTnT=0\lim_{n\to\infty}\|T_n - T\| = 0

Spectral Theory Basics

  • Spectrum σ(T)\sigma(T) of an operator TT is the set of scalars λ\lambda for which TλIT - \lambda I is not invertible
    • Eigenvalues λ\lambda satisfy Tx=λxTx = \lambda x for some nonzero xx and form the point spectrum σp(T)\sigma_p(T)
    • Continuous spectrum σc(T)\sigma_c(T) and residual spectrum σr(T)\sigma_r(T) are subsets of σ(T)σp(T)\sigma(T) \setminus \sigma_p(T)
  • Spectral radius r(T)=sup{λ:λσ(T)}r(T) = \sup\{|\lambda| : \lambda \in \sigma(T)\} satisfies r(T)Tr(T) \leq \|T\|
  • Spectral mapping theorem: For any polynomial pp, σ(p(T))=p(σ(T))\sigma(p(T)) = p(\sigma(T))
  • Compact operators have discrete spectra, with eigenvalues converging to 0 and eigenvectors forming an orthonormal basis
  • Self-adjoint operators have real spectra and orthogonal eigenvectors, allowing for spectral decomposition

Applications in Functional Analysis

  • Sturm-Liouville theory studies eigenvalue problems for self-adjoint differential operators
    • Applications in quantum mechanics (Schrödinger equation) and heat conduction (heat equation)
  • Integral equations can be formulated as operator equations in Hilbert spaces
    • Fredholm and Volterra integral equations have applications in physics and engineering
  • Fourier analysis relies on the Hilbert space structure of L2L^2 spaces and the properties of the Fourier transform
    • Applications in signal processing, image compression, and partial differential equations
  • Wavelets, a generalization of Fourier analysis, provide localized basis functions for Hilbert spaces
    • Applications in signal denoising, image compression, and numerical analysis
  • Quantum mechanics heavily relies on the Hilbert space formulation and the spectral theory of operators
    • Observables are represented by self-adjoint operators, and their spectra correspond to possible measurement outcomes

Common Examples and Problem-Solving Techniques

  • Proving boundedness: Use the definition of the operator norm or the boundedness of the inner product
    • Example: Show that the integral operator (Kf)(x)=01k(x,y)f(y)dy(Kf)(x) = \int_0^1 k(x, y)f(y)dy is bounded on L2([0,1])L^2([0, 1])
  • Finding adjoints: Use the defining property Tx,y=x,Ty\langle Tx, y \rangle = \langle x, T^*y \rangle and solve for TT^*
    • Example: Find the adjoint of the left-shift operator (Tx)n=xn+1(Tx)_n = x_{n+1} on 2(N)\ell^2(\mathbb{N})
  • Spectrum and eigenvalues: Solve the characteristic equation Tx=λxTx = \lambda x or show that TλIT - \lambda I is not invertible
    • Example: Find the spectrum and eigenvalues of the multiplication operator (Mf)(x)=xf(x)(Mf)(x) = xf(x) on L2([0,1])L^2([0, 1])
  • Compact operators: Show that the operator maps bounded sets to relatively compact sets or has finite-dimensional range
    • Example: Prove that the integral operator (Kf)(x)=01k(x,y)f(y)dy(Kf)(x) = \int_0^1 k(x, y)f(y)dy with continuous kk is compact on L2([0,1])L^2([0, 1])
  • Spectral decomposition: For self-adjoint or compact operators, find eigenvalues and eigenvectors to construct the decomposition
    • Example: Find the spectral decomposition of the compact operator (Kf)(x)=01min(x,y)f(y)dy(Kf)(x) = \int_0^1 \min(x, y)f(y)dy on L2([0,1])L^2([0, 1])


© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.

© 2024 Fiveable Inc. All rights reserved.
AP® and SAT® are trademarks registered by the College Board, which is not affiliated with, and does not endorse this website.