Abstract
Very recently, Udo-utun (Fixed Point Theory Appl. 2014:65, 2014) established a property possessed by contractive operators with nonempty fixed point sets and used it to prove the existence of fixed points of nonexpansive maps. We extend these results and prove the existence of fixed points for L-Lipschitzian maps that possess this property. Our results generalize and unify results concerning asymptotic fixed point theory of contractive mappings. An application in ordinary differential equations is illustrated via a formulation of the global existence theorem for initial value problems.
Similar content being viewed by others
1 Introduction
The famous Banach fixed point theorem, called the contraction mapping principle, has been studied by numerous authors and numerous generalizations have been obtained by eminent mathematicians based on various contractive conditions. Our approach in this paper consists in applying a more unifying contractive condition derived by Berinde [1] to obtain asymptotic fixed point theorem for the class of Lipschitzian mappings satisfying a certain (boundedness-like) condition derived very recently by the first author [2]. Let \((X , d)\) be a metric space and \(T : X \rightarrow X\) a mapping satisfying the condition
Then T is called an L-Lipschitzian operator where \(L \geq0\) is the least constant with this property. T is called a contraction if \(L \in[0 , 1)\) and, for \(T = 1\), T is called a nonexpansive operator. T is said to be expansive if \(L > 1\).
In the sequel we shall denote by \(\operatorname{Fix}(T)\) the set of fixed points of T. The study of fixed points of contractive and expansive mappings still attracts the attention of numerous researchers investigating extensions and generalizations of Banach fixed point theorem. The contraction mapping principle in a Banach space \((E , \|\cdot\|)\) asserts that if \(T : K \subset E \rightarrow K\) is a contraction (i.e. for all \(x,y \in K\), \(\|Tx - Ty\| \leq L\|x - y\|\), \(L \in(0 , 1)\)) then:
-
p1.
T has a unique fixed point given by the limit \(p = \lim_{n \to\infty}x_{n} = T^{n}x_{0}\) of the Picard iteration \(\{x_{n}\}_{n = 1}^{\infty}\) where \(x_{0}\) is any initial guess in K.
-
p2.
The following estimates hold: \(\|x_{n} - p\| \leq\frac{L^{n}}{1 - L}\|x_{0} - x_{1}\|\), \(\|x_{n} - p\| \leq\frac{L}{1 - L}\|x_{0} - x_{1}\|\).
-
p3.
The rate of convergence of Picard iteration \(\{x_{n + 1}\} = \{Tx_{n}\}\) is given by \(\|x_{n} - p\| \leq L\|x_{n - 1} - p\|\).
We recall that the contraction condition in a metric space \((X , d)\) is \(d(Tx , Ty) \leq Ld(x , y)\), \(0 \leq L <1\) for all \(x,y \in X\), T is called contractive if
and T is called a quasicontraction (Ciric [3]) if there exists \(q \in(0 , 1)\) such that
Following Ciric [3], Berinde [1, 4] investigated all contractive conditions which make use of displacements of the forms \(d(x , y)\), \(d(x , Tx)\), \(d(y , Ty)\), \(d(x , Ty)\), and \(d(y , Tx)\) under the concept of a \((\delta, k)\)-weak contraction introduced by him as follows.
Definition 1
[4]
Let \((X , d)\) be a metric space, \(\delta\in(0 , 1)\), and \(k \geq0\), then a mapping \(T : X \rightarrow X\) is called a \((\delta, k)\)-weak contraction (or a weak contraction) if and only if
Remark 1
A current terminology for the class of \((\delta, k)\)-weak contractions is almost contractions.
The results of this paper constitute applications of this concept of \((\delta, k)\)-weak contractions to obtain existence results for all Lipschitzian maps satisfying a certain boundedness notion as stated below. It is also shown that this condition is a nontrivial extension and modification of the Banach contraction mapping principle in Banach spaces.
Specifically, we prove, in an arbitrary Banach space, the existence of fixed points for a class of Lipschitzian operators subject to the following central hypothesis:
for some \(M \geq1\) and for x and y in a certain subset of a closed convex subset K of a Banach space E with \(x \neq y\).
2 Preliminary
Our method involves proving that for arbitrary \(L(0 , \infty)\), any L-Lipschitzian map satisfying (5) possesses a fixed point by showing that a corresponding averaged operator \(S_{\lambda}x = \lambda x + (1 - \lambda)Tx\) is an example of \((\delta, k)\)-weak contractions. In other words, as follows from [1, 4], the Krasnoselskii iteration scheme \(x_{n + 1} = \lambda x_{n} + (1 - \lambda )Tx_{n}\) of T converges to a fixed point of T. Further, we demonstrate that, in Banach spaces, the hypothesis of the contraction mapping principle is a special case of (5) above.
Investigations concerning fixed points of expansive transformations include the work of Goebel and Kirk [5] on uniformly L-Lipschitzian mappings with \(L < \sqrt{\frac{5}{2}}\). This estimate for L was improved by Lifschitz [6] with \(L < \sqrt{2}\). It is worth noting that recent research trends in uniformly L-Lipschitzian mappings are concerned with the normal structure and structure of fixed point sets \(\operatorname{Fix}(T)\) of the semigroup of uniformly L-Lipschitzian mappings. Works in this direction include [7, 8] and [9]. Our results include the existence aspects of these studies as special cases.
Other examples of \((\delta, k)\)-weak contractions are given in [10]. It is shown in [1, 4] that a lot of well-known contractive conditions in the literature are special cases of the almost contraction condition (4) as it does not require that \(\delta+ k < 1\), which is assumed in almost all fixed point theorems based on the contractive conditions which involve displacements of the forms \(d(x , y)\), \(d(x , Tx)\), \(d(y , Ty)\), \(d(x , Ty)\), and \(d(y , Tx)\); see Berinde [1], Kannan [11], Rhoades [12], Zamfirescu [13] and references therein.
Examples of L-Lipschitzian operators satisfying (5) are illustrated below.
Example 1
Let \(E = (-\infty, \infty)\) and \(K= [0 , \infty)\), the operator \(T : K \rightarrow K\) defined for any fixed \(\tau> 0\), defined by \(Tx = \tau e^{\tau- x}\), \(x \in K\) is L-Lipschitzian, since \(\|Tx - Ty\| = |\tau e^{\tau- x} - \tau e^{\tau- y}|\leq\tau e^{\tau}|x - y|\), \(x,y \in K\) and has the fixed point \(x = \tau\). It is remarkable that T satisfies the condition (5) viz.: \(\frac{\|y - Tx\|}{\|x - y\| }= \frac{|y - Tx|}{|x - y|}\leq1 + \frac{|xe^{\tau} - \tau e^{\tau}|}{|x - y|}\). By the mean value theorem we obtain \(\frac{\|y - Tx\|}{\|x - y\|}\leq1 + |x - \tau|\frac{|M_{1} - M_{2}|}{|x - y|}\) for some \(M_{1}\), \(M_{2}\) lying between x and τ. This shows that there exists \(M \geq1\) such that \(\|y - Tx\| \leq M\|x - y\|\) for all x and y in an appropriate closed neighborhood of the fixed point τ with \(x \neq y\) and \(x,y \notin \operatorname{Fix}(T)\).
Similarly, on the other hand the operator \(T : K \rightarrow K\) defined by \(Tx = e^{\tau- x}\) is L-Lipschitzian with Lipschitz constant \(L = e^{\tau}\) and has no fixed point. As a counterexample, it is interesting that T does not satisfy property (5). This follows from the fact that \(\frac{\|y - Tx\|}{\|x - y\|}= \frac{|y - Tx|}{|x - y|}\leq1 + \max\{e^{-x} , e^{-\tau}\}\frac{|1 - \tau|}{|x - y|} > M\) for all \(M > 0\), i.e. when x and y are very close.
In [4] Berinde proved the following theorem, the first almost contraction mapping principle.
Theorem 1
[1]
Let \((X , d)\) be a complete metric space and \(T : X \rightarrow X\) be a \((\delta, k)\)-weak contraction (i.e. almost contraction). Then:
-
(1)
\(\operatorname{Fix}(T) = \{x \in X : Tx = x\} \neq\emptyset\).
-
(2)
For any \(x_{0} \in X\) the Picard iteration \(\{x_{n}\}\) given by \(x_{n + 1} = T^{n}x_{0}\), \(n = 0, 1, 2, \ldots \) , converges to some \(x^{*} \in \operatorname{Fix}(T)\).
-
(3)
The estimates
$$\begin{aligned}& d\bigl(x_{n} , x^{*}\bigr) \leq \frac{\delta^{n}}{1 - \delta}d(x_{0} , x_{1}),\quad n = 0, 1, 2, \ldots, \\& d\bigl(x_{n} , x^{*}\bigr) \leq \frac{\delta}{1 - \delta}d(x_{n - 1} , x_{n}),\quad n = 0, 1, 2, \ldots, \end{aligned}$$hold, where δ is the constant appearing in (4).
-
(4)
Under the additional condition that there exist \(\theta\in (0 , 1)\) and some \(k_{1} \geq0\) such that
$$ d(Tx , Ty) \leq \theta d(x , y) + k_{1}d(x , Tx)\quad \textit{for all } x, y \in X , $$(6)the fixed point \(x^{*}\) is unique and the Picard iteration converges at the rate \(d(x_{n} , x^{*}) \leq \theta d(x_{n -1} , x^{*})\), \(n \in\mathbb{N}\).
Observe that:
-
(a)
to establish our claim it suffices to prove the averaged operator \(S_{\lambda}\) given by \(S_{\lambda}x = \lambda x + (1 - \lambda )Tx\) is a \((\delta, k)\)-weak contraction and then apply Theorem 1 to obtain fixed points of \(S_{\lambda}\);
-
(b)
for \(\lambda\in[0 , 1)\) the fixed point set \(\operatorname{Fix}(S_{\lambda })\) of \(S_{\lambda} = \lambda I + (1 - \lambda)T\) coincides with \(\operatorname{Fix}(T)\).
In the sequel we shall make use of the Archimedean property and a recent result in [2] below.
Lemma 1
[2]
Let V be a normed linear space and \(T : V \rightarrow V\) a map. If \(\|x - y\| \leq\|y - Tx\|\) then \(Tx \neq Ty\) for any distinct \(x,y \in V\) satisfying \(x, y \notin \operatorname{Fix}(T)\).
3 Main results
Theorem 2
Let K be a closed convex subset of a real Banach space E and \(T : K \rightarrow K\) a nonexpansive mapping. If \(\operatorname{Fix}(T) \neq\emptyset\), then there exists an open subset \(K_{1} \subset K\) such that T satisfies the condition
for some \(M \geq1\) and for all \(x, y \in K_{1}\); \(x \neq y\), \(x,y \notin \operatorname{Fix}(T)\).
Proof
Given a closed convex subset K of real Banach space E and \(T : K \rightarrow K\) a nonexpansive mapping with \(\operatorname{Fix}(T) \neq\emptyset\). Let Y denote the collection of elements of K satisfying \(\|x - y\| \leq\|y - Tx\|\), \(x \neq y\), \(x, y \notin \operatorname{Fix}(T)\). We shall derive an open subset \(K_{1} \subset K\) in which (5) is satisfied. For \(x, y \in Y\) nonexpansiveness of T yields the following:
Let \(\{x_{n}\}_{n = 0}^{\infty}\) be the sequence generated from the Krasnoselskii iteration scheme \(x_{n + 1} = \lambda x_{n} + (1 - \lambda )Tx_{n}\), \(\lambda\in[0 , 1)\); it is well known that, for some initial guess \(x_{0} \in K\), the sequence of Krasnoselskii iterations \(\{x_{n}\}_{n = 1}^{\infty} = \{S_{\lambda}^{n}x_{0}\}_{n = 1}^{\infty }\) converges to a fixed point of the nonexpansive mapping T with nonempty fixed point set \(\operatorname{Fix}(T)\). Given that \(\operatorname{Fix}(T) \neq\emptyset\) we set \(K_{0} = Y \cap\{S_{\lambda}^{n}x_{0}\}_{n = 1}^{\infty}\) and observe that \(K_{0}\) is a nonempty bounded set. This follows since we can always find \(n, m \in\mathbb{N}\) such that \(\|S_{\lambda}^{n}x_{0} - S_{\lambda}^{m}x_{0}\| \leq\|S_{\lambda}^{m}x_{0} - S_{\lambda}^{n + 1}x_{0}\|\) for any \(x_{0} \in K\). By Lemma 1 \(S_{\lambda}^{m}x_{0} \neq S_{\lambda}^{n + 1}x_{0}\) if \(x_{0}, S_{\lambda}x_{0} \notin \operatorname{Fix}(S_{\lambda})\). Since \(\operatorname{Fix}(T) = \operatorname{Fix}(S_{\lambda})\) it follows that \(T^{m}x_{0} \neq T^{n + 1}x_{0}\) if \(x_{0}, Tx_{0} \notin \operatorname{Fix}(T)\).
In this case \(\|y - S_{\lambda}y\|\) takes the form \(\|x_{m} - x_{m + 1}\|\) where \(x_{k} = S^{k}_{\lambda}x_{0}\), while \(\|x - y\| \leq\|y - Tx\|\) takes the form \(\|x_{n} - x_{m}\| \leq\|x_{m} - x_{n + 1}\|\). Clearly, \(\|x_{m} - x_{m + 1}\| \leq\|x_{n} - x_{m}\|\) since the condition \(\|x_{n} - x_{m}\| \leq\|x_{m} - x_{n + 1}\|\) implies that \(n \geq m\) for n and m large enough. This means that \(\|y - S_{\lambda}y\| \leq\|x - y\|\) whenever \(\|x - y\| \leq\|y - S_{\lambda }x\|\) in \(K_{0}\). This yields \(\|y - Ty - \lambda(y - Ty)\| \leq\|x - y\|\) for all \(\lambda\in[0 , \infty)\). Therefore, since λ can be made as small as we please, also \(\|y - Ty\| \leq\|x - y\|\) in \(K_{0}\), so (9) yields \(\|y - Tx\| \leq3\|x - y\|\) in \(K_{0}\). Let \(K_{1}\) be the smallest open set in K containing \(K_{0}\) and, considering the continuity of T, we conclude that condition (5) is satisfied by nonexpansive mappings T for which \(\operatorname{Fix}(T) \neq \emptyset\). □
Theorem 3
Let K be a closed convex subset of a Banach space E and \(T : K\rightarrow K\) an L-Lipschitzian operator. Suppose there exists an open subset \(K_{1} \subset K\) such that T satisfies the condition
for some \(M \geq1\) for all \(x,y \in K_{1}\); \(x \neq y\), \(x,y \notin \operatorname{Fix}(T)\). Then T has a fixed point in K and the Krasnoselskii iteration scheme \(x_{n + 1} = \lambda x_{n} + (1 - \lambda)T^{n}x_{0}\), \(n \geq0\); \(x_{0} \in K_{1}\) converges to a fixed point of T in K.
Further, condition (10) generalizes contraction condition (i.e. (1) with \(L \in(0 , 1)\)) in Banach spaces.
Proof
The proof entails applications of Theorem 1 and Theorem 2. Let \(S_{\lambda}\) denote the averaged operator \(S_{\lambda} = \lambda I + (1 - \lambda)T\), \(\lambda\in[0 , 1)\), we obtain
If \(\|y - Tx\| \leq\|x - y\|\) then (11) yields \(\|S_{\lambda}x - S_{\lambda}y\| \leq(1 - \lambda)(1 + L)\|x - y\| + \|y - S_{\lambda}x\| \). Clearly, if \(\lambda\in (\frac{L}{L + 1}, 1 ]\) then (11) yields
So in this case \(S_{\lambda}\) is a \((\delta, k)\)-weak contraction with \(k = 1\) and δ is constrained by λ and L as shown above.
On the other hand if (or when) \(\|x - y\| \leq\|y - Tx\|\) then, by (10), (11) yields \(\|S_{\lambda}x - S_{\lambda}y\| \leq (1 - \lambda)(L + M)\|x - y\| + \|y - S_{\lambda}x\|\). So choosing \(\lambda\in(0 , 1)\) such that \((1 - \lambda) < \min \{\frac{1}{1 + L} , \frac{1}{M + L} \}\) and \(k = 1\) and by Theorem 1 we conclude that \(S_{\lambda}\) has a fixed point in K. Therefore T has a fixed point in K.
To complete the proof we need to establish that condition (10) generalizes, in the Banach space context, the contraction condition, viz.: \(\|Tx - Ty\| \leq L\|x - y\|\); \(L \in(0 , 1)\). We note that since the collection of all contractions is a proper subclass of the class of nonexpansive mappings with nonempty fixed point set then by Theorem 2 all contractions satisfy condition (10) since the fixed point set of contractions is nonempty, which ends the proof. □
Next, using Theorem 2 and putting \(L = 1\) in Theorem 3 we obtain the following fixed point results for nonexpansive mappings in arbitrary Banach spaces.
Corollary 1
Let \(K \subseteq E\) be a closed convex subset of a real Banach space E and \(T : K \rightarrow K\) a nonexpansive operator. Then T has a fixed point in K if and only if there exists an open subset \(K_{1} \subset K\) such that T satisfies the condition below:
for some \(M \geq1\) for all \(x,y \in K_{1}\); \(x \neq y\), \(x,y \notin \operatorname{Fix}(T)\). Further, the Krasnoselskii iteration scheme \(x_{n + 1} = \lambda x_{n} + (1 - \lambda)T^{n}x_{0}\), \(n \geq0\); \(x_{0} \in K_{1}\), converges to a fixed point of T in K.
The proof follows from the proof of Theorem 3 by putting \(L = 1\). An alternative proof of sufficiency was given in Udo-utun [2].
4 Application to global existence theory
In this section we illustrate applicability of our main results by formulating the global existence condition which constitutes a nontrivial improvement of the well-known Picard-Lindelof result, see for example [14, 15], the theorem for the initial value problem \(x^{\prime} = f(t , x)\); \(x(t_{0}) = x_{0}\) where \(f : G \rightarrow\mathbb{R}\), G is the rectangular region G: \(a \leq t \leq b\), \(\alpha\leq x \leq\beta\) and \(t_{0} \in[a , b]\).
Theorem 4
Let f be a Lipschitz function on the rectangular region G: \(a \leq t \leq b\), \(\alpha\leq x \leq\beta\). If the inequality
is satisfied for some \(M_{1} \geq1\) and for all pairs of distinct continuous functions \(x(t)\) and \(y(t)\) defined on the closed interval \([a , b]\), then the initial value problem \(x^{\prime} = f(t , x)\); \(x(t_{0}) = x_{0}\), has a unique solution defined on \([a , b]\) for each \(t_{0} \in[a , b]\).
Proof
Using (12) we obtain
On defining an operator \(T : C[a , b] \rightarrow C[a , b]\) by \((Tz)(t) = \int_{t_{0}}^{t}f(s , z(s))\, ds\) (13) yields, in the Banach space \(C[a , b]\), \(\|(b - a)y - Tx\| \leq(b - a)M_{1}\|x - y\|\) for all \(x , y \in C[a , b]\), \(x \neq y\) where \(\|z\| = \sup_{t \in [a , b]}|z(t)|\). Equivalently, we have
But \(\frac{1}{b - a}y \in C[a , b]\) whenever \(y \in C[a , b]\), so applying (14) we obtain, for \(y \in C[a , b]\), \(x \neq y\), \(\Vert \frac{1}{b - a}y - \frac{1}{b - a}Tx\Vert \leq M_{1}\|x - y\|\), which yields
This means that T satisfies (10) with \(M = (b + 1 - a)M_{1}\) so by Theorem 3 the Lipschitzian operator T has a fixed point. Therefore the initial value problem has a unique solution since f satisfies the Lipschitz condition. □
5 Conclusion
In conclusion we make the following remarks:
-
1.
Our fixed point results do not guarantee the uniqueness of fixed points, however, an appropriate application of condition (6) of Theorem 1 yields the uniqueness of fixed points.
-
2.
We observe that Theorem 2 can be investigated for a characterization of Lipschitzian mappings T with nonempty fixed point sets \(\operatorname{Fix}(T)\).
-
3.
It is obvious that condition (5) can be invaluable in ordinary differential and integral equations for investigations of continuation of solutions, asymptotic properties of solutions, absolute stability, and instability of solutions.
References
Berinde, V: On the approximation of fixed points of weak contractive mappings. Carpath. J. Math. 19(1), 7-22 (2003)
Udo-utun, X: On inclusion of F-contractions in \((\delta, k)\)-weak contractions. Fixed Point Theory Appl. 2014, 65 (2014)
Ciric, LB: Generalization of Banach contraction principle. Proc. Am. Math. Soc. 45, 267-273 (1974)
Berinde, V: Approximating of fixed points of weak contractions using Picard’s iteration. Nonlinear Anal. Forum 9(1), 43-53 (2004)
Goebel, K, Kirk, WA: A fixed point theorem for transformations whose iterates have uniform Lipschitz constant. Stud. Math. 47, 135-140 (1973)
Lifschitz, EA: A fixed point theorem for operators. Tr. Mat. Fak., 345-350 (1975)
Gornicki, J: Uniformly normal structure and fixed points of uniformly Lipschitzian mappings. Comment. Math. Univ. Carol. 28(3), 481-489 (1987)
Sedlak, E, Winiscki, A: On the nature of fixed point sets of uniformly Lipschitzian mappings. Topol. Methods Nonlinear Anal. 30, 344-350 (2007)
Winiscki, A: Hölder continuous retractions and amenable semigroup of uniformly Lipschitzian mappings in Hilbert spaces (2013). arXiv:1204.6464v2 [math. FA]
Berinde, V: Iterative Approximations of Fixed Points. Springer, Berlin (2007)
Kannan, K: Some results on fixed points. Bull. Calcutta Math. Soc. 10, 71-76 (1968)
Rhoades, BE: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 226, 257-290 (1977)
Zamfirescu, T: Fixed point theorems in metric spaces. Arch. Math. (Basel) 23, 292-296 (1992)
Agarwal, RP, O’Regan, D: An Introduction to Ordinary Differential Equations. Springer, Berlin (2008)
Cordington, EA, Levinson, N: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)
Acknowledgements
We acknowledge Professor AU Afuwape’s support, for provision of a rich literature and for pointing out current issues in the qualitative theory of ordinary differential equations. The friendliness of the editorial team of Springer-open and the reviewer’s suggestions are extremely appreciated and herewith acknowledged.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
MYB and ZUS suggested the problem, XAU formulated the results and proofs, while MYB and XAU contributed the counterexample. All authors contributed in the corrections and proofreading. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Udo-utun, X.A., Siddiqui, Z.U. & Balla, M.Y. An extension of the contraction mapping principle to Lipschitzian mappings. Fixed Point Theory Appl 2015, 162 (2015). https://doi.org/10.1186/s13663-015-0295-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-015-0295-4