# Elliptic operator

In mathematics, an Elliptic operator is a major type of differential operator P defined on spaces of complex-valued functions, or some more general function-like objects, such 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

[itex] P u = 0 \quad [itex]

are called elliptic partial differential equations. Equations involving time, such as the heat equation or the Schrodinger equation also involve elliptic operators (on the LHS, say) as well as a time derivative (as RHS).

## Second order operators

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

[itex] P\phi = \sum_{k,j} a_{k j} D_k D_j \phi + \sum_\ell b_\ell D_{\ell}\phi +c \phi [itex]

where [itex] D_k = \frac{1}{i} \partial_{x_k} [itex]. Such an operator is called elliptic iff for every x the matrix of coefficients of the highest order terms

[itex] \begin{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}[itex]

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

[itex] \vec{\xi} = (\xi_1, \xi_2, \ldots , \xi_n) [itex]

the following inequality holds:

[itex] \sum_{k,j} a_{k j}(x) \xi_k \xi_j > 0. \quad [itex]

Example. The negative of the Laplacian in Rn given by

[itex] - \Delta = \sum_{\ell=1}^n D_\ell^2 [itex]

is an elliptic operator.

• Linear Elliptic Equations (http://eqworld.ipmnet.ru/en/solutions/lpde/lpdetoc3.pdf) at EqWorld: The World of Mathematical Equations.

## Bibliography

• A. D. Polyanin, Handbook of Linear Partial Differential Equations for Engineers and Scientists, Chapman & Hall/CRC Press, 2002.

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy