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 maps a subset of a Banach space to another Banach space
- The domain is a linear subspace of but not necessarily the entire space (unlike bounded operators)
- The graph of is the set of ordered pairs where ()
- Examples of unbounded operators include differentiation operator on and multiplication operator on
Characterization of closed operators
- Closed Graph Theorem states an unbounded operator between Banach spaces is closed iff for any sequence with and , we have and
- Proof:
- () Assume is closed. Let with and . Since is closed and for all , , so and
- () Assume the condition holds. Let be a sequence in converging to . Then and . By the condition, and , so . Thus, is closed, and is closed
- Examples of closed operators include the Laplace operator on and the multiplication operator on with a bounded measurable function
Identification of closed vs closable operators
- To check if an unbounded operator is closed, consider a sequence with and . If and for all such sequences, then is closed
- To check if is closable, consider the closure of its graph . If is the graph of an operator, then is closable, and the associated operator is the closure of
- Equivalently, is closable iff for any sequence with and , we have
- Examples of closable operators include the differentiation operator on and the multiplication operator on with an unbounded measurable function
Construction of operator closures
- The closure of a closable operator , denoted , is defined by:
- For , , where is a sequence as in the definition of
- Properties of the closure:
- is a closed extension of
- is the smallest closed extension of , i.e., if is any other closed extension of , then
- The graph of is the closure of the graph of , i.e.,
- Examples of closures include the closure of the differentiation operator on is the weak derivative operator on for