Abstract
The aim of the paper is to give some extensions of Kannan’s fixed point theorem. In particular, we give some criteria of the usual functional type for the convergence of iterations generated by a Kannan-type mapping to a fixed point of the mapping.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Completeness
Let (X, d) be a metric space. A mapping \(T:X\rightarrow X\) is called a Kannan mapping if there exists \(K< \frac{1}{2}\) such that for all \(x,y\in X\),
In 1968, Kannan [9] proved the following fixed point theorem, see [6].
Theorem 1.1
(Kannan) Let (X, d) be a complete metric space and let \(T:X\rightarrow X\) be a Kannan mapping. Then T has a unique fixed point \(v\in X\) and for any \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Using Kannan’s mappings Subrahmanyam [16] proved the following characterization of complete metric spaces:
Theorem 1.2
A metric space (X, d) is complete if and only if every Kannan mapping \(T:X\rightarrow X\) has a fixed point.
Here is a simple use of this result.
Example 1.3
Let \(\mathbb {Q}\) be endowed with the Euclidean metric and \(T:\mathbb {Q}\rightarrow \mathbb {Q}\) be a mapping defined by:
Since, \(\vert x - Tx \vert> \frac{3}{4}\vert \sqrt{2}-x\vert >0\) for \(x\in \mathbb {Q}\), T is fixed point free.
Case 1. \(a,b\in \mathbb {Q}\) and \(a<\sqrt{2}<b\). Then, \(\vert Ta-Tb\vert <\frac{1}{4}(b-a)\) and \(\vert a-Ta\vert +\vert b-Tb\vert >\frac{3}{4}(b-a)\). Thus
Case 2. \(a,b\in \mathbb {Q}\) and \(a\leqslant b<\sqrt{2}\). Then, \(\vert Ta - Tb\vert <\frac{1}{4}(\sqrt{2}-a)\) and \(\vert a-Ta\vert + \vert b-Tb\vert >\frac{3}{4}(\sqrt{2}-a)+\frac{3}{4}(\sqrt{2}-b)\), so
Similarly, when \(\sqrt{2}<b\leqslant a\).
Thus, \(T:\mathbb {Q}\rightarrow \mathbb {Q}\) is Kannan mapping without a fixed point, so by Theorem 1.2, \((\mathbb {Q},\vert \cdot \vert )\) is not complete metric space.
A Kannan-type mapping \(T:X\rightarrow X\) such that
in complete metric space (X, d) may not have a fixed point. It can be seen from the following example.
Example 1.4
Let \(X=\mathbb {R}\) with metric \(d_{0-1}(x,y)=\left\{ \begin{array}{rcc} 0~~\hbox {if}~~ x=y,\\ 1~~\hbox {if}~~ x\ne y.\\ \end{array}\right. \) Let \(T:\mathbb {R}\rightarrow \mathbb {R}\) be a mapping defined by \(Tx=x+1\) for \(x\in \mathbb {R}\). Then
and T is fixed point free.
Analogically, even continuous Kannan-type mapping \(T:X \rightarrow X\) such that
in complete but noncompact metric space (X, d) may not have a fixed point. It can be seen from the following example (this is the answer to Question 2.4 from [6]).
Example 1.5
(G. Minak, personal communication, 2017). Let \(X=\{1+\frac{1}{n}:n=1,2,\ldots \}\) and define a metric \(d(x,y)=\left\{ \begin{array}{rcc} 0~~\hbox {if}~~ x=y,\\ x+y~~\hbox {if}~~ x\ne y.\\ \end{array}\right. \) Then, (X, d) is complete and noncompact. A mapping \(T:X\rightarrow X\) define by \(T(1+\frac{1}{n})=1+\frac{1}{n+1}\) is continuous and has no fixed point. Moreover, for \(x=1+\frac{1}{n}\), \(y=1+\frac{1}{m}\), we have
because \(\frac{2}{k+1}<\frac{1}{k}+\frac{1}{k+1}\) for \(k=1,2,\ldots . \)
To ensure the existence of a fixed point for mappings of this type there are needed additional assumptions, see for example, Bogin [2], De Blasi [4], Górnicki [6]. These conditions are not discussed in this paper.
2 Approximating sequence
Let C be a nonempty subset of metric space (X, d) and \(T:C\rightarrow C\) a mapping. Then, a sequence \(\{x_n\}\) is said to be an approximating fixed point sequence of T if \(d(x_n,Tx_n)\rightarrow 0\) as \(n\rightarrow \infty \).
Brouwer [3] argues that only approximating fixed point sequences have a meaning for the intuitionist.
Theorem 2.1
Let (X, d) be a metric space and let T map the closed subset \(M\subset X\) into a compact subset \(C\subset X\). Let T be a mapping such that there exists \(K<1\) satisfying (1). Then, T has a unique fixed point if and only if there exists an approximating fixed point sequence of T.
Proof
Let \(\{x_n\}\subset M\) be an approximating fixed point sequence of T. Since \(Tx_n\) in C, we may assume without loss of generality that \(Tx_n\rightarrow y\in C\) as \(n\rightarrow \infty \). By assumption, we also have \(x_n\rightarrow y\in M\). Then
and hence
as \(n\rightarrow \infty \), it follows \(Ty=y\). Of course such the fixed point is exactly one.
\(\square \)
Obviously, the result holds for mapping \(T:M\rightarrow C\) such that there exists \(K<1\) satisfying
Remark 2.2
A mapping \(T:X\rightarrow X\) such that
and there exists an approximating fixed point sequence of T, may not have a fixed point, see [6, Example 3.2].
3 Iterations
Very often, together with investigating a mapping \(T:X\rightarrow X\), there is a need to consider the iterates \(T^2=T\circ T\), \(T^3=T^2\circ T=T\circ T^2=T\circ T\circ T,\ldots . \) We use the notation \(T^0=I\), where I is the identity mapping on X. We always have \(T^n\circ T^m=T^{n+m}\) for natural numbers \(n,m=1,2,\ldots . \)
If T is a Kannan mapping on a complete metric space (X, d) with constant K, then \(T^n\), \(n\geqslant 2\), satisfy the following condition
and the unique fixed point of T is also the unique fixed point of \(T^n\).
Consider now the situation in which \(T:X\rightarrow X\) is not necessarily a Kannan mapping, but \(T^N\) is a Kannan mapping for some \(N\geqslant 2\).
Example 3.1
[6] Let \(X=[0,1]\) be with usual metric and \(T:[0,1]\rightarrow [0,1]\) be a mapping defined by \(Tx=\frac{x}{3}\) for \(0\leqslant x<1\) and \(T1=\frac{1}{6}\). T does not satisfy Kannan’s condition because \(\vert T0-T\frac{1}{3}\vert =\frac{1}{2}\{\vert 0-T0\vert +\vert \frac{1}{3} - T\frac{1}{3}\vert \}\), and T is not continuous at \(x=1\). The mapping \(T^2\) is defined by \(T^2x=\frac{x}{9}\) for \(0\leqslant x<1\) and \(T^21=\frac{1}{18}\). Then, \(d(T^2x,T^2y)\leqslant \frac{1}{9}(\vert x\vert +\vert y\vert )\) and \(d(x,T^2x)+d(y,T^2y)\geqslant \frac{8}{9}(\vert x \vert +\vert y\vert )\). Thus
so \(T^2\) is Kannan mapping.
Therefore, we have a trivial lemma.
Lemma 3.2
Let X be a nonempty set and \(\mathcal {F}\) be a family of mappings
If \(T:X\rightarrow X\) is a mapping such that for some integer \(N\geqslant 2\), \(T^N\in \mathcal {F}\) then, T has a unique fixed point.
Hence, we have the following corollaries.
Corollary 3.3
(Kannan [9]) Suppose (X, d) is a complete metric space and suppose \(T:X\rightarrow X\) is a mapping such that for some positive integer \(N\geqslant 2\), \(T^N\) is a mapping such that there exists \(K<\frac{1}{2}\) satisfying for all \(x,y\in X\),
Then, T has a unique fixed point.
We say \(T:X\rightarrow X\) is asymptotically regular at x if \(\lim \nolimits _{n\rightarrow \infty }d(T^{n+1}x,T^nx)=0\). If T is asymptotically regular at every \(x\in X\), we simply say T is asymptotically regular.
Corollary 3.4
(Górnicki [6]) Suppose (X, d) is a complete metric space and suppose \(T:X\rightarrow X\) is a mapping such that for some positive integer \(N\geqslant 2\), \(T^N\) is asymptotically regular and such that there exists \(K<1\) satisfying for all \(x,y\in X\),
Then, T has a unique fixed point.
Corollary 3.5
(De Blasi [4]) Suppose \((H,\Vert \cdot \Vert )\) is a Hilbert space, \(C\subset H\) is a nonempty weakly closed and suppose \(T:C\rightarrow C\) is a mapping such that for some positive integer \(N\geqslant 2\), \(T^N:C\rightarrow C\) is continuous, asymptotically regular and satisfies for all \(x,y\in C\),
Then, T has a unique fixed point.
Now, we prove the following
Lemma 3.6
Let (X, d) be a metric space, \(N\geqslant 2\) a positive integer and \(K<\frac{1}{2}\). Let \(T:X\rightarrow X\) be a mapping such that for all \(x,y\in X\) we have
If there is an \(x\in X\) such that \(T^Nx=x\), then x is a unique fixed point of T.
Proof
Let \(x\in X\) and \(T^Nx=x\). Then, by (2),
so
Next,
so
etc. Similarly
and finally
so
But then
Since \(K<\frac{ 1}{2}\), \(x=Tx\).
Assume \(x,y\in X\) satisfy \(Tx=x\) and \(Ty=y\). Then \(d(x,y)=d(T^Nx,T^Ny)\leqslant K\cdot \{d(x,Tx)+d(y,Ty)\}=0\), so \(x=y\). \(\square \)
In this situation, it is obvious question: Does there exist a fixed point of T if T satisfies (2)? More generally conjecture is inspired by Generalized Banach Contraction Conjecture (see: [7, 8, 10, 15]). Is that true?
Conjecture 3.7
Let (X, d) be a complete metric space, \(K<\frac{1}{2}\), and \(T:X\rightarrow X\). Let J be a set of positive integers. Assume that for each pair \(x,y\in X\),
Then T has a fixed point.
Kannan’s theorem is simply the case \(J=\{1\}\).
Now, we give an extension of Lemma 3.6.
Lemma 3.8
Let (X, d) be a metric space, J a set of positive integers, and \(K<\frac{1}{2}\). Let \(T:X\rightarrow X\) be a mapping such that for all \(x,y\in X\) we have
If there is an \(x\in X\) such that \(T^Nx=x\), then x is a unique fixed point of T.
Proof
(see [7, Lemma 1]). Note that for each integer \(i\in \{0,1,\ldots ,N-1\}\) there is an integer \(j_i\in J\) such that
Since \(T^Nx=x\), we can find a sequence \(\{a_i:i=1,2,\ldots \}\subset \{0,1,2,\ldots ,N-1\}\) such that
ie.
as follows; define \(a_0=0\), and for \(i\geqslant 1\), apply \(T^{j_{a_{i-1}}}\) to the pair \(T^{a_{i-1}}x\) and \(T^{a_{i-1}+1}x\). \(a_i\) is then defined as the remainder obtained when dividing \(a_{i-1}+j_{a_{i-1}}\) by N. Since the \(a_i\) are contained in the finite set \(\{0,1,2,\ldots ,N-1\}\), there are integers i and n such that \(a_{i+n}=a_i\). But then,
Since \(K<\frac{1}{2}\), \(T^{a_i+1}x=T^{a_i}x\), so \(T^{a_i}x\) is a fixed point of T. Note that \(N-a_i>0\) and \(T^{a_i}x\) is also a fixed point of \(T^{N-a_i}\), which means that \(T^{a_i}x=T^Nx=x\). So x is a fixed point of T.
Assume that \(x,y\in X\) satisfy \(Tx=x\) and \(Ty=y\). Then there exists \(j\in J\) such that \(d(T^jx,T^jy)\leqslant K\cdot \{d(x,Tx)+d(y,Ty)\}\). Since x and y are fixed points of T, this implies that \(d(x,y)\leqslant K\cdot \{d(x,Tx)+d(y,Ty)\}=0.\) Hence, \(x=y\). \(\square \)
4 Localization
It may be the case that \(T:X\rightarrow X\) is not Kannan’s mapping on the whole space X, but rather Kannan’s mapping on some neighbourhood of a given point. In this case, we have the following result.
Theorem 4.1
Let (X, d) be a complete metric space and let \(B(z,r)=\{x\in X:d(z,x)\leqslant r\}\), where \(z\in X\) and \(r>0\). Let \(T:B(z,r)\rightarrow X\) be a mapping such that there exists \(K<\frac{1}{2}\) satisfying
Further, assume that
Then, T has a unique fixed point in B(z, r).
Proof
Let \(x\in B(z,r)\), then
so
and
and hence \(T:B(z,r)\rightarrow B(z,r)\). Since B(z, r) is a complete metric space, using Theorem 1.1, T has a unique fixed point \(v\in B(z,r)\). \(\square \)
5 Control function
We now consider some (important) generalization of Kannan theorem in which the constant \(K<\frac{1}{2}\) is replaced by some real-valued control function. A presented idea is due to Geraghty [5].
Let \(\mathcal {S}\) denote the class of functions which satisfy the simple condition
We do not assume that f is continuous in any sense.
Theorem 5.1
Let (X, d) be a complete metric space, let \(T:X\rightarrow X\), and suppose there exists \(f\in \mathcal {S}\) such that for each \(x,y\in X\) with \(x\ne y\),
Then, T has a unique fixed point \(v\in X\) and for any \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Proof
Fix \(x_0\in X\) and let \(x_n=Tx_{n-1}\), \(n=1,2,\ldots . \) Assume that there exists \(p\in \mathbb {N}\) such that \(T^px_0=T^{p+1}x_0\). Since \(T^px_0=T(T^px_0)\), so \(T^px_0\) is the fixed point of T. Therefore, suppose that \(T^nx_0\ne T^{n+1}x_0\) for all \(n\geqslant 0\).
Step 1. \(\lim \nolimits _{n\rightarrow \infty }d(x_{n+1},x_n)=0\).
Since T satisfies (3), we have
so
The sequence \(\{d(x_{n+1},x_n)\}\) is monotone decreasing and bounded below, so \(\lim \nolimits _{n\rightarrow \infty }d(x_{n+1},x_n)=\gamma \geqslant 0\). Assume \(\gamma \ne 0\). Then by (3),
Letting \(n\rightarrow \infty \), we see that \(\frac{1}{2}\leqslant \lim \nolimits _{n\rightarrow \infty }f(d(x_{n+1},x_n))\), and since \(f\in \mathcal {S}\) this in turn implies \(\gamma =0\). This contradiction establishes step 1.
Step 2. \(\{x_n\}\) is a Cauchy sequence.
Suppose \(m>n\). By condition (3) and step 1, we get for \(m>n\),
as \(n\rightarrow \infty ,\) so \(\{x_n\}\) is a Cauchy sequence.
Since X is complete and since \(\{T^nx_0\}\) is a Cauchy sequence, \(\lim \nolimits _{n\rightarrow \infty }T^nx_0=v\in X\). Then
and
as \(n\rightarrow \infty \). Hence, \(Tv=v\). It is obvious that v is unique. \(\square \)
Let \(\mathcal {U}\) denote the class of functions which satisfy the condition
We do not assume that f is continuous in any sense.
Theorem 5.2
Let (X, d) be a complete metric space, let \(T:X\rightarrow X\), and suppose there exists \(f\in \mathcal {U}\) such that for each \(x,y\in X\) with \(x\ne y\),
Then T has a unique fixed point \(v\in X\) and for any \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Proof
Fix \(x_0\in X\) and let \(x_n=Tx_{n-1}\), \(n=1,2,\ldots . \) Assume that there exists \(p\in \mathbb {N}\) such that \(T^px_0=T^{p+1}x_0\). Since \(T^px_0=T(T^px_0)\), so \(T^px_0\) is the fixed point of T. Therefore suppose that \(T^nx_0\ne T^{n+1}x_0\) for all \(n\geqslant 0\).
Step 1. \(\lim \nolimits _{n\rightarrow \infty }d(x_{n+1},x_n)=0\).
Since T satisfies (4), we have
so
The sequence \(\{d(x_{n+1},x_n)\}\) is monotone decreasing and bounded below, so \(\lim \nolimits _{n\rightarrow \infty }d(x_{n+1},x_n)=\gamma \geqslant 0\). Assume \(\gamma \ne 0\). Then by (4),
Letting \(n\rightarrow \infty \), we see that \(\frac{1}{3}\leqslant \lim \nolimits _{n\rightarrow \infty }f(d(x_{n+1},x_n))\), and since \(f\in \mathcal {U}\) this in turn implies \(\gamma =0\). This contradiction establishes step 1.
Step 2. \(\{x_n\}\) is a Cauchy sequence.
Suppose \(m>n\). By condition (4) and step 1, we get for \(m>n\),
and
as \(n\rightarrow \infty ,\) so \(\{x_n\}\) is a Cauchy sequence.
Since X is complete and since \(\{T^nx_0\}\) is a Cauchy sequence, \(\lim \nolimits _{n\rightarrow \infty } T^nx_0=v\in X\). Then
and
and
as \(n\rightarrow \infty \). Hence, \(Tv=v\). Suppose u is another fixed point of T. Then
and
so \(d(u,v)=0\). Hence, T has a unique fixed point \(v\in X\), so for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v. \(\square \)
This theorem “lies between” Banach’s theorem and Kannan’s theorem. This is illustrated by the following example.
Example 5.3
Let \(X=[0,1]\) be endowed with the Euclidean metric. Consider \(Tx=\frac{x}{3}\) for \(0\leqslant x<1\) and \(T1=\frac{1}{6}\). T does not satisfy Banach’s theorem and T does not satisfy Kannan’s condition. But T satisfies for all \(x,y\in X\) the following condition
where \(f(t)=-\frac{t}{12}+\frac{1}{3}\) for \(0<t\leqslant 1\), \(f(0)=\frac{1}{4}\), and \(v=0\) is the unique fixed point of T.
Other generalizations Kannan’s fixed point theorem are discussed in [1, 12,13,14].
6 Asymptotic regularity and control function
Let \(\mathcal {V}\) denote the class of functions which satisfy the condition
We do not assume that f is continuous in any sense.
Remark 6.1
The class of Rakotch functions [11],
is in the class \(\mathcal {V}\).
Theorem 6.2
Let (X, d) be a complete metric space and let \(T:X\rightarrow X\) be an asymptotically regular and continuous mapping. Suppose there exists \(f\in \mathcal {V}\) such that for each \(x,y\in X\) with \(x\ne y\),
Then, T has a unique fixed point \(v\in X\) and for any \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Proof
Let \(x\in X\) and define a sequence \(\{x_n=T^nx\}\), \(n=0,1,2,\ldots . \) Assume that there exists \(n_0\) such that \(T^{n_0}x=T^{n_0+1}x\), then \(T^{n_0}x\) is a fixed point of T. Suppose \(T^nx\ne T^{n+1}x\) for all \(n\geqslant 0\).
Step 1. \(\{x_n\}\) is a Cauchy sequence.
Assume \(\limsup \nolimits _{m,n\rightarrow \infty }d(x_n,x_m)>0\). By triangle inequality and (5),
so
Under the assumption \(\limsup \nolimits _{m,n\rightarrow \infty }d(x_n,x_m)>0\), the asymptotic regularity now implies
from which
But since \(f\in \mathcal {V}\) this implies \(\limsup \nolimits _{m,n\rightarrow \infty }d(x_n,x_m)=0\) which is a contradiction.
Step 2. Existence and uniqueness of fixed points.
Since X is complete and since \(\{x_n=T^nx\}\) is a Cauchy sequence, \(\lim \nolimits _{n\rightarrow \infty }T^nx=v\in X\). Since T is continuous, \(Tv=v\).
If \(Tv=v\), \(Tu=u\) and \(d(u,v)>0\), then by (5), we have
so
which is a contradiction. Hence, T has a unique fixed point and for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v. \(\square \)
Corollary 6.3
Let (X, d) be a complete metric space and let \(T:X\rightarrow X\) be an asymptotically regular and continuous mapping. Suppose there exists \(f\in \mathcal {V}\) such that for each \(x,y\in X\),
Then T has a unique fixed point \(v\in X\) and for any \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
References
Ariza-Ruiz D., Jiménez-Melado A.: A continuation method for weakly Kannan maps. Fixed Point Theory Appl. (2010). https://doi.org/10.1155/2010/321594
Bogin, J.: A generalization of a fixed point theorem of Goebel, Kirk and Shimi. Can. Math. Bull. 19(1), 7–12 (1976)
Brouwer, L.E.: An intuitionist correction of the fixed point on the sphere. Proc. R. Soc. Lond. A 213, 1–2 (1952)
De Blasi, F.S.: Fixed points for Kannan’s mappings in Hilbert spaces. Boll. Un. Mat. Ital. (4) 9, 818–823 (1974)
Geraghty, M.A.: On contractive mappings. Proc. Am. Math. Soc. 40, 604–608 (1973)
Górnicki, J.: Fixed point theorems for Kannan type mappings. J. Fixed Point Theory Appl. 19, 2145–2152 (2017). https://doi.org/10.1007/s11784-017-0402-8
Jachymski, J., Schröder, B., Stein Jr., J.D.: A connection between fixed-point theorems and tiling problems. J. Comb. Theory A 87, 273–286 (1999)
Jachymski, J., Stein Jr., J.D.: A minimum condition and some related fixed-point theorems. J. Aust. Math. Soc. A 66, 224–243 (1999)
Kannan, R.: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71–76 (1968)
Merryfield, J., Stein Jr., J.D.: A generalization of the Banach contraction principle. J. Math. Anal. Appl. 273, 112–120 (2002)
Rakotch, E.: A note on contractive mappings. Proc. Am. Math. Soc. 13, 459–465 (1962)
Reich, S.: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121–124 (1971)
Reich, S.: Kannan’s fixed point theorem. Boll. Un. Mat. Ital. (4) 4, 1–11 (1971)
Reich, S.: Fixed points of contractive functions. Boll. Un. Mat. Ital. (4) 5, 26–42 (1972)
Reich, S., Zaslavski, A.J.: Two results on Jachymski-Schröder-Stein contractions. Bull. Pol. Acad. Sci. Math. 56, 53–58 (2008)
Subrahmanyam, P.V.: Completeness and fixed points. Monatsh. Math. 80, 325–330 (1975)
Acknowledgements
The author is grateful to the referee for some useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
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
Górnicki, J. Various extensions of Kannan’s fixed point theorem. J. Fixed Point Theory Appl. 20, 20 (2018). https://doi.org/10.1007/s11784-018-0500-2
Published:
DOI: https://doi.org/10.1007/s11784-018-0500-2
Keywords
- Fixed point
- complete metric space
- Kannan mapping
- approximating sequence
- iterations
- asymptotic regularity
- control function