Abstract
In this note, we prove some fixed point theorems for Kannan type mappings. We will use the additional conditions as compactness or asymptotic regularity or involutions. Our proofs are inspired by the study of Lipschitzian mappings (Agarwal et al., Fixed point theory for Lipschitzian-type mappings with applications, 2009).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Kannan fixed point theorem
In 1968, Kannan [10] proved the following fixed point theorem.
Theorem 1.1
Let (X, d) be a complete metric space and let \(T:X\rightarrow X\) be a mapping such that there exists \(K<\frac{1}{2}\) satisfying
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 and \(d(T^{n+1}x,v)\leqslant K\cdot (\frac{K}{1-K})^n\cdot d(x,Tx)\), \(n=0,1,2,\ldots \)
It is not difficult to see that Lipschitzian mappings and mappings satisfying (1) are independent, see [11]. Kannan’s theorem is important because Subrahmanyam [14] proved that Kannan’s theorem characterizes the metric completeness. That is, a metric space X is complete if and only if every mapping satisfying (1) on X with constant \(K<\frac{1}{2}\) has a fixed point. Contractions (in the sense of Banach) do not have this property; Connell [5] gave an example of metric space X such that X is not complete and every contraction on X has a fixed point.
Here is an elementary proof of Kannan theorem. We will start from the following technical lemma, see [8].
Lemma 1.2
Let C be a nonempty closed subset of a complete metric space (X, d) and let \(T:C\rightarrow C\) be a mapping such that there exists \(K<1\) satisfying (1). Assume that there exist constants \(a,b\in \mathbb {R}\) such that \(0\leqslant a<1\) and \(b>0\). If for arbitrary \(x\in C\) there exists \(u\in C\) such that \(d(u,Tu)\leqslant a\cdot d(x,Tx)\) and \(d(u,x)\leqslant b\cdot d(x,Tx)\), then T has at least one fixed point.
Proof
Let \(x_0\in C\) be an arbitrary point. Consider a sequence \(\{x_n\}\subset C\) satisfies
Since
it is easy to see that \(\{x_n\}\) is a Cauchy sequence in C. Because C is complete, there exists \(v\in C\) such that \(\lim \nolimits _{n\rightarrow \infty }x_n=v\). Then
and
as \(n\rightarrow \infty \). Hence, \(Tv=v\). \(\square \)
Proof of Theorem 1.1
For any \(x\in X\) let \(u=Tx\). Then
where by assumption \(\frac{K}{1-K}<1\), and \(d(u,x)=d(Tx,x)\). Now, for arbitrary \(x_0\in X\) we can inductively define a sequence \(\{x_{n+1}=Tx_n\}\). By Lemma 1.2, this sequence is convergent, \(\lim \nolimits _{n\rightarrow \infty }x_n=v\) and \(Tv=v\). Suppose z is another fixed point of T. Then
a contradiction. Hence, T has unique fixed point \(v\in X\).
Since for each \(x\in X\),
we have
\(\square \)
Remark 1.3
The contraction of Kannan type with constant \(K=\frac{1}{2}\) in complete metric space does not guarantee the existence of fixed points of T, [11].
Kannan’s fixed point theorem and some of its generalizations are discussed in [9, 12, 13]. In particular, we have the following theorem (see [12]).
Theorem 1.4
Let (X, d) be a complete metric space and let \(T:X\rightarrow X\) be a mapping with the following property:
where A, B, C are nonnegative and satisfy \(A+B+C<1\). 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
It is analogous to the last one. \(\square \)
Note that this theorem is stronger than Banach’s and Kannan’s fixed point theorems. 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 Banach’s condition because it is not continuous at 1. Kannan’s condition (1) also cannot be satisfied because \(d(T0,T\frac{1}{3})=\frac{1}{2}[d(0,T0)+d(\frac{1}{3},T\frac{1}{3})]\). But it satisfies condition (2) if we put \(A=\frac{1}{6}\), \(B=\frac{1}{9}\) and \(C=\frac{1}{3}\).
2 Compactness
Edelstein [6] proved the following.
Theorem 2.1
Let (X, d) be a compact metric space and let \(T:X\rightarrow X\) be a mapping. Let us suppose that \(d(Tx,Ty)< d(x,y)\) for all \(x,y\in X\) with \(x\ne y\). Then, T has a unique fixed point.
Now, we prove the following theorem.
Theorem 2.2
Let (X, d) be a compact metric space and let \(T:X\rightarrow X\) be a continuous mapping. Let us suppose that
Then, T has a unique fixed point \(v\in X\) and for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Proof
Trivial example of such mapping is \(T:[0,1]\rightarrow [0,1]\) defined by \(Tx=c\), \(c\in [0,1]\), where the set [0, 1] with the usual metric is a compact metric space.
The function \(f:X\rightarrow [0,+\infty )\) defined by \(f(x)=d(x,Tx)\) is continuous. In view of compactness, there exists a point \(v\in X\) such that \(f(v)=\inf \{f(x):x\in X\}\). If \(v\ne Tv\), then
and hence
a contradiction. Hence, \(v=Tv\). It is obvious that v is unique.
Now take any \(x\in X\) and define a sequence \(\{x_n=T^nx\}\). If \(x=v\), then \(x_n=v\), \(n=1,2,\ldots \). Let \(x\ne v\). Because
hence
and the sequence of nonnegative numbers \(b_n=d(T^{n+1}x,T^nx)\) is nondecreasing and thus convergent. Let \(0\leqslant b=\lim \nolimits _{n\rightarrow \infty }b_n\). The assumption that \(b>0\) leads to the contradiction. Again by compactness of X the sequence \(\{T^nx\}\) contains a converging subsequence \(\{T^{n_i}x\}\) such that \(T^{n_i}x\rightarrow z\in X\) as \(i\rightarrow \infty \). Because T is continuous
i.e. \(z\ne v\). Moreover, by (3),
a contradiction. Thus, \(b=0\). Since
as \(n\rightarrow \infty \), we have \(\lim \nolimits _{n\rightarrow \infty }d(T^{n+1}x,v)=0\). \(\square \)
The result holds also in the following case (see also [9]):
Theorem 2.3
Let (X, d) be a compact metric space and let \(T:X\rightarrow X\) be a continuous mapping. Let us suppose that
where A, B, C are positive and satisfy \(A+B+C=1\). Then, T has a unique fixed point \(v\in X\) and for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v.
Proof
It is similar to the proof of Theorem 2.2. \(\square \)
Question 2.4
Does there exist a complete but noncompact metric space (X, d) and a continuous mapping \(T:X\rightarrow X\) such that
and T is fixed point free?
3 Asymptotic regularity
Let (X, d) be a metric space. A mapping \(T:X\rightarrow X\) satisfying the condition \(\lim \nolimits _{n\rightarrow \infty } d(T^{n+1}x,T^nx) =0\) for all \(x\in X\) is called asymptotically regular [3]. Asymptotically regular mappings are also studied in [2, 4].
Let \(X=\{0\}\cup [1,2]\) with the usual metric. A mapping \(T:X\rightarrow X\) defined by \(T0=1\) and \(Tx=0\) for \(1\leqslant x\leqslant 2\) is satisfying (1) with \(K=\frac{1}{2}\) and T is fixed point free. The iterative sequence \(\{x_n=T^n0\}\) is not convergent, so T is not asymptotically regular.
Now, we prove the following theorem.
Theorem 3.1
If (X, d) is a complete metric space and \(T:X\rightarrow X\) is an asymptotically regular mapping such that there exists \(K<1\) satisfying (1). Then, T has a unique fixed point \(v\in X\).
Proof
Let \(x\in X\) and define a sequence \(\{x_n=T^nx\}\). According to asymptotic regularity, we get for \(m>n\),
as \(n\rightarrow \infty \). This shows that \(\{T^nx\}\) is a Cauchy sequence in X. Because X is complete, there exists \(v\in X\) such that \(\lim \nolimits _{n\rightarrow \infty }T^nx=v\). Then
and hence
as \(n\rightarrow \infty \), it follows that \(Tv=v\). Of course such the fixed point is exactly one, so for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v. \(\square \)
A Kannan type mapping \(T:X\rightarrow X\) such that
and asymptotically regular may not have a fixed point. It can be seen from the following example.
Example 3.2
Let \(X=[0,1]\) be with usual metric and \(T:[0,1]\rightarrow [0,1]\) be a mapping defined by \(T0=\frac{1}{2}\) and \(Tx=\frac{x}{2}\) for \(0<x\leqslant 1\). Then for \(0<x<y\leqslant 1\),
Moreover, for \(0<x \leqslant 1\),
Thus
Of course T is an asymptotically regular and fixed point free.
Similarly to Theorem 3.1 we can prove the following:
Theorem 3.3
If (X, d) is a complete metric space and \(T:X\rightarrow X\) is an asymptotically regular mapping such that there exists \(M<1\) satisfying
Then, T has a unique fixed point \(v\in X\).
Proof
Let \(x\in X\) and define a sequence \(\{x_n=T^nx\}\). According to asymptotic regularity, we get for \(m>n\),
so
as \(n\rightarrow \infty \). This shows that \(\{T^nx\}\) is a Cauchy sequence in X. Because X is complete, there exists \(v\in X\) such that \(\lim \nolimits _{n\rightarrow \infty }T^nx=v\). Then
and hence
as \(n\rightarrow \infty \), it follows that \(Tv=v\). Finally, we prove that there is only one fixed point. Let v, u be two different fixed points. Then
and we would have \(1\leqslant M\), a contradiction. Hence T has a unique fixed point, so for each \(x\in X\) the sequence of iterates \(\{T^nx\}\) converges to v. \(\square \)
4 Involutions
A mapping \(T:X\rightarrow X\) is called an involution if \(T^2=I\), where I denotes the identity map. Not much is known even about Lipschitz involution. For example, it is known the following result [7] (for simple proof see [8]).
Theorem 4.1
Let C be a nonempty closed convex subset of a Banach space and let \(T:C\rightarrow C\) be a mapping. If \(T^2=I\) and if for arbitrary \(x,y\in C\) we have \(\Vert Tx-Ty\Vert \leqslant L\cdot \Vert x-y\Vert \) where L is constant such that \(L<2\), then T has a fixed point in C.
Question 4.2
Does there exist 2-Lipschitz involution of a nonempty closed convex set in a Banach space which has no fixed point?
Probably for Kannan type mappings, the situation is more difficult. Here is an example Kannan’s type mapping for which \(T^2=I\).
Example 4.3
Let \(X=[0,1]\) be with usual metric and let \(T:[0,1]\rightarrow [0,1]\) be a mapping defined by \(Tx=1-x\). If \(\vert x-Tx\vert =a\), \(\vert y-Ty\vert =b\), then (it can be easily visualized through a simple drawing)
hence, T is a Kannan type mapping with constant \(K=\frac{1}{2}\). Of course T is an involution.
Let X be a Banach space, \(T:X\rightarrow X\) be a mapping such that there exists \(K<1\) satisfying (1). Assume that for a given element \(x\in X\) the equation \(2u-Tu=x\) has a solution in X (a similar case is described in [3]). For example, if \(Tu=1-u\), \(u\in [0,1]\) (see Example 4.3), then for any \(x\in [0,1]\) a solution of the equation is \(u=\frac{x+1}{3}\).
Theorem 4.4
Let C be a nonempty closed convex subset of a Banach space X and let \(T:C\rightarrow C\) be a mapping such that \(T^2=I\) and that there exists \(K<1\) satisfying (1). If for each \(x\in C\) the equation \(2u-Tu=x\) has a solution in C, then T has a unique fixed point in C.
Proof
We will use a slightly modified version of Lemma 1.2. For any \(x\in C\) let \(u=\frac{1}{2}(x+Tu)\). Then
and
where by assumption \(a=\frac{\frac{K}{2}}{1-\frac{K}{2}}<1\). Using the triangle inequality,
and we get
Now, for arbitrary \(x_0\in C\) we can inductively define a sequence \(\{x_n\}\subset C\) in the following manner \(x_{n+1}=\frac{1}{2}(x_n+Tx_{n+1})\), \(n=0,1,2,\ldots \) By Lemma 1.2, this sequence is convergent: \(\lim \nolimits _{n\rightarrow \infty }x_n=v\) and \(Tv=v\). It is obvious that v is unique. \(\square \)
References
Agarwal, R.P., O’Regan, D., Sahu, D.R.: Fixed point theory for Lipschitzian-type mappings with applications. Springer Science + Business Media, LLC (2009)
Baillon, J.B., Bruck, R.E., Reich, S.: On the asymptotic behavior of nonexpansive mappings and semigroups in Banach spaces. Houston J. Math. 4, 1–9 (1978)
Browder, F.E., Peryshyn, W.V.: The solution by iteration of nonlinear functional equations in Banach spaces. Bull. Am. Math. Soc. 72, 571–575 (1966)
Bruck, R.E., Reich, S.: Nonexpansive projections and resolvents of accretive operators in Banach spaces. Houston J. Math. 3, 459–470 (1977)
Connell, E.H.: Properties of fixed point spaces. Proc. Am. Math. Soc. 10, 974–979 (1959)
Edelstein, M.: On fixed nad periodic points under contractive mappings. J. Lond. Math. Soc. 37, 74–79 (1962)
Goebel, K., Złotkiewicz, E.: Some fixed point theorems in Banach spaces. Coll. Math. 23, 101–103 (1971)
Górnicki, J.: Fixed points of involutions. Math. Japonica 43, 151–155 (1996)
Hardy, G.E., Rogers, T.D.: A generalization of a fixed point theorem of Reich. Can. Math. Bull. 16, 201–206 (1973)
Kannan, R.: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71–76 (1968)
Reich, S.: Kannan’s fixed point theorem. Boll. Un. Mat. Ital. (4) 4, 1–11 (1971)
Reich, S.: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121–124 (1971)
Reich, S.: Fixed points of contractive functions. Boll. Un. Mat. Ital. (4) 5, 26–42 (1972)
Subrahmanyam, V.: Completness and fixed points. Monatsh. Math. 80, 325–330 (1975)
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. 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11784-017-0402-8