Extensions Of Symmetric Operators
   HOME

TheInfoList



OR:

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 (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, one is interested in extensions of symmetric operators acting on a
Hilbert space In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. Of particular importance is the existence, and sometimes explicit constructions, of
self-adjoint In mathematics, an element of a *-algebra is called self-adjoint if it is the same as its adjoint (i.e. a = a^*). Definition Let \mathcal be a *-algebra. An element a \in \mathcal is called self-adjoint if The set of self-adjoint elements ...
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 property or physical quantity that can be measured. In classical mechanics, an observable is a real-valued "function" on the set of all possible system states, e.g., position and momentum. In quantum ...
s in
quantum mechanics Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
. 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 \mu to the sequence of moments :m_n = \int_^\infty x^n \,d\mu(x)\,. More generally, one may consider :m_n = \int_^\infty M_n(x) \,d\mu( ...
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 a complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle is a linear map ''A'' (from ''V'' to itself) that is its own adjoint. That is, \langle Ax,y \rangle = \langle x,Ay \rangle for all ...
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 mapping V \to W between two vector spaces that pr ...
A acting on H with
dense Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be use ...
domain A domain is a geographic area controlled by a single person or organization. Domain may also refer to: Law and human geography * Demesne, in English common law and other Medieval European contexts, lands directly managed by their holder rather ...
\operatorname(A) is symmetric if :\langle Ax, y\rangle = \langle x, A y\rangle, \quad \forall x,y\in\operatorname(A). If \operatorname(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 vector ...
, in which case A is
self-adjoint In mathematics, an element of a *-algebra is called self-adjoint if it is the same as its adjoint (i.e. a = a^*). Definition Let \mathcal be a *-algebra. An element a \in \mathcal is called self-adjoint if The set of self-adjoint elements ...
and the extension problem is trivial. In general, a symmetric operator is self-adjoint if the domain of its adjoint, \operatorname(A^*), lies in \operatorname(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 t ...
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 densely defined, 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 The Riesz representation theorem, sometimes called the Riesz–Fréchet representation theorem after Frigyes Riesz and Maurice René Fréchet, establishes an important connection between a Hilbert space and its continuous dual space. If the un ...
. 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 next section, 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.


Self-adjoint extensions of symmetric operators

If an operator A on the Hilbert space H 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 Graph may refer to: Mathematics *Graph (discrete mathematics), a structure made of vertices and edges **Graph theory, the study of such graphs and their properties *Graph (topology), a topological space resembling a graph in the sense of discret ...
of A) 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: Equivalently, A is essentially self-adjoint if and only if the operators A^* \pm i have trivial
kernels Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learnin ...
. Corollary 9.22 That is to say, A ''fails to be'' self-adjoint if and only if A^* has an eigenvector with
complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ...
eigenvalues \pm i. Another way of looking at the issue is provided by 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 ...
of a self-adjoint operator and the deficiency indices. W(A) is
isometric The term ''isometric'' comes from the Greek for "having equal measurement". isometric may mean: * Cubic crystal system, also called isometric crystal system * Isometre, a rhythmic technique in music. * "Isometric (Intro)", a song by Madeon from ...
on its domain. Moreover, \operatorname(1-W(A)) is dense in A. Conversely, given any densely defined operator U which is isometric on its (not necessarily closed) domain and such that 1-U is dense, then there is a (unique) densely defined symmetric operator : S(U) : \operatorname(1 - U) \to \operatorname(1 + U) such that : S(U)(x - Ux) = i(x + U x), \quad x \in \operatorname(U). The mappings W and S are inverses of each other, i.e., S(W(A))=A. The mapping A \mapsto W(A) is called the Cayley transform. It associates a partially defined isometry to any symmetric densely defined operator. Note that the mappings W and S are monotone: This means that if B is a symmetric operator that extends the densely defined symmetric operator A, then W(B) extends W(A), and similarly for S. This immediately gives us a necessary and sufficient condition for A to have a self-adjoint extension, as follows: A partially defined isometric operator V on a Hilbert space H has a unique isometric extension to the norm closure of \operatorname(V). A partially defined isometric operator with closed domain is called a
partial isometry Partial may refer to: Mathematics *Partial derivative, derivative with respect to one of several variables of a function, with the other variables held constant ** ∂, a symbol that can denote a partial derivative, sometimes pronounced "partial ...
. Define the deficiency subspaces of ''A'' by :\begin K_+ &= \operatorname(A+i)^\\ K_- &= \operatorname(A-i)^ \end In this language, the description of the self-adjoint extension problem given by the theorem can be restated as follows: a symmetric operator A has self-adjoint extensions if and only if the deficiency subspaces K_ and K_ have the same dimension. The deficiency indices of a partial isometry V are defined as the dimension of the
orthogonal complement In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W^\perp of all vectors in V that are orthogonal to every vector in W. I ...
s of the domain and range: :\begin n_+(V) &= \dim \operatorname(V)^\perp \\ n_-(V) &= \dim \operatorname(V)^\perp \end 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 The adjective canonical is applied in many contexts to mean 'according to the canon' the standard, rule or primary source that is accepted as authoritative for the body of knowledge or literature in that context. In mathematics, ''canonical exampl ...
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 In functional analysis, the Friedrichs extension is a canonical form, canonical self-adjoint operator, self-adjoint extension of a non-negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension i ...
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 In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols \nabla\cdot\nabla, \nabla^2 (where \nabla is th ...
operator), so the issue of essential adjointness for these operators is less critical. Suppose A is symmetric densely defined. Then any symmetric extension of A is a restriction of A^*. Indeed, A\subseteq B and B symmetric yields B \subseteq A^* by applying the definition of \operatorname(A^*). This notion leads to the von Neumann formulae:


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 :A f = i \frac f. Integration by parts shows A is symmetric. Its adjoint A^* is the same operator with \operatorname(A^*) being the
absolutely continuous function In calculus and real analysis, 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 t ...
s with no boundary condition. We will see that extending ''A'' amounts to modifying the boundary conditions, thereby enlarging \operatorname(A) and reducing \operatorname(A^*), until the two coincide. Direct calculation shows that K_+ and K_- are one-dimensional subspaces given by :\begin K_+ &= \operatorname \\\ K_- &= \operatorname\ \end where c is a normalizing constant. The self-adjoint extensions A_\alpha of A are parametrized by the
circle group In mathematics, the circle group, denoted by \mathbb T or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers \mathbb T = \. The circle g ...
\mathbb T = \. For each
unitary transformation In mathematics, a unitary transformation is a linear isomorphism that preserves the inner product: the inner product of two vectors before the transformation is equal to their inner product after the transformation. Formal definition More precise ...
U_\alpha : K_- \to K_+ defined by :U_\alpha (\phi_-) =\alpha \phi_+ there corresponds an extension A_\alpha with domain : \operatorname(A_) = \. If f \in \operatorname(A_\alpha), then f is absolutely continuous and :\left, \frac\ = \left, \frac\ = 1. Conversely, if f is absolutely continuous and f(0)=\gamma f(1) for some \gamma \in \mathbb, then f lies in the above domain. The self-adjoint operators A_\alpha 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 :\langle A x, x\rangle\ge 0, \quad \forall x\in \operatorname(A). It is known that for every such A, one has \operatornameK_+ = \operatornameK_-. 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\leq B if :(A + 1)^ \ge (B + 1)^ 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 \Gamma, acting on H, we define its defect operators by :\begin &D_\; = (1 - \Gamma^*\Gamma )^\\ &D_ = (1 - \Gamma \Gamma^*)^ \end The defect spaces of \Gamma are :\begin &\mathcal_\; = \operatorname( D_ )\\ &\mathcal_ = \operatorname( D_) \end The defect operators indicate the non-unitarity of \Gamma, 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 \Gamma can be uniquely expressed as : \Gamma = \begin \Gamma_1 & D_ \Gamma_2\\ \Gamma_3 D_ & - \Gamma_3 \Gamma_1^* \Gamma_2 + D_ \Gamma_4 D_ \end where each \Gamma_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, :\left, \frac\ \le 1. This suggests we assign to every positive symmetric operator A a contraction :C_A : \operatorname(A + 1) \rightarrow \operatorname(A-1) \subset H defined by :C_A (A+1)x = (A-1)x. \quad \mbox \quad C_A = (A-1)(A+1)^.\, which have matrix representation : C_A = \begin \Gamma_1 \\ \Gamma_3 D_ \end : \operatorname(A+1) \rightarrow \begin \operatorname(A+1) \\ \oplus \\ \operatorname(A+1)^ \end. It is easily verified that the \Gamma_1 entry, C_A projected onto \operatorname(A+1)=\operatorname(C_A), is self-adjoint. The operator A can be written as :A = (1+ C_A)(1 - C_A)^ \, with \operatorname(A)=\operatorname(C_A -1). If \tilde 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 :\tilde = ( 1 + \tilde ) ( 1 - \tilde )^ defined on \operatorname( 1 - \tilde) 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. The unitarity criterion of the Cayley transform is replaced by self-adjointness for positive operators. 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 m ...
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 : \tilde(\Gamma_4) = \begin \Gamma_1 & D_ \Gamma_3 ^* \\ \Gamma_3 D_ & - \Gamma_3 \Gamma_1 \Gamma_3^* + D_ \Gamma_4 D_ \end. So the self-adjoint positive extensions of A are in bijective correspondence with the self-adjoint contractions \Gamma_4 on the defect space \mathcal_ of \Gamma_3. The contractions \tilde(-1) and \tilde(1) give rise to positive extensions A_0 and A_ respectively. These are the ''smallest'' and ''largest'' positive extensions of A in the sense that :A_0 \leq B \leq A_ for any positive self-adjoint extension B of A. The operator A_\infty is the
Friedrichs extension In functional analysis, the Friedrichs extension is a canonical form, canonical self-adjoint operator, self-adjoint extension of a non-negative densely defined symmetric operator. It is named after the mathematician Kurt Friedrichs. This extension i ...
of A and A_0 is the von Neumann-Krein extension of A. Similar results can be obtained for accretive operators.


Notes


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. * * * * * {{DEFAULTSORT:Extensions Of Symmetric Operators Functional analysis Operator theory Linear operators