Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Extensions of symmetric operators

From Wikipedia, the free encyclopedia
Operation on self-adjoint operators
This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(June 2020) (Learn how and when to remove this message)

Infunctional analysis, one is interested inextensions of symmetric operators acting on aHilbert space. Of particular importance is the existence, and sometimes explicit constructions, ofself-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions ofobservables inquantum mechanics. Other applications of solutions to this problem can be seen in variousmoment 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, ofsymmetric operators is equivalent to finding unitary extensions of suitablepartial isometries.

Symmetric operators

[edit]

LetH{\displaystyle H} be a Hilbert space. Alinear operatorA{\displaystyle A} acting onH{\displaystyle H} withdensedomaindom(A){\displaystyle \operatorname {dom} (A)} issymmetric if

Ax,y=x,Ay,x,ydom(A).{\displaystyle \langle Ax,y\rangle =\langle x,Ay\rangle ,\quad \forall x,y\in \operatorname {dom} (A).}

Ifdom(A)=H{\displaystyle \operatorname {dom} (A)=H}, theHellinger-Toeplitz theorem says thatA{\displaystyle A} is abounded operator, in which caseA{\displaystyle A} isself-adjoint and the extension problem is trivial. In general, a symmetric operator is self-adjoint if the domain of its adjoint,dom(A){\displaystyle \operatorname {dom} (A^{*})}, lies indom(A){\displaystyle \operatorname {dom} (A)}.

When dealing withunbounded operators, it is often desirable to be able to assume that the operator in question isclosed. In the present context, it is a convenient fact that every densely defined, symmetric operatorA{\displaystyle A} isclosable. That is,A{\displaystyle A} has the smallest closed extension, called theclosure ofA{\displaystyle A}. This canbe shown by invoking the symmetric assumption andRiesz representation theorem. SinceA{\displaystyle 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 bedensely defined and closed.

Self-adjoint extensions of symmetric operators

[edit]

If an operatorA{\displaystyle A} on the Hilbert spaceH{\displaystyle H} is symmetric, when does it have self-adjoint extensions? An operator that has a unique self-adjoint extension is said to beessentially self-adjoint; equivalently, an operator is essentially self-adjoint if its closure (the operator whose graph is the closure of thegraph ofA{\displaystyle 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:[1]

Theorem IfA{\displaystyle A} is a symmetric operator onH{\displaystyle H}, thenA{\displaystyle A} is essentially self-adjoint if and only if therange of the operatorsAi{\displaystyle A-i} andA+i{\displaystyle A+i} are dense inH{\displaystyle H}.

Equivalently,A{\displaystyle A} is essentially self-adjoint if and only if the operatorsA±i{\displaystyle A^{*}\pm i} have trivialkernels.[2] That is to say,A{\displaystyle A}fails to be self-adjoint if and only ifA{\displaystyle A^{*}} has an eigenvector withcomplex eigenvalues±i{\displaystyle \pm i}.

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

TheoremSupposeA{\displaystyle A} is a symmetric operator. Then there is a unique densely defined linear operatorW(A):ran(A+i)ran(Ai){\displaystyle W(A):\operatorname {ran} (A+i)\to \operatorname {ran} (A-i)}such thatW(A)(Ax+ix)=Axix,xdom(A).{\displaystyle W(A)(Ax+ix)=Ax-ix,\quad x\in \operatorname {dom} (A).}

W(A){\displaystyle W(A)} isisometric on its domain. Moreover,ran(1W(A)){\displaystyle \operatorname {ran} (1-W(A))} is dense inA{\displaystyle A}.

Conversely, given any densely defined operatorU{\displaystyle U} which is isometric on its (not necessarily closed) domain and such that1U{\displaystyle 1-U} is dense, then there is a (unique) densely defined symmetric operator

S(U):ran(1U)ran(1+U){\displaystyle S(U):\operatorname {ran} (1-U)\to \operatorname {ran} (1+U)}

such that

S(U)(xUx)=i(x+Ux),xdom(U).{\displaystyle S(U)(x-Ux)=i(x+Ux),\quad x\in \operatorname {dom} (U).}

The mappingsW{\displaystyle W} andS{\displaystyle S} are inverses of each other, i.e.,S(W(A))=A{\displaystyle S(W(A))=A}.

The mappingAW(A){\displaystyle A\mapsto W(A)} is called theCayley transform. It associates apartially defined isometry to any symmetric densely defined operator. Note that the mappingsW{\displaystyle W} andS{\displaystyle S} aremonotone: This means that ifB{\displaystyle B} is a symmetric operator that extends the densely defined symmetric operatorA{\displaystyle A}, thenW(B){\displaystyle W(B)} extendsW(A){\displaystyle W(A)}, and similarly forS{\displaystyle S}.

TheoremA necessary and sufficient condition forA{\displaystyle A} to be self-adjoint is that its Cayley transformW(A){\displaystyle W(A)} beunitary onH{\displaystyle H}.

This immediately gives us a necessary and sufficient condition forA{\displaystyle A} to have a self-adjoint extension, as follows:

TheoremA necessary and sufficient condition forA{\displaystyle A} to have a self-adjoint extension is thatW(A){\displaystyle W(A)} have a unitary extension toH{\displaystyle H}.

A partially defined isometric operatorV{\displaystyle V} on a Hilbert spaceH{\displaystyle H} has a unique isometric extension to the norm closure ofdom(V){\displaystyle \operatorname {dom} (V)}. A partially defined isometric operator with closed domain is called apartial isometry.

Define thedeficiency subspaces ofA by

K+=ran(A+i)K=ran(Ai){\displaystyle {\begin{aligned}K_{+}&=\operatorname {ran} (A+i)^{\perp }\\K_{-}&=\operatorname {ran} (A-i)^{\perp }\end{aligned}}}

In this language, the description of the self-adjoint extension problem given by the theorem can be restated as follows: a symmetric operatorA{\displaystyle A} has self-adjoint extensions if and only if the deficiency subspacesK+{\displaystyle K_{+}} andK{\displaystyle K_{-}} have the same dimension.[4]

Thedeficiency indices of a partial isometryV{\displaystyle V} are defined as the dimension of theorthogonal complements of the domain and range:

n+(V)=dimdom(V)n(V)=dimran(V){\displaystyle {\begin{aligned}n_{+}(V)&=\dim \operatorname {dom} (V)^{\perp }\\n_{-}(V)&=\dim \operatorname {ran} (V)^{\perp }\end{aligned}}}

TheoremA partial isometryV{\displaystyle V} has a unitary extension if and only if the deficiency indices are identical. Moreover,V{\displaystyle V} has aunique 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 beessentially self-adjoint. Symmetric operators which are not essentially self-adjoint may still have acanonical self-adjoint extension. Such is the case fornon-negative symmetric operators (or more generally, operators which are bounded below). These operators always have a canonically definedFriedrichs 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 theLaplacian operator), so the issue of essential adjointness for these operators is less critical.

SupposeA{\displaystyle A} is symmetric densely defined. Then any symmetric extension ofA{\displaystyle A} is a restriction ofA{\displaystyle A^{*}}. Indeed,AB{\displaystyle A\subseteq B} andB{\displaystyle B} symmetric yieldsBA{\displaystyle B\subseteq A^{*}} by applying the definition ofdom(A){\displaystyle \operatorname {dom} (A^{*})}. This notion leads to thevon Neumann formulae:[5]

Theorem SupposeA{\displaystyle A} is a densely defined symmetric operator, with domaindom(A){\displaystyle \operatorname {dom} (A)}. LetN±=ran(A±i),{\displaystyle N_{\pm }=\operatorname {ran} (A\pm i)^{\perp },}be any pair of its deficiency subspaces. ThenN±=ker(Ai),{\displaystyle N_{\pm }=\operatorname {ker} (A^{*}\mp i),}anddom(A)=dom(A¯)N+N,{\displaystyle \operatorname {dom} \left(A^{*}\right)=\operatorname {dom} \left({\overline {A}}\right)\oplus N_{+}\oplus N_{-},}where the decomposition is orthogonal relative to the graph inner product ofdom(A){\displaystyle \operatorname {dom} (A^{*})}:ξηgraph=ξη+AξAη.{\displaystyle \langle \xi \mid \eta \rangle _{\text{graph}}=\langle \xi \mid \eta \rangle +\left\langle A^{*}\xi \mid A^{*}\eta \right\rangle .}

Example

[edit]
icon
This sectiondoes notcite anysources. Please helpimprove this section byadding citations to reliable sources. Unsourced material may be challenged andremoved.(January 2024) (Learn how and when to remove this message)

Consider the Hilbert spaceL2([0,1]){\displaystyle L^{2}([0,1])}. On the subspace of absolutely continuous function that vanish on the boundary, define the operatorA{\displaystyle A} by

Af=iddxf.{\displaystyle Af=i{\frac {d}{dx}}f.}

Integration by parts showsA{\displaystyle A} is symmetric. Its adjointA{\displaystyle A^{*}} is the same operator withdom(A){\displaystyle \operatorname {dom} (A^{*})} being theabsolutely continuous functions with no boundary condition. We will see that extendingA amounts to modifying the boundary conditions, thereby enlargingdom(A){\displaystyle \operatorname {dom} (A)} and reducingdom(A){\displaystyle \operatorname {dom} (A^{*})}, until the two coincide.

Direct calculation shows thatK+{\displaystyle K_{+}} andK{\displaystyle K_{-}} are one-dimensional subspaces given by

K+=span{ϕ+=cex}K=span{ϕ=cex}{\displaystyle {\begin{aligned}K_{+}&=\operatorname {span} \{\phi _{+}=c\cdot e^{x}\}\\K_{-}&=\operatorname {span} \{\phi _{-}=c\cdot e^{-x}\}\end{aligned}}}

wherec{\displaystyle c} is a normalizing constant. The self-adjoint extensionsAα{\displaystyle A_{\alpha }} ofA{\displaystyle A} are parametrized by thecircle groupT={αC:|α|=1}{\displaystyle \mathbb {T} =\{\alpha \in \mathbb {C} :|\alpha |=1\}}. For eachunitary transformationUα:KK+{\displaystyle U_{\alpha }:K_{-}\to K_{+}} defined by

Uα(ϕ)=αϕ+{\displaystyle U_{\alpha }(\phi _{-})=\alpha \phi _{+}}

there corresponds an extensionAα{\displaystyle A_{\alpha }} with domain

dom(Aα)={f+β(αϕϕ+)|fdom(A),βC}.{\displaystyle \operatorname {dom} (A_{\alpha })=\{f+\beta (\alpha \phi _{-}-\phi _{+})|f\in \operatorname {dom} (A),\;\beta \in \mathbb {C} \}.}

Iffdom(Aα){\displaystyle f\in \operatorname {dom} (A_{\alpha })}, thenf{\displaystyle f} is absolutely continuous and

|f(0)f(1)|=|eα1αe|=1.{\displaystyle \left|{\frac {f(0)}{f(1)}}\right|=\left|{\frac {e\alpha -1}{\alpha -e}}\right|=1.}

Conversely, iff{\displaystyle f} is absolutely continuous andf(0)=γf(1){\displaystyle f(0)=\gamma f(1)} for someγT{\displaystyle \gamma \in \mathbb {T} }, thenf{\displaystyle f} lies in the above domain.

The self-adjoint operatorsAα{\displaystyle A_{\alpha }} are instances of themomentum operator in quantum mechanics.

Self-adjoint extension on a larger space

[edit]
[icon]
This sectionneeds expansion. You can help byadding to it.(June 2008)

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]
icon
This sectiondoes notcite anysources. Please helpimprove this section byadding citations to reliable sources. Unsourced material may be challenged andremoved.(January 2024) (Learn how and when to remove this message)

A symmetric operatorA{\displaystyle A} is calledpositive if

Ax,x0,xdom(A).{\displaystyle \langle Ax,x\rangle \geq 0,\quad \forall x\in \operatorname {dom} (A).}

It is known that for every suchA{\displaystyle A}, one hasdimK+=dimK{\displaystyle \operatorname {dim} K_{+}=\operatorname {dim} K_{-}}. Therefore, every positive symmetric operator has self-adjoint extensions. The more interesting question in this direction is whetherA{\displaystyle A} has positive self-adjoint extensions.

For two positive operatorsA{\displaystyle A} andB{\displaystyle B}, we putAB{\displaystyle A\leq B} if

(A+1)1(B+1)1{\displaystyle (A+1)^{-1}\geq (B+1)^{-1}}

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 extendingcontractions: 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Γ{\displaystyle \Gamma }, acting onH{\displaystyle H}, we define itsdefect operators by

DΓ=(1ΓΓ)12DΓ=(1ΓΓ)12{\displaystyle {\begin{aligned}&D_{\Gamma }\;=(1-\Gamma ^{*}\Gamma )^{\frac {1}{2}}\\&D_{\Gamma ^{*}}=(1-\Gamma \Gamma ^{*})^{\frac {1}{2}}\end{aligned}}}

Thedefect spaces ofΓ{\displaystyle \Gamma } are

DΓ=ran(DΓ)DΓ=ran(DΓ){\displaystyle {\begin{aligned}&{\mathcal {D}}_{\Gamma }\;=\operatorname {ran} (D_{\Gamma })\\&{\mathcal {D}}_{\Gamma ^{*}}=\operatorname {ran} (D_{\Gamma ^{*}})\end{aligned}}}

The defect operators indicate the non-unitarity ofΓ{\displaystyle \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Γ{\displaystyle \Gamma } can be uniquely expressed as

Γ=[Γ1DΓ1Γ2Γ3DΓ1Γ3Γ1Γ2+DΓ3Γ4DΓ2]{\displaystyle \Gamma ={\begin{bmatrix}\Gamma _{1}&D_{\Gamma _{1}^{*}}\Gamma _{2}\\\Gamma _{3}D_{\Gamma _{1}}&-\Gamma _{3}\Gamma _{1}^{*}\Gamma _{2}+D_{\Gamma _{3}^{*}}\Gamma _{4}D_{\Gamma _{2}}\end{bmatrix}}}

where eachΓi{\displaystyle \Gamma _{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 numbera{\displaystyle a},

|a1a+1|1.{\displaystyle \left|{\frac {a-1}{a+1}}\right|\leq 1.}

This suggests we assign to every positive symmetric operatorA{\displaystyle A} a contraction

CA:ran(A+1)ran(A1)H{\displaystyle C_{A}:\operatorname {ran} (A+1)\rightarrow \operatorname {ran} (A-1)\subset H}

defined by

CA(A+1)x=(A1)x.i.e.CA=(A1)(A+1)1.{\displaystyle C_{A}(A+1)x=(A-1)x.\quad {\mbox{i.e.}}\quad C_{A}=(A-1)(A+1)^{-1}.\,}

which have matrix representation[clarification needed]

CA=[Γ1Γ3DΓ1]:ran(A+1)ran(A+1)ran(A+1).{\displaystyle C_{A}={\begin{bmatrix}\Gamma _{1}\\\Gamma _{3}D_{\Gamma _{1}}\end{bmatrix}}:\operatorname {ran} (A+1)\rightarrow {\begin{matrix}\operatorname {ran} (A+1)\\\oplus \\\operatorname {ran} (A+1)^{\perp }\end{matrix}}.}

It is easily verified that theΓ1{\displaystyle \Gamma _{1}} entry,CA{\displaystyle C_{A}} projected ontoran(A+1)=dom(CA){\displaystyle \operatorname {ran} (A+1)=\operatorname {dom} (C_{A})}, is self-adjoint. The operatorA{\displaystyle A} can be written as

A=(1+CA)(1CA)1{\displaystyle A=(1+C_{A})(1-C_{A})^{-1}\,}

withdom(A)=ran(CA1){\displaystyle \operatorname {dom} (A)=\operatorname {ran} (C_{A}-1)}. IfC~{\displaystyle {\tilde {C}}} is a contraction that extendsCA{\displaystyle C_{A}} and its projection onto its domain is self-adjoint, then it is clear that its inverse Cayley transform

A~=(1+C~)(1C~)1{\displaystyle {\tilde {A}}=(1+{\tilde {C}})(1-{\tilde {C}})^{-1}}

defined onran(1C~){\displaystyle \operatorname {ran} (1-{\tilde {C}})} is a positive symmetric extension ofA{\displaystyle 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 ofA{\displaystyle A}, its Cayley transform is a contraction satisfying the stated "partial" self-adjoint property.

TheoremThe positive symmetric extensions ofA{\displaystyle A} are in one-to-one correspondence with the extensions of its Cayley transform where, ifC{\displaystyle C} is such an extension, we requireC{\displaystyle C} projected ontodom(C){\displaystyle \operatorname {dom} (C)} be self-adjoint.

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

TheoremA symmetric positive operatorA{\displaystyle A} is self-adjoint if and only if its Cayley transform is a self-adjoint contraction defined on all ofH{\displaystyle H}, i.e. whenran(A+1)=H{\displaystyle \operatorname {ran} (A+1)=H}.

Therefore, finding self-adjoint extension for a positive symmetric operator becomes a "matrix completion problem". Specifically, we need to embed the column contractionCA{\displaystyle 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 ofCA{\displaystyle C_{A}} takes the form

C~(Γ4)=[Γ1DΓ1Γ3Γ3DΓ1Γ3Γ1Γ3+DΓ3Γ4DΓ3].{\displaystyle {\tilde {C}}(\Gamma _{4})={\begin{bmatrix}\Gamma _{1}&D_{\Gamma _{1}}\Gamma _{3}^{*}\\\Gamma _{3}D_{\Gamma _{1}}&-\Gamma _{3}\Gamma _{1}\Gamma _{3}^{*}+D_{\Gamma _{3}^{*}}\Gamma _{4}D_{\Gamma _{3}^{*}}\end{bmatrix}}.}

So the self-adjoint positive extensions ofA{\displaystyle A} are in bijective correspondence with the self-adjoint contractionsΓ4{\displaystyle \Gamma _{4}} on the defect spaceDΓ3{\displaystyle {\mathcal {D}}_{\Gamma _{3}^{*}}} ofΓ3{\displaystyle \Gamma _{3}}. The contractionsC~(1){\displaystyle {\tilde {C}}(-1)} andC~(1){\displaystyle {\tilde {C}}(1)} give rise to positive extensionsA0{\displaystyle A_{0}} andA{\displaystyle A_{\infty }} respectively. These are thesmallest andlargest positive extensions ofA{\displaystyle A} in the sense that

A0BA{\displaystyle A_{0}\leq B\leq A_{\infty }}

for any positive self-adjoint extensionB{\displaystyle B} ofA{\displaystyle A}. The operatorA{\displaystyle A_{\infty }} is theFriedrichs extension ofA{\displaystyle A} andA0{\displaystyle A_{0}} is thevon Neumann-Krein extension ofA{\displaystyle A}.

Similar results can be obtained foraccretive 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 Theory4 (1980), 251-270.
  • Gr. Arsene and A. Gheondea, Completing matrix contractions,J. Operator Theory7 (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.
Spaces
Properties
Theorems
Operators
Algebras
Open problems
Applications
Advanced topics
Retrieved from "https://en.wikipedia.org/w/index.php?title=Extensions_of_symmetric_operators&oldid=1265176844"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp