Pseudodifferential operators generalize differential operators and are of similar importance to the theory of partial differential equations as Schwartz distributions?, see also microlocal analysis.
Let be open. A pseudodifferential operator is a Fourier integral operator of the form
where the function , called the symbol of the pseudodifferential operator , belongs to the space defined below.
If denotes the Fourier transform a short hand notation for this definition is , put in words: Fourier transform , multiply with and transform back.
every differential operator is a pseudodifferential operator
We restrict ourselfes to one dimension for simplicity, let and write a differential operator as
with given functions . Then is a pseudodifferential operator with symbol . The symbol of a differential operator therefore is a polynom in , which motivates a part of the definition of symbol classes below: We expect that the growth of the symbol in is polynomial at most, and the degree of the bounding polynomial decreases by if we apply differentiation in to the symbol.
Definition of symbols
If one allows arbitrary functions as symbols there will be no control of the behaviour of the associated pseudodifferential operators, of course. In order to get a theory where these operators are, for example, continuous with respect to the standard topologies on the topological vector spaces that they are defined on, some assumptions have to be made. Different levels of generality of the theory correspond to different assumptions about the symbols. One standard symbol space is defined as follows:
Let be open, .
- definition: is the space of all such that for all compact and all there is a constant such that
The space is called the space of symbols of order and of type .
It is easy to see that every space is a Fréchet space: every open has a compact exhaustion, that is an increasing sequence with each compact such that , and one can define a countable family of seminorms via
The space of symbols of order is defined to be
Conversly the symbols of order are defined by
Symbols of order are often called smoothing and their operators smoothing operators. The reason for this is that their pseudodifferential operators map distribution spaces into spaces of smooth functions, for example:
- smoothing theorem: The pseudodifferential operator of a smoothing symbol maps , the dual space of , into , the Schwartz space of rapidly decreasing smooth functions.
An elementary and short introduction can be found here:
- Xavier Saint Raymond: Elementary Introduction to the Theory of Pseudodifferential Operators (ZMATH entry)
- Sylvain Carpentier, Alberto De Sole, Victor G. Kac, Some algebraic properties of differential operators, arxiv/1201.1992
- Lars Hörmander, The analysis of linear partial differential operators, in 4 vols.: I. Distribution theory and Fourier analysis, II. Differential operators with constant coefficients, III. Pseudo-differential operators, IV. Fourier integral operators.