Jump to content

User:Mct mht/some links/d1

From Wikipedia, the free encyclopedia

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.

Symmetric operators

[edit]

Let H be a Hilbert space. A linear opeartor A acting on H with dense domain Dom(A) is symmetric if

<Ax, y> = <x, Ay>, for all x, y in Dom(A).

If Dom(A) = H, the Hellinger-Toeplitz theorem says that A is a bounded operator, in which case A is self-adjoint 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 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 A is closable. That is, A has a smallest closed extension, called the closure of A. This can be shown by invoking the symmetric assumption and Riesz representation theorem. 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 a densely defined and closed.

Extensions of symmetric operators

[edit]

Problem Given a densely defined closed symmetric operator A, does it always have extension?

This question can be translated to an operator-theoretic one. As a heuristic motivation, notice that the Cayley transform 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 UA is in fact an isometry between closed subspaces that takes (A + i)x to (A - i)x for x in Dom(A). [1]

The map

is also called the Cayley transform of the symmetric operator A. Given UA, A can be recovered by

defined on Dom(A) = Ran(U - 1).[2]

Now if

is an isometric extension of UA, the operator

acting on

is a symmetric extension of A. [3]

[4]

Theorem The symmetric extensions of a closed symmetric operator A is in one-to-one correspondence with the isometric extensions of its Cayley transform UA.

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 UA is an unitary operator on H. [5]

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 UA.

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 UA has unitary extensions to H, i.e. the deficiency subspaces K+ and K- have the same dimension.

An example

[edit]

Consider the Hilbert space L2[0,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 functions with no boundary condition[6] . 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, {|α| = 1}. 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 { Aα } 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 an unitary operator. Consequently, every symmetric operator has a self-adjoint extension, on a possibly larger space.

Positive symmetric operators

[edit]

A symmetric operator A is called positive if <Ax, x> ≥ 0 for all x in Dom(A). It is known that for every such A, one has dim(K+) = dim(K-)[7]. Therefore every positive symmetric operator has self-adjoint extensions. The more interesting question in this direction is whether A has positive self-adjoint extensions.

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 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 parametrizations. 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

[edit]

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, CA projected onto Ran(A + 1) = Dom(CA), is self-adjoint.[8]

The operator A can be written as

with Dom(A) = Ran(CA - 1). If

is a contraction that extends CA 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) is self-adjoint.

[9]

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

Theorem A symmetric positive operator B 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.

[10]

Therefore finding self-adjoint extension for a positive symmetric operator becomes a matrix "completion problem". Specificly, we need to embed the column contraction CA 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 CA 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 extension B of A. The operator A0 is the Friedrichs extension of A and A is the von Neumann-Krein extension of A.

Similar results can be obtained for accretive operators.

Notes

[edit]
  1. ^ The operator A + i is bounded below, the expression (A + i)-1 makes sense on Ran(A + i). Closedness of A implies both Ran(A - i) and Ran(A + i) are closed subspaces.
  2. ^ We observe
    are well defined on Ran(A + i). So
  3. ^ This is because
    and that is symmetric follows from being an isometry.
  4. ^ Sidenote: it is see here that an isometry V between closed subspaces of H is the Cayley transform of a symmetric operator if and only if V - 1 is injective, i.e. 1 is not an eigenvalue of V.
  5. ^ To show this, we note that Ran(A ± i) ≠ H if and only if there exists yH such that <A ± x, y> for all xDom(A). In turn, this is true if and only if yDom(A*) and A*y = ± iy, which implies A is not self-adjoint. For the converse, if Ran(A ± i) = H, then for all y in Dom(A*), (A* + i)y = (A + i)x for some x in Dom(A). By A being symmetric, (A* + i)(x - y) = 0, i.e. x - y lies in Ker(A* + i). Since Ker(A* + i) = Ran(A - i), we have x - y = 0.
  6. ^ Reed and Simon, v1
  7. ^ Dunford and Schwarz, v2
  8. ^ Because <CA(A + 1)x, (A + 1)y> = <(A + 1)x, CA(A + 1)y> for all x, y in Dom(A).
  9. ^ Note The connection between positive operators and contractions is a natural analog of that between self-adjoint operators and unitaries. See generalized semigroup of contractions, where a Stone-von Neumann type result is discussed.
  10. ^ The argument for this is as follows. If Ran(A + 1) = H, then for all y in Dom(A*), (A* + 1)y = (A + 1)x. By A being symmetric, (A* + 1)(x - y) = 0. But Ker(A* + 1) = Ran(A + 1). So x = y and y is in Dom(A). Conversely, if Ran(A + 1) ≠ H, then there exists y in Dom(A*) such that A*y = -y. Therefore A cannot be self-adjoint.

References

[edit]
  • Gr. Arsene and A. Gheondea, Completing matrix contractions, J. Operator Theory, 7, 1982, 179-189.
  • A. Alfonso and B. Simon, The Birman-Krein-Vishik theory of self-adjoint extensions of semibounded operators. J. Operator Theory, 4, 1980, 251-270.
  • N. Dunford and J.T. Schwartz, Linear Operators, Part II, Interscience, 1958.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics, vol. I and II, Academic Press, 1975.