In mathematics, more specifically functional analysis and operator theory, the notion of unbounded operator provides an abstract framework for dealing with differential operators, unbounded observables in quantum mechanics, and other cases. The term "unbounded operator" can be misleading, since
"unbounded" should sometimes be understood as "not necessarily bounded"; "operator" should be understood as "linear operator" (as in the case of "bounded operator"); the domain of the operator is a linear subspace, not necessarily the whole space; this linear subspace is not necessarily closed; often (but not always) it is assumed to be dense; in the special case of a bounded operator, still, the domain is usually assumed to be the whole space. In contrast to bounded operators, unbounded operators on a given space do not form an algebra, nor even a linear space, because each one is defined on its own domain. The term "operator" often means "bounded linear operator", but in the context of this article it means "unbounded operator", with the reservations made above.
Short history The theory of unbounded operators developed in the late 1920s and early 1930s as part of developing a rigorous mathematical framework for quantum mechanics. The theory's development is due to John von Neumann and Marshall Stone. Von Neumann introduced using graphs to analyze unbounded operators in 1932.
Definitions and basic properties Let X, Y be Banach spaces. An unbounded operator (or simply operator) T : D(T) → Y is a linear map T from a linear subspace D(T) ⊆ X—the domain of T—to the space Y. Contrary to the usual convention, T may not be defined on the whole space X. The graph Γ(T) of an operator T {\displaystyle T} from X {\displaystyle X} to Y {\displaystyle Y} is a linear subspace of the direct sum X ⊕ Y, defined as the set of all pairs (x, Tx), where x runs over the domain of T . An operator T is said to be closed if its graph Γ(T) is a closed set. Explicitly, this means that for every sequence {xn} of points from the domain of T such that xn → x and Txn → y, it holds that x belongs to the domain of T and Tx = y. The closedness can also be formulated in terms of the graph norm: an operator T is closed if and only if its domain D(T) is a complete space with respect to the norm:
‖ x ‖ T = ‖ x ‖ 2 + ‖ T x ‖ 2 . {\displaystyle \|x\|_{T}={\sqrt {\|x\|^{2}+\|Tx\|^{2}}}.}
An operator T is said to be densely defined if its domain is dense in X. This also includes operators defined on the entire space X, since the whole space is dense in itself. The denseness of the domain is necessary and sufficient for the existence of the adjoint (if X and Y are Hilbert spaces) and the transpose; see the sections below. If T : D(T) → Y is closed, densely defined and continuous on its domain, then its domain is all of X.
Example Let C([0, 1]) denote the space of continuous functions on the unit interval, and let C1([0, 1]) denote the space of continuously differentiable functions on the unit interval. We equip C ( [ 0 , 1 ] ) {\displaystyle C([0,1])} with the supremum norm, ‖ ⋅ ‖ ∞ {\displaystyle \|\cdot \|_{\infty }} , making it a Banach space. Define the classical differentiation operator d/dx : C1([0, 1]) → C([0, 1]) by the usual formula:
( d d x f ) ( x ) = lim h → 0 f ( x + h ) − f ( x ) h , ∀ x ∈ [ 0 , 1 ] . {\displaystyle \left({\frac {d}{dx}}f\right)(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}},\qquad \forall x\in [0,1].}
… excerpt ends here. Continue reading the full article.
