Elliptic partial differential equation

Second order linear partial differential equations (PDEs) are classified as either elliptic, hyperbolic, or parabolic. Any second order linear PDE in two variables can be written in the form

where A, B, C, D, E, F, and G are functions of x and y and where and similarly for . A PDE written in this form is elliptic if

with this naming convention inspired by the equation for a planar ellipse.

The simplest nontrivial examples of elliptic PDE's are the Laplace equation, , and the Poisson equation, In a sense, any other elliptic PDE in two variables can be considered to be a generalization of one of these equations, as it can always be put into the canonical form

through a change of variables.[1][2]

Contents

Qualitative behaviorEdit

Elliptic equations have no real characteristic curves, curves along which it is not possible to eliminate at least one second derivative of   from the conditions of the Cauchy problem.[1] Since characteristic curves are the only curves along which solutions to partial differential equations with smooth parameters can have discontinuous derivatives, solutions to elliptic equations cannot have discontinuous derivatives anywhere. This means elliptic equations are well suited to describe equilibrium states, where any discontinuities have already been smoothed out. For instance, we can obtain Laplace's equation from the heat equation   by setting  . This means that Laplace's equation describes a steady state of the heat equation.[2]

In parabolic and hyperbolic equations, characteristics describe lines along which information about the initial data travels. Since elliptic equations have no real characteristic curves, there is no meaningful sense of information propagation for elliptic equations. This makes elliptic equations better suited to describe static, rather than dynamic, processes.[2]

Derivation of canonical formEdit

We derive the canonical form for elliptic equations in two variables,  .

  and  .

If  , applying the chain rule once gives

  and  ,

a second application gives

 
  and
 

We can replace our PDE in x and y with an equivalent equation in   and  

 

where

 
  and
 

To transform our PDE into the desired canonical form, we seek   and   such that   and  . This gives us the system of equations

 
 

Adding   times the second equation to the first and setting   gives the quadratic equation

 

Since the discriminant  , this equation has two distinct solutions,

 

which are complex conjugates. Choosing either solution, we can solve for  , and recover   and   with the transformations   and  . Since   and   will satisfy   and  , so with a change of variables from x and y to   and   will transform the PDE

 

into the canonical form

 

as desired.

In higher dimensionsEdit

A general second order partial differential equation in n variables takes the form

 

This equation is considered elliptic if there are no characteristic surfaces, i.e. surfaces along which it is not possible to eliminate at least one second derivative of u from the conditions of the Cauchy problem.[1]

Unlike the two dimensional case, this equation cannot in general be reduced to a simple canonical form.[2]

See alsoEdit

ReferencesEdit

  1. ^ a b c Pinchover, Yehuda; Rubinstein, Jacob (2005). An Introduction to Partial Differential Equations. Cambridge: Cambridge University Press. ISBN 978-0-521-84886-2.
  2. ^ a b c d Zauderer, Erich (1989). Partial Differential Equations of Applied Mathematics. New York: John Wiley&Sons. ISBN 0-471-61298-7.

External linksEdit