Namespaces
Variants
Actions

Linear elliptic partial differential equation and system

From Encyclopedia of Mathematics
Jump to: navigation, search

A partial differential equation (system) of the form

where is the linear elliptic operator

(1)

The operator (1) with real coefficients is elliptic at a point if the characteristic form

is definite at this point. Here , is a multi-index (a set of non-negative integers), , , and . In particular, the order of the operator must be even, . Up to sign the condition for definiteness of forms is written as

(2)

The operator is elliptic in a region if it is elliptic at every point , and it is uniformly elliptic in this region if there is a in (2) that does not depend on .

In the case of an equation of the second order,

(3)

this definition can be restated as follows. Equation (3) is elliptic in a region if at every point of by a change of independent variables it can be reduced to the canonical form

with the Laplace operator

in the principal part. In the case of an elliptic partial differential equation in the plane, under very general assumptions about the coefficients such a transformation is possible not only at a point but also in the whole region (see [1]).

The simplest elliptic partial differential equation is the Laplace equation, and its solutions are called harmonic functions (cf. Harmonic function). Solutions of a linear elliptic partial differential equation can be characterized by the fact that they have many properties in common with harmonic functions. In the planar case every harmonic function is the real part of an analytic function; it is a real-analytic function of two variables. The solutions of a general linear elliptic partial differential equation have a similar property. If the coefficients , , and the right-hand side are analytic with respect to in a region , then any solution of this equation is also analytic.

There are other assertions of similar type. For example, if the coefficients and the right-hand side of are continuously differentiable up to (and including) order and their -th derivatives satisfy a Hölder condition with exponent , , then any solution has derivatives up to order satisfying a Hölder condition with the same exponent . Here the fact of belonging to a Hölder class is essential. If the coefficients and the right-hand side are only continuous, then the solution need not have continuous derivatives of order equal to the order of the equation. This is true even for the simplest linear elliptic partial differential equation, the Poisson equation

The above-said refers to classical solutions, that is, solutions that have continuous derivatives up to the order of the equation. There are various generalizations of the concept of a solution.

For example, if the coefficients are sufficiently smooth, then for the operator (1) one can define the Lagrange adjoint operator

A locally integrable function is called a weak solution of the equation if for all (infinitely-differentiable functions with compact support) one has

Then, if the coefficients and the right-hand side of the equation are Hölder continuous, every weak solution is a classical solution.

For the Laplace equation the simplest well-posed problem is the Dirichlet problem. In the general case of an equation with operator (1) the boundary value problem consists in finding in a region a solution of the equation satisfying boundary conditions of the form

To the Neumann problem correspond the boundary operators , where denotes differentiation in the direction of the outward normal.

For a boundary value problem to be Noetherian (cf. Noetherian operator) the boundary operators must satisfy the Shapiro–Lopatinskii complementation condition (see [2]) — an algebraic condition relating the polynomials

at points of the boundary . The boundary operators of the Dirichlet problem satisfy this condition with respect to any elliptic operator .

If the coefficients of the differential operator and the solution are considered in the class of complex functions, then the fact that the operator in (1) is elliptic is determined by the conditions , . This definition allows of elliptic operators of odd order, as the example of the Cauchy–Riemann operator shows: . In addition, properties of operators of even order can change. For example, for the Bitsadze equation (see [3])

the Dirichlet problem is not well-posed: If is the unit disc, then functions of the form are solutions of the homogeneous Dirichlet problem in for any analytic function .

This example leads to the necessity of distinguishing classes of elliptic operators for which the property that the Dirichlet problem be Noetherian is preserved. In this way the concept of a strongly elliptic operator arises (cf. [4]). The operator (1) is strongly elliptic if for some complex function the condition

is satisfied. In particular, the order is necessarily even.

The next, wider, concept is that of proper (regular) ellipticity. The operator (1) is properly elliptic if its order is even and if for any pair of linearly independent vectors and the polynomial (in )

has exactly roots with negative imaginary part and the same number of roots with positive imaginary part. For any elliptic operator is properly elliptic, so the definition essentially refers only to the case .

In the theory of linear elliptic partial differential equations a significant role is played by a priori estimates of the norms of solutions in terms of the norms of the right-hand sides of the equation and the boundary conditions. S.N. Bernshtein (see [6]) began to use these estimates systematically, and a more recent development is due to J. Schauder (see [7]). The Schauder estimates refer to solutions of a linear elliptic partial differential equation of the second order in a region with Hölder-continuous coefficients, and two forms occur. Estimates of the first form (estimates "from inside" ) consist in the fact that on any compact set the derivatives up to the second order inclusive and their Hölder constants are estimated in terms of and in terms of the modulus and the Hölder constant of the right-hand side of the equation. Estimates of the second form (estimates "up to the boundary" ) refer to boundary value problems. Here the same quantities are estimated, but in the closure of the region in question, and the norms of the right-hand sides of the boundary conditions occur in the estimate.

Schauder estimates have been extended further to general linear elliptic partial differential equations and boundary value problems (see [7]). The derivation of these estimates is based on potential theory. By means of a partition of unity a local character is given to them, and the matter reduces to estimating the norms of singular integral operators that represent a convolution with functions connected with the fundamental solutions (estimates "from inside" ) or with the Green functions of the corresponding boundary value problem in some standard region (estimates "up to the boundary" ). These estimates, obtained originally in the metric of the Hölder spaces , have been extended to the Sobolev spaces (-estimates) and refer to generalized solutions.

For strongly elliptic operators there is an priori estimate, called the Gårding inequality, which is obtained by other methods. It lies at the heart of a fundamental approach to the investigation of boundary value problems (Hilbert space methods).

In the theory of linear elliptic partial differential equations an important place is taken by fundamental solutions. For an operator (1) with sufficiently smooth coefficients a fundamental solution is defined as a function that satisfies the condition

for all . From the point of view of the theory of generalized functions this implies that

where the right-hand side is Dirac's delta-function.

Fundamental solutions of linear elliptic partial differential equations exist for equations with analytic coefficients (and then they themselves are analytic), for equations with infinitely-differentiable coefficients (and they then belong to the class ) and for a number of other equations with weaker restrictions on the coefficients. For an elliptic operator with constant coefficients, consisting of terms of highest order , a fundamental solution depends only on the difference of the arguments and has the form :

where is a polynomial of degree with even and ; in the remaining cases and is analytic on the sphere (see [8]).

In particular, for the Laplace operator () , for and , for .

Fundamental solutions make it possible to construct various explicit representations for solutions of linear elliptic partial differential equations. They are a necessary apparatus for studying boundary value problems by means of integral equations. For an equation of the second order this method is classical and gives the sharpest results (see [9]).

The maximum principle has had numerous applications in the theory of second-order linear elliptic partial differential equations. The functions , , are assumed to be continuous and the operator (3) is assumed to be uniformly elliptic in some region . The function is taken to be continuous in the closure and to belong to the class .

The maximum principle in its strong form consists in the following. Let be the operator in (3) in which .

a) If and attains its maximum at an interior point, then is constant.

b) If and the maximum of is attained at a boundary point that lies on the surface of some ball entirely contained in , then either is constant or the derivative at in the direction of the outward normal, , is positive.

Similar assertions hold for an operator with if in a) and b) the maximum is understood as a positive maximum. The maximum principle is an essential element in the proofs of uniqueness theorems for solutions of a number of boundary value problems. It also has some analogues in the case of an equation of higher order.

References

[1] I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) MR0152665 MR0150320 MR0138774 Zbl 0127.03505 Zbl 0100.07603
[2] A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) MR0226183 Zbl 0167.09401
[3] S. Agmon, A. Douglis, L. Nirenberg, "Estimates close to the boundary of solutions of elliptic partial differential equations under general boundary conditions" Comm. Pure Appl. Math. , 12 (1959) pp. 623–727
[4] F. John, "Plane waves and spherical means: applied to partial differential equations" , Interscience (1955) MR0075429 Zbl 0067.32101
[5] C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) MR0284700 Zbl 0198.14101
[6] S.N. Bernshtein, "Collected works" , 3 , Moscow (1960) (In Russian)
[7] J. Schauder, "Ueber lineare elliptische Differentialgleichungen zweiter Ordnung" Math. Z. , 38 (1934) pp. 257–282 Zbl 0008.25502 Zbl 60.0422.01
[8] Ya.B. Lopatinskii, "On a method for reducing boundary value problems for a system of differential equations of elliptic type to regular integral equations" Ukrain. Mat. Zh. , 5 : 2 (1953) pp. 123–151 (In Russian) MR73828
[9] M.I. Vishik, "On strongly elliptic systems of differential equations" Mat. Sb. , 29 : 3 (1951) pp. 615–676


Comments

For the reduction of equation (3) to canonical form, [a1] has been fundamental.

References

[a1] L.V. Ahlfors, "Conformality with respect to Riemannian metrics" Ann. Acad. Sci. Fenn. Ser. A1 , 206 (1955) pp. 1–22 MR0074855 Zbl 0067.30702
[a2] O.A. Ladyzhenskaya, N.N. Ural'tseva, "Equations aux dérivées partielles de type elliptique" , Dunod (1969) (Translated from Russian) Zbl 0164.13001
[a3] D. Gilbarg, N.S. Trudinger, "Elliptic partial differential equations of second order" , Springer (1977) MR0473443 Zbl 0361.35003
[a4] M.H. Potter, H.F. Weinberger, "Maximum principles in differential equations" , Prentice-Hall (1967) MR219861
[a5] P.R. Garabedian, "Partial differential equations" , Wiley (1964) MR0162045 Zbl 0124.30501
How to Cite This Entry:
Linear elliptic partial differential equation and system. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Linear_elliptic_partial_differential_equation_and_system&oldid=28236
This article was adapted from an original article by A.P. Soldatov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article