Elliptic operator

In mathematics, an elliptic operator is one of the major types of differential operator. It can be defined on spaces of complex-valued functions, or some more general function-like objects. What is distinctive is that the coefficients of the highest-order derivatives satisfy a positivity condition.

An important example of an elliptic operator is the Laplacian. Equations of the form

: $P u = 0 quad$

are called "elliptic" partial differential equations if "P" is an elliptic operator. The usual partial differential equations involving time, such as the heat equation and the Schrödinger equation, also contain elliptic operators involving the spatial variables, as well as time derivatives. Elliptic operators are typical of potential theory. Their solutions (harmonic functions of a general kind) tend to be smooth functions (if the coefficients in the operator are continuous). More simply, steady-state solutions to hyperbolic and parabolic equations generally solve elliptic equations.

Regularity properties

Let "P" be an elliptic operator with infinitely differentiable coefficients. If "f = P u" is infinitely differentiable, then so is "u". This is a very special case of a regularity theorem for a differential equation.

Any differential operator (with constant coefficients) enjoying this property is called a hypoelliptic operator; thus, every elliptic operator is hypoelliptic. The property also means that every fundamental solution of an elliptic operator is infinitely differentiable off 0.

As an application, suppose a function $f$ satisfies the Cauchy-Riemann equations. Since $f$ then satisfies the Laplacian in particular and the Laplacian is an elliptic operator, it follows that $f$ is infinitely differentiable.

Second order operators

For expository purposes, we consider initially second order linear partial differential operators of the form

: $Pphi = sum_{k,j} a_{k j} D_k D_j phi + sum_ell b_ell D_{ell}phi +c phi$

where $D_k = frac{1}{sqrt{-1 partial_{x_k}$ . Such an operator is called "elliptic" if for every "x"the matrix of coefficients of the highest order terms

: $egin{bmatrix} a_{1 1}(x) & a_{1 2}(x) & cdots & a_{1 n}(x) \ a_{2 1}(x) & a_{2 2}(x) & cdots & a_{2 n}(x) \vdots & vdots & vdots & vdots \ a_{n 1}(x) & a_{n 2}(x) & cdots & a_{n n}(x) end{bmatrix}$

is a positive-definite real symmetric matrix. In particular, for every non-zero vector

: $vec{xi} = (xi_1, xi_2, ldots , xi_n)$

the following "ellipticity condition" holds:

: $sum_{k,j} a_{k j}(x) xi_k xi_j > 0. quad$

In many applications, this condition is not strong enough, and instead a "uniform ellipticity condition" must be used:

: $sum_{k,j} a_{k,j}(x) xi_k xi_j > C |xi|^2,$

where "C" is a positive constant.

Example. The negative of the Laplacian in R^"n" given by

: $- Delta = sum_{ell=1}^n D_ell^2$

is a uniformly elliptic operator.

See also

* Hopf maximum principle
* Elliptic complex
* Hyperbolic partial differential equation
* Ultrahyperbolic wave equation
* Parabolic partial differential equation
* Semi-elliptic operator
* Weyl's lemma

References

External links

* [http://eqworld.ipmnet.ru/en/solutions/lpde/lpdetoc3.pdf Linear Elliptic Equations] at EqWorld: The World of Mathematical Equations.

* [http://eqworld.ipmnet.ru/en/solutions/npde/npde-toc3.pdf Nonlinear Elliptic Equations] at EqWorld: The World of Mathematical Equations.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

Semi-elliptic operator — In mathematics mdash; specifically, in the theory of partial differential equations mdash; a semi elliptic operator is a partial differential operator satisfying a positivity condition slightly weaker than that of being an elliptic operator.… … Wikipedia
Elliptic boundary value problem — In mathematics, an elliptic boundary value problem is a special kind of boundary value problem which can be thought of as the stable state of an evolution problem. For example, the Dirichlet problem for the Laplacian gives the eventual… … Wikipedia
Elliptic complex — In mathematics, in particular in partial differential equations and differential geometry, an elliptic complex generalizes the notion of an elliptic operator to sequences. Elliptic complexes isolate those features common to the de Rham complex… … Wikipedia
Operator K-theory — In mathematics, operator K theory is a variant of K theory on the category of Banach algebras (In most applications, these Banach algebras are C* algebras). Its basic feature that distinguishes it from algebraic K theory is that it has a Bott… … 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
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
Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… … Wikipedia
Differential operator — In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation, accepting a function and returning… … 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
Affiliated operator — In mathematics, affiliated operators were introduced by Murray and von Neumann in the theory of von Neumann algebras as a technique for using unbounded operators to study modules generated by a single vector. Later Atiyah and Singer showed that… … Wikipedia

Academic Dictionaries and Encyclopedias

Elliptic operator

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Elliptic operator

Look at other dictionaries:

Share the article and excerpts

Direct link