View source for First boundary value problem

<!--
f0404401.png
$#A+1 = 47 n = 0
$#C+1 = 47 : ~/encyclopedia/old_files/data/F040/F.0400440 First boundary value problem
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 boundary value problem of special form, in which it is required to find solutions to a differential equation

$$ \tag{1 }
Lu  =  f
$$

of even order  $  2m $
in a region  $  D $
of the variables  $  x = ( x _ {1} \dots x _ {n} ) $
for given values of the function  $  u $
and all its (normal) derivatives of order not exceeding  $  m- 1 $
on the boundary  $  S $
of  $  D $(
or on a part of it). These conditions are usually put in the form

$$ \tag{2 }
\left . \left ( 
\frac \partial {\partial  n }
 \right )  ^ {k} u \right | _ {S}  =  \phi _ {k} ,\ \ 
0 \leq  k \leq  m- 1,
$$

where  $  \partial  / \partial  n $
is the derivative along the outward normal to  $  \partial  D $. 
The functions  $  \phi _ {k} $, 
$  0 \leq  k \leq  m- 1 $, 
are called the Dirichlet data, and the problem (1), (2) is called a [[Dirichlet problem|Dirichlet problem]] if  $  S = \partial  D $.

For an ordinary differential equation

$$ \tag{3 }
Lu  \equiv  u  ^ {\prime\prime} + a _ {1} u  ^  \prime  + au  =  f
$$

in a domain  $  D $
of variables  $  ( x _ {0} , x _ {1} ) $, 
the first boundary value problem is defined by the boundary conditions

$$ 
u( x _ {0} )  =  y _ {0} ,\ \ 
u( x _ {1} )  =  y _ {1} .
$$

For a linear uniformly-elliptic equation

$$ \tag{4 }
Lu  \equiv  \sum _ {i,j= 1 } ^ { n }  a _ {ij} u _ {x _ {i}  x _ {j} } + \sum _ { i= 1} ^ { n }  a _ {i} u _ {x _ {i}  } + au  =  f
$$

the first boundary value problem (the Dirichlet problem) consists in finding solutions to this equation subject to the condition

$$ 
\left . u \right | _ {\partial  D }   =  \phi .
$$

If the functions  $  a _ {ij} $, 
$  a _ {i} $, 
$  a $, 
$  f $, 
$  \phi $, 
and the  $  ( n- 1) $-
dimensional manifold  $  \partial  D $
are sufficiently smooth, this is a Fredholm problem. In particular, if the measure of  $  D $
is sufficiently small or if  $  a \leq  0 $
in  $  D $, 
then the problem is uniquely solvable. The smoothness conditions can be weakened considerably not only with respect to the coefficients in the equations and the Dirichlet data but also with respect to the boundary  $  \partial  D $.

If (1) is a system of  $  N > 1 $
equations for an unknown  $  N $-
component vector  $  u $, 
then the first boundary value problem is posed analogously. In that case there is a substantial difference between the Dirichlet problems for systems (3) and (4): while (3), (2)  $  ( S = \partial  D) $
is always a Fredholm problem, this needs not apply to the problem (4), (2). For example, the homogeneous Dirichlet problem for the uniformly-elliptic Bitsadze system (cf. [[#References|[1]]])

$$ 
u _ {xx}  ^ {1} - u _ {yy}  ^ {1} - 2u _ {xy}  ^ {2}  =  0,
$$

$$ 
2u _ {xy}  ^ {1} + u _ {xx}  ^ {2} - u _ {yy}  ^ {2}  =  0
$$

in the disc  $  x  ^ {2} + y  ^ {2} < R  ^ {2} $
has an infinite number of linearly independent solutions. This example provides a reference point for various additional conditions on  $  L $(
regular ellipticity, strong ellipticity) ensuring that the Dirichlet problem is of Fredholm type.

For linear parabolic equations, the first boundary value problem is posed in a cylinder, and the support for the Dirichlet data is provided by the base and the lateral surface. For example, for the [[thermal-conductance equation]] (heat equation)

$$ 
Lu  \equiv  u _ {t} - \sum _ { i= 1} ^ { n }  u _ {x _ {i}  x _ {i} }  =  0
$$

the solution has to be determined in a region

$$ 
D  =  \{ 0 < t < T, x = ( x _ {1} \dots x _ {n} ) \in G \}
$$

and the support for the Dirichlet data  $  \phi = u \mid  _ {S} $
is

$$ 
S  =  \{ 0 \leq  t \leq  T, x \in \partial  G \} \cup \{ t = 0, x \in \partial 
G \} .
$$

If the boundary  $  \partial  G $
is a smooth manifold of dimension  $  n- 1 $, 
if the function  $  \phi $
is smooth and if a compatibility condition is satisfied on  $  \{ t = 0, x \in \partial  G \} $, 
then the first boundary value problem is uniquely solvable.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.V. Bitsadze,   "Some classes of partial differential equations" , Gordon &amp; Breach  (1988)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L. Bers,   F. John,   M. Schechter,   "Partial differential equations" , Interscience  (1964)</TD></TR><TR><TD valign="top">[3]</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">[4]</TD> <TD valign="top">  C. Miranda,   "Partial differential equations of elliptic type" , Springer  (1970)  (Translated from Italian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  I.G. Petrovskii,   "Partial differential equations" , Saunders  (1967)  (Translated from Russian)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.V. Bitsadze,   "Equations of mathematical physics" , MIR  (1980)  (Translated from Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  L. Hörmander,   "Linear partial differential operators" , Springer  (1976)</TD></TR></table>

====Comments====
The first boundary value problem has been generalized to the notion of an elliptic boundary value problem. See [[#References|[a1]]], Chapt. 20, also for a study of the Fredholm properties.

For the theory of boundary value problems for non-linear elliptic equations, which undergoes intensive development nowadays (1988), see [[#References|[a2]]], [[#References|[a3]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L.V. Hörmander,   "The analysis of linear partial differential operators" , '''3''' , Springer  (1985)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  D. Gilbarg,   N.S. Trudinger,   "Elliptic partial differential equations of second order" , Springer  (1977)</TD></TR><TR><TD valign="top">[a3]</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">[a4]</TD> <TD valign="top">  A. Friedman,   "Partial differential equations" , Holt, Rinehart &amp; Winston  (1969)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Friedman,   "Partial differential equations of parabolic type" , Prentice-Hall  (1964)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  P.R. Garabedian,   "Partial differential equations" , Wiley  (1964)</TD></TR></table>