Fixed point theorem from Banach
The Banach fixed-point theorem , also known as Banach fixed point theorem called, is a mathematical theorem from functional analysis , a branch of mathematics . It belongs to the fixed point theorems and, in addition to the existence and uniqueness of a fixed point, also provides the convergence of the fixed point iteration . Thus the statement is constructive . A method for determining the fixed point as well as an error estimate for this is given.
With Banach's fixed point theorem, for example, the convergence of iterative methods such as Newton's method can be shown and the Picard-Lindelöf theorem, which is the basis of the existence theory of ordinary differential equations, can be proven .
The set is named after Stefan Banach , who showed it in 1922.
An illustration of the sentence is provided by a map on which the environment in which one is located is depicted. If you see this map as a contraction of the environment, you will find exactly one point on the map that corresponds to the point directly below in the real world.
statement
A complete metric space and a non-empty, closed set are given . Be
a contraction with contraction number . That means it applies
- for everyone .
In addition, let the sequence be iteratively defined by
for an arbitrary initial value from .
The following applies under the above conditions:
- There is exactly one such that
- is. Also applies to
all
The mapping therefore has a clearly defined fixed point and this corresponds to the limit value of the iteration for all starting values of the iteration rule specified above.
Error estimation of the fixed point iteration
For the iteration rule
the following error estimates apply:
- A priori error assessment : It is
- A posteriori error estimation : It is
In addition, the estimate applies
- ,
the speed of convergence is therefore linear.
comment
In the literature, there are sometimes formulations that deviate from the statement given above. Possible differences are:
- The property of the image of being a contraction is instead formulated in terms of Lipschitz continuity . Then it has to be Lipschitz-continuous with a Lipschitz constant .
- The underlying room is different. So the sentence is partly formulated on Banach spaces (that is, on completely standardized spaces ) or on . The statement as well as the proof remain identical; it is then only to be set in the case of a normalized space or in the real case.
Evidence sketch
The proof of the statement is based on showing that the sequence is a Cauchy sequence , which then converges due to the completeness of the underlying space.
First, due to contractivity
By repeatedly applying this estimate, one obtains
- (1)
Furthermore it follows through repeated estimations with the triangle inequality
- (2)
If one estimates the individual summation terms on the right-hand side of (2) by (1), one obtains
The last estimate follows here with the help of the geometric series , da . It follows directly from the estimate that it is a Cauchy sequence. The limit value then exists due to the completeness
the consequence. Since there is a picture of in itself, and is complete, is contained in the multitude .
Since is continuous (since it is contractive), it follows
- ,
the limit value is therefore a fixed point.
Suppose there are two fixed points . Then
- and .
It then follows from the contractivity
- .
But there must be. Hence is .
Applications
This theorem is used in many constructive theorems of calculus, the most important of which are:
- the inverse and implicit function theorem
- the existence and uniqueness Picard-Lindelöf theorem for ordinary differential equations
In the numerical analysis the Fixed Point plays an important role. Examples of this are the convergence theories of numerical methods, such as the Newton method or the splitting method .
reversal
The following also as a set of Bessaga known statement represents a reversal of the fixed-point theorem is:
- Is a function on a non-empty set, so and all iterates have exactly one fixed point, as there is for every complete metric on so that respect. Contraction with contraction constant is.
literature
- Hans-Rudolf Schwarz, Norbert Köckler: Numerical Mathematics. 5th, revised edition. Teubner, Stuttgart et al. 2004, ISBN 3-519-42960-8 .
- Otto Forster : Analysis 2 . Differential calculus im , ordinary differential equations. 10th, improved edition. Springer Spectrum, Wiesbaden 2013, ISBN 978-3-658-02356-0 , doi : 10.1007 / 978-3-658-02357-7 .
- Dirk Werner : Functional Analysis . 7th, corrected and enlarged edition. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21016-7 , doi : 10.1007 / 978-3-642-21017-4 .
Individual evidence
- ^ Werner: Functional Analysis. 2011, p. 197.
- ↑ William A. Kirk, Brailey Sims (ed.): Handbook of Metric Fixed Point Theory. Kluwer, Dordrecht et al. 2001, ISBN 0-7923-7073-2 , Theorem 8.1.