Namespaces
Variants
Actions

Difference between revisions of "Spectral analysis"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
s0863301.png
 +
$#A+1 = 125 n = 0
 +
$#C+1 = 125 : ~/encyclopedia/old_files/data/S086/S.0806330 Spectral analysis
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
The investigation of the spectral properties of linear operators (cf. [[Linear operator|Linear operator]]), such as the geometry of the spectrum and its main parts, spectral multiplicity and the asymptotics of eigenvalues.
 
The investigation of the spectral properties of linear operators (cf. [[Linear operator|Linear operator]]), such as the geometry of the spectrum and its main parts, spectral multiplicity and the asymptotics of eigenvalues.
  
For operators on finite-dimensional spaces, the problem of determining the spectrum is equivalent to the problem of localizing the roots of the characteristic equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863301.png" />. For infinite-dimensional spaces the situation is much more complicated, although the apparatus of determinants can be set up and used successfully for the spectral analysis of some infinite-dimensional operators. In many cases the spectral analysis of an operator is based on an explicit construction of a functional calculus (respectively, by multiplication operators on function spaces, other model operators, as well as their restrictions or quotients). Various theorems on the form of the spectra of functions of one or several operators find wide application in spectral analysis. These may be very simple (the spectrum of a polynomial in an operator consists of the values of this polynomial on the spectrum of the operator, and the spectrum of the sum of two commuting operators is contained in the algebraic sum of their spectra) or very subtle (describing the spectra of functions of non-commuting operators, of functions of an operator having discontinuities at boundary points of its spectrum, the combined spectra of the image of many-valued mappings, images of approximate, point or deficiency spectra, etc.). Useful information about the spectrum of an operator can be extracted from its topological characteristics (for example, the spectrum of a continuous operator is compact, and the spectrum of a compact operator is at most countable and its non-zero points are isolated eigenvalues), from its behaviour with respect to a specific cone in the space (the principal eigenvalues of a positive operator), or from the scalar product (the spectrum of a self-adjoint operator is real, that of a positive Hermitian operator is non-negative, that of a dissipative operator lies in the upper half-plane, and that of a unitary operator lies on the unit circle). If the scalar product is not of fixed sign, but its index of indefiniteness <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863302.png" /> is finite, then the spectrum of an operator preserving the product (called a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863304.png" />-unitary operator) can have at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863305.png" /> points outside the unit circle. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863306.png" />-self-adjoint and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863307.png" />-dissipative operators the situation is similar (see [[#References|[5]]]).
+
For operators on finite-dimensional spaces, the problem of determining the spectrum is equivalent to the problem of localizing the roots of the characteristic equation $  \mathop{\rm det} ( A - \lambda I ) = 0 $.  
 +
For infinite-dimensional spaces the situation is much more complicated, although the apparatus of determinants can be set up and used successfully for the spectral analysis of some infinite-dimensional operators. In many cases the spectral analysis of an operator is based on an explicit construction of a functional calculus (respectively, by multiplication operators on function spaces, other model operators, as well as their restrictions or quotients). Various theorems on the form of the spectra of functions of one or several operators find wide application in spectral analysis. These may be very simple (the spectrum of a polynomial in an operator consists of the values of this polynomial on the spectrum of the operator, and the spectrum of the sum of two commuting operators is contained in the algebraic sum of their spectra) or very subtle (describing the spectra of functions of non-commuting operators, of functions of an operator having discontinuities at boundary points of its spectrum, the combined spectra of the image of many-valued mappings, images of approximate, point or deficiency spectra, etc.). Useful information about the spectrum of an operator can be extracted from its topological characteristics (for example, the spectrum of a continuous operator is compact, and the spectrum of a compact operator is at most countable and its non-zero points are isolated eigenvalues), from its behaviour with respect to a specific cone in the space (the principal eigenvalues of a positive operator), or from the scalar product (the spectrum of a self-adjoint operator is real, that of a positive Hermitian operator is non-negative, that of a dissipative operator lies in the upper half-plane, and that of a unitary operator lies on the unit circle). If the scalar product is not of fixed sign, but its index of indefiniteness $  \kappa $
 +
is finite, then the spectrum of an operator preserving the product (called a $  J $-
 +
unitary operator) can have at most $  2 \kappa $
 +
points outside the unit circle. For $  J $-
 +
self-adjoint and $  J $-
 +
dissipative operators the situation is similar (see [[#References|[5]]]).
  
Spectral characteristics can posses specific properties of stability (continuity) and these are studied in spectral perturbation theory (a branch of general [[Perturbation theory|perturbation theory]]). Thus, the spectrum is an upper semi-continuous function of the operator: Any neighbourhood of the spectrum of a bounded operator contains the spectra of all operators sufficiently close to it (in the case of unbounded operators a slight modification is required). This enables one to trace the variation of isolated points of the spectrum under small perturbations, and to express analytically (in the form of a power series in the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863308.png" />) the eigenvalues of an operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s0863309.png" /> that lie in a neighbourhood of an isolated eigenvalue of finite multiplicity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633010.png" />. In certain cases one can also estimate the variation of the number of eigenvalues of an operator in a given domain under the effect of a perturbation that is not necessarily small in norm but has fixed (finite) rank. The same circle of ideas contains Weyl's theorem (H. Weyl, 1909) on the invariance of the condensation spectrum (the complement in the spectrum of the set of isolated eigenvalues of finite multiplicity) of a [[Self-adjoint operator|self-adjoint operator]] under compact perturbations. It follows from this that the condensation spectrum of a self-adjoint operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633011.png" /> coincides with its essential spectrum
+
Spectral characteristics can posses specific properties of stability (continuity) and these are studied in spectral perturbation theory (a branch of general [[Perturbation theory|perturbation theory]]). Thus, the spectrum is an upper semi-continuous function of the operator: Any neighbourhood of the spectrum of a bounded operator contains the spectra of all operators sufficiently close to it (in the case of unbounded operators a slight modification is required). This enables one to trace the variation of isolated points of the spectrum under small perturbations, and to express analytically (in the form of a power series in the parameter $  \mu $)  
 +
the eigenvalues of an operator $  A + B \mu $
 +
that lie in a neighbourhood of an isolated eigenvalue of finite multiplicity of $  A $.  
 +
In certain cases one can also estimate the variation of the number of eigenvalues of an operator in a given domain under the effect of a perturbation that is not necessarily small in norm but has fixed (finite) rank. The same circle of ideas contains Weyl's theorem (H. Weyl, 1909) on the invariance of the condensation spectrum (the complement in the spectrum of the set of isolated eigenvalues of finite multiplicity) of a [[Self-adjoint operator|self-adjoint operator]] under compact perturbations. It follows from this that the condensation spectrum of a self-adjoint operator $  A $
 +
coincides with its essential spectrum
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633012.png" /></td> </tr></table>
+
$$
 +
\sigma _ {e} ( A)  = \{ {\lambda \in \mathbf C } : {
 +
A - \lambda I \textrm{  is  not  a  Fredholm  operator  } } \}
 +
,
 +
$$
  
and the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633013.png" /> holds whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633014.png" /> is closed and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633015.png" /> is compact. It also follows from Weyl's theorem that all self-adjoint extensions of a symmetric operator that have finite (and equal) deficiency numbers have identical essential spectrum. Weyl's theorem carries over to the case of relatively-compact perturbations (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633016.png" /> is called a compact operator relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633017.png" /> if it maps every bounded set with bounded <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633018.png" />-image into a compact set), which implies that the essential spectra of the self-adjoint extensions of a wide class of symmetric multi-dimensional differential operators coincide. Weyl's theorem has a converse (J. von Neumann, 1935): If two self-adjoint operators have identical essential spectra, then one of them is unitarily equivalent to a perturbation of the other by a compact operator (even one of Hilbert–Schmidt class) of arbitrarily small norm. There are generalizations of this result to the case of normal and essentially-normal operators, and also to representations of non-commutative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633019.png" />-algebras (cf. [[C*-algebra|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633020.png" />-algebra]]).
+
and the equation $  \sigma _ {e} ( A + K ) = \sigma _ {e} ( A) $
 +
holds whenever $  A $
 +
is closed and $  K $
 +
is compact. It also follows from Weyl's theorem that all self-adjoint extensions of a symmetric operator that have finite (and equal) deficiency numbers have identical essential spectrum. Weyl's theorem carries over to the case of relatively-compact perturbations ( $  K $
 +
is called a compact operator relative to $  A $
 +
if it maps every bounded set with bounded $  A $-
 +
image into a compact set), which implies that the essential spectra of the self-adjoint extensions of a wide class of symmetric multi-dimensional differential operators coincide. Weyl's theorem has a converse (J. von Neumann, 1935): If two self-adjoint operators have identical essential spectra, then one of them is unitarily equivalent to a perturbation of the other by a compact operator (even one of Hilbert–Schmidt class) of arbitrarily small norm. There are generalizations of this result to the case of normal and essentially-normal operators, and also to representations of non-commutative $  C  ^ {*} $-
 +
algebras (cf. [[C*-algebra| $  C  ^ {*} $-
 +
algebra]]).
  
The Weyl–von Neumann theorem shows that the essential spectrum is the unique spectral characteristic of self-adjoint operators which is stable under compact perturbations, and that the continuous and point spectra are extremely unstable. At the same time, the absolutely-continuous spectrum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633021.png" /> (which is the spectrum of the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633022.png" /> to the subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633023.png" /> of all vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633024.png" /> for which the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633025.png" /> is absolutely continuous) also has a certain stability: it is invariant under nuclear perturbations. This is one of the fundamental results of the theory of wave operators, closely connected with the quantum-mechanical theory of scattering (see [[#References|[2]]]). The wave operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633026.png" /> for a pair of self-adjoint operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633027.png" /> is the isometric linear mapping
+
The Weyl–von Neumann theorem shows that the essential spectrum is the unique spectral characteristic of self-adjoint operators which is stable under compact perturbations, and that the continuous and point spectra are extremely unstable. At the same time, the absolutely-continuous spectrum $  \sigma _ {ac} ( A) $(
 +
which is the spectrum of the restriction of $  A $
 +
to the subspace $  H _ {ac} ( A) $
 +
of all vectors $  x \in H $
 +
for which the function $  \lambda \mapsto ( E _ {A} ( \lambda ) x , x ) $
 +
is absolutely continuous) also has a certain stability: it is invariant under nuclear perturbations. This is one of the fundamental results of the theory of wave operators, closely connected with the quantum-mechanical theory of scattering (see [[#References|[2]]]). The wave operator $  W ( A , B ) $
 +
for a pair of self-adjoint operators $  A , B $
 +
is the isometric linear mapping
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633028.png" /></td> </tr></table>
+
$$
 +
x  \rightarrow  \lim\limits _ {t \rightarrow \infty } \
 +
\mathop{\rm exp} ( i t B )  \mathop{\rm exp} ( - i t A ) x ,
 +
$$
  
defined on the closed subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633029.png" /> of all vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633030.png" /> for which the limit exists. The relations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633031.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633032.png" /> show that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633033.png" /> realizes a unitary equivalence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633035.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633036.png" />. The condition of nuclearity of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633037.png" /> implies the inclusions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633038.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633039.png" />, and thus the unitary equivalence of the absolutely-continuous parts of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633040.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633041.png" />, which in turn ensures that their spectral characteristics are the same.
+
defined on the closed subspace $  \Sigma ( A , B ) $
 +
of all vectors $  x \in H $
 +
for which the limit exists. The relations $  W ( A , B ) A = B W ( A , B ) $
 +
and $  W ( A , B ) \Sigma ( A , B ) = \Sigma ( B , A ) $
 +
show that $  W ( A , B ) $
 +
realizes a unitary equivalence of $  A $
 +
and $  B $
 +
if $  \Sigma ( A , B ) = \Sigma ( B , A ) = H $.  
 +
The condition of nuclearity of $  B - A $
 +
implies the inclusions $  H _ {ac} ( A) \subset  \Sigma ( A , B ) $
 +
and $  H _ {ac} ( B) \subset  \Sigma ( B , A ) $,  
 +
and thus the unitary equivalence of the absolutely-continuous parts of $  A $
 +
and $  B $,  
 +
which in turn ensures that their spectral characteristics are the same.
  
There is another approach to the problem of proving the unitary equivalence (or, in the case of non-self-adjoint operators, the similarity) of a perturbed operator and an unperturbed one. In this approach one writes the conditions of similarity of two operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633042.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633043.png" /> in the form of a linear operator equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633044.png" />. Then one looks for a linear operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633045.png" /> that is left inverse to the multiplication operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633046.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633047.png" />) and for which the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633048.png" /> is a contraction in the space of operators. If one succeeds in finding such an operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633049.png" />, then as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633050.png" /> one may take the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633051.png" />, having verified beforehand its invertibility. By this method one can successfully investigate a wide class of normal operators with discrete and continuous spectrum, quasi-nilpotent operators, weighted shift operators, and, what is especially important for applications, multi-dimensional integro-differential operators.
+
There is another approach to the problem of proving the unitary equivalence (or, in the case of non-self-adjoint operators, the similarity) of a perturbed operator and an unperturbed one. In this approach one writes the conditions of similarity of two operators $  A $
 +
and $  A + K $
 +
in the form of a linear operator equation $  A V - V A = V K $.  
 +
Then one looks for a linear operator $  \Gamma $
 +
that is left inverse to the multiplication operator $  X \mapsto A X - X A $(
 +
that is, $  A \Gamma ( X) - \Gamma ( X) A = X $)  
 +
and for which the operator $  \Gamma _ {K} : X \mapsto \Gamma ( X K ) $
 +
is a contraction in the space of operators. If one succeeds in finding such an operator $  \Gamma $,  
 +
then as $  V $
 +
one may take the operator $  ( I + \Gamma _ {K} )  ^ {-} 1 I $,  
 +
having verified beforehand its invertibility. By this method one can successfully investigate a wide class of normal operators with discrete and continuous spectrum, quasi-nilpotent operators, weighted shift operators, and, what is especially important for applications, multi-dimensional integro-differential operators.
  
The spectral analysis of operators generated by analytic operations on function spaces (such as differential, integral and difference operators) assumes a description of their spectra in terms of the parameters (the coefficients) of the corresponding operation. The wide applicability of perturbation theory in such problems is explained by the fact that one can often successfully isolate the principal part and perturbation part in the same terms (by redistributing the coefficients). For example, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633052.png" /> be a domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633053.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633054.png" /> be a real potential, i.e. a numerical function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633055.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633056.png" /> be the Schrödinger operator defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633057.png" /> by the differential operation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633058.png" /> and by the most stringent boundary conditions (a minimal operator). In this case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633059.png" /> is symmetric. It is natural to assume that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633060.png" /> (or, more precisely, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633061.png" />) is an unperturbed operator, and that multiplication by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633062.png" /> is a perturbation. Such a representation has useful consequences in case the potential is small in some sense. Thus, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633063.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633064.png" />, then Weyl's theorem ensures that the essential spectra of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633065.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633066.png" /> coincide (and coincide with the essential spectra of their self-adjoint extensions). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633067.png" /> is  "sufficiently large"  and the potential is square-integrable, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633068.png" />, and if, in addition,
+
The spectral analysis of operators generated by analytic operations on function spaces (such as differential, integral and difference operators) assumes a description of their spectra in terms of the parameters (the coefficients) of the corresponding operation. The wide applicability of perturbation theory in such problems is explained by the fact that one can often successfully isolate the principal part and perturbation part in the same terms (by redistributing the coefficients). For example, let $  G $
 +
be a domain in $  \mathbf R  ^ {n} $,  
 +
let $  q $
 +
be a real potential, i.e. a numerical function on $  G $,  
 +
and let $  A _ {q} ( G) $
 +
be the Schrödinger operator defined on $  L _ {2} ( G) $
 +
by the differential operation $  l _ {q} ( u) = - \Delta \mu + q u $
 +
and by the most stringent boundary conditions (a minimal operator). In this case $  A _ {q} ( G) $
 +
is symmetric. It is natural to assume that $  - \Delta $(
 +
or, more precisely, $  A _ {0} ( G) $)  
 +
is an unperturbed operator, and that multiplication by $  q $
 +
is a perturbation. Such a representation has useful consequences in case the potential is small in some sense. Thus, if $  q ( M) \rightarrow 0 $
 +
as $  G \ni M \rightarrow \infty $,  
 +
then Weyl's theorem ensures that the essential spectra of $  A _ {q} $
 +
and $  A _ {0} $
 +
coincide (and coincide with the essential spectra of their self-adjoint extensions). If $  G $
 +
is  "sufficiently large"  and the potential is square-integrable, then $  \sigma _ {l} ( A _ {q} ) \supset [ 0 , \infty ) $,
 +
and if, in addition,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633069.png" /></td> </tr></table>
+
$$
 +
\sum _ {| j | \leq  n + 1 }
 +
\int\limits _ { G } ( 1 + r  ^ {2} )
 +
| \partial  ^ {j} q |  d V
 +
$$
  
is sufficiently small, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633070.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633071.png" /> are unitarily equivalent. In other cases one takes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633072.png" /> as a non-perturbed operator, where the potential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633073.png" /> is  "close"  to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633074.png" />, but has a simpler structure. This enables one to prove, for example, that in the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633075.png" /> the spectra of the self-adjoint extensions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633076.png" /> are finite, provided that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633077.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633078.png" /> (in particular, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633079.png" /> is semi-bounded and has a discrete spectrum when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633080.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633081.png" />).
+
is sufficiently small, then $  A _ {q} $
 +
and $  A _ {0} $
 +
are unitarily equivalent. In other cases one takes $  A {\widetilde{q}  } $
 +
as a non-perturbed operator, where the potential $  \widetilde{q}  $
 +
is  "close"  to $  q $,  
 +
but has a simpler structure. This enables one to prove, for example, that in the interval $  ( - \infty , a ) $
 +
the spectra of the self-adjoint extensions of $  A _ {q} $
 +
are finite, provided that $  \lim\limits  \inf  q ( M) \rightarrow a $
 +
as $  M \rightarrow \infty $(
 +
in particular, $  A _ {q} $
 +
is semi-bounded and has a discrete spectrum when $  q ( M) \rightarrow \infty $
 +
as $  G \ni M \rightarrow \infty $).
  
 
In the spectral analysis of symmetric differential operators (especially of one-dimensional such operators), another approach has been used, based not on spectral perturbation theory, but on a special form of the spectral decomposition theorem. A unitary transformation effecting a spectral representation of a differential operator can be realized (in the simplest case of an operator with a cyclic vector) by the integral operator
 
In the spectral analysis of symmetric differential operators (especially of one-dimensional such operators), another approach has been used, based not on spectral perturbation theory, but on a special form of the spectral decomposition theorem. A unitary transformation effecting a spectral representation of a differential operator can be realized (in the simplest case of an operator with a cyclic vector) by the integral operator
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633082.png" /></td> </tr></table>
+
$$
 +
U f ( \lambda )  = \int\limits _ { G } u ( x , \lambda ) f ( x)  d x ,
 +
$$
  
the kernel <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633083.png" /> of which at any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633084.png" /> is a solution of the differential equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633085.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633086.png" /> is the original differential operation. This enables one to use the qualitative theory of differential equations for the spectral analysis of differential operators, and leads not only to a description of the geometry of the spectrum (here, the results of this approach correspond to, and in the multi-dimensional case even yield, those of perturbation theory), but also leads to convenient analytic expressions for the spectral characteristics, to refined results about the convergence of spectral decompositions, etc.
+
the kernel $  u ( x , \lambda ) $
 +
of which at any $  \lambda $
 +
is a solution of the differential equation $  l ( y) = \lambda y $,  
 +
where $  l $
 +
is the original differential operation. This enables one to use the qualitative theory of differential equations for the spectral analysis of differential operators, and leads not only to a description of the geometry of the spectrum (here, the results of this approach correspond to, and in the multi-dimensional case even yield, those of perturbation theory), but also leads to convenient analytic expressions for the spectral characteristics, to refined results about the convergence of spectral decompositions, etc.
  
The functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633087.png" /> involved in the spectral decomposition of a differential operator are not, in the case of a continuous spectrum, its eigenfunctions, since they do not belong to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633088.png" />. An abstract variant of the decomposition with respect to  "generalized eigenfunctions"  can be constructed within the limits of the theory of rigged Hilbert spaces (see [[#References|[4]]]). A rigged Hilbert space is a triple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633089.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633090.png" /> is a Hilbert space, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633091.png" /> is a topological vector space continuously imbedded in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633092.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633093.png" /> is the dual of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633094.png" />. An element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633095.png" /> is called a generalized eigenvector of an operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633096.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633097.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633098.png" /> and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s08633099.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330100.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330101.png" /> is the corresponding eigenvalue). For every self-adjoint operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330102.png" /> one can select a rigging such that the set of generalized eigenvectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330103.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330104.png" /> is complete in the following sense: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330105.png" />,
+
The functions $  u ( x , \lambda ) $
 +
involved in the spectral decomposition of a differential operator are not, in the case of a continuous spectrum, its eigenfunctions, since they do not belong to $  L _ {2} ( G) $.  
 +
An abstract variant of the decomposition with respect to  "generalized eigenfunctions"  can be constructed within the limits of the theory of rigged Hilbert spaces (see [[#References|[4]]]). A rigged Hilbert space is a triple $  \Phi \subset  H \subset  \Phi  ^  \prime  $,  
 +
where $  H $
 +
is a Hilbert space, $  \Phi $
 +
is a topological vector space continuously imbedded in $  H $
 +
and $  \Phi  ^  \prime  $
 +
is the dual of $  \Phi $.  
 +
An element $  f \in \Phi  ^  \prime  $
 +
is called a generalized eigenvector of an operator $  A $
 +
on $  H $
 +
if $  A \Phi \subset  \Phi $
 +
and if $  f ( A x - \lambda x ) = 0 $
 +
for all $  x \in \Phi $(
 +
where $  \lambda $
 +
is the corresponding eigenvalue). For every self-adjoint operator $  A $
 +
one can select a rigging such that the set of generalized eigenvectors $  \{ {f _  \lambda  } : {\lambda \in \sigma ( A) } \} $
 +
of $  A $
 +
is complete in the following sense: For any $  x \in \Phi $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330106.png" /></td> </tr></table>
+
$$
 +
\| x \|  ^ {2}  = \int\limits _ {\sigma ( A) }
 +
| f _  \lambda  ( x) |  ^ {2}  d \rho ( \lambda ) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330107.png" /> is some measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330108.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330109.png" /> has a cyclic vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330110.png" />, then one can take <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330111.png" /> to be <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330112.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330113.png" /> is the spectral measure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330114.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330115.png" />, and the limit is taken in the topology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330116.png" />.
+
where $  \rho $
 +
is some measure on $  \sigma ( A) $.  
 +
If $  A $
 +
has a cyclic vector $  x _ {0} $,  
 +
then one can take $  \rho $
 +
to be $  ( E _ {A} ( \cdot ) x _ {0} , x _ {0} ) $,  
 +
where $  E _ {A} $
 +
is the spectral measure of $  A $.  
 +
Here, $  f _  \lambda  = ( d P _  \lambda  x ) / ( d \rho ( - \infty , \lambda ) ) $,  
 +
and the limit is taken in the topology of $  \Phi  ^  \prime  $.
  
For operators with a point spectrum, the question of the asymptotics of the eigenvalues is of paramount importance. In the case of a self-adjoint operator it is somewhat simpler to describe the asymptotic behaviour of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330117.png" /> equal to the number of eigenvalues less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330118.png" />, or, equivalently, equal to the dimension of the spectral subspace corresponding to the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330119.png" />. The classical Weyl theorem states: For the Laplace operator with Dirichlet boundary conditions in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330120.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330121.png" /> is asymptotically equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330122.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330123.png" /> is the volume of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330124.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330125.png" /> is the volume of the unit ball in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086330/s086330126.png" />.
+
For operators with a point spectrum, the question of the asymptotics of the eigenvalues is of paramount importance. In the case of a self-adjoint operator it is somewhat simpler to describe the asymptotic behaviour of the function $  N ( \lambda ) $
 +
equal to the number of eigenvalues less than $  \lambda $,  
 +
or, equivalently, equal to the dimension of the spectral subspace corresponding to the interval $  ( - \infty , \lambda ) $.  
 +
The classical Weyl theorem states: For the Laplace operator with Dirichlet boundary conditions in a domain $  \Omega \subset  \mathbf R  ^ {n} $,  
 +
$  N ( \lambda ) $
 +
is asymptotically equal to $  r _ {n} ( 2 \pi )  ^ {-} n | \Omega | \lambda  ^ {n/2} $,  
 +
where $  | \Omega | $
 +
is the volume of $  \Omega $
 +
and $  r _ {n} $
 +
is the volume of the unit ball in $  \mathbf R  ^ {n} $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral operators" , '''3''' , Interscience  (1971)</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral theory" , '''2''' , Interscience  (1963)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  T. Kato,  "Perturbation theory for linear operators" , Springer  (1976)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  I.M. Glazman,  "Direct methods of qualitative spectral analysis of singular differential operators" , Israel Program Sci. Transl.  (1965)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  Yu.M. [Yu.M. Berezanskii] Berezanskiy,  "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc.  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.S. Iokhvidov,  M.G. Krein,  "Spectral theory of operators in spaces with an indefinite metric I"  ''Transl. Amer. Math. Soc. (2)'' , '''13''' :  2  (1960)  pp. 105–175  ''Trudy Moskov. Mat. Obshch.'' , '''5'''  (1956)  pp. 367–432</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M.Sh. Birman,  M.Z. Solomyak,  "Asymptotic behaviour of the spectrum of differential equations"  ''J. Soviet Math.'' , '''12''' :  3  (1979)  pp. 247–283  ''Itogi Nauk. i Tekhn.'' , '''14'''  (1977)  pp. 5–58</TD></TR></table>
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral operators" , '''3''' , Interscience  (1971)</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  N. Dunford,  J.T. Schwartz,  "Linear operators. Spectral theory" , '''2''' , Interscience  (1963)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  T. Kato,  "Perturbation theory for linear operators" , Springer  (1976)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  I.M. Glazman,  "Direct methods of qualitative spectral analysis of singular differential operators" , Israel Program Sci. Transl.  (1965)  (Translated from Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  Yu.M. [Yu.M. Berezanskii] Berezanskiy,  "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc.  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.S. Iokhvidov,  M.G. Krein,  "Spectral theory of operators in spaces with an indefinite metric I"  ''Transl. Amer. Math. Soc. (2)'' , '''13''' :  2  (1960)  pp. 105–175  ''Trudy Moskov. Mat. Obshch.'' , '''5'''  (1956)  pp. 367–432</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  M.Sh. Birman,  M.Z. Solomyak,  "Asymptotic behaviour of the spectrum of differential equations"  ''J. Soviet Math.'' , '''12''' :  3  (1979)  pp. 247–283  ''Itogi Nauk. i Tekhn.'' , '''14'''  (1977)  pp. 5–58</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 08:22, 6 June 2020


The investigation of the spectral properties of linear operators (cf. Linear operator), such as the geometry of the spectrum and its main parts, spectral multiplicity and the asymptotics of eigenvalues.

For operators on finite-dimensional spaces, the problem of determining the spectrum is equivalent to the problem of localizing the roots of the characteristic equation $ \mathop{\rm det} ( A - \lambda I ) = 0 $. For infinite-dimensional spaces the situation is much more complicated, although the apparatus of determinants can be set up and used successfully for the spectral analysis of some infinite-dimensional operators. In many cases the spectral analysis of an operator is based on an explicit construction of a functional calculus (respectively, by multiplication operators on function spaces, other model operators, as well as their restrictions or quotients). Various theorems on the form of the spectra of functions of one or several operators find wide application in spectral analysis. These may be very simple (the spectrum of a polynomial in an operator consists of the values of this polynomial on the spectrum of the operator, and the spectrum of the sum of two commuting operators is contained in the algebraic sum of their spectra) or very subtle (describing the spectra of functions of non-commuting operators, of functions of an operator having discontinuities at boundary points of its spectrum, the combined spectra of the image of many-valued mappings, images of approximate, point or deficiency spectra, etc.). Useful information about the spectrum of an operator can be extracted from its topological characteristics (for example, the spectrum of a continuous operator is compact, and the spectrum of a compact operator is at most countable and its non-zero points are isolated eigenvalues), from its behaviour with respect to a specific cone in the space (the principal eigenvalues of a positive operator), or from the scalar product (the spectrum of a self-adjoint operator is real, that of a positive Hermitian operator is non-negative, that of a dissipative operator lies in the upper half-plane, and that of a unitary operator lies on the unit circle). If the scalar product is not of fixed sign, but its index of indefiniteness $ \kappa $ is finite, then the spectrum of an operator preserving the product (called a $ J $- unitary operator) can have at most $ 2 \kappa $ points outside the unit circle. For $ J $- self-adjoint and $ J $- dissipative operators the situation is similar (see [5]).

Spectral characteristics can posses specific properties of stability (continuity) and these are studied in spectral perturbation theory (a branch of general perturbation theory). Thus, the spectrum is an upper semi-continuous function of the operator: Any neighbourhood of the spectrum of a bounded operator contains the spectra of all operators sufficiently close to it (in the case of unbounded operators a slight modification is required). This enables one to trace the variation of isolated points of the spectrum under small perturbations, and to express analytically (in the form of a power series in the parameter $ \mu $) the eigenvalues of an operator $ A + B \mu $ that lie in a neighbourhood of an isolated eigenvalue of finite multiplicity of $ A $. In certain cases one can also estimate the variation of the number of eigenvalues of an operator in a given domain under the effect of a perturbation that is not necessarily small in norm but has fixed (finite) rank. The same circle of ideas contains Weyl's theorem (H. Weyl, 1909) on the invariance of the condensation spectrum (the complement in the spectrum of the set of isolated eigenvalues of finite multiplicity) of a self-adjoint operator under compact perturbations. It follows from this that the condensation spectrum of a self-adjoint operator $ A $ coincides with its essential spectrum

$$ \sigma _ {e} ( A) = \{ {\lambda \in \mathbf C } : { A - \lambda I \textrm{ is not a Fredholm operator } } \} , $$

and the equation $ \sigma _ {e} ( A + K ) = \sigma _ {e} ( A) $ holds whenever $ A $ is closed and $ K $ is compact. It also follows from Weyl's theorem that all self-adjoint extensions of a symmetric operator that have finite (and equal) deficiency numbers have identical essential spectrum. Weyl's theorem carries over to the case of relatively-compact perturbations ( $ K $ is called a compact operator relative to $ A $ if it maps every bounded set with bounded $ A $- image into a compact set), which implies that the essential spectra of the self-adjoint extensions of a wide class of symmetric multi-dimensional differential operators coincide. Weyl's theorem has a converse (J. von Neumann, 1935): If two self-adjoint operators have identical essential spectra, then one of them is unitarily equivalent to a perturbation of the other by a compact operator (even one of Hilbert–Schmidt class) of arbitrarily small norm. There are generalizations of this result to the case of normal and essentially-normal operators, and also to representations of non-commutative $ C ^ {*} $- algebras (cf. $ C ^ {*} $- algebra).

The Weyl–von Neumann theorem shows that the essential spectrum is the unique spectral characteristic of self-adjoint operators which is stable under compact perturbations, and that the continuous and point spectra are extremely unstable. At the same time, the absolutely-continuous spectrum $ \sigma _ {ac} ( A) $( which is the spectrum of the restriction of $ A $ to the subspace $ H _ {ac} ( A) $ of all vectors $ x \in H $ for which the function $ \lambda \mapsto ( E _ {A} ( \lambda ) x , x ) $ is absolutely continuous) also has a certain stability: it is invariant under nuclear perturbations. This is one of the fundamental results of the theory of wave operators, closely connected with the quantum-mechanical theory of scattering (see [2]). The wave operator $ W ( A , B ) $ for a pair of self-adjoint operators $ A , B $ is the isometric linear mapping

$$ x \rightarrow \lim\limits _ {t \rightarrow \infty } \ \mathop{\rm exp} ( i t B ) \mathop{\rm exp} ( - i t A ) x , $$

defined on the closed subspace $ \Sigma ( A , B ) $ of all vectors $ x \in H $ for which the limit exists. The relations $ W ( A , B ) A = B W ( A , B ) $ and $ W ( A , B ) \Sigma ( A , B ) = \Sigma ( B , A ) $ show that $ W ( A , B ) $ realizes a unitary equivalence of $ A $ and $ B $ if $ \Sigma ( A , B ) = \Sigma ( B , A ) = H $. The condition of nuclearity of $ B - A $ implies the inclusions $ H _ {ac} ( A) \subset \Sigma ( A , B ) $ and $ H _ {ac} ( B) \subset \Sigma ( B , A ) $, and thus the unitary equivalence of the absolutely-continuous parts of $ A $ and $ B $, which in turn ensures that their spectral characteristics are the same.

There is another approach to the problem of proving the unitary equivalence (or, in the case of non-self-adjoint operators, the similarity) of a perturbed operator and an unperturbed one. In this approach one writes the conditions of similarity of two operators $ A $ and $ A + K $ in the form of a linear operator equation $ A V - V A = V K $. Then one looks for a linear operator $ \Gamma $ that is left inverse to the multiplication operator $ X \mapsto A X - X A $( that is, $ A \Gamma ( X) - \Gamma ( X) A = X $) and for which the operator $ \Gamma _ {K} : X \mapsto \Gamma ( X K ) $ is a contraction in the space of operators. If one succeeds in finding such an operator $ \Gamma $, then as $ V $ one may take the operator $ ( I + \Gamma _ {K} ) ^ {-} 1 I $, having verified beforehand its invertibility. By this method one can successfully investigate a wide class of normal operators with discrete and continuous spectrum, quasi-nilpotent operators, weighted shift operators, and, what is especially important for applications, multi-dimensional integro-differential operators.

The spectral analysis of operators generated by analytic operations on function spaces (such as differential, integral and difference operators) assumes a description of their spectra in terms of the parameters (the coefficients) of the corresponding operation. The wide applicability of perturbation theory in such problems is explained by the fact that one can often successfully isolate the principal part and perturbation part in the same terms (by redistributing the coefficients). For example, let $ G $ be a domain in $ \mathbf R ^ {n} $, let $ q $ be a real potential, i.e. a numerical function on $ G $, and let $ A _ {q} ( G) $ be the Schrödinger operator defined on $ L _ {2} ( G) $ by the differential operation $ l _ {q} ( u) = - \Delta \mu + q u $ and by the most stringent boundary conditions (a minimal operator). In this case $ A _ {q} ( G) $ is symmetric. It is natural to assume that $ - \Delta $( or, more precisely, $ A _ {0} ( G) $) is an unperturbed operator, and that multiplication by $ q $ is a perturbation. Such a representation has useful consequences in case the potential is small in some sense. Thus, if $ q ( M) \rightarrow 0 $ as $ G \ni M \rightarrow \infty $, then Weyl's theorem ensures that the essential spectra of $ A _ {q} $ and $ A _ {0} $ coincide (and coincide with the essential spectra of their self-adjoint extensions). If $ G $ is "sufficiently large" and the potential is square-integrable, then $ \sigma _ {l} ( A _ {q} ) \supset [ 0 , \infty ) $, and if, in addition,

$$ \sum _ {| j | \leq n + 1 } \int\limits _ { G } ( 1 + r ^ {2} ) | \partial ^ {j} q | d V $$

is sufficiently small, then $ A _ {q} $ and $ A _ {0} $ are unitarily equivalent. In other cases one takes $ A {\widetilde{q} } $ as a non-perturbed operator, where the potential $ \widetilde{q} $ is "close" to $ q $, but has a simpler structure. This enables one to prove, for example, that in the interval $ ( - \infty , a ) $ the spectra of the self-adjoint extensions of $ A _ {q} $ are finite, provided that $ \lim\limits \inf q ( M) \rightarrow a $ as $ M \rightarrow \infty $( in particular, $ A _ {q} $ is semi-bounded and has a discrete spectrum when $ q ( M) \rightarrow \infty $ as $ G \ni M \rightarrow \infty $).

In the spectral analysis of symmetric differential operators (especially of one-dimensional such operators), another approach has been used, based not on spectral perturbation theory, but on a special form of the spectral decomposition theorem. A unitary transformation effecting a spectral representation of a differential operator can be realized (in the simplest case of an operator with a cyclic vector) by the integral operator

$$ U f ( \lambda ) = \int\limits _ { G } u ( x , \lambda ) f ( x) d x , $$

the kernel $ u ( x , \lambda ) $ of which at any $ \lambda $ is a solution of the differential equation $ l ( y) = \lambda y $, where $ l $ is the original differential operation. This enables one to use the qualitative theory of differential equations for the spectral analysis of differential operators, and leads not only to a description of the geometry of the spectrum (here, the results of this approach correspond to, and in the multi-dimensional case even yield, those of perturbation theory), but also leads to convenient analytic expressions for the spectral characteristics, to refined results about the convergence of spectral decompositions, etc.

The functions $ u ( x , \lambda ) $ involved in the spectral decomposition of a differential operator are not, in the case of a continuous spectrum, its eigenfunctions, since they do not belong to $ L _ {2} ( G) $. An abstract variant of the decomposition with respect to "generalized eigenfunctions" can be constructed within the limits of the theory of rigged Hilbert spaces (see [4]). A rigged Hilbert space is a triple $ \Phi \subset H \subset \Phi ^ \prime $, where $ H $ is a Hilbert space, $ \Phi $ is a topological vector space continuously imbedded in $ H $ and $ \Phi ^ \prime $ is the dual of $ \Phi $. An element $ f \in \Phi ^ \prime $ is called a generalized eigenvector of an operator $ A $ on $ H $ if $ A \Phi \subset \Phi $ and if $ f ( A x - \lambda x ) = 0 $ for all $ x \in \Phi $( where $ \lambda $ is the corresponding eigenvalue). For every self-adjoint operator $ A $ one can select a rigging such that the set of generalized eigenvectors $ \{ {f _ \lambda } : {\lambda \in \sigma ( A) } \} $ of $ A $ is complete in the following sense: For any $ x \in \Phi $,

$$ \| x \| ^ {2} = \int\limits _ {\sigma ( A) } | f _ \lambda ( x) | ^ {2} d \rho ( \lambda ) , $$

where $ \rho $ is some measure on $ \sigma ( A) $. If $ A $ has a cyclic vector $ x _ {0} $, then one can take $ \rho $ to be $ ( E _ {A} ( \cdot ) x _ {0} , x _ {0} ) $, where $ E _ {A} $ is the spectral measure of $ A $. Here, $ f _ \lambda = ( d P _ \lambda x ) / ( d \rho ( - \infty , \lambda ) ) $, and the limit is taken in the topology of $ \Phi ^ \prime $.

For operators with a point spectrum, the question of the asymptotics of the eigenvalues is of paramount importance. In the case of a self-adjoint operator it is somewhat simpler to describe the asymptotic behaviour of the function $ N ( \lambda ) $ equal to the number of eigenvalues less than $ \lambda $, or, equivalently, equal to the dimension of the spectral subspace corresponding to the interval $ ( - \infty , \lambda ) $. The classical Weyl theorem states: For the Laplace operator with Dirichlet boundary conditions in a domain $ \Omega \subset \mathbf R ^ {n} $, $ N ( \lambda ) $ is asymptotically equal to $ r _ {n} ( 2 \pi ) ^ {-} n | \Omega | \lambda ^ {n/2} $, where $ | \Omega | $ is the volume of $ \Omega $ and $ r _ {n} $ is the volume of the unit ball in $ \mathbf R ^ {n} $.

References

[1a] N. Dunford, J.T. Schwartz, "Linear operators. Spectral operators" , 3 , Interscience (1971)
[1b] N. Dunford, J.T. Schwartz, "Linear operators. Spectral theory" , 2 , Interscience (1963)
[2] T. Kato, "Perturbation theory for linear operators" , Springer (1976)
[3] I.M. Glazman, "Direct methods of qualitative spectral analysis of singular differential operators" , Israel Program Sci. Transl. (1965) (Translated from Russian)
[4] Yu.M. [Yu.M. Berezanskii] Berezanskiy, "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc. (1968) (Translated from Russian)
[5] I.S. Iokhvidov, M.G. Krein, "Spectral theory of operators in spaces with an indefinite metric I" Transl. Amer. Math. Soc. (2) , 13 : 2 (1960) pp. 105–175 Trudy Moskov. Mat. Obshch. , 5 (1956) pp. 367–432
[6] M.Sh. Birman, M.Z. Solomyak, "Asymptotic behaviour of the spectrum of differential equations" J. Soviet Math. , 12 : 3 (1979) pp. 247–283 Itogi Nauk. i Tekhn. , 14 (1977) pp. 5–58

Comments

An improvement of Weyl's theorem is given in [a1].

References

[a1] V.Ya. Ivrii, "Second term of the spectral asymptotics of the Laplace–Beltrami operator on manifolds with boundary" Funct. Anal. Appl. , 14 (1980) pp. 98–106 Funkts. Anal. Prilozhen. , 14 (1980) pp. 25–34
How to Cite This Entry:
Spectral analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Spectral_analysis&oldid=48755
This article was adapted from an original article by V.S. Shul'man (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article