Next Article in Journal
Optimal One-Point Iterative Function Free from Derivatives for Multiple Roots
Next Article in Special Issue
Fractional Langevin Equation Involving Two Fractional Orders: Existence and Uniqueness Revisited
Previous Article in Journal
Linear Model Predictive Control for a Coupled CSTR and Axial Dispersion Tubular Reactor with Recycle
Previous Article in Special Issue
Exact Traveling and Nano-Solitons Wave Solitons of the Ionic Waves Propagating along Microtubules in Living Cells
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extended Simulation Function via Rational Expressions

by
Rawan Alsubaie
1,
Badr Alqahtani
1,
Erdal Karapınar
2,3,* and
Antonio Francisco Roldán López de Hierro
4,*
1
Department of Mathematics, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
2
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
3
Department of Mathematics, Çankaya University, 06790 Etimesgut, Ankara, Turkey
4
Department of Statistics and Operations Research, University of Granada, 18010 Granada, Spain
*
Authors to whom correspondence should be addressed.
Mathematics 2020, 8(5), 710; https://doi.org/10.3390/math8050710
Submission received: 27 March 2020 / Revised: 20 April 2020 / Accepted: 21 April 2020 / Published: 3 May 2020
(This article belongs to the Special Issue Nonlinear Equations: Theory, Methods, and Applications)

Abstract

:
In this paper, we introduce some common fixed point theorems for two distinct self-mappings in the setting of metric spaces by using the notion of a simulation function introduced in 2015. The contractivity conditions have not to be verified for all pairs of points of the space because it is endowed with an antecedent conditions. They are also of rational type because the involved terms in the contractivity upper bound are expressed, in some cases, as quotients.

1. Introduction and Preliminaries

The notion of a simulation function, introduced by Khojasteh, Shukla and Radenović [1] in 2015, has become into one of the most studied concepts in the field of Fixed Point Theory in recent times. To support this affirmation, we refer the reader to the following recent papers: [2,3,4,5] The great success of simulation functions has inspired many other developments (see, e.g., [6,7,8,9,10,11]), even in the fuzzy setting (see, e.g., [12]). In this manuscript, we use the notion of simulation function in order to prove two common fixed point theorems involving two distinct self-mappings. The importance of these results can be evaluated through the great number of possible consequences that it can easily be derived from the main theorems.
Throughout the manuscript, let ( X , d ) be a metric space. We denote N 0 : = N { 0 } where N is the set of all positive integers. Further, R represents the real numbers and R 0 + : = [ 0 , + ) . Background on Fixed Point theory can be found on [13].
Definition 1.
([1]) Let η : [ 0 , + ) × [ 0 , + ) R be a mapping, then η is called a simulation function if it satisfies the following conditions:
(ηii)
η ( t , s ) < s t for all s , t > 0 .
(ηiii)
if { t n } , { s n } are sequences in ( 0 , + ) such that
lim n t n = lim n s n > 0 i m p l i e s lim sup n η ( t n , s n ) < 0 .
Example 1.
We recall some examples of simulation functions given in [1].
(a1)
For each s , t 0 , let η ( t , s ) = α s t , where α [ 0 , 1 ) .
(a2)
For each s , t 0 , let η ( t , s ) = ϕ ( s ) t , where ϕ : [ 0 , + ) [ 0 , + ) is a mapping such that for each s > 0 , ϕ ( s ) < s and lim sup t s ϕ ( t ) < s .
(a3)
For each s , t 0 , let η ( t , s ) = s ϕ ( s ) t , where ϕ : [ 0 , + ) [ 0 , 1 ) is a mapping such that for each s > 0 , lim sup t s ϕ ( t ) < 1 .
(a4)
For each s , t 0 , let η ( t , s ) = s ϕ ( s ) t , where ϕ : [ 0 , + ) [ 0 , + ) is a mapping such that for each s > 0 , lim inf t s ϕ ( t ) > 0 or ϕ : [ 0 , + ) [ 0 , 1 ) is a continuous function such that ϕ ( t ) = 0 if and only if t = 0 .
(a5)
For each s , t 0 , let η ( t , s ) = ψ ( s ) ϕ ( t ) where ϕ , ψ : [ 0 , + ) [ 0 , + ) are two continuous functions such that ψ ( t ) = ϕ ( t ) = 0 if and only if t = 0 and ψ ( t ) < t ϕ ( t ) for all t > 0 .
The set of all simulation functions is denoted by Z.
Theorem 1.
Let ( X , d ) be a complete metric space and let T : X X be a Z-contraction with respect to a certain simulation function η, that is
η ( d ( T x , T y ) , d ( x , y ) ) 0 for all x , y X .
Then T has a unique fixed point.
We state the following lemma which will be useful for demonstrating our main result.
Lemma 1
(See e.g., [14]). Let ( X , d ) be a metric space and let { x n } be a sequence in X such that lim n d ( x n , x n + 1 ) = 0 . If { x 2 n } is not a Cauchy sequence then there exists ε > 0 and two sequences of positive integers { n k } and { m k } such that n k is smallest index for which n k > m k > k and d ( x 2 m k , x 2 n k ) ε and
1.
lim k d ( x 2 m k , x 2 n k ) = ε .
2.
lim k d ( x 2 m k 1 , x 2 n k ) = ε .
3.
lim k d ( x 2 m k , x 2 n k + 1 ) = ε .
4.
lim k d ( x 2 m k 1 , x 2 n k + 1 ) = ε .
Proposition 1.
([7,15]) Let ( X , d ) be a metric space, let T : X X be a self-mapping and let { x n } X be a Picard sequence of T (that is, x n + 1 = T x n for all n N ). If lim n d ( x n , x n + 1 ) = 0 , then either { x n } is almost constant or x n x m for all n , m N such that n m .

2. Main Results

The symbol Ψ is reserved to denote the set of all continuous and strictly increasing self-mappings ψ on [ 0 , + ) so that ψ ( 0 ) = 0 .
Definition 2.
A function η : [ 0 , + ) × [ 0 , + ) R is called Ψ -simulation function if there exists ψ Ψ so that:
(η1)
η ( t , s ) < ψ ( s ) ψ ( t ) for all s , t > 0 ,
(η2)
if { t n } , { s n } are sequences in ( 0 , + ) such that
lim n t n = lim n s n > 0 , then lim sup n η ( t n , s n ) < 0 .
By Z Ψ we shall denote the set al all Ψ -simulation functions. Notice that the class of Ψ -simulation functions covers the class of simulation functions. Then, we highlight that all fixed point results obtained by simulations functions can be derived via Ψ -simulation functions.
Example 2.
Given ψ Ψ , the following ones are examples of Ψ -simulation functions. For each s , t 0 ,
(e1)
let η ( t , s ) = α ψ ( s ) ψ ( t ) , where α [ 0 , 1 ) .
(e2)
let η ( t , s ) = ϕ ( ψ ( s ) ) ψ ( t ) , where ϕ : [ 0 , + ) [ 0 , + ) is a function such that ϕ ( 0 ) = 0 , 0 < ϕ ( s ) < s for each s > 0 and lim sup t s ϕ ( t ) < s . (for instance, ϕ ( s ) = α s where 0 α < 1 ).
(e3)
let η ( t , s ) = ϕ ( s ) ψ ( s ) ψ ( t ) , where ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim sup t s ϕ ( t ) < 1 for each s > 0 .
(e4)
let η ( t , s ) = ψ ( s ) ϕ ( s ) ψ ( t ) , where ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim inf t s ϕ ( t ) > 0 for each s > 0 .
Remark 1.
Every simulation function is a Ψ -simulation function where ψ is taken as the identity function on [ 0 , + ) .
So all simulation functions presented in Example 1 are Ψ -simulation functions. However, the following example shows that there are Ψ -simulation function which are not simulation functions.
Example 3.
Define η : [ 0 , + ) × [ 0 , + ) R by η ( t , s ) = 2 s ϕ ( s ) 2 t where ϕ : R [ 0 , 1 ) is a mapping such that lim sup t s ϕ ( t ) < 1 for each s > 0 (for instance, ϕ ( t ) = α , where 0 α < 1 ) . Then it is easy to see that η is a Ψ -simulation function. However, if ϕ s = α 1 / 2 , 1 , then η ( 0 , s ) = 2 α s > s , so η does not satisfy ( η i i ) and η Z .
Denote by Z Ψ the set of all Ψ -simulation functions. We have just proved that:
Proposition 2.
Z Z Ψ .
The first of our main results is the following one.
Theorem 2.
Let ( X , d ) be a complete metric space and let T , S : X X be two mappings such that, for all x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s η ( d ( T x , S y ) , m ( x , y ) ) 0 ,
where η Z Ψ and, for all x , y X ,
m ( x , y ) = d T x , S x , if x = y , max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , if x y .
If T and S are continuous, then T and S have a unique common fixed point (that is, there is a unique u X such that T u = S u = u ). In fact, such a point is the unique fixed point of T and the unique fixed point of S.
Proof. 
For the sake of clarity, we divide the proof into five steps. The first one is necessary in order to guarantee that the consecutive terms of the sequence we will construct can be supposed as distinct.
Step (1): We claim that any fixed point of T or S is a common fixed point of S and T.
Suppose that x X is a fixed point of T, that is, T x = x (the same argument is valid if x is a fixed point of S). Reasoning by contradiction, assume that x is not a common fixed of T and S. This means that S x x . Therefore,
m x , x = d T x , S x = d ( x , S x ) > 0 .
Since
1 2 min { d ( x , T x ) , d ( y , S y ) } = 1 2 min { 0 , d ( y , S y ) } = 0 d ( x , y ) ,
using y = x in (2), we deduce that η ( d ( T x , S x ) , m ( x , x ) ) 0 . In particular, taking into account that d ( x , S x ) > 0 and condition ( η 1 ) , we deduce that:
0 η ( d ( T x , S x ) , m ( x , x ) ) = η ( d ( x , S x ) , d ( x , S x ) ) < ψ d ( x , S x ) ψ d ( x , S x ) = 0 ,
which is a contradiction. Therefore, we have proved that any fixed point of T (or S) is a common fixed point of S and T, so step 1 is completed.
Next, in order to conclude T or S has a fixed point, we define the following sequence. Starting from an arbitrary point x 0 X , we shall built up a recursive sequence { x n } defined as:
x 2 n + 1 = T x 2 n a n d x 2 n + 2 = S x 2 n + 1 for each n N .
If there is some n 0 N such that x n 0 + 1 = x n 0 , then x n 0 is a fixed point of T or S (either T x n 0 = x n 0 or S x n 0 = x n 0 ). In this case, step 1 shows that x n 0 is a fixed point of T and S (and it only remains to prove that this point is unique as in step 5). On the contrary case, assume, without loss of generality, that
x k x k + 1 for all k N .
We shall consider the following set that will be useful in later stages of the proof.
A : = ( x , y ) X × X : 1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) .
Step (2): We claim that lim k d ( x k , x k + 1 ) = 0 .
To prove it, at first we claim that
d ( x k + 1 , x k + 2 ) d ( x k , x k + 1 ) for all k N .
To see this, suppose that k = 2 n for some n N . We have:
1 2 min { d ( x 2 n , T x 2 n ) , d ( x 2 n + 1 , S x 2 n + 1 ) } = 1 2 min { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } d ( x 2 n , x 2 n + 1 ) .
So from (2) and ( η 1 ) we have:
0 η ( d ( T x 2 n , S x 2 n + 1 ) , m ( x 2 n , x 2 n + 1 ) ) = η ( d ( x 2 n + 1 , x 2 n + 2 ) , m ( x 2 n , x 2 n + 1 ) ) < ψ ( m ( x 2 n , x 2 n + 1 ) ) ψ ( d ( x 2 n + 1 , x 2 n + 2 ) ) ,
so
ψ ( d ( x 2 n + 1 , x 2 n + 2 ) ) < ψ ( m ( x 2 n , x 2 n + 1 ) ) .
Since ψ is strictly increasing,
d ( x 2 n + 1 , x 2 n + 2 ) < m ( x 2 n , x 2 n + 1 ) .
On the other hand,
m ( x 2 n , x 2 n + 1 ) = max d ( x 2 n , x 2 n + 1 ) , d ( x 2 n , T x 2 n ) d ( x 2 n + 1 , S x 2 n + 1 ) d ( x 2 n , x 2 n + 1 ) = max d ( x 2 n , x 2 n + 1 ) , d ( x 2 n , x 2 n + 1 ) d ( x 2 n + 1 , x 2 n + 2 ) d ( x 2 n , x 2 n + 1 ) = max { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } .
If there is some n 0 N such that d ( x 2 n 0 + 1 , x 2 n 0 + 2 ) d ( x 2 n 0 , x 2 n 0 + 1 ) , then m ( x 2 n 0 , x 2 n 0 + 1 ) = d ( x 2 n 0 + 1 , x 2 n 0 + 2 ) , which contradicts (7).
Therefore, for each n N ,
d ( x 2 n + 1 , x 2 n + 2 ) < d ( x 2 n , x 2 n + 1 )
and so
m ( x 2 n , x 2 n + 1 ) = d ( x 2 n , x 2 n + 1 ) .
Consequently, (6) is proved when k 0 is an even number. By the same argument, one can check that (6) holds when k is an odd number. Thus, the sequence { d ( x n , x n + 1 ) } n 1 is non-increasing and bounded from below, so it is convergent. Hence there is a real number γ 0 such that
lim n d ( x n , x n + 1 ) = lim n m ( x n , x n + 1 ) = γ .
We claim that γ = 0 . To prove the claim, at first suppose that
Ω = { ( d ( T x , S y ) , m ( x , y ) ) : ( x , y ) A } .
By (2) and definition of A , we observe that
η ( t , s ) 0 for all ( t , s ) Ω \ { ( 0 , 0 ) } .
For each n 0 we have
1 2 min { d ( x 2 n , T x 2 n ) , d ( x 2 n + 1 , S x 2 n + 1 ) } = 1 2 min { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } d ( x 2 n , x 2 n + 1 ) .
Thus ( x 2 n , x 2 n + 1 ) A for each n 0 . Consequently, (9) implies that
η ( d ( T x 2 n , S x 2 n + 1 ) , m ( x 2 n , x 2 n + 1 ) ) 0 .
So
lim sup n η ( d ( x 2 n + 1 , x 2 n + 2 ) , m ( x 2 n , x 2 n + 1 ) ) 0 .
In order to prove that γ = 0 , suppose, by contradiction, that γ > 0 . From (8) we have
lim n d ( x 2 n + 1 , x 2 n + 2 ) = lim n m ( x 2 n , x 2 n + 1 ) ) = γ > 0 .
Therefore, from ( η 2 ) ,
lim sup n η ( d ( x 2 n + 1 , x 2 n + 2 ) , m ( x 2 n , x 2 n + 1 ) ) < 0 ,
which contradicts (10). So the claim is proved, that is,
lim n d ( x n , x n + 1 ) = lim n m ( x n , x n + 1 ) = 0 .
Step (3): We claim that { x n } is a Cauchy sequence.
Since { d x n , x n + 1 } 0 , Proposition 1 guarantees that x n x m for all n , m N such that n m (it cannot be almost constant because x n x n + 1 for all n N ). Reasoning by contradiction, suppose that { x 2 n } is not a Cauchy sequence. Taking into account Lemma 1, there exist ε 0 > 0 and subsequences { x 2 m k } and { x 2 n k } of { x n } such that n k is the smallest index for which n k > m k > k and d ( x 2 m k , x 2 n k ) ε 0 and
(l1)
lim k d ( x 2 m k , x 2 n k ) = ε 0 ;
(l2)
lim k d ( x 2 m k 1 , x 2 n k ) = ε 0 ;
(l3)
lim k d ( x 2 m k , x 2 n k + 1 ) = ε 0 ;
(l4)
lim k d ( x 2 m k 1 , x 2 n k + 1 ) = ε 0 .
Therefore, from the definition of m ( x , y ) we have
lim k m ( x 2 n k , x 2 m k 1 ) = lim k max d ( x 2 n k , x 2 m k 1 ) , d ( x 2 n k , T x 2 n k ) d ( x 2 m k 1 , S x 2 m k 1 ) d ( x 2 n k , x 2 m k 1 ) = max { ε 0 , 0 } = ε 0 .
So
lim k d ( x 2 m k , x 2 n k + 1 ) = lim k m ( x 2 m k 1 , x 2 n k ) = ε 0 > 0 .
Hence, ( η 2 ) implies that
lim sup k η ( d ( x 2 m k , x 2 n k + 1 ) , m ( x 2 m k 1 , x 2 n k ) ) < 0 .
On the other hand, we claim that for sufficiently large k N , if n k > m k > k , then
1 2 min { d ( x 2 n k , T x 2 n k ) , d ( x 2 m k 1 , S x 2 m k 1 ) } d ( x 2 n k , x 2 m k 1 )
Indeed, since n k > m k and { d ( x n , x n + 1 ) } is non-increasing, we have
d ( x 2 n k , T x 2 n k ) = d ( x 2 n k , x 2 n k + 1 ) d ( x 2 m k + 1 , x 2 m k ) d ( x 2 m k , x 2 m k 1 ) = d ( x 2 m k 1 , S x 2 m k 1 ) .
So, the left hand side of inequality (13) is equal to
1 2 d ( x 2 n k , T x 2 n k ) = 1 2 d ( x 2 n k , x 2 n k + 1 ) .
Therefore, we must show that, for sufficiently large k N , if n k > m k > k , then
d ( x 2 n k , x 2 n k + 1 ) d ( x 2 n k , x 2 m k 1 ) .
According to (11), there exists k 1 N such that for any k > k 1 ,
d ( x 2 n k , x 2 n k + 1 ) < ε 0 2 .
There also exists k 2 N such that for any k > k 2 ,
d ( x 2 m k 1 , x 2 m k ) < ε 0 2 .
Hence, for any k > max { k 1 , k 2 } and n k > m k > k , we have
ε 0 d ( x 2 n k , x 2 m k ) d ( x 2 n k , x 2 m k 1 ) + d ( x 2 m k 1 , x 2 m k ) d ( x 2 n k , x 2 m k 1 ) + ε 0 2 .
So, one concludes that
ε 0 2 d ( x 2 n k , x 2 m k 1 ) .
Thus we obtain that for any k > max { k 1 , k 2 } and n k > m k > k ,
d ( x 2 n k , x 2 n k + 1 ) ε 0 2 d ( x 2 n k , x 2 m k 1 ) .
Then (13) is proved. Therefore, by (2) and definition of A , for sufficiently large k N , if n k > m k > k , then ( x 2 n k , x 2 m k 1 ) A . Consequently, for sufficiently large k N , if n k > m k > k then
η ( d ( T x 2 n k , S x 2 m k 1 ) , m ( x 2 n k , x 2 m k 1 ) ) 0 .
Hence
lim sup k η ( d ( x 2 n k + 1 , x 2 m k ) , m ( x 2 n k , x 2 m k 1 ) ) 0 ,
which contradicts (12). This contradiction proves that { x n } is a Cauchy sequence and, since X is complete, there exists u X such that { x n } u as n .
Step (4): We claim that u is a common fixed point of T and S.
Since T and S are continuous, we deduce that
u = lim n x 2 n + 1 = lim n T x 2 n = T lim n x 2 n = T u
and
u = lim n x 2 n + 2 = lim n S x 2 n + 1 = S lim n x 2 n + 1 = S u .
Therefore T u = S u = u , that is, u is a common fixed point of T and S.
Step (5): We claim T and S have a unique common fixed point, and it is the unique fixed point of T and the unique fixed point of S.
Suppose that T and S have two distinct common fixed points u , v X . Therefore T u = S u = u , T v = S v = v and d u , v > 0 . Therefore
m u , v = max d ( u , v ) , d ( u , T u ) d ( v , S v ) d ( u , v ) = max d ( u , v ) , 0 = d ( u , v ) > 0 .
Taking into account that
1 2 min { d ( u , T u ) , d ( v , S v ) } = 1 2 min { 0 , 0 } = 0 < d ( u , v ) ,
the contractivity condition (2) guarantees that η ( d ( T u , S v ) , m ( u , v ) ) 0 . Therefore,
0 η ( d ( T u , S v ) , m ( u , v ) ) = η ( d ( u , v ) , d ( u , v ) ) < ψ d ( u , v ) ψ d ( u , v ) = 0 ,
which is a contradiction. As a consequence, T and S have, at most, a unique common fixed point. Furthermore, if x is a fixed point of T or S, step 1 guarantees that x is a common fixed point of T and S, which is unique, so T and S can only have, at most, a unique fixed point. □
Example 4.
Let X = 0 , 1 endowed with the usual metric d x , y = x y for all x , y X , and let T , S : X X given by
T x = x 4 a n d S x = x 6 for all x X .
Clearly X , d is complete and T and S are continuous self-mappings on X. Let us show that T and S satisfy the hypotheses of Theorem 2 associated to the function
η t , s = 0 . 9 s t 2 for all t , s 0 , + .
If we take α = 0.9 and ψ t = t / 2 for all t 0 , + , then ψ Ψ and
η t , s = 0 . 9 s t 2 = 0 . 9 s 2 t 2 = α ψ s ψ t for all t , s 0 , + .
Item ( e 1 ) in Example 2 guarantees that η Z Ψ . We have to prove that the contractivity condition
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s η ( d ( T x , S y ) , m ( x , y ) ) 0
holds for all x , y X . Therefore, let x , y X be two arbitrary points such that
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) ,
and we have to prove that
η ( d ( T x , S y ) , m ( x , y ) ) 0 .
The first case occurs when x = y . In this case,(14) shows that T x = x or S x = x . Clearly T x = x or S x = 0 implies that x = 0 , so
η ( d ( T x , S y ) , m ( x , y ) ) = η ( d ( T 0 , S 0 ) , m ( 0 , 0 ) ) = η ( 0 , 0 ) = 0 ,
which means that (15) holds when x = y under the assumption (14). Now assume that x y . Notice that
d x , T x = x x 4 = 3 x 4 , d y , S y = y y 6 = 5 y 6 , d T x , S y = x 4 y 6 = 3 x 2 y 12 .
Therefore, inequality (15) is equivalent to:
0 η ( d ( T x , S y ) , m ( x , y ) ) = 0 . 9 m ( x , y ) d ( T x , S y ) 2 d ( T x , S y ) 0 . 9 m ( x , y ) 3 x 2 y 12 9 10 max x y , 3 x 4 · 5 y 6 x y = 9 10 max x y , 5 x y 8 x y .
Since
1 2 min { d ( x , T x ) , d ( y , S y ) } = 1 2 min 3 x 4 , 5 y 6 = min 3 x 8 , 5 y 12 ,
we will consider the cases x < y and y < x , and the subcases depending on the number that reaches the minimum in (17).
Case (1) Suppose that x < y . In this case, d ( x , y ) = x y = y x .
Subcase (1.1) 3 x 8 5 y 12 .
In this subcase,
min 3 x 8 , 5 y 12 = 3 x 8 .
Hence, (14) is equivalent to
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) 3 x 8 y x 11 x 8 y x 8 11 y .
We show that
3 x 2 y 12 9 10 x y = 9 10 y x
as follows. On the one hand,
3 x 2 y 12 9 10 y x 15 x 10 y 54 y 54 x 69 x 64 y x 64 69 y ,
which holds because x 8 11 y by (18). On the other hand,
3 x 2 y 12 9 10 y x 15 x + 10 y 54 y 54 x 39 x 44 y x 44 39 y ,
which is true because x < y . Joining (19) and (20), we deduce that
d T x , S y = 3 x 2 y 12 9 10 y x = 9 10 d ( x , y ) 9 10 m ( x , y ) ,
so the contractivity condition (16) holds.
Subcase (1.2) 5 y 12 < 3 x 8 .
This subcase is impossible because
5 y 12 < 3 x 8 y < 36 40 x y < 9 10 x ,
which contradicts the fact that x < y .
Case (2) Suppose that y < x . In this case, d ( x , y ) = x y = x y .
Subcase (2.1) 3 x 8 < 5 y 12 .
In this subcase,
min 3 x 8 , 5 y 12 = 3 x 8 .
Notice that
3 x 8 < 5 y 12 36 x 40 < y 9 10 x < y .
This fact contradicts (14) because:
3 x 8 x y = x y 3 x 8 x 8 y 8 y 5 x y 5 8 x ,
which is impossible since
y 5 8 x 9 10 x < y .
Therefore, this subcase cannot hold.
Subcase (2.2) 5 y 12 3 x 8 .
In this case,
min 3 x 8 , 5 y 12 = 5 y 12 .
Therefore,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) 5 y 12 x y 5 y 12 x 12 y y 12 17 x .
Since y < x , then 3 x 2 y = x + 2 x y > x 0 , so
3 x 2 y 12 9 10 x y = 9 10 x y 15 x 10 y 54 x 54 y 44 y 39 x y 39 44 x ,
which holds because of (21). Hence
d T x , S y = 3 x 2 y 12 9 10 x y = 9 10 d ( x , y ) 9 10 m ( x , y ) ,
and the contractivity condition (16) holds.
In any case, we have proved that η ( d ( T x , S y ) , m ( x , y ) ) 0 for all x , y X such that
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) .
Finally, notice that η is not a simulation function because if t 0 = 2 and s 0 = 1 , then
η t 0 , s 0 = 0 . 9 s 0 t 0 2 = 0 . 9 2 2 = 0 . 55 > 1 = 1 2 = s 0 t 0 .
As a consequence, Theorem 2 is applicable in order to guarantee that T and S have a common fixed point, which is unique and, in fact, it is the unique fixed point of T and the unique fixed point of S. However, other results using simulation functions are not applicable to this context.
If we pay attention to all details in Example 4, then we observe that, in fact,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s d ( T x , S y ) 9 10 d x , y
for all distinct points x , y X . Hence, the reader can imagine that the term
d ( x , T x ) d ( y , S y ) d ( x , y )
does not play a role in m x , y and, indeed, in the proof. Next, we show an example in which this term is a key piece in order to guarantee that T and S have a common fixed point.
Example 5.
Let X = 1 , 1 endowed with the usual metric d x , y = x y for all x , y X , and let T , S : X X given by
T x = 3 10 x a n d S x = 2 5 x for all x X .
Clearly X , d is complete and T and S are continuous self-mappings on X. We are going to show that T and S satisfy all the hypotheses of Theorem 2 associated to
η t , s = 0 . 9 s t 2 for all t , s 0 , + .
Notice that in Example 4 we have proved that η Z Ψ but η is not a simulation function. Before proving that T and S satisfy the contractivity condition, we want to highlight that condition
d ( T x , S y ) d x , y
is false even when x and y are positive and they satisfy the antecedent condition in the contractivity condition. To do that, take x 0 = 0.53 and y 0 = 0.73 . Then d x 0 , y 0 = 0.2 and
1 2 min { d ( x 0 , T x 0 ) , d ( y 0 , S y 0 ) } = 1 2 min d 0 . 53 , 0 . 159 , d 0 . 73 , 0 . 292 = 1 2 min 0 . 371 , 1 . 022 = 0 . 371 2 = 0 . 1855 < 0 . 2 = d x 0 , y 0 .
However
d ( T x 0 , S y 0 ) = d 0.159 , 0.292 = 0 . 451 > 0 . 2 = d x 0 , y 0 .
This will prove that the second term in the maximum in
m ( x , y ) = max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , when x y ,
will be of great importance. Let x , y X be such that
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) .
If x = y , then the previous condition guarantees that T x = x or S x = x . This is only possible when x = 0 and, in this case,
η ( d ( T x , S y ) , m ( x , y ) ) = η ( d ( T 0 , S 0 ) , m ( 0 , 0 ) ) = η ( 0 , 0 ) = 0 .
Next, suppose that x y . Notice that
d x , T x = x 3 x 10 = 7 x 10 , d y , S y = y 2 y 5 = 7 y 5 , d T x , S y = 3 x 10 2 y 5 = 3 x + 4 y 10 .
Then
1 2 min { d ( x , T x ) , d ( y , S y ) } = 1 2 min 7 x 10 , 7 y 5 = min 7 x 20 , 7 y 10 .
Furthermore, the contractivity condition can be equivalently expressed as:
0 η ( d ( T x , S y ) , m ( x , y ) ) = 0 . 9 m ( x , y ) d ( T x , S y ) 2 d ( T x , S y ) 0 . 9 m ( x , y ) 3 x + 4 y 10 9 10 max x y , 7 x 10 · 7 y 5 x y 3 x + 4 y 9 max x y , 49 x y 50 x y .
As a consequence, we have to prove that, for all distinct x , y X ,
min 7 x 20 , 7 y 10 x y i m p l i e s 3 x + 4 y 9 max x y , 49 x y 50 x y .
We consider some cases and subcases.
Case (1) Assume that x 0 y . Then d x , y = y x .
In this case,
7 x 20 x y 7 x 20 y x 13 x 20 y , t r u e b e c a u s e x 0 y ; 7 y 10 x y 7 y 20 y x x 13 y 20 , t r u e b e c a u s e x 0 y .
In any case, condition
min 7 x 20 , 7 y 10 x y
holds. Since
3 x + 4 y 9 y x 12 x 5 y , t r u e b e c a u s e x 0 y ; 3 x + 4 y 9 y x 6 x 13 y , t r u e b e c a u s e x 0 y ,
we conclude that
3 x + 4 y 9 x y ,
so (23) holds.
Case (2) Assume that y 0 x . Then d x , y = x y .
In this case,
7 x 20 x y 7 x 20 x y y 13 x 20 , t r u e b e c a u s e y 0 x ; 7 y 10 x y 7 y 20 x y 13 y 20 x , t r u e b e c a u s e y 0 x .
In any case, condition
min 7 x 20 , 7 y 10 x y
holds. Since
3 x + 4 y 9 x y 13 y 6 x , t r u e b e c a u s e y 0 x ; 3 x + 4 y 9 x y 4 y 12 x , t r u e b e c a u s e y 0 x ,
we conclude that
3 x + 4 y 9 x y ,
so (23) holds.
Case (3) Assume that 0 < x < y . Hence d x , y = y x and 3 x + 4 y = 3 x + 4 y .
In this case,
d x , T x = 7 x 20 < 7 y 20 < 7 y 10 = d y , S y .
If
d T x , S y = 3 x + 4 y 10 9 10 x y ,
then (23) holds and this case is finished. On the contrary case, assume that
3 x + 4 y 10 > 9 10 x y .
Therefore
3 x + 4 y 10 > 9 10 x y 3 x + 4 y > 9 y x 12 x > 5 y 5 12 y < x .
Then we know that:
0 < 5 12 y < x .
In particular, multiplying by x and y,
5 12 y 2 < x y a n d 5 12 x y < x 2 .
In this case,
d T x , S y 9 10 d ( x , T x ) d ( y , S y ) d ( x , y ) 3 x + 4 y 10 9 10 7 x 10 · 7 y 5 x y 3 x + 4 y y x 441 50 x y 4 y 2 3 x 2 x y 441 50 x y 200 y 2 150 x 2 50 x y 441 x y 200 y 2 150 x 2 491 x y .
To prove that this inequality holds, we use (24). Then:
5 12 y 2 < x y y 2 < 12 5 x y 200 y 2 < 200 12 5 x y = 480 x y ; 5 12 x y < x 2 x 2 < 5 12 x y 150 x 2 < 150 5 12 x y = 125 2 x y .
Adding the last two inequalities,
200 y 2 150 x 2 480 x y 125 2 x y = 835 2 x y = 417 . 5 x y < 491 x y ,
so (25) guarantees that, in this case,
d T x , S y 9 10 d ( x , T x ) d ( y , S y ) d ( x , y ) 9 10 m x , y .
Case (4) Assume that 0 < y < x . In this case, d x , y = x y and 3 x + 4 y = 3 x + 4 y .
If the inequality
d T x , S y = 3 x + 4 y 10 9 10 x y = 9 10 x y
holds, then the contractivity condition (22) is true. On the contrary case, assume that
3 x + 4 y 10 > 9 10 x y ,
that is,
3 x + 4 y 10 > 9 10 x y 3 x + 4 y > 9 x 9 y 13 y > 6 x 6 13 x < y .
Then we know that
0 < 6 13 x < y .
Multiplying by x and y, we deduce that
6 13 x 2 < x y a n d 6 13 x y < y 2 .
The contractivity condition is equivalent to:
d T x , S y 9 10 d ( x , T x ) d ( y , S y ) d ( x , y ) 3 x + 4 y 10 9 10 7 x 10 · 7 y 5 x y 3 x + 4 y x y 441 50 x y 3 x 2 + x y 4 y 2 441 50 x y 150 x 2 + 50 x y 200 y 2 441 x y 150 x 2 200 y 2 391 x y .
To prove that this inequality holds, we use (26). Then:
6 13 x 2 < x y x 2 < 13 6 x y 150 x 2 < 150 13 6 x y = 325 x y ; 6 13 x y < y 2 y 2 < 6 13 x y 200 x 2 < 200 6 13 x y = 1200 13 x y .
Adding the last two inequalities,
150 x 2 200 y 2 < 325 x y 1200 13 x y = 3025 13 x y < 233 x y < 391 x y ,
so (27) guarantees that, in this case,
d T x , S y 9 10 d ( x , T x ) d ( y , S y ) d ( x , y ) 9 10 m x , y .
Case (5) Assume that x < y < 0 . It is sufficient to apply case 4 to x = x > 0 and y = y > 0 because 0 < y < x , d x , T x = d x , T x , d y , S = d ( y , S y ) , d ( x , y ) = d x , y and so on.
Case (6) Assume that y < x < 0 . It is sufficient to apply case 3 to x = x > 0 and y = y > 0 because 0 < x < y .
In the following result, we replace the continuity of T and S by a distinct contractivity condition.
Theorem 3.
Let ( X , d ) be a complete metric space and let T , S : X X be two mappings such that, for all x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s η ( d ( T x , S y ) , r ( x , y ) ) 0 ,
where η Z Ψ and
r ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , S y ) 1 + d ( x , y ) .
Then T and S have a unique common fixed point.
Proof. 
Let ψ Z Ψ be a function associated to η as in Definition 2. First of all, we prove that, under the contractivity condition, any fixed point of T is a common fixed point of S and T (that is, if x X is such that T x = x , then S x = x ). To prove it, suppose that x X is such that T x = x and, by contradiction, assume that S x x . Then
r x , x = max d ( x , x ) , [ 1 + d ( x , T x ) ] d ( x , S x ) 1 + d ( x , x ) = d ( x , S x ) > 0 .
Using y = x in (28), since
1 2 min d ( x , T x ) , d ( x , S x ) a a = 1 2 min 0 , d ( x , S x ) a a = 0 = d x , x ,
then
η ( d ( T x , S x ) , r ( x , x ) ) 0 .
Since d ( x , S x ) > 0 , this means that
0 η ( d ( T x , S x ) , r ( x , x ) ) = η ( d ( x , S x ) , d ( x , S x ) ) < < ψ d ( x , S x ) ψ d ( x , S x ) = 0 ,
which is impossible. This proves the claim. In fact, swaping T and S, we have checked that any fixed point of T or S is a common fixed point of T and S.
Next, by starting from an arbitrary point x 0 , we shall built up a recursive sequence { x n } defined as:
x 2 n + 1 = T x 2 n , a n d x 2 n + 2 = S x 2 n + 1 for each n N .
If there is n 0 N such that x n 0 = x n 0 + 1 , then x n 0 is a fixed point of T or S, so x n 0 is a common fixed point of T and S. In this case, the existence of some common fixed point of T and S is guaranteed. Through the rest of the proof, we suppose that
x n x n + 1 for all n N .
In particular,
r x n , x n + 1 d x n , x n + 1 > 0 for all n N .
We shall consider the following set in that will be useful in later stages of the proof.
A : = ( x , y ) X × X : 1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) .
Notice that A is non-empty because ( x 2 n , T x 2 n ) = ( x 2 n , x 2 n + 1 ) A for all n N .
We divide the rest of the proof into five steps.
Step (1): We claim that
d ( x k + 1 , x k + 2 ) r ( x k , x k + 1 ) = d ( x k , x k + 1 ) for all k N .
To see this, suppose that k = 2 n for some n N . We have
1 2 min { d ( x 2 n , T x 2 n ) , d ( x 2 n + 1 , S x 2 n + 1 ) } = 1 2 min { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } d ( x 2 n , x 2 n + 1 ) .
So from (28) and ( η 1 ) we have:
0 η ( d ( T x 2 n , S x 2 n + 1 ) , r ( x 2 n , x 2 n + 1 ) ) = η ( d ( x 2 n + 1 , x 2 n + 2 ) , r ( x 2 n , x 2 n + 1 ) ) < ψ r ( x 2 n , x 2 n + 1 ) ψ d ( x 2 n + 1 , x 2 n + 2 ) ,
and as ψ is increasing, then
d ( x 2 n + 1 , x 2 n + 2 ) < r ( x 2 n , x 2 n + 1 ) .
On the other hand,
r ( x 2 n , x 2 n + 1 ) = max d ( x 2 n , x 2 n + 1 ) , [ 1 + d ( x 2 n , T x 2 n ) ] d ( x 2 n + 1 , S x 2 n + 1 ) 1 + d ( x 2 n , x 2 n + 1 ) = max d ( x 2 n , x 2 n + 1 ) , [ 1 + d ( x 2 n , x 2 n + 1 ) ] d ( x 2 n + 1 , x 2 n + 2 ) 1 + d ( x 2 n , x 2 n + 1 ) = max d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) .
So, if there exists some n 0 N such that d ( x 2 n 0 + 1 , x 2 n 0 + 2 ) d ( x 2 n 0 , x 2 n 0 + 1 ) , then
r ( x 2 n 0 , x 2 n 0 + 1 ) = d ( x 2 n 0 + 1 , x 2 n 0 + 2 )
which contradicts (33). Hence, for each n N ,
d ( x 2 n + 1 , x 2 n + 2 ) < d ( x 2 n , x 2 n + 1 )
and also
r ( x 2 n , x 2 n + 1 ) = d ( x 2 n , x 2 n + 1 ) .
Consequently, (32) is proved when k 0 is an even number. By the same argument, one can verify that (32) holds when k is an odd number.
Step (2): We prove that lim k d ( x k , x k + 1 ) = 0 .
Since the sequence { d ( x n , x n + 1 ) } n 1 is non-increasing and bounded below, it is convergent to a real number γ 0 . Hence
lim n d ( x n , x n + 1 ) = lim n r ( x n , x n + 1 ) = γ .
We claim that γ = 0 . To prove the claim, let define
Ω = { ( d ( T x , S y ) , r ( x , y ) ) : ( x , y ) A } .
By (28) and definition of A , it follows that
η ( t , s ) 0 for all ( t , s ) Ω \ { ( 0 , 0 ) } .
For each n 0 we have
1 2 min { d ( x 2 n , T x 2 n ) , d ( x 2 n + 1 , S x 2 n + 1 ) } = 1 2 min { d ( x 2 n , x 2 n + 1 ) , d ( x 2 n + 1 , x 2 n + 2 ) } d ( x 2 n , x 2 n + 1 ) .
Thus ( x 2 n , x 2 n + 1 ) A for each n 0 . Consequently, (35) implies that
η ( d ( T x 2 n , S x 2 n + 1 ) , r ( x 2 n , x 2 n + 1 ) ) 0 for all n N .
So
lim sup n η ( d ( x 2 n + 1 , x 2 n + 2 ) , r ( x 2 n , x 2 n + 1 ) ) 0 .
Next, reasoning by contradiction, suppose that γ > 0 . From (34) we have
lim n d ( x 2 n + 1 , x 2 n + 2 ) = lim n r ( x 2 n , x 2 n + 1 ) ) = γ > 0 .
Therefore, from ( η 2 ) ,
lim sup n η ( d ( x 2 n + 1 , x 2 n + 2 ) , r ( x 2 n , x 2 n + 1 ) ) < 0 ,
which contradicts (36). So the claim is proved and we obtain that
lim n d ( x n , x n + 1 ) = lim n r ( x n , x n + 1 ) = 0 .
Step (3): We claim that { x n } is a Cauchy sequence. To show that { x n } is a Cauchy sequence, because of (37), it is enough to show that the subsequence { x 2 n } is a Cauchy sequence. On contrary, suppose that { x 2 n } is not a Cauchy sequence. By Lemma 1 there exist ε 0 > 0 and subsequences { x 2 m k } and { x 2 n k } of { x n } such that n k is the smallest index for which n k > m k > k and d ( x 2 m k , x 2 n k ) ε 0 and
(l1)
lim k d ( x 2 m k , x 2 n k ) = ε 0 .
(l2)
lim k d ( x 2 m k 1 , x 2 n k ) = ε 0 .
(l3)
lim k d ( x 2 m k , x 2 n k + 1 ) = ε 0 .
(l4)
lim k d ( x 2 m k 1 , x 2 n k + 1 ) = ε 0 .
Therefore, from the definition of r ( x , y ) we have
lim k r ( x 2 n k , x 2 m k 1 ) = lim k max d ( x 2 n k , x 2 m k 1 ) , [ 1 + d ( x 2 n k , T x 2 n k ) ] d ( x 2 m k 1 , S x 2 m k 1 ) 1 + d ( x 2 n k , x 2 m k 1 ) = max { ε 0 , 0 } = ε 0 .
So
lim k d ( x 2 m k , x 2 n k + 1 ) = lim k r ( x 2 m k 1 , x 2 n k ) = ε 0 > 0 .
Hence, ( η 2 ) implies that
lim sup n η ( d ( x 2 m k , x 2 n k + 1 ) , r ( x 2 m k 1 , x 2 n k ) ) < 0 .
On the other hand, we claim that for sufficiently large k N , if n k > m k > k , then
1 2 min { d ( x 2 n k , T x 2 n k ) , d ( x 2 m k 1 , S x 2 m k 1 ) } d ( x 2 n k , x 2 m k 1 ) .
Indeed, since n k > m k and { d ( x n , x n + 1 ) } is non-increasing we have
d ( x 2 n k , T x 2 n k ) = d ( x 2 n k , x 2 n k + 1 ) d ( x 2 m k + 1 , x 2 m k ) d ( x 2 m k , x 2 m k 1 ) = d ( x 2 m k 1 , S x 2 m k 1 ) .
So, the left hand side of inequality (39) is equal to
1 2 d ( x 2 n k , T x 2 n k ) = 1 2 d ( x 2 n k , x 2 n k + 1 )
Therefore, we must show that, for sufficiently large k N , if n k > m k > k , then
d ( x 2 n k , x 2 n k + 1 ) d ( x 2 n k , x 2 m k 1 ) .
According to (37), there exists k 1 N such that for any k > k 1 ,
d ( x 2 n k , x 2 n k + 1 ) < ε 0 2
There exists k 2 N such that for any k > k 2 ,
d ( x 2 m k 1 , x 2 m k ) < ε 0 2
Hence, for any k > max { k 1 , k 2 } and n k > m k > k , we have
ε 0 d ( x 2 n k , x 2 m k ) d ( x 2 n k , x 2 m k 1 ) d ( x 2 m k 1 , x 2 m k ) d ( x 2 n k , x 2 m k 1 ) + ε 0 2 .
So, one concludes that
ε 0 2 d ( x 2 n k , x 2 m k 1 ) .
Thus we obtain that for any k > max { k 1 , k 2 } and n k > m k > k ,
d ( x 2 n k , x 2 n k + 1 ) ε 0 2 d ( x 2 n k , x 2 m k 1 ) .
So (39) is proved. Therefore, by (28) and the definition of A , for sufficiently large k N , if n k > m k > k , then ( x 2 n k , x 2 m k 1 ) A . Consequently, for sufficiently large k N , if n k > m k > k then
η ( d ( T x 2 n k , S x 2 m k 1 ) , r ( x 2 n k , x 2 m k 1 ) ) 0 .
So
lim sup k η ( d ( x 2 n k + 1 , x 2 m k ) , r ( x 2 n k , x 2 m k 1 ) ) 0 ,
which contradicts (38). This contradiction demonstrates that { x n } is a Cauchy sequence and, since X is complete, there exists u X such that { x n } u as n .
Step (4): u is a common fixed point of T and S.
If u is a fixed point of T or S, we have demonstrated at the beginning of the proof that u is a common fixed point of T and S, and this step is finished. Next, suppose that d u , T u > 0 and d u , S u > 0 , and we will get a contradiction.
If there are infinitely many positive even integers { 2 n k } such that x 2 n k = u for all k N , then x 2 n k + 1 = T x 2 n k = T u for all k N , and as { x 2 n k + 1 } u , then T u = u , which is false. The same is true if there are infinitely many positive odd integers { 2 n k + 1 } such that x 2 n k + 1 = u for all k N , because x 2 n k + 2 = T x 2 n k + 1 = S u for all k N . In general, if there is a subsequence { x n k } such that x n k = u for all k N , then we can guarantee that u is a common fixed point of T and S. On the contrary case, without loss of generality, suppose that
d ( x n , u ) 0 for each n 0 .
Since { d ( x 2 n , u ) } 0 and { d ( x 2 n , x 2 n + 1 ) } 0 , then
lim n r ( u , x 2 n ) = lim n max d ( x 2 n , u ) , [ 1 + d ( x 2 n , T x 2 n ) ] d ( u , S u ) 1 + d ( x 2 n , u ) = lim n max d ( x 2 n , u ) , [ 1 + d ( x 2 n , x 2 n + 1 ) ] d ( u , S u ) 1 + d ( x 2 n , u ) = max { 0 , d u , S u } = d u , S u > 0 .
This proves that
lim n r ( u , x 2 n ) = d ( u , S u ) .
In the same way, one can show that
lim n r ( u , x 2 n + 1 ) = d ( T u , u ) .
Now, we claim that for each n 0 , at least one of the following inequalities is true:
1 2 d ( x 2 n , x 2 n + 1 ) d ( x 2 n , u )
or
1 2 d ( x 2 n + 1 , x 2 n + 2 ) d ( x 2 n , u ) .
If these inequalities are both false for some n 0 0 , then we get
d ( x 2 n 0 , x 2 n 0 + 1 ) d ( x 2 n 0 , u ) + d ( u , x 2 n 0 + 1 ) < 1 2 d ( x 2 n 0 , x 2 n 0 + 1 ) + d ( x 2 n 0 + 1 , x 2 n 0 + 2 ) 1 2 d ( x 2 n 0 , x 2 n 0 + 1 ) + d ( x 2 n 0 , x 2 n 0 + 1 ) = d ( x 2 n 0 , x 2 n 0 + 1 ) ,
which is a contradiction, and the claim is proved. So, one can consider the following two subcases.
Subcase (4.1): The inequality (42) holds for infinitely many n 0 . In this case, for infinitely many n 0 we have
1 2 min { d ( x 2 n , T x 2 n ) , d ( u , S u ) } = 1 2 min { d ( x 2 n , x 2 n + 1 ) , d ( u , S u ) } 1 2 d ( x 2 n , x 2 n + 1 ) d ( x 2 n , u ) .
Therefore ( x 2 n , u ) A . Thus
η ( d ( T x 2 n , S u ) , r ( x 2 n , u ) ) Ω \ { ( 0 , 0 ) } .
Consequently, from (35) it is seen that for infinitely many n 0 ,
η ( d ( T x 2 n , S u ) , r ( x 2 n , u ) ) 0 .
Therefore, for infinitely many { n k } k 0 ,
lim sup k η ( d ( x 2 n k + 1 , S u ) , r ( x 2 n k , u ) ) 0 .
However,
lim k d ( x 2 n k + 1 , S u ) = lim k r ( x 2 n k , u ) = d ( u , S u ) > 0 ,
and from ( η 2 ) we have
lim sup k η ( d ( x 2 n k + 1 , S u ) , r ( x 2 n k , u ) ) < 0 ,
which contradicts (44).
Subcase (4.2): The inequality (42) only holds for finitely many n 0 .
In this case, there exists n 0 0 such that (43) is true for any n n 0 . Similar to subcase (4.1), one can prove that (43) also leads to a contradiction unless u is a fixed point of T or S.
As a consequence, in any case, u is a common fixed point of T and S.
Step (5): The common fixed point of T and S is unique.
Suppose that u and v are two distinct common fixed points of T and S, that is, T u = S u = u and T v = S v = v . Hence d u , v > 0 and
r ( u , v ) = max d ( u , v ) , [ 1 + d ( u , T u ) ] d ( v , S v ) 1 + d ( u , v ) = d u , v > 0 .
Since
1 2 min { d ( u , T u ) , d ( v , S v ) } = 0 < d ( u , v ) ,
we deduce from (28) that
0 η ( d ( T u , S v ) , r ( u , v ) ) = η ( d ( u , v ) , d ( u , v ) ) < ψ d ( u , v ) ψ d ( u , v ) = 0 ,
which is a contradiction. Hence, T and S have a unique common fixed point. □

3. Consequences

In this section, we illustrate the applicability of the previous theorems by showing they cover a lot of distinct cases which permit us to deduce several results under different hypotheses and contractivity conditions. For instance, the following corollary is an immediate consequence of Theorem 2 by removing the restriction
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) .
Corollary 1.
Let ( X , d ) be a complete metric space and T and S be two continuous self-maps on X such that, for all x , y X ,
η ( d ( T x , S y ) , m ( x , y ) ) 0 ,
where η Z Ψ and
m ( x , y ) = d T x , S x , i f x = y , max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , i f x y .
Then T and S have a unique common fixed point.
Corollary 2.
Let ( X , d ) be a complete metric space and let T be continuous self-map on X. If there exists η Z Ψ such that, for all x , y X ,
1 2 d ( x , T x ) d ( x , y ) i m p l i e s η ( d ( T x , T y ) , m T ( x , y ) ) 0 ,
where
m T ( x , y ) = 0 , if x = y , max d ( x , y ) , d ( x , T x ) d ( y , T y ) d ( x , y ) , if x y ,
then T has a unique fixed point.
Proof. 
Choose S = T in Theorem 2 and we get the proof. □
The following corollary is a consequence of Corollary 2.
Corollary 3.
Let ( X , d ) be a complete metric space and let T be a continuous self-map on X. If there exists η Z Ψ such that, for all x , y X ,
η ( d ( T x , T y ) , m T ( x , y ) ) 0 ,
where
m T ( x , y ) = 0 , i f x = y , max d ( x , y ) , d ( x , T x ) d ( y , T y ) d ( x , y ) , i f x y ,
then T has a unique fixed point.
Corollary 4.
Let ( X , d ) be a complete metric space and let T and S be two continuous self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ψ ( m ( x , y ) ) ϕ ( m ( x , y ) ) ,
where ψ : [ 0 , + ) [ 0 , + ) is continuous nondecreasing function such that ψ ( t ) = 0 if , a n d only if , t = 0 ,
m ( x , y ) = d T x , S x , i f x = y , max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , i f x y ,
and ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim inf s t ϕ ( s ) > 0 for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Define η ( t , s ) = ψ ( s ) ϕ ( s ) ψ ( t ) for all t , s 0 . Then η is a Ψ -simulation function. Indeed, ψ Ψ and ( η 1 ) clearly holds. On the other hand, if { t n } , { s n } are two sequences in ( 0 , + ) such that
lim n t n = lim n s n > 0 ,
then, we have
lim sup n η ( t n , s n ) = lim sup n ( ψ ( s n ) ϕ ( s n ) ψ ( t n ) ) 0 lim inf n ϕ ( s n ) < 0 .
So ( η 2 ) holds and we can apply Theorem 2 to complete the proof. □
Remark 2.
In some of the following results we will consider two functions ψ , ϕ : [ 0 , + ) [ 0 , + ) such that:
( i )
ψ is a continuous non-decreasing function and ψ ( t ) = 0 if, and only if, t = 0 .
( i i )
ϕ is lower semi-continuous with ϕ ( t ) = 0 if, and only if, t = 0 .
Corollary 5.
Let ( X , d ) be a complete metric space and let T and S be two continuous self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ψ ( m ( x , y ) ) ϕ ( m ( x , y ) ) ,
where ψ and ϕ are given as in Remark 2 and
m ( x , y ) = d T x , S x , if x = y , max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , if x y .
Then T and S have a unique common fixed point.
Proof. 
Since ϕ is lower semi-continuous, if
lim n s n = > 0 ,
then
lim inf n ϕ ( s n ) ϕ ( ) > 0 .
So one can apply Corollary 4. □
Corollary 6.
Let ( X , d ) be a complete metric space and let T and S be two continuous self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ρ ( m ( x , y ) ) ψ ( m ( x , y ) )
where ψ Ψ , m ( x , y ) is defined as in Corollary 5 and ρ : [ 0 , + ) [ 0 , 1 ) is a function such that ρ ( t ) = 0 if, and only if, t = 0 , and lim sup t s ρ ( t ) < 1 for each s > 0 . Then T and S have a unique common fixed point.
Proof. 
Take η ( t , s ) = ρ ( s ) ψ ( s ) ψ ( t ) for all t , s 0 . One can easily show that η is a Ψ -simulation function. Now this consequence follows from Theorem 2. □
Corollary 7.
Let ( X , d ) be a complete metric space and let T and S be two continuous maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) + ϕ ( d ( T x , S y ) ) ψ ( m ( x , y ) ) ,
where ψ Ψ , m ( x , y ) is defined as in Corollary 5 and ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim inf s t ϕ ( s ) > 0 for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Take η ( t , s ) = ψ ( s ) ϕ ( s ) ψ ( t ) for all t , s 0 . Then similar to the proof of Corollary 4, one can see that η is a Ψ -simulation function. So by applying Theorem 2 the proof is completed. □
Corollary 8.
Let ( X , d ) be a complete metric space and let T and S be two continuous self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) ϕ ( ψ ( m ( x , y ) ) ) ,
where ψ Ψ , m ( x , y ) is defined as in Corollary 5 and ϕ : [ 0 , + ) [ 0 , + ) is a function such that for each t > 0 , ϕ ( t ) < t and lim sup s t ϕ ( s ) < t and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Define η ( t , s ) = ϕ ( ψ ( s ) ) ψ ( t ) for all t , s 0 . Then ( η 1 ) holds. On the other hand, if { t n } , { s n } are two sequences in ( 0 , + ) such that
lim n s n = > 0 ,
then, the continuity of ψ and the properties of ϕ show that
lim sup n η ( t n , s n ) = lim sup n ϕ ( ψ ( s n ) ) ψ ( t n ) < ψ ( ) ψ ( ) = 0 .
Therefore ( η 2 ) holds and one can apply Theorem 2 to complete the proof. □
Remark 3.
Suppose that ψ Ψ and ϕ : [ 0 , + ) [ 0 , + ) is an upper semi-continuous function such that ϕ ( t ) < t for each t > 0 and ϕ ( t ) = 0 if, and only if, t = 0 . Then for any sequence { s n } in ( 0 , + ) with lim n s n = > 0 , one can obtain that
lim sup n ϕ ( ψ ( s n ) ) < ψ ( ) .
So, by applying the same argument as in Corollary 8, one can prove the following consequence.
Corollary 9.
Let ( X , d ) be a complete metric space and T and S be two continuous self-maps on X such that for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) ϕ ( ψ ( m ( x , y ) ) ) ,
where ψ Ψ , m ( x , y ) is defined as in Corollary 5 and ϕ : [ 0 , + ) [ 0 , + ) is an upper semi-continuous function such that ϕ ( t ) < t for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Definition 3.
Let ( X , d ) be a complete metric space, let T : X X be a continuous mapping and let η Z . Then T is called a generalized Z-contraction with respect to η if the following condition is satisfied:
η ( d ( T x , T y ) , m T ( x , y ) ) 0
for all x , y X , where
m T ( x , y ) = 0 , i f x = y , max d ( x , y ) , d ( x , T x ) d ( y , T y ) d ( x , y ) , i f x y .
Theorem 4.
Every generalized Z-contraction on a complete metric space has a unique fixed point.
Proof. 
It is an obvious consequence of Corollary 1 by letting S = T . □
Theorem 5.
Let ( X , d ) be a complete metric space and let T : X X be continuous mapping such that, for all x , y X ,
1 2 d ( x , T x ) d ( x , y ) i m p l i e s ψ ( d ( T x , T y ) ) ψ ( m T ( x , y ) ) ϕ ( m T ( x , y ) ) ,
where ψ and ϕ are given as in Remark 2 and
m T ( x , y ) = 0 , if x = y , max d ( x , y ) , d ( x , T x ) d ( y , T y ) d ( x , y ) , if x y .
Then T has a unique fixed point.
Proof. 
It follows from Corollary 5 when S = T . □
Theorem 6.
Let ( X , d ) be a complete metric space and let T and S be two continuous self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ψ ( m ( x , y ) ) ϕ ( m ( x , y ) ) ,
where ψ and ϕ are given as in Theorem 5 and
m ( x , y ) = d T x , S x , i f x = y , max d ( x , y ) , d ( x , T x ) d ( y , S y ) d ( x , y ) , i f x y .
Then T and S have a unique common fixed point.
Proof. 
Since ϕ is lower semi-continuous, if lim n + S n = > 0 , then lim inf n + ϕ ( S n ) ϕ ( ) > 0 . Hence, by applying Corollary 4, we get the result. □
The following example shows that Theorem 2 is a genuine generalization of the Corollary 1.
Example 6.
Let X = { ( 0 , 0 ) , ( 0 , 10 ) , ( 10 , 0 ) , ( 10 , 10 ) , ( 10 , 12 ) } be endowed with the metric d defined by
d ( ( x 1 , x 2 ) , ( y 1 , y 2 ) ) = | x 1 y 1 | + | x 2 y 2 | .
Let T and S be the continuous self-mappings on X defined as follows:
T ( x 1 , x 2 ) = ( min { x 1 , x 2 } , 0 ) ,
and
S ( x 1 , x 2 ) = ( 0 , min { x 1 , x 2 } )
for all x 1 , x 2 X . For any η Z Ψ , the mappings T and S do not satisfy the condition (45) of Corollary 1 at x 0 = ( 10 , 12 ) and y 0 = ( 10 , 10 ) . However, by choosing η ( t , s ) = 11 100 s t for all t , s 0 , + , it is readily verified that η is a Ψ -simulation function where ψ is the identity function on [ 0 , + ) , and all the hypothesis of Theorem 2 are verified.
The following corollary is a consequence of Theorem 3.
Corollary 10.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for all x , y X ,
η ( d ( T x , S y ) , r ( x , y ) ) 0 ,
where η Z Ψ and
r ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , S y ) 1 + d ( x , y ) .
Then T and S have a unique common fixed point.
Corollary 11.
Let ( X , d ) be a complete metric space and let T be self-map on X. If there exists η Z Ψ such that, for all x , y X ,
1 2 d ( x , T x ) d ( x , y ) i m p l i e s η ( d ( T x , T y ) , r ( x , y ) ) 0 ,
where
r T ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , T y ) 1 + d ( x , y ) ,
then T has a unique fixed point.
Proof. 
Putting S = T in Theorem 3 we get the proof. □
The following corollary is an application of Corollary 11.
Corollary 12.
Let ( X , d ) be a complete metric space and let T be self-map on X. If there exists η Z Ψ such that, for all x , y X ,
η ( d ( T x , T y ) , r T ( x , y ) ) 0 ,
where r T ( x , y ) is defined as in Corollary 11, then T has a unique fixed point.
Corollary 13.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ψ ( r ( x , y ) ) ϕ ( r ( x , y ) ) ,
where ψ : [ 0 , + ) [ 0 , + ) is a continuous nondecreasing function and ψ ( t ) = 0 if , a n d only if , t = 0 ,
r ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , S y ) 1 + d ( x , y ) ,
and ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim inf s t ϕ ( s ) > 0 for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Define η ( t , s ) = ψ ( s ) ϕ ( s ) ψ ( t ) for all t , s 0 . In the proof of Corollary 4 we showed that η is a Ψ -simulation function. Hence, we can apply Theorem 3 to complete the proof. □
Corollary 14.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ψ ( r ( x , y ) ) ϕ ( r ( x , y ) ) ,
where ψ and ϕ are given as in Remark 8, and
r ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , S y ) 1 + d ( x , y ) .
Then T and S have a unique common fixed point.
Proof. 
Since ϕ is lower semi-continuous, if
lim n s n = > 0 ,
then
lim inf n ϕ ( s n ) ϕ ( ) > 0 .
So, one can apply Corollary 13. □
Corollary 15.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( d ( T x , S y ) ) ρ ( r ( x , y ) ) ψ ( r ( x , y ) ) ,
where ψ Ψ , r ( x , y ) is defined as in Corollary 14 and ρ : [ 0 , + ) [ 0 , 1 ) is a function such that ρ ( t ) = 0 if, and only if, t = 0 and lim sup t s ρ ( t ) < 1 for each s > 0 . Then T and S have a unique common fixed point.
Proof. 
Take η ( t , s ) = ρ ( s ) ψ ( s ) ψ ( t ) for all t , s 0 . One can easily show that η is a Ψ -simulation function. Now the corollary follows from Theorem 3. □
Corollary 16.
Let ( X , d ) be a complete metric space and let T and S be two maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) + ϕ ( d ( T x , S y ) ) ψ ( r ( x , y ) ) ,
where ψ Ψ , r ( x , y ) is defined as in Corollary 14 and ϕ : [ 0 , + ) [ 0 , + ) is a function such that lim inf s t ϕ ( s ) > 0 for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Take η ( t , s ) = ψ ( s ) ϕ ( s ) ψ ( t ) for all t , s 0 . Then similar to the proof of Corollary 13, one can see that η is a Ψ -simulation function. So, by applying Theorem 3, the proof is completed. □
Corollary 17.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) ϕ ( ψ ( r ( x , y ) ) ) ,
where ψ Ψ , r ( x , y ) is defined as in Corollary 14 and ϕ : [ 0 , + ) [ 0 , + ) is a function such that, for each t > 0 , ϕ ( t ) < t , lim sup s t ϕ ( s ) < t and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Proof. 
Define η ( t , s ) = ϕ ( ψ ( s ) ) ψ ( t ) for all t , s 0 . In the proof of Corollary 8 we proved that η is a Ψ -simulation function. Then we can apply Theorem 3 to complete the proof. □
Remark 4.
Suppose that ψ Ψ and ϕ : [ 0 , + ) [ 0 , + ) is an upper semi-continuous function such that ϕ ( t ) < t for each t > 0 and ϕ ( t ) = 0 if, and only if, t = 0 . Then for any sequence { s n } in ( 0 , + ) with lim n s n = > 0 , one can obtain that:
lim sup n ϕ ( ψ ( s n ) ) < ψ ( ) .
Applying the same argument as in Corollary 17, one can prove the following result.
Corollary 18.
Let ( X , d ) be a complete metric space and let T and S be two self-maps on X such that, for every x , y X ,
1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) i m p l i e s ψ ( ( d ( T x , S y ) ) ϕ ( ψ ( r ( x , y ) ) ) ,
where ψ Ψ , r ( x , y ) is defined as in Corollary 14 and ϕ : [ 0 , + ) [ 0 , + ) is an upper semi-continuous function such that ϕ ( t ) < t for each t > 0 , and ϕ ( t ) = 0 if, and only if, t = 0 . Then T and S have a unique common fixed point.
Definition 4.
Let ( X , d ) be a complete metric space, let T : X X be a mapping and let η Z . Then T is called a generalized Z-contraction with respect to η if the following condition is satisfied:
η ( d ( T x , T y ) , r T ( x , y ) ) 0 ,
for all x , y X , where
r T ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , T y ) 1 + d ( x , y ) .
Theorem 7.
Every generalized Z-contraction on a complete metric space has a unique fixed point.
Proof. 
It follows from Corollary 11. □
Theorem 8.
Let ( X , d ) be a complete metric space and let T : X X be a continuous map such that, for all x , y X , 1 2 d ( x , T x ) d ( x , y ) implies that:
ψ ( d ( T x , T y ) ) ψ ( r T ( x , y ) ) ϕ ( r T ( x , y ) )
where
r T ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , T y ) 1 + d ( x , y )
and ψ and ϕ satisfy:
(i)
ψ : [ 0 , + ) [ 0 , + ) is a continuous non-decreasing function and ψ ( t ) = 0 if and only if t = 0 ;
(ii)
ϕ : [ 0 , + ) [ 0 , + ) is lower semi-continuous with ϕ ( t ) = 0 if and only if t = 0 .
Then T has a unique fixed point.
Proof. 
It follows from Corollary 14 when S = T . □
Theorem 9.
Let ( X , d ) be a complete metric space and T and S be two self-maps on X such that for every x , y X , 1 2 min { d ( x , T x ) , d ( y , S y ) } d ( x , y ) implies that
ψ ( d ( T x , S y ) ) ψ ( r ( x , y ) ) ϕ ( r ( x , y ) )
where ψ and ϕ are given as in Remark 8 and
r ( x , y ) = max d ( x , y ) , [ 1 + d ( x , T x ) ] d ( y , S y ) 1 + d ( x , y ) .
Then T and S have a unique common fixed point.
Proof. 
Since ϕ is lower semi-continuous, if lim n + S n = > 0 , then lim inf n + ϕ ( S n ) ϕ ( ) > 0 . Therefore, applying Corollary 13, we get the result. □
The following example shows that Theorem 3 is a genuine generalization of the Corollary 10.
Example 7.
Let X = { ( 0 , 0 , 0 ) , ( 5 , 5 , 5 ) , ( 5 , 6 , 5 ) , ( 5 , 0 , 0 ) , ( 0 , 0 , 5 ) } be endowed with the metric d defined by
d ( ( x 1 , x 2 , x 3 ) , ( y 1 , y 2 , y 3 ) ) = ( x 1 y 1 ) 2 + ( x 2 y 2 ) 2 + ( x 3 y 3 ) 2 .
Let T and S be the self-mappings on X defined as follows:
T ( x 1 , x 2 , x 3 ) = ( min { x 1 , x 2 , x 3 } , 0 , 0 ) ,
and
S ( x 1 , x 2 , x 3 ) = ( 0 , 0 , min { x 1 , x 2 , x 3 } ) .
For any η Z Ψ , the mappings T and S do not satisfy the condition (46) at x = ( 5 , 5 , 5 ) , y = ( 5 , 6 , 5 ) . However, by choosing η ( t , s ) = 1 64 s t , it is readily verified that η is a Ψ-simulation function where ψ is the identity function on [ 0 , ) and all the hypothesis of Theorem 3 are verified.
To conclude the manuscript, we introduce the following application. Consider the problem
f x t = 0 t k s , x s d s , t 0 , A   for   A > 0 , x 0 = 0
where f : 0 , + 0 , + and k : 0 , A × 0 , + 0 , + are continuous mappings. Let X be the family of all continuous functions x : 0 , A 0 , + such that x 0 = 0 and x t 0 for all t > 0 , A . Define T , S : X X as follows:
T x t = f x t a n d S x t = 0 t k s , x s d s
for al x X and all t 0 , A . Then problem (47) can be seem as the coincidence point problem T x = S x for x X . Let d be the standard metric on X, that is,
d x , y = max x t y t , t 0 , A for all x , y X .
Then X , d is a complete metric space.
Theorem 10.
Consider the problem (47). Assume that f and k are continuous mappings and f 0 = 0 . Assume also that there are α 0 , 1 and ψ Ψ such that, for all x , y X ,
ψ f x t 0 t k s , x s d s α ψ m x , y
where
m x , x = max t 0 , A f x t 0 t k s , x s d s
and, if x y ,
m x , y = max max t 0 , A x t y t , max t 0 , A x t f x ( t ) · max t 0 , A y t 0 t k s , y s d s max t 0 , A x t y t .
Then problem (47) has a unique solution.
Proof. 
The proof follows from Corollary 1 by taking η t , s = ψ s α ψ t for all t , s 0 , + . □

4. Conclusions

The notion of a simulation function is a very interesting tool in fixed point theory that makes it possible to merge and unify several existence fixed point theorems in a single theorem. In this paper, in the setting of a complete metric space, we consider new contractions via the extended simulation function by involving two distinct types of rational expressions. It is clear that this approach can be applied to the different abstract structures.

Author Contributions

Investigation, R.A., B.A., E.K. and A.F.R.L.d.H. All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

The authors thank their universities. The first two authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for funding this group No. RG-1437-017. A.F. Roldán López de Hierro is grateful to Project TIN2017-89517-P of Ministerio de Economía, Industria y Competitividad and also to Junta de Andalucía by project FQM-365 of the Andalusian CICYE.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Khojasteh, F.; Shukla, S.; Radenović, S. A new approach to the study of fixed point theorems via simulation functions. Filomat 2015, 29, 1189–1194. [Google Scholar] [CrossRef]
  2. Agarwal, R.P.; Karapınar, E. Interpolative Rus-Reich-Ciric Type Contractions Via Simulation Functions, Analele Univ. “Ovidius” Constanta Ser. Mat. 2019, 27, 137–152. [Google Scholar]
  3. Alqahtani, O.; Karapınar, E. A Bilateral Contraction via Simulation Function. Filomat 2019, 33, 4837–4843. [Google Scholar] [CrossRef] [Green Version]
  4. Aydi, H.; Karapınar, E.; Rakocevic, V. Nonunique Fixed Point Theorems on b-Metric Spaces Via Simulation Functions. Jordan J. Math. Stat. 2019, 12, 265–288. [Google Scholar]
  5. Roldán López de Hierro, A.F.; Karapınar, E.; Roldán López de Hierro, C.; Martínez-Moreno, J. Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 2015, 275, 345–355. [Google Scholar] [CrossRef]
  6. Roldán López de Hierro, A.F.; Shahzad, N. New fixed point theorem under R-contractions. Fixed Point Theory Appl. 2015. Article ID 345. [Google Scholar] [CrossRef] [Green Version]
  7. Roldán López de Hierro, A.F.; Shahzad, N. Fixed point theorems by combining Jleli and Samet’s, and Branciari’s inequalities. J. Nonlinear Sci. Appl. 2016, 9, 3822–3849. [Google Scholar]
  8. Shahzad, N.; Roldán López de Hierro, A.F.; Khojasteh, F. Some new fixed point theorems under (A, S)-contractivity conditions. RACSAM Rev. R. Acad. A 2017, 111, 307–324. [Google Scholar]
  9. Roldán López de Hierro, A.F.; Shahzad, N. Ample spectrum contractions and related fixed point theorems. Mathematics 2019, 7, 1033. [Google Scholar] [CrossRef] [Green Version]
  10. Alghamdi, M.A.; Gulyaz-Ozyurt, S.; Karapınar, E. A Note on Extended Z-Contraction. Mathematics 2020, 8, 195. [Google Scholar] [CrossRef] [Green Version]
  11. Roldán López de Hierro, A.F.; Shahzad, N. Common fixed point theorems under (R, S)-contractivity conditions. Fixed Point Theory Appl. 2016, Article ID 55. 1–25. [Google Scholar]
  12. Abbas, M.; Lael, F.; Saleem, N. Fuzzy b-metric spaces: Fixed point results for ψ-contraction correspondences and their application. Axioms 2020, 9, 36. [Google Scholar] [CrossRef] [Green Version]
  13. Rus, I.A. Generalized Contractions and Applications; Cluj University Press: Cluj-Napoca, Romania, 2001. [Google Scholar]
  14. Radenović, S.; Kadelburg, Z.; Jandrlixcx, D.; Jandrlixcx, A. Some results on weak contraction maps. Bull. Iran. Math. Soc. 2012, 38, 625–645. [Google Scholar]
  15. Agarwal, R.P.; Karapınar, E.; O’Regan, D.; Roldán López de Hierro, A.F. Fixed Point Theory in Metric Type Spaces; Springer International Publishing: Cham, Switzerland, 2015. [Google Scholar]

Share and Cite

MDPI and ACS Style

Alsubaie, R.; Alqahtani, B.; Karapınar, E.; Roldán López de Hierro, A.F. Extended Simulation Function via Rational Expressions. Mathematics 2020, 8, 710. https://doi.org/10.3390/math8050710

AMA Style

Alsubaie R, Alqahtani B, Karapınar E, Roldán López de Hierro AF. Extended Simulation Function via Rational Expressions. Mathematics. 2020; 8(5):710. https://doi.org/10.3390/math8050710

Chicago/Turabian Style

Alsubaie, Rawan, Badr Alqahtani, Erdal Karapınar, and Antonio Francisco Roldán López de Hierro. 2020. "Extended Simulation Function via Rational Expressions" Mathematics 8, no. 5: 710. https://doi.org/10.3390/math8050710

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