Elliptic partial differential equations are a special class of partial differential equations (PDG). They are formulated with the help of elliptic differential operators . The solutions of an elliptical partial differential equation have certain properties, which are explained in more detail here. The Laplace operator is probably the best known elliptic differential operator , and Poisson's equation is the corresponding partial differential equation.
The elliptic differential equation is a generalization of Laplace's equation and Poisson's equation. A second order elliptic differential equation has the form
where the coefficient functions , and must satisfy suitable conditions.
Such differential equations typically occur in connection with stationary (time-independent) problems. They often describe a state of minimal energy. The mentioned Laplace and Poisson equations describe the temperature distribution in a body or the electrostatic charge distribution in a body. Other elliptical differential equations are used, for example, to study the concentration of certain chemical substances. The terms of order two describe the diffusion . The first-order terms describe the transport, and the zero-order term describes the local increase and decrease.
Non-linear elliptic differential equations also occur in the calculus of variations and differential geometry .
Elliptic differential operator
A differential operator , listed in Multi index notation , the order in an area called the point elliptical, if for all true
the main symbol of . A differential operator is called elliptic if it is elliptic for all .
Elliptic differential equation
Let be an elliptic differential operator and a function, then the equation is called
elliptical differential equation and is the function we are looking for in this differential equation.
Uniformly elliptic differential operator
A differential operator is called uniformly elliptic in if there is a such that
applies to all .
Hypo-elliptic differential operator
An operator with constant coefficients is called hypo-elliptic if there is one such that for all with and all :
More generally, a differential operator on an open set with not necessarily constant coefficients is called hypo-elliptic , if open for every set , bounded and every distribution its implication
applies. In words: If the image is infinitely differentiable in the distribution sense of the differential operator , this already applies to the archetypes.
In contrast to the uniformly elliptic differential operator, the hypo-elliptic differential operator is a generalization of the elliptic differential operator. This requirement of the differential operator is therefore weaker. See the regularity theory of elliptic operators below.
Origin of name
The adjective elliptic in the name elliptic partial differential equation comes from the theory of conic sections . In this theory, in the case, the solution set , the equation
Called an ellipse . If we now consider the homogeneous differential equation
second order in two dimensions with constant coefficients, then this is uniformly elliptical if and only if applies.
- The most important example of a uniformly elliptic differential operator is the Laplace operator
- whose main symbol is. Functions that satisfy the Laplace equation are called harmonic and have some special properties, such as the fact that they can be differentiated any number of times. One now has the hope that these properties can be transferred to “similar” differential operators.
- is uniformly elliptical because its main symbol is .
Theory of elliptic differential equations of the second order
In the following, the most important statements for elliptic differential operators of order two in dimensions are shown. So be
an elliptic differential operator of order two. In addition, let it be an open , connected , bounded subset with a Lipschitz boundary .
The coefficient functions are all measurable and limited functions. Then for each there is a unique weak solution of the Dirichlet boundary value problem
if the bilinear form associated with the differential operator is coercive . Here is defined capacity
With the Lax-Milgram lemma one deduces the existence and the uniqueness of the solution from the bilinear form . If uniformly elliptical, the associated bilinear form is always coercive. If a Neumann boundary condition is used instead of a Dirichlet boundary condition , then, if the associated bilinear form is again coercive, there is exactly one solution of the partial differential equation, which can be proven almost in the same way.
Be for all , and also be and a weak solution of the elliptic differential equation
Then applies .
A maximum principle applies to elliptic differential operators of the second order . Be in and be .
holds and assumes a nonnegative maximum in an inner point of , then is constant.
holds and assumes a non-positive minimum in an inner point of , then is constant.
Consider the boundary value problem
where is an eigenvalue of the differential operator . In addition, let be a symmetric differential operator.
1. Then all eigenvalues are real.
2. In addition, all eigenvalues have the same sign and only have a finite multiplicity.
3. Finally there is an orthonormal basis of with as an eigenfunction of the eigenvalue .
Theory of elliptic pseudodifferential operators
A pseudo differential operator is called elliptic if its symbol is actually carried and the homogeneous main symbol is uniformly elliptic - or equivalent if the inequality for a constant for and holds in a conical neighborhood of for the real symbol .
Let be an elliptical pseudodifferential operator and , then there exists a actually carried pseudodifferential operator such that
applies. The identity operator is , and is an operator that maps every distribution to a smooth function. This operator is called Parametrix . The operator can therefore be inverted modulo . This property makes the elliptic pseudo differential operator and thus, as a special case, the elliptic differential operator, a Fredholm operator .
Let again be an elliptic pseudo differential operator and . Then applies to every distribution
The singular carrier of a distribution does not change.
- Gerhard Dziuk: Theory and Numerics of Partial Differential Equations , de Gruyter, Berlin 2010, ISBN 978-3-11-014843-5 , pages 151-181.
Lawrence Craig Evans : Partial Differential Equations , American Mathematical Society, Providence 2002, ISBN 0-8218-0772-2 .
- Alain Grigis & Johannes Sjöstrand - Microlocal Analysis for Differential Operators , Cambridge University Press, 1994, ISBN 0-521-44986-3 .
↑ Alain Grigis, Johannes Sjöstrand - Micro Local Analysis for Differential Operators . Cambridge University Press, 1994, ISBN 0-521-44986-3 , p. 41.