Namespaces
Variants
Actions

Difference between revisions of "Cauchy problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (typo)
 
Line 25: Line 25:
 
4) If the solution is unique, is the problem well-posed, i.e. is the solution in some sense a continuous function of the initial data?
 
4) If the solution is unique, is the problem well-posed, i.e. is the solution in some sense a continuous function of the initial data?
  
The simplest Cauchy problem is to find a function  $  u (x) $
+
The simplest Cauchy problem is to find a function  $  u ( x) $
 
defined on the half-line  $  x \geq  x _ {0} $,  
 
defined on the half-line  $  x \geq  x _ {0} $,  
 
satisfying a first-order ordinary differential equation
 
satisfying a first-order ordinary differential equation
Line 33: Line 33:
 
\frac{du }{dx }
 
\frac{du }{dx }
 
   = \  
 
   = \  
f (x, u)
+
f ( x, u)
 
$$
 
$$
  
Line 41: Line 41:
  
 
$$ \tag{2 }
 
$$ \tag{2 }
u (x _ {0} )  =  u _ {0} .
+
u ( x _ {0} )  =  u _ {0} .
 
$$
 
$$
  
In geometrical terms this means that, considering the family of integral curves of equation (1) in the  $  (x, u) $-
+
In geometrical terms this means that, considering the family of integral curves of equation (1) in the  $  ( x, u) $-
plane, one wishes to find the curve passing through the point  $  (x _ {0} , u _ {0} ) $.
+
plane, one wishes to find the curve passing through the point  $  ( x _ {0} , u _ {0} ) $.
  
 
The first proposition concerning the existence of such a function (on the assumption that  $  f $
 
The first proposition concerning the existence of such a function (on the assumption that  $  f $
Line 56: Line 56:
 
is given on an open set  $  G $
 
is given on an open set  $  G $
 
and is only continuous, exists on some interval depending on  $  G $
 
and is only continuous, exists on some interval depending on  $  G $
and  $  (x _ {0} , u _ {0} ) $(
+
and  $  ( x _ {0} , u _ {0} ) $(
 
see [[Peano theorem|Peano theorem]]), but it need not be unique. The solution need not exist at all points in the domain of definition of  $  f $.
 
see [[Peano theorem|Peano theorem]]), but it need not be unique. The solution need not exist at all points in the domain of definition of  $  f $.
  
Repeating the above account almost word for word, one formulates the Cauchy problem for systems of ordinary differential equations, i.e. for an ordinary differential equation of type (1) with initial condition (2), where  $  u = u (x) $
+
Repeating the above account almost word for word, one formulates the Cauchy problem for systems of ordinary differential equations, i.e. for an ordinary differential equation of type (1) with initial condition (2), where  $  u = u ( x) $
 
is a function with values in a finite-dimensional vector space  $  E $,  
 
is a function with values in a finite-dimensional vector space  $  E $,  
$  u (x _ {0} ) = u _ {0} \in E $,  
+
$  u ( x _ {0} ) = u _ {0} \in E $,  
and  $  f (x, u) $
+
and  $  f ( x, u) $
 
is a function defined in  $  \mathbf R  ^ {+} \times E $.  
 
is a function defined in  $  \mathbf R  ^ {+} \times E $.  
 
Here, again, the Picard conditions are sufficient for the existence and uniqueness of the solution and for the problem to be well-posed.
 
Here, again, the Picard conditions are sufficient for the existence and uniqueness of the solution and for the problem to be well-posed.
Line 72: Line 72:
 
\frac{d  ^ {n} u }{dx  ^ {n} }
 
\frac{d  ^ {n} u }{dx  ^ {n} }
 
   = \  
 
   = \  
f (x, u , u  ^  \prime  \dots u ^ {(n - 1) } ),
+
f ( x, u , u  ^  \prime  \dots u ^ {( n - 1) } ),
 
$$
 
$$
  
Line 78: Line 78:
  
 
$$  
 
$$  
u (x _ {0} )  = \  
+
u ( x _ {0} )  = \  
 
u _ {0} ,\  
 
u _ {0} ,\  
u  ^  \prime  (x _ {0} )  = \  
+
u  ^  \prime  ( x _ {0} )  = \  
 
u _ {0}  ^  \prime  \dots
 
u _ {0}  ^  \prime  \dots
u ^ {(n - 1) } (x _ {0} )  = \  
+
u ^ {( n - 1) } ( x _ {0} )  = \  
u _ {0} ^ {(n - 1) } ,
+
u _ {0} ^ {( n - 1) } ,
 
$$
 
$$
  
Line 93: Line 93:
  
 
$$  
 
$$  
\omega  ^  \alpha { = ^ { {roman } def } } \  
+
\omega  ^  \alpha { \stackrel{\rm def }{=}} \  
 
\sum _ { i }
 
\sum _ { i }
A _ {i}  ^  \alpha  (x)  dx  ^ {i}  =  0,\ \  
+
A _ {i}  ^  \alpha  ( x)  dx  ^ {i}  =  0,\ \  
 
i = 1 \dots n,\ \  
 
i = 1 \dots n,\ \  
 
\alpha = 1 \dots k < n,
 
\alpha = 1 \dots k < n,
 
$$
 
$$
  
such equations being in a sense intermediate between  "ordinary"  and  "partial"  differential equations. The problem here is to determine an  $  (n - k) $-
+
such equations being in a sense intermediate between  "ordinary"  and  "partial"  differential equations. The problem here is to determine an  $  ( n - k) $-
 
dimensional integral surface passing through a given point. Then the solvability condition is
 
dimensional integral surface passing through a given point. Then the solvability condition is
  
Line 117: Line 117:
 
Lu  = \  
 
Lu  = \  
 
\sum _ {| \alpha | \leq  m }
 
\sum _ {| \alpha | \leq  m }
a _  \alpha  (x)
+
a _  \alpha  ( x)
  
 
\frac{\partial  ^  \alpha  u }{\partial  x  ^  \alpha  }
 
\frac{\partial  ^  \alpha  u }{\partial  x  ^  \alpha  }
 
   = \  
 
   = \  
f (x)
+
f ( x)
 
$$
 
$$
  
 
the Cauchy problem may be formulated as follows. In a certain region  $  G $
 
the Cauchy problem may be formulated as follows. In a certain region  $  G $
of the variables  $  x = (x _ {1} \dots x _ {n} ) $
+
of the variables  $  x = ( x _ {1} \dots x _ {n} ) $
 
it is required to find a solution satisfying initial conditions, i.e. taking specified values, together with its derivatives of order up to and including  $  m - 1 $,  
 
it is required to find a solution satisfying initial conditions, i.e. taking specified values, together with its derivatives of order up to and including  $  m - 1 $,  
on some  $  (n - 1) $-
+
on some  $  ( n - 1) $-
 
dimensional hypersurface  $  S $
 
dimensional hypersurface  $  S $
 
in  $  G $.  
 
in  $  G $.  
Line 143: Line 143:
 
$$
 
$$
  
where the  $  \phi _ {k} (x) $,  
+
where the  $  \phi _ {k} ( x) $,  
 
$  x \in S $,  
 
$  x \in S $,  
 
are known functions (Cauchy data).
 
are known functions (Cauchy data).
Line 157: Line 157:
  
 
$$  
 
$$  
Q (x, \nu )  = \  
+
Q ( x, \nu )  = \  
 
\sum _ {| \alpha | = m }
 
\sum _ {| \alpha | = m }
a _  \alpha  (x) \nu  ^  \alpha  ,\ \  
+
a _  \alpha  ( x) \nu  ^  \alpha  ,\ \  
 
\nu  ^  \alpha  = \nu _ {1} ^ {\alpha _ {1} } \dots
 
\nu  ^  \alpha  = \nu _ {1} ^ {\alpha _ {1} } \dots
 
\nu _ {n} ^ {\alpha _ {n} } .
 
\nu _ {n} ^ {\alpha _ {n} } .
Line 169: Line 169:
  
 
$$ \tag{5 }
 
$$ \tag{5 }
Q (x _ {0} , \nu )  \neq  0.
+
Q ( x _ {0} , \nu )  \neq  0.
 
$$
 
$$
  
Line 177: Line 177:
 
$$ \tag{6 }
 
$$ \tag{6 }
  
\frac{\partial  ^ {m } u }{\partial  {x } _ {n} ^ \primem  }
+
\frac{\partial  ^ {m } u }{\partial  {x } _ {n} ^ {\prime m } }
 
   = \  
 
   = \  
 
F \left ( x _ {i}  ^  \prime  ,\  
 
F \left ( x _ {i}  ^  \prime  ,\  
Line 196: Line 196:
 
and  $  \phi _ {k} $,  
 
and  $  \phi _ {k} $,  
 
$  0 \leq  k \leq  m - 1 $,  
 
$  0 \leq  k \leq  m - 1 $,  
are analytic in the same neighbourhood, and if moreover condition (5) is satisfied, then the Cauchy problem (3), (4) has an analytic solution  $  u (x) $
+
are analytic in the same neighbourhood, and if moreover condition (5) is satisfied, then the Cauchy problem (3), (4) has an analytic solution  $  u ( x) $
 
in a neighbourhood of the point; this solution is unique in the class of analytic functions. With the analyticity assumption, this theorem is also valid for general non-linear equations if the latter can be reduced to the normal form (6), and also for systems of such equations. The theorem is universal in nature, since it is applicable to analytic equations regardless of their type (elliptic, hyperbolic, etc.) and yields the local existence of a solution. The solution is unique in the class of non-analytic functions.
 
in a neighbourhood of the point; this solution is unique in the class of analytic functions. With the analyticity assumption, this theorem is also valid for general non-linear equations if the latter can be reduced to the normal form (6), and also for systems of such equations. The theorem is universal in nature, since it is applicable to analytic equations regardless of their type (elliptic, hyperbolic, etc.) and yields the local existence of a solution. The solution is unique in the class of non-analytic functions.
  
Line 217: Line 217:
  
 
$$  
 
$$  
u (x, y, 0)  = \  
+
u ( x, y, 0)  = \  
\phi _ {0} (x, y),\ \  
+
\phi _ {0} ( x, y),\ \  
  
 
\frac{\partial  u }{\partial  z }
 
\frac{\partial  u }{\partial  z }
  
(x, y, 0)  =  0
+
( x, y, 0)  =  0
 
$$
 
$$
  
has no solution if  $  \phi _ {0} (x, y) $
+
has no solution if  $  \phi _ {0} ( x, y) $
 
is not an analytic function.
 
is not an analytic function.
  
Line 243: Line 243:
 
$$
 
$$
  
considered in an  $  (n + 1) $-
+
considered in an  $  ( n + 1) $-
dimensional region, with variables  $  (x, t) = (x _ {1} \dots x _ {n} , t) $.  
+
dimensional region, with variables  $  ( x, t) = ( x _ {1} \dots x _ {n} , t) $.  
 
The Cauchy problem for this equation with data
 
The Cauchy problem for this equation with data
  
 
$$  
 
$$  
u (x, 0)  = \  
+
u ( x, 0)  = \  
\phi _ {0} (x),\ \  
+
\phi _ {0} ( x),\ \  
  
 
\frac{\partial  u }{\partial  t }
 
\frac{\partial  u }{\partial  t }
  
(x, 0)  =  \phi _ {1} (x)
+
( x, 0)  =  \phi _ {1} ( x)
 
$$
 
$$
  
Line 264: Line 264:
  
 
$$  
 
$$  
u (x, t)  = \  
+
u ( x, t)  = \  
 
{
 
{
 
\frac{1}{2}
 
\frac{1}{2}
 
  }
 
  }
[ \phi _ {0} (x + t) +
+
[ \phi _ {0} ( x + t) +
\phi _ {0} (x - t)] +
+
\phi _ {0} ( x - t)] +
 
{
 
{
 
\frac{1}{2}
 
\frac{1}{2}
Line 278: Line 278:
  
 
$$  
 
$$  
u (x, t)  =   
+
u ( x, t)  =   
 
\frac{1}{2 \pi }
 
\frac{1}{2 \pi }
 
  \int\limits _ {| y - x
 
  \int\limits _ {| y - x
 
|  ^ {2} \leq  t  ^ {2} }  
 
|  ^ {2} \leq  t  ^ {2} }  
\frac{\phi _ {1} (y)  dy }{\sqrt {t  ^ {2} - | y - x |  ^ {2} } }
+
\frac{\phi _ {1} ( y)  dy }{\sqrt {t  ^ {2} - | y - x |  ^ {2} } }
 
  +
 
  +
 
$$
 
$$
Line 294: Line 294:
 
  \int\limits _ {| y -
 
  \int\limits _ {| y -
 
x |  ^ {2} \leq  t  ^ {2} }  
 
x |  ^ {2} \leq  t  ^ {2} }  
\frac{\phi _ {0} (y)  dy }{\sqrt {t  ^ {2} - | y - x |  ^ {2} } }
+
\frac{\phi _ {0} ( y)  dy }{\sqrt {t  ^ {2} - | y - x |  ^ {2} } }
 
  ,
 
  ,
 
$$
 
$$
  
where  $  x = (x _ {1} , x _ {2} ) $,  
+
where  $  x = ( x _ {1} , x _ {2} ) $,  
$  y = (y _ {1} , y _ {2} ) $;
+
$  y = ( y _ {1} , y _ {2} ) $;
  
 
$$  
 
$$  
u (x, t)  = \  
+
u ( x, t)  = \  
  
 
\frac{1}{4 \pi }
 
\frac{1}{4 \pi }
 
  t
 
  t
 
\int\limits _ {| \xi | = 1 }
 
\int\limits _ {| \xi | = 1 }
\phi _ {1} (x + t \xi ) \  
+
\phi _ {1} ( x + t \xi ) \  
 
d \sigma +
 
d \sigma +
 
$$
 
$$
Line 318: Line 318:
 
\frac \partial {\partial  t }
 
\frac \partial {\partial  t }
 
  \left [ t \int\limits _
 
  \left [ t \int\limits _
{| \xi | = 1 } \phi _ {0} (x + t \xi )  d \sigma \right ] ,
+
{| \xi | = 1 } \phi _ {0} ( x + t \xi )  d \sigma \right ] ,
 
$$
 
$$
  
where  $  x = (x _ {1} , x _ {2} , x _ {3} ) $,  
+
where  $  x = ( x _ {1} , x _ {2} , x _ {3} ) $,  
 
$  \xi = ( \xi _ {1} , \xi _ {2} , \xi _ {3} ) $,  
 
$  \xi = ( \xi _ {1} , \xi _ {2} , \xi _ {3} ) $,  
 
and  $  d \sigma $
 
and  $  d \sigma $
Line 327: Line 327:
  
 
The set of points in the plane  $  t = 0 $
 
The set of points in the plane  $  t = 0 $
for which the Cauchy data completely determine the value  $  u (x, t) $
+
for which the Cauchy data completely determine the value  $  u ( x, t) $
of the solution of the wave equation (7) at a point  $  (x, t) $
+
of the solution of the wave equation (7) at a point  $  ( x, t) $
is called the domain of dependence of the latter point. The domains of dependence of the point  $  (x, t) $
+
is called the domain of dependence of the latter point. The domains of dependence of the point  $  ( x, t) $
 
in the cases  $  n = 1, 2 $
 
in the cases  $  n = 1, 2 $
 
and  $  n = 3 $
 
and  $  n = 3 $
Line 336: Line 336:
 
If the carrier of the Cauchy data is some region  $  S $
 
If the carrier of the Cauchy data is some region  $  S $
 
on the hyperplane  $  t = 0 $,  
 
on the hyperplane  $  t = 0 $,  
then the Cauchy data in that region affect the solution at all points  $  (x, t) $
+
then the Cauchy data in that region affect the solution at all points  $  ( x, t) $
 
of the set such that the intersection  $  S \cap \{ | y - x |  ^ {2} \leq  t  ^ {2} \} $
 
of the set such that the intersection  $  S \cap \{ | y - x |  ^ {2} \leq  t  ^ {2} \} $
 
is not empty; this set is known as the domain of influence.
 
is not empty; this set is known as the domain of influence.
  
The set of points  $  (x, t) \in \mathbf R ^ {n + 1 } $
+
The set of points  $  ( x, t) \in \mathbf R ^ {n + 1 } $
 
at which the solution  $  u $
 
at which the solution  $  u $
 
is completely determined by the Cauchy data on  $  S $
 
is completely determined by the Cauchy data on  $  S $
is called the domain of definition of  $  u (x, t) $
+
is called the domain of definition of  $  u ( x, t) $
 
with initial data on  $  S $.  
 
with initial data on  $  S $.  
 
In cases  $  n = 1, 2 $
 
In cases  $  n = 1, 2 $
and 3 the domain of definition consists of all points  $  (x, t) $
+
and 3 the domain of definition consists of all points  $  ( x, t) $
 
for which the closed interval, disc or ball,  $  | y - x |  ^ {2} \leq  t  ^ {2} $(
 
for which the closed interval, disc or ball,  $  | y - x |  ^ {2} \leq  t  ^ {2} $(
 
as the case may be), lies in  $  S $.
 
as the case may be), lies in  $  S $.
Line 354: Line 354:
 
see (5)) remains positive on  $  S $.
 
see (5)) remains positive on  $  S $.
  
There are other problems besides the Cauchy problem which prove to be well-posed for hyperbolic equations; examples are the [[Cauchy characteristic problem|Cauchy characteristic problem]] and mixed initial-boundary value problems. In the latter type of problem, a solution exists in an  $  (n + 1) $-
+
There are other problems besides the Cauchy problem which prove to be well-posed for hyperbolic equations; examples are the [[Cauchy characteristic problem|Cauchy characteristic problem]] and mixed initial-boundary value problems. In the latter type of problem, a solution exists in an  $  ( n + 1) $-
 
dimensional cylinder with generatrix parallel to the  $  t $-
 
dimensional cylinder with generatrix parallel to the  $  t $-
 
axis and a base  $  S $
 
axis and a base  $  S $
which is some region in the space of variables  $  x = (x _ {1} \dots x _ {n} ) $
+
which is some region in the space of variables  $  x = ( x _ {1} \dots x _ {n} ) $
 
with boundary  $  \Gamma $.  
 
with boundary  $  \Gamma $.  
 
The carrier of the initial conditions is  $  S $,  
 
The carrier of the initial conditions is  $  S $,  
Line 371: Line 371:
 
The name  "Cauchy problem"  is mostly used in relation with hyperbolic initial value problems. Hörmander [[#References|[8]]] has been followed by 4 volumes. Two of them [[#References|[a2]]] deal with Cauchy problems.
 
The name  "Cauchy problem"  is mostly used in relation with hyperbolic initial value problems. Hörmander [[#References|[8]]] has been followed by 4 volumes. Two of them [[#References|[a2]]] deal with Cauchy problems.
  
It is clear from the Kirchhoff solution  $  (n = 3) $
+
It is clear from the Kirchhoff solution  $  ( n = 3) $
of (7) that the domain of dependence of the point  $  (x, t) $
+
of (7) that the domain of dependence of the point  $  ( x, t) $
 
is, in fact, the sphere  $  \{ {y \in \mathbf R  ^ {3} } : {| y - x |  ^ {2} = t  ^ {2} } \} $.  
 
is, in fact, the sphere  $  \{ {y \in \mathbf R  ^ {3} } : {| y - x |  ^ {2} = t  ^ {2} } \} $.  
 
The relevance of this remark for the general definition of domain of dependence for hyperbolic partial differential equations is discussed in [[#References|[5]]], Sect. VI.7.
 
The relevance of this remark for the general definition of domain of dependence for hyperbolic partial differential equations is discussed in [[#References|[5]]], Sect. VI.7.

Latest revision as of 16:37, 4 June 2020


One of the fundamental problems in the theory of (ordinary and partial) differential equations: To find a solution (an integral) of a differential equation satisfying what are known as initial conditions (initial data). The Cauchy problem usually appears in the analysis of processes defined by a differential law and an initial state, formulated mathematically in terms of a differential equation and an initial condition (hence the terminology and the choice of notation: The initial data are specified for $ t = 0 $ and the solution is required for $ t \geq 0 $). Cauchy problems differ from boundary value problems in that the domain in which the desired solution must be defined is not specified in advance. Nevertheless, Cauchy problems, like boundary value problems, are defined by the imposition of limiting conditions for the solution on (part of) the boundary of the domain of definition.

The main questions connected with Cauchy problems are as follows:

1) Does there exist (albeit only locally) a solution?

2) If the solution exists, to what space does it belong? In particular, what is its domain of existence?

3) Is the solution unique?

4) If the solution is unique, is the problem well-posed, i.e. is the solution in some sense a continuous function of the initial data?

The simplest Cauchy problem is to find a function $ u ( x) $ defined on the half-line $ x \geq x _ {0} $, satisfying a first-order ordinary differential equation

$$ \tag{1 } \frac{du }{dx } = \ f ( x, u) $$

( $ f $ is a given function) and taking a specified value $ u _ {0} $ at $ x = x _ {0} $:

$$ \tag{2 } u ( x _ {0} ) = u _ {0} . $$

In geometrical terms this means that, considering the family of integral curves of equation (1) in the $ ( x, u) $- plane, one wishes to find the curve passing through the point $ ( x _ {0} , u _ {0} ) $.

The first proposition concerning the existence of such a function (on the assumption that $ f $ is continuous for all $ x $ and continuously differentiable with respect to $ u $) was proved by A.L. Cauchy (1820–1830) and generalized by E. Picard (1891–1896) (who replaced differentiability by a Lipschitz condition with respect to $ u $). It turns out that under those conditions the Cauchy problem has a unique solution which, moreover, depends continuously on the initial data. Modern concepts of the Cauchy problem are essentially a far-reaching generalization of this problem.

The fact that questions 1) to 4) touch profoundly on the very heart of the matter — i.e. to answer them satisfactorily requires the imposition of certain conditions — is already illustrated in the theory of ordinary differential equations. Thus, a solution of the Cauchy problem for equation (1) with the condition (2), where $ f $ is given on an open set $ G $ and is only continuous, exists on some interval depending on $ G $ and $ ( x _ {0} , u _ {0} ) $( see Peano theorem), but it need not be unique. The solution need not exist at all points in the domain of definition of $ f $.

Repeating the above account almost word for word, one formulates the Cauchy problem for systems of ordinary differential equations, i.e. for an ordinary differential equation of type (1) with initial condition (2), where $ u = u ( x) $ is a function with values in a finite-dimensional vector space $ E $, $ u ( x _ {0} ) = u _ {0} \in E $, and $ f ( x, u) $ is a function defined in $ \mathbf R ^ {+} \times E $. Here, again, the Picard conditions are sufficient for the existence and uniqueness of the solution and for the problem to be well-posed.

For ordinary differential equations of a higher order,

$$ \frac{d ^ {n} u }{dx ^ {n} } = \ f ( x, u , u ^ \prime \dots u ^ {( n - 1) } ), $$

the Cauchy problem the initial data of which involve, besides the function itself, the derivatives

$$ u ( x _ {0} ) = \ u _ {0} ,\ u ^ \prime ( x _ {0} ) = \ u _ {0} ^ \prime \dots u ^ {( n - 1) } ( x _ {0} ) = \ u _ {0} ^ {( n - 1) } , $$

can be reduced by the standard device to a corresponding problem of type (1), (2).

In the case of first-order ordinary differential equations which cannot be expressed directly in terms of the derivative of the unknown function (as in equation (1)), the formulation of the Cauchy problem is similar, except that it relies to a high degree on the geometrical interpretation; however, the actual investigation of the equation may be complicated by the impossibility of (even locally) reducing the equation to the normal form (1).

While neither the formulation nor the investigation of the Cauchy problem for an ordinary differential equation involve essential difficulties, the situation is considerably more complicated in the case of partial differential equations (this applies, in particular, to answering questions 1) to 4)). This is true even if the functions involved are sufficiently regular (smooth). A major source of the difficulty is the fact that the space of independent variables is higher-dimensional, resulting in problems of (algebraic) solvability. E.g., consider the Cauchy problem for a system of equations in total differentials,

$$ \omega ^ \alpha { \stackrel{\rm def }{=}} \ \sum _ { i } A _ {i} ^ \alpha ( x) dx ^ {i} = 0,\ \ i = 1 \dots n,\ \ \alpha = 1 \dots k < n, $$

such equations being in a sense intermediate between "ordinary" and "partial" differential equations. The problem here is to determine an $ ( n - k) $- dimensional integral surface passing through a given point. Then the solvability condition is

$$ d \omega ^ \alpha \wedge \omega ^ {1} \wedge \dots \wedge \omega ^ {k} = 0 $$

(in a neighbourhood of the given point; here $ d, \wedge $ are the symbols for the exterior differential and the exterior product, respectively) (see Frobenius theorem).

For linear partial differential equations

$$ \tag{3 } Lu = \ \sum _ {| \alpha | \leq m } a _ \alpha ( x) \frac{\partial ^ \alpha u }{\partial x ^ \alpha } = \ f ( x) $$

the Cauchy problem may be formulated as follows. In a certain region $ G $ of the variables $ x = ( x _ {1} \dots x _ {n} ) $ it is required to find a solution satisfying initial conditions, i.e. taking specified values, together with its derivatives of order up to and including $ m - 1 $, on some $ ( n - 1) $- dimensional hypersurface $ S $ in $ G $. This hypersurface is known as the carrier of the initial conditions (or the initial surface). The initial conditions may be given in the form of derivatives of $ u $ with respect to the direction of the unit normal $ \nu $ to $ S $:

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

where the $ \phi _ {k} ( x) $, $ x \in S $, are known functions (Cauchy data).

The formulation of the Cauchy problem for non-linear differential equations is similar.

A concept related to the Cauchy problem is that of a non-characteristic surface. If a non-singular coordinate transformation $ x \rightarrow x ^ \prime $" straightens out" the surface $ S $ in a neighbourhood of $ x _ {0} $, i.e. it transforms it into a part of the hyperplane $ x _ {n} ^ \prime = 0 $, then the coefficient of $ ( \partial / \partial x _ {n} ^ \prime ) ^ {m} $ in the transformed equation (3) is proportional to

$$ Q ( x, \nu ) = \ \sum _ {| \alpha | = m } a _ \alpha ( x) \nu ^ \alpha ,\ \ \nu ^ \alpha = \nu _ {1} ^ {\alpha _ {1} } \dots \nu _ {n} ^ {\alpha _ {n} } . $$

The surface $ S $ is said to be non-characteristic at the point $ x _ {0} $ if

$$ \tag{5 } Q ( x _ {0} , \nu ) \neq 0. $$

In that case equation (3) may be written in a neighbourhood of $ x _ {0} $ in the so-called normal form:

$$ \tag{6 } \frac{\partial ^ {m } u }{\partial {x } _ {n} ^ {\prime m } } = \ F \left ( x _ {i} ^ \prime ,\ \frac{\partial ^ \alpha u }{\partial x ^ {\prime \alpha } } \right ) ,\ \ \alpha = ( \alpha _ {1} \dots \alpha _ {n} ),\ \ \alpha _ {n} < m. $$

Cauchy problems are usually studied when the carrier of the initial data is a non-characteristic surface, i.e. when condition (5) holds for all $ x _ {0} \in S $.

The Cauchy–Kovalevskaya theorem occupies an important position in the theory of Cauchy problems; it runs as follows. If $ S $ is an analytic surface in a neighbourhood of one of its points $ x _ {0} $, if the functions $ a _ \alpha $, $ f $ and $ \phi _ {k} $, $ 0 \leq k \leq m - 1 $, are analytic in the same neighbourhood, and if moreover condition (5) is satisfied, then the Cauchy problem (3), (4) has an analytic solution $ u ( x) $ in a neighbourhood of the point; this solution is unique in the class of analytic functions. With the analyticity assumption, this theorem is also valid for general non-linear equations if the latter can be reduced to the normal form (6), and also for systems of such equations. The theorem is universal in nature, since it is applicable to analytic equations regardless of their type (elliptic, hyperbolic, etc.) and yields the local existence of a solution. The solution is unique in the class of non-analytic functions.

The Cauchy problem for partial differential equations of order exceeding 1 may turn out to be ill-posed if one drops the analyticity assumption for the equation or for the Cauchy data in the Cauchy–Kovalevskaya theorem. An illustration is Hadamard's example: The Cauchy problem for the Laplace equation

$$ \Delta u = \ \frac{\partial ^ {2} u }{\partial x ^ {2} } + \frac{\partial ^ {2} u }{\partial y ^ {2} } + \frac{\partial ^ {2} u }{\partial z ^ {2} } = 0 $$

with initial conditions

$$ u ( x, y, 0) = \ \phi _ {0} ( x, y),\ \ \frac{\partial u }{\partial z } ( x, y, 0) = 0 $$

has no solution if $ \phi _ {0} ( x, y) $ is not an analytic function.

The hyperbolic equations constitute a broad class of equations for which the Cauchy problem is well-posed. In this case the Cauchy problem is global in nature, but the condition that $ S $ be non-characteristic is no longer sufficient. It is necessary that $ S $ is a space-like surface. A typical hyperbolic equation is the wave equation

$$ \tag{7 } \square u = \ \frac{\partial ^ {2} u }{\partial t ^ {2} } - \sum _ {i = 1 } ^ { n } \frac{\partial ^ {2} u }{\partial x _ {i} ^ {2} } = 0, $$

considered in an $ ( n + 1) $- dimensional region, with variables $ ( x, t) = ( x _ {1} \dots x _ {n} , t) $. The Cauchy problem for this equation with data

$$ u ( x, 0) = \ \phi _ {0} ( x),\ \ \frac{\partial u }{\partial t } ( x, 0) = \phi _ {1} ( x) $$

on the hyperplane $ t = 0 $ is uniquely solvable for any sufficiently smooth functions $ \phi _ {0} , \phi _ {1} $, and the solution depends continuously (in some $ C ^ {k} $ metric) on these functions. For the cases $ n = 1, 2 $ and $ n = 3 $, an explicit form of the solution is given by the formulas of d'Alembert, Poisson and Kirchhoff, respectively:

$$ u ( x, t) = \ { \frac{1}{2} } [ \phi _ {0} ( x + t) + \phi _ {0} ( x - t)] + { \frac{1}{2} } \int\limits _ {x - t } ^ { {x } + t } \phi _ {1} ( \tau ) d \tau ; $$

$$ u ( x, t) = \frac{1}{2 \pi } \int\limits _ {| y - x | ^ {2} \leq t ^ {2} } \frac{\phi _ {1} ( y) dy }{\sqrt {t ^ {2} - | y - x | ^ {2} } } + $$

$$ + \frac{1}{2 \pi } \frac \partial {\partial t } \int\limits _ {| y - x | ^ {2} \leq t ^ {2} } \frac{\phi _ {0} ( y) dy }{\sqrt {t ^ {2} - | y - x | ^ {2} } } , $$

where $ x = ( x _ {1} , x _ {2} ) $, $ y = ( y _ {1} , y _ {2} ) $;

$$ u ( x, t) = \ \frac{1}{4 \pi } t \int\limits _ {| \xi | = 1 } \phi _ {1} ( x + t \xi ) \ d \sigma + $$

$$ + \frac{1}{4 \pi } \frac \partial {\partial t } \left [ t \int\limits _ {| \xi | = 1 } \phi _ {0} ( x + t \xi ) d \sigma \right ] , $$

where $ x = ( x _ {1} , x _ {2} , x _ {3} ) $, $ \xi = ( \xi _ {1} , \xi _ {2} , \xi _ {3} ) $, and $ d \sigma $ is the surface element on the unit sphere $ | \xi | = 1 $.

The set of points in the plane $ t = 0 $ for which the Cauchy data completely determine the value $ u ( x, t) $ of the solution of the wave equation (7) at a point $ ( x, t) $ is called the domain of dependence of the latter point. The domains of dependence of the point $ ( x, t) $ in the cases $ n = 1, 2 $ and $ n = 3 $ are, respectively, the closed interval, disc and ball defined by $ | y - x | ^ {2} \leq t ^ {2} $( in the appropriate space $ \mathbf R ^ {n} $). If the carrier of the Cauchy data is some region $ S $ on the hyperplane $ t = 0 $, then the Cauchy data in that region affect the solution at all points $ ( x, t) $ of the set such that the intersection $ S \cap \{ | y - x | ^ {2} \leq t ^ {2} \} $ is not empty; this set is known as the domain of influence.

The set of points $ ( x, t) \in \mathbf R ^ {n + 1 } $ at which the solution $ u $ is completely determined by the Cauchy data on $ S $ is called the domain of definition of $ u ( x, t) $ with initial data on $ S $. In cases $ n = 1, 2 $ and 3 the domain of definition consists of all points $ ( x, t) $ for which the closed interval, disc or ball, $ | y - x | ^ {2} \leq t ^ {2} $( as the case may be), lies in $ S $.

These results carry over to the more general case in which the carrier of the Cauchy data is a surface $ S $ of spatial type, i.e. a surface for which $ Q $( see (5)) remains positive on $ S $.

There are other problems besides the Cauchy problem which prove to be well-posed for hyperbolic equations; examples are the Cauchy characteristic problem and mixed initial-boundary value problems. In the latter type of problem, a solution exists in an $ ( n + 1) $- dimensional cylinder with generatrix parallel to the $ t $- axis and a base $ S $ which is some region in the space of variables $ x = ( x _ {1} \dots x _ {n} ) $ with boundary $ \Gamma $. The carrier of the initial conditions is $ S $, while the value of the function, its normal derivative (in the case of second-order equations), or more general boundary value conditions, are given on the lateral surface $ \Gamma \times \{ t > 0 \} $ of the cylinder.

In the case of degenerate equations the formulation of the Cauchy problem also has to be modified. For example, if the equation is of hyperbolic type and the carrier of the Cauchy data is a surface on which the equation becomes parabolically degenerate, then, depending on the nature of degeneracy, the initial value conditions may involve the use of some weight function.

References

[1] S. Kovalevskaya, "Scientific works" , Moscow (1948) (In Russian) MR0049124
[2] J. Hadamard, "Lectures on Cauchy's problem in linear partial differential equations" , Dover, reprint (1952) (Translated from French)
[3] L. Bers, F. John, M. Schechter, "Partial differential equations" , Interscience (1964) MR0163043 Zbl 0126.00207
[4] A.V. Bitsadze, "Equations of mathematical physics" , MIR (1980) (Translated from Russian) MR0587310 MR0581247 Zbl 0499.35002
[5] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 2 , Interscience (1965) (Translated from German) MR0195654
[6] S. Mizohata, "The theory of partial differential equations" , Cambridge Univ. Press (1973) (Translated from Japanese) MR0599580 Zbl 0263.35001
[7] A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian) MR104888
[8] L. Hörmander, "Linear partial differential operators" , Springer (1964) MR2512677 MR2304165 MR2108588 MR1996773 MR1481433 MR1313500 MR1065993 MR1065136 MR0961959 MR0925821 MR0881605 MR0862624 MR1540773 MR0781537 MR0781536 MR0717035 MR0705278 MR0404822 MR0248435 MR1533716 Zbl 1178.35003 Zbl 1115.35005 Zbl 1062.35004 Zbl 1028.35001 Zbl 0712.35001 Zbl 0687.35002 Zbl 0619.35002 Zbl 0619.35001 Zbl 0612.35001 Zbl 0601.35001 Zbl 0521.35002 Zbl 0521.35001 Zbl 0321.35001 Zbl 0175.39201 Zbl 0131.31804 Zbl 0108.09301

Comments

The name "Cauchy problem" is mostly used in relation with hyperbolic initial value problems. Hörmander [8] has been followed by 4 volumes. Two of them [a2] deal with Cauchy problems.

It is clear from the Kirchhoff solution $ ( n = 3) $ of (7) that the domain of dependence of the point $ ( x, t) $ is, in fact, the sphere $ \{ {y \in \mathbf R ^ {3} } : {| y - x | ^ {2} = t ^ {2} } \} $. The relevance of this remark for the general definition of domain of dependence for hyperbolic partial differential equations is discussed in [5], Sect. VI.7.

It is modern practice to define hyperbolicity of a partial differential operator as a necessary condition for the well-posedness of the Cauchy problem, see [a2], Vol. 2, Sect. 12.3.

References

[a1] P.R. Garabedian, "Partial differential equations" , Wiley (1964) MR0162045 Zbl 0124.30501
[a2] L.V. Hörmander, "The analysis of linear partial differential operators" , 1–2 , Springer (1985) MR1540773 MR0781537 MR0781536 Zbl 0612.35001 Zbl 0601.35001
[a3] F. Treves, "Basic partial differential equations" , Acad. Press (1975) MR447753 Zbl 0305.35001
How to Cite This Entry:
Cauchy problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Cauchy_problem&oldid=46281
This article was adapted from an original article by A.P. Soldatov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article