Self-adjoint operator




In mathematics, a self-adjoint operator on a finite-dimensional complex vector space V with inner product ,⋅{displaystyle langle cdot ,cdot rangle }langle cdot ,cdot rangle is a linear map A (from V to itself) that is its own adjoint: Av,w⟩=⟨v,Aw⟩{displaystyle langle Av,wrangle =langle v,Awrangle }langle Av,wrangle=langle v,Awrangle for all vectors v and w. If V is finite-dimensional with a given orthonormal basis, this is equivalent to the condition that the matrix of A is Hermitian, i.e., equal to its conjugate transpose A. By the finite-dimensional spectral theorem, V has an orthonormal basis such that the matrix of A relative to this basis is a diagonal matrix with entries in the real numbers. In this article, we consider generalizations of this concept to operators on Hilbert spaces of arbitrary dimension.


Self-adjoint operators are used in functional analysis and quantum mechanics. In quantum mechanics their importance lies in the Dirac–von Neumann formulation of quantum mechanics, in which physical observables such as position, momentum, angular momentum and spin are represented by self-adjoint operators on a Hilbert space. Of particular significance is the Hamiltonian operator H^{displaystyle {hat {H}}}{hat {H}} defined by


H^ψ=−22m∇+Vψ,{displaystyle {hat {H}}psi =-{frac {hbar ^{2}}{2m}}nabla ^{2}psi +Vpsi ,}{displaystyle {hat {H}}psi =-{frac {hbar ^{2}}{2m}}nabla ^{2}psi +Vpsi ,}

which as an observable corresponds to the total energy of a particle of mass m in a real potential field V. Differential operators are an important class of unbounded operators.


The structure of self-adjoint operators on infinite-dimensional Hilbert spaces essentially resembles the
finite-dimensional case. That is to say, operators are self-adjoint if and only if they are unitarily equivalent to real-valued multiplication operators. With suitable modifications, this result can be extended to possibly unbounded operators on infinite-dimensional spaces. Since an everywhere-defined self-adjoint operator is necessarily bounded, one needs be more attentive to the domain issue in the unbounded case. This is explained below in more detail.




Contents






  • 1 Bounded self-adjoint operators


  • 2 Symmetric operators


    • 2.1 Subtleties of the unbounded case


    • 2.2 Definition of a symmetric operator


    • 2.3 A simple example




  • 3 Self-adjoint operators


    • 3.1 Definition of a self-adjoint operator


    • 3.2 Essential self-adjointness


    • 3.3 Geometric interpretation


    • 3.4 An example




  • 4 The distinction between symmetric and self-adjoint operators


    • 4.1 Boundary conditions


    • 4.2 Schrödinger operators with singular potentials




  • 5 Spectral theorem


    • 5.1 Statement of the spectral theorem


    • 5.2 Functional calculus


    • 5.3 Resolution of the identity


    • 5.4 Formulation in the physics literature




  • 6 Extensions of symmetric operators


    • 6.1 Self-adjoint extensions in quantum mechanics




  • 7 Von Neumann's formulas


  • 8 Examples


    • 8.1 A symmetric operator that is not essentially self-adjoint


    • 8.2 Constant-coefficient operators




  • 9 Spectral multiplicity theory


    • 9.1 Uniform multiplicity


    • 9.2 Direct integrals


    • 9.3 Example: structure of the Laplacian




  • 10 Pure point spectrum


  • 11 See also


  • 12 Citations


  • 13 References





Bounded self-adjoint operators


Suppose A{displaystyle A}A is a bounded linear operator from a Hilbert space H to itself. Then there is a unique bounded operator A∗{displaystyle A^{*}}A^{*}, called the adjoint of A{displaystyle A}A such that (in bracket notation)


Ax|y⟩=⟨x|A∗y⟩{displaystyle langle Ax|yrangle =leftlangle x|A^{*}yrightrangle }{displaystyle langle Ax|yrangle =leftlangle x|A^{*}yrightrangle }

for all x,y{displaystyle x,y}x,y in H.[1] We say that A is self-adjoint (physicists use the term "Hermitian") if A∗=A{displaystyle A^{*}=A}{displaystyle A^{*}=A}. Equivalently, a bounded operator A is self-adjoint if


Ax|y⟩=⟨x|Ay⟩{displaystyle langle Ax|yrangle =langle x|Ayrangle }{displaystyle langle Ax|yrangle =langle x|Ayrangle }

for all x and y in H.



Symmetric operators




Subtleties of the unbounded case


In many applications, we are led to consider operators that are unbounded; examples include the position, momentum, and Hamiltonian operators in quantum mechanics, as well as many differential operators. In the unbounded case, there are a number of subtle technical issues that have to be dealt with. In particular, there is a crucial distinction between operators that are merely "symmetric" (defined in this section) and those that are "self-adjoint" (defined in the next section). In the case of differential operators defined on bounded domains, these technical issues have to do with making an appropriate choice of boundary conditions.



Definition of a symmetric operator


We now consider an unbounded operator A on a Hilbert space H. This means A is a linear map from a subspace of H—the "domain" of A, denoted Dom⁡(A){displaystyle operatorname {Dom} (A)}{displaystyle operatorname {Dom} (A)}—to H itself. We typically assume that Dom⁡(A){displaystyle operatorname {Dom} (A)}{displaystyle operatorname {Dom} (A)} is a dense subspace of H. Such an operator is called symmetric if, in bracket notation,


Ax|y⟩=⟨x|Ay⟩{displaystyle langle Ax|yrangle =langle x|Ayrangle }{displaystyle langle Ax|yrangle =langle x|Ayrangle }

for all elements x and y in the domain of A.


If A is symmetric and Dom(A)=H{displaystyle mathrm {Dom} (A)=H}{displaystyle mathrm {Dom} (A)=H}, then A is necessarily bounded.[2] That is to say, an unbounded symmetric operator cannot be defined on the whole Hilbert space. Since the operators considered in quantum mechanics are unbounded, it is impossible to define them as symmetric operators on the whole Hilbert space.


In the physics literature, the term Hermitian is used in place of the term symmetric. It should be noted, however, that the physics literature generally glosses over the distinction between operators that are merely symmetric and operators that are actually self-adjoint (as defined in the next section).


Although the notion of a symmetric operator is easy to understand, it is not the "right" notion in the unbounded case. Specifically, the spectral theorem applies only to operators that are self-adjoint (defined in the next section) and not to operators that are merely symmetric. In particular, although the eigenvalues of a symmetric operator are necessarily real, a symmetric operator need not have any eigenvectors, let alone an orthonormal basis of them.


More generally, a partially defined linear operator A from a topological vector space E into its continuous dual space E is said to be symmetric if


Ax|y⟩=⟨x|Ay⟩{displaystyle langle Ax|yrangle =langle x|Ayrangle }{displaystyle langle Ax|yrangle =langle x|Ayrangle }

for all elements x and y in the domain of A. This usage is fairly standard in the functional analysis literature.



A simple example


As noted above, the spectral theorem applies only to self-adjoint operators, and not in general to symmetric operators. Nevertheless, we can at this point give a simple example of a symmetric operator that has an orthonormal basis of eigenvectors. (This operator is actually "essentially self-adjoint.") The operator A below can be seen to have a compact inverse, meaning that the corresponding differential equation Af = g is solved by some integral, therefore compact, operator G. The compact symmetric operator G then has a countable family of eigenvectors which are complete in L2. The same can then be said for A.


Consider the complex Hilbert space L2[0,1] and the differential operator


A=−d2dx2{displaystyle A=-{frac {d^{2}}{dx^{2}}}}{displaystyle A=-{frac {d^{2}}{dx^{2}}}}

with Dom(A){displaystyle mathrm {Dom} (A)}{displaystyle mathrm {Dom} (A)} consisting of all complex-valued infinitely differentiable functions f on [0, 1] satisfying the boundary conditions


f(0)=f(1)=0.{displaystyle f(0)=f(1)=0.}{displaystyle f(0)=f(1)=0.}

Then integration by parts of the inner product shows that A is symmetric. The reader is invited to perform integration by parts twice and verify that the given boundary conditions for Dom⁡(A){displaystyle operatorname {Dom} (A)}{displaystyle operatorname {Dom} (A)} ensure that the boundary terms in the integration by parts vanish.


The eigenfunctions of A are the sinusoids


fn(x)=sin⁡(nπx)n=1,2,…{displaystyle f_{n}(x)=sin(npi x)qquad n=1,2,ldots }{displaystyle f_{n}(x)=sin(npi x)qquad n=1,2,ldots }

with the real eigenvalues n2π2; the well-known orthogonality of the sine functions follows as a consequence of the property of being symmetric.


We consider generalizations of this operator below.



Self-adjoint operators



Definition of a self-adjoint operator


Briefly, a densely defined linear operator A on a Hilbert space is self-adjoint if it equals its adjoint. That is to say, A is self-adjoint if (1) the domain of A coincides with the domain of the adjoint, and (2) the operator A agrees with its adjoint on this common domain.


We now elaborate on the above definition. Given a densely defined linear operator A on H, its adjoint A is defined as follows:


  • The domain of A consists of vectors x in H such that
    y↦x|Ay⟩{displaystyle ymapsto langle x|Ayrangle }{displaystyle ymapsto langle x|Ayrangle }


(which is a densely defined linear map) is a continuous linear functional. By continuity and density of the domain of A, it extends to a unique continuous linear functional on all of H.

  • By the Riesz representation theorem for linear functionals, if x is in the domain of A, there is a unique vector z in H such that
    x|Ay⟩=⟨z|y⟩y∈Dom⁡A{displaystyle langle x|Ayrangle =langle z|yrangle qquad forall yin operatorname {Dom} A}{displaystyle langle x|Ayrangle =langle z|yrangle qquad forall yin operatorname {Dom} A}


This vector z is defined to be Ax. It can be shown that the dependence of z on x is linear.

Notice that it is the denseness of the domain of the operator, along with the uniqueness part of Riesz representation, that ensures the adjoint operator is well defined.


A result of Hellinger-Toeplitz type says that an operator having an everywhere-defined bounded adjoint is bounded.


The condition for a linear operator on a Hilbert space to be self-adjoint is stronger than to be symmetric. Although this distinction is technical, it is very important; the spectral theorem applies only to operators that are self-adjoint and not to operators that are merely symmetric. For an extensive discussion of the distinction, see Chapter 9 of Hall (2013).


For any densely defined operator A on Hilbert space one can define its adjoint operator A. For a symmetric operator A, the domain of the operator A contains the domain of the operator A, and the restriction of the operator A on the domain of A coincides with the operator A, i.e. AA, in other words A is extension of A. For a self-adjoint operator A the domain of A is the same as the domain of A, and A = A. See also Extensions of symmetric operators and unbounded operator.



Essential self-adjointness


A symmetric operator A is always closable; that is, the closure of the graph of A is the graph of an operator. A symmetric operator is said to be essentially self-adjoint if the closure of A is self-adjoint. Equivalently, A is essentially self-adjoint if it has a unique self-adjoint extension. In practical terms, having an essentially self-adjoint operator is almost as good as having a self-adjoint operator, since we merely need to take the closure to obtain self-adjoint operator.



Geometric interpretation


There is a useful geometric way of looking at the adjoint of an operator A on H as follows: we consider the graph G(A) of A defined by


G⁡(A)={(ξ,Aξ):ξDom⁡A}⊆H⊕H.{displaystyle operatorname {G} (A)={(xi ,Axi ):xi in operatorname {Dom} A}subseteq Hoplus H.}{displaystyle operatorname {G} (A)={(xi ,Axi ):xi in operatorname {Dom} A}subseteq Hoplus H.}


Theorem. Let J be the symplectic mapping
{H⊕H→H⊕HJ:(ξ)↦(−η){displaystyle {begin{cases}Hoplus Hto Hoplus H\operatorname {J} :(xi ,eta )mapsto (-eta ,xi )end{cases}}} begin{cases} H oplus H to H oplus H \ operatorname{J}: (xi, eta) mapsto (-eta, xi) end{cases}


Then the graph of A is the orthogonal complement of JG(A):
G⁡(A∗)=(J⁡G⁡(A))⊥={(x,y)∈H⊕H:⟨(x,y)|(−)⟩=0∀ξDom⁡A}{displaystyle operatorname {G} (A^{*})=(operatorname {J} operatorname {G} (A))^{perp }={(x,y)in Hoplus H:langle (x,y)|(-Axi ,xi )rangle =0;;forall xi in operatorname {Dom} A}}{displaystyle operatorname {G} (A^{*})=(operatorname {J} operatorname {G} (A))^{perp }={(x,y)in Hoplus H:langle (x,y)|(-Axi ,xi )rangle =0;;forall xi in operatorname {Dom} A}}


A densely defined operator A is symmetric if and only if AA, where the subset notation AA is understood to mean G(A) ⊆ G(A). An operator A is self-adjoint if and only if A = A; that is, if and only if 1 − G(A) = G(A).



An example


Consider the complex Hilbert space L2(R), and the operator which multiplies a given function by x:


Af(x)=xf(x){displaystyle Af(x)=xf(x)}{displaystyle Af(x)=xf(x)}

The domain of A is the space of all L2 functions f(x){displaystyle f(x)}f(x) for which for which xf(x){displaystyle xf(x)}{displaystyle xf(x)} is also square-integrable. Then A is self-adjoint.[3] On the other hand, A does not have any eigenfunctions. (More precisely, A does not have any normalizable eigenvectors, that is, eigenvectors that are actually in the Hilbert space on which A is defined.)


As we will see later, self-adjoint operators have very important spectral properties; they are in fact multiplication operators on general measure spaces.



The distinction between symmetric and self-adjoint operators


As has been discussed above, although the distinction between a symmetric operator and a self-adjoint (or essentially self-adjoint) operator is a subtle one, it is important since self-adjointness is the hypothesis in the spectral theorem. Here we discuss some concrete examples of the distinction; see the section below on extensions of symmetric operators for the general theory.



Boundary conditions


In the case where the Hilbert space is a space of functions on a bounded domain, these distinctions have to do with a familiar issue in quantum physics: One cannot define an operator—such as the momentum or Hamiltonian operator—on a bounded domain without specifying boundary conditions. In mathematical terms, choosing the boundary conditions amounts to choosing an appropriate domain for the operator. Consider, for example, the Hilbert space L2([0,1]){displaystyle L^{2}([0,1])}{displaystyle L^{2}([0,1])} (the space of square-integrable functions on the interval [0,1]). Let us define a "momentum" operator A on this space by the usual formula, setting Planck's constant equal to 1:



Af=−idfdx{displaystyle Af=-i{frac {df}{dx}}}{displaystyle Af=-i{frac {df}{dx}}}.

We must now specify a domain for A, which amounts to choosing boundary conditions. If we choose



Dom⁡(A)={smooth functions}{displaystyle operatorname {Dom} (A)=left{{text{smooth functions}}right}}{displaystyle operatorname {Dom} (A)=left{{text{smooth functions}}right}},

then A is not symmetric (because the boundary terms in the integration by parts do not vanish).


If we choose



Dom⁡(A)={smooth functionsf|f(0)=f(1)=0}{displaystyle operatorname {Dom} (A)=left{{text{smooth functions}},f|f(0)=f(1)=0right}}{displaystyle operatorname {Dom} (A)=left{{text{smooth functions}},f|f(0)=f(1)=0right}},

then using integration by parts, one can easily verify that A is symmetric. This operator is not essentially self-adjoint,[4] however, basically because we have specified too many boundary conditions on the domain of A, which makes the domain of the adjoint too big. (This example is discussed also in the "Examples" section below.)


Specifically, with the above choice of domain for A, the domain of the closure Acl{displaystyle A^{mathrm {cl} }}{displaystyle A^{mathrm {cl} }} of A is



Dom⁡(Acl)={functions f with two derivatives in L2|f(0)=f(1)=0}{displaystyle operatorname {Dom} left(A^{mathrm {cl} }right)=left{{text{functions }}f{text{ with two derivatives in }}L^{2}|f(0)=f(1)=0right}}{displaystyle operatorname {Dom} left(A^{mathrm {cl} }right)=left{{text{functions }}f{text{ with two derivatives in }}L^{2}|f(0)=f(1)=0right}},

whereas the domain of the adjoint A∗{displaystyle A^{*}}A^{*} of A is



Dom⁡(A∗)={functions f with two derivatives in L2}{displaystyle operatorname {Dom} left(A^{*}right)=left{{text{functions }}f{text{ with two derivatives in }}L^{2}right}}{displaystyle operatorname {Dom} left(A^{*}right)=left{{text{functions }}f{text{ with two derivatives in }}L^{2}right}}.

That is to say, the domain of the closure has the same boundary conditions as the domain of A itself, just a less stringent smoothness assumption. Meanwhile, since there are "too many" boundary conditions on A, there are "too few" (actually, none at all in this case) for A∗{displaystyle A^{*}}A^{*}. If we compute g,Af⟩{displaystyle langle g,Afrangle }{displaystyle langle g,Afrangle } for f∈Dom⁡(A){displaystyle fin operatorname {Dom} (A)}{displaystyle fin operatorname {Dom} (A)} using integration by parts, then since f{displaystyle f}f vanishes at both ends of the interval, no boundary conditions on g{displaystyle g}g are needed to cancel out the boundary terms in the integration by parts. Thus, any sufficiently smooth function g{displaystyle g}g is in the domain of A∗{displaystyle A^{*}}A^{*}, with A∗g=−idg/dx{displaystyle A^{*}g=-i,dg/dx}{displaystyle A^{*}g=-i,dg/dx}.[5]


Since the domain of the closure and the domain of the adjoint do not agree, A is not essentially self-adjoint. After all, a general result says that the domain of the adjoint of Acl{displaystyle A^{mathrm {cl} }}{displaystyle A^{mathrm {cl} }} is the same as the domain of the adjoint of A. Thus, in this case, the domain of the adjoint of Acl{displaystyle A^{mathrm {cl} }}{displaystyle A^{mathrm {cl} }} is bigger than the domain of Acl{displaystyle A^{mathrm {cl} }}{displaystyle A^{mathrm {cl} }} itself, showing that Acl{displaystyle A^{mathrm {cl} }}{displaystyle A^{mathrm {cl} }} is not self-adjoint, which by definition means that A is not essentially self-adjoint.


The problem with the preceding example is that we imposed too many boundary conditions on the domain of A. A better choice of domain would be to use periodic boundary conditions:



Dom⁡(A)={smooth functionsf|f(0)=f(1)}{displaystyle operatorname {Dom} (A)={{text{smooth functions}},f|f(0)=f(1)}}{displaystyle operatorname {Dom} (A)={{text{smooth functions}},f|f(0)=f(1)}}.

With this domain, A is essentially self-adjoint.[6]


In this case, we can understand the implications of the domain issues for the spectral theorem. If we use the first choice of domain (with no boundary conditions), all functions (x)=eβx{displaystyle f_{beta }(x)=e^{beta x}}{displaystyle f_{beta }(x)=e^{beta x}} for βC{displaystyle beta in mathbb {C} }{displaystyle beta in mathbb {C} } are eigenvectors, with eigenvalues {displaystyle -ibeta }{displaystyle -ibeta }, and so the spectrum is the whole complex plane. If we use the second choice of domain (with Dirichlet boundary conditions), A has no eigenvectors at all. If we use the third choice of domain (with periodic boundary conditions), we can find an orthonormal basis of eigenvectors for A, the functions fn(x):=e2πinx{displaystyle f_{n}(x):=e^{2pi inx}}{displaystyle f_{n}(x):=e^{2pi inx}}. Thus, in this case finding a domain such that A is self-adjoint is a compromise: the domain has to be small enough so that A is symmetric, but large enough so that D(A∗)=D(A){displaystyle D(A^{*})=D(A)}{displaystyle D(A^{*})=D(A)}.



Schrödinger operators with singular potentials


A more subtle example of the distinction between symmetric and (essentially) self-adjoint operators comes from Schrödinger operators in quantum mechanics. If the potential energy is singular—particularly if the potential is unbounded below—the associated Schrödinger operator may fail to be essentially self-adjoint. In one dimension, for example, the operator


H^:=P22m−X4{displaystyle {hat {H}}:={frac {P^{2}}{2m}}-X^{4}}{displaystyle {hat {H}}:={frac {P^{2}}{2m}}-X^{4}}

is not essentially self-adjoint on the space of smooth, rapidly decaying functions.[7] In this case, the failure of essential self-adjointness reflects a pathology in the underlying classical system: A classical particle with a x4{displaystyle -x^{4}}-x^4 potential escapes to infinity in finite time. This operator does not have a unique self-adjoint, but it does admit self-adjoint extensions obtained by specifying "boundary conditions at infinity". (Since H^{displaystyle {hat {H}}}{hat {H}} is a real operator, it commutes with complex conjugation. Thus, the deficiency indices are automatically equal, which is the condition for having a self-adjoint extension. See the discussion of extensions of symmetric operators below.)


In this case, if we initially define H^{displaystyle {hat {H}}}{hat {H}} on the space of smooth, rapidly decaying functions, the adjoint will be "the same" operator (i.e., given by the same formula) but on the largest possible domain, namely


Dom⁡(H^)={twice differentiable functions f∈L2(R)|(−22md2fdx2−x4f(x))∈L2(R)}.{displaystyle operatorname {Dom} left({hat {H}}^{*}right)=left{{text{twice differentiable functions }}fin L^{2}(mathbb {R} )left|left(-{frac {hbar ^{2}}{2m}}{frac {d^{2}f}{dx^{2}}}-x^{4}f(x)right)in L^{2}(mathbb {R} )right.right}.}{displaystyle operatorname {Dom} left({hat {H}}^{*}right)=left{{text{twice differentiable functions }}fin L^{2}(mathbb {R} )left|left(-{frac {hbar ^{2}}{2m}}{frac {d^{2}f}{dx^{2}}}-x^{4}f(x)right)in L^{2}(mathbb {R} )right.right}.}

It is then possible to show that H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}} is not a symmetric operator, which certainly implies that H^{displaystyle {hat {H}}}{hat {H}} is not essentially self adjoint. Indeed, H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}} has eigenvectors with pure imaginary eigenvalues,[8][9] which is impossible for a symmetric operator. This strange occurrence is possible because of a cancellation between the two terms in H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}}: There are functions f{displaystyle f}f in the domain of H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}} for which neither d2f/dx2{displaystyle d^{2}f/dx^{2}}{displaystyle d^{2}f/dx^{2}} nor x4f(x){displaystyle x^{4}f(x)}{displaystyle x^{4}f(x)} is separately in L2(R){displaystyle L^{2}(mathbb {R} )}L^2(mathbb{R}), but the combination of them occurring in H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}} is in L2(R){displaystyle L^{2}(mathbb {R} )}L^2(mathbb{R}). This allows for H^{displaystyle {hat {H}}^{*}}{displaystyle {hat {H}}^{*}} to be nonsymmetric, even though both d2/dx2{displaystyle d^{2}/dx^{2}}{displaystyle d^{2}/dx^{2}} and X4{displaystyle X^{4}}{displaystyle X^{4}} are symmetric operators. This sort of cancellation does not occur if we replace the repelling potential x4{displaystyle -x^{4}}-x^4 with the confining potential x4{displaystyle x^{4}}x^4.


Conditions for Schrödinger operators to be self-adjoint or essentially self-adjoint can be found in various textbooks, such as those by Berezin and Schubin, Hall, and Reed and Simon listed in the references.



Spectral theorem



In the physics literature, the spectral theorem is often stated by saying that a self-adjoint operator has an orthonormal basis of eigenvectors. Physicists are well aware, however, of the phenomenon of "continuous spectrum"; thus, when they speak of an "orthonormal basis" they mean either an orthonormal basis in the classic sense or some continuous analog thereof. In the case of the momentum operator P=−id/dx{displaystyle P=-i,d/dx}{displaystyle P=-i,d/dx}, for example, physicists would say that the eigenvectors are the functions fp(x):=eipx{displaystyle f_{p}(x):=e^{ipx}}{displaystyle f_{p}(x):=e^{ipx}}, which are clearly not in the Hilbert space L2(R){displaystyle L^{2}(mathbb {R} )}L^2(mathbb{R}). (Physicists would say that the eigenvectors are "non-normalizable.") Physicists would then go on to say that these "eigenvectors" are orthonormal in a continuous sense, where the usual Kronecker delta δi,j{displaystyle delta _{i,j}}delta_{i,j} is replaced by a Dirac delta function δ(p−p′){displaystyle delta left(p-p'right)}{displaystyle delta left(p-p'right)}.


Although these statements may seem disconcerting to mathematicians, they can be made rigorous by use of the Fourier transform, which allows a general L2{displaystyle L^{2}}L^{2} function to be expressed as a "superposition" (i.e., integral) of the functions eipx{displaystyle e^{ipx}}{displaystyle e^{ipx}}, even though these functions are not in L2{displaystyle L^{2}}L^{2}. The Fourier transform "diagonalizes" the momentum operator; that is, it converts it into the operator of multiplication by p{displaystyle p}p, where p{displaystyle p}p is the variable of the Fourier transform.


The spectral theorem in general can be expressed similarly as the possibility of "diagonalizing" an operator by showing it is unitarily equivalent to a multiplication operator. Other versions of the spectral theorem are similarly intended to capture the idea that a self-adjoint operator can have "eigenvectors" that are not actually in the Hilbert space in question.



Statement of the spectral theorem


Partially defined operators A, B on Hilbert spaces H, K are unitarily equivalent if and only if there is a unitary transformation U : HK such that




  • U maps dom A bijectively onto dom B,

  • BUξ=UAξ,∀ξdom⁡A.{displaystyle BUxi =UAxi ,qquad forall xi in operatorname {dom} A.} B U xi = U A xi ,qquad forall xi in operatorname{dom}A.


A multiplication operator is defined as follows: Let (X, Σ, μ) be a countably additive measure space and f a real-valued measurable function on X. An operator T of the form


[Tψ](x)=f(x)ψ(x){displaystyle [Tpsi ](x)=f(x)psi (x)}{displaystyle [Tpsi ](x)=f(x)psi (x)}

whose domain is the space of ψ for which the right-hand side above is in L2 is called a multiplication operator.


One version of the spectral theorem can be stated as follows.



Theorem. Any multiplication operator is a (densely defined) self-adjoint operator. Any self-adjoint operator is unitarily equivalent to a multiplication operator.[10]

Other version of the spectral theorem can be found in the spectral theorem article linked to above.


The spectral theorem for unbounded self-adjoint operators can be proved by reduction to the spectral theorem for unitary (hence bounded) operators.[11] This reduction uses the Cayley transform for self-adjoint operators which is defined in the next section. We might note that if T is multiplication by f, then the spectrum of T is just the essential range of f.



Functional calculus


One important application of the spectral theorem is to define a "functional calculus." That is to say, if h{displaystyle h}h is a function on the real line and T{displaystyle T}T is a self-adjoint operator, we wish to define the operator h(T){displaystyle h(T)}h(T). If T{displaystyle T}T has a true orthonormal basis of eigenvectors ej{displaystyle e_{j}}e_{j} with eigenvalues λj{displaystyle lambda _{j}}lambda _{j}, then h(T){displaystyle h(T)}h(T) is the operator with eigenvectors ej{displaystyle e_{j}}e_{j} and eigenvalues h(λj){displaystyle hleft(lambda _{j}right)}{displaystyle hleft(lambda _{j}right)}. The goal of functional calculus is to extend this idea to the case where T{displaystyle T}T has continuous spectrum.


Of particular importance in quantum physics is the case in which T{displaystyle T}T is the Hamiltonian operator H^{displaystyle {hat {H}}}{hat {H}} and h(x):=e−itx/ℏ{displaystyle h(x):=e^{-itx/hbar }}{displaystyle h(x):=e^{-itx/hbar }} is an exponential. In this case, the functional calculus should allow us to define the operator


U(t):=h(H^)=e−itH^,{displaystyle U(t):=hleft({hat {H}}right)=e^{frac {-it{hat {H}}}{hbar }},}{displaystyle U(t):=hleft({hat {H}}right)=e^{frac {-it{hat {H}}}{hbar }},}

which is the operator defining the time-evolution in quantum mechanics.


Given the representation of T as the operator of multiplication by f{displaystyle f}f—as guaranteed by the spectral theorem—it is easy to characterize the functional calculus: If h is a bounded real-valued Borel function on R, then h(T) is the operator of multiplication by the composition h∘f{displaystyle hcirc f}hcirc f.



Resolution of the identity


It has been customary to introduce the following notation


ET⁡)=1(−](T){displaystyle operatorname {E} _{T}(lambda )=mathbf {1} _{(-infty ,lambda ]}(T)}{displaystyle operatorname {E} _{T}(lambda )=mathbf {1} _{(-infty ,lambda ]}(T)}

where 1(−]{displaystyle mathbf {1} _{(-infty ,lambda ]}}mathbf{1}_{(-infty, lambda]} is the characteristic function of the interval (−]{displaystyle (-infty ,lambda ]}(-infty, lambda]. The family of projection operators ET(λ) is called resolution of the identity for T. Moreover, the following Stieltjes integral representation for T can be proved:


T=∫+∞λdET⁡).{displaystyle T=int _{-infty }^{+infty }lambda doperatorname {E} _{T}(lambda ).}{displaystyle T=int _{-infty }^{+infty }lambda doperatorname {E} _{T}(lambda ).}

The definition of the operator integral above can be reduced to that of a scalar valued Stieltjes integral using the weak operator topology. In more modern treatments however, this representation is usually avoided, since most technical problems can be dealt with by the functional calculus.



Formulation in the physics literature


In physics, particularly in quantum mechanics, the spectral theorem is expressed in a way which combines the spectral theorem as stated above and the Borel functional calculus using Dirac notation as follows:


If H is self-adjoint and f is a Borel function,


f(H)=∫dE|ΨE⟩f(E)⟨ΨE|{displaystyle f(H)=int dEleft|Psi _{E}rangle f(E)langle Psi _{E}right|}{displaystyle f(H)=int dEleft|Psi _{E}rangle f(E)langle Psi _{E}right|}

with


H|ΨE⟩=E|ΨE⟩{displaystyle Hleft|Psi _{E}rightrangle =Eleft|Psi _{E}rightrangle }{displaystyle Hleft|Psi _{E}rightrangle =Eleft|Psi _{E}rightrangle }

where the integral runs over the whole spectrum of H. The notation suggests that H is diagonalized by the eigenvectors ΨE. Such a notation is purely formal. One can see the similarity between Dirac's notation and the previous section. The resolution of the identity (sometimes called projection valued measures) formally resembles the rank-1 projections E⟩⟨ΨE|{displaystyle left|Psi _{E}rightrangle leftlangle Psi _{E}right|}{displaystyle left|Psi _{E}rightrangle leftlangle Psi _{E}right|}. In the Dirac notation, (projective) measurements are described via eigenvalues and eigenstates, both purely formal objects. As one would expect, this does not survive passage to the resolution of the identity. In the latter formulation, measurements are described using the spectral measure of {displaystyle |Psi rangle }|Psi rangle, if the system is prepared in {displaystyle |Psi rangle }|Psi rangle prior to the measurement. Alternatively, if one would like to preserve the notion of eigenstates and make it rigorous, rather than merely formal, one can replace the state space by a suitable rigged Hilbert space.


If f = 1, the theorem is referred to as resolution of unity:


I=∫dE|ΨE⟩⟨ΨE|{displaystyle I=int dEleft|Psi _{E}rightrangle leftlangle Psi _{E}right|}{displaystyle I=int dEleft|Psi _{E}rightrangle leftlangle Psi _{E}right|}

In the case Heff=H−{displaystyle H_{text{eff}}=H-iGamma }{displaystyle H_{text{eff}}=H-iGamma } is the sum of an Hermitian H and a skew-Hermitian (see skew-Hermitian matrix) operator {displaystyle -iGamma } -iGamma, one defines the biorthogonal basis set


Heff∗E∗⟩=E∗E∗⟩{displaystyle H_{text{eff}}^{*}left|Psi _{E}^{*}rightrangle =E^{*}left|Psi _{E}^{*}rightrangle }{displaystyle H_{text{eff}}^{*}left|Psi _{E}^{*}rightrangle =E^{*}left|Psi _{E}^{*}rightrangle }

and write the spectral theorem as:


f(Heff)=∫dE|ΨE⟩f(E)⟨ΨE∗|{displaystyle fleft(H_{text{eff}}right)=int dEleft|Psi _{E}rightrangle f(E)leftlangle Psi _{E}^{*}right|}{displaystyle fleft(H_{text{eff}}right)=int dEleft|Psi _{E}rightrangle f(E)leftlangle Psi _{E}^{*}right|}

(See Feshbach–Fano partitioning method for the context where such operators appear in scattering theory).



Extensions of symmetric operators



The following question arises in several contexts: 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 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:[12]



Theorem: If A is a symmetric operator on H, then A is essentially self-adjoint if and only if the range of the operators A−i{displaystyle A-i}{displaystyle A-i} and A+i{displaystyle A+i}{displaystyle A+i} are dense in H.

Equivalently, A is essentially self-adjoint if and only if the operators A∗i{displaystyle A^{*}-i}{displaystyle A^{*}-i} and A∗+i{displaystyle A^{*}+i}{displaystyle A^{*}+i} have trivial kernels.[13] That is to say, A fails to be self-adjoint if and only if A∗{displaystyle A^{*}}A^{*} has an eigenvector with eigenvalue i{displaystyle i}i or i{displaystyle -i}-i.


Another way of looking at the issue is provided by the Cayley transform of a self-adjoint operator and the deficiency indices. (We should note here that it is often of technical convenience to deal with closed operators. In the symmetric case, the closedness requirement poses no obstacles, since it is known that all symmetric operators are closable.)




Theorem. Suppose A is a symmetric operator. Then there is a unique partially defined linear operator
W⁡(A):ran⁡(A+i)→ran⁡(A−i){displaystyle operatorname {W} (A):operatorname {ran} (A+i)to operatorname {ran} (A-i)}{displaystyle operatorname {W} (A):operatorname {ran} (A+i)to operatorname {ran} (A-i)}


such that
W⁡(A)(Ax+ix)=Ax−ix,x∈dom⁡(A).{displaystyle operatorname {W} (A)(Ax+ix)=Ax-ix,qquad xin operatorname {dom} (A).} operatorname{W}(A)(Ax + ix) = Ax - ix, qquad  x in operatorname{dom}(A).



Here, ran and dom denote the image (in other words, range) and the domain, respectively. W(A) is isometric on its domain. Moreover, the range of 1 − W(A) is dense in H.


Conversely, given any partially defined operator U which is isometric on its domain (which is not necessarily closed) and such that 1 − U is dense, there is a (unique) operator S(U)


S⁡(U):ran⁡(1−U)→ran⁡(1+U){displaystyle operatorname {S} (U):operatorname {ran} (1-U)to operatorname {ran} (1+U)}{displaystyle operatorname {S} (U):operatorname {ran} (1-U)to operatorname {ran} (1+U)}

such that


S⁡(U)(x−Ux)=i(x+Ux)x∈dom⁡(U).{displaystyle operatorname {S} (U)(x-Ux)=i(x+Ux)qquad xin operatorname {dom} (U).}{displaystyle operatorname {S} (U)(x-Ux)=i(x+Ux)qquad xin operatorname {dom} (U).}

The operator S(U) is densely defined and symmetric.


The mappings W and S are inverses of each other.[clarification needed]


The mapping W 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.



Theorem. A necessary and sufficient condition for A to be self-adjoint is that its Cayley transform W(A) be unitary.

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



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

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


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


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


Theorem. A partial isometry V has a unitary extension if and only if the deficiency indices are identical. Moreover, V 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.



Self-adjoint extensions in quantum mechanics


In quantum mechanics, observables correspond to self-adjoint operators. By Stone's theorem on one-parameter unitary groups, self-adjoint operators are precisely the infinitesimal generators of unitary groups of time evolution operators. However, many physical problems are formulated as a time-evolution equation involving differential operators for which the Hamiltonian is only symmetric. In such cases, either the Hamiltonian is essentially self-adjoint, in which case the physical problem has unique solutions or one attempts to find self-adjoint extensions of the Hamiltonian corresponding to different types of boundary conditions or conditions at infinity.


Example. The one-dimensional Schrödinger operator with the potential V(x)=−(1+|x|)α{displaystyle V(x)=-(1+|x|)^{alpha }}{displaystyle V(x)=-(1+|x|)^{alpha }}, defined initially on smooth compactly supported functions, is essentially self-adjoint (that is, has a self-adjoint closure) for 0 < α ≤ 2 but not for α > 2. See Berezin and Schubin, pages 55 and 86, or Section 9.10 in Hall.


The failure of essential self-adjointness for α>2{displaystyle alpha >2}alpha >2 has a counterpart in the classical dynamics of a particle with potential V(x){displaystyle V(x)}V(x): The classical particle escapes to infinity in finite time.[14]


Example. There is no self-adjoint momentum operator p for a particle moving on a half-line. Nevertheless, the Hamiltonian p2{displaystyle p^{2}}p^{2} of a "free" particle on a half-line has several self-adjoint extensions corresponding to different types of boundary conditions. Physically, these boundary conditions are related to reflections of the particle at the origin (see Reed and Simon, vol.2).



Von Neumann's formulas


Suppose A is symmetric densely defined. Then any symmetric extension of A is a restriction of A*. Indeed, AB and B symmetric yields BA* by applying the definition of dom(A*).




Theorem. Suppose A is a densely defined symmetric operator. Let
=ran⁡(A±i)⊥,{displaystyle N_{pm }=operatorname {ran} (Apm i)^{perp },}{displaystyle N_{pm }=operatorname {ran} (Apm i)^{perp },}


Then
=ker⁡(A∗i),{displaystyle N_{pm }=operatorname {ker} (A^{*}mp i),}{displaystyle N_{pm }=operatorname {ker} (A^{*}mp i),}


and
dom⁡(A∗)=dom⁡(A¯)⊕N+⊕N−,{displaystyle operatorname {dom} left(A^{*}right)=operatorname {dom} left({overline {A}}right)oplus N_{+}oplus 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 of dom(A*):

ξgraph=⟨ξ+⟨A∗ξ|A∗η⟩{displaystyle langle xi |eta rangle _{text{graph}}=langle xi |eta rangle +leftlangle A^{*}xi |A^{*}eta rightrangle }{displaystyle langle xi |eta rangle _{text{graph}}=langle xi |eta rangle +leftlangle A^{*}xi |A^{*}eta rightrangle }.



These are referred to as von Neumann's formulas in the Akhiezer and Glazman reference.



Examples



A symmetric operator that is not essentially self-adjoint


We first consider the Hilbert space L2[0,1]{displaystyle L^{2}[0,1]}{displaystyle L^{2}[0,1]} and the differential operator


D:ϕ1iϕ′{displaystyle D:phi mapsto {frac {1}{i}}phi '}{displaystyle D:phi mapsto {frac {1}{i}}phi '}

defined on the space of continuously differentiable complex-valued functions on [0,1], satisfying the boundary conditions


ϕ(0)=ϕ(1)=0.{displaystyle phi (0)=phi (1)=0.}{displaystyle phi (0)=phi (1)=0.}

Then D is a symmetric operator as can be shown by integration by parts. The spaces N+, N (defined below) are given respectively by the distributional solutions to the equation


iu′=iu−iu′=−iu{displaystyle {begin{aligned}-iu'&=iu\-iu'&=-iuend{aligned}}}{displaystyle {begin{aligned}-iu'&=iu\-iu'&=-iuend{aligned}}}

which are in L2[0, 1]. One can show that each one of these solution spaces is 1-dimensional, generated by the functions xe−x and xex respectively. This shows that D is not essentially self-adjoint,[15] but does have self-adjoint extensions. These self-adjoint extensions are parametrized by the space of unitary mappings N+N, which in this case happens to be the unit circle T.


In this case, the failure of essential self-adjointenss is due to an "incorrect" choice of boundary conditions in the definition of the domain of D{displaystyle D}D. Since D{displaystyle D}D is a first-order operator, only one boundary condition is needed to ensure that D{displaystyle D}D is symmetric. If we replaced the boundary conditions given above by the single boundary condition



ϕ(0)=ϕ(1){displaystyle phi (0)=phi (1)}{displaystyle phi (0)=phi (1)},

then D would still be symmetric and would now, in fact, be essentially self-adjoint. This change of boundary conditions gives one particular essentially self-adjoint extension of D. Other essentially self-adjoint extensions come from imposing boundary conditions of the form ϕ(1)=eiθϕ(0){displaystyle phi (1)=e^{itheta }phi (0)}{displaystyle phi (1)=e^{itheta }phi (0)}.


This simple example illustrates a general fact about self-adjoint extensions of symmetric differential operators P on an open set M. They are determined by the unitary maps between the eigenvalue spaces


={u∈L2(M):Pdistu=±iu}{displaystyle N_{pm }=left{uin L^{2}(M):P_{operatorname {dist} }u=pm iuright}}{displaystyle N_{pm }=left{uin L^{2}(M):P_{operatorname {dist} }u=pm iuright}}

where Pdist is the distributional extension of P.



Constant-coefficient operators


We next give the example of differential operators with constant coefficients. Let


P(x→)=∑α{displaystyle Pleft({vec {x}}right)=sum _{alpha }c_{alpha }x^{alpha }}{displaystyle Pleft({vec {x}}right)=sum _{alpha }c_{alpha }x^{alpha }}

be a polynomial on Rn with real coefficients, where α ranges over a (finite) set of multi-indices. Thus


α=(α1,α2,…n){displaystyle alpha =(alpha _{1},alpha _{2},ldots ,alpha _{n})} alpha = (alpha_1, alpha_2, ldots, alpha_n)

and


=x1α1x2α2⋯xnαn.{displaystyle x^{alpha }=x_{1}^{alpha _{1}}x_{2}^{alpha _{2}}cdots x_{n}^{alpha _{n}}.}{displaystyle x^{alpha }=x_{1}^{alpha _{1}}x_{2}^{alpha _{2}}cdots x_{n}^{alpha _{n}}.}

We also use the notation


=1i|α|∂x1α1∂x2α2⋯xnαn.{displaystyle D^{alpha }={frac {1}{i^{|alpha |}}}partial _{x_{1}}^{alpha _{1}}partial _{x_{2}}^{alpha _{2}}cdots partial _{x_{n}}^{alpha _{n}}.}D^alpha = frac{1}{i^{|alpha|}} partial_{x_1}^{alpha_1}partial_{x_2}^{alpha_2} cdots partial_{x_n}^{alpha_n}.

Then the operator P(D) defined on the space of infinitely differentiable functions of compact support on Rn by


P(D)ϕ=∑αϕ{displaystyle P(operatorname {D} )phi =sum _{alpha }c_{alpha }operatorname {D} ^{alpha }phi }{displaystyle P(operatorname {D} )phi =sum _{alpha }c_{alpha }operatorname {D} ^{alpha }phi }

is essentially self-adjoint on L2(Rn).



Theorem. Let P a polynomial function on Rn with real coefficients, F the Fourier transform considered as a unitary map L2(Rn) → L2(Rn). Then F*P(D)F is essentially self-adjoint and its unique self-adjoint extension is the operator of multiplication by the function P.

More generally, consider linear differential operators acting on infinitely differentiable complex-valued functions of compact support. If M is an open subset of Rn


(x)=∑α(x)[Dαϕ](x){displaystyle Pphi (x)=sum _{alpha }a_{alpha }(x)left[D^{alpha }phi right](x)}{displaystyle Pphi (x)=sum _{alpha }a_{alpha }(x)left[D^{alpha }phi right](x)}

where aα are (not necessarily constant) infinitely differentiable functions. P is a linear operator


C0∞(M)→C0∞(M).{displaystyle C_{0}^{infty }(M)to C_{0}^{infty }(M).} C_0^infty(M) to C_0^infty(M).

Corresponding to P there is another differential operator, the formal adjoint of P


P∗formϕ=∑α(aα¯ϕ){displaystyle P^{mathrm {*form} }phi =sum _{alpha }D^{alpha }left({overline {a_{alpha }}}phi right)}{displaystyle P^{mathrm {*form} }phi =sum _{alpha }D^{alpha }left({overline {a_{alpha }}}phi right)}


Theorem. The adjoint P* of P is a restriction of the distributional extension of the formal adjoint to an appropriate subspace of L2{displaystyle L^{2}}L^{2}. Specifically:
dom⁡P∗={u∈L2(M):P∗formu∈L2(M)}.{displaystyle operatorname {dom} P^{*}=left{uin L^{2}(M):P^{mathrm {*form} }uin L^{2}(M)right}.}{displaystyle operatorname {dom} P^{*}=left{uin L^{2}(M):P^{mathrm {*form} }uin L^{2}(M)right}.}



Spectral multiplicity theory


The multiplication representation of a self-adjoint operator, though extremely useful, is not a canonical representation. This suggests that it is not easy to extract from this representation a criterion to determine when self-adjoint operators A and B are unitarily equivalent. The finest grained representation which we now discuss involves spectral multiplicity. This circle of results is called the Hahn-Hellinger theory of spectral multiplicity.



Uniform multiplicity


We first define uniform multiplicity:


Definition. A self-adjoint operator A has uniform multiplicity n where n is such that 1 ≤ n ≤ ω if and only if A is unitarily equivalent to the operator Mf of multiplication by the function f(λ) = λ on


2(R,Hn)={ψ:R→Hn:ψ measurable and ∫R‖ψ(t)‖2dμ(t)<∞}{displaystyle L_{mu }^{2}left(mathbf {R} ,mathbf {H} _{n}right)=left{psi :mathbf {R} to mathbf {H} _{n}:psi {mbox{ measurable and }}int _{mathbf {R} }|psi (t)|^{2}dmu (t)<infty right}}{displaystyle L_{mu }^{2}left(mathbf {R} ,mathbf {H} _{n}right)=left{psi :mathbf {R} to mathbf {H} _{n}:psi {mbox{ measurable and }}int _{mathbf {R} }|psi (t)|^{2}dmu (t)<infty right}}

where Hn is a Hilbert space of dimension n. The domain of Mf consists of vector-valued functions ψ on R such that


R|λ|2 ‖ψ)‖2dμ)<∞.{displaystyle int _{mathbf {R} }|lambda |^{2} |psi (lambda )|^{2},dmu (lambda )<infty .}{displaystyle int _{mathbf {R} }|lambda |^{2} |psi (lambda )|^{2},dmu (lambda )<infty .}

Non-negative countably additive measures μ, ν are mutually singular if and only if they are supported on disjoint Borel sets.




Theorem. Let A be a self-adjoint operator on a separable Hilbert space H. Then there is an ω sequence of countably additive finite measures on R (some of which may be identically 0)
}1≤ω{displaystyle left{mu _{ell }right}_{1leq ell leq omega }}{displaystyle left{mu _{ell }right}_{1leq ell leq omega }}


such that the measures are pairwise singular and A is unitarily equivalent to the operator of multiplication by the function f(λ) = λ on
1≤ω2(R,Hℓ).{displaystyle bigoplus _{1leq ell leq omega }L_{mu _{ell }}^{2}left(mathbf {R} ,mathbf {H} _{ell }right).}{displaystyle bigoplus _{1leq ell leq omega }L_{mu _{ell }}^{2}left(mathbf {R} ,mathbf {H} _{ell }right).}



This representation is unique in the following sense: For any two such representations of the same A, the corresponding measures are equivalent in the sense that they have the same sets of measure 0.



Direct integrals


The spectral multiplicity theorem can be reformulated using the language of direct integrals of Hilbert spaces:



Theorem.[16] Any self-adjoint operator on a separable Hilbert space is unitarily equivalent to multiplication by the function λ ↦ λ on
R⊕).{displaystyle int _{mathbf {R} }^{oplus }H_{lambda },dmu (lambda ).}{displaystyle int _{mathbf {R} }^{oplus }H_{lambda },dmu (lambda ).}


Unlike the multiplication-operator version of the spectral theorem, the direct-integral version is unique in the sense that the measure equivalence class of μ (or equivalently its sets of measure 0) is uniquely determined and the measurable function λdim(Hλ){displaystyle lambda mapsto mathrm {dim} (H_{lambda })}{displaystyle lambda mapsto mathrm {dim} (H_{lambda })} is determined almost everywhere with respect to μ.[17] The function λdim⁡(Hλ){displaystyle lambda mapsto operatorname {dim} left(H_{lambda }right)}{displaystyle lambda mapsto operatorname {dim} left(H_{lambda }right)} is the spectral multiplicity function of the operator.


We may now state the classification result for self-adjoint operators: Two self-adjoint operators are unitarily equivalent if and only if (1) their spectra agree as sets, (2) the measures appearing in their direct-integral representations have the same sets of measure zero, and (3) their spectral multiplicity functions agree almost everywhere with respect to the measure in the direct integral.[18]



Example: structure of the Laplacian


The Laplacian on Rn is the operator


Δ=∑i=1n∂xi2.{displaystyle Delta =sum _{i=1}^{n}partial _{x_{i}}^{2}.}{displaystyle Delta =sum _{i=1}^{n}partial _{x_{i}}^{2}.}

As remarked above, the Laplacian is diagonalized by the Fourier transform. Actually it is more natural to consider the negative of the Laplacian −Δ since as an operator it is non-negative; (see elliptic operator).


Theorem. If n = 1, then −Δ has uniform multiplicity mult=2{displaystyle {text{mult}}=2}{displaystyle {text{mult}}=2}, otherwise −Δ has uniform multiplicity mult=ω{displaystyle {text{mult}}=omega }{displaystyle {text{mult}}=omega }. Moreover, the measure μmult may be taken to be Lebesgue measure on [0, ∞).



Pure point spectrum


A self-adjoint operator A on H has pure point spectrum if and only if H has an orthonormal basis {ei}i ∈ I consisting of eigenvectors for A.


Example. The Hamiltonian for the harmonic oscillator has a quadratic potential V, that is


Δ+|x|2.{displaystyle -Delta +|x|^{2}.}{displaystyle -Delta +|x|^{2}.}

This Hamiltonian has pure point spectrum; this is typical for bound state Hamiltonians in quantum mechanics. As was pointed out in a previous example, a sufficient condition that an unbounded symmetric operator has eigenvectors which form a Hilbert space basis is that it has a compact inverse.



See also



  • Compact operator on Hilbert space

  • Theoretical and experimental justification for the Schrödinger equation

  • Unbounded operator



Citations





  1. ^ Hall 2013 Proposition A.53


  2. ^ Hall 2013 Corollary 9.9


  3. ^ Hall 2013 Proposition 9.30


  4. ^ Hall 2013 Proposition 9.27


  5. ^ Hall 2013 Proposition 9.28


  6. ^ Hall 2013 Example 9.25


  7. ^ Hall 2013 Theorem 9.41


  8. ^ Berezin 1991 p. 85


  9. ^ Hall 2013 Section 9.10


  10. ^ Hall 2013 Theorems 7.20 and 10.10


  11. ^ Hall 2013 Section 10.4


  12. ^ Hall 2013 Theorem 9.21


  13. ^ Hall 2013 Corollary 9.22


  14. ^ Hall 2013 Chapter 2, Exercise 4


  15. ^ Hall 2013 Section 9.6


  16. ^ Hall 2013 Theorems 7.19 and 10.9


  17. ^ Hall 2013 Proposition 7.22


  18. ^ Hall 2013 Proposition 7.24




References




  • Akhiezer, N. I.; Glazman, I. M. (1981), Theory of Linear Operators in Hilbert Space, Two volumes, Pitman.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}


  • Berezin, F. A.; Shubin, M. A. (1991), The Schrödinger Equation, Kluwer


  • Hall, B. C. (2013), Quantum Theory for Mathematicians, Graduate Texts in Mathematics, 267, Springer, ISBN 978-1461471158


  • Kato, T. (1966), Perturbation Theory for Linear Operators, New York: Springer


  • Reed, M.; Simon, B. (1972), Methods of Mathematical Physics, Vol 2, Academic Press


  • Teschl, G. (2009), Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators, Providence: American Mathematical Society


  • Yosida, K. (1965), Functional Analysis, Academic Press


  • Moretti, V. (2018), Spectral Theory and Quantum Mechanics:Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation, Springer-Verlag, ISBN 978-3-319-70706-8









Popular posts from this blog

Y

Mount Tamalpais

Indian Forest Service