Pseudo-differential operator

Pseudo-differential 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.

Motivation

Linear Differential Operators with Constant Coefficients

Consider a linear differential operator with constant coefficients,

: P(D) := sum_alpha a_alpha , D^alpha

which acts on smooth functions u with compact support in R"n".This operator can be written as a composition of a Fourier transform, a simple "multiplication" by thepolynomial function (called the symbol)

: P(xi) = sum_alpha a_alpha , xi^alpha,

and an inverse Fourier transform in the form:

NumBlk|:| quad P(D) u (x) = frac{1}{(2 pi)^n} int_{mathbb{R}^n} int_{mathbb{R}^n} e^{i (x - y) xi} P(xi) u(y) dy dxi |EquationRef|1

Here, α = (α1, … ,α"n") is a multi-index, "a"α are complex numbers, and

:D^alpha=(-i partial_1)^{alpha_1} dots (-i partial_n)^{alpha_n}

is an iterated partial derivative, where ∂"j" means differentiation with respect to the j-th variable.

Similarly, a pseudo-differential operator "P"("x","D") on R"n" is an operator of the form

NumBlk|:|quad P(x,D) u (x) = frac{1}{(2 pi)^n} int_{mathbb{R}^n} int_{mathbb{R}^n} e^{i (x - y) xi} P(x,xi) u(y) dy dxi |EquationRef|2

with a more general function "P" in the integrand, with certain properties to be specified.

;Derivation of formula (EquationNote|1)The Fourier transform of a smooth function "u", compactly supported in R"n", is

:hat u (xi) := int e^{- i y xi} u(y) dy and Fourier's inversion formula gives

:u (x) = frac{1}{(2 pi)^n} int e^{i x xi} hat u (xi) dxi = frac{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 (EquationNote|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"(ξ) is never zero when ξ ∈ R"n", then it is possible to divide by "P"(ξ):

: hat u(xi) = frac{1}{P(xi)} hat f(xi)

By Fourier's inversion formula, a solution is

: u (x) = frac{1}{(2 pi)^n} int e^{i x xi} frac{1}{P(xi)} hat f (xi) dxi.

Here it is assumed that:
# "P"("D") is a linear differential operator with "constant" coefficients,
# its symbol "P"(ξ) is never zero,
# both "u" and ƒ 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 ƒ to obtain

: u (x) = frac{1}{(2 pi)^n} iint e^{i (x-y) xi} frac{1}{P(xi)} f (y) dy dxi.

This is similar to formula (EquationNote|1), except that 1/"P"(ξ) is not a polynomial function, but a function of a more general kind.

ymbol 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",ξ):

: P(x,D) u (x) = frac{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",ξ) belongs to a certain "symbol class".

For instance, if "P"("x",ξ) is an infinitely differentiable function on R"n" × R"n" with the property

: |partial_xi^alpha partial_x^eta P(x,xi)| leq C_{alpha,eta} , (1 + |xi|)^{m - |alpha

for all "x",ξ ∈R"n", all multiindices α,β. some constants "C"α, β and some real number "m", then "P" belongs to the symbol class scriptstyle{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 scriptstyle{Psi^m_{1,0.

Properties

Linear differential operators of order m with smooth bounded coefficients are pseudodifferentialoperators 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 explicitlyby 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" is 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.

ee also

* Differential algebra for a definition of pseudo-differential operators in the context of differential algebras and differential rings.
* Micro-local operator
* Sato's fundamental theorem

Further reading

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
* cite book
first=Lars
last=Hörmander
authorlink= Lars Hörmander
title=The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators
year=1987
publisher=Springer
isbn=3540499377

External links

* [http://arxiv.org/abs/math.AP/9906155 Lectures on Pseudo-differential Operators] by MS Joshi on arxiv.org.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Pseudo-monotone operator — In mathematics, a pseudo monotone operator from a reflexive Banach space into its continuous dual space is one that is, in some sense, almost as well behaved as a monotone operator. Many problems in the calculus of variations can be expressed… …   Wikipedia

  • Pseudo-Differentialoperator — Ein Pseudo Differentialoperator ist eine Erweiterung des Konzepts des Differentialoperators. Sie sind ein wichtiger Bestandteil der Theorie der partiellen Differentialgleichungen. Die Grundlagen der Theorie stammen von Lars Hörmander.… …   Deutsch Wikipedia

  • Operator algebra — In functional analysis, an operator algebra is an algebra of continuous linear operators on a topological vector space with the multiplication given by the composition of mappings. Although it is usually classified as a branch of functional… …   Wikipedia

  • Pseudo-spectral method — Pseudo spectral methods are a class of numerical methods used in applied mathematics and scientific computing for the solution of PDEs, such as the direct simulation of a particle with an arbitrary wavefunction interacting with an arbitrary… …   Wikipedia

  • Differential form — In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… …   Wikipedia

  • Laplace operator — This article is about the mathematical operator. For the Laplace probability distribution, see Laplace distribution. For graph theoretical notion, see Laplacian matrix. Del Squared redirects here. For other uses, see Del Squared (disambiguation) …   Wikipedia

  • Laplace-Beltrami operator — In differential geometry, the Laplace operator can be generalized to operate on functions defined on surfaces, or more generally on Riemannian and pseudo Riemannian manifolds. This more general operator goes by the name Laplace Beltrami operator …   Wikipedia

  • Laplacian operators in differential geometry — In differential geometry there are a number of second order, linear, elliptic differential operators bearing the name Laplacian. This article provides an overview of some of them. Connection Laplacian The connection Laplacian is a differential… …   Wikipedia

  • Hypoelliptic operator — In mathematics, more specifically in the theory of partial differential equations, a partial differential operator P defined on an open subset :U subset{mathbb{R^n is called hypoelliptic if for every distribution u defined on an open subset V… …   Wikipedia

  • Fourier integral operator — The concept of Fourier integral operators stems from mathematical analysis. They have become an important tool in the theory of partial differential equations. The class of Fourier integral Operators contains differential operators as well as… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”