Namespaces
Variants
Actions

Difference between revisions of "Boundary value problem, partial differential equations"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
 
Line 1: Line 1:
The problem of determining in some region <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173801.png" /> with points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173802.png" /> a solution <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173803.png" /> to an equation
+
<!--
 +
b0173801.png
 +
$#A+1 = 75 n = 0
 +
$#C+1 = 75 : ~/encyclopedia/old_files/data/B017/B.0107380 Boundary value problem, partial differential equations
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<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/b/b017/b017380/b0173804.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
which satisfies certain boundary conditions on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173805.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173806.png" /> (or on a part of it):
+
The problem of determining in some region  $  D $
 +
with points  $  x = (x _ {1} \dots x _ {n} ) $
 +
a solution  $  u (x) $
 +
to an 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/b/b017/b017380/b0173807.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
$$ \tag{1 }
 +
(Lu) (x)  = f (x),\ \
 +
x \in D,
 +
$$
  
As a rule, the boundary conditions relate the boundary values of the solution to its derivatives up to a certain order, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173808.png" /> is a differential operator. However, boundary conditions of other types also occur.
+
which satisfies certain boundary conditions on the boundary  $  S $
 +
of  $  D $(
 +
or on a part of it):
 +
 
 +
$$ \tag{2 }
 +
(Bu) (y)  =  \phi (y),\ \
 +
y \in S.
 +
$$
 +
 
 +
As a rule, the boundary conditions relate the boundary values of the solution to its derivatives up to a certain order, i.e. $  B $
 +
is a differential operator. However, boundary conditions of other types also occur.
  
 
Given a differential equation, the question whether a specific boundary value problem should be studied is frequently settled by the concept of what is known as well-posedness. Namely, a boundary value problem is well-posed if it is solvable, and if its solution is unique and depends continuously on the data of the problem. Different types of differential equations require different well-posed boundary value problems; and conversely, well-posed boundary value problems may sometimes serve as a basis for the classification of types of differential equations.
 
Given a differential equation, the question whether a specific boundary value problem should be studied is frequently settled by the concept of what is known as well-posedness. Namely, a boundary value problem is well-posed if it is solvable, and if its solution is unique and depends continuously on the data of the problem. Different types of differential equations require different well-posed boundary value problems; and conversely, well-posed boundary value problems may sometimes serve as a basis for the classification of types of differential equations.
  
A boundary value problem is said to be linear if the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b0173809.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738010.png" /> are linear, and homogeneous if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738011.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738012.png" /> in (1), (2) vanish. A linear boundary value problem is said to be Noetherian if: a) the homogeneous problem has a finite number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738013.png" /> of linearly independent solutions; b) the inhomogeneous problem is solvable if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738015.png" /> satisfy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738016.png" /> linearly independent orthogonality conditions; and c) on the assumption that the problem is uniquely solvable, the solution depends continuously on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738018.png" />.
+
A boundary value problem is said to be linear if the operators $  L $
 +
and $  B $
 +
are linear, and homogeneous if $  f $
 +
and $  \phi $
 +
in (1), (2) vanish. A linear boundary value problem is said to be Noetherian if: a) the homogeneous problem has a finite number $  k $
 +
of linearly independent solutions; b) the inhomogeneous problem is solvable if and only if $  f $
 +
and $  \phi $
 +
satisfy $  l $
 +
linearly independent orthogonality conditions; and c) on the assumption that the problem is uniquely solvable, the solution depends continuously on $  f $
 +
and $  \phi $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738019.png" />, the problem is called a Fredholm problem. The difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738020.png" /> defines the index of the problem.
+
If $  k = l $,  
 +
the problem is called a Fredholm problem. The difference $  k - l $
 +
defines the index of the problem.
  
 
A broad range of boundary value problems for linear second-order differential equations
 
A broad range of boundary value problems for linear second-order differential equations
  
<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/b/b017/b017380/b01738021.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{3 }
 +
Lu  = \
 +
\sum _ {i, j = 0 } ^ { n }
 +
a _ {ij} (x)
 +
 
 +
\frac{\partial  ^ {2} u }{\partial  x _ {i} \partial  x _ {j} }
 +
+
 +
\sum _ {i = 0 } ^ { n }
 +
b _ {i} (x)
 +
 
 +
\frac{\partial  u }{\partial  x _ {i} }
 +
+
 +
c (x) u =
 +
$$
 +
 
 +
$$
 +
= \
 +
f (x)
 +
$$
 +
 
 +
falls into the category of the Poincaré problem. In this type of problem the boundary conditions are prescribed on the entire boundary, which is assumed to be an  $  (n - 1) $-
 +
dimensional manifold, and the boundary operator  $  B $
 +
in (2) has the form
 +
 
 +
$$ \tag{4 }
 +
(Bu) (y)  = \
 +
\sum _ {i = 1 } ^ { n }
 +
p _ {i} (y)
 +
 
 +
\frac{\partial  u }{\partial  x _ {i} }
  
<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/b/b017/b017380/b01738022.png" /></td> </tr></table>
+
+ p (y) u  = \phi (y),\ \
 +
y \in S.
 +
$$
  
falls into the category of the Poincaré problem. In this type of problem the boundary conditions are prescribed on the entire boundary, which is assumed to be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738023.png" />-dimensional manifold, and the boundary operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738024.png" /> in (2) has the form
+
The Poincaré problem for bounded regions  $  D $
 +
with sufficiently-smooth boundaries have been thoroughly investigated in the case of uniformly-elliptic operators  $  L $.
  
<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/b/b017/b017380/b01738025.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
On the assumption that the coefficients of the operators  $  L $
 +
and  $  B $
 +
in (3), (4) are sufficiently smooth, and that the boundary of  $  D $
 +
is sufficiently smooth, the Poincaré problem is Noetherian if  $  n = 2 $,
 +
$  \sum p _ {i}  ^ {2} > 0 $,
 +
and is a Fredholm problem if  $  n > 2 $,
 +
$  \sum p _ {i}  ^ {2} > 0 $
 +
and the vector  $  \mathbf p = (p _ {1} \dots p _ {n} ) $
 +
is not tangent to  $  S $.  
 +
Investigations of the Poincaré problem in the two-dimensional case make extensive use of the theory of functions of a complex variable (see [[Boundary value problem, complex-variable methods|Boundary value problem, complex-variable methods]]).
  
The Poincaré problem for bounded regions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738026.png" /> with sufficiently-smooth boundaries have been thoroughly investigated in the case of uniformly-elliptic operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738027.png" />.
+
Boundary conditions for the general elliptic equation of order  $  2m $
  
On the assumption that the coefficients of the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738029.png" /> in (3), (4) are sufficiently smooth, and that the boundary of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738030.png" /> is sufficiently smooth, the Poincaré problem is Noetherian if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738032.png" />, and is a Fredholm problem if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738033.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738034.png" /> and the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738035.png" /> is not tangent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738036.png" />. Investigations of the Poincaré problem in the two-dimensional case make extensive use of the theory of functions of a complex variable (see [[Boundary value problem, complex-variable methods|Boundary value problem, complex-variable methods]]).
+
$$ \tag{5 }
 +
Lu  = \
 +
\sum _ {| \alpha | \leq  2m }
 +
a _  \alpha  (x)
  
Boundary conditions for the general elliptic equation of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738037.png" />
+
\frac{\partial  ^ {| \alpha | } u }{\partial  x  ^  \alpha  }
  
<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/b/b017/b017380/b01738038.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
= f (x),\ \
 +
x \in D,
 +
$$
  
 
may be prescribed in terms of linear differential operators
 
may be prescribed in terms of linear differential operators
  
<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/b/b017/b017380/b01738039.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>
+
$$ \tag{6 }
 +
B _ {j} u  = \
 +
\sum _ {| \alpha | \leq  m _ {j} }
 +
b _ {j \alpha }  (y)
 +
 
 +
\frac{\partial  ^ {| \alpha | } u }{\partial  x  ^  \alpha  }
 +
 
 +
= \phi _ {j} (y),\ \
 +
y \in S,\ \
 +
1 \leq  j \leq  m,
 +
$$
 +
 
 +
of order  $  m _ {j} < 2m $,
 +
with coefficients defined on the boundary  $  S $
 +
of  $  D $.
 +
Here  $  \alpha = ( \alpha _ {1} \dots \alpha _ {n} ) $,
 +
$  \alpha _ {i} $
 +
is a non-negative integer,  $  | \alpha | = \sum _ {i = 1 }  ^ {n} \alpha _ {i} $
 +
and
 +
 
 +
$$
  
of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738040.png" />, with coefficients defined on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738041.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738042.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738043.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738044.png" /> is a non-negative integer, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738045.png" /> and
+
\frac{\partial  ^ {| \alpha | } }{\partial  x  ^  \alpha  }
 +
  = \
  
<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/b/b017/b017380/b01738046.png" /></td> </tr></table>
+
\frac{\partial  ^ {| \alpha | } }{\partial  x _ {1} ^ {\alpha _ {1} } \dots
 +
\partial  _ {x _ {n}  } ^ {\alpha _ {n} } }
 +
.
 +
$$
  
If the operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738047.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738048.png" /> satisfy the so-called complementarity conditions, then bounds for the derivatives of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738049.png" /> of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738050.png" /> satisfying the boundary conditions can be formulated (relative to an appropriate norm) in terms of the norm of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738051.png" /> in (5) and suitable norms of the boundary functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738052.png" /> in (6). Boundary value problems of this type are said to be coercive.
+
If the operators $  L $
 +
and $  B _ {j} $
 +
satisfy the so-called complementarity conditions, then bounds for the derivatives of order $  2m $
 +
of the function $  u $
 +
satisfying the boundary conditions can be formulated (relative to an appropriate norm) in terms of the norm of $  f $
 +
in (5) and suitable norms of the boundary functions $  \phi _ {j} $
 +
in (6). Boundary value problems of this type are said to be coercive.
  
 
Another type of boundary value problems are known as mixed problems (cf. [[Mixed problem|Mixed problem]]), in which different boundary conditions are prescribed on adjacent sections of the boundary.
 
Another type of boundary value problems are known as mixed problems (cf. [[Mixed problem|Mixed problem]]), in which different boundary conditions are prescribed on adjacent sections of the boundary.
  
Characteristic for boundary value problems of differential equations that are uniformly elliptic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738053.png" /> is that the boundary conditions are prescribed on the entire boundary. If the operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738054.png" /> in (3) is elliptic in the interior of the region and parabolically degenerates on a section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738055.png" />, then, depending on the type of degeneracy, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738056.png" /> can be eliminated from the specification of the boundary conditions. See also [[Boundary value problem, elliptic equations|Boundary value problem, elliptic equations]].
+
Characteristic for boundary value problems of differential equations that are uniformly elliptic in $  \overline{D}\; $
 +
is that the boundary conditions are prescribed on the entire boundary. If the operator $  L $
 +
in (3) is elliptic in the interior of the region and parabolically degenerates on a section $  S _ {0} \subseteq S $,  
 +
then, depending on the type of degeneracy, $  S _ {0} $
 +
can be eliminated from the specification of the boundary conditions. See also [[Boundary value problem, elliptic equations|Boundary value problem, elliptic equations]].
  
 
If equation (3) is not elliptic, part of the boundary may usually be eliminated from the specification of the boundary conditions. For example, given the simplest equation of parabolic type, the heat equation
 
If equation (3) is not elliptic, part of the boundary may usually be eliminated from the specification of the boundary conditions. For example, given the simplest equation of parabolic type, the 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/b/b017/b017380/b01738057.png" /></td> </tr></table>
+
$$
 +
Lu  = \
 +
 
 +
\frac{\partial  ^ {2} u }{\partial  x  ^ {2} }
 +
-
 +
 
 +
\frac{\partial  u }{\partial  t }
 +
  = 0,
 +
$$
  
the Dirichlet problem in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738058.png" /> bounded by the straight lines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738059.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738060.png" /> amounts to the specification of boundary values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738061.png" /> on the intervals <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738062.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738063.png" />.
+
the Dirichlet problem in the domain $  D $
 +
bounded by the straight lines $  x = \pm  1, $
 +
$  t = \pm  1 $
 +
amounts to the specification of boundary values $  u $
 +
on the intervals $  \{ t = \pm  1, -1 \leq  x \leq  +1 \} $
 +
and $  \{ x = \pm  1, -1 \leq  t \leq  1 \} $.
  
 
Boundary value problems for equations of mixed elliptic-hyperbolic type are formulated in a special manner.
 
Boundary value problems for equations of mixed elliptic-hyperbolic type are formulated in a special manner.
  
Boundary value problems occupy an important position in the theory of analytic functions. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738064.png" /> be a piecewise-smooth curve in the plane, i.e. a union of a finite number of simple oriented arcs. The linear conjugation problem consists in determining a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738065.png" />, analytic outside <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738066.png" />, having limit values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738067.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738068.png" />, from both sides of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738069.png" /> and satisfying the boundary condition
+
Boundary value problems occupy an important position in the theory of analytic functions. Let $  S $
 +
be a piecewise-smooth curve in the plane, i.e. a union of a finite number of simple oriented arcs. The linear conjugation problem consists in determining a function $  \phi (z) $,  
 +
analytic outside $  S $,  
 +
having limit values $  \phi  ^  \pm  (t) $,  
 +
$  t \in S $,  
 +
from both sides of $  S $
 +
and satisfying the boundary 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/b/b017/b017380/b01738070.png" /></td> </tr></table>
+
$$
 +
\phi  ^ {+} (t) -
 +
G (t) \phi  ^ {-} (t)
 +
= g (t),\ \
 +
t \in S,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738071.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738072.png" /> are given functions. The solution to this problem can be specified in explicit form with the help of representations of analytic functions by Cauchy-type integrals, subject to certain additional assumptions concerning the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738073.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738074.png" /> and the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017380/b01738075.png" />. See [[Boundary value problems of analytic function theory|Boundary value problems of analytic function theory]].
+
where $  G (t) $
 +
and $  g (t) $
 +
are given functions. The solution to this problem can be specified in explicit form with the help of representations of analytic functions by Cauchy-type integrals, subject to certain additional assumptions concerning the functions $  G $,  
 +
$  g $
 +
and the curve $  S $.  
 +
See [[Boundary value problems of analytic function theory|Boundary value problems of analytic function theory]].
  
 
Various methods are available for the investigation of boundary value problems. The [[Schwarz alternating method|Schwarz alternating method]], Poincaré's related [[Balayage method|balayage method]] and the [[Perron method|Perron method]] are based on an application of the maximum principle. A solution using integral equations is based on various integral representations of the solutions. Among functional methods is the investigation of boundary value problems using a priori estimates. The theory of distributions is widely applied. In practical applications, various finite-difference methods are quite frequently used.
 
Various methods are available for the investigation of boundary value problems. The [[Schwarz alternating method|Schwarz alternating method]], Poincaré's related [[Balayage method|balayage method]] and the [[Perron method|Perron method]] are based on an application of the maximum principle. A solution using integral equations is based on various integral representations of the solutions. Among functional methods is the investigation of boundary value problems using a priori estimates. The theory of distributions is widely applied. In practical applications, various finite-difference methods are quite frequently used.
Line 65: Line 209:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L. Bers,  F. John,  M. Schechter,  "Partial differential equations" , Interscience  (1964)  {{MR|0163043}} {{ZBL|0126.00207}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.V. Bitsadze,  "Boundary value problems for second-order elliptic equations" , North-Holland  (1968)  (Translated from Russian)  {{MR|0226183}} {{ZBL|0167.09401}} </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)  {{MR|0195654}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  O.A. Ladyzhenskaya,  "The boundary value problems of mathematical physics" , Springer  (1985)  (Translated from Russian)  {{MR|0793735}} {{ZBL|0588.35003}} </TD></TR><TR><TD valign="top">[5]</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">[6]</TD> <TD valign="top">  N.I. Muskhelishvili,  "Singular integral equations" , Wolters-Noordhoff  (1972)  (Translated from Russian)  {{MR|0355494}} {{ZBL|0488.45002}} {{ZBL|0174.16202}} {{ZBL|0174.16201}} {{ZBL|0103.07502}} {{ZBL|0108.29203}} {{ZBL|0051.33203}} {{ZBL|0041.22601}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A.N. [A.N. Tikhonov] Tichonoff,  A.A. Samarskii,  "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)  {{MR|104888}} {{ZBL|}} </TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  L. Bers,  F. John,  M. Schechter,  "Partial differential equations" , Interscience  (1964)  {{MR|0163043}} {{ZBL|0126.00207}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.V. Bitsadze,  "Boundary value problems for second-order elliptic equations" , North-Holland  (1968)  (Translated from Russian)  {{MR|0226183}} {{ZBL|0167.09401}} </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)  {{MR|0195654}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  O.A. Ladyzhenskaya,  "The boundary value problems of mathematical physics" , Springer  (1985)  (Translated from Russian)  {{MR|0793735}} {{ZBL|0588.35003}} </TD></TR><TR><TD valign="top">[5]</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">[6]</TD> <TD valign="top">  N.I. Muskhelishvili,  "Singular integral equations" , Wolters-Noordhoff  (1972)  (Translated from Russian)  {{MR|0355494}} {{ZBL|0488.45002}} {{ZBL|0174.16202}} {{ZBL|0174.16201}} {{ZBL|0103.07502}} {{ZBL|0108.29203}} {{ZBL|0051.33203}} {{ZBL|0041.22601}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A.N. [A.N. Tikhonov] Tichonoff,  A.A. Samarskii,  "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)  {{MR|104888}} {{ZBL|}} </TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====

Latest revision as of 06:29, 30 May 2020


The problem of determining in some region $ D $ with points $ x = (x _ {1} \dots x _ {n} ) $ a solution $ u (x) $ to an equation

$$ \tag{1 } (Lu) (x) = f (x),\ \ x \in D, $$

which satisfies certain boundary conditions on the boundary $ S $ of $ D $( or on a part of it):

$$ \tag{2 } (Bu) (y) = \phi (y),\ \ y \in S. $$

As a rule, the boundary conditions relate the boundary values of the solution to its derivatives up to a certain order, i.e. $ B $ is a differential operator. However, boundary conditions of other types also occur.

Given a differential equation, the question whether a specific boundary value problem should be studied is frequently settled by the concept of what is known as well-posedness. Namely, a boundary value problem is well-posed if it is solvable, and if its solution is unique and depends continuously on the data of the problem. Different types of differential equations require different well-posed boundary value problems; and conversely, well-posed boundary value problems may sometimes serve as a basis for the classification of types of differential equations.

A boundary value problem is said to be linear if the operators $ L $ and $ B $ are linear, and homogeneous if $ f $ and $ \phi $ in (1), (2) vanish. A linear boundary value problem is said to be Noetherian if: a) the homogeneous problem has a finite number $ k $ of linearly independent solutions; b) the inhomogeneous problem is solvable if and only if $ f $ and $ \phi $ satisfy $ l $ linearly independent orthogonality conditions; and c) on the assumption that the problem is uniquely solvable, the solution depends continuously on $ f $ and $ \phi $.

If $ k = l $, the problem is called a Fredholm problem. The difference $ k - l $ defines the index of the problem.

A broad range of boundary value problems for linear second-order differential equations

$$ \tag{3 } Lu = \ \sum _ {i, j = 0 } ^ { n } a _ {ij} (x) \frac{\partial ^ {2} u }{\partial x _ {i} \partial x _ {j} } + \sum _ {i = 0 } ^ { n } b _ {i} (x) \frac{\partial u }{\partial x _ {i} } + c (x) u = $$

$$ = \ f (x) $$

falls into the category of the Poincaré problem. In this type of problem the boundary conditions are prescribed on the entire boundary, which is assumed to be an $ (n - 1) $- dimensional manifold, and the boundary operator $ B $ in (2) has the form

$$ \tag{4 } (Bu) (y) = \ \sum _ {i = 1 } ^ { n } p _ {i} (y) \frac{\partial u }{\partial x _ {i} } + p (y) u = \phi (y),\ \ y \in S. $$

The Poincaré problem for bounded regions $ D $ with sufficiently-smooth boundaries have been thoroughly investigated in the case of uniformly-elliptic operators $ L $.

On the assumption that the coefficients of the operators $ L $ and $ B $ in (3), (4) are sufficiently smooth, and that the boundary of $ D $ is sufficiently smooth, the Poincaré problem is Noetherian if $ n = 2 $, $ \sum p _ {i} ^ {2} > 0 $, and is a Fredholm problem if $ n > 2 $, $ \sum p _ {i} ^ {2} > 0 $ and the vector $ \mathbf p = (p _ {1} \dots p _ {n} ) $ is not tangent to $ S $. Investigations of the Poincaré problem in the two-dimensional case make extensive use of the theory of functions of a complex variable (see Boundary value problem, complex-variable methods).

Boundary conditions for the general elliptic equation of order $ 2m $

$$ \tag{5 } Lu = \ \sum _ {| \alpha | \leq 2m } a _ \alpha (x) \frac{\partial ^ {| \alpha | } u }{\partial x ^ \alpha } = f (x),\ \ x \in D, $$

may be prescribed in terms of linear differential operators

$$ \tag{6 } B _ {j} u = \ \sum _ {| \alpha | \leq m _ {j} } b _ {j \alpha } (y) \frac{\partial ^ {| \alpha | } u }{\partial x ^ \alpha } = \phi _ {j} (y),\ \ y \in S,\ \ 1 \leq j \leq m, $$

of order $ m _ {j} < 2m $, with coefficients defined on the boundary $ S $ of $ D $. Here $ \alpha = ( \alpha _ {1} \dots \alpha _ {n} ) $, $ \alpha _ {i} $ is a non-negative integer, $ | \alpha | = \sum _ {i = 1 } ^ {n} \alpha _ {i} $ and

$$ \frac{\partial ^ {| \alpha | } }{\partial x ^ \alpha } = \ \frac{\partial ^ {| \alpha | } }{\partial x _ {1} ^ {\alpha _ {1} } \dots \partial _ {x _ {n} } ^ {\alpha _ {n} } } . $$

If the operators $ L $ and $ B _ {j} $ satisfy the so-called complementarity conditions, then bounds for the derivatives of order $ 2m $ of the function $ u $ satisfying the boundary conditions can be formulated (relative to an appropriate norm) in terms of the norm of $ f $ in (5) and suitable norms of the boundary functions $ \phi _ {j} $ in (6). Boundary value problems of this type are said to be coercive.

Another type of boundary value problems are known as mixed problems (cf. Mixed problem), in which different boundary conditions are prescribed on adjacent sections of the boundary.

Characteristic for boundary value problems of differential equations that are uniformly elliptic in $ \overline{D}\; $ is that the boundary conditions are prescribed on the entire boundary. If the operator $ L $ in (3) is elliptic in the interior of the region and parabolically degenerates on a section $ S _ {0} \subseteq S $, then, depending on the type of degeneracy, $ S _ {0} $ can be eliminated from the specification of the boundary conditions. See also Boundary value problem, elliptic equations.

If equation (3) is not elliptic, part of the boundary may usually be eliminated from the specification of the boundary conditions. For example, given the simplest equation of parabolic type, the heat equation

$$ Lu = \ \frac{\partial ^ {2} u }{\partial x ^ {2} } - \frac{\partial u }{\partial t } = 0, $$

the Dirichlet problem in the domain $ D $ bounded by the straight lines $ x = \pm 1, $ $ t = \pm 1 $ amounts to the specification of boundary values $ u $ on the intervals $ \{ t = \pm 1, -1 \leq x \leq +1 \} $ and $ \{ x = \pm 1, -1 \leq t \leq 1 \} $.

Boundary value problems for equations of mixed elliptic-hyperbolic type are formulated in a special manner.

Boundary value problems occupy an important position in the theory of analytic functions. Let $ S $ be a piecewise-smooth curve in the plane, i.e. a union of a finite number of simple oriented arcs. The linear conjugation problem consists in determining a function $ \phi (z) $, analytic outside $ S $, having limit values $ \phi ^ \pm (t) $, $ t \in S $, from both sides of $ S $ and satisfying the boundary condition

$$ \phi ^ {+} (t) - G (t) \phi ^ {-} (t) = g (t),\ \ t \in S, $$

where $ G (t) $ and $ g (t) $ are given functions. The solution to this problem can be specified in explicit form with the help of representations of analytic functions by Cauchy-type integrals, subject to certain additional assumptions concerning the functions $ G $, $ g $ and the curve $ S $. See Boundary value problems of analytic function theory.

Various methods are available for the investigation of boundary value problems. The Schwarz alternating method, Poincaré's related balayage method and the Perron method are based on an application of the maximum principle. A solution using integral equations is based on various integral representations of the solutions. Among functional methods is the investigation of boundary value problems using a priori estimates. The theory of distributions is widely applied. In practical applications, various finite-difference methods are quite frequently used.

References

[1] L. Bers, F. John, M. Schechter, "Partial differential equations" , Interscience (1964) MR0163043 Zbl 0126.00207
[2] A.V. Bitsadze, "Boundary value problems for second-order elliptic equations" , North-Holland (1968) (Translated from Russian) MR0226183 Zbl 0167.09401
[3] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) MR0195654
[4] O.A. Ladyzhenskaya, "The boundary value problems of mathematical physics" , Springer (1985) (Translated from Russian) MR0793735 Zbl 0588.35003
[5] C. Miranda, "Partial differential equations of elliptic type" , Springer (1970) (Translated from Italian) MR0284700 Zbl 0198.14101
[6] N.I. Muskhelishvili, "Singular integral equations" , Wolters-Noordhoff (1972) (Translated from Russian) MR0355494 Zbl 0488.45002 Zbl 0174.16202 Zbl 0174.16201 Zbl 0103.07502 Zbl 0108.29203 Zbl 0051.33203 Zbl 0041.22601
[7] A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian) MR104888

Comments

Useful additional references are given below.

References

[a1] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 1–2 , Interscience (1953–1962) (Translated from German) MR1013360 MR0195654 MR1532618 MR0140802 MR0065391 MR0046886
[a2] A. Friedman, "Partial differential equations" , Holt, Rinehart & Winston (1969) MR0445088 Zbl 0224.35002
[a3] P.R. Garabedian, "Partial differential equations" , Wiley (1964) MR0162045 Zbl 0124.30501
[a4] L. Hörmander, "Linear partial differential operators" , Springer (1963) pp. 29; 31 MR0161012 Zbl 0108.09301
[a5] 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
[a6] J.L. Lions, E. Magenes, "Non-homogenous boundary value problems and applications" , 1–3 , Springer (1972) (Translated from French)
[a7] M.H. Protter, H.F. Weinberger, "Maximum principles in differential equations" , Prentice-Hall (1967) MR0219861 Zbl 0549.35002
[a8] G.E. Forsythe, W.R. Wasow, "Finite-difference methods for partial differential equations" , Wiley (1960) MR0130124 Zbl 0099.11103
How to Cite This Entry:
Boundary value problem, partial differential equations. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Boundary_value_problem,_partial_differential_equations&oldid=46135
This article was adapted from an original article by A.P. Soldatov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article