View source for Differential equation, partial, discontinuous coefficients

A problem for partial differential equations in which the coefficients of the differential operators have discontinuities of the first kind (or jumps) on passing across certain surfaces, and where on these surfaces conjugacy conditions are given.

In the case of second-order elliptic operators the problem with discontinuous coefficients (the transmission or diffraction problem) consists in the following. Let there be given, in an arbitrary bounded open <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319501.png" />-dimensional domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319502.png" /> with boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319503.png" />, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319504.png" />-dimensional surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319505.png" /> which partitions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319506.png" /> into two subdomains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319507.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319508.png" />; in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d0319509.png" /> one poses the 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/d031950/d03195010.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

where

<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/d031950/d03195011.png" /></td> </tr></table>

is a linear differential operator of elliptic type, defined in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195012.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/d031/d031950/d03195013.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/d031/d031950/d03195014.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195015.png" /> is the derivative with respect to the conormal, equal to

<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/d031950/d03195016.png" /></td> </tr></table>

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195017.png" /> is the exterior normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195018.png" />, while the symbols <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195020.png" /> signify that the limit values are taken from the interior and the exterior sides of the surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195021.png" />, respectively, with respect to the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195022.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195025.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195026.png" /> are given functions.

It is assumed in this condition, for the sake of simplicity, that there exists only one discontinuity surface of the coefficients — the surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195027.png" />.

The problem (*) is a mathematical description of stationary physical processes taking place in a domain constituted by different media, e.g. the scatter of an electromagnetic wave on some given obstacle or the propagation of heat in a layered medium.

There exists a classical solution of the problem (*) under conditions which, in the absence of discontinuity of the coefficients and when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195028.png" />, become the [[Giraud conditions|Giraud conditions]] for the solvability of the Dirichlet problem [[#References|[3]]], [[#References|[4]]], [[#References|[5]]]. The following were studied for the problem (*): generalized solutions from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195029.png" /> [[#References|[1]]], [[#References|[2]]]; eigen value problems and estimates for the eigen functions of the self-adjoint operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195030.png" /> [[#References|[6]]], [[#References|[8]]]; the case of degeneration in connection with Markov processes [[#References|[9]]], [[#References|[10]]]; and the cases with quasi-linear operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195031.png" /> [[#References|[13]]]. It is possible to establish, for the problem (*), Schauder estimates [[#References|[6]]], [[#References|[7]]] and to develop numerical methods of their solution [[#References|[11]]], [[#References|[12]]]. The theory of solvability of problems involving discontinuous coefficients has been constructed for elliptic equations and systems of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195032.png" /> [[#References|[18]]], [[#References|[19]]], [[#References|[20]]].

The problem with discontinuous coefficients for parabolic and hyperbolic operators of the second order was also studied in detail [[#References|[2]]], [[#References|[9]]], [[#References|[14]]], [[#References|[15]]], [[#References|[16]]], [[#References|[17]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   "On the solution of the general problem of diffraction"  ''Dokl. Akad. Nauk SSSR'' , '''96''' :  3  (1954)  pp. 433–436  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  O.A. Oleinik,   "Boundary value problem for linear equations of elliptic-parabolic type with discontinuous coefficients"  ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''25''' :  1  (1961)  pp. 3–20  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.A. Il'in,   I.A. Shishmarev,   "The method of potentials for the problems of Dirichlet and Neumann in the case of equations with discontinuous coefficients"  ''Sibirsk. Mat. Zh.'' , '''2''' :  1  (1961)  pp. 46–58  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  V.A. Il'in,   "On the solvability of the Dirichlet and Neumann problems for a linear elliptic operator with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''2''' :  2  (1961)  pp. 228–230  ''Dokl. Akad. Nauk SSSR'' , '''137''' :  1  (1961)  pp. 28–30</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   N.N. Ural'tseva,   "Linear and quasilinear elliptic equations" , Acad. Press  (1968)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  I.A. Shishmarev,   "Uniform estimates of the derivatives of solutions to the Dirichlet problem and to the problem of eigenvalues for the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195033.png" /> with discontinuous coefficients"  ''Soviet Math. Dokl'' , '''2''' :  2  (1961)  pp. 244–246  ''Dokl. Akad. Nauk SSSR'' , '''137''' :  1  (1961)  pp. 45–47</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  Van Tun,   "Asymptotic formulae for the solutions of boundary value problems for a general elliptic equation of the second order with discontinuous coefficients"  ''USSR Comp. Math. Phys.'' , '''4''' :  3  (1964)  pp. 257–262  ''Zh. Vychisl. Mat. i Mat. Fiz.'' , '''4''' :  3  (1964)  pp. 577–580</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  V.A. Il'in,   "A system of classical eigenfunctions for a linear self-adjoint elliptic operator with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''2''' :  2  (1961)  pp. 264–267  ''Dokl. Akad. Nauk SSSR'' , '''137''' :  2  (1961)  pp. 272–275</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  I.V. Girsanov,   "The solution of certain boundary problems for parabolic and elliptic equations with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''1''' :  6  (1960)  pp. 1373–1375  ''Dokl. Akad. Nauk SSSR'' , '''135''' :  6  (1960)  pp. 1311–1313</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  M.I. Freidlin,   "The Dirichlet problem for an equation involving a small parameter and with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''3''' :  3  (1962)  pp. 767–770  ''Dokl. Akad. Nauk SSSR'' , '''144''' :  3  (1962)  pp. 501–504</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  A.A. Samarskii,   "Proc. Fourth All-Union math. congress Leningrad, 1961" , '''2''' , Leningrad  (1964)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.A. Samarskii,   "A priori estimate for the solution of the difference analogue of a parabolic differential equation"  ''USSR Comp. Math. Math. Phys.'' , '''1''' :  3  (1962)  pp. 487–512  ''Zh. Vychisl. Mat. i Mat. Fiz.'' , '''1''' :  3  (1961)  pp. 441–460</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  M.V. Borsuk,   "A priori estimates and solvability of quasilinear elliptic second-order equations in a domain with nonlinear boundary and adjointness conditions"  ''Soviet Math. Dokl.'' , '''8'''  (1967)  pp. 1519–1523  ''Dokl. Akad. Nauk SSSR'' , '''177''' :  5  (1967)  pp. 991–994</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  L.I. Kamynin,   "On the theory of parabolic equations with discontinuous coefficients" , ''Proc. joint Soviet-American symp. on partial differential equations'' , Novosibirsk  (1963)  pp. 115–117  (In Russian)</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  L.I. Kamynin,   V.N. Maslennikova,   "The maximum principle for parabolic equations with continuous coefficients"  ''Sibirsk. Mat. Zh.'' , '''2''' :  3  (1961)  pp. 384–399  (In Russian)</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top">  V.A. Il'in,   "The Fourier method for a hyperbolic equation with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''3''' :  1  (1962)  pp. 12–15  ''Dokl. Akad. Nauk SSSR'' , '''142''' :  1  (1962)  pp. 21–24</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top">  Yu.V. Egorov,   "Hyperbolic equations with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''1''' :  5  (1960)  pp. 1095–1098  ''Dokl. Akad. Nauk SSSR'' , '''134''' :  3  (1960)  pp. 514–517</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top">  M. Schechter,   "A generalization of the problem of transmission"  ''Ann. Scuola Norm. Sup. Pisa Sci. Fiz. Mat.'' , '''14'''  (1960)  pp. 207–236</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top">  Ya.A. Roitberg,   Z.G. Sheftel',   "General boundary-value problems for elliptic equations with discontinuous coefficients"  ''Soviet Math. Dokl.'' , '''4''' :  1  (1963)  pp. 231–234  ''Dokl. Akad. Nauk SSSR'' , '''148''' :  5  (1963)  pp. 1034–1037</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top">  Ya.A. Roitberg,   Z.G. Sheftel',   "Green's formula and a theorem on homeomorphisms for elliptic systems"  ''Uspekhi Mat. Nauk'' , '''22''' :  2  (1967)  pp. 181–182  (In Russian)</TD></TR></table>



====Comments====
If in a non-linear equation a coefficient or the free term is discontinuous (or singular) for some given value of the unknown, then the corresponding boundary value problem can be formulated as a free boundary problem (see [[Differential equation, partial, free boundaries|Differential equation, partial, free boundaries]]).

==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/d/d031/d031950/d03195034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>

<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195035.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195036.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195037.png" /> otherwise, is often referred to as the oxygen diffusion-consumption equation [[#References|[a1]]]. The initial boundary value problem for (a1) can be alternatively formulated as the problem of finding a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195038.png" /> and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195039.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195040.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195041.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195042.png" />, with the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195043.png" /> on the free boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d031/d031950/d03195044.png" />.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Crank,   R.S. Gupta,   "A moving boundary problem arising from the diffusion of oxygen in absorbing tissue"  ''J. Inst. Math. Appl.'' , '''10'''  (1972)  pp. 19–33</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G.I. Eskin,   "The conjugacy problem for equations of principal type with two independent variables"  ''Trans. Moscow Math. Soc.'' , '''21'''  (1970)  pp. 263–316  ''Tr. Moskov. Mat. Obshch.'' , '''21'''  (1970)  pp. 245–292</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   V.A. Solonnikov,   N.N. Ural'tseva,   "Linear and quasilinear equations of parabolic type" , Amer. Math. Soc.  (1968)  (Translated from Russian)</TD></TR></table>