Functional Analysis

🧐Functional Analysis Unit 11 – Unbounded and Closed Linear Operators

Unbounded and closed linear operators are crucial in functional analysis, extending the theory beyond bounded operators. These concepts allow us to study differential operators, quantum mechanics, and evolution equations. They're essential for understanding infinite-dimensional spaces and operator theory. Unbounded operators aren't defined on the entire space and may not be continuous. Closed operators have graphs that are closed subspaces. These ideas are key in analyzing partial differential equations, spectral theory, and quantum observables. They bridge finite and infinite-dimensional analysis.

Key Concepts and Definitions

  • Linear operators map elements from one vector space to another while preserving linear combinations
  • Unbounded linear operators have domains that are proper subsets of the entire vector space
  • Closed linear operators have graphs that are closed subspaces of the product space
    • The graph of an operator TT is the set of all pairs (x,Tx)(x, Tx) where xx is in the domain of TT
  • The domain of an operator is the set of all vectors for which the operator is defined
  • The range of an operator is the set of all vectors that are outputs of the operator
  • Densely defined operators have domains that are dense in the underlying vector space
  • The adjoint of an operator TT is the unique operator TT^* satisfying Tx,y=x,Ty\langle Tx, y \rangle = \langle x, T^*y \rangle for all xx in the domain of TT and yy in the domain of TT^*

Unbounded Linear Operators

  • Unbounded linear operators are not necessarily continuous and may not be defined on the entire vector space
  • The domain of an unbounded operator is a proper subset of the vector space
  • Unbounded operators can have unbounded norms, meaning Tx\|Tx\| can be arbitrarily large even for xx with x=1\|x\| = 1
  • Examples of unbounded operators include differentiation and integration operators on function spaces
    • The differentiation operator Df=fDf = f' is unbounded on C[0,1]C[0,1] with the supremum norm
  • Unbounded operators may not have well-defined adjoints or inverses
  • The spectrum of an unbounded operator can be more complicated than that of a bounded operator
    • It may include a continuous spectrum or residual spectrum in addition to point spectrum

Closed Linear Operators

  • A linear operator TT is closed if its graph G(T)={(x,Tx):xD(T)}G(T) = \{(x, Tx) : x \in D(T)\} is a closed subspace of X×YX \times Y
    • Equivalently, if xnxx_n \to x and TxnyTx_n \to y, then xD(T)x \in D(T) and Tx=yTx = y
  • Closed operators have the property that convergence in the domain implies convergence in the range
  • The domain of a closed operator is not necessarily dense in the vector space
  • The sum and composition of closed operators may not be closed
  • The adjoint of a densely defined closed operator is also closed
  • Examples of closed operators include unbounded self-adjoint operators on Hilbert spaces
    • The momentum operator iddx-i\frac{d}{dx} on L2(R)L^2(\mathbb{R}) with domain H1(R)H^1(\mathbb{R}) is closed

Domains and Ranges

  • The domain D(T)D(T) of an operator TT is the set of all vectors xx for which TxTx is defined
    • For unbounded operators, D(T)D(T) is a proper subset of the vector space
  • The range R(T)R(T) of an operator TT is the set of all vectors yy such that y=Txy = Tx for some xD(T)x \in D(T)
  • The kernel or null space N(T)N(T) is the set of all xD(T)x \in D(T) such that Tx=0Tx = 0
  • The graph of an operator TT is the set G(T)={(x,Tx):xD(T)}G(T) = \{(x, Tx) : x \in D(T)\}
    • For closed operators, G(T)G(T) is a closed subspace of X×YX \times Y
  • The inverse T1T^{-1} of an operator TT has domain R(T)R(T) and range D(T)D(T)
    • Unbounded operators may not have well-defined inverses

Examples and Applications

  • Differential operators on function spaces are common examples of unbounded operators
    • The first derivative operator Df=fDf = f' on C1[0,1]C^1[0,1] is unbounded and closed
    • The Laplace operator Δf=f\Delta f = f'' on C2[0,1]C^2[0,1] is also unbounded and closed
  • Integral operators can be unbounded or bounded depending on the kernel function
    • The Volterra operator (Vf)(x)=0xf(t)dt(Vf)(x) = \int_0^x f(t) dt is bounded on L2[0,1]L^2[0,1]
    • The Hilbert transform (Hf)(x)=1πf(t)xtdt(Hf)(x) = \frac{1}{\pi} \int_{-\infty}^{\infty} \frac{f(t)}{x-t} dt is unbounded on L2(R)L^2(\mathbb{R})
  • Quantum mechanical observables are represented by unbounded self-adjoint operators on Hilbert spaces
    • The position operator (Qf)(x)=xf(x)(Qf)(x) = xf(x) and momentum operator (Pf)(x)=if(x)(Pf)(x) = -i\hbar f'(x) are unbounded and closed on suitable domains in L2(R)L^2(\mathbb{R})
  • Closed operators arise naturally when studying differential equations and evolution equations
    • The heat equation ut=Δu\frac{\partial u}{\partial t} = \Delta u can be formulated as an abstract Cauchy problem dudt=Au\frac{du}{dt} = Au where AA is a closed operator

Theorems and Properties

  • The Hellinger-Toeplitz theorem states that a symmetric operator defined on a Hilbert space is bounded
    • Consequently, unbounded self-adjoint operators cannot be everywhere defined
  • The closed graph theorem characterizes closed operators in terms of convergent sequences
    • An operator TT is closed if and only if for every sequence xnxx_n \to x with TxnyTx_n \to y, we have xD(T)x \in D(T) and Tx=yTx = y
  • The Hille-Yosida theorem gives conditions for an operator to generate a C0C_0-semigroup of bounded operators
    • This is useful for studying evolution equations and abstract Cauchy problems
  • The spectral theorem for unbounded self-adjoint operators extends the familiar spectral theory for compact self-adjoint operators
    • It allows for a continuous spectrum and a more general functional calculus
  • The Stone theorem relates self-adjoint operators to one-parameter unitary groups
    • If AA is self-adjoint, then U(t)=eitAU(t) = e^{itA} defines a unitary group, and conversely

Relationship to Bounded Operators

  • Bounded operators are a special case of closed operators
    • Every bounded operator defined on the entire space is closed
  • Unbounded operators can be approximated by bounded operators in various ways
    • The Yosida approximation Tλ=λT(λIT)1T_\lambda = \lambda T(\lambda I - T)^{-1} defines a bounded operator for λ>0\lambda > 0 in the resolvent set of TT
    • The Friedrichs extension extends a symmetric operator to a self-adjoint operator by enlarging the domain
  • Functional calculus can be defined for unbounded operators using limits of bounded operators
    • For a self-adjoint operator AA, f(A)f(A) can be defined as a limit of f(An)f(A_n) where AnA_n are bounded self-adjoint approximations
  • Spectrum and resolvent theory for unbounded operators generalizes the bounded case
    • The resolvent (λIT)1(\lambda I - T)^{-1} is bounded for λ\lambda in the resolvent set of TT
    • Spectral measures and projections can be defined for self-adjoint operators

Exercises and Problem-Solving Techniques

  • To show an operator is unbounded, find a sequence xnx_n in the domain with xn=1\|x_n\| = 1 but Txn\|Tx_n\| \to \infty
    • For the differentiation operator on C[0,1]C[0,1], consider xn(t)=sin(nt)x_n(t) = \sin(nt)
  • To show an operator is closed, use the definition directly or apply the closed graph theorem
    • For the Laplace operator on C2[0,1]C^2[0,1], if fnff_n \to f and fngf_n'' \to g, then fC2f \in C^2 and f=gf'' = g by uniform convergence
  • To find the adjoint of an unbounded operator, first find a dense domain on which the adjoint acts
    • For the momentum operator Pf=ifPf = -i\hbar f' on L2(R)L^2(\mathbb{R}), the adjoint acts on the Sobolev space H1(R)H^1(\mathbb{R})
  • To solve eigenvalue problems for unbounded operators, use techniques from ODE and PDE theory
    • For the Sturm-Liouville problem (pf)+qf=λwf-(pf')' + qf = \lambda wf, apply boundary conditions and orthogonality of eigenfunctions
  • To study evolution equations, use semigroup theory and the Hille-Yosida theorem
    • For the heat equation ut=Δu\frac{\partial u}{\partial t} = \Delta u, show that the Laplace operator generates a contraction semigroup on a suitable function space


© 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.