Extensions of symmetric operators

In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of observables in quantum mechanics. Other applications of solutions to this problem can be seen in various moment problems.

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 operators is equivalent to finding unitary extensions of suitable partial isometries.

Symmetric operators

edit

Let   be a Hilbert space. A linear operator   acting on   with dense domain   is symmetric if

 

If  , the Hellinger-Toeplitz theorem says that   is a bounded operator, in which case   is self-adjoint and the extension problem is trivial. In general, a symmetric operator is self-adjoint if the domain of its adjoint,  , lies in  .

When dealing with unbounded operators, it is often desirable to be able to assume that the operator in question is closed. In the present context, it is a convenient fact that every symmetric operator   is closable. That is,   has the smallest closed extension, called the closure of  . This can be shown by invoking the symmetric assumption and Riesz representation theorem. Since   and its closure have the same closed extensions, it can always be assumed that the symmetric operator of interest is closed.

In the next section, a symmetric operator will be assumed to be densely defined and closed.

Self-adjoint extensions of symmetric operators

edit

If an operator   on the Hilbert space   is symmetric, when does it have self-adjoint extensions? An operator that has a unique self-adjoint extension is said to be essentially self-adjoint; equivalently, an operator is essentially self-adjoint if its closure (the operator whose graph is the closure of the graph of  ) is self-adjoint. In general, a symmetric operator could have many self-adjoint extensions or none at all. Thus, we would like a classification of its self-adjoint extensions.

The first basic criterion for essential self-adjointness is the following:[1]

Theorem —  If   is a symmetric operator on  , then   is essentially self-adjoint if and only if the range of the operators   and   are dense in  .

Equivalently,   is essentially self-adjoint if and only if the operators   have trivial kernels.[2] That is to say,   fails to be self-adjoint if and only if   has an eigenvector with complex eigenvalues  .

Another way of looking at the issue is provided by the Cayley transform of a self-adjoint operator and the deficiency indices.[3]

Theorem — Suppose   is a symmetric operator. Then there is a unique densely defined linear operator   such that  

  is isometric on its domain. Moreover,   is dense in  .

Conversely, given any densely defined operator   which is isometric on its (not necessarily closed) domain and such that   is dense, then there is a (unique) densely defined symmetric operator

 

such that

 

The mappings   and   are inverses of each other, i.e.,  .

The mapping   is called the Cayley transform. It associates a partially defined isometry to any symmetric densely defined operator. Note that the mappings   and   are monotone: This means that if   is a symmetric operator that extends the densely defined symmetric operator  , then   extends  , and similarly for  .

Theorem — A necessary and sufficient condition for   to be self-adjoint is that its Cayley transform   be unitary on  .

This immediately gives us a necessary and sufficient condition for   to have a self-adjoint extension, as follows:

Theorem — A necessary and sufficient condition for   to have a self-adjoint extension is that   have a unitary extension to  .

A partially defined isometric operator   on a Hilbert space   has a unique isometric extension to the norm closure of  . A partially defined isometric operator with closed domain is called a partial isometry.

Define the deficiency subspaces of A by

 

In this language, the description of the self-adjoint extension problem given by the theorem can be restated as follows: a symmetric operator   has self-adjoint extensions if and only if the deficiency subspaces   and   have the same dimension.[4]

The deficiency indices of a partial isometry   are defined as the dimension of the orthogonal complements of the domain and range:

 

Theorem — A partial isometry   has a unitary extension if and only if the deficiency indices are identical. Moreover,   has a unique unitary extension if and only if the deficiency indices are both zero.

We see that there is a bijection between symmetric extensions of an operator and isometric extensions of its Cayley transform. The symmetric extension is self-adjoint if and only if the corresponding isometric extension is unitary.

A symmetric operator has a unique self-adjoint extension if and only if both its deficiency indices are zero. Such an operator is said to be essentially self-adjoint. Symmetric operators which are not essentially self-adjoint may still have a canonical self-adjoint extension. Such is the case for non-negative symmetric operators (or more generally, operators which are bounded below). These operators always have a canonically defined Friedrichs extension and for these operators we can define a canonical functional calculus. Many operators that occur in analysis are bounded below (such as the negative of the Laplacian operator), so the issue of essential adjointness for these operators is less critical.

Suppose   is symmetric densely defined. Then any symmetric extension of   is a restriction of  . Indeed,   and   symmetric yields   by applying the definition of  . This notion leads to the von Neumann formulae:[5]

Theorem —  Suppose   is a densely defined symmetric operator, with domain  . Let   be any pair of its deficiency subspaces. Then   and   where the decomposition is orthogonal relative to the graph inner product of  :  

Example

edit

Consider the Hilbert space  . On the subspace of absolutely continuous function that vanish on the boundary, define the operator   by

 

Integration by parts shows   is symmetric. Its adjoint   is the same operator with   being the absolutely continuous functions with no boundary condition. We will see that extending A amounts to modifying the boundary conditions, thereby enlarging   and reducing  , until the two coincide.

Direct calculation shows that   and   are one-dimensional subspaces given by

 

where   is a normalizing constant. The self-adjoint extensions   of   are parametrized by the circle group  . For each unitary transformation   defined by

 

there corresponds an extension   with domain

 

If  , then   is absolutely continuous and

 

Conversely, if   is absolutely continuous and   for some  , then   lies in the above domain.

The self-adjoint operators   are instances of the momentum operator in quantum mechanics.

Self-adjoint extension on a larger space

edit

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

edit

A symmetric operator   is called positive if

 

It is known that for every such  , one has  . Therefore, every positive symmetric operator has self-adjoint extensions. The more interesting question in this direction is whether   has positive self-adjoint extensions.

For two positive operators   and  , we put   if

 

in the sense of bounded operators.

Structure of 2 × 2 matrix contractions

edit

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 contractions: 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  , 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   is a contraction.

Extensions of Positive symmetric operators

edit

The Cayley transform for general symmetric operators can be adapted to this special case. For every non-negative number  ,

 

This suggests we assign to every positive symmetric operator   a contraction

 

defined by

 

which have matrix representation[clarification needed]

 

It is easily verified that the   entry,   projected onto  , is self-adjoint. The operator   can be written as

 

with  . If   is a contraction that extends   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  . 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  , its Cayley transform is a contraction satisfying the stated "partial" self-adjoint property.

Theorem — The positive symmetric extensions of   are in one-to-one correspondence with the extensions of its Cayley transform where, if   is such an extension, we require   projected onto   be self-adjoint.

The unitarity criterion of the Cayley transform is replaced by self-adjointness for positive operators.

Theorem — A symmetric positive operator   is self-adjoint if and only if its Cayley transform is a self-adjoint contraction defined on all of  , i.e. when  .

Therefore, finding self-adjoint extension for a positive symmetric operator becomes a "matrix completion problem". Specifically, we need to embed the column contraction   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   takes the form

 

So the self-adjoint positive extensions of   are in bijective correspondence with the self-adjoint contractions   on the defect space   of  . The contractions   and   give rise to positive extensions   and   respectively. These are the smallest and largest positive extensions of   in the sense that

 

for any positive self-adjoint extension   of  . The operator   is the Friedrichs extension of   and   is the von Neumann-Krein extension of  .

Similar results can be obtained for accretive operators.

Notes

edit
  1. ^ Hall 2013 Theorem 9.21
  2. ^ Hall 2013 Corollary 9.22
  3. ^ Rudin 1991, p. 356-357 §13.17.
  4. ^ Jørgensen, Kornelson & Shuman 2011, p. 85.
  5. ^ Akhiezer 1981, p. 354.

References

edit
  • Akhiezer, Naum Ilʹich (1981). Theory of Linear Operators in Hilbert Space. Boston: Pitman. ISBN 0-273-08496-8.
  • 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.
  • Hall, B. C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, vol. 267, Springer, Bibcode:2013qtm..book.....H, ISBN 978-1461471158
  • Jørgensen, Palle E. T.; Kornelson, Keri A.; Shuman, Karen L. (2011). Iterated Function Systems, Moments, and Transformations of Infinite Matrices. Providence, RI: American Mathematical Soc. ISBN 978-0-8218-5248-4.
  • Reed, M.; Simon, B. (1980). Methods of Modern Mathematical Physics: Vol 1: Functional analysis. Academic Press. ISBN 978-0-12-585050-6.
  • Reed, M.; Simon, B. (1972), Methods of Mathematical Physics: Vol 2: Fourier Analysis, Self-Adjointness, Academic Press
  • Rudin, Walter (1991). Functional Analysis. Boston, Mass.: McGraw-Hill Science, Engineering & Mathematics. ISBN 978-0-07-054236-5.