- Research Article
- Open Access
- Published:

# A Generalization of Kannan's Fixed Point Theorem

*Fixed Point Theory and Applications*
**volume 2009**, Article number: 192872 (2009)

## Abstract

In order to observe the condition of Kannan mappings, we prove a generalization of Kannan's fixed point theorem. Our theorem involves constants and we obtain the best constants to ensure a fixed point.

## 1. Introduction

A mapping on a metric space is called *Kannan* if there exists such that

for all . Kannan [1] proved that if is complete, then every Kannan mapping has a fixed point. It is interesting that Kannan's theorem is independent of the Banach contraction principle [2]. Also, Kannan's fixed point theorem is very important because Subrahmanyam [3] proved that Kannan's theorem characterizes the metric completeness. That is, a metric space is complete if and only if every Kannan mapping on has a fixed point. Recently, Kikkawa and Suzuki proved a generalization of Kannan's fixed point theorem. See also [4–8].

Theorem 1.1 (see [9]).

Define a nonincreasing function from into by

Let be a mapping on a complete metric space . Assume that there exists such that

for all . Then has a unique fixed point . Moreover holds for every .

Remark 1.2.

is the best constant for every .

From this theorem, we can tell that a Kannan mapping with is much stronger than a Kannan mapping with .

While and play the same role in (1.1), and do not play the same role in (1.3). So we can consider "'' instead of ".'' And it is a quite natural question of what is the best constant for each pair . In this paper, we give the complete answer to this question.

## 2. Preliminaries

Throughout this paper we denote by the set of all positive integers and by the set of all real numbers.

We use two lemmas. The first lemma is essentially proved in [5].

Let be a metric space and let be a mapping on . Let satisfy for some . Then for , either

holds.

The second lemma is obvious. We use this lemma several times in the proof of Theorem 4.1.

Lemma 2.2.

Let , , , and be four real numbers such that and . Then holds.

## 3. Fixed Point Theorem

In this section, we prove a fixed point theorem.

We first put and () by

See Figure 1.

Theorem 3.1.

Define a nonincreasing function from into by

Let be a mapping on a complete metric space . Assume that there exists such that

for all . Then has a unique fixed point . Moreover holds for every .

Proof.

We put

Since , holds. From the assumption, we have

and hence

for all . Since

we have

and hence

for all .

Fix and put for . From (3.6), we have

So is a Cauchy sequence in . Since is complete, converges to some point .

We next show

Since converges, for sufficiently large , we have

and hence

Therefore we obtain

for all . By (3.11), we have

and hence

Let us prove that is a fixed point of . In the case where , arguing by contradiction, we assume . Then we have

So for sufficiently large ,

holds and hence

Thus we obtain

which is a contradiction. Therefore we obtain .

In the case where , if we assume , then we have

which is a contradiction. Therefore holds.

In the case where , we consider the following two cases.

(i)There exist at least two natural numbers satisfying

(ii) for sufficiently large .

In the first case, if we assume , then cannot be Cauchy. Therefore . In the second case, we have by (3.16), for sufficiently large . From the assumption,

Since , we obtain .

In the case where , we note that . By Lemma 2.1, either

holds for every . Thus there exists a subsequence of such that

for . From the assumption, we have

Since , we obtain . Therefore we have shown in all cases.

From (3.11), the fixed point is unique.

Remark 3.2.

We have shown , dividing four cases. It is interesting that the four methods are all different. We can rewrite by

## 4. The Best Constants

In this section, we prove the following theorem, which informs that is the best constant for every .

Theorem 4.1.

Define a function as in Theorem 3.1. For every , there exist a complete metric space and a mapping on such that has no fixed points and

for all .

Proof.

We put and by (3.4).

In the case where , define a complete subset of the Euclidean space by . We also define a mapping on by for . Then does not have any fixed points and

for all .

In the case where , we put

We note that . Define a complete subset of the Euclidean space by

where for . Define a mapping on by , and for . Then we have

for . Since

we have

for . For with , since

we have

In the case where , we note that . We also note that . Let be the Banach space consisting of all functions from into (i.e., is a real sequence) such that . Let be the canonical basis of . Define a complete subset of by

where

for . We note that

for with . Define a mapping on by , , and for . Then we have

for . Since

we have

Since , we have

for . We have

for . For with , we have

This completes the proof.

## References

Kannan R:

**Some results on fixed points. II.***American Mathematical Monthly*1969,**76:**405–408. 10.2307/2316437Banach S:

**Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales.***Fundamenta Mathematicae*1922,**3:**133–181.Subrahmanyam PV:

**Completeness and fixed-points.***Monatshefte für Mathematik*1975,**80**(4):325–330. 10.1007/BF01472580Kikkawa M, Suzuki T:

**Three fixed point theorems for generalized contractions with constants in complete metric spaces.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(9):2942–2949. 10.1016/j.na.2007.08.064Suzuki T:

**A generalized Banach contraction principle that characterizes metric completeness.***Proceedings of the American Mathematical Society*2008,**136**(5):1861–1869.Suzuki T:

**Fixed point theorems and convergence theorems for some generalized nonexpansive mappings.***Journal of Mathematical Analysis and Applications*2008,**340**(2):1088–1095. 10.1016/j.jmaa.2007.09.023Suzuki T, Kikkawa M:

**Some remarks on a recent generalization of the Banach contraction principle.**In*Proceedings of the 8th International Conference on Fixed Point Theory and Its Applications (ICFPTA '08), July 2008, Chiang Mai, Thailand*. Edited by: Dhompongsa S, Goebel K, Kirk WA, Plubtieng S, Sims B, Suantai S. Yokohama; 151–161.Suzuki T, Vetro C:

**Three existence theorems for weak contractions of Matkowski type.***International Journal of Mathematics and Statistics*2010,**6**(supplement 10):110–120.Kikkawa M, Suzuki T:

**Some similarity between contractions and Kannan mappings.***Fixed Point Theory and Applications*2008, Article ID 649749,**2008:**-8.

## Acknowledgment

T. Suzuki is supported in part by Grants-in-Aid for Scientific Research from the Japanese Ministry of Education, Culture, Sports, Science and Technology.

## Author information

### Authors and Affiliations

### Corresponding author

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Enjouji, Y., Nakanishi, M. & Suzuki, T. A Generalization of Kannan's Fixed Point Theorem.
*Fixed Point Theory Appl* **2009, **192872 (2009). https://doi.org/10.1155/2009/192872

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2009/192872

### Keywords

- Banach Space
- Euclidean Space
- Point Theorem
- Differential Geometry
- Fixed Point Theorem