Pseudo-differential operator: Information from Answers.com

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.

1 Motivation
2 Properties
3 See also
4 Further reading
5 External links

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ⁿ. 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:

$\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 d\xi$

(1)

Here, α = (α₁, … ,α_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ⁿ is an operator of the form

$\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 d\xi$

(2)

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

Derivation of formula (1)

The Fourier transform of a smooth function u, compactly supported in Rⁿ, 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 ξ ∈ Rⁿ, 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:

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

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

$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 d\xi.$

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ⁿ × Rⁿ with the property

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

for all x,ξ ∈Rⁿ, 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 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/dx 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.

External links

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

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Differentiate between overloading unary operator and overloading binary operator? Read answer...
	What is the best way to differentiate operant conditioning from classical conditioning? Read answer...
	Differentiate managerial Tools from operational tools in context of Manufacturing industry? Read answer...

	In operation management what is competing on differentiations?
	What differentiates the operational plan and objectives?
	Differentiate Logical operator and Relataional operators?

Pseudo-differential operator

Contents