Issue 
Wuhan Univ. J. Nat. Sci.
Volume 28, Number 1, February 2023



Page(s)  11  14  
DOI  https://doi.org/10.1051/wujns/2023281011  
Published online  17 March 2023 
Mathematics
CLC number: O 189.3
The Generalization of Ciric and Caristi Type Fixed Point Theorem
School of Mathematics and Statistics, Wuhan University, Wuhan 430072, Hubei, China
Received:
18
June
2022
In this paper, we generalize the renowned Ciric and Caristi type fixed point theorem and some corollaries. Then we give an example to illustrate our result is really better than the theorem.
Key words: Ciric and Caristi type fixed point theorem / completed metric space / generalization
Biography: CHENG Zejia , female, Master candidate, research direction: fixed point theorem. Email: 2021202010064@whu.edu.cn
© Wuhan University 2023
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
0 Introduction and Preliminaries
Since Banach^{[1]} established the famous Banach Contraction Principle (Theorem 1) in 1922, fixed point theory has become a hot reasearch field in functional analysis. Then, Ciric^{[2,3]}, Rhoades^{[4,5]} and many other authors extended the Banach Contraction Principle into various forms. And the most remarkable form is Caristi^{[6,7]} type fixed point theorem based on Banach Contraction Principle. Since Caristi type fixed point theorem equals to Ekeland's variational principle^{[8,9]}, it has various applications in nonlinear analysis and variational inequalities^{[1013]}.
In recent years, the combination of two contraction type has become more and more popular. In 2013, Du and Karapinar^{[14] }firstly merged Banach Contraction into Caristi Theorem to get Theorem 2. Then in 2019, Erdal Karapiner^{[15]} merged CiricType contraction into Caristi Theorem to get Theorem 3.
We give some important definitions and theorems mentioned above.
Definition 1 Given T : X → X, we will say that a point x∈ X is a fixed point of T if Tx = x.
Theorem 1 (Banach^{[1]}) Let(X, d) be a complete metric space, and T :X → X be a selfmapping. Suppose that there exists q∈ (0,1) such that d(Tx, Ty) ≤ qd(x, y)for every x, y ∈ X. Then T has a unique fixed point in X.
Theorem 2 (Theorem 1 in Ref.[14]) Let(X, d) be a complete metric space, and T : X → X be a map. Suppose that there exists a function φ : X → R with φ is bounded from below (inf φ(x) > ∞)
d(x, Tx) > 0 implies d(Tx, Ty) ≤ (φ(x)  φ(Tx))d(x, y), for each x, y ∈ X. Then T has a fixed point in X.
Theorem 3 (Theorem 4 inRef.[15]) Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d (x, Tx) > 0 , we get
d(Tx, Ty) ≤ (φ(x)  φ(Tx))N (x, y)
where
N (x, y)
= max{d(x, y), d(x, Tx), d(y, Ty), d(y, Tx), d(x, Ty)}
for all x, y ∈ X. Then T has a fixed point.
We can easily see that Theorem 3 is a generalization of Theorem 2.
And our main work of this paper is to generalize Theorem 3.
In this paper, we firstly generalize the renowned Theorem 3 into Theorem 4. Then we show Example 1 which satisfies Theorem 4 while not satisfies Theorem 3.
1 Main Result
Theorem 4 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X. Then T has a fixed point.
Proof If there exists x_{0 }∈ X such that , the proof is completed.
Now we assume for x_{0 }∈ X , and let x_{n}_{+1} = Tx_{n}. If there exists a k such that d(x_{k}, Tx_{k}) = 0, then x_{k} is a fixed point of T and we proved the result. So we suppose for , d(x_{n}, Tx_{n}) > 0,then we get:
d (x_{n}, x_{n}_{+1}) = d(x_{n}, Tx_{n}) > 0.
Suppose that c_{n}= d (x_{n}_{1}, x_{n}) > 0, from equation (1), we derive that
Step 1 We prove {d(x_{n}, x_{n}_{+1})} is nonincreasing and bounded below.
To prove {d(x_{n}, x_{n}_{+1})} is nonincreasing, we only need to find that there exists ε ∈ (0,1) such that
d(x_{n}, x_{n}_{+1}) ≤ εd(x_{n}_{1}, x_{n}),∀n ∈ ^{∗}.
We confirm it into two cases:
Case 1:
If
max{[d(x_{n}_{1}, x_{n}) + d(x_{n}, x_{n+}_{1})], d(x_{n}_{1}, x_{n+}_{1})}
= d(x_{n}_{1}, x_{n}) + d(x_{n}, x_{n+}_{1}).
Then equation (2) implies that
And we have c_{n}= d(x_{n}_{1}, x_{n}), so the above equation (3) can be also written as
c_{n}_{+1} ≤ (φ (x_{n}_{1})  φ (x_{n}))(c_{n}+ c_{n}_{+1}).
Therefore, we have
From the above equation (4), we can get {φ(x_{n})} is positive and nonincreasing.
So we can assume that it converges to some r ≥ 0. For each n ∈ , we have
= (φ (x_{0})  φ (x_{1})) + (φ (x_{1})  φ (x_{2})) + …
+ (φ (x_{n}_{1})  φ (x_{n}))
= φ (x_{0})  φ (x_{n}) → φ (x_{0})  r < ∞,as n → ∞.
It means that
So we can get:
For , there exists , for all , we have
It equals to
Since that , we have . By taking , then we have:
Case 2
If
max{[d(x_{n}_{1}, x_{n}) + d(x_{n}, x_{n+}_{1})], d(x_{n}_{1}, x_{n+}_{1})}
= d(x_{n}_{1}, x_{n+}_{1}).
Revisiting equation (2), we can have:
Then we transpose it into:
Then it is similar to the process in Case 1.
Step 2 We prove {x_{n}} converges to some .
Note that Step 1 shows that {d(x_{n}, x_{n}_{+1})} is nonincreasing and has inferior. So we can assume d(x_{n}, x_{n}_{+1}) converges to some p ≥ 0. From
d(x_{n}, x_{n}_{+1}) ≤ εd(x_{n}_{1}, x_{n}), ε ∈ (0,1),∀n ∈ ^{∗},
we can easily get p = 0. For each m, n ∈ with m > n, we can get:
That means that m > n. So from definition we can get is a Cauchy sequence. And since X is complete, there exists , such that converges to some .
Step 3 We prove is a fixed point of T.
From equation (1), we can get:
Since that {φ(x_{n})} converges to some r ≥ 0 and {x_{n}} converges to some u ∈ X, let n → +∞, n ∈ , we have
d(u,Tu) ≤ lim{d(u, x_{n}_{+1}) + (φ(x_{n}) φ(x_{n}_{+1})) · (*)} → 0.
Consequently, we prove that d(u, Tu) = 0. That means Tu =u. We completed the proof.
Then, we also get some corollaries based on Theorem 4.
Firstly, we combine Theorem 4 with Theorem 3 to get Corollary 1 and Corollary 2.
Then, we respectively combine contraction fixed point with Caristi type fixed point theory of Refs.[16,17] to get Corollary 36 on the basis of Theorem 4.
Corollary 1 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X. Then T has a fixed point.
Corollary2 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X. Then T has a fixed point.
Corollary 3 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0, ∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X. Then T has a fixed point.
Corollary 4 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X and1,2,3,4. Then T has a fixed point.
Corollary 5 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X and . Then T has a fixed point.
Corollary 6 Suppose that T is a selfmapping on complete metric space (X, d). If there is a φ : X → [0,∞) with d(x, Tx) > 0, then we get:
where
for all x, y ∈ X and there exists monotonically decreasing function . Then T has a fixed point.
2 Example
In this section, we give an example (Example 1) to show that our conclusion contains fixed point.
Example 1 Let{0,1,2,…,n}(n), endowed with the following metric:
Define T : X → X by T 0 = 0, T 1 = 2, T 2 = 3,…, Tk = k +1,…, T (n1) = n, Tn = 0 and φ : X → [0,+∞) by
If x ∈ X and d(x, Tx) > 0, then x 0. We have
d(Tn, T 0) ≤ (φ(n)  φ(0))K(n,0).
d(Tk, T 0) ≤ (φ(k)  φ(k + 1))K(k,0),0 < k ≤ n  1.
d(Tp, Tq) ≤ (φ(p)  φ(p + 1))K(p, q),0 < p < q ≤ n  1.
d(Tp, Tq) ≤ (φ(p)  φ(p + 1))K(p, q),0 < q < p ≤ n  1.
We can easily confirm that this condition satisfies Theorem 4, and T really has a fixed point.
However, if we apply this example into Theorem 3, we find that:
d(Tk, T 0) > (φ(k)  φ(k + 1))N (k,0),0 < k ≤ n  1.
d(Tp, Tq) > (φ(p)  φ(p + 1))N (p, q), 0 < p < q ≤ n  1.
d(Tp, Tq) > (φ(p)  φ(p + 1))N (p, q),0 < q < p ≤ n  1.
It shows that Example 1 does not satisfy the condition of Theorem 3.
But T really has a fixed point T 0 = 0.
Remark 1 We can easily see that N (x, y) ≤ K(x, y). So, Theorem 4 is a real generalization of Theorem 3.
References
 BanachS. Sur les opérations dans les ensembles abstraits et leur application Aux équations intégrales[J]. Fundamenta Mathematicae, 1922, 3: 133181. [CrossRef] [MathSciNet] [Google Scholar]
 CiricL B. A generalization of Banach contraction principle[J]. Proc Am Math Soc, 1974, 45: 267273. [Google Scholar]
 CiricL B. Generalized contractions and fixedpoint theorems[J]. Publ Inst Math , 1971, 12(26): 1926. [Google Scholar]
 RhoadesB E. Fixed point iterations using infinite matrices[J]. Transactions of the American Mathematical Society, 1974, 196: 161176. [Google Scholar]
 RhoadesB E. Some fixed point theorems in a Banach space[J]. Comment Math Univ St Pauli, 1976, 24: 1316. [Google Scholar]
 CaristiJ. Fixed point theorems for mappings satisfying inwardness conditions[J]. Transactions of the American Mathematical Society, 1976, 215: 241251. [Google Scholar]
 KirkW A, CaristiJ. Mapping theorems in metric and Banach spaces[J]. Bulletin of the Polish Academy of Sciences, 1975, 25: 891894. [Google Scholar]
 EkelandI. On the variational principle[J]. J Math Anal Appl, 1974, 47(2): 324 353. [Google Scholar]
 EkelandI. Nonconvex minimization problems[J]. Bull Am Math Soc, 1979, 1(3): 443474. [CrossRef] [Google Scholar]
 KimuraY, ToyodaM. Fixed point theorem in ball spaces and Caristis fixed point theorem[J]. Journal of Nonlinear and Convex Analysis, 2022, 23:185189. [Google Scholar]
 BakeryA A, El DewaikM H. A generalization of Caristi's fixed point theorem in the variable exponent weighted formal power series space[J]. Journal of Function Spaces, 2021, 2021: 118. [Google Scholar]
 RomagueraS. On the correlation between Banach contraction principle and caristi's fixed point theorem in bmetric spaces[J]. Mathematics, 2022, 10(1): 136. [Google Scholar]
 KarapınarE, KhojastehF, MitrovićZ. A proposal for revisiting Banach and caristi type theorems in bmetric spaces[J]. Mathematics, 2019, 7(4): 308. [Google Scholar]
 DuW S, KarapinarE. A note on Caristitype cyclic maps: Related results and applications[J]. Fixed Point Theory and Applications, 2013, 2013: 344. [CrossRef] [Google Scholar]
 KarapinerE, KhojastehF, ShatanawiW. Revisiting ćirićtype contraction with caristi's approach[J]. Symmetry, 2019, 11(6): 726. [Google Scholar]
 ZhangS. Fixed Point Theory and Application[M]. Chongqing: Chongqing Press, 1984(Ch). [Google Scholar]
 VasileI S. Fixed Point Theory, An Introduction[M]. Dordrecht: D. Reidel Pulishing Company, 1981. [Google Scholar]
Current usage metrics show cumulative count of Article Views (fulltext article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 4896 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.