Revising the Hardy–Rogers–Suzuki-type Z-contractions

The aim of this study is to introduce a new interpolative contractive mapping combining the Hardy–Rogers contractive mapping of Suzuki type and Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{Z}$\end{document}-contraction. We investigate the existence of a fixed point of this type of mappings and prove some corollaries. The new results of the paper generalize a number of existing results which were published in the last two decades.


Introduction and preliminaries
A century ago, the notion of fixed point theory appeared in the papers that were written to solve certain differential equations. The first independent fixed point result was given by Banach [1] in the setting of a complete normed space. The analog of this result in the framework of the complete metric space was reported by Caccioppoli [2] in 1930. After then, metric fixed point theory has advanced in many directions in the setting of several abstract spaces. Regarding the appearance of the notion, fixed point theory is one of the useful and crucial tools in several disciplines. Most of the daily life problems can be restated in the context of fixed point theory, see, e.g., the book of Rus [3] for interesting examples.
In 2014, Popescu [21] suggested an interesting notion, the so-called ω-orbital admissible mappings, which is a smart expansion of the notion of α-admissible mappings, see Samet et al. [19]. In this work, Popescu [21] showed that each admissible mapping is an ω-orbital admissible mapping, but the converse is not true.
One of the interesting uses of ω-admissible mapping is that it is ω-regular in the setting of metric spaces. This was a condition that helps refine the continuity condition on the self-mapping accompanied with some additional conditions; see, e.g., [19].
which converges to some z ∈ Y and satisfies ω(u n , u n+1 ) ≥ 1 for each n ∈ N, we have ω(u n , z) ≥ 1.
Later in 2015, the concept of a simulation function had been introduced by Khojasteh et al. [9]. These functions cover many types of the existing contractions. We give now the definition of simulation function as it was redefined by Argoubi [11].
The next definition presents the Suzuki-type contraction mappings.
One of the interesting results in metric fixed point theory was given by Karapınar [39], which involves interpolation. After these initial results, interpolative contraction has been investigated by several authors, e.g., [15,[30][31][32][33][34][35][36][37][38][39][40][41]. Recently, interpolative Hardy-Rogerstype contractions have been investigated by many authors (see [6][7][8]). In particular, in [38], Karapınar used simulation functions to introduce the notion of interpolative Hardy-Rogers-type Z-contraction mappings and prove some related fixed point results. The aim of our work is to combine the latter contractions with those of the Suzuki-type and investigate the existence of fixed points of this new type of mappings under some conditions.
Karapınar's definition that introduced the notion of interpolative Hardy-Rogers-type Z-contraction mappings is given as follows.
then we say that H is an interpolative Hardy-Rogers-type Z-contraction with respect to ζ .

Main results
We introduce now our new contraction type mapping in the following definition.
Our main result is the following theorem:

be a complete metric space and let H be a self-mapping on Y . Assume that (i) H is an interpolative Hardy-Rogers
Then H has a fixed point.
Proof Define the sequence u n by u n = H n u 0 . If there exists k ∈ N such that u k = u k+1 , then u k is a fixed point of H. Assume that u n = u n+1 for all n ∈ N. Now as ω(u 0 , Hu 0 ) ≥ 1 and H is ω-orbital admissible, ω(u n , u n+1 ) ≥ 1 for all n ∈ N. And as H is an interpolative Hardy-Rogers-Suzuki-type Z-contraction with respect to some ζ ∈ Z with 1 2 d(u n , Hu n ) = 1 2 d(u n , u n+1 ) ≤ d(u n , u n+1 ), we have As ω(u n , u n+1 ) ≥ 1 for all n ∈ N, we have and, using the triangular inequality with the fact that the function f (x) = x 1-α-β-γ is increasing for x > 0, we obtain If we suppose that d(u n , u n+1 ) < d(u n+1 , u n+2 ) for all n ∈ N, then (2.4) yields a contradiction. Hence d(u n+1 , u n+2 ) ≤ d(u n , u n+1 ) for all n ∈ N. So, we deduce that the sequence {d(u n , u n+1 )} is nonincreasing, and as d(u n , u n+1 ) ≥ 0 for all n ∈ N, {d(u n , u n+1 )} is a bounded monotone sequence of real numbers, which implies that there exists t ≥ 0 such that lim n→∞ d(u n , u n+1 ) = t. We have to prove that t = 0. It is easy to see that lim n→∞ C(u n , u n+1 ) = t. So from (2.2) we have lim n→∞ ω(u n , u n+1 )d(u n+1 , u n+2 ) = t by the squeeze theorem. Accordingly, if we suppose that t > 0, we can apply ζ 2 to get 0 ≤ ζ ω(u n , u n+1 )d(u n+1 , u n+2 ), C(u n , u n+1 ) < 0, which is a contradiction. Hence t = 0, which implies that {u n } is a Cauchy sequence. By completeness of Y , there exists v ∈ Y such that lim n→∞ u n = v. We will prove that v is a fixed point of H. Note that as Y is ω-regular and ω(u n , u n+1 ) ≥ 1 for all n ∈ N, so ω(u n , v) ≥ 1 for all n ∈ N. Now either for if we suppose that 1 2 d(u n , Hu n ) > d(u n , v) and 1 2 d(Hu n , H 2 u n ) > d(Hu n , v) then, using the triangular inequality together with the fact that {d(u n , u n+1 )} is a nonincreasing sequence, we will get which is a contradiction. So either (2.5) or (2.6) holds. If we assume that (2.5) holds and v is not a fixed point of H, then by ω-regularity of Y we have 0 ≤ ζ ω(u n , v)d(Hu n , Hv), C(u n , v) .
Using ζ 2 , we have As the limit of the right-hand side of the previous inequality as n → ∞ is zero, by the squeeze theorem, lim n→∞ d(u n , Hv) = 0. Hence, by the uniqueness of the limit, we have v = Hv. Similarly, if (2.6) holds, we can prove that v is a fixed point of H, as wanted.

Consequences
We get the following corollaries by using different examples of the function ζ .
Sketch of the proof It is sufficient to replace ζ (t, s) = η(s)-t for all s, t ∈ [0, ∞) in Theorem 8.
We can obtain more results by reducing the terms in Theorem 8 as follows: (iii) there exists u 0 ∈ Y such that ω(u 0 , Hu 0 ) ≥ 1; (iv) Y is ω-regular. Then H has a fixed point.
Proof By analogue of the proof of Theorem 8.

Conclusion
In conclusion, we can use the results of the paper to generate more results by using different examples of the simulation function. Moreover, we can follow the same argument of the proof of the main result to prove more results with less terms; this will enrich the fixed point theory.