existence and uniqueness of solution to Cauchy problem
Let
be a Cauchy problem, where is
- •
a continuous function
of variables defined in a neighborhood of
- •
Lipschitz continuous with respect to the first variables (i.e. with respect to ).
Then there exists a unique solution of the Cauchy problem, defined in a neighborhood of .
Proof
Solving the Cauchy problem is equivalent to solving the following integral equation
Let be the set of continuous functions . We’ll assume to be chosen such that the 11 denotes the closed ball . In this ball, therefore, is Lipschitz continuous with respect to the first variable, in other words, there exists a real number such that
for all points sufficiently near to .
Now let’s define the mapping as follows
We make the following observations about .
- 1.
Since is continuous, attains a maximum value on the compact set . But by hypothesis
, , hence
for all .
- 2.
The Lipschitz continuity of yields
If we choose these conditions ensure that
- •
, i.e. doesn’t send us outside of .
- •
is a contraction mapping with respect to the uniform convergence
metric on , i.e. there exists such that for all ,
In particular, the second point allows us to apply Banach’s theorem and define
to find the unique fixed point of in , i.e. the unique function which solves
and which therefore locally solves the Cauchy problem.