All Study Guides Functional Analysis Unit 11
🧐 Functional Analysis Unit 11 – Unbounded and Closed Linear OperatorsUnbounded 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 T T T is the set of all pairs ( x , T x ) (x, Tx) ( x , T x ) where x x x is in the domain of T T T
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 T T T is the unique operator T ∗ T^* T ∗ satisfying ⟨ T x , y ⟩ = ⟨ x , T ∗ y ⟩ \langle Tx, y \rangle = \langle x, T^*y \rangle ⟨ T x , y ⟩ = ⟨ x , T ∗ y ⟩ for all x x x in the domain of T T T and y y y in the domain of T ∗ T^* T ∗
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 ∥ T x ∥ \|Tx\| ∥ T x ∥ can be arbitrarily large even for x x x with ∥ x ∥ = 1 \|x\| = 1 ∥ x ∥ = 1
Examples of unbounded operators include differentiation and integration operators on function spaces
The differentiation operator D f = f ′ Df = f' D f = f ′ is unbounded on C [ 0 , 1 ] 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 T T T is closed if its graph G ( T ) = { ( x , T x ) : x ∈ D ( T ) } G(T) = \{(x, Tx) : x \in D(T)\} G ( T ) = {( x , T x ) : x ∈ D ( T )} is a closed subspace of X × Y X \times Y X × Y
Equivalently, if x n → x x_n \to x x n → x and T x n → y Tx_n \to y T x n → y , then x ∈ D ( T ) x \in D(T) x ∈ D ( T ) and T x = y Tx = y T x = 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 − i d d x -i\frac{d}{dx} − i d x d on L 2 ( R ) L^2(\mathbb{R}) L 2 ( R ) with domain H 1 ( R ) H^1(\mathbb{R}) H 1 ( R ) is closed
Domains and Ranges
The domain D ( T ) D(T) D ( T ) of an operator T T T is the set of all vectors x x x for which T x Tx T x is defined
For unbounded operators, D ( T ) D(T) D ( T ) is a proper subset of the vector space
The range R ( T ) R(T) R ( T ) of an operator T T T is the set of all vectors y y y such that y = T x y = Tx y = T x for some x ∈ D ( T ) x \in D(T) x ∈ D ( T )
The kernel or null space N ( T ) N(T) N ( T ) is the set of all x ∈ D ( T ) x \in D(T) x ∈ D ( T ) such that T x = 0 Tx = 0 T x = 0
The graph of an operator T T T is the set G ( T ) = { ( x , T x ) : x ∈ D ( T ) } G(T) = \{(x, Tx) : x \in D(T)\} G ( T ) = {( x , T x ) : x ∈ D ( T )}
For closed operators, G ( T ) G(T) G ( T ) is a closed subspace of X × Y X \times Y X × Y
The inverse T − 1 T^{-1} T − 1 of an operator T T T has domain R ( T ) R(T) R ( T ) and range D ( T ) 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 D f = f ′ Df = f' D f = f ′ on C 1 [ 0 , 1 ] C^1[0,1] C 1 [ 0 , 1 ] is unbounded and closed
The Laplace operator Δ f = f ′ ′ \Delta f = f'' Δ f = f ′′ on C 2 [ 0 , 1 ] C^2[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 ( V f ) ( x ) = ∫ 0 x f ( t ) d t (Vf)(x) = \int_0^x f(t) dt ( V f ) ( x ) = ∫ 0 x f ( t ) d t is bounded on L 2 [ 0 , 1 ] L^2[0,1] L 2 [ 0 , 1 ]
The Hilbert transform ( H f ) ( x ) = 1 π ∫ − ∞ ∞ f ( t ) x − t d t (Hf)(x) = \frac{1}{\pi} \int_{-\infty}^{\infty} \frac{f(t)}{x-t} dt ( H f ) ( x ) = π 1 ∫ − ∞ ∞ x − t f ( t ) d t is unbounded on L 2 ( R ) L^2(\mathbb{R}) L 2 ( R )
Quantum mechanical observables are represented by unbounded self-adjoint operators on Hilbert spaces
The position operator ( Q f ) ( x ) = x f ( x ) (Qf)(x) = xf(x) ( Q f ) ( x ) = x f ( x ) and momentum operator ( P f ) ( x ) = − i ℏ f ′ ( x ) (Pf)(x) = -i\hbar f'(x) ( P f ) ( x ) = − i ℏ f ′ ( x ) are unbounded and closed on suitable domains in L 2 ( R ) L^2(\mathbb{R}) L 2 ( R )
Closed operators arise naturally when studying differential equations and evolution equations
The heat equation ∂ u ∂ t = Δ u \frac{\partial u}{\partial t} = \Delta u ∂ t ∂ u = Δ u can be formulated as an abstract Cauchy problem d u d t = A u \frac{du}{dt} = Au d t d u = A u where A A A 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 T T T is closed if and only if for every sequence x n → x x_n \to x x n → x with T x n → y Tx_n \to y T x n → y , we have x ∈ D ( T ) x \in D(T) x ∈ D ( T ) and T x = y Tx = y T x = y
The Hille-Yosida theorem gives conditions for an operator to generate a C 0 C_0 C 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 A A A is self-adjoint, then U ( t ) = e i t A U(t) = e^{itA} U ( t ) = e i t A 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 ( λ I − T ) − 1 T_\lambda = \lambda T(\lambda I - T)^{-1} T λ = λ T ( λ I − T ) − 1 defines a bounded operator for λ > 0 \lambda > 0 λ > 0 in the resolvent set of T T T
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 A A A , f ( A ) f(A) f ( A ) can be defined as a limit of f ( A n ) f(A_n) f ( A n ) where A n A_n A n are bounded self-adjoint approximations
Spectrum and resolvent theory for unbounded operators generalizes the bounded case
The resolvent ( λ I − T ) − 1 (\lambda I - T)^{-1} ( λ I − T ) − 1 is bounded for λ \lambda λ in the resolvent set of T T T
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 x n x_n x n in the domain with ∥ x n ∥ = 1 \|x_n\| = 1 ∥ x n ∥ = 1 but ∥ T x n ∥ → ∞ \|Tx_n\| \to \infty ∥ T x n ∥ → ∞
For the differentiation operator on C [ 0 , 1 ] C[0,1] C [ 0 , 1 ] , consider x n ( t ) = sin ( n t ) x_n(t) = \sin(nt) x n ( t ) = sin ( n t )
To show an operator is closed, use the definition directly or apply the closed graph theorem
For the Laplace operator on C 2 [ 0 , 1 ] C^2[0,1] C 2 [ 0 , 1 ] , if f n → f f_n \to f f n → f and f n ′ ′ → g f_n'' \to g f n ′′ → g , then f ∈ C 2 f \in C^2 f ∈ C 2 and f ′ ′ = g f'' = g f ′′ = 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 P f = − i ℏ f ′ Pf = -i\hbar f' P f = − i ℏ f ′ on L 2 ( R ) L^2(\mathbb{R}) L 2 ( R ) , the adjoint acts on the Sobolev space H 1 ( R ) H^1(\mathbb{R}) H 1 ( R )
To solve eigenvalue problems for unbounded operators, use techniques from ODE and PDE theory
For the Sturm-Liouville problem − ( p f ′ ) ′ + q f = λ w f -(pf')' + qf = \lambda wf − ( p f ′ ) ′ + q f = λ w f , apply boundary conditions and orthogonality of eigenfunctions
To study evolution equations, use semigroup theory and the Hille-Yosida theorem
For the heat equation ∂ u ∂ t = Δ u \frac{\partial u}{\partial t} = \Delta u ∂ t ∂ u = Δ u , show that the Laplace operator generates a contraction semigroup on a suitable function space