View source for Differential equation, partial, data on characteristics

A problem which consists in solving a partial differential equation or a system of partial differential equations with given conditions on the characteristic manifolds (cf. [[Characteristic manifold|Characteristic manifold]]). The principal problems of this type are the characteristic Cauchy problem (cf. [[Cauchy characteristic problem|Cauchy characteristic problem]]) and the [[Goursat problem|Goursat problem]].

In the former case, when the initial manifold is characteristic at every point, the initial data cannot be set arbitrarily. They must satisfy certain conditions, determined by the differential equation. Accordingly, the characteristic Cauchy problem will usually be not well-posed unless supplementary conditions (especially so along a manifold which is not tangent to the initial manifold) are imposed on the class of solutions sought and on the given functions. For instance, for the [[Thermal-conductance equation|thermal-conductance equation]] (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/d/d031/d031940/d0319401.png" /></td> </tr></table>

the characteristic Cauchy 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/d/d031/d031940/d0319402.png" /></td> </tr></table>

is well-posed in the class of functions which grow at infinity not faster than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319403.png" />; however, if the exponent 2 of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319404.png" /> is replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319405.png" />, uniqueness is no longer guaranteed. There exists a wide class of equations for which the characteristic Cauchy problem is well-posed.

If the initial manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319406.png" /> is at the same time a manifold of degeneration of type or order of the equation, the characteristic problem may turn out to be well-posed. E.g., for 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/d/d031/d031940/d0319407.png" /></td> </tr></table>

with sufficiently smooth initial data on any interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319408.png" /> of the characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d0319409.png" />, the problem is solvable and the solution is unique.

Problems with data on characteristics include problems with incomplete and modified initial data which arise in the theory of degenerate hyperbolic and parabolic equations and systems of equations. For equations of the type

<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/d031/d031940/d03194010.png" /></td> </tr></table>

these problems are posed as follows. One has to find the solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194011.png" /> of the equation which corresponds to the modified initial data

<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/d031/d031940/d03194012.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194013.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194016.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031940/d03194017.png" /> are given functions, or to incomplete initial data, i.e. to one of these conditions.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Bitsadse,   "Equations of mixed type" , Pergamon  (1964)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R. Courant,   D. Hilbert,   "Methods of mathematical physics. Partial differential equations" , '''2''' , Interscience  (1965)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.N. Tikhonov,   ''Mat. Sb.'' , '''42'''  (1935)  pp. 199–216</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  L. Hörmander,   "Linear partial differential operators" , Springer  (1976)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  L. Hörmander,   "Hypoelliptic second order differential equations"  ''Acta. Math.'' , '''119'''  (1967)  pp. 147–171</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  P.R. Garabedian,   "Partial differential equations" , Wiley  (1964)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L.V. Hörmander,   "The analysis of linear partial differential operators" , '''2''' , Springer  (1983)  pp. Par. 12.8</TD></TR></table>