Symbol of an operator
A scalar or matrix function associated with the operator and having properties that somehow reflect the properties of the operator. One usually supposes that the operators to which a symbol is assigned belong to an algebra. Then, as a rule, under summation of operators their symbols are added, and under multiplication they are multiplied, either up to terms which are small in some sense or exactly. The symbol of an operator usually takes values in an algebra (in particular, an operator algebra) that is simpler than the original one.
Usually symbols are associated with operators acting on function spaces. In this case a typical situation is that if an operator acts on functions in variables (or more generally, on functions on an
-dimensional manifold), then its symbol is a function of
variables (or, on a
-dimensional manifold). The theory of pseudo-differential operators (cf. Pseudo-differential operator) has been constructed by using such symbols. The correspondence between symbols and operators is at the basis of quantization, under which the symbol is a classical observable and the operator itself is the corresponding quantum observable.
Symbols of operators on
.
Suppose one is given a polynomial
![]() |
where ,
,
,
and
are multi-indices (that is,
,
,
integers,
),
. Then it is possible to construct, by various methods, an operator
acting on functions on
by replacing
with the operator
of multiplication by one of the coordinates
in
and by replacing
with the operator
, where
and
is an arbitrary constant (playing the role of Planck's constant). If the role of
and
is changed, then different operators are obtained. If one puts
![]() |
then is called the
-symbol, or left symbol, of
. The correspondence between left symbols and operators obtained in this way is a one-to-one correspondence between polynomials and differential operators with polynomial coefficients and may be extended to significantly broader classes of operators and symbols by using the formula
![]() |
where , for
-dimensional vectors
and
,
,
.
An operator with
-symbol, or right symbol,
is defined by the formula
![]() |
or, for more general symbols,
![]() |
A more symmetric method for constructing an operator corresponding to a polynomial is obtained if one introduces for non-commuting operators
,
the symmetrized product
by the formula
![]() |
and then puts
![]() |
Then is called the Weyl symbol of
. The operator
can be expressed in terms of its Weyl symbol by the formula
![]() |
A second quantization leads to the appearance of another two types of symbols of operators on , Wick and anti-Wick. Namely, introduce the creation operator
(cf. Creation operators) and the annihilation operator
(cf. Annihilation operators) and write a differential operator with polynomial coefficients in the form
![]() |
or in the form
![]() |
Then its Wick symbol and anti-Wick symbol
are given by the formulas
![]() |
![]() |
For formulas connecting the different types of symbols of an operator see [1]–[4].
Symbols of operators on manifolds.
Symbols of the type described above on are in one-to-one correspondence with operators of certain fairly broad classes, whereas on manifolds, as a rule, there are no natural symbols for which such a one-to-one correspondence exists. On manifolds an important role is played by the so-called principal symbol, which is defined for certain pseudo-differential operators and is a homogeneous function on
, the cotangent bundle of the manifold
without the zero section. Its invertibility implies that the operator
in question is elliptic and guarantees that a regularity theorem holds, that is, smoothness of the solutions of the equation
, with a smooth right-hand side
, and also that
is Fredholm (if
is compact) in suitable Sobolev spaces. Under addition and multiplication of operators their principal symbols are added and multiplied, respectively. The principal symbol does not change when terms of lower order are added to the operator.
Symbols of operators on manifolds with boundary.
On a manifold with boundary
, a pseudo-differential operator has the form of a matrix ([5]–[7]):
![]() |
Here ,
are vector bundles over
;
,
are vector bundles over
;
is a pseudo-differential operator on
having the transmission property (cf. Transmission, condition of);
is a boundary operator, that is, an operator acting on certain boundary conditions (in general, pseudo-differential);
is a coboundary operator, or operator of potential type;
is a singular Green operator (i.e. a product of boundary and coboundary operators or a more general operation of a similar structure); and
is a pseudo-differential operator on
. The operator
has symbols of two types: interior and boundary. The interior symbol
is the ordinary symbol of
, which is a function on
, more precisely, it is a section of the bundle
, where
is the canonical projection. The boundary symbol
is the function on
that takes values in the operators on the semi-axis
obtained from
by freezing the coefficients of the principal part at points of the boundary (in coordinates in which the boundary is a hyperplane) followed by Fourier transformation with respect to the tangential variables. The invertibility of
is the usual ellipticity of
(cf. Elliptic operator). If this ellipticity is assumed, then the invertibility of
in classes of decreasing functions on the semi-axis is in fact the ellipticity condition of the boundary problem defined by
, or the so-called Shapiro–Lopatinskii condition. Thus it is natural to call the pair
the symbol of
. If both symbols
and
are invertible, then
is called elliptic and, in this case, the usual theorems on regularity and being Fredholm (the latter when
is compact) are true.
References
[1] | F.A. Berezin, "The method of second quantization" , Acad. Press (1966) (Translated from Russian) (Revised (augmented) second edition: Kluwer, 1989) |
[2] | V.P. Maslov, "Operator methods" , MIR (1976) (Translated from Russian) |
[3] | M.A. Shubin, "Pseudo-differential operators and spectral theory" , Springer (1987) (Translated from Russian) |
[4] | F.A. Berezin, "Wick and anti-Wick operator symbols" Math. USSR Sb. , 15 : 4 (1970) pp. 577–606 Mat. Sb. , 86 : 4 (1971) pp. 578–610 |
[5] | L. Boutet de Monvel, "Boundary problems for pseudo-differential operators" Acta Math. , 126 (1971) pp. 11–51 |
[6] | S. Rempel, B.-W. Schulze, "Index theory of elliptic boundary problems" , Akademie Verlag (1982) |
[7] | G. Grubb, "Functional calculus of pseudo-differential boundary problems" , Birkhäuser (1986) |
Comments
The notion of a symbol also plays an important role in the theory of singular integral operators (one-dimensional as well as multi-dimensional ones, cf. Singular integral equation). The investigation of systems of equations involving such operators has led to the notion of a matrix symbol. The latter notion is not only important for systems; it appears also in the study of singular integral operators with piecewise-continuous scalar coefficients.
References
[a1] | N.Ya. Krupnik, "Banach algebras with symbol and singular integral operators" , Birkhäuser (1987) (Translated from Russian) |
[a2] | S.G. Mikhlin, "Singular integral operators" , Akademie Verlag (1986) (Translated from Russian) |
[a3] | L. Boutet de Monvel, "A course on pseudodifferential operators and their applications" , Math. Dept. Duke University (1976) |
[a4] | M.E. Taylor, "Pseudo-differential operators" , Princeton Univ. Press (1981) |
[a5] | L.V. Hörmander, "The analysis of linear partial differential operators" , 3 , Springer (1985) pp. Chapts. 23–24 |
[a6] | B.A. Plamenevskii, "Algebras of pseudodifferential operators" , Kluwer (1989) (Translated from Russian) |
Symbol of an operator. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Symbol_of_an_operator&oldid=49619