Elliptic partial differential equation

In mathematics, an elliptic partial differential equation is a type of partial differential equation (PDE). In mathematical modeling, elliptic PDEs are frequently used to model steady states, unlike parabolic PDE and hyperbolic PDE which generally model phenomena that change in time. The canonical examples of elliptic PDEs are Laplace's Equation and Poisson's Equation. Elliptic PDEs are also important in pure mathematics, where they are fundamental to various fields of research such as differential geometry and optimal transport.

Definition

Elliptic differential equations appear in many different contexts and levels of generality.

First consider a second-order linear PDE for an unknown function of two variables $u = u(x,y)$ , written in the form

$Au_{xx} + 2Bu_{xy} + Cu_{yy} + Du_x + Eu_y + Fu +G= 0,$

where {{math|A}}, {{math|B}}, {{math|C}}, {{math|D}}, {{math|E}}, {{math|F}}, and {{math|G}} are functions of $(x,y)$ , using subscript notation for the partial derivatives. The PDE is called elliptic if

$B^2-AC<0,$

by analogy to the equation for a planar ellipse. Equations with $B^2 - AC = 0$ are termed parabolic while those with $B^2 - AC > 0$ are hyperbolic.

For a general linear second-order PDE, the unknown {{mvar|u}} can be a function of any number of independent variables, $u=u(x_1,\ldots,x_n)$ , satisfying an equation of the form

$\sum_{i=1}^n\sum_{j=1}^n a_{ij}(x_1,\ldots,x_n) u_{x_i x_j} +\sum_{i=1}^n b_i(x_1,\ldots,x_n) u_{x_i} +c(x_1,\ldots,x_n)u=f(x_1,\ldots,x_n).$

where $a_{ij}, b_i, c, f$ are functions defined on the domain subject to the symmetry $a_{ij}=a_{ji}$ . This equation is called elliptic if, viewing $a=(a_{ij})$ as a function of $(x_1,\ldots,x_n)$ valued in the space of $n\times n$ symmetric matrices, all eigenvalues are greater than some positive constant: that is, there is a positive number {{mvar|θ}} such that

$\sum_{i=1}^n\sum_{j=1}^n a_{ij}(x_1,\ldots,x_n)\xi_i\xi_j\geq \theta(\xi_1^2+\cdots+\xi_n^2)$

for every point $(x_1,\ldots,x_n)$ in the domain and all real numbers {{math|ξ₁, ..., ξ_n}}.{{sfnm|1a1=Evans|1y=2010|1loc=Chapter 6}}{{sfn|Zauderer|2006|loc=chpt. 3.3 Classification of equations in general}}

The simplest example of a second-order linear elliptic PDE is the Laplace equation, in which the coefficients are the constant functions $a_{ij}=0$ for $i\neq j$ , $a_{ii}=1$ , and $b_i=c=f=0$ . The Poisson equation is a slightly more general second-order linear elliptic PDE, in which {{mvar|f}} is not required to vanish. For both of these equations, the ellipticity constant {{mvar|θ}} can be taken to be {{math|1}}.

The terminology is not used consistently throughout the literature: what is called "elliptic" by some authors is called "strictly elliptic" or "uniformly elliptic" by others.Compare {{harvtxt|Evans|2010|p=311}} and {{harvtxt|Gilbarg|Trudinger|2001|pp=31,441}}.

=Nonlinear and higher-order equations=

Ellipticity can also be formulated for much more general classes of equations. For the most general second-order PDE, which is of the form

: $F(D^2u,Du,u,x_1,\ldots,x_n)=0$

for some given function {{mvar|F}}, ellipticity is defined by linearizing the equation and applying the above linear definition. Since linearization is done at a particular function {{mvar|u}}, this means that ellipticity of a nonlinear second-order PDE depends not only on the equation itself but also on the solutions under consideration. For example, the simplest Monge–Ampère equation involves the determinant of the hessian matrix of the unknown function:

: $\det D^2u = f.$

As follows from Jacobi's formula for the derivative of a determinant, this equation is elliptic if {{mvar|f}} is a positive function and solutions satisfy the constraint of being uniformly convex.{{sfnm|1a1=Gilbarg|1a2=Trudinger|1y=2001|1loc=Chapter 17}}

There are also higher-order elliptic PDE, the simplest example being the fourth-order biharmonic equation.{{sfnm|1a1=John|1y=1982|1loc=Chapter 6|2a1=Ladyzhenskaya|2y=1985|2loc=Section V.1|3a1=Renardy|3a2=Rogers|3y=2004|3loc=Section 9.1}} Even more generally, there is an important class of elliptic systems which consist of coupled partial differential equations for multiple unknown functions.{{sfnm|1a1=Agmon|1y=2010|2a1=Morrey|2y=1966}} For example, the Cauchy–Riemann equations from complex analysis can be viewed as a first-order elliptic system for a pair of two-variable real functions.{{sfnm|1a1=Courant|1a2=Hilbert|1y=1962|1p=176}}

Moreover, the class of elliptic PDE (of any order, including systems) is subject to various notions of weak solutions, i.e., reformulating the equations in a way that allows for solutions with various irregularities (e.g. non-differentiability, singularities or discontinuities), so as to model non-smooth physical phenomena.{{sfnm|1a1=Crandall|1a2=Ishii|1a3=Lions|1y=1992|2a1=Evans|2y=2010|2loc=Chapter 6|3a1=Gilbarg|3a2=Trudinger|3y=2001|3loc=Chapters 8 and 9|4a1=Ladyzhenskaya|4y=1985|4loc=Sections II.2 and V.1|5a1=Renardy|5a2=Rogers|5y=2004|5loc=Chapter 9}} Such solutions are also important in variational calculus, where the direct method often produces weak solutions for elliptic systems of Euler equations.{{sfnm|1a1=Giaquinta|1y=1983|2a1=Morrey|2y=1966|2pp=8,480}}

Canonical form

Consider a second-order elliptic partial differential equation

: $A(x,y)u_{xx}+2B(x,y)u_{xy}+C(x,y)u_{yy}+f(u_x,u_y,u,x,y)=0$

for a two-variable function $u=u(x,y)$ . This equation is linear in the "leading" highest-order terms, but allows nonlinear expressions involving the function values and their first derivatives; this is sometimes called a quasilinear equation.

A canonical form asks for a transformation $(w,z) = (w(x,y), z(x,y))$ of the $(x,y)$ domain so that, when {{mvar|u}} is viewed as a function of {{mvar|w}} and {{mvar|z}}, the above equation takes the form

: $u_{ww}+u_{zz}+F(u_w,u_z,u,w,z)=0$

for some new function {{mvar|F}}. The existence of such a transformation can be established locally if {{mvar|A}}, {{mvar|B}}, and {{mvar|C}} are real-analytic functions and, with more elaborate work, even if they are only continuously differentiable. Locality means that the necessary coordinate transformations may fail to be defined on the entire domain of {{mvar|u}}, only in some small region surrounding any particular point of the domain.{{sfnm|1a1=Courant|1a2=Hilbert|1y=1962}}

Formally establishing the existence of such transformations uses the existence of solutions to the Beltrami equation. From the perspective of differential geometry, the existence of a canonical form is equivalent to the existence of isothermal coordinates for the associated Riemannian metric

: $A(x,y) dx^2+2B(x,y)\,dx\,dy+C(x,y)dy^2$

on the domain. (The ellipticity condition for the PDE, namely the positivity of {{math|AC – B²}}, is what ensures that either this tensor or its negation is indeed a Riemannian metric.)

For second-order quasilinear elliptic partial differential equations in more than two variables, a canonical form does not usually exist. This corresponds to the fact that isothermal coordinates do not exist for general Riemannian metrics in higher dimensions, only for very particular ones.{{sfnm|1a1=Spivak|1y=1979}}

=Characteristics and regularity=

For the general second-order linear PDE, characteristics are defined as the null directions for the associated tensor{{sfn|Hörmander|1990|p=152}}

: $\sum_{i=1}^n \sum_{j=1}^n a_{i,j}(x_1,\ldots,x_n)\,dx^i\,dx^j,$

called the principal symbol. Using the technology of the wave front set, characteristics are significant in understanding how irregular points of {{mvar|f}} propagate to the solution {{mvar|u}} of the PDE. Informally, the wave front set of a function consists of the points of non-smoothness, in addition to the directions in frequency space causing the lack of smoothness. It is a fundamental fact that the application of a linear differential operator with smooth coefficients can only have the effect of removing points from the wave front set.{{sfnm|1a1=Hörmander|1y=1990|1p=256}} However, all points of the original wave front set (and possibly more) are recovered by adding back in the (real) characteristic directions of the operator.{{sfnm|1a1=Hörmander|1y=1990|1loc=Theorem 8.3.1}}

In the case of a linear elliptic operator {{mvar|P}} with smooth coefficients, the principal symbol is a Riemannian metric and there are no real characteristic directions. According to the previous paragraph, it follows that the wave front set of a solution {{mvar|u}} coincides exactly with that of {{math|Pu {{=}} f}}. This sets up a basic regularity theorem, which says that if {{math|f}} is smooth (so that its wave front set is empty) then the solution {{mvar|u}} is smooth as well. More generally, the points where {{mvar|u}} fails to be smooth coincide with the points where {{math|f}} is not smooth.{{sfnm|1a1=Hörmander|1y=1990|1loc=Corollary 8.3.2}} This regularity phenomena is in sharp contrast with, for example, hyperbolic PDE in which discontinuities can form even when all the coefficients of an equation are smooth.

Solutions of elliptic PDEs are naturally associated with time-independent solutions of parabolic PDEs or hyperbolic PDEs. For example, a time-independent solution of the heat equation solves Laplace's equation. That is, if parabolic and hyperbolic PDEs are associated with modeling dynamical systems then the solutions of elliptic PDEs are associated with steady states. Informally, this is reflective of the above regularity theorem, as steady states are generally smoothed out versions of truly dynamical solutions. However, PDE used in modeling are often nonlinear and the above regularity theorem only applies to linear elliptic equations; moreover, the regularity theory for nonlinear elliptic equations is much more subtle, with solutions not always being smooth.

Notes

References

{{cite book|mr=0140802|title=Methods of mathematical physics. Volume II: Partial differential equations|last1=Courant|first1=R.|last2=Hilbert|first2=D.|author-link1=Richard Courant|author-link2=David Hilbert|publisher=Interscience Publishers|location=New York–London|year=1962|title-link=Methoden der mathematischen Physik}}
{{cite journal|mr=1118699|title=User's guide to viscosity solutions of second order partial differential equations|last1=Crandall|first1=Michael G.|last2=Ishii|first2=Hitoshi|last3=Lions|first3=Pierre-Louis|journal=Bulletin of the American Mathematical Society|series=New Series|volume=27|year=1992|issue=1|pages=1–67|doi=10.1090/S0273-0979-1992-00266-5|doi-access=free|author-link1=Michael G. Crandall|author-link2=Hitoshi Ishii|author-link3=Pierre-Louis Lions|arxiv=math/9207212}}
{{cite book |first1 = Lawrence C.|last1=Evans |author-link1=Lawrence C. Evans|year= 2010 |title= Partial differential equations|url= https://math24.wordpress.com/wp-content/uploads/2013/02/partial-differential-equations-by-evans.pdf|publisher= American Mathematical Society|location=Providence, RI|isbn = 978-0-8218-4974-3|series=Graduate Studies in Mathematics|volume=19|edition=Second edition of 1998 original|mr=2597943|doi=10.1090/gsm/019}}
{{cite book|mr=0717034|title=Multiple integrals in the calculus of variations and nonlinear elliptic systems|last1=Giaquinta|first1=Mariano|author-link1=Mariano Giaquinta|series=Annals of Mathematics Studies|volume=105|publisher=Princeton University Press|location=Princeton, NJ|year=1983|isbn=0-691-08330-4}}
{{cite book|mr=1814364|last1=Gilbarg|first1=David|last2=Trudinger|first2=Neil S.|title=Elliptic partial differential equations of second order|edition=Revised second edition of the 1977 original|series=Classics in Mathematics|publisher=Springer-Verlag|location=Berlin|year=2001|isbn=3-540-41160-7|zbl=1042.35002|doi=10.1007/978-3-642-61798-0|author-link1=David Gilbarg|author-link2=Neil Trudinger}}
{{cite book|mr=1065993|title=The analysis of linear partial differential operators. I. Distribution theory and Fourier analysis|last1=Hörmander|first1=Lars|author-link1=Lars Hörmander|series=Grundlehren der mathematischen Wissenschaften|volume=256|publisher=Springer-Verlag|year=1990|isbn=3-540-52345-6|edition=Second edition of 1985 original|doi=10.1007/978-3-642-61497-2}}
{{cite book|mr=0831655|title=Partial differential equations|last1=John|first1=Fritz|author-link1=Fritz John|series=Applied Mathematical Sciences|volume=1|publisher=Springer-Verlag|location=New York|year=1982|isbn=0-387-90609-6|edition=Fourth edition of 1971 original|doi=10.1007/978-1-4684-0059-5}}
{{cite book|mr=0793735|title=The boundary value problems of mathematical physics|last1=Ladyzhenskaya|first1=O. A.|author-link1=Olga Ladyzhenskaya|series=Applied Mathematical Sciences|volume=49|publisher=Springer-Verlag|location=New York|year=1985|isbn=0-387-90989-3|doi=10.1007/978-1-4757-4317-3}}
{{cite book|mr=0202511|title=Multiple integrals in the calculus of variations|last1=Morrey|first1=Charles B., Jr.|series=Die Grundlehren der mathematischen Wissenschaften|volume=130|publisher=Springer-Verlag|location=New York|year=1966|author-link1=Charles B. Morrey Jr.|doi=10.1007/978-3-540-69952-1|isbn=978-3-540-69915-6 }}
{{cite book|mr=2028503|title=An introduction to partial differential equations|last1=Renardy|first1=Michael|last2=Rogers|first2=Robert C.|series=Texts in Applied Mathematics|volume=13|publisher=Springer-Verlag|location=New York|year=2004|isbn=0-387-00444-0|edition=Second edition of 1993 original|doi=10.1007/b97427}}
{{cite book|mr=0532834|last1=Spivak|first1=Michael|title=A comprehensive introduction to differential geometry. Volume V|edition=Second edition of 1975 original|publisher=Publish or Perish, Inc.|location=Wilmington, DE|year=1979|isbn=0-914098-83-7|author-link1=Michael Spivak}}
{{cite book | last=Zauderer | first=Erich | title=Partial Differential Equations of Applied Mathematics | publisher=Wiley-Interscience | publication-place=Hoboken (N.J.) | date=2006 | isbn=978-0-471-69073-3}}

External links

{{springer|title=Elliptic partial differential equation|id=p/e035520}}
{{springer|title=Elliptic partial differential equation, numerical methods|id=p/e035530}}
{{MathWorld| title=Elliptic Partial Differential Equation| id=EllipticPartialDifferentialEquation}}

Category:Partial differential equations