Extension of an operator
A linear operator whose graph contains the graph of the given linear operator. When the operator is an extension of a given operator , one writes . The usual problems in the theory of extensions are as follows: extend an operator maximally while preserving a specific property, or study extensions of an operator having various additional properties.
For example, let be a given isometric operator on a Hilbert space with domain of definition and range of values ; then the isometric extensions of are in one-to-one correspondence with the isometric mappings from to . In particular, has unitary extensions if the dimensions of and coincide.
Extensions of symmetric operators.
The most studied (and most important in applications) is the theory of self-adjoint extensions of symmetric operators on a Hilbert space. An operator is symmetric if and only if , where is the operator adjoint to . Thus, the domain of definition of any symmetric extension of is contained in , and these extensions are restrictions of . This reduces the description of the symmetric extensions of to determining their domains of definition. A subspace is the domain of definition of some symmetric extension of if and only if for all . It turns out that
where are deficiency subspaces (defect subspaces) (their dimensions are called deficiency numbers (defect numbers)), and the symmetric extensions of are in one-to-one correspondence with the isometric mappings from to : To any such mapping corresponds an extension of with domain of definition , where is the graph of . Self-adjoint extensions correspond to unitary operators , and hence exist if and only if the defect numbers are equal.
The domains of definition of extensions of symmetric operators can be conveniently described with the help of so-called (abstract) boundary conditions. Any linear functional on , continuous relative to the norm , and equal to zero on , is called a boundary value for the symmetric operator ; an equation , where is a boundary value, is called a boundary condition. Boundary values are determined by their values on . If the defect numbers of a symmetric operator are finite, then each of its symmetric extensions is determined by a family of boundary conditions, that is, , where are boundary values. The families of boundary values determining self-adjoint extensions of with defect numbers can be described as follows. Let and be orthonormal bases of and , respectively, and let, for ,
Then any self-adjoint extension of is determined by the boundary conditions
where is a unitary -matrix.
In some cases one can successfully prove the existence of self-adjoint extensions (and find some of them) without solving the difficult problem of determining the defect subspaces and defect numbers. For example, if commutes with an (anti-unitary) involution of the space , then it has a self-adjoint extension. This is often used in the theory of differential operators, where the involution is taken to be complex conjugation in the space . Equality of defect numbers also occurs in the case when has points of regular type on the real axis ( is called a point of regular type if for some and for all ).
Extensions of semi-bounded operators.
An operator is called semi-bounded from below by if its numerical range lies in the interval ; an operator is called positive if it is semi-bounded from below by zero. If is semi-bounded from below by , then every is a point of regular type, the defect numbers are equal and self-adjoint extensions exist. One such an extension can be constructed as follows. The sesquilinear form defined on admits a closure . But, being a closed symmetric bilinear form, to corresponds a unique self-adjoint operator such that . The operator is called the Friedrichs extension of the operator and is semi-bounded. The greatest lower bound of its spectrum is equal to the greatest lower bound of the numerical range of . This is the unique self-adjoint extension whose domain of definition is contained in the domain of definition of . Using the Friedrichs extension it is possible to describe other semi-bounded extensions of (if the defect numbers of are finite, then all its self-adjoint extensions are semi-bounded). For this it is sufficient to find all positive extensions of positive operators (the general case reduces to this by adding a multiple of the identity operator). Let be a positive operator and let . Then the positive self-adjoint extensions of correspond uniquely to positive bounded operators on ; for every such operator , the subspace is the domain of definition of the corresponding extension (see ).
The construction of the Friedrichs extension can be generalized to the case of sectorial operators, i.e. operators whose numerical range is contained in some angle . There is an extension, which is a maximal sectorial operator, whose numerical range lies in the same angle and which, like the Friedrichs extension, is minimal. The case of operators from a Banach space into its dual space has also been studied (see ).
In some problems it is necessary to construct symmetric extensions of symmetric operators. A typical result is as follows. An operator is called dissipative if its numerical range lies in the left half-plane, and maximal dissipative if it is dissipative and does not have dissipative extensions. Every symmetric operator has an extension of the form , where is a maximal dissipative operator; all such extensions can be described by means of contractive mappings of into (see ).
Extensions of differential operators.
The theory of extensions of operators has important applications in the study of differential operators. Let
be a formal self-adjoint differential expression on the interval , let be the subspace consisting of all functions with absolutely-continuous quasi-derivatives of orders , and -th quasi-derivative in , and let be the subspace of consisting of the functions whose supports do not contain the end points of the intervals. Let be the operator given by for , and let be its restriction to . Then is symmetric, ; let be its closure. In the regular case (that is, when the interval is finite and the function is summable), the domain of definition of is formed by all functions in whose first quasi-derivatives vanish at the end points of the interval. In the singular case, is harder to describe (see ). The defect numbers of coincide and are equal to in the regular case and are at most in the singular case. Thus, always has self-adjoint extensions; their spectra, spectral decompositions and resolvents are the basic objects of study in the theory of differential operators, because the choice of this or that self-adjoint extension is in fact the precise formulation of a certain spectral problem. This is particularly clear in the regular case, when the (abstract) boundary conditions, giving the domain of definition of a self-adjoint extension of , are written in the form of ordinary boundary conditions:
for some , (this follows from the above description of (abstract) boundary conditions since, in the regular case, the boundary values are determined by , ).
For , is semi-bounded from below, and its Friedrichs extension corresponds to the boundary conditions , .
In the general case, the self-adjoint extensions of can be characterized as follows. Let
for all functions and from . Then the limits
exist and satisfy
(Lagrange's formula). Thus, to describe the self-adjoint extensions of it is sufficient to choose bases and of the defect subspaces and (it is convenient to assume that ) and to put every unitary matrix into correspondence with the self-adjoint extension whose domain of definition consists of all functions that satisfy the boundary conditions
Extensions corresponding to boundary value problems.
Extensions of semi-bounded operators play a central role in the theory of elliptic boundary value problems. For example, let be an elliptic differential expression of the second order in a region of the -dimensional space, and let and be the minimal and maximal operators determined by this expression. Then is positive definite, its defect numbers are infinite and the defect subspace (called the space of -harmonic functions on ) has a natural realization as a function space on the boundary of . Thus, various extensions of correspond to various boundary conditions and thus determine various boundary value problems. In particular, the Friedrichs extension is defined on all functions in the Sobolev space that vanish on , and the equation corresponds to the Dirichlet problem:
The theory of partial differential equations gives rise to a number of general questions about extensions of symmetric operators, such as the question of uniqueness of a self-adjoint extension (so-called essential self-adjointness), whether operators that commute (in some sense) have commuting extensions, whether there exist intermediate extensions with given properties (for example, with conditions on the spectrum), etc. (see –).
Extensions into an enlarged Hilbert space.
Every symmetric operator acting on a Hilbert space can be extended to a self-adjoint operator acting on some space (see ), and so every symmetric operator has a generalized spectral function. This is related to various results on extensions from a space and on dilatations (see ). Thus, any contraction of a Hilbert space (that is, any operator of norm ) can be extended to a co-isometric operator (that is, the adjoint of an isometric operator), and every contraction whose powers strongly converge to zero can be extended to a backwards one-sided shift (that is, the adjoint of a one-sided shift). Results about extensions into an enlarged space can be generalized to commutative families, semi-groups, etc.
|||N. Dunford, J.T. Schwartz, "Linear operators. Spectral theory" , 2 , Interscience (1963)|
|||M.A. Naimark, "Lineare Differentialoperatoren" , Akademie Verlag (1960) (Translated from Russian)|
|||T. Kato, "Perturbation theory for linear operators" , Springer (1966) pp. Chapt. X Sect. 3|
|[4a]||M.G. Krein, "Theory of selfadjoint extensions of semibounded Hermitian transformations and its applications I" Mat. Sb. , 20 (1947) pp. 431–498 (In Russian)|
|[4b]||M.G. Krein, "Theory of selfadjoint extensions of semibounded Hermitian transformations and its applications II" Mat. Sb. , 21 (1947) pp. 365–404 (In Russian)|
|||M.Sh. Birman, "On the theory of selfadjoint extensions of positive definite operators" Mat. Sb. , 38 (1956) pp. 431–450 (In Russian)|
|||R.S. Phillips, "Dissipative operators and hyperbolic systems of partial differential equations" Trans. Amer. Math. Soc. , 90 : 2 (1959) pp. 193–254|
|||K. Moren, "Methods of Hilbert spaces" , PWN (1967) (Translated from Polish)|
|||Yu.M. [Yu.M. Berezanskii] Berezanskiy, "Expansion in eigenfunctions of selfadjoint operators" , Amer. Math. Soc. (1968) (Translated from Russian)|
|||S.G. Mikhlin, "The problem of the minimum of a quadratic functional" , Holden-Day (1965) (Translated from Russian)|
|||M.A. Naimark, "Spectral functions of a symmetric operator" Izv. Akad. Nauk SSSR Ser. Mat. , 4 (1940) pp. 277–318 (In Russian)|
|||B. Szökefalvi-Nagy, Ch. Foiaş, "Harmonic analysis of operators on Hilbert spaces" , North-Holland (1970) (Translated from French)|
|||L. Brown, R. Douglas, P. Fillmore, "Unitary equivalence modulo the compact operators and extensions of -algebras" , Proc. Conf. Operator Theory , Lect. notes in math. , 345 , Springer (1973) pp. 58–128|
|||W. Arveson, "Notes on extensions of -algebras" Duke Math. J. , 44 : 2 (1977) pp. 329–355|
|||M. Reed, B. Simon, "Methods of contemporary mathematical physics" , II: Fourier analysis, self-adjointness , Acad. Press (1975)|
The notation is another occasionally used notation for the (internal) direct sum , i.e. signifies that and .
When dealing with a differential expression
it may happen that makes sense even though not all derivatives , , exist; this is connected with possible non-differentiability of the coefficients . One therefore defines the quasi-derivatives of corresponding to the expression (a1) above by the formulas
In addition one sets . Thus, .
There exists another class of problems which go by the name of extension problems. These are matrix extension problems and operator extension problems, in which the matrices (operators) are incompletely given and it is required to "fill-in" the missing "entries" in such a way that the resulting matrix (operator) has certain specified properties. For instance, in one finite version of the Carathéodory–Toeplitz problem one has given a band around the diagonal of an -matrix : , , such that (and some other necessary conditions), and it is required to find the remaining such that the resulting matrix has non-negative definite real part. There is a corresponding infinite version which is important in signal analysis.
Such problems relate to the interpolation of operators.
Extension of an operator. A.I. LoginovV.S. Shul'man (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Extension_of_an_operator&oldid=17795