View source for Mixed and boundary value problems for hyperbolic equations and systems

Problems of finding solutions of (systems of) partial differential equations of hyperbolic type that satisfy specific conditions on the boundaries of their domains (or on parts of it) (see [[Boundary conditions|Boundary conditions]]; [[Initial conditions|Initial conditions]]).

A boundary value problem for (a system of) hyperbolic equations in some domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641801.png" /> of a Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641802.png" /> is called a mixed or initial boundary value problem if the desired solution, as well as the boundary conditions, must also satisfy initial conditions, or if the support <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641803.png" /> of the boundary data consists of both characteristic and non-characteristic oriented manifolds.

For second-order hyperbolic equations, the support of the initial data in a mixed problem is the spatially-oriented part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641804.png" />. On the time-oriented part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641805.png" />, the boundary conditions are usually of the same type as for parabolic equations (see [[Mixed and boundary value problems for parabolic equations and systems|Mixed and boundary value problems for parabolic equations and systems]]).

Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641806.png" /> be a domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641807.png" /> of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641808.png" /> with a sufficiently smooth boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m0641809.png" />, and let

<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/m/m064/m064180/m06418010.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/m/m064/m064180/m06418011.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/m/m064/m064180/m06418012.png" /></td> </tr></table>

Consider in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418013.png" /> the second-order linear hyperbolic 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/m/m064/m064180/m06418014.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</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/m/m064/m064180/m06418015.png" /></td> </tr></table>

where summation is from 1 to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418016.png" /> over repeated subscripts <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418017.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418018.png" /> and the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418019.png" /> must be positive definite.

The basic mixed problems for equation (1) can be combined into the following: One has to find a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418020.png" /> of equation (1) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418021.png" /> that satisfies the initial 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/m/m064/m064180/m06418022.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>

on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418023.png" /> and one of the boundary 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/m/m064/m064180/m06418024.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</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/m/m064/m064180/m06418025.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</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/m/m064/m064180/m06418026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>

on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418027.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418028.png" /> is a co-normal with respect to the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418029.png" />. Problems (2), (3); (2), (4); and (2), (5) are usually called the first, second and third mixed problem for equation (1), respectively.

Under fairly general assumptions on the coefficients of (1) and on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418030.png" />, and also on the given functions, one can prove the existence and uniqueness of both regular and generalized solutions of all three mixed problems. The structural and differentiability properties of these solutions in the closed domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418031.png" /> in dependence on the smoothness of the boundary have also been investigated [[#References|[8]]]. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418032.png" />, the solutions of the mixed problems can be obtained in explicit form.

Mixed problems have been investigated for a wide class of linear and non-linear hyperbolic equations and systems (see [[Quasi-linear hyperbolic equations and systems|Quasi-linear hyperbolic equations and systems]]). There is a satisfactory theory of mixed problems for strictly-hyperbolic equations and systems 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/m/m064/m064180/m06418033.png" /></td> </tr></table>

with initial data on the spatially-oriented part of the boundary of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418034.png" /> lying in the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418035.png" />. There has also been a successful study of mixed problems for hyperbolic equations and systems in case the supports of the initial or the boundary conditions are surfaces of degenerate type or of the order of these equations (see [[Degenerate partial differential equation|Degenerate partial differential equation]]). Most substantial results have been obtained for second-order linear 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/m/m064/m064180/m06418036.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/m/m064/m064180/m06418037.png" /></td> </tr></table>

with coefficients satisfying the condition

<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/m/m064/m064180/m06418038.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418040.png" /> are positive constants, and especially 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/m/m064/m064180/m06418041.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</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/m/m064/m064180/m06418042.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/m/m064/m064180/m06418043.png" /></td> </tr></table>

Mixed problems with interior or exterior boundary conditions (see [[Exterior and interior boundary value problems|Exterior and interior boundary value problems]]) result from mathematical models of many processes in the theory of scattering of waves on obstructions. For example, the Sommerfeld radiation condition (see [[Radiation conditions|Radiation conditions]]) results from the problem of finding a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418044.png" /> of the wave 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/m/m064/m064180/m06418045.png" /></td> </tr></table>

for all points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418046.png" /> lying outside a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418047.png" />, given that the derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418048.png" /> in the direction of the exterior normal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418049.png" /> vanishes for any moment of time <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418050.png" />, where the initial conditions correspond to a planar wave running from infinity in the direction of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418051.png" />-axis.

The basic boundary value problems for hyperbolic equations and systems are the Goursat and the Darboux–Picard problems and their multi-dimensional analogues (see [[Goursat problem|Goursat problem]]; [[Cauchy characteristic problem|Cauchy characteristic problem]], and also [[#References|[1]]]).

The Goursat and Darboux–Picard problems, and various generalizations of them, have been thoroughly investigated for second-order hyperbolic equations and systems with split principal parts 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/m/m064/m064180/m06418052.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418055.png" /> are given real <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418056.png" />-matrices, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418057.png" /> is a given and $u$ the desired <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418059.png" />-dimensional vector. Substantial results have also been obtained for a fairly wide class of systems of second-order hyperbolic equations with non-split principal parts in the absence of parabolic degeneracy. It has been shown that the characteristic Goursat 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/m/m064/m064180/m06418060.png" /></td> </tr></table>

for the hyperbolic system

<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/m/m064/m064180/m06418061.png" /></td> </tr></table>

with two independent variables <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418062.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418063.png" /> does not have a unique solution, and the effect of the lowest terms on the well-posedness of this problem has been found [[#References|[3]]]. The influence of the nature of parabolic degeneracy on the well-posedness of both the local and the non-local boundary value problem for degenerate hyperbolic equations and systems has been thoroughly investigated [[#References|[3]]]. This applies in particular to basic (local) boundary value problems for linear degenerate 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/m/m064/m064180/m06418064.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/m/m064/m064180/m06418065.png" /></td> </tr></table>

in bounded domains with an arbitrary piecewise-smooth boundary, and the influence of the order of non-characteristic degeneracy on the well-posedness of the Darboux problem and the non-equivalence of characteristics as supports of boundary conditions has been described (see [[#References|[10]]]).

As to finding multi-dimensional analogues of the Darboux and Tricomi problems (see [[Mixed-type differential equation|Mixed-type differential equation]]), much work has been done on non-local boundary value problems, and especially on problems with a shift (see [[#References|[9]]]), for hyperbolic equations with a given condition on the characteristic parts of the boundary that connect pointwise the values of the desired solution and its (fractional) derivatives or integrals of some specific order.

Many boundary value problems with a shift that have been studied with great completeness and generality in the case of equation (1) are encompassed by the following formulation. In the domain bounded by the characteristics

<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/m/m064/m064180/m06418066.png" /></td> </tr></table>

and the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418067.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418068.png" /> on the line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418069.png" />, one has to find a (sufficiently smooth) solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418070.png" /> of equation (1) that satisfies on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418071.png" /> the local condition

<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/m/m064/m064180/m06418072.png" /></td> <td valign="top" style="width:5%;text-align:right;">(7)</td></tr></table>

and on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418073.png" /> the non-local condition

<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/m/m064/m064180/m06418074.png" /></td> <td valign="top" style="width:5%;text-align:right;">(8)</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/m/m064/m064180/m06418075.png" /></td> </tr></table>

Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418076.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418077.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418078.png" /> are given functions, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418079.png" /> is the fractional integro-differential operator of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418080.png" /> defined by

<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/m/m064/m064180/m06418081.png" /></td> </tr></table>

if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418082.png" />, and by

<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/m/m064/m064180/m06418083.png" /></td> </tr></table>

if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418084.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418085.png" /> is the gamma-function, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418086.png" /> is the integer part of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418087.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418088.png" /> is the point of intersection of the characteristic emanating from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418089.png" /> with the characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418090.png" /> of equation (1):

<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/m/m064/m064180/m06418091.png" /></td> </tr></table>

A detailed study has been made of boundary value problems with a shift for an equation of the form (1) which, in characteristic coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418092.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418093.png" />, reduces to an Euler–Darboux–Poisson 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/m/m064/m064180/m06418094.png" /></td> </tr></table>

A special case of the problems (7), (8) is the Darboux problem, which asks for a (sufficiently smooth) solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418095.png" /> of equation (6) satisfying the (local) boundary 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/m/m064/m064180/m06418096.png" /></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/m/m064/m064180/m06418097.png" /></td> </tr></table>

The condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418098.png" />, or the Gellerstedt condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m06418099.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180100.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180101.png" />, is essential in order that the Darboux problem be well-posed (see [[#References|[3]]], [[#References|[10]]]).

A qualitatively new multi-dimensional analogue of the Darboux problem is the Bitsadze problem, which in the case of the wave equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180102.png" /> can be posed in the following way (see [[#References|[1]]]). In the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180103.png" /> bounded by a part <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180104.png" /> of the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180105.png" /> and the two characteristic surfaces

<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/m/m064/m064180/m064180106.png" /></td> </tr></table>

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/m/m064/m064180/m064180107.png" /></td> </tr></table>

one has to find a solution of the equation satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180108.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180109.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180110.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180111.png" />.

Other multi-dimensional analogues have been studied, both of the Darboux problem and of non-local boundary value problems (of the type (2), (3)) for hyperbolic equations in special domains, for which the non-characteristic part of the boundary is usually a spatially-oriented surface. Most complete results have been obtained in the case of the Euler–Darboux–Poisson equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180112.png" />.

For 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/m/m064/m064180/m064180113.png" /></td> </tr></table>

much attention has been devoted to the following non-local problem. In the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180114.png" /> one has to find a (sufficiently smooth) solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180115.png" /> of equation

given that, for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180116.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/m/m064/m064180/m064180117.png" /></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/m/m064/m064180/m064180118.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180119.png" /> are given points in the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180120.png" />.

A new aspect in the theory of boundary value problems is the study of third-order 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/m/m064/m064180/m064180121.png" /></td> <td valign="top" style="width:5%;text-align:right;">(10)</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/m/m064/m064180/m064180122.png" /></td> </tr></table>

which lie at the basis of mathematical models for many processes and phenomena in the theory of mass or heat transfer in porous media. An extensive theory has been developed of both local and non-local linear boundary value problems for hyperbolic equations of the form (10), and in particular, an analogue of the [[Riemann method|Riemann method]] has been devised.

For linear symmetric hyperbolic systems of the first order (see [[Linear hyperbolic partial differential equation and system|Linear hyperbolic partial differential equation and system]]), a study has been made, within the limits of the theory of systems of first-order equations, of boundary value problems with admissible boundary conditions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m064/m064180/m064180123.png" /> (see [[#References|[6]]]).

The [[Dirichlet problem|Dirichlet problem]] is not, in general, well-posed for hyperbolic equations and systems in arbitrary domains. By methods of energy estimates and integral equations the well-posedness of this problem has been established for a wide class of second-order hyperbolic equations in special cylindrical domains.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Bitsadze,   "Certain classes of partial differential equations" , Moscow  (1981)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  V.S. Vladimirov,   "Equations of mathematical physics" , MIR  (1984)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  S. Gellerstedt,   "Sur une équation linéaire aux derivées partielles du type mixte"  ''Ark. Mat. Astr. Fys.'' , '''25A''' :  29  (1937)  pp. 1–23</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  S.K. Godunov,   "The equations of mathematical physics" , Moscow  (1979)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  T.D. Dzhuraev,   "Boundary value problems for equations of mixed and mixed-composite type" , Tashkent  (1979)  (In Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.A. Dezin,   "General questions in the theory of boundary value problems" , Moscow  (1980)  (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  M.M. Lavrent'ev,   V.G. Romanov,   V.G. Vasil'ev,   "Multidimensional inverse problems for differential equations" , Springer  (1970)  (Translated from Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  O.A. Ladyzhenskaya,   "A mixed problem for a hyperbolic equation" , Moscow  (1953)  (In Russian)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  A.M. Nakhushev,   "Certain boundary value problems for hyperbolic equations and for equations of mixed type"  ''Differential Eq.'' , '''5''' :  1  (1969)  pp. 37–57  ''Differentsial'nye Uravn.'' , '''5''' :  1  (1969)  pp. 44–59</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  A.M. Nakhushev,   "Darboux's problem for degenerate hyperbolic equations"  ''Differential Eq.'' , '''7''' :  1  (1971)  pp. 41–48  ''Differentsial'nye Uravn.'' , '''7''' :  1  (1971)  pp. 49–56</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  M.S. Salakhitdinov,   "Equations of mixed-composite type" , Tashkent  (1974)  (In Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.N. [A.N. Tikhonov] Tichonoff,   A.A. Samarskii,   "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  M.Kh. Shkhanukov,   "Boundary-value problems for a third-order equation occurring in the modelling of water filtration in porous media"  ''Differential Eq.'' , '''18''' :  4  (1982)  pp. 509–517  ''Differentsial'nye Uravn.'' , '''18''' :  4  (1982)  pp. 689–698</TD></TR></table>



====Comments====
Concerning the terminology  "mixed"  see (the editorial comment to) [[Mixed and boundary value problems for parabolic equations and systems|Mixed and boundary value problems for parabolic equations and systems]].