Fiveable

๐ŸงFunctional Analysis Unit 11 Review

QR code for Functional Analysis practice questions

11.2 Closed and closable operators

11.2 Closed and closable 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

Unbounded operators are a crucial concept in functional analysis, mapping subsets of Banach spaces. Unlike bounded operators, their domains aren't the entire space. Examples include differentiation and multiplication operators on specific function spaces.

Closed operators are characterized by the Closed Graph Theorem. They're essential in studying partial differential equations and quantum mechanics. Closable operators, a related concept, have graphs that can be extended to closed operators.

Closed and Closable Operators

Definition of unbounded operators

  • An unbounded operator TT maps a subset D(T)D(T) of a Banach space XX to another Banach space YY
  • The domain D(T)D(T) is a linear subspace of XX but not necessarily the entire space (unlike bounded operators)
  • The graph of TT is the set of ordered pairs (x,Tx)(x, Tx) where xโˆˆD(T)x \in D(T) (G(T)={(x,Tx):xโˆˆD(T)}G(T) = \{(x, Tx) : x \in D(T)\})
  • Examples of unbounded operators include differentiation operator on C1([a,b])C^1([a,b]) and multiplication operator on L2(R)L^2(\mathbb{R})

Characterization of closed operators

  • Closed Graph Theorem states an unbounded operator T:D(T)โŠ‚Xโ†’YT: D(T) \subset X \to Y between Banach spaces is closed iff for any sequence (xn)โŠ‚D(T)(x_n) \subset D(T) with xnโ†’xx_n \to x and Txnโ†’yTx_n \to y, we have xโˆˆD(T)x \in D(T) and Tx=yTx = y
  • Proof:
    1. (โ‡’\Rightarrow) Assume TT is closed. Let (xn)โŠ‚D(T)(x_n) \subset D(T) with xnโ†’xx_n \to x and Txnโ†’yTx_n \to y. Since G(T)G(T) is closed and (xn,Txn)โˆˆG(T)(x_n, Tx_n) \in G(T) for all nn, (x,y)โˆˆG(T)(x, y) \in G(T), so xโˆˆD(T)x \in D(T) and Tx=yTx = y
    2. (โ‡\Leftarrow) Assume the condition holds. Let (xn,Txn)(x_n, Tx_n) be a sequence in G(T)G(T) converging to (x,y)(x, y). Then xnโ†’xx_n \to x and Txnโ†’yTx_n \to y. By the condition, xโˆˆD(T)x \in D(T) and Tx=yTx = y, so (x,y)โˆˆG(T)(x, y) \in G(T). Thus, G(T)G(T) is closed, and TT is closed
  • Examples of closed operators include the Laplace operator on H2(Rn)H^2(\mathbb{R}^n) and the multiplication operator on L2(R)L^2(\mathbb{R}) with a bounded measurable function

Identification of closed vs closable operators

  • To check if an unbounded operator TT is closed, consider a sequence (xn)โŠ‚D(T)(x_n) \subset D(T) with xnโ†’xx_n \to x and Txnโ†’yTx_n \to y. If xโˆˆD(T)x \in D(T) and Tx=yTx = y for all such sequences, then TT is closed
  • To check if TT is closable, consider the closure of its graph G(T)โ€พ\overline{G(T)}. If G(T)โ€พ\overline{G(T)} is the graph of an operator, then TT is closable, and the associated operator is the closure of TT
  • Equivalently, TT is closable iff for any sequence (xn)โŠ‚D(T)(x_n) \subset D(T) with xnโ†’0x_n \to 0 and Txnโ†’yTx_n \to y, we have y=0y = 0
  • Examples of closable operators include the differentiation operator on C([a,b])C([a,b]) and the multiplication operator on L2(R)L^2(\mathbb{R}) with an unbounded measurable function

Construction of operator closures

  • The closure of a closable operator T:D(T)โŠ‚Xโ†’YT: D(T) \subset X \to Y, denoted Tโ€พ\overline{T}, is defined by:
    • D(Tโ€พ)={xโˆˆX:โˆƒ(xn)โŠ‚D(T)ย suchย thatย xnโ†’xย andย Txnย convergesย inย Y}D(\overline{T}) = \{x \in X : \exists (x_n) \subset D(T) \text{ such that } x_n \to x \text{ and } Tx_n \text{ converges in } Y\}
    • For xโˆˆD(Tโ€พ)x \in D(\overline{T}), Tโ€พx=limโกnโ†’โˆžTxn\overline{T}x = \lim_{n \to \infty} Tx_n, where (xn)(x_n) is a sequence as in the definition of D(Tโ€พ)D(\overline{T})
  • Properties of the closure:
    • Tโ€พ\overline{T} is a closed extension of TT
    • Tโ€พ\overline{T} is the smallest closed extension of TT, i.e., if SS is any other closed extension of TT, then Tโ€พโŠ‚S\overline{T} \subset S
    • The graph of Tโ€พ\overline{T} is the closure of the graph of TT, i.e., G(Tโ€พ)=G(T)โ€พG(\overline{T}) = \overline{G(T)}
  • Examples of closures include the closure of the differentiation operator on C([a,b])C([a,b]) is the weak derivative operator on W1,p([a,b])W^{1,p}([a,b]) for 1โ‰คp<โˆž1 \leq p < \infty