Existence of Solutions for a Coupled Hadamard Fractional System of Integral Equations in Local Generalized Morrey Spaces

Abstract

This paper introduces a new measure of non-compactness within a bounded domain of ${\mathbb{R}}^{\mathbb{N}}$ in the generalized Morrey space. This measure is used to establish the existence of solutions for a coupled Hadamard fractional system of integral equations in generalized Morrey spaces. To illustrate the application of the main result, an example is presented.

1. Introduction

Fractional calculus (FC) extends the traditional concepts of integer-order calculus by introducing fractional-order derivatives and integrals [1,2]. This generalization allows for a more flexible and comprehensive mathematical framework, which is particularly valuable for modeling complex systems that exhibit non-locality and memory effects phenomena that standard calculus struggles to address effectively. FC has emerged as a critical area of research due to its unique ability to capture and describe processes where the history of the system or its spatial interactions play a crucial role. Over the past few years, fractional calculus has gained substantial attention, with a rapidly growing body of research exploring its wide range of applications across various scientific and engineering fields [3,4,5,6,7,8]. The increasing interest in FC is largely driven by its success in modeling physical systems that require more than local and immediate effects for accurate representation. For instance, FC has proven to be highly effective in describing diffusion processes, where the rate of diffusion depends on past states, and in control theory, where systems with memory or delayed responses are better understood through fractional models. Similarly, heat conduction and electromagnetics benefit from FC’s ability to model systems that involve long-range interactions and cumulative effects over time [9,10,11].

Results regarding compactness in the spaces $L^p\left({\mathbb{R}}^d\right)$, with $1\le p<\infty$, and $C\left(K\right)$, meaning the space of continuous functions on a compact metric space K with values in $\mathbb{R}$, are essential for establishing the existence of solutions to functional integral, integral, and differential equations.

Kuratowski [12] proposed the first definition of the measure of non-compactness. According to his definition, letting $\Omega$ be any bounded subset of a metric space, if it is possible to cover $\Omega$ with a finite number of balls, then the smallest diameter among these balls is referred to as the Kuratowski’s measure of non-compactness. Saha et al. [13] applied the measure within the Hölder space, specifically when studying nonlinear functional integral equations with changed arguments. Mehravaran et al. [14] introduced a set of measures of non-compactness in the locally Sobolev space and then used it to study the existence of solutions for a class of Volterra integro-differential nonlinear equations. Mehravaran et al. [15] proposed a measure of non-compactness for regulated functions in a specific space, and demonstrated a Darbo-type fixed point theorem. Metwali and Vishnu [16] defined a compactness criterion in Lebesgue spaces and constructed a related measure of non-compactness. They applied it using a modified Darbo-type fixed point theorem to prove that products of n-Hammerstein integral equations have monotonic integrable solutions. Tamimi et al. [17] developed a measure of non-compactness in the generalized Morrey space and used it to address the existence of solutions to systems of nonlinear integral equations. Zhu and Han [18] used the measure of non-compactness, the convex-power condensing operator, the solution operator, and the Banach contraction principle to investigate nonlinear time fractional-order (FO) partial integro-differential equations. Zhu and Han [19] used the Schauder fixed point theorem to explore the approximate controllability of mixed-type non-autonomous FO differential equations. Zhu et al. [20] adopted the measure of non-compactness, the $\beta$-resolvent family, and fixed point theorems to study the existence and uniqueness of mild solutions for FO non-autonomous evolution equations. Banaei and Mursaleen [21] established Darbo’s fixed point theorems using measures of non-compactness and weakly $JS$-contractive conditions in Banach spaces. They applied these results to a system of differential equations. Aghajani and Haghighi [22] employed measures of non-compactness and the Darbo fixed point theorem to establish criteria for the existence of solutions to systems of nonlinear equations in Banach spaces. Bokayev et al. [23] provided sufficient conditions for the pre-compactness of sets in the generalized Morrey spaces $M_w^p$. Arab et al. [24] introduced compact sets in $C^k$ and $C_0^k$ spaces and developed new measures of non-compactness. They applied them to prove the existence of solutions for functional integro-differential equations.

We can generalize many important theorems from $L^p$ to functions in generalized Morrey spaces. The benefit of working in Morrey spaces, as compared to $L^p$, is that we can study functions without compact support. This space controls the local integrability of functions, and it makes Morrey spaces more flexible for certain applications. Tamimi et al. [17] developed the first measure of noncompactness in the generalized Morrey spaces; this measure was defined on ${\mathbb{R}}^{\mathbb{N}}$, and it is a powerful tool for studying the integral equation on unbounded domains.

In this paper, we introduce the new noncompactness measure defined on a bounded domain of ${\mathbb{R}}^{\mathbb{N}}$. This measure can be applied to investigate the solution for integral equations on every bounded domain of the generalized Morrey spaces. By using the measure of non-compactness within generalized Morrey spaces, we investigate the existence of solutions for the Hadamard FO system of integral equations

$$\left\{\begin{array}{c}u\left(\xi \right)=f_1\left(\xi ,u\left(\xi \right),v\left(\xi \right)),\underset{1}{\overset{\xi }{\int }}{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_1(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \right),\hfill \\ v\left(\xi \right)=f_2\left(\xi ,u\left(\xi \right),v\left(\xi \right)),\underset{1}{\overset{\xi }{\int }}{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_2(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \right),\hfill \end{array}\right.$$

(1)

where $\xi \in [0,T]$, $\eta \in \mathbb{R}$, $\alpha \in (0,1)$, and $f_i:[0,T]\times {\mathbb{R}}^3\to \mathbb{R}$ for $i=\{1,2\}$.

Definition 1

([25]). Given the function $f:[a,\infty )\to \mathbb{R}$, with $a>0$, its left-sided Hadamard FO integral of order $\alpha >0$ is

$$H_{a+}^{\alpha }f\left(t\right)=\frac{1}{\Gamma \left(\alpha \right)}{\int }_a^t{\left(ln\frac{t}{s}\right)}^{\alpha -1}\frac{f\left(s\right)}{s}ds,$$

assuming that the integral exists, $\Gamma \left(\alpha \right)={\int }_0^{\infty }{t}^{\alpha -1}{e}^{-t}dt$, and $ln(·)$ denotes the natural logarithm function.

Definition 2

([25]). For $f\in C^n[a,\infty )$ and $a,\alpha >0$, the α-order left-sided Hadamard FO derivative is

$$H_{a+}^{\alpha }f\left(t\right)=\frac{1}{\Gamma (n-\alpha )}{\left(t\frac{d}{dt}\right)}^n{\int }_a^t{\left(ln\frac{t}{s}\right)}^{n-\alpha -1}\frac{f\left(s\right)}{s}ds,$$

where $n-1<\alpha \le n$ and $n=\lceil \alpha \rceil +1$, with $\lceil ·\rceil$ denoting the Gaussian function.

Hadamard first introduced the concept of Hadamard fractional-order (FO) calculus in his work [26]. This form of fractional calculus differs significantly from the more commonly known Riemann–Liouville (R-L) fractional calculus, particularly in terms of the kernel functions that define the fractional derivatives. In a recent study, Ould et al. [27] explored the uniqueness of mild solutions, as well as Ulam–Hyers and Ulam–Hyers-Rassias stability, for abstract fractional differential equations of Sobolev type with nonlocal boundary conditions. Their work employed the Hadamard derivative to achieve these results. Additionally, Maazouz et al. [28] tackled the issue of existence and uniqueness of solutions for boundary value problems related to nonlinear fractional-order pantograph equations. Their approach involved the use of a variable-order fractional derivative of Hadamard type. Furthering the exploration of Hadamard derivatives, Benkerrouche et al. [29] analyzed impulsive boundary value problems (BVP) for differential equations with variable fractional order that include the Caputo–Hadamard fractional derivative. Moreover, Ntouyas et al. [30] initiated research into fractional boundary value problems involving a combination of sequential Riemann–Liouville and Hadamard–Caputo fractional derivatives, with iterated fractional integral boundary conditions supplementing the differential equations. Indeed, the Hadamard and the R-L FO calculus use the kernel functions $k_H(t,s)={(log\frac{t}{s})}^{\alpha -1}$ and $k_{R-L}(t,s)={(t-s)}^{\alpha -1}$, respectively. For any $\mu >0$, $k_H(\mu t,\mu s)=k_H(t,s)$, while $k_{R-L}(\mu t,\mu s)={\mu }^{\alpha -1}{k}_{R-L}(t,s)\ne k_R(t,s)$, highlighting another difference. For more information on the Hadamard FO calculus, please see references [25,30,31,32,33].

In the following, we propose a novel measure of non-compactness within a bounded domain of ${\mathbb{R}}^N$ in the context of generalized Morrey spaces. This newly defined measure is employed to analyze the existence of solutions for a coupled Hadamard FO system of integral equations in those spaces. Additionally, we provide an example that illustrates the applicability of the attained results and highlights potential avenues for further research and applications in a variety of fields.

The rest of this research paper is organized as follows. Section 2 introduces some basic definitions and results. Section 3 establishes a new measure of non-compactness within the framework of generalized Morrey spaces on bounded domains. Section 4 provides an example to confirm the effectiveness and applicability of this measure. Finally, Section 5 summarizes the key findings.

2. Preliminaries

This section provides some fundamental definitions and results that are necessary for the work presented in this paper.

Definition 3

([21]). The mapping $\mu :{\Lambda }_{\Theta }⟶[0,+\infty ]$ is a measure of non-compactness in $\Theta$ if:

A1.

$ker\mu :=\{U\in {\Lambda }_{\Theta }:\mu \left(U\right)=0\}$ is Definition 3. nonempty and $ker\mu \subset D_{\Theta }$,

A2.

$U\subseteq V⟹\mu \left(U\right)\le \mu \left(V\right)$,

A3.

$\mu \left(\overline{U}\right)=\mu \left(U\right)=\mu (ConvU)$,

A4.

$\mu (cU+(1-c\left)V\right)\le c\mu \left(U\right)+(1-c)\mu \left(V\right)$, for each $c\in [0,1]$,

A5.

If $\left\{U_n\right\}$ is a sequence of closed sets from ${\Lambda }_{\Theta }$, such that $U_{n+1}\subseteq U_n$ and $\underset{n\to \infty }{lim}\mu \left(U_n\right)=0$, then the set $U_{\infty }={\displaystyle \bigcap _{n=1}^{\infty }}{U}_n\ne \varnothing$, where $D_{\Theta }$ is the set of all precompact sets in ${\Lambda }_{\Theta }$, and ${\Lambda }_{\Theta }$ is the set of all nonempty, bounded subsets of $\Theta$.

Theorem 1

([34]). Consider a nonempty, bounded, convex, and closed subset F within a Banach space $\Omega$, with a continuous mapping $E:\Omega ⟶\Omega$, and let μ be a measure of non-compactness on $\Omega$. If, for any nonempty subset U of $\Omega$, a constant $c\in [0,1)$ exists so that

$$\mu \left(EU\right)\le c\mu \left(U\right),$$

then E possesses at least one fixed point in $\Omega$.

Theorem 2

([22]). Consider a nonempty, bounded, convex, and closed subset E of a Banach space V, and let μ be an arbitrary measure of non-compactness on V. Suppose that, for $n\in \mathbb{N}$ and $i=1,2,\dots ,n$, continuous operators ${\mathcal{H}}_i:E^n\to E$ exist, and for any subsets $U_1,\dots ,U_n$ of E, a constant $\lambda \in [0,1)$ exists so that

$$\mu \left({\mathcal{H}}_i(U_1,\dots ,U_n)\right)\le \lambda max\{\mu \left(U_1\right),\dots ,\mu \left(U_n\right)\}.$$

(2)

Then, for every i, there exist elements ${\gamma }_1^{*},\dots ,{\gamma }_n^{*}\in E$, so that ${\mathcal{H}}_i({\gamma }_1^{*},\dots ,{\gamma }_n^{*})={\gamma }_i^{*}$.

Definition 4

([23]). Let ${\Omega }_{p^{\infty }}^N$ be the set of all non-negative, measurable and not equivalent to zero functions $\vartheta :(0,+\infty )⟶(0,+\infty )$, which for some $\xi >0$

$$\left|\right|\vartheta (.)r^{\frac{N}{P}}{\left|\right|}_{L^{\infty }(0,\xi )}<\infty ,$$

and for all $\xi >0$

$${\left|\right|\vartheta (.)\left|\right|}_{L^{\infty }(\xi ,+\infty )}<\infty ,$$

where $1\le p\le \infty$.

Definition 5

([23]). The local generalized Morrey space $M_p^{\vartheta }\equiv M_p^{\vartheta }(\Omega )$ on $\Omega =[a_1,b_1]\times ...\times [a_n\times b_n]\subseteq {\mathbb{R}}^N$ is the finite quasi-norm

$${\left|\right|f\left|\right|}_p^{\vartheta }\equiv \underset{\begin{array}{c}u\in \Omega ,\\ 0<r<\mathrm{diam}(\Omega )\end{array}}{sup}{\left|\right|\vartheta (.)\left|\right|f\left|\right|}_{L^p\left(B(u,.)\right)}{\left|\right|}_{L^{\infty }(0,r)},$$

(3)

where $\vartheta \in {\Omega }_{p^{\infty }}^N$.

Theorem 3.

The space $M_p^{\varpi }\left({\mathbb{R}}^N\right)$ is a non-trivial normed vector space if and only if $\varpi \in {\Omega }_{p^{\infty }}^N$.

Example 1.

Let us consider

$$f\left(x\right)=\left\{\begin{array}{c}\sqrt{\pi },x\in [2\nu ,2\nu +1],\hfill \\ -\sqrt{\pi },x\in (2\nu -1,2\nu ),\hfill \end{array}\right.$$

where $\nu \in \mathbb{Z}$. If $\vartheta \left(r\right)=r^{-\frac{1}{2}}$, we have

$$\underset{x\in \mathbb{R}}{sup}{\left|\right|\varpi (.)\left|\right|f\left|\right|}_{L^2\left(B(x,0)\right)}{\left|\right|}_{L^{\infty }(0,+\infty )}=\underset{x\in \mathbb{R},r>0}{sup}|r^{-\frac{1}{2}}{\left({\int }_{x-r}^{x+r}{f}^2\left(s\right)ds\right)}^{\frac{1}{2}}|=\sqrt{2\pi }.$$

Example 2.

We consider

$$g\left(x\right)=\left\{\begin{array}{c}sech\left(x\right),x\in [2\nu ,2\nu +1],\hfill \\ 0.5.tanh\left(x\right),x\in (2\nu +1,2\nu +2),\hfill \end{array}\right.$$

where $\nu \in \mathbb{2}\mathbb{Z}$, which belongs to $M_2^{\vartheta }(\mathbb{R}$ If $\vartheta \left(r\right)=r^{-\frac{1}{2}}$, and we have

$$\underset{x\in \mathbb{R}}{sup}{\left|\right|\varpi (.)\left|\right|f\left|\right|}_{L^2\left(B(x,0)\right)}{\left|\right|}_{L^{\infty }(0,+\infty )}=\underset{x\in \mathbb{R},r>0}{sup}|r^{-\frac{1}{2}}{\left({\int }_{x-r}^{x+r}{f}^2\left(s\right)ds\right)}^{\frac{1}{2}}|=\sqrt{2\pi }.$$

This shows that discontinuous functions can belong to the generalized Morrey space. Figure 1 presents a plot of this function.

Theorem 4

([23]). Suppose that $\vartheta \in {\Omega }_{p^{\infty }}^N$ and $1\le p\le \infty$. If, for a subset Q of $M_p^{\vartheta }\left({\mathbb{R}}^N\right)$,

D1. 

$\underset{g\in Q}{sup}{\left|\right|g\left|\right|}_p^{\vartheta }<\infty ,$

D2. 

$\underset{T\to \infty }{lim}\underset{g\in Q}{sup}\left|\right|g{\chi }_{B^c(0,T)}{\left|\right|}_p^{\vartheta }=0,$

D3. 

$\underset{\left|d\right|\to 0}{lim}\underset{g\in Q}{sup}\left|\right|T_{d}g-g{\left|\right|}_p^{\vartheta }=0,$

where $T_{d}g\left(u\right):=g(u+d)$ for all $u,d\in {\mathbb{R}}^N$, then the subset Q is precompact in $M_p^{\vartheta }\left({\mathbb{R}}^N\right)$.

Lemma 1

([24]). Assume that E is a metric space and that, for each $ϵ>0$, there exist a constant $\gamma >0$, a metric space F and a mapping $\psi :E⟶F$, such that $\psi \left[E\right]$ is totally bounded. Moreover, for $u,v\in E$, if $d(u,v)<\epsilon$, then $d\left(\psi \right(u),\psi (v\left)\right)<\gamma$. Under these conditions, E is totally bounded.

3. Measure of Non-Compactness on Bounded Domains

This section establishes a novel measure of non-compactness within the framework of generalized Morrey spaces on bounded domains. This new measure builds upon existing concepts of non-compactness, offering a more refined tool for analyzing the compactness properties of sets in these spaces.

Theorem 5.

Assume that $\Omega$ is a compact subset of ${\mathbb{R}}^N$. If $F\subset M_p^{\vartheta }(\Omega )$ is bounded and equicontinuous with norm of local generalized Morrey space, then F is totally bounded in $M_p^{\vartheta }(\Omega )$.

Proof. 

By using the equicontinuity of F and compactness of $\Omega$ for all $\epsilon >0$, we can obtain a finite set of $u_1,...,u_m\in \Omega$, such that $|u-u_i|<\epsilon$, with neighborhood $U_1,...,U_m$ covering $\Omega$, so that $\left|\right|f\left(u\right)-f\left(u_i\right){\left|\right|}_p^{\vartheta }<\epsilon .$ Define $\phi :F⟶{\mathbb{R}}^m$, such that $\phi \left(f\right):=(f\left(u_1\right),...,f\left(u_m\right))$ by boundedness of F. The image $\phi \left[F\right]$ is totally bounded on ${\mathbb{R}}^m$. Additionally, if $f,g\in F$ satisfy $\left|\right|\phi \left(f\right)-{\phi \left(g\right)\left|\right|}_p^{\vartheta }<\epsilon$, then by Lemma 1, F is totally bounded. □

Theorem 6.

Let $\mathcal{H}$ be a bounded subset of $M_p^{\vartheta }(\Omega )$, with $1\le p\le \infty$, and

$$\varpi (g,\epsilon ):=sup\left\{\left|\right|T_{d}g-{g\left|\right|}_p^{\vartheta }:\left|d\right|<ϵ\right\},$$

(4)

$$\varpi (\mathcal{H},\epsilon ):=sup\left\{\varpi (g,\epsilon ):g\in \mathcal{H}\right\},$$

(5)

$${\varpi }_0\left(\mathcal{H}\right):=\underset{ϵ\to 0}{lim}\varpi (\mathcal{H},\epsilon ),$$

(6)

where $T_{d}g\left(\xi \right):=g(\xi +d)$ for all $\xi ,d\in \Omega$. Therefore, ${\varpi }_0:{\Omega }_{M_p^{\vartheta }(\Omega )}⟶{\mathbb{R}}^{+}$ is a measure of non-compactness on $M_p^{\vartheta }(\Omega )$.

Proof. 

Let $\mathcal{H}\in {\Lambda }_{\Omega }$, such that ${\varpi }_0\left(\mathcal{H}\right)=0$. According to Equations (4)–(6), it holds that $\underset{\left|d\right|\to 0}{lim}\left|\right|T_{d}g-g{\left|\right|}_p^{\vartheta }=0$ uniformly for all $g\in \mathcal{H}$. Therefore, by Theorem 5, we conclude that $\mathcal{H}$ is precompact. The condition $\left(A2\right)$ is straightforward, and thus ${\phi }_0\left(\mathcal{H}\right)\le {\varpi }_0\left(\overline{\mathcal{H}}\right)$. To prove the reverse inequality, assume that $g\in \overline{\mathcal{H}}$ and that there exists a sequence ${\left\{g_n\right\}}_{n=1}^{\infty }\subset \mathcal{H}$ such that $g_n\to g$ in $M_p^{\vartheta }(\Omega )$. For $ϵ>0$, a $k\in \mathbb{N}$ exists such that, for all $m>k$, $\left|\right|g-g_m{\left|\right|}_p^{\vartheta }<\frac{ϵ}{2}$. For each $d\in {\mathbb{R}}^N$ with $\left|d\right|<\epsilon$

$$\begin{array}{cc}\hfill & \left|\right|T_{d}g-{g\left|\right|}_p^{\vartheta }\le \left|\right|T_{d}g-T_d{g}_m{\left|\right|}_p^{\vartheta }+\left|\right|T_d{g}_m-g_m{\left|\right|}_p^{\vartheta }+\left|\right|g_m-g{\left|\right|}_p^{\vartheta }\hfill \\ \hfill & =\left|\right|g_m-{g\left|\right|}_p^{\vartheta }+\left|\right|T_d{g}_m-g_m{\left|\right|}_p^{\vartheta }+\left|\right|g-g_m{\left|\right|}_p^{\vartheta }\hfill \\ \hfill & \le \epsilon +\varpi (g_m,\epsilon ).\hfill \end{array}$$

Therefore, $\varpi (\overline{\mathcal{H}},\epsilon )\le \epsilon +\varpi (\mathcal{H},\epsilon )$. Hence,

$${\varpi }_0\left(\overline{\mathcal{H}}\right)\le {\varpi }_0\left(\mathcal{H}\right).$$

(7)

This completes the proof of (A3). Because the norm has a triangular property, one can check (A4) quickly. In the following, the correctness of (A5) is verified. Suppose that $\left\{g_n\right\}$ is a sequence formed of closed sets in ${\Lambda }_{M_p^{\vartheta }}(\Omega )$, so that $g_{n+1}\subseteq g_n$ and ${lim}_{n\to \infty }{\varpi }_0\left({\mathcal{H}}_n\right)=0$. For any $n\in \mathbb{N}$, select $g_n\in {\mathcal{H}}_n$. Now, it needs to be shown that $g_n$ converges to some $g_0$. Suppose that one defines $H=\left\{g_n\right\}$. Then, it is necessary to prove that H is compact. Hence, it must be proven that H is equicontinuous and bounded. In the following, it is known that $\underset{n\to \infty }{lim}{\varpi }_0\left(g_n\right)=0$, so for any $ϵ>0$, there exists a $L>0$ such that, for $m>L$, ${\varpi }_0\left(g_m\right)<ϵ$. Then, $\parallel T_d{g}_m-g_m{\parallel }_p<ϵ$. This implies equicontinuity of ${\left\{g_m\right\}}_{m=L}^{\infty }$. By applying Lemma 1, it can be concluded that ${\left\{g_m\right\}}_{m=L}^{\infty }$ is compact, and thus, ${\left\{g_i\right\}}_{i=1}^L$ is also compact. □

4. Applications within Generalized Morrey Spaces

This section illustrates the practical usefulness of the newly introduced measure of non-compactness. An example is carefully chosen to show how the new measure can be effectively applied to solve complex problems within generalized Morrey spaces.

We examine the system (1) within the framework of generalized Morrey spaces and demonstrate that if system (1) satisfies the conditions

A.

Function $J_i:{\mathbb{R}}_{+}⟶{\mathbb{R}}_{+}$ is continuous and function $f_i:{\mathbb{R}}^4⟶\mathbb{R}$ is measurable. Therefore, positive constants ${\lambda }_1$, ${\lambda }_2$ and ${\lambda }_3$ exist, such that $0<{\lambda }_1+{\lambda }_2<1$, and

$$\begin{array}{cc}\hfill & |f_i({\xi }_1,u_1,v_1,z_1)-f_i({\xi }_2,u_2,v_2,z_2)|\le |J_i\left({\xi }_1\right)-J_i\left({\xi }_2\right)|+{\lambda }_1|u_1\left(\xi \right)-u_2\left(\xi \right)|+\hfill \\ \hfill & {\lambda }_2|v_1\left(\xi \right)-v_2\left(\xi \right)|+{\lambda }_3|z_1\left(\xi \right)-z_2\left(\xi \right)|,\hfill \end{array}$$

(8)

where $i\in \{1,2\}$ and ${\lambda }_3\in {\mathbb{R}}_{+}$.

B.

The function $b_i:{\mathbb{R}}^3⟶\mathbb{R}$ is bounded and continuous, with a positive constant M such that $|b_i(\xi ,u,v)|\le M$.

C.

$f_{i,0}\left(\xi \right):=f_i(\xi ,0,0,0)$ belongs to $M_p^{\vartheta }(\Omega )\cap L^p(\Omega )$.

Then, the system (1) has at least one solution.

Theorem 7.

Under conditions A–C, the system (1) has at least one solution in $M_p^{\vartheta }(\Omega )$.

Proof. 

We start with

$${\left|\right|u\left|\right|}_p^{\vartheta }\equiv \underset{\begin{array}{c}u\in \Omega ,\\ 0<r<\mathrm{diam}(\Omega )\end{array}}{sup}\left|\right|{\varpi }_{(.)}{\left|\right|u\left|\right|}_{L^p\left(B(u,.)\right)}{\left|\right|}_{L^{\infty }(0,r)}<r_0,$$

$${\left|\right|v\left|\right|}_p^{\vartheta }\equiv \underset{\begin{array}{c}u\in \Omega ,\\ 0<r<\mathrm{diam}(\Omega )\end{array}}{sup}\left|\right|{\varpi }_{(.)}{\left|\right|v\left|\right|}_{L^p\left(B(v,.)\right)}{\left|\right|}_{L^{\infty }(0,r)}<r_0,$$

and

$$F_i(u\left(\xi \right),v\left(\xi \right))=f_i\left(\xi ,u\left(\xi \right),v\left(\xi \right),{\int }_1^{\xi }{(ln\frac{\xi }{\eta })}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \right).$$

(9)

According to the Cauchy–Schwartz inequality, we obtain

$$\begin{array}{cc}\hfill |F_i(u,v)\left(\xi \right)|& \le |f_i(\xi ,u\left(\xi \right),v\left(\xi \right)),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta )-f_i(\xi ,0,0,0)+f_i(\xi ,0,0,0)|\hfill \end{array}$$

(10)

$$\begin{array}{cc}\hfill & \le {\lambda }_1\left|u\left(\xi \right)\right|+{\lambda }_2\left|v\left(\xi \right)\right|+{\lambda }_{3}M{(T-1)}^{\frac{1}{2}}\frac{1}{2\alpha -1}{(ln\left(T\right))}^{2\alpha -1}.\hfill \end{array}$$

(11)

By the Lebesgue-dominated convergence theorem, we have

$$\begin{array}{c}\hfill \left|\right|F_i{(u,v)\left(\xi \right)\left|\right|}_p^{\vartheta }\le {\lambda }_1{\left|\right|u\left(\xi \right)\left|\right|}_p^{\vartheta }+{\lambda }_2{\left|\right|v\left(\xi \right)\left|\right|}_p^{\vartheta }+{\lambda }_{3}M{(T-1)}^{\frac{1}{2}}\frac{1}{2\alpha -1}{(ln\left(T\right))}^{2\alpha -1}.\end{array}$$

(12)

We choose $r_0$ such that

$$\frac{{\lambda }_{3}M{(T-1)}^{\frac{1}{2}}{(ln\left(T\right))}^{2\alpha -1}}{(2\alpha -1)(1-{\lambda }_1-{\lambda }_2)}<r_0,$$

(13)

Therefore, we prove that $F_i$ is a self-map. We show that $u_n\to u$ and $v_n\to v$ in $B_{r_0}$ with norm $M_p^{\vartheta }(\Omega )$. So, we show that $F_i(u_n,v_n)\to F_i(u,v)$ for $i\in 1,2.$ By using A and C, we get

$$\begin{array}{cc}\hfill & |f_i(\xi ,u_n\left(\xi \right),v_n\left(\xi \right)),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u_n\left(\eta \right),v_n\left(\eta \right))}{\eta }d\eta )\hfill \\ \hfill & -f_i(\xi ,u\left(\xi \right),v\left(\xi \right)),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \left)\right|\hfill \\ \hfill & \le {\lambda }_1|u_n\left(\xi \right)-u\left(\xi \right)|+{\lambda }_2|v_n\left(\xi \right)-v\left(\xi \right)|\hfill \\ \hfill & +{\lambda }_3\left|{\int }_1^{\xi }(ln(\frac{\xi }{\eta }\left)\right)\alpha -1\frac{b_i(\eta ,u_n\left(\eta \right),v_n\left(\eta \right))-b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \right|.\hfill \end{array}$$

(14)

By the Lebesgue-dominated convergence theorem, we have

$$\begin{array}{cc}\hfill & \left|\right|f_i(\xi ,u_n\left(\xi \right),v_n\left(\xi \right)),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u_n\left(\eta \right),v_n\left(\eta \right))}{\eta }d\eta )\hfill \\ \hfill & -f_i(\xi ,u\left(\xi \right),v\left(\xi \right)),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }{d\eta \left)\right||}_p^{\vartheta }\hfill \\ \hfill & \le {\lambda }_1\left|\right|u_n\left(\xi \right)-{u\left(\xi \right)\left|\right|}_p^{\vartheta }+{\lambda }_2\left|\right|v_n\left(\xi \right)-v\left(\xi \right){\left|\right|}_p^{\vartheta }\hfill \\ \hfill & +{\lambda }_3{\left|\left|{\int }_1^{\xi }(ln(\frac{\xi }{\eta }\left)\right)\alpha -1\frac{b_i(\eta ,u_n\left(\eta \right),v_n\left(\eta \right))-b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta \right|\right|}_p^{\vartheta }.\hfill \end{array}$$

(15)

Then $\left|\right|F_i(u_n,v_n)-F_i(u,v){\left|\right|}_p^{\vartheta }\to 0$ as $n\to \infty$, confirming that $F_i$ is continuous in the local generalized Morrey space.

Now, we show that, for the nonempty subsets $X_1,X_2\in B_{r_0}$, we have

$$\varpi \left(F_i(X_1,X_2)\right)\le C_{1}max\varpi (X_1,X_2),$$

(16)

with $C_1:=max\left\{{\lambda }_1,{\lambda }_2\right\}$. We choose $u\in X_1$ and $v\in X_2$. For an arbitrary $\epsilon >0$ and $\xi ,d\in \Omega$ with $\left|d\right|<\epsilon$, we have:

$$\begin{array}{cc}\hfill & |F_i(u,v)(\xi +d)-F_i(u,v)\left(\xi \right)|=\hfill \\ \hfill & |f_i(\xi +d,u(\xi +d),v(\xi +d),{\int }_1^{\xi +d}{(ln(\frac{\xi +d}{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta )\hfill \\ \hfill & -f_i(\xi ,u\left(\xi \right),v\left(\xi \right),{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta )|\hfill \\ \hfill & <|J_i(\xi +d)-J_i\left(d\right)|+{\lambda }_1|u(\xi +d)-u\left(\xi \right)|+{\lambda }_2|v(\xi +d)-v\left(\xi \right)|\hfill \\ \hfill & +{\lambda }_3|{\int }_1^{\xi +d}{(ln(\frac{\xi +d}{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta -ln(\frac{\xi }{\eta }){)}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta |.\hfill \end{array}$$

(17)

By the Lebesgue-dominated convergence theorem, we have

$$\begin{array}{cc}\hfill & \left|\right|F_i(u,v)(\xi +d)-F_i(u,v)\left(\xi \right){\left|\right|}_p^{\vartheta }=\hfill \\ \hfill & <\left|\right|J_i(\xi +d)-J_i{\left(d\right)\left|\right|}_p^{\vartheta }+{\lambda }_1\left|\right|u(\xi +d)-{u\left(\xi \right)\left|\right|}_p^{\vartheta }+{\lambda }_2\left|\right|v(\xi +d)-{v\left(\xi \right)\left|\right|}_p^{\vartheta }\hfill \\ \hfill & +{\lambda }_3\left|\right|{\int }_1^{\xi +d}{(ln(\frac{\xi +d}{\eta }))}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta -ln(\frac{\xi }{\eta }){)}^{\alpha -1}\frac{b_i(\eta ,u\left(\eta \right),v\left(\eta \right))}{\eta }d\eta {\left|\right|}_p^{\vartheta }.\hfill \end{array}$$

(18)

Applying the Riesz–Fischer and the Lebesgue-dominated convergence theorems, the proof is completed. □

Remark 1.

In a similar manner, the investigation of both finite and infinite systems of fractional integral equations within the context of generalized Morrey spaces constitutes an important area of research. For an in-depth analysis of this subject, readers are encouraged to consult the thorough examination found in reference [17].

Example 3.

Here, we present an example that illustrates the effectiveness and applicability of Theorem 7. For every positive constant T such that $\xi \in [0,T]$, we consider a system of fractional differential equations:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}u\left(\xi \right)=e^{-\xi }+\frac{u\left(\xi \right)}{e^{\xi }+3}+\frac{v\left(\xi \right)}{{\xi }^2+3}+{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\frac{-1}{6}}\frac{arctan\left(u\right(\eta )+v(\eta \left)\right)}{\eta }d\eta ,\hfill \\ v\left(\xi \right)=\frac{1}{1+cosh\left(\xi \right)}+\frac{u\left(\xi \right)}{20+cos\left(\xi \right)}+\frac{v\left(\xi \right)}{\pi +{cos}^2\left(\xi \right)}+{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{\frac{-1}{6}}\frac{sin\left(u\right(\eta )+v(\eta \left)\right)}{\eta }d\eta .\hfill \end{array}\right.\end{array}$$

(19)

According to system (1) and Equation (9), we obtain

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{f}_1(\xi ,u,v,z)=e^{-\xi }+\frac{u}{e^{\xi }+3}+\frac{v}{{\xi }^2+3}+z,\hfill \\ f_2(\xi ,u,v,z)=\frac{1}{1+cosh\left(\xi \right)}+\frac{u}{20+cos\left(\xi \right)}+\frac{v}{\pi +{cos}^2\left(\xi \right)}+z.\hfill \end{array}\right.\end{array}$$

We set $\vartheta =r^{\frac{-1}{2}}$, and $\alpha =\frac{1}{2}$. Since $f_1(\xi ,0,0,0)=e^{-\xi }$ and $f_2(\xi ,0,0,0)=\frac{1}{1+cosh\left(\xi \right)}$, then $\left|\right|J_1{\left|\right|}_p^{\vartheta }\le \sqrt{2}$, and $\left|\right|J_2{\left|\right|}_p^{\vartheta }\le \frac{1}{\sqrt{2}}$. Furthermore,

$$\begin{array}{cc}\hfill & {\lambda }_1=max\left\{\underset{0\le \xi \le T}{sup}\left\{\frac{1}{e^{\xi }+3}\right\},\underset{0\le \xi \le T}{sup}\left\{\frac{1}{cos\left(\xi \right)+20}\right\}\right\}=\frac{1}{3},\hfill \\ \hfill & {\lambda }_2=max\left\{\underset{0\le \xi \le T}{sup}\left\{\frac{1}{{\xi }^2+3}\right\},\underset{0\le \xi \le T}{sup}\left\{\frac{1}{{cos}^2\left(\xi \right)+\pi }\right\}\right\}=\frac{1}{3},\hfill \\ \hfill & {\lambda }_3=1.\hfill \end{array}$$

Hence, conditions A–C are satisfied. Then, for each $p\ge 1$, the system (19) has a solution in $M_p^{\vartheta }$.

Example 4.

We demonstrate that the fractional integral system (20) possesses a solution within the space $M_p^{\vartheta }$:

$$\begin{array}{c}\hfill \left\{\begin{array}{c}u\left(\xi \right)=arctan({\xi }^2+1)+\frac{cos\left(v\right(\xi \left)\right)}{|sinh(\xi \left)\right|+15}+{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{-\frac{1}{6}}\frac{cos\left(v\right(\eta \left)\right)}{\eta }d\eta ,\hfill \\ \\ v\left(\xi \right)=tanh\left(\xi \right)+\frac{arctan\left(u\right(\xi )+v(\xi \left)\right)}{{\xi }^5+20}+{\int }_1^{\xi }{(ln(\frac{\xi }{\eta }))}^{-\frac{1}{6}}\frac{sech\left(u\right(\eta \left)\right)}{\eta }d\eta .\hfill \end{array}\right.\end{array}$$

(20)

According to system (1) and Equation (9), we obtain

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{f}_1(\xi ,u,v,z)=arctan({\xi }^2+1)+\frac{cos\left(v\right)}{|sinh(\xi \left)\right|+15}+u,\hfill \\ f_2(\xi ,u,v,z)=tanh\left(\xi \right)+\frac{arctan(u+v)}{{\xi }^5+20}+u.\hfill \end{array}\right.\end{array}$$

We set $\varpi \left(r\right)=r^{\frac{-1}{3}}$, and $\alpha =\frac{1}{3}$. Since $f_1(\xi ,0,0,0)=arctan({\xi }^2+1)$ and $f_2(\xi ,0,0,0)=tanh\left(\xi \right)$, then $\left|\right|J_1{\left|\right|}_p^{\vartheta }\le \frac{\sqrt[3]{2}}{8}{\pi }^2$, and $\left|\right|J_2{\left|\right|}_p^{\vartheta }\le \sqrt[3]{2}$. Additionally,

$$\begin{array}{cc}\hfill & {\lambda }_1=max\left\{0,\underset{0\le \xi \le T}{sup}\left\{\frac{1}{{\xi }^2+20}\right\}\right\}=\frac{1}{20},\hfill \\ \hfill & {\lambda }_2=max\left\{\underset{0\le \xi \le T}{sup}\left\{\frac{1}{|sinh(\xi \left)\right|+15}\right\},\underset{0\le \xi \le T}{sup}\left\{\frac{1}{{\xi }^2+20}\right\}\right\}=\frac{1}{15},\hfill \\ \hfill & {\lambda }_3=1.\hfill \end{array}$$

Hence, conditions A–C are satisfied. Then, for each $p\ge 1$, the system (20) has a solution in $M_p^{\vartheta }$.

5. Concluding Remarks

This paper introduced a novel measure of non-compactness within a bounded domain in ${\mathbb{R}}^N$ for generalized Morrey spaces. This measure was utilized to demonstrate the existence of solutions for a coupled Hadamard fractional-order system of integral equations in these spaces. Examples were provided to illustrate the application of the main result. The paper also suggested future research directions, including the study of infinite systems of integral equations in Morrey spaces and extending these results to other domains, such as Morrey spaces on ${\mathbb{R}}^2$.