On the driver's stochastic nature in car-following behavior: Modeling and stabilizing based on the V2I environment

1.   Introduction

In 1922, the mathematician Banach ^[1] proved the well-known fixed-point theorem named the Banach contraction principle in the settings of complete metric spaces. He proved that every contraction mapping on a complete metric space has a unique fixed-point. Thereafter, various generalizations and fixed-point results have been proved by many authors and some are recently appeared in ^[2,3,4].

In 2007, Huang and Zhang ^[5] introduced the concept of cone metric spaces by replacing real numbers with a cone in a normed space. They also defined the convergence and Cauchyness concepts of sequences in terms of the interior points of the given cone. Moreover, they proved some important fixed-point theorems and extended the well-known Banach contraction principle to the settings of cone metric spaces where the respective cones are normal and solid. Such a line allows for investigating lots of studies and results in fixed-point theory without assuming the normality property of the underlying cone. The results of Huang and Zhang were generalized by Rezapour and Hamlbarani ^[6] by eliminating the normality assumption of the underlying cone. There are actually lots of generalizations of metric spaces in which the distance function takes values in ordered cones.

Unfortunately, when cones are assumed to be normal and solid, these generalizations become impractical due to the equivalent of the topology induced by a metric and the topology induced by a cone metric. In fact; the equivalent characterizations have been shown by many authors, see for instance ^{[7,8,9,10,11,12,13,14]} and references cited therein. We also mention that Azam and Mehmood ^[15] introduced the notion of tvs-valued cone metric space to present the same notions in more general settings.

In 2006, Bhaskar and Lakshmikantham ^[16] studied the existence and uniqueness of coupled fixed-point theorems for maps with mixed monotonic properties in metric spaces with a partial order. The obtained results were investigated using the assumption of weak contraction type.

In 2009, Lakshmikantham and Ćirić ^[17] introduced more notations of mixed ${g}$-monotone maps and proved coupled coincidence and coupled common fixed-point theorems for such types of contractive maps in the case of partially ordered complete metric spaces. These presented results are a generalization of the results given in ^[16].

In 2011, Janković et al. ^[18] showed that all fixed-point results in cone metric spaces wherein the underlying cone is normal and solid are proper copies of classical results in metric spaces. Therefore, any generalizations of fixed-point from metric space to cone metric space are repeated.

In 2012, Sönmez ^[19,20] defined a partial cone metric space and studied its topological properties. In the same paper, fixed-point results for some contractive types of operators are proved in the generalized complete partial cone metric spaces.

In 2012, Samet et al. ^[21] initially considered the notion of ${\alpha}$-admissible mappings in metric spaces and they gave some examples to elucidate and support the concept. Furthermore, they presented some relevant fixed-point results for such a class of mappings in this space. Subsequently, a number of authors have exploited the concept of ${\alpha}$-admissible contraction types of mappings to study the existence of fixed-points in many generalized spaces.

In 2013, Malhotra et al. ^[22], Jiang and Li ^[23] extended the results of ^[19] and ^[20] to ${\theta}$-complete partial cone metric spaces without using the normality condition of the ordered cones. In all the results listed before, the given Banach space is considered to be with a solid cone.

In 2017, Basile et al. ^[24] defined the notion of semi-interior point as a partial treatment of the non-solidness problem of cones and hence solved many equilibrium and computer problems in this setting.

In 2018, Aleksi´ et al. ^[25] gave a survey on some properties and results of (non)-normal and (non)-solid cones. On the other hand, they showed that any solid cone in a topological vector space can be replaced by a solid and normal cone in a normed space. Consequently, most of the problems in (TVS) cone metric spaces can be reduced to their standard metric counterparts.

In 2019, Mehmood et al. ^[26] defined a new concept of convergence by means of semi-interior points of the positive cone in the settings of $E$-metric spaces. The authors proved some generalizations of fixed point theorem of contraction, Kannan and Chatterjea types of mappings in the context of $E$-metric spaces where the underlying positive cone of a real normed space $E$ is non-solid and possibly non-normal.

After that, Huang et al. ^[27] explored some topological properties and fixed point results in cone metric spaces over Banach algebras. Also, Huang ^[28] gave some fixed points theorems with some applications in $E$-metric spaces using the concept of semi-interior points.

In 2020, 2021 and 2022 Sahar Mohamed Ali Abou Bakr ^{[29,30,31,32]} studied various types of cone metric spaces and made some generalizations in the case of $b$-cone metric spaces, cone metric spaces, $\theta$-cone metric spaces and $b$-cone metric spaces and applied these generalizations to some fixed-point and coupled fixed-point theorems.

In 2022 Sahar Mohamed Ali Abou Bakr ^[33] considered non-normal and non-solid cones and proved more generalized fixed-point theorems in the case of generalized $b$-cone metric spaces over Banach algebras.

Motivated by the preceding studies, most of our efforts in this research are directed to study the topological structure of partially satisfactory cone metric spaces when cones in normed spaces fail to have interior points but have semi-interior points and the cones possibly non-normal. As a sequel, in the settings of partial satisfactory cone metric spaces, we generalize many concepts of ${\alpha}$-admissible types of mappings and define improved wider categories of these generalized functions of ${\alpha}$-admissibility types. Since the class of ${\alpha}$-admissible mappings are a special case of these improvements, we find results valid to a wider range of contraction classes of mappings. Further, we investigate a new aspect of fixed-point theory where the real contraction constant of the fundamental contraction inequality is replaced by a suitable control sequence of positive real numbers backed by a certain condition to make the generalized inequality more general. Besides that, we will stick to looking for coincidence points, coupled coincidence points, coupled fixed-point and fixed-points of the contraction mapping in a small set of points rather than the whole domain of the mapping. In fact; we precisely combine all of the above trends in our obtained main results.

2.   Basic definitions and mathematical preliminaries

For the sake of simplicity in notation, here and in what follows, let $E$ be a real Banach space, ${\theta}$ be the zero vector in ${E}$, ${C}$ be a cone in ${E}$, ${ \text{Int} \; C }$ denotes the set of all interior points of ${C}$, ${U: = \left\{ x\in E:\left\| x \right\| \leq 1 \right\}}$ denotes the closed unit ball of ${E}$ and the set $U_{+}: = U\cap C$ denotes the positive part of the unit ball of ${E}$ defined by ${C}$.

Whenever misunderstandings might occur, we write ${{U}_{}^{E}}$ to confirm that ${{U}_{}^{E}}$ is the closed unit ball in the space ${E}$ and we denote by ${{U}_{+}^{E}, }$ the positive part of ${{U}_{}^{E} }$.

Any cone ${C\subset E }$ defines the following partial ordered relations:

and

The following basic definitions and facts are mostly presented in ^{[5,6,7,8,9,10,12,13,14,15,19,20,22,23,24,29,30,31,32,33,34]}.

Definition 2.1. A cone ${C}$ of a real Banach space ${E}$ is solid if and only if ${{Int} \; C \neq \emptyset}$ and it is normal if and only if there exists a real number ${M > 0}$ such that $\| x \|\le M \| y \|$ for every $x, y\in E$ with $\theta\preceq x\preceq y$. The smallest positive constant ${M}$ for which the above inequality holds is called the normal constant of ${C}$.

Lemma 2.2. Let $C$ be a solid cone of the normed space $\left (E, \left \|. \right \| \right)$ and $\left \{ u_{n} \right \}_{n \in \mathbb{N}}$ be a sequence in $E$. Then, $u_{n} \overset{\left \|. \right \|}{\rightarrow }\theta$ implies that for each $c \in \mathit{\text{Int}} \; C,$ there exists a positive integer $n_{0}$ such that $u_{n} \ll c$ for all $n\geq n_{0}.$

Definition 2.3. A partial cone metric on a non-empty set $X$ is a mapping ${p:X\times X\to C}$ such that for all $x, y, z \in X$, the following conditions are satisfied:

${(\mathrm{PCM}_{1}): \theta\preceq p\left(x, x \right)\preceq p\left(x, y \right); }$

${(\mathrm{PCM}_{2}): \text{If}\; p\left(x, x \right) = p\left(x, y \right) = p\left(y, y \right) }$, then $x = y;$

${(\mathrm{PCM}_{3}): p\left(x, y \right) = p\left(y, x \right); }$

${(\mathrm{PCM}_{4}): p\left(x, y \right)\preceq p\left(x, z \right)+p\left(z, y \right)-p\left(z, z \right). }$

The quadruple ${\left(X, E, C, p \right)}$ in this case is said to be partial cone metric space.

Theorem 2.4. Any partial cone metric space $\left (X, E, C, p \right)$ is a topological space. If $C$ is a normal cone, then $\left (X, E, C, p \right)$ is $T_{0}-$space.

Definition 2.5. Let ${\left(X, E, C, p \right)}$ be a partial cone metric space over a solid cone ${C}$ and ${ \left\{ x_{n} \right\} _{n \in \mathbb{N} } }$ be a sequence in $X$. Then, we have the following:

(1) ${ \left\{ x_{n} \right\} _{n \in \mathbb{N} } }$ converges to ${x\in X}$ if and only if for each ${c \gg \theta, }$ there exists a positive integer ${{n}_{0}}$ such that ${p\left({x}_{n}, x \right)\ll p\left(x, x \right)+c}$ for all ${n\geq {n}_{0}}$. This type of convergence denoted by ${{x}_{n} \overset{{\tau}_{p}}{\rightarrow } x}$.

(2) ${ \left\{ x_{n} \right\} _{n \in \mathbb{N} } }$ strongly converges to $x\in X,$ if $\lim_{n \to \infty } p ({x}_{n}, x) = \lim_{n \to \infty } p ({x}_{n}, {x}_{n}) = p (x, x)$, the limit is taken with respect to the norm $\left \|. \right \|$ on $E$. This type of convergence denoted by $x_{n} \overset{s-{\tau}_{p}}{\rightarrow } x$.

(3) ${ \left\{ x_{n} \right\} _{n \in \mathbb{N} } }$ is a ${\theta}$-Cauchy if and only if for each ${c \gg \theta }$, there exists a positive integer ${{n}_{0}}$ such that ${p\left({x}_{n}, {x}_{m}\right)\ll c}$ for all ${n, m\geq {n}_{0}}$.

(4) The partial cone metric space ${\left(X, E, C, p \right)}$ is a ${\theta}$-complete, if each ${\theta}$-Cauchy sequence ${{\left\{ {x}_{n} \right\}_{n \in \mathbb{N}}}}$ of $X$ converges to some point ${x\in X}$ with ${p\left(x, x \right) = \theta}$.

(5) ${ \left\{ x_{n} \right\} _{n \in \mathbb{N} } }$ is Cauchy, if there exists $u \in C$ such that $\lim _{n \to \infty }p\left (x_{n}, x_{m} \right) = u$.

(6) The partial cone metric space $\left (X, E, C, p \right)$ is complete if and only if every Cauchy sequence $\{ x_{n} \}_{n \in \mathbb{N}}$ of $X$ strongly converges to some point $x \in X$ with $p\left (x, x \right) = u$.

Remark 2.6. Every complete partial cone metric space $\left (X, E, C, p \right)$ is ${\theta}$-complete, but the converse is not generally true. In fact; example $\left (3 \right)$ in ^[32] is an example of ${\theta}$-complete partial cone metric space with a Cauchy sequence which is not strongly convergent to any element in $X$. Consequently, it represents an example of ${\theta}$-complete partial cone metric space which is not complete.

Now, we recall a class of cones in an ordered normed spaces $\left (E, \left \|. \right \| \right)$ defined by means of points in $C,$ cones with semi-interior points, that are weaker than the one of interior points of $C.$ The concept of semi-interior point of cone $C$ and some of its characteristics can be found in ^[24,28].

Definition 2.7. The vector ${{x}_{0}\in C}$ is called semi-interior point of ${C}$ if there exists a positive real number ${\rho > 0}$ such that ${{x}_{0}-\rho{U}_{+}\subseteq C}$.

The set of semi-interior points of ${C}$ is generally denoted by ${C^{\ominus }}$. The partial ordered relation $\lll$ can be defined for $x, y \in E$ as follows:

In particular; we have

Remark 2.8. $\left (1 \right)$ We have the following relations:

(a) ${{C}^{\ominus }+{C}^{\ominus }\subset {C}^{\ominus }.}$

(b) ${{C}^{\ominus }+C \subset {C}^{\ominus}.}$

(c) ${\alpha C^{\ominus }\subset C^{\ominus }}$ for any real number ${\alpha > 0}$.

$\left (2 \right)$ Any interior point of a cone ${C}$ is a semi-interior point of $C$ with respect to the norm $\left \|. \right \|$ on $E$, while the converse is not true. Some examples of non-solid cones in normed and Banach spaces having some semi-interior points can be found in ^[24].

By the help of example (2.5) in ^[24], we rebuild an illustrative example to support definition (2.7) in the following way:

Example 2.9. Let $X_{n}: = \left({\mathbb{R}}_{}^{2}, {\left\|. \right\| }_{n} \right)$ be the Banach space ${{\mathbb{R}}_{}^{2}}$ ordered by the point-wise ordering and equipped with the norm ${{\left\|. \right\|}_{n}}$ defined by the following formula:

Figure 1 sketches the closed unit ball of $X_{n}$ whose vertices are the points $\left(1, 0 \right)$, $\left(0, 1 \right)$, $\left(-n, n \right)$, $\left(-1, 0 \right)$, $\left(0, -1 \right)$ and $\left(n, -n \right)$.

Let ${\beta = {\left\{ {\beta}_{n} \right\}}_{n\in \mathbb{N}}}$ be any sequence of positive numbers, ${ {\beta}_{n} > 0}$ for all $n \in \mathbb{N}$. Denote by $E: = {\left(\bigoplus_{n\in \mathbb{N}}{X}_{n} \right)}_{\ell_{\infty }\left(\beta \right)}$, the linear space of all sequences defined by:

Endow the space $E: = {\left(\bigoplus_{n\in \mathbb{N}}{X}_{n} \right)}_{\ell_{\infty }\left(\beta \right)}$ with the following norm:

Assume that the space ${E}$ is ordered by the cone

Choose in particular the weighted sequence ${\beta = {\left\{ \frac{1}{{n}}\right\}}_{n\in\mathbb{N} }}$ and let ${x = {\left\{ \left(n, n\right) \right\}}_{n\in \mathbb{N}}}$. Since ${\left\| x \right\|}_{ \ell _{\infty }\left(\{\frac{1}{n}\}_{n\in \mathbb{N}} \right)} = {\sup}_{n\in \mathbb{N}}\left\{2n \cdot\ \frac{1}{{ n}}\right\} = 2 < \infty$, we see that $x \in C$ is not an interior point of $C$.

Now, take any ${y = {\left\{ {\left({y}_{1}^{n}, {y}_{2}^{n} \right)} \right\}}_{n\in \mathbb{N}}\in {U}_{+}^{E}.}$ Then, we have

Clearly, ${x-y = {\left \{ \left(n-{y}_{1}^{n}, n-{y}_{2}^{n} \right)\right\}}_{n\in \mathbb{N}}.}$ It is easy to check that

Similarly, we have ${n-{y}_{2}^{n}\ge 0\; {for\; all}\; n\in \mathbb{N}.}$ Thus, we find a real number ${\rho = 1 > 0}$ such that ${x-y\in C \; {for \;all} }$ ${y\in {U}_{+}^{E}}$. Therefore, ${x = {\left\{ \left(n, n \right) \right\}}_{n\in \mathbb{N}}\in {C}_{}^{\ominus }.}$

Depending on Huaping Huang results ^[28] in 2019, the following results are based on the assumption that the cone $C$ has a semi-interior points.

Definition 2.10. A sequence ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ in ${C}$ is called ${s}$-sequence, if for each ${c\in C^{\ominus }}$, there exists ${{n}_{0}\in \mathbb{N}}$ such that ${{x}_{n}\lll c}$ for all ${n\geq {n}_{0}.}$

Lemma 2.11. Let ${\left\{ {x}_{n} \right\}_{n \in \mathbb{N}}}$ be a sequence in $E$ and $x_{n}\rightarrow \theta$ as $n \to \infty$. Then, ${\left\{ {x}_{n} \right\}_{n \in \mathbb{N}}}$ is $s-$sequence.

Proposition 2.12. Let $x, y, z \in E.$ Then, ${x\lll z}$ if one of the following holds:

Proposition 2.13. If $\theta\preceq u \lll c$ holds for any $c\in C^{\ominus }$, then $u = \theta$.

Proposition 2.14. Let ${\left(X, E, C, p \right)}$ be a partial cone metric space. Then, some topology ${{\tau}_{p}}$ is generated on ${X}$ and defined by:

The base of this topology is given by ${\beta_{p} = \left\{ {B}_{p}\left(x, c \right):\left (x, c \right)\in X \times C^{\ominus } \right\}}$, where the set ${B}_{p}\left(x, c \right): = \left\{ y\in X:p\left(x, y \right) \lll c+ p\left(x, x \right) \right\}$ is the neighborhood of $x$ with radius ${c}$.

In the following, redefined versions of the convergent and Cauchy sequences in our space are given by exchanging roles of ${\lll }$ and ${\ll }$. Therefore, the new definitions are controlled by ${C^{\ominus}}$ instead of $\text{Int} \; C$.

Definition 2.15. Let ${\left(X, E, C, p \right)}$ be a partial cone metric space, $x \in X$ and ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ be a sequence in ${X.}$ Then,

${(1)}$ ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ is convergent to ${x}$, we denote this by ${x_{n}\overset{\tau _{p}}{\rightarrow }x}$, whenever for every ${c\in E}$ with $c\ggg\theta,$ there is ${{n}_{0}\in \mathbb{N}}$ such that ${p\left({x}_{n}, x \right)\lll p\left(x, x \right)+c}$ for all ${n\geq {n}_{0}.}$

${(2)}$ ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ is strongly convergent to ${x}$, we denote this by ${x_{n}\overset{s-\tau _{p}}{\rightarrow }x}$, if $\lim_{n \to \infty } p\left({x}_{n}, x \right) = \lim_{n \to \infty } p\left({x}_{n}, {x}_{n} \right) = p\left(x, x \right).$

${(3)}$ ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy whenever for every ${c\in E}$ with $c\ggg\theta,$ there is ${{n}_{0}\in \mathbb{N}}$ such that ${ p\left({x}_{n}, {x}_{m} \right)\lll c}$ for all ${n, m\ge{n}_{0}.}$ That is; a sequence ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy if and only if ${\left \| p\left (x_{n}, x_{m} \right) \right \|\rightarrow \theta}$ ${ {as}\; n, m\rightarrow \infty.}$

${(4)}$ The partial cone metric space $\left(X, E, C, p \right)$ is said to be ${\theta}$-complete, if each ${\theta}$-Cauchy sequence ${\left \{x_{n} \right \}_{n\in \mathbb{N}}}$ of ${X}$ converges to ${x}$ in $X$ such that ${p\left (x, x \right) = \theta.}$

${(5)}$ ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ is Cauchy, if there is ${u\in C}$ such that ${\lim _{n, m \to \infty }p\left (x_{n}, x_{m} \right) = u.}$

${(6)}$ The partial cone metric space ${\left(X, E, C, p \right)}$ is complete, if each Cauchy sequence ${{\left\{ {x}_{n} \right\}}_{n\in \mathbb{N}}}$ in ${X}$ is strongly convergent to ${x\in X}$ such that ${p\left (x, x \right) = u.}$

Remark 2.16. $\left (1 \right)$ A sequence ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy if and only if ${\left \{ p\left (x_{m}, x_{n} \right) \right \}_{m, n\in \mathbb{N}}}$ is ${s}$-sequence in ${E}$.

$\left (2 \right)$ For $s-$sequence which is not convergent, one can see example $\left (2 \right)$ in ^[23].

$\left (3 \right)$ Each strongly convergent sequence of a partial cone metric space ${\left (X, E, C, p \right)}$ is convergent with respect to $\tau _{p}.$ However, the converse of this fact need not hold. In particular; the converse is true if ${C}$ is a normal cone. In fact; example $\left (3 \right)$ in ^[23] showed the existence of some sequences of a partial cone metric space which are convergent, but not strongly convergent if the cone $C$ is non-normal.

Now, we are going to highlight two new classes of cones in normed spaces, namely; semi-solid cones and satisfactory cones. These classes will play a key role in our results and enable moving the roles from interior points to semi-interior points of cones.

Definition 2.17. A cone ${C}$ in the normed space ${E}$ is called semi-solid if and only if it has a non-empty set of semi-interior points, ${C}_{}^{\ominus } \ne \emptyset,$ and it is called a satisfactory cone if and only if cone ${C}$ satisfies any one of the following:

${(1)}$ $C$ is normal and solid,

${(2)}$ $C$ is not-normal and solid,

${(3)}$ $C$ is normal and semi-solid,

${(4)}$ $C$ is not-normal and semi-solid.

A partial cone metric space ${\left(X, E, C, p \right)}$ is said to be a partial satisfactory cone metric space if and only if the cone $C$ is satisfactory.

With this notion, the above-mentioned conclusions are still working with non-normal semi-solid cones and hence generally for partial (satisfactory) cone metric spaces. Particularly, the following remark is a direct consequence of Lemma (2.11) and part ${\left (3 \right)}$ of Definition (2.15).

Remark 2.18. Let ${\left (X, E, C, p \right)}$ be a partial (satisfactory) cone metric space. Then,

${(1)}$ A complete partial (satisfactory) cone metric space is a subcategory of a ${\theta}$-complete partial (satisfactory) cone metric space. In particular; if $C$ is a normal cone of the normed space $\left (E, \left \|. \right \| \right)$, then every $\theta-$Cauchy sequence in $\left (X, E, C, p \right)$ is a Cauchy sequence and every complete partial (satisfactory) cone metric space is $\theta-$complete.

${(2)}$ If ${\left \{ y_{n} \right \}_{n\in \mathbb{N}}}$ is ${s}$-sequence in ${E}$ satisfying ${p\left (x_{n}, x_{m} \right)\preceq y_{n}}$ for all ${m, n\in \mathbb{N}}$ ${\; {with}\; m > n},$ then ${\left \{ x_{n}\right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy sequence in ${X.}$

${(3)}$ If ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ is a sequence in ${X, }$ ${\left \{ \alpha_{n} \right \}_{n\in \mathbb{N}}}$ is a sequence in ${E}$ that converges to ${\theta}$ and satisfying ${p\left (x_{n}, x_{m} \right)\preceq \alpha _{n}\; {for \;all}\; m, n\in \mathbb{N}\; {with}\; m > n, }$ then ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy sequence.

${(4)}$ The limit of a convergent sequence in a partial (satisfactory) cone metric space may not be unique. In fact; the partial (satisfactory) cone metric space $\left (X, E, C, p \right)$ need not be $T_{1}-$space. Actually, Example $\left (3.1 \right)$ in ^[35] and Examples $\left (3 \right),$ $\left (11 \right)$ in ^[32] showed that the limit of convergent sequence in $\left (X, E, C, p \right)$ is not necessarily unique.

${(5)}$ The partial (satisfactory) cone metric ${p}$ is not always continuous mapping, in the sense of ${{x}_{n} \overset{{\tau}_{p}}{\rightarrow } x}$ and ${{y}_{n} \overset{{\tau}_{p}}{\rightarrow } y}$ imply that ${p\left({x}_{n}, {y}_{n} \right)\overset{\left \|. \right \|}{\rightarrow }p\left(x, y \right)}$. In other words; the fact that ${p\left({x}_{n}, {y}_{n} \right)\overset{\left \|. \right \|}{\rightarrow }p\left(x, y \right)}$ if ${{x}_{n} \overset{{\tau}_{p}}{\rightarrow } x}$ and ${{y}_{n} \overset{{\tau}_{p}}{\rightarrow } y}$, is not guaranteed. See example $\left (11 \right)$ in ^[32].

Now, we are going to display the concept of ${\alpha}$-admissible mappings defined by Samet ^[21] and review the essential definition of generalized ${\alpha}$-admissible mappings given by Zhu ^[36].

Definition 2.19. Let ${X}$ be a non-empty set, ${\alpha :X \times X\rightarrow \left [0, \infty \right)}$ be a mapping and ${S, T:X\rightarrow X}$ be two self-mappings. Then,

(1) ${T}$ is said to be an ${\alpha}$-admissible, if for every $x, y \in X$,

(2) ${S}$ and ${T}$ are called generalized ${\alpha}$-admissible, if for every ${x, y \in X}$,

Before starting the core results, we need to recall some standard terminology from fixed-point theory.

Definition 2.20. ^[37] Let ${X}$ be a non-empty set and ${T, S:X\rightarrow X}$ be mappings such that ${TX\subseteq SX.}$ If ${v = Tu = Su}$ for some ${u\in X}$, then ${u}$ is a coincidence point of ${T}$ and ${S}$, and ${v}$ is a point of coincidence of ${T}$ and ${S}$. Furthermore, if ${Tv = Sv = v}$, then ${v}$ is a common fixed-point of ${T}$ and ${S}$. Finally, if ${TSw = STw}$, whenever ${Tw = Sw}$ for some ${w\in X}$, then ${T}$ and ${S}$ are said to be weakly compatible. That is; if they commute at their coincidence points.

For simplicity, we use the notation ${\Lambda}$ to denote the set of coincidence points of ${T}$ and ${S.}$

Proposition 2.21. ^[37] Let ${T}$ and ${S}$ be coincidentally commuting self-mappings on a set ${X}$. If ${T}$ and ${S}$ have a unique point of coincidence ${w = Tx = Sx, }$ then ${w}$ is the unique common fixed-point of ${T}$ and ${S}$.

We need to consider the followings which will be effectively used in the proof of our next main results.

Definition 2.22. ^[16] Let ${\left (X, \leqslant \right)}$ be an ordered set and ${T: X \times X\rightarrow X}$. Then, ${T}$ is said to have the mixed monotone property in ${X},$ if for any ${x, y \in X, }$

Definition 2.23. ^[16] An element ${\left (x, y \right)\in X \times X}$ is said to be a coupled fixed-point of the mapping ${T:X \times X\rightarrow X, }$ if ${T\left (x, y \right) = x}$ and ${T\left (y, x \right) = y.}$

Definition 2.24. ^[17] Let ${T: X \times X\rightarrow X}$ and ${S:X\rightarrow X }$ be two mappings. An element ${\left (x, y \right) \in X \times X}$ is called a coupled coincidence point of the mappings ${T}$ and ${S, }$ if ${T\left (x, y \right) = Sx \; \text{and}\; T\left (y, x \right) = Sy, }$ and ${\left (Sx, Sy \right)}$ is called coupled point of coincidence.

Definition 2.25. ^[17] Let ${\left (X, \leqslant \right)}$ be a partially ordered set, ${T: X \times X \rightarrow X}$ and ${S:X \rightarrow X}$ be two mappings. Then, ${T}$ is said to have the mixed ${S}$-monotone property, if ${T}$ is monotone ${S}$-non-decreasing in its first argument and is monotone ${S}$-non-increasing in its second argument. That is; for any ${x, y \in X}$

The following definitions are part of the main topics in our work.

Remark 2.26. Suppose that $\left (X, \leqslant \right)$ is a partially ordered set and let ${\left (X, E, C, p \right)}$ be a partial (satisfactory) cone metric space. Then, a partial ordered relation ${\leqslant }$ on ${X}$ can be induced on ${X \times X}$ in the following way: for every $\left (x, y \right)\; {and}\; \left (u, v \right)\in X \times X$,

The element ${\left (x, y \right)}$ is said to be comparable to ${\left (u, v \right), }$ if either ${\left (x, y \right)\lesssim \left (u, v \right), }$ or ${\left (x, y \right)\gtrsim \left (u, v \right)}$ and the sequence ${\left \{ \left (x_{n}, y_{n} \right) \right \}_{n \in \mathbb{N}} \subset X \times X}$ is non-decreasing with respect to ${\lesssim },$ if $\left (x_{n}, y_{n}\right)\lesssim \left (x_{n+1}, y_{n+1}\right) \; { for\; all}\; n.$

Definition 2.27. Let $\left (X, E, C, p \right)$ be a $\theta-$complete partial (satisfactory) cone metric space ordered with the relation $\leqslant$. Then, ${\left (X, E, C, p, \leqslant \right)}$ is said to be regular, if ${X}$ has the following properties:

${(1)}$ If for every non-decreasing sequence ${\left \{ x_{n} \right \}}$ in ${X}$ such that ${x_{n}\overset{\tau _{p}}{\rightarrow }x, }$ then ${x_{n}\leqslant x \; \text{for all}\; n.}$

${(2)}$ If for every non-increasing sequence ${\left \{ y_{n} \right \}}$ in ${X}$ such that ${y_{n}\overset{\tau _{p}}{\rightarrow }y, }$ then ${y_{n}\geqslant y \; \text{for all}\; n.}$

Definition 2.28. ^[38] Let ${T:X \times X\rightarrow X}$ and ${\alpha :X^{2}\times X^{2} \rightarrow \left [0, \infty \right)}$ be given mappings. Then, ${T}$ is said to be an ${\alpha}$-admissible mapping, if for all $\left (x, y \right), \left (u, v \right)\in X \times X$, the following is satisfied

Definition 2.29. ^[39] Let ${T:X \times X\rightarrow X, S: X\rightarrow X}$ and ${\alpha :X^{2}\times X^{2} \rightarrow \left [0, \infty \right)}$ be mappings. Then, $T$ and $S$ are said to be $\alpha-$admissible, if

for all $x, y, u, v \in X.$

3.   Main results: Generalized classes of admissible mappings

Let $T: X \rightarrow X$ be a given self-mapping. The set of all fixed-points of the mapping $T$ is denoted by $\text{Fix}\left (T \right) = \left \{ x \in X:Tx = x \right \}.$

Lemma 3.1. Every contraction mapping on a metric space ${\left (X, d \right)}$ is an ${\alpha}$-admissible mapping for some mapping ${\alpha: X \times X\rightarrow \left [0, \infty \right)}$. However, not every ${\alpha}$-admissible mapping is a contraction mapping.

Proof. Let ${T}$ be a contraction mapping on a metric space ${\left (X, d \right).}$ Then, there exists a constant ${k\in \left (0, 1 \right)}$ such that $d\left (Tx, Ty \right)\leq k d\left (x, y \right)$ for every $x, y \in X$. Consider the mapping ${\alpha :X \times X\rightarrow \left [0, \infty \right)}$ be defined by

Then, ${T}$ is an ${\alpha}$-admissible mapping. More exactly, we need here to think over two situations as follows:

${\text{Case}\left (1 \right):\; }$ For any ${x \neq y }$ in ${ X}$, we have $\frac{1}{k}\frac{1}{d\left (x, y \right)}\leq \frac{1}{d\left (Tx, Ty \right)}$. This implies $\alpha \left (x, y \right)\leq k \alpha \left (Tx, Ty \right)$. Since ${ 0 < k < 1}$, then we have ${ \alpha \left (x, y \right) < \alpha \left (Tx, Ty \right)}$. It is fairly simple to see that $\alpha \left (Tx, Ty \right)\geq 1$ whenever $\alpha \left (x, y \right)\geq 1$.

${\text{Case}\left (2\right):\; }$ Otherwise, we know that $x = y\; \; \text{implies}\; \; d\left (x, y \right) = 0.$ Imposing that ${T}$ is a contraction mapping on ${X, }$ it yields ${d\left (Tx, Ty \right) = 0}$ and so $Tx = Ty$. Eventually, the conclusion that $\alpha (Tx, Ty) = \alpha (x, y) = 1$ is valid for $x = y$. In both cases, the contraction mapping $T$ is an $\alpha-$admissible mapping, but not conversely in general.

We demonstrate that the converse of Lemma (3.1) is not true as in the following example.

Example 3.2. Let $X$ be the metric space $([0, \infty), d)$ with the absolute value metric function ${d\left (x, y \right) = \left | x-y \right |}$ for all $x, y \in [0, \infty)$. Let ${T:X\rightarrow X }$ ${\; {and}\; \alpha :X \times X\rightarrow \left [0, \infty \right)}$ be defined by

Then, ${T}$ is an ${\alpha}$-admissible mapping, but it is not contraction because $T$ has two fixed-points on the given complete metric space, ${{Fix}\left (T \right) = \left \{ 0, 1 \right \}}$.

Remark 3.3. By virtue of Lemma (3.1) and Example (3.2), we can understand that the class of $\alpha-$admissible mappings is effectively more generalized than the class of contraction mappings.

In the sequel, we will continue to modify the concept of ${\alpha}$-admissible operators by generalizing a new function class of such mappings in more general conditions.

We state Definition (3.4) in the line of Definition (2.19) as follows:

Definition 3.4. Let ${\left (X, E, C, p \right)}$ be a partial (satisfactory) cone metric space and ${C}$ be a cone of a normed space ${\left (E, \left \|. \right \| \right)}$. In a non-empty set ${X}$, define ${T: X\rightarrow X}$ and ${\alpha :X \times X\rightarrow C }$. Assume that $c \; {runs\; through}\; C-\left \{ \theta \right \}$. Then,

${(1)}$ $T$ is said to be $\alpha-c-$admissible mapping if and only if

${(2)}$ $(X, E, C, p)$ is $\alpha-c-$regular, if for any sequence $\{ x_{n} \}_{n \in \mathbb{N}}$ in ${X}$ such that $\alpha (x_{n}, x_{n+1})\succeq c$ for all $n \in \mathbb{N}$ and $x_{n} \overset{\tau _{p}}{\rightarrow } x^{\ast } \in X$, we have $\alpha (x_{n}, x^{\ast })\succeq c$ for sufficiently large ${n }$.

Inspired by Definition (3.4), we went further, defining a new class of $\alpha-$admissible mappings which is different from and stronger than the one introduced in Definition (3.4). The refinement version of these mappings will be crucial in our main results.

Definition 3.5. Let ${\left (X, E, C, p \right)}$ be a partial (satisfactory) cone metric space and ${C}$ be a cone of a normed space ${\left (E, \left \|. \right \| \right)}$. In a non-empty set ${X}$, define ${T: X\rightarrow X}$ and ${\alpha :X \times X\rightarrow C }$. Assume that $\{c_{n}\}_{n \in \mathbb{N}}$ be a non-zero sequence in $C$. Then,

${(1)}$ $T$ is said to be $\alpha-$sequentially admissible mapping if and only if

${(2)}$ $(X, E, C, p)$ is said to be $\alpha-$sequentially regular, if for any sequence $\{ x_{n} \}_{n \in \mathbb{N}}$ in ${X}$ such that $\alpha (x_{n}, x_{n+1})\succeq c_{n+1}$ for all $n \in \mathbb{N}$ and $x_{n} \overset{\tau _{p}}{\rightarrow } x^{\ast } \in X$, we have $\alpha (x_{n}, x^{\ast })\succeq c_{n+1}$ for sufficiently large ${n }$.

Remark 3.6. ${(1)}$ Note that the class of all $\alpha-$admissible operators described in Definition (2.19), is included in two classes of all $\alpha-c-$admissible and $\alpha-$sequentially admissible operators. Indeed; in Definition (3.4), let $\left (E, \left \|. \right \| \right): = (\mathbb{R}, |. |),$ where the normed space ${E}$ is endowed with the usual ordering of real numbers $\leq$ and ordered by the cone $C: = [0, \infty)$. Further, if $c = 1$, then $T$ is an ${\alpha}$-admissible mapping. Similarly, in Definition (3.5), let ${\left (E, \left \|. \right \| \right), C\; {and}\; \preceq}$ be the same ones as those stipulated above. Moreover, let ${\left \{ c_{n} \right \}_{n\in \mathbb{N}}}$ be the constant sequence $c_{n} = 1$ for all $n \in \mathbb{N}$. Thus, $T$ is an ${\alpha}$-admissible mapping.

${(2)}$ The class of all $\alpha-c-$admissible operators is included in the class of all $\alpha-$sequentially admissible operators. In fact; suppose that $T$ is $\alpha-c-$admissible operator. In Definition (3.5), we can take $\{c_{n}\}_{n \in \mathbb{N}}$ equals the constant sequence $c_{n} = c$ for all $n \in \mathbb{N}$. Thus, $T$ is $\alpha-$sequentially admissible operator. It is obvious that the last category is the widest.

${(3)}$ If $T$ is $\alpha-$sequentially admissible and $\{c_{n}\}_{n \in \mathbb{N}}$ is an increasing sequence starting with the element $c_{n_{0}}\neq \theta$, then $T$ is $\alpha -c_{n}-$admissible mapping for every $n \geq n_{0}$. This is true in particular for arithmetic sequences with base $c^{*}$ belonging to $C$, where $c_{1} = c_{1}, \; c_{2} = c_{1}+c^{*}, \dots, c_{n} = c_{1}+(n-1)c^{*}, \; n \in \mathbb{N.}$

${(4)}$ If $T$ is $\alpha-$sequentially admissible mapping and $\{c_{n}\}_{n \in \mathbb{N}}$ is a decreasing sequence bounded below by $\theta \neq c^{*} \in C$, then for every $\theta \neq c \in C$, there is $n(c) \in \mathbb{N}$ such that $c^{*} \preceq c_{n(c)} \prec c^{*} +c$. Now, the inequality $\alpha (x, y) \succeq c^{*}+c$ implies $\alpha (x, y) \succeq c_{n(c)}$, and the later one suggests that $\alpha (Tx, Ty) \succeq c_{n(c)+1}$. Using the lower bound $c^{*}$, it follows that $\alpha (Tx, Ty) \succeq c^{*}$.

Taking inspiration from Definition (2.19), we shall establish our newly corresponding generalizations in the following way:

Definition 3.7. Let ${\left (X, E, C, p \right)}$ be a partial (satisfactory) cone metric space and ${C}$ be a cone of a normed space ${\left (E, \left \|. \right \| \right)}$. In a non-empty set ${X}$, define ${T, S: X\rightarrow X}$ and ${\alpha :X \times X\rightarrow C }$. Assume that $c \; {runs\; through}\; C-\left \{ \theta \right \}$ and $\{ c_{n}\}_{n \in \mathbb{N}}$ be a non-zero sequence in $C$. Then,

${(1)}$ The mapping $T$ is called $\alpha _{S}-c-$admissible, if

${(2)}$ $T$ is called $\alpha _{S}-$sequentially admissible if and only if

Remark 3.8. Every $\alpha-c-$admissible is $\alpha_{I}-c-$admissible, where $I$ denotes the identity mapping on $X$. Similarly, every $\alpha-$sequentially admissible mapping is $\alpha_{I}-$sequentially admissible.

To ensure clarity, we will deal particularly with partial satisfactory cone metric spaces in which the cone $C$ is semi-solid and need not be normal. The results in the case of ordering solid cones will be the same as those concerning the case of semi-solid cones. It is important to mention that our results are valid in all cases of the satisfactory cone $C.$

We begin with the following main generalized theorem.

Theorem 3.9. Suppose that ${\left (X, E, C, p \right)}$ is a ${\theta}$-complete partial satisfactory cone metric space. Let ${\alpha :X \times X\rightarrow C}$ be a symmetric mapping and $T, S:X\rightarrow X$ be two self-mappings. Presume that $\{ c_{n} \}_{n \in \mathbb{N}}$ is a non-zero sequence in ${C.}$ Also, assume that the following assumptions are fulfilled:

${(1)}$ $TX \subseteq SX$ and $SX$ is a closed subset of $X$;

${(2)}$ $T$ is $\alpha _{S}-$sequentially admissible mapping;

${(3)}$ There exists $x_{0} \in X$ such that $\alpha (Sx_{0}, Tx_{0}) \succeq c_{1};$

${(4)}$ $(X, E, C, p)$ is $\alpha_{S}-$sequentially regular;

${(5)}$ There is a sequence of positive real numbers $\{ k_{n} \}_{n \in \mathbb{N}}$ such that $\lim_{n \to \infty}k_{n} < 1$ and satisfying the following condition:

Then, $T$ and $S$ have coincidence points. Moreover, if $T$ and $S$ are weakly compatible such that for all ${x, y \in \Lambda}$ we have ${\alpha \left (Sx, Sy \right)\succeq c_{1}, }$ then ${T}$ and ${S}$ have a unique common fixed-point in ${X}$.

Proof. From assumption (3), there exists ${ x_{0} \in X}$ such that

Since ${TX\subseteq SX}$, we get an element ${x_{1}\in X}$ such that ${Sx_{1} = Tx_{0}. }$ Again, we set ${Sx_{2} = Tx_{1}.}$ In a similar manner, we define two sequences ${\left \{ x_{n} \right \}_{n \in \mathbb{N}}}$ and ${\left \{ y_{n} \right \}_{n \in \mathbb{N}}}$ as follows: ${y_{n+1} = Sx_{n+1} = Tx_{n}\; \; \text{for all}\; \; n\in \mathbb{N}}$.

First, if we can find some ${N\in \mathbb{N}}$ such that ${y_{N} = y_{N+1}},$ then we have

Thus, ${x_{N}}$ is a coincidence point of ${T}$ and ${S}$ and the conclusion is checked. Without any loss of generality, we consider that ${y_{n}\neq y_{n+1}}$ for all ${ n \in \mathbb{N}}$.

Since $\alpha \left (Sx_{0}, Tx_{0} \right) = \alpha \left (Sx_{0}, Sx_{1} \right)$, inequality (3.1) gives the following:

Since $T$ is $\alpha _{S}-$sequentially admissible, inequality (3.2) implies $\alpha \left (Tx_{0}, Tx_{1} \right)\succeq c_{1}$. Consequently, we have $\alpha \left (Sx_{1}, Sx_{2} \right)\succeq c_{2}$ and so $\alpha \left (Tx_{1}, Tx_{2} \right)\succeq c_{2}$. By repetition of the above procedure, we get $\alpha \left (Sx_{n}, Sx_{n+1} \right)\succeq c_{n+1}$ which implies $\alpha \left (Tx_{n}, Tx_{n+1} \right)\succeq c_{n+1}$. Equivalently; we get

This in turns implies the following:

Taking advantage of the given generalized contractive condition ${(5)}$, we arrive at

Using a similar way of the above process up to ${n}$ times, we obtain

Consider the sequence

with $a_{n}: = \prod_{j = 1}^{n} k_{j}$, we have $\lim_{n \to \infty } \frac{a_{n}}{a_{n-1}} = \lim_{n \to \infty } k_{n} < 1$. Hence, the sequence $s_{1}$ should converge to zero sequence, $\lim_{n \to \infty } a_{n} = 0,$ and we have

For any ${n, p \in \mathbb{N}, }$ we have

Consider the sequence

with $b_{n}: = \prod_{i = n+1}^{n+p-1}k_{i}$, we have $\lim_{n \to \infty } \frac{b_{n}}{b_{n-1}} = \lim_{n \to \infty } k_{n+p-1} < 1$. Hence, using the usual form of the Ratio test of series, the sequence of partial sums of $s_{2}$ should converge to some number (say) $k$ such that

Thus, one can see that $\{ \sum_{m = 1}^{l}\left [\prod_{j = n+1}^{n+1+m}k_{j} \right]\}_{l \in \mathbb{N}}$ is convergent to some number (say) $K$ such that

In conclusion, we proved the following:

Since $\{ a_{n} K \; p ({y}_{0}, {y}_{1})\}_{n\in \mathbb{N}}$ is convergent to zero, $\lim_{n \to \infty} a_{n} K \; p ({y}_{0}, {y}_{1}) \overset{ \|. \|} \rightarrow \theta,$ it is $s-$sequence. Now, let $c \in E$ with $c \ggg \theta,$ then there exists $n_{0} \in \mathbb{N}$ such that

Hence, for any ${n, p\in \mathbb{N}}$, we have

This concluded that for any ${n, p\in \mathbb{N}}$ and any $c \ggg \theta$, there exists $n_{0} \in \mathbb{N}$ such that

Owing to the above arguments, we find that ${\left \{ y_{n} \right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy sequence in ${\left (X, E, C, p \right)}$.

Regarding the ${\theta}$-completeness of the space, there exists an element (say) ${{{y}'}\in X}$ such that ${y_{n}\overset{\tau _{p}}{\rightarrow }{y}'}$ and ${p\left ({{y}'}, {{y}'} \right) = \theta.}$ Since ${\left \{ y_{n} \right \}_{n\in \mathbb{N}}\subseteq SX}$ and ${SX}$ is closed set in ${X}$, it leads that ${{y}' \in SX.}$ Then, there exists ${z\in X}$ such that ${{y}' = Sz.}$

Now, we wish to show that ${Tz = Sz.}$ Employing ${(\mathrm{PCM}_{4})}$, we have

Since ${\alpha \left (y_{n}, y_{n+1} \right)\succeq c_{n+1}}$ for all ${n\in \mathbb{N}}$ and ${y_{n}\overset{\tau _{p}}{\rightarrow }{y}'}$, by making use of condition ${\left (4 \right)}$, we obtain ${\alpha \left (y_{n}, {y}' \right) = \alpha \left (Sx_{n}, Sz\right)\succeq c_{n+1}}$ for sufficiently large ${n.}$

Accordingly, we find ${p\left (Tz, Sz \right)\preceq k_{n+1}p\left ({y}', y_{n} \right)+p\left (y_{n+1}, {y}' \right).}$ Since ${y_{n}\overset{\tau _{p}}{\rightarrow }{y}', }$ then for ${c \in E}$ with ${c\ggg \theta}$ and ${\; \text{for all}\; \; m \in \mathbb{N} }$, choose ${n_{3} \in \mathbb{N}}$ such that

Hence, for all ${c \ggg \theta\; \text{ and for all}\; m \in \mathbb{N}, }$ it follows that ${p\left (Tz, Sz \right)\lll \frac{c}{m}}$. Taking the limit as ${m \rightarrow \infty }$, we get ${p\left (Tz, Sz \right) = \theta}$ and so ${Tz = Sz.}$

Therefore, ${T}$ and ${S}$ have a coincidence point in ${X.}$ As a last step, we claim that ${T}$ and ${S}$ possess a unique point of coincidence. In order to obtain the claim, consider that ${Tw = Sw}$ be another point of coincidence of ${T}$ and ${S}$. So, we assume that ${Tw = Sw\neq Tz = Sz.}$ By the hypothesis ${\alpha \left (Sw, Sz \right)\succeq c_{1}, }$ we have ${p \left (Tw, Tz \right)\preceq k_{1}p \left (Sw, Sz \right) = k_{1}p \left (Tw, Tz \right).}$ As ${0 < k_{1} < 1, }$ we get ${p\left (Tw, Tz \right) = \theta}$ and so ${Tw = Tz.}$ This contradicts the assumption that ${Tw = Sw\neq Tz = Sz.}$ Thus, the point of coincidence is uniquely determined. Bearing the assertion that the mappings ${T}$ and ${S}$ are weakly compatible in mind, we deduce that ${Sv = STz = TSz = Tv.}$ Regarding to the uniqueness of the point of coincidence of ${T}$ and ${S}$, we get ${Tv = Sv = v.}$

As a consequence, ${v}$ is the unique common fixed-point of ${T}$ and ${S}$ and so the proof is done.

Once again, we can here replace the condition $C^{\ominus } \neq \emptyset$ with the other states of the satisfactory cone $C,$ if we wish.

Remark 3.10. As a special case, if we replace the mapping $S$ with $I,$ the identity mapping on $X,$ in the statement of Theorem (3.9), we conclude that any mapping with these prescribed conditions has fixed-points in $X$.

Now our purpose is to determine sufficient conditions to acquire the uniqueness of the fixed-point of the mapping $T$ stipulated in Theorem (3.9) with $S = I$.

Proposition 3.11. Assume that all the hypothesis of Theorem (3.9) are verified with $S = I$. Furthermore, suppose that the following properties are hold:

Let $c^{*}\in C$ such that $c^{* }\succeq c_{i_{0}}$ for some $c_{i_{0}}\in C-\left \{ \theta \right \}$ and $i_{0}\in \mathbb{N}$. Let the set $\left \{ \alpha \left (x, y \right): x, y \in\mathit{\text{Fix}}\left (T \right) \right \}$ be bounded below by $c^{* }.$ Under these conditions, we obtain that the fixed-point of ${T}$ is uniquely determined.

Proof. Since ${T}$ satisfies the hypothesis of Theorem (3.9), then the fixed-point of ${T}$ exists. We show that the set ${ \text{Fix}\left (T \right)}$ is in fact reduced to a single point. For this, if possible, let ${x, y\in \text{Fix}\left (T \right).}$ Then, ${\alpha \left (x, y \right)\succeq c^{*}}$ and so ${\alpha \left (x, y \right)\succeq c_{i_{0}}.}$ Making use of condition (2) in Theorem (3.9), we guarantee that $\alpha \left (Tx, Ty \right) = \alpha \left (x, y \right)\succeq c_{i_{0}+1}.$ Continuing in this way, we derive that $\alpha \left (x, y \right)\succeq c_{n} \; \text{for all}\; n\geq i_{0}.$ We can now apply assumption (4), which leads to $p\left (Tx, Ty \right) \preceq k_{n}p\left (x, y \right)\; \text{for all}\; n\geq i_{0}.$ That is; $p\left (x, y \right) \preceq k_{n} p\left (x, y \right)\; \text{for all}\; n\geq i_{0}.$ On taking the limit as $n \to \infty$ of the sequence $\left \{ \left (k_{n}-1 \right)p\left (x, y \right) \right \} _{n\geq i_{0}}$ gives us $-p\left (x, y \right) \in C.$ Thus, we have $p\left (x, y \right) \in -C,$ but $p\left (x, y \right) \in C$ and so $p\left (x, y \right) \in C\cap -C = \left \{ \theta \right \}.$ Then, $p\left (x, y \right) = \theta$ implies $x = y$. Therefore, the set ${\text{Fix}\left (T \right)}$ should be singleton.

As a usual relationship between more and less general theorem, we have the following one:

Corollary 3.12. Suppose that ${\left (X, E, C, p \right)}$ is a ${\theta}$-complete partial satisfactory cone metric space. Let ${\alpha :X \times X\rightarrow C}$ be a symmetric mapping and $T:X\rightarrow X$ be a self-mapping. Presume that $\{ c_{n} \}_{n \in \mathbb{N}}$ is a non-zero sequence in ${C.}$ Also, assume that the following assumptions are fulfilled:

${(1)}$ There exists $N\in \mathbb{N}$ such that $T^{N}$ is $\alpha-$sequentially admissible;

${(2)}$ There exists $x_{0} \in X$ such that $\alpha (x_{0}, T^{N}x_{0}) \succeq c_{1};$

${(3)}$ $(X, E, C, p)$ is $\alpha-$sequentially regular;

${(4)}$ There is a sequence of positive real numbers $\{ k_{n} \}_{n \in \mathbb{N}}$ such that $\lim_{n \to \infty}k_{n} < 1$ and satisfying the following condition:

Then, the mapping $T$ has fixed-points in $X$.

Theorem 3.13. Suppose that ${\left (X, E, C, p \right)}$ is a ${\theta}$-complete partial satisfactory cone metric space. Let ${\alpha :X \times X\rightarrow C}$ be a symmetric mapping and $T:X\rightarrow X$ be a bijective self-mapping. Presume that $\{ c_{n} \}_{n \in \mathbb{N}}$ is a non-zero sequence in ${C.}$ Also, assume that the following assumptions are fulfilled:

${(1)}$ $T^{-1}$ is $\alpha-$sequentially admissible mapping;

${(2)}$ There exists $x_{0} \in X$ such that $\alpha (x_{0}, T^{-1}x_{0}) \succeq c_{1};$

${(3)}$ $(X, E, C, p)$ is $\alpha-$sequentially regular;

${(4)}$ There is a sequence of positive real numbers $\{ k_{n} \}_{n \in \mathbb{N}}$ such that $\lim_{n \to \infty}\left (k_{n} \right)^{-1} < 1$ and satisfying the following condition:

Then, the mapping $T$ has fixed-points in $X$.

Proof. Since ${T}$ is bijective, then it is an invertible mapping, say ${T^{-1}:X\longrightarrow X}$ is the inverse mapping of ${T}$. Let ${x_{0} \in X}$ be a chosen point and define the sequence $x_{1} = T^{-1}x_{0}$, $x_{2} = T^{-1}x_{1} = \left (T^{-1} \right)^{2}x_{0}$, $\dots$, $x_{n} = T^{-1}x_{n-1} = \left (T^{ -1 } \right)^{n}x_{0} \; \text{for all} \; n \in \mathbb{N}$. Since ${\alpha \left (x_{0}, T^{-1}x_{0} \right)\succeq c_{1}}$, we conclude that

Inductively, we get ${\alpha \left (x_{n}, x_{n+1} \right)\succeq c_{n+1}\; \text{for all}\; n \in \mathbb{N}.}$

We can employ condition ${\left (4\right)}$ as follows: ${p\left (x_{n-1}, x_{n} \right) = p\left(T x_{n}, T x_{n+1} \right)\succeq k_{n} p\left(x_{n}, x_{n+1} \right)\; \text{for all}\; n \in \mathbb{N}.}$ This is equivalent to ${p\left(x_{n}, x_{n+1} \right)\preceq \left (k_{n} \right)^{-1}p\left (x_{n-1}, x_{n} \right) \; \text{for all}\; n \in \mathbb{N}.}$ Set $\eta _{n} = \left (k_{n} \right)^{-1}$ for all $n \in \mathbb{N}$, we infer that

For ${n, p\in \mathbb{N}, }$ consider

The next step is easily obtained by following the related lines from the proof of Theorem (3.9). Hence, we assure that ${\left \{ x_{n} \right \}_{n\in \mathbb{N}} = \left \{ \left (T^{-1}\right)^{n}x_{0} \right \}_{n\in \mathbb{N}}}$ is a ${\theta}$-Cauchy sequence. For the sake of ${\theta}$-completeness of the space, there exists ${x \in X}$ such that ${x_{n}\overset{\tau _{p}}{\rightarrow }x}$ with ${p\left (x, x \right) = \theta.}$ Now, we show that ${x}$ is a fixed-point of ${T.}$ Since ${T}$ is onto, there exists ${u\in X}$ such that ${x = Tu.}$ Since we have ${x_{n}\overset{\tau _{p}}{\rightarrow }x}$ and ${\alpha \left (x_{n}, x_{n+1} \right)\succeq c_{n+1}}$ $\; \text{for all}\; n \in \mathbb{N},$ then it follows that ${\alpha \left (x_{n}, x \right)\succeq c_{n+1}}$ for sufficiently large ${n}$.

Thereafter, by using assumption ${\left (1 \right)}$, we get ${\alpha \left (x_{n+1}, u \right)\succeq c_{n+2}.}$ Suppose now that condition ${\left (4 \right)}$ takes place, we conclude that

Hence, ${p\left (x_{n+1}, u \right)\preceq \eta_{n+1} p \left (x_{n}, x \right).}$ Since ${x_{n}\overset{\tau _{p}}{\rightarrow }x}$, then for any ${c\ggg \theta, }$ there exists ${n_{0} \in \mathbb{N}}$ such that

For all ${n\geq n_{0}}$ and for any ${c\ggg \theta, }$ consider that

In conclusion, we arrive at

Which leads us to ${ u = x = Tu.}$ Since ${T}$ is injective mapping, then ${Tx = Tu = x.}$ Therefore, ${x \in X}$ is a fixed-point of ${T}$ and ${ \text{Fix}\left (T \right) \neq \emptyset}$.

Now, let us introduce our newly major concepts.

Definition 3.14. Let ${\left (X, E, C, p \right)}$ be a partial satisfactory cone metric space. In a non-empty set ${X}$, define ${T: X \times X \rightarrow X}$, ${S: X\rightarrow X}$ and ${\beta :X^{2} \times X^{2}\rightarrow C }$. Let $\{ c_{n}\}_{n \in \mathbb{N}}$ be a non-zero sequence in $C$. Then,

${(1)}$ $T$ is called $\beta _{S}-$sequentially admissible mapping if and only if

${ {for \; all }\; n \in \mathbb{N} \; {and \; for \; all }\; x, y, u, v \in X.}$

${(2)}$ ${\left (X, E, C, p \right)}$ is said to be ${\beta _{S}}$-sequentially regular, if ${\left \{ x_{n} \right \}}$ and ${\left \{ y_{n} \right \}}$ are two sequences in ${X}$ such that

${{for \; all}\; n \in \mathbb{N}}$ and ${Sx_{n}\overset{\tau _{p}}{\rightarrow }x^{\ast }, Sy_{n}\overset{\tau _{p}}{\rightarrow }y^{\ast }}$, then

Theorem 3.15. Let ${\left (X, \leqslant \right)}$ be a partially ordered set induced with partial satisfactory cone metric ${p}$ such that ${\left (X, E, C, p \right)}$ is a ${\theta}$-complete partial satisfactory cone metric space. Let ${T:X \times X\rightarrow X}$ and ${S:X\rightarrow X }$ be such that ${T}$ has ${S}$-mixed monotone property. Presume that ${\beta :X^{2} \times X^{2}\rightarrow C}$ is a symmetric mapping. Also, assume that the following assertions are fulfilled:

${(1)}$ $T$ is $\beta _{S}-$sequentially admissible mapping;

${(2)}$ There exist ${x_{0}, y_{0}\in X \; \mathit{\text{such that}}}$

${(3)}$ ${T\left (X \times X \right)\subseteq SX \; \mathit{\text{and}}\; SX \; \mathit{\text{is closed subset of}}\; X; }$

${(4)}$ ${ \left (X, E, C, p \right) \; \mathit{\text{is}}\; \beta _S-\mathit{\text{sequentially regular}} }$ and ${\left (X, E, C, p, \leqslant \right)}$ is regular;

${(5)}$ There is a sequence of positive real numbers $\{ k_{n} \}_{n \in \mathbb{N}}$ such that $\lim_{n \to \infty}k_{n} < 1$ and satisfying the following condition:

${ \mathit{\text{with}}\; \left (Sx, Sy \right) \lesssim \left (Su, Sv \right)\; \mathit{\text{and}}\; \beta \left (\left (Sx, Sy \right), \left (Su, Sv \right) \right)\succeq c_{n}, n\in \mathbb{N}. }$ Under these conditions, if there exist ${x_{0}, y_{0} \in X}$ such that ${Sx_{0}\leqslant T\left (x_{0}, y_{0} \right)}$ and ${Sy_{0}\geqslant T\left (y_{0}, x_{0} \right), }$ then ${T}$ and ${S}$ have coupled coincidence points.

Proof. By starting from arbitrary points ${x_{0}, y_{0} \in X}$ such that ${Sx_{0}\leqslant T\left (x_{0}, y_{0} \right)}$ and ${Sy_{0}\geqslant T\left (y_{0}, x_{0} \right).}$ Since ${T\left (X \times X \right)\subseteq SX}$ and ${x_{0}, y_{0} \in X}$, there exist ${x_{1}, y_{1}\in X}$ such that ${Sx_{1} = T\left (x_{0}, y_{0} \right)}$ and ${Sy_{1} = T\left (y_{0}, x_{0} \right).}$ Let $x_{2}, y_{2}\in X$ be such that ${Sx_{2} = T\left (x_{1}, y_{1}\right)}$ and ${Sy_{2} = T\left (y_{1}, x_{1}\right).}$

Inductively, we construct the sequences ${\left \{ x_{n} \right \}_{n\in \mathbb{N}}}$ and ${\left \{ y_{n} \right \}_{n\in \mathbb{N}}}$ in ${X}$ by

$\text{for all}\; n\in \mathbb{N}\cup \left \{ 0 \right \}.$ By Mathematical Induction, we verify that ${Sx_{n}\leqslant Sx_{n+1}}$ and ${Sy_{n}\geqslant Sy_{n+1}}$ for all ${n\in \mathbb{N}\cup \left \{ 0 \right \}.}$ Given that ${Sx_{0}\leqslant T\left (x_{0}, y_{0} \right)}$ and ${Sy_{0}\geqslant T\left (y_{0}, x_{0} \right)}.$ Thus, the statement is true for ${n = 0.}$ Suppose that the claim is true for some fixed $n = k.$ That is; ${Sx_{k}\leqslant Sx_{k+1}}$ and ${Sy_{k}\geqslant Sy_{k+1}}$. By ${S}$-mixed monotone property of ${T}$, we obtain ${Sx_{k+1}\leqslant Sx_{k+2} \; \; \text{and}\; \; Sy_{k+1}\geqslant Sy_{k+2}.}$ Thus, the statement is true for ${n = k+1.}$ The later lines guarantee that

Without loss of generality, we assume that ${\left (x_{n+1}, y_{n+1} \right) \neq \left (x_{n}, y_{n} \right)\; \text{for all}\; n\in \mathbb{N}\cup \left \{ 0 \right \}.}$ From assumption ${\left (2 \right)}$, we have

Due to the fact that ${T}$ is ${\beta _{S}}$-sequentially admissible, it follows that

By continuing this procedure, we have ${\beta \left (\left (Sx_{n}, Sy_{n} \right), \left (Sx_{n+1}, Sy_{n+1} \right) \right)\succeq c_{n+1} \; }$ for all ${ n\in \mathbb{N}.}$ Similarly, we obtain that ${\beta \left (\left (Sy_{n}, Sx_{n} \right), \left (Sy_{n+1}, Sx_{n+1} \right) \right)\succeq c_{n+1}}$ $\; \text{for all}\; n\in \mathbb{N}.$ Now, we can apply condition $\left (5 \right)$ as follows:

On adding the previous two inequalities, one has

Repeating the above process, we deduce

For any ${n, p \in \mathbb{N}}$, we infer

By a similar manner, we obtain

Therefore, we arrive at

Since $\lim_{n \to \infty}k_{n} < 1$, using the usual form of the Ratio test of series, one can easily see that $\{ \sum_{i = n}^{m }\Big [\prod_{i = 1}^{n}k_{i} \Big]\Big [p\left (Sx_{0}, Sx_{1} \right)+p\left (Sy_{0}, Sy_{1} \right) \Big]\}_{m \in \mathbb{N}}$ is convergent to the limit $\sum_{i = n}^{\infty }\Big [\prod_{i = 1}^{n}k_{i} \Big]\Big [p\left (Sx_{0}, Sx_{1} \right)+p\left (Sy_{0}, Sy_{1} \right) \Big]$ and its $n$'s term $\{ \prod_{i = 1}^{n}k_{i}\}_{n \in \mathbb{N}}$ tends to zero. Therefore, for given ${\varepsilon > 0, }$ there exists $n_{1}\in \mathbb{N}$ such that

For all ${ n\geq n_{1}}$, we consider

Thus, ${\sum_{i = n}^{n+p-1 }\Big [\prod_{j = 1}^{i}k_{j} \Big]\Big[p\left (Sx_{0}, Sx_{1} \right)+p\left (Sy_{0}, Sy_{1} \right) \Big] \overset{\left \|. \right \|}{\rightarrow }\theta.}$ It follows that, for any ${c \in E}$ with ${c\ggg \theta}$, there exists ${ n_{2} \in \mathbb{N}}$ such that

Owing to the above arguments, we deduce that the sequences ${\left \{S x_{n} \right \}_{n\in \mathbb{N}}}$ and ${\left \{S y_{n} \right \}_{n\in \mathbb{N}}}$ are ${\theta}$-Cauchy in the ${\theta}$-complete partial satisfactory cone metric space ${\left (X, E, C, p \right)}$. Then, there exist ${x, y\in X}$ such that ${Sx_{n}\overset{\tau _{p}}{\rightarrow }x}$ and ${Sy_{n}\overset{\tau _{p}}{\rightarrow }y}$ with ${p\left (x, x \right) = \theta}$ and ${p\left (y, y \right) = \theta.}$ Since ${\left \{S x_{n} \right \}_{n\in \mathbb{N}}\subseteq SX}$ and ${SX}$ is closed, it leads that ${x \in SX.}$ So, there must be some ${{x}'\in X}$ such that ${S{x}' = x.}$ Similarly, ${S{y}' = y}$ for some ${{y}'\in X}$.

Now, since ${\left \{ Sx_{n} \right \}}$ is a non-decreasing sequence that converges to ${S{x}'}$, we get ${Sx_{n}\leqslant S{x}'\; \text{for all}\; n.}$

Similarly, we have ${S{y}'\leqslant Sy_{n}\; \text{for all}\; n.}$ That is; ${\left (Sx_{n}, Sy_{n} \right)\lesssim \left (S{x}', S{y}' \right)\; \text{for all}\; n.}$ Since $\left (X, E, C, p, \leqslant \right)$ is ${ \beta _S-\text{regular} }$, we obtain

Since ${Sx_{n}\overset{\tau _{p}}{\rightarrow }S{x}' \; \text{and}\; Sy_{n}\overset{\tau _{p}}{\rightarrow }S{y}', }$ then for ${c \in E}$ with ${c\ggg \theta}$ and for all ${ m \in \mathbb{N} }$, choose ${n_{3} \in \mathbb{N}}$ such that $\frac{k_{n+1}}{2}p\left (Sx_{n}, S{x}' \right)\lll \frac{c}{3m}, \frac{k_{n+1}}{2} p\left (Sy_{n}, S{y}' \right)\lll \frac{c}{3m}$ and $p\left (Sx_{n+1}, S{x}'\right) \lll \frac{c}{3m}\; \text{for all}\; n\geq n_{3}.$

For all ${n\geq n_{3}, }$ we have

Proceeding limit as ${m \rightarrow \infty }$, we get ${p\left (T\left ({x}', {y}' \right), S{x}' \right) = \theta}$ and so ${T\left ({x}', {y}' \right) = S{x}'.}$ In such a similar way, one can easily get ${T\left ({y}', {x}' \right) = S{y}'.}$ Therefore, we reach that ${\left ({x}', {y}'\right)}$ is a coupled coincidence point of ${T, S}$ and ${\left (S{x}', S{y}' \right)}$ is a coupled point of coincidence of ${T, S.}$

Remark 3.16. If we replace the mapping $S$ by $I$, the identity mapping on $X,$ in the statements of Theorem (3.15), we have a new type of mappings for which we proved the existence of the coupled fixed-point of the mapping ${T}$.

4.   Applications of fixed-point theory to ordinary differential equations

In this section, we apply Theorem (3.9) with $S = I$ to study the existence of a unique solution for the following two-point boundary value problem of the second-order differential equation:

where $f:\left [0, 1 \right] \times \mathbb{R}\rightarrow \mathbb{R}$ is a continuous function.

Theorem 4.1. Presume that the following hypotheses hold:

${(1)}$ For all $s \in \left [0, 1 \right], f\left (s, . \right)$ is a non-decreasing function;

${(2)}$ If $f\left (s, x\left (s \right) \right) = x\left (s \right)$ for all $s \in \left [0, 1 \right],$ then we have

${(3)}$ There exists a continuous function $K:\left [0, 1 \right]\rightarrow \mathbb{R}^{+}$ such that

for all $s \in \left [0, 1 \right]$ with $x\preceq y;$

${(4)}$ There exists $L \in \left [0, 1 \right)$ such that $\sup _{s \in \left [0, 1 \right]}K\left (s \right)\leq \frac{L}{2};$

${(5)}$ There exists a symmetric function $\varphi :\mathbb{R}^{2}\rightarrow \mathbb{R}$ with the following properties:

$\left (\varphi _{1} \right)$ There exists $x_{0} \in C_{\mathbb{R}}\left [0, 1 \right]$ such that for all $t \in \left [0, 1 \right],$ we have

$\left (\varphi _{2} \right)$ For all $t \in \left [0, 1 \right]$ and for any $x, y \in C_{\mathbb{R}}\left [0, 1 \right], \varphi \left (x\left (t \right), y\left (t \right) \right)\geq 0 \; \mathit{\text{implies}}$

$\left (\varphi _{3} \right)$ If $\{ x_{n} \}_{n \in \mathbb{N}}$ in ${C_{\mathbb{R}}\left [0, 1 \right]}$ such that $\varphi (x_{n}, x_{n+1})\geq 0$ for all $n \in \mathbb{N}$ and $x_{n} \overset{\tau _{p}}{\rightarrow } x^{\ast } \in C_{\mathbb{R}}\left [0, 1 \right]$, we have $\varphi (x_{n}, x^{\ast })\geq 0$ for sufficiently large ${n. }$

Then, the mentioned second-order differential equation (4.1) has a unique solution in $C_{\mathbb{R}}\left [0, 1 \right].$

Proof. Clearly, the problem (4.1) is equivalent to the integral equation

where $G\left (t, s \right)$ is the Green function defined by

It is clear that the existence of a solution of (4.1) is equivalent to the existence of the integral equation (4.2).

Let $X = E: = C_{\mathbb{R}}\left [0, 1 \right]$ be the Banach space of all real continuous functions on the closed unit interval $\left [0, 1 \right]$ and $C: = \left \{ u \in E: u\left (t \right)\geq 0, t \in \left [0, 1 \right] \right \},$ which is a solid (semi-solid) cone.

Define $p: X \times X \rightarrow C$ by

where $\psi \left (t \right) = e^{t} \in E.$ Then, easily one can verify that $\left (X, E, C, p \right)$ is a $\theta-$complete partial satisfactory cone metric space.

We endow $X$ with the partial order $\preceq$ given by

Let $T: C_{\mathbb{R}}\left [0, 1 \right]\rightarrow C_{\mathbb{R}}\left [0, 1 \right]$ be defined by

Obviously, the fixed-point of $T$ is a solution of (4.1) or, equivalently; a solution of the problem (4.2).

We will check that the mapping $T$ satisfies all the conditions of Theorem (3.9) with $S = I$.

First, we show that $T$ is non-decreasing with regards to $\preceq.$ Since $f$ is non-decreasing with respect to its second variable, then for any $x, y \in X$ with $x \preceq y$ and for any $t \in \left [0, 1 \right],$ we have

since $G\left (x, y \right)\geq 0$ for any $t, s \in \left [0, 1 \right].$ Thus, we have $Tx\preceq Ty.$

Define $\alpha: X \times X\rightarrow C$ by

where $\lambda \in \left (0, 1 \right)$ and $t \in \left [0, 1 \right].$ If $x, y \in X, \alpha \left (x, y \right)\geq 1,$ then $x \preceq y$ or $\varphi \left (x\left (t \right), y\left (t \right) \right)\geq 0.$ Observe that $\alpha \left (x, y \right)\geq 1\Longrightarrow x \preceq y \Longrightarrow Tx \preceq Ty\Longrightarrow \alpha \left (Tx, Ty \right)\geq 1.$ If $x, y \in X, \alpha \left (x, y \right)\geq 1$ implies $\varphi \left (x\left (t \right), y\left (t \right) \right)\geq 0,$ then by condition $\left (\varphi _{2} \right)$, we get $\varphi \left (Tx\left (t \right), Ty\left (t \right) \right)\geq 0$ and thus $\alpha \left (Tx, Ty \right)\geq 1.$ Therefore, $T$ is $\alpha-$sequentially admissible mapping with $c_{n} = 1\; \text{for any}\; n \in \mathbb{N}.$

Since there exists $x_{0} \in C_{\mathbb{R}}\left [0, 1 \right]$ such that

for all $t \in \left [0, 1 \right],$ then $\alpha \left (x_{0}, Tx_{0}\right)\geq 1.$

From condition $\left (\varphi _{3} \right),$ it is easy to verify that $\left (X, E, C, p \right)$ is $\alpha_{S}-$sequentially regular.

Now, let $x, y \in X$ such that $x \preceq y.$ Then, we have

Therefore,

for any $t \in \left[0, 1 \right]$ and for certain $L \in \left [0, 1 \right).$

Hence, we find a constant sequence of positive real numbers $k_{n} = \frac{L}{16}$ for any $n \in \mathbb{N}$ such that $\lim _{n \to \infty }k_{n} = \frac{L}{16} < 1$ and satisfying

for any $x, y \in X$ with $\alpha \left (x, y \right)\geq 1.$ Therefore, all the conditions of Theorem (3.9) hold with $S = I$ and thus $T$ has a unique fixed-point in $C_{\mathbb{R}}\left [0, 1 \right].$ Thus, there is a unique solution of problem (4.1).

5.   Applications of coupled fixed-point to integral equations

In this section, we study the existence of solutions for the following system of integral equations:

where $r \in \left [a, b \right];$ $H_{1}, H_{2}\in C_{\mathbb{R}}\left (\left [a, b \right] \times \left [a, b \right] \right);$ $f, g \in C_{\mathbb{R}}\left (\left [a, b \right] \times \mathbb{R}\right)$ and $k \in C_{\mathbb{R}}\left [a, b \right].$

Theorem 5.1. Assume that the following conditions hold:

${(1)}$ $H_{1}\left (r, s \right)\geq 0$ and $H_{2}\left (r, s \right)\leq 0$ for all $r, s \in \left [a, b \right];$

${(2)}$ $\sup_{t \in \left [a, b \right]}\int_{a}^{b}\left [H_{1}\left (r, s \right)-H_{2}\left (r, s \right) \right]ds\leq \frac{1}{4\rho }\;$ for some positive real number $\rho;$

${(3)}$ There exists a symmetric function $\vartheta :C_{\mathbb{R}}^{2}\left [a, b \right] \times C_{\mathbb{R}}^{2}\left [a, b \right]\rightarrow \mathbb{R}$ with the following properties:

$\left (\vartheta _{1} \right)$ For all $\left (x, y \right), \left (u, v \right) \in C_{\mathbb{R}}^{2}\left [a, b \right],$ $\vartheta \left (\left (x, y \right), \left (u, v \right) \right)\geq 0$ implies

$\left (\vartheta _{2} \right)$ There exist $x_{0}, y_{0} \in C_{\mathbb{R}}\left [a, b \right]$ such that $\left (x_{0}, y_{0} \right)\lesssim \left (T\left (x_{0}, y_{0} \right), T\left (y_{0}, x_{0} \right) \right),$

$\left (\vartheta _{3} \right)$ For all $x, y, u, v \in X$ with $\left (x, y \right)\lesssim \left (u, v \right)$ and $\vartheta \left (\left (x, y \right), \left (u, v \right) \right)\geq 0,$ the following Lipschitzian-type conditions hold:

$\left (\vartheta _{4} \right)$ If ${\left \{ x_{n} \right \}}$ and ${\left \{ y_{n} \right \}}$ are two sequences in ${C_{\mathbb{R}}\left [a, b \right]}$ such that

${\mathit{\text{for all}}\; n \in \mathbb{N}}$ and ${x_{n}\overset{\tau _{p}}{\rightarrow }x^{\ast }, }$ $y_{n}\overset{\tau _{p}}{\rightarrow }y^{\ast }$, then

With these conditions, the system of integral equations (5.1) has at least one solution in $C_{\mathbb{R}}\left [a, b \right] \times C_{\mathbb{R}}\left [a, b \right].$

Proof. Let $X = E: = C_{\mathbb{R}}\left [a, b \right]$ be the Banach space of all real continuous functions on $\left [a, b \right]$ and $C: = \left \{ u \in E: u\left (t \right)\geq 0, t \in \left [a, b \right] \right \},$ which is a solid (semi-solid) cone. Define $p: X \times X \rightarrow C$ by

where $\psi \left (t \right) = e^{t} \in E.$ Then, $\left (X, E, C, p \right)$ is a $\theta-$complete partial satisfactory cone metric space. Suppose that $C_{\mathbb{R}}\left [a, b \right]$ is endowed with the natural partial ordered relation, that is; $\text{for all }\; x, y \in C_{\mathbb{R}}\left [a, b \right], x\preceq y \; \text{if and only if}\; x\left (t \right)\leq y \; \text{for all }\; t \in \left [a, b \right].$

The set $X \times X = C_{\mathbb{R}}\left [a, b \right] \times C_{\mathbb{R}}\left [a, b \right]$ is partially ordered under the following ordered relation:

For any $x, y \in X,$ $\max_{r \in \left [a, b \right]} \left \{ x\left (r \right), y\left (r \right) \right \}, \min_{r \in \left [a, b \right]} \left \{ x\left (r \right), y\left (r \right) \right \} \in X$ are the upper and lower bounds of $x$ and $y$, respectively. Therefore, for every $\left (x, y \right), \left (u, v \right) \in X \times X,$ there is $\left (\max \left \{ x, u \right \}, \min\left \{ y, v \right \}\right)\in X \times X$ that comparable to $\left (x, y \right)$ and $\left (u, v \right).$

Define $T: X \times X\rightarrow X$ by

for all $r \in \left [a, b \right].$

First, we show that $T$ has the mixed monotone property. If $\left (t_{1}, u \right)\lesssim \left (t_{2}, u \right),$ then for all $r \in \left [a, b \right],$ we have

Thus, $T\left (t_{1}, u\right) \preceq T\left (t_{2}, u\right).$ Similarly, $T\left (t, u_{1}\right) \preceq T\left (t, u_{2}\right)$ whenever $\left (t, u_{1} \right)\lesssim \left (t, u_{2} \right).$

Let $\beta:X^{2} \times X^{2}\rightarrow C$ be defined by

If $x, y, u, v \in X, \beta \left (\left (x, y \right), \left (u, v \right) \right)\geq 1,$ then $\vartheta \left (\left (x\left (t \right), y\left (t \right) \right), \left (u\left (t \right), v\left (t \right) \right) \right)\geq 0.$

By condition $\left (\vartheta _{1} \right)$, we get $\varphi \left (Tx\left (t \right), Ty\left (t \right) \right)\geq 0$ and thus $\beta \left (\left (x, y \right), \left (u, v \right) \right)\geq 1.$ Therefore, $T$ is $\beta$-sequentially admissible mapping with $c_{n} = 1\; \text{for any}\; n \in \mathbb{N}.$

From condition $\left (\vartheta _{2} \right),$ it follows that there exist $x_{0}, y_{0} \in C_{\mathbb{R}}\left [a, b \right]$ with $\left (x_{0}, y_{0} \right)\lesssim \left (T\left (x_{0}, y_{0} \right), T\left (y_{0}, x_{0} \right) \right)$ such that $\beta \left (\left (x_{0}, y_{0} \right), \left (T\left (x_{0}, y_{0} \right), T\left (y_{0}, x_{0}\right) \right)\right)\geq 0$ and $\beta \left (\left (y_{0}, x_{0} \right), \left (T\left (y_{0}, x_{0} \right), T\left (x_{0}, y_{0}\right) \right)\right)\geq 0.$ Thus, condition $\left(2\right)$ in Theorem (3.15) is satisfied with $S = I.$

The property $\left (X, E, C, p \right)$ is $\beta-$sequentially regular follows trivially from the corresponding condition of the mapping $\vartheta.$

Next, suppose that $\left \{ t_{n} \right \}$ is a monotone non-decreasing sequence in $X$ that converges to a point $t \in X.$ Then, for any $r \in \left [a, b \right],$ the sequence of real numbers

converges to $t\left (r \right).$ Thus, for all $t\left (r \right) \in \left [a, b \right],$ we have $t_{n}\left (r \right) \leq t\left (r \right)$ and thus $t_{n}\preceq t$ for all $n \in \mathbb{N}.$ Similarly, if $u\left (r \right)$ is a limit of a monotone non-increasing sequence $\left \{ u_{n} \right \}$ in $X,$ then $u_{n}\left (r \right) \geq u\left (r \right)$ and thus $u_{n}\succeq u$ for all $n \in \mathbb{N}.$ Therefore, $\left (X, E, C, p, \preceq \right)$ is regular.

For all $x, y, u, v \in X$ with $\left (x, y \right)\lesssim\left (u, v \right)$ and $\vartheta \left (\left (x, y \right), \left (u, v \right) \right)\geq 0,$ it follows that

for any $r \in \left [a, b \right]$. Therefore, we can find a constant sequence of positive real numbers $k_{n} = \frac{1}{2\rho}$ for all $n \in \mathbb{N}$ such that $\lim_{n \to \infty }k_{n} = \frac{1}{2\rho} < 1$ and satisfying

for all $\left (x, y \right)\lesssim \left (u, v \right)$ and $\beta \left (\left (x, y \right), \left (u, v \right)\right)\geq 1.$ Which is just the contractive condition in Theorem (3.15). All the hypotheses of Theorem (3.15) with $S = I,$ are satisfied. Therefore, $T$ has a coupled fixed-points in $C_{\mathbb{R}}\left [a, b \right] \times C_{\mathbb{R}}\left [a, b \right]$.

6.   Conclusions

The study of this article along with our defined distance structure represents a new research direction that included updated versions of some abstract results and some methods in fixed-point lectures. Many of the previously known results found in fixed-point theory consider direct generalizations and special occurrences of the results of this article. In the present paper, there are multiple appearances of various types of generalized admissible mappings and mappings have mixed monotone property associated with several interesting conditions. In this regard, we discussed the problem of finding coincidence points, coupled coincidence points, coupled fixed-point and fixed-points of such mappings. For showing efficiency of the obtained main results we gave some applications. In one approach, we introduced a novel fixed-point technique to ordinary differential equations in partial satisfactory cone metric spaces, and in another approach we studied the existence of solutions in a system including non-linear integral equations.

Acknowledgments

The authors are grateful to the reviewers and the editorial board for their valuable suggestions and remarks which helped to improve the quality of current manuscript.

Conflict of interest

All authors declare no conflicts of interest in this paper.