View source for Non-linear partial differential equation

An equation of the form

<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/n/n067/n067170/n0671701.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671702.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671703.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671704.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671705.png" /> is a multi-index of non-negative integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671706.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671707.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671708.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n0671709.png" />. In the case of complex-valued functions a non-linear partial differential equation is defined similarly. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717010.png" /> one speaks, as a rule, of a vectorial non-linear partial differential equation or of a system of non-linear partial differential equations. The order of (1) is defined as the highest order of a derivative occurring in the equation.

One of the best known non-linear equations is the [[Monge–Ampère equation|Monge–Ampère 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/n/n067/n067170/n06717011.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</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/n/n067/n067170/n06717012.png" /></td> </tr></table>

here and below <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717013.png" />.

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717015.png" /> is differentiable with respect to its variables corresponding to the derivatives of highest order, then the type of (1) is defined as that of the principal linear part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717016.png" /> relative to these derivatives (see [[Differential equation, partial|Differential equation, partial]]). One assigns, in general, to such a derivative (or to the resulting differential equation) a correspondingly defined weight. For example, in the non-linear heat 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/n/n067/n067170/n06717017.png" /></td> </tr></table>

with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717019.png" />, the derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717020.png" /> has weight 2.

Since linearization of (1) with respect to the highest derivatives proceeds in a neighbourhood of a fixed solution, the type of (1) (in contrast to a linear equation even at a fixed point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717021.png" />) may depend on this fixed solution. For example, the 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/n/n067/n067170/n06717022.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>

is of elliptic type on solutions with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717023.png" />, but is of hyperbolic type on solutions with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717024.png" />.

The type of an equation determines whether boundary value (mixed) problems for this equations are well-posed and influences the method for studying them.

If the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717025.png" /> depends linearly on its highest derivatives, then (1) is called a quasi-linear equation. For example, (3) is quasi-linear. Otherwise the equation is called an essentially non-linear equation. For example, the Monge–Ampère equation (2) is essentially non-linear.

If the coefficients of the highest derivatives of a quasi-linear equation do not depend on the solution (or its derivatives), then the equation is called a weakly non-linear equation. For example, the 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/n/n067/n067170/n06717026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>

is weakly non-linear.

The distinction between quasi-linear and weakly non-linear partial differential equations bears a conditional character and does not reflect an intrinsic property of the equations. Weakly non-linear equations may have stronger non-linearity properties than quasi-linear and even essentially non-linear equations. For example, there exist weakly non-linear equations of the form (4) which have countably many distinct solutions for a given Dirichlet boundary condition in a bounded domain.

Equations of the form (1) can be considered in the whole space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717027.png" /> or in some subdomain of it. In the first case the definition of the solution space includes conditions on the behaviour of the solutions at infinity. In the case of a domain one imposes on the boundary or on a part of it one or more boundary conditions. These boundary conditions may also involve non-linear operators.

A non-linear partial differential equation together with a boundary condition (or conditions) gives rise to a non-linear problem, which must be considered in an appropriate function space. The choice of this space of solutions is determined by the structure of both the non-linear differential operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717028.png" /> in the domain and that of the boundary operators. The choice of the function space for a non-linear problem is an essential feature in the investigation of the problem. For example, to the non-linear problem

<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/n/n067/n067170/n06717029.png" /></td> </tr></table>

in a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717030.png" /> and

<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/n/n067/n067170/n06717031.png" /></td> </tr></table>

corresponds the Sobolev space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717032.png" />. This problem has, for any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717033.png" /> from the dual space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717034.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717035.png" />, a unique solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717036.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717037.png" />. Here and below <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717038.png" /> is the closure in the Sobolev space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717039.png" /> of the set of all infinitely-differentiable functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717040.png" /> of compact support.

In the study of problems for non-linear partial differential equations one treats questions such as: the existence of a solution and the number of solutions, or the non-existence, and collapse or bifurcation (branching) of a solution. Another problem is the asymptotic behaviour of a solution when the argument tends to the boundary, in particular, to infinity in the case of unbounded domains. The theory of such equations has two aspects: a local and a global one. The local theory is relatively completely developed for general non-linear problems of elliptic, parabolic or hyperbolic type. This theory is based on the implicit-function theorem in non-linear functional analysis and on the general theory of linear problems of corresponding type.

In the case of boundary value (mixed) problems for non-linear parabolic, or hyperbolic, equations this local theory makes it possible to establish the solvability of the problem on a sufficiently small time interval or on a fixed interval under the condition that the data of the problem deviate (in the appropriate metric) by a fairly small amount from the data for a known solution (as a rule, the zero solution) of a nearby problem.

The global theory of non-linear problems is less completely developed, and then only for individual classes of equations.

==Non-linear first-order partial differential equations.==
For a broad class of quasi-linear scalar first-order equations of the form

<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/n/n067/n067170/n06717041.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

the existence and uniqueness problem for the Cauchy problem with an initial condition for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717042.png" /> has been established for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717043.png" />.

For a narrower class of equations of the form (5) the question of the asymptotic behaviour of the solutions of such problems as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717044.png" /> and boundary value problems have also been discussed.

The theory of systems of quasi-linear first-order partial differential equations has been developed less completely (see [[Quasi-linear hyperbolic equations and systems|Quasi-linear hyperbolic equations and systems]]).

==Non-linear second-order partial differential equations.==
Equations of elliptic and parabolic type. The theory of global solvability of boundary value problems for a broad class of quasi-linear scalar second-order equations of elliptic type of the form

<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/n/n067/n067170/n06717045.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>

or

<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/n/n067/n067170/n06717046.png" /></td> <td valign="top" style="width:5%;text-align:right;">(7)</td></tr></table>

is relatively complete under the condition that an a priori estimate of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717047.png" /> is available. Here the coefficients of the equations are subject to certain conditions.

A similar situation prevails in the theory of global solvability of boundary value (mixed) problems for the broad class of quasi-linear scalar second-order equations of parabolic type of the form

<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/n/n067/n067170/n06717048.png" /></td> <td valign="top" style="width:5%;text-align:right;">(8)</td></tr></table>

or

<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/n/n067/n067170/n06717049.png" /></td> <td valign="top" style="width:5%;text-align:right;">(9)</td></tr></table>

This solvability theory is based on a priori estimates and the Leray–Schauder method.

A priori estimates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717050.png" /> for certain classes of non-linear equations (6)–(9) can be obtained on the basis of either the [[Maximum principle|maximum principle]] or special integral inequalities and corresponding [[Imbedding theorems|imbedding theorems]] for function spaces.

The global solvability theory of boundary value problems for essentially non-linear scalar equations of elliptic type has been developed for a narrow class of such equations in the case of two independent variables.

Global solvability of the boundary value (mixed) problem for essentially non-linear scalar equations of parabolic type has been established for the broad class of equations of the form

<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/n/n067/n067170/n06717051.png" /></td> </tr></table>

in the case of a single space variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717052.png" />.

Questions of global solvability of problems for systems of quasi-linear equations of elliptic or parabolic type have been considered only for narrow individual classes of such systems.

One of the effective methods in the study of second-order non-linear partial differential equations of either elliptic or parabolic type is the method of super- and subsolutions. Consider, for example, the boundary value problem

<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/n/n067/n067170/n06717053.png" /></td> <td valign="top" style="width:5%;text-align:right;">(10)</td></tr></table>

with a continuous function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717054.png" /> defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717055.png" /> and such that Bernshtein's 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/n/n067/n067170/n06717056.png" /></td> </tr></table>

holds for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717057.png" /> with an increasing function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717058.png" />. If there exist functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717059.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717060.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717061.png" /> almost-everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717063.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717064.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717065.png" /> almost-everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717066.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717067.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717068.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717069.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717070.png" /> are super- and subsolutions of the problem (10)), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717071.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717072.png" />, then (10) has a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717073.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717074.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717075.png" />. A good choice of super- and subsolutions of non-linear initial value problems based on solutions of model problems makes it possible to establish not only the solvability and a lower bound on the number of solutions, but also to obtain precise a priori estimates and the asymptotic behaviour of solutions of non-linear initial value problems.

The study of the global behaviour of solutions of boundary value (mixed) problems for non-linear parabolic equations is connected with that of stationary solutions of boundary value problems for corresponding non-linear elliptic equations, as it is in the case of ordinary differential equations.

Due to the fact that boundary value problems for non-linear elliptic equations do not always have a solution and that boundary value (mixed) problems for non-linear parabolic and hyperbolic equations need not have a solution for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717076.png" />, a theory of non-existence of solutions for non-linear partial differential equations has been developed.

Equations of hyperbolic type. These equations occupy a special place among the second-order non-linear differential equations. The  "loss of one derivative"  in the inversion of the second-order hyperbolic operator leads to principal obstacles in the study of non-linear hyperbolic equations. Even the local theory of non-linear hyperbolic equations and systems required the development of a special theory of implicit functions in non-linear functional analysis, since the classical implicit-function theorem in functional analysis turned out to be inapplicable here.

For (essentially) quasi-linear hyperbolic second-order equations in more than two independent variables the problem of global solvability, even for the Cauchy problem, has not been studied.

In the case of two independent variables (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717077.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717078.png" />) the global solvability of the Cauchy problem has been established for individual equations of the form

<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/n/n067/n067170/n06717079.png" /></td> </tr></table>

which reduce to special quasi-linear hyperbolic systems by the conservation principle (see [[Quasi-linear hyperbolic equations and systems|Quasi-linear hyperbolic equations and systems]]).

In the case of quasi-linear hyperbolic equations of the form

<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/n/n067/n067170/n06717080.png" /></td> </tr></table>

the global solvability (for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717081.png" />) of the mixed problem with the conditions: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717082.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717083.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717084.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717085.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717086.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717087.png" />, has been established in a certain class of smooth functions in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717088.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717089.png" /> is a bounded domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717090.png" /> with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717091.png" /> of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717092.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717093.png" />.

The global solvability of the Cauchy problem and also of the boundary value (mixed) problem has been established for the broad class of weakly non-linear hyperbolic equations of the form

<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/n/n067/n067170/n06717094.png" /></td> </tr></table>

A special place in the theory of non-linear hyperbolic equations is occupied by the problem of existence of periodic solutions (in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717095.png" />) of boundary value problems for these equations. Even for weakly non-linear equations this problem has been discussed only for equations of the form

<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/n/n067/n067170/n06717096.png" /></td> </tr></table>

in the case of two variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n06717098.png" />. The complexity of this problem stems from the fact that the kernel of the corresponding linear problem is infinite dimensional.

Weakly non-linear and quasi-linear hyperbolic equations containing dissipative terms have been studied more completely.

==Non-linear partial differential equations of higher order.==
The solvability of boundary value (mixed) problems has been studied for the broad class of quasi-linear equations in divergence form

<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/n/n067/n067170/n06717099.png" /></td> <td valign="top" style="width:5%;text-align:right;">(11)</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/n/n067/n067170/n067170100.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/n/n067/n067170/n067170101.png" /></td> </tr></table>

Concerning the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170102.png" /> a number of conditions are assumed in this case which ensure that the non-linear operators are defined in the corresponding function spaces and satisfy certain conditions. For example, for the solvability of the boundary value problem in a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170103.png" /> with the conditions

<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/n/n067/n067170/n067170104.png" /></td> <td valign="top" style="width:5%;text-align:right;">(12)</td></tr></table>

for equation (11) the following conditions are sufficient:

1) The functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170105.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170106.png" />, are measurable in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170107.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170108.png" />, continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170109.png" /> for almost-all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170110.png" /> and satisfy 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/n/n067/n067170/n067170111.png" /></td> </tr></table>

with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170112.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170113.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170114.png" />.

2) The following coerciveness condition holds: For any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170115.png" /> in the Sobolev space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170116.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/n/n067/n067170/n067170117.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/n/n067/n067170/n067170118.png" /></td> </tr></table>

3) The monotonicity condition holds: For any functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170119.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170120.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170121.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/n/n067/n067170/n067170122.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/n/n067/n067170/n067170123.png" /></td> </tr></table>

Under the conditions 1)–3) the boundary value problem (12) for equation (11) has a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170124.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170125.png" /> for any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170126.png" /> in the dual space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170127.png" />.

All these conditions can be substantially relaxed. For example, the Fredholm alternative holds for differential operators of the form (11) with boundary conditions (12) that are odd and homogeneous, in principle, i.e. subject to certain conditions but without coercivity. If in this case the boundary value problem with zero boundary conditions (12) for equation (11) with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170128.png" /> has only the trivial solution, then this problem is solvable for any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170129.png" /> in the corresponding dual space.

For a broad class of boundary value (mixed) problems for non-linear partial differential equations a theory of normal solvability has been developed, generalizing the (Hausdorff) theory of normal solvability of linear operator equations to the non-linear case. This theory gives sufficient conditions for the solvability of boundary value (mixed) problems for non-linear equations and systems of equations of parabolic type and for weakly non-linear equations and systems of hyperbolic type.

In the theory of boundary value problems for non-linear equations of elliptic type, the question of the existence of eigen functions occupies a special place. The theory of eigen functions of boundary value problems for quasi-linear equations of elliptic type has been developed for a fairly broad class of problems. In particular, the abstract Lyusternik–Shnirel'man theory on the existence of a countable set of eigen functions has been transferred to a broad class of problems.

A special chapter in the theory of non-linear equations of elliptic type of higher order and in the theory of systems of non-linear equations of elliptic type in more than two independent variables is the question of regularity of solutions of these equations and systems.

In the case of a scalar quasi-linear uniformly-elliptic second-order equation with sufficiently smooth coefficients satisfying together with their first derivatives certain growth conditions, the solution has an interior regularity exceeding the smoothness of the right-hand side by two derivatives.

In the case of quasi-linear equations of elliptic type of order higher than two, and systems of quasi-linear equations of elliptic type of order two or more, in more than two independent variables, the corresponding smoothness of the solutions does not hold everywhere in the domain, but almost everywhere. Under additional conditions one succeeds in making precise the dimensions of the sets of zero (Hausdorff) measure on which the smoothness of solutions is, in general, violated. For a special class of quasi-linear elliptic systems with bounded non-linearities it has been established that the solutions are regular everywhere in the domain.

A theory has been established of boundary value problems for a broad class of quasi-linear equations of infinite order in divergence form.

==Theory of exact solutions.==
Among the methods for constructing exact solutions one reckons: methods based on the application of group theory in the analysis of non-linear partial differential equations; methods based on Lie–Båcklund transformation; and methods based on the inverse problem of scattering theory.

The inverse-scattering method has made it possible to study a number of physically important equations, such as the non-linear [[Korteweg–de Vries equation|Korteweg–de Vries 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/n/n067/n067170/n067170130.png" /></td> </tr></table>

the non-linear [[Sine-Gordon equation|sine-Gordon 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/n/n067/n067170/n067170131.png" /></td> </tr></table>

the non-linear [[Schrödinger equation|Schrödinger 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/n/n067/n067170/n067170132.png" /></td> </tr></table>

and a number of others in one space variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170133.png" />. By means of this method one has been able to consider particular non-linear equations like the Korteweg–de Vries equation in two space variables.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Courant,   D. Hilbert,   "Methods of mathematical physics. Partial differential equations" , '''2''' , Interscience  (1965)  (Translated from German)  {{MR|0195654}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   N.N. Ural'tseva,   "Linear and quasilinear elliptic equations" , Acad. Press  (1968)  (Translated from Russian)  {{MR|0244627}} {{ZBL|0177.37404}} {{ZBL|0164.13002}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  D. Gilbarg,   N.S. Trudinger,   "Elliptic partial differential equations of second order" , Springer  (1977)  {{MR|0473443}} {{ZBL|0361.35003}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   V.A. Solonnikov,   N.N. Ural'tseva,   "Linear and quasi-linear equations of parabolic type" , Amer. Math. Soc.  (1968)  (Translated from Russian)  {{MR|}} {{ZBL|0174.15403}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  A. Friedman,   "Partial differential equations of parabolic type" , Prentice-Hall  (1964)  {{MR|0181836}} {{ZBL|0144.34903}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  L. Nirenberg,   "Topics in nonlinear functional analysis" , New York Univ. Inst. Math. Mech.  (1974)  {{MR|0488102}} {{ZBL|0286.47037}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J.-L. Lions,   "Quelques méthodes de résolution des problèmes aux limites nonlineaires" , Dunod  (1969)  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  B.L. Rozhdestvenskii,   N.N. Yanenko,   "Systems of quasilinear equations and their applications to gas dynamics" , Amer. Math. Soc.  (1983)  (Translated from Russian)  {{MR|0694243}} {{ZBL|}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  I.V. Skrypnik,   "Non-linear elliptic equations of higher order" , Kiev  (1973)  (In Russian)  {{MR|355330}} {{ZBL|0296.35032}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  S. Fučik,   J. Nečas,   V. Souček,   "Spectral analysis of non-linear operators" , Springer  (1973)  {{MR|467421}} {{ZBL|}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  L.V. [L.V. Ovsyannikov] Ovsiannikov,   "Group analysis of differential equations" , Acad. Press  (1982)  (Translated from Russian)  {{MR|0668703}} {{ZBL|0485.58002}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  V.E. Zakharov,   S.V. Manakov,   S.P. Novikov,   L.P. Pitaevskii,   "Theory of solutions. The method of the inverse problem" , Moscow  (1980)  (In Russian)  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  M.I. Vishik,   "Quasi-linear strongly elliptic systems of differential equations in divergence form"  ''Trans. Moscow Math. Soc.'' , '''12'''  (1963)  pp. 140–208  ''Trudy Moskov. Mat. Obshch.'' , '''12'''  (1963)  pp. 125–184  {{MR|}} {{ZBL|0144.36201}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  M. Giaquinta,   G. Modica,   "Almost-everywhere regularity results for solutions of non-linear elliptic systems"  ''Manuscripta Math.'' , '''28'''  (1979)  pp. 109–158  {{MR|535699}} {{ZBL|}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  Yu.A. Dubinskii,   "Sobolev spaces of infinite order and the behaviour of solutions of some boundary value problems with unbounded increase of the order of the equation"  ''Math. USSR Sb.'' , '''27''' :  2  (1975)  pp. 143–162  ''Mat. Sb.'' , '''98''' :  2  (1975)  pp. 163–184  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  J.L. Kazdan,   R. Krammer,   "Invariant criteria for existence of solutions to second-order quasilinear elliptic equations"  ''Comm. Pure Appl. Math.'' , '''31''' :  5  (1978)  pp. 619–645  {{MR|0477446}} {{ZBL|0368.35031}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  A.I. Koshelev,   "Regularity of solutions of quasi-linear elliptic systems"  ''Russian Math. Surveys'' , '''33''' :  4  (1978)  pp. 1–52  ''Uspekhi Mat. Nauk'' , '''33''' :  4  (1978)  pp. 3–49  {{MR|510669}} {{ZBL|0413.35033}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  S.N. Kruzhkov,   "First order quasilinear equations in several independent variables"  ''Math USSR Sb.'' , '''10''' :  2  (1970)  pp. 217–243  ''Mat. Sb.'' , '''81''' :  2  (1970)  pp. 228–255  {{MR|}} {{ZBL|0215.16203}} </TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  S.N. Kruzhkov,   "Nonlinear parabolic equations in two independent variables"  ''Trans. Moscow Math. Soc.'' , '''16'''  (1967)  pp. 355–373  ''Trudy Moskov. Mat. Obshch.'' , '''16'''  (1967)  pp. 329–346  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  O.A. Oleinik,   "Uniqueness and stability of the generalized solution of the Cauchy problem for a quasi-linear equation"  ''Uspekhi Mat. Nauk'' , '''14''' :  2  (1959)  pp. 165–170  (In Russian)  {{MR|0117408}} {{ZBL|}} </TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top">  S.I. Pokhozhaev,   "On the eigenfunctions of quasilinear elliptic problems"  ''Math. USSR Sb.'' , '''11''' :  2  (1970)  pp. 171–188  ''Mat. Sb.'' , '''82''' :  2  (1970)  pp. 192–212  {{MR|}} {{ZBL|0217.13203}} </TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top">  S.I. Pokhozhaev,   "On a class of quasilinear hyperbolic equations"  ''Math USSR Sb.'' , '''25''' :  1  (1975)  pp. 145–158  ''Mat. Sb.'' , '''96''' :  1  (1975)  pp. 152–166  {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top">  S.I. Pokhozhaev,   "On equations of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170134.png" />"  ''Math USSR Sb.'' , '''41''' :  2  (1982)  pp. 269–280  ''Mat. Sb.'' , '''113''' :  2  (1980)  pp. 324–338  {{MR|}} {{ZBL|0483.35033}} </TD></TR></table>



====Comments====
Recent developments for non-linear parabolic partial differential equations are sketched in [[#References|[a2]]], [[#References|[a3]]].

An important and large class of elliptic second-order non-linear equations arises in the theory of controlled diffusion processes. These are known as Bellman equations (cf. [[Bellman equation|Bellman equation]]). For these equations probabilistic techniques and ideas can be used to study solvability and to obtain solutions. And indeed, many important results were first obtained in this way and were only subsequently also derived using analytic methods, cf. [[#References|[a1]]]. It also turned out that the [[Monge–Ampère equation|Monge–Ampère equation]] is a special case of the Bellman equation, [[#References|[a1]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  N.V. Krylov,   "Nonlinear elliptic and parabolic equations of the second order" , Reidel  (1987)  (Translated from Russian)  {{MR|0901759}} {{ZBL|0619.35004}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H. Amann,   "Quasilinear parabolic systems"  L. Boccardo (ed.)  A. Tesei (ed.) , ''Nonlinear parabolic equations: qualitative properties of solutions'' , Longman  (1987)  pp. 5–12  {{MR|0901083}} {{ZBL|0661.35048}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  S. Campanato,   "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n067/n067170/n067170135.png" /> theory and nonlinear parabolic systems"  L. Boccardo (ed.)  A. Tesei (ed.) , ''Nonlinear parabolic equations: qualitative properties of solutions'' , Longman  (1987)  pp. 55–62  {{MR|0901090}} {{ZBL|0652.35058}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  P.R. Garabedian,   "Partial differential equations" , Wiley  (1964)  {{MR|0162045}} {{ZBL|0124.30501}} </TD></TR></table>