PSEUDO-DIFFERENTIAL OPERATOR

(Redirected from Pseudodifferential operator)
In mathematical analysis a 'pseudo-differential operator' is an extension of the concept of differential operator. Pseudo-differential operators are used extensively in the theory of partial differential equations and quantum field theory.

Contents

Motivation

Linear Differential Operators with Constant Coefficients

Derivation of formula (1):

Representation of Solutions to Partial Differential Equations

Symbol Classes and Pseudo-Differential Operators

Properties

See also

References

External links

Motivation

Linear Differential Operators with Constant Coefficients

Consider a linear differential operator with constant coefficients,
:
which acts on smooth functions u with compact support in $mathbb\{R\}^n$.
This operator can be written as a composition of a Fourier transform, a simple ''multiplication'' by the
polynomial function (the so called ''symbol'')
:
and an inverse Fourier transform in the form:
:$(1)\; quad\; P(D)\; u\; (x)\; =$
rac{1}{(2 pi)^n} int_{mathbb{R}^n} int_{mathbb{R}^n} e^{i (x - y) xi} P(xi) u(y) dy dxi
Here,

is a multiindex,

is a differential operator,
$partial\_j$
means differentiation with respect to the j-th variable, and
are complex numbers.
Similarly, a 'pseudo-differential operator' P(x,D) on $mathbb\{R\}^n$ is an operator
of the form
:$(2)\; quad\; P(x,D)\; u\; (x)\; =$
rac{1}{(2 pi)^n} int_{mathbb{R}^n} int_{mathbb{R}^n} e^{i (x - y) xi} P(x,xi) u(y) dy dxi ,
with a more general function P in the integrand. See below.

Derivation of formula (1):

The Fourier transform of a smooth function
$u$,
compactly supported in
$mathbb\{R\}^n$, is
:$hat\; u\; (xi)\; :=\; int\; e^\{-\; i\; y\; xi\}\; u(y)\; dy$
and Fourier's inversion formula gives
:
rac{1}{(2 pi)^n} iint e^{i (x - y) xi} u (y) dy dxi
By applying P(D) to this representation of u and using
:$P(D\_x)\; ,\; e^\{i\; (x\; -\; y)\; xi\}\; =\; e^\{i\; (x\; -\; y)\; xi\}\; ,\; P(xi)$
one obtains formula (1).

Representation of Solutions to Partial Differential Equations

To solve the partial differential equation
:$P(D)\; ,\; u\; =\; f$
we (formally) apply the Fourier transform on both sides and obtain
the ''algebraic'' equation
:$P(xi)\; ,\; hat\; u\; (xi)\; =\; hat\; f(xi)$.
If the symbol
$P(xi)$
is never zero when
$xi\; in\; mathbb\{R\}^n$,
then we can divide by
$P(xi)$:
:
By Fourier's inversion formula, a solution is
:.
Remember our assumptions:
# $P(D)$ is a linear differential operator with ''constant'' coefficients,
# its symbol $P(xi)$ is never zero,
# both u and f have a well defined Fourier transform.
The last assumption can be weakened by using the theory of distributions.
The first two assumptions can be weakened as follows.
In the last formula, write out the Fourier transform of ''f'' to obtain
:.
This is similar to formula (1), except that is not a
polynomial function, but a function of a more general kind.
This leads to

Symbol Classes and Pseudo-Differential Operators

The main idea is to define operators $P(x,D)$ by using formula (1) and admitting
more general symbols $P(x,xi)$:
:$P(x,D)\; u\; (x)\; =$
rac{1}{(2 pi)^n} int_{mathbb{R}^n} int_{mathbb{R}^n} e^{i (x - y) xi} P(x,xi) u(y) dy dxi.
One assumes that the symbol $P(x,\; xi)$ belongs to a certain ''symbol class''.
For instance, if $P(x,xi)$ is an infinitely often differentiable function on
$mathbb\{R\}^n\; imes\; mathbb\{R\}^n$ with the property
:
for all $x,xi$, all multiindices , some constants
and some real number m, then P belongs to the
symbol class $S^m\_\{1,0\}$ of Hörmander.
The corresponding operator $P(x,D)$ is
called a 'pseudo-differential operator of order m' and belongs to the class
$Psi^m\_\{1,0\}$.

Properties

Linear differential operators of order m with smooth bounded coefficients are pseudodifferential
operators of order m.
The composition PQ of two pseudo-differential operators P,Q is again a pseudodifferential operator
and the symbol of PQ can be calculated by using the symbols of P and Q.
The adjoint and transpose of a pseudo-differential operator is a pseudodifferential operator.
If a differential operator of order m is (uniformly) elliptic (of order m)
and invertible, then its inverse is a pseudo-differential operator of order -m,
and its symbol can be calculated.
This means that one can solve linear elliptic differential equations more or less explicitly
by using the theory of pseudo-differential operators.
Differential operators are ''local'' in the sense that one only needs the value of a function in a neighbourhood of a point to determine the effect of the operator. Pseudo-differential operators are ''pseudo-local'', which means informally that when applied to a distribution they do not create a singularity at points where the distribution was already smooth.
Just as a differential operator can be expressed in terms of ''D'' = -id/d''x'' in the form
:''p''(''x'', ''D'')
for a polynomial ''p'' in ''D'' called the ''symbol'', a pseudo-differential operator has a symbol in a more general class of functions. Often one can reduce a problem in analysis of pseudo-differential operators to a sequence of algebraic problems involving their symbols, and this is the essence of microlocal analysis.

See also

★ Differential algebra for a definition of pseudo-differential operators in the context of differential algebras and differential rings.

References

Here are some of the standard reference books

★ Michael E. Taylor, Pseudodifferential Operators, Princeton Univ. Press 1981. ISBN 0-691-08282-0

★ M. A. Shubin, Pseudodifferential Operators and Spectral Theory, Springer-Verlag 2001. ISBN 3-540-41195-X

★ Francois Treves, Introduction to Pseudo Differential and Fourier Integral Operators, (University Series in Mathematics), Plenum Publ. Co. 1981. ISBN 0-306-40404-4

★ F. G. Friedlander and M. Joshi, Introduction to the Theory of Distributions, Cambridge University Press 1999. ISBN 0-521-64971-4

External links

★ Lectures on Pseudo-differential Operators by MS Joshi on arxiv.org.