Fact-checked by Grok 2 weeks ago

Unbounded operator

In functional analysis, an unbounded operator is a linear operator A: D(A) \to X defined on a dense subspace D(A) of a normed vector space X (typically a Banach or Hilbert space) that does not satisfy the boundedness condition, meaning there exists no constant M > 0 such that \|Ax\| \leq M \|x\| for all x \in D(A).^[1]^[2] Unlike bounded operators, which extend continuously to the entire space, unbounded operators require careful specification of their domain and are often discontinuous, necessitating the study of their closures and extensions to ensure well-defined behavior.^[1]^[3] Unbounded operators play a central role in the analysis of partial differential equations and quantum mechanics, where operators like differentiation arise naturally but cannot be defined or bounded on the full function space.^[2] For instance, the differentiation operator A f = f' on L^2(\mathbb{R}) with domain the smooth compactly supported functions C_c^\infty(\mathbb{R}) is densely defined, linear, and unbounded, as sequences of functions with increasing frequency can produce arbitrarily large outputs relative to their norms.^[2]^[1] Similarly, multiplication operators by unbounded sequences or functions, such as A x_j = j x_j on \ell^p spaces with appropriate domains, illustrate how unboundedness emerges from growth at infinity.^[1] Key properties of unbounded operators include closability, where the graph closure yields a closed extension, and the existence of adjoints for densely defined operators on Hilbert spaces, which facilitate self-adjoint extensions essential for spectral theory.^[2]^[3] Theorems like the closed graph theorem imply that closed unbounded operators with full domain must actually be bounded, underscoring the necessity of proper subspaces for truly unbounded cases, while Friedrichs' extension theorem provides self-adjoint extensions for positive symmetric operators, bridging domains in Sobolev spaces.^[1]^[3] These concepts extend the toolkit of operator theory beyond bounded cases, enabling rigorous treatment of evolution equations and eigenvalue problems in infinite-dimensional settings.^[2]

Fundamentals

Definition

In functional analysis, an unbounded operator is a linear operator defined on a proper dense subspace of a normed vector space, where the operator fails to satisfy the boundedness condition. Specifically, let X be a normed vector space over \mathbb{R} or \mathbb{C}, and let D(T) \subset X be a linear subspace. A linear operator T: D(T) \to X is unbounded if D(T) is dense in X but there exists no constant M > 0 such that \|T x\| \leq M \|x\| for all x \in D(T).^[1] This density requirement ensures that T can be meaningfully extended or approximated on the full space, distinguishing it from operators on non-dense domains.^[2] Unbounded operators are most commonly studied in the settings of Banach spaces and Hilbert spaces, where the norm topology allows for rigorous analysis of their extensions and spectra. In contrast, bounded linear operators are defined and continuous on the entire space X, with D(T) = X and the boundedness inequality holding uniformly.^[4] The restriction to a dense domain D(T) for unbounded operators arises because continuity cannot hold across the full space without violating the unbounded growth property.^[5] The concept of densely defined operators thus serves as a foundational prerequisite, enabling discussions of unboundedness in these contexts without loss of generality.^[1]

Basic Properties

Unbounded operators are linear transformations defined on a dense subspace D(T) of a normed space X, satisfying T(\alpha x + \beta y) = \alpha T x + \beta T y for all scalars \alpha, \beta and x, y \in D(T).^[6]^[2] This linearity ensures that the operator preserves the vector space structure within its domain, but the restriction to D(T) distinguishes unbounded operators from those defined on the entire space.^[5] A defining feature of unbounded operators is the absence of a global norm bound: \sup_{\|x\| \leq 1, x \in D(T)} \|T x\| = \infty.^[2] This means there is no constant C > 0 such that \|T x\| \leq C \|x\| for all x \in D(T), in contrast to bounded operators where such a bound exists uniformly.^[6] Consequently, unboundedness implies a lack of uniform continuity; for any M > 0, there exists a sequence \{x_n\} \subset D(T) with \|x_n\| = 1 and \|T x_n\| > M.^[2] By the closed graph theorem, if an unbounded operator were defined and closed on the entire space, it would contradict its unbounded nature, reinforcing that the domain cannot be the full space.^[2] The domain D(T) plays a crucial role in the theory, as it must typically be dense in X for key results to hold, such as the existence and properties of adjoint operators.^[6]^[2] Non-dense domains lead to a more restricted framework, where extensions or alternative constructions may be necessary to apply broader functional analytic tools.^[2] This density requirement ensures that the operator can be extended or approximated in meaningful ways within the ambient space.^[6]

Examples

Differential Operators

Differential operators provide quintessential examples of unbounded operators in the context of function spaces, where the operation of differentiation amplifies high-frequency components, leading to norms that grow without bound. A classic instance is the first-order differentiation operator T = \frac{d}{dx} defined on the domain D(T) = C^1[0,1], the space of continuously differentiable functions on the interval [0,1], taking values in the Banach space C[0,1] equipped with the supremum norm \|\cdot\|_\infty. To demonstrate its unboundedness, consider the sequence of functions f_n(x) = x^n for n \geq 1. Normalizing appropriately, \|f_n\|_\infty = 1, but \|T f_n\|_\infty = \|n x^{n-1}\|_\infty = n, which tends to infinity as n \to \infty. Thus, there is no uniform bound on \|T f\| / \|f\| over the unit ball in D(T).^[7] In Hilbert space settings, such as L^2[0,1] with the L^2-norm, the differentiation operator is similarly unbounded, but its domain requires careful specification to ensure well-definedness. The natural domain consists of absolutely continuous functions f \in L^2[0,1] such that f' \in L^2[0,1] almost everywhere, often with boundary conditions like f(0) = f(1) = 0 to ensure symmetry. This domain aligns with the Sobolev space H^1(0,1) = \{ f \in L^2(0,1) : f' \in L^2(0,1) \}, where the derivative is understood in the weak sense. Unboundedness follows from sequences like normalized powers f_n(x) = c_n x^n (with c_n = \sqrt{2n+1} for \|f_n\|_2 = 1), where \|T f_n\|_2 \approx n \|f_n\|_2 \to \infty. For unbounded domains like \mathbb{R}, the domain can be taken as the space of smooth functions with compact support C_c^\infty(\mathbb{R}), which is dense in L^2(\mathbb{R}), and unboundedness is evident via Fourier basis functions e_k(t) = \frac{1}{\sqrt{2\pi}} e^{i k t} on [-\pi, \pi], satisfying \|e_k\|_2 = 1 but \|\frac{d}{dt} e_k\|_2 = |k| \to \infty.^[7]^[8] Higher-order differential operators generalize this behavior, with the k-th order operator T_k = \frac{d^k}{dx^k} defined on suitable domains like C^k[0,1] \subset C[0,1] or the Sobolev space H^k(\Omega) for an open set \Omega, mapping to L^2(\Omega) or C[0,1]. Unboundedness persists, as sequences of high-frequency oscillations (e.g., \sin(2\pi n x) or Fourier modes) yield derivatives whose norms scale like n^k, diverging as n \to \infty. These examples underscore how differential operators require restricted domains to remain densely defined while capturing essential physical and mathematical phenomena, such as those in quantum mechanics and PDE theory.^[7]

Integral Operators

Integral operators provide important examples of unbounded operators in Hilbert spaces such as L^2(\mathbb{R}), where the kernel's singularity can lead to unbounded behavior. For example, singular integral operators of the form

Tf(x) = \mathrm{p.v.}\ \int_{\mathbb{R}} \frac{B(y)}{y} f(x-y)\, dy,

are unbounded on L^2(\mathbb{R}) when the symbol B is unbounded, such as B(y) = |y|^\alpha for $0 < \alpha < 1 or B(y) = \sqrt{1 + \log^2 |y|}, as the lack of boundedness in B violates conditions for L^2-boundedness derived from Fourier multiplier theory.^[9] In general, the domain of such operators comprises functions in dense subspaces of L^p spaces (typically $1 < p < \infty) where the principal value or improper integral exists, often requiring additional regularity like membership in Sobolev spaces H^s for s > 0.^[10] By contrast, integral operators that are convolutions with kernels in L^1(\mathbb{R}), such as smooth or integrable functions without singularities, are bounded on L^2 by Young's inequality, with \|Tf\|_2 \leq \|K\|_1 \|f\|_2.^[11]

Graph and Closure

Operator Graph

The graph of a linear operator T with domain D(T) \subseteq X acting between normed linear spaces X and Y (often taken as Banach or Hilbert spaces) is defined as the subset

G(T) = \{(x, Tx) \mid x \in D(T)\} \subseteq X \times Y.

Equipped with the product topology (or the norm \|(x,y)\| = \|x\| + \|y\|), the graph serves as a geometric representation of the operator. Since T is linear, G(T) is a linear subspace of X \times Y.^[2] The projections of the graph onto the coordinate spaces provide a direct characterization of the domain and range of T: the domain is recovered as D(T) = \pi_1(G(T)), where \pi_1(x,y) = x is the projection onto the first factor, and the range is R(T) = \pi_2(G(T)), with \pi_2(x,y) = y. These projections highlight the graph's utility in analyzing the operator's action and extent of definition.^[2] A linear operator T is bounded if and only if its graph G(T) is closed in the product space X \times Y, provided the domain D(T) is closed in X; in general, however, closed graphs do not imply boundedness, as there exist closed but unbounded operators (such as certain differential operators on appropriate domains). Unbounded operators thus have graphs that are not necessarily closed, distinguishing them from bounded operators whose graphs are always closed.^[12] For densely defined operators, where D(T) is dense in X (a standard requirement for many unbounded operators to ensure well-behaved extensions), the first projection \pi_1(G(T)) is dense in X. The dimension of G(T) as a subspace equals that of D(T), via the isomorphism x \mapsto (x, Tx), while the density properties of G(T) itself in X \times Y depend on the operator's closability and range behavior.^[1]

Closed Operators

A closed operator is a linear operator T: D(T) \subseteq X \to X on a normed space X whose graph G(T) = \{(x, Tx) \mid x \in D(T)\} is a closed subset of the product space X \times X equipped with the product topology.^[13] Equivalently, T is closed if whenever a sequence \{x_n\} \subseteq D(T) satisfies x_n \to x in X and Tx_n \to y in X, it follows that x \in D(T) and Tx = y.^[13] This property captures a form of sequential continuity for the operator on its domain, though closed operators need not be bounded.^[14] The closed graph theorem provides a fundamental characterization relating closedness to boundedness in the context of Banach spaces. Specifically, if X and Y are Banach spaces and T: X \to Y is a linear operator with closed graph that is defined on all of X, then T is bounded.^[15] The contrapositive implies that an unbounded densely defined closed operator between Banach spaces cannot have domain equal to the entire space, highlighting why unbounded operators require restricted domains.^[16] Closed operators exhibit several important properties that underscore their stability in functional analysis. For instance, the kernel of a closed operator, \ker(T) = \{x \in D(T) \mid Tx = 0\}, is always a closed subspace of X.^[17] The sum of two closed operators need not be closed unless their domains intersect appropriately or one is bounded; similarly, the product of closed operators may lack closedness without further restrictions.^[18] A classic example contrasting bounded and unbounded cases is the integration operator on L^2[0,1], defined by (Tf)(x) = \int_0^x f(t) \, dt with domain D(T) = L^2[0,1], which is bounded (hence closed) with operator norm at most 1.^[19] In contrast, the differentiation operator T = \frac{d}{dx} on the Sobolev space D(T) = H^1[0,1] is closed but unbounded.^[20]

Duality and Adjoints

Adjoint Operators

In a Hilbert space H, the adjoint T^* of a densely defined linear operator T: [D(T)](/page/Domain) \to H, where D(T) is a dense subspace of H, is defined by specifying its domain and action as follows: y \in D(T^*) if there exists z \in H such that \langle T x, y \rangle = \langle x, z \rangle for all x \in D(T), in which case T^* y = z. The domain D(T^*) is always a dense subspace of H, ensuring that T^* is also densely defined. This construction relies on the inner product structure of the Hilbert space, which allows the functional y \mapsto \langle T x, y \rangle to be represented via the Riesz representation theorem for each fixed x \in D(T).^[2] If T is a bounded operator (i.e., defined and continuous on all of H), then D(T^*) = H and T^* is also bounded with \|T^*\| = \|T\|. In general, however, the adjoint T^* need not be defined on the entire space H, reflecting the challenges inherent to unbounded operators. For a closed densely defined operator T, the double adjoint satisfies T^{**} = T, meaning T coincides with its bidual. More precisely, the double adjoint T^{**} is the closure of T if T is closable, but equality holds exactly when T is already closed.^[2] An unbounded operator T generally has an unbounded adjoint T^*, as boundedness of T^* would imply boundedness of T = T^{**} via the closed graph theorem applied to the double adjoint. This property underscores the extension of adjoint theory from bounded to unbounded settings, preserving key duality relations while introducing domain restrictions.^[21]

Transpose Operators

In the setting of Banach spaces, the transpose (also called the dual operator) provides a way to extend the notion of duality to unbounded linear operators without relying on an inner product structure. Consider a densely defined linear operator T: D(T) \subseteq X \to X, where X is a Banach space and D(T) is dense in X. The transpose T' is a linear operator from the dual space X^* to itself, but with a restricted domain: D(T') = \{ \phi \in X^* \mid \exists \psi \in X^* \text{ such that } \psi(x) = \phi(Tx) \ \forall x \in D(T) \}, and T' \phi = \psi, where \psi is the unique continuous extension of the functional x \mapsto \phi(Tx) to all of X (guaranteed by the boundedness of this map on D(T), with \|\psi\| = \sup_{x \in D(T), \|x\| \leq 1} |\phi(Tx)|). This construction ensures T' is well-defined and linear on its domain.^[22] Key properties of the transpose follow from the duality between X and X^*. The domain D(T') consists precisely of those continuous linear functionals on X for which the composition with T remains bounded on D(T), allowing extension to the whole space. If T is unbounded, then D(T') \neq X^*, as there exist functionals \phi \in X^* for which x \mapsto \phi(Tx) grows without bound on D(T). Moreover, if T is closed (i.e., its graph is closed in X \times X) and densely defined, then T' is also closed. Additionally, the kernel of T' relates to the annihilator of the range of T: \ker T' = (\operatorname{im} T)^\perp = \{ \phi \in X^* \mid \phi(Tx) = 0 \ \forall x \in D(T) \}. These properties highlight how the transpose captures the "dual behavior" of T in the bidual framework.^[22]^[23] In Hilbert spaces, which are reflexive Banach spaces equipped with an inner product, the transpose coincides with the adjoint operator via the Riesz representation theorem, which identifies X with X^* through the inner product, mapping the dual action to the adjoint defined by sesquilinearity. For a concrete example, consider X = \ell^1(\mathbb{N}), whose dual is X^* = \ell^\infty(\mathbb{N}). Let A be a closed densely defined unbounded operator on \ell^1, such as a weighted shift operator restricted to a dense subspace of finite-support sequences. The transpose A' is then closed as an operator on \ell^\infty, but its domain D(A') is typically not dense in \ell^\infty, illustrating how unboundedness in the primal space leads to incomplete definition in the dual.^[24]^[23]

Symmetric and Self-Adjoint Operators

Symmetric Operators

In a Hilbert space H, a densely defined linear operator T: D(T) \to H is called symmetric if it satisfies \langle Tx, y \rangle = \langle x, Ty \rangle for all x, y \in D(T).^[25] This inner product condition is equivalent to the inclusion D(T) \subseteq D(T^*) and the equality Tx = T^* x for every x \in D(T), where T^* denotes the adjoint operator.^[26] Symmetric operators possess several important properties. They are always closable, meaning the closure \overline{T} of T exists and is itself a symmetric operator with T \subseteq \overline{T} \subseteq T^*.^[5] Every self-adjoint operator is symmetric, since self-adjointness requires T = T^*, which implies the symmetry condition on a possibly larger domain. However, the converse fails: a symmetric operator need not be self-adjoint, as the domains may differ, leading to deficiency indices that measure the extent of possible self-adjoint extensions.^[25] A classic example is the momentum operator defined by T = -i \frac{d}{dx} with domain D(T) = C^1_0(\mathbb{R}) (the space of compactly supported C^1-functions) acting on the Hilbert space L^2(\mathbb{R}). This operator is symmetric, as integration by parts shows the inner product symmetry for functions in the domain, but it is not self-adjoint because the domain of its adjoint is larger, consisting of absolutely continuous functions whose derivative is in L^2(\mathbb{R}).^[26]

Self-Adjoint Operators

In the context of unbounded operators on a Hilbert space, a linear operator T is defined to be self-adjoint if it is symmetric, meaning \langle Tx, y \rangle = \langle x, Ty \rangle for all x, y \in D(T), and its domain equals that of its adjoint, i.e., D(T) = D(T^*).^[2] This equality implies T = T^*, distinguishing self-adjoint operators from merely symmetric ones where only D(T) \subseteq D(T^*) holds.^[2] Self-adjoint operators possess several key properties. Their spectrum is contained in the real line, \sigma(T) \subseteq \mathbb{R}, ensuring all eigenvalues are real.^[2]^[27] For any non-real complex number \lambda \in \mathbb{C} \setminus \mathbb{R}, \lambda lies in the resolvent set \rho(T), and the resolvent operator (\lambda - T)^{-1} is bounded on the Hilbert space.^[27] Additionally, self-adjoint operators are automatically closed, as the domain equality with the adjoint enforces closure.^[2] They are also characterized by the condition that the quadratic form \langle Tx, x \rangle is real-valued for all x \in D(T).^[27] By Stone's theorem, every self-adjoint operator T generates a strongly continuous one-parameter unitary group via U(t) = e^{-itT}, and conversely, the infinitesimal generator of such a group is self-adjoint.^[28] For a symmetric operator T, the possibility of self-adjointness is determined by its deficiency indices, defined as n_\pm = \dim \ker(T^* \mp iI); T admits a self-adjoint extension (and is self-adjoint if already closed with n_+ = n_- = 0) precisely when these indices are equal.^[29]^[2]

Extensions

Closed Extensions

A closed extension of an unbounded linear operator T: D(T) \subset \mathcal{H} \to \mathcal{H} on a Hilbert space \mathcal{H} is a closed operator S: D(S) \subset \mathcal{H} \to \mathcal{H} such that D(T) \subseteq D(S) \subseteq D(T^*), where T^* denotes the adjoint of T, and S x = T x for all x \in D(T).^[30] This ensures that S enlarges the domain of T while preserving the operator's action on the original domain and maintaining the closed graph property, meaning that if sequences x_n \in D(S) converge to x \in \mathcal{H} and S x_n converge to y \in \mathcal{H}, then x \in D(S) and S x = y.^[1] The concept of graph inclusion formalizes these extensions: the graph G(T) = \{ (x, T x) \mid x \in D(T) \} of T satisfies G(T) \subseteq G(S) \subseteq G(T^*), where G(S) is the graph of the extension S.^[31] Among all possible closed extensions, the minimal one, known as the closure \overline{T} of T, has the smallest domain and is obtained as the operator whose graph is the closure of G(T) in \mathcal{H} \times \mathcal{H}.^[30] An operator T is closable if it admits at least one closed extension, which is equivalent to the closure of its graph G(T) itself being the graph of a linear operator.^[1] Densely defined symmetric operators are always closable, as their graphs are contained in the graph of the self-adjoint adjoint, allowing for closed extensions within that framework.^[31] The closure \overline{T} is then the smallest closed extension, unique in the sense that any other closed extension contains it. A representative example is the differentiation operator T = \frac{d}{dx} initially defined on D(T) = C^1[0,1] \subset L^2[0,1], where T u = u'. This operator is closable, and its closure \overline{T} extends to the Sobolev space D(\overline{T}) = H^1(0,1), with \overline{T} u given by the weak derivative u' for u \in H^1(0,1).^[31] Here, H^1(0,1) consists of functions in L^2(0,1) whose weak derivatives are also in L^2(0,1), providing a natural enlargement of the domain while ensuring \overline{T} remains closed.^[1]

Self-Adjoint Extensions

A symmetric operator T on a Hilbert space admits a self-adjoint extension if and only if its deficiency indices are equal, that is, \dim \ker(T^* - iI) = \dim \ker(T^* + iI), where T^* denotes the adjoint of T.^[32] This result, known as von Neumann's theorem, provides the foundational criterion for the existence of self-adjoint extensions of symmetric operators. The deficiency subspaces \ker(T^* \mp iI) capture the extent to which T fails to be self-adjoint, and equal dimensions ensure a balanced deficiency that allows closure to a self-adjoint operator.^[32] The self-adjoint extensions of T can be explicitly constructed and parameterized by unitary operators mapping between the deficiency subspaces. Specifically, for each unitary U: \ker(T^* - iI) \to \ker(T^* + iI), there corresponds a self-adjoint extension T_U whose domain consists of elements of the form x + \phi + U\phi, where x \in \dom(T) and \phi \in \ker(T^* - iI), with the action defined by T_U(x + \phi + U\phi) = Tx + i\phi - iU\phi.^[32] This parameterization yields all possible self-adjoint extensions when the deficiency indices are equal and finite or infinite, providing a complete classification via the unitary group on the deficiency space. A concrete example arises with the symmetric operator T = -i \frac{d}{dx} defined on the dense domain C_0^\infty(0,1) of smooth functions with compact support in the open interval (0,1), acting on L^2(0,1). The deficiency indices are both 1, so self-adjoint extensions exist and are parameterized by unitaries on one-dimensional spaces, equivalent to a phase e^{i\theta} for \theta \in [0, 2\pi). These extensions are realized through boundary conditions of the form u(1) = e^{i\theta} u(0), where u is the function at the endpoints; special cases include the periodic extension (\theta = 0, u(0) = u(1)) and the anti-periodic extension (\theta = \pi, u(0) = -u(1)).^[33]^[32] For positive symmetric operators, the Friedrichs extension provides a canonical self-adjoint extension constructed via the closure of the quadratic form associated with T. If T \geq 0, the form domain consists of elements where the quadratic form q(x) = \langle Tx, x \rangle (for x \in \dom(T)) extends to a closable sesquilinear form, and the Friedrichs extension T_F is the self-adjoint operator associated to the closure of this form by the representation theorem for closed forms.^[34] This extension is the maximal one among those preserving positivity and lower semiboundedness, and it coincides with the form sum in appropriate settings.^[34]

Applications

Spectral Theory

The spectral theorem for unbounded self-adjoint operators provides a fundamental decomposition that generalizes the diagonalization of finite-dimensional self-adjoint matrices to infinite-dimensional Hilbert spaces. Specifically, for a self-adjoint operator T densely defined on a Hilbert space H, there exists a unique projection-valued measure E on the Borel \sigma-algebra of the extended real line \overline{\mathbb{R}} such that the domain of T is \operatorname{dom}(T) = \left\{ \psi \in H \ \middle|\ \int_{\overline{\mathbb{R}}} |\lambda|^2 \, d\langle E(\lambda) \psi, \psi \rangle < \infty \right\} and T acts as

T \psi = \int_{\overline{\mathbb{R}}} \lambda \, dE(\lambda) \psi

for all \psi \in \operatorname{dom}(T).^[35] This representation allows T to be unitarily equivalent to a multiplication operator by the identity function on a suitable L^2 space with respect to the measure induced by E, capturing both discrete and continuous spectral components.^[36] The spectrum \sigma(T) of an unbounded self-adjoint operator T is defined as the complement of the resolvent set \rho(T), where

\rho(T) = \{ \lambda \in \mathbb{C} \ \middle|\ \lambda - T \text{ is bijective from } \operatorname{dom}(T) \text{ onto } H \text{ and } (\lambda - T)^{-1} \in B(H) \}

.^[37] For self-adjoint T, the spectrum \sigma(T) is a non-empty closed subset of \mathbb{R} that may be unbounded, unlike the bounded case. The spectrum decomposes into the point spectrum (eigenvalues), continuous spectrum, and residual spectrum (the latter being empty for self-adjoint operators). For instance, the momentum operator P = -i \frac{d}{dx} on L^2(\mathbb{R}) is an unbounded self-adjoint operator with continuous spectrum \sigma(P) = \mathbb{R}, reflecting its lack of eigenvalues and unbounded range.^[38] Building on the spectral theorem, the Borel functional calculus extends the construction of functions of bounded self-adjoint operators to the unbounded case. For a Borel measurable function f: \mathbb{R} \to \mathbb{C}, the operator f(T) is defined via the projection-valued measure E as f(T) = \int_{\mathbb{R}} f(\lambda) \, dE(\lambda), with domain \operatorname{dom}(f(T)) = \left\{ \psi \in H \ \middle|\ \int_{\mathbb{R}} |f(\lambda)|^2 \, d\langle E(\lambda) \psi, \psi \rangle < \infty \right\}. This yields an unbounded operator when f is unbounded, preserving algebraic properties like f(T) = g(T) if f = g almost everywhere with respect to the spectral measure, and enabling the analysis of functions such as exponentials or powers of T.^[27]

Quantum Mechanics

In quantum mechanics, physical observables such as position and momentum are represented by unbounded self-adjoint operators acting on the Hilbert space L^2(\mathbb{R}). The position operator Q is defined as multiplication by the coordinate x, with domain consisting of all square-integrable functions \psi such that x\psi(x) \in L^2(\mathbb{R}). Similarly, the momentum operator P = -i \hbar \frac{d}{dx} acts on the Sobolev space H^1(\mathbb{R}), the domain of functions \psi \in L^2(\mathbb{R}) whose weak derivatives are also square-integrable.^[39] These operators must be self-adjoint to ensure that their eigenvalues correspond to real measurement outcomes and that expectation values are well-defined for physical states.^[39] The unbounded nature of these operators arises fundamentally from the infinite extent of physical space, which allows eigenvalues to range over all real numbers without bound, unlike bounded operators confined to finite spectra. For the position operator, this unboundedness reflects the absence of spatial confinement in free quantum systems, where a particle's position can theoretically be arbitrarily far. Domain restrictions impose physical constraints: not all states in L^2(\mathbb{R}) belong to the domain of Q or P, corresponding to the fact that measurements of position or momentum are only well-defined for states with sufficient regularity, such as those avoiding singularities or rapid oscillations that would yield infinite variance.^[39] The canonical commutation relation [Q, P] = i \hbar, which holds on the dense intersection of their domains D(Q) \cap D(P), underpins the Heisenberg uncertainty principle, stating that \Delta Q \Delta P \geq \frac{\hbar}{2} for any state. This non-commutativity on the intersection highlights domain incompatibilities: the operators do not share a common maximal domain, implying that precise simultaneous measurements of position and momentum are impossible, as states sharply localized in one observable lie outside the domain of the other. These domain issues physically manifest as limits on measurement precision, where attempting infinite resolution in position would require states incompatible with momentum observability.^[39] For time evolution, the Hamiltonian H, typically unbounded and self-adjoint (e.g., H = \frac{P^2}{2m} + V(Q) for a potential V), generates the unitary group U(t) = e^{-i H t / \hbar} via Stone's theorem, ensuring conservation of probability and continuous dynamics in the Schrödinger picture. Self-adjointness of H guarantees a real spectrum for energy eigenvalues and unique evolution for states in its domain, essential for modeling stable quantum systems over infinite time.^[39]

Historical Development

Origins

The conceptual foundations of unbounded operators trace back to the late 19th and early 20th centuries, rooted in problems involving Fourier series and Sturm-Liouville theory, where differential operators naturally arose in contexts that later aligned with L² spaces. Fourier's work in the 1820s on heat conduction introduced infinite series expansions, laying groundwork for spectral decompositions of operators on function spaces. By the 1830s, Sturm and Liouville developed the theory of eigenvalue problems for second-order differential equations of the form -(p y')' + q y = λ w y, establishing orthogonality of eigenfunctions and highlighting the unbounded nature of such differential operators when considered on infinite intervals or without boundary restrictions. These early analyses revealed that operators like the Laplacian or differentiation could not be defined on the entire space of square-integrable functions, necessitating careful domain specifications to ensure well-definedness.^[40] David Hilbert's investigations in the 1900s further advanced these ideas through his study of integral equations, where he encountered kernels that could lead to unbounded operator behavior. In his 1904 paper, Hilbert expanded Fredholm's theory to symmetric kernels over intervals like [a, b], relaxing continuity assumptions to handle discontinuities and singularities of order less than 1/2. This work introduced eigenvalue expansions for functions, φ(s) = ∑ (∫ K(s,t) φ(t) dt / λ_ν) φ_ν(s), influencing the modern notion of operator domains by emphasizing the role of dense subspaces where operators are densely defined and closable. Hilbert later extended these results to unbounded domains via limiting processes as the interval length approached infinity. His 1912 book formalized these concepts, bridging integral equations to spectral theory and highlighting how unboundedness arises from non-compact or singular kernels.^[41] Hermann Weyl's contributions in the 1910s provided crucial insights into the spectral theory of differential operators, particularly for singular Sturm-Liouville problems on unbounded intervals. In his 1910 dissertation published in Mathematische Annalen, Weyl classified endpoints as limit-point or limit-circle types, enabling the analysis of self-adjoint realizations for operators like -d²/dx² + q(x) on (0, ∞), where the spectrum includes continuous components alongside discrete eigenvalues. This framework addressed the essential spectrum and singular eigenfunction expansions, resolving issues of completeness and orthogonality for unbounded operators in physics-inspired boundary value problems.^[42] John von Neumann's 1929 work formalized the role of adjoints and self-adjointness for unbounded operators within the Hilbert space formulation of quantum mechanics. In his paper introducing the operator method, von Neumann emphasized that physical observables correspond to self-adjoint operators, whose domains must be chosen to ensure the adjoint equals the operator itself, addressing deficiencies in symmetric but non-self-adjoint extensions. This approach, using the Cayley transform to link self-adjoint operators to unitary ones, provided a rigorous basis for quantizing classical systems and resolving ambiguities in momentum and position operators.^[43]

Key Milestones

In 1932, Marshall Harvey Stone established a fundamental correspondence between self-adjoint operators and strongly continuous one-parameter groups of unitary operators on Hilbert spaces, demonstrating that every such group is generated by a unique self-adjoint operator via the exponential map. This theorem provided a rigorous framework for time evolution in quantum systems, linking infinitesimal generators to unitary dynamics. The introduction of the graph method by John von Neumann in the early 1930s, particularly through his 1930 work defining closed linear maps via closed graphs in product spaces, laid the groundwork for analyzing unbounded operators in Banach spaces.^[44] By the 1940s, this approach, integrated with Banach's 1932 closed graph theorem, clarified that densely defined closed operators between Banach spaces are bounded if and only if their graphs are closed, enabling precise distinctions between bounded and unbounded cases in operator theory.^[44] In the 1950s, Tosio Kato advanced perturbation theory for unbounded operators, particularly semi-bounded ones, by developing analytic techniques to study stability under small perturbations, which proved essential for solving partial differential equations in quantum mechanics and other fields.^[45] His 1953 paper on perturbation theory for semi-bounded operators introduced inequalities and resolvent estimates that ensure self-adjointness and spectral continuity, influencing subsequent work on evolution equations.^[45] Advancements in the 2000s addressed computational challenges for unbounded operators by developing spectral methods tailored to their domains, such as Laguerre function-based Galerkin approximations for elliptic problems on unbounded domains, achieving uniform stability and exponential convergence. These numerical techniques, exemplified in Guo's 2000 work, enabled efficient simulations of wave equations and other PDEs involving unbounded operators, filling gaps in practical implementation.^[46]

References

[1]
[PDF] Notes on unbounded operators - UNM Math
Introduction and examples. Definition 1.1. A linear operator on X is a linear mapping A : D(A) → X defined on some subspace D(A) ⊂ X. A is densely defined ...
[2]
[PDF] 11. Unbounded operators and relations - OU Math
Unbounded operators and relations. Many important operators on Hilbert spaces are not bounded. For example, differential operators on L2(Rn) are never ...
[3]
[PDF] Unbounded operators, Friedrichs' extension theorem
So-called unbounded operators on a Hilbert space V are not literally operators on V , being defined on proper subspaces of V . For unbounded operators on V ...
[4]
[PDF] Functional Analysis and Operator Theory
Very often, unbounded operators are not defined on the entire space X but only on some dense subspace. For example, the differentiation operator Df = f' is ...
[5]
[PDF] 1 Bounded and unbounded operators - OSU Math
Integration can be defined on functions from Ω to X, as in standard measure theory, starting with simple functions. (a) A simple function is a sum of indicator ...
[6]
unbounded operator in nLab
Jun 21, 2025 · Unbounded operators are not defined on the whole Hilbert space, so it is essential that, when talking about a specific unbounded operator, we ...
[7]
None
Below is a merged summary of the information on unbounded operators from the provided segments, consolidating all details into a single, comprehensive response. To maximize density and clarity, I will use a table in CSV format where appropriate to organize key information (e.g., sections, topics, examples, and URLs), followed by a narrative summary for additional context. The response retains all information mentioned across the segments, avoiding redundancy where possible.
[8]
[PDF] Lectures in Functional Analysis Roman Vershynin - UCI Mathematics
Letting k Ñ 8 implies that D is an unbounded operator. This simple example suggests that various differential operators are unbounded even on good function ...
[9]
https://digitalcommons.otterbein.edu/cgi/viewcontent.cgi?article=1008&context=math_fac
[10]
[PDF] Atomic Hardy Space Theory for Unbounded Singular Integrals
The Hilbert transform is a special case of an operator T and its H1. B and BMOB spaces are H1 and BMO. 1. INTRODUCTION. We discuss a Hardy space theory for a ...
[11]
[PDF] LECTURE NOTES 4 FOR 247A 1. The Hilbert transform In this set of ...
A CZO is an example of a singular integral operator; the kernel K just barely fails to be locally integrable (Schur's test, for instance, encounters a ...Missing: Volterra | Show results with:Volterra
[12]
[PDF] Some elements of functional analysis
Jan 8, 2019 · Let A be such that D(A) is a closed linear subspace in X. Then, A is bounded if and only if A is a closed operator. 2. Page 3. For a proof see ...<|control11|><|separator|>
[13]
[PDF] Lecture Notes on Functional Analysis
See the following definition. Definition 3.31 (Closed operator). Let X and Y be metric spaces, then an operator T : X → Y is called closed if xk → x and ...
[14]
[PDF] Chen,Aden.pdf - UChicago Math
The property of being closed can be thought of as a weak form of continuity. Not all closed operators are bounded, but all bounded operators are closed.
[15]
[PDF] 18.102 S2021 Lecture 4. The Open Mapping Theorem and the ...
Feb 25, 2021 · But the Closed Graph Theorem eliminates one of the steps – proving that the graph is closed means that given a sequence un → u and a sequence ...
[16]
[PDF] Closed Graph Theorem
Equivalent formulation: Xnx của X. T. I is bounded if and only if and TXuYEY imply y=Tx. Recall that boundedness (2) continuity of T is equivalent to the ...
[17]
[PDF] Notes Functional Analysis MATH 960/961
Sep 19, 2020 · If A : D(A) ⊂ X → Y is closed operator, then Ker(A) = {x ∈ D(A) : Ax = 0} is a closed subspace of X . 6.4 Dual operators. We discuss dual ...
[18]
[PDF] FUNCTIONAL ANALYSIS1 Douglas N. Arnold2 References
The property of having a closed range is significant to the structure of an operator between Banach spaces. If T : X → Y has a closed range Z (which is then ...
[19]
[PDF] Functional Analysis Lecture Notes - Michigan State University
Note that in the last example the set M is unbounded. For bounded sets, SM : X0 → R, however in general we define SM as a map from X0 → R∪{∞}. We extend ...
[20]
[PDF] Functional Analysis Lecture notes for 18.102 Richard Melrose
Apr 5, 2010 · The sort of examples we have in mind are differential, or more especially, integral operators. For instance if u ∈ C([0, 1]) then its ...
[21]
[PDF] Mathematical Aspects of Quantum Mechanics
Definition III.8 (Adjoint of Unbounded Operator): Let H be a Hilbert space and let T : D(T) → H be a densely defined unbounded operator. Let further- more.
[22]
[PDF] FUNCTIONAL ANALYSIS
Jan 11, 2016 · 2 on the dual of an unbounded opera- tor on a Banach space and Subsection 6.3.1 on the adjoint of an unbounded operator on a Hilbert space).<|control11|><|separator|>
[23]
Transpose of unbounded operators between Banach spaces.
Mar 4, 2012 · Let X and Y be Banach spaces, and let L:X→Y be a unbounded operator with dense domain dom(L). We can then talk about the transposed operator.On the domains and extensions of unbounded operatorsEverywhere-defined unbounded operators between Banach spacesMore results from mathoverflow.net
[24]
[PDF] Functional Analysis Lecture NOTES: ADJOINTS IN BANACH SPACES
Adjoints in Banach Spaces. If H, K are Hilbert spaces and A ∈ B(H, K), then we know that there exists an adjoint operator A∗ ∈ B(K, H), which is uniquely ...
[25]
[PDF] Schmudgen.pdf - IME-USP
Part I is concerned with the basics of unbounded closed operators on a Hilbert space. ... functional analysis, together with a good working knowledge of measure.
[26]
[PDF] Operator theory on Hilbert spaces
Let us still introduce the notion of the graph of an operator: For any linear operator. A,D(A) one sets. Γ(A) := {(f, Af) | f ∈ D(A)}⊂H⊕H. (2.1) and call it ...
[27]
[PDF] ding, the statement of Theorem IX.41 and the general ... - Math@LSU
If a closed symmetric operator has at least one real number in its resolvent set, then it is self-adjoint. Proof Since the resolvent set is open and ...<|control11|><|separator|>
[28]
[PDF] Self-adjoint operators and solving the Schrödinger equation
Jun 13, 2014 · Abstract. In this tutorial we collect facts from the theory of self-adjoint operators, mostly with a view of what is relevant for ...<|control11|><|separator|>
[29]
[PDF] 13. Stone's theorem and quantum dynamics - OU Math
Theorem 13.1 (Stone). Let U(t) be a strongly continuous unitary group. Then there exists a unique self-adjoint operator T such that U(t) = e−itT . We call T ...
[30]
[PDF] Class notes, Functional Analysis 7212 - OSU Math
Apr 1, 2019 · The graph of an operator T : D(T) → K is defined as the set G(T) of pairs [x, Tx] in. H×K with x ∈ D(T), and is simply the usual definition ...
[31]
[PDF] Unbounded operators on Hilbert spaces
Definition 1.1. Let H1,H2 be Hilbert spaces and T : dom(T) −→ H2 be a densely defined linear operator, i.e. dom(T) is a dense linear subspace of H1.
[32]
[PDF] Functional Analysis, Sobolev Spaces and Partial Differential Equations
The first part deals with abstract results in FA and operator theory. The second part concerns the study of spaces of functions (of one or more real variables) ...Missing: transpose | Show results with:transpose
[33]
Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren
Neumann, J. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren. Math. Ann. 102, 49–131 (1930). https://doi.org/10.1007/BF01782338. Download ...
[34]
Spektraltheorie halbbeschränkter Operatoren und Anwendung auf ...
Spektraltheorie halbbeschränkter Operatoren und Anwendung auf die Spektralzerlegung von Differentialoperatoren ... Friedrichs, K. I. Die Rand-und ...Missing: halb | Show results with:halb
[35]
[PDF] The Spectral Theorem for Unbounded Operators.
Nov 29, 2001 · Many important operators in Hilbert space that arise in physics and math- ematics are "unbounded". For example the operator D = zi dd}on L2(R).
[36]
[PDF] Spectral theory in Hilbert spaces (ETH Zürich, FS 09) E. Kowalski
This script follows up on a standard course in Functional Analysis and builds on the principles of functional analysis to discuss one of the must useful and ...
[37]
[PDF] Chapter 2 Unbounded operators
Definition 2.2. For a closed linear operator A its resolvent set ρ(A) is defined by ρ(A) := { z ∈ C | (A − z) is invertible in B(H) } = { z ∈ C | Ker(A − z) = ...
[38]
[PDF] Spectral Theory of Unbounded Self-adjoint Operators in Hilbert spaces
Apr 30, 2020 · This work derives the spectral theorem for unbounded self-adjoint operators in Hilbert spaces, which represents them as simpler operators, ...
[39]
Self-adjointness in Quantum Mechanics: a pedagogical path - arXiv
Dec 28, 2020 · Observables in quantum mechanics are represented by self-adjoint operators on Hilbert space. Such ubiquitous, well-known, and very foundational ...
[40]
[PDF] On the origin and early history of functional analysis - DiVA portal
In this report we will study the origins and history of functional analysis up until 1918. We begin by studying ordinary and partial differential equations ...
[41]
[PDF] FREDHOLM, HILBERT, SCHMIDT Three Fundamental Papers on ...
Dec 15, 2011 · From this work emerged four general forms of integral equations now called Volterra and Fredholm equations of the first and second kinds (a ...
[42]
[PDF] John Von Neumann - University of St Andrews
His main tool was the Cayley transform, which sets up a correspondence between Hermitian and isometric operators, mapping self-adjoint operators on unitary ones ...
[43]
https://mathshistory.st-andrews.ac.uk/LMS/von_neumann_lms_obit.pdf
[44]
Perturbation Theory of Semi-Bounded Operators. - EuDML
Kato, T.. "Perturbation Theory of Semi-Bounded Operators.." Mathematische Annalen 125 (1952/53): 435-447. <http://eudml.org/doc/160322>.