Elliptic Partial Differential Equation
A second-order partial differential equation, i.e., one of the form
| Au_(xx)+2Bu_(xy)+Cu_(yy)+Du_x+Eu_y+F=0, |
(1)
|
is called elliptic if the matrix
| [画像: Z=[A B; B C] ] |
(2)
|
![画像: Z=[A B; B C]](/index.cgi/larger-text/https://mathworld.wolfram.com/images/equations/EllipticPartialDifferentialEquation/NumberedEquation2.svg){kind=link}
is positive definite. Elliptic partial differential equations have applications in almost all areas of mathematics, from harmonic analysis to geometry to Lie theory, as well as numerous applications in physics. As with a general PDE, elliptic PDE may have non-constant coefficients and be non-linear. Despite this variety, the elliptic equations have a well-developed theory.
The basic example of an elliptic partial differential equation is Laplace's equation
| del ^2u=0 |
(3)
|
in n-dimensional Euclidean space, where the Laplacian del ^2 is defined by
Other examples of elliptic equations include the nonhomogeneous Poisson's equation
| del ^2u=f(x) |
(5)
|
and the non-linear minimal surface equation.
For an elliptic partial differential equation, boundary conditions are used to give the constraint u(x,y)=g(x,y) on partialOmega, where
| u_(xx)+u_(yy)=f(u_x,u_y,u,x,y) |
(6)
|
holds in Omega.
One property of constant coefficient elliptic equations is that their solutions can be studied using the Fourier transform. Consider Poisson's equation with periodic f(x). The Fourier series expansion is then given by
| -|zeta|^2u^^(zeta)=f^^(zeta), |
(7)
|
where |zeta|^2 is called the "principal symbol," and so we can solve for u. Except for zeta=0, the multiplier is nonzero.
In general, a PDE may have non-constant coefficients or even be non-linear. A linear PDE is elliptic if its principal symbol, as in the theory of pseudodifferential operators, is nonzero away from the origin. For instance, (◇) has as its principal symbol |zeta|^4, which is nonzero for |zeta|!=0, and is an elliptic PDE.
A nonlinear PDE is elliptic at a solution u if its linearization is elliptic at u. One simply calls a non-linear equation elliptic if it is elliptic at any solution, such as in the case of harmonic maps between Riemannian manifolds.
See also
Harmonic Function, Harmonic Map, Hyperbolic Partial Differential Equation, Laplace's Equation, Minimal Surface, Parabolic Partial Differential Equation, Partial Differential EquationThis entry contributed by Todd Rowland
Explore with Wolfram|Alpha
Cite this as:
Rowland, Todd. "Elliptic Partial Differential Equation." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/EllipticPartialDifferentialEquation.html