Banach fixed-point theorem (contraction mapping principle)
[36/58%]An accurate map of California is spread out flat on a table in Evans Hall, in Berkeley. Prove that there is exactly one point on the map lying directly over the point it represents.
Define a sequence of positive numbers as follows. Let be any positive number, and let . Prove that this sequence converges, and find its limit.
Let be a continuous function on the unit square satisfying for all and . Show that there is a continuous function on such that we have
Can there be more than one such function ?
Let be a continuous real valued function on . Prove that there exists a continuous real valued function on satisfying the equation
Show there is a unique continuous real valued function such that
Let be a nonempty complete metric space. Let map into , and write for ; that is, . Suppose that is a strict contraction; that is, there is a constant such that for all points , . Show that has a unique fixed point in .
Let the function be differentiable on and satisfy . Prove that the equation has a unique solution on .
Using the contraction mapping theorem, compute the limit of the sequence of continued fractions: ;
Let the function be differentiable on and satisfy . Prove that the equation has a unique solution on .
Prove that the equation , where , has a unique solution in the space .
Prove that the mapping , is a contraction for , and find its fixed point.
Let, in a complete metric space , the mapping be continuous and let some power of the mapping be a contraction: , where . Prove that the mapping has a unique fixed point in : .
Does there exist an incomplete metric space in which the contraction mapping principle holds?
Construct an example of a complete metric space and a mapping such that , but has no fixed point.
Let be a nonempty complete metric space. Let map into , and write for , that is, . Suppose that is a strict contraction, that is, there is a constant such that for all points , . Show that has a unique fixed point in .
Let be a continuous function on the unit square satisfying for all and . Show that there is a continuous function on such that we have
Can there be more than one such function ?
Show that the mapping
is a contracting mapping on , with the supremum norm.
Show that there exists one and only one smooth function on satisfying the conditions:
Let be the quincunx matrix given in equation (12.7) and let . Then maps into itself, and it can be shown that is contractive with respect to the metric given in Exercise 12.5. This implies that has a unique fixed point , and given any set the iteration converges to . Use this to plot the twin dragon (take ).
The function , defined on , satisfies the Lipschitz condition: there exists such that for any the inequality holds
Prove that if , then there exists a solution of the equation , and it is the only one.
Prove the stated assertion. A contraction mapping is uniformly continuous on .
Prove the stated assertion. A contraction mapping of a complete metric space into itself has a unique fixed point, i.e., a point such that .
Prove the stated assertion. If some power of a mapping of a complete metric space into itself is a contraction mapping, then the mapping itself has a unique fixed point.
Prove the stated assertion. If the function is continuous on the segment , the function is continuous on the square is some number, and then:
the mapping maps the space (see problem 31) into itself;
for any functions and any the inequality
holds.
Prove the stated assertion. The mapping of the preceding problem, of the space into itself, has a unique fixed point, i.e., the equation
has, for any , a unique continuous solution.
Give an example of a mapping of a complete metric space into itself for which, for any two points , , the condition holds, but which has no fixed point.
In solving the equation ( a positive parameter) by the iteration method, a recurrent sequence arises. Prove that the limit exists, and find the asymptotics of the differences .
Prove Banach Fixed-point Theorem (Theorem 2.3.21).
Theorem 2.3.21 (Banach Fixed-point Theorem): A contraction on a metric space has exactly one fixed point, i.e., the point such that .
Does a mapping of a metric space into itself that is Lipschitz with Lipschitz constant less than 1 necessarily have a fixed-point?
Does a mapping of a complete metric space into itself that is Lipschitz with Lipschitz constant 1 necessarily have a fixed-point?
In Euclidean space consider the closed unit ball . Let map into and be Lipschitz with Lipschitz constant 1. Without using the Brouwer Fixed-Point Theorem, show that has a fixed-point.
Let be a complete metric space containing the point and let be a positive real number. Define . Suppose that the mapping is Lipschitz with Lipschitz constant . Suppose also that . Prove that and that has a fixed-point.
Use the Banach Contraction Principle to prove Lemma 1.
Lemma 1: Let be a Banach space and the operator have . Then is invertible and .
Suppose is a real function on . Call a fixed point of if .
If is differentiable and for every real , prove that has at most one fixed point.
Show that the function defined by
has no fixed point, although for all real .
However, if there is a constant such that for all real , prove that a fixed point of exists, and that , where is an arbitrary real number and
for
Show that the process described in (c) can be visualized by the zig-zag path
Let be a complete metric space and a contraction, i.e., there exists such that for all . Theorem 6.11 (the Banach contraction mapping principle) states that there exists a unique point with ; its proof chooses any and puts , , and so on, .
Give an inductive proof of the inequality , , and thereby complete the proof of the contraction mapping theorem.
Consider the function given by
Show that for all and , yet has no fixed point. Does this contradict the contraction mapping principle? Explain.
Let be a compact metric space, and continuous. is called a fixed point of if . is called a contraction if there is a number such that for all . Show that a contraction has a unique fixed point. This result is known as the contraction mapping principle and plays a key role in analysis.
Consider , where denotes the -fold composition of with itself, and use the finite intersection property from the previous exercise.