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 . 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 is finite, then the spectrum of an operator preserving the product (called a -unitary operator) can have at most points outside the unit circle. For -self-adjoint and -dissipative operators the situation is similar (see ).
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 ) the eigenvalues of an operator that lie in a neighbourhood of an isolated eigenvalue of finite multiplicity of . 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 coincides with its essential spectrum
and the equation holds whenever is closed and 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 ( is called a compact operator relative to if it maps every bounded set with bounded -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 -algebras (cf. -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 (which is the spectrum of the restriction of to the subspace of all vectors for which the function 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 ). The wave operator for a pair of self-adjoint operators is the isometric linear mapping
defined on the closed subspace of all vectors for which the limit exists. The relations and show that realizes a unitary equivalence of and if . The condition of nuclearity of implies the inclusions and , and thus the unitary equivalence of the absolutely-continuous parts of and , 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 and in the form of a linear operator equation . Then one looks for a linear operator that is left inverse to the multiplication operator (that is, ) and for which the operator is a contraction in the space of operators. If one succeeds in finding such an operator , then as one may take the operator , 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 be a domain in , let be a real potential, i.e. a numerical function on , and let be the Schrödinger operator defined on by the differential operation and by the most stringent boundary conditions (a minimal operator). In this case is symmetric. It is natural to assume that (or, more precisely, ) is an unperturbed operator, and that multiplication by is a perturbation. Such a representation has useful consequences in case the potential is small in some sense. Thus, if as , then Weyl's theorem ensures that the essential spectra of and coincide (and coincide with the essential spectra of their self-adjoint extensions). If is "sufficiently large" and the potential is square-integrable, then , and if, in addition,
is sufficiently small, then and are unitarily equivalent. In other cases one takes as a non-perturbed operator, where the potential is "close" to , but has a simpler structure. This enables one to prove, for example, that in the interval the spectra of the self-adjoint extensions of are finite, provided that as (in particular, is semi-bounded and has a discrete spectrum when as ).
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
the kernel of which at any is a solution of the differential equation , where 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 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 . 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 ). A rigged Hilbert space is a triple , where is a Hilbert space, is a topological vector space continuously imbedded in and is the dual of . An element is called a generalized eigenvector of an operator on if and if for all (where is the corresponding eigenvalue). For every self-adjoint operator one can select a rigging such that the set of generalized eigenvectors of is complete in the following sense: For any ,
where is some measure on . If has a cyclic vector , then one can take to be , where is the spectral measure of . Here, , and the limit is taken in the topology of .
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 equal to the number of eigenvalues less than , or, equivalently, equal to the dimension of the spectral subspace corresponding to the interval . The classical Weyl theorem states: For the Laplace operator with Dirichlet boundary conditions in a domain , is asymptotically equal to , where is the volume of and is the volume of the unit ball in .
|[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)|
|||T. Kato, "Perturbation theory for linear operators" , Springer (1976)|
|||I.M. Glazman, "Direct methods of qualitative spectral analysis of singular differential operators" , Israel Program Sci. Transl. (1965) (Translated from Russian)|
|||Yu.M. [Yu.M. Berezanskii] Berezanskiy, "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc. (1968) (Translated from Russian)|
|||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|
|||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|
An improvement of Weyl's theorem is given in [a1].
|[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|
Spectral analysis. V.S. Shul'man (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Spectral_analysis&oldid=16753