World Library  
Flag as Inappropriate
Email this Article

Pseudodifferential operator

Article Id: WHEBN0000973496
Reproduction Date:

Title: Pseudodifferential operator  
Author: World Heritage Encyclopedia
Language: English
Subject: Distribution (mathematics), Fourier integral operator
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Pseudodifferential operator

In mathematical analysis a pseudo-differential operator is simultaneously an extension of the concept of differential operator and of that of a singular integral 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 Rn. This operator can be written as a composition of a Fourier transform, a simple multiplication by the polynomial function (called the symbol)

P(\xi) = \sum_\alpha a_\alpha \, \xi^\alpha,

and an inverse Fourier transform, in the form:

1

 

 

 

 

(})

Here, α = (α1, … ,αn) is a multi-index, a_\alpha 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. We introduce the constants -i to facilitate the calculation of Fourier transforms.

Derivation of formula (1)

The Fourier transform of a smooth function u, compactly supported in Rn, 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) d\xi =

\frac{1}{(2 \pi)^n} \iint e^{i (x - y) \xi} u (y) \, dy \, d\xi

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(ξ) is never zero when ξ ∈ Rn, 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) \, d\xi.

Here it is assumed that:

  1. P(D) is a linear differential operator with constant coefficients,
  2. its symbol P(ξ) is never zero,
  3. 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 \, d\xi.

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

Definition of pseudo-differential operators

Here we view pseudo-differential operators as a generalization of differential operators. We extend formula (1) as follows. A pseudo-differential operator P(x,D) on Rn is an operator whose value on the function u(x) is the function of x:

2

 

 

 

 

(})

where the symbol P(x,ξ) in the integrand belongs to a certain symbol class. For instance, if P(x,ξ) is an infinitely differentiable function on Rn × Rn with the property

|\partial_\xi^\alpha \partial_x^\beta P(x,\xi)| \leq C_{\alpha,\beta} \, (1 + |\xi|)^{m - |\alpha|}

for all x,ξ ∈Rn, 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 pseudo-differential operators of order m. The composition PQ of two pseudo-differential operators PQ is again a pseudo-differential 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 pseudo-differential 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/dx in the form

p(x, D)\,

for a polynomial p in D (which 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.

Kernel of pseudo-differential operator

Viewed as a mapping, a pseudo-differential operator can be represented by a kernel. The singularity of the kernel on the diagonal depends on the degree of the corresponding operator. In fact, if the symbol satisfies the above differential inequalities with m ≤ 0, it can be shown that the kernel is a singular integral kernel. The kernels can be used for characterization of boundary data for inverse boundary problems.

See also

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
  • Ingerman D., Morrow J. A. "On a Characterization of the Kernel of the Dirichlet-to-Neumann Map for a Planar Region". 1998, vol. 29, no1, pp. 106–115

External links

  • Mark S. Joshi on arxiv.org.
  • Template:Springer
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.