Full article: On system of nonlinear coupled differential equations and inclusions involving Caputo-type sequential derivatives of fractional order

Formulae display: $MathJax Logo$ ?Mathematical formulae have been encoded as MathML and are displayed in this HTML version using MathJax in order to improve their display. Uncheck the box to turn MathJax off. This feature requires Javascript. Click on a formula to zoom.

Abstract

We investigate a new class of boundary value problems of a nonlinear coupled system of sequential fractional differential equations and inclusions involving Caputo fractional derivatives and boundary conditions. We use standard fixed-point theory tools to deduce sufficient criteria for the existence and uniqueness of solutions to the problems at hand. Examples are discussed to illustrate the validity of the proposed results.

Keywords:

2010 Mathematics Subject Classifications:

1. Introduction

Fractional calculus has gotten a lot of attention over the last two decades. Consequently, there has been a burgeoning interest in the theory and applications of fractional differential equations (FDEs) under various types of initial and boundary conditions (BCs); see, for example [Citation1–11] and the references cited therein. The feature of fractional differentiation and integration has significantly improved the consideration of mathematical modellings of many real-life problems within fractional settings. As a result, it has been realized that this subject has applications in a wide range of technical and physical sciences, including electrodynamics of complex media, control theory ecology, viscoelasticity, biomathematics, electrical circuits, electroanalytical chemistry, aerodynamics and blood flow phenomena. For additional information, the reader can consult the papers [Citation12–24].

In the remarkable monograph [Citation25], the concept of two fractional order operators (i.e. Sequential Fractional Derivative (SFD)) was discussed. It has been recognized that SFDs and non-SFDs are inextricably linked and thus there have appeared some recent work on sequential fractional differential equations (SFDEs) [Citation26–30]. Apart from the study of fractional-order boundary value problems (BVPs) for equations and inclusions [Citation31–33], the study of systems of coupled FDEs has accelerated and attracted interested researchers. Examples on applications of coupled systems include disease models, Lorenz system, ecological models, Duffing system, synchronization of chaotic systems, etc. [Citation34–38]. For the theoretical development of coupled systems of FDEs, we refer the readers to [Citation39–41] and the references cited therein. In [Citation42, Citation43], the authors investigated SFDEs with different types of BCs. Sufficient conditions are utilized to demonstrate the consequence of existence and uniqueness to the analysed equation. Numerous mathematicians and applied researchers have attempted to use fractional calculus to model real-world processes. It has been deduced in biology that the membranes of biological organism cells have fractional-order electrical conductance [Citation44] and thus are classified in groups of non-integer-order models. Fractional derivatives are the most successful in the field of rheology because they embody essential features of cell rheological behaviour [Citation45]. In most biological systems, such as HIV infection, hepatitis C virus (HCV) infection, and cancer spread, fractional-order ordinary differential equations are naturally related to systems with long-time memory. Additionally, they are related to fractals, which occur frequently in biological systems. Wang and Li [Citation46] analysed the global dynamics of HIV infection of CD4+ cells. Arafal et al. [Citation47] studied fractional modelling dynamics of HIV and CD4+ T cells during primary infection. As a result, fractional-order differential equations are thought to be a better tool than integer-order differential equations for describing hereditary properties of various materials and processes. Fractional-order models have become more realistic and practical than their classical integer-order counterparts as a result of this advantage, and their dynamics behaviour is also as stable as their integer-order counterparts. Due to the fact that theoretical results can aid in the development of a more complete understanding of the dynamic behaviour of biological processes, the study of abstract fractional dynamic models is becoming increasingly relevant and important in the modern era. On the other hand, the BCs in (Equation1(1) ${\begin{cases} {^{C} D}^{α} u (t) = f (t, u (t), v (t)), t \in J = [0, T], \\ {^{C} D}^{β} v (t) = g (t, u (t), v (t)), t \in J = [0, T], \\ (u + v) (0) = - (u + v) (T), \int_{ξ}^{η} (u - v) (s) d s = A . \end{cases}$ (1) ) are referred to as coupled BCs; they are encountered in the study of reaction–diffusion equations, Sturm–Liouville problems and mathematical biology, among other fields [Citation48–50]. Recently in [Citation51], Ahmad et al. discussed the existence and uniqueness of coupled system of FDEs with a novel class of coupled boundary conditions specified by (1) ${\begin{cases} {^{C} D}^{α} u (t) = f (t, u (t), v (t)), t \in J = [0, T], \\ {^{C} D}^{β} v (t) = g (t, u (t), v (t)), t \in J = [0, T], \\ (u + v) (0) = - (u + v) (T), \int_{ξ}^{η} (u - v) (s) d s = A . \end{cases}$ (1) where ${^{C} D}^{χ}$ is the Caputo fractional derivatives (CFD) of order $χ \in {α, β}$ , $α, β \in (0, 1]$ , $f, g : [0, T] \times R^{2} \to R$ are continuous functions and A is nonnegative constant. The main results are established by converting the system (Equation1(1) ${\begin{cases} {^{C} D}^{α} u (t) = f (t, u (t), v (t)), t \in J = [0, T], \\ {^{C} D}^{β} v (t) = g (t, u (t), v (t)), t \in J = [0, T], \\ (u + v) (0) = - (u + v) (T), \int_{ξ}^{η} (u - v) (s) d s = A . \end{cases}$ (1) ) to a fixed point equivalent problem and solving it using standard fixed point theorems. As far as we know, the single-valued and multi-valued maps for the solutions of nonlinear coupled SFDEs with coupled boundary conditions have been rarely investigated. Motivated by the HIV infection model and its application background, we investigate the consequences of existence for a nonlinear coupled system of Caputo-type SFDEs subject to coupled boundary conditions of the form: (2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) where $ϖ \in {ϱ, ς}$ , $ϱ, ς \in (0, 1]$ , $H_{1}, H_{2} : [0, T] \times R^{2} \to R$ , $H_{1}, H_{2} : [0, T] \times R^{2} \to U (R)$ are continuous functions, $U (R)$ is the collection of non-empty subsets of $R$ , and ϕ is positive constant. Further existence investigation is carried out for the following nonlinear coupled differential inclusion (3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) under the same assumptions. Ahmad et al. [Citation51] reported the research to study the existence of positive solutions for nonlinear coupled system of fractional differential equations complemented with boundary conditions. We should point out that the term “sequential” is used in this context in the sense that the operator $^{C} D^{ϑ} + φ^{C} D^{ϑ - 1}$ can be written as the composition of the operators $^{C} D^{ϑ - 1} (D + φ)$ . In this article, authors have extend the boundary value problem of Ahmad et al. [Citation51] to nonlinear coupled system of sequential Caputo fractional differential equations and inclusions having the value of unknown functions v and w at the interval endpoints $[0, T]$ being zero, whereas the impact of the sum of the unknown functions on an arbitrary domain $(ϵ, δ)$ of the given interval $[0, T]$ remaining constant. Furthermore, the authors have emphasized the major results on existence, uniqueness of solutions for sequential fractional differential equations and inclusions compared against [Citation51]. Unlike the paper [Citation51], the main results of this paper are entirely different in the sense that we consider the main problems in frame of sequential fractional derivative, use different techniques based on Schaefer's, Banach's, Covitz-Nadler's, and nonlinear alternative for Kakutani fixed point theorems and investigate the nonlinear coupled differential inclusion (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ) which was not considered in [Citation51]. Additionally, to our knowledge, there are no published outcomes relating system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ). Section 2 provides essential preliminaries along with an auxiliary lemma that is critical for deriving the solution to the given problem. Section 3 is devoted to the main results in which we study the existence and uniqueness of solutions for systems (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) and (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ), separately. In Section 4, particular examples consistent with the studied systems and the main theorems are provided.

2. Preliminaries

This section explores several definitions of multi-valued maps and lemmas that are necessary for proving the primary results [Citation13, Citation16, Citation52, Citation53].

Let $(W, ‖ \cdot ‖)$ be a normed space and that $U_{c l} (W) = {M \in U (W) : M is closed}$ , $U_{c, c p} (W) = {M \in U (W) : M is convex and compact}$ .

A multi-valued map $K : W \to U (W)$ is

convex valued if $K (s)$ is convex $\forall s \in W$ ;
upper semi-continuous (u.s.c.) on $W$ if, for each $w_{0} \in W$ ; the set $K (w_{0})$ is a non-empty closed subset of $W$ and if, for each open set $T$ of $W$ containing $K (w_{0})$ , there exists an open neighbourhood $T_{0}$ of $w_{0}$ such that $K (T_{0}) \subset T$ ;
lower semi-continuous (l.s.c.) if the set ${m \in W : K (m) \cap A \neq ⊘}$ is open for any open set $A$ in $F$ ;
completely continuous (c.c) if $K (A)$ is relatively compact (r.c) for every $A \in U_{b} (W) = {M \in U (W) : M is bounded}$ .

A map $K : [c, d] \to U_{c l} (R)$ of multi-valued is said to be measurable if, for every $m \in R$ , the function $ι ⟼ d (m, K (ι)) = inf {| m - k | : k \in K (ι)}$ is measurable.

A multi-valued map $K : [c, d] \times R \to U (R)$ is said to be Caratheodory if

$ι ⟼ K (ι, s, m)$ is measurable for each $s, m \in R$ ;
$(s, m) ⟼ K (ι, s, m)$ is u.s.c for almost all $ι \in [c, d]$ .

Further a Caratheodory function $K$ is called $L^{1}$ -Caratheodory if

for each $ϵ > 0$ , ∃ $ψ_{ϵ} L^{1} ([c, d], R^{+})$ ∋ $‖ K (ι, s, m) ‖ = sup {| s | : s \in K (ι, s, m) \leq ψ_{ϵ} (ι)}$ $\forall s, m \in R$ with $‖ s ‖, ‖ m ‖ \leq ϵ$ and for a.e. $ι \in [c, d]$ .

Definition 2.1

The Riemann–Liouville fractional integral of order ϱ with the lower limit zero for a function $f : [0, \infty) \to R$ is defined as $I^{ϱ} f (ι) = \frac{1}{Γ (ϱ)} \int_{0}^{ι} \frac{f (θ)}{(ι - θ)^{1 - ϱ}} d θ, ι > 0, ϱ > 0,$ provided the RHS is point-wise defined on $[0, \infty)$ , where $Γ (\cdot)$ is the gamma function, which is defined by $Γ (ϱ) = \int_{0}^{\infty} ι^{ϱ - 1} e^{- ι} d ι$ . Note that the above integral exists on $[0, \infty)$ when $f \in C ([0, \infty), R)$ .

Definition 2.2

The Riemann–Liouville fractional derivative of order $ϱ > 0$ , $n - 1 < ϱ < n$ , $n \in N$ for a function $f : [0, \infty) \to R$ is defined as $D_{0 +}^{ϱ} f (ι) = \frac{1}{Γ (n - ϱ)} {(\frac{d}{d ι})}^{n} \int_{0}^{ι} (ι - θ)^{n - ϱ - 1} f (θ) d θ .$ Notice that the Riemann–Liouville fractional derivative of order $ϱ \in [n - 1, n)$ exists almost everywhere on $[0, \infty)$ if $f \in {A C}^{n} ([0, \infty), R)$ .

Definition 2.3

The Caputo derivative of order $ϱ \in [n - 1, n)$ for a function $f : [0, \infty) \to R$ can be written as $\begin{aligned} {^{C} D}_{0 +}^{ϱ} f (ι) & = D_{0 +}^{ϱ} (f (ι) - \sum_{k = 0}^{n - 1} \frac{ι^{k}}{k!} f^{k} (0)), ι > 0, \\ n - 1 < ϱ < n . \end{aligned}$ Note that the Caputo fractional derivative of order $ϱ \in [n - 1, n)$ exists almost everywhere on $[0, \infty)$ if $f \in {A C}^{n} ([0, \infty), R)$ .

Lemma 2.1

[Citation54]

Let $E$ a closed convex subset of a Banach space $H$ and $F$ be an open subset of $E$ with $0 \in F$ . In addition, $G : \hat{F} \to S_{c, c p} (E)$ is an u.s.c compact map. Then either

$G$ has fixed point in $\hat{F}$ or
∃ $u \in \partial F$ and $μ \in (0, 1)$ such that $u \in μ G (u)$ .

Lemma 2.2

[Citation55]

Let $(H, d)$ be a complete metric space. If $K : H \to S_{c l} (H)$ is a contraction, then Fix $K \neq 0$ .

Lemma 2.3

[Citation56]

Let $H : W \to W$ be a completely continuous operator in Banach Space $W$ and the set $Ω = {x \in W | x = γ H x, 0 < γ < 1}$ is bounded. Then $H$ has a fixed point in $W$ .

Lemma 2.4

Let $H_{1}, H_{2} \in C (S, R)$ and $v, w \in C (S, R)$ . Then the integral solution for the linear system of SFDEs: (4) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) = H_{1} (ι), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) = H_{2} (ι), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (4) is given by (5) $\begin{aligned} v (ι) & = [\frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ], \end{aligned}$ (5) (6) $\begin{aligned} w (ι) & = [\frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ], \end{aligned}$ (6)

Proof.

As argued in [Citation43], the general solution of the system (Equation4(4) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) = H_{1} (ι), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) = H_{2} (ι), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (4) ) can be written as (7) $\begin{aligned} v (ι) & = c_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ϱ - 2)}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ, \\ w (ι) & = d_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ς - 2)}}{Γ (ς - 1)} H_{2} (a) d a) d θ, \end{aligned}$ (7) where $c_{0}, d_{0}$ are arbitrary constants. Using BCs (Equation4(4) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) = H_{1} (ι), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) = H_{2} (ι), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (4) ) in (Equation7(7) $\begin{aligned} v (ι) & = c_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ϱ - 2)}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ, \\ w (ι) & = d_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ς - 2)}}{Γ (ς - 1)} H_{2} (a) d a) d θ, \end{aligned}$ (7) ), we obtain (8) $\begin{aligned} c_{0} & = \frac{1}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]}, \end{aligned}$ (8) and (9) $\begin{aligned} d_{0} & = \frac{1}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]} . \end{aligned}$ (9) The solutions (Equation5(5) $\begin{aligned} v (ι) & = [\frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ], \end{aligned}$ (5) ) and (Equation6(6) $\begin{aligned} w (ι) & = [\frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m) d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a) d a) d θ], \end{aligned}$ (6) ) are obtained by substituting the values of $c_{0}$ and $d_{0}$ in (Equation7(7) $\begin{aligned} v (ι) & = c_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ϱ - 2)}}{Γ (ϱ - 1)} H_{1} (a) d a) d θ, \\ w (ι) & = d_{0} e^{- φ ι} + \int_{0}^{ι} e^{- φ (ι - s)} \\ \times (\int_{0}^{ι} \frac{(s - a)^{(ς - 2)}}{Γ (ς - 1)} H_{2} (a) d a) d θ, \end{aligned}$ (7) ) respectively.

3. Main results

The main results are stated and proved in this section. The results are carried out separately for systems (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) and (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ).

3.1. Existence results for system (2)

Define $W = C (S, R) \times C (S, R)$ as the Banach space endowed with norm $‖ (v, w) ‖ = sup_{ι \in S} | v (ι) | + sup_{ι \in S} | w (ι) |$ , for $(v, w) \in W$ . Using Lemma 2.4, we convert system (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) into a fixed point problem as $v = Ψ v$ , the following operator $Ψ : W \to W$ is defined by (10) $Ψ (v, w) (ι) = (Ψ_{1} (v, w) (ι), Ψ_{2} (v, w) (ι)),$ (10) where (11) $\begin{aligned} Ψ_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a, v (a), w (a)) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a, v (a), w (a)) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m, v (m), w (m)) d m) \\ d a) d θ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m, v (m), w (m)) d m) \\ d a) d θ)]} + \int_{0}^{ι} e^{- φ (ι - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a, v (a), w (a)) d a) d θ, \end{aligned}$ (11) and (12) $\begin{aligned} Ψ_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (a, v (a), w (a)) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a, v (a), w (a)) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} H_{1} (m, v (m), w (m)) d m) \\ d a) d θ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} H_{2} (m, v (m), w (m)) d m) \\ d a) d θ)]} + \int_{0}^{ι} e^{- φ (ι - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} H_{2} (a, v (a), w (a)) d a) d θ . \end{aligned}$ (12) Following that, we initiate the hypotheses that will be used to demonstrate the paper's primary research results.

Let $H_{1}, H_{2} : S \times R^{2} \to R$ be continuous functions.

(Q1)	There exist continuous positive functions $γ_{i}, k_{i} \in C (S, R^{+}), i = 1, 2, 3$ , such that $\begin{aligned} \| H_{1} (ι, v, w) \| \\ \leq γ_{1} (ι) + γ_{2} (ι) \| v \| + γ_{3} (ι) \| w \| \\ for all (ι, v, w) \in S \times R^{2}, \\ \| H_{2} (ι, v, w) \| \\ \leq k_{1} (ι) + k_{2} (ι) \| v \| + k_{3} (ι) \| w \| \\ for all (ι, v, w) \in S \times R^{2} . \end{aligned}$
(Q2)	There exist non-negative constants $L_{1}, L_{2}$ , $K_{1}$ and $K_{2}$ such that, $\forall ι \in S$ $p_{i}, q_{i} \in R, i = 1, 2.$ $\begin{aligned} \| H_{1} (ι, p_{1}, q_{1}) - H_{1} (ι, p_{2}, q_{2}) \| \\ \leq (L_{1} \| p_{1} - p_{2} \| + L_{2} \| q_{1} - q_{2} \|), for all ι \in S, \\ \| H_{1} (ι, p_{1}, q_{1}) - H_{2} (ι, p_{2}, q_{2}) \| \\ \leq (K_{1} \| p_{1} - p_{2} \| + K_{2} \| q_{1} - q_{2} \|), for all ι \in S . \end{aligned}$ To facilitate the computation, we introduce the notation: (13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) (14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) and $\begin{aligned} Φ & = min {1 - [\| \| γ_{2} \| \| (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + \| \| k_{2} \| \| (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))], \\ 1 - [\| \| γ_{3} \| \| (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + \| \| k_{3} \| \| (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))]} . \end{aligned}$ In this portion, we prove the consequence of the existence of the BVP (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) via Schaefer's fixed point theorem [Citation56].

Theorem 3.1

Suppose that $(Q_{1})$ holds. Furthermore, the assumption is that (15) $\begin{aligned} | | γ_{2} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{2} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \\ | | γ_{3} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{3} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \end{aligned}$ (15) where $Υ_{1}, Υ_{2}$ are defined by (Equation13(13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) ) and (Equation14(14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) ). Then the problem (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) has at least one solution on $S$ .

Proof.

We begin by demonstrating that the operator $Ψ : W$ $\to$ $W$ is c.c. Note that Ψ is continuous as the functions $H_{1}$ and $H_{2}$ are continuous. Now let $Ω_{\bar{r}} \subset W$ be bounded. Then ∃ positive constants $L_{H_{1}}$ and $L_{H_{2}}$ such that $\begin{aligned} | H_{1} (ι, v (ι), w (ι)) | \leq L_{H_{1}}, | H_{2} (ι, v (ι), w (ι)) | \leq L_{H_{2}}, \end{aligned}$ for all $(v, w) \in Ω_{\bar{r}}, ι \in S$ , we have $\begin{aligned} | Ψ_{1} (v, w) (ι) | \\ \leq L_{H_{1}} (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + L_{H_{2}} Υ_{2} + \frac{φ ϕ}{e^{- φ δ} - e^{- φ ϵ}}, \\ | Ψ_{2} (v, w) (ι) | \\ \leq L_{H_{1}} Υ_{1} + L_{H_{2}} (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + \frac{φ ϕ}{e^{- φ δ} - e^{- φ ϵ}} . \end{aligned}$ Thus $\begin{aligned} | | Ψ (v, w) | | & = | | Ψ_{1} (v, w) | | + | | Ψ_{2} (v, w) | | \\ \leq L_{H_{1}} (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + L_{H_{2}} (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + \frac{2 φ ϕ}{e^{- φ δ} - e^{- φ ϵ}} . \end{aligned}$ Thus the operator Ψ is uniformly bounded as a result of the preceding inequality. Let Ψ prove that it determines bounded sets into equicontinuous sets of $W$ , let $ι_{1}, ι_{2} \in [0, T]$ , $ι_{1} < ι_{2},$ and $(v, u \in$ $Ω_{\bar{r}}$ ). Then $\begin{aligned} | Ψ_{1} (v, w) (ι_{2}) - Ψ_{1} (v, w) (ι_{1}) | \\ \leq | \frac{e^{- φ ι_{2}} - e^{- φ ι_{1}}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d m) \\ d a) d θ)]} | + | \int_{0}^{ι_{1}} (e^{- φ (ι_{2} - θ)} - e^{- φ (ι_{1} - θ)}) \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d a) d θ \\ + \int_{ι_{1}}^{ι_{2}} e^{- φ (ι_{2} - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d a) d θ | . \end{aligned}$ Analogously, we can obtain $\begin{aligned} | Ψ_{2} (v, w) (ι_{2}) - Ψ_{2} (v, w) (ι_{1}) | \\ \leq | \frac{e^{- φ ι_{2}} - e^{- φ ι_{1}}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} L_{H_{1}} d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d m) \\ d a) d θ)]} | + | \int_{0}^{ι_{1}} (e^{- φ (ι_{2} - θ)} - e^{- φ (ι_{1} - θ)}) \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d a) d θ \\ + \int_{ι_{1}}^{ι_{2}} e^{- φ (ι_{2} - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} L_{H_{2}} d a) d θ | . \end{aligned}$ Take note that in the limit $ι_{1} \to ι_{2}$ , the RHS of the preceding inequalities tends to zero independently of $(v, w) \in Ω_{\bar{r}}$ . Thus the operator $Ψ (v, w)$ is equicontinuous, and hence by, Arzela–Ascoli theorem, $Ψ (v, w)$ is c.c. Next, it will be verified that the set $Θ = {(v, w) \in W | (v, w) = γ Ψ (v, w), 0 < γ < 1}$ is bounded. For any $ι \in S$ , we have $v (ι) = γ Ψ_{1} (v, w) (ι), w (ι) = γ Ψ_{2} (v, w) (ι) .$ Using $Υ_{1}, Υ_{2}$ defined by (Equation13(13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) )–(Equation14(14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) ), we get $\begin{aligned} | v (ι) | & = γ | Ψ_{1} (v, w) (ι) | \\ \leq (| | γ_{1} | | + | | γ_{2} | | | | v | | + | | γ_{3} | | | | w | |) \\ \times (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + (| |_{1} | | + | | k_{2} | | | | v | | + | | k_{3} | | | | w | |) Υ_{2} \\ + \frac{φ ϕ}{e^{- φ δ} - e^{- φ ϵ}}, \\ | w (ι) | & = γ | Ψ_{2} (v, w) (ι) | \\ \leq (| | γ_{1} | | + | | γ_{2} | | | | v | | + | | γ_{3} | | | | w | |) Υ_{1} \\ + (| |_{1} | | + | | k_{2} | | | | v | | + | | k_{3} | | | | w | |) \\ \times (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + \frac{φ ϕ}{e^{- φ δ} - e^{- φ ϵ}} . \end{aligned}$ In consequence, we get $\begin{aligned} | | v | | + | | w | | \\ \leq | | γ_{1} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{1} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + \frac{2 φ ϕ}{e^{- φ δ} - e^{- φ ϵ}} \\ + [| | γ_{2} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{2} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))] | | v | | \\ + [| | γ_{3} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{3} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))] | | w | | . \end{aligned}$ Then, using Equation (Equation15(15) $\begin{aligned} | | γ_{2} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{2} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \\ | | γ_{3} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{3} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \end{aligned}$ (15) ), we conclude that $| | (v, w) | | \leq \frac{\begin{matrix} | | γ_{1} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{1} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + \frac{2 φ ϕ}{e^{- φ δ} - e^{- φ ϵ}} \end{matrix}}{Φ} .$ This demonstrates that the set Θ is bounded. Hence, by Schaefer's fixed point theorem, there exists a solution of (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ).

Next, we express our second result, which is based on Banach's fixed point theorem and concerns the existence of a unique solution to (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ).

Theorem 3.2

Suppose that $(Q_{2})$ hold and that (16) $\begin{aligned} C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \end{aligned}$ (16) where $C = max {C_{1}, C_{2}}$ , $K = max {K_{1}, K_{2}}$ and $Υ_{i}, i = 1, 2$ are defined by (Equation13(13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) )–(Equation14(14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) ). Then the problem (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) has a unique solution.

Proof.

Let us choose $M_{1} = sup_{ι \in [0, T]} | H_{1} (ι, 0, 0) |$ , and $M_{2} = sup_{ι \in [0, T]} | H_{2} (ι, 0, 0) |$ and fix $r > \frac{\begin{matrix} M_{1} (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + M_{2} (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \end{matrix}}{\begin{matrix} 1 - (C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))) \end{matrix}} .$ Then we show that $Ψ B_{r} \subset B_{r},$ where $B_{r} = {(v, w) \in W : | | (v, w) | | \leq r}$ , we have $\begin{aligned} | Ψ_{1} (v, w) (ι) | \\ \leq [\frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} [| H_{1} (a, v (a), w (a)) \\ - H_{1} (a, 0, 0) | + M_{1}] d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} \\ \times [| H_{2} (a, v (a), w (a)) - H_{2} (a, 0, 0) | \\ + M_{2}] d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} [| H_{1} (m, v (m), w (m) \\ - H_{1} (m, 0, 0)) | + M_{1}] d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} \\ \times [| H_{2} (m, v (m), w (m)) \\ - H_{2} (m, 0, 0) | + M_{2}] d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} \\ \times [| H_{1} (a, v (a), w (a)) - H_{1} (a, 0, 0) |] \\ + M_{1}] d a) d θ], \\ \leq (C (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) + K Υ_{2}) \\ \times (| | v | | + | | w | |) \\ + M_{1} (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) + M_{2} Υ_{2}, \end{aligned}$ which leads to $\begin{aligned} ‖ Ψ_{1} (v, w) ‖ \\ \leq (C (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) + K Υ_{2}) \\ \times (| | v | | + | | w | |) \\ + M_{1} (Υ_{1} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) + M_{2} Υ_{2} . \end{aligned}$ when the norm for $ι \in S$ . Equivalently, for $(v, w)) \in B_{r}$ , one can obtain $\begin{aligned} ‖ Ψ_{2} (v, w) ‖ \\ \leq (K (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) + C Υ_{1}) \\ \times (| | v | | + | | w | |) \\ + M_{2} (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) + M_{1} Υ_{1} . \end{aligned}$ Therefore, for any $(v, w) \in B_{r}$ , we have $\begin{aligned} | | (Ψ (v, w)) | | \\ = | | (Ψ_{1} (v, w)) | | + | | (Ψ_{2} (v, w)) | | \\ \leq (C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (2 Υ_{2} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T}))) (| | v | | + | | w | |) \\ + M_{1} (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + M_{2} (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < r . \end{aligned}$ which demonstrates that Ψ maps $B_{r}$ into itself. To demonstrate that the operator Ψ is a contraction, let $(p_{1}, q_{1}), (p_{2}, q_{2}) \in W, ι \in S$ . Then, in view of $(Q_{2})$ , we obtain

$\begin{aligned} | (Ψ_{1} (p_{1}, q_{1})) - (Ψ_{1} (p_{2}, q_{2})) | \\ \leq [\frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | H_{1} (a, p_{1} (a), q_{1} (a)) \\ - H_{1} (a, p_{2} (a), q_{2} (a)) | d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} | H_{2} (a, p_{1} (a), q_{1} (a)) \\ - H_{2} (a, p_{2} (a), q_{2} (a)) | d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} | H_{1} (m, p_{1} (m), q_{1} (m)) \\ - H_{1} (m, p_{2} (m), q_{2} (m)) | d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} | H_{2} (m, p_{1} (m), q_{1} (m)) \\ - H_{1} (m, p_{2} (m), q_{2} (m)) | d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | H_{1} (a, p_{1} (a), \\ q_{1} (a)) - H_{1} (a, p_{2} (a), q_{2} (a)) | d a) d θ], \\ \leq (C (Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) + K Υ_{2}) \\ \times (| | v | | + | | w | |), \end{aligned}$ $\begin{aligned} | (Ψ_{2} (p_{1}, q_{1})) - (Ψ_{2} (p_{2}, q_{2})) | \\ \leq [\frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | H_{1} (a, p_{1} (a), q_{1} (a)) \\ - H_{1} (a, p_{2} (a), q_{2} (a)) | d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} | H_{2} (a, p_{1} (a), q_{1} (a)) \\ - H_{2} (a, p_{2} (a), q_{2} (a)) | d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} {ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} | H_{1} (m, p_{1} (m), q_{1} (m)) \\ - H_{1} (m, p_{2} (m), q_{2} (m)) | d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} | H_{2} (m, p_{1} (m), q_{1} (m)) \\ - H_{1} (m, p_{2} (m), q_{2} (m)) | d m) d a) d θ}]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} | H_{2} (a, p_{1} (a), q_{1} (a)) \\ - H_{2} (a, p_{2} (a), q_{2} (a)) | d a) d θ], \\ \leq (K (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) + C Υ_{1}) \\ \times (| | v | | + | | w | |) . \end{aligned}$ Clearly, the preceding inequalities imply that $\begin{aligned} | | (Ψ (p_{1}, q_{1})) - (Ψ (p_{2}, q_{2})) | | \\ = ‖ (Ψ_{1} (p_{1}, q_{1})) - (Ψ_{1} (p_{2}, q_{2})) ‖ \\ + ‖ (Ψ_{2} (p_{1}, q_{1})) - (Ψ_{2} (p_{2}, q_{2})) ‖ \\ \leq (C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))) \\ \times | | (p_{1} - p_{2}, q_{1} - q_{2}) | | . \end{aligned}$ As a result, in light of the assumption (Equation16(16) $\begin{aligned} C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \end{aligned}$ (16) ), the operator \Psi is a contraction. As a result of Banach's contraction mapping theorem, Ψ has an unique fixed point. This demonstrates that system (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) has a unique solution on $S$ .

If $γ_{2} (ι) = γ_{3} (ι) \equiv 0$ and $k_{2} (ι) = k_{2} (ι) \equiv 0$ are valid, then Theorem (3.1) has the special case form shown below.

Remark 3.1

There exist positive functions $γ_{1}, k_{1} \in C (S, R^{+})$ and $H_{1}, H_{2} : S \times R^{2} \to R$ which are continuous functions such that $\begin{aligned} | H_{1} (ι, v, w) | & \leq ω_{1} (ι), \\ | H_{2} (ι, v, w) | & \leq ϵ_{1} (ι) \\ for all (ι, v, w) \in S \times R^{2}; \end{aligned}$ Then system (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) has at least one solution on $S$ .

Remark 3.2

According to the assumptions of Theorem 3.1, if $γ_{i} (ι) = ω_{i}, k_{i} (ι) = ϵ_{i}, i = 1, 2, 3$

$(ϵ_{i} and ω_{i}$ non-negative constants, and the criteria of the functions $H_{1}, H_{2}$ have the following form:

$(Q_{1}^{'})$ there are real constants $ω_{i}, ϵ_{i} > 0, i = 1, 2, 3,$ so $\begin{aligned} | H_{1} (ι, v, w) | \\ \leq ω_{1} + ω_{2} | v | + ω_{3} | w | for all (ι, v, w) \in S \times R^{2}, \\ | H_{2} (ι, v, w) | \\ \leq ϵ_{1} + ϵ_{2} | v | + ϵ_{3} | w | for all (ι, v, w) \in S \times R^{2}; \end{aligned}$ and (Equation15(15) $\begin{aligned} | | γ_{2} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{2} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \\ | | γ_{3} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{3} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \end{aligned}$ (15) ) becomes $\begin{aligned} ω_{2} (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + ϵ_{2} (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1, \\ ω_{3} (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + ϵ_{3} (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) < 1. \end{aligned}$

3.2. Existence results for system (3)

Definition 3.1

A function $(v, w) \in C^{2} (S, R) \times C^{2} (S, R)$ satisfying the BCs $(v + w) (0) = - (v + w) (T), \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ$ and for which ∃ functions $h_{1}, h_{2} \in L^{1} (S, R)$ ∋ $h_{1} (ι) \in H_{1} (ι, v (ι), w (ι)), h_{2} (ι) \in H_{2} (ι, v (ι), w (ι))$ , a.e on $ι \in S$ and (17) $\begin{aligned} v (ι) & = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (17) and (18) $\begin{aligned} w (ι) & = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ, \end{aligned}$ (18) is referred to as a coupled solution for system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ). Let $\begin{aligned} V_{H_{1} (v, w)} & = {h_{1} \in L^{1} (S, R) : h_{1} (ι) \in H_{1} (ι, v (ι), w (ι)), \\ f o r a . e ι \in S}, \end{aligned}$ and $\begin{aligned} V_{H_{2} (v, w)} & = {h_{2} \in L^{1} (S, R) : h_{2} (ι) \in H_{2} (ι, v (ι), w (ι)), \\ f o r a . e ι \in S}, \end{aligned}$ define the sets of $H_{1}, H_{2}$ selections for each $(v, w) \in W \times W$ . Using Lemma 2.4, the following operators $Λ_{1}, Λ_{2} : W \times W \to U (W \times W)$ are defined by: (19) $\begin{aligned} Λ_{1} (v, w) (ι) & = {g_{1} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{1} (v, w) (ι) \\ = P_{1} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (19) and (20) $\begin{aligned} Λ_{2} (v, w) (ι) & = {g_{2} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{2} (v, w) (ι) \\ = P_{2} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (20) where (21) $\begin{aligned} P_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (21) and (22) $\begin{aligned} P_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ (22)

Following that, we define the operator $Λ : W \times W \to U (W \times W)$ by $Λ (v, w) (ι) = (\begin{matrix} Λ_{1} (v, w) (ι) \\ Λ_{2} (v, w) (ι) \end{matrix})$ where $Λ_{1}$ and $Λ_{2}$ are defined in (Equation19(19) $\begin{aligned} Λ_{1} (v, w) (ι) & = {g_{1} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{1} (v, w) (ι) \\ = P_{1} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (19) ) and (Equation20(20) $\begin{aligned} Λ_{2} (v, w) (ι) & = {g_{2} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{2} (v, w) (ι) \\ = P_{2} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (20) ), respectively.

In this portion, we prove the existence of solutions for the BVP (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ) via nonlinear alternative of Leray–Schauder [Citation55]. Following that, we initiate the assumptions that will be used to demonstrate the paper's primary research results.

(Q3)	$H_{1}, H_{2} : S \times R^{2} \to U (R)$ are $L^{1}$ -Caratheodory and have convex values.
(Q4)	∃ continuous increasing functions $γ_{1}, γ_{2}, k_{1}, k_{2} : [0, \infty) \to [0, \infty)$ and functions $l_{1}, l_{2} \in C (S, R^{+})$ , such that $\begin{aligned} ‖ H_{1} (ι, v, w) ‖_{U} \\ := s u p {\| h_{1} \| : h_{1} \in H_{1} (ι, v, w)} \\ \leq l_{1} (ι) [γ_{1} (‖ v ‖) + k_{1} (‖ w ‖)] \\ for each (ι, v, w) \in S \times R^{2}, \\ ‖ H_{2} (ι, v, w) ‖_{U} \\ := s u p {\| h_{2} \| : h_{2} \in H_{2} (ι, v, w)} \\ \leq l_{2} (ι) [γ_{2} (‖ v ‖) + k_{2} (‖ w ‖)] \\ for each (ι, v, w) \in S \times R^{2} . \end{aligned}$
(Q5)	∃ a constant $Z > 0$ such that $\frac{Z}{\begin{matrix} (2 Υ_{1}) ‖ l_{1} ‖ (γ_{1} (Z) + k_{1} (Z)) \\ + (2 Υ_{2}) ‖ l_{2} ‖ (γ_{2} (Z) + k_{2} (Z)) \end{matrix}} > 1,$ where $Υ_{1}, Υ_{2}$ are defined by (Equation13(13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) ) and (Equation14(14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) ).
(Q6)	$H_{1}, H_{2} : S \times R^{2} \to U_{c p} (R)$ are such that $H_{1} (\cdot, v, w) : S \to U_{c p} (R^{2})$ and $H_{2} (\cdot, v, w) : S \to U_{c p} (R^{2})$ are measurable for each $v, w \in R$ .
(Q7)	$\begin{aligned} G_{d} (H_{1} (ι, v, w), H_{1} (ι, \hat{v}, \hat{w})) \\ \leq s_{1} (ι) (\| v - \hat{v} \| + \| w - \hat{w} \|), \end{aligned}$ and $\begin{aligned} G_{d} (H_{2} (ι, v, w), H_{2} (ι, \hat{v}, \hat{w})) \\ \leq s_{2} (ι) (\| v - \hat{v} \| + \| w - \hat{w} \|), \end{aligned}$ ∀ $ι \in S$ and $v, w, \hat{v}, \hat{w} \in R$ with $s_{1}, s_{2} \in C (S, R^{+})$ and $d (0, H_{1} (ι, 0, 0)) \leq s_{1} (ι)$ , $d (0, H_{2} (ι, 0, 0)) \leq s_{2} (ι)$ ∀ $ι \in S$ .

Theorem 3.3

Assume that $(Q_{3})$ , $(Q_{4})$ and $(Q_{5})$ holds. Then system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ) has at least one solution on $S$ .

Proof.

Consider $Λ_{1}, Λ_{2} : W \times W \to U (W \times W)$ the operators which is given by (Equation19(19) $\begin{aligned} Λ_{1} (v, w) (ι) & = {g_{1} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{1} (v, w) (ι) \\ = P_{1} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (19) ) and (Equation20(20) $\begin{aligned} Λ_{2} (v, w) (ι) & = {g_{2} \in W \times W : \exists h_{1} \in V_{H_{1} (v, w)}, \\ h_{2} \in V_{H_{2} (v, w)} ∋ g_{2} (v, w) (ι) \\ = P_{2} (v, w) (ι), \forall ι \in S}, \end{aligned}$ (20) ) respectively. Using the assumption $(Q_{3})$ , the sets $V_{H_{1} (v, w)}$ and $V_{H_{2} (v, w)}$ are non-empty for each $(v, w) \in W \times W$ . Then, for $h_{1} \in V_{H_{1} (v, w)}$ , $h_{2} \in V_{H_{2} (v, w)}$ for $(v, w) \in W \times W$ , we have (23) $\begin{aligned} g_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (23) and (24) $\begin{aligned} g_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ, \end{aligned}$ (24) where $g_{1} \in Λ_{1} (v, w)$ , $g_{2} \in Λ_{2} (v, w)$ , and so $(g_{1}, g_{2}) \in Λ (v, w)$ . The operator Λ will be shown to satisfy the Leray–Schauder nonlinear alternative hypotheses in several steps. To begin, we demonstrate that $Λ (v, w)$ has a convex value. Let $(g_{i}, {\hat{g}}_{i}) \in (Λ_{1}, Λ_{2})$ , i = 1, 2. Then ∃ ${h_{1}}_{i} \in V_{H_{1} (v, w)}$ , ${h_{2}}_{i} \in V_{H_{2} (v, w)}$ , i = 1, 2, ∋ for each $ι \in S$ , we have (25) $\begin{aligned} g_{i} (ι) & = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (25) and (26) $\begin{aligned} {\hat{g}}_{i} (ι) & = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ (26) Let $0 \leq ν \leq 1$ . Then, for each $ι \in S$ , we have (27) $\begin{aligned} [ν g_{1} + (1 - ν) g_{2}] (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} [ν {h_{1}}_{1} (a) \\ + (1 - ν) {h_{1}}_{2} (a)] d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} [ν {h_{2}}_{1} (a) \\ + (1 - ν) {h_{2}}_{2} (a)] d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} [ν {h_{1}}_{1} (m) \\ + (1 - ν) {h_{1}}_{2} (m)] d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} [ν {h_{2}}_{1} (m) \\ + (1 - ν) {h_{2}}_{2} (m)] d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} [ν {h_{1}}_{1} (a) \\ + (1 - ν) {h_{1}}_{2} (a)] d a) d θ, \end{aligned}$ (27) and (28) $\begin{aligned} [ν {\hat{g}}_{1} + (1 - ν) {\hat{g}}_{2}] (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} [ν {h_{1}}_{1} (a) \\ + (1 - ν) {h_{1}}_{2} (a)] d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} [ν {h_{2}}_{1} (a) \\ + (1 - ν) {h_{2}}_{2} (a)] d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} [ν {h_{1}}_{1} (m) \\ + (1 - ν) {h_{1}}_{2} (m)] d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} [ν {h_{2}}_{1} (m) \\ + (1 - ν) {h_{2}}_{2} (m)] d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} [ν {h_{2}}_{1} (a) \\ + (1 - ν) {h_{2}}_{2} (a)] d a) d θ . \end{aligned}$ (28) We may deduce that $V_{H_{1} (v, w)}$ and $V_{H_{2} (v, w)}$ have convex values since $H_{1}$ and $H_{2}$ have convex values. Clearly, $ν g_{1} + (1 - ν) g_{2} \in Λ_{1}$ , $ν {\hat{g}}_{1} + (1 - ν) {\hat{g}}_{2} \in Λ_{2}$ , and thus $ν (g_{1}, {\hat{g}}_{1}) + (1 - ν) (g_{2}, {\hat{g}}_{2}) \in Λ$ . For a non-negative number $r$ , let $B_{r} = {(v, w) \in W \times W : ‖ v, w ‖ \leq r}$ be a bounded set in $W \times W$ . Then ∃ $h_{1} \in V_{H_{1} (v, w)}$ , $h_{2} \in V_{H_{2} (v, w)}$ such that (29) $\begin{aligned} g_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (29) and (30) $\begin{aligned} g_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ (30) Then we have $\begin{aligned} | g_{1} (v, w) (ι) | \\ \leq \frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{1} (a) | d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} | h_{2} (a) | d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{1} (m) | d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} | h_{2} (m) | d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{1} (a) | d a) d θ \\ \leq \frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} ‖ l_{1} ‖ (γ_{1} (r) + k_{1} (r)) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} ‖ l_{2} ‖ (γ_{2} (r) \\ + k_{2} (r)) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} ‖ l_{1} ‖ (γ_{1} (r) \\ + k_{1} (r)) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} ‖ l_{2} ‖ (γ_{2} (r) \\ + k_{2} (r)) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} ‖ l_{1} ‖ (γ_{1} (r) \\ + k_{1} (r)) d a) d θ \\ = Υ_{1} ‖ l_{1} ‖ (γ_{1} (r) + k_{1} (r)) + Υ_{2} ‖ l_{2} ‖ (γ_{2} (r) + k_{2} (r)) \end{aligned}$ and $\begin{aligned} | g_{2} (v, w) (ι) | \\ \leq Υ_{1} ‖ l_{1} ‖ (γ_{1} (r) + k_{1} (r)) + Υ_{2} ‖ l_{2} ‖ (γ_{2} (r) + k_{2} (r)) . \end{aligned}$ Thus we get $\begin{aligned} ‖ g_{1}, g_{2} ‖ & = ‖ g_{1} (v, w) ‖ + ‖ g_{1} (v, w) ‖ \\ \leq 2 Υ_{1} ‖ l_{1} ‖ (γ_{1} (r) + k_{1} (r)) \\ + 2 Υ_{2} ‖ l_{2} ‖ (γ_{2} (r) + k_{2} (r)) . \end{aligned}$ Then we prove that Λ is equicontinuous. Let $ι_{1}, ι_{2} \in S$ with $ι_{1} < ι_{2}$ . Then ∃ $h_{1} \in V_{H_{1} (v, w)}$ , $h_{2} \in V_{H_{2} (v, w)}$ such that $\begin{aligned} g_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} g_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \\ | g_{1} (v, w) (ι_{2}) - g_{1} (v, w) (ι_{1}) | \\ \leq | \frac{e^{- φ ι_{2}} - e^{- φ ι_{1}}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) + k_{1} (r)) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) \\ + k_{2} (r)) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) \\ + k_{1} (r)) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) \\ + k_{2} (r)) d m) d a) d θ)]} | \\ + | \int_{0}^{ι_{1}} (e^{- φ (ι_{2} - θ)} - e^{- φ (ι_{1} - θ)}) \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) + k_{1} (r)) d a) d θ \\ + \int_{ι_{1}}^{ι_{2}} e^{- φ (ι_{2} - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) + k_{1} (r)) d a) d θ | . \end{aligned}$ Analogously, we can obtain $\begin{aligned} | g_{2} (v, w) (ι_{2}) - g_{2} (v, w) (ι_{1}) | \\ \leq | \frac{e^{- φ ι_{2}} - e^{- φ ι_{1}}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) + k_{1} (r)) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) + k_{2} (r)) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} l_{1} (γ_{1} (r) \\ + k_{1} (r)) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) \\ + k_{2} (r)) d m) d a) d θ)]} | \\ + | \int_{0}^{ι_{1}} (e^{- φ (ι_{2} - θ)} - e^{- φ (ι_{1} - θ)}) \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) + k_{2} (r)) d a) d θ \\ + \int_{ι_{1}}^{ι_{2}} e^{- φ (ι_{2} - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} l_{2} (γ_{2} (r) + k_{2} (r)) d a) d θ | . \end{aligned}$ As a consequence, the operator $Λ (v, w)$ is equicontinuous, hence the operator $Λ (v, w)$ is c.c according to the Arzela–Ascoli theorem. We know from [Citation53, Proposition 1.2] that a c.c operator has a closed graph if it is upper semicontinuous. As a result, we must demonstrate that Λ has a closed graph. Let $(p_{n}, q_{n}) \to (p_{*}, q_{*})$ , $(g_{n}, {\hat{g}}_{n}) \in Λ (p_{n}, q_{n})$ and $(g_{n}, {\hat{g}}_{n}) \to (g_{*}, {\hat{g}}_{*})$ , then we must demonstrate $(g_{*}, {\hat{g}}_{*}) \in Λ (p_{*}, q_{*})$ . Remember that $(g_{n}, {\hat{g}}_{n}) \in Λ (p_{n}, q_{n})$ implies that ∃ $h_{1 n} \in V_{H_{1} (v, w)}$ , $h_{2 n} \in V_{H_{2} (v, w)}$ such that $\begin{aligned} g_{n} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{n} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ . \end{aligned}$ Consider the $Π_{1}, Π_{2} : L^{1} (S, W \times W \to C (S, W \times W$ continuous linear operators provided by (31) $\begin{aligned} Π_{1} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (31) and (32) $\begin{aligned} Π_{2} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ (32) We can deduce from [Citation57] that $(Φ_{1}, Φ_{2}) \circ (V_{H_{1}}, V_{H_{2}})$ is a closed graph operator. In addition, we have $(g_{n}, {\hat{g}}_{n}) \in (Φ_{1}, Φ_{2}) \circ (V_{H_{1} (p_{n}, q_{n})}, V_{H_{2} (p_{n}, q_{n})})$ for all n. Since $(p_{n}, q_{n}) \to (p_{*}, q_{*})$ , $(g_{n}, {\hat{g}}_{n}) \to g_{*}, {\hat{g}}_{*})$ , it follows that $h_{1 n} \in V_{H_{1} (v, w)}$ , $h_{2 n} \in V_{H_{2} (v, w)}$ such that $\begin{aligned} g_{*} (p_{*}, q_{*}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 *} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 *} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 *} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 *} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 *} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{*} (p_{*}, q_{*}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 *} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 *} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 *} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 *} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 *} (a) d a) d θ . \end{aligned}$ (i.e.) $(g_{n}, {\hat{g}}_{n}) \in Λ (p_{*}, q_{*})$ . Let $(v, w) \in υ Λ (v, w)$ . Then ∃ $h_{1} \in V_{H_{1} (v, w)}$ , $h_{2} \in V_{H_{2} (v, w)}$ such that (33) $\begin{aligned} v (ι) & = \frac{υ e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + υ \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ (33) and (34) $\begin{aligned} w (ι) & = \frac{υ e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + υ \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ (34) For each $ι \in S$ , we obtain $\begin{aligned} ‖ v, w ‖ & = ‖ v ‖ + ‖ w ‖ \\ \leq 2 Υ_{1} l_{1} (γ_{1} (‖ v ‖) + k_{1} (‖ w ‖)) \\ + 2 Υ_{2} l_{2} (γ_{2} (‖ v ‖) + k_{2} (‖ w ‖)), \end{aligned}$ which implies that $\frac{‖ v, w ‖}{\begin{matrix} 2 Υ_{1} l_{1} (γ_{1} (‖ v ‖) + k_{1} (‖ w ‖)) \\ + 2 Υ_{2} l_{2} (γ_{2} (‖ v ‖) + k_{2} (‖ w ‖)) \end{matrix}} \leq 1.$ According to $(Q_{5})$ , $Z$ exists such that $‖ (v, w) ‖ \neq Z$ . Let us fix $E = {(v, w) \in W \times W : ‖ (v, w) ‖ < Z} .$ It should be noted that operator $Λ : \bar{E} \to U_{c v, c p} (W) \times U_{c v, c p} (W)$ is c.c and u.v.c. There is no $(v, w) \in \partial E$ ∋ $(v, w) \in υ Λ (v, w)$ for some $υ \in (0, 1)$ by $E$ selection. As a result, we can deduce from the Leray–Schauder nonlinear alternative [Citation55] that Λ has a fixed point $(v, w) \in \bar{E}$ , which is a solution of system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ).

Let $(W, d)$ denote a metric space generated from the normed space $(W, ‖ \cdot ‖)$ , and let $G_{d} : U (W) \times U (W) \to R \cup {\infty}$ be defined by $G_{d} (X, Y) = max {sup_{x \in X} d (x, Y), sup_{y \in Y}}$ , where $d (X, y) = inf_{x \in X} d (x, y)$ and $d (x, Y) = inf y \in Y d (x, y)$ . Then $(U_{c l, b} (W), G_{d})$ is a metric space and $(U_{c l} (W), G_{d})$ is a generalized metric space (see [Citation57]).

Definition 3.2

A multi-valued $K : W \to U (W)$ operator is called

δ-Lipschitz iff ∃ $δ > 0$ ∋ $G_{d} (K (c), K (d)) \leq δ d (c, d)$ for each $c, d \in W$ ; and
a contraction iff it is δ-Lipschitz with $δ < 1$ .

The following result makes use of Covitz and Nadler's theorem for multi-valued maps [Citation54].

Theorem 3.4

Assume that $(Q_{6})$ and $(Q_{7})$ holds. Then system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ) has at least one solution on $S$ provided that (35) $(2 Υ_{1}) ‖ s_{1} ‖ + (2 Υ_{2}) ‖ s_{2} ‖ < 1.$ (35)

Proof.

Assuming $(Q_{6})$ that the sets $V_{H_{1} (v, w)}$ and $V_{H_{2} (v, w)}$ are non-empty for each $(v, w) \in W \times W$ , $H_{1}$ and $H_{2}$ have measurable selections (see Theorem III.6 in [Citation58]). Next we demonstrate that the operator Λ fulfils the theorem of Covitz and Nadler's [Citation54]. Next we demonstrate that $Λ (v, w) \in U_{c l} (W) \times U_{c l} (W)$ for each $(v, w) \in W \times W$ . Let $(g_{n}, {\hat{g}}_{n}) \in Λ (p_{n}, q_{n})$ such that $(g_{n}, {\hat{g}}_{n}) \to (g, \hat{g})$ in $W \times W$ . Then $(g, \hat{g}) \in W \times W$ and ∃ $h_{1 n} \in V_{H_{1} (p_{n}, q_{n})}$ and $h_{2 n} \in V_{H_{1} (p_{n}, q_{n})}$ such that $\begin{aligned} g_{n} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{n} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1 n} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2 n} (a) d a) d θ . \end{aligned}$ Due to the fact that $H_{1}$ and $H_{2}$ have compact values, we pass onto subsequences (referred to as sequences) to ensure that $h_{1 n}$ and $h_{2 n}$ converge to $h_{1}$ and $h_{2}$ in $L^{1} (S, R)$ . Hence $h_{1} \in V_{H_{1} (v, w)}$ and $h_{2} \in V_{H_{1} (v, w)}$ for each $ι \in S$ and that $\begin{aligned} g_{n} (p_{n}, q_{n}) (ι) \to g (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{n} (p_{n}, q_{n}) (ι) \to \hat{g} (v, w) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{1} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{2} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{2} (a) d a) d θ . \end{aligned}$ As a result, $(g, \hat{g}) \in Λ$ , implying that $Λ$ is closed. Following that, we demonstrate that ∃ (defined by (Equation35(35) $(2 Υ_{1}) ‖ s_{1} ‖ + (2 Υ_{2}) ‖ s_{2} ‖ < 1.$ (35) )) such that $\begin{aligned} G_{d} (Λ (v, w), Λ (\hat{v}, \hat{w})) \\ \leq \hat{ρ} (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ for each v, \hat{v}, w, \hat{w} \in W . \end{aligned}$ Let $(v, \hat{v}), (w, \hat{w}) \in W \times W$ and $(g_{1}, {\hat{g}}_{1}) \in Λ (v, w)$ . Then ∃ $h_{11} \in V_{H_{1} (v, w)}$ and $h_{21} \in V_{H_{2} (v, w)}$ ∋, for each $ι \in S$ , we have $\begin{aligned} g_{1} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{11} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{21} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{11} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{21} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{11} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{1} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{11} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{21} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{11} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{21} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{21} (a) d a) d θ . \end{aligned}$ Using $(Q_{7})$ , we have $\begin{aligned} G_{d} (H_{1} (ι, v, w), H_{1} (ι, \hat{v}, \hat{w})) \\ \leq s_{1} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |) \end{aligned}$ and $\begin{aligned} G_{d} (H_{2} (ι, v, w), H_{2} (ι, \hat{v}, \hat{w})) \\ \leq s_{2} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |) . \end{aligned}$ So, ∃ $h_{1} \in H_{1} (ι, v (ι), w (ι))$ and $h_{2} \in H_{2} (ι, v (ι), w (ι))$ such that $| h_{11} (ι) - x | \leq s_{1} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |)$ and $| h_{21} (ι) - y | \leq s_{2} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |) .$ Define $Y_{1}, Y_{2} : S \to U (R)$ by $\begin{aligned} Y_{1} (ι) & = {h_{1} \in L^{1} (S, R) : s_{1} (ι) (| v (ι) - \hat{v} (ι) | \\ + | w (ι) - \hat{w} (ι) |)} \end{aligned}$ and $\begin{aligned} Y_{2} (ι) & = {h_{2} \in L^{1} (S, R) : s_{2} (ι) (| v (ι) - \hat{v} (ι) | \\ + | w (ι) - \hat{w} (ι) |)} . \end{aligned}$ There are functions $h_{12} (ι)$ , $h_{22} (ι)$ that are an observable selection for $Y_{1}, Y_{2}$ because the multi-valued operators $Y_{1} \cap H_{1} (ι, y (ι), z (ι))$ and $Y_{2} \cap H_{2} (ι, y (ι), z (ι))$ are measurable (Proposition III.4 in [Citation25]). And $h_{12} (ι) \in H_{1} (ι, y (ι), z (ι))$ , $h_{22} (ι) \in H_{2} (ι, y (ι), z (ι))$ such that ∀ $ι \in S$ , we have $| h_{11} (ι) - h_{12} (ι) | \leq s_{1} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |)$ and $| h_{21} (ι) - h_{22} (ι) | \leq s_{2} (ι) (| v (ι) - \hat{v} (ι) | + | w (ι) - \hat{w} (ι) |) .$ Let $\begin{aligned} g_{2} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{12} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{22} (a) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{12} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{22} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{12} (a) d a) d θ, \end{aligned}$ and $\begin{aligned} {\hat{g}}_{2} (p_{n}, q_{n}) (ι) \\ = \frac{e^{- φ ι}}{2} {\frac{- 1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{12} (a) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{22} (a) d a) d θ) \\ - [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ - \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} h_{12} (m) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} h_{22} (m) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} h_{22} (a) d a) d θ . \end{aligned}$ Hence, $\begin{aligned} | g_{1} (v, w) (ι) - g_{2} (v, w) (ι) | \\ \leq \frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{11} (a) - h_{12} (a) | d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} | h_{21} (a) - h_{22} (a) | d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{11} (m) \\ - h_{12} (m) | d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} | h_{21} (m) \\ - h_{22} (m) | d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} | h_{11} (a) - h_{12} (a) | d a) d θ \\ \leq \frac{e^{- φ ι}}{2} {\frac{1}{(1 + e^{- φ T})} (\int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} s_{1} (a) (| v (a) - \hat{v} (a) | \\ + | w (a) - \hat{w} (a) |) d a) d θ \\ + \int_{0}^{T} e^{- φ (T - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ς - 2}}{Γ (ς - 1)} s_{2} (a) (| v (a) - \hat{v} (a) | \\ + | w (a) - \hat{w} (a) |) d a) d θ) \\ + [\frac{φ}{(e^{- φ δ} - e^{- φ ϵ})} (ϕ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ϱ - 2}}{Γ (ϱ - 1)} s_{1} (m) (| v (m) - \hat{v} (m) | \\ + | w (m) - \hat{w} (m) |) d m) d a) d θ \\ + \int_{ϵ}^{δ} (\int_{0}^{θ} e^{- φ (θ - a)} \\ \times (\int_{0}^{a} \frac{{(a - m)}^{ς - 2}}{Γ (ς - 1)} s_{2} (m) (| v (m) - \hat{v} (m) | \\ + | w (m) - \hat{w} (m) |) d m) d a) d θ)]} \\ + \int_{0}^{ι} e^{- φ (ι - θ)} \\ \times (\int_{0}^{θ} \frac{{(θ - a)}^{ϱ - 2}}{Γ (ϱ - 1)} s_{1} (a) (| v (a) - \hat{v} (a) | \\ + | w (a) - \hat{w} (a) |) d a) d θ \\ \leq Υ_{1} ‖ s_{1} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ + Υ_{2} ‖ s_{2} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) . \end{aligned}$ Thus $\begin{aligned} ‖ g_{1} (v, w) - g_{2} (v, w) ‖ \\ \leq Υ_{1} ‖ s_{1} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ + Υ_{2} ‖ s_{2} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) . \end{aligned}$ Similarly, we can define that $\begin{aligned} ‖ {\hat{g}}_{1} (v, w) - {\hat{g}}_{2} (v, w) ‖ \\ \leq Υ_{1} ‖ s_{1} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ + Υ_{2} ‖ s_{2} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) . \end{aligned}$ Therefore $\begin{aligned} ‖ (g_{1}, {\hat{g}}_{1}), (g_{2}, {\hat{g}}_{2}) ‖ \\ \leq 2 Υ_{1} ‖ s_{1} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ + 2 Υ_{2} ‖ s_{2} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) . \end{aligned}$ Similarly, by swapping the positions of $(v, w)$ and $(\hat{v}, \hat{w})$ , we can obtain $\begin{aligned} ‖ G_{d} (P (v, w), P (\hat{v}, \hat{w})) ‖ \\ \leq 2 Υ_{1} ‖ s_{1} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) \\ + 2 Υ_{2} ‖ s_{2} ‖ (‖ v - \hat{v} ‖ + ‖ w - \hat{w} ‖) . \end{aligned}$ In light of the assumption, Λ is a contraction (Equation35(35) $(2 Υ_{1}) ‖ s_{1} ‖ + (2 Υ_{2}) ‖ s_{2} ‖ < 1.$ (35) ). As a result of fixed point theorem of Covitz and Nadler's [Citation54], Λ has a fixed point $(v, w)$ that is a solution to system (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ).

4. Examples

In consistence with systems (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) and (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ) and the main theorems, we provide some examples in this section.

Example 4.1

Consider the following system: (36) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (36) where $ϱ = 1 / 2, ς = 2 / 3, ϵ = 3 / 8, δ = 1 / 3, ϕ = 3, T = 2$ . Utilizing the above data, we get $Υ_{1} = 0.5620183$ $Υ_{2} = 0.7051172683$ , where $Υ_{1}$ and $Υ_{2}$ are respectively given by Equation13(13) $\begin{aligned} λ & = \frac{e^{- φ T}}{2}, \\ Υ_{1} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ϱ)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (13) and Equation14(14) $\begin{aligned} Υ_{2} & = λ [\frac{1}{(1 + e^{- φ T)}} (\frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ + {\frac{φ}{e^{- φ δ} - e^{- φ ϵ}} (\frac{δ^{ϱ - 1} - ϵ^{ϱ - 1}}{φ^{2} Γ (ς)}) \\ \times (δ φ + e^{- φ ϵ} - ϵ φ - e^{- φ ϵ})}], \end{aligned}$ (14) . To illustrate Theorem 3.1, we will use $\begin{aligned} H_{1} (ι, v (ι), w (ι)) & = \frac{e^{- ι}}{2 \sqrt{900 + ι^{2}}} (v ι + \sin w + \cos ι) \\ H_{2} (ι, v (ι), w (ι)) & = \frac{1}{(3 + ι)^{2}} (\sin v + \frac{w}{2} + e^{- ι}) . \end{aligned}$ Next, $H_{1}$ and $H_{2}$ are continuous and fulfil the hypothesis $(Q_{1})$ with $\begin{aligned} γ_{1} (ι) & = \frac{e^{- ι} \cos ι}{2 \sqrt{900 + ι^{2}}}, γ_{2} (ι) = \frac{ι e^{- ι}}{2 \sqrt{900 + ι^{2}}}, \\ γ_{3} (ι) & = \frac{e^{- ι}}{2 \sqrt{900 + ι^{2}}}, \\ k_{2} & = \frac{e^{- ι}}{(3 + ι)^{2}}, k_{1} = \frac{1}{(3 + ι)^{2}} and \\ k_{3} & = \frac{1}{2 (3 + ι)^{2}} . \end{aligned}$ Also $\begin{aligned} | | γ_{2} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{2} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ \approx 0.2670458452 and \\ | | γ_{3} | | (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + | | k_{3} | | (2 Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T})) \\ \approx 0.1335229226. \end{aligned}$ Thus, by Theorem 3.1, ∃ a solution to system (Equation36(36) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (36) ) on $[0, 2]$ .

For the application of Theorem 3.2, we choose (37) $\begin{aligned} H_{1} (ι, v (ι), w (ι)) = \frac{1}{40 (1 + ι^{2})} (\frac{| v | |}{1 + | v} + \tan^{- 1} w) \\ H_{2} (ι, v (ι), w (ι)) = \frac{1}{\sqrt{900 + ι^{2}}} (\sin w + 2 \tan^{- 1} v), \end{aligned}$ (37) where $H_{1}$ and $H_{2}$ are continuous and fulfil the hypothesis ( $Q_{2}$ ) with $C_{1} = C_{2} = 1 / 40 = C$ and $K_{1} = 1 / 15, K_{2} = 1 / 30$ and $K = 1 / 15$ . Further, we get $\begin{aligned} (C (2 Υ_{1} + \frac{T^{ϱ - 1}}{φ Γ (ϱ)} (1 - e^{- φ T})) \\ + K (Υ_{2} + \frac{T^{ς - 1}}{φ Γ (ς)} (1 - e^{- φ T}))) \\ \approx 0.1837667143 < 1. \end{aligned}$

Example 4.2

Consider system (Equation36(36) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (36) ) again. It is clear that all the assumptions of Theorem 3.2 are fulfilled. Consequently, ∃ a unique solution to system (Equation36(36) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), ι \in [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (36) ).

Example 4.3

Consider the following system: (38) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), ι \in J = [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), ι \in J = [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (38) where $ϱ = 1 / 2, ς = 2 / 3, ϵ = 3 / 8, δ = 1 / 3, ϕ = 3, T = 2,$ $H_{1} (ι, v, w) = [\frac{- 1}{16} \frac{| v |}{1 + | v |}, 0] \cup [0, \frac{1}{16} \frac{| \sin (w) |}{1 + | \sin (w) |}]$ and $H_{2} (ι, v, w) = [\frac{- 1}{16} \frac{| w |}{1 + | w |}, 0] \cup [0, \frac{1}{16} \frac{| \cos (v) |}{1 + | \cos (v) |}]$ , and on the other hand, $\begin{aligned} G_{d} (H_{1} (ι, v, w), H_{1} (ι, \hat{v}, \hat{w})) \\ \leq \frac{1}{16} | v - \hat{v} | + \frac{1}{16} | w - \hat{w} |, \forall v, \hat{v}, w, \hat{w} \in R, \\ G_{d} (H_{2} (ι, v, w), H_{2} (ι, \hat{v}, \hat{w})) \\ \leq \frac{1}{16} | v - \hat{v} | + \frac{1}{16} | w - \hat{w} |, \forall v, \hat{v}, w, \hat{w} \in R . \end{aligned}$ Utilizing the above data, we get $Υ_{1} = 0.5620183$ $Υ_{2} = 0.7051172683$ and $(2 Υ_{1}) p_{1} + (2 Υ_{2}) p_{2} \approx 0.1583919450 < 1.$ All the assumptions of Theorem 3.4 are fulfilled. As a result, ∃ a solution to system (Equation38(38) $\begin{aligned} (^{C} D^{\frac{1}{2}} + \frac{1}{2}^{C} D^{\frac{1}{2} - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), ι \in J = [0, 2] \\ (^{C} D^{\frac{2}{3}} + \frac{1}{2}^{C} D^{\frac{2}{3} - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), ι \in J = [0, 2] \\ (v + w) (0) = - (v + w) (2), \int_{\frac{3}{8}}^{\frac{1}{3}} (v - w) (θ) d θ = 3, \end{aligned}$ (38) ).

5. Concluding remarks

In this research work, we studied a new BVP involving a coupled system of nonlinear SFDEs and inclusions of the Caputo type and supplemented with coupled integral boundary conditions. We have studied a new type of coupled boundary condition that determines the sum of unknown functions at the boundary points and along any arbitrary segment of the domain. Under these conditions, we solved a nonlinear Caputo SFDEs and inclusion system. The consequences of existence and uniqueness were examined via single-valued and multi-valued maps. It is also possible to broaden the scope of this investigation to include fractional differential and integral operators of the Riemann–Liouville and Hadamard types. Our results aren't only novel in the context of the problem, but they also lead to some novel cases involving specific parameter choices. The results of this paper are limited to a few intriguing instances with adequate values for the systems parameters. For instance, our results correspond to those for new coupled Stieltjes boundary conditions if we set $θ = K (θ)$ in $\int_{ϵ}^{δ} (v - w) (θ) d K (θ) = ϕ$ in (Equation2(2) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ = H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ = H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (2) ) and (Equation3(3) ${\begin{cases} (^{C} D^{ϱ} + φ^{C} D^{ϱ - 1}) v (ι) \\ \in H_{1} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (^{C} D^{ς} + φ^{C} D^{ς - 1}) w (ι) \\ \in H_{2} (ι, v (ι), w (ι)), & ι \in S = [0, T], \\ (v + w) (0) = - (v + w) (T), \\ \int_{ϵ}^{δ} (v - w) (θ) d θ = ϕ, \end{cases}$ (3) ), and also we can obtained new existence results through special cases as stated in Remark 3.1 and Remark 3.2. We believe that the results discussed in this paper are of great significance for the scientific audience. Future research could focus on different concepts of stability and existence concerning a neutral time-delay system/inclusion and a time-delay system/inclusion with finite delay.

Declarations

Availability of data and material

Data sharing not applicable to this article as no datasets were generated or analysed during the current study.

Authors' contributions

All authors contributed equally and significantly to this paper. All authors have read and approved the final version of the manuscript.

Acknowledgements

J. Alzabut would like to thank Prince Sultan University and OSTİM Technical University for supporting this research.

Disclosure statement

No potential conflict of interest was reported by the author(s).

References

Băleanu D, Mustafa OG, O'Regan D. A uniqueness criterion for fractional differential equations with Caputo derivative. Nonlinear Dyn. 2013;71(4):635–640.
Web of Science ®Google Scholar
Hamoud A. Existence and uniqueness of solutions for fractional neutral Volterra–Fredholm integro differential equations. Adv Theory Nonlinear Anal Appl. 2020;4(4):321–331.
Google Scholar
Subramanian M, Baleanu D. Stability and existence analysis to a coupled system of Caputo type fractional differential equations with Erdélyi–Kober integral boundary conditions. Appl Math Inf Sci. 2020;14(3):415–424.
Google Scholar
Muthaiah S, Baleanu D. Existence of solutions for nonlinear fractional differential equations and inclusions depending on lower-order fractional derivatives. Axioms. 2020;9(2):44.
Web of Science ®Google Scholar
Baleanu D, Mousalou A, Rezapour S. On the existence of solutions for some infinite coefficient-symmetric Caputo-Fabrizio fractional integro-differential equations. Boundary Value Problems. 2017;2017(1):1–9.
Google Scholar
Aydogan MS, Baleanu D, Mousalou A, et al. On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Boundary Value Problems. 2018;2018(1):1–15.
Google Scholar
Baleanu D, Rezapour S, Saberpour Z. On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Boundary Value Problems. 2019;2019(1):1–17.
Google Scholar
Tariq KU, Zainab H, Seadawy AR, et al. On some novel optical wave solutions to the paraxial m-fractional nonlinear Schrödinger dynamical equation. Opt Quantum Electron. 2021;53(5):1–14.
Web of Science ®Google Scholar
Seadawy AR, Younis M, Baber MZ, et al. Diverse acoustic wave propagation to confirmable time–space fractional kp equation arising in dusty plasma. Commun Theor Phys. 2021;73(11):115004.
Google Scholar
Younis M, Bilal M, Rehman S, et al. Perturbed optical solitons with conformable time-space fractional Gerdjikov–Ivanov equation. Math Sci. 2021;1–13. DOI:10.1007/s40096-021-00431-3.
Google Scholar
Seadawy AR, Bilal M, Younis M, et al. Resonant optical solitons with conformable time-fractional nonlinear Schrödinger equation. Int J Modern Phys B. 2021;35(03):2150044.
Google Scholar
Klafter J, Lim S, Metzler R. Fractional dynamics: recent advances. 2012.
Google Scholar
Podlubny I. Fractional differential equations: an introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications. 1998.
Google Scholar
Valério D, Machado JT, Kiryakova V. Some pioneers of the applications of fractional calculus. Fract Calculus Appl Anal. 2014;17(2):552–578.
Web of Science ®Google Scholar
Machado JT, Kiryakova V, Mainardi F. Recent history of fractional calculus. Commun Nonlinear Sci Numer Simul. 2011;16(3):1140–1153.
Web of Science ®Google Scholar
Kilbas AAA, Srivastava HM, Trujillo JJ. Theory and applications of fractional differential equations. Vol. 204 (North-Holland Mathematics Studies), Elsevier Science Inc.; 2006.
Google Scholar
Baleanu D, Mohammadi H, Rezapour S. Analysis of the model of HIV-1 infection of CD4+ CD4 t-cell with a new approach of fractional derivative. Adv Differ Equ. 2020;2020(1):1–17.
PubMed Web of Science ®Google Scholar
Baleanu D, Etemad S, Pourrazi S, et al. On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv Differ Equ. 2019;2019(1):1–21.
Web of Science ®Google Scholar
Rezapour S, Mohammadi H, Jajarmi A. A new mathematical model for Zika virus transmission. Adv Differ Equ. 2020;2020(1):1–15.
PubMed Web of Science ®Google Scholar
Subramanian M, Alzabut J, Baleanu D, et al. Existence, uniqueness and stability analysis of a coupled fractional-order differential systems involving Hadamard derivatives and associated with multi-point boundary conditions. Adv Differ Equ. 2021;2021(1):1–46.
Web of Science ®Google Scholar
Duraisamy P, Gopal TN, Subramanian M. Analysis of fractional integro-differential equations with nonlocal Erdélyi–Kober type integral boundary conditions. Fract Calculus Appl Anal. 2020;23(5):1401–1415.
Web of Science ®Google Scholar
Younas U, Younis M, Seadawy AR, et al. Diverse exact solutions for modified nonlinear Schrödinger equation with conformable fractional derivative. Results Phys. 2021;20:103766.
Web of Science ®Google Scholar
Younis M, Seadawy AR, Baber M, et al. Analytical optical soliton solutions of the Schrödinger–Poisson dynamical system. Results Phys. 2021;27:104369.
Google Scholar
Rizvi S, Seadawy AR, Younis M, et al. Optical dromions for perturbed fractional nonlinear Schrödinger equation with conformable derivatives. Optical Quantum Electron. 2021;53(8):1–13.
Web of Science ®Google Scholar
Miller KS, Ross B. An introduction to the fractional calculus and fractional differential equations. New York: Wiley; 1993.
Google Scholar
Wei Z, Dong W. Periodic boundary value problems for Riemann–Liouville sequential fractional differential equations. Electron J Qual Theory Differ Equ. 2011;2011(87):1–13.
Google Scholar
Wei Z, Li Q, Che J. Initial value problems for fractional differential equations involving Riemann–Liouville sequential fractional derivative. J Math Anal Appl. 2010;367(1):260–272.
Web of Science ®Google Scholar
Baleanu D, Mustafa OG, Agarwal RP. On lp-solutions for a class of sequential fractional differential equations. Appl Math Comput. 2011;218(5):2074–2081.
Web of Science ®Google Scholar
Bai C. Impulsive periodic boundary value problems for fractional differential equation involving Riemann–Liouville sequential fractional derivative. J Math Anal Appl. 2011;384(2):211–231.
Web of Science ®Google Scholar
Boutiara A, Etemad S, Alzabut J, et al. On a nonlinear sequential four-point fractional q-difference equation involving q-integral operators in boundary conditions along with stability criteria. Adv Differ Equ. 2021;2021(1):1–23.
Web of Science ®Google Scholar
Ahmad B, Luca R. Existence of solutions for sequential fractional integro-differential equations and inclusions with nonlocal boundary conditions. Appl Math Comput. 2018;339:516–534.
Web of Science ®Google Scholar
Ntouyas SK, Al-Sulami HH. A study of coupled systems of mixed order fractional differential equations and inclusions with coupled integral fractional boundary conditions. Adv Differ Equ. 2020;2020(1):1–21.
PubMedGoogle Scholar
Abbas S, Benchohra M, Graef JR. Coupled systems of Hilfer fractional differential inclusions in Banach spaces. Commun Pure Appl Anal. 2018;17(6):2479.
Web of Science ®Google Scholar
Arena P, Caponetto R, Fortuna L, et al. Chaos in a fractional order duffing system. Proceedings ECCTD, Budapest: Vol. 1259, 1997. p. 1262.
Google Scholar
Grigorenko I, Grigorenko E. Chaotic dynamics of the fractional Lorenz system. Phys Rev Lett. 2003;91(3):034101.
PubMed Web of Science ®Google Scholar
Faieghi M, Kuntanapreeda S, Delavari H, et al. Lmi-based stabilization of a class of fractional-order chaotic systems. Nonlinear Dyn. 2013;72(1):301–309.
Web of Science ®Google Scholar
Nyamoradi N, Javidi M, Ahmad B. Dynamics of SVEIS epidemic model with distinct incidence. Int J Biomath. 2015;8(06):1550076.
Google Scholar
Carvalho A, Pinto CM. A delay fractional order model for the co-infection of malaria and HIV/AIDS. Int J Dyn Control. 2017;5(1):168–186.
Google Scholar
Matar M, Abbas M, Alzabut J, et al. Investigation of the p-laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv Differ Equ. 2021;2021(1):1–18.
Web of Science ®Google Scholar
Matar MM, Abu Skhail ES, Alzabut J. On solvability of nonlinear fractional differential systems involving nonlocal initial conditions. Math Methods Appl Sci. 2021;44(10):8254–8265.
Web of Science ®Google Scholar
Matar MM, Alzabut J, Jonnalagadda JM. A coupled system of nonlinear Caputo–Hadamard Langevin equations associated with nonperiodic boundary conditions. Math Meth Appl Sci. 2021;44(3):2650–2670.
Web of Science ®Google Scholar
Ahmad B, Nieto JJ. Sequential fractional differential equations with three-point boundary conditions. Comput Math Appl. 2012;64(10):3046–3052.
Web of Science ®Google Scholar
Ahmad B, Nieto JJ. Boundary value problems for a class of sequential integrodifferential equations of fractional order. J Funct Spaces Appl. 2013;2013:1–8. DOI:10.1155/2013/149659.
Google Scholar
Cole KS. Electric conductance of biological systems. Cold Spring Harbor symposia on quantitative biology. Vol. 1, Cold Spring Harbor Laboratory Press; 1933. p. 107–116.
Google Scholar
Djordjević VD, Jarić J, Fabry B, et al. Fractional derivatives embody essential features of cell rheological behavior. Ann Biomed Eng. 2003;31(6):692–699.
PubMed Web of Science ®Google Scholar
Wang L, Li MY. Mathematical analysis of the global dynamics of a model for HIV infection of CD4+ T cells. Math Biosci. 2006;200(1):44–57.
PubMed Web of Science ®Google Scholar
Arafa A, Rida S, Khalil M. Fractional modeling dynamics of HIV and CD4+ T-cells during primary infection. Nonlinear Biomed Phys. 2012;6(1):1–7.
PubMedGoogle Scholar
Wang S. Doubly nonlinear degenerate parabolic systems with coupled nonlinear boundary conditions. J Differ Equ. 2002;182(2):431–469.
Web of Science ®Google Scholar
Rossi JD. The blow-up rate for a system of heat equations with non-trivial coupling at the boundary. Math Meth Appl Sci. 1997;20(1):1–11.
Web of Science ®Google Scholar
Pao C. Finite difference reaction–diffusion systems with coupled boundary conditions and time delays. J Math Anal Appl. 2002;272(2):407–434.
Web of Science ®Google Scholar
Ahmad B, Alghanmi M, Alsaedi A, et al. Existence and uniqueness results for a nonlinear coupled system involving Caputo fractional derivatives with a new kind of coupled boundary conditions. Appl Math Lett. 2021;116:107018.
Google Scholar
Hu S, Papageorgiou NS. Handbook of multivalued analysis. Dordrecht: Kluwer Academic Publishers; 1997.
Google Scholar
Deimling K. Multivalued differential equations. Berlin: Walter de Gruyter; 1992.
Google Scholar
Covitz HH, Nadler SB. Multi-valued contraction mappings in generalized metric spaces. Israel J Math. 1970;8(1):5–11.
Web of Science ®Google Scholar
Granas A, Dugundji J. Fixed point theory. 2013.
Google Scholar
Yong Z, Jinrong W, Lu Z. Basic theory of fractional differential equations. 2016.
Google Scholar
Losta A, Opial Z. Application of the kakutani-ky-fan theorem in the theory of ordinary differential equations or noncompact acyclic-valued map. Bull Acad Pol Sci, Sér Sci Math Astron Phys. 1965;13:781–786.
Google Scholar
Kisielewicz M. Stochastic differential inclusions and applications. New York: Springer; 2013.
Google Scholar
Castaing C, Valadier M. Convex analysis and measurable multifunctions. New York: Springer; 2008.
Google Scholar

On system of nonlinear coupled differential equations and inclusions involving Caputo-type sequential derivatives of fractional order

Abstract

1. Introduction

2. Preliminaries

[Citation54]

[Citation55]

[Citation56]

3. Main results

3.1. Existence results for system (2)

3.2. Existence results for system (3)

4. Examples

5. Concluding remarks

Declarations

Acknowledgements

Disclosure statement

References

Information for

Open access

Opportunities

Help and information

On system of nonlinear coupled differential equations and inclusions involving Caputo-type sequential derivatives of fractional order

Abstract

1. Introduction

2. Preliminaries

[Citation54]

[Citation55]

[Citation56]

3. Main results

3.1. Existence results for system (2)

3.2. Existence results for system (3)

4. Examples

5. Concluding remarks

Declarations

Acknowledgements

Disclosure statement

References

Related research

To cite this article:

Download citation

Your download is now in progress and you may close this window

Login or register to access this feature

Information for

Open access

Opportunities

Help and information

Keep up to date