Next: Application to solution of
Up: Brief notes on CFD,
Previous: Kinetic Schemes for compressible
The fixed point theorem is a useful tool for proving existence of solutions
and also for convergence of iterative schemes. In fact the latter is used to
prove the former. If the problem is to find the solution of
then we convert it to a problem of finding a fixed point
Statement
Let
be a complete metric space with distance
and let
be contractive, i.e., for some
,
 |
(5) |
Then there exists a unique fixed point
such that
 |
(6) |
Proof
Choose any
and define the sequence
by the following
iterative scheme
 |
(7) |
If we can show that the sequence
has a unique limit independent of
the starting value then we would have proved the existence of the fixed
point. The first step is to show that
is a Cauchy sequence.
Now using the triangle inequality we get, for
where the last inequality follows because
. Now since
as
we see that
which proves that
is a Cauchy sequence. Since
is complete, this
sequence converges to a unique limit
. It is now left to show that the limit
is a fixed point.
and since
is the limit of the sequence we see that the right hand side
goes to zero so that
The uniqueness of the fixed point follows easily. Let
and
be
two fixed points. Then
and since
we conclude that
Subsections
Next: Application to solution of
Up: Brief notes on CFD,
Previous: Kinetic Schemes for compressible
Praveen. C, last updated on 18-February-2005