Next Article in Journal
Uncertainty Measurement for a Set-Valued Information System: Gaussian Kernel Method
Previous Article in Journal
An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Common Fixed Point Theorem via Cyclic (α,β)–(ψ,φ)S-Contraction with Applications

1
Department of Mathematics, University of Malakand, Chakdara 18800, Pakistan
2
Department of Mathematics, Çankaya University, Ankara 06790, Turkey
3
Department of Mathematics and General Sciences, Prince Sultan University, P.O. Box 66833, Riyadh 11586, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Symmetry 2019, 11(2), 198; https://doi.org/10.3390/sym11020198
Submission received: 22 December 2018 / Revised: 31 January 2019 / Accepted: 2 February 2019 / Published: 11 February 2019

Abstract

:
In this paper, we introduce the notion of cyclic ( α , β ) ( ψ , φ ) s -rational-type contraction in b-metric spaces, and using this contraction, we prove common fixed point theorems. Our work generalizes many existing results in the literature. In order to highlight the usefulness of our results, applications to functional equations are given.

1. Introduction

Throughout this work, N and R denote the set of positive integers and the set of real numbers, respectively. Furthermore, o p t indicates inf or sup; B 1 and B 2 are Banach spaces; D B 1 is the decision space; S B 2 is the state space; B d ( S ) stands for the Banach space of all bounded real-valued functions on S with sup b-metric defined by:
d ( x , y ) = sup t S x ( t ) y ( t ) p ,
for all x , y B d ( S ) with coefficient s = 2 p 1 and with norm defined by:
f = sup { | f ( t ) | : t S } ,
where f B d ( S ) .
The Banach contraction principle [1] is one of the most important results in functional analysis. It is the most widely-applied fixed point result in many branches of mathematics, and it was generalized in different directions.
Bakhtin [2] and Czerwik [3] generalized the metric space with non-Hausdorff topology called the b-metric space to overcome the problem of measurable functions with respect to the measure and their convergence. They proved the Banach contraction principle in b-metric spaces. Afterwards, several papers were published by many authors dealing with the existence of a fixed point in b-metric spaces (see [4,5,6,7,8,9,10,11,12,13,14,15,16,17]).
The contractive conditions on underlying functions play an important role in fixed point theorems. Over the years, different contractive conditions were established by several mathematicians. One of the interesting contractive conditions was given by Samet et al. [18] by introducing the notions of α -admissible and α ψ -contractive-type mappings. They established various fixed point theorems for such mappings in complete metric spaces. Furthermore, several authors considered the generalizations of this new approach (see [19,20,21,22,23,24]). Isik et al. [19] proved fixed point theorems under the T-cyclic- ( α , β ) -contractive condition in metric space. Recently, Yamaod and Sintunavarat [7] proposed the notion of ( α , β ) ( ψ , φ ) -contraction in b-metric spaces and proved fixed point theorems for this class of contraction.
On the other hand, the existence of unique solutions to functional equations has been examined using various fixed point results (see [25,26] and the references therein). In particular, Isik et al. [19] and Latif et al. [20] studied the existence of a unique bounded common solution to the following system of functional equations:
f ( x ) = sup y D { τ 1 ( x , y ) + H 1 ( x , y , f ( a 1 ( x , y ) ) ) } x S , g ( x ) = sup y D { τ 2 ( x , y ) + H 2 ( x , y , g ( a 2 ( x , y ) ) ) } x S ,
where x is the state vector, y is the decision vector, and f ( x ) and g ( x ) denote the optimal profit functions with the opening state x and transformations of the process a 1 , a 2 . Moreover, τ 1 , τ 2 : S × D R , a i : S × D S , H 1 , H 2 : S × D × R R .
Motivated by the work in [7,19], we present the notion of cyclic ( α , β ) ( ψ , φ ) s -rational-type contraction in b-metric space, and using this notion we study common fixed point theorems, which generalize many recent results. As an application of our work, we study the existence of a unique bounded common solution to the system of functional equations that arise in dynamic programming, mathematical optimization, and in computer programming.

2. Preliminaries

In this section, we recall some basic notions and results.
Definition 1.
A function θ : [ 0 , ) [ 0 , ) is called an altering distance function if it satisfies the following conditions:
1. 
θ is continuous and nondecreasing;
2. 
θ ( t ) = 0 if and only if t = 0 .
Definition 2
([19]). Let X be a nonempty set and α , β : X [ 0 , ) . If f , g : X X , then the mapping f is g-cyclic- ( α , β ) -admissible if:
1. 
α ( g t ) 1 β ( f t ) 1 for some t X ;
2. 
β ( g t ) 1 α ( f t ) 1 for some t X .
Definition 3
([2,3]). Let X be a nonempty set and s 1 be a fixed real number. Then, the function d : X × X [ 0 , ) is a b-metric if for all x , y , z X :
1. 
d ( x , y ) = 0 x = y
2. 
d ( x , y ) = d ( y , x ) ;
3. 
d ( x , y ) s [ d ( x , z ) + d ( z , y ) ] .
The pair ( X , d ) is called a b-metric space.
Remark 1.
Every metric space is a b-metric space, but the converse is not true in general (see [4]). Thus, b-metric spaces are superior to ordinary metric spaces.
Example 1.
Let ( M , ρ ) be a metric space and p R with p 1 . Then, d ( u , v ) = [ ρ ( u , v ) ] p is a b-metric with parameter s = 2 p 1 .
Definition 4
([17]). A sequence { α n } in a b-metric space X is:
(a)
b-convergent if there exists α X such that d ( α n , α ) 0 as n .
(b)
b-Cauchy if d ( α n , α m ) 0 as n , m .
It is well known that, in b-metric spaces, every b-convergent sequence is a b-Cauchy sequence. Moreover, a b-metric is not continuous in general. Thus, to establish fixed point theorems, one needs the following Lemma.
Lemma 1
([27]). Let { u n } and { v n } be two sequences in a b-metric space ( X , d ) with coefficient s 1 such that u n u X and v n v X . Then:
1 s 2 d ( u , v ) lim inf n d ( u n , v n ) lim sup n d ( u n , v n ) s 2 d ( u , v ) ,
and lim n d ( u n , v n ) = 0 if u = v . Furthermore, for every w X , we have:
1 s d ( u , w ) lim inf n d ( u n , w ) lim sup n d ( u n , w ) s d ( u , w ) .
To study common fixed point theorems, Jungck [28] launched the idea of weakly-compatible mappings as: two self-maps are weakly compatible if they commute at their coincidence points.
Proposition 1
([29]). Two weakly-compatible self-maps have a unique common fixed point if they have a unique point of coincidence.
Lemma 2
([30]). Let A be a nonempty set and f , g : A R be two mappings such that o p t t A f ( t ) and o p t t A g ( t ) are bounded, then:
o p t t A f ( t ) o p t t A g ( t ) sup t A f ( t ) g ( t ) .

3. Results

In this section, we present our main results. First, we introduce the concept of cyclic- ( α , β ) ( ψ , φ ) s -rational contraction in b-metric space as follows.
Definition 5.
Let ( X , d ) be a b-metric space with coefficient s 1 and α , β : X [ 0 , ) be two mappings. Let f and g be two self-mappings defined on X such that f is a g-cyclic- ( α , β ) -admissible mapping. Then, f is a g-cyclic- ( α , β ) ( ψ , φ ) s -rational contraction if for all u , v X ,
α ( g u ) β ( g v ) 1 ψ ( s 3 d ( f u , f v ) ) ψ ( Δ s ( u , v ) ) φ ( Δ s ( u , v ) ) ,
where:
Δ s ( u , v ) = max d ( g u , g v ) , 1 s d ( g v , f u ) , d ( f u , g v ) d ( g u , f v ) 2 s 3 [ 1 + d ( g u , g v ) ] , d ( f u , g u ) d ( f v , g u ) 2 s [ 1 + d ( g u , g v ) ] , d ( f v , g v ) d ( f u , g v ) 2 s [ 1 + d ( g u , g v ) ] ,
and ψ , φ are altering distance functions.
Now, we present our main result.
Theorem 1.
Let ( X , d ) be a b-complete b-metric space with coefficient s 1 and α , β : X [ 0 , ) be two mappings. If f and g are two self-mappings defined on X such that f is a g-cyclic- ( α , β ) ( ψ , φ ) -rational contraction satisfying the following conditions:
(i)
f X g X with g X are closed subspaces of X ;
(ii)
there exists u 0 X with α ( g u 0 ) 1 and β ( g u 0 ) 1 ;
(iii)
if { u n } is a sequence in X with β ( u n ) 1 for all n and u n u , then β ( u ) 1 ;
(iv)
α ( g a ) 1 and β ( g b ) 1 whenever f a = g a and f b = g b .
Then, f and g have a unique point of coincidence in X. Furthermore, if f and g are weakly compatible, then f and g have a unique common fixed point in X.
Proof. 
Let u 0 X ; then, using Conditions ( i ) and ( i i ) , we can construct two sequences { u n } and { v n } in X such that:
v n = f u n = g u n + 1 , for all n N { 0 } .
If v n ^ = v n ^ + 1 , then v n ^ + 1 is a point of coincidence of g and f. Therefore, we assume that v n v n + 1 for all n N { 0 } . Since α ( g u 0 ) 1 and f is a g-cyclic- ( α , β ) ( ψ , φ ) -admissible mapping, we have:
β ( g u 1 ) = β ( f u 0 ) 1 α ( g u 2 ) = α ( f u 1 ) 1 ,
and:
β ( g u 3 ) = β ( f u 2 ) 1 α ( g u 4 ) = α ( f u 3 ) 1 .
By continuing this procedure, we obtain that:
α ( g u 2 j ) 1 and β ( g u 2 j + 1 ) 1 for all j N { 0 } .
Similarly, since β ( g u 0 ) 1 and f is g-cyclic- ( α , β ) ( ψ , φ ) -admissible, we have:
α ( g u 1 ) = α ( f u 0 ) 1 β ( g u 2 ) = β ( f u 1 ) 1 ,
and:
α ( g u 3 ) = α ( f u 2 ) 1 β ( g u 4 ) = β ( f u 3 ) 1 .
By continuing this procedure, we get:
β ( g u 2 j ) 1 and α ( g u 2 j + 1 ) 1 for all j N { 0 } .
From (4) and (5), it follows that:
α ( g u n ) 1 and β ( g u n ) 1 for all n N { 0 } .
Consequently,
α ( g u n ) 1 and β ( g u n + 1 ) 1 for all n N { 0 } ,
which implies that:
α ( g u n ) β ( g u n + 1 ) 1 for all n N { 0 } .
Using (2) and (3), we have:
ψ ( s 3 d ( f u n , f u n + 1 ) ) ψ ( Δ s ( u n , u n + 1 ) ) φ ( Δ s ( u n , u n + 1 ) ) ,
where:
Δ s ( u n , u n + 1 ) = max ( d ( g u n , g u n + 1 ) , 1 s d ( g u n + 1 , f u n ) , d ( f u n , g u n + 1 ) d ( g u n , f u n + 1 ) 2 s 3 [ 1 + d ( g u n , g u n + 1 ) ] , d ( f u n , g u n ) d ( f u n + 1 , g u n ) 2 s 3 [ 1 + d ( g u n , g u n + 1 ) ] , d ( f u n + 1 , g u n + 1 ) d ( f u n , g u n + 1 ) 2 s [ 1 + d ( g u n , g u n + 1 ) ] ) = max ( d ( v n 1 , v n ) , 1 s d ( v n , v n ) , d ( v n , v n ) d ( v n 1 , v n + 1 ) 2 s 3 [ 1 + d ( v n 1 , v n ) ] , d ( v n , v n 1 ) d ( v n + 1 , v n 1 ) 2 s [ 1 + d ( v n 1 , v n ) ] , d ( v n + 1 , v n ) d ( v n , v n ) 2 s [ 1 + d ( v n 1 , v n ) ] ) . = max d ( v n 1 , v n ) , s [ d ( v n + 1 , v n ) + d ( v n , v n 1 ) ] 2 s = max ( d ( v n 1 , v n ) , d ( v n , v n + 1 ) ) .
If Δ s ( u i , u i + 1 ) = d ( v i , v i + 1 ) , for some i N { 0 } , then from inequality (7), we have:
ψ ( d ( v i , v i + 1 ) ) = ψ ( d ( f u i , f u i + 1 ) ) ψ ( s 3 d ( f u i , f u i + 1 ) ) ψ ( d ( v i , v i + 1 ) ) φ ( d ( v i , v i + 1 ) ) < ψ ( d ( v i , v i + 1 ) ) ,
which is a contradiction. Thus,
Δ s ( u n , u n + 1 ) = d ( v n 1 , v n ) , for all n N { 0 } ,
and hence, from (7), we can write:
ψ ( d ( v n , v n + 1 ) ) = ψ ( d ( f u n , f u n + 1 ) ) ψ ( s 3 d ( f u n , f u n + 1 ) ) ψ ( d ( v n 1 , v n ) ) φ ( d ( v n 1 , v n ) ) < ψ ( d ( v n 1 , v n ) ) ,
for all n N { 0 } . That is:
ψ ( d ( v n , v n + 1 ) ) < ψ ( d ( v n 1 , v n ) ) ,
but ψ is non-decreasing, so that:
d ( v n , v n + 1 ) < d ( v n 1 , v n ) , for all n N { 0 } .
Thus, the sequence { d ( v n + 1 , v n ) } is decreasing bounded below in X, and hence, there exists some r 0 such that:
lim n d ( v n , v n + 1 ) = r .
Taking the limit as n in (8), we get:
ψ ( r ) ψ ( r ) φ ( r ) ψ ( r ) .
This implies that ψ ( r ) = 0 , and thus r = 0 . Hence, we have:
lim n d ( v n , v n + 1 ) = 0 .
Next, we will show that { v n } is a b-Cauchy sequence. Let on contrary { v n } not be a b-Cauchy sequence, then for some ϵ > 0 , there exists two subsequences { v m ( 𝚥 ) } and { v n ( 𝚥 ) } of { v n } such that:
d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) ϵ ,
where n ( 𝚥 ) > m ( 𝚥 ) 𝚥 with n ( 𝚥 ) is odd and m ( 𝚥 ) is even. Corresponding to m ( 𝚥 ) , one can choose the smallest number n ( 𝚥 ) with n ( 𝚥 ) > m ( 𝚥 ) 𝚥 such that:
d ( v m ( 𝚥 ) , v n ( 𝚥 ) 1 ) < ϵ .
Using Inequalities (11) and (12) and the triangle inequity, we have:
ϵ d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) s [ d ( v m ( 𝚥 ) , v n ( 𝚥 ) 1 ) + d ( v n ( 𝚥 ) 1 , v n ( 𝚥 ) ) ] < s [ ϵ + d ( v n ( 𝚥 ) 1 , v n ( 𝚥 ) ) ] .
From above and (10), we get:
ϵ lim sup 𝚥 d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) < s ϵ .
It follows from the triangle inequity that:
d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) s [ d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) + d ( v n ( 𝚥 ) + 1 , v n ( 𝚥 ) ) ] ,
and:
d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) s [ d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) + d ( v n ( 𝚥 ) , v n ( 𝚥 ) + 1 ) ] .
Taking the limit supremum as 𝚥 in (15), (16) and using (10), (14), we get:
ϵ s lim sup 𝚥 d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) ,
and:
lim sup 𝚥 d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) s 2 ϵ .
From here, we can write:
ϵ s lim sup 𝚥 d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) s 2 ϵ .
Similarly, we can show that:
ϵ s lim sup 𝚥 d ( v n ( 𝚥 ) , v m ( 𝚥 ) + 1 ) s 2 ϵ .
Again using the triangular inequality, we get:
d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) s [ d ( v m ( 𝚥 ) , v m ( 𝚥 ) + 1 ) + d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) ] ,
and:
d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) s [ d ( v m ( 𝚥 ) + 1 , v m ( 𝚥 ) ) + d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) ] .
Applying the limit supremum as 𝚥 in (19), (20) and using (10), (17), we get:
ϵ s s lim sup 𝚥 d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) ,
and:
lim sup 𝚥 d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) s 3 ϵ .
This implies that:
ϵ s 2 lim sup 𝚥 d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) s 3 ϵ .
From (6), we obtain α ( g u m ( 𝚥 ) ) β ( g u n ( 𝚥 ) ) 1 , and from (2), we can write:
ψ ( s 3 d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) ) = ψ ( s 3 d ( f u m ( 𝚥 ) + 1 , f u n ( 𝚥 ) + 1 ) ) ψ ( Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) ) φ ( Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) ) ,
where:
Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) = max ( d ( g u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) , 1 s d ( g u n ( 𝚥 ) + 1 , f u m ( 𝚥 ) + 1 ) , d ( f u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) d ( g u m ( 𝚥 ) + 1 , f u n ( 𝚥 ) + 1 ) 2 s 3 [ 1 + d ( g u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) ] , d ( f u m ( 𝚥 ) + 1 , g u m ( 𝚥 ) + 1 ) d ( f u n ( 𝚥 ) + 1 , g u m ( 𝚥 ) + 1 ) 2 s [ 1 + d ( g u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) ] , d ( f u n ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) d ( f u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) 2 s [ 1 + d ( g u m ( 𝚥 ) + 1 , g u n ( 𝚥 ) + 1 ) ] ) = max ( d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) , 1 s d ( v n ( 𝚥 ) , v m ( 𝚥 ) + 1 ) , d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) ) d ( v m ( 𝚥 ) , v n ( 𝚥 ) + 1 ) 2 s 3 [ 1 + d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) ] , d ( v m ( 𝚥 ) + 1 , v m ( 𝚥 ) ) d ( v n ( 𝚥 ) + 1 , v m ( 𝚥 ) ) 2 s [ 1 + d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) ] , d ( v n ( 𝚥 ) + 1 , v n ( 𝚥 ) ) d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) ) 2 s [ 1 + d ( v m ( 𝚥 ) , v n ( 𝚥 ) ) ] ) .
Taking the limit supremum as 𝚥 in the above and using (10), (14), (17), and (18), we have:
ϵ = max ϵ , ϵ s 2 , ϵ 2 2 s 5 [ 1 + s ϵ ] lim sup 𝚥 Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) max s ϵ , s ϵ , s ϵ 2 2 [ 1 + ϵ ] = s ϵ ,
and:
ϵ = max ϵ , ϵ s 2 , ϵ 2 2 s 5 [ 1 + s ϵ ] lim inf 𝚥 Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) max s ϵ , s ϵ , s ϵ 2 2 [ 1 + ϵ ] = s ϵ .
By applying the limit supremum as 𝚥 in (22) and using (21), (23), and (24), we have:
ψ s ϵ = ψ s 3 ϵ s 2 ψ s 3 lim sup 𝚥 d ( v m ( 𝚥 ) + 1 , v n ( 𝚥 ) + 1 ) ψ lim sup 𝚥 Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) φ lim inf 𝚥 Δ s ( u m ( 𝚥 ) + 1 , u n ( 𝚥 ) + 1 ) ψ s ϵ φ ϵ ,
which is possible only if φ ϵ = 0 . This implies that ϵ = 0 , which contradicts that ϵ > 0 . Thus, { v n } is a b-Cauchy sequence in X. However, X is b-complete, so there exists a 0 X such that lim n v n = a 0 , and hence, from (3), we get:
lim n f u n = lim n g u n + 1 = a 0 .
Since g X is closed, so in view of (26), a 0 g X , and therefore, one can find a X such that g a = a 0 .
Now, we will show that f a = a 0 . For this, since v n a 0 , so from (3), it follows that:
β ( v n ) = β ( g u n + 1 ) 1 ,
for all n N . From Condition ( i i i ) , we have β ( a 0 ) = β ( g a ) 1 , and thus, by (3), α ( g u n ) β ( g a ) 1 for all n N . In view of (2) with u = u n and v = a , we have:
ψ ( s 3 d ( f u n , f a ) ) ψ ( Δ s ( u n , a ) ) φ ( Δ s ( u n , a ) ) ,
where:
Δ s ( u n , a ) = max ( d ( g u n , g a ) , 1 s d ( g a , f u n ) , d ( f u n , g a ) d ( g u n , f a ) 2 s 3 [ 1 + d ( g u n , g a ) ] , d ( f u n , g u n ) d ( f a , g u n ) 2 s [ 1 + d ( g u n , g a ) ] , d ( f a , g a ) d ( f u n , g a ) 2 s [ 1 + d ( g u n , g a ) ] ) .
Taking the limit supremum as n in the above and using (26) and Lemma 1, we get:
lim sup n Δ s ( u n , a ) max ( s d ( a 0 , a 0 ) , d ( a 0 , a 0 ) , d ( a 0 , a 0 ) d ( a 0 , f a ) 2 s [ 1 + d ( a 0 , a 0 ) ] , s 2 d ( a 0 , a 0 ) d ( f a , a 0 ) 2 [ 1 + d ( a 0 , a 0 ) ] , d ( f a , a 0 ) d ( a 0 , a 0 ) 2 [ 1 + d ( a 0 , a 0 ) ] ) = 0 .
Now, taking the limit supremum as 𝚥 in (27) and using the above inequality, we get:
ψ ( s 3 d ( a 0 , f a ) ) ψ ( 0 ) φ ( 0 ) = 0 .
Therefore,
ψ ( d ( a 0 , f a ) ) ψ ( s 3 d ( a 0 , f a ) ) 0 ,
which is possible only if ψ ( d ( a 0 , f a ) ) = 0 . Thus, d ( a 0 , f a ) = 0 f a = a 0 , and hence:
f a = g a = a 0 .
Next, to show that f and g have a unique point of coincidence a 0 , let f and g have another point of coincidence a 0 * a 0 . Then, there exists b X so that:
f b = g b = a 0 * .
Using Condition ( i v ) , we get α ( g a ) β ( g b ) 1 . Thus, from (2) with u = a , v = b and using (28), (29), we have:
ψ ( s 3 d ( f a , f b ) ) ψ ( Δ s ( a , b ) ) φ ( Δ s ( a , b ) ) ,
where:
Δ s ( a , b ) = max ( d ( g a , g b ) , 1 s d ( g b , f a ) , d ( f a , g b ) d ( g a , f b ) 2 s 3 [ 1 + d ( g a , g b ) ] , d ( f a , g a ) d ( f b , g a ) 2 s [ 1 + d ( g a , g b ) ] , d ( f b , g b ) d ( f a , g b ) 2 s [ 1 + d ( g a , g b ) ] ) = max ( d ( a 0 , a 0 * ) , 1 s d ( a 0 * , a 0 ) , d ( a 0 , a 0 * ) d ( a 0 , a 0 * ) 2 s 3 [ 1 + d ( a 0 , a 0 * ) ] , d ( a 0 , a 0 ) d ( a 0 * , a 0 ) 2 s [ 1 + d ( a 0 , a 0 * ) ] , d ( a 0 * , a 0 * ) d ( a 0 , a 0 * ) 2 s [ 1 + d ( a 0 , a 0 * ) ] ) = d ( a 0 , a 0 * ) .
From (30), we have:
ψ ( d ( a 0 , a 0 * ) ) ψ ( s 3 d ( a 0 , a 0 * ) ) ψ ( d ( a 0 , a 0 * ) ) φ ( d ( a 0 , a 0 * ) ) < ψ ( d ( a 0 , a 0 * ) ) ,
which is a contradiction, unless a 0 = a 0 * . Finally, since the pair ( f , g ) is weakly compatible, so by Proposition (1), a 0 is a unique common fixed point of f and g. □
From Theorem 1, we deduce the following corollaries.
Corollary 1.
Let ( X , d ) be a b-complete b-metric space with coefficient s 1 and α , β : X [ 0 , ) be two mappings. Let f and g be two self-mappings defined on X such that f is a g-cyclic- ( α , β ) ( ψ , φ ) -admissible mapping satisfying the following contractive condition:
α ( g u ) β ( g v ) ψ ( s 3 d ( f u , f v ) ) ψ ( Δ s ( u , v ) ) φ ( Δ s ( u , v ) ) , u , v X ,
where:
Δ s ( u , v ) = max ( d ( g u , g v ) , 1 s d ( g v , f u ) , d ( f u , g v ) d ( g u , f v ) 2 s 3 [ 1 + d ( g u , g v ) ] , d ( f u , g u ) d ( f v , g u ) 2 s [ 1 + d ( g u , g v ) ] , d ( f v , g v ) d ( f u , g v ) 2 s [ 1 + d ( g v , g u ) ] ) ,
and ψ , φ are altering distance functions. If the following assumptions hold:
(i)
f X g X with g X are closed subspaces of X;
(ii)
there exists u 0 X with α ( g u 0 ) 1 and β ( g u 0 ) 1 ;
(iii)
if { v n } is a sequence in X with β ( v n ) 1 for all n and v n v , then β ( v ) 1 ;
(iv)
α ( g a ) 1 and β ( g b ) 1 whenever f a = g a and f b = g b .
Then, f and g have a unique point of coincidence in X. Furthermore, if f and g are weakly compatible, then f and g have a unique common fixed point in X.
Proof. 
Let α ( g u ) β ( g v ) 1 , then from (31), we get:
ψ ( s 3 d ( f u , f v ) ) ψ ( Δ s ( u , v ) ) φ ( Δ s ( u , v ) ) .
Thus, the inequality (2) is satisfied, and thus, the proof easily follows from Theorem (1). □
If we choose g = I (Identity map) in Theorem (1), we have the following corollary.
Corollary 2.
Let ( X , d ) be a b-complete b-metric space with coefficient s 1 and α , β : X [ 0 , ) be two mappings. Let f : X X be a cyclic ( α , β ) ( ψ , φ ) -admissible mapping such that:
α ( u ) β ( v ) 1 ψ ( s 3 d ( f u , f v ) ) ψ ( Δ s ( u , v ) ) φ ( Δ s ( u , v ) ) , u , v X ,
where:
Δ s ( u , v ) = max d ( u , v ) , 1 s d ( v , f u ) , d ( f u , v ) d ( u , f v ) 2 s 3 [ 1 + d ( u , v ) ] , d ( f u , u ) d ( f v , u ) 2 s [ 1 + d ( u , v ) ] , d ( f v , v ) d ( f u , v ) 2 s [ 1 + d ( u , v ) ] .
and ψ , φ are altering distance functions. If the following assumptions hold:
(i)
there exists u 0 X with α ( u 0 ) 1 and β ( u 0 ) 1 ;
(ii)
if { v n } is a sequence in X with β ( v n ) 1 for all n and v n v , then β ( v ) 1 ;
(iii)
α ( a ) 1 and β ( b ) 1 whenever f a = a and f b = b ;
then f has a unique fixed point in X.
Remark 2.
In Theorem 3.2 of [7], the continuity of mapping is necessary; however, we relaxed this condition in Corollary 2.
Corollary 3.
Let ( X , d ) be a b-complete b-metric space with coefficient s 1 and α , β : X [ 0 , ) be two mappings. Let f and g be two self-mappings defined on X such that f is a g-cyclic- ( α , β ) -admissible mapping satisfying the following contractive condition:
α ( g u ) β ( g v ) 1 d ( f u , f v ) k s 3 Δ s ( u , v ) , u , v X ,
where k [ 0 , 1 ) . If the following assumptions hold:
(i)
f X g X with g X are closed subspaces of X;
(ii)
there exists u 0 X with α ( g u 0 ) 1 and β ( g u 0 ) 1 ;
(iii)
if { v n } is a sequence in X with β ( v n ) 1 for all n and v n v , then β ( v ) 1 ;
(iv)
α ( g a ) 1 and β ( g b ) 1 whenever f a = g a and f b = g b ;
then f and g have a unique point of coincidence in X. Furthermore, if f and g are weakly compatible, then f and g have a unique common fixed point in X.
Corollary 4.
Let ( X , d ) be a b-complete b–metric space with coefficient s 1 and f , g : X X be mappings such that:
ψ ( s 3 d ( f u , f v ) ) ψ ( Δ s ( u , v ) ) φ ( Δ s ( u , v ) ) , u , v X ,
where ψ , φ are altering distance functions. If f X g X and g X are closed subspaces of X, then, f and g have a unique point of coincidence in X. Furthermore, if f and g are weakly compatible, then f and g have a unique common fixed point in X.
Corollary 5.
Let ( X , d ) be a b-complete b-metric space with coefficient s 1 and f , g : X X be mappings such that:
d ( f u , f v ) k s 3 Δ s ( u , v ) , u , v X ,
where k [ 0 , 1 ) . If f X g X and g X are closed subspaces of X, then f and g have a unique point of coincidence in X. Furthermore, if f and g are weakly compatible, then f and g have a unique common fixed point in X.

4. Applications in Dynamic Programming

In this section, we present the existence result as an application of Theorem (1) to the following system of functional equations arising in computer programming, mathematical optimization, and in dynamic programming.
f ( x ) = o p t y D { τ 1 ( x , y ) + H 1 ( x , y , f ( a 1 ( x , y ) ) ) } x S , g ( x ) = o p t y D { τ 2 ( x , y ) + H 2 ( x , y , g ( a 2 ( x , y ) ) ) } x S ,
where x and y signify the state and decision vectors, respectively, a 1 , a 2 represent the transformations of the process, and f ( x ) , g ( x ) denote the optimal return functions with the initial state x.
Let K , L : B d ( S ) B d ( S ) be the mappings defined by:
K h ( x ) = o p t y D { τ 1 ( x , y ) + H 1 ( x , y , h ( a 1 ( x , y ) ) ) } , L h ( x ) = o p t y D { τ 2 ( x , y ) + H 2 ( x , y , h ( a 2 ( x , y ) ) ) } ,
where ( x , h ) S × B d ( S ) .
For the forthcoming analysis, let ξ 1 , ξ 2 : B d ( S ) R and assume that
C0 
K ( B d ( S ) ) L ( B d ( S ) ) such that L ( B d ( S ) ) are closed subspaces of B d ( S ) ;
C1 
there exists h 0 B d ( S ) such that ξ 1 ( L h 0 ) 0 and ξ 2 ( L h 0 ) 0 ;
C2 
{ h n } is a sequence in B d ( S ) such that h n h and ξ 2 ( h n ) 0 for all n, then ξ 2 ( h ) 0 .
C3 
if ξ 1 ( K h ) 0 and ξ 2 ( L w ) 0 , for all h , w B d ( S ) , then for all ( x , y , h , w ) S × D × B d ( S ) × B d ( S ) , we have:
| H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) | + | τ 1 ( x , y ) τ 2 ( x , y ) | ( 2 3 3 p Υ L h L w ) 1 p ,
where Υ : [ 0 , ) [ 0 , ) are altering distance functions defined by d d t ( Υ ( t ) ) < 1 and Υ ( t ) < t for all t > 0 ;
C4 
ξ 1 ( L h ) 0 for some h B d ( S ) ξ 2 ( K h ) 0
and:
ξ 2 ( L h ) 0 for some h B d ( S ) ξ 1 ( K h ) 0 ;
C5 
ξ 1 ( L u ) 0 and ξ 2 ( L v ) 0 whenever K u = L u and K v = L v ;
C6 
for some h B d ( S ) , K L h = L K h , whenever K h = L h ;
C7 
for i = 1 , 2 , τ i and H i are bounded.
Now, we are in a position to present the existence result.
Theorem 2.
Let K , L : B d ( S ) B d ( S ) given by (37) be mappings for which Conditions ( C 0 ) ( C 7 ) holds. Then, the system of functional Equations (36) has a unique bounded common solution in B d ( S ) .
Proof. 
Let ϵ > 0 be any number and x S , h , w B d ( S ) such that ξ 1 ( L h ) 0 and ξ 2 ( L w ) 0 . Then, since for i = 1 , 2 , τ i and H i are bounded, we can find M > 0 such that:
sup { τ 1 ( x , y ) , τ 2 ( x , y ) , H i ( x , y , t ) : ( x , y , t ) S × D × R } M .
Thus, with the help of Lemma 2, Equation (37), and Inequality (38), K and L are self-mappings in B d ( S ) .
Now, we show that K is an L-cyclic- ( α , β ) ( ψ , φ ) -rational contraction. For this, define α , β : B d ( S ) [ 0 , ) by:
α ( h ) = 1 , if ξ 1 ( h ) > 0 where h B d ( S ) , 0 , otherwise ,
and:
β ( h ) = 1 , if ξ 2 ( h ) > 0 where h B d ( S ) , 0 , otherwise .
From Condition ( C 3 ) , if ξ 1 ( K h ) 0 and ξ 2 ( L w ) 0 , for all h , w B d ( S ) , then clearly, α ( L h ) β ( L w ) 1 .
Next, consider the altering distance functions ψ , φ : [ 0 , ) [ 0 , ) defined by:
ψ ( t ) = t p and φ ( t ) = t p ( Υ ( t ) ) p ,
for all t [ 0 , ) .
Suppose that o p t y D = inf y D . Then, using (37), we can find y D and ( x , h , w ) S × B d ( S ) × B d ( S ) such that:
K h ( x ) > τ 1 ( x , y ) + H 1 ( x , y , h ( a 1 ( x , y ) ) ) ϵ ;
K w ( x ) > τ 2 ( x , y ) + H 2 ( x , y , w ( a 2 ( x , y ) ) ) ϵ ;
K h ( x ) τ 1 ( x , y ) + H 1 ( x , y , h ( a 1 ( x , y ) ) ) ;
K w ( x ) τ 2 ( x , y ) + H 2 ( x , y , w ( a 2 ( x , y ) ) ) ;
where ( x , h ) S × B d ( S ) .
Next, with the help of Inequalities (39) and (42), we have:
K h ( x ) K w ( x ) > H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) + τ 1 ( x , y ) τ 2 ( x , y ) ϵ | H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) | + | τ 1 ( x , y ) τ 2 ( x , y ) | + ϵ .
Analogously, with help of Inequalities (40) and (41), we have:
K h ( x ) K w ( x ) < H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) + τ 1 ( x , y ) τ 2 ( x , y ) + ϵ | H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) | + | τ 1 ( x , y ) τ 2 ( x , y ) | + ϵ .
Therefore, we can write:
| K h ( x ) K w ( x ) | < | H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) | + | τ 1 ( x , y ) τ 2 ( x , y ) | + ϵ .
Similarly, if we take o p t y D = sup y D , then one can easily obtain the above inequality. Taking the limit as ϵ 0 + in Inequality (43), we get:
| K h ( x ) K w ( x ) | H 1 ( x , y , h ( a 1 ( x , y ) ) ) H 2 ( x , y , w ( a 2 ( x , y ) ) ) + | τ 1 ( x , y ) τ 2 ( x , y ) | ,
using Condition ( 4 ) of Theorem 2, we have:
| K h ( x ) K w ( x ) | < ( 2 3 3 p Υ L h ( x ) L w ( x ) p ) 1 p 2 3 3 p Υ sup x S L h L w p 1 p = ( 2 3 3 p Υ d L h , L w ) 1 p ( 2 3 3 p Υ Δ s ( h , w ) ) 1 p .
Equivalently,
| K h ( x ) K w ( x ) | p < 2 3 3 p Υ Δ s ( h , w ) .
Now, for all h , w B d ( S ) , we have:
ψ s 3 d ( K h ( x ) , K w ( x ) ) = s 3 d ( K h ( x ) , K w ( x ) ) p 2 3 p 3 sup x S | K h ( x ) K w ( x ) | p p Υ Δ s ( h , w ) p = Δ s ( h , w ) p Δ s ( h , w ) p Υ Δ s ( h , w ) p = ψ Δ s ( h , w ) φ Δ s ( h , w ) .
That is:
α ( L h ) β ( L w ) 1 ψ s 3 d ( K h ( x ) , K w ( x ) ) ψ Δ s ( h , w ) φ Δ s ( h , w ) .
Moreover, from Conditions ( C 0 ) , ( C 1 ) , ( C 2 ) , and ( C 5 ) , one can easily obtain Conditions ( i ) ( i v ) of Theorem 1, respectively. Finally, Condition ( C 6 ) implies that the pair ( K , L ) is weakly compatible. Therefore, by Theorem 1, there exists a unique common fixed point of K and L in B d ( S ) ; consequently, the System (36) of functional equations has a unique bounded common solution. □

Author Contributions

All authors contributed equally and significantly to the writing of this paper. All authors read and approved the final manuscript.

Funding

This research was funded by Prince Sultan University through the research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM), Group Number RG-DES-2017-01-17.

Conflicts of Interest

The authors declare that they have no competing interests.

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. Bakhtin, I.A. The contraction mapping principle in quasimetric spaces. Funct. Anal. Unianowsk Gos. Ped. Inst. 1989, 30, 26–37. [Google Scholar]
  3. Czerwik, S. Contraction mappings in b–metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  4. Czerwik, S. Nonlinear set-valued contraction mappings in b–metric spaces. Atti Sem. Mat. Fis. Univ. Mod. 1998, 46, 263–276. [Google Scholar]
  5. Hussain, N.; Parvaneh, V.; Roshan, J.R.; Kadelburg, Z. Fixed points of cyclic weakly (ψ,ϕ,L,A,B)–contractive mappings in ordered b-metric spaces with applications. Fixed Point Theory Appl. 2013, 2013, 256. [Google Scholar] [CrossRef]
  6. Sintunavarat, W. Fixed point results in b-metric spaces approach to the existence of a solution for nonlinear integral equations. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales 2016, 110, 585–600. [Google Scholar] [CrossRef]
  7. Yamaod, O.; Sintunavarat, W. Fixed point theorems for (α,β)–(ψ,φ)–contractive mapping in b-metric spaces with some numerical results and applications. J. Nonlinear Sci. Appl. 2016, 9, 22–34. [Google Scholar] [CrossRef]
  8. Marin, M.; Brasov, R. Cesaro means in thermoelasticity of dipolar bodies. Acta Mech. 1997, 122, 155–168. [Google Scholar] [CrossRef]
  9. Marin, M.; Öchsner, A. The effect of a dipolar structure on the Hölder stability in Green—Naghdi thermoelasticity. Continuum Mech. Thermodyn. 2017, 29, 1365–1374. [Google Scholar] [CrossRef]
  10. Abdeljawad, T.; Abo Dayeh, K.; Mlaiki, N. On fixed point generalizations to partial b-metric spaces. J. Computat. Anal. Appl. 2015, 19, 883–891. [Google Scholar]
  11. Abdeljawad, T.; Mlaiki, N.; Aydi, H.; Souayah, N. Double controlled metric type spaces and some fixed point results. Mathematics 2018, 6, 320. [Google Scholar] [CrossRef]
  12. Hussain, N.; Dorić, D.; Kadelburg, Z.; Radenović, S. Suzuki-type fixed point results in metric type spaces. Fixed Point Theor. Appl. 2012, 2012, 126. [Google Scholar] [CrossRef]
  13. Mlaiki, N.; Aydi, H.; Souayah, N.; Abdeljawad, T. Controlled Metric Type Spaces and the Related Contraction Principle. Mathematics 2018, 6, 194. [Google Scholar] [CrossRef]
  14. Sintunavarat, W.; Plubtieng, S.; Katchang, P. Fixed point result and applications on b-metric space endowed with an arbitrary binary relation. Fixed Point Theor. Appl. 2013, 2013, 296. [Google Scholar] [CrossRef]
  15. Yamaod, O.; Sintunavarat, W.; Cho, Y.J. Common fixed point theorems for generalized cyclic contraction pairs in b-metric spaces with applications. Fixed Point Theor. Appl. 2015, 2015, 164. [Google Scholar] [CrossRef]
  16. Yamaod, O.; Sintunavarat, W.; Cho, Y.J. Existence of a common solution for a system of nonlinear integral equations via fixed point methods in b-metric spaces. Open Math. 2016, 14, 128–145. [Google Scholar] [CrossRef]
  17. Boriceanu, M.; Bota, M.; Petrusel, A. Multivalued fractals in b–metric spaces. Cent. Eur. J. Math. 2010, 8, 367–377. [Google Scholar] [CrossRef]
  18. Samet, B.; Vetro, C.; Vetro, P. Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 2012, 75, 2154–2165. [Google Scholar] [CrossRef]
  19. Isik, H.; Samet, B.; Vetro, C. Cyclic admissible contraction and applications to functional equations in dynamic programming. Fixed Point Theor. Appl. 2015, 2015, 19. [Google Scholar] [CrossRef]
  20. Latif, A.; Isik, H.; Ansari, A.H. Fixed points and functional equation problems via cyclic admissible generalized contractive type mappings. J. Nonlinear Sci. Appl. 2016, 9, 1129–1142. [Google Scholar] [CrossRef]
  21. Sintunavarat, W. Nonlinear integral equations with new admissibility types in b-metric spaces. J. Fixed Point Theory Appl. 2016, 18, 397–416. [Google Scholar] [CrossRef]
  22. Sintunavarat, W. A new approach to α-ψ-contractive mappings and generalized Ulam-Hyers stability, well-posedness and limit shadowing results. Carpathian J. of Math. 2015, 31, 395–401. [Google Scholar]
  23. Abdeljawad, T. Meir-Keeler α-contractive fixed and common fixed point theorems. Fixed Point Theor. Appl. 2013, 2013, 19. [Google Scholar] [CrossRef]
  24. Patel, D.K.; Abdeljawad, T.; Gopal, D. Common fixed points of generalized Meir-Keeler α-contractions. Fixed Point Theor. Appl. 2013, 2013, 260. [Google Scholar] [CrossRef]
  25. Nashine, H.K. Study of fixed point theorem for common limit range property and application to functional equations. Analele Universităţii de Vest, Timişoara Seria Matematică Informatică 2014, 1, 95–120. [Google Scholar] [CrossRef]
  26. Sarwar, M.; Zada, M.B.; Erhan, I.M. Common fixed point theorems of integral type contraction on metric spaces and its applications to system of functional equations. Fixed Point Theory Appl. 2015, 2015, 15. [Google Scholar] [CrossRef]
  27. Aghajani, A.; Abbas, M.; Roshan, J.R. Common fixed point of generalized weak contractive mappings in partially ordered b-metric spaces. Math. Slovaca 2014, 64, 941–960. [Google Scholar] [CrossRef]
  28. Jungck, G. Common fixed points for non-continuous non-self mappings on a non-numeric spaces. Far East J. Math. Sci. 1996, 4, 199–212. [Google Scholar]
  29. Abbas, M.; Jungck, G. Common fixed point results for non-commuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 2008, 341, 416–420. [Google Scholar] [CrossRef]
  30. Liu, Z.; Kang, S.M. Existence and uniqueness of solutions for two classes of functional equations arising in dynamic programming. Acta Math. Sin. 2007, 23, 195–208. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Zada, M.B.; Sarwar, M.; Jarad, F.; Abdeljawad, T. Common Fixed Point Theorem via Cyclic (α,β)–(ψ,φ)S-Contraction with Applications. Symmetry 2019, 11, 198. https://doi.org/10.3390/sym11020198

AMA Style

Zada MB, Sarwar M, Jarad F, Abdeljawad T. Common Fixed Point Theorem via Cyclic (α,β)–(ψ,φ)S-Contraction with Applications. Symmetry. 2019; 11(2):198. https://doi.org/10.3390/sym11020198

Chicago/Turabian Style

Zada, Mian Bahadur, Muhammad Sarwar, Fahd Jarad, and Thabet Abdeljawad. 2019. "Common Fixed Point Theorem via Cyclic (α,β)–(ψ,φ)S-Contraction with Applications" Symmetry 11, no. 2: 198. https://doi.org/10.3390/sym11020198

APA Style

Zada, M. B., Sarwar, M., Jarad, F., & Abdeljawad, T. (2019). Common Fixed Point Theorem via Cyclic (α,β)–(ψ,φ)S-Contraction with Applications. Symmetry, 11(2), 198. https://doi.org/10.3390/sym11020198

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