Namespaces
Variants
Actions

Difference between revisions of "Differential equation, partial, with singular coefficients"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
d0320401.png
 +
$#A+1 = 22 n = 0
 +
$#C+1 = 22 : ~/encyclopedia/old_files/data/D032/D.0302040 Differential equation, partial, with singular coefficients
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A partial differential equation the coefficients and/or the free term of which have discontinuities of the first kind or become infinite on certain manifolds in the closure of their domain of definition.
 
A partial differential equation the coefficients and/or the free term of which have discontinuities of the first kind or become infinite on certain manifolds in the closure of their domain of definition.
  
 
Typical equations of this kind are the Lavrent'ev–Bitsadze equation
 
Typical equations of this kind are the Lavrent'ev–Bitsadze 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/d032/d032040/d0320401.png" /></td> </tr></table>
+
$$
 +
\mathop{\rm sign}  y \cdot u _ {xx} + u _ {yy}  = 0
 +
$$
  
 
and the Euler–Poisson–Darboux equation
 
and the Euler–Poisson–Darboux 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/d032/d032040/d0320402.png" /></td> </tr></table>
+
$$
 +
u _ {xy} +
 +
\frac{\beta  ^  \prime  }{y - x }
 +
u _ {x} -
 +
\frac \beta {y - x
 +
}
 +
u _ {y}  = 0 ,\  \beta , \beta  ^  \prime  = \textrm{ const } ,
 +
$$
  
 
or
 
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/d/d032/d032040/d0320403.png" /></td> </tr></table>
+
$$
 +
\Delta u - u _ {x _ {0}  x _ {0} }  =
 +
\frac \lambda {x _ {0} }
 +
u _ {x _ {0}  } ,
 +
$$
  
<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/d032/d032040/d0320404.png" /></td> </tr></table>
+
$$
 +
\Delta u - u _ {x _ {0}  x _ {0} }  =
 +
\frac \lambda {x _ {0} }
 +
u _ {x _ {0}  } ,\  \lambda = \textrm{ const } ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d0320405.png" /> is the [[Laplace operator|Laplace operator]] with respect to the variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d0320406.png" />.
+
where $  \Delta $
 +
is the [[Laplace operator|Laplace operator]] with respect to the variables $  x _ {1} \dots x _ {n} $.
  
 
Many degenerate partial differential equations are equations with singular coefficients.
 
Many degenerate partial differential equations are equations with singular coefficients.
Line 23: Line 53:
 
====References====
 
====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"> I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) {{MR|0152665}} {{MR|0150320}} {{MR|0138774}} {{ZBL|0127.03505}} {{ZBL|0100.07603}} </TD></TR><TR><TD valign="top">[3]</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">[4]</TD> <TD valign="top"> C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) {{MR|0284700}} {{ZBL|0198.14101}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> O.A. Oleinik, "Solution of fundamental boundary value problem for second-order equations with discontinuous coefficients" ''Dokl. Akad. Nauk. SSSR'' , '''124''' : 6 (1959) pp. 1219–1222 (In Russian) {{MR|0102653}} {{ZBL|}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.A. Samarskii, "Parabolic equations with discontinuous coefficients" ''Dokl. Akad. Nauk. SSSR'' , '''121''' : 2 (1958) pp. 225–228 (In Russian)</TD></TR></table>
 
<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"> I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) {{MR|0152665}} {{MR|0150320}} {{MR|0138774}} {{ZBL|0127.03505}} {{ZBL|0100.07603}} </TD></TR><TR><TD valign="top">[3]</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">[4]</TD> <TD valign="top"> C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) {{MR|0284700}} {{ZBL|0198.14101}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> O.A. Oleinik, "Solution of fundamental boundary value problem for second-order equations with discontinuous coefficients" ''Dokl. Akad. Nauk. SSSR'' , '''124''' : 6 (1959) pp. 1219–1222 (In Russian) {{MR|0102653}} {{ZBL|}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> A.A. Samarskii, "Parabolic equations with discontinuous coefficients" ''Dokl. Akad. Nauk. SSSR'' , '''121''' : 2 (1958) pp. 225–228 (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
For non-linear equations singularities of coefficients may occur for particular values of the unknown function. In such a case the set of singular points can be described as a free boundary (see [[Differential equation, partial, free boundaries|Differential equation, partial, free boundaries]]). A typical example is
 
For non-linear equations singularities of coefficients may occur for particular values of the unknown function. In such a case the set of singular points can be described as a free boundary (see [[Differential equation, partial, free boundaries|Differential equation, partial, free boundaries]]). A typical example is
  
<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/d032/d032040/d0320407.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
$$ \tag{a1 }
 +
 
 +
\frac \partial {\partial  t }
 +
C ( u) + \lambda H ( u)  = \Delta K ( u) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d0320408.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d0320409.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204011.png" /> representing heat capacity and thermal conductivity, respectively), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204012.png" /> is the latent heat, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204013.png" /> is the Heaviside function. Equation (a1) describes heat conduction with change of phase (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204014.png" /> is the melting point). See [[Stefan problem|Stefan problem]]. Of course, all the derivatives in (a1) are understood in the generalized sense.
+
where $  C ( u) = \int _ {0}  ^ {u} c ( v)  d v $,  
 +
$  K ( u) = \int _ {0}  ^ {u} k ( v)  d v $(
 +
$  c $
 +
and $  k $
 +
representing heat capacity and thermal conductivity, respectively), $  \lambda $
 +
is the latent heat, and $  H $
 +
is the Heaviside function. Equation (a1) describes heat conduction with change of phase ( $  u = 0 $
 +
is the melting point). See [[Stefan problem|Stefan problem]]. Of course, all the derivatives in (a1) are understood in the generalized sense.
  
The free boundary for (a1) coincides with the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204015.png" />. If it consists of a smooth surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204016.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204017.png" />), then it can be shown that (a1) is equivalent to solving
+
The free boundary for (a1) coincides with the set $  \{ u = 0 \} $.  
 +
If it consists of a smooth surface $  \phi ( x , t ) = 0 $(
 +
$  x \in \mathbf R  ^ {n} $),  
 +
then it can be shown that (a1) is equivalent to solving
  
<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/d032/d032040/d03204018.png" /></td> </tr></table>
+
$$
 +
c  ^  \prime  ( u)
 +
\frac{\partial  u }{\partial  t }
 +
  = \
 +
\mathop{\rm div} ( k ( u)  \mathop{\rm grad}  u )
 +
$$
  
in the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204019.png" />, with the conditions
+
in the set $  \{ u \neq 0 \} $,  
 +
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/d/d032/d032040/d03204020.png" /></td> </tr></table>
+
$$
 +
= 0 ,\  [ k ( u)  \mathop{\rm grad}  u \cdot
 +
\mathop{\rm grad}  \phi ] _ {-}  ^ {+} -
 +
\lambda
 +
\frac{\partial  \phi }{\partial  t }
 +
  = 0
 +
$$
  
on the free boundary, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204021.png" /> denoting the difference between the limits from the positivity and the negativity set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032040/d03204022.png" />.
+
on the free boundary, $  [ \cdot ] _ {-}  ^ {+} $
 +
denoting the difference between the limits from the positivity and the negativity set of $  u $.

Latest revision as of 17:33, 5 June 2020


A partial differential equation the coefficients and/or the free term of which have discontinuities of the first kind or become infinite on certain manifolds in the closure of their domain of definition.

Typical equations of this kind are the Lavrent'ev–Bitsadze equation

$$ \mathop{\rm sign} y \cdot u _ {xx} + u _ {yy} = 0 $$

and the Euler–Poisson–Darboux equation

$$ u _ {xy} + \frac{\beta ^ \prime }{y - x } u _ {x} - \frac \beta {y - x } u _ {y} = 0 ,\ \beta , \beta ^ \prime = \textrm{ const } , $$

or

$$ \Delta u - u _ {x _ {0} x _ {0} } = \frac \lambda {x _ {0} } u _ {x _ {0} } , $$

$$ \Delta u - u _ {x _ {0} x _ {0} } = \frac \lambda {x _ {0} } u _ {x _ {0} } ,\ \lambda = \textrm{ const } , $$

where $ \Delta $ is the Laplace operator with respect to the variables $ x _ {1} \dots x _ {n} $.

Many degenerate partial differential equations are equations with singular coefficients.

Of prime importance in the theory of differential equations with singular coefficients is the study of the solvability of initial value, boundary value and mixed problems in their classical and generalized formulations, as well as the search for new well-posed problems. A fairly complete study was made of boundary value problems for linear elliptic, hyperbolic and parabolic equations of the second order with weak singularities in the coefficients that are usually summable of a larger degree than the dimension of their domain of definition. If the coefficients of these equations have discontinuities of the first kind only on certain sufficiently smooth surfaces located within the domain of definition, a fairly complete theory of the principal boundary value problems is available. See Differential equation, partial, discontinuous coefficients, and also [3], [5], [6].

References

[1] A.V. Bitsadse, "Equations of mixed type" , Pergamon (1964) (Translated from Russian)
[2] I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) MR0152665 MR0150320 MR0138774 Zbl 0127.03505 Zbl 0100.07603
[3] O.A. Ladyzhenskaya, N.N. Ural'tseva, "Linear and quasilinear elliptic equations" , Acad. Press (1968) (Translated from Russian) MR0244627 Zbl 0177.37404 Zbl 0164.13002
[4] C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) MR0284700 Zbl 0198.14101
[5] O.A. Oleinik, "Solution of fundamental boundary value problem for second-order equations with discontinuous coefficients" Dokl. Akad. Nauk. SSSR , 124 : 6 (1959) pp. 1219–1222 (In Russian) MR0102653
[6] A.A. Samarskii, "Parabolic equations with discontinuous coefficients" Dokl. Akad. Nauk. SSSR , 121 : 2 (1958) pp. 225–228 (In Russian)

Comments

For non-linear equations singularities of coefficients may occur for particular values of the unknown function. In such a case the set of singular points can be described as a free boundary (see Differential equation, partial, free boundaries). A typical example is

$$ \tag{a1 } \frac \partial {\partial t } C ( u) + \lambda H ( u) = \Delta K ( u) , $$

where $ C ( u) = \int _ {0} ^ {u} c ( v) d v $, $ K ( u) = \int _ {0} ^ {u} k ( v) d v $( $ c $ and $ k $ representing heat capacity and thermal conductivity, respectively), $ \lambda $ is the latent heat, and $ H $ is the Heaviside function. Equation (a1) describes heat conduction with change of phase ( $ u = 0 $ is the melting point). See Stefan problem. Of course, all the derivatives in (a1) are understood in the generalized sense.

The free boundary for (a1) coincides with the set $ \{ u = 0 \} $. If it consists of a smooth surface $ \phi ( x , t ) = 0 $( $ x \in \mathbf R ^ {n} $), then it can be shown that (a1) is equivalent to solving

$$ c ^ \prime ( u) \frac{\partial u }{\partial t } = \ \mathop{\rm div} ( k ( u) \mathop{\rm grad} u ) $$

in the set $ \{ u \neq 0 \} $, with the conditions

$$ u = 0 ,\ [ k ( u) \mathop{\rm grad} u \cdot \mathop{\rm grad} \phi ] _ {-} ^ {+} - \lambda \frac{\partial \phi }{\partial t } = 0 $$

on the free boundary, $ [ \cdot ] _ {-} ^ {+} $ denoting the difference between the limits from the positivity and the negativity set of $ u $.

How to Cite This Entry:
Differential equation, partial, with singular coefficients. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Differential_equation,_partial,_with_singular_coefficients&oldid=46679
This article was adapted from an original article by A.M. Nakhushev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article