Regularity criteria for a two dimensional Erying-Powell fluid flowing in a MHD porous medium

1.   Introduction

Nowadays, fractional calculus (FC) is a very important field in applied mathematics. Fractional differential equations, as an important part of FC, have been invented by mathematicians as a pure branch of mathematics. As a result, FC has been rapidly developed and has many important applications in various applied sciences. Some models involving with fractional order are more realistic and practical than previous integer-order models ^[1,2,3,4,5]. More recent developments on fractional differential equations can be found in ^[6,7,8,9,10] and the references therein. In a large part of the literature, many works involve either the Riemann-Liouville derivative or Caputo derivative. Besides, there is also one important concept of Hadamard fractional derivative (HFD for short), which was first introduced by Hadamard in $1892$ ^[12]. For more information about the HFD and integral, see ^{[13,14,15,16]}.

When solving numerous real-life problems, researchers always construct differential equations and discuss their properties. In fact, some systems, such as economics and biology, involve certain macro changes; in this case, instead of differential equations, differential inclusions are considered and they can describe the uncertainty of the system itself. Differential inclusion systems, as a meaningful model for describing uncertainty in human society, have attracted the enthusiasm and interest of many scholars. In addition, differential inclusions play an important role in various fields ^[11,12]. In this article, we are devoted to investigating fractional differential inclusion problems with Dirichlet boundary conditions. In research over the past few decades, mathematicians have been using many different methods and techniques to study fractional differential inclusion problems, and some good results concerning the solvability were obtained. For example, in ^[13], Benchohora and Ntouyas studied the solvability of a periodic boundary problem for first-order differential inclusions. Dhage ^[15] proved some existence theorems for hyperbolic differential inclusions in Banach algebras. Papageorgiou and Staicu studied second-order differential inclusions by establishing a method of upper-lower solutions in ^[16]. Moreover, Chang and Nieto extended the study to a fractional differential inclusion by using the Bohnenblust-Karlin's fixed point theorem in ^[17]. In addition, fractional differential inclusion for different types of single equations with some different boundary conditions was researched in ^[14].

The characterization of uncertainty in differential inclusion systems is often illustrated by set-valued mapping in mathematics. Fixed point theory for multi-valued mappings is an important and hot tool in set-valued analysis, which has several applications. Many of the well-known and useful fixed point theorems of single-valued mappings, such as those of Banach, Schaefer, and Schauder, have been extended to multi-valued mappings in Banach spaces. Naturally, the case of extending the Krasnoselskii fixed point theorem to set-valued mapping has also been obtained in literature; we refer the interested readers to ^[23,24].

In ^[25], the authors proposed a fractional boundary value problem with the generalized Riemann-Liouville fractional derivative:

where $1 < \alpha < 2$, $m, n\geq 0$, $\mu_{1}, \mu_{2}\geq 1$, $0 < \xi, \eta\leq 1$, $h_{j}: [0, 1]\times \mathbb{R}\rightarrow \mathbb{R}$ is a continuous function for $1\leq j\leq 2$, and $F:[0, 1]\times \mathbb{R}\rightarrow \mathscr{P}(\mathbb{R})$ is a multi-valued function. The existence and uniqueness results were obtained by using the iterative method. In ^[26], by using the fixed point technique, the authors obtain a new solution for the generalized system of fractional the $q$-differential inclusions involving $p$-Laplacian operator and sequential derivatives.

As we know, compared with some of the previous articles, fractional differential inclusions under boundary conditions were mainly focused on a single equation. However, there are relatively few studies on fractional differential coupled inclusion systems. Our aim is to obtain an existence result for a new coupled system of differential inclusions involving Hadamard fractional order. That is, we investigate the following system

where $^{H}D^{\alpha{_{1}}}, ^{H}D^{\alpha{_{2}}}$ represent the HFDs of orders $\alpha_{1}, \alpha_{2}$, and $\alpha_{1}\in(1, 2]$, $\alpha_{2}\in(1, 2]$; $f_{1}$, $f_{2}\in{C([1, e]\times{\mathbb{R}^2, \mathbb{R}\backslash{\{0\}}})}$, $g_{1}, g_{2}\in{C([1, e]\times{\mathbb{R}^2}, \mathbb{R})}$ and satisfy $g_{i}(1, 0, 0) = 0$, $(i = 1, 2)$, $\mathrm{G}_{1}, \mathrm{G}_{2}: [1, e]\times{\mathbb{R}^{2}}\rightarrow {\mathscr{P}(\mathbb{R})}$ are the multi-valued maps, where $\mathscr{P}(\mathbb{R})$ denotes the set composed of all nonempty subsets of $\mathbb{R}$. By utilizing a fixed point theorem about several operators containing $x\in{AxBx+Cx}$ in Banach algebras, the existence result of solutions for (1.1) is derived via multi-valued maps in a normed space.

We give simple arrangements. In Section 2, some needed preliminary concepts and lemmas are reviewed. Section 3 proves an existence result for (1.1). In Section 4, an example is provided to verify our theoretical result. Finally, in Section 5, we conclude with a comprehensive description of the findings that are shown.

The main contributions of our work are as follows:

1) The coupled system of differential inclusions involving Hadamard fractional order is first proposed.

2) We derive sufficient conditions for the existence of solutions to (1.1), and the method is a fixed point theorem for three operators of Schaefer type.

3) The existence of solutions for the system is obtained.

4) The application is demonstrated through an example of coupled fractional differential inclusions.

2.   Materials and methods

2.1.   Material for fractional calculus

For a measurable function $y$ : $[1, e]\rightarrow {\mathbb{R}}$ which is Lebesgue integrable, all such functions define a Banach space $L^1([1, e], \mathbb{R})$ normed by ${\|y\|}_{L^1} = \int^{e}_{1}|y(\tau)|d\tau$.

Definition 2.1 (^[4,5]) For an integrable function $h:[1, +\infty)\rightarrow {\mathbb{R}}$, the Hadamard fractional integral of order $q > 0$ is defined as

provided that the integral exists.

Definition 2.2 (^[4,5]) For an integrable function $h:[1, +\infty)\rightarrow {\mathbb{R}}$, the HFD of order $q > 0$ is defined as:

where $n = [q]+1$, $[q]$ is the smallest integer greater than or equal to $q$, and $\log(\cdot) = \log_{e}(\cdot)$.

Lemma 2.1 Let $\zeta_1$, $\zeta_2\in{C([1, e], \mathbb{R})}$, $f_{1}$, $f_{2}\in{C([1, e]\times{\mathbb{R}^2, \mathbb{R}\backslash{\{0\}}})}$, $g_{1}, g_{2}\in{C([1, e]\times{\mathbb{R}^2}, \mathbb{R})}$, and satisfy $g_{i}(1, 0, 0) = 0$, $(i = 1, 2)$. Then, the integral solution of the Hadamard fractional differential system

is given by

Proof. According to the formula in ^[14] Chapter 9, the solution of (2.1) can be formulated in the following manner:

where $a_1, a_2, b_1, b_2\in{\mathbb{R}}$. By using the Dirichlet boundary conditions $\xi(1) = \xi(e) = 0, \eta(1) = \eta(e) = 0$ in $(2.1)$, $g_{i}(1, 0, 0) = 0$, $(i = 1, 2)$, we obtain

By substituting $a_1, a_2, b_1, b_2$ into $(2.3)$, we can get $(2.2)$. □

Definition 2.3 The solution of (1.1) is used to define a pair of functions $(\xi, \eta)$ that satisfy the following conditions:

(1) There exists a pair of function $(\zeta_1, \zeta_2)\in{L^1([1, e], \mathbb{R})\times{L^1([1, e], \mathbb{R})}}$ with $\zeta_1\in{\mathrm{G}_{1}(\tau, \xi(\tau), \eta(\tau))}$ and $\zeta_2\in{\mathrm{G}_{2}(\tau, \xi(\tau), \eta(\tau))}$ satisfying $^{H}D^{\alpha_{1}} \left(\frac{\xi(\tau)-g_{1}(\tau, \xi(\tau), \eta(\tau))}{f_{1}(\tau, \xi(\tau), \eta(\tau))}\right) = \zeta_1(\tau)$, $^{H}D^{\alpha_{2}} \left(\frac{\eta(\tau)-g_{2}(\tau, \xi(\tau), \eta(\tau))}{f_{2}(\tau, \xi(\tau), \eta(\tau))}\right) = \zeta_2(\tau)$, for almost every on $[1, e]$;

(2) $\xi(1) = \xi(e) = 0, \eta(1) = \eta(e) = 0$.

2.2.   Material for multi-valued maps

Next, an introduction is provided to fundamental concepts concerning normed spaces and multi-valued maps.

Let $X = C([1, e], \mathbb{R}) = \{\xi:\, \xi: [1, e]\rightarrow {\mathbb{R}}\, is\, continuous\}$, and the norm $\|\xi\| = \sup_{\tau\in{[1, e]}}|\xi(\tau)|$. Then, $X$ is a Banach space. With respect to a suitable multiplication $"\cdot"$ defined by $(\xi, \eta)(\tau) = \xi(\tau)\cdot{\eta(\tau)}$ for $\xi, \eta \in{X}$, the aforementioned entity $X$ will be regarded as a Banach algebra.

For the product space $\Pi = X\times{X}$ under the norm $\|(\xi, \eta)\| = \|\xi\|+\|\eta\|$, it can also be demonstrated that the space $\Pi$ is a Banach space. Further, with respect to a suitable multiplication $"\cdot"$ defined by $((\xi, \eta)\cdot{(\overline{\xi}, \overline{\eta})})(\tau) = (\xi, \eta)(\tau)\cdot(\overline{\xi}, \overline{\eta})(\tau) = (\xi(\tau)\overline{\xi}(\tau), \eta(\tau)\overline{\eta}(\tau))$ for $(\xi, \eta)$, $(\overline{\xi}, \overline{\eta})\in{\Pi}$, the product space $\Pi$ will be regarded as a Banach algebra. For further information regarding the results of the product space $\Pi$, please see ^[20,21].

Now, we cover some basic and useful knowledge about multi-valued mappings. $\mathscr{P}(\Pi)$ denotes the set composed of all nonempty subsets of $\Pi$ (see ^[22]):

Definition 2.4 In the study of a multi-valued map $\mathrm{G}$ :$\Pi \rightarrow \mathscr{P}_{cl}(\Pi)$, if $\mathrm{G}(\xi, \eta)$ is convex (closed) for $(\xi, \eta)\in{\Pi}$, then it is called convex (closed) valued.

Definition 2.5 It is our contention that the map $\mathrm{G}$ is bounded on bounded sets, if $\mathrm{G}(\mathbb{B}) = \cup_{(\xi, \eta)\in{\mathbb{B}}}\mathrm G(\xi, \eta)$ is bounded in $\Xi$ for any bounded set $\mathbb{B}$ of $\Pi$ (i.e., $\sup_{(\xi, \eta)\in{\mathbb{B}}}\{\|(x, y)\|: (x, y)\in{G(\xi, \eta)}\} < {\infty}$).

Definition 2.6 The map $\mathrm{G}$ is defined as an upper semi-continuous $(u.s.c.)$ map on $\Pi$: if for each $(\xi, \eta)\in{\Pi}$, the set $\mathrm{G}(\xi, \eta)$ is a nonempty closed subset of $\Pi$, and if for each open set $\mathbb{B}$ of $\Pi$ containing $\mathrm G(\xi, \eta)$, there exists an open neighborhood $O$ of $(\xi, \eta)$ such that $\mathrm{G}(O)\subset{\mathbb{B}}$.

Definition 2.7 The map $\mathrm{G}$ is defined as a completely continuous map when the graph $\mathrm{G}({\mathbb{B}})$ is relatively compact for all bounded subsets ${\mathbb{B}}$ of ${\Pi}$.

Definition 2.8 A multi-valued map $\mathrm{G} : [1, e]\times{\mathbb{R}}^{2}\rightarrow {\mathscr{P}}(\mathbb{R})$ is called $L^1$-Carathéodory when

(i) $\tau\rightarrow {\mathrm{G}(\tau, \xi, \eta)}$ is measurable for each $(\xi, \eta)\in{\mathbb{R}\times{\mathbb{R}}}$;

(ii) $(\xi, \eta)\rightarrow {\mathrm{G}(\tau, \xi, \eta)}$ is upper semi-continuous for a.e. $\tau\in{[1, e]}$;

(iii) it can be shown that a function exists $\omega_{r}\in{L^1([1, e], \mathbb{R}^{+})}$ such that

for $\xi, \eta\in{\mathbb{R}}$ with $|\xi|+|\eta|\leq{r}$ and for a.e. $\tau\in{[1, e]}$.

With each $(\xi, \eta)\in{\Pi}$, state the set of selections of $\mathrm{G}_{\xi\eta} = (\mathrm{G}_{1, \xi\eta}, \mathrm{G}_{2, \xi\eta})$ are given as follows:

For two normed spaces $X$, $Y$ and a multi-valued map $\mathrm G:X\rightarrow {{\mathscr{P}}(Y)}$, we define $G_r(\mathrm{G}) = \{(\xi, \eta)\in{X\times{Y}}, \eta\in{\mathrm G(\xi)}\}$ as a graph of $\mathrm{G}$ and review two important lemmas.

Lemma 2.2 (^[18]) If $\mathrm{G}$ : $X\rightarrow {{\mathscr{P}}_{cl}(Y)}$ is u.s.c., then $G_{r}(\mathrm{G}) = \{(\xi, \eta)\in{X\times{Y}}, \eta\in{\mathrm{G}(x)}\}$ is a closed subset of $X\times{Y}$; i.e., for every sequence ${\{\xi_n\}}_{n\in{N}}\subset{X}$ and ${\{\eta_n\}}_{n\in{N}}\subset{Y}$, if when ${n}\rightarrow {\infty}$, ${\xi_{n}}\rightarrow {\xi_{\ast}}$, ${\eta_{n}}\rightarrow {\eta_{\ast}}$, and ${\eta_{n}}\in{\mathrm{G}(\xi_{n})}$, then ${\eta_{\ast}}\in{\mathrm{G}(\xi_{\ast})}$. Conversely, if $\mathrm{G}$ is completely continuous and has a closed graph, then it is u.s.c.

Lemma 2.3 (^[19]) $X$ is a Banach space. Let $\mathrm{G} : [0, T] \times{X} \rightarrow \mathscr{P}_{cp, cv}(X)$ be an $L^1$-Carathéodory set-valued map and $\Theta : L^1([0, T]; X) \rightarrow C([0, T]; X)$ be a linear continuous mapping. Subsequently, the operator

is a closed graph operator in $C([0, T]; X) \times C([0, T]; X)$.

3.   Results

Now, we can consider the system $(1.1)$. Our method is based on the following two lemmas.

Lemma 3.1 (^[17]) Let $X$ be a Banach algebra, $\Omega\subset X$ be a nonempty, closed convex, and bounded subset. Operators $A$, $C : X \rightarrow {X}$ and $B : \Omega \rightarrow {X}$ satisfy:

$(a)$ $A$ and $C$ are both Lipschitzian, and the corresponding Lipschitz constants are denoted by ${\delta}$ and ${\rho}$;

$(b)$ $B$ is a completely continuous map (i.e. is compact and continuous);

$(c)$ $x = AxBy+Cx \Rightarrow {x}\in{\Omega}$ for $y\in{\Omega}$;

$(d)$ ${\delta}M+{\rho} < 1$, where $M = \|B(\Omega)\| = \sup\{\|Bx\|:x\in\Omega\}$.

Then, $AxBx + Cx = x$ has a solution in $\Omega$.

Lemma 3.2 (^[22]) Let $X$ be a Banach algebra, $\Omega\subset X$ be a nonempty, closed convex, and bounded subset. And, $A$, $C$ : ${X \rightarrow {X}}$ are two single-valued and $B$ : $\Omega \rightarrow {\mathscr{P}_{cp, cv}(X)}$ is multi-valued operator, satisfying:

$(a)$ $A$ and $C$ are both Lipschitzian, and the corresponding Lipschitz constants are denoted by ${\delta}$ and ${\rho}$;

$(b)$ $B$ is compact and upper semi-continuous;

$(c)$ ${\delta}M + {\rho} < 1/2$, where $M = \|B(\Omega)\|$.

Then, either:

$(i)$ $x\in{AxBx + Cx}$ has a solution;

or,

$(ii)$ the set ${\Phi = \{x\in{X}|{\mu}x\in{AxBx+Cx}, {\mu} > 1\}}$ is unbounded.

Next, we introduce the following assumptions:

$(H1)$ $f_i$ : $[1, e]\times{\mathbb{R}}^{2}\rightarrow {\mathbb{R}\backslash{\{0\}}}$ are continuous, and the constants $L_i > 0$ exist and are satisfied for

a.e. $\tau\in{[1, e]}$, $\forall{\xi, \eta, \tilde{\xi}, \tilde{\eta}}\in{\mathbb{R}}$;

$(H2)$ Functions $g_i$ : $[1, e]\times{\mathbb{R}}^{2}\rightarrow {\mathbb{R}}$ are continuous, and satisfy $g_{i}(1, 0, 0) = 0$, $(i = 1, 2)$. The constants $K_i > 0$ exist and are satisfied for

a.e. $\tau\in{[1, e]}$, $\forall{\xi, \eta, \tilde{\xi}, \tilde{\eta}}\in{\mathbb{R}}$;

$(H3)$ Multi-valued maps $\mathrm{G}_i$ : $[1, e]\times{\mathbb{R}}^{2}\rightarrow {\mathscr{P}}(\mathbb{R})$ are $L^1$-Carathéodory and have nonempty compact and convex values, $i = 1, 2$;

$(H4)$ There exists a real number $r > 0$ such that

where

${\delta} = L_1+L_2$, ${\rho} = K_1+K_2$, $F_{10} = {\sup}_{\tau\in{[1, e]}}|f_1(\tau, 0, 0)|$, $F_{20} = {\sup}_{\tau\in{[1, e]}}|f_2(\tau, 0, 0)|$, $G_{10} = {\sup}_{\tau\in{[1, e]}}|g_1(\tau, 0, 0)|$, $G_{20} = {\sup}_{\tau\in{[1, e]}}|g_2(\tau, 0, 0)|$; here, $\omega_{1r}(\tau)$ and $\omega_{2r}(\tau)$ are provided in the aforementioned Definition 2.8.

Theorem 3.1 Suppose that $(H1)-(H4)$ are satisfied. Then, system $(1.1)$ has at least one solution on $[1, e]\times{[1, e]}$.

Proof. With the aforementioned Lemma 2.1, we can obviously turn problem $(1.1)$ into an operator fixed-point problem. Before that, we define the operator $\mathcal{N}:{\Pi}\rightarrow {\mathscr{P}({\Pi})}$ as $\mathcal{N}(\xi, \eta)(\tau) = (\mathcal{N}_1(\xi, \eta)(\tau), \mathcal{N}_2(\xi, \eta)(\tau))$, where

and

Thereby, we define three operators, which are $\mathcal{A} = (\mathcal{A}_1, \mathcal{A}_2)$, $\mathcal{B} = (\mathcal{B}_1, \mathcal{B}_2)$, and $\mathcal{C} = (\mathcal{C}_1, \mathcal{C}_2)$. Here, the mapping $\mathcal{A}_i$: $\Pi\rightarrow {\Pi}$ is given by

and define $\mathcal{B}_i:\Pi\rightarrow {\mathscr{P}(\Pi)}$ as

and the $\mathcal{C}_i$: $\Pi\rightarrow {\Pi}$ are given by

Observe that $\mathcal{N}_i(\xi, \eta) = \mathcal{A}_i(\xi, \eta)\mathcal{B}_i(\xi, \eta)+\mathcal{C}_i(\xi, \eta)$, $i = 1, 2$. Then, the operator $\mathcal{N}$ can also be written as

We need to show that the operators $\mathcal{A}$, $\mathcal{B}$, and $\mathcal{C}$ satisfy all the conditions of Lemma 3.2. For a clearer and more intuitive reading, we split the proof into several steps.

Step 1. We first show that Lemma 3.2(a) holds, i.e., we are going to prove $A$ and $C$ are both Lipschitzian, and the corresponding Lipschitz constants are denoted by ${\delta}$ and ${\rho}$. By $(H1)$, we have

Hence, $\|\mathcal{A}_i(\xi, \eta)-\mathcal{A}_i(\tilde{\xi}, \tilde{\eta})\|\leq{L_i[\|\xi-\tilde{\xi}\|+\|\eta-\tilde{\eta}\|]}, \quad i = 1, 2.$ Then,

So, $\mathcal{A}$ is Lipschitzian on ${\Pi}$, and the Lipschitz constant is $\delta = L_1+L_2$.

In the same way, from $(H2)$, we have

Hence, $\|\mathcal{C}_i(\xi, \eta)-\mathcal{C}_i(\tilde{\xi}, \tilde{\eta})\|\leq{K_i[\|\xi-\tilde{\xi}\|+\|\eta-\tilde{\eta}\|]}, \quad i = 1, 2.$ Thus,

So, $\mathcal{C}$ is Lipschitzian on ${\Pi}$, and the Lipschitz constant is ${\rho} = K_1+K_2$.

Step 2. We show that Lemma 3.2(b) holds, i.e., $\mathcal{B}$ is compact and u.s.c. on $\Pi$.

$(i)$ We demonstrate that the operator $\mathcal{B}$ has convex values. Let $u_{11}$, $u_{12}\in{B_1(\xi, \eta)}$, $u_{21}$, $u_{22}\in{B_2(\xi, \eta)}$. Then, there exist $v_{11}$, $v_{12}\in{\mathrm{G}_{1, \xi\eta}}$, $v_{21}$, $v_{22}\in{\mathrm{G}_{2, \xi\eta}}$ such that

For any constant $0\leq{\sigma}\leq{1}$, we have

where $\bar{v}_1(\tau) = {\sigma}v_{11}(\tau)+(1-{\sigma})v_{12}(\tau)\in{\mathrm{G}_{1, \xi\eta}}$, $\bar{v}_2(\tau) = {\sigma}v_{21}(\tau)+(1-{\sigma})v_{22}(\tau)\in{\mathrm{G}_{2, \xi\eta}}$ for all $\tau\in{[1, e]}$.

Therefore,

Then, we obtain $\mathcal{B}(\xi, \eta)$ which is convex for each $(\xi, \eta)\in{\Pi}$. Then, operator $B$ defines a multi-valued operator $B :{\Pi}\rightarrow {\mathscr{P}_{cv}(\Pi)}.$

$(ii)$ We display that the operator $\mathcal{B}$ maps bounded sets into bounded sets in $\Pi$. Let $\Omega = \{(\xi, \eta)|\, \|(\xi, \eta)\|\leq r, (\xi, \eta)\in{\Pi}\}$. Then, for each $p_i\in{\mathcal{B}_i(\xi, \eta)}, i = 1, 2,$ there exist $v_i\in{\mathrm{G}_{i, \xi\eta}}(i = 1, 2)$ such that

From $(H3)$, we have

and, similarly,

This implies that

Thus, $\mathcal{B}(\Pi)$ is uniformly bounded. Then, $\mathcal{B}$ defines a multi-valued operator $\mathcal{B} :\Pi\rightarrow {\mathscr{P}_{b}(\Pi)}$.

$(iii)$ We show that the operator $\mathcal{B}$ maps bounded sets into equi-continuous sets in $\Pi$. Let $q_{i}\in{\mathcal{B}_i(\xi, \eta)}(i = 1, 2)$ for some $(\xi, \eta)\in{\Omega}$, where $\Omega$ is given as earlier. So, there exists $u_i\in{\mathrm{G}_{i, \xi\eta}}$, such that

For any $t_1, t_2\in{[1, e]}$ and $t_1 < t_2$, we have

and

Note that the right-hand side of the two inequalities (3.4) and (3.5) go to zero for arbitrary $(\xi, \eta)\in{\Omega}$ as ${{t}_2} \rightarrow {{t}_1}$.

So, as ${{t}_2} \rightarrow {{t}_1}$, we have

Therefore, $\mathcal{B}_1$ and $\mathcal{B}_2$ are equi-continuous. Also, note that $\|\mathcal{B}(\xi, \eta)\| = \|\mathcal{B}_1(\xi, \eta)\|+\|\mathcal{B}_2(\xi, \eta)\|$, so, as ${{t}_2} \rightarrow {{t}_1},$

So, $B$ is equi-continuous.

From $(ii)-(iii)$ and the Arzelá-Ascoli theorem, we have $\mathcal{B} :\Pi\rightarrow {\mathscr{P}(\Pi)}$ is completely continuous. Thus, $\mathcal{B}$ defines a compact multi-valued operator $\mathcal{B}:\Pi\rightarrow {\mathscr{P}_{cp}(\Pi)}$.

$(iv)$ We claim that $\mathcal{B}$ has a closed graph. Let $(\xi_n, \eta_n)\rightarrow {(\xi_{\ast}, \eta_{\ast})}$ as $n\rightarrow {\infty}$, $(h_{1n}, h_{2n})\in{\mathcal{B}(\xi_n, \eta_n)}$ and $(h_{1n}, h_{2n})\rightarrow {(h_{1\ast}, h_{2\ast})}$ as $n\rightarrow {\infty}$. Then, we need to prove that $(h_{1\ast}, h_{2\ast})\in{B(\xi_{\ast}, \eta_{\ast})}$, i.e., $h_{1\ast}\in{\mathcal{B}_1(\xi_{\ast}, \eta_{\ast})}$, $h_{2\ast}\in{\mathcal{B}_2(\xi_{\ast}, \eta_{\ast})}$. Due to $h_{1n}\in{\mathcal{B}_1(\xi_{n}, \eta_{n})}$, $h_{2n}\in{\mathcal{B}_2(\xi_{n}, \eta_{n})}$, there are $v_{1n}\in{\mathrm{G}_{1, \xi\eta}}$, $v_{2n}\in{\mathrm{G}_{2, \xi\eta}}$ such that

and

Thus, it suffices to show that there are $v_{1\ast}\in{\mathrm{G}_{1, \xi_{\ast}\eta_{\ast}}}$, $v_{2\ast}\in{\mathrm{G}_{2, \xi_{\ast}\eta_{\ast}}}$, such that for each $\tau\in{[1, e]}$,

and

Let us take the linear operator $\Gamma = (\Gamma_1, \Gamma_2)$, where ${\Gamma}_{i}: L^1([1, e], \mathbb{R}) \rightarrow {C([1, e], \mathbb{R})}$ are given by:

From Lemma 2.3, it follows that $\Gamma\circ{S_\mathrm{G}}$ is a closed graph operator, and from the definition of $\Gamma$, one has that for $f_{in}\in{{\Gamma}_{i}\circ{\mathrm{G}_{i, \xi\eta}}}$, $f_{in}\rightarrow {f_{i\ast}}$ there exists $v_{i\ast}\in{\mathrm{G}_{i, \xi\eta}}$, $(i = 1, 2)$ such that

where

Then, $(x_n, y_n)\rightarrow (x_\ast, y_\ast),$

So, there exists $v_{1\ast}\in{\mathrm{G}_{1, \xi_{\ast}\eta_{\ast}}}$, $v_{2\ast}\in{\mathrm{G}_{2, \xi_{\ast}\eta_{\ast}}}$, such that

and

This means that $(h_{1\ast}, h_{2\ast})\in{\mathcal{B}(\xi_{\ast}, \eta_{\ast})}$.

Note that $\mathcal{B} :\Pi \rightarrow {\mathscr{P}(\Pi)}$ is completely continuous, thus it follows from Lemma 2.2 that the operator $\mathcal{B}$ is u.s.c. operator on $\Pi$.

Step 3. We show that Lemma 3.2(c) holds. From $(H4)$, we have $M = \|\mathcal{B}(\Omega)\| = \|\mathcal{B}(\xi, \eta)\| = \|\mathcal{B}_1(\xi, \eta)\|+\|\mathcal{B}_2(\xi, \eta)\|\leq{(2/\Gamma(\alpha_{1})){\|\omega_{1r}\|}_{L^1}+(2/\Gamma(\alpha_{2})) {\|\omega_{2r}\|}_{L^1}+G_{10}/F_{10}+G_{20}/F_{20}}$ for $(\xi, \eta)\in{\Omega}$ and $\delta = L_1+L_2$, $\rho = K_1+K_2$.

At this point, we have completed the proof of all the conditions in the Lemma 3.2, which means that either Lemma 3.2(i) or Lemma 3.2(ii) holds. Finally, we demonstrate that Lemma 3.2(ii) is not satisfied.

Let $\Phi = \{(x, y)\in{\Pi}|\mu(x, y)\in{(\mathcal{A}_{1}(x, y)\mathcal{B}_{1}(x, y)+\mathcal{C}_1(x, y), \mathcal{A}_{2}(x, y)\mathcal{B}_{2}(x, y)+\mathcal{C}_2(x, y))}\}$ and $(x, y)\in{\Pi}$ be arbitrary. Then, for $\mu > 1$, $\mu(x, y)\in{(\mathcal{A}_{1}(x, y)\mathcal{B}_{1}(x, y)+\mathcal{C}_1(x, y), \mathcal{A}_{2}(u, v)\mathcal{B}_{2}(u, v)+\mathcal{C}_{2}(x, y))}$, there exists $(\psi_1, \psi_2)\in{(\mathrm{G}_{1, xy}, \mathrm{G}_{2, xy})}$ such that, for any $\mu > 1$, we have

and

for all $\tau\in{[1, e]}$. Therefore,

and

And thus,

where $F_{i0}$ and $\omega_{ir}(r = 1, 2)$ are defined in $(H4)$. Then, if $\|(x, y)\|\geq{r}$, we have

Therefore, Lemma 3.2(ii) is not satisfied by $(H4)$. Then, there exists $(\bar{x}, \bar{y})\in{\Pi}$ such that

That is, operator $\mathcal{N}$ has a fixed point, which is a solution of system (1.1). So, system (1.1) has at least one solution on $[1, e]\times{[1, e]}$. □

4.   An example

An example is given to illustrate the above theoretical result.

Example 4.1 We consider the following system of Hadamard fractional coupled differential inclusions

where $\alpha_{1} = 1.5$, $\alpha_{2} = 1.25$. The following is a formula for the multi-valued mapping $\mathrm{G}_{i}: [1, e]\times{\mathbb{R}^2}\rightarrow {\mathbb{R}}$ $(i = 1, 2):$

and

Compared with $(H1)$, we have

So, $L_1 = 0.1$, $L_2 = 0.1$ with $\delta = 0.2$.

Compared with $(H2)$, we get

So, $K_1 = 0.1$, $K_2 = 0.1$ with $\rho = 0.2$.

For $v_1\in{\mathrm{G}_1}$, $v_2\in{\mathrm{G}_2}$, and arbitrary $(x, y)\in{\mathbb{R}^2},$ we have

and

Then,

Clearly, from our calculation, $\|\omega_{1r}\|_{L^1} = \frac{e-1}{10}$, $\|\omega_{2r}\|_{L^1} = \frac{e-1}{9}$, $F_{10} = 0.2$, $F_{20} = 0.3$, $G_{10} = 0$, $G_{20} = 0$. Hence,

and

Consequently, all the assumptions of Theorem $3.1$ are satisfied. Hence, by Theorem $3.1$, system $(4.1)$ has at least one solution on $[1, e]\times{[1, e]}.$ □

5.   Conclusions

We studied the existence of a solution for the new system (1.1) involving Hadamard coupled fractional differential inclusions equipped with Dirichlet boundary conditions. The results are obtained by combing fractional calculus, multi-valued analysis, and the multi-valued fixed point theorem for three operators of Schaefer type. One of the main objectives is to contribute to the growth of fractional calculus and to enrich the study as part of the mathematical analysis related to fractional differential inclusions.

Authors' contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript. Chengbo Zhai: Actualization, methodology, formal analysis, validation, investigation, initial draft and was a major contributor in writing the manuscript. Lili Zhang: Actualization, methodology, formal analysis, validation, investigation and initial draft.

Use of AI tools declaration

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

Acknowledgments

This paper is supported by Fundamental Research Program of Shanxi Province(202303021221068).

Conflict of interest

The authors declare there is no conflicts of interest.