View source for Degenerate partial differential equation

A partial differential equation whose type degenerates in certain points of the domain of definition of the equation or at the boundary of this domain. The type of an equation or of a system of equations at a point is defined by one or more algebraic relations between the coefficients. These relations usually comprise strict inequalities. If, at certain points of the domain under consideration, the inequalities which are satisfied are weak rather than strict, one speaks of degeneration of type, while the equation (or system of equations) is called degenerate. One distinguishes between a [[Degenerate elliptic equation|degenerate elliptic equation]], a [[Degenerate hyperbolic equation|degenerate hyperbolic equation]] and a [[Degenerate parabolic equation|degenerate parabolic equation]] (or systems of such equations).

Examples:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308601.png" /></td> </tr></table>

is a degenerate elliptic equation in the half-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308602.png" />;

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308603.png" /></td> </tr></table>

is a degenerate hyperbolic equation in the entire plane;

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308604.png" /></td> </tr></table>

is a degenerate parabolic equation in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308605.png" />;

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308606.png" /></td> </tr></table>

is a degenerate elliptic system for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308607.png" />.

Degenerate equations are encountered in the theory of boundary layers, in the theory of shells (if the loading does not comprise moments), in the theory of diffusion processes, in particular in the theory of Brownian motion, and in many other problems in physics and mechanics.

Degenerate equations are studied by posing two closely connected problems: 1) a demonstration of the solvability of, say, boundary value problems taking into account changes in their formulation which are a consequence of the degeneration of type; and 2) a determination of properties of the solutions which are analogous to those of non-degenerate equations (smoothness, Harnack inequalities for elliptic and parabolic equations, etc.).

Second-order degenerate equations of elliptic and parabolic types have been most extensively studied; strictly speaking, a parabolic equation may also be considered as a degenerate elliptic equation which satisfies additional conditions. If degeneration of type is not present on the boundary alone but also at interior points (e.g. at all points of the domain in question), such equations might be called equations with a non-negative characteristic form, elliptic-parabolic equations or ultra-parabolic equations.

A characteristic feature of degenerate equations is the specific formulation of boundary value problems. Boundary conditions may be applied not on the boundary as a whole, but on one of its parts only. M.V. Keldysh was the first to note the dependence of the formulation of a boundary value problem on the nature of the degeneration of an elliptic equation on the boundary. For the general second-order elliptic-parabolic equation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308608.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

the first boundary value problem may be posed as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d0308609.png" /> be the boundary of the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086010.png" /> under consideration, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086011.png" /> be the interior normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086012.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086013.png" /> be that part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086014.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086015.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086016.png" />. The problem is to find a solution of (*) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086017.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086018.png" />. The existence and the uniqueness of the generalized solution of this problem have been proved and sufficiency conditions for the smoothness of the generalized solution have been specified.

Since first-order equations may be regarded as a special case of degenerate equations, it is clear that solutions of degenerate elliptic equations will in general not be smooth within the domain if the boundary conditions are not sufficiently smooth. There are examples showing that even if the boundary conditions and the coefficients of the degenerate equations are infinitely differentiable, their solutions need not be infinitely differentiable. However, the condition for hypo-ellipticity of the general second-order degenerate elliptic equation has been found.

The properties of solutions of second-order degenerate elliptic and parabolic equations can be studied by both geometric and probabilistic methods.

Most of the studies of degenerate hyperbolic equations concern second-order equations with two independent variables which degenerate at the boundary of the domain. These studies were inspired, in the first place, by the study of equations of mixed type and related problems in gas dynamics. To illustrate the problems which arise in this connection, consider the Cauchy problem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086019.png" /> for an equation with principal part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086020.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086021.png" />, the problem has a unique solution, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086022.png" /> the Cauchy problem is usually ill-posed. For an equation with principal part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086023.png" /> the Cauchy problem with data on the line of degeneration is well-posed for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086024.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086025.png" />, the formulation of the problem is usually modified, as in the case of elliptic equations. Instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086026.png" /> one gives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086027.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086028.png" /> is some positive function which depends on the coefficients of the equation.

The well-posedness of Cauchy's problem has been proved, under certain conditions, for hyperbolic equations in more spatial variables,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086029.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086030.png" /></td> </tr></table>

which become degenerate both on the initial plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086031.png" /> and inside the domain. The most important condition here is the validity of the inequality

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086032.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d030/d030860/d03086034.png" /> are certain positive constants.

A number of results obtained for quasi-linear degenerate equations are also applicable to non-linear equations.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  O.A. Oleinik,   E.V. Radkevich,   "Second-order equations with nonnegative form"  ''Itogi Nauk. Mat. Anal.''  (1971)  pp. 7–252  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M.M. Smirnov,   "Degenerate elliptic and hyperbolic equations" , Moscow  (1966)  (In Russian)</TD></TR></table>