Next Article in Journal
Global Stability of Within-Host Virus Dynamics Models with Multitarget Cells
Previous Article in Journal
On p-Cyclic Orbital M-K Contractions in a Partial Metric Space
Previous Article in Special Issue
Ekeland’s Variational Principle and Minimization Takahashi’s Theorem in Generalized Metric Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory

1
Department of Mathematics, National Kaohsiung Normal University, Kaohsiung 82444, Taiwan
2
Department of Mathematics, Atilim University, 06836 İncek, Ankara, Turkey
3
School of Mathematics and Statistics, Guizhou University of Finance and Economics, Guiyang 550025, China
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(7), 117; https://doi.org/10.3390/math6070117
Submission received: 10 June 2018 / Revised: 5 July 2018 / Accepted: 6 July 2018 / Published: 9 July 2018
(This article belongs to the Special Issue Fixed Point Theory)

Abstract

:
In this paper, we first establish a new fixed point theorem that generalizes and unifies a number of well-known fixed point results, including the Banach contraction principle, Kannan’s fixed point theorem, Chatterjea fixed point theorem, Du-Rassias fixed point theorem and many others. The presented results not only unify and generalize the existing results, but also yield several new fixed point theorems, which are different from the well-known results in the literature.

1. Introduction and Preliminaries

Let ( X , d ) be a metric space and T : X X be a self-mapping. A point x in X is said to be a fixed point of T if T x = x . The set of fixed points of T is denoted by F ( T ) . Throughout this paper, we denote the sets of positive integers and real numbers by N and R , respectively.
The celebrated Banach contraction principle [1] not only initiated the metric fixed point theory, but also has played an indispensable role in the development of nonlinear functional analysis and applied mathematical analysis. Due to the importance and application potential to several quantitative sciences, the generalizations of the Banach contraction mapping principle have been investigated heavily by several authors in various distinct directions; see, e.g., [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22] and the related references therein.
Theorem 1 
(Banach contraction principle [1]). Let ( X , d ) be a complete metric space. Suppose that T : X X is a Banach type contraction; that is, there exists a nonnegative number γ < 1 such that
d ( T x , T y ) γ d ( x , y ) f o r a l l x , y X .
Then, T has a unique fixed point in X.
In 1969, Kannan [23] established the following interesting fixed point theorem, which is different from the Banach contraction principle.
Theorem 2 
(Kannan [23]). Let ( X , d ) be a complete metric space. Suppose that T : X X is a Kannan type contraction; that is, there exists λ 0 , 1 2 such that
d ( T x , T y ) λ ( d ( x , T x ) + d ( y , T y ) ) f o r a l l x , y X .
Then, Tadmits a unique fixed point in X.
Chatterjea [24] proved his interesting fixed point theorem in 1972.
Theorem 3 
(Chatterjea [24]). Let ( X , d ) be a complete metric space. Suppose that T : X X is a Chatterjea type contraction; that is, there exists λ 0 , 1 2 such that
d ( T x , T y ) λ ( d ( x , T y ) + d ( y , T x ) ) f o r a l l x , y X .
Then, T admits a unique fixed point in X.
Remark 1.
It is worth mentioning that, in a metric space ( X , d ) , Banach’s type contraction, the Kannan type contraction and the Chatterjea type contraction are independent and different from each other. For instance, let X = [ 1 , 1 ] with the metric d ( x , y ) = x y for x , y X , and define a mapping T : X X by
T x = 1 2 x f o r a l l x X .
Then, T is not only a Banach type contraction, but also a Kannan type contraction. However, T is not a Chatterjea type contraction. More examples of the difference between the three contractions can be found in [12].
Let ( X , d ) be a metric space and T : X X be a self-mapping. In [12], Du and Rassias defined some new mappings from X × X to [ 0 , ) as follows:
  • K ( x , y ) = d ( x , T x ) + d ( y , T y ) 2 (Kannan type),
  • C ( x , y ) = d ( x , T y ) + d ( y , T x ) 2 (Chatterjea type),
  • I ( x , y ) = d ( x , T x ) + d ( y , T x ) 2 ,
  • J ( x , y ) = d ( y , T x ) + d ( y , T y ) 2 ,
  • M ( x , y ) = d ( x , T x ) + d ( y , T y ) + d ( y , T x ) 3 ,
  • P ( x , y ) = d ( x , T x ) + d ( x , T y ) + d ( y , T x ) 3 ,
  • Q ( x , y ) = d ( y , T y ) + d ( x , T y ) + d ( y , T x ) 3 ,
  • U ( x , y ) = d ( x , T x ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) 4 ,
  • V ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) 5 .
Very recently, Du and Rassias [12] established the following new fixed point theorem for a Meir-Keeler type condition, which is a simultaneous generalization of the Banach contraction principle, Kannan fixed point theorem, Chatterjea fixed point theorem and some known results in the literature.
Theorem 4 
(Du and Rassias [12]). Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Define a mapping S : X × X [ 0 , ) by
S ( x , y ) = max { d ( x , y ) , K ( x , y ) , C ( x , y ) , I ( x , y ) , J ( x , y ) , M ( x , y ) , P ( x , y ) , Q ( x , y ) , U ( x , y ) , V ( x , y ) } .
Suppose that
(DR) for each ε > 0 , there exists δ = δ ( ε ) > 0 such that for x , y X ,
ε S ( x , y ) < ε + δ i m p l i e s d ( T x , T y ) < ε .
Then, T admits a unique fixed point in X.
Theorem 5 
(Du and Rassias [12]). Let ( X , d ) be a complete metric space, T : X X be a self-mapping and S : X × X [ 0 , ) be a mapping as in Theorem 4, suppose that there exists a nonnegative real number λ < 1 such that
d ( T x , T y ) λ S ( x , y ) f o r a l l x , y X .
Then, T admits a unique fixed point in X.
In 2016, Du introduced the concept of the MT ( λ ) -function [4] as follows (see also [6,7,8,9,10,11]).
Definition 1.
Let λ > 0 . A function μ : [ 0 , ) [ 0 , λ ) is said to be an MT ( λ ) -function [4,6,7,8,9,10,11] if lim sup s t + μ ( s ) < λ for all t [ 0 , ) . In particular, if λ = 1 , then μ : [ 0 , ) [ 0 , 1 ) is called an MT -function (or R -function) [2,3,4,5,6,7,8,9,10,11].
The following useful characterizations of MT ( λ ) -functions were established by Du in 2016; see [4,6,7,8,9,10,11].
Theorem 6 
(See ([4], Theorem 2.4)). Let λ > 0 , and let μ : [ 0 , ) [ 0 , λ ) be a function. Then, the following statements are equivalent.
(1) 
μ is an MT ( λ ) -function.
(2) 
λ 1 μ is an MT -function.
(3) 
For each t [ 0 , ) , there exist ξ t ( 1 ) [ 0 , λ ) and ϵ t ( 1 ) > 0 such that μ ( s ) ξ t ( 1 ) for all s ( t , t + ϵ t ( 1 ) ) .
(4) 
For each t [ 0 , ) , there exist ξ t ( 2 ) [ 0 , λ ) and ϵ t ( 2 ) > 0 such that μ ( s ) ξ t ( 2 ) for all s [ t , t + ϵ t ( 2 ) ] .
(5) 
For each t [ 0 , ) , there exist ξ t ( 3 ) [ 0 , λ ) and ϵ t ( 3 ) > 0 such that μ ( s ) ξ t ( 3 ) for all s ( t , t + ϵ t ( 3 ) ] .
(6) 
For each t [ 0 , ) , there exist ξ t ( 4 ) [ 0 , λ ) and ϵ t ( 4 ) > 0 such that μ ( s ) ξ t ( 4 ) for all s [ t , t + ϵ t ( 4 ) ) .
(7) 
For any nonincreasing sequence { x n } n N in [ 0 , ) , we have 0 sup n N μ ( x n ) < λ .
(8) 
For any strictly-decreasing sequence { x n } n N in [ 0 , ) , we have 0 sup n N μ ( x n ) < λ .
(9) 
For any eventually nonincreasing sequence { x n } n N (i.e., there exists N such that x n + 1 x n for all n N with n ) in [ 0 , ) , we have 0 sup n N μ ( x n ) < λ .
(10) 
For any eventually strictly-decreasing sequence { x n } n N (i.e., there exists N such that x n + 1 < x n for all n N with n ) in [ 0 , ) , we have 0 sup n N μ ( x n ) < λ .
In this paper, we establish a new fixed point theorem, which is a simultaneous generalization of the Banach contraction principle, Kannan’s fixed point theorem, Chatterjea’s fixed point theorem, Du–Rassias’s fixed point theorem and other new interesting fixed point theorems. Applying our new results, we obtain many new fixed point theorems. The presented results not only unify and generalize the existing results, but also yield several new fixed point theorems, which are different from the well-known results in the literature.

2. New Simultaneous Generalizations with Applications to Fixed Point Theory

Let ( X , d ) be a metric space and T : X X be a self-mapping. In this section, we shall suggest some new mappings from X × X to [ 0 , ) as follows:
  • B C ( x , y ) = d ( x , y ) + d ( y , T x ) 2 ,
  • B K 1 ( x , y ) = d ( x , y ) + d ( x , T x ) 2 ,
  • B K 2 ( x , y ) = d ( x , y ) + d ( y , T y ) 2 ,
  • B M 1 ( x , y ) = d ( x , y ) + d ( y , T y ) + d ( y , T x ) 3 ,
  • B M 2 ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( y , T y ) 3 ,
  • B M 3 ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( y , T x ) 3 ,
  • B P 1 ( x , y ) = d ( x , y ) + d ( x , T y ) + d ( y , T x ) 3 ,
  • B P 2 ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( y , T x ) 3 ,
  • B Q 1 ( x , y ) = d ( x , y ) + d ( y , T y ) + d ( y , T x ) 3 ,
  • B Q 2 ( x , y ) = d ( x , y ) + d ( x , T y ) + d ( y , T x ) 3 ,
  • B U 1 ( x , y ) = d ( x , y ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) 4 ,
  • B U 2 ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( y , T y ) + d ( y , T x ) 4 ,
  • B U 3 ( x , y ) = d ( x , y ) + d ( x , T x ) + d ( x , T y ) + d ( y , T x ) 4 .
In what follows, we establish some generalizations of the Du–Rassias fixed point theorem (i.e., Theorem 5). These new results also simultaneously generalize the Banach contraction principle, the Kannan fixed point theorem, the Chatterjea fixed point theorem and some other interesting results in the literature.
Theorem 7.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that
(H) there exists an MT -function φ : [ 0 , ) 0 , 1 such that
min { d ( T x , T y ) , d ( y , T y ) } φ ( d ( x , y ) ) S ( x , y )
for all x , y X , where
S ( x , y ) = max { d ( x , y ) , C ( x , y ) , B C ( x , y ) , K ( x , y ) , B K 1 ( x , y ) , B K 2 ( x , y ) , I ( x , y ) , J ( x , y ) , M ( x , y ) , B M 1 ( x , y ) , B M 2 ( x , y ) , B M 3 ( x , y ) , P ( x , y ) , B P 1 ( x , y ) , B P 2 ( x , y ) , Q ( x , y ) , B Q 1 ( x , y ) , B Q 2 ( x , y ) , U ( x , y ) , B U 1 ( x , y ) , B U 2 ( x , y ) , B U 3 ( x , y ) , V ( x , y ) } .
Then, T posses a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
Proof. 
Let z X be given. If T z = z , then z F ( T ) , and we are done. Otherwise, if T z z , we define a sequence { x n } n N by x 1 = z and x n + 1 = T x n for all n N . If there exists k N such that x k + 1 = x k , then x k F ( T ) , and the desired conclusion is proven. For this reason, we henceforth will assume that x n + 1 x n for all n N . For any n N , we have
  • C ( x n , x n + 1 ) = d ( x n , x n + 2 ) 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 ,
  • B C ( x n , x n + 1 ) = d ( x n , x n + 1 ) 2 ,
  • K ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 ,
  • B K 1 ( x n , x n + 1 ) = d ( x n , x n + 1 ) ,
  • B K 2 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 ,
  • I ( x n , x n + 1 ) = d ( x n , x n + 1 ) 2 ,
  • J ( x n , x n + 1 ) = d ( x n + 1 , x n + 2 ) 2 ,
  • M ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B M 1 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B M 2 ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B M 3 ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) 3 ,
  • P ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n , x n + 2 ) 3 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B P 1 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n , x n + 2 ) 3 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B P 2 ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) 3 ,
  • Q ( x n , x n + 1 ) = d ( x n + 1 , x n + 2 ) + d ( x n , x n + 2 ) 3 d ( x n , x n + 1 ) + 2 d ( x n + 1 , x n + 2 ) 3 ,
  • B Q 1 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • B Q 2 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n , x n + 2 ) 3 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 3 ,
  • U ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) + d ( x n , x n + 2 ) 4 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 ,
  • B U 1 ( x n , x n + 1 ) = d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) + d ( x n , x n + 2 ) 4 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 2 ,
  • B U 2 ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 4 ,
  • B U 3 ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) + d ( x n , x n + 2 ) 4 3 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) 4 ,
  • V ( x n , x n + 1 ) = 2 d ( x n , x n + 1 ) + d ( x n + 1 , x n + 2 ) + d ( x n , x n + 2 ) 5 3 d ( x n , x n + 1 ) + 2 d ( x n + 1 , x n + 2 ) 5 .
Assume that there exists j N such that d ( x j , x j + 1 ) < d ( x j + 1 , x j + 2 ) . Then, by the definition of S and the above, we have S ( x j , x j + 1 ) < d ( x j + 1 , x j + 2 ) . By condition ( H ) , we have
d ( x j + 1 , x j + 2 ) = min { d ( T x j , T x j + 1 ) , d ( x j + 1 , T x j + 1 ) } φ ( d ( x j , x j + 1 ) ) S ( x j , x j + 1 ) < d ( x j + 1 , x j + 2 ) ,
a contradiction. Therefore, it must be d ( x n + 1 , x n + 2 ) d ( x n , x n + 1 ) , and hence
S ( x n , x n + 1 ) d ( x n , x n + 1 ) ,
for all n N . By condition ( H ) and (2), we find that
d ( x n + 1 , x n + 2 ) φ ( d ( x n , x n + 1 ) ) d ( x n , x n + 1 ) for all n N .
By (3), we know that the sequence { d ( x n , x n + 1 ) } n N is strictly decreasing in [ 0 , ) . Since φ is an MT -function, by applying Theorem 6 with λ = 1 , we obtain 0 sup n N φ ( d ( x n , x n + 1 ) ) < 1 . Let:
γ : = sup n N φ ( d ( x n , x n + 1 ) ) .
Then, we conclude that γ [ 0 , 1 ) . As a next step, we claim that { x n } n N is a Cauchy sequence in X. Indeed, for any n N , by (3) and (4), we get
d ( x n + 1 , x n + 2 ) φ ( d ( x n , x n + 1 ) ) d ( x n , x n + 1 ) γ d ( x n , x n + 1 )
and hence
d ( x n + 1 , x n + 2 ) γ d ( x n , x n + 1 ) γ n d ( x 1 , x 2 ) .
Let α n = γ n 1 1 γ d ( x 1 , x 2 ) , n N . For m , n N with m > n , from (5), we obtain:
d ( x m , x n ) j = n m 1 d ( x j + 1 , x j ) α n .
Since 0 γ < 1 , we have lim n α n = 0 . Hence, by (6), we find:
lim n sup { d ( x m , x n ) : m > n } = 0 ,
which shows that { x n } n N is a Cauchy sequence in X. By the completeness of X, there exists v X such that x n v as n . In order to finish the proof, it is sufficient to show v F ( T ) . For any n N , we have
  • C ( x n , v ) = d ( x n , T v ) + d ( v , x n + 1 ) 2 ,
  • B C ( x n , v ) = d ( x n , v ) + d ( v , x n + 1 ) 2 ,
  • K ( x n , v ) = d ( x n , x n + 1 ) + d ( v , T v ) 2 ,
  • B K 1 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) 2 ,
  • B K 2 ( x n , v ) = d ( x n , v ) + d ( v , T v ) 2 ,
  • I ( x n , v ) = d ( x n , x n + 1 ) + d ( v , x n + 1 ) 2 ,
  • J ( x n , v ) = d ( v , x n + 1 ) + d ( v , T v ) 2 ,
  • M ( x n , v ) = d ( x n , x n + 1 ) + d ( v , T v ) + d ( v , x n + 1 ) 3 ,
  • B M 1 ( x n , v ) = d ( x n , v ) + d ( v , T v ) + d ( v , x n + 1 ) 3 ,
  • B M 2 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( v , T v ) 3 ,
  • B M 3 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( v , x n + 1 ) 3 ,
  • P ( x n , v ) = d ( x n , x n + 1 ) + d ( x n , T v ) + d ( v , x n + 1 ) 3 ,
  • B P 1 ( x n , v ) = d ( x n , v ) + d ( x n , T v ) + d ( v , x n + 1 ) 3 ,
  • B P 2 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( v , x n + 1 ) 3 ,
  • Q ( x n , v ) = d ( v , T v ) + d ( x n , T v ) + d ( v , x n + 1 ) 3 ,
  • B Q 1 ( x n , v ) = d ( x n , v ) + d ( v , T v ) + d ( v , x n + 1 ) 3 ,
  • B Q 2 ( x n , v ) = d ( x n , v ) + d ( x n , T v ) + d ( v , x n + 1 ) 3 ,
  • U ( x n , v ) = d ( x n , x n + 1 ) + d ( v , T v ) + d ( x n , T v ) + d ( v , x n + 1 ) 4 ,
  • B U 1 ( x n , v ) = d ( x n , v ) + d ( v , T v ) + d ( x n , T v ) + d ( v , x n + 1 ) 4 ,
  • B U 2 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( v , T v ) + d ( v , x n + 1 ) 4 ,
  • B U 3 ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( x n , T v ) + d ( v , x n + 1 ) 4 ,
  • V ( x n , v ) = d ( x n , v ) + d ( x n , x n + 1 ) + d ( v , T v ) + d ( x n , T v ) + d ( v , x n + 1 ) 5 ,
which yields that
lim n S ( x n , v ) = 2 3 d ( v , T v ) .
Since
min { d ( T x n , T v ) , d ( v , T v ) } φ ( d ( x n , v ) ) S ( x n , v ) f o r a l l n N ,
by taking the limit as n on the last inequality and using (7), we get
d ( v , T v ) 2 3 d ( v , T v )
which implies d ( v , T v ) = 0 , and hence, v F ( T ) . The proof is completed. ☐
By applying Theorem 7, we obtain the following new unique fixed point theorem.
Theorem 8.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping on X. Let S : X × X [ 0 , ) be a mapping as in Theorem 7. Suppose that:
(h1) there exists an MT -function φ : [ 0 , ) 0 , 1 such that:
d ( T x , T y ) φ ( d ( x , y ) ) S ( x , y )
for all x , y X .
Then, T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Proof. 
Clearly, ( h 1 ) implies ( H ) . Applying Theorem 7, F ( T ) , and the sequence { T n x } converges to a fixed point of T for any x X . We claim that F ( T ) is a singleton set. Suppose there exist u , v F ( T ) with u v . Thus, d ( u , v ) > 0 . Since
K ( u , v ) = 0 ,
C ( u , v ) = B C ( u , v ) = B P 1 ( u , v ) = B Q 2 ( u , v ) = d ( u , v ) ,
B K 1 ( u , v ) = B K 2 ( u , v ) = I ( u , v ) = J ( u , v ) = U ( u , v ) = B U 2 ( u , v ) = 1 2 d ( u , v ) ,
M ( u , v ) = B M 2 ( u , v ) = 1 3 d ( u , v )
B M 1 ( u , v ) = B M 3 ( u , v ) = P ( u , v ) = B P 2 ( u , v ) = Q ( u , v ) = B Q 1 ( u , v ) = 2 3 d ( u , v ) ,
B U 1 ( u , v ) = B U 3 ( u , v ) = 3 4 d ( u , v )
and
V ( u , v ) = 3 5 d ( u , v ) ,
by ( h 1 ) , we obtain:
d ( u , v ) = d ( T u , T v ) < S ( u , v ) = d ( u , v ) ,
a contradiction. Therefore, F ( T ) is a singleton set, and T has a unique fixed point in X. The proof is completed. ☐
Remark 2.
[7, Theorem 2.1], [8, Theorem 2.1] and Theorems 1–3 and 5 are all special cases of Theorem 8.
The following generalized Banach contraction principle, generalized Kannan fixed point theorem and generalized Chatterjea fixed point theorem are immediate consequences of Theorems 7 and 8.
Corollary 1 (Generalized Banach contraction principle).
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT -function κ : [ 0 , ) 0 , 1 such that
W ( x , y ) κ ( d ( x , y ) ) d ( x , y ) f o r a l l x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Corollary 2 (Generalized Kannan fixed point theorem).
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT 1 2 -function α : [ 0 , ) 0 , 1 2 such that
W ( x , y ) α ( d ( x , y ) ) [ d ( x , T x ) + d ( y , T y ) ] f o r a l l x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Corollary 3 (Generalized Chatterjea fixed point theorem).
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT 1 2 -function α : [ 0 , ) 0 , 1 2 such that
W ( x , y ) α ( d ( x , y ) ) [ d ( x , T y ) + d ( y , T x ) ] f o r a l l x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Finally, by applying Theorems 6–8, we can obtain the following new fixed point theorems immediately.
Theorem 9.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT 1 2 -function α : [ 0 , ) 0 , 1 2 such that one of the following conditions holds:
(i) 
W ( x , y ) α ( d ( x , y ) ) [ d ( x , T x ) + d ( y , T x ) ] for all x , y X ,
(ii) 
W ( x , y ) α ( d ( x , y ) ) [ d ( y , T x ) + d ( y , T y ) ] for all x , y X ,
(iii) 
W ( x , y ) α ( d ( x , y ) ) [ d ( x , y ) + d ( y , T x ) ] for all x , y X ,
(iv) 
W ( x , y ) α ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) ] for all x , y X ,
(v) 
W ( x , y ) α ( d ( x , y ) ) [ d ( x , y ) + d ( y , T y ) ] for all x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Theorem 10.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT 1 3 -function β : [ 0 , ) 0 , 1 3 such that one of the following conditions holds:
(i) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , T x ) + d ( y , T y ) + d ( y , T x ) ] for all x , y X ,
(ii) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , T x ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X ,
(iii) 
W ( x , y ) β ( d ( x , y ) ) [ d ( y , T y ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X ,
(iv) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( y , T y ) + d ( y , T x ) ] for all x , y X ,
(v) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( y , T y ) ] for all x , y X ,
(vi) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( y , T x ) ] for all x , y X ,
(vii) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X ,
(viii) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( y , T x ) ] for all x , y X ,
(ix) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( y , T y ) + d ( y , T x ) ] for all x , y X ,
(x) 
W ( x , y ) β ( d ( x , y ) ) [ d ( x , y ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Theorem 11.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exist a mapping W : X × X [ 0 , ) and an MT 1 4 -function μ : [ 0 , ) 0 , 1 4 such that one of the following conditions holds:
(i) 
W ( x , y ) μ ( d ( x , y ) ) [ d ( x , T x ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X ,
(ii) 
W ( x , y ) μ ( d ( x , y ) ) [ d ( x , y ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X ,
(iii) 
W ( x , y ) μ ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( y , T y ) + d ( y , T x ) ] for all x , y X ,
(iv) 
W ( x , y ) μ ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( x , T y ) + d ( y , T x ) ] for all x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .
Theorem 12.
Let ( X , d ) be a complete metric space and T : X X be a self-mapping. Suppose that there exists a mapping W : X × X [ 0 , ) and an MT 1 5 -function τ : [ 0 , ) 0 , 1 5 such that:
W ( x , y ) τ ( d ( x , y ) ) [ d ( x , y ) + d ( x , T x ) + d ( y , T y ) + d ( x , T y ) + d ( y , T x ) ] f o r a l l x , y X .
Then, the following conclusions hold:
(a) 
If W ( x , y ) = min { d ( T x , T y ) , d ( y , T y ) } for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(b) 
If W ( x , y ) = d ( y , T y ) for all x , y X , then T admits a fixed point in X. Moreover, the sequence { T n x } converges to a fixed point of T for any x X .
(c) 
If W ( x , y ) = d ( T x , T y ) for all x , y X , then T admits a unique fixed point v in X. Moreover, the sequence { T n x } converges to v for any x X .

3. Conclusions

The famous Banach contraction principle, Kannan’s fixed point theorem and Chatterjea’s fixed point theorem are forceful tools in various fields of nonlinear analysis and applied mathematical analysis. In the present paper, by using MT ( λ ) -functions, we establish some new fixed point theorems, which not only unify a number of well-known fixed point results, including the Banach contraction principle, Kannan’s fixed point theorem, Chatterjea fixed point theorem, Du-Rassias fixed point theorem and many others, but also yield several new fixed point theorems, which are different from the well-known results in the literature.

Author Contributions

All authors contributed equally in writing this article. All authors read and approved the final manuscript.

Acknowledgments

The authors wish to express their hearty thanks to the anonymous referees for their valuable suggestions and comments. The first author is supported by Grant No. MOST 106-2115-M-017-002 of the Ministry of Science and Technology of the Republic of China.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Banach, S. Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales. Fund. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Du, W.-S. Some new results and generalizations in metric fixed point theory. Nonlinear Anal. Theory Methods Appl. 2010, 73, 1439–1446. [Google Scholar] [CrossRef]
  3. Du, W.-S. On coincidence point and fixed point theorems for nonlinear multivalued maps. Topol. Appl. 2012, 159, 49–56. [Google Scholar] [CrossRef]
  4. Du, W.-S. New existence results of best proximity points and fixed points for MT(λ)-functions with applications to differential equations. Linear Nonlinear Anal. 2016, 2, 199–213. [Google Scholar]
  5. Du, W.-S.; Hung, Y.-L. A generalization of Mizoguchi-Takahashi’s fixed point theorem and its applications to fixed point theory. Int. J. Math. Anal. 2017, 11, 151–161. [Google Scholar] [CrossRef]
  6. Du, W.-S. New fixed point theorems for hybrid Kannan type mappings and MT(λ)-functions. Nonlinear Anal. Differ. Equ. 2017, 5, 89–98. [Google Scholar] [CrossRef]
  7. Du, W.-S. On hybrid Chatterjea type fixed point theorem with MT(λ)-functions. Appl. Math. Sci. 2017, 11, 397–406. [Google Scholar] [CrossRef]
  8. Du, W.-S. On simultaneous generalizations of well-known fixed point theorems and others. Int. J. Math. Anal. 2017, 11, 225–232. [Google Scholar] [CrossRef]
  9. Du, W.-S. Simultaneous generalizations of fixed point theorems of Mizoguchi-Takahashi type, Nadler type Banach type, Kannan type and Chatterjea type. Nonlinear Anal. Differ. Equ. 2017, 5, 171–180. [Google Scholar] [CrossRef]
  10. Du, W.-S. New simultaneous generalizations of common fixed point theorems of Kannan type, Chatterjea type and Mizoguchi-Takahashi type. Appl. Math. Sci. 2017, 11, 995–1005. [Google Scholar] [CrossRef]
  11. Du, W.-S. New best proximity point theorems with applications to simultaneous generalizations of common fixed point theorems. Appl. Math. Sci. 2017, 11, 1143–1154. [Google Scholar] [CrossRef]
  12. Du, W.-S.; Rassias, T.M. Simultaneous generalizations of known fixed point theorems for a Meir–Keeler type condition with applications. Int. J. Nonlinear Anal. Appl. in press.
  13. Goebel, K.; Kirk, W.A. Topics in Metric Fixed Point Theory; Cambridge University Press: Cambridge, UK, 1990. [Google Scholar]
  14. Hyers, D.H.; Isac, G.; Rassias, T.M. Topics in Nonlinear Analysis and Applications; World Scientific Publ. Co.: Singapore, 1997. [Google Scholar]
  15. Karapınar, E.; Erhan, I.M. Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24, 1894–1899. [Google Scholar] [CrossRef]
  16. Karapınar, E.; Tas, K. Generalized (C)-conditions and related fixed point theorems. Comput. Math. Appl. 2011, 61, 3370–3380. [Google Scholar] [CrossRef]
  17. Karapınar, E. Fixed point theory for cyclic weak φ-contraction. Appl. Math. Lett. 2011, 24, 822–825. [Google Scholar] [CrossRef]
  18. Karapınar, E.; Agarwal, R.P. A note on Ćirić type nonunique fixed point theorems. Fixed Point Theory Appl. 2017, 2017, 20. [Google Scholar] [CrossRef] [Green Version]
  19. Karapınar, E. A note on common fixed point theorems in partial metric spaces. Miskolc Math. Notes 2011, 12, 185–191. [Google Scholar]
  20. Khamsi, M.A.; Kirk, W.A. An Introduction to Metric Spaces and Fixed Point Theory; Pure and Applied Mathematics, Wiley-Interscience: New York, NY, USA, 2001. [Google Scholar]
  21. Kirk, W.A.; Shahzad, N. Fixed Point Theory in Distance Spaces; Springer: Cham, Switzerland, 2014. [Google Scholar]
  22. Reich, S.; Zaslavski, A.J. Genericity in Nonlinear Analysis; Springer: New York, NY, USA, 2014. [Google Scholar]
  23. Kannan, R. Some results on fixed point - II. Amer. Math. Monthly 1969, 76, 405–408. [Google Scholar]
  24. Chatterjea, S.K. Fixed-point theorems. C.R. Acad. Bulgare Sci. 1972, 25, 727–730. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Du, W.-S.; Karapınar, E.; He, Z. Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory. Mathematics 2018, 6, 117. https://doi.org/10.3390/math6070117

AMA Style

Du W-S, Karapınar E, He Z. Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory. Mathematics. 2018; 6(7):117. https://doi.org/10.3390/math6070117

Chicago/Turabian Style

Du, Wei-Shih, Erdal Karapınar, and Zhenhua He. 2018. "Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory" Mathematics 6, no. 7: 117. https://doi.org/10.3390/math6070117

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop