In
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined ...
, one is interested in extensions of symmetric operators acting on a
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natu ...
. Of particular importance is the existence, and sometimes explicit constructions, of
self-adjoint
In mathematics, and more specifically in abstract algebra, an element ''x'' of a *-algebra is self-adjoint if x^*=x. A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold.
A collection ''C'' of elements of a sta ...
extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of
observable
In physics, an observable is a physical quantity that can be measured. Examples include position and momentum. In systems governed by classical mechanics, it is a real-valued "function" on the set of all possible system states. In quantum phys ...
s in
quantum mechanics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, q ...
. Other applications of solutions to this problem can be seen in various
moment problem
In mathematics, a moment problem arises as the result of trying to invert the mapping that takes a measure ''μ'' to the sequences of moments
:m_n = \int_^\infty x^n \,d\mu(x)\,.
More generally, one may consider
:m_n = \int_^\infty M_n(x) ...
s.
This article discusses a few related problems of this type. The unifying theme is that each problem has an operator-theoretic characterization which gives a corresponding parametrization of solutions. More specifically, finding self-adjoint extensions, with various requirements, of
symmetric operator
In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle (equivalently, a Hermitian operator in the finite-dimensional case) is a linear map ''A'' (from ''V'' to its ...
s is equivalent to finding unitary extensions of suitable
partial isometries.
Symmetric operators
Let ''H'' be a Hilbert space. A
linear operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...
''A'' acting on ''H'' with dense domain Dom(''A'') is symmetric if
:
for all ''x'', ''y'' in Dom(''A'').
If Dom(''A'') = ''H'', the
Hellinger-Toeplitz theorem says that ''A'' is a
bounded operator
In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y.
If X and Y are normed vecto ...
, in which case ''A'' is
self-adjoint
In mathematics, and more specifically in abstract algebra, an element ''x'' of a *-algebra is self-adjoint if x^*=x. A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold.
A collection ''C'' of elements of a sta ...
and the extension problem is trivial. In general, a symmetric operator is self-adjoint if the domain of its adjoint, Dom(''A*''), lies in Dom(''A'').
When dealing with
unbounded operator 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 ...
s, it is often desirable to be able to assume that the operator in question is
closed
Closed may refer to:
Mathematics
* Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set
* Closed set, a set which contains all its limit points
* Closed interval, ...
. In the present context, it is a convenient fact that every symmetric operator ''A'' is
closable. That is, ''A'' has the smallest closed extension, called the ''closure'' of ''A''. This can
be shown by invoking the symmetric assumption and
Riesz representation theorem
:''This article describes a theorem concerning the dual of a Hilbert space. For the theorems relating linear functionals to measures, see Riesz–Markov–Kakutani representation theorem.''
The Riesz representation theorem, sometimes called the ...
. Since ''A'' and its closure have the same closed extensions, it can always be assumed that the symmetric operator of interest is closed.
In the sequel, a symmetric operator will be assumed to be
densely defined
In mathematics – specifically, in operator theory – a densely defined operator or partially defined operator is a type of partially defined function. In a topological sense, it is a linear operator that is defined "almost everywhere". ...
and closed.
Problem ''Given a densely defined closed symmetric operator A, find its self-adjoint extensions.''
This question can be translated to an operator-theoretic one. As a heuristic motivation, notice that the
Cayley transform In mathematics, the Cayley transform, named after Arthur Cayley, is any of a cluster of related things. As originally described by , the Cayley transform is a mapping between skew-symmetric matrices and special orthogonal matrices. The transform i ...
on the complex plane, defined by
:
maps the real line to the unit circle. This suggests one define, for a symmetric operator ''A'',
:
on ''Ran''(''A'' + ''i''), the range of ''A'' + ''i''. The operator ''U
A'' is in fact an isometry between closed subspaces that takes (''A'' + ''i'')''x'' to (''A'' - ''i'')''x'' for ''x'' in Dom(''A''). The map
:
is also called the Cayley transform of the symmetric operator ''A''. Given ''U
A'', ''A'' can be recovered by
:
defined on ''Dom''(''A'') = ''Ran''(''U'' - 1). Now if
:
is an isometric extension of ''U
A'', the operator
:
acting on
:
is a symmetric extension of ''A''.
Theorem The symmetric extensions of a closed symmetric operator ''A'' is in one-to-one correspondence with the isometric extensions of its Cayley transform ''U
A''.
Of more interest is the existence of ''self-adjoint'' extensions. The following is true.
Theorem A closed symmetric operator ''A'' is self-adjoint if and only if Ran (''A'' ± ''i'') = ''H'', i.e. when its Cayley transform ''U
A'' is a unitary operator on ''H''.
Corollary The self-adjoint extensions of a closed symmetric operator ''A'' is in one-to-one correspondence with the unitary extensions of its Cayley transform ''U
A''.
Define the deficiency subspaces of ''A'' by
:
and
:
In this language, the description of the self-adjoint extension problem given by the corollary can be restated as follows: a symmetric operator ''A'' has self-adjoint extensions if and only if its Cayley transform ''U
A'' has unitary extensions to ''H'', i.e. the deficiency subspaces ''K''
+ and ''K''
− have the same dimension.
An example
Consider the Hilbert space ''L''
2 ,1 On the subspace of absolutely continuous function that vanish on the boundary, define the operator ''A'' by
:
Integration by parts shows ''A'' is symmetric. Its adjoint ''A*'' is the same operator with Dom(''A*'') being the
absolutely continuous function
In calculus, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central oper ...
s with no boundary condition. We will see that extending ''A'' amounts to modifying the boundary conditions, thereby enlarging Dom(''A'') and reducing Dom(''A*''), until the two coincide.
Direct calculation shows that ''K''
+ and ''K''
− are one-dimensional subspaces given by
:
and
:
where ''a'' is a normalizing constant. So the self-adjoint extensions of ''A'' are parametrized by the unit circle in the complex plane, . For each unitary ''U
α'' : ''K''
− → ''K''
+, defined by ''U
α''(''φ''
−) = ''αφ''
+, there corresponds an extension ''A''
''α'' with domain
:
If ''f'' ∈ Dom(''A''
''α''), then ''f'' is absolutely continuous and
:
Conversely, if ''f'' is absolutely continuous and ''f''(0) = ''γf''(1) for some complex ''γ'' with , ''γ'', = 1, then ''f'' lies in the above domain.
The self-adjoint operators are instances of the
momentum operator
In quantum mechanics, the momentum operator is the operator associated with the linear momentum. The momentum operator is, in the position representation, an example of a differential operator. For the case of one particle in one spatial dimensio ...
in quantum mechanics.
Self-adjoint extension on a larger space
Every partial isometry can be extended, on a possibly larger space, to a unitary operator. Consequently, every symmetric operator has a self-adjoint extension, on a possibly larger space.
Positive symmetric operators
A symmetric operator ''A'' is called positive if
for all ''x'' in ''Dom''(''A''). It is known that for every such ''A'', one has dim(''K''
+) = dim(''K''
−). Therefore, every positive symmetric operator has self-adjoint extensions. The more interesting question in this direction is whether ''A'' has positive self-adjoint extensions.
For two positive operators ''A'' and ''B'', we put ''A'' ≤ ''B'' if
:
in the sense of bounded operators.
Structure of 2 × 2 matrix contractions
While the extension problem for general symmetric operators is essentially that of extending partial isometries to unitaries, for positive symmetric operators the question becomes one of extending
contraction
Contraction may refer to:
Linguistics
* Contraction (grammar), a shortened word
* Poetic contraction, omission of letters for poetic reasons
* Elision, omission of sounds
** Syncope (phonology), omission of sounds in a word
* Synalepha, merged ...
s: by "filling out" certain unknown entries of a 2 × 2 self-adjoint contraction, we obtain the positive self-adjoint extensions of a positive symmetric operator.
Before stating the relevant result, we first fix some terminology. For a contraction Γ, acting on ''H'', we define its ''defect operators'' by
:
The ''defect spaces'' of Γ are
:
The defect operators indicate the non-unitarity of Γ, while the defect spaces ensure uniqueness in some parameterizations.
Using this machinery, one can explicitly describe the structure of general matrix contractions. We will only need the 2 × 2 case. Every 2 × 2 contraction Γ can be uniquely expressed as
:
where each Γ
''i'' is a contraction.
Extensions of Positive symmetric operators
The Cayley transform for general symmetric operators can be adapted to this special case. For every non-negative number ''a'',
:
This suggests we assign to every positive symmetric operator ''A'' a contraction
:
defined by
:
which have matrix representation
:
It is easily verified that the Γ
1 entry, ''C
A'' projected onto ''Ran''(''A'' + 1) = ''Dom''(''C
A''), is self-adjoint. The operator ''A'' can be written as
:
with ''Dom''(''A'') = ''Ran''(''C
A'' - 1). If
:
is a contraction that extends ''C
A'' and its projection onto its domain is self-adjoint, then it is clear that its inverse Cayley transform
:
defined on
:
is a positive symmetric extension of ''A''. The symmetric property follows from its projection onto its own domain being self-adjoint and positivity follows from contractivity. The converse is also true: given a positive symmetric extension of ''A'', its Cayley transform is a contraction satisfying the stated "partial" self-adjoint property.
Theorem The positive symmetric extensions of ''A'' are in one-to-one correspondence with the extensions of its Cayley transform where if ''C'' is such an extension, we require ''C'' projected onto ''Dom''(''C'') be self-adjoint.
The unitarity criterion of the Cayley transform is replaced by self-adjointness for positive operators.
Theorem A symmetric positive operator ''A'' is self-adjoint if and only if its Cayley transform is a self-adjoint contraction defined on all of ''H'', i.e. when ''Ran''(''A'' + 1) = ''H''.
Therefore, finding self-adjoint extension for a positive symmetric operator becomes a "
matrix completion
Matrix completion is the task of filling in the missing entries of a partially observed matrix, which is equivalent to performing data imputation in statistics. A wide range of datasets are naturally organized in matrix form. One example is the mo ...
problem". Specifically, we need to embed the column contraction ''C
A'' into a 2 × 2 self-adjoint contraction. This can always be done and the structure of such contractions gives a parametrization of all possible extensions.
By the preceding subsection, all self-adjoint extensions of ''C
A'' takes the form
:
So the self-adjoint positive extensions of ''A'' are in bijective correspondence with the self-adjoint contractions Γ
4 on the defect space
:
of Γ
3. The contractions
:
give rise to positive extensions
:
respectively. These are the ''smallest'' and ''largest'' positive extensions of ''A'' in the sense that
:
for any positive self-adjoint extension ''B'' of ''A''. The operator ''A''
∞ is the
Friedrichs extension In functional analysis, the Friedrichs extension is a canonical self-adjoint extension of a non-negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension is particularly useful in situations wh ...
of ''A'' and ''A''
0 is the von Neumann-Krein extension of ''A''.
Similar results can be obtained for
accretive operators.
References
*A. Alonso and B. Simon, The Birman-Krein-Vishik theory of self-adjoint extensions of semibounded operators. ''J. Operator Theory'' 4 (1980), 251-270.
*Gr. Arsene and A. Gheondea, Completing matrix contractions, ''J. Operator Theory'' 7 (1982), 179-189.
* N. Dunford and J.T. Schwartz, ''Linear Operators'', Part II, Interscience, 1958.
* B.C. Hall, ''Quantum Theory for Mathematicians'', Chapter 9, Springer, 2013.
*M. Reed and B. Simon, ''Methods of Modern Mathematical Physics'', vol. I and II, Academic Press, 1975.
{{DEFAULTSORT:Extensions Of Symmetric Operators
Functional analysis
Operator theory
Linear operators