Type and duration of antithrombotic therapy after treatment of severely calcified lesions

1.   Introduction and basic facts

Fractional differential equations are thought to be the most effective models for a variety of pertinent events. This makes it possible to investigate the existence, uniqueness, controllability, stability, and other properties of analytical solutions. For example, applying conservation laws to the fractional Black-Scholes equation in Lie symmetry analysis, finding existence solutions for some conformable differential equations, and finding existence solutions for some classical and fractional differential equations on the basis of discrete symmetry analysis, for more details, see ^[1,2,3,4,5].

Atangana and Baleanu unified and extended the definition of Caputo-Fabrizio ^[5] by introducing exciting derivatives without singular kernel. Also, the same authors presented the derivative containing Mittag-Leffler function as a nonlocal and nonsingular kernel. Many researchers showed their interest in this definition because it opens many and sober directions and carries Riemann-Liouville and Caputo derivatives ^{[6,7,8,9,10,11,12,13]}.

A variety of problems in economic theory, control theory, global analysis, fractional analysis, and nonlinear analysis have been treated by fixed point (FP) theory. The FP method contributes greatly to the fractional differential/integral equations, through which it is possible to study the existence and uniqueness of the solution to such equations ^{[14,15,16,17]}. Also, this topic has been densely studied and several significant results have been recorded in ^{[18,19,20,21]}.

The concepts of mixed monotone property (MMP) and a coupled fixed point (CFP) for a contractive mapping $\Xi :\chi \times \chi \rightarrow \chi,$ where $\chi$ is a partially ordered metric space (POMS) have been initiated by Bhaskar and Lakshmikantham ^[22]. To support these ideas, they presented some CFP theorems and determined the existence and uniqueness of the solution to a periodic boundary value problem ^[23,24,25]. Many authors worked in this direction and obtained some nice results concerned with CFPs in various spaces ^[26,27,28].

Definition 1.1. ^[22] Consider a set $\chi \neq \emptyset.$ A pair $(a, b)\in \chi \times \chi$ is called a CFP of the mapping $\Xi :\chi \times \chi \rightarrow \chi$ if $a = \Xi (a, b)$ and $b = \Xi (b, a).$

Definition 1.2. ^[22] Assume that $(\chi, \leq)$ is a partially ordered set and $\Xi :\chi \times \chi \rightarrow \chi$ is a given mapping. We say that $\Xi$ has a MMP if for any $a, b\in \chi,$

and

Theorem 1.1. ^[22] Let $(\chi, \leq, d)$ be a complete POMS and $\Xi :\chi \times \chi \rightarrow \chi$ be a continuous mapping having the MMP on $\chi.$ Assume that there is a $\tau \in \lbrack 0, 1)$ so that

for all $a\geq k$ and $b\leq l.$ If there are $a_{0}, b_{0}\in \chi$ so that $a_{0}\leq \Xi \left(a_{0}, b_{0}\right)$ and $b_{0}\geq \Xi \left(b_{0}, a_{0}\right),$ then $\Xi$ has a CFP, that is, there exist $a_{0}, b_{0}\in \chi$ such that $a = \Xi (a, b)$ and $b = \Xi (b, a).$

The same authors proved that Theorem 1.1 is still valid if we replace the hypothesis of continuity with the following: Assume $\chi$ has the property below:

$(†)$ if a non-decreasing sequence $\{a_{m}\}\rightarrow a,$ then $a_{m}\leq a$ for all $m$;

$(‡)$ if a non-increasing sequence $\{b_{m}\}\rightarrow b,$ then $b\leq b_{m}$ for all $m$.

The following auxiliary results are taken from ^[29,30], which are used efficiently in the next section.

Let $\Theta$ represent a family of non-decreasing functions $\theta :[0, \infty)\rightarrow \lbrack 0, \infty)$ so that $\sum_{m = 1}^{\infty }\theta ^{m}(\tau) < \infty$ for all $\tau > 0,$ where $\theta ^{n}$ is the $n$-th iterate of $\theta$ justifying:

$\rm (i)$ $\theta (\tau) = 0\Leftrightarrow \tau = 0;$

$\rm (ii)$ for all $\tau > 0,$ $\theta (\tau) < \tau;$

$\rm (iii)$ for all $\tau > 0,$ $\lim_{s\rightarrow \tau ^{+ }}\theta (s) < \tau.$

Lemma 1.1. ^[30] If $\theta :[0, \infty)\rightarrow \lbrack 0, \infty)$ is right continuous and non-decreasing, then $\lim_{m\rightarrow \infty }\theta ^{m}(\tau) = 0$ for all $\tau \geq 0$ iff $\theta (\tau) < \tau$ for all $\tau > 0.$

Let $\widetilde{L}$ be the set of all functions $\widetilde{\ell }:[0, \infty)\rightarrow \lbrack 0, 1)$ which verify the condition:

Recently, Samet et al. ^[29] reported exciting FP results by presenting the concept of $\alpha$-$\theta$-contractive mappings.

Definition 1.3. ^[29] Let $\chi$ be a non empty-set, $\Xi :\chi \rightarrow \chi$ be a map and $\alpha :\chi \times \chi \rightarrow \mathbb{R}$ be a given function. Then, $\Xi$ is called $\alpha$-admissible if

Definition 1.4. ^[29] Let $(\chi, d)$ be a metric space. $\Xi :\chi \rightarrow \chi$ is called an $\alpha$-$\theta$-contractive mapping, if there exist two functions $\alpha :\chi \times \chi \rightarrow \lbrack 0, +\infty)$ and $\theta \in \Theta$ such that

for all $a, b\in \chi.$

Theorem 1.2. ^[29] Let $(\chi, d)$ be a metric space, $\Xi :\chi \rightarrow \chi$ be an $\alpha$-$\psi$-contractive mapping justifying the hypotheses below:

(i) $\Xi$ is $\alpha$-admissible;

(ii) there is $a_{0}\in \chi$ so that $\alpha \left(a_{0}, \Xi a_{0}\right) \geq 1;$

(iii) $\Xi$ is continuous.

Then $\Xi$ has a FP.

Moreover, the authors in ^[29] showed that Theorem 1.2 is also true if we use the following condition instead of the continuity of the mapping $\Xi.$

● If $\{a_{m}\}$ is a sequence of $\chi$ so that $\alpha \left(a_{m}, a_{m+1}\right) \geq 1$ for all $m$ and $\lim_{m\rightarrow +\infty }a_{m} = a\in \chi,$ then for all $m$, $\alpha \left(a_{m}, a\right) \geq 1.$

The idea of an $\alpha$-admissible mapping has spread widely, and the FPs obtained under this idea are not small, for example, see ^{[31,32,33,34]}.

Furthermore, one of the interesting directions for obtaining FPs is to introduce the idea of Geraghty contractions ^[30]. The author ^[30] generalized the Banach contraction principle and obtained some pivotal results in a complete metric space. It is worth noting that a good number of researchers have focused their attention on this idea, for example, see ^[35,36,37]. In respect of completeness, we state Geraghty's theorem.

Theorem 1.3. ^[30] Let $\Xi :\chi \rightarrow \chi$ be an operator on a complete metric space $(\chi, d)$. Then $\Xi$ has a unique FP if $\Xi$ satisfies the following inequality:

where $\widetilde{\ell }\in \widetilde{L}.$

We need the following results in the last part.

Definition 1.5. ^[5] Let $\sigma \in H^{1}(s, t),$ $s < t,$ and $\nu \in \lbrack 0, 1).$ The Atangana–Baleanu fractional derivative in the Caputo sense of $\sigma$ of order $\nu$ is described by

where $M_{\nu }$ is the Mittag-Leffler function given by $M_{\nu }(r) = \sum\limits_{m = 0}^{\infty }\frac{r^{m }}{\Gamma (m\nu +1)}$ and $Q(\nu)$ is a normalizing positive function fulfilling $Q(0) = Q(1) = 1$ (see ^[4]). The related fractional integral is described as

where $_{s}I^{\nu }$ is the left Riemann-Liouville fractional integral defined by

Lemma 1.2. ^[38] For $\nu \in (0, 1),$ we have

The outline for this paper is as follows: In Section 1, we presented some known consequences about $\alpha$-admissible mappings and some useful definitions and theorems that will be used in the sequel. In Section 2, we introduce an $\eta _{\theta }^{\ell }$-contraction type mapping and obtain some related CFP results in the context of POMSs. Also, we support our theoretical results with some examples. In Section 5, an application to find the existence of a solution for the Atangana-Baleanu coupled fractional differential equation (CFDE) in the Caputo sense is presented.

2.   Main results

Let $L$ be the set of all functions $\ell :[0, \infty)\rightarrow \lbrack 0, 1)$ satisfying the following condition:

We begin this part with the following definitions:

Definition 2.1. Suppose that $\Xi :\chi \times \chi \rightarrow \chi$ and $\eta :\chi ^{2}\times \chi ^{2}\rightarrow \lbrack 0, \infty)$ are two mappings. The mapping $\Xi$ is called $\eta$-admissible if

Definition 2.2. Let $(\chi, \varpi)$ be a POMS and $\Xi :\chi \times \chi \rightarrow \chi$ be a given mapping. $\Xi$ is termed as an $\eta _{\theta }^{\ell }$-coupled contraction mapping if there are two functions $\eta :\chi ^{2}\times \chi ^{2}\rightarrow \lbrack 0, \infty)$ and $\theta \in \Theta$ so that

for all $a, b, k, l\in \chi$ with $a\geq k$ and $b\leq l,$ where $\ell \in L.$

Remark 2.1. Notice that since $\ell :[0, \infty)\rightarrow \lbrack 0, 1),$ we have

Theorem 2.1. Let $(\chi, \leq, \varpi)$ be a complete POMS and $\Xi$ be an $\eta _{\theta }^{\ell }$-coupled contraction which has the mixed monotone property so that

(i) $\Xi$ is $\eta$-admissible;

(ii) there are $a_{0}, b_{0}\in \chi$ so that

(iii) $\Xi$ is continuous.

If there are $a_{0}, b_{0}\in \chi$ so that $a_{0}\leq \Xi \left(a_{0}, b_{0}\right)$ and $b_{0}\geq \Xi \left(b_{0}, a_{0}\right),$ then $\Xi$ has a CFP.

Proof. Let $a_{0}, b_{0}\in \chi$ be such that $\eta \left((a_{0}, b_{0}), \left(\Xi \left(a_{0}, b_{0}\right), \Xi \left(b_{0}, a_{0}\right) \right) \right) \geq 1$, $\eta \left((b_{0}, a_{0}), \left(\Xi \left(b_{0}, a_{0}\right), \Xi \left(a_{0}, b_{0}\right) \right) \right) \geq 1,$ $a_{0}\leq \Xi \left(a_{0}, b_{0}\right) = a_{1}$ (say) and $b_{0}\geq \Xi \left(b_{0}, a_{0}\right) = b_{1}$ (say). Consider $a_{2}, b_{2}\in \chi$ so that $\Xi \left(a_{1}, b_{1}\right) = a_{2}$ and $\Xi \left(b_{1}, a_{1}\right) = b_{2}.$ Similar to this approach, we extract two sequences $\{a_{m}\}$ and $\{b_{m}\}$ in $\chi$ so that

Now, we shall show that

By a mathematical induction, we have

$(1)$ At $m = 0,$ because $a_{0}\leq \Xi \left(a_{0}, b_{0}\right)$ and $b_{0}\geq \Xi \left(b_{0}, a_{0}\right)$ and since $\Xi \left(a_{0}, b_{0}\right) = a_{1}$ and $\Xi \left(b_{0}, a_{0}\right) = b_{1},$ we obtain $a_{0}\leq a_{1}$ and $b_{0}\geq b_{1},$ thus (2.2) holds for $m = 0.$

$(2)$ Suppose that (2.2) holds for some fixed $m\geq 0.$

$(3)$ Attempting to prove the validity of (2.2) for any $m,$ by assumption (2) and the mixed monotone property of $\Xi,$ we get

and

This implies that

Thus, we conclude that (2.2) is valid for all $n\geq 0.$

Next, if for some $m\geq 0,$ $\left(a_{m+1}, b_{m+1}\right) = \left(a_{m}, b_{m}\right),$ then $a_{m} = \Xi \left(a_{m}, b_{m}\right)$ and $b_{m} = \Xi \left(b_{m}, a_{m}\right),$ i.e., $\Xi$ has a CFP. So, let $\left(a_{m+1}, b_{m+1}\right) \neq \left(a_{m}, b_{m}\right)$ for all $m\geq 0.$ As $\Xi$ is $\eta$-admissible, we get

implies

Thus, by induction, one can write

Using (2.1) and (2.3) and the definition of $\ell,$ we have

Analogously, we get

Adding (2.4) and (2.5) we have

Continuing in the same way, we get

For $\epsilon > 0,$ there exists $m(\epsilon)\in \mathbb{N}$ so that

for some $\theta \in \Theta.$ Let $m, j\in \mathbb{N}$ be so that$j > m > m(\epsilon).$ Then based on the triangle inequality, we obtain

this leads to $\varpi \left(a_{m}, a_{j}\right) +\varpi \left(b_{m}, b_{j}\right) < \epsilon.$ Because

and

hence $\{a_{m}\}$ and $\{b_{m}\}$ are Cauchy sequences in $\chi.$ The completeness of $\chi$ implies that the sequences $\{a_{m}\}$ and $\{b_{m}\}$ are convergent in $\chi,$ that is, there are $a, b\in \chi$ so that

Since $\Xi$ is continuous, $a_{m+1} = \Xi \left(a_{m}, b_{m}\right)$ and $b_{m+1} = \Xi \left(b_{m}, a_{m}\right),$ we obtain after taking the limit as $m\rightarrow \infty$ that

and

Therefore, $\Xi$ has a CFP and this ends the proof.

In the above theorem, when omitting the continuity assumption on $\Xi,$ we derive the following theorem.

Theorem 2.2. Let $(\chi, \leq, \varpi)$ be a complete POMS and $\Xi$ be an $\eta _{\theta }^{\ell }$-coupled contraction and having the mixed monotone property so that

(a) $\Xi$ is $\eta$-admissible;

(b) there are $a_{0}, b_{0}\in \chi$ so that

(c) if $\{a_{m}\}$ and $\{b_{m}\}$ are sequences in $\chi$ such that

for all $m\geq 0,$ $\lim_{m\rightarrow \infty }a_{m} = a\in \chi$ and $\lim_{m\rightarrow \infty }b_{m} = b\in \chi$, then

If $a_{0}, b_{0}\in \chi$ are that $a_{0}\leq \Xi \left(a_{0}, b_{0}\right)$ and $b_{0}\geq \Xi \left(b_{0}, a_{0}\right),$ then $\Xi$ has a CFP.

Proof. With the same approach as for the proof of Theorem 2.1, the sequences $\{a_{m}\}$ and $\{b_{m}\}$ are Cauchy sequences in $\chi.$ The completeness of $\chi$ implies that there are $a, b\in \chi$ so that

According to the assumption (c) and (2.3), one can write

It follows by (2.3), the definition of $\ell$ and the property of $\theta (\tau) < \tau$ for all $\tau > 0$, that

Similarly, we find that

As $m\rightarrow \infty$ in (2.7) and (2.8), we have

Hence, $a = \Xi (a, b)$ and $b = \Xi (b, a).$ Thus, $\Xi$ has a CFP and this completes the proof.

In order to show the uniqueness of a CFP, we give the theorem below. If $(\chi, \leq)$ is a partially ordered set, we define a partial order relation $\leq$ on the product $\chi \times \chi$ as follows:

Theorem 2.3. In addition to the assertions of Theorem 2.1, assume that for each $(a, b), (y, z)$ in $\chi \times \chi,$ there is $(k, l)\in \chi \times \chi$ so that

Suppose also $(k, l)$ is comparable to $(a, b)$ and $(y, z).$ Then $\Xi$ has a unique CFP.

Proof. Theorem 2.1 asserts that the set of CFPs is non-empty. Let $(a, b)$ and $(y, z)$ be CFPs of the mapping $\Xi,$ that is, $a = \Xi (a, b),$ $b = \Xi (b, a)$ and $y = \Xi (y, z),$ $z = \Xi (z, y).$ By hypothesis, there is $(k, l)\in \chi \times \chi$ so that $(k, l)$ is comparable to $(a, b)$ and $(y, z).$ Let $(a, b)\leq (k, l),$ $k = k_{0}$ and $l = l_{0}$. Choose $k_{1}, l_{1}\in \chi \times \chi$ so that $k_{1} = \Xi (k_{1}, l_{1}),$ $l_{1} = \Xi (l_{1}, k_{1}).$ Thus, we can construct two sequences $\{k_{m}\}$ and $\{l_{m}\}$ as

Since $(k, l)$ is comparable to $(a, b),$ in an easy way we can prove that $a\leq k_{1}$ and $b\geq l_{1}.$ Hence, for $m\geq 1,$ we have $a\leq k_{m}$ and $b\geq l_{m}.$ Because for every $(a, b), (y, z)\in \chi \times \chi,$ there is $(k, l)\in \chi \times \chi$ so that

Because $\Xi$ is $\eta$-admissible, then by (2.9), we get

Since $k = k_{0}$ and $l = l_{0},$ we obtain

Hence,

So, by induction, we conclude that

for all $m\in \mathbb{N}.$ Analogously, one can obtain that $\eta \left((b, a), \left(l_{m}, k_{m}\right) \right) \geq 1.$ Therefore, the obtained results hold if $(a, b)\leq (k, l)$. Based on (2.9) and (2.10), we can write

Similarly, we get

Adding (2.11) and (2.12), we have

Thus,

for each $n\geq 1.$ As $m\rightarrow \infty$ in (2.13) and by Lemma 1.1, we have

which yields that

Similarly, one obtains

It follows from (2.14) and (2.15), we find that $a = y$ and $b = z.$ This proves that the CFP is unique.

Examples below support the theoretical results.

Example 2.1. (Linear case) Let $\varpi :\chi \times \chi \rightarrow \mathbb{R}$ be a usual metric on $\chi = [0, 1].$ Define the mappings $\Xi :\chi \times \chi \rightarrow \chi$ and $\eta :\chi ^{2}\times \chi ^{2}\rightarrow \lbrack 0, \infty)$ by $\Xi (a, b) = \frac{(a-b)}{32}$ and

for all $a, b, k, l\in \chi$, respectively. Consider

which implies that

Therefore, (2.1) is fulfilled with $\ell (\tau) = \frac{1}{\tau }$ and $\theta (\tau) = \frac{\tau }{2},$ for all $\tau > 0.$ Also, all the hypotheses of Theorem 2.1 are satisfied and $(0, 0)$ is the unique CFP of $\Xi.$

Example 2.2. (Nonlinear case) Let $\varpi :\chi \times \chi \rightarrow \mathbb{R}$ be the usual metric on $\chi = [0, 1].$ Define the mappings $\Xi :\chi \times \chi \rightarrow \chi$ and $\eta :\chi ^{2}\times \chi ^{2}\rightarrow \lbrack 0, \infty)$ by $\Xi (a, b) = \frac{1}{32}\left(\ln (1+a)-\ln (1+b)\right)$ and

for all $a, b, k, l\in \chi$, respectively. Then, we have

Note that we used the property $\ln \left(\frac{1+a}{1+k}\right) \leq \ln (1+(a-k)).$ Hence,

Therefore, (2.1) holds with $\ell (\tau) = \frac{1}{\tau }$ and $\theta (\tau) = \frac{\tau }{2},$ for all $\tau > 0.$ Furthermore, all the hypotheses of Theorem 2.1 are fulfilled and $(0, 0)$ is the unique CFP of $\Xi.$

3.   CFDEs with Mittag-Leffler kernel

In this section, we apply Theorem 2.2 to discuss the existence solution for the following Atangana–Baleanu fractional differential equation in the Caputo sense:

where $D^{\nu }$ is the Atangana-Baleanu derivative in the Caputo sense of order $\nu$ and $\varphi :I\times \chi \times \chi \rightarrow \chi$ is a continuous function with $\varphi (0, \sigma (0), \rho (0)) = 0.$

Let $\varpi :\chi \times \chi \rightarrow \lbrack 0, \infty)$ be a function defined by

where $\chi = C(I, \mathbb{R})$ represents the set of continuous functions. Define a partial order $\leq$ on $\chi$ by

It is clear that $(\chi, \leq, \varpi)$ is a complete POMS.

Now, to discuss the existence solution to the problem (3.1), we describe our hypotheses in the following theorem:

Theorem 3.1. Assume that:

$(h_{1})$ there is a continuous function $\varphi :I\times \chi \times \chi \rightarrow \chi$ so that

for $\aleph \in I,$ $\ell \in L,$ $\theta \in \Theta$ and $\sigma, \rho, \sigma ^{\ast }, \rho ^{\ast }\in \chi.$ Moreover, there exists $\Im :C^{2}(I)\times C^{2}(I)\rightarrow C(I)$ such that $\Im (\left(\sigma \left(\aleph \right), \rho \left(\aleph \right) \right), \left(\sigma ^{\ast }\left(\aleph \right), \rho ^{\ast }\left(\aleph \right) \right))\geq 0$ and $\Im (\left(\rho \left(\aleph \right), \sigma \left(\aleph \right) \right), \left(\rho ^{\ast }\left(\aleph \right), \sigma ^{\ast }\left(\aleph \right) \right))\geq 0,$ for each $\sigma, \rho, \sigma ^{\ast }, \rho ^{\ast }\in C(I)$ and $\aleph \in I;$

$(h_{2})$ there exist $\sigma _{1}, \rho _{1}\in C(I)$ with $\Im \left(\left(\sigma _{1}(\aleph), \rho _{1}(\aleph)\right), \left(\Xi \left(\sigma _{1}(\aleph), \rho _{1}(\aleph)\right), \Xi \left(\rho _{1}(\aleph), \sigma _{1}(\aleph)\right) \right) \right) \geq 0$ and $\Im \left(\left(\rho _{1}(\aleph), \sigma _{1}(\aleph)\right), \left(\Xi \left(\rho _{1}(\aleph), \sigma _{1}(\aleph)\right), \Xi \left(\sigma _{1}(\aleph), \rho _{1}(\aleph)\right) \right) \right) \geq 0,$ for $\aleph \in I,$ where $\Xi :C(I)\times C(I)\rightarrow C(I)$ is defined by

$(h_{3})$ for $\sigma, \rho, \sigma ^{\ast }, \rho ^{\ast }\in C(I)$ and $\aleph \in I,$ $\Im ((\sigma (\aleph), \rho (\aleph)), (\sigma ^{\ast }(\aleph),$ $\rho ^{\ast }(\aleph))) \geq 0$ and $\Im ((\rho (\aleph), \sigma (\aleph)),$ $(\rho ^{\ast }(\aleph), \sigma ^{\ast }(\aleph))) \geq 0$ implies

and

$(h_{4})$ if $\{\sigma _{m}\}, \{\rho _{m}\}\subseteq C(I),$ $\lim\limits_{m\rightarrow \infty }\sigma _{m} = \sigma,$ $\lim\limits_{m \rightarrow \infty }\rho _{m} = \rho$ in $C(I)$, $\Im (\left(\sigma _{m}, \rho _{m}\right), \left(\sigma _{m+1}, \rho _{m+1}\right))$ $\geq 0$ and $\Im (\left(\rho _{m}, \sigma _{m}\right),$ $\left(\rho _{m+1}, \sigma _{m+1}\right))\geq 0,$ then $\Im (\left(\sigma _{m}, \rho _{m}\right)$ $, \left(\sigma, \rho \right))\geq 0$ and $\Im (\left(\rho _{m}, \sigma _{m}\right)$ $, \left(\rho, \sigma \right))\geq 0,$ for all $m\in \mathbb{N}.$

Then there is at least one solution for the problem (3.1).

Proof. Effecting the Atangana-Baleanu integral to both sides of (3.1) and applying Lemma 1.2, we have

and

Now, we shall prove that the mapping $\Xi :C(I)\times C(I)\rightarrow C(I)$ has a CFP. From (1.1) and (1.2) and $(h_{1}),$ we get

Hence, for $\sigma, \rho \in C(I),$ $\aleph \in I,$ with $\Im \left(\left(\sigma (\aleph), \rho (\aleph)\right), \left(\sigma ^{\ast }(\aleph), \rho ^{\ast }(\aleph)\right) \right) \geq 0$ and $\Im \left(\left(\rho (\aleph), \sigma (\aleph)\right), \left(\rho ^{\ast }(\aleph), \sigma ^{\ast }(\aleph)\right) \right) \geq 0,$ we get

Define $\eta :C^{2}(I)\times C^{2}(I)\rightarrow \lbrack 0, \infty)$ by

So

Then, $\Xi$ is an $\eta _{\theta }^{\ell }$-coupled contraction mapping. Now, for each $\rho, \sigma, \rho ^{\ast }, \sigma ^{\ast }\in C(I)$ and $\aleph \in I,$ we have

due to definition of $\Im$ and $\eta.$ So, hypothesis $(h_{3})$ gives

for $\rho, \sigma, \rho ^{\ast }, \sigma ^{\ast }\in C(I).$ Therefore, $\Xi$ is $\eta$-admissible. From $(h_{2}),$ there are $\sigma _{0}, \rho _{0}\in C(I)$ with $\eta \left(\left(\sigma _{0}(\aleph), \rho _{0}(\aleph)\right), \Xi \left(\sigma _{0}(\aleph), \rho _{0}(\aleph)\right) \right) \geq 1$ and $\eta \left(\left(\rho _{0}(\aleph), \sigma _{0}(\aleph)\right), \Xi \left(\rho _{0}(\aleph), \sigma _{0}(\aleph)\right) \right) \geq 1.$ Using $(h_{4})$ and Theorem 2.2, we conclude that there is $(\widehat{ \sigma }, \widehat{\rho })\in C(I)$ with $\widehat{\sigma } = \Xi (\widehat{ \sigma }, \widehat{\rho })$ and $\widehat{\rho } = \Xi (\widehat{\rho }, \widehat{\sigma }),$ that is, $\Xi$ has a CFP, which is a solution of the system (3.1).

4.   Conclusions

Many physical phenomena can be described by nonlinear differential equations (both ODEs and PDEs), so the study of numerical and analytical methods used in solving nonlinear differential equations are an interesting topic for analyzing scientific engineering problems. From this perspective, some coupled fixed point results for the class of $\eta _{\theta }^{\ell }$-contractions in POMSs are obtained. These results are reinforced by their applications in a study of the existence of a solution for a CFDE with the Mittag-Leffler kernel. In the future, our findings may be applied to differential equations of an arbitrary fractional order, linear and nonlinear fractional integro-differential systems, Hadamard fractional derivatives, Caputo-Fabrizio's kernel, and so on.

Acknowledgments

This work was supported in part by the Basque Government under Grant IT1555-22.

Conflict of interest

The authors declare that they have no competing interests.