Abstract
In this chapter we establish existence and uniqueness of a fixed point for a generic mapping, convergence of iterates of a generic nonexpansive mapping, stability of the fixed point under small perturbations of a mapping and many other results. In particular, for a given nonempty, bounded, closed and convex subset K of a Banach space, we show that the iterates of a typical element (in the sense of Baire’s categories) of a class of continuous self-mappings of K converge uniformly on K to the unique fixed point of this typical element.
Access provided by Autonomous University of Puebla. Download chapter PDF
Keywords
- General Nonexpansive Mappings
- Complete Metric
- Strict Contraction
- Leray-Schauder Condition
- Ordered Banach Space
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
In this chapter we establish existence and uniqueness of a fixed point for a generic mapping, convergence of iterates of a generic nonexpansive mapping, stability of the fixed point under small perturbations of a mapping and many other results.
2.1 Convergence of Iterates for a Class of Nonlinear Mappings
Let K be a nonempty, bounded, closed and convex subset of a Banach space (X,∥⋅∥). We show that the iterates of a typical element (in the sense of Baire’s categories) of a class of continuous self-mappings of K converge uniformly on K to the unique fixed point of this typical element.
We consider the topological subspace K⊂X with the relative topology induced by the norm ∥⋅∥. Set
Denote by \(\mathcal{A}\) the set of all continuous mappings A:K→K which have the following property:
- (P1):
-
For each ε>0, there exists x ε ∈K such that
$$ \Vert Ax-x_{\varepsilon }\Vert \le\Vert x-x_{\varepsilon }\Vert +\varepsilon \quad\mbox{for all } x \in K. $$(2.2)For each \(A,B \in\mathcal{A}\), set
$$ d(A,B)=\sup\bigl\{ \Vert Ax-Bx\Vert : x \in K\bigr\} . $$(2.3)Clearly, the metric space \((\mathcal{A},d)\) is complete.
We are now ready to state and prove the following result [149].
Theorem 2.1
There exists a set \(\mathcal{F} \subset \mathcal{A}\) such that the complement \(\mathcal{A} \setminus\mathcal{F}\) is σ-porous in \((\mathcal{A},d)\) and each \(A \in\mathcal{F}\) has the following properties:
-
(i)
There exists a unique fixed point x A ∈K such that
$$A^nx \to x_A \quad\textit{as}\ n \to\infty,\ \textit{uniformly for all}\ x \in K; $$ -
(ii)
$$\Vert Ax-x_A\Vert \le\Vert x-x_A\Vert \quad\textit{for all}\ x \in K; $$
-
(iii)
For each ε>0, there exist a natural number n and a real number δ>0 such that for each integer p≥n, each x∈K, and each \(B \in\mathcal{A}\) satisfying d(B,A)≤δ,
$$\bigl\Vert B^px-x_A\bigr\Vert \le \varepsilon . $$
The following auxiliary result will be used in the proof of Theorem 2.1.
Proposition 2.2
Let \(A \in\mathcal{A}\) and ε∈(0,1). Then there exist \(\bar{x} \in K\) and \(B \in\mathcal{A}\) such that
and
Proof
Choose a positive number
Since \(A \in\mathcal{A}\), there exists \(\bar{x} \in K\) such that
Let x∈K. There are three cases:
First we consider case (2.8). There exists an open neighborhood V x of x in K such that
Define ψ x :V x →K by
Clearly, for all y∈V x ,
Consider now case (2.9). Since A is continuous, there exists an open neighborhood V x of x in K such that
In this case we define ψ x :V x →K by
Finally, we consider case (2.10). Inequalities (2.10), (2.6) and (2.7) imply that
For each γ∈[0,1], set
By (2.17), (2.10) and (2.16), we have
By (2.6) and (2.18), there exists γ 0∈(0,1) such that
It now follows from (2.17), (2.19) and (2.7) that
and
Inequalities (2.20) and (2.16) imply that
By (2.17), (2.1), (2.21) and (2.6),
and
Relations (2.19) and (2.22) imply that there exists an open neighborhood V x of x in K such that for each y∈V x ,
Define ψ x :V x →K by
It is not difficult to see that in all three cases we have defined an open neighborhood V x of x in K and a continuous mapping ψ x :V x →K such that for each y∈V x ,
Since the metric space K with the metric induced by the norm is paracompact, there exists a continuous locally finite partition of unity {ϕ i } i∈I on K subordinated to {V x } x∈K , where each ϕ i :K→[0,1], i∈I, is a continuous function such that for each y∈K, there is a neighborhood U of y in K such that
only for finite number of i∈I;
and for each i∈I, there is x i ∈K such that
Here \(\operatorname{supp}(\phi)\) is the closure of the set {x∈K:ϕ(x)≠0}. Define
Clearly, B:K→K is well defined and continuous.
Let z∈K. There are a neighborhood U of z in K and i 1,…,i n ∈I such that
We may assume without any loss of generality that
Then
Relations (2.26), (2.29) and (2.25) imply that for p=1,…,n and \(z \in V_{x_{i_{p}}}\),
By the equation above and (2.30),
and
Proposition 2.2 is proved. □
Proof of Theorem 2.1
For each \(C \in\mathcal{A}\) and x∈K, set C 0 x=x. For each natural number n, denote by \(\mathcal{F}_{n}\) the set of all \(A \in \mathcal{A}\) which have the following property:
- (P2):
-
There exist \(\bar{x}\), a natural number q, and a positive number δ>0 such that
$$\Vert \bar{x}-Ax\Vert \le\Vert \bar{x}-x\Vert +n^{-1} \quad\mbox{for all } x \in K, $$and such that for each \(B \in\mathcal{A}\) satisfying d(B,A)≤δ, and each x∈K,
$$\bigl\Vert B^qx-\bar{x}\bigr\Vert \le n^{-1}. $$
Define
Lemma 2.3
Let \(A \in\mathcal{F}\). Then there exists a unique fixed point x A ∈K of A such that
-
(i)
A n x→x A as n→∞, uniformly on K;
-
(ii)
∥Ax−x A ∥≤∥x−x A ∥ for all x∈K;
-
(iii)
For each ε>0, there exist a natural number q and δ>0 such that for each \(B \in\mathcal{A}\) satisfying d(B,A)≤δ, each x∈K, and each integer i≥q,
$$\bigl\Vert B^ix-x_A\bigr\Vert \le \varepsilon . $$
Proof
Let n be a natural number. Since \(A \in \mathcal{F} \subset\mathcal{F}_{n}\), it follows from property (P2) that there exist x n ∈K, an integer q n ≥1, and a number δ n ≥0 such that
- (P3):
-
For each \(B \in\mathcal{A}\) satisfying d(B,A)≤δ n , and each x∈K,
$$\bigl\Vert B^{q_n}x-x_n\bigr\Vert \le1/n. $$
Property (P3) implies that for each x∈K, \(\Vert A^{q_{n}}x-x_{n}\Vert \le1/n\). This fact implies, in turn, that for each x∈K,
Since n is any natural number, we conclude that for each x∈K, \(\{A^{i}x\}_{i=1}^{\infty}\) is a Cauchy sequence and there exists lim i→∞ A i x. Inequality (2.33) implies that for each x∈K,
Since n is an arbitrary natural number, we conclude that lim i→∞ A i x does not depend on x. Hence there is x A ∈K such that
Inequalities (2.36) and (2.32) imply that for each x∈K,
so that
Since n is an arbitrary natural number, we conclude that
Let ε>0. Choose a natural number
Property (P3) implies that
Inequalities (2.39), (2.36) and (2.38) imply that for each \(B \in \mathcal{A}\) satisfying d(B,A)≤δ n , each x∈K, and each integer i≥q n ,
This completes the proof of Lemma 2.3. □
Completion of the proof of Theorem 2.1
In order to complete the proof of this theorem, it is sufficient, by Lemma 2.3, to show that for each natural number n, the set \(\mathcal{A} \setminus\mathcal{F}_{n}\) is porous in \((\mathcal{A},d)\).
Let n be a natural number. Choose a positive number
Let
By Proposition 2.2, there exist \(A_{0} \in\mathcal{A}\) and \(\bar{x} \in K\) such that
and
Set
and choose a natural number q for which
Define \(\bar{A}:K \to K\) by
Clearly, the mapping \(\bar{A}\) is continuous and for each x∈K,
Thus \(\bar{A} \in\mathcal{A}\). Relations (2.3), (2.46), (2.1), (2.44) and (2.47) imply that
Together with (2.42) this implies that
Now assume that
Then (2.49), (2.40) and (2.47) imply that for each x∈K,
In addition, (2.49), (2.48) and (2.40) imply that
Assume that x∈K. We will show that there exists an integer j∈[0,q] such that \(\Vert B^{j}x-\bar{x}\Vert \le(8n)^{-1}\). Assume the contrary. Then
Let an integer i∈{0,…,q−1}. By (2.49) and (2.47),
and
When combined with (2.52), (2.40) and (2.44), this inequality implies that
so that
When combined with (2.1), this inequality implies that
and
a contradiction (see (2.45)). The contradiction we have reached shows that there exists an integer j∈[0,…,q−1] such that
It follows from (2.49) and (2.47) that for each integer i∈{0,…,q−1},
and
This implies that for each integer s satisfying j<s≤q,
It follows from (2.53), (2.54), (2.45) and (2.40) that
Thus we have shown that the following property holds:
For each B satisfying (2.49) and each x∈K,
(see (2.50)). Thus
In other words, we have shown that the set \(\mathcal{A}\setminus \mathcal{F}_{n}\) is porous in \((\mathcal{A},d)\). This completes the proof of Theorem 2.1. □
2.2 Convergence of Iterates of Typical Nonexpansive Mappings
Let (X,∥⋅∥) be a Banach space and let K⊂X be a nonempty, bounded, closed and convex subset of X. In this section we show that the iterates of a typical element (in the sense of Baire category) of a class of nonexpansive mappings which take K to X converge uniformly on K to the unique fixed point of this typical element.
Denote by \(\mathcal{M}_{ne}\) the set of all mappings A:K→X such that
For each \(A,B \in\mathcal{M}_{ne}\), set
It is clear that \((\mathcal{M}_{ne},d)\) is a complete metric space. Denote by \(\mathcal{M}_{0}\) the set of all \(A \in\mathcal{M}_{ne}\) such that
In other words, \(\mathcal{M}_{0}\) consists of all those nonexpansive mappings taking K into X which have approximate fixed points. Clearly, \(\mathcal{M}_{0}\) is a closed subset of \(\mathcal{M}_{ne}\).
Every nonexpansive self-mapping of K belongs to \(\mathcal{M}_{0}\). In order to exhibit two classes of nonself-mappings of K that are also contained in \(\mathcal{M}_{0}\), we first recall that if x∈K, then the inward set I K (x) of X with respect to K is defined by
A mapping A:K→X is said to be weakly inward if Ax belongs to the closure of I K (x) for each x∈K. Consider now a weakly inward mapping \(A \in\mathcal{M}_{ne}\). Fix a point z∈K and t∈[0,1) and let the mapping S:K→X be defined by Sx=tAx+(1−t)z, x∈K. This strict contraction is also weakly inward and therefore has a unique fixed point x t ∈K by Theorem 2.4 in [118]. Since ∥x t −Ax t ∥→0 as t→1−, we see that \(A \in\mathcal{M}_{0}\).
If K has a nonempty interior \(\operatorname{int}(K)\) and a nonexpansive mapping A:K→X satisfies the Leray-Schauder condition with respect to \(w \in \operatorname{int}(K)\), that is, Ay−w≠m(y−w) for all y in the boundary of K and m>1, then it also belongs to \(\mathcal{M}_{0}\). This is because the strict contraction S:K→X defined by Sx=tAx+(1−t)w, x∈K, also satisfies the Leray-Schauder condition with respect to \(w \in \operatorname{int}(K)\) and therefore has a unique fixed point [117].
Set
Our purpose is to show that the iterates of a typical element (in the sense of Baire category) of \(\mathcal{M}_{0}\) converge uniformly on K to the unique fixed point of this typical element. As a matter of fact, we are able to establish a more refined result, involving the notion of porosity.
We are now ready to formulate our result obtained in [152].
Theorem 2.4
There exists a set \(\mathcal{F} \subset (\mathcal{M}_{0},d)\) such that its complement \(\mathcal{M}_{0} \setminus \mathcal{F}\) is a σ-porous subset of \((\mathcal{M}_{0},d)\) and each \(B \in\mathcal{F}\) has the following properties:
-
1.
There exists a unique point x B ∈K such that Bx B =x B ;
-
2.
For each ε>0, there exist δ>0, a natural number q, and a neighborhood \(\mathcal{U}\) of B in \((\mathcal {M}_{ne},d)\) such that:
-
(a)
if \(C \in\mathcal{U}\), y∈K, and ∥y−Cy∥≤δ, then ∥y−x B ∥≤ε;
-
(b)
if \(C \in\mathcal{U}\), \(\{x_{i}\}_{i=0}^{q} \subset K\), and Cx i =x i+1, i=0,…,q−1, then ∥x q −x B ∥≤ε.
-
(a)
Although analogous results for the closed subspace of \((\mathcal {M}_{0},d)\) comprising all nonexpansive self-mappings of K were established by De Blasi and Myjak in [49, 50], Theorem 2.4 seems to be the first generic result dealing with nonself-mappings. In this connection see also [131, 137].
We begin the proof of Theorem 2.4 with a simple lemma.
Denote by E the set of all \(A \in\mathcal{M}_{ne}\) for which there exists x∈K satisfying Ax=x. That is, E consists of all those nonexpansive mappings A:K→X which have a fixed point.
Lemma 2.5
E is an everywhere dense subset of \((\mathcal{M}_{0},d)\).
Proof
Let \(A \in\mathcal{M}_{0}\) and ε>0. By (2.56), there exists \(\bar{x} \in K\) such that
Define
Clearly, \(B \in\mathcal{M}_{ne}\) and \(B\bar{x}=\bar{x}\). Thus B∈E. It is easy to see that \(d(A,B)=\Vert \bar{x}-A\bar{x}\Vert <\varepsilon \). This completes the proof of Lemma 2.5. □
Proof of Theorem 2.4
For each natural number n, denote by \(\mathcal{F}_{n}\) the set of all those mappings \(A \in\mathcal{M}_{0}\) which have the following property:
- (P1):
-
There exist a natural number q, x ∗∈K, δ>0, and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{M}_{ne}\) such that:
-
(i)
if \(B \in\mathcal{U}\) and if z∈K satisfies ∥z−Bz∥≤δ, then ∥z−x ∗∥≤1/n;
-
(ii)
if \(B \in\mathcal{U}\) and if \(\{x_{i}\}_{i=0}^{q} \subset K\) satisfies x i+1=Bx i , i=0,…,q−1, then ∥x q −x ∗∥≤1/n.
-
(i)
Set
We intend to prove that \(\mathcal{M}_{0} \setminus\mathcal{F}\) is a σ-porous subset of \((\mathcal{M}_{0},d)\). To meet this goal, it is sufficient to show that for each natural number n, the set \(\mathcal{M}_{0} \setminus\mathcal{F}_{n}\) is a porous subset of \((\mathcal {M}_{0},d)\).
Indeed, let n be a natural number. Choose a positive number
Let
By Lemma 2.5, there are A 0∈E and x ∗∈K such that
Set
and
Now choose an integer q≥4 such that
Define
Clearly, \(A_{1} \in\mathcal{M}_{ne}\) and
By (2.55), (2.66), (2.61) and (2.57),
so that
Assume that \(B \in\mathcal{M}_{ne}\) satisfies
Assume further that
When combined with (2.71) and (2.63), this inequality implies that
and
Thus we have shown that
Now assume that
By (2.74), (2.55), (2.70), (2.66) and (2.61), for i=0,…,q−1, there holds
that is,
In view of this inequality, which is valid for i=0,…,q−1, we get
When combined with (2.62), (2.65) and (2.59), this last inequality implies that
Thus we have shown that
By (2.75), (2.74) and (2.73), each \(C \in\mathcal{M}_{0}\) which satisfies d(C,A 1)≤αr has property (P1). Therefore
When combined with (2.59) and (2.69), this inclusion implies that
This means that \(\mathcal{M}_{0} \setminus\mathcal{F}_{n}\) is a porous set in \((\mathcal{M}_{0},d)\) for all natural numbers n. Therefore \(\mathcal{M}_{0} \setminus\mathcal{F}\) is a σ-porous set in \((\mathcal{M}_{0},d)\).
Now let \(A \in\mathcal{F}\) and ε>0. Choose a natural number
Since \(A \in\mathcal{F}_{n}\), property (P1) implies that there exist a natural number q n , a number δ n >0, a neighborhood \(\mathcal {U}_{n}\) of A in \(\mathcal{M}_{ne}\), and a point x n ∈K such that the following property holds:
- (P2):
-
-
(i)
if \(B \in\mathcal{U}_{n}\), z∈K, and ∥z−Bz∥≤δ n , then ∥z−x n ∥≤1/n;
-
(ii)
if \(B \in\mathcal{U}_{n}\), \(\{z_{i}\}_{i=0}^{q_{n}} \subset K\), and z i+1=Bz i , i=0,…,q n −1, then \(\Vert z_{q_{n}}-x_{n}\Vert \le 1/n\).
-
(i)
Since \(A \in\mathcal{M}_{0}\), there exists a sequence \(\{y_{i}\}_{i=1}^{\infty} \subset K\) such that
Hence there exists a natural number i 0 such that
When combined with (P2)(i), this implies that
In view of (2.78), for each pair of integers i,j≥i 0,
Since ε is an arbitrary positive number, we conclude that \(\{y_{i}\}_{i=1}^{\infty}\) is a Cauchy sequence and therefore there exists
Clearly, Ax A =x A . It is easy to see that x A is the unique fixed point of A. Indeed, if it were not unique, then we would be able to construct a nonconvergent sequence \(\{y_{i}\}_{i=0}^{\infty}\) satisfying (2.77).
Now assume that
By (P2)(i) and (2.81),
When combined with (2.80) and (2.76), this inequality implies that
Finally, suppose that
Then by (P2)(ii) and (2.82),
When combined with (2.80) and (2.76), this last inequality implies that
This completes the proof of Theorem 2.4. □
2.3 A Stability Result in Fixed Point Theory
Let K⊂X be a nonempty, compact and convex subset of a Banach space (X,∥⋅∥). In this section, which is based on [153], we consider a complete metric space of all the continuous self-mappings of K and show that a typical element of this space (in the sense of Baire’s categories) has a fixed point which is stable under small perturbations of the mapping.
Denote by \(\mathcal{A}\) the set of all continuous mappings A:K→K. For each \(A,B \in\mathcal{A}\), set
Clearly, \((\mathcal{A},d)\) is a complete metric space. By Schauder’s fixed point theorem, for each \(A \in\mathcal{A}\) there exists x ∗∈K such that Ax ∗=x ∗. We begin with the following simple result.
Proposition 2.6
Let \(A \in\mathcal{A}\), Ω={x∈K:Ax=x}, and let ε>0. Then there exists a positive number δ such that for each \(B \in\mathcal{A}\) satisfying d(A,B)≤δ and each x∈K satisfying Bx=x, there exists y∈Ω such that ∥x−y∥≤ε.
Proof
Assume the contrary. Then there exist a sequence \(\{B_{n}\}_{n=1}^{\infty} \subset\mathcal{A}\) satisfying
and a sequence \(\{x_{n}\}_{n=1}^{\infty} \subset K\) such that for each integer n≥1,
Since K is compact, we may assume without loss of generality that there exists
It follows from (2.85), (2.84), (2.83) and the continuity of A that
Thus Ax ∗=x ∗, x ∗∈Ω, and (2.85) contradicts (2.84). The contradiction we have reached proves Proposition 2.6. □
In view of this result, it is natural to ask if, given \(A \in\mathcal{A}\), there is a fixed point x ∗∈K of A with the following property:
For each ε>0 there exists δ>0 such that for each \(B \in\mathcal{A}\) satisfying d(A,B)≤δ, there exists y∈K such that By=y and ∥y−x ∗∥≤ε.
Example 2.7
Let X=R 1, K=[0,1] and Ax=x, x∈K. Clearly, the set of fixed points of A is the interval [0,1]. For each integer n≥1, define
Clearly, B n ,A n →A as n→∞. It is easy to see that for each n≥1, the set of fixed points of A n is the singleton {0} while the set of fixed points of B n is the interval [1−1/n,1].
This example shows that in general the answer to our question is negative. Nevertheless, we show in this section that for a typical \(A \in\mathcal{A}\) (in the sense of Baire’s categories) the answer is positive.
Let K⊂X be a nonempty, closed and convex subset of a Banach space (X,∥⋅∥). Denote by \(\tilde{\mathcal{A}}\) the family of all continuous mappings A:K→K such that the closure of A(K) is a compact set in the norm topology. It is well known [171] that for each \(A \in\tilde{\mathcal{A}}\) there is x A ∈K such that Ax A =x A .
For each \(A,B \in\tilde{\mathcal{A}}\) set
It is not difficult to see that \((\tilde{\mathcal{A}},d)\) is a complete metric space.
Theorem 2.8
There exists a subset \(\mathcal{F} \subset\tilde{\mathcal{A}}\) which is a countable intersection of open everywhere dense subsets of \((\tilde{\mathcal{A}},d)\) such that for each \(A \in \mathcal{F}\), there exists x ∗∈K such that
-
(i)
Ax ∗=x ∗;
-
(ii)
for each ε>0 there exists δ>0 such that if \(B \in\tilde{\mathcal{A}}\) satisfies d(A,B)≤δ, then there is z∈K which satisfies Bz=z and ∥z−x ∗∥≤ε.
Two auxiliary propositions will precede the proof of Theorem 2.8.
Proposition 2.9
Let \(A \in\tilde{\mathcal{A}}\), ε>0 and let x ∗∈K satisfy Ax ∗=x ∗. Then there exist \(B \in \tilde{\mathcal{A}}\) and δ>0 such that d(B,A)≤ε and Bz=x ∗ for each z∈K satisfying ∥z−x ∗∥≤δ.
Proof
There exists δ>0 such that for each z∈K satisfying ∥z−x ∗∥≤4δ, the following inequality holds:
By Urysohn’s theorem, there exists a continuous function λ:X→[0,1] such that
and
Define
for all z∈K.
Clearly, B:K→K is continuous, B(K) is contained in a compact subset of X, and
By (2.90), (2.88) and (2.89), for each z∈K satisfying ∥z−x ∗∥≤δ, we have
and for each z∈K satisfying ∥z−x ∗∥≥2δ,
It follows from (2.90) and the choice of δ (see (2.87)) that for each z∈K satisfying ∥z−x ∗∥≤2δ,
This completes the proof of Proposition 2.9. □
Proposition 2.10
Let \(A \in\tilde{\mathcal{A}}\), ε>0, let x ∗∈K be a fixed point of A, and let \(B \in\tilde{\mathcal{A}}\), δ>0 be as guaranteed by Proposition 2.9. Then for each \(C \in\tilde{\mathcal{A}}\) satisfying d(C,B)≤δ, there is y∈K such that
Proof
By Proposition 2.9,
and
Assume that \(C \in\tilde{\mathcal{A}}\) satisfies
Set
Clearly, Ω is a closed and convex set. It follows from (2.97), (2.96) and (2.95) that for each z∈Ω,
and Cz∈Ω. Thus C(Ω)⊂Ω. Clearly C(Ω)⊂C(X) is contained in a compact subset of X. By Schauder’s theorem there is y∈Ω such that Cy=y. Proposition 2.10 is proved. □
Proof of Theorem 2.8
Let \(A \in\tilde{\mathcal{A}}\) and ε∈(0,1). By Propositions 2.9 and 2.10, there exist
such that
and the following property holds:
- (P):
-
For each \(C \in\tilde{\mathcal{A}}\) satisfying d(C,A ε )≤δ A,ε , there is y∈K such that
$$Cy=y, \qquad\Vert y-x_{A,\varepsilon }\Vert \le d(C,A_{\varepsilon }). $$For each integer i≥1, set
$$ \mathcal{U}(A,\varepsilon ,i)=\bigl\{ C \in\tilde{\mathcal{A}}: d(C,A_{\varepsilon }) <\delta_{A,\varepsilon }/i\bigr\} . $$(2.100)
Define
Clearly, \(\mathcal{F}\) is a countable intersection of open and everywhere dense subsets of \((\tilde{\mathcal{A}},d)\).
Let \(B \in\mathcal{F}\). For each integer i≥1, there are \(A_{i} \in\tilde{\mathcal{A}}\) and ε i ∈(0,1) such that
It follows from (2.102), (2.100) and property (P) that for each integer i≥1, there y i ∈K such that
and
Since \(\{y_{i}\}_{i=1}^{\infty} \subset B(K)\), there is a subsequence \(\{y_{i_{k}}\}_{k=1}^{\infty}\) which converges to x ∗∈K. Clearly, Bx ∗=x ∗.
Let ε>0. There exists a natural number k such that
It follows from (2.104) and (2.105) that
Inequalities (2.105) and (2.106) imply that
Let
It follows from (2.108), (2.100), (2.105) and property (P) that there exists a point z∈K such that
When combined with (2.107), this implies that
Theorem 2.8 is proved. □
2.4 Well-Posed Null and Fixed Point Problems
The notion of well-posedness is of great importance in many areas of mathematics and its applications. In this section we consider two complete metric spaces of continuous mappings and establish generic well-posedness of certain null and fixed point problems. Our results, which were obtained in [154], are a consequence of the variational principle established in [74]. For other related results concerning the well-posedness of fixed point problems see [50, 139].
Let (X,∥⋅∥,≥) be a Banach space ordered by a closed convex cone X +={x∈X:x≥0} such that ∥x∥≤∥y∥ for each pair of points x,y∈X + satisfying x≤y. Let (K,ρ) be a complete metric space. Denote by \(\mathcal{M}\) the set of all continuous mappings A:K→X. We equip the set \(\mathcal{M}\) with the uniformity determined by the following base:
where ε>0. It is not difficult to see that this uniform space is metrizable (by a metric d) and complete.
Denote by \(\mathcal{M}_{p}\) the set of all \(A \in\mathcal{M}\) such that
and
It is not difficult to see that \(\mathcal{M}_{p}\) is a closed subset of \((\mathcal{M},d)\).
We can now state and prove our first result.
Theorem 2.11
There exists an everywhere dense G δ subset \(\mathcal{F} \subset\mathcal{M}_{p}\) such that for each \(A \in\mathcal{F}\), the following properties hold:
-
1.
There is a unique \(\bar{x} \in K\) such that \(A\bar{x}=0\).
-
2.
For any ε>0, there exist δ>0 and a neighborhood U of A in \(\mathcal{M}_{p}\) such that if B∈U and if x∈K satisfies ∥Bx∥≤δ, then \(\rho(x,\bar{x}) \le \varepsilon \).
Proof
We obtain this theorem as a realization of the variational principle established in Theorem 2.1 of [74] with f A (x)=∥Ax∥, x∈K. In order to prove our theorem by using this variational principle we need to prove the following assertion:
- (A):
-
For each \(A \in\mathcal{M}_{p}\) and each ε>0, there are \(\bar{A} \in\mathcal{M}_{p}\), δ>0, \(\bar{x} \in K\) and a neighborhood W of \(\bar{A}\) in \(\mathcal{M}_{p}\) such that
$$(A,\bar{A}) \in E(\varepsilon ), $$and if B∈W and z∈K satisfy ∥Bz∥≤δ, then
$$\rho(z,\bar{x}) \le \varepsilon . $$
Let \(A \in\mathcal{M}_{p}\) and ε>0. Choose \(\bar{u} \in X_{+}\) such that
and \(\bar{x} \in K\) such that
Since A is continuous, there is a positive number r such that
and
By Urysohn’s theorem, there is a continuous function ϕ:K→[0,1] such that
and
Define
It is clear that \(\bar{A}:K \to X\) is continuous. Now (2.116)–(2.118) imply that
and
It is not difficult to see that \(\bar{A} \in\mathcal{M}_{p}\). We claim that \((A,\bar{A}) \in E(\varepsilon )\).
Let x∈K. There are two cases: either
or
Assume first that (2.121) holds. Then it follows from (2.121), (2.117), (2.118) and (2.112) that
Now assume that (2.122) holds. Then by (2.122), (2.118) and (2.112),
It follows from this inequality, (2.122), (2.115) and (2.113) that
Therefore in both cases \(\Vert \bar{A}x-Ax\Vert \le \varepsilon /2\). Since this inequality holds for any x∈K, we conclude that
Consider now an open neighborhood U of \(\bar{A}\) in \(\mathcal{M}_{p}\) such that
Let
and
Relations (2.126), (2.125), (2.124) and (2.109) imply that
We claim that
Assume the contrary. Then by (2.114),
When combined with (2.120), this implies that
It follows from this inequality, the monotonicity of the norm, (2.125), (2.124), (2.109) and (2.112) that
This, however, contradicts (2.126). The contradiction we have reached proves (2.128) and Theorem 2.11 itself. □
Now assume that the set K is a subset of X and
Denote by \(\mathcal{M}_{n}\) the set of all mappings \(A \in\mathcal{M}\) such that
and
Clearly, \(\mathcal{M}_{n}\) is a closed subset of \((\mathcal{M},d)\). Define a map \(J:\mathcal{M}_{n} \to\mathcal{M}_{p}\) by
and all \(A \in\mathcal{M}_{n}\). Clearly, there exists \(J^{-1}:\mathcal {M}_{p} \to\mathcal{M}_{n}\), and both J and its inverse J −1 are continuous. Therefore Theorem 2.11 implies the following result regarding the generic well-posedness of the fixed point problem for \(A \in\mathcal{M}_{n}\).
Theorem 2.12
There exists an everywhere dense G δ subset \(\mathcal{F} \subset\mathcal{M}_{n}\) such that for each \(A \in\mathcal{F}\), the following properties hold:
-
1.
There is a unique \(\bar{x} \in K\) such that \(A\bar{x}=\bar{x}\).
-
2.
For any ε>0, there exist δ>0 and a neighborhood U of A in \(\mathcal{M}_{n}\) such that if B∈U and if x∈K satisfies ∥Bx−x∥≤δ, then \(\Vert x-\bar{x}\Vert \le \varepsilon \).
2.5 Mappings in a Finite-Dimensional Euclidean Space
In this section we study the existence and stability of fixed points of continuous mappings in finite-dimensional Euclidean spaces. Our results [156] establish generic existence and stability of fixed points for a class of nonself-mappings defined on certain closed (but not necessarily either convex or bounded) subsets of a finite-dimensional Euclidean space. In these results, we endow the relevant space of mappings with two topologies, one weaker than the other. In the first result we find an open (in the weak topology) and everywhere dense (in the strong topology) set such that each mapping in it possesses a fixed point. In the second result we construct a countable intersection of open (in the weak topology) and everywhere dense (in the strong topology) sets such that each mapping in this intersection has a stable fixed point.
Let K⊂R n be a nonempty, closed subset of the n-dimensional Euclidean space (R n,∥⋅∥). We assume that K is the closure of its nonempty interior \(\operatorname{int}(K)\).
For each x∈R n and each r>0, set B(x,r)={y∈R n:∥x−y∥≤r} and fix θ∈K.
Denote by \(\mathcal{M}\) the set of all continuous mappings A:K→R n. We equip the space \(\mathcal{M}\) with the uniformity determined by the base
where N,ε>0.
Clearly, the space \(\mathcal{M}\) with this uniformity is metrizable and complete. We equip the space \(\mathcal{M}\) with the topology induced by this uniformity. This topology will be called the weak topology.
We also equip the space \(\mathcal{M}\) with the uniformity determined by the base
where ε>0. Clearly, the space \(\mathcal{M}\) with this uniformity is also metrizable and complete. The topology induced by this uniformity on \(\mathcal{M}\) will be called the strong topology.
Denote by \(\mathcal{M}_{f}\) the set of all \(A \in\mathcal{M}\) which have approximate fixed points. In other words, the set \(\mathcal{M}_{f}\) consists of all \(A \in\mathcal{M}\) such that
It is clear that \(\mathcal{M}_{f}\) is a closed subset of \(\mathcal{M}\) with the strong topology.
Note that if the set K is bounded, then \(\mathcal{M}_{f}\) consists of all those elements of \(\mathcal{M}\) which have fixed points. Every self-mapping of K which is a strict contraction, that is, has a Lipschitz constant strictly less than one, clearly belongs to \(\mathcal{M}_{f}\).
If K is bounded and convex and a continuous mapping A:K→R n satisfies the Leray-Schauder condition with respect to \(w \in \operatorname{int}(K)\), that is, Ay−w≠m(y−w) for all y on the boundary of K and m>1, then it also belongs to \(\mathcal{M}_{f}\). If such an A is a strict contraction, then this continues to be true even if K is neither bounded nor convex.
We endow the topological subspace \(\mathcal{M}_{f}\subset M\) with both the relative weak and strong topologies.
The following two results were obtained in [156].
Theorem 2.13
Let γ∈(0,1). There exists an open (in the weak topology) and everywhere dense (in the strong topology) set \(\mathcal{F}_{\gamma} \subset\mathcal{M}_{f}\) such that for each \(A \in\mathcal{F}_{\gamma}\), there are \(x_{A} \in \operatorname{int}(K)\), r A ∈(0,1), and a neighborhood \(\mathcal{U}\) of A in \(\mathcal {M}_{f}\) with the weak topology such that
and for each \(C \in\mathcal{U}\), there is x C ∈K such that Cx C =x C and ∥x C −x A ∥≤γr A .
Theorem 2.14
There exists a set \(\mathcal{F} \subset \mathcal{M}_{f}\) which is a countable intersection of open (in the weak topology) and everywhere dense (in the strong topology) subsets of \(\mathcal{M}_{f}\) such that for each \(A \in\mathcal{F}\) and each γ∈(0,1), there exist \(x_{A} \in \operatorname{int}(K)\), r A ∈(0,1), and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{M}_{f}\) with the weak topology such that
and for each \(C \in\mathcal{U}\) there is x C ∈K such that Cx C =x C and ∥x C −x A ∥≤γr A .
Example 2.15
Let n=1, \(K=\bigcup_{j=0}^{\infty}[2j,2j+1]\), and define, for each integer j≥1 and each x∈[2j,2j+1], Ax=x+2−j. Clearly, inf{|x−Ax|:x∈K}=0 but A is fixed point free.
In order to prove Theorem 2.13 we need two auxiliary results.
Denote by \(\mathcal{E}\) the set of all \(A \in\mathcal{M}_{f}\) for which there exist
such that
Lemma 2.16
The set \(\mathcal{E}\) is an everywhere dense subset of \(\mathcal{M}_{f}\) with the strong topology.
Proof
Let \(A \in\mathcal{M}_{f}\) and ε>0. By the definition of \(\mathcal{M}_{f}\) (see (2.131)), there exists x 0∈K such that
Since K is the closure of \(\operatorname{int}(K)\) and A is continuous, there is \(x_{1} \in\operatorname{int}(K)\) such that
Set
Clearly, \(A_{1} \in\mathcal{M}\). In view of (2.136),
By (2.136), (2.135) and (2.134), for each y∈K,
Since A 1 has a fixed point (see (2.137)), it is clear that \(A_{1} \in\mathcal{M}_{f}\). Since A 1 is continuous and \(x_{1} \in\operatorname{int}(K)\), there exists r 1∈(0,1) such that
Define
and
Clearly, \(B \in\mathcal{M}\). It follows from (2.141) and (2.140) that for each y∈B(x 1,r 1/2),
Therefore \(B \in\mathcal{E}\). We will now show that
Indeed, let y∈K. There are two cases to be considered:
If (2.144) holds, then (2.144), (2.141), (2.140) and (2.138) imply that
Let (2.143) hold. Then by (2.143), (2.141), (2.140), (2.137) and (2.139),
When combined with (2.138), this inequality implies that
Thus
This completes the proof of Lemma 2.16. □
Lemma 2.17
Let \(A \in\mathcal{E}\), \(x_{A} \in \operatorname{int}(K)\), r A ∈(0,1) satisfy (2.133) and let γ∈(0,1). Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{M}_{f}\) with the weak topology such that for each \(B \in \mathcal{U}\), there is x B ∈K such that ∥x B −x A ∥≤γr A /4 and Bx B =x B .
Proof
Set
and put
Clearly, \(\mathcal{U}\) is a neighborhood of A in \(\mathcal{M}_{f}\) with the weak topology.
Let \(B \in\mathcal{U}\). It follows from (2.147), (2.133) and (2.146) that for each z∈B(x A ,γr A /4),
Thus
Since the mapping B is continuous, there is x B ∈B(x A ,γr A /4) such that
Lemma 2.17 is proved. □
Proof of Theorem 2.13
Let \(A \in\mathcal{E}\). There exist \(x_{A} \in\operatorname{int}(K)\) and r A ∈(0,1) such that (2.133) holds. By Lemma 2.17, there exists an open neighborhood \(\mathcal{U}(A)\) of A in \(\mathcal{M}_{f}\) with the weak topology such that the following property holds:
- (P1):
-
For each \(B \in\mathcal{U}(f)\), there is x B ∈K such that
$$ Bx_B=x_B \quad\mbox{and} \quad\Vert x_B-x_A\Vert \le\gamma r_A/8. $$(2.148)
Set
By Lemma 2.16, \(\mathcal{F}_{\gamma}\) is an open (in the weak topology) and everywhere dense (in the strong topology) subset of \(\mathcal{M}_{f}\).
Let \(B \in\mathcal{F}_{\gamma}\). By (2.149), there is \(A \in\mathcal {E}\) such that
By property (P1), for each \(C \in\mathcal{U}(A)\), there is x C ∈K such that
Clearly,
It follows from (2.152) and (2.135) that
By (2.151) and (2.152), for each \(C \in \mathcal{U}(A)\),
This completes the proof of Theorem 2.13. □
Proof of Theorem 2.14
For each integer n≥1, let \(\mathcal{F}_{n}\) be as guaranteed in Theorem 2.13 with γ=(2n)−1. Set
Clearly, \(\mathcal{F}\) is a countable intersection of open (in the weak topology), everywhere dense (in the strong topology) subsets of \(\mathcal{M}_{f}\).
Let \(A \in\mathcal{F}\) and γ∈(0,1). Choose a natural number n such that
Since \(A \in\mathcal{F}_{n}\) and the assertion of Theorem 2.13 holds with γ=(2n)−1 and \(\mathcal{F}_{\gamma}=\mathcal{F}_{n}\), there are \(x_{A} \in\operatorname{int}(K)\), r A ∈(0,1), and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{M}_{f}\) with the weak topology such that B(x A ,r A )⊂K, Ax A =x A , and for each \(C \in\mathcal{U}\), there is x C ∈K such that Cx C =x C and
Thus Theorem 2.14 is also proved. □
2.6 Approximate Fixed Points
Let (K,ρ) be a complete metric space such that
and let (X,∥⋅∥,≥) be a Banach space ordered by a closed convex cone
We assume that ∥x∥≤∥y∥ for each x,y∈X + which satisfy x≤y.
Denote by \(\mathcal{A}\) the set of all continuous mappings A:K→X +. We equip the set \(\mathcal{A}\) with the uniformity determined by the following base:
where ε>0 [80]. Clearly, the uniform space obtained in this way is metrizable and complete. The uniformity determined by (2.156) induces a topology on \(\mathcal{A}\) which is called the strong topology.
Denote by \(\mathcal{F}_{0}\) the set of all \(A \in\mathcal{A}\) for which
Theorem 2.18
The set \(\mathcal{F}_{0}\) is an open everywhere dense subset of \(\mathcal{A}\) with the strong topology.
Proof
Let \(A \in\mathcal{F}_{0}\). There is r>0 such that
Set
Clearly, U is a neighborhood of A in \(\mathcal{A}\) with the strong topology. Assume that B∈U. Then it follows from (2.157) and (2.158) that for each x∈K,
Thus \(B \in\mathcal{F}_{0}\). This implies that \(U \subset\mathcal{F}_{0}\). In other words, we have shown that \(\mathcal{F}_{0}\) is an open subset of \(\mathcal{F}_{0}\) with the strong topology.
Now we show that \(\mathcal{F}_{0}\) is an everywhere dense subset of \(\mathcal{A}\) with the strong topology. Let \(A \in\mathcal{F}_{0}\) and ε>0. Choose u∈X such that
and set
By (2.159) and (2.160), for each x∈K,
Thus \(B \in\mathcal{F}_{0}\). In view of (2.160), (2.159) and (2.156), (A,B)∈E s (ε). Therefore \(\mathcal{F}_{0}\) is an everywhere dense subset of \(\mathcal{A}\) with the strong topology. Theorem 2.18 is proved. □
Now we equip the set \(\mathcal{A}\) with a topology which will be called the weak topology. Fix θ∈K. For each ε,n>0, set
We equip the set \(\mathcal{A}\) with the uniformity determined by the base
Clearly, the uniform space obtained in this way is metrizable and complete. The uniformity determined by (2.161) induces in the set \(\mathcal{A}\) a topology which is called the weak topology.
Theorem 2.19
There exists a set \(\mathcal{F}_{1} \subset \mathcal{A}\) which is a countable intersection of open everywhere dense subsets of \(\mathcal{A}\) with the weak topology such that for each \(A \in\mathcal{F}_{1}\),
Proof
Denote by \(\mathcal{E}\) the set of all \(A \in \mathcal{A}\) for which there is x∈K such that Ax=0. First we show that \(\mathcal{E}\) is an everywhere dense subset of \(\mathcal{A}\) with the weak topology. Let \(A \in\mathcal{A}\) and ε,n>0. Choose \(\bar{x} \in K\) such that
By Urysohn’s theorem there is a continuous function ϕ:K→[0,1] such that
and
Set
Clearly, \(B \in\mathcal{A}\). In view of (2.164) and (2.165),
Thus \(B \in\mathcal{E}\). Let x∈K satisfy
It follows from (2.166) and (2.163) that
When combined with (2.164) and (2.165), this implies that
Thus Bx=Ax for each x∈K satisfying (2.166). The definition of the base E w (see (2.161)) implies that (A,B)∈E w (ε,n). In other words we have shown that \(\mathcal{E}\) is an everywhere dense subset of \(\mathcal{A}\) with the weak topology.
Let \(A \in\mathcal{E}\) and let n≥1 be an integer. There is x A ∈K such that
Since A is continuous, there is r∈(0,1) such that
Choose an open neighborhood \(\mathcal{U}(A,n)\) of A in \(\mathcal{A}\) with the weak topology such that
Let
In view of (2.170) and since r<1,
Together with (2.169), (2.170) and (2.161), this inequality implies that
When combined with (2.171), this inequality implies that ∥Bx∥≤1/n. Thus we have shown that the following property holds:
- (P0):
-
For each \(B \in\mathcal{U}(A,n)\), inf{∥Bz∥:z∈K}≤1/n.
Set
Clearly, \(\mathcal{F}_{1}\) is a countable intersection of open everywhere dense (in the weak topology) subsets of \(\mathcal{A}\).
Let \(B \in\mathcal{F}_{1}\) and ε>0. Choose a natural number n such that
By (2.172), there is \(A \in\mathcal{E}\) such that
It follows from this inclusion, property (P0) and (2.173) that
Since ε is an arbitrary positive number, we conclude that
Theorem 2.19 is proved. □
Assume now that K is a subset of X and that
Denote by \(\mathcal{B}\) the set of all continuous mappings A:K→X such that
For each \(A \in\mathcal{B}\), denote by J(A) the mapping defined by
Clearly, \(J(\mathcal{B})=\mathcal{A}\), and if \(A_{1}, A_{2} \in\mathcal{B}\) are such that
then A 1=A 2. We equip the set \(\mathcal{B} \) with the uniformity determined by the following base:
where ε>0. It is not difficult to see that the space \(\mathcal{B}\) with this uniformity is metrizable and complete. This uniformity induces in \(\mathcal{B}\) a topology which is called the strong topology. It is easy to see that the mapping J is a homeomorphism of the spaces \(\mathcal{B}\) and \(\mathcal{A}\) with the strong topologies. Thus Theorem 2.18 implies the following result.
Corollary 2.20
The set of all \(A \in\mathcal{B}\) for which
is an open everywhere dense subset of \(\mathcal{B}\) with the strong topology.
We also equip the set \(\mathcal{B} \) with the uniformity determined by the following base:
where n,ε>0. It is not difficult to see that the space \(\mathcal{B}\) with this uniformity is metrizable and complete. This uniformity induces in \(\mathcal{B}\) a topology which is called the weak topology. It is easy to see that the mapping J is a homeomorphism of the spaces \(\mathcal{B}\) and \(\mathcal{A}\) with the weak topologies.
Therefore Theorem 2.19 implies the following corollary.
Corollary 2.21
There exists a set \(\mathcal{F} \subset \mathcal{B}\) which is a countable intersection of open and everywhere dense subsets of \(\mathcal{B}\) with the weak topology such that for each \(A \in\mathcal{F}\),
The results of this section were obtained in [157].
2.7 Generic Existence of Small Invariant Sets
In this section we consider generic properties of mappings with approximate fixed points. More precisely, let K be a closed and convex subset of a Banach space (X,∥⋅∥). We consider a complete metric space of all the continuous self-mappings of K with approximate fixed points. We show that a typical element of this space (in the sense of Baire’s categories) has invariant balls of arbitrarily small radii. This result was obtained in [146].
Denote by \(\mathcal{A}\) the set of all mappings A:K→K such that
We equip the set \(\mathcal{A}\) with the uniformity determined by the following base:
where ε>0. It is easy to see that the uniform space \(\mathcal{A}\) is metrizable (by a metric d).
We first observe that \((\mathcal{A},d)\) is a complete metric space.
Proposition 2.22
The metric space \((\mathcal{A},d)\) is complete.
Proof
Let \(\{A_{i}\}_{i=1}^{\infty} \subset\mathcal{A}\) be a Cauchy sequence. Then for any ε>0, there is a natural number i ε such that
This implies that for each x∈K, \(\{A_{i}x\}_{i=1}^{\infty}\) is a Cauchy sequence and there exists
Let ε>0 and let a natural number i ε satisfy (2.176). Relations (2.176) and (2.177) imply that for each integer j≥i ε and each x∈K,
Thus
In order to complete the proof of Proposition 2.22, it is sufficient to show that the mapping A satisfies (2.174).
Let δ>0. Then in view of (2.178) there is a natural number i 0 such that
Since \(A_{i_{0}} \in\mathcal{A}\), there is y∈K such that
When combined with (2.179), this inequality implies that
Since δ is any positive number, we conclude that \(A \in \mathcal{A}\). This completes the proof of Proposition 2.22. □
Denote by \(\mathcal{A}_{c}\) the set of all continuous \(A \in\mathcal{A}\). Clearly, \(\mathcal{A}_{c}\) is a closed subset of \((\mathcal{A},d)\).
Theorem 2.23
There exists a set \(\mathcal{F} \subset \mathcal{A}_{c}\) which is a countable intersection of open and everywhere dense subsets of \(\mathcal{A}_{c}\) such that each \(A \in\mathcal{F}\) has the following property:
For each γ∈(0,1), there are x γ ∈K, r∈(0,1], and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}_{c}\) such that for each \(C \in\mathcal{U}\),
Corollary 2.24
Assume that for each x∈K, the set {z∈K:∥z−x∥≤1} is compact. Let \(\mathcal{F}\) be as guaranteed by Theorem 2.23, and let \(A \in\mathcal{F}\), γ∈(0,1).
Then there are x A ∈K and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}_{c}\) such that for each \(C \in\mathcal{U}\), there is a point z∈K so that ∥z−x A ∥≤γ and Cz=z.
Corollary 2.25
Assume that X is finite-dimensional. Then the assertion of Corollary 2.24 holds.
Corollary 2.26
Assume that the assumptions of Corollary 2.24 hold, and that \(A \in\mathcal{F}\) and ε>0. Then there are \(\bar{x} \in K\) and r∈(0,1] such that
Proof
Choose a positive number γ such that
By Theorem 2.23, there are x γ ∈K and r∈(0,1] such that (2.180) holds with C=A. By Schauder’s theorem, there is \(\bar{x} \in K\) such that
We have, by (2.182),
When combined with (2.180) (with C=A), this inclusion implies that
On the other hand, by (2.181) and (2.182),
It now follows from (2.184), (2.183) and (2.181) that
Corollary 2.26 is proved. □
Corollary 2.27
Assume that X is finite-dimensional. Then the assertion of Corollary 2.26 holds.
Corollary 2.28
Let K be compact. Then \(\mathcal{A}_{c}\) is the set of all continuous mappings A:K→K and the assertion of Corollary 2.26 holds.
We begin the proof of Theorem 2.23 with the following lemma.
Lemma 2.29
Let \(A \in\mathcal{A}_{c}\) and ε>0. Then there are x ∗∈K, r>0, and \(B \in\mathcal{A}_{c}\) such that
Proof
Since \(A \in\mathcal{A}_{c}\) (see (2.174)), there is x ∗∈K such that
There also is a number r∈(0,1) such that
By Urysohn’s theorem, there exists a continuous function ϕ:K→[0,1] such that
and
Set
Clearly, B:K→K is continuous, and
Now we show that
Let x∈K. There are two cases: (1) ∥x−x ∗∥≤2r; (2) ∥x−x ∗∥>2r.
Consider the first case. Then (2.188), (2.185) and (2.186) imply that
Consider now the second case. Then by (2.188) and (2.187),
Thus ∥Ax−Bx∥≤ε for all x∈K. Lemma 2.29 is proved. □
Proof of Theorem 2.23
Denote by \(\mathcal{E}\) the set of all \(A \in\mathcal{A}_{c}\) with the following property:
There are x ∗∈K and r>0 such that Ax=x ∗ for all x∈K satisfying ∥x−x ∗∥≤r.
By Lemma 2.29, \(\mathcal{E}\) is an everywhere dense subset of \(\mathcal{A}_{c}\).
Let \(A \in\mathcal{E}\) and let n be a natural number. There are x A ∈K and r A ∈(0,1) such that
Denote by \(\mathcal{U}(A,n)\) the open neighborhood of A in \(\mathcal{A}_{c}\) such that
Let \(B \in\mathcal{U}(A,n)\). Clearly,
By (2.190) and (2.192), for all y∈K such that ∥y−x A ∥≤r A ,
Thus
We have shown that the following property holds:
- (P1):
-
For each \(B \in\mathcal{U}(A,n)\), (2.193) is true.
Define
Clearly, \(\mathcal{F}\) is a countable intersection of open and everywhere dense subsets of \(\mathcal{A}_{c}\).
Let \(B \in\mathcal{F}\) and γ∈(0,1). Choose a natural number n such that 8/n<γ. By the definition of \(\mathcal{F}\), there are \(A \in\mathcal{E}\) such that
It follows from property (P1) and (2.193) that for each \(C \in \mathcal{U}(A,n)\),
This completes the proof of Theorem 2.23. □
2.8 Many Nonexpansive Mappings Are Strict Contractions
Let K be a nonempty, bounded, closed and convex subset of a Banach space (X,∥⋅∥). In this section we consider the space of all nonexpansive self-mappings of K equipped with an appropriate complete metric d and prove that the complement of the subset of strict contractions is porous. This result was established in [150].
Set
and
For each A:K→X, let
be the Lipschitz constant of A. Denote by \(\mathcal{A}\) the set of all nonexpansive mappings A:K→K, that is, all self-mappings of K with \(\operatorname{Lip}(A) \le1\), or equivalently, all self-mappings of K which satisfy
We say that a self-mapping A:K→K is a strict contraction if \(\operatorname{Lip}(A) <1\). Our new metric is defined by
where \(A,B \in\mathcal{A}\). It is not difficult to see that the metric space \((\mathcal{A},d)\) is complete.
Theorem 2.30
Denote by \(\mathcal{F}\) the set of all strict contractions \(A \in\mathcal{A}\). Then \(\mathcal{A} \setminus\mathcal{F}\) is porous.
Proof
Fix a number α>0 such that
and fix θ∈K. Let \(A \in\mathcal{A}\) and let r∈(0,1]. Set
and put
Clearly, \(A_{\gamma} \in\mathcal{A}\) and for each x,y∈K,
By (2.201), (2.195), (2.196) and (2.198), for each x∈K,
and
Relations (2.200) and (2.203) imply that
Assume that \(B \in\mathcal{A}\),
In view of (2.205), (2.198), (2.202) and (2.200), we see that
and so \(B \in\mathcal{F}\). Clearly, by (2.205), (2.204) and (2.199),
Thus for each \(B \in\mathcal{A}\) satisfying (2.205), \(B \in\mathcal {F}\) and d(B,A)≤r. This completes the proof of Theorem 2.30. □
Now let F be a nonempty closed convex subset of K. For each x∈K, set
Assume that there exists \(P \in\mathcal{A}\) such that
Denote by \(\mathcal{A}^{(F)}\) the set of all \(A \in\mathcal{A}\) such that
Clearly, \(\mathcal{A}^{(F)}\) is a closed subset of \((\mathcal{A},d)\).
Theorem 2.31
Denote by \(\mathcal{F}\) the set of all \(A \in \mathcal{A}^{(F)}\) which have the following property:
There is a number q∈(0,1) such that
Then \(\mathcal{A}^{(F)} \setminus\mathcal{F}\) is a porous subset of \((\mathcal{A}^{(F)},d)\).
Proof
Fix a number α>0 such that
Let \(A \in\mathcal{A}^{(F)}\) and r∈(0,1]. Set
and put
Clearly, \(A_{\gamma} \in\mathcal{A}\),
For each x∈K and y∈F, we have by (2.211),
Hence
Thus
By (2.211), (2.195), and (2.199), we have for x∈K,
and
It follows from (2.214) and (2.210) that
Assume now that
and
Then by (2.216), (2.215) and (2.209),
Let x∈K and y∈F. It follows from (2.208), (2.212), (2.211), (2.196), (2.198), (2.216), (2.209) and (2.210) that
Therefore
Thus \(B \in\mathcal{F}\). This completes the proof of Theorem 2.31. □
2.9 Krasnosel’skii-Mann Iterations of Nonexpansive Operators
In this section we study the convergence of Krasnosel’skii-Mann iterations of nonexpansive operators on a closed and convex, but not necessarily bounded, subset of a hyperbolic space. More precisely, we show that in an appropriate complete metric space of nonexpansive operators, there exists a subset which is a countable intersection of open and everywhere dense sets such that each operator belonging to this subset has a (necessarily) unique fixed point and the Krasnosel’skii-Mann iterations of the operator converge to it.
Let (X,ρ,M) be a complete hyperbolic space and let K be a closed and ρ-convex subset of X. Denote by \(\mathcal{A}\) the set of all operators A:K→K such that
Fix some θ∈K and for each s>0, set
For the set \(\mathcal{A}\) we consider the uniformity determined by the following base:
where n is a natural number. Clearly the uniform space \(\mathcal{A}\) is metrizable and complete.
A mapping A:K→K is called regular if there exists a necessarily unique x A ∈K such that
A mapping A:K→K is called super-regular if there exists a necessarily unique x A ∈K such that for each s>0,
Denote by I the identity operator. For each pair of operators A,B:K→K and each r∈[0,1], define an operator rA⊕(1−r)B by
In this section we prove the following three results [132].
Theorem 2.32
Let A:K→K be super-regular and let ε, s be positive numbers. Then there exist a neighborhood U of A in \(\mathcal{A}\) and an integer n 0≥2 such that for each B∈U, each x∈B(s) and each integer n≥n 0, the following inequality holds: ρ(x A ,B n x)≤ε.
Theorem 2.33
There exists a set \(\mathcal{F}_{0} \subset \mathcal{A}\) which is a countable intersection of open and everywhere dense sets in \(\mathcal{A}\) such that each \(A \in\mathcal{F}_{0}\) is super-regular.
Let \(\{\bar{r}_{n}\}_{n=1}^{\infty}\) be a sequence of positive numbers from the interval (0,1) such that
Theorem 2.34
There exists a set \(\mathcal{F} \subset \mathcal{A}\) which is a countable intersection of open and everywhere dense sets in \(\mathcal{A}\) such that each \(A \in\mathcal{F}\) is super-regular and the following assertion holds:
Let x A ∈K be the unique fixed point of \(A \in\mathcal{F}\) and let δ,s>0. Then there exist a neighborhood U of A in \(\mathcal{A}\) and an integer n 0≥1 such that for each sequence of positive numbers \(\{r_{n}\}_{n=1}^{\infty}\) satisfying \(r_{n} \in [\bar{r}_{n},1]\), n=1,2,… , and each B∈U the following relations hold:
-
(i)
$$\begin{aligned} &\rho\bigl(\bigl(r_nB\oplus(1-r_n)I\bigr)\cdots \bigl(r_1B \oplus(1-r_1)I\bigr)x, \\ &\quad\bigl(r_nB \oplus(1-r_n)I\bigr) \cdots\bigl(r_1B \oplus(1-r_1)I\bigr)y\bigr) \le \delta \end{aligned} $$
for each integer n≥n 0 and each x,y∈B(s);
-
(ii)
if B∈U is regular, then
$$\rho\bigl(\bigl(r_nB\oplus(1-r_n)I\bigr)\cdots \bigl(r_1B\oplus(1-r_1)I\bigr)x,x_A\bigr) \le \delta $$for each integer n≥n 0 and each x∈B(s).
Proof of Theorem 2.32
We may assume that ε∈(0,1). Recall that x A is the unique fixed point of A. There exists an integer n 0≥4 such that for each x∈B(2s+2+2ρ(x A ,θ)) and each integer n≥n 0,
Set
Let B∈U. It is easy to see that for each x∈K and all integers n≥1,
and
Using (2.222), (2.223) and (2.224) we can show by induction that for all x∈B(4s+4+4ρ(x A ,θ)), and for all n=1,2,…,n 0,
and
Let y∈B(s). We intend to show that ρ(x A ,B n y)≤ε for all integers n≥n 0. Indeed, by (2.225),
Now we are ready to show by induction that for all integers m≥n 0,
By (2.227), inequality (2.228) is valid for m=n 0.
Assume that an integer k≥n 0 and that (2.228) is valid for all integers m∈[n 0,k]. Together with (2.226) this implies that
Set
By (2.229), (2.230), (2.221) and (2.225),
This completes the proof of Theorem 2.32. □
Proof of Theorem 2.33
For each \(A \in\mathcal{A}\) and γ∈(0,1), define A γ :K→K by
Let \(A \in\mathcal{A}\) and γ∈(0,1). Clearly,
Therefore there exists x(A,γ)∈K such that
Evidently, A γ is super-regular and the set \(\{A_{\gamma}: A \in\mathcal{A}, \gamma\in(0,1)\}\) is everywhere dense in \(\mathcal {A}\). By Theorem 2.32, for each \(A \in\mathcal{A}\), each γ∈(0,1) and each integer i≥1, there exist an open neighborhood U(A,γ,i) of A γ in \(\mathcal{A}\) and an integer n(A,γ,i)≥2 such that the following property holds:
-
(i)
for each B∈U(A,γ,i), each x∈B(4i+1) and each n≥n(A,γ,i),
$$\rho\bigl(x(A,\gamma),B^nx\bigr) \le4^{-i-1}. $$
Define
Clearly, \(\mathcal{F}_{0}\) is a countable intersection of open and everywhere dense sets in \(\mathcal{A}\).
Let \(A \in\mathcal{F}_{0}\). There exist sequences \(\{A_{q}\}_{q=1}^{\infty} \subset\mathcal{A}\), \(\{\gamma_{q}\}_{q=1}^{\infty} \subset(0,1)\) and a strictly increasing sequence of natural numbers \(\{i_{q}\}_{q=1}^{\infty}\) such that
By property (i) and (2.231), for each \(x \in B(4^{i_{q}+1})\) and each integer n≥n(A q ,γ q ,i q ),
This implies that A is super-regular. Theorem 2.33 is proved. □
In order to prove Theorem 2.34 we need the following auxiliary results.
Let
Lemma 2.35
Let \(A \in\mathcal{A}\), S 1>0 and let n 0≥2 be an integer. Then there exist a neighborhood U of A in \(\mathcal{A}\) and a number S ∗>S 1 such that for each B∈U, each sequence \(\{r_{i}\}_{i=1}^{n_{0}-1} \subset(0,1]\) and each sequence \(\{x_{i}\}_{i=1}^{n_{0}} \subset K\) satisfying
the following relations hold:
Proof
Set
Set
Assume that B∈U, \(\{r_{i}\}_{i=1}^{n_{0}-1} \subset(0,1]\), \(\{x_{i}\}_{i=1}^{n_{0}} \subset K\) and that (2.233) holds. We will show that
Clearly, (2.236) is valid for i=1. Assume that the integer m∈[1,n 0−1] and that (2.236) holds for all integers i=1,…,m. Then by (2.236) with i=m, (2.233), (2.235) and (2.234),
Lemma 2.35 is proved. □
For each \(A \in\mathcal{A}\) and each γ∈(0,1), define A γ :K→K by
Let \(A \in\mathcal{A}\) and γ∈(0,1). Clearly,
There exists x(A,γ)∈K such that
Clearly, \(\mathcal{A}_{\gamma}\) is super-regular and the set \(\{A_{\gamma}: A \in\mathcal{A}, \gamma\in(0,1)\}\) is everywhere dense in \(\mathcal{A}\).
Lemma 2.36
Let \(A \in\mathcal{A}\), γ∈(0,1), r∈(0,1] and x,y∈X. Then
Proof
By (2.238),
Lemma 2.36 is proved. □
Lemma 2.37
Let \(A \in\mathcal{A}\), γ∈(0,1) and δ,S>0. Then there exist a neighborhood U of A γ in \(\mathcal{A}\) and an integer n 0≥4 such that for each B∈U, each sequence of numbers \(r_{i} \in[\bar{r}_{i},1]\), i=1,…,n 0−1, and each x,y∈B(S), the following inequality holds:
Proof
Choose a number
Clearly, \(\prod_{i=1}^{\infty}(1-\gamma_{0}\bar{r}_{i}) \to0\) as n→∞. Therefore there exists an integer n 0≥4 such that
By Lemma 2.35, there exist a neighborhood U 1 of A γ in \(\mathcal{A}\) and a number S ∗>0 such that for each B∈U 1, each sequence \(\{r_{i}\}_{i=1}^{n_{0}-1} \subset(0,1]\), and each sequence \(\{x_{i}\}_{i=1}^{n_{0}} \subset X\) satisfying
the following relations hold:
Choose a natural number m 1 such that
and define
Assume that B∈U, \(r_{i} \in[\bar{r}_{i},1]\), i=1,…,n 0−1, and
Set
It follows from the definition of U 1 (see (2.241) and (2.242)) that
To prove the lemma it is sufficient to show that
Assume the contrary. Then
Fix i∈{1,…,n 0−1}. It follows from (2.246), (2.247), (2.243), (2.244) and (2.237) that
By (2.250), (2.243) and (2.249),
and since this inequality holds for all i∈{1,…,n 0−1}, it follows from (2.245) and (2.240) that
This contradicts (2.249) and proves Lemma 2.37. □
Proof of Theorem 2.34
Let
By Theorem 2.33, there exists a set \(\mathcal{F}_{0} \subset \mathcal{A}\) which is a countable intersection of open and everywhere dense sets such that each \(A \in\mathcal{F}_{0}\) is super-regular.
For each \(A \in\mathcal{A}\) and each γ>0, define \(A_{\gamma} \in\mathcal{A}\) by
Clearly, A γ is super-regular, and for each \(A \in\mathcal {A}\) and γ∈(0,1), there exists x(A,γ)∈K for which
Let \(A \in\mathcal{A}\), γ∈(0,1) and let i≥1 be an integer. By Lemma 2.37, there exist an open neighborhood U 1(A,γ,i) of A γ in \(\mathcal{A}\) and an integer n 0(A,γ,i)≥4 such that the following property holds:
(a) for each B∈U 1(A,γ,i), each sequence of numbers
and each pair of sequences \(\{x_{i}\}_{i=1}^{n_{0}(A, \gamma,i)}, \{y_{i}\}_{i=1}^{n_{0}(A,\gamma,i)} \subset X\) satisfying
the following inequality holds:
Since A γ is super-regular, by Theorem 2.32 there is an open neighborhood U(A,γ,i) of A γ in \(\mathcal{A}\) and an integer n(A,γ,i), such that
and the following property holds:
(b) for each B∈U(A,γ,i), each x∈B(8i+1(2+2ρ(x(A,γ),θ))) and each integer m≥n(A,γ,i),
Define
Clearly, \(\mathcal{F}\) is a countable intersection of open and everywhere dense sets in \(\mathcal{A}\).
Let \(A \in\mathcal{F}\). Then \(A \in\mathcal{F}_{0}\) and it is super-regular. There exists x(A)∈K such that
There also exist sequences \(\{A_{q}\}_{q=1}^{\infty} \subset\mathcal{A}\), \(\{\gamma_{q}\}_{q=1}^{\infty} \subset(0,1)\) and a strictly increasing sequence of natural numbers \(\{i_{q}\}_{q=1}^{\infty}\) such that
Let δ,s>0. Choose a natural number q such that
and consider the open set U(A q ,γ q ,i q ).
Let \(r_{j} \in[\bar{r}_{j},1]\), j=1,2,… , and B∈U(A q ,γ q ,i q ). By property (a), the first part the theorem (assertion (i)) is valid.
To prove assertion (ii), assume, in addition, that B is regular. Then there is x(B)∈K such that
By property (b),
Let x 1∈B(s) and
It follows from property (a) and (2.261) that
Together with (2.262) and (2.260), this implies that for all integers j≥n(A q ,γ q ,i q ),
This completes the proof of Theorem 2.34. □
2.10 Power Convergence of Order-Preserving Mappings
In this section we study the asymptotic behavior of the iterations of those order-preserving mappings on an interval 〈0,u ∗〉 in an ordered Banach space X for which the origin is a fixed point. Here u ∗ is an interior point of the cone of positive elements X + of the space X. Such classes of order-preserving mappings arise, for example, in mathematical economics. We show that for a generic mapping there exists a fixed point which belongs to the interior of X + such that the iterations of the mapping with an initial point in the interior of X + converge to it.
Let (X,∥⋅∥) be a Banach space ordered by a closed cone X + with a nonempty interior such that ∥x∥≤∥y∥ for each x,y∈X + satisfying x≤y. For each u,v∈X such that u≤v denote
Let u ∗ be an interior point of X +. Define
Clearly, ∥⋅∥∗ is a norm on X which is equivalent to the norm ∥⋅∥.
An operator A:〈0,u ∗〉→〈0,u ∗〉 is called monotone if
Denote by \(\mathcal{M}\) the set of all monotone continuous operators A:〈0,u ∗〉→〈0,u ∗〉 such that
and
Geometrically, (2.266) means that the hypograph of A is star-shaped with respect to the origin.
For the space \(\mathcal{M}\) we define a metric \(\rho: \mathcal{M} \times \mathcal{M} \to[0,\infty)\) by
It is easy to see that the metric space \(\mathcal{M}\) is complete.
An operator A:〈0,u ∗〉→〈0,u ∗〉 is called concave if for all x,y∈〈0,u ∗〉 and α∈[0,1],
We denote by \(\mathcal{M}_{co}\) the set of all concave operators \(A \in\mathcal{M}\). Clearly, \(\mathcal{M}_{co}\) is a closed subset of \(\mathcal{M}\). We consider the topological subspace \(\mathcal{M}_{co} \subset\mathcal{M}\) with the relative topology.
The spaces \(\mathcal{M}\) and \(\mathcal{M}_{co}\) are very important, for example, from the point of view of mathematical economics. In this area of research order-preserving mappings A are usually models of economic dynamics and the condition A(0)=0 means that if we have no resources, then we produce nothing. Concavity means that the combination of resources allows one to produce at least the corresponding combination of outputs and even more than this combination. Monotonicity means that a larger input leads to a larger output. A particular class of concave operators are those operators which are positively homogeneous of degree m≤1. Such operators were studied by many mathematical economists in the finite dimensional case (see [105] and the references mentioned there). For more information on ordered Banach spaces, order-preserving mappings and their applications see, for example, [3, 4].
We are now ready to state and prove the main result of this section. This result was established in [164].
Theorem 2.38
There exist a set \(\mathcal{F} \subset\mathcal{M}\) which is a countable intersection of open and everywhere dense sets in \(\mathcal{M}\) and a set \(\mathcal{F}_{co} \subset\mathcal{F} \cap \mathcal{M}_{co}\) which is a countable intersection of open and everywhere dense sets in \(\mathcal{M}_{co}\) such that for each \(P \in \mathcal{F}\), there exists x P ∈〈0,u ∗〉 for which the following two assertions hold:
-
1.
The point x P is an interior point of X + and lim t→∞ P t x=x P for each x∈〈0,u ∗〉 which is an interior point of the cone X +.
-
2.
For each γ,ε∈(0,1), there exist an integer N≥1 and a neighborhood U of P in \(\mathcal{M}\) such that for each C∈U, each z∈〈γu ∗,u ∗〉 and each integer T≥N,
$$\bigl\Vert C^Tz-x_P\bigr\Vert _* \le \varepsilon . $$
Proof of Theorem 2.38
For each x,y∈X + define
In the proof of Theorem 2.38 we will use several auxiliary results.
Lemma 2.39
The function y→λ(u ∗,y), y∈X +, is continuous, concave and positively homogeneous.
Proof
All we need to show is that the function y→λ(u ∗,y), y∈X +, is continuous. To this end, assume that y∈X +, \(\{y_{n}\}_{n=1}^{\infty} \subset X_{+}\) and
We show that
It is well known that (2.271) is true if y is an interior point of X +. Therefore we may assume that y is not an interior point of X +.
Clearly,
We show that
Assume the contrary. Then there exists a subsequence \(\{y_{n_{k}}\}_{k=1}^{\infty}\) and a number r>0 such that
Together with (2.270) this implies that
Since this contradicts (2.272), we see that (2.273) does hold. This completes the proof of Lemma 2.39. □
Define now an operator ϕ:〈0,u ∗〉→X + by
By using Lemma 2.39 one can easily check that
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Define an operator A (i):〈0,u ∗〉→〈0,u ∗〉 by
Lemma 2.40
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Then \(A^{(i)} \in\mathcal{M}\). Moreover, if \(A \in\mathcal {M}_{co}\), then \(A^{(i)} \in\mathcal{M}_{co}\).
It is clear that for each \(A \in\mathcal{M}\) and each integer i≥1,
Lemma 2.41
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Then
Proof
□
For each \(A \in\mathcal{M}\) and each integer i≥1, we now define the operator B (A,i):〈0,u ∗〉→〈0,u ∗〉 by
Lemma 2.42
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Then
and \(B^{(A,i)} \in\mathcal{M}\). Moreover, if \(A \in\mathcal{M}_{co}\), then \(B^{(A,i)} \in\mathcal{M}_{co}\).
Proof
It follows from (2.280) and (2.279) that
Therefore (2.271) is valid. By Lemma 2.40, B (A,i)(0)=0 and the operator B (A,i) is monotone. Lemmas 2.39, 2.40 and (2.280) imply that B (A,i) is a continuous operator. It follows from Lemma 2.39 that the operator
is concave. When combined with (2.280), Lemma 2.40 and (2.264), this implies that
and that if \(A \in\mathcal{M}_{co}\), then B (A,i) is concave. This completes the proof of Lemma 2.42. □
It follows from (2.280), (2.278) and (2.267) that for each \(A \in \mathcal{M}\) and each integer i≥1,
Lemma 2.43
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Then
Proof
Clearly,
and
Lemma 2.42 (see 2.361)) implies that for each integer t≥1,
For t=0,1,… we set
By (2.284),
Let t≥0 be an integer. It follows from (2.280), (2.286), (2.269), (2.285), Lemma 2.40 and (2.287) that
This implies that
Combining (2.287) and (2.288), we see that
exists. By (2.289) and (2.288), Λ≥Λ+(1−Λ)16−1. By (2.287) this implies that Λ=1. Lemma 2.43 is proved. □
Lemma 2.44
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Then there exists x (A,i)∈〈0,u ∗〉 such that
and
Proof
It is clear that inequalities (2.284) hold. Lemma 2.42 implies that for each integer t≥1, inequality (2.283) is also valid. By Lemma 2.43, (2.284) and (2.285),
and \(\{(B^{(A,i)})^{t}u_{*}\}_{t=1}^{\infty}\), as well as \(\{(B^{(A,i)})^{t}(16^{-i} u_{*})\}_{t=1}^{\infty}\), are Cauchy sequences.
Therefore there exist x 1,x 2∈〈0,u ∗〉 such that
By (2.292) and (2.285), x 1=x 2≥(8−i+2−1⋅16−i)u ∗. This completes the proof of Lemma 2.44. □
Lemma 2.45
Let \(A \in\mathcal{M}\), ε>0, z∈〈0,u ∗〉 and let n≥1 be an integer. Then there exists a neighborhood U of A in \(\mathcal{M}\) such that for each C∈U,
Proof
We prove the lemma by induction. It is clear that the assertion of the lemma is valid for n=1. Assume that it is valid for an integer n≥1. There exists
such that
for each y∈〈0,u ∗〉 satisfying ∥y−A n z∥∗≤δ. Since the assertion of the lemma is assumed to be valid for n, there exists a neighborhood U 0 of A in \(\mathcal{M}\) such that for each C∈U 0,
Set
and let C∈U. The definition of U implies that
By (2.295),
It follows from this inequality and the choice of δ (see (2.293) and (2.294)) that
Together with (2.297) this implies that
This completes the proof of Lemma 2.45. □
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. By Lemma 2.44, there exists an integer N(A,i)≥4 such that
By Lemma 2.45, there exists an open neighborhood U(A,i) of B (A,i) in \(\mathcal{M}\) such that
and for each C∈U(A,i),
Lemma 2.46
Let \(A \in\mathcal{M}\) and let i≥1 be an integer. Assume that C∈U(A,i). Then
and for each z∈〈16−i u ∗,u ∗〉 and each integer T≥N(A,i), the following inequality holds:
Proof
By the definition of U(A,i) (see (2.299)) and Lemma 2.42 (see (2.281)),
and
Since the operator C is monotone, (2.303) implies that
Inequalities (2.304) and (2.303) imply (2.301), as claimed.
Assume that z∈〈16−i u ∗,u ∗〉 and let T≥N(A,i) be an integer. Since the operator C is monotone, it follows from (2.304) and the definition of U(A,i) (see (2.300)) that
By Lemma 2.44, (2.281), (2.305) and (2.298),
and
This implies (2.302) and completes the proof of Lemma 2.46. □
Completion of the proof of Theorem 2.38
Define
and
It is easy to see that \(\mathcal{F}_{co} \subset\mathcal{F}\cap\mathcal{M}_{co}\), \(\mathcal{F}\) is a countable intersection of open and everywhere dense sets in \(\mathcal{M}\), and that \(\mathcal{F}_{co}\) is a countable intersection of open and everywhere dense sets in \(\mathcal{M}_{co}\). Assume that \(P \in\mathcal{F}\) and ε,γ∈(0,1). Choose a natural number q for which
There exist \(A \in\mathcal{M}\) and a natural number i≥q such that
By Lemma 2.46,
and
Now (2.309), (2.306) and (2.307) imply that
Since ε is an arbitrary number in the interval (0,1), we conclude that for each z∈〈γu ∗,u ∗〉, there exists lim t→∞ P t z. By (2.310),
Hence
for each z 1,z 2∈〈γu ∗,u ∗〉.
Since γ∈(0,1) is also arbitrary, we conclude that
for each z∈〈0,u ∗〉 which is an interior point of X +. By (2.308), x P is an interior point of X +. Now (2.309) implies that
Assume that C∈U(A,i), z∈〈γu ∗,u ∗〉, and let T≥N(A,i) be an integer. It follows from (2.309), (2.313) and (2.306) that
This completes the proof of Theorem 2.38. □
2.11 Positive Eigenvalues and Eigenvectors
In this section we consider a closed cone of positive operators on an ordered Banach space and prove that a generic element of this cone has a unique positive eigenvalue and a unique (up to a positive multiple) positive eigenvector. Moreover, the normalized iterations of such a generic element converge to its unique eigenvector. This section is based on [140].
Let (X,∥⋅∥) be a Banach space which is ordered by a closed convex cone X +. For each u,v∈X such that u≤v, we define 〈u,v〉={z∈X:u≤z≤v}.
We assume that the cone X + has a nonempty interior and that for each x,y∈X + satisfying x≤y, the inequality ∥x∥≤∥y∥ holds. We denote by \(\operatorname{int}(X_{+})\) the set of all interior points of X +.
Fix an interior point η of the cone X + and define
Clearly, ∥⋅∥ η is a norm on X which is equivalent to the original norm ∥⋅∥.
Let X′ be the space of all linear continuous functionals f:X→R 1 and let
Denote by \(\mathcal{A}\) the set of all linear operators A:X→X such that A(X +)⊂X +. Such operators are called positive. For the set \(\mathcal{A}\) we define a metric ρ(⋅,⋅) by
This metric ρ is equivalent to the metrics induced by the operator norms derived from ∥⋅∥ and ∥⋅∥ η . It is clear that the metric space \((\mathcal{A},\rho)\) is complete. Since many linear operators between Banach spaces arising in classical and modern analysis are, in fact, positive operators, the theory of positive linear operators and its applications have drawn the attention of more and more mathematicians. See, for example, [3, 86, 170] and the references cited therein.
In this section we study the asymptotic behavior of powers of positive linear operators on the ordered Banach space X. We obtain generic convergence to an operator of the form f(⋅)η, where f is a bounded linear functional and η is a unique (up to a positive multiple) eigenvector.
We denote by \(\mathcal{A}_{*}\) the set of all \(A \in\mathcal{A}\) such that Aξ=ξ for some \(\xi\in \operatorname{int}(X_{+})\) and by \(\bar{\mathcal{A}}_{*}\) the closure of \(\mathcal{A}_{*}\) in \((\mathcal{A},\rho)\). We equip the subspace \(\bar{\mathcal{A}}_{*} \subset\mathcal{A}\) with the same metric ρ.
In our paper [125] we established the following result.
Theorem 2.47
There exists a set \(\mathcal{F} \subset\bar{\mathcal{A}}_{*}\) which is a countable intersection of open and everywhere dense sets in \(\bar{\mathcal{A}}*\) such that for each \(B \in\mathcal{F}\), there exists an interior point ξ B of X + satisfying Bξ B =ξ B , ∥ξ B ∥ η =1, and the following two assertions hold:
-
1.
There exists \(f_{B} \in X_{+}'\) such that lim T→∞ B T x=f B (x)ξ B , x∈X.
-
2.
For each ε>0, there exists a neighborhood \(\mathcal{U}\) of B in \(\bar{\mathcal{A}}_{*}\) and a natural number N such that for each \(C \in\mathcal{U} \cap\mathcal{A}_{*}\), each integer T≥N and each x∈〈−η,η〉,
$$\bigl\Vert C^Tx-f_B(x)\xi_B\bigr\Vert \le \varepsilon . $$
Since the existence of fixed points and the convergence of iterates is of fundamental importance, it is of interest to look for a larger subset of \(\mathcal{A}\) for which such a result continues to hold. To this end, we introduce the set \(\mathcal{A}_{q*}\) of all \(A \in\mathcal{A}\) for which there exist c 0∈(0,1) and c 1>1 such that
Note that our definition of \(\mathcal{A}_{q*}\) does not depend on our choice of η. Since \(\mathcal{A}_{*} \subset \mathcal{A}_{q*}\), it is natural to ask if there is also a generic result for the closure \(\bar{\mathcal{A}}_{q*}\) of \(\mathcal{A}_{q*}\). Note that in contrast with \(\bar{\mathcal{A}}_{*}\), it is not clear a priori if \(\mathcal{A}_{*}\) is dense in \(\bar{\mathcal{A}}_{q*}\). However, as we show in our first result that this is indeed the case.
Theorem 2.48
\(\bar{\mathcal{A}}_{q*}=\bar{\mathcal{A}}_{*}\).
Combining Theorems 2.47 and 2.48, we see that a generic element in \(\bar{\mathcal{A}}_{q*}\) has a unique (up to a positive multiple) positive fixed point and all its iterations converge to some multiple of this fixed point.
Since the existence of positive eigenvectors which are not necessarily fixed points is even more important, we devote most of the section to this problem.
Known results about the existence of positive fixed points and eigenvectors include the classical Perron-Frobenius and Krein-Rutman theorems. For a survey of more recent results of the linear theory, see Sect. 2 in [106].
We begin with the following definition.
We say that an operator \(A \in\mathcal{A} \) is regular if there exist \(x_{A} \in \operatorname{int}(X_{+})\) satisfying ∥x A ∥ η =1, α A >0 and \(f_{A} \in X_{+}' \setminus\{0\}\) such that
uniformly for all x∈〈−η,η〉.
Note that in the definition above, x A , α A and f A are all uniquely defined and that if \(x \in \operatorname{int}(X_{+})\), then \(\Vert A^{n}x\Vert ^{-1}_{\eta}A^{n}x \to x_{A}\) as n→∞.
We denote by \(\mathcal{A}_{reg}\) the set of all regular operators in \(\mathcal{A}\) and by \(\bar{\mathcal{A}}_{reg}\) its closure in the space \((\mathcal{A},\rho)\). We endow the subspace \(\bar{\mathcal{A}}_{reg} \subset\mathcal{A}\) with the same metric ρ.
We continue with two theorems on regular operators.
Theorem 2.49
Let \(A \in\mathcal{A}_{reg}\) and ε>0. Then there exist an integer N≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{A}_{reg} \cap \mathcal{U}\),
and for each x∈〈−η,η〉 and each integer n≥N,
Theorem 2.50
Let \(A \in\mathcal{A}_{reg}\), ε>0 and Δ∈(0,1). Then there exist an integer N≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that the following assertion holds:
Assume that \(B \in\mathcal{U}\), x 0∈X +, α 0>0, Δη≤x 0≤η and α 0 x 0=Bx 0. Then
and for each x∈〈−η,η〉 and each integer n≥N,
These theorems bring out the importance of regular operators. Such operators not only have a unique positive eigenvector but also enjoy certain convergence and stability properties. Therefore we would like to show that most operators in an appropriate space are indeed regular. Moreover, in analogy with the definition of \(\mathcal {A}_{q*}\) we will also consider quasiregular operators.
We say that an operator \(A \in\mathcal{A}\) is quasiregular if there exist α>0, c 0∈(0,1) and c 1>1 such that
Denote by \(\mathcal{A}_{qreg}\) the set of all quasiregular \(A \in\mathcal{A}\) and by \(\bar{\mathcal{A}}_{qreg}\) the closure of \(\mathcal{A}_{qreg}\) in \((\mathcal{A},\rho)\). We endow the subspace \(\bar{\mathcal{A}}_{q reg} \subset\mathcal{A}\) with the same metric ρ.
Theorem 2.51
\(\bar{\mathcal{A}}_{qreg}=\bar{\mathcal{A}}_{reg}\) and there exists a set \(\mathcal{F} \subset\mathcal{A}_{reg}\) which is a countable intersection of open and everywhere dense subsets of \(\bar{\mathcal{A}}_{reg}\).
Theorems 2.48–2.51 were obtained in [140].
2.12 Proof of Theorem 2.48
In this section we are going to present the proof of Theorem 2.48. We precede this proof by a few preliminary results.
As usual, we set A 0=I (the identity) for each \(A \in\mathcal{A}\). We denote by g⋅B the composition of g∈X′ and a linear operator B:X→X.
Proposition 2.52
Let \(A \in\mathcal{A}\) and assume that there exist c 0∈(0,1) and c 1>1 such that
Then there exists \(f_{A} \in X_{+}'\) such that
Proof
There exists \(g \in X_{+}'\) such that g(η)=1. Denote by S the convex hull of the set {g⋅A n:n=0,1,…}. Clearly for each h∈S,
Denote by \(\bar{S}\) the closure of S in the weak-star topology σ(X′,X). Clearly (2.317) holds for all \(h \in\bar{S}\) and \(\bar{S} \subset X_{+}'\). The set \(\bar{S}\) is convex and by (2.317) compact in the weak-star topology. The operator A′:f→f⋅A, f∈X′, is weakly-star continuous and \(A'(\bar{S}) \subset \bar{S}\). By Tychonoff’s fixed point theorem, there exists \(f_{A} \in \bar{S}\) for which f A ⋅A=f A . Since (2.317) holds for all \(h \in\bar{S}\), f A (η)≥c 0. Proposition 2.52 is proved. □
Corollary 2.53
Assume that \(A \in\mathcal{A}\), c 0∈(0,1), c 1>1, α>0 and
Then there exists \(f_{A} \in X_{+}'\) such that f A (η)>0 and f A ⋅A=αf A .
Lemma 2.54
Assume that \(A \in\mathcal{A}\), there exist c 1>1 and α>0 such that
and that there exists \(f_{A} \in X_{+}'\) such that
Let γ∈(0,1). Define \(A_{\gamma} \in\mathcal{A}\) by
Then f A ⋅A γ =αf A and for each integer n≥1, there exist positive constants \(c_{i}^{(n)}\), i=0,…,n−1, such that
and
Proof
We will prove this lemma by induction. Clearly f A ⋅A γ =f A and (2.322) and (2.323) hold for n=1, c 0=γ.
Assume that k≥1 is an integer and there exist positive constants \(c_{i}^{(k)}\), i=0,…,k−1, such that (2.322) and (2.323) hold with n=k. It then follows from (2.322) and (2.323) with n=k and (2.321) that for each x∈X,
and
Therefore (2.322) and (2.321) are true for n=k+1 with \(c_{0}^{(k+1)}=\gamma\) and \(c_{i}^{(k+1)}=(1-\gamma)c^{(k)}_{i-1}\), i=1,…,k. This completes the proof of Lemma 2.54. □
Lemma 2.55
Assume that \(A \in\mathcal{A}\), there exist c 0∈(0,1), c 1>1 and α>0 such that
and that there exists \(f_{A} \in X_{+}'\) such that (2.320) holds. Let γ∈(0,1) and let \(A_{\gamma} \in \mathcal{A}\) be defined by (2.321). Then there exists x A ∈<c 0 η,c 1 η> such that
uniformly for all x∈〈0,η〉. Moreover, A γ x A =αx A .
Proof
By Lemma 2.54 and (2.324), for each integer n≥1 there exists
such that
For each integer n≥1, by (2.320), (2.324) and (2.325),
Let ε>0. By (2.326), there exists an integer n(ε)≥1 such that for each x∈〈c 0 η,c 1 η〉 and each integer n≥n(ε),
Since \(\{\alpha^{-i}(A_{\gamma})^{i}\eta\}_{i=0}^{\infty} \subset \langle c_{0}\eta, c_{1}\eta\rangle \) and f A ⋅A γ =αf A , we conclude that for each integer n≥n(ε) and each integer i≥0,
and therefore ∥z n −z n+i ∥≤2ε. This implies that \(\{z_{n}\}_{n=1}^{\infty}\) is a Cauchy sequence. Hence there exists a vector x A ∈〈c 0 η,c 1 η〉 such that lim i→∞∥z i −x A ∥=0. Let ε>0. There exists an integer n 0≥1 such that ∥z i −x A ∥≤ε/2 for all integers i≥n 0. By (2.326) and (2.324), there exists an integer n 1>n 0 such that for each integer n≥n 1 and each x∈〈0,η〉,
It follows from this last inequality and the definition of n 0 that for each x∈〈0,η〉 and each integer n≥n 1,
This completes the proof of Lemma 2.55. □
Proof of Theorem 2.48
It is, of course, sufficient to show that \(\mathcal{A}_{q*} \subset\bar{\mathcal{A}}_{*}\). Towards this end, let \(A \in\mathcal{A}_{q*}\). Then there exist c 0∈(0,1) and c 1>1 such that
By Proposition 2.52, there exists \(f_{A} \in X_{+}' \setminus\{0\}\) such that f A ⋅A=f A and f A (η)=1.
For each γ∈(0,1), define \(A_{\gamma} \in\mathcal{A}\) by
By Lemma 2.55, A γ belongs to \(\mathcal{A}_{*}\). On the other hand, \(\lim_{\gamma\to0^{+}}A_{\gamma}=A\). Thus \(\mathcal{A}_{q*} \subset\bar{\mathcal{A}}_{*}\) and Theorem 2.48 is proved. □
2.13 Auxiliary Results for Theorems 2.49–2.51
For each x,y∈X +, define
Here we use the usual convention that the infimum of the empty set is ∞.
Lemma 2.56
Assume that \(A \in\mathcal{A}\), n≥1 is an integer and ε>0. Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal {U}\) and each x∈〈−η,η〉,
Proof
We prove the lemma by induction. Clearly for n=1 the lemma is true. Assume that k≥1 is an integer and that the lemma holds for n=k,…,1. There is a number c 0>0 such that ∥Ax∥ η ≤c 0 for each x∈〈−η,η〉. Since the lemma is true for n=k, there exists a neighborhood \(\mathcal{U}_{1}\) of A in \(\mathcal{A}\) such that ∥A k x−B k x∥ η ≤(4+4c 0)−1 ε for each \(B \in \mathcal{U}_{1}\) and for each x∈〈−η,η〉. It follows that there exists c 1>1 such that ∥B k x∥ η ≤c 1 for each \(B \in\mathcal{U}_{1}\) and each x∈〈−η,η〉. Since the lemma holds for n=1, there exists a neighborhood \(\mathcal{U} \subset \mathcal{U}_{1}\) of A in \(\mathcal{A}\) such that for each \(B \in \mathcal{U}\) and each x∈〈−η,η〉, ∥Ax−Bx∥ η ≤(4c 1)−1 ε.
Assume now that \(B \in\mathcal{U}\) and x∈〈−η,η〉. Then
It follows from the definition of c 0 and \(\mathcal{U}_{1}\) that
By the definition of \(\mathcal{U}\) and c 1, ∥AB k x−B k+1 x∥ η ≤ε/4. Together with (2.329) and (2.330), this implies that ∥A k+1 x−B k+1 x∥ η ≤ε. In other words, the lemma also holds for n=k+1. This completes the proof of Lemma 2.56. □
Let \(A \in\mathcal{A}\) be regular,
Assumptions (2.331) and Lemma 2.56 imply the following result.
Lemma 2.57
Let ε>0. Then there exists an integer N(ε)≥1 such that for each integer N>N(ε), there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\) and each x∈〈−η,η〉,
Corollary 2.58
Assume that 0<Δ 1<1<Δ 2 and θ>1. Then there exists an integer N 0≥1 such that for each integer N>N 0, there exists a neighborhood \(\mathcal {U}\) of A in \(\mathcal{A}\) such that for each x∈〈Δ 1 η,Δ 2 η〉, each \(B \in\mathcal{U}\) and each integer n∈[N 0,N],
Lemma 2.59
Assume that 0<Δ 1<1<Δ 2 and θ>1. Then there exist an integer N 0≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\), x∈〈Δ 1 η,Δ 2 η〉 and each integer n≥N 0,
Proof
We may assume that
Choose θ 0>1 such that
By Corollary 2.58, there exist an integer N 0≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each x∈〈Δ 1 η,Δ 2 η〉, each \(B \in\mathcal{U}\) and each integer n∈[N 0,8N 0+8],
Assume that \(B \in\mathcal{U}\) and x∈〈Δ 1 η,Δ 2 η〉. By the definition of \(\mathcal{U}\) and N 0, the inclusion (2.335) is valid for each integer n∈[N 0,8N 0+8]. The relations (2.335) and (2.334) imply that for each integer n∈[N 0,8N 0+8],
and
It remains to be shown that (2.332) is valid for all integers n>8N 0+8.
Assume the contrary. Then there exists an integer
such that
and
Consider the vector \(B^{N_{1}-N_{0}}x\). By (2.336) and (2.337), we see that
and
By (2.338),
It follows from (2.339), (2.340), (2.331) and (2.333) that
It follows from this relation and the definition of \(\mathcal{U}\) and N 0 (see (2.335)) that
and by (2.333),
an inequality which contradicts (2.338). Thus (2.332) is indeed valid for all n≥N 0 and Lemma 2.59 is proved. □
Lemma 2.60
Let γ>1. Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{A}_{reg} \cap\mathcal{U}\), the inequalities γ −1 x A ≤x B ≤γx A hold.
Proof
Choose a positive number θ>1 such that
By Lemma 2.59, there exists an integer N 0≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\) and each integer n≥N 0,
Assume that \(B \in\mathcal{A}_{reg} \cap\mathcal{U}\). Then
By the definition of \(\mathcal{U}\) and N 0, (2.342) is valid for each integer n≥N 0. This implies that for each integer n≥N 0,
and
When combined with (2.343), this implies that
It follows from (2.331), (2.334) and (2.341) that
and finally, that
Lemma 2.60 is proved. □
Lemma 2.61
Let θ>1 and Δ∈(0,1). Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\), z∈X + and α>0 satisfying
the following inequalities hold: θ −1 x A ≤z≤θx A .
Proof
By Lemma 2.59, there exists an integer N 0≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\), each integer n≥N 0 and for each x∈〈4−1 Δη,4η〉,
Assume that \(B \in\mathcal{U}\), z∈X +, α>0 and that (2.345) is valid. By (2.345) and the definition of \(\mathcal{U}\) and N 0 (see (2.346)), for each integer n≥N 0,
It follows from (2.345), (2.331) and (2.347) that
and finally, that θ −1 x A ≤z≤θx A . This completes the proof of Lemma 2.61. □
Lemma 2.62
Let ε∈(0,1) and Δ∈(0,1). Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\), z∈X + and α>0 satisfying
we have |α−α A |≤ε.
Proof
Choose a number γ>1 for which
By Lemma 2.61, there exists a neighborhood \(\mathcal{U}_{1}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}_{1}\), z∈X + and α>0 satisfying (2.348), the following inequalities hold:
There exists a neighborhood \(\mathcal{U} \subset\mathcal{U}_{1}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{U}\),
Assume that \(B \in\mathcal{U}\), z∈X +, α>0 and that (2.348) is true. Then by the definition of \(\mathcal{U}_{1}\), (2.349) holds.
It follows from (2.348) and (2.331) that
By our choice of γ, (2.349) and (2.331),
and
It follows from (2.349) and (2.350) that
When combined with (2.351) and (2.352), this implies that |α A −α|≤ε. Lemma 2.62 is proved. □
Lemmas 2.62 and 2.60 imply the following result.
Lemma 2.63
Let ε∈(0,1). Then there exists a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that for each \(B \in\mathcal{A}_{reg} \cap\mathcal{U}\) we have |α B −α A |≤ε.
2.14 Proofs of Theorems 2.49 and 2.50
In this section we prove Lemma 2.64. Theorem 2.50 follows when this lemma is combined with Lemmas 2.61 and 2.62. Theorem 2.49 is a consequence of Lemmas 2.60, 2.63 and 2.64.
Lemma 2.64
Let \(A \in\mathcal{A}\) be regular and let ε and Δ belong to the interval (0,1). Then there exist an integer N≥1 and a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) such that the following assertion holds:
If
then for each x∈〈−η,η〉 and each integer n≥N,
Proof
Choose a positive number ε 0 for which
By Lemma 2.56, there exist a neighborhood \(\mathcal{U}_{1}\) of A in \(\mathcal{A}\) and an integer N≥1 such that for each \(B \in \mathcal{U}_{1}\),
There exists a number c 1>1 such that
There exists a number δ 1∈(0,min{1,α A /8}) such that
By Lemmas 2.62 and 2.61 there exists a neighborhood \(\mathcal{U}_{2}\) of A in \(\mathcal{A}\) such that for each \(B \in \mathcal{U}_{2}\), z∈X + and α>0 satisfying Δη≤z≤η and Bz=αz, the following inequalities are true:
Set
Assume that \(B \in\mathcal{U}\), x 0∈X +, α 0>0 and that (2.353) holds. By the definition of \(\mathcal{U}_{1}\) and N, (2.355) holds. It follows from the definition of \(\mathcal{U}_{2}\) (see (2.358)) and (2.353) that |α 0−α N |≤δ 1. By the latter inequality, (2.357), (2.356) and (2.355),
By the definition of \(\mathcal{U}_{2}\) (see (2.358)) and (2.353),
This inequality, when combined with (2.360) and (2.356), implies that
By (2.362) and (2.353), we have
for all x∈〈−η,η〉.
It follows from this relation and (2.353) that for each x∈〈−η,η〉 and each integer n≥N,
and
When combined with (2.361), (2.356) and (2.354), this implies that for each x∈〈−η,η〉 and each integer n≥N,
Lemma 2.64 is proved. □
2.15 Proof of Theorem 2.51
It follows from Lemma 2.55 and Corollary 2.53 that \(\mathcal{A}_{qreg} \subset\bar{\mathcal{A}}_{reg}\). This clearly implies that \(\bar{\mathcal{A}}_{reg}=\bar{\mathcal{A}}_{q reg}\).
To construct the set \(\mathcal{F}\) we let \(A \in\mathcal{A}_{reg}\),
Let i≥ be an integer. By Lemmas 2.60 and 2.63, Theorem 2.49, Lemmas 2.61 and 2.62, and Theorem 2.50, there exist a number r(A,i)∈(0,4−i) and an integer N(A,i)≥1 such that the following two assertions hold:
-
1.
Assume that \(B \in\mathcal{A}_{reg}\) and ρ(A,B)<r(A,i). Then
$$\bigl(1-4^{-i}\bigr)x_A \le x_B \le \bigl(1+4^{-i}\bigr)x_A,\qquad |\alpha_A- \alpha_B| \le4^{-i} \min\{1,\alpha_A\} $$and
$$\bigl\Vert \alpha_B^{-n}B^nx-f_A(x)x_A \bigr\Vert _{\eta} \le4^{-i} \quad\mbox{for all } x \in \langle - \eta,\eta\rangle \mbox{ and each integer } n \ge N. $$ -
2.
Assume that \(B \in\mathcal{A}\), ρ(A,B)<r(A,i), x 0∈X +, α 0>0, α 0 x 0=Bx 0 and 4−1 x A ≤x 0≤η. Then
$$\bigl(1-4^{-i}\bigr)x_A \le x_0 \le \bigl(1+4^{-i}\bigr)x_A,\qquad |\alpha_A- \alpha_0| \le4^{-i} \min\{1,\alpha_A\} $$and
$$\begin{aligned} &\bigl\Vert \alpha_0^{-n}B^nx-f_A(x)x_A \bigr\Vert _{\eta} \le4^{-i} \\ &\quad\mbox{for all } x \in \langle -\eta,\eta\rangle \mbox{ and each integer } n \ge N(A,i). \end{aligned}$$
Now set
and define
Evidently, \(\mathcal{F}\) is a countable intersection of open and everywhere dense subsets of \(\bar{\mathcal{A}}_{reg}\).
It remains to be shown that \(\mathcal{F} \subset\mathcal{A}_{reg}\). To this end, assume that \(B \in\mathcal{F}\). There exist \(\{A_{k}\}_{k=1}^{\infty} \subset\mathcal{A}_{reg}\) and a strictly increasing sequence of natural numbers \(\{i_{k}\}_{k=1}^{\infty}\) such that
Let k≥1. It follows from assertion 1 and (2.366) that for each integer j≥1,
and
It is clear that both \(\{x_{A_{p}}\}_{p=1}^{\infty}\) and \(\{\alpha_{A_{p}}\}_{p=1}^{\infty}\) are Cauchy sequences. Therefore there exist the limits
Set
By (2.367), λ ∗ is positive. By (2.367) and (2.368),
Let k≥1 be an integer. It follows from assertion 2, (2.366), (2.370) and (2.371) that
Note that (see (2.363) and (2.369))
and
When combined with (2.372) and (2.370), this implies that
for all x∈〈−η,η〉 and each integer n≥N(A k ,i k ). Since k is an arbitrary natural number, we obtain that for each x∈X, there exists
where \(f_{B} \in X _{+}'\). It follows from (2.373) and (2.374) that for each integer k≥1, each integer n≥N(A k ,i k ) and each x∈〈−η,η〉,
and
Therefore \(B \in\mathcal{A}_{reg}\) and Theorem 2.51 is established.
2.16 Convergence of Inexact Orbits for a Class of Operators
In this section we exhibit a class of nonlinear operators with the property that their iterates converge to their unique fixed points even when computational errors are present. We also show that most (in the sense of Baire category) elements in an appropriate complete metric space of operators do, in fact, possess this property.
Assume that (X,ρ) is a complete metric space and let the operator A:X→X have the following properties:
- (A1):
-
there exists a unique x A ∈X such that Ax A =x A ;
- (A2):
-
A n x→x A as n→∞, uniformly on all bounded subsets of X;
- (A3):
-
A is uniformly continuous on bounded subsets of X;
- (A4):
-
A is bounded on bounded subsets of X.
Many operators with these properties can be found, for example, in [23, 33, 50, 85, 108, 114, 126, 127, 137]. We mention, in particular, the classes of operators introduced by Rakotch [114] and Browder [23]. Note that if X is either a closed and convex subset of a Banach space or a closed and ρ-convex subset of a complete hyperbolic metric space [124], then (A4) follows from (A3).
In view of (A2), it is natural to ask if the convergence of the orbits of A will be preserved even in the presence of computational errors. In this section we provide affirmative answers to this question. More precisely, we have the following results which were obtained in [35].
Theorem 2.65
Let K be a nonempty, bounded subset of X and let ε>0 be given. Then there exist δ=δ(ε,K)>0 and a natural number N such that for each natural number n≥N, and each sequence \(\{x_{i}\}_{i=0}^{n} \subset X\) which satisfies
the following inequality holds:
Corollary 2.66
Assume that \(\{x_{i}\}_{i=0}^{\infty} \subset X\), \(\{x_{i}\}_{i=0}^{\infty}\) is bounded, and that
Then ρ(x i ,x A )→0 as i→∞.
Theorem 2.67
Let ε>0 be given. Then there exists δ=δ(ε)>0 such that for each sequence \(\{x_{i}\}_{i=0}^{\infty} \subset X\) which satisfies
the following inequality holds:
These results show that, roughly speaking, in order to achieve an ε-approximation of x A , it suffices to compute inexact orbits of A, that is, sequences \(\{x_{i}\}_{i=0}^{\infty}\) such that
where δ is a sufficiently small positive number.
However, sometimes the operator A is not given explicitly and only some approximation of it, B i , is available at each step i of the inexact orbit computing procedure. The next result shows that for certain operators A, the procedure of approximating x A by inexact orbits is stable in the sense that, even in this case, the orbits determined by the sequence of operators B i approach x A provided that each B i is a sufficiently accurate approximation of A in the topology of uniform convergence on bounded subsets of X. To be precise, we set, for each x∈X and E⊂X,
Denote by \(\mathcal{A}\) the set of all self-mappings A:X→X which have properties (A3) and (A4). Fix θ∈X. For each natural number n, set
We equip the set \(\mathcal{A}\) with the uniformity determined by the base E n , n=1,2,… . This uniformity is metrizable by a complete metric.
Denote by \(\mathcal{A}_{reg}\) the set of all mappings \(A \in\mathcal{A}\) which satisfy (A1) and (A2), and by \(\bar{\mathcal{A}}_{reg}\) the closure of \(\mathcal{A}_{reg}\) in \(\mathcal{A}\).
Theorem 2.68
Assume that \(A \in\mathcal{A}_{reg}\) and x A is a fixed point of A. Let m,ε>0 be given. Then there exist a neighborhood \(\mathcal{U}\) of A in \(\mathcal{A}\) and a natural number N such that for each x∈B(θ,m), each integer n≥N, and each sequence \(\{B_{i}\}_{i=1}^{n} \subset \mathcal{U}\),
As a matter of fact, it turns out that the stability property established in this theorem is generic. That is, it holds for most (in the sense of Baire category) operators in the closure of \(\mathcal{A}_{reg}\).
Theorem 2.69
The set \(\mathcal{A}_{reg}\) contains an everywhere dense G δ subset of \(\bar{\mathcal{A}}_{reg}\).
2.17 Proofs of Theorem 2.65 and Corollary 2.66
We first prove Theorem 2.65. To this end, set, for x∈X and r>0,
We may assume without loss of generality that
By (A2), there exists a natural number N≥4 such that
By (A4), the set A m(K) is bounded for all natural numbers m. Hence there exists a positive number S>0 such that
(Here we use the convention that A 0 is the identity operator.) By induction and (A3), we define a finite sequence of positive numbers \(\{\gamma_{i}\}_{i=0}^{2N}\) so that
and, for each i=0,1,…,2N−1,
and
Set
First, we prove the following auxiliary result.
Lemma 2.70
Suppose that \(\{z_{i}\}_{i=0}^{2N} \subset X\) satisfies
Then
Proof
We will show that for i=1,…,2N,
Clearly, (2.383) holds for i=1 by (2.382) and (2.381).
Assume that i∈{2,…,2N} and
Then (2.382) implies that
It follows from the definition of γ i−1 (see (2.379)), (2.384), (2.382) and (2.378) that
By these inclusions, the definition of γ i−1 (see (2.380) with j=i−1) and (2.384),
When combined with (2.385) and (2.381), this inequality implies that
Therefore (2.383) is valid for all i∈{1,…,2N}. Together with (2.377), (2.379), (2.382) and (2.383), this last inequality implies that for all i∈{N,…,2N}, we have
Lemma 2.70 is proved. □
Now we are ready to complete the proof of Theorem 2.65.
To this end, assume that n≥N is a natural number and that the sequence \(\{x_{i}\}_{i=0}^{n} \subset X\) satisfies
We will show that
If n≤2N, then (2.386) follows from Lemma 2.70. Therefore we may confine our attention to the case where n>2N. Again by Lemma 2.70,
Assume by way of contradiction that there exists an integer q∈(2N,n] such that
In view of (2.387), we may assume without loss of generality that
Define \(\{z_{i}\}_{i=0}^{2N}\subset X\) by
We will show that the sequence \(\{z_{i}\}_{i=0}^{2N}\) satisfies (2.382). To meet this goal, we only need to show that z 0∈K. By (2.390), (2.389) and (2.387),
The last inequality and (2.376) imply that z 0∈K. Therefore (2.382) holds. It now follows from Lemma 2.70 and (2.390) that
This, however, contradicts (2.388). The contradiction we have reached proves (2.386) and this completes the proof of Theorem 2.65.
Finally, we are going to prove Corollary 2.66.
Set K={x n :n=0,1,…} and let ε>0 we given. Let δ>0 and a natural number N be as guaranteed by Theorem 2.65. There exists a natural number j such that for each integer i≥j, we have ρ(Ax i ,x i+1)≤δ. It follows from the last inequality and the choice of δ that ρ(x i ,x A )≤ε for all integers i≥j+N. Since ε is an arbitrary positive number, this implies that lim i→∞ x i =x A . The proof of Corollary 2.66 is complete.
Corollary 2.66 provides a partial answer to a question raised in [77] in the wake of Theorem 1 of [75], which is also concerned with the stability of iterations.
2.18 Proof of Theorem 2.67
We may assume without loss of generality that ε≤1. By Theorem 2.65, there exist a natural number N and a real number δ 0∈(0,ε) such that the following property holds.
- (P1):
-
For each natural number n≥N and each sequence \(\{y_{i}\}_{i=0}^{n} \subset X\) which satisfies
$$ y_0 \in B(x_A,4) \quad\mbox{and}\quad \rho(y_{i+1},Ay_i)\le\delta_0,\quad i=0, \ldots,n-1, $$(2.391)the following inequality holds:
$$ \rho(y_i,x_A)\le \varepsilon ,\quad i=N, \ldots,n. $$(2.392)
By property (A4), the set A i(B(x A ,4)) is bounded for any integer i≥1. Choose a number s>1 such that
By induction and (A3), we define a finite sequence of positive numbers \(\{\gamma_{i}\}_{i=0}^{N}\) so that
and for each j∈{0,…,N−1},
Set
Assume that \(\{x_{i}\}_{i=0}^{\infty} \subset X\),
We will show that
for all integers i≥0. By (2.397), (2.396) and (P1), inequality (2.398) holds for all integers i≥N. Therefore we only need to prove (2.398) for i<N. Clearly, (2.398) holds for i=0.
We will show that for i=0,…,N, we have
By (2.397) and (2.396), this is true for i=0. Assume that i∈{1,…,N} and
Then (2.397) implies that
It follows from (2.400) and (2.394) that
By (2.402), (2.400) and the definition of γ i−1 (see (2.395) with j=i−1),
Using (2.401), (2.403), (2.396) and (2.394), we obtain
Thus (2.399) indeed holds for all i∈{0,…,N}. This fact, when combined with (2.394), implies that (2.398) is true for all i∈{0,…,N}. This completes the proof of Theorem 2.67.
2.19 Proof of Theorem 2.68
We may assume, without any loss of generality, that ε<1 and that m≥1 is an integer such that
By Theorem 2.65, there exist δ∈(0,ε) and a natural number N such that the following property holds.
-
(P2)
For each natural number n≥N and each sequence \(\{x_{i}\}_{i=0}^{n} \subset X\) which satisfies
$$ x_0 \in B(\theta,m)\quad \mbox{and}\quad \rho(Ax_i,x_{i+1}) \le\delta,\quad i=0,\ldots,n-1, $$(2.405)the following inequality holds:
$$ \rho(x_i,x_A) \le \varepsilon ,\quad i=N, \ldots,n. $$(2.406)
Set
Clearly, the set K i is bounded for any integer i≥0. Choose a natural number q≥8 such that
We are going to use the following technical result.
Lemma 2.71
Assume that
where E q is given by (2.375). Then
Proof
Set
We will show that
for i=0,…,2N. Clearly, (2.412) holds for i=0. Assume that i∈{0,…,2N−1} and (2.412) is valid. Inclusions (2.412) and (2.408) imply that
When combined with (2.409), (2.375) and (2.411), this last inclusion implies that
Consequently, (2.414), (2.413) and (2.407) imply that z i+1∈K i+1. Therefore (2.412) is true for all i=0,…,2N. This implies (see (2.408)) that
It follows from this inclusion, (2.408), (2.409) and (2.411) that for i=0,…,2N−1,
By (P2), we see that
Lemma 2.71 is proved. □
Now we are ready to complete the proof of Theorem 2.68. To this end, set
Let n≥N be an integer, x∈B(θ,m), and \(\{B_{i}\}_{i=1}^{n} \subset\mathcal{U}\). We will show that
If n≤2N, then (2.416) follows from Lemma 2.71. Therefore we may restrict our attention to the case n>2N. By Lemma 2.71,
Suppose now that there exists an integer p>2N, p≤n, such that
According to (2.417), we may assume, without loss of generality, that
Define \(\{D_{i}\}_{i=0}^{2N} \subset\mathcal{A}\) by
and let
It follows from (2.417), (2.419), (2.420) and (2.404) that
Applying now Lemma 2.71 to the mappings \(\{D_{i}\}_{i=0}^{2N}\) defined by (2.420), we deduce that
which contradicts (2.418). Hence (2.416) is true and Theorem 2.68 is established.
2.20 Proof of Theorem 2.69
Let \(A \in\mathcal{A}_{reg}\) and let k≥1 be an integer. There is x A ∈K such that
According to Theorem 2.68, there exist a natural number N(A,k) and an open neighborhood \(\mathcal{U}(A,k)\) of A in \(\mathcal{A}\) such that the following property holds.
- (P3):
-
For each x∈B(θ,k), each natural number n≥N(A,k) and each \(B \in\mathcal{U}(A,k)\), we have ρ(B n,x A )≤1/k.
Define
Clearly, \(\mathcal{F}\) is an everywhere dense G δ subset of \(\bar{\mathcal{A}}_{reg}\).
Let \(B \in\mathcal{F}\). We claim that \(B \in\mathcal{A}_{reg}\). Indeed, let q be a natural number. There exists a mapping \(A_{q} \in\mathcal{A}_{reg}\) with a fixed point \(x_{A_{q}}\) and a natural number k q ≥q such that
This inclusion together with (P3) imply that the following property holds.
- (P4):
-
For each point x∈B(θ,q)⊂B(θ,k q ) and each natural number n≥N(A q ,k q ),
$$\rho\bigl(B^nx,x_{A_q}\bigr) \le k_q^{-1} \le1/q. $$
Since q is an arbitrary natural number, we obtain that for any x∈X, the sequence \(\{B^{n}x\}_{n=1}^{\infty}\) is a Cauchy sequence and its limit is the unique fixed point x B of B. Thus
Property (P4) implies that
Finally, it follows from property (P4) and (2.424) that for any x∈B(θ,q) and any n≥N(A q ,k q ),
This implies that B n x→x B as n→∞, uniformly on any bounded subset of X. This completes the proof of Theorem 2.69.
2.21 Inexact Orbits of Nonexpansive Operators
Let (X,ρ) be a complete metric space, A:X→X be a continuous mapping, and let F(A) be the set of all fixed points of A. We assume that F(A)≠∅ and that for each x,y∈X,
By A 0 we denote the identity self-mapping of A. We assume that for each x∈X, the sequence \(\{A^{n}x\}_{n=1}^{\infty}\) converges in (X,ρ). (Clearly, its limit belongs to F(A).)
The following result was obtained in [34].
Theorem 2.72
Let x 0∈X, \(\{r_{n}\}_{n=0}^{\infty} \subset(0,\infty)\), \(\sum_{n=0}^{\infty}r_{n}<\infty\),
Then the sequence \(\{x_{n}\}_{n=1}^{\infty}\) converges to a fixed point of A in (X,ρ).
Proof
Fix a natural number k and consider the sequence \(\{A^{n}x_{k}\}_{n=0}^{\infty}\). This sequence converges to y k ∈F(A). By induction we will show that for each integer i≥0,
Clearly, for i=0 (2.427) is valid. Assume that (2.427) is valid for an integer i≥0. By (2.426), (2.425) and (2.427),
Therefore (2.427) holds for all integers i≥0.
By (2.427), we have for each integer i≥0,
Since A i x k converges to y k in (X,ρ), there is an integer i 0≥1 such that for each integer i≥i 0,
By (2.429) and (2.428), for each pair of integers i 1,i 2≥i 0,
Thus we have shown that for each natural number k, there is an integer i 0≥1 such that for each pair of integers i 1,i 2≥i 0,
Since \(\sum_{j=1}^{\infty}r_{j} <\infty\), we see that \(\{x_{n}\}_{n=1}^{\infty}\) is a Cauchy sequence and there exists \(\bar{x}=\lim_{n\to\infty}x_{n}\). Together with (2.428), this equality implies that
Since \(\sum_{j=1}^{\infty} r_{j}<\infty\), this inequality implies that
and \(A\bar{x}=\bar{x}\). Theorem 2.72 is proved. □
Now we present another result which was obtained in [34].
Let X be a nonempty closed subset of a Banach space (E,∥⋅∥) with a dual space (E ∗,∥⋅∥∗) and let A:X→X satisfy
As usual, we denote by A 0 the identity self-mapping of X. Consider the following assumptions.
- (A1):
-
For each x∈X, the sequence \(\{A^{n}x\}_{n=1}^{\infty}\) converges weakly in X.
- (A2):
-
For each x∈X, the sequence \(\{A^{n}x\}_{n=1}^{\infty}\) converges weakly in X to a fixed point of A.
Theorem 2.73
Assume that (A1) holds. Let x 0∈X,
Then the sequence \(\{x_{n}\}_{n=1}^{\infty}\) converges weakly in X. Moreover, if (A2) holds, then its limit is a fixed point of A.
Proof
Fix a natural number k and consider a sequence \(\{A^{n}x_{k}\}_{n=0}^{\infty}\). This sequence converges weakly to y k ∈X. (Note that if (A2) holds, then Ay k =y k .) By induction we will show that for each integer i≥0,
It is clear that (2.433) is valid for i=0. Assume that i≥0 is an integer and that (2.433) is valid. By (2.432) and (2.430),
Therefore (2.433) holds for all integers i≥0. Fix an integer q≥1. By (2.433), we have
By (2.430) and (2.434), we have for each integer i≥0,
In view of (2.435) and the definition of y k and y k+q ,
Since the above inequality holds for each pair of natural numbers q and k and since \(\sum_{j=0}^{\infty} r_{j}<\infty\), we conclude that \(\{y_{k}\}_{k=1}^{\infty}\) is a Cauchy sequence and there exists
in the norm topology of E. (Note that if (A2) holds, then Ay ∗=y ∗.) By (2.437) and (2.436),
In order to complete the proof it is sufficient to show that lim k→∞ x k =y ∗ in the weak topology.
Let f∈E ∗ be a continuous linear functional on E such that ∥f∥∗≤1 and let ε>0 be given. It is sufficient to show that |f(y ∗−x i )|≤ε for all large enough integers i.
There is an integer k≥1 such that
By (2.438) and (2.434), for each integer i≥1,
Since y k =lim i→∞ A i x k in the weak topology of X, there is a natural number i 0 such that
By (2.440), (2.439), (2.441), we have for each integer i≥i 0,
Theorem 2.73 is proved. □
2.22 Convergence to Attracting Sets
In this section we continue to study the influence of errors on the convergence of orbits of nonexpansive mappings in either metric or Banach spaces.
Let (X,ρ) be a metric space. For each x∈X and each closed nonempty subset A⊂X, put
Theorem 2.74
Let T:X→X satisfy
Suppose that F is a nonempty closed subset of X such that for each x∈X,
Assume that \(\{\gamma_{n}\}_{n=0}^{\infty} \subset(0,\infty)\), \(\sum_{n=0}^{\infty}\gamma_{n}<\infty\),
Then
Proof
Let ε>0. Then there is an integer k≥1 such that
Define a sequence \(\{y_{i}\}_{i=k}^{\infty}\) by
Assume that q≥k+1 is an integer and that for i=k+1,…,q,
(Note that in view of (2.446), inequality (2.447) is valid when q=k+1.)
When combined with (2.445) and (2.443), this implies that
so that (2.447) also holds for i=q+1. Thus we have shown that for all integers q≥k+1,
by (2.444). In view of (2.445) and the hypotheses of the theorem we note that
Since ε is an arbitrary positive number, we conclude that
as asserted. □
Theorem 2.75
Let X be a nonempty and closed subset of a reflexive Banach space (E,∥⋅∥) and let T:X→X be such that
Let F be a nonempty and closed subset of X such that for each x∈X, the sequence \(\{T^{n}x\}_{n=1}^{\infty}\) is bounded and all its weak limit points belong to F.
Assume that \(\{\gamma_{i}\}_{i=0}^{\infty} \subset(0,\infty)\), \(\sum_{i=0}^{\infty} \gamma_{i}<\infty\), \(\{x_{i}\}_{i=0}^{\infty} \subset X\) and
Then the sequence \(\{x_{i}\}_{i=0}^{\infty}\subset X\) is bounded and all its weak limit points also belong to F.
Proof
Let ε>0 be given. There is an integer k≥1 such that
Define a sequence \(\{y_{i}\}_{i=k}^{\infty}\) by
Arguing as in the proof of Theorem 2.74, we can show that for all integers q≥k+1,
Obviously, (2.454) implies that the sequence \(\{x_{k}\}_{k=0}^{\infty}\) is bounded.
Assume now that z is a weak limit point of the sequence \(\{x_{k}\}_{k=0}^{\infty}\). There exists a subsequence \(\{x_{i_{p}}\}_{p=1}^{\infty}\) which weakly converges to z. We may assume without loss of generality that \(\{y_{i_{p}}\}_{p=1}^{\infty}\) weakly converges to \(\tilde{z} \in F\). By (2.454) and the weak lower semicontinuity of the norm,
Since ε is an arbitrary positive number, we conclude that
Theorem 2.75 is proved. □
Both Theorems 2.74 and 2.75 were obtained in [111].
2.23 Nonconvergence to Attracting Sets
In this section, which is based on [111], we show that both Theorems 2.72 and 2.74 cannot, in general, be improved. We begin with Theorem 2.72.
Proposition 2.76
For any normed space X, there exists an operator T:X→X such that ∥Tx−Ty∥≤∥x−y∥ for all x,y∈X, the sequence \(\{T^{n}x\}_{n=1}^{\infty}\) converges for each x∈X and, for any sequence of positive numbers \(\{\gamma_{n}\}_{n=0}^{\infty}\), there exists a sequence \(\{x_{n}\}_{n=0}^{\infty}\subset X\) with ∥x n+1−Tx n ∥≤γ n for all nonnegative integers n, which converges if and only if the sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\) is summable, i.e., \(\sum_{n=0}^{\infty} \gamma_{n}<\infty\).
Proof
This is a simple fact because we may take T to be the identity operator: Tx=x, ∀x. Then we may take x 0 to be an arbitrary element of X with ∥x 0∥=1, and define by induction
Evidently, ∥x n+1−Tx n ∥=γ n and \(x_{n+1}=x_{0}(1+\sum_{i=0}^{n}\gamma_{i})\) for all integers n≥0, so that the convergence of \(\{x_{n}\}_{n=0}^{\infty}\) is equivalent to the summability of the sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\). □
Counterexamples to possible improvements of Theorem 2.74 are more difficult to construct because this theorem deals with convergence to attracting sets. For simplicity, we assume that the non-summable sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\) decreases to 0 and that γ 1≤1.
Proposition 2.77
Let X be an arbitrary (but not one-dimensional) normed space and let a non-summable sequence of positive numbers \(\{\gamma_{n}\}_{n=0}^{\infty}\) decrease to 0. Then there exist a subspace F⊂X and a nonexpansive (with respect to an equivalent norm on X) operator T:X→X such that ρ(T n u,F)→0 as n→∞ for any u∈X, and there exists a sequence \(\{u_{n}\}_{n=0}^{\infty}\subset X\) such that ∥u n+1−Tu n ∥≤γ n for all integers n≥0, but ρ(u n ,F) does not tend to 0 as n→∞.
Proof
We take any 2-dimensional subspace of X, identify it with R 2 (with coordinates (x,y)), and perform all constructions and proofs only in this subspace, taking as F the one-dimensional space L:={(x,y)∈R 2:y=0}. The same counterexample may be then applied to the whole space X if we take F to be an algebraic complement of the one-dimensional space {(x,y)∈R 2:x=0} which contains L.
So, consider a plane with orthogonal axes x, y and the norm ∥u∥=∥(x,y)∥=max(|x|,|y|) (recall that in a finite dimensional space all norms are equivalent). At the first stage, we only consider the case where γ n+1/γ n ≥1/2 for all n and we define a decreasing function y=γ(x) which equals γ n at x=2n, n=1,2,… , and is linear on the intermediate segments. Finally, we define the operator T as the superposition T=T 4 T 3 T 2 T 1 of the following four mappings: (a) T 1:(x,y)↦(|x|,|y|); (b) T 2:(x,y)↦(x,min(1,y)); (c) T 3:(x,y)↦(x+2,y); (d) T 4:(x,y)↦(x,[1−γ(x)]y).
The principal point of the proof is to show that the operator T is nonexpansive.
This is obviously true for the first three mappings T 1, T 2 and T 3, so we need only consider the fourth operator T 4. For simplicity, we may assume from the very beginning that T=T 4.
For arbitrary x 1<x 2, let u 1=(x 1,y 1) and u 2=(x 2,y 2). Then Tu 1=(x 1,[1−γ(x 1)]y 1) and Tu 2=(x 2,[1−γ(x 2)]y 2). Our aim is to show that ∥Tu 1−Tu 2∥≤∥u 1−u 2∥, where ∥u 1−u 2∥=max(x 2−x 1,|y 2−y 1|) and ∥Tu 1−Tu 2∥=max(x 2−x 1,|[1−γ(x 2)]y 2−[1−γ(x 1)]y 1|). Since after the application of the first two mappings T 1 and T 2, the second coordinate y already belongs to [0,1], the case where x 2−x 1≥1 is trivial, because then ∥Tu 1−Tu 2∥=∥u 1−u 2∥=x 2−x 1. Hence we may assume in what follows that x 2−x 1<1 and thus we need only consider one of the following two possibilities: either both x 1 and x 2 belong to the same interval [2n,2(n+1)] or they belong to two adjoining intervals [2n,2(n+1)] and [2(n+1),2(n+2)] for some n=1,2,… . We claim that in both cases,
If 2n≤x 1<x 2≤2(n+1), then the points u 1 and u 2 lie on the straight line connecting the points (2n,1−γ n ) and (2(n+1),1−γ n+1), so that the ratio (γ(x 1)−γ(x 2))/(x 2−x 1) coincides with the slope of this line:
In the second case the same ratio is less than or equal to max(k n ,k n+1), where
and therefore inequality (2.455) is proved in both cases.
Note that in order to compare the distances between u 1 and u 2, and between Tu 1 and Tu 2, it is enough to show that
If y 1≥y 2, then
because γ(x 1)≥γ(x 2). On the other hand,
by (2.455). Now inequality (2.456) follows because γ(x 1)y 1<1.
If y 2−y 1≥0, then also y 2[1−γ(x 2)]−y 1[1−γ(x 1)]≥0 and it suffices to estimate this difference only from above. Bearing in mind that all y≤1, we obtain by (2.455) that
as needed.
Let u=(x,y) be an arbitrary point in R 2. Then T 2 T 1 u∈{(x,y):x≥0,0≤y≤1} and thereafter the operators T 1 and T 2 coincide with the identity mapping. Defining the integer k by 2k≤x<2(k+1), we see that
as n→∞, because the series \(\sum_{i=1}^{\infty}\gamma_{i}\) is divergent.
To finish the proof for the case where γ n+1/γ n ≥1/2 for all natural numbers n, we define u n =(2(n−1),1) for n=1,2,… . Then Tu n =T 4 T 3 u n =(2n,1−γ n ) and ∥u n+1−Tu n ∥=γ n . At the same time, ρ(u n ,F)=1 for all n and does not tend to 0.
We now proceed to the general case where the given sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\) does not satisfy the condition γ n+1/γ n ≥1/2 for all n≥0. We then define by induction a new sequence:
so that \(\gamma^{\prime}_{n+1}/\gamma^{\prime}_{n}\ge1/2\). Using the new sequence \(\{\gamma^{\prime}_{n}\}_{n=0}^{\infty}\), we construct the operator T as before, replacing each γ n by \(\gamma^{\prime}_{n}\). The sequence \(\{u_{n}\}_{n=0}^{\infty}\) will be defined by induction. Let u 1=(0,1). If the point u n =(x n ,y n ) has already been defined, then to obtain the next point u n+1=(x n+1,y n+1), we put x n+1=x n +2, y n+1=y n if \(\gamma^{\prime}_{n}=\gamma_{n}\), and \(y_{n+1}=y_{n}[1-\gamma^{\prime}_{n}]\) if \(\gamma^{\prime}_{n}>\gamma_{n}\). Since \(Tu_{n}=(x_{n+1}, y_{n}[1-\gamma^{\prime}_{n}])\) for each n, we find that ∥u n+1−Tu n ∥≤γ n for all n, as needed.
It is easy to see that
where σ k =1 when \(\gamma^{\prime}_{n}>\gamma_{n}\) and σ k =0 otherwise. But the series \(\sum_{k=1}^{\infty}\sigma_{k}\gamma^{\prime}_{k}\) converges, since the ratio of any two consecutive nonzero terms here is not greater than 1/2. Therefore
That is, the sequence {ρ(u n ,F)} again does not tend to zero, as claimed. □
2.24 Convergence and Nonconvergence to Fixed Points
In Sect. 2.23 we have shown that Theorems 2.72 and 2.74 cannot be, in general, improved. However in Proposition 2.76 every point of the space is a fixed point of the operator T and the inexact orbits tend to infinity. In Proposition 2.77 the attracting set F is unbounded and the operator T depends on the sequence of errors. In this section we construct an operator T on a complete metric space X such that all of its orbits converge to its unique fixed point, and for any nonsummable sequence of errors and any initial point, there exists a divergent inexact orbit with a convergent subsequence. On the other hand, we emphasize that while the example of the present section is for a particular subset of an infinite-dimensional Banach space, the examples in Sect. 2.23 apply to general normed spaces, even finite-dimensional ones.
Let X be the set of all sequences \(x=\{x_{i}\}_{i=1}^{\infty}\) of nonnegative numbers such that \(\sum_{i=1}^{\infty} x_{i} \le1\). For \(x=\{x_{i}\}_{i=1}^{\infty}\), \(y=\{y_{i}\}_{i=1}^{\infty} \in X\), set
Clearly, (X,ρ) is a complete metric space.
Define a mapping T:X→X as follows:
In other words, for any \(\{x_{i}\}_{i=1}^{\infty} \in X\),
Set T 0 x=x for all x∈X. Clearly,
and
for all x∈X.
The following result was obtained in [111].
Theorem 2.78
Let \(\{r_{i}\}_{i=0}^{\infty} \subset [0,\infty)\),
and \(x=\{x_{i}\}^{\infty}_{i=1}\in X\). Then there exists a sequence \(\{y^{(i)}\}_{i=0}^{\infty} \subset X\) such that
the sequence \(\{y^{(i)}\}_{i=0}^{\infty}\) does not converge in (X,ρ), but (0,0,…) is a limit point of \(\{y^{(i)}\}_{i=0}^{\infty}\).
In the proof of this theorem we may assume without loss of generality that
We precede the proof of Theorem 2.78 with the following lemma.
Lemma 2.79
Let \(z^{(0)}=\{z_{i}^{(0)}\}_{i=1}^{\infty} \in X\) and let k≥0 be an integer. Then there exist an integer n≥4 and a sequence \(\{z^{(i)}\}_{i=0}^{n} \subset X\) such that
and
Proof
There is a natural number m>4 such that
Set
Clearly,
By (2.462), there is a natural number n>m such that
By (2.467) and (2.463), n≥m+7 and we may assume without loss of generality that
In view of (2.457) and (2.463)
For i=m+1,…,n, define \(z^{(i)}=\{z^{(i)}_{j}\}_{j=1}^{\infty}\) as follows:
Clearly, for i=m+1,…,n, z (i) is well-defined and by (2.470), (2.464) and (2.468),
Thus z (i)∈X, i=m+1,…,n.
Let i∈{m,…,n−1}. In order to estimate ρ(z (i+1),Tz (i)), we first set
In view of (2.471), (2.458) and (2.459), \(\tilde{z}_{j}=z^{(i)}_{j+1}\) for all integers j≥1. When combined with (2.470), this implies that
and
By (2.472), \(\tilde{z}_{j}=z_{j}^{(i+1)}\) for all j∈{1,2,…}∖{n−i}. Together with (2.473), (2.457), (2.472) and (2.470), this equality implies that
It follows from this relation, which holds for all i∈{m,…,n−1}, and from (2.465) that
By (2.457), (2.470) and (2.469),
This completes the proof of Lemma 2.79. □
Proof of Theorem 2.78
In order to prove the theorem, we construct by induction, using Lemma 2.79, sequences of nonnegative integers \(\{t_{k}\}_{k=0}^{\infty}\) and \(\{s_{k}\}_{k=0}^{\infty}\), and a sequence \(\{y^{(i)}\}_{i=0}^{\infty}\subset X\) such that
and for all integers k≥1,
In the sequel we use the notation \(y^{(i)}=\{y_{j}^{(i)}\}_{j=1}^{\infty}\), i=0,1,… .
Set
Assume that q≥0 is an integer and that we have already defined two sequences of nonnegative numbers \(\{t_{k}\}_{k=0}^{q}\) and \(\{s_{k}\}_{k=0}^{q}\), and a sequence \(\{y^{(i)}\}_{i=0}^{t_{q}}\subset X\) such that (2.474) holds for all integers i satisfying 0≤i<s q , (2.477) holds,
and (2.476) holds for all integers k satisfying 0<k≤q. (Note that for q=0 this assumption does hold.)
Now we show that this assumption also holds for q+1.
Indeed, there is a natural number s q+1>t q +1 such that
Set
By (2.479), (2.457), (2.458), (2.459) and (2.478),
Applying Lemma 2.79 with
we obtain that there exist an integer n≥4 and a sequence \(\{y^{(i)}\}_{i=s_{q+1}}^{s_{q+1}+n}\subset X\) such that
and
Put
In this way we have constructed a sequence \(\{y^{(i)}\}_{i=0}^{t_{q+1}}\subset X\) and two sequences of nonnegative integers \(\{t_{k}\}_{k=0}^{q+1}\) and \(\{s_{k}\}_{k=0}^{q+1}\) such that (2.477) holds, (2.474) holds for all integers i satisfying 0≤i<t q+1 (see (2.479) and (2.482)), t k <s k+1<t k+1 for all integers k satisfying 0≤k<q+1, and (2.476) holds for all integers k satisfying 0<k≤q+1 (see (2.480), (2.482) and (2.483)).
In other words, the assumption made concerning q also holds for q+1. It follows that we have indeed constructed two sequences of nonnegative integers \(\{t_{k}\}_{k=0}^{\infty}\) and \(\{s_{k}\}_{k=0}^{\infty}\), and a sequence \(\{y^{(i)}\}_{i=0}^{\infty}\subset X\) which satisfy (2.473)–(2.476). This completes the proof of Theorem 2.78. □
2.25 Convergence to Compact Sets
In this section, we study the influence of computational errors on the convergence to compact sets of orbits of nonexpansive mappings in Banach and metric spaces.
Let (X,ρ) be a complete metric space. For each x∈X and each nonempty closed subset A⊂X, put
For each mapping T:X→X, set T 0 x=x for all x∈X.
The following result was obtained in [112].
Theorem 2.80
Let T:X→X satisfy
Suppose that for each x∈X, there exists a nonempty compact set E(x)⊂X such that
Assume that \(\{\gamma_{n}\}_{n=0}^{\infty} \subset(0,\infty)\), \(\sum_{n=0}^{\infty}\gamma_{n}<\infty\),
Then there exists a nonempty compact subset F of X such that
Proof
In order to prove the theorem it is sufficient to show that any subsequence of \(\{x_{n}\}_{n=0}^{\infty}\) has a convergent subsequence.
To see this, it is sufficient to show that for any ε>0, the following assertion holds:
- (P1):
-
Any subsequence of \(\{x_{n}\}_{n=0}^{\infty}\) possesses a subsequence which is contained in a ball with radius ε.
Indeed, there is an integer k≥1 such that
Define a sequence \(\{y_{i}\}_{i=k}^{\infty}\) by
There exists a nonempty compact set E⊂X such that
Assume that q≥k+1 is an integer and that for i=k+1,…,q,
(Note that in view of (2.490), inequality (2.491) is valid when q=k+1.)
When combined with (2.486), this implies that
so that (2.491) also holds for i=q+1. Thus we have shown that for all integers q≥k+1,
by (2.487). In view of (2.489), for all large enough natural numbers q, we have
By (2.493), there exist an integer q 0>k and a sequence \(\{z_{i}\}_{i=q_{0}}^{\infty} \subset K\) such that
Consider any subsequence \(\{x_{q_{i}}\}_{i=1}^{\infty}\) of \(\{x_{n}\}_{n=0}^{\infty}\). Since the set E is compact, the sequence \(\{z_{q_{i}}\}_{i=1}^{\infty}\) possesses a convergent subsequence \(\{z_{q_{i_{j}}}\}_{j=1}^{\infty}\).
We may assume without loss of generality that all elements of this convergent subsequence belong to B(u,ε/16) for some u∈X.
In view of (2.494),
Thus (P1) holds and this completes the proof of the theorem. □
Note that Theorem 2.80 is an extension of Theorem 2.72.
The following result, which was obtained in [112], shows that both Theorems 2.72 and 2.80 cannot, in general, be improved (cf. Proposition 2.77).
Proposition 2.81
For any normed space X, there exists an operator T:X→X such that ∥Tx−Ty∥≤∥x−y∥ for all x,y∈X, the sequence \(\{T^{n}x\}_{n=1}^{\infty}\) converges for each x∈X and, for any sequence of positive numbers \(\{\gamma_{n}\}_{n=0}^{\infty}\), there exists a sequence \(\{x_{n}\}_{n=0}^{\infty}\subset X\) with ∥x n+1−Tx n ∥≤γ n for all nonnegative integers n, which converges to a compact set if and only if the sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\) is summable, i.e., \(\sum_{n=0}^{\infty} \gamma_{n}<\infty\).
Proof
This is a simple fact because we may take T to be the identity operator: Tx=x, ∀x. Then we may take as x 0 to be an arbitrary element of X with ∥x 0∥=1 and define by induction
Evidently, ∥x n+1−Tx n ∥=γ n and \(x_{n+1}=x_{0}(1+\sum_{i=0}^{n}\gamma_{i})\) for all integers n≥0, so that the convergence of \(\{x_{n}\}_{n=0}^{\infty}\) to a compact set is equivalent to the summability of the sequence \(\{\gamma_{n}\}_{n=0}^{\infty}\). Proposition 2.81 is proved. □
2.26 An Example of Nonconvergence to Compact Sets
In the previous section, we have shown that Theorems 2.72 and 2.80 cannot, in general, be improved. However, in Proposition 2.81 every point of the space is a fixed point of the operator T and the inexact orbits tend to infinity. In this section, we construct an operator T on a certain complete metric space X (a bounded, closed and convex subset of a Banach space) such that all of its orbits converge to its unique fixed point, and for any nonsummable sequence of errors and any initial point, there exists an inexact orbit which does not converge to any compact set. This example is based on [112].
Let X be the set of all sequences \(x=\{x_{i}\}_{i=1}^{\infty}\) of nonnegative numbers such that \(\sum_{i=1}^{\infty} x_{i} \le1\). For \(x=\{x_{i}\}_{i=1}^{\infty}\) and \(y=\{y_{i}\}_{i=1}^{\infty}\) in X, set
Clearly, (X,ρ) is a complete metric space.
Define a mapping T:X→X as follows:
In other words, for any \(\{x_{i}\}_{i=1}^{\infty} \in X\),
Set T 0 x=x for all x∈X. Clearly,
and
for all x∈X.
Theorem 2.82
Let \(\{r_{i}\}_{i=0}^{\infty} \subset [0,\infty)\),
and \(x=\{x_{i}\}^{\infty}_{i=1}\in X\). Then there exists a sequence \(\{y^{(i)}\}_{i=0}^{\infty} \subset X\) such that
and that the following property holds:
there is no nonempty compact set E⊂X such that
In the proof of this theorem, we may assume without any loss of generality that
We precede the proof of Theorem 2.82 with the following lemma.
Lemma 2.83
Let \(z^{(0)}=\{z_{i}^{(0)}\}_{i=1}^{\infty} \in X\), let k≥0 be an integer and let j 0 be a natural number. Then there exist an integer n≥4 and a sequence \(\{z^{(i)}\}_{i=0}^{n} \subset X\) such that
and
with \(z^{(n)}_{j_{0}+1}\ge4^{-1}\).
Proof
There is a natural number m>4 such that
Set
Then
By (2.500), there is a natural number n>m such that
and we may assume without loss of generality that
In view of (2.506) and (2.502),
For i=m+1,…,n, define \(z^{(i)}=\{z^{(i)}_{j}\}_{j=1}^{\infty}\) as follows:
Clearly, for i=m+1,…,n, z (i) is well-defined and by (2.510), (2.503) and (2.508),
Thus z (i)∈X, i=m+1,…,n.
Let i∈{m,…,n−1}. We now estimate ρ(z (i+1),Tz (i)). If i=m, then by (2.496), (2.497), (2.505) and (2.514),
Let i>m. We first set
In view of (2.506), (2.496) and (2.497), \(\tilde{z}_{j}=z^{(i)}_{j+1}\) for all integers j≥1. When combined with (2.510), this implies that
for all j∈{1,2,…}∖{n+j 0−i}. It now follows from (2.512), (2.514), (2.510) and (2.513) that
When combined with (2.504), this implies that
This completes the proof of Lemma 2.83. □
Proof of Theorem 2.82
In order to prove the theorem, we construct by induction, using Lemma 2.83, a sequence of nonnegative integers \(\{s_{k}\}_{k=0}^{\infty}\) and a sequence \(\{y^{(i)}\}_{i=0}^{\infty}\subset X\) such that
and for all integers k≥1,
In the sequel we use the notation \(y^{(i)}=\{y_{j}^{(i)}\}_{j=1}^{\infty}\), i=0,1,… .
Set
Assume that q≥0 is an integer and we have already defined a (finite) sequence of nonnegative integers \(\{s_{k}\}_{k=0}^{q}\) and a (finite) sequence \(\{y^{(i)}\}_{i=0}^{s_{q}}\subset X\) such that (2.518) is valid, (2.515) holds for all integers i satisfying 0≤i<s q ,
and that (2.517) holds for all integers k satisfying 0<k≤q. (Note that for q=0 this assumption does hold.)
Now we show that this assumption also holds for q+1.
Indeed, applying Lemma 2.83 with
we obtain that there exist an integer s q+1≥4+s q and a sequence \(\{y^{(i)}\}_{i=s_{q}}^{s_{q+1}}\subset X\) such that
and
Thus the assumption made for q also holds for q+1. Therefore we have constructed by induction a sequence \(\{y^{(i)}\}_{i=0}^{\infty}\subset X\) and a sequence of nonnegative integers \(\{s_{k}\}_{k=0}^{\infty}\) which satisfy (2.515) and (2.516) for all integers i,k≥0, respectively, and (2.517) for all integers k≥1.
Finally, we show that there is no nonempty compact set E⊂X such that
Assume the contrary. Then there does exist a nonempty compact set E⊂X such that
This implies that any subsequence of \(\{y^{(k)}\}_{k=0}^{\infty}\) possesses a convergent subsequence.
Consider such a subsequence \(\{y^{(s_{q})}\}_{q=1}^{\infty}\). This subsequence has a convergent subsequence \(\{y^{s_{q_{p}}}\}_{p=1}^{\infty}\). There are, therefore, a point \(z=\{z_{i}\}_{i=0}^{\infty} \in X\) such that
and a natural number p 0 such that
By (2.518) and (2.519), we have for all integers p≥p 0,
and
This, of course, contradicts the inequality \(\sum_{i=1}^{\infty }z_{i}\le1\). The contradiction we have reached completes the proof of Theorem 2.82. □
References
Aliprantis, C. D., & Burkinshaw, O. (1985). Positive operators. Orlando: Academic Press.
Amann, H. (1976). SIAM Review, 18, 620–709.
Browder, F. E. (1968). Indagationes Mathematicae, 30, 27–35.
Butnariu, D., Reich, S., & Zaslavski, A. J. (2001). Journal of Applied Analysis, 7, 151–174.
Butnariu, D., Reich, S., & Zaslavski, A. J. (2006). In Fixed point theory and its applications (pp. 11–32). Yokohama: Yokohama Publishers.
Butnariu, D., Reich, S., & Zaslavski, A. J. (2007). Journal of Applied Analysis, 13, 1–11.
de Blasi, F. S., & Myjak, J. (1976). Comptes Rendus de L’Académie Des Sciences. Paris, 283, 185–187.
de Blasi, F. S., & Myjak, J. (1989). Comptes Rendus de L’Académie Des Sciences. Paris, 308, 51–54.
Ioffe, A. D., & Zaslavski, A. J. (2000). SIAM Journal on Control and Optimization, 38, 566–581.
Jachymski, J. R. (1997). Aequationes Mathematicae, 53, 242–253.
Jachymski, J. R., & Jóźwik, I. (2007). In Banach center publications: Vol. 77. Fixed point theory and its applications (pp. 123–146). Warsaw: Polish Acad. Sci.
Kelley, J. L. (1955). General topology. Princeton: Van Nostrand.
Krasnosel’skii, M. A., & Zabreiko, P. P. (1984). Geometrical methods of nonlinear analysis. Berlin: Springer.
Krein, M. G., & Rutman, M. A. (1962). Translations - American Mathematical Society, 10, 199–325.
Nikaido, H. (1968). Convex structures and economic theory. New York: Academic Press.
Nussbaum, R. D. (1988). Memoirs of the American Mathematical Society, 391, 1–137.
Ostrowski, A. M. (1967). Zeitschrift für Angewandte Mathematik und Mechanik, 47, 77–81.
Pustylnik, E., Reich, S., & Zaslavski, A. J. (2008). Taiwanese Journal of Mathematics, 12, 1511–1523.
Pustylnik, E., Reich, S., & Zaslavski, A. J. (2008). Fixed Point Theory and Applications, 2008, 1–10.
Rakotch, E. (1962). Proceedings of the American Mathematical Society, 13, 459–465.
Reich, S. (1973). Journal of Mathematical Analysis and Applications, 41, 460–467.
Reich, S. (1976). Journal of Mathematical Analysis and Applications, 54, 26–36.
Reich, S., & Shafrir, I. (1990). Nonlinear Analysis, 15, 537–558.
Reich, S., & Zaslavski, A. J. (1999). Integral Equations and Operator Theory, 35, 232–252.
Reich, S., & Zaslavski, A. J. (1999). Abstract and Applied Analysis, 4, 1–19.
Reich, S., & Zaslavski, A. J. (1999). Positivity, 3, 1–21.
Reich, S., & Zaslavski, A. J. (2000). Comptes Rendus Mathématiques de L’Académie Des Sciences. La Société Royale du Canada, 22, 118–124.
Reich, S., & Zaslavski, A. J. (2000). Mathematical and Computer Modelling, 32, 1423–1431.
Reich, S., & Zaslavski, A. J. (2001). Comptes Rendus de L’Académie Des Sciences. Paris, 333, 539–544.
Reich, S., & Zaslavski, A. J. (2001). Far East Journal of Mathematical Sciences, Special Volume(Part III), 393–401.
Reich, S., & Zaslavski, A. J. (2001). Integral Equations and Operator Theory, 41, 455–471.
Reich, S., & Zaslavski, A. J. (2003). In Fixed point theory and applications (pp. 261–274). Valencia: Yokohama Publishers.
Reich, S., & Zaslavski, A. J. (2004). Fixed Point Theory and Applications, 2004, 211–220.
Reich, S., & Zaslavski, A. J. (2004). In Abstract and applied analysis (pp. 305–311). River Edge: World Scientific.
Reich, S., & Zaslavski, A. J. (2005). Comptes Rendus Mathématiques de L’Académie Des Sciences. La Société Royale du Canada, 27, 121–128.
Reich, S., & Zaslavski, A. J. (2005). Fixed Point Theory, 6, 113–118.
Reich, S., & Zaslavski, A. J. (2005). Fixed Point Theory and Applications, 2005, 207–211.
Reich, S., & Zaslavski, A. J. (2007). In Banach center publications: Vol. 77. Fixed point theory and its applications. (pp. 215–225). Warsaw: Polish Acad. Sci.
Reich, S., & Zaslavski, A. J. (2007). In Fixed point theory (Vol. 7, pp. 161–171). New York: Nova Publ.
Reich, S., Rubinov, A., & Zaslavski, A. J. (2000). Nonlinear Analysis, 40, 537–547.
Schaefer, H. H. (1974). Banach lattices and positive operators. Berlin: Springer.
Schauder, J. (1930). Studia Mathematica, 2, 171–180.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
Reich, S., Zaslavski, A.J. (2014). Fixed Point Results and Convergence of Powers of Operators. In: Genericity in Nonlinear Analysis. Developments in Mathematics, vol 34. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-9533-8_2
Download citation
DOI: https://doi.org/10.1007/978-1-4614-9533-8_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-9532-1
Online ISBN: 978-1-4614-9533-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)