Global existence and stability of three species predator-prey system with prey-taxis

1.   Introduction

Metric fixed-point theory is a prominent and essential topic of functional analysis. As expected, this field has had a flood of scientific activity. Because of its elegance, simplicity, and ease of application in various mathematics disciplines, the Banach fixed-point theorem ^[1], also known as the Banach contraction principle, is unquestionably crucial for the metric fixed-point theory. The existence and uniqueness of a fixed-point of contraction mappings on a complete metric space are guaranteed by this theorem, which also gives a constructive approach to finding the fixed-point.

One beneficial aspect of studying the metric fixed-point theory is generalizing the metric space structure under consideration. Furthermore, generalizing the metric function has emerged as one of the most intriguing and profitable research topics. New structures have arisen through the modification of certain aspects of the distance function or the addition of some new features to this function, and many new topological structures have been added to the literature. Additionally, researchers successfully apply these novel metric functions by studying summability theory, sequence spaces, Banach space geometry, fuzzy theory, and so on. The $\flat$-metric function, which has a constant in the triangle inequality, has been the most visible extension of the metric function in the previous 40 years. Bakhtin ^[2] and Czerwik ^[3] expressed the $\flat$-metric function as an expanded form of metric functions. The triangle inequality of the known metric function has been replaced by a more general inequality by using a constant $\varsigma\ge 1$. It corresponds to the standard metric function with $\varsigma = 1$. Some researchers have studied fixed-point theorems in $\flat$-metric spaces, as detailed in ^{[4,5,6,7,8,9,10,11,12,13]}.

In 1992, Matthews ^[14] proposed a partial metric function, which is an intriguing expansion of the metric function. Partial metric spaces are metric space extensions in which any of the points has a non-zero self-distance. This topic has a wide range of applications in various branches of mathematics, computer science and semantics and has also become a thriving area in metric fixed-point theory. Currently, a number of researchers depend on the partial metric as a crucial idea for investigating the presence and uniqueness of a fixed-point for mappings that satisfy various contractive conditions; for details, please see ^{[15,16,17,18,19,20,21,22,23]}.

Many new metric functions have appeared in the literature as a result of combining various distance functions. These structures have significance in the study of metric fixed-point theory, summability theory, fuzzy theory and other related topics. The study conducted by Brzdek et al. ^[24] in 2018 is recognized as an example of one of the most significant studies in which metric frameworks are employed simultaneously.

The partial $\flat$-metric, which is a new concept combining the above-mentioned partial metric and $\flat$-metric structures, was developed in 2013 by Mustafa et al. ^[25], and its modification was introduced by Shukla ^[26] in 2014. The properties of this newly defined space were examined, and generalizations of the metric fixed-point theory were obtained, see ^[27,28].

On the other hand, many authors have attempted to generalize the Banach contraction principle by applying auxiliary functions in various abstract spaces to gain more constructive results in fixed-point theory. This research is still garnering attention today.

The Geraghty-type contraction, one of the most significant variations of the Banach contraction, was highlighted in 1973 by Geraghty ^[29]. Like the Banach contraction principle, the Geraghty contraction principle appealed to the researchers. It has found a place in the literature in several investigations, notably, the ones mentioned in ^[30,31,32].

Samet et al. ^[33] proposed the ideas of $\alpha$-admissibility and $\alpha$-$\psi$-contraction mappings and some fixed-point insights for these contractions were put forward. Soon after, various researchers' evaluations appeared in the literature ^[34,35,36]. Cho et al. founded diverse fixed-point theorems by combining $\alpha$-admissibility and Geraghty contractions in ^[37]. Afshari et al. ^[38] focused on these results by implementing the idea of generalized $\alpha$-$\psi$-Geraghty contraction mappings and investigating the existence and uniqueness of a fixed-point for such mappings in the context of $\flat$-metric spaces.

Meanwhile, Fulga and Proca ^[39] proposed the premise of an $E$-contraction in 2017. In the following year, Fulga and Proca ^[40] setup a fixed-point theorem for the ${{\mathfrak{P} }_{E}}$-Geraghty contraction, and some findings were brought about by implementing this concept; see ^[41,42,43]. In 2018, Alqahtani et al. ^[44] confirmed a common fixed-point theorem on complete metric spaces by applying the Geraghty contraction of type ${{E}_{\mathfrak{S}, \mathcal{O}}}$. The following year, Aydi et al. ^[45] presented the $\alpha$-${{\mathfrak{P} }_{E}}$-Geraghty contraction on a $\flat$-metric space, and some fixed-point findings were achieved. Lang and Guan ^[46] recently introduced ${{\alpha }_{i}^{j}}$-${{\mathfrak{P} }_{{{E}_{\mathfrak{S}, \mathcal{O}}}}}$-Geraghty contraction mappings and established common fixed-point findings for generalized ${{\alpha }_{i}^{j}}$-${{\mathfrak{P} }_{{{E}_{\mathfrak{S}, \mathcal{O}}}}}$-Geraghty contraction mappings in $\flat$-metric spaces.

Liu et al. ^[47] identified the ${\bf D}_{{\mathscr{C}}}$-class, which encompasses the $F$-contractions given by Wardowski ^[48]. See ^[49,50] for additional knowledge on ${\bf D}_{{\mathscr{C}}}$-contractions.

This study aims to expound upon the generalized $\alpha_{i}^{j}$-$\left({\bf D}_{{\mathscr{C}}}\left(\mathfrak{P}_{\hat E}\right)\right)$-contraction by using the aforementioned concepts and to prove some fixed-point and common fixed-point theorems for such a contraction in partial $\flat$-metric spaces. It is seen that the obtained results generalize and improve many of the already existing results in the literature. At the same time, the presented examples support the accuracy of the results obtained. Finally, the application of the homotopy theory also illustrates the conclusion that the proposed study is multifaceted.

2.   Preliminaries

The fundamental principles that are essential to this study are set forth below.

Definition 2.0.1. (^[14]) A function $\wp:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$, where $\mathscr{U}$ is a nonempty set, is called a partial metric if the following assertions are provided:

$\wp_1.$ $\wp\left(\jmath, \jmath \right) = \wp\left(\jmath, \rho \right) = \wp\left(\rho, \rho\right) \Leftrightarrow \jmath = \rho$;

$\wp_2.$ $\wp\left(\jmath, \jmath \right)\le \wp\left(\jmath, \rho \right)$;

$\wp_3.$ $\wp\left(\jmath, \rho \right) = \wp\left(\rho, \jmath \right)$; $\wp_4.$ $\wp\left(\jmath, \rho \right)\le \wp\left(\jmath, r \right)+\wp\left(r, \rho \right)-\wp\left(r, r \right)$

for all $\jmath, \rho, r \in \mathscr{U}$. The pair $\left(\mathscr{U}, \wp \right)$ denotes a partial metric space.

It is evident from $\left(\wp_1 \right)$ and $\left(\wp_2 \right)$ that $\jmath = \rho$ provided that $\wp\left(\jmath, \rho \right) = 0$. However, $\wp\left(\jmath, \rho \right) = 0$ might not hold for each $\jmath \in \mathscr{U}$. This means that every metric space is a partial metric space, but the converse is not necessarily accurate.

Remark 2.0.2. (^[17]) In $\left(\mathscr{U}, \wp \right)$, for all $\jmath \in \mathscr{U}$ and $\varepsilon > 0$, the ensuing sets

and

denote $\wp$-open balls and $\wp$-closed balls, respectively. A $T_0$ topology arises over $\left(\mathscr{U}, \wp \right)$ via a base family of $\wp$-open balls

Example 2.0.3. (^[20]) Let $\mathscr{U} = \left[0, 1 \right]$ and $\wp\left(\jmath, \rho \right) = \max \left\{ \jmath, \rho \right\}$ for all $\jmath, \rho\in \mathscr{U}$. Then, $\left(\mathscr{U}, \wp \right)$ denotes a partial metric space. However, this is not a metric space.

Example 2.0.4. (^[14]) Let $\mathscr{U} = \left[0, 1 \right]\cup \left[2, 3 \right]$ and define $\wp:\mathscr{U} \times \mathscr{U}\to \left[0, \infty \right)$ by

Then, $\wp$ fulfills all partial metric conditions. As a result, $\left(\mathscr{U}, \wp \right)$ is a partial metric space.

Definition 2.0.5. (^[3]) Assume that $\mathscr{U}$ is a nonempty set. A $\flat$-metric has been identified as the function $\flat:\mathscr{U} \times \mathscr{U}\to \left[0, \infty \right)$, which possesses the subsequent attributes for any $\jmath, \rho, r\in \mathscr{U}$:

$\flat_1$. $\flat\left(\jmath, \rho \right) = 0 \Leftrightarrow \jmath = \rho$;

$\flat_2$. $\flat\left(\jmath, \rho \right) = \flat\left(\rho, \jmath \right)$;

$\flat_3$. there is a real constant $\varsigma\ge 1$ that implements $\flat\left(\jmath, \rho \right)\le \varsigma \left[\flat\left(\jmath, r\right)+\flat\left(r, \rho \right) \right]$.

$\left(\mathscr{U}, \flat \right)$ stands for a $\flat$-metric space with the coefficient $\varsigma$.

If $\varsigma = 1$, the function $\flat$ is an ordinary metric. In this circumstance, each metric is a $\flat$-metric. Nevertheless, the reverse is not generally accurate.

Example 2.0.6. (^[10]) Let $\left(\mathscr{U}, d \right)$ be a metric space. The function $\flat:\mathscr{U} \times \mathscr{U}\to \left[0, \infty \right)$, which is defined as $\flat\left(\jmath, \rho \right) = {{\left[d\left(\jmath, \rho \right) \right]}^{\mu }}$, is a $\flat$-metric for all $\jmath, \rho, r\in \mathscr{U}$ and $\mu > 1$. So, $\left(\mathscr{U}, \flat \right)$ is a $\flat$-metric space with $\varsigma = {{2}^{\mu -1}}$.

In 2013, Mustafa et al. ^[25] introduced the idea of a partial $\flat$-metric, which is considered an improvement of the partial metric and $\flat$-metric, which was subsequently refined by Shukla ^[26] in 2014.

Definition 2.0.7. (^[25]) Assume that $\mathscr{U}$ is a nonempty set. If the succeeding characteristics are met for all $\jmath, \rho, r \in \mathscr{U}$, ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ is referred to as a partial $\flat$-metric:

$\left({{\wp}_{\flat}}1 \right)$ ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\wp}_{\flat}}\left(\jmath, \jmath \right) = {{\wp}_{\flat}}\left(\rho, \rho \right) \Leftrightarrow \jmath = \rho$;

$\left({{\wp}_{\flat}}2 \right)$ ${{\wp}_{\flat}}\left(\jmath, \jmath \right)\le {{\wp}_{\flat}}\left(\jmath, \rho \right)$;

$\left({{\wp}_{\flat}}3 \right)$ ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\wp}_{\flat}}\left(\rho, \jmath \right)$;

$\left({{\wp}_{\flat}}4 \right)$ a real number $\varsigma\ge 1$ exists such that

Thus, the pair $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ specifies a partial $\flat$-metric space via the coefficient $\varsigma$.

Shukla ^[26] revised the partial $\flat$-metric approach by using the property $\left({{\wp}_{\flat}}4^{'}\right)$ instead of $\left({{\wp}_{\flat}}4 \right)$, which is given below:

$\left({{\wp}_{\flat}}4^{'}\right)$ for all $\jmath, \rho, r\in \mathscr{U}$

Throughout the paper, we use the definition of a partial $\flat$-metric in the sense of Shukla ^[26]. The notations ${\mathcal{P}}_{\flat}\mathrm{M}$ and ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$, will be used throughout this work to designate the ideas of the partial $\flat$-metric and partial $\flat$-metric space, respectively.

Remark 2.0.8. (^{[25,26,27,28]}) With the same coefficient $\varsigma\ge 1$, every $\flat$-metric space is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$; taking the coefficient $\varsigma = 1$, every partial metric space is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$. Moreover, a ${\mathcal{P}}_{\flat}\mathrm{M}$ on $\mathscr{U}$ is not a partial metric, nor a $\flat$-metric, in general. As far as we comprehend, a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ includes the set of a $\flat$-metric space and partial metric space.

Example 2.0.9. (^[26])

$i.$ Let $\mathscr{U} = \left[0, \infty \right)$ and $\omega > 1$ be a fixed element and define ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ by ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\left\{ \max \left\{ \jmath, \rho \right\} \right\}}^{\omega }}+{{\left| \jmath- \rho \right|}^{\omega }}$ for all $\jmath, \rho\in \mathscr{U}$. Then, $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma = {{2}^{\omega }} > 1$. It is not a $\flat$-metric or a partial metric space.

$ii.$ Assume that $a > 0$ is a fixed element and $\mathscr{U} = \left[0, \infty \right)$. Define ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ in order to become ${{\wp}_{\flat}}\left(\jmath, \rho \right) = \max \left\{ \jmath, \rho \right\}+a$ for all $\jmath, \rho\in \mathscr{U}$. Then, $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma\ge 1$.

$iii.$ Let $q\ge 1$ and $\left(\mathscr{U}, \wp \right)$ be a partial metric space. ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ is a ${\mathcal{P}}_{\flat}\mathrm{M}$ with the coefficient $\varsigma = {{2}^{q-1}}$ if this mapping is defined by ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\left[\wp\left(\jmath, \rho \right) \right]}^{q}}$.

$iv.$ Let $\mathscr{U} = \left\{ 1, 2, 3, 4 \right\}$ and ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ be a ${\mathcal{P}}_{\flat}\mathrm{M}$ with the coefficient $\varsigma = 4$, where ${\mathcal{P}}_{\flat}\mathrm{M}$ is given by

It is clear that ${{\wp}_{\flat}}\left(2, 2 \right) = 2\ne 0$, so it is not a $\flat$-metric. Also,

is obtained. As seen here, ${{\wp}_{\flat}}$ is not a partial metric.

$v.$ With $\varsigma\ge 1$, assume that $\wp$ is a partial metric and $\flat$ is a $\flat$-metric on a nonempty set $\mathscr{U}$. ${{\wp}_{\flat}}$ is a ${\mathcal{P}}_{\flat}\mathrm{M}$ with the coefficient $\varsigma\ge 1$ on $\mathscr{U}$, where ${{\wp}_{\flat}}$ is characterized with ${{\wp}_{\flat}}\left(\jmath, \rho \right) = \wp\left(\jmath, \rho \right)+\flat\left(\jmath, \rho \right)$.

We confer two novel instances to diversify the partial $\flat$-metric idea.

Example 2.0.10. $i.$ Let $\mathscr{U} = \left(0, 1 \right]\bigcup \left\{ 2, 3, 4, \ldots \right\}$, and for $q\ge 1$, ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$is a ${\mathcal{P}}_{\flat}\mathrm{M}$ with the coefficient $\varsigma = {{2}^{q-1}}$, where ${{\wp}_{\flat}}$ is specified by the subsequent expression:

$ii.$ Let $\mathscr{U} = \mathbb{N}$ and ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ be a ${\mathcal{P}}_{\flat}\mathrm{M}$ with the coefficient $\varsigma = 4$, where ${{\wp}_{\flat}}$ is defined as follows:

Proof. $i.$ The axioms $\left({{\wp}_{\flat}}1 \right)$–$\left({{\wp}_{\flat}}3 \right)$ are apparent. In order to show the validity of $\left({{\wp}_{\flat}}4 \right)$, the following six cases will be examined.

Case 1: For $\jmath, \rho, r \in \left(0, 1 \right]$ and $\jmath \ne \rho \ne r$, since $q\ge 1$, $2^{q}-1 \ge 1$; we have

Case 2: For $\jmath, \rho\in \left(0, 1 \right]$, $\jmath \ne \rho$ and $\jmath = r$, we conclude that

Case 3: A similar consequence is true for $\jmath, r\in \left(0, 1 \right]$, $\jmath \ne r$ and $\jmath = \rho.$

Case 4: For $\jmath, \rho, r\in \left\{ 2, 3, 4, ... \right\}$ and $\jmath \ne \rho \ne r$, owing to fact that

we derive

which is the desired inequality.

Case 5: For $\jmath, \rho\in \left\{ 2, 3, 4, ... \right\}$, $\jmath \ne \rho$ and $\jmath = r$, since

we have

Case 6: This case is provided for $\jmath, r \in \left\{ 2, 3, 4, ... \right\}$, $\jmath \ne r$ and $\jmath = \rho$, as in Case 5.

Consequently, since $\left({{\wp}_{\flat}}1 \right)$–$\left({{\wp}_{\flat}}4 \right)$ are provided, the mapping indicated in (2.3) is a ${\mathcal{P}}_{\flat}\mathrm{M}$ with $\varsigma = {{2}^{q-1}}$.

However, for $\jmath = \rho$, by definition, since ${{\wp}_{\flat}}\left(\jmath, \rho\right) = 1$, ${{\wp}_{\flat}}\left(\jmath, \rho \right) = 0$ does not occur. The first axiom of the ${\flat}$-metric does not hold. So, a partial ${\flat}$-metric need not be a ${\flat}$-metric.

$ii.$ The axioms of $\left({{\wp}_{\flat}}1 \right)$–$\left({{\wp}_{\flat}}3 \right)$ are evident. To demonstrate $\left({{\wp}_{\flat}}4 \right)$, we need to examine the six cases mentioned below.

Case 1: Let $\jmath \le r \le \rho.$ Then,

we have

Thereby, the following expression is ensured for all $\varsigma\ge 1$:

Case 2: Let $\jmath \le \rho\le r$. Because

we have

Then, for all $\varsigma\ge 1$, we procure

Case 3: Let $r\le \jmath \le \rho$. Then, for all $\varsigma\ge 1$, we achieve

and

Case 4: Let $\jmath > r > \rho$. Because

for $\varsigma = 4$, we gain

Case 5: Let $\jmath > \rho > r$. Then, for all $\varsigma \ge 1$, we attain

and

Case 6: Let $r > \jmath > \rho$. Since

and

for $\varsigma = 2$, we derive

Contemplating the above six cases, we conclude that the mapping given in (2.4) is a ${\mathcal{P}}_{\flat}\mathrm{M}$ with $\varsigma = 4.$ □

Proposition 2.0.11. (^[25]) Every partial $\flat$-metric ${{\wp}_{\flat}}$ defines a $\flat$-metric ${{d}_{{{\wp}_{\flat}}}}$, where

for all $\jmath, \rho\in \mathscr{U}$.

Remark 2.0.12. Let $\varepsilon > 0$ $\left\{ {B_{{{\wp}_{\flat}}}}\left(\jmath, \varepsilon \right):\jmath \in \mathscr{U}, \varepsilon > 0 \right\}$ be the family of ${{\wp}_{\flat}}$-open balls, where ${B_{{{\wp}_{\flat}}}}\left(\jmath, \varepsilon \right) = \left\{ \rho\in \mathscr{U}:{{\wp}_{\flat}}\left(\jmath, \rho \right) < {{\wp}_{\flat}}\left(\jmath, \jmath \right)+\varepsilon \right\}$ for all $\jmath \in \mathscr{U}$. Each ${\mathcal{P}}_{\flat}\mathrm{M}$ brings on a ${{T}_{0}}$ topology ${{{T}}_{{{\wp}_{\flat}}}}$ on $\mathscr{U}$; however, it need not be ${{T}_{1}}$. To explain this, in Example 2.0.10 (i), for $1 = \jmath \ne \rho = 3$ and $q = 2$, we currently possess

and

$\frac{1}{2}\in {B_{{{\wp}_{\flat}}}}\left(\frac{1}{2}, 1 \right)$, but $\frac{1}{4}\notin {B_{{{\wp}_{\flat}}}}\left(\frac{1}{2}, 1\right)$, and $\frac{1}{4}\in {B_{{{\wp}_{\flat}}}}\left(\frac{1}{4}, 4 \right)$, but $\frac{1}{2}\notin {B_{{{\wp}_{\flat}}}}\left(\frac{1}{4}, 4 \right)$. Thus, it is deduced that a ${\mathcal{P}}_{\flat}\mathrm{M}$ on a set $\mathscr{U}$ need not to be ${{T}_{1}}$.

Definition 2.0.13. (^[25]) Let $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ be a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with a coefficient $\varsigma$ and ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$ be a sequence in $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$.

$i.$ Provided that the equality $\mathop {\lim }\limits_{n \to \infty } \, {{\wp}_{\flat}}\left({{\jmath}_{n}}, \jmath \right) = {{\wp}_{\flat}}\left(\jmath, \jmath \right)$ holds, ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$ is called a ${{\wp}_{\flat}}$-convergent sequence in $\mathscr{U}$ and $\jmath$ is termed the ${{\wp}_{\flat}}$-limit of ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$.

$ii.$ ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$ is a ${{\wp}_{\flat}}$-Cauchy sequence if $\mathop {\lim }\limits_{n,m \to \infty } \, {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{m}} \right)$ exists and is finite.

$iii.$ If, for each ${{\wp}_{\flat}}$-Cauchy sequence ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$, a point $\jmath$ exists in $\in \mathscr{U}$ such that

then $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is called a ${{\wp}_{\flat}}$-complete space.

Remark 2.0.14. In a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$, a convergent sequence does not require a unique limit. In Example 2.0.10 (ii), consider

Then,

As can be seen, the sequence $\frac{1}{{{n}^{2}}+1}$ has more than one limit.

Example 2.0.15. (^[20]) Let $\mathscr{U} = {{\mathbb{R}}^{+}}$ and ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ denote a mapping determined by ${{\wp}_{\flat}}\left(\jmath, \rho \right) = \max \left\{ \jmath, \rho \right\}$ for all $\jmath, \rho\in \mathscr{U}$. In such a case, $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ has become a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma\ge 1$. We obtain the following for the sequence $\left\{ \frac{1}{n+1} \right\}_{n\in \mathbb{N}}$ in $\left(\mathscr{U}, {{\wp}_{\flat}} \right):$

The sequence $\left\{ \frac{1}{n+1} \right\}_{n\in \mathbb{N}}$ owns two limits in $\mathscr{U}$.

Lemma 2.0.16. (^[25]) Presume that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ and $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$ are a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\flat$-metric space, respectively.

$1)$ ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$ is a ${{\wp}_{\flat}}$-Cauchy sequence in $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ if and only if it is also a $\flat$-Cauchy sequence in $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$.

$2)$ $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is ${{\wp}_{\flat}}$-complete if and only if $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$ is $\flat$-complete. As well, $\mathop {\lim }\limits_{n \to \infty } \, {{d}_{{{\wp}_{\flat}}}}\left(\jmath, {{\jmath}_{n}} \right) = 0$ if and only if

Remark 2.0.17. (^[27]) The mapping ${{\wp}_{\flat}}$ is not continuous in general.

Presume that $\mathscr{U} = \mathbb{N}\cup \left\{ \infty \right\}$ and ${{\wp}_{\flat}}:\ \mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ is a mapping defined as follows:

$\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with $\varsigma = 3$. For each $n\in \mathbb{N}$, consider that ${{\jmath}_{n}} = 2n+3$. Then,

as $n\to \infty$; so, ${{\jmath}_{n}}\to \infty$; however, $\mathop {\lim }\limits_{n \to \infty } \, {{\wp}_{\flat}}\left({{\jmath}_{n}}, 4 \right) = 2\ne 5 = {{\wp}_{\flat}}\left(\infty, 4 \right)$, which means that ${{\wp}_{\flat}}$ does not have the continuity property.

The subsequent lemma is essential in regarding the ${{\wp}_{\flat}}$-convergent sequences as the confirmation of our findings because a ${\mathcal{P}}_{\flat}\mathrm{M}$ is not continuous in general.

Lemma 2.0.18. (^[27]) Ensure that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma > 1$ and the sequences $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ and $\left\{ {{\rho}_{n}} \right\}_{n\in \mathbb{N}}$ are ${{\wp}_{\flat}}$-convergent to $\jmath$ and $\rho$, respectively. Afterward, we obtain

Wardowski ^[48] proposed a novel notion associated with the $\mathcal{F}$-contraction in 2012. As a result, several investigations have been conducted to obtain more extended contractive mappings on metric spaces and other generalized metric spaces.

Definition 2.0.19. (^[48]) Let $\left({\mathscr{U}, d} \right)$ be a metric space. The mapping $\mathcal{O}:\mathscr{U} \to \mathscr{U}$ is an $\mathcal{F}$-contraction provided that $\mathcal{F} \in \mathfrak{F}$ and $\kappa > 0$ exist such that, for all $\jmath, \rho \in \mathscr{U}$,

where $\mathfrak{F}$ is the set of functions $\mathcal{F}:\left({0, \infty } \right) \to \mathbb{R}$ fulfilling the subsequent statements:

$(\mathcal{F}_1)$ $\mathcal{F}$ is strictly increasing, i.e., for all $\mathfrak{a}, \mathfrak{b} \in \left({0, \infty } \right)$, such that $\mathfrak{a} < \mathfrak{b}$, $\mathcal{F}\left(\mathfrak{a} \right) < \mathcal{F}\left(\mathfrak{b} \right)$;

$(\mathcal{F}_2)$ for each ${\left\{ {{\mathfrak{a}_n}} \right\}_{n \in \mathbb{N}}}$ of positive numbers, $\mathop {\lim }\limits_{n \to \infty } {\mathfrak{a}_n} = 0$ $\Leftrightarrow$ $\mathop {\lim }\limits_{n \to \infty } \mathcal{F}\left({{\mathfrak{a}_n}} \right) = - \infty$;

$(\mathcal{F}_3)$ a constant $\mathfrak{c} \in \left({0, 1} \right)$ exists such that $\mathop {\lim }\limits_{\mathfrak{a} \to {0^ + }} {\mathfrak{a} ^\mathfrak{c}}\mathcal{F}\left(\mathfrak{a} \right) = 0$.

Subsequently, Wardowski attested that in ^[48], any $\mathcal{F}$-contraction enjoys a unique fixed-point in a complete metric space $\left({\mathscr{U}, d} \right)$.

As an extension of the family $\mathfrak{F}$, Piri and Kumam ^[51] put forth a new set of functions $\mathcal{F} \in {\mathfrak{F}^*}$ by substituting the term ($\mathcal{F}_3$) with $\left({{\mathcal{F} _3}^\prime } \right)$ in Definition 2.0.19, as noted below:

$\left({{\mathcal{F}_3}^\prime} \right)$ $\mathcal{F}$ is continuous.

Briefly, set ${\mathfrak{F}^*} = \left\{ {\mathcal{F} :\left({0, \infty } \right) \to \left({-\infty, +\infty } \right):\; \mathcal{F} \; {\rm{holds}}\; \left({{\mathcal{F} _1}} \right), \left({{\mathcal{F} _2}} \right)\; {\rm{and}}\; \left({{\mathcal{F} _3}^\prime } \right)} \right\}$.

In 2014, Jleli and Samet ^[52] introduced the concept of a $\theta$-contraction, and the class $\Theta = \{\theta :(0, \infty)\rightarrow (1, \infty)\}$ represents all such functions provided to fulfill the below circumstances:

$\left({{\theta _1}} \right)$ $\theta$ is non-decreasing;

$\left({{\theta _2}} \right)$ for each $\left\{ {{\mathfrak{a}_\mathfrak{z}}} \right\} \subset \left({0, \infty } \right)$, $\mathop {\lim }\limits_{\mathfrak{z} \to \infty } \theta \left({{\mathfrak{a}_\mathfrak{z}}} \right) = 1$ $\Leftrightarrow$ $\mathop {\lim }\limits_{\mathfrak{z} \to \infty } {\mathfrak{a}_\mathfrak{z}} = {0^ + };$

$\left({{\theta _3}} \right)$ a constant $r \in \left({0, 1} \right)$ and $\mathfrak{s} \in \left({0, \infty } \right]$ exist such that $\mathop {\lim }\limits_{\mathfrak{a} \to {0^ + }} \frac{{\theta \left(\mathfrak{a} \right)}}{{{\mathfrak{a}^r}}} = \mathfrak{s}.$

Theorem 2.0.20. Let $\mathcal{O}:\mathscr{U} \to \mathscr{U}$ be a mapping on a complete metric space $\left({\mathscr{U}, d} \right)$. Provided that a function $\theta \in \Theta$ and a constant $\tau \in \left({0, 1} \right)$ exist such that

for all $\jmath, \rho \in \mathscr{U}$, then $\mathcal{O}$ owns a unique fixed-point.

Furthermore, Liu et al. ^[47] identified the set $\tilde \Theta = \left\{ {\theta :\left({0, \infty } \right) \to \left({1, \infty } \right):\; \theta \; {\rm{holds}}\; \left({{\theta _1}^\prime } \right)\; {\rm{and}}\; \left({{\theta _2}^\prime } \right)} \right\}$, where

$\left({{\theta _1}^\prime } \right) \theta$ is non-decreasing and continuous;

$\left({{\theta _2}^\prime } \right) {\inf _{\mathfrak{a} \in \left({0, \infty } \right)}}\theta \left(\mathfrak{a} \right) = 1.$

Theorem 2.0.21. ^[47] Let $\mathcal{O}:\mathscr{U} \to \mathscr{U}$ be a self-mapping on a complete metric space $\left({\mathscr{U}, d} \right)$. Thereby, the following statements are equivalent:

$i.$ the mapping $\mathcal{O}$ is a $\theta-$contraction with $\theta \in {\tilde \Theta}$;

$ii.$ the mapping $\mathcal{O}$ is an $\mathcal{F}-$contraction with $\mathcal{F} \in {\mathfrak{F}^*}$.

The concept of a ${\bf D}_{\mathscr{C}}$-contraction was proposed by Liu et al. ^[47] as follows.

Presume that ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$ is a function and fulfills the terms $\left({\bf D}1 \right)-\left({\bf D}3 \right)$.

$\left({\bf D}1 \right)$ ${\bf D}$ is non-decreasing;

$\left({\bf D}2 \right)$ $\mathop {\lim }\limits_{n \to \infty } \, {\bf D}\left({\mathfrak{a}_{n}} \right) = 0\Leftrightarrow \mathop {\lim }\limits_{n \to \infty } \, {\mathfrak{a}_{n}} = 0$;

$\left({\bf D}3 \right)$ ${\bf D}$ is continuous.

Set $\Delta = \left\{ {\bf D}:\left(0, \infty \right)\to \left(0, \infty \right):{\bf D}\ satisfies\ \left({\bf D}1 \right)-\left({\bf D}3 \right) \right\}$.

${\mathscr{C}}:\left(0, \infty \right)\to \left(0, \infty \right)$ is a comparison function that has the features $({\mathscr{C}}_1)$ and $({\mathscr{C}}_2)$.

$({\mathscr{C}}_1)$ ${\mathscr{C}}$ is monotonically increasing, that is, $\mathfrak{a} < \mathfrak{b}\Rightarrow {\mathscr{C}} \left(\mathfrak{a} \right) < {\mathscr{C}} \left(\mathfrak{b} \right).$

$({\mathscr{C}}_2)$ $\mathop {\lim }\limits_{n \to \infty } \, {{{\mathscr{C}} }^{n}}\left(\mathfrak{a} \right) = 0$ for all $\mathfrak{a} > 0$, where ${{{\mathscr{C}} }^{n}}$ denotes the ${{n}^{\rm{th}}}$-iteration of ${\mathscr{C}}$.

If ${\mathscr{C}}$ is a comparison function, then ${\mathscr{C}} \left(\mathfrak{a} \right) < \mathfrak{a}$ for all $\mathfrak{a} > 0$. The mappings

● ${\mathscr{C}}_x \left(\mathfrak{a} \right) = \chi \mathfrak{a}, \ 0 < \chi < 1, \ \mathfrak{a} > 0$,

● ${\mathscr{C}}_y \left(\mathfrak{a} \right) = \frac{\mathfrak{a}}{1+\mathfrak{a}}$

can be given as examples of comparison functions.

Definition 2.0.22. (^[47]) Let $\left(\mathscr{U}, d \right)$ be a metric space and $\mathcal{O}$ be a self-mapping on this space. Let $\Im = \left\{ \left(\jmath, \rho \right)\in {{\mathscr{U}}^{2}}:d\left(\mathcal{O} \jmath, \mathcal{O}\rho \right) > 0 \right\}.$ $\mathcal{O}$ is named a ${\bf D}_{\mathscr{C}}$-contraction if it ensures the following expression:

for all $\jmath, \rho\in \Im$.

In 2021, Nazam et al. ^[50] presented a new definition of the ${\bf D}_{\mathscr{C}}$-contraction, including two self-mappings with a binary relation in a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$, referring to Liu's definition of a ${\bf D}_{\mathscr{C}}$-contraction.

Definition 2.0.23. (^[50]) Let $\mathcal{O}$ and $\mathfrak{S}$ be two self-mappings on a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\Re$ be a binary relation on $\mathscr{U}$. Define the set $\Im = \left\{ \left(\jmath, \rho \right)\in \Re :{{\wp}_{\flat}}\left(\mathcal{O}\jmath, \mathfrak{S}\rho \right) > 0 \right\}.$ The mappings $\mathcal{O}$ and $\mathfrak{S}$ form a ${\bf D}_{\mathscr{C}}$-contraction if there exist ${\bf D}\in \Delta$ and a continuous comparison function ${\mathscr{C}}$ such that

for all $\jmath, \rho\in \Im$.

Definition 2.0.24. (^[46]) Let $\mathscr{U}$ be a nonempty set and $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ and $\alpha :{{\mathscr{U}}^{2}}\to \mathbb{R}$ be given mappings. $\mathcal{O}$ is $\alpha$-orbital-admissible provided that the expression given below is true:

for all $\jmath \in \mathscr{U}$.

Definition 2.0.25. (^[35]) Let $\mathscr{U}$ be a nonempty set and $\alpha :{{\mathscr{U}}^{2}}\to \mathbb{R}$ be a given function.

$i.$ $\mathcal{O}$ is an $\alpha$-orbital-admissible mapping;

$ii.$ $\alpha \left(\jmath, \rho \right)\ge 1$ and $\alpha \left(\rho, \mathcal{O}\rho \right)\ge 1\Rightarrow \alpha \left(\jmath, \mathcal{O}\rho \right)\ge 1, \ \jmath, \rho\in \mathscr{U}$.

A mapping $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ that satisfies the above features is named a triangular $\alpha$-orbital-admissible mapping.

Definition 2.0.26. (^[46]) Let $\left(\mathscr{U}, d \right)$ be a complete metric space. The mapping $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ is a Geraghty-type contraction if a function $\mathfrak{P} :\left[0, \infty \right)\to \left[0, 1 \right)$ exists, which ensures the following term:

such that

for all $\jmath, \rho\in \mathscr{U}$. The family of $\mathfrak{P} :\left[0, \infty \right)\to \left[0, 1 \right)$ satisfying (2.7) is represented as ${\bf B}$.

Definition 2.0.27. (^[46]) In a metric space $\left(\mathscr{U}, d \right)$, if the mappings $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ satisfy the below statements for all $\jmath, \rho\in \mathscr{U}$:

where

whenever a function $\mathfrak{P} \in {\bf B}$ exists, then $\mathcal{O}, \mathfrak{S}$ are called Geraghty contractions of type ${{E}_{\mathfrak{S}, \mathcal{O}}}$.

Definition 2.0.28. (^[46]) The set of $\mathfrak{P} :\left[0, \infty \right)\to \left[0, \frac{1}{\varsigma} \right)$ functions fulfilling the constraint $\mathop {\lim }\limits_{n \to \infty } \, \mathfrak{P} \left({{t}_{n}} \right) = \frac{1}{\varsigma}$ for $\varsigma\ge 1$ implies that $\mathop {\lim }\limits_{n \to \infty } \, {{t}_{n}} = 0$ and it is stated as ${{{\bf B} }_{\varsigma}}$.

Definition 2.0.29. (^[46]) Let $\alpha :{{\mathscr{U}}^{2}}\to \mathbb{R}$ be a function in $\left(\mathscr{U}, d \right)$. Provided that the subsequent statement

where

is satisfied for all $\jmath, \rho\in \mathscr{U}$ whenever $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$, then $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ is called an $\alpha$-${{\mathfrak{P} }_{E}}$-Geraghty contraction.

Unless otherwise stated, $i$ and $j$ will be treated as arbitrary positive integers throughout this study.

Definition 2.0.30. (^[46]) Let ${{\alpha }_{i}^{j}}:{{\mathscr{U}}^{2}}\to \mathbb{R}$ be a function in a $\flat$-metric space $\left(\mathscr{U}, \flat \right)$ with the coefficient $\varsigma\ge 1$. $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are two self-mappings which are called ${{\alpha }_{i}^{j}}$-${{\mathfrak{P} }_{{{\hat E}_{\mathfrak{S}, \mathcal{O}}}}}$-Geraghty contractions if a function $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$ exists, which ensures the following expressions:

where

for all $\jmath, \rho\in \mathscr{U}$, and $f\ge 2$ is a constant.

Remark 2.0.31. (^[46])

$i.$ If $\varsigma = 1$, ${{\alpha }_{i}^{j}}\left(\jmath, \rho \right) = 1$ and $i = j = 1$, we obtain the Geraghty contraction of type ${{E}_{\mathfrak{S}, \mathcal{O}}}$.

$ii.$ If $\mathfrak{S} = \mathcal{O}$ and $i = j = 1$, we obtain the $\alpha$-${{\mathfrak{P} }_{E}}$-Geraghty contraction.

Definition 2.0.32. (^[46]) Let ${{\alpha }_{i}^{j}}:{{ \mathscr{U}}^{2}}\to \left[0, \infty \right)$ be a function in a $\flat$-metric space $\left(\mathscr{U}, \flat \right)$ with the coefficient $\varsigma\ge 1$. The mappings $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are called ${{\alpha }_{i}^{j}}$-orbital-admissible if the following circumstances hold:

for all $\jmath \in \mathscr{U}$, where $f\ge 2$ is a constant.

Definition 2.0.33. (^[46]) Let ${{\alpha }_{i}^{j}}:{{\mathscr{U}}^{2}}\to \left[0, \infty \right)$ be a function in a complete $\flat$-metric space $\left(\mathscr{U}, \flat \right)$ with the coefficient $\varsigma\ge 1$. When $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are two self-mappings, the pair $\left(\mathcal{O}, \mathfrak{S} \right)$ is a triangular ${{\alpha }_{i}^{j}}$-orbital-admissible pair if

$i.$ $\mathcal{O}, \mathfrak{S}$ are ${{\alpha }_{i}^{j}}$-orbital-admissible,

$ii.$ ${{\alpha }_{i}^{j}}\left(\jmath, \rho \right)\ge {{\varsigma}^{f}}, {{\alpha }_{i}^{j}}\left(\rho, {{\mathcal{O}}^{i}}\rho \right)\ge {{\varsigma}^{f}}$ and ${{\alpha }_{i}^{j}}\left(\rho, {{\mathfrak{S}}^{j}}\rho \right)\ge {{\varsigma}^{f}}$ imply that ${{\alpha }_{i}^{j}}\left(\jmath, {{\mathcal{O}}^{i}}\rho \right)\ge {{\varsigma}^{f}}$ and ${{\alpha }_{i}^{j}}\left(\jmath, {{\mathfrak{S}}^{j}}\rho \right)\ge {{\varsigma}^{f}}$, where $f\ge 2$ is a constant.

Lemma 2.0.34. (^[46]) Consider that $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are two mappings in a complete $\flat$-metric space $\left(\mathscr{U}, \flat \right)$ with the coefficient $\varsigma\ge 1$. Assume that $\left(\mathcal{O}, \mathfrak{S} \right)$ is a triangular ${{\alpha }_{i}^{j}}$-orbital-admissible pair and an element ${{\jmath}_{0}}$ in $\mathscr{U}$ exists with the property ${{\alpha }_{i}^{j}}\left({{\jmath}_{0}}, {{\mathcal{O}}^{i}}{{\jmath}_{0}} \right)\ge {{\varsigma}^{f}}$. Setup a sequence ${{\left\{ {{\jmath}_{n}} \right\}}_{n\in \mathbb{N}}}$ in $\left(\mathscr{U}, b \right)$ as follows:

where $n = 0, 1, 2, ...$; afterward, for $n, m\in \mathbb{N}\cup \left\{ 0 \right\}$ with $m > n$, ${{\alpha }_{i}^{j}}\left({{\jmath}_{n}}, {{\jmath}_{m}} \right)\ge {{\varsigma}^{f}}$ exists.

3.   Main results

This is the leading part of the study, and it contains a novel definition and a common fixed-point theorem. Furthermore, some relevant results will be presented. Illustrative examples are provided to indicate the accuracy and validity of the findings.

In the course of the study, the set of fixed-points of $\mathcal{O}$ and the set of common fixed-points of $\mathcal{O}$ and $\mathfrak{S}$ will be denoted with the notations $Fix(\mathcal{O})$ and $C_{Fix}(\mathcal{O}, \mathfrak{S})$, respectively.

Definition 3.0.1. Let $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ be a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma\ge 1$ and $\alpha_{i}^{j}:{{\mathscr{U}}^{2}}\to \left[0, \infty \right)$ be a function. The mappings $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are called generalized $\alpha_{i}^{j}$-$\left({\bf D}_{{\mathscr{C}}}\left(\mathfrak{P}_{\hat E}\right)\right)$-contractions if ${\bf D}\in \Delta$ and a continuous comparison function ${\mathscr{C}}$ and $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$ exist such that, for all $\jmath, \rho\in \mathscr{U}$, ${{\alpha }_{i}^{j}}\left(\jmath, \rho \right)\ge {{\varsigma}^{f}}$ and ${{\wp}_{\flat}}\left({{\mathcal{O}}^{i}}\jmath, {{\mathfrak{S}}^{j}}\rho \right) > 0$,

where

and $f\ge 2$ is a constant.

Theorem 3.0.2. Ensure that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$, $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ are two mappings and ${{\alpha }_{i}^{j}}:{{\mathscr{U}}^{2}}\to \left[0, \infty \right)$ is a function. Assume that the subsequent statements are satisfied:

$i.$ $\mathcal{O}, \mathfrak{S}$ are generalized $\alpha_{i}^{j}$-$\left({\bf D}_{{\mathscr{C}}}\left(\mathfrak{P}_{\hat E}\right)\right)$-contractions mappings;

$ii.$ the pair $\left(\mathcal{O}, \mathfrak{S} \right)$ is triangular ${{\alpha }_{i}^{j}}$-orbital-admissible;

$iii.$ ${{\jmath}_{0}}\in \mathscr{U}$ exists, satisfying ${{\alpha }_{i}^{j}}\left({{\jmath}_{0}}, {{\mathcal{O}}^{i}}{{\jmath}_{0}} \right)\ge {{\varsigma}^{f}}$;

$iv.$ one of the below terms is provided:

$iv_{a}.$ ${{\mathcal{O}}^{i}}$ and ${{\mathfrak{S}}^{j}}$ are ${{\wp}_{\flat}}$-continuous,

or

$iv_{b}.$ if $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ is a sequence in $\mathscr{U}$ such that ${{\alpha }_{i}^{j}}\left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right)\ge {{\varsigma}^{f}}$ for each $n\in \mathbb{N}$ and ${{\jmath}_{n}}\to r\in \mathscr{U}$ as $n\to \infty$, then a subsequence $\left\{ {{\jmath}_{{{n}_{k}}}} \right\}$ of $\left\{ {{\jmath}_{n}} \right\}$ exists such that ${{\alpha }_{i}^{j}}\left({{\jmath}_{{{n}_{k}}}}, r \right)\ge {{\varsigma}^{f}}$ for each $k\in \mathbb{N}$;

$v.$ for all $r\in Fix\left({{\mathcal{O}}^{i}}\right)$ or $w\in Fix\left({{\mathfrak{S}}^{j}}\right)$ we have ${{\alpha }_{i}^{j}}\left(r, w \right)\ge {{\varsigma}^{f}}$.

Then, the set of $C_{Fix}(\mathcal{O}, \mathfrak{S})$ consists of a unique element belonging to $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$.

Proof. An initial point ${{\jmath}_{0}}\in \mathscr{U}$ with the property ${{\alpha }_{i}^{j}}\left({{\jmath}_{0}}, {{\mathcal{O}}^{i}}{{\jmath}_{0}} \right)\ge {{\varsigma}^{f}}$ exists from (ⅲ). Consider $\left\{ {{\jmath}_{n}}\right\}_{n\in \mathbb{N}}$ in $\mathscr{U}$, which is constructed as

for each $n \in \mathbb{N}$. Hypothetically, a natural number ${{n}_{0}}$ exists such that ${{\jmath}_{{{n}_{0}}}} = {{\jmath}_{{{n}_{0}}+1}}$. Let ${{\jmath}_{2{{n}_{0}}}} = {{\jmath}_{2{{n}_{0}}+1}}$; then, ${{\jmath}_{2{{n}_{0}}}} = {{\jmath}_{2{{n}_{0}}+1}} = {{\mathfrak{S}}^{j}}{{\jmath}_{2{{n}_{0}}}}$. Hence, $Fix\left({{\mathfrak{S}}^{j}}\right) = \left\{ {{\jmath}_{2{{n}_{0}}}} \right\}$. Suppose that ${{\wp}_{\flat}}\left({{\jmath}_{2{{n}_{0}}+2}}, {{\jmath}_{2{{n}_{0}}+1}} \right) > 0$ and ${{\mathcal{O}}^{i}}{{\jmath}_{2{{n}_{0}}+1}}\ne {{\mathfrak{S}}^{j}}{{\jmath}_{2{{n}_{0}}}}$. According to Lemma 2.0.34, we have

In (3.1), writing $\jmath = o_{2{n_0} + 1}$ and $\rho = o_{2{n_0}}$, we attain

where

Hence, employing the property of ${\mathscr{C}}(\mathfrak{a}) < \mathfrak{a}$, we obtain the following contradictory expression:

In this case, we obtain ${{\wp}_{\flat}}\left({{\jmath}_{2{{n}_{0}}+2}}, {{\jmath}_{2{{n}_{0}}+1}} \right) = 0$, with the property $\left({\bf D}1 \right)$ of the function ${\bf D}$. By $\left({{\wp}_{\flat}}2 \right)$, we have that ${{\wp}_{\flat}}\left({{\jmath}_{2{{n}_{0}}+2}}, {{\jmath}_{2{{n}_{0}}+2}} \right) = {{\wp}_{\flat}}\left({{\jmath}_{2{{n}_{0}}+1}}, {{\jmath}_{2{{n}_{0}}+1}} \right) = 0$, and it yields that

By $\left({{\wp}_{\flat}}1 \right)$, ${{\jmath}_{2{{n}_{0}}+2}} = {{\jmath}_{2{{n}_{0}}+1}}$ and ${{\mathcal{O}}^{i}}{{\jmath}_{2{{n}_{0}}+1}} = {{\jmath}_{2{{n}_{0}}+1}}$. Therefore, ${{\jmath}_{2{{n}_{0}}+1}}$ is a fixed-point of ${{\mathcal{O}}^{i}}$, and then ${{\jmath}_{2{{n}_{0}}}} = {{\jmath}_{2{{n}_{0}}+1}}$ belongs to $C_{Fix}\left({{\mathcal{O}}^{i}}, {{\mathfrak{S}}^{j}}\right)$. For some natural numbers ${{n}_{0}}$, we achieve a similar result for ${{\jmath}_{2{{n}_{0}}}} = {{\jmath}_{2{{n}_{0}}-1}}$. Hereafter, we presume that ${{\jmath}_{n}}\ne {{\jmath}_{n+1}}$ for all $n\in \mathbb{N}$. It is needed to investigate the subsequent two cases:

Case 1: Presume that ${{\jmath}_{2n}}\ne {{\jmath}_{2n-1}}$ for all $n\in \mathbb{N}$. ${{\wp}_{\flat}}\left({{\mathcal{O}}^{i}}{{\jmath}_{2n-1}}, {{\mathfrak{S}}^{j}}{{\jmath}_{2n}} \right) > 0$ and, moreover, ${{\alpha }_{i}^{j}}\left({{\jmath}_{2n-1}}, {{\jmath}_{2n}} \right)\ge {{\varsigma}^{f}}$. Therefore, employing (3.1), we gain

where

If ${{\wp}_{\flat}}\left({{\jmath}_{2n}}, {{\jmath}_{2n+1}} \right)\ge {{\wp}_{\flat}}\left({{\jmath}_{2n-1}}, {{\jmath}_{2n}} \right)$, the following expression is obtained:

Thereby, the inequality given below is obtained:

However, this produces a discrepancy. Accordingly, the following statement must be true:

Case 2: Presume that ${{\jmath}_{2n}}\ne {{\jmath}_{2n+1}}$ for all $n\in \mathbb{N}$. For all $n\in \mathbb{N}$, ${{\wp}_{\flat}}\left({{\mathcal{O}}^{i}}{{\jmath}_{2n}}, {{\mathfrak{S}}^{j}}{{\jmath}_{2n+1}} \right) > 0$ and ${{\alpha }_{i}^{j}}\left({{\jmath}_{2n}}, {{\jmath}_{2n+1}} \right)\ge {{\varsigma}^{f}}$, we procure

where

If ${{\wp}_{\flat}}\left({{\jmath}_{2n+1}}, {{\jmath}_{2n+2}} \right)\ge {{\wp}_{\flat}}\left({{\jmath}_{2n}}, {{\jmath}_{2n+1}} \right)$, the following equation is obtained:

Thus, we conclude that

This indicates a contradiction. Thus, the subsequent situation is provided:

As can be seen from the above two cases, $\left\{ {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right) \right\}_{n\in \mathbb{N}}$ is a non-increasing sequence. Therefore, $L\ge 0$ exists such that $\mathop {\lim }\limits_{n \to \infty } \, {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right) = L$. Suppose that $L > 0$. If the limit is taken on both sides of the subsequent inequality owing to the fact that ${\bf D}$ and ${\mathscr{C}}$ are continuous functions, we gain

where

and

Hence, we attain

which is a contradiction. The same argument is true for ${{\wp}_{\flat}}\left({{\jmath}_{2n}}, {{\jmath}_{2n-1}} \right)$. Therefore,

Because of $\left({{\wp}_{\flat}}2 \right)$, we have that ${{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n}} \right)\le {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right)$ and ${{\wp}_{\flat}}\left({{\jmath}_{n+1}}, {{\jmath}_{n+1}} \right)\le {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right)$; then,

Using Proposition 2.0.11, we write

If we take the limit in the above equation as $n$ tends to infinity, we get

Thus, $\mathop {\lim }\limits_{n \to \infty } \, {{d}_{{{\wp}_{\flat}}}}\left({{\jmath}_{2n}}, {{\jmath}_{2n+1}} \right) = 0$ for all $n\in \mathbb{N}$. Furthermore, we currently possess the subsequent expression for all $n, m\ge 1$:

It is necessary to indicate that the sequence $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ is a $\wp_\flat$-Cauchy sequence in $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$. Instead, it is needed to verify that $\left\{ {{\jmath}_{2n}} \right\}_{n\in \mathbb{N}}$ is a $\wp_\flat$-Cauchy sequence. According to Lemma 2.0.16 (1), it is required to explicitly state that $\left\{ {{\jmath}_{2n}} \right\}_{n\in \mathbb{N}}$ is a Cauchy sequence in $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$. Assume that $\left\{ {{\jmath}_{2n}} \right\}_{n\in \mathbb{N}}$ is not a Cauchy sequence in $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$. In this instance, two subsequences of positive numbers $\left\{ {{\jmath}_{2{{m}_{k}}}} \right\}$ and $\left\{ {{\jmath}_{2{{n}_{k}}}} \right\}$ exist such that $n\left(k \right) > m\left(k \right) > k$ and the number $\varepsilon > 0$, which yield that

and, for $k\in \mathbb{N}$,

Applying $\flat_{3}$, we deduce that

By taking the limit in the above as $k\to \infty$, we write

Also, employing $\flat_{3}$, we gain

again, taking the limit in the above as $k\to \infty$, we get

Moreover, the following statement is derived:

Similarly, if the limit is taken for $k\to \infty$, we obtain

Again, from $\flat_{3}$, it is achievable to produce

Likewise, taking the limit as $k\to \infty$, it is concluded that

From the inequalities (3.4)–(3.7), the subsequent expressions are attained:

Due to Lemma 2.0.18, it is known that ${{\alpha }_{i}^{j}}\left({{\jmath}_{2{{m}_{k}}}}, {{\jmath}_{2{{n}_{k}}-1}} \right)\ge {{\varsigma}^{f}}$ and

where

and, taking the limit in the above as $k\to \infty$, we procure

In light of the results obtained above, using (3.1), we write

Then,

Therefore, from (3.12) and (3.13), we obtain

Similarly,

and

From (3.15) and (3.16), it is obtained that

Because of (3.14) and (3.17), we conclude that

and, in (3.18), it is deduced by using the property of $\mathfrak{P}$ that

This contradiction brings about the sequence $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ as a Cauchy sequence in $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$. The completeness of $\left(\mathscr{U}, {{d}_{{{\wp}_{\flat}}}} \right)$ provides that the sequence $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ converges to $r\in \mathscr{U}$. Thus,

By Lemma 2.0.16, we derive

Then, $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ converges to $r\in \left(\mathscr{U}, {{\wp}_{\flat}} \right)$. Additionally, by $\flat_{3}$, the following expression is evident:

If the limit for $n, m\to \infty$ is taken in the above equation, we have

and $\mathop {\lim }\limits_{n,m \to \infty } \, {{d}_{{{\wp}_{\flat}}}}\left({{\jmath}_{n}}, {{\jmath}_{m}} \right) = 0$. If we consider the fact that $\mathop {\lim }\limits_{n \to \infty } \, {{\wp}_{\flat}}\left({{\jmath}_{n}}, {{\jmath}_{n}} \right) = 0$, and, taking the limit as $n, m\to \infty$ in the following equations, we procure

and

So,

Because of the hypothesis (iv), a subsequence $\left\{ {{\jmath}_{2{n_k}}} \right\}$ of $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ exists such that ${{\alpha }_{i}^{j}}\left({{\jmath}_{2{{n}_{k}}}}, r \right)\ge {{\varsigma}^{f}}$ and

where

In the last equality, by taking the limit as $k\to \infty$, we have

and, using this, we get the following expression:

Further, since $\frac{1}{\varsigma} {{\wp}_{\flat}}\left(r, {{\mathfrak{S}}^{j}}r \right)\le \mathop {\lim }\limits_{k \to \infty } \, \sup {{\wp}_{\flat}}\left({{\jmath}_{2{{n}_{k}}+1}}, {{\mathfrak{S}}^{j}}r \right)$, we attain

Therefore, using the expressions (3.22) and (3.23), we obtain

From here, one can deduce that

Because of (3.21) and (3.24), it is concluded that

In (3.25), due to the property of $\mathfrak{P}$, we obtain that $\mathop {\lim }\limits_{k \to \infty } \, {{\hat E}_{\mathfrak{S}, \mathcal{O}}}\left({{\jmath}_{2{{n}_{k}}}}, r \right) = 0$. Thus, ${{\wp}_{\flat}}\left(r, {{\mathfrak{S}}^{j}}r \right) = 0$. From the axiom $\left({{\wp}_{\flat}}2 \right)$, ${{\wp}_{\flat}}\left(r, r \right)\le {{\wp}_{\flat}}\left(r, {{\mathfrak{S}}^{j}}r \right)$ and ${{\wp}_{\flat}}\left({{\mathfrak{S}}^{j}}r, {{\mathfrak{S}}^{j}}r \right)\le {{\wp}_{\flat}}\left(r, {{\mathfrak{S}}^{j}}r \right).$ Obviously,

Therefore, we get that ${{\wp}_{\flat}}\left(r, r \right) = {{\wp}_{\flat}}\left(r, {{\mathfrak{S}}^{j}}r \right) = {{\wp}_{\flat}}\left({{\mathfrak{S}}^{j}}r, {{S}^{j}}r \right)$. Because of $\left({{\wp}_{\flat}}1 \right)$, $r = {{\mathfrak{S}}^{j}}r$. This also yields that $r$ is the fixed-point of ${{\mathfrak{S}}^{j}}$. In the same way, one can see that ${{\wp}_{\flat}}\left(r, {{\mathcal{O}}^{i}}r \right) = 0$. In this instance, $r$ is the fixed-point of ${{\mathcal{O}}^{i}}$. So, $r$ is the common fixed-point of ${{\mathfrak{S}}^{j}}$ and ${{\mathcal{O}}^{i}}$. Now, to demonstrate the uniqueness of the fixed-point, let ${{\mathfrak{S}}^{j}}$ have another fixed-point, provided that $w\in \mathscr{U}$ satisfies ${{\mathfrak{S}}^{j}}w = w\ne r$. Because of the fifth hypothesis of the theorem, we have that ${{\alpha }_{i}^{j}}\left(r, w \right)\ge {{\varsigma}^{f}}$. By (3.1), we obtain

where

Hence, this indicates that ${\bf D}\left({{\wp}_{\flat}}\left(r, w \right) \right) < {\bf D}\left(\frac{1}{\varsigma} {{\wp}_{\flat}}\left(r, w \right) \right)$. However, this causes a contradiction. So, assuming that ${{\mathfrak{S}}^{j}}$ has a different fixed-point is inaccurate. Thus, $Fix\left({{\mathfrak{S}}^{j}}\right) = \left\{ r\right\}$. With the same method, it turns out that $Fix\left({{\mathcal{O}}^{i}}\right) = \left\{ r\right\}$. Accordingly, $C_{Fix}\left({{\mathfrak{S}}^{j}}, {{\mathcal{O}}^{i}}\right) = \left\{ r\right\}$. Due to the fact that

and

it is obvious to verify that $\mathfrak{S}$ and $\mathcal{O}$ own a unique common fixed-point owing to the uniqueness of the common fixed-point of ${{\mathfrak{S}}^{j}}$ and ${{\mathcal{O}}^{i}}$. □

Example 3.0.3. Assume that $\mathscr{U} = \left[0, 1 \right]$ and ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ is determined as ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\left(\jmath-\rho \right)}^{2}}$. Then, $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma = 2$. ${{\alpha }_{i}^{j}}:{{\mathscr{U}}^{2}}\to \left[0, \infty \right)$ is defined as follows:

with $f\ge 2$. Let $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ be defined by $\mathcal{O}\left(\jmath \right) = \frac{\jmath}{2}$, $\mathfrak{S}\left(\jmath \right) = \frac{\jmath}{4}$ and take $\mathfrak{P} \left(t \right) = \frac{1}{32}, t > 0, \mathfrak{P} \in {{{\bf B} }_{\varsigma}}$. The pair $\left(\mathcal{O}, \mathfrak{S} \right)$ is triangular ${{\alpha }_{i}^{j}}$-orbital-admissible. Define ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$ by ${\bf D}\left(\theta \right) = \theta {{e}^{\theta }}$ for each $\theta > 0$; then, ${\bf D}\in \Delta$. ${\mathscr{C}} :\left(0, \infty \right)\to \left(0, \infty \right)$, which is defined by ${\mathscr{C}} \left(r \right) = \frac{r}{2}$ for all $r\in \left(0, \infty \right)$, is a continuous comparison function. It shall be determined that $\mathcal{O}$ and $\mathfrak{S}$ constitute $\alpha_{i}^{j}$-$\left({\bf D}_{{\mathscr{C}}}\left(\mathfrak{P}_{\hat E}\right)\right)$-contraction mappings. If $f = 2, \ i = 4$ and $j = 2$, then we have that ${{\alpha }_{i}^{j}}\left(\jmath, \rho \right) = 4$. The above choices ensure that

and

Then,

Therefore, (3.1) is achieved; so, $C_{Fix}\left(\mathcal{O}, \mathfrak{S}\right) = \left\{ 0 \right\}$, where $0$ is the unique common fixed-point of $\mathcal{O}$ and $\mathfrak{S}$.

Example 3.0.4. Assume that $\mathscr{U} = \left[0, 1 \right]$ and ${{\wp}_{\flat}}:\mathscr{U} \times \mathscr{U}\to {{\mathbb{R}}^{+}}$ is determined as ${{\wp}_{\flat}}\left(\jmath, \rho \right) = {{\left(\max \left\{ \jmath, \rho \right\} \right)}^{2}}$. Then, $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ is a complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ with the coefficient $\varsigma = 2$. ${{\alpha }_{i}^{j}}:{{\mathscr{U}}^{2}}\to \left[0, \infty \right)$ is defined as follows:

with $f\ge 2$. Let $\mathcal{O}, \mathfrak{S}:\mathscr{U}\to \mathscr{U}$ be respectively defined by $\mathcal{O}\left(\jmath \right) = \frac{\jmath}{16}$, $\mathfrak{S}\left(\jmath \right) = \frac{\jmath}{4}$, and take $\mathfrak{P} \left(t \right) = \frac{1}{256}, \ t > 0, \mathfrak{P} \in {{{\bf B} }_{\varsigma}}$. The pair $\left(\mathcal{O}, \mathfrak{S} \right)$ is triangular ${{\alpha }_{i}^{j}}$-orbital-admissible. Define ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$ by ${\bf D}\left(\vartheta \right) = \vartheta$ for each $\vartheta > 0$; then, ${\bf D}\in \Delta$. ${\mathscr{C}} :\left(0, \infty \right)\to \left(0, \infty \right)$, which is defined by ${\mathscr{C}} \left(\jmath \right) = \frac{\jmath }{16}$ for all $\jmath \in \left(0, \infty \right)$, is a continuous comparison function. Now, it is shown that $\mathcal{O}, \mathfrak{S}$ are $\alpha_{i}^{j}$-$\left({\bf D}_{{\mathscr{C}}}\left(\mathfrak{P}_{\hat E}\right)\right)$-contraction mappings. If $f = 4, i = 2$ and $j = 4$, then we currently have that ${{\alpha }_{i}^{j}}\left(\jmath, \rho \right) = 16$. Based on these, we acquire

and

Thus, we derive that

As a result, (3.1) becomes apparent; then, $C_{Fix}\left(\mathcal{O}, \mathfrak{S}\right) = \left\{ 0 \right\}$.

4.   Consequences

In this section, contemplating our main theorem, we list some conclusions involving an $E$-contraction endowed with various auxiliary functions.

Initially, the subsequent corollary generalizes Theorem 5 in ^[44].

Corollary 4.0.1. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}, \mathfrak{S}$ represent two self-mappings on this space. Presume that ${\mathscr{C}}:\left(0, \infty \right)\to \left(0, \infty \right)$ is a continuous comparison function, ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$, ${\bf D}\in \Delta$, and $\mathfrak{P}:\left[0, \infty \right)\to \left[0, \frac{1}{\varsigma} \right)$, $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$. If the pair $\left(\mathcal{O}, \mathfrak{S} \right)$ provides the following statement:

for all $\jmath, \rho\in \mathscr{U}$, then the set of $C_{Fix}(\mathcal{O}, \mathfrak{S})$ has a unique element.

Proof. Consider that ${{\alpha }_{i}^{j}}\left({\jmath, \rho} \right) = {{\varsigma}^{f}} = 1$ and $i = j = 1$ in Theorem 3.0.2; then, the result is obvious. □

Moreover, by taking $\mathfrak{S} = \mathcal{O}$ in Corollary 4.0.1, we gain the below consequence.

Corollary 4.0.2. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}$ represents a self-mapping on this space. Suppose that ${\mathscr{C}}:\left(0, \infty \right)\to \left(0, \infty \right)$ is a continuous comparison function, ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$, ${\bf D}\in \Delta$, and $\mathfrak{P}:\left[0, \infty \right)\to \left[0, \frac{1}{\varsigma} \right)$, $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$. If $\mathcal{O}$ provides the following statement:

for all $\jmath, \rho\in \mathscr{U}$, then $Fix\left(\mathcal{O}\right)$ consists of a unique element which belongs to $\left(\mathscr{U}, d \right)$.

The following consequence is an analysis of Theorem 2.1 presented by Aydi et al. in ^[45].

Corollary 4.0.3. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$, $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ represents a mapping and $\alpha :\mathscr{U} \times \mathscr{U}\to \left[0, \infty \right)$ is a function. Let ${\mathscr{C}}:\left(0, \infty \right)\to \left(0, \infty \right)$ be a continuous comparison function, ${\bf D}:\left(0, \infty \right)\to \left(0, \infty \right)$, ${\bf D}\in \Delta$, and $\mathfrak{P} :\left[0, \infty \right)\to \left[0, \frac{1}{\varsigma} \right)$, $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$. Presume that $\mathcal{O}$ fulfills the following conditions for ${{\wp}_{\flat}}\left(\mathcal{O}\jmath, \mathcal{O}\rho \right) > 0:$

$i.$ $\alpha \left(\jmath, \rho \right)\ge 1\Rightarrow$ ${\bf D}\left({{\wp}_{\flat}}\left(\mathcal{O}\jmath, \mathcal{O}\rho \right) \right)\le {\mathscr{C}} \left({\bf D}\left(\mathfrak{P} \left({E}_{\mathcal{O}}\left(\jmath, \rho \right) \right) {E}_{\mathcal{O}}\left(\jmath, \rho \right) \right) \right)$ for all $\jmath, \rho\in \mathscr{U}.$

$ii.$ $\mathcal{O}$ is a triangular $\alpha$-orbital-admissible mapping.

$iii.$ ${{\jmath}_{0}}$ exists in $\mathscr{U}$ satisfying $\alpha \left({{\jmath}_{0}}, \mathcal{O}{{\jmath}_{0}} \right)\ge 1$.

$iv.$ $\mathcal{O}$ is ${{\wp}_{\flat}}$-continuous, or, if $\left\{ {{\jmath}_{n}} \right\}_{n\in \mathbb{N}}$ is a sequence in $\mathscr{U}$ such that $\alpha \left({{\jmath}_{n}}, {{\jmath}_{n+1}} \right)\ge 1$ for all $n\in \mathbb{N}$ and ${{\jmath}_{n}}\to \jmath$ as $n\to \infty$, then a subsequence $\left\{ {{\jmath}_{{{n}_{k}}}} \right\}$ of $\left\{ {{\jmath}_{n}} \right\}$ exists such that $\alpha \left({{\jmath}_{{{n}_{k}}}}, \jmath \right)\ge 1$ for all $k\in \mathbb{N}$.

Then, $Fix\left(\mathcal{O}\right)$ consists of a unique element which belongs to $\left(\mathscr{U}, d \right)$.

Proof. By selecting ${{\alpha }_{i}^{j}}\left({\jmath, \rho} \right) \ge \varsigma^f \ge 1$ with $i = j = 1$ and $\mathfrak{S} = \mathcal{O}$ in Theorem 3.0.2, the proof is completed. □

The subsequent conclusion is an enhancement of the Banach fixed-point theorem ^[1] by taking the $E$-contraction into account.

Corollary 4.0.4. Consider that $\left(\mathscr{U}, \wp_\flat \right)$ indicates a ${\wp}_{\flat}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}$ represents a self-mapping. Suppose that, for all $\jmath, \rho \in \mathscr{U}$ and $\hbar \in \left[{0, 1} \right)$, the following statement holds:

Then, $Fix\left(\mathcal{O}\right)$ consists of a unique element which belongs to $\left(\mathscr{U}, d \right)$.

Proof. By taking ${\mathscr{C}}\left(t \right) = \hbar t$ and ${\bf D}\in \Delta$ with ${\bf D}\left(t \right) = t$, as well as $\alpha \left(\jmath, \rho \right) = 1$, and keeping $\mathfrak{P} :\left[0, \infty \right)\to \left[0, \frac{1}{\varsigma} \right)$ in mind, in Corollary 4.0.3, we achieve the desired conclusion. □

Now, we state a new concept.

Definition 4.0.5. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ represents a mapping. Presume that $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$, $\theta \in {\tilde \Theta}$ and $\tau \in \left({0, 1} \right)$ exist such that

for all $\jmath, \rho\in \mathscr{U}$. Thus, $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ is termed as a Geraghty ${\theta _E}$-contraction.

Theorem 4.0.6. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ represents a Geraghty ${\theta _E}$-contraction mapping. Thus, $Fix\left(\mathcal{O}\right)$ consists of a unique element which belongs to $\left(\mathscr{U}, d \right)$.

Proof. It is enough to take in Corollary 4.0.2 ${\mathscr{C}}\left(t \right) = \left({\ln k} \right)t$ and ${\bf D}\in \Delta$ with ${\bf D}\left(t \right) = \ln \theta :\left({0, \infty } \right) \to \left({0, \infty } \right)$; then, the proof is evident. □

On the other hand, we characterize a new notation, which is an extension of ^[39], introduced by Fulga and Proca in 2017.

Definition 4.0.7. Consider that $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ indicates a ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ represents a mapping. If $\mathfrak{P} \in {{{\bf B} }_{\varsigma}}$, $\mathcal{F} \in \mathfrak{F}$ and $\kappa > 0$ exist satisfying the inequality

for all $\jmath, \rho\in \mathscr{U}$, then $\mathcal{O}$ is a Geraghty ${\mathcal{F}_E}$-contraction.

Theorem 4.0.8. Let $\left(\mathscr{U}, {{\wp}_{\flat}} \right)$ be a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\mathcal{O}:\mathscr{U}\to \mathscr{U}$ be a Geraghty ${\mathcal{F}_E}$-contraction. Thus, $\mathcal{O}$ has a unique fixed point.

Proof. By selecting ${\mathscr{C}}\left(t \right) = {e^{ - \kappa }}t$ and ${\bf D}\in \Delta$ with ${\bf D}\left(t \right) = {e^{ \mathcal{F} }} :\left({0, \infty } \right) \to \left({0, \infty } \right)$ in Corollary 4.0.2, we attain the claim. □

5.   An application to homotopy theory

We verify the following theorem, which offers an application of Corollary 4.0.2 to homotopy theory.

Theorem 5.0.1. Let $\left({\mathscr{U}, {{\wp}_{\flat}} } \right)$ be a ${{\wp}_{\flat}}$-complete ${\mathcal{P}}_{\flat}\mathrm{M}\mathcal{S}$ and $\Upsilon, \Lambda$ be open and closed subsets of $\mathscr{U}$, respectively. Presume that $\mathcal{R}:\Lambda \times \left[{0, 1} \right] \to \mathscr{U}$ is an operator ensuring the subsequent statements.

$i.$ $\jmath \ne \mathcal{R}\left({\jmath, \iota } \right)$ for every $\jmath \in \Lambda\backslash \Upsilon$ and $\iota \in \left[{0, 1} \right).$

$ii.$ For all $\jmath, \rho \in \Lambda$ and $\iota, \hbar \in \left[{0, 1} \right)$, we have

where

$iii.$ A function $\psi :\left[{0, 1} \right] \to \mathbb{R}$, which has the continuity property, exists such that

for all $\iota, {\iota ^ * } \in \left[{0, 1} \right)$ and $\forall o \in \Lambda$.

Then, $\mathcal{R}\left({., 0} \right)$ holds a fixed-point $\Leftrightarrow$ $\mathcal{R}\left({., 1} \right)$ holds a fixed-point.

Proof. Define the subsequent set

$\left({ \Rightarrow :} \right)$ Presume that $\mathcal{R}\left({., 0} \right)$ has a fixed-point. Then, $\mathfrak{X}$ is nonempty, which signifies that $0 \in \mathfrak{X}$. Our claim is that $\mathfrak{X}$ is both open and closed in $\left[{0, 1} \right]$. As a result of utilizing the connectedness aspect, we derive $\mathfrak{X} = \left[{0, 1} \right]$. In this case, $\mathcal{R}\left({., 1} \right)$ allows a fixed-point in $\Upsilon$.

Initially, the closedness of $\mathfrak{X}$ in $\left[{0, 1} \right]$ is verified. Assume that $\left\{ {{\iota _n}} \right\}_{n = 1}^\infty \subseteq \mathfrak{X}$ with ${\iota _n} \to \iota \in \left[{0, 1} \right]$ as $n \to \infty$. It is essential to point out that $\iota \in \mathfrak{X}$. For this reason, ${\iota _n} \in \mathfrak{X}$ for $n = 1, 2, 3, \ldots$; ${\jmath_n} \in \Upsilon$ exists with ${\jmath_n} = \mathcal{R}\left({{\jmath_n}, {\iota _n}} \right)$. Also, for $n, m \in \left\{ {1, 2, 3, \ldots } \right\}$, we have

Also, by considering the function ${\mathscr{C}}_x$ with $\hbar \in \left({0, 1} \right)$, from $(b)$, we get

which, by $\left({\bf D}1 \right)$, implies that

So, by using the above inequality and $(iii)$, (5.1) becomes

such that

Then, employing the convergence of ${\left\{ {{\iota _n}} \right\}_{n \in \mathbb{N}}}$ with $n, m \to \infty$, we procure

This confirms that $\left\{ {{\jmath_n}} \right\}$ is a ${{\wp}_{\flat}}$-Cauchy sequence in $\mathscr{U}$. ${{\wp}_{\flat}}$-completeness of $\left({\mathscr{U}, {{\wp}_{\flat}} } \right)$ ensures that ${\jmath^*} \in \Lambda$ exists such that

Moreover,

Likewise, we have

such that

Then, by (5.2), we obtain

By taking the limit as $n \to \infty$ in the above equation, we have that $\mathop {\lim }\limits_{n \to \infty } {{\wp}_{\flat}}\left({{\jmath_n}, \mathcal{R}\left({{\jmath^*}, \iota } \right)} \right) = 0$; hence,

This means that ${\jmath^*} = \mathcal{R}\left({{\jmath^*}, \iota } \right)$. As (ⅰ) is provided, we obtain ${\jmath^*} \in \Upsilon$.

Thus, $\iota \in \mathfrak{X}$ and $\mathfrak{X}$ is closed in $\left[{0, 1} \right].$ Second, the openness of $\mathfrak{X}$ in $\left[{0, 1} \right]$ will be verified. Let ${\iota _0} \in \mathfrak{X}$. Then, ${\jmath_0} \in \Upsilon$ exists with ${\jmath_0} = \mathcal{R}\left({{\jmath_0}, {\iota _0}} \right)$. Because $\Upsilon$ is open, a non-negative $\delta$ exists such that ${B_{{\wp}_{\flat}} }\left({{\jmath_0}, \delta} \right) \subseteq \Upsilon$ in $\mathscr{U}$. Considering that $\varepsilon = \frac{{\varsigma\left({1 - \hbar } \right)}}{{\varsigma + \hbar }}\left({{\wp _\flat }\left({{\jmath_0}, {\jmath_0}} \right) + \delta} \right) > 0$ with $\hbar \in \left[{0, 1} \right)$ and $\varsigma \ge 1$, there exists $\vartheta \left(\varepsilon \right) > 0$ such that $\left| {\psi \left(\iota \right) - \psi\left({{\iota _0}} \right)} \right| < \varepsilon$ for all $\iota \in \left({{\iota _0} - \vartheta \left(\varepsilon \right), {\iota _0} + \vartheta \left(\varepsilon \right)} \right)$ owing to fact of the continuity of $\psi$ on ${\iota _0}.$

Let $\iota \in \left({{\iota _0} - \vartheta \left(\varepsilon \right), {\iota _0} + \vartheta \left(\varepsilon \right)} \right)$; for

we obtain

Furthermore,

which implies that

Finally, taking the above inequalities into account, from (5.3), we gain

and $\mathcal{R}\left({\jmath, \iota } \right) \in \overline {{B_{{\wp}_{\flat}} }\left({{\jmath_0}, \delta} \right)}$. Therefore,

holds for every fixed $\iota \in \left({{\iota _0} - \vartheta \left(\varepsilon \right), {\iota _0} + \vartheta \left(\varepsilon \right)} \right)$. We can now apply Corollary 4.0.2, contemplating the function ${\mathscr{C}}$ as ${\mathscr{C}}_x$; then, $\mathcal{R}\left({., \iota } \right)$ has a fixed-point in $\Lambda$. However, this point belongs to $\Upsilon$, as (ⅰ) is true. Therefore, $\left({{\iota _0} - \vartheta \left(\varepsilon \right), {\iota _0} + \vartheta \left(\varepsilon \right)} \right) \subseteq \mathfrak{X}$, and we induce that $\mathfrak{X}$ is open in $\left[{0, 1}\right].$ □

Acknowledgement

The authors appreciate the anonymous reviewers' recommendations for improving the study.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Conflict of interest

The authors declare that there is no conflict of interest regarding the publication of this paper.