Namespaces
Variants
Actions

Difference between revisions of "Differential equation, partial, data on characteristics"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
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]].
 
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)
 
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>
+
$$u_t=u_{xx},$$
  
 
the characteristic Cauchy problem
 
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>
+
$$\left.u\right|_{t=0}=\phi(x)$$
  
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.
+
is well-posed in the class of functions which grow at infinity not faster than $\exp(cx^2)$; however, if the exponent 2 of $x$ is replaced by $2+\epsilon$, 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
+
If the initial manifold $S$ 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>
+
$$u_{xx}-y^mu_{yy}=0,\quad y>0,\quad0<m=\mathrm{const}<1,$$
  
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.
+
with sufficiently smooth initial data on any interval $S$ of the characteristic $y=0$, 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
 
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>
+
$$u_{xx}-y^mu_{yy}+au_x+bu_y+cu=0,\quad y>0,\quad m>0,$$
  
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
+
these problems are posed as follows. One has to find the solution $u(x,y)$ 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>
+
$$\lim\phi(x,y)u=\tau(x),\quad\lim\psi(x,y)u_y=\nu(x),$$
  
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.
+
where $\alpha<x<\beta$, $\phi$, $\tau$, $\psi$, and $\nu$ are given functions, or to incomplete initial data, i.e. to one of these conditions.
  
 
====References====
 
====References====

Latest revision as of 22:45, 10 December 2018

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). The principal problems of this type are the characteristic Cauchy problem (cf. Cauchy characteristic problem) and the 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 (heat equation)

$$u_t=u_{xx},$$

the characteristic Cauchy problem

$$\left.u\right|_{t=0}=\phi(x)$$

is well-posed in the class of functions which grow at infinity not faster than $\exp(cx^2)$; however, if the exponent 2 of $x$ is replaced by $2+\epsilon$, 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 $S$ 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

$$u_{xx}-y^mu_{yy}=0,\quad y>0,\quad0<m=\mathrm{const}<1,$$

with sufficiently smooth initial data on any interval $S$ of the characteristic $y=0$, 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

$$u_{xx}-y^mu_{yy}+au_x+bu_y+cu=0,\quad y>0,\quad m>0,$$

these problems are posed as follows. One has to find the solution $u(x,y)$ of the equation which corresponds to the modified initial data

$$\lim\phi(x,y)u=\tau(x),\quad\lim\psi(x,y)u_y=\nu(x),$$

where $\alpha<x<\beta$, $\phi$, $\tau$, $\psi$, and $\nu$ are given functions, or to incomplete initial data, i.e. to one of these conditions.

References

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


Comments

References

[a1] P.R. Garabedian, "Partial differential equations" , Wiley (1964)
[a2] L.V. Hörmander, "The analysis of linear partial differential operators" , 2 , Springer (1983) pp. Par. 12.8
How to Cite This Entry:
Differential equation, partial, data on characteristics. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differential_equation,_partial,_data_on_characteristics&oldid=16146
This article was adapted from an original article by A.M. Nakhushev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article