Next Article in Journal
On a Harmonic Univalent Subclass of Functions Involving a Generalized Linear Operator
Next Article in Special Issue
Mindfulness Model Using Polariton Oscillation in Plasmonic Circuit for Human Performance Management
Previous Article in Journal
Systolic Aspects of Black Hole Entropy
Previous Article in Special Issue
Mathematical Analysis and Applications II
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fixed Point Results under Generalized c-Distance in Cone b-Metric Spaces Over Banach Algebras

1
Department of Mathematics, Faculty of Science, Central Tehran Branch, Islamic Azad University, Tehra P. O. Box 13185/768, Iran
2
Institute of Research and Development of Processes IIDP, Campus of Leioa, University of the Basque Country, PO BOX 48940 Leioa, Bizkaia, Spain
*
Authors to whom correspondence should be addressed.
Axioms 2020, 9(1), 31; https://doi.org/10.3390/axioms9010031
Submission received: 24 February 2020 / Revised: 18 March 2020 / Accepted: 18 March 2020 / Published: 21 March 2020
(This article belongs to the Collection Mathematical Analysis and Applications)

Abstract

:
In this work, we define the concept of a generalized c-distance in cone b-metric spaces over a Banach algebra and introduce some its properties. Then, we prove the existence and uniqueness of fixed points for mappings satisfying weak contractive conditions such as Han–Xu-type contraction and Cho-type contraction with respect to this distance. Our assertions are useful, since we remove the continuity condition of the mapping and the normality condition for the cone. Several examples are given to support the main results.
MSC:
AMS Subject Classification 2000: Primary 47H10; Secondary 54H25

1. Introduction and Preliminaries

In 2012, Öztürk and Başarır [1] defined the concept of a BA-cone metric space by considering a Banach algebra with normal cone therein instead of a Banach space and proved some common fixed point theorems with rational expressions in this space. In 2013, Liu and Xu [2] reintroduced the concept of cone metric spaces over a Banach algebra (as a generalization of the definition of cone metrics spaces defined by Huang and Zhang [3]) and obtained some fixed point theorems in such spaces. The results of Liu and Xu are significant, in the sense that cone metric spaces over a Banach algebra are not equivalent to metric spaces. Hence, some interesting results about fixed point theory in cone metric spaces over a Banach algebra and in cone b-metric spaces over a Banach algebra with its applications were proved in [4,5,6].
On the other hand, in 2015, Bao et al. [7] introduced a generalized c-distance in cone b-metric spaces. This concept includes many former definitions about metrics and distances such as: b-metric spaces defined by Bakhtin (1989, [8]) and Czerwik (2003, [9]), w-distance defined by Kada et al. (1996, [10]), cone b-metric spaces defined by Hussain and Shah (2011, [11]), c-distance defined by Cho et al. (2011, [12]), and w t -distance defined by Hussain et al. (2014, [13]). In addition, for a survey on fixed point theorems with respect to this distance, see Soleimani Rad et al.’s paper (2019, [14]) and Babaei et al.’s work (2020, [15]). After that, Huang et al. [16] considered a c-distance in a cone metric space over a Banach algebra, instead of the cone metric only in a Banach space, and obtained some common fixed point theorems. In addition, they considered some examples to support their results. Recently, in this manner, Han and Xu [17] proved some common fixed point results and fixed point theorems without the hypothesis of continuity of the mappings and the normality of the cone.
In this paper, we consider a generalized c-distance in cone b-metric spaces over Banach algebras and discuss on some its properties. Then, we establish several fixed point theorems with respect to this distance by exploiting the assumption of normality of the cone, and the notation of continuity of the mapping at the same times.
Let A be Banach algebra. A non-empty and proper closed subset P of A is said to be a cone if P ( P ) = { θ } , P + P P and λ P P for λ 0 . Now, with respect to an optional cone P in A , we define a partial ordering ⪯ by x y y x P . If x y and x y , then we apply x y . In addition, x y if and only if y x i n t P , where i n t P is the interior of P. In addition, P is named a solid cone if i n t P . Moreover, P is named a solid cone if there is a number K such that θ x y imply that x K y for all x , y A .
Definition 1
([6]). Let X be a nonempty set, s 1 be a constant, and A be a Banach algebra. Assume that the mapping d : X × X A satisfies the following conditions:
(d1)
θ d ( x , y ) for all x , y X and d ( x , y ) = θ if and only if x = y ;
(d2)
d ( x , y ) = d ( y , x ) for all x , y X ;
(d3)
d ( x , z ) s [ d ( x , y ) + d ( y , z ) ] for all x , y , z X .
Then, d is called a cone b-metric on X and ( X , d ) is called a cone b-metric space over a Banach algebra.
Obviously, for s = 1 , a cone b-metric space over a Banach algebra A is a cone metric space over same Banach algebra A . In addition, for definitions such as convergent and Cauchy sequences, c-sequence, completeness, continuity, and examples in cone b-metric spaces over Banach algebra A , we refer to [5,6]. In the sequel, let P be a solid cone and ( X , d ) be a cone b-metric space over a Banach algebra A with coefficient s 1 .
Lemma 1
([6,18]). Consider a Banach algebra A with a unit e. Then, the following statements hold:
(l1)
If spectral radius ρ ( u ) smaller than | c | and c is a complex constant, then c e u is invertible in A . Moreover,
( c e u ) 1 = i = 0 u i c i + 1 a n d ρ ( ( c e u ) 1 ) 1 | c | ρ ( u ) .
(l2)
If u , v A and u commutes with v, then ρ ( u + v ) ρ ( u ) + ρ ( v ) and ρ ( u v ) ρ ( u ) ρ ( v ) .
(l3)
Let u , α , β P , where α β and u α u . If ρ ( β ) < 1 , then u = θ .
(l4)
If ρ ( u ) smaller than one, then { u n } is a c-sequence. Further, if β P , then { β u n } is a c-sequence.

2. Main Results

Let us start by introducing the following definition.
Definition 2.
Let ( X , d ) be a cone b-metric space over a Banach algebra A with the coefficient s 1 . A function q : X × X A is called a generalized c-distance on X if it satisfies the following conditions:
(q1)
θ q ( x , y ) for all x , y X ;
(q2)
q ( x , y ) s [ q ( x , z ) + q ( z , y ) ] for all x , y , z X ;
(q3)
for x X and a sequence { y n } in X converging to y X , if q ( x , y n ) u for some u = u x P and all n 1 , then q ( x , y ) s u ; and
(q4)
for all c A with θ c , there exists e A with θ e such that q ( z , x ) e and q ( z , y ) e imply d ( x , y ) c .
Note that, if q ( x , y ) = d ( x , y ) , then q is a generalized c-distance; that is, the generalized c-distance q is also a generalization of cone b-metric d. Moreover, a generalized c-distance is a great extension of both c-distance and w t -distance. Further, q ( x , y ) = q ( y , x ) is not presently true for all x , y X and q ( x , y ) = θ does not imply that x = y .
Example 1.
Let X = [ 0 , 1 ] , A = C R 1 [ 0 , 1 ] × C R 1 [ 0 , 1 ] with the norm
( x 1 , x 2 ) = x 1 + x 2 + x 1 + x 2
and multiplication in A be x y = ( x 1 y 1 , x 1 y 2 + x 2 y 1 ) , where x = ( x 1 , x 2 ) , y = ( y 1 , y 2 ) A . Then, A is a Banach algebra with a unit e ( t ) = ( 1 , 0 ) for all t [ 0 , 1 ] . Take a solid cone
P = { x ( t ) = ( x 1 ( t ) , x 2 ( t ) ) A : x 1 ( t ) , x 2 ( t ) 0 f o r a l l t [ 0 , 1 ] }
and define the cone b-metric d : X × X P by d ( x , y ) ( t ) = ( | x 1 y 1 | 2 , | x 2 y 2 | 2 ) 2 t for all x = ( x 1 , x 2 ) and y = ( y 1 , y 2 ) in X, where t [ 0 , 1 ] . Then, ( X , d ) is a cone b-metric space over Banach algebra A with the non-normal solid cone P in A and s = 2 . Let q : X × X A be defined by q ( x , y ) ( t ) = ( y 1 2 , y 2 2 ) 2 t for all x , y X and t [ 0 , 1 ] . Then, q is a generalized c-distance in the cone b-metric space d over the Banach algebra A .
Lemma 2.
Let q be a generalized c-distance on X, { x n } and { y n } be two sequences in X, x , y , z X , and { u n } and { v n } be two c-sequences. Then, the following conditions hold:
(1)
if q ( x n , y ) u n and q ( x n , z ) v n for n N , then y = z . In particular, if q ( x , y ) = θ and q ( x , z ) = θ , then y = z ;
(2)
if q ( x n , y n ) u n and q ( x n , z ) v n for n N , then { y n } converges to z;
(3)
if q ( x n , x m ) u n for m > n , then { x n } is a Cauchy sequence in X; and
(4)
if q ( y , x n ) u n for n N , then { x n } is a Cauchy sequence in X.
Proof. 
(1)
For the given c A , choose e A such that property ( q 4 ) is satisfied. Since { u n } and { v n } are two c-sequences, there exists N N such that u n e and v n e . Now, since q ( x n , y ) u n and q ( x n , z ) v n , we conclude that q ( x n , y ) e and q ( x n , z ) e . Thus, by ( q 4 ) , we obtain d ( y , z ) c . This implies that y = z . Similarly, if q ( x , y ) = θ and q ( x , z ) = θ , then y = z .
(2)
Again, for the given c A , choose e A such that property ( q 4 ) is satisfied. Since { u n } and { v n } are two c-sequences, there exists N N such that u n e and v n e . Now, since q ( x n , y n ) u n and q ( x n , z ) v n , we conclude that q ( x n , y n ) e and q ( x n , z ) e . Thus, by ( q 4 ) , we obtain d ( y n , z ) c ; that is, y n z as n .
(3)
Again, for the given c A , choose e A such that property ( q 4 ) is satisfied. Then, since q ( x n , x m ) u n for m > n and { u n } is a c-sequence, there exists N N such that q ( x n , x n + 1 ) e and q ( x n , x m ) e for m > n > N . Thus, by ( q 4 ) , we obtain d ( x n + 1 , x m ) c ; that is, { x n } is a Cauchy sequence in X.
(4)
Now, the proof of ( 4 ) is similar to the proof of ( 3 ) .
 □
Lemma 3.
Let q be a generalized c-distance on X. If q ( x , y ) = θ and q ( y , x ) = θ for x , y X , then x = y .
Proof. 
Let q ( x , y ) = θ and q ( y , x ) = θ . Then, by ( q 1 ) and ( q 2 ) , we have
θ q ( x , x ) s [ q ( x , y ) + q ( y , x ) ] = θ ,
which implies that q ( x , x ) = θ . Now, since q ( x , x ) = θ and q ( x , y ) = θ , then x = y by Lemma 2(1). □
Theorem 1.
Consider a complete cone b-metric space over a Banach algebra A with a generalized c-distance q on X. Assume that f : X X satisfies the generalized Lipschitz conditions:
q ( f x , f y ) α q ( x , y ) + β q ( x , f x ) + γ q ( x , f y ) + δ q ( f x , y ) ,
q ( f y , f x ) α q ( y , x ) + β q ( f x , x ) + γ q ( f y , x ) + δ q ( y , f x )
for all x , y X , where α , β , γ P such that s γ commutes with ( α + β + s γ + 2 s δ ) and
ρ ( s γ ) + ρ ( s α + s β + s 2 γ + 2 s 2 δ ) < 1 .
Then, f has a unique fixed point.
Proof. 
Suppose x 0 is an arbitrary point in X with f x 0 x 0 . Construct the sequence { x n } by x n = f x n 1 = f n x 0 for all n N . Applying Equation (1) with x = x n 1 and y = x n , we obtain
q ( x n , x n + 1 ) = q ( f x n 1 , f x n ) α q ( x n 1 , x n ) + β q ( x n 1 , f x n 1 ) + γ q ( x n 1 , f x n ) + δ q ( f x n 1 , x n ) = α q ( x n 1 , x n ) + β q ( x n 1 , x n ) + γ q ( x n 1 , x n + 1 ) + δ q ( x n , x n ) α q ( x n 1 , x n ) + β q ( x n 1 , x n ) + s γ [ q ( x n 1 , x n ) + q ( x n , x n + 1 ) ] + s δ [ q ( x n , x n 1 ) + q ( x n 1 , x n ) ]
for all n N . Thus, we have
( e s γ ) q ( x n , x n + 1 ) ( α + β + s γ + s δ ) q ( x n 1 , x n ) + s δ q ( x n , x n 1 )
for all n N . Similarly, applying Equation (2) with the same x = x n 1 and y = x n , we have
q ( x n + 1 , x n ) α q ( x n , x n 1 ) + β q ( x n , x n 1 ) + s γ [ q ( x n + 1 , x n ) + q ( x n , x n 1 ) ] + s δ [ q ( x n , x n 1 ) + q ( x n 1 , x n ) ]
for all n N . Thus, we have
( e s γ ) q ( x n + 1 , x n ) ( α + β + s γ + s δ ) q ( x n , x n 1 ) + s δ q ( x n 1 , x n )
for all n N . Add (4) to (5), we obtain
( e s γ ) u n ( α + β + s γ + 2 s δ ) u n 1
for all n N with u n = q ( x n , x n + 1 ) + q ( x n + 1 , x n ) . Now, from Equation (3), we have ρ ( s γ ) < 1 . Hence, by Lemma 1 ( l 1 ) , e s γ is invertible and ( e s γ ) 1 = i = 0 ( s γ ) i . Further, since s γ commutes with ( α + β + s γ + 2 s δ ) , we have
( e s γ ) 1 ( α + β + s γ + 2 s δ ) = ( α + β + s γ + 2 s δ ) ( e s γ ) 1 ,
which means that ( e s γ ) 1 commutes with ( α + β + s γ + 2 s δ ) . Now, set h = ( e s γ ) 1 ( α + β + s γ + 2 s δ ) . Using Lemma 1 ( l 1 ) - ( l 2 ) and the relation in Equation (3), we obtain
ρ ( h ) 1 1 s ρ ( γ ) ρ ( α + β + s γ + 2 s δ ) < 1 s ,
which implies that ρ ( s h ) < 1 . Thus, e s h is invertible with ( e s h ) 1 = i = 0 ( s h ) i . Furthermore, by multiplying ( e s γ ) 1 in Equation (6), we have
q ( x n , x n + 1 ) u n ( e s γ ) 1 ( α + β + s γ + 2 s δ ) u n 1 = h u n 1 h n u 0 .
Let m , n N with m > n 1 . Using Equation (7) and ( q 2 ) , we deduce
q ( x n , x m ) s q ( x n , x n + 1 ) + s 2 q ( x n + 1 , x n + 2 ) + + s m n q ( x m 1 , x m ) ] ( s h n + s 2 h n + 1 + s m n h m 1 ) u 0 ( e s h ) 1 s h n u 0 .
Since ρ ( h ) < 1 s and s 1 , we have ρ ( h ) < 1 which means that { h n } is a c-sequence by Lemma 1 ( l 4 ) . Hence, by Lemma 2(3), { x n } is a Cauchy sequence in X. From the completeness of the space X, there exists u X such that x n = f x n 1 u as n . In addition, from Equation (8) and ( q 3 ) , we obtain
q ( x n , u ) ( e s h ) 1 s 2 h n u 0 .
Now, we prove that u is a fixed point of f. For this, set x = x n 1 and y = u in Equation (1). Then,
q ( x n , f u ) = q ( f x n 1 , f u ) α q ( x n 1 , u ) + β q ( x n 1 , f x n 1 ) + γ q ( x n 1 , f u ) + δ q ( f x n 1 , u ) s α [ q ( x n 1 , x n ) + q ( x n , u ) ] + β q ( x n 1 , x n ) + s γ [ q ( x n 1 , x n ) + q ( x n , f u ) ] + δ q ( x n , u )
for all n N , which means that
( e s γ ) q ( x n , f u ) ( s α + β + s γ ) q ( x n 1 , x n ) + ( s α + δ ) q ( x n , u ) .
Remember that e s γ is invertible. Consequently, from Equations (7), (9), and (10), we have
q ( x n , f u ) ( e s γ ) 1 [ ( s α + β + s γ ) q ( x n 1 , x n ) + ( s α + δ ) q ( x n , u ) ] ( e s γ ) 1 [ ( s α + β + s γ ) h n 1 u 0 + ( s α + δ ) ( e s h ) 1 s 2 h n u 0 ] = ( e s γ ) 1 [ ( s α + β + s γ ) + ( s α + δ ) ( e s h ) 1 s 2 h ] u 0 h n 1 .
By using Equations (9) and (11) and by applying Lemmas 1 ( l 4 ) and 2 ( 1 ) , we conclude that f u = u which means that u is a fixed point of f. Further, let f u = u for u X . Then, Equation (1) implies that
q ( u , u ) = q ( f u , f u ) α q ( u , u ) + β q ( u , f u ) + γ q ( u , f u ) + δ q ( f u , u ) = ( α + β + γ + δ ) q ( u , u ) .
On the other hand, α + β + γ + δ < s ( α + β + s γ + 2 s δ ) . By applying Equation (3) and Lemma 1 ( l 3 ) , we obtain q ( u , u ) = θ .
Now, we prove the uniqueness of the fixed point of the mapping f. Assume that v is another fixed point of the mapping f. Then, by Equation (1), we have
q ( v , u ) = q ( f v , f u ) α q ( v , u ) + β q ( v , f v ) + γ q ( v , f u ) + δ q ( f v , u ) = α q ( v , u ) + β q ( v , v ) + γ q ( v , u ) + δ q ( v , u ) ,
which means that q ( v , u ) ( α + γ + δ ) q ( v , u ) . As in the above process, we conclude that q ( v , u ) = θ . Furthermore, by Equation (1), we have q ( u , v ) ( α + γ + δ ) q ( u , v ) . Similar to the previous discussion, we obtain that q ( u , v ) = θ . Now, Lemma 3 implies that u = v ; that is, the fixed point of f is unique. □
Now, in Theorem 1, set s = 1 . We obtain the same Theorem 13 of Han and Xu [17] as follows:
Corollary 1.
Consider a complete cone metric space over a Banach algebra A with a c-distance q on X. Assume that f : X X satisfies the generalized Lipschitz conditions:
q ( f x , f y ) α q ( x , y ) + β q ( x , f x ) + γ q ( x , f y ) + δ q ( f x , y ) , q ( f y , f x ) α q ( y , x ) + β q ( f x , x ) + γ q ( f y , x ) + δ q ( y , f x )
for all x , y X , where α , β , γ P such that γ commutes with α + β + γ + 2 δ and
ρ ( γ ) + ρ ( α + β + γ + 2 δ ) < 1 .
Then, f has a unique fixed point.
Theorem 2.
Consider a complete cone b-metric space over a Banach algebra A with a generalized c-distance q on X. Assume that f : X X satisfies the generalized Lipschitz condition:
q ( f x , f y ) α q ( x , y ) + β q ( x , f x ) + γ q ( x , f y )
for all x , y X , where α , β , γ P such that s γ commutes ( α + β + s γ ) and
ρ ( s γ ) + ρ ( s α + s β + s 2 γ ) < 1 .
Then, f has a unique fixed point.
Proof. 
Consider the sequence { x n } , the same sequence in Theorem 1. In Equation (12), set x = x n 1 and y = x n . Then, we have
q ( x n , x n + 1 ) = q ( f x n 1 , f x n ) α q ( x n 1 , x n ) + β q ( x n 1 , f x n 1 ) + γ q ( x n 1 , f x n ) = α q ( x n 1 , x n ) + β q ( x n 1 , x n ) + γ q ( x n 1 , x n + 1 ) α q ( x n 1 , x n ) + β q ( x n 1 , x n ) + s γ [ q ( x n 1 , x n ) + q ( x n , x n + 1 ) ]
for all n N , which means that
( e s γ ) q ( x n , x n + 1 ) ( α + β + s γ ) q ( x n 1 , x n ) .
On the other hand, from Equation (13), we have ρ ( s γ ) < 1 . Hence, by Lemma 1 ( l 1 ) , e s γ is invertible and ( e s γ ) 1 = i = 0 ( s γ ) i . Further, since s γ commutes with α + β + s γ , e s γ commutes with α + β + s γ . Now, set h = ( e s γ ) 1 ( α + β + s γ ) and apply Lemma 1 ( l 1 ) - ( l 2 ) and the relation in Equation (13). Then, we have
ρ ( h ) 1 1 s ρ ( γ ) ρ ( α + β + s γ ) < 1 s ,
which implies that ρ ( s h ) < 1 . Thus, e s h is invertible with ( e s h ) 1 = i = 0 ( s h ) i . Furthermore, by multiplying ( e s γ ) 1 in Equation (13), we have
q ( x n , x n + 1 ) ( e s γ ) 1 ( α + β + s γ ) q ( x n 1 , x n ) = h q ( x n 1 , x n ) h n q ( x 0 , x 1 ) .
Let m , n N with m > n 1 . Using Equation (16) and ( q 2 ) , we deduce
q ( x n , x m ) s q ( x n , x n + 1 ) + s 2 q ( x n + 1 , x n + 2 ) + + s m n q ( x m 1 , x m ) ( s h n + s 2 h n + 1 + s m n h m 1 ) q ( x 0 , x 1 ) ( e s h ) 1 s h n q ( x 0 , x 1 ) .
Since ρ ( h ) < 1 s and s 1 , we have ρ ( h ) < 1 which means that { h n } is a c-sequence by Lemma 1 ( l 4 ) . Hence, by Lemma 2(3), { x n } is a Cauchy sequence in X. From the completeness of the space X, there exists u X such that x n = f x n 1 u as n . In addition, from Equation (17) and ( q 3 ) , we obtain
q ( x n , u ) ( e s h ) 1 s 2 h n q ( x 0 , x 1 ) .
Now, we prove that u is a fixed point of f. For this purpose, set x = x n 1 and y = u in (12). Then,
q ( x n , f u ) = q ( f x n 1 , f u ) α q ( x n 1 , u ) + β q ( x n 1 , f x n 1 ) + γ q ( x n 1 , f u ) = α q ( x n 1 , u ) + β q ( x n 1 , x n ) + γ q ( x n 1 , f u ) s α [ q ( x n 1 , x n ) + q ( x n , u ) ] + β q ( x n 1 , x n ) + s γ [ q ( x n 1 , x n ) + q ( x n , f u ) ]
for all n N , which implies that
( e s γ ) q ( x n , f u ) ( s α + β + s γ ) q ( x n 1 , x n ) + s α q ( x n , u ) .
Remember that e s γ is invertible. Consequently, from Equations (16), (18) and (19), we have
q ( x n , f u ) ( e s γ ) 1 [ ( s α + β + s γ ) q ( x n 1 , x n ) + s α q ( x n , u ) ] ( e s γ ) 1 [ ( s α + β + s γ ) h n 1 q ( x 0 , x 1 ) + s α ( e s h ) 1 s 2 h n q ( x 0 , x 1 ) ] = ( e s γ ) 1 [ ( s α + β + s γ ) + s 3 α ( e s h ) 1 h ] h n 1 q ( x 0 , x 1 ) .
By using Equations (18) and (20) and by applying Lemmas 1 ( l 4 ) and 2(1), we conclude that f u = u which means that u is a fixed point of f. Further, let f u = u for u X . Now, similar to the end part of the proof of Theorem 1, it is not difficult to show that the fixed point of the mapping f is unique. □
Example 2.
Let X = [ 0 , 1 ] , A = C R 1 [ 0 , 1 ] with the norm f = f + f and multiplication in A be just pointwise multiplication. Then, A is a real Banach algebra with a unit e ( t ) = 1 for all t [ 0 , 1 ] . Take a solid cone P = { f A | f ( t ) 0 f o r a l l t [ 0 , 1 ] } and define the cone b-metric d : X × X P A by d ( x , y ) = | x y | s 2 t for all x , y X , where 2 t P A with t X and s = 2 . Consider a mapping q : X × X A by q ( x , y ) ( t ) = y 2 2 t for all x , y , t X . Then, q is a generalized c-distance in the cone b-metric space d over the Banach algebra A . Take α = 2 121 + 3 121 t , β = 5 121 + 8 121 t , and γ = 5 121 + 9 121 t and define the mapping f : X X by
f ( x ) = 2 11 x x Q X 2 9 x otherwise
Clearly, f is not continuous. In addition,
ρ ( s γ ) + ρ ( s α + s β + s 2 γ ) = 120 121 < 1 .
On the other hand, we have the two following cases:
(i)
For all x X and y Q X , we have
q ( f x , f y ) ( t ) = ( f y ) 2 2 t = 2 121 y 2 2 t α q ( x , y ) ( t ) + β q ( x , f x ) ( t ) + γ q ( x , f y ) ( t ) .
(ii)
For all x X and y Q X , we have
q ( f x , f y ) ( t ) = ( f y ) 2 2 t = 2 81 y 2 2 t α q ( x , y ) ( t ) + β q ( x , f x ) ( t ) + γ q ( x , f y ) ( t ) .
Hence, all the conditions of Theorem 2 hold. Thus, f has a unique fixed point at x = 0 .
Corollary 2.
Consider a complete cone metric space over a Banach algebra A with a c-distance q on X. Assume that f : X X satisfies the generalized Lipschitz condition:
q ( f x , f y ) α q ( x , y ) + β q ( x , f x ) + γ q ( x , f y )
for all x , y X , where α , β , γ P such that γ commutes α + β + γ and
ρ ( γ ) + ρ ( α + β + γ ) < 1 .
Then, f has a unique fixed point.
Remark 1.
For Banach-type and Kannan-type fixed point results over Banach algebras, we need
q ( f x , f y ) α q ( x , y ) , ρ ( α ) 0 , 1 s
and
q ( f x , f y ) λ ( q ( x , f x ) + q ( y , f y ) ) , ρ ( λ ) 0 , 1 2 s ,
respectively. Now, let s = 1 . Then, we have
q ( f x , f y ) α q ( x , y ) , ρ ( α ) [ 0 , 1 )
and
q ( f x , f y ) λ ( q ( x , f x ) + q ( y , f y ) ) , ρ ( λ ) 0 , 1 2 ,
respectively.

3. Conclusions

In this paper, we define the concept of a generalized c-distance in cone b-metric spaces over a Banach algebra and introduced some its properties. As an application of this new definition, we prove several fixed point results for a mapping f satisfied in some of the generalized Lipschitz conditions. Our results are useful, since a generalized c-distance in cone b-metric spaces over a Banach algebra is not equivalent to a w t -distance in b-metric spaces. In addition, we remove the continuity condition of the mapping f and the normality condition of the cone P. Moreover, if we consider s = 1 , then we can obtain same results with respect to a c-distance in cone metric spaces over a Banach algebra (see [17]). Further, two examples are considered for support our definitions and theorems. To continue this article, one can extend some research papers, such as those by Karapinar [19,20], Abdeljawad and Karapinar [21], Olaleru et al. [22,23], Abdeljawad et al. [24], and Aryanpour et al. [25], in the framework of this generalized c-distance as a new work.

Author Contributions

All authors contributed equally and significantly in writing this paper. All authors have read and agreed to the published version of the manuscript.

Funding

The authors are very grateful to the Basque Government by its support through Grant IT1207-19.

Acknowledgments

The first and the second authors acknowledge the Central Tehran Branch of Islamic Azad University. In addition, the authors are very grateful to the Basque Government by its support through Grant IT1207-19.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Öztürk, M.; Başarır, M. On some common fixed point theorems with rational expressions on cone metric spaces over a Banach algebra. Hacettepe J. Math. Stat. 2012, 41, 211–222. [Google Scholar]
  2. Liu, H.; Xu, S. Cone metric spaces with Banach algebras and fixed point theorems of generalized Lipschitz mappings. Fixed Point Theory Appl. 2013, 2013, 320. [Google Scholar] [CrossRef] [Green Version]
  3. Huang, L.G.; Zhang, X. Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332, 1467–1475. [Google Scholar] [CrossRef] [Green Version]
  4. Arabnia Firozjah, A.; Rahimi, H.; Soleimani Rad, G. Fixed and periodic point results in cone b-metric spaces over Banach algebras; A survey. Fixed Point Theory 2019, in press. [Google Scholar]
  5. Huang, H.; Deng, G.; Radenović, S. Some topological properties and fixed point results in cone metric spaces over Banach algebras. Positivity 2019, 23, 21–34. [Google Scholar] [CrossRef]
  6. Huang, H.; Hu, S.; Popović, B.Z.; Radenović, S. Common fixed point theorems for four mappings on cone b-metric spaces over Banach algebras. J. Nonlinear Sci. Appl. 2016, 9, 3655–3671. [Google Scholar] [CrossRef] [Green Version]
  7. Bao, B.; Xu, S.; Shi, L.; Ćojbasic Rajić, V. Fixed point theorems on generalized c-distance in ordered cone b-metric spaces. Int. J. Nonlinear Anal. Appl. 2015, 6, 9–22. [Google Scholar]
  8. Bakhtin, I.A. The contraction mapping principle in quasimetric spaces. Func. Anal. Gos. Ped. Inst. Ulianowsk 1989, 30, 26–37. [Google Scholar]
  9. Czerwik, S. Contraction mappings in b-metric spaces. Acta. Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  10. Kada, O.; Suzuki, T.; Takahashi, W. Nonconvex minimization theorems and fixed point theorems in complete metric spaces. Math. Japon. 1996, 44, 381–391. [Google Scholar]
  11. Hussain, N.; Shah, M.H. KKM mapping in cone b-metric spaces. Comput. Math. Appl. 2011, 62, 1677–1684. [Google Scholar] [CrossRef] [Green Version]
  12. Cho, Y.J.; Saadati, R.; Wang, S.H. Common fixed point theorems on generalized distance in ordered cone metric spaces. Comput. Math. Appl. 2011, 61, 1254–1260. [Google Scholar] [CrossRef] [Green Version]
  13. Hussain, N.; Saadati, R.; Agarwal, R.P. On the topology and wt-distance on metric type spaces. Fixed Point Theory Appl. 2014, 2014, 88. [Google Scholar] [CrossRef] [Green Version]
  14. Soleimani Rad, G.; Rahimi, H.; Vetro, C. Fixed point results under generalized c-distance with application to nonlinear fourth-order differential equation. Fixed Point Theory 2019, 20, 635–648. [Google Scholar]
  15. Babaei, R.; Rahimi, H.; De La Sen, M.; Rad, G.S. w-b-cone distance and its related results: A survey. Symmetry 2020, 12, 171. [Google Scholar] [CrossRef] [Green Version]
  16. Huang, H.; Radenović, S.; Dosenović, T. Some common fixed point theorems on c-distance in cone metric spaces over Banach algebras. Appl. Comput. Math. 2015, 14, 180–193. [Google Scholar]
  17. Han, Y.; Xu, S. Some new theorems on c-distance without continuity in cone metric spaces over Banach algebras. J. Funct. Spaces 2018, 2018, 7463435. [Google Scholar] [CrossRef] [Green Version]
  18. Rudin, W. Functional Analysis; McGraw-Hill: New York, NY, USA, 1991. [Google Scholar]
  19. Karapinar, E. Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010, 59, 3656–3668. [Google Scholar] [CrossRef] [Green Version]
  20. Karapinar, E. Some nonunique fixed point theorems of Ciric type on cone metric spaces. Abstr. Appl. Anal. 2010, 2010, 123094. [Google Scholar] [CrossRef] [Green Version]
  21. Abdeljawad, T.; Karapinar, E. Quasicone metric spaces and generalizations of Caristi Kirk’s theorem. Fixed Point Theory Appl. 2009, 2009, 574387. [Google Scholar] [CrossRef] [Green Version]
  22. Olaleru, J.O.; Okeke, G.A.; Akewe, H. Coupled fixed point theorems of integral type mappings in cone metric spaces. Kragujev. J. Math. 2012, 36, 215–224. [Google Scholar]
  23. Olaleru, J.O.; Okeke, G.A.; Akewe, H. Coupled fixed point theorems for generalized φ-mappings satisfying contractive condition of integral type on cone metric spaces. IJM2C 2012, 2, 87–98. [Google Scholar]
  24. Abdeljawad, T.; Karapinar, E.; Tas, K. Common fixed point theorems in cone Banach spaces. Hacet. J. Math. Stat. 2011, 40, 211–217. [Google Scholar]
  25. Aryanpour, L.; Rahimi, H.; Soleimani Rad, G. Fixed point results for Hardy-Rogers type contractions with respect to a c-distance in graphical cone metric spaces. Probl. Anal. Issues Anal. 2020, 9, 27–37. [Google Scholar] [CrossRef]

Share and Cite

MDPI and ACS Style

Arabnia Firozjah, A.; Rahimi, H.; De la Sen, M.; Soleimani Rad, G. Fixed Point Results under Generalized c-Distance in Cone b-Metric Spaces Over Banach Algebras. Axioms 2020, 9, 31. https://doi.org/10.3390/axioms9010031

AMA Style

Arabnia Firozjah A, Rahimi H, De la Sen M, Soleimani Rad G. Fixed Point Results under Generalized c-Distance in Cone b-Metric Spaces Over Banach Algebras. Axioms. 2020; 9(1):31. https://doi.org/10.3390/axioms9010031

Chicago/Turabian Style

Arabnia Firozjah, Ataollah, Hamidreza Rahimi, Manuel De la Sen, and Ghasem Soleimani Rad. 2020. "Fixed Point Results under Generalized c-Distance in Cone b-Metric Spaces Over Banach Algebras" Axioms 9, no. 1: 31. https://doi.org/10.3390/axioms9010031

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