Next Article in Journal
A Generalized Norm on Reproducing Kernel Hilbert Spaces and Its Applications
Next Article in Special Issue
General New Results on (ϕ,F)Contractions in bMetric-like-Spaces
Previous Article in Journal
Quasi-Hermitian Formulation of Quantum Mechanics Using Two Conjugate Schrödinger Equations
Previous Article in Special Issue
Best Proximity Points for p–Cyclic Infimum Summing Contractions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence, Approximation and Stability of Fixed Point for Cirić Contraction in Convex b-Metric Spaces

1
Department of Engineering and Technology, Gurugram University, Gurugram 122003, Haryana, India
2
Department of Mathematics, Maharshi Dayanand University, Rohtak 124001, Haryana, India
3
Department of Mathematics, Sir Chhotu Ram Government College for Women Sampla, Rohtak 124501, Haryana, India
*
Authors to whom correspondence should be addressed.
Axioms 2023, 12(7), 646; https://doi.org/10.3390/axioms12070646
Submission received: 31 May 2023 / Revised: 22 June 2023 / Accepted: 25 June 2023 / Published: 28 June 2023
(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics IV)

Abstract

:
We establish a new fixed point theorem in the setting of convex b-metric spaces that ensures the existence of fixed point for Cirić contraction with the assumption k < 1 s 2 . Also, the fixed point is approximated by Krasnoselskij iterative procedure. Moreover, we discuss the stability of fixed point for the aforesaid contraction. As a consequence, we develop a common fixed point and coincidence point result. Finally, we provide a number of examples to illustrate the findings presented here and incorporate these findings to solve an initial value problem.

1. Introduction and Preliminaries

In the field of fixed point theory, the most useful and widely applied fixed point theorem was proved by Stefan Banach [1] in 1922, where he ensured the existence of fixed point for a contraction defined on a complete metric space. In the literature, this result is also known as the Banach contraction principle. Moreover, as this result played a pivotal role in solving various real-life problems of nonlinear analysis, it has been extended by the researchers either by weakening the contractive condition or by enlarging the structure of the ambient space. In 1974, pursuing the former course of action, Cirić [2] weakened the contractive condition of Banach [1] by defining the notion of quasi contraction (also called Cirić contraction) and succeeded in obtaining a generalization of not only the Banach contraction principle but also the Kannan fixed point theorem and Chatterjea fixed point theorem existing in the literature. On the other hand, in lieu of extending this contraction principle, the notion of b-metric spaces was introduced by Bakhtin [3] in 1989. One can refer to [4,5,6,7,8] and references therein to learn more about this space. In the recent years, Chen et al. [9] introduced the notion of convex b-metric spaces by utilizing the concept of convex structure of Takahashi [10] in b-metric space which is given as under:
Definition 1 
([9]). Let Ξ ϕ and s 1 (a real number). A mapping ρ b : Ξ × Ξ [ 0 , ) is said to be a b-metric if the following holds for every σ , μ , ξ Ξ
1. 
ρ b ( σ , μ ) = 0 iff σ = μ
2. 
ρ b ( σ , μ ) = ρ b ( μ , σ )
3. 
ρ b ( σ , μ ) s [ ρ b ( σ , ξ ) + ρ b ( ξ , μ ) ]
Further, a function Δ : Ξ × Ξ × I Ξ (where I = [0,1]) is said to have convex structure on Ξ if
ρ b ( ξ , Δ ( σ , μ ; α ) α ρ b ( ξ , σ ) + ( 1 α ) ρ b ( ξ , μ ) for each ξ , σ , μ Ξ .
The triplet ( Ξ , ρ b , Δ ) is called a convex b-metric space.
Additionally, they extended the Mann’s iterative algorithm in convex b-metric space and employed it to establish the Banach contraction principle in the framework of this newly introduced space. In 2022, Rathee et al. [11] extended this result by establishing a fixed point theorem for Cirić contraction which is stated as under:
Theorem 1 
([11]). Suppose Υ : ( Ξ , ρ b , Δ ) ( Ξ , ρ b , Δ ) is a quasi-contraction, that is, Υ satisfies
ρ b ( Υ σ , Υ μ ) k max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } ,
for all σ , μ Ξ and some k ( 0 , 1 ) , where ( Ξ , ρ b , Δ ) is a complete convex b-metric space with s > 1 . Let σ n = Δ ( σ n 1 , Υ σ n 1 ; α n 1 ) be a sequence defined by choosing an initial point σ 0 Ξ with the property ρ b ( σ 0 , Υ σ 0 ) < , where 0 α n 1 < 1 for each n N . If k < min 1 s 2 ( s + 1 ) , 1 s 4 and 0 α n 1 < min 1 s 2 ( s + 1 ) k , 1 s 4 k 1 s 2 k for each n N , then Υ has a fixed point in Ξ that is unique.
The main aim of this work is to improve the above theorem by stretching the domain of constant k from 0 , 1 s 4 to 0 , 1 s 2 by motivating with the idea of Djafari-Rouhani and Moradi [12]. Furthermore, the fixed point is approximated by means of Krasnoselskij iteration, and then, we discuss the stability of the obtained fixed point. Moreover, some examples are presented to clarify the universality of the proven results over Theorem 1 as well as over the similar results existing in the literature.The obtained results can be utilized in various branch of mathematics, such as the theory of differential equation and integral equation, in numerical methods and in the theory of fractal. For example, we applied the main result of this paper to the initial value problem (27) and ensured that there is a unique solution to the given initial value problem. Hence, it can be said that these results can be helpful for solving real-life problems of nonlinear analysis, which can be formulated in any of the above-mentioned classes. Besides, as a consequence of main result, we obtained some coincidence and common fixed point theorem and hence the obtained results play a crucial role in the further development of fixed point theory.

2. Main Results

We start this section with the following lemma that is required in the sequel to assure the existence, approximation and stability of fixed point.
Lemma 1. 
Let Υ : Ξ Ξ be a self mapping defined on ( Ξ , ρ b ) , a complete b-metric space with parameter s 1 , such that for all σ , μ Ξ and some κ [ 0 , 1 ) , it satisfies
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } .
If κ < 1 s 2 , then the following statements are equivalent:
1. 
Υ has a unique fixed point.
2. 
Υ has approximate fixed point property, i.e., inf { ρ b ( σ , Υ σ ) ; σ Ξ } = 0 .
Proof. 
(1) ⇒ (2)
Firstly, presume that a unique fixed point of Υ , say σ , exists, i.e., Υ σ = σ . Then,
ρ b ( σ , Υ σ ) = 0 , inf { ρ b ( σ , Υ σ ) ; σ Ξ } = 0 .
Thus, Υ exhibits approximate fixed point property.
(2) ⇒ (1)
Conversely, presume that Υ exhibits approximate fixed point property, i.e., inf { ρ b ( σ , Υ σ ) ; σ Ξ } = 0 . This indicates the existence of σ n n N , a sequence in Ξ satisfying lim n ρ b ( σ n , Υ σ n ) = 0 and by using (2) and triangle inequality for all m , n Ξ , we have,
ρ b ( Υ σ n , Υ σ m ) κ max { ρ b ( σ n , σ m ) , ρ b ( σ n , Υ σ n ) , ρ b ( σ m , Υ σ m ) , ρ b ( σ n , Υ σ m ) , ρ b ( σ m , Υ σ n ) } κ max { s ρ b ( σ n , Υ σ n ) + s ρ b ( Υ σ n , σ m ) , ρ b ( σ n , Υ σ n ) , ρ b ( σ m , Υ σ m ) , s ρ b ( σ n , Υ σ n ) + s ρ b ( Υ σ n , Υ σ m ) , s ρ b ( σ m , Υ σ m ) + s ρ b ( Υ σ m , Υ σ n ) } κ max { s ρ b ( σ n , Υ σ n ) + s 2 ρ b ( Υ σ n , Υ σ m ) + s 2 ρ b ( Υ σ m , σ m ) , s ρ b ( σ n , Υ σ n ) + s ρ b ( Υ σ n , Υ σ m ) , s ρ b ( σ m , Υ σ m ) + s ρ b ( Υ σ m , Υ σ n ) } = κ [ s ρ b ( σ n , Υ σ n ) + s 2 ρ b ( Υ σ n , Υ σ m ) + s 2 ρ b ( Υ σ m , σ m ) ] ( 1 κ s 2 ) ρ b ( Υ σ n , Υ σ m ) κ [ s ρ b ( σ n , Υ σ n ) + s 2 ρ b ( Υ σ m , σ m ) ] .
Now, since lim n ρ b ( σ n , Υ σ n ) = 0 and κ < 1 s 2 , we are left with a Cauchy sequence Υ σ n n N as n . Also, the space ( Ξ , ρ b ) , being complete, proposes the existence of an element σ Ξ satisfying lim n Υ σ n = σ .
Again using triangle inequality
ρ b ( σ n , σ ) s [ ρ b ( σ n , Υ σ n ) + ρ b ( Υ σ n , σ ) ] .
Taking limit as n , we get
lim n ρ b ( σ n , σ ) = 0 σ n σ .
Also, consider
ρ b ( Υ σ n , Υ σ ) κ max { ρ b ( σ n , σ ) , ρ b ( σ n , Υ σ n ) , ρ b ( σ , Υ σ ) , ρ b ( σ n , Υ σ ) , ρ b ( σ , Υ σ n ) } .
Now taking limit as n , we get
1 s ρ b ( σ , Υ σ ) κ max { 0 , 0 , ρ b ( σ , Υ σ ) , s ρ b ( σ , Υ σ ) , 0 } = κ s ρ b ( σ , Υ σ ) ρ b ( σ , Υ σ ) κ s 2 ρ b ( σ , Υ σ ) ( 1 κ s 2 ) ρ b ( σ , Υ σ ) 0 .
Since κ < 1 s 2 , i.e., 1 κ s 2 < 1 , we get
ρ b ( σ , Υ σ ) = 0 Υ σ = σ
and σ Ξ . Thus Υ has a fixed point in Ξ .
Now, if possible, let us consider two fixed points of Υ , say σ and μ , exist and thus ρ b ( σ , μ ) 0 . By using inequality (2), we get
ρ b ( σ , μ ) = ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } = κ max { ρ b ( σ , μ ) , ρ b ( σ , σ ) , ρ b ( μ , μ ) , ρ b ( σ , μ ) , ρ b ( μ , σ ) } = κ ρ b ( σ , μ )
which is a contradiction since κ [ 0 , 1 ) .
ρ b ( σ , μ ) = 0 and thus σ = μ , i.e., the fixed point is unique. □
Theorem 2. 
Let Υ : Ξ Ξ be a self mapping defined on ( Ξ , ρ b , Δ ) , a complete convex b-metric space with parameter s 2 such that for all σ , μ Ξ and some κ [ 0 , 1 ) , it satisfies
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
If κ < 1 s 2 , then Υ has approximate fixed point property.
Proof. 
For every σ Ξ , we have
ρ b ( Υ n + 1 σ , Υ n σ ) κ max { ρ b ( Υ n σ , Υ n 1 σ ) , ρ b ( Υ n σ , Υ n + 1 σ ) , ρ b ( Υ n 1 σ , Υ n σ ) , ρ b ( Υ n σ , Υ n σ ) , ρ b ( Υ n 1 σ , Υ n + 1 σ ) } = κ max { ρ b ( Υ n 1 σ , Υ n σ ) , ρ b ( Υ n σ , Υ n + 1 σ ) , ρ b ( Υ n 1 σ , Υ n + 1 σ ) } κ max { ρ b ( Υ n 1 σ , Υ n σ ) , ρ b ( Υ n σ , Υ n + 1 σ ) , s ρ b ( Υ n 1 σ , Υ n σ ) + s ρ b ( Υ n σ , Υ n + 1 σ ) } = κ s [ s ρ b ( Υ n 1 σ , Υ n σ ) + s ρ b ( Υ n σ , Υ n + 1 σ ) ] ( 1 κ s ) ρ b ( Υ n + 1 σ , Υ n σ ) κ s ρ b ( Υ n 1 σ , Υ n σ ) ρ b ( Υ n + 1 σ , Υ n σ ) κ s 1 κ s ρ b ( Υ n 1 σ , Υ n σ ) < ρ b ( Υ n 1 σ , Υ n σ ) ,
since κ < 1 s 2 . Thus the sequence ρ b ( Υ n + 1 σ , Υ n σ ) n N is non-increasing and for λ N ,
ρ b ( Υ λ + 1 σ , Υ λ σ ) < ρ b ( Υ λ σ , Υ λ 1 σ ) < < ρ b ( Υ 2 σ , Υ σ ) < ρ b ( Υ σ , σ ) .
Now, consider
ρ b ( Υ λ σ , Υ λ + 2 σ ) κ max { ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , ρ b ( Υ λ 1 σ , Υ λ σ ) , ρ b ( Υ λ + 1 σ , Υ λ + 2 σ ) , ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) , ρ b ( Υ λ + 1 σ , Υ λ σ ) } < κ max { ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , ρ b ( σ , Υ σ ) , ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) } .
Then, the following cases exist:
Case 1. 
If max { ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , ρ b ( σ , Υ σ ) , ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) } = ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , then by using inequality (5), we get
ρ b ( Υ λ σ , Υ λ + 2 σ ) κ ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) κ 2 ρ b ( Υ λ 2 σ , Υ λ σ ) κ λ ρ b ( σ , Υ 2 σ ) κ λ s [ ρ b ( σ , Υ σ ) + ρ b ( Υ σ , Υ 2 σ ) ] < 2 κ λ s ρ b ( σ , Υ σ ) .
Case 2. 
If max { ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , ρ b ( σ , Υ σ ) , ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) } = ρ b ( σ , Υ σ ) , then by using inequality (5), we get
ρ b ( Υ λ σ , Υ λ + 2 σ ) κ ρ b ( σ , Υ σ ) .
Case 3. 
If max { ρ b ( Υ λ 1 σ , Υ λ + 1 σ ) , ρ b ( σ , Υ σ ) , ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) } = ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) , then by using inequality (5), we get
ρ b ( Υ λ σ , Υ λ + 2 σ ) κ ρ b ( Υ λ 1 σ , Υ λ + 2 σ ) κ s [ ρ b ( Υ λ 1 σ , Υ λ σ ) + ρ b ( Υ λ σ , Υ λ + 2 σ ) ] ( 1 κ s ) ρ b ( Υ λ σ , Υ λ + 2 σ ) κ s ρ b ( Υ λ 1 σ , Υ λ σ ) ρ b ( Υ λ σ , Υ λ + 2 σ ) κ s 1 κ s ρ b ( Υ λ 1 σ , Υ λ σ ) κ s 1 κ s ρ b ( σ , Υ σ ) .
Therefore, using inequalities (6)–(8), we get
ρ b ( Υ λ σ , Υ λ + 2 σ ) η ρ b ( σ , Υ σ )
where η = 2 κ s since
max { 2 κ λ s , κ , κ s 1 κ s } max { 2 κ s , κ , κ s 1 κ s } = max { 2 κ s , κ s 1 κ s } = 2 κ s = ρ , s a y ,
for κ < 1 2 s and κ < 1 s 2 1 2 s for s 2 here.
We let inf { ρ b ( σ , Υ σ ) ; σ Ξ } = γ . We need to prove that this γ = 0 . For this, let σ n be a sequence such that lim n ρ b ( σ n , Υ σ n ) = γ , i.e., by (8), we have, for every n N and some λ ( n ) N ,
ρ b ( Υ λ ( n ) σ n , Υ λ ( n ) + 2 σ n ) η ρ b ( σ n , Υ σ n ) .
Now, ( Ξ , ρ b , Δ ) being a complete convex b-metric space, defining ζ n = Δ ( Υ λ ( n ) + 1 σ n , Υ λ ( n ) + 2 σ n , α ) leads to a well defined ζ n belonging to Ξ , where α ( 0 , 1 ) and we have,
ρ b ( ζ n , Υ ζ n ) α ρ b ( Υ λ ( n ) + 1 σ n , Υ ζ n ) + ( 1 α ) ρ b ( Υ λ ( n ) + 2 σ n , Υ ζ n ) κ α max { ρ b ( Υ λ ( n ) σ n , ζ n ) , ρ b ( Υ λ ( n ) σ n , Υ λ ( n ) + 1 σ n ) , ρ b ( ζ n , Υ ζ n ) , ρ b ( Υ λ ( n ) σ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 1 σ n ) } + κ ( 1 α ) max { ρ b ( Υ λ ( n ) + 1 σ n , ζ n ) , ρ b ( Υ λ ( n ) + 1 σ n , Υ λ ( n ) + 2 σ n ) , ρ b ( ζ n , Υ ζ n ) , ρ b ( Υ λ ( n ) + 1 σ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 2 σ n ) } κ α max { ρ b ( Υ λ ( n ) σ n , ζ n ) , ρ b ( σ n , Υ σ n ) , ρ b ( ζ n , Υ ζ n ) , s ρ b ( Υ λ ( n ) σ n , ζ n ) + s ρ b ( ζ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 1 σ n ) } + κ ( 1 α ) max { ρ b ( Υ λ ( n ) + 1 σ n , ζ n ) , ρ b ( σ n , Υ σ n ) , ρ b ( ζ n , Υ ζ n ) , s ρ b ( Υ λ ( n ) + 1 σ n , ζ n ) + s ρ b ( ζ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 2 σ n ) } = κ α max { ρ b ( σ n , Υ σ n ) , s ρ b ( Υ λ ( n ) σ n , ζ n ) + s ρ b ( ζ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 1 σ n ) }   +   κ ( 1 α ) max { ρ b ( σ n , Υ σ n ) , s ρ b ( Υ λ ( n ) + 1 σ n , ζ n ) + s ρ b ( ζ n , Υ ζ n ) , ρ b ( ζ n , Υ λ ( n ) + 2 σ n ) } κ α max { ρ b ( σ n , Υ σ n ) , s α ρ b ( Υ λ ( n ) σ n , Υ λ ( n ) + 1 σ n ) + s ( 1 α ) ρ b ( Υ λ ( n ) σ n , Υ λ ( n ) + 2 σ n ) + s ρ b ( ζ n , Υ ζ n ) , ( 1 α ) ρ b ( Υ λ ( n ) + 2 σ n , Υ λ ( n ) + 1 σ n ) }   +   κ ( 1 α ) max { ρ b ( σ n , Υ σ n ) , s ( 1 α ) ρ b ( Υ λ ( n ) + 1 σ n , Υ λ ( n ) + 2 σ n ) + s ρ b ( ζ n , Υ ζ n ) , α ρ b ( Υ λ ( n ) + 1 σ n , Υ λ ( n ) + 2 σ n ) } κ α max { ρ b ( σ n , Υ σ n ) , s α ρ b ( σ n , Υ σ n ) + s ( 1 α ) η ρ b ( σ n , Υ σ n ) + s ρ b ( ζ n , Υ ζ n ) , ( 1 α ) ρ b ( σ n , Υ σ n ) }   +   κ ( 1 α ) max { ρ b ( σ n , Υ σ n ) , s ( 1 α ) ρ b ( σ n , Υ σ n ) + s ρ b ( ζ n , Υ ζ n ) , α ρ b ( σ n , Υ σ n ) } = κ α max { ρ b ( σ n , Υ σ n ) , s α ρ b ( σ n , Υ σ n ) + s ( 1 α ) η ρ b ( σ n , Υ σ n ) + s ρ b ( ζ n , Υ ζ n ) }   +   κ ( 1 α ) max { ρ b ( σ n , Υ σ n ) , s ( 1 α ) ρ b ( σ n , Υ σ n ) + s ρ b ( ζ n , Υ ζ n ) } .
Now suppose that lim n ρ b ( ζ n , Υ ζ n ) = β and using inequality (11), we find that β is finite. By definition of γ and β , the inequality γ β holds. We shall now prove that β = 0 , which in turn, shall prove that γ = 0 .
For this, take lim sup as n on both sides of inequality (11) and using the inequality γ β , we must have,
β κ α max { β , s α β + s ( 1 α ) ρ β + s β } + κ ( 1 α ) max { β , s ( 1 α ) β + s β } = κ α [ s α β + s ( 1 α ) ρ β + s β ] + κ ( 1 α ) [ 2 s β s α β ] = κ [ s α 2 + s ρ α s α 2 η + s α + 2 s s α 2 s α + s α 2 ] β = κ [ 2 s α 2 + s ρ α s α 2 η + 2 s 2 s α ] β .
If possible, suppose that β > 0 . Then, by inequality (12), we get
1 κ [ 2 s α 2 + s ρ α s α 2 η + 2 s 2 s α ] κ s [ ( ρ 2 ) α ( 1 α ) + 2 ] < 2 κ s κ > 1 2 s ,
which is a contradiction since κ < 1 s 2 1 2 s , η = 2 κ s < 2 s 1 for s 2 and α , ( 1 α ) ( 0 , 1 ) implying ( ρ 2 ) α ( 1 α ) < 0 .
Thus our supposition is wrong, i.e., β = 0 and, in turn, γ = inf { ρ b ( σ , Υ σ ) ; σ Ξ } = 0 . Therefore, Υ has approximate fixed point property. □
Let Υ : Ξ Ξ be a self mapping defined on ( Ξ , ρ b , Δ ) , a convex b-metric space. We state the following Lemma to show the relation between the set of fixed points of the self mappings Υ and Υ α : Ξ Ξ defined by
Υ α σ = Δ ( σ , Υ σ ; α ) , σ Ξ .
Here, set of fixed points of the mappings Υ and Υ α are denoted by F i x ( Υ ) and F i x ( Υ α ) , respectively.
Lemma 2. 
Let Υ : Ξ Ξ be a self mapping defined on ( Ξ , ρ b , Δ ) , a convex b-metric space with parameter s 1 . Define another self mapping Υ α : Ξ Ξ by
Υ α σ = Δ ( σ , Υ σ ; α ) , σ Ξ .
Then, for any α [ 0 , 1 ) ,
F i x ( Υ ) = F i x ( Υ α ) .
Proof. 
By definition,
Υ α σ = α σ + ( 1 α ) Υ σ .
If α = 0 , then
Υ α σ = Υ σ σ Ξ i . e . , Υ α = Υ F i x ( Υ ) = F i x ( Υ α ) .
Now assume that α ( 0 , 1 ) and let a fixed point of Υ , say σ * , exists i.e., σ * = Υ σ * and therefore,
ρ b ( σ * , Υ α σ * ) = ρ b ( σ * , Δ ( σ * , Υ σ * ; α ) ) α ρ b ( σ * , σ * ) + ( 1 α ) ρ b ( σ * , Υ σ * ) = 0 σ * = Υ α σ *
i.e., σ * is a fixed point of Υ α .
Conversely, suppose that σ * is a fixed point of Υ α , i.e., ρ b ( σ * , Υ α σ * ) = 0 , then
ρ b ( σ * , Δ ( σ * , Υ σ * ; α ) ) = 0 α ρ b ( σ * , σ * ) + ( 1 α ) ρ b ( σ * , Υ σ * ) = 0 ( 1 α ) ρ b ( σ * , Υ σ * ) = 0 .
Since α 1 , this implies that ρ b ( σ * , Υ σ * ) = 0 , i.e., Υ σ * = σ * . Therefore σ * is a fixed point of Υ . □
Lemma 1 and Theorem 2 imply the following result, extending the Cirić fixed point theorem in the case of Convex b-metric spaces by Rathee et al. [11].
Theorem 3. 
Let Υ : Ξ Ξ be a self mapping defined on ( Ξ , ρ b , Δ ) , a complete convex b-metric space with parameter s 2 such that for all σ , μ Ξ and some κ [ 0 , 1 ) , it satisfies
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
If κ < 1 s 2 , then
1. 
A fixed point of Υ, say σ, exists that is unique.
2. 
The sequence σ n n N converges to σ for any σ 0 Ξ that is obtained from the iterative procedure
σ n + 1 = Δ ( σ n , Υ σ n ; α ) ; n 0 .
3. 
The error estimate
1 s ρ b ( σ n + i 1 , σ ) δ i 1 δ ρ b ( σ n , σ n 1 )
holds for n = 1 , 2 , ; i = 1 , 2 , .
Proof. 
  • With the given conditions, by Theorem 2, we arrive at the conclusion that Υ has approximate fixed point property. By Lemma 1, a fixed point of Υ , say σ , exists that is unique.
  • We observe that Krasnoselskij iterative procedure is nothing but the Picard iteration associated with Υ α and defined by σ n + 1 = Δ ( σ n , Υ σ n ; α ) , i.e.,
    σ n + 1 = Υ α σ n ; n 0 .
    Now, in inequality (12), taking σ = σ n and μ = σ n 1 , we get
    ρ b ( σ n + 1 , σ n ) κ max { ρ b ( σ n , σ n 1 ) , ρ b ( σ n , σ n + 1 ) , ρ b ( σ n 1 , σ n ) , ρ b ( σ n , σ n ) , ρ b ( σ n 1 , σ n + 1 ) } κ max { ρ b ( σ n , σ n 1 ) , ρ b ( σ n , σ n + 1 ) , s ρ b ( σ n 1 , σ n ) + s ρ b ( σ n , σ n + 1 ) } = κ s [ ρ b ( σ n 1 , σ n ) + ρ b ( σ n , σ n + 1 ) ] .
    This implies
    ρ b ( σ n + 1 , σ n ) κ s 1 κ s ρ b ( σ n , σ n 1 ) κ s 2 ρ b ( σ n , σ n 1 ) = δ ρ b ( σ n , σ n 1 ) , s a y , κ s 2 = δ δ δ ρ b ( σ n 1 , σ n 2 ) = δ 2 ρ b ( σ n 1 , σ n 2 ) δ n ρ b ( σ 1 , σ 0 )
    As δ [ 0 , 1 ) , we have
    lim n ρ b ( σ n + 1 , σ n ) = 0 .
    We shall now verify that the sequence σ n n N is Cauchy. For this, consider the points σ and μ as σ n + k and σ n , respectively, in inequality (12).
    ρ b ( σ n + k + 1 , σ n + 1 ) κ max { ρ b ( σ n + k , σ n ) , ρ b ( σ n + k , σ n + k + 1 ) , ρ b ( σ n , σ n + 1 ) , ρ b ( σ n + k , σ n + 1 ) , ρ b ( σ n , σ n + k + 1 ) } κ max { s ρ b ( σ n + k , σ n + k + 1 ) + s ρ b ( σ n + k + 1 , σ n ) , ρ b ( σ n + k , σ n + k + 1 ) , ρ b ( σ n , σ n + 1 ) , s ρ b ( σ n + k , σ n + k + 1 ) + s ρ b ( σ n + k + 1 , σ n + 1 ) , s ρ b ( σ n , σ n + 1 ) + s ρ b ( σ n + 1 , σ n + k + 1 ) } κ max { s ρ b ( σ n + k , σ n + k + 1 ) + s 2 ρ b ( σ n + k + 1 , σ n + 1 ) + s 2 ρ b ( σ n + 1 , σ n ) , s ρ b ( σ n + k , σ n + k + 1 ) + s ρ b ( σ n + k + 1 , σ n + 1 ) , s ρ b ( σ n , σ n + 1 ) + s ρ b ( σ n + 1 , σ n + k + 1 ) } = κ [ s ρ b ( σ n + k , σ n + k + 1 ) + s 2 ρ b ( σ n + k + 1 , σ n + 1 ) + s 2 ρ b ( σ n + 1 , σ n ) ] .
    This implies
    ( 1 κ s 2 ) ρ b ( σ n + k + 1 , σ n + 1 ) κ s ρ b ( σ n + k , σ n + k + 1 ) + κ s 2 ρ b ( σ n + 1 , σ n ) < κ s 2 ρ b ( σ n + k , σ n + k + 1 ) + κ s 2 ρ b ( σ n + 1 , σ n ) ( 1 δ ) ρ b ( σ n + k + 1 , σ n + 1 ) δ [ ρ b ( σ n + k , σ n + k + 1 ) + ρ b ( σ n + 1 , σ n ) ] a n d ρ b ( σ n + k + 1 , σ n + 1 ) δ 1 δ [ ρ b ( σ n + k , σ n + k + 1 ) + ρ b ( σ n + 1 , σ n ) ] .
    In inequality (16), taking limit as n and using condition (14), we get,
    lim n ρ b ( σ n + k + 1 , σ n + k ) = 0 .
    This shows that the aforementioned sequence σ n n N is Cauchy and owing to completeness of the space ( Ξ , ρ b , Δ ) , converges to some point, say μ . Now, consider the inequality (14),
    ρ b ( σ n + 1 , σ n ) δ n ρ b ( σ 1 , σ 0 ) ρ b ( Υ α σ n , σ n ) δ n ρ b ( σ 1 , σ 0 ) .
    Now taking limit as n , we get,
    1 s ρ b ( Υ α μ , μ ) = 0 ρ b ( Υ α μ , μ ) = 0 .
    Thus, Υ α μ = μ , and therefore μ is a fixed point of Υ α . But by using Lemma 2, we must have
    F i x ( Υ ) = F i x ( Υ α ) ,
    and F i x ( Υ ) = { σ } , i.e., Fixed point of Υ is σ , which is unique.
    So, μ = σ and thus σ n n N obtained from the above iteration converges to σ .
  • Using inequalities (16) and (14), we have
    ρ b ( σ n + m , σ n ) δ 1 δ [ ρ b ( σ n + m 1 , σ n + m ) + ρ b ( σ n , σ n 1 ) ] δ 1 δ [ δ n + m 1 ρ b ( σ 1 , σ 0 ) + δ n 1 ρ b ( σ 1 , σ 0 ) ] = δ n ( δ m + 1 ) 1 δ ρ b ( σ 1 , σ 0 ) .
    Now letting m , we get,
    1 s ρ b ( σ , σ n ) δ n 1 δ ρ b ( σ 1 , σ 0 )
    and
    ρ b ( σ n + m , σ n ) δ 1 δ [ ρ b ( σ n + m 1 , σ n + m ) + ρ b ( σ n , σ n 1 ) ] δ 1 δ [ δ m 1 ρ b ( σ n 1 , σ n ) + ρ b ( σ n , σ n 1 ) ] = δ ( δ m 1 + 1 ) 1 δ ρ b ( σ n 1 , σ n ) .
    Now letting m , we get,
    1 s ρ b ( σ , σ n ) δ 1 δ ρ b ( σ n 1 , σ n ) .
    Thus, we get the following error estimate after merging inequalities (16) and (17),
    1 s ρ b ( σ n + i 1 , σ ) δ i 1 δ ρ b ( σ n , σ n 1 ) .
The following example illustrates the importance of the above theorem.
Example 1. 
Let the set of non-negative real numbers be Ξ = R 0 + and ρ b ( σ , μ ) = ( σ μ ) 2 for all σ , μ Ξ . Here, we perceive that
1. 
ρ b ( σ , μ ) 0 for all σ , μ Ξ ;
2. 
ρ b ( σ , μ ) = 0 σ = μ ;
3. 
ρ b ( σ , μ ) = ρ b ( μ , σ ) ;
4. 
ρ b ( σ , μ ) 2 [ ρ b ( σ , ξ ) + ρ b ( ξ , μ ) ] , ξ Ξ as
ρ b ( σ , μ ) = ( σ μ ) 2 = ( σ ξ ) + ( ξ μ ) 2 2 ( σ ξ ) 2 + ( ξ μ ) 2 = 2 [ ρ b ( σ , ξ ) + ρ b ( ξ , μ ) ] .
We define the convex structure Δ : Ξ × Ξ × [ 0 , 1 ] Ξ as
Δ ( σ , μ ; α ) = α σ + ( 1 α ) μ ,
for any σ , μ Ξ and α [ 0 , 1 ] . As a consequence,
ρ b ( ξ , Δ ( σ , μ ; α ) ) = ( ξ ( α σ + ( 1 α ) μ ) ) 2 ( α | ξ σ | + ( 1 α ) | ξ μ | ) 2 α 2 ( ξ σ ) 2 + ( 1 α ) 2 ( ξ μ ) 2 + 2 α ( 1 α ) | ξ σ | · | ξ μ | α 2 ( ξ σ ) 2 + ( 1 α ) 2 ( ξ μ ) 2 + α ( 1 α ) ( ( ξ σ ) 2 + ( ξ μ ) 2 ) = α ( ξ σ ) 2 + ( 1 α ) ( ξ μ ) 2 = α ρ b ( ξ , σ ) + ( 1 α ) ρ b ( ξ , μ ) .
Thus, for s 2 , ( Ξ , ρ b , Δ ) is a convex b-metric space. However, the metric triangle inequality is not satisfied by ρ b , for example,
ρ b ( 1 , 5 ) = 16 > ρ b ( 1 , 3 ) + ρ b ( 3 , 5 ) = 8 .
Therefore, ( Ξ , ρ b ) is not a metric space and hence it is not a convex metric space.
Let the mapping Υ : Ξ Ξ be defined as
Υ ( σ ) = σ 5 , σ Λ = [ 0 , 1 ) σ 7 , σ Σ = [ 1 , ) .
Thereafter, to prove that Υ satisfies inequality (2), the following four cases exist:
1. 
If both σ , μ Λ , then
ρ b ( Υ σ , Υ μ ) = ( Υ σ Υ μ ) 2 = σ 5 μ 5 2 = 1 5 σ μ 2 = 1 5 ρ b ( σ , μ ) .
2. 
If σ Λ and μ Σ , then
ρ b ( Υ σ , Υ μ ) = ( T σ T μ ) 2 = σ 5 μ 7 2 = 1 5 σ 5 7 μ 2 1 5 σ 1 7 μ 2 = 1 5 ρ b ( σ , Υ μ ) .
3. 
If σ Σ and μ Λ , then as in the former case, we get
ρ b ( Υ σ , Υ μ ) 1 5 ρ b ( μ , Υ σ ) .
4. 
If both σ , μ Σ = [ 1 , )
ρ b ( Υ σ , Υ μ ) = ( Υ σ Υ μ ) 2 = σ 7 μ 7 2 = 1 7 σ μ 2 < 1 5 σ μ 2 = 1 5 ρ b ( σ , μ ) .
which infers that for all σ , μ Ξ
ρ b ( Υ σ , Υ μ ) 1 5 max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } .
Therefore, for k = 1 5 < 1 s 2 , Υ satisfies the inequality (6).
Next, we choose σ 0 as an initial point in Ξ and generate the sequence by Krasnoselskij’s iteration σ n = Υ α σ n 1 = Δ ( σ n 1 , Υ σ n 1 ; α ) with 0 < α = 3 4 < 1 . There are two possibilities for σ 0 :
1. 
If σ 0 < 1 , then
Υ σ 0 = σ 0 5 σ 1 = Υ α σ 0 = 3 4 σ 0 + 1 4 Υ σ 0 = 3 4 + 1 4 5 σ 0 σ 2 = Υ α σ 1 = 3 4 σ 1 + 1 4 σ 1 = 3 4 + 1 4 5 2 σ 0 σ n = Υ α σ n 1 = 3 4 σ n 1 + 1 4 Υ σ n 1 = 3 4 + 1 4 5 n σ 0 .
Certainly, σ n 0 as n .
2. 
If σ 0 1 , then
Υ σ 0 = σ 0 7 σ 1 = Υ α σ 0 = 3 4 σ 0 + 1 4 T σ 0 = 3 4 + 1 4 7 σ 0 .
If σ 1 Λ , as n , σ n 0 as in the former case. If σ 1 Σ = [ 1 , ) , then σ 2 σ 1 = 3 4 + 1 4 · Υ σ 1 σ 1 = 3 4 + 1 4 7 . Continuing in comparable manner, we presume that σ n 1 Σ = [ 1 , ) yielding
σ n σ n 1 = 3 4 + 1 4 · Υ σ n 1 σ n 1 = 3 4 + 1 4 7 ,
and
σ n σ 0 = σ 1 σ 0 · σ 2 σ 1 σ n σ n 1 = 3 4 + 1 4 7 n ,
and hence lim n σ n = 0 .
Now, if σ 0 < 1 , consider
ρ b ( σ n , Υ σ n ) = ( σ n Υ σ n ) 2 = 3 4 + 1 4 5 n σ 0 3 4 + 1 4 5 n + 1 σ 0 2 = 1 16 3 4 + 1 4 5 2 n 1 1 5 2 σ 0 2 .
Clearly,
lim n ρ b ( σ n , Υ σ n ) = 0 .
Also, if σ 0 1 , then
ρ b ( σ n , Υ σ n ) = ( σ n Υ σ n ) 2 = 3 4 + 1 4 7 n σ 0 3 4 + 1 4 7 n + 1 σ 0 2 = 1 16 3 4 + 1 4 7 2 n 1 1 7 2 σ 0 2 .
Clearly,
lim n ρ b ( σ n , Υ σ n ) = 0 .
Thus, from (18) and (19), we get
inf { ρ b ( σ , Υ σ ) ; σ Ξ } = 0 .
Thus, Υ has approximate fixed point property and, hence, a unique fixed point exists which is equal to the limit of sequence obtained by applying Mann’s iteration, i.e., 0.
Remark 1. 
If we take σ = 0 and μ = 1 2 , then Υ σ = 0 and Υ μ = 1 5 2 which yields
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ , ρ b ( μ , Υ σ ) ) } 1 20 = κ max 1 4 , 0 , 6 2 5 20 , 1 20 , 1 4 1 20 κ 4
which is true for all κ 1 5 < 1 s 2 and κ 1 5 > 1 s 4 and therefore, Theorem 2 of Rathee et al. [11] does not guarantee the existence and uniqueness of a fixed point in this scenario. Thus, results provided by Theorem 3 extend the Cirić fixed point theorem proved by Rathee et al. [11].
Theorem 4. 
Let Π : Ξ Ξ be a self mapping defined on ( Ξ , ρ b , Δ ) , a complete convex b-metric space with parameter s 2 such that a natural cardinal N exists for all σ , μ Ξ and some κ [ 0 , 1 ) , it satisfies
ρ b ( Π N σ , Π N μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Π N σ ) , ρ b ( μ , Π N μ ) , ρ b ( σ , Π N μ ) , ρ b ( μ , Π N σ ) }
If κ < 1 s 2 , then
1. 
A unique fixed point of Π, say σ exists that is unique.
2. 
The sequence σ n n N obtained from the iterative procedure
σ n + 1 = Δ ( σ n , Π N σ n ; α ) ; n 0
converges to σ for any σ 0 Ξ .
Proof. 
  • Applying Theorem 3 for the mapping Υ = Π N , we obtain that Π N has a unique fixed point, say σ . Also, we have
    Π N ( Π ( σ ) ) = Π N + 1 ( σ ) = Π ( Π N ( σ ) ) = Π ( σ ) .
    This shows that Π ( σ ) is a fixed point of Π N . However, there is a unique fixed point of Π N , σ . This implies that Π ( σ ) = σ and thus, Π has a unique fixed point, σ .
  • Applying Theorem 3, we observe that the sequence σ n n N obtained from the iterative procedure
    σ n + 1 = Δ ( σ n , Π N σ n ; α ) ; n 0
    converges to σ for any σ 0 Ξ .
As far as approximation of fixed points is concerned, we prove that the convergence of every orbit of self mapping Υ is to its unique fixed point that too for κ < 1 s 2 , even in the case of any complete b-metric space.
Theorem 5. 
Let Υ : Ξ Ξ be a self mapping defined on a complete b-metric space ( Ξ , ρ b ) with parameter s 2 such that for all σ , μ Ξ and some κ [ 0 , 1 ) , it satisfies
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
Then, if κ < 1 s 2 , a fixed point of Υ exists that is unique. Besides, the sequence Υ n σ 0 n N of Picard iterates, for each σ 0 Ξ , converges to this fixed point.
Proof. 
Let the sequence σ n n N be defined by
σ n + 1 = Υ σ n = Υ n σ 0 ,
where σ 0 is arbitrary in Ξ .
Preserving generality, assume that, for every n N , σ n + 1 σ n , as the result holds trivially if σ n + 1 = σ n .
Now, we have
ρ b ( σ n + 1 , σ n ) κ max { ρ b ( σ n , σ n 1 ) , ρ b ( σ n , σ n + 1 ) , ρ b ( σ n 1 , σ n ) , ρ b ( σ n , σ n ) , ρ b ( σ n 1 , σ n + 1 ) } κ max { ρ b ( σ n , σ n 1 ) , ρ b ( σ n , σ n + 1 ) , s ρ b ( σ n 1 , σ n ) + s ρ b ( σ n , σ n + 1 ) } = κ s [ ρ b ( σ n 1 , σ n ) + ρ b ( σ n , σ n + 1 ) ] .
This implies
ρ b ( σ n + 1 , σ n ) κ s 1 κ s ρ b ( σ n , σ n 1 ) κ s 2 ρ b ( σ n , σ n 1 ) = δ ρ b ( σ n , σ n 1 ) , s a y , κ s 2 = δ δ 2 ρ b ( σ n 1 , σ n 2 ) δ n ρ b ( σ 1 , σ 0 ) .
This shows that the aforementioned sequence σ n n N is Cauchy and owing to completeness of the space, is convergent too. Let σ be its limit.
Consider now
ρ b ( σ n + 1 , Υ σ ) κ max { ρ b ( σ n , σ ) , ρ b ( σ n , σ n + 1 ) , ρ b ( σ , Υ σ ) , ρ b ( σ n , Υ σ ) , ρ b ( σ , σ n + 1 ) }
Taking limit as n , we get
1 s ρ b ( σ , Υ σ ) κ max { 0 , 0 , ρ b ( σ , Υ σ ) , s ρ b ( σ , Υ σ ) , 0 } = κ s ρ b ( σ , Υ σ ) ρ b ( σ , Υ σ ) κ s 2 ρ b ( σ , Υ σ ) < ρ b ( σ , Υ σ )
since κ < 1 s 2 .
Thus, ρ b ( σ , Υ σ ) = 0 , i.e., Υ σ = σ and this proves that Υ has a fixed point σ .
For uniqueness, let us suppose that Υ has two distinct fixed points, say σ and μ , such that ρ b ( σ , μ ) 0 , then
ρ b ( σ , μ ) = ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } = κ max { ρ b ( σ , μ ) , 0 , 0 , ρ b ( σ , μ ) , ρ b ( σ , μ ) } = κ ρ b ( σ , μ )
which is a contradiction since κ [ 0 , 1 ) . Thus, the fixed point so obtained is unique. □
Example 2. 
The pair ( Ξ , ρ b ) , in Example 1, makes a complete b-metric space. If we take the sequence of Picard iterates, then
1. 
for σ 0 < 1 , we have
σ 1 = Υ σ 0 = 1 5 σ 0 σ 2 = Υ 2 σ 0 = 1 5 2 σ 0 σ n = Υ n σ 0 = 1 5 n σ 0 ,
2. 
and for σ 0 1 , we have
σ 1 = Υ σ 0 = 1 7 σ 0
If σ 1 [ 0 , 1 ) , then the sequence can be evaluated as in the above case. If σ 1 Σ = [ 1 , ) , then σ 2 σ 1 = 1 7 . Continuing in a comparable manner, presume that σ n 1 Σ = [ 1 , ) , yielding
σ n σ n 1 = 1 7 ,
and
σ n σ 0 = σ 1 σ 0 · σ 2 σ 1 σ n σ n 1 = 1 7 n .
Hence lim n σ n = 0 for both the cases. Therefore, the sequence of Picard iterates converge to fixed point 0.

3. Stability of Fixed Point

This section is concerned with the stability results for fixed points of mappings satisfying the Cirić contraction.
Definition 2. 
Let Υ n n N be a sequence of self mapping defined on a convex b-metric space. Then stability is nothing but a relation between the convergence of the sequence Υ n n N and their fixed points.
Theorem 6. 
Let ( Ξ , ρ b ) be a complete b-metric space with parameter s 1 and suppose Υ n n N be a sequence of self mappings Υ n : Ξ Ξ such that for all σ , μ Ξ ; n N and κ n [ 0 , 1 ) , it satisfies
ρ b ( Υ n σ , Υ n μ ) κ n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) }
Also, let Υ : Ξ Ξ be a self mapping satisfying
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
for all n N and σ , μ Ξ , where κ [ 0 , 1 ) . Let Υ has a fixed point ζ and for every n, ζ n be the fixed points of Υ n . Presuming Υ n Υ pointwise and κ n κ , then ζ n ζ if κ , κ n < 1 s 2 .
Proof. 
For every n N , we have
ρ b ( ζ , ζ n ) s [ ρ b ( ζ , Υ n ζ ) + ρ b ( Υ n ζ , ζ n ) ] s [ ρ b ( ζ , Υ n ζ ) + ρ b ( Υ n ζ , Υ n ζ n ) ] s [ ρ b ( ζ , Υ n ζ ) + κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ n , Υ n ζ n ) , ρ b ( ζ , Υ n ζ n ) , ρ b ( ζ n , Υ n ζ ) } ] = s [ ρ b ( ζ , Υ n ζ ) + κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ , ζ n ) , ρ b ( ζ n , Υ n ζ ) } ] = s [ ρ b ( ζ , Υ n ζ ) + κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ n , Υ n ζ ) } ] s [ ρ b ( ζ , Υ n ζ ) + κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , s ρ b ( ζ n , ζ ) + s ρ b ( ζ , Υ n ζ ) } ] = s ρ b ( ζ , Υ n ζ ) + κ n s [ ρ b ( ζ n , ζ ) + ρ b ( ζ , Υ n ζ ) ] = κ n s 2 ρ b ( ζ n , ζ ) + ( κ n s 2 + s ) ρ b ( ζ , Υ n ζ ) .
This implies
( 1 κ n s 2 ) ρ b ( ζ n , ζ ) ( κ n s 2 + s ) ρ b ( ζ , Υ n ζ ) .
Taking limit as n , we get
lim n ( 1 κ n s 2 ) ρ b ( ζ n , ζ ) lim n s ( κ n s + 1 ) ρ b ( ζ , Υ n ζ ) ( 1 κ s 2 ) lim n ρ b ( ζ n , ζ ) s 2 ( κ s + 1 ) ρ b ( ζ , Υ ζ ) = 0 lim n ρ b ( ζ n , ζ ) = 0 a s κ < 1 s 2 i . e . , ζ n ζ .
Theorem 6 can also be restated as
Theorem 7. 
Let a sequence Υ n n N of self mappings Υ n : Ξ Ξ be defined on a complete b-metric space ( Ξ , ρ b ) with s 1 having fixed points ζ n and for all σ , μ Ξ ; n N , satisfying
ρ b ( Υ n σ , Υ n μ ) κ n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) } ,
where κ n < 1 s 2 and κ n [ 0 , 1 ) . Also for all σ , μ Ξ , presume a self mapping Υ : Ξ Ξ satisfying
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
where κ < 1 s 2 and κ [ 0 , 1 ) . If Υ n Υ pointwise and κ n κ , then ζ n n N is convergent if Υ has a fixed point ζ and in that case, ζ n ζ as n .
Proof. 
We presume that a fixed point ζ of map Υ exists i.e., ζ = Υ ζ .
Now as proved in Theorem 6, ρ b ( ζ n , ζ ) 0 as n , i.e., ζ n n N is convergent sequence and ζ n ζ as n . □
Theorem 8. 
Let a sequence Υ n n N of self mappings Υ n : Ξ Ξ be defined on a complete b-metric space ( Ξ , ρ b ) with s 1 having fixed points ζ n and for all σ , μ Ξ ; n N , satisfying
ρ b ( Υ n σ , Υ n μ ) κ n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) }
where κ n < 1 s 2 and κ n [ 0 , 1 ) . Also, for all σ , μ Ξ , presume a self mapping Υ : Ξ Ξ satisfying
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
where κ < 1 s 2 and κ [ 0 , 1 ) . If Υ n Υ pointwise and κ n κ , then a fixed point of Υ, say ζ, exists if ζ n n N is convergent and in that case, ζ n ζ as n .
Proof. 
Presume that ζ n n N is convergent and ζ n ζ as n . Then,
ρ b ( Υ n ζ , ζ n ) = ρ b ( Υ n ζ , Υ n ζ n ) κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ n , Υ n ζ n ) , ρ b ( ζ , Υ n ζ n ) , ρ b ( ζ n , Υ n ζ ) } = κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ n , ζ n ) , ρ b ( ζ , ζ n ) , ρ b ( ζ n , Υ n ζ ) } = κ n max { ρ b ( ζ , ζ n ) , ρ b ( ζ , Υ n ζ ) , ρ b ( ζ n , Υ n ζ ) } .
Now taking limit as n
1 s ρ b ( Υ ζ , ζ ) κ max { 0 , s ρ b ( ζ , Υ ζ ) , s ρ b ( ζ , Υ ζ ) } ρ b ( ζ , Υ ζ ) κ s 2 s ρ b ( ζ , Υ ζ ) ( 1 κ s 2 ) ρ b ( ζ , Υ ζ ) 0 ρ b ( ζ , Υ ζ ) = 0 a s κ < 1 s 2 . T h u s , Υ ζ = ζ .
Therefore, a fixed point ζ of map Υ exists. □
Theorem 7 and 8 can be combined to get the subsequent outcome:
Theorem 9. 
Let a sequence Υ n n N of self mappings Υ n : Ξ Ξ be defined on a complete b-metric space ( Ξ , ρ b ) with s 1 having fixed points ζ n and for all σ , μ Ξ ; n N , satisfying
ρ b ( Υ n σ , Υ n μ ) κ n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) }
where κ n < 1 s 2 and κ n [ 0 , 1 ) . Also, let Υ : Ξ Ξ be a self mapping and for all σ , μ Ξ , satisfying
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) }
where κ < 1 s 2 and κ [ 0 , 1 ) . If Υ n Υ pointwise and κ n κ , then a fixed point of Υ, say ζ, exists if and only if ζ n n N is convergent and in that case, ζ n ζ as n .
By virtue of fixed points of sequence of self-mappings Υ n n N ; Υ n : Ξ Ξ defined on a complete metric space ( Ξ , ρ b ) and satisfying Círic contractive condition, we provide an approximation result for fixed points of self-mapping Υ : Ξ Ξ satisfying Círic contractive condition where Υ n Υ pointwise.
Corollary 1. 
Let a self mapping Υ : Ξ Ξ be defined on ( Ξ , ρ b , Δ ) , a complete convex b-metric space with s 1 , such that for all σ , μ Ξ and κ [ 0 , 1 ) , it satisfies
ρ b ( Υ σ , Υ μ ) κ max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } ,
where κ < 1 s 2 . Also suppose that a sequence Υ n n N of self mappings Υ n : Ξ Ξ exists and for all σ , μ Ξ , it satisfies
ρ b ( Υ n σ , Υ n μ ) κ n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) } ,
where κ n n N is a sequence such that n N , κ n < 1 s 2 [ 0 , 1 ) . Presume Υ n Υ pointwise and κ n κ . Then, the sequence of fixed points ζ n n N of mappings Υ n is convergent and its limit is the fixed point ζ of Υ.
Proof. 
By Theorem 3, Υ has a fixed point ζ which is unique.
By Theorem 5, Υ n have fixed points ζ n which are unique for all n N .
Finally, by Theorem 9, ζ n ζ . □
Example 3. 
In Example 1, we consider the sequence Υ n n N of self mappings Υ n : Ξ Ξ such that
Υ n ( σ ) = 1 25 n + σ 5 , σ Λ = [ 0 , 1 ) 1 26 n + σ 7 , σ Σ = [ 1 , ) .
Thereafter, to prove that Υ n satisfies the inequality (24), the following four cases exist:
1. 
If both σ , μ Λ , then
ρ b ( Υ n σ , Υ n μ ) = ( Υ n σ Υ n μ ) 2 = 1 25 n + σ 5 1 25 n μ 5 2 = 1 5 σ μ 2 = 1 5 ρ b ( σ , μ ) < 1 5 + 1 25 n ρ b ( σ , μ ) .
2. 
If σ Λ and μ Σ , then
ρ b ( Υ n σ , Υ n μ ) = ( Υ n σ Υ n μ ) 2 = 1 25 n + σ 5 1 26 n μ 7 2 < 1 25 n + σ 5 μ 7 2 = μ 7 1 25 n σ 5 2 = 1 7 μ 7 25 n 7 5 σ 2 1 7 μ 1 25 n σ 5 2 = 1 7 μ Υ n σ 2 = 1 7 ρ b ( μ , Υ n σ ) < 1 5 + 1 25 n ρ b ( μ , Υ n σ )
3. 
If σ Σ and μ Λ , then as in the former case, we get
ρ b ( Υ n σ , Υ n μ ) 1 5 + 1 25 n ρ b ( σ , Υ n μ ) .
4. 
If both σ , μ Σ
ρ b ( Υ n σ , Υ n μ ) = ( Υ n σ Υ n μ ) 2 = 1 26 n σ 7 1 26 n μ 7 2 = 1 7 σ μ 2 < 1 5 σ μ 2 < 1 5 + 1 25 n ρ b ( σ , μ ) .
which infers that for all σ , μ Ξ ,
ρ b ( Υ n σ , Υ n μ ) 1 5 + 1 25 n max { ρ b ( σ , μ ) , ρ b ( σ , Υ n σ ) , ρ b ( μ , Υ n μ ) , ρ b ( σ , Υ n μ ) , ρ b ( μ , Υ n σ ) } .
Therefore, for k = 1 5 + 1 25 n < 1 s 2 , Υ n satisfies the inequality (24).
We observe that Υ n Υ pointwise and κ n κ . Also, the sequence of fixed points of Υ n given by 1 5 5 ( 5 1 ) n n N is convergent and this sequence converges to 0 which is the fixed point of self mapping Υ.

4. Consequence

Presume self mappings Υ a n d I : Ξ Ξ defined on a non-empty set Ξ . For the mappings Υ and I, a point σ Ξ for which Υ σ = I σ ( σ = Υ σ = I σ ) is termed a coincidence point (common fixed point). Moreover, if the mappings Υ and I commute at every coincidence point, then the mappings Υ and I are termed weakly compatible.
Lemma 3. 
Let Ξ be a nonempty set and Υ : Ξ Ξ be a self mapping defined on it. Then a subset of Ξ, say Θ, exists such that the mapping Υ : Θ Ξ is one-to-one and Υ ( Θ ) = Υ ( Ξ ) .
Subsequently, a common fixed point theorem is obtained in continuation of the primary results established in the former section.
Theorem 10. 
Let Υ a n d I : Ξ Ξ be self mappings defined on a convex b-metric space ( Ξ , ρ b , Δ ) with parameter s 2 such that for all σ , μ Ξ and κ < 1 , they satisfy
b m ( Υ σ , Υ μ ) κ max { ρ b ( I σ , I μ ) , ρ b ( I σ , Υ σ ) , ρ b ( I μ , Υ μ ) , ρ b ( I σ , Υ μ ) , ρ b ( I μ , Υ σ ) } .
If κ < 1 s 2 , I ( Ξ ) is complete and Υ ( Ξ ) I ( Ξ ) then a unique coincidence point of mappings Υ and I exists. Besides, if Υ and I are weakly compatible mappings, then a common fixed point of these mappings exists that is unique.
Proof. 
By Lemma 3, a subset of Ξ , say Θ , exists such that the mapping I : Θ Ξ is one-to-one and I ( Θ ) = I ( Ξ ) . Further, let π : I ( Θ ) I ( Θ ) be another self mapping defined by π ( I σ ) = Υ σ . Then, since the mapping I is one-to-one, π is clearly well defined. Thus, for all I σ , I μ I ( Θ ) = I ( Ξ ) , we arrive that
ρ b ( π ( I σ ) , π ( I μ ) ) = ρ b ( Υ σ , Υ μ ) κ max { ρ b ( I σ , I μ ) , ρ b ( I σ , Υ σ ) , ρ b ( I μ , Υ μ ) , ρ b ( I σ , Υ μ ) , ρ b ( I μ , Υ σ ) } = κ max { ρ b ( I σ , I μ ) , ρ b ( I σ , π ( I σ ) ) , ρ b ( I μ , π ( I μ ) ) , ρ b ( I σ , π ( I μ ) ) , ρ b ( I μ , π ( I σ ) ) } .
As κ < 1 with κ < 1 s 2 , then π is a Cirić contraction on I ( Ξ ) . Besides, a unique point σ * Π Ξ exists on account of Theorem 3 since I ( Ξ ) is complete yielding p ( I σ * ) = I σ * implying I σ * = Υ σ * . Thus, a coincidence point σ * of mappings Υ and I exists that is unique.
Let ζ = I σ * = Υ σ * . Furthermore, let Υ and I be weakly compatible mappings following Υ ζ = Υ I σ * = I Υ σ * = I ζ . As a result,
ρ b ( Υ ζ , ζ ) = ρ b ( Υ ζ , Υ σ * ) κ max { ρ b ( I ζ , I σ * ) , ρ b ( I ζ , Υ ζ ) , ρ b ( I σ * , Υ σ * ) , ρ b ( I ζ , Υ σ * ) , ρ b ( I σ * , Υ ζ ) } = κ ρ b ( Υ ζ , ζ ) ,
which is true for κ [ 0 , 1 ) if ζ = Υ ζ = I ζ and hence a common fixed point ζ of mappings Υ and I exists that is unique. □

5. Application to Initial Value Problem

In this section, the existence of unique solution to an Initial Value Problem containing a differential equation of second order with two initial conditions is discussed.
d 2 μ ( τ ) d τ 2 + ϕ ( τ ) d μ ( τ ) d τ + ψ ( τ ) μ ( τ ) = θ ( τ ) , w i t h μ ( β ) = c 1 a n d d μ ( β ) d τ = c 2 ,
where ϕ ( τ ) , ψ ( τ ) , θ ( τ ) and μ ( τ ) are continuous functions in [ β , δ ] and ϕ ( τ ) is differentiable in [ β , δ ] .
First we shall convert this Initial Value Problem (27) into Voltera Integral Equation of the second kind.
Lemma 4. 
The Initial Value Problem (27) is equivalent to Voltera Integral Equation of the second kind
μ ( τ ) = Φ ( τ ) + β τ Ψ ( τ , γ , μ ( γ ) ) d γ ,
where Φ ( τ ) is continuous and Ψ : [ β , δ ] × [ β , δ ] × R R .
Proof. 
Integrating first equation of (27) from β to τ and using remaining two initial conditions, we have,
d μ ( τ ) d τ d μ ( β ) d τ + ϕ ( γ ) μ ( γ ) β τ β τ d ϕ ( γ ) d γ μ ( γ ) d γ + β τ ψ ( γ ) μ ( γ ) d γ = β τ θ ( γ ) d γ d μ ( τ ) d τ c 2 + ϕ ( τ ) μ ( τ ) ϕ ( β ) μ ( β ) + β τ ψ ( γ ) d ϕ ( γ ) d γ μ ( γ ) d γ = β τ θ ( γ ) d γ .
Integrating again from β to τ ,
μ ( τ ) μ ( β ) [ c 2 + c 1 ϕ ( β ) ] ( τ β ) + β τ ϕ ( γ ) μ ( γ ) d γ + β τ β γ ψ ( γ ) d ϕ ( γ ) d γ d γ 1 d γ = β τ β γ θ ( γ 1 ) d γ 1 d γ μ ( τ ) = c 1 + [ c 2 + c 1 ϕ ( β ) ] ( τ β ) + β τ ( τ γ ) θ ( γ ) d γ + β τ ( τ γ ) d ϕ ( γ ) d γ ψ ( γ ) + ϕ ( γ ) μ ( γ ) d γ .
Thus, we have integral equation of the kind
μ ( τ ) = Φ ( τ ) + β τ Ψ ( τ , γ , μ ( γ ) ) d γ , w h e r e Φ ( τ ) = c 1 + [ c 2 + c 1 ϕ ( β ) ] ( τ β ) + β τ ( τ γ ) θ ( γ ) d γ a n d Ψ ( τ , γ , μ ( γ ) ) = ( τ γ ) d ϕ ( γ ) d γ ψ ( γ ) + ϕ ( γ ) μ ( γ )
Thus, the Initial Value Problem (27) is equivalent to the Voltera Integral Equation of the second kind (28)
μ ( τ ) = Φ ( τ ) + β τ Ψ ( τ , γ , μ ( γ ) ) d γ τ , γ [ β , δ ] ,
where Φ ( τ ) C [ β , δ ] = { σ ( τ ) ; σ : [ β , δ ] R } = Ξ , say, and Ψ : [ β , δ ] × [ β , δ ] × R R .
Define ρ b : Ξ × Ξ [ 0 , ) by
ρ b ( σ , μ ) = sup τ [ β , δ ] ( σ ( τ ) μ ( τ ) ) 2 σ , μ Ξ
Define Δ : Ξ × Ξ × [ 0 , 1 ] Ξ as
Δ ( σ , μ ; α ) = α σ + ( 1 α ) μ .
Additionally, presume a self mapping Υ : Ξ Ξ defined as
Υ μ ( τ ) = Φ ( τ ) + β τ Ψ ( τ , γ , μ ( γ ) ) d γ τ , γ [ β , δ ] .
Then, existence of unique fixed point of map Υ implies the existence and uniqueness of solution of Voltera integral Equation of the second kind (28) and hence, the Initial Value Problem (27).
Lemma 5. 
Suppose Ξ = C [ β , δ ] = { σ ( τ ) ; σ : [ β , δ ] R } and define ρ b : Ξ × Ξ [ 0 , ) by
ρ b ( σ , μ ) = sup τ [ β , δ ] ( σ ( τ ) μ ( τ ) ) 2 σ , μ Ξ
Define the convex structure Δ : Ξ × Ξ × [ 0 , 1 ] Ξ as
Δ ( σ , μ ; α ) = α σ + ( 1 α ) μ σ , μ Ξ .
Then, ( Ξ , ρ b , Δ ) is a convex b-metric space with parameter s 2 .
Proof. 
We perceive that
  • ρ b ( σ , μ ) 0 σ , μ Ξ .
  • ρ b ( σ , μ ) = 0 σ = μ .
  • ρ b ( σ , μ ) = ρ b ( μ , σ ) .
  • ρ b ( σ , μ ) 2 [ ρ b ( σ , ξ ) + ρ b ( ξ , μ ) ] as
    ρ b ( σ , μ ) = sup τ [ β , δ ] ( σ ( τ ) μ ( τ ) ) 2 = sup τ [ β , δ ] ( σ ( τ ) ξ ( τ ) + ξ ( τ ) μ ( τ ) ) 2 2 sup τ [ β , δ ] ( σ ( τ ) ξ ( τ ) ) 2 + sup τ [ β , δ ] ( ξ ( τ ) μ ( τ ) ) 2 = 2 [ ρ b ( σ , ξ ) + ρ b ( ξ , μ ) ] .
Also, for Δ ( σ , μ ; α ) = α σ + ( 1 α ) μ σ , μ Ξ , we have
ρ b ( ξ , Δ ( σ , μ ; α ) ) = sup τ [ β , δ ] ( ξ ( τ ) Δ ( σ ( τ ) , μ ( τ ) ; α ) ) 2 = sup τ [ β , δ ] ( ξ ( τ ) { α σ ( τ ) + ( 1 α ) μ ( τ ) } ) 2 sup τ [ β , δ ] α | ξ ( τ ) σ ( τ ) | + ( 1 α ) | ξ ( τ ) μ ( τ ) | 2 = sup τ [ β , δ ] [ α 2 ( ξ ( τ ) σ ( τ ) ) 2 + ( 1 α ) 2 ( ξ ( τ ) μ ( τ ) ) 2 + 2 α ( 1 α ) | ξ ( τ ) σ ( τ ) | | ξ ( τ ) μ ( τ ) | ] sup τ [ β , δ ] [ α 2 ( ξ ( τ ) σ ( τ ) ) 2 + ( 1 α ) 2 ( ξ ( τ ) μ ( τ ) ) 2 + α ( 1 α ) { ( ξ ( τ ) σ ( τ ) ) 2 + ( ξ ( τ ) μ ( τ ) ) 2 } ] α sup τ [ β , δ ] ( ξ ( τ ) σ ( τ ) ) 2 + ( 1 α ) sup τ [ β , δ ] ( ξ ( τ ) μ ( τ ) ) 2 = α ρ b ( ξ , σ ) + ( 1 α ) ρ b ( ξ , μ )
Thus, for s 2 , ( Ξ , ρ b , Δ ) is convex b-metric space. □
Theorem 11. 
Suppose that
Ψ ( τ , γ , σ ( γ ) ) Ψ ( τ , γ , μ ( γ ) ) κ M ( σ , μ ) 1 2
for all τ , γ [ β , δ ] ; σ , μ Ξ and some κ < 1 ( δ     β ) 2 1 s 2 where s 1 and
M ( σ , μ ) = max { ρ b ( σ , μ ) , ρ b ( σ , Υ σ ) , ρ b ( μ , Υ μ ) , ρ b ( σ , Υ μ ) , ρ b ( μ , Υ σ ) } .
Then, a unique solution exists for Voltera Integral Equation of the second kind (28).
Proof. 
Consider
( Υ σ ( τ ) Υ μ ( τ ) ) 2 β τ Ψ ( τ , γ , σ ( γ ) ) Ψ ( τ , γ , μ ( γ ) ) d γ 2 β τ κ M ( σ , μ ) 1 2 d γ 2 κ M ( σ , μ ) β τ d γ 2 = κ M ( σ , μ ) ( τ β ) 2 κ M ( σ , μ ) ( δ β ) 2 ,
and thus all the hypothesis of Theorem 3 are satisfied for κ < 1 ( δ     β ) 2 1 s 2 implying Voltera Integral Equation of the second kind (28) and hence, the Initial Value Problem (27) has a solution that is unique. □

6. Discussion, Conclusions and Open Problems

In the framework of convex b-metric spaces, we established a fixed point theorem as an extension of the main result of Rathee et al. [11] that guarantees the availability of fixed point for Cirić contraction. Additionally, the Krasnoselskij iterative process is used for approximating the fixed point. Furthermore, we discussed about the fixed point’s stability for the prior mentioned contraction. We constructed a common fixed point and coincidence point result as a consequence. Finally, we provided several examples to highlight the conclusions drawn here and use these conclusions to solve an initial value problem. Following open problems may be worked upon in future:
  • Rathee et al. [11] ensured the existence of fixed point for Cirić contraction for the constant κ 0 , 1 s 4 . In addition, we extended the same for κ 1 s 4 , 1 s 2 . Is it viable to further relax the condition for κ 1 s 2 , 1 ?
  • Besides, we proved that the fixed points so obtained are stable for κ 0 , 1 s 2 . Can the hypothesis be eased?

Author Contributions

Investigation, S.R., A.K. (Anshuka Kadyan), M. (Minakshi) and A.K. (Anil Kumar); Methodology, G., S.R., M. (Mahima), A.K. (Anshuka Kadyan), M. (Minakshi) and A.K. (Anil Kumar); Writing—original draft, S.R., A.K. (Anshuka Kadyan), M. (Minakshi) and A.K. (Anil Kumar); Writing—review & editing, G. and M. (Mahima); Software, G. and M. (Mahima); Writing and typesetting using LaTeX, G. and M. (Mahima). All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Data Availability Statement

Data sharing not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Banach, S. Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  2. Cirić, L.B. A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 1974, 45, 31–37. [Google Scholar]
  3. Bakhtin, I.A. The contraction mapping principle in quasi-metric spaces. Funct. Anal. Unianowsk Gos. Ped. Inst. 1989, 30, 26–37. [Google Scholar]
  4. Czerwik, S. Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1, 5–11. [Google Scholar]
  5. Aydi, H.; Bota, M.F.; Karapinar, E.; Moradi, S. A common fixed point for weak contractions on b-metric spaces. Fixed Point Theory 2012, 13, 337–346. [Google Scholar]
  6. Afshari, H.; Aydi, H.; Karapinar, E. On generalized α-ψ-Geraghty contractions on b-metric spaces. Georgian Math. J. 2020, 27, 9–21. [Google Scholar] [CrossRef] [Green Version]
  7. Kirk, W.; Shahzad, N. Fixed Point Theory in Distance Spaces; Springer: Berlin/Heidelberg, Germany, 2014. [Google Scholar]
  8. Aleksić, S.; Huang, H.; Mitrović, Z.; Radenović, S. Remarks on some fixed point results in b-metric space. J. Fixed Point Theory Appl. 2018, 20, 1–17. [Google Scholar] [CrossRef]
  9. Chen, L.; Li, C.; Kaczmarek, R.; Zhao, Y. Several fixed point theorems in convex b-metric spaces and applications. Mathematics 2020, 8, 242. [Google Scholar] [CrossRef] [Green Version]
  10. Takahashi, W. A convexity in metric space and nonexpansive mappings, I. Kodai Math. Semin. Rep. 1970, 22, 142–149. [Google Scholar] [CrossRef]
  11. Rathee, S.; Kadyan, A.; Kumar, A.; Tas, K. Fixed point results for Cirić and almost contractions in convex b-metric spaces. Mathematics 2022, 10, 466. [Google Scholar] [CrossRef]
  12. Djafari-Rouhani, B.; Moradi, S. On the existence and approximation of fixed points for Ćirić type contractive mappings. Quaest. Math. 2014, 37, 179–189. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Gazal; Rathee, S.; Mahima; Kadyan, A.; Minakshi; Kumar, A. Existence, Approximation and Stability of Fixed Point for Cirić Contraction in Convex b-Metric Spaces. Axioms 2023, 12, 646. https://doi.org/10.3390/axioms12070646

AMA Style

Gazal, Rathee S, Mahima, Kadyan A, Minakshi, Kumar A. Existence, Approximation and Stability of Fixed Point for Cirić Contraction in Convex b-Metric Spaces. Axioms. 2023; 12(7):646. https://doi.org/10.3390/axioms12070646

Chicago/Turabian Style

Gazal, Savita Rathee, Mahima, Anshuka Kadyan, Minakshi, and Anil Kumar. 2023. "Existence, Approximation and Stability of Fixed Point for Cirić Contraction in Convex b-Metric Spaces" Axioms 12, no. 7: 646. https://doi.org/10.3390/axioms12070646

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