Next Article in Journal
Analysis of Truncated M-Fractional Mathematical and Physical (2+1)-Dimensional Nonlinear Kadomtsev–Petviashvili-Modified Equal-Width Model
Next Article in Special Issue
Practical Stability of Observer-Based Control for Nonlinear Caputo–Hadamard Fractional-Order Systems
Previous Article in Journal
Morphological Features of Mathematical and Real-World Fractals: A Survey
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Solutions for Caputo Sequential Fractional Differential Inclusions with Nonlocal Generalized Riemann–Liouville Boundary Conditions

by
Murugesan Manigandan
1,
Saravanan Shanmugam
2,*,
Mohamed Rhaima
3,* and
Elango Sekar
4
1
Centre for Computational Modeling, Chennai Institute of Technology, Chennai 600069, India
2
Centre for Nonlinear Systems, Chennai Institute of Technology, Chennai 600069, India
3
Department of Statistics and Operations Research, College of Sciences, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
4
Department of Mathematics, Amrita School of Physical Sciences, Amrita Vishwa Vidyapeetham, Coimbatore 641112, India
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2024, 8(8), 441; https://doi.org/10.3390/fractalfract8080441
Submission received: 14 June 2024 / Revised: 22 July 2024 / Accepted: 23 July 2024 / Published: 26 July 2024

Abstract

In this study, we explore the existence and uniqueness of solutions for a boundary value problem defined by coupled sequential fractional differential inclusions. This investigation is augmented by the introduction of a novel set of generalized Riemann–Liouville boundary conditions. Utilizing Carathéodory functions and Lipschitz mappings, we establish existence results for these nonlocal boundary conditions. Utilizing fixed-point theorems designed for multi-valued maps, we obtain significant existence results for the problem, considering both convex and non-convex values. The derived results are clearly demonstrated with an illustrative example. Numerical examples are provided to validate the theoretical conclusions, contributing to a deeper understanding of fractional-order boundary value problems.

1. Introduction

FDEs have emerged as multipurpose tools for modeling phenomena in various scientific and engineering domains, offering a means to describe complex behaviors such as memory effects and long-range interactions. Over recent years, significant research attention has been directed towards developing efficient numerical and analytical methods to solve FDEs, owing to their wide-ranging applications. One notable method for numerically solving FDEs is the operational matrix approach, which was introduced to the field by researchers [1]. This method is adaptable to different boundary conditions and represents fractional derivatives as linear combinations of known functions. Numerical comparison studies, exemplified by [2], are essential for evaluating the effectiveness of different numerical techniques for solving FDEs. These studies help identify optimal methods for specific equations and boundary conditions. The utilization of fractional-order models in real-world scenarios has also attracted significant interest. For instance, researchers [3] applied the Caputo fractional-order model to analyze the dynamics of the COVID-19 pandemic, particularly in the context of implementing lockdown measures. Such studies provide valuable insights for policymakers and healthcare professionals in managing infectious diseases. Moreover, recent research has delved into VOFDEs, where the fractional order varies with time or space. References [4,5] explore numerical techniques for computing solutions to VOFDEs, highlighting the challenges and opportunities associated with this class of equations. Additionally, approximate solution methods for nonlinear FPDEs have been extensively investigated. For instance, ref. [6] presents an approach for obtaining approximate solutions to FPDEs arising in ion-acoustic waves, showcasing the applicability of fractional calculus techniques in studying nonlinear wave phenomena.
The study of fractional calculus has surged in popularity, as it offers a powerful framework for modeling intricate phenomena characterized by memory effects, long-range interactions, and fractal behavior, especially within the domain of FBVPs. FBVPs often incorporate integral boundary conditions, with the Riemann–Liouville integral operator serving as a cornerstone for capturing nonlocal effects. Additionally, CDs are commonly utilized to depict systems exhibiting memory effects. This literature review encompasses various seminal contributions, including investigations into nonlocal FBVPs in [7] and the exploration of generalized Riemann–Liouville (R-L) integral boundary conditions. Key works include the exploration of nonlocal Hadamard fractional integral conditions for nonlinear R-L fractional differential equations [8] and the analysis of impulsive boundary value problems with R-L fractional order derivatives [9,10]. Further, stability analysis of systems governed by fractional-order differential equations with CDs is presented in [11]. Research on the existence, uniqueness, and stability of solutions for variable FBVPs is covered in [12,13]. Experimental studies highlight practical applications of fractional calculus, including fractional-order RC circuit models as discussed in [14]. Recent advancements also include multi-order fractional differential equations with integral boundary conditions in [15] and analytical solutions for nonlinear initial value problems with Caputo derivatives in [16]. Collectively, these studies enhance both theoretical insights and practical applications of FBVPs across scientific and engineering fields.
FDIs have become a key research focus because they provide a more accurate modeling approach for complex dynamic systems compared to traditional differential equations. These inclusions incorporate elements of both differential equations and set-valued mappings, making them highly suitable for describing systems with uncertainties, delays, and nonlocal interactions. The study of FDIs encompasses various types of fractional derivatives, such as the Caputo and Riemann–Liouville derivatives, which allow for the modeling of memory and hereditary properties in dynamic systems. Recent advancements in the field have highlighted the importance of nonlocal boundary conditions and integral conditions in FDIs. Research on Caputo-type sequential fractional differential inclusions with nonlocal integral boundary conditions has advanced our understanding of solution existence in complex boundary scenarios [17]. Similarly, investigations into sequential Riemann–Liouville and Caputo fractional differential inclusions, incorporating generalized fractional integral conditions, have addressed more complex system behaviors [18]. Additionally, the integration of time-varying delays and nonlocal boundary conditions has broadened the scope of FDIs in modeling real-world phenomena, as shown in studies on the controllability of nonlinear fractional differential inclusions [19,20,21,22,23,24,25,26].
The authors in [27] present novel insights into the existing results for fractional differential inclusions with boundary conditions. Their work advances the understanding of how boundary conditions influence the behavior and solution properties of these inclusions, providing valuable contributions to the field. The study contributes to the theoretical understanding of fractional calculus by investigating the existence of solutions in systems with boundary constraints, offering valuable insights into the behavior of dynamic systems under fractional order derivatives. Stochastic differential inclusions and applications are discussed in [28], where the introduction of stochastic elements adds a layer of complexity to the modeling of dynamic systems. By incorporating randomness and uncertainty, stochastic differential inclusions offer a more realistic representation of systems subject to probabilistic influences, making them particularly suitable for applications where uncertainty plays a significant role.
Ref. [29] focuses on coupled systems of fractional differential inclusions with coupled boundary conditions. The study investigates the complexities arising from the coupling of multiple differential equations and inclusionary concepts, offering insights into the behavior of interconnected dynamic systems. The coupled Caputo-type FDIs with boundary conditions are given as follows:
( C D α 1 ) X 1 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( C D α 2 ) Y 1 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] ,
with involving the coupled boundary conditions:
X 1 ( 0 ) = ν 1 Y 1 ( T ) , X 1 ( 0 ) = ν 2 Y 1 ( T ) , X 1 ( 0 ) = μ 1 Y 1 ( T ) , X 1 ( 0 ) = μ 2 Y 1 ( T ) .
where D α 1 C , D α 2 C denote the CFDs of order α 1 , α 2 respectively, F 1 , F 2 : [ 0 , T ] × R 2 P ( R ) are given multi-valued maps, and ν i , μ i , i = 1 , 2 are real constants.
The investigation in [30] focuses on solving systems of coupled nonlinear Atangana–Baleanu-type fractional differential equations. The study introduces advanced numerical techniques that enhance the analysis of these complex systems. Additionally, ref. [31] examines nonlinear coupled differential equations and inclusions with Caputo-type sequential fractional derivatives, providing deeper insights into the behavior of such systems. Together, these studies offer practical methodologies and extend the theoretical framework for analyzing intricate dynamic systems. The study provides a comprehensive analysis of the interplay between differential equations and inclusionary concepts within the framework of fractional calculus. By incorporating Caputo-type sequential derivatives, the research extends beyond traditional differential equations to capture the memory and hereditary properties inherent in dynamic systems, offering valuable insights into the behavior of complex coupled systems with fractional order derivatives. It is given as follows:
( C D α 1 + K 1 C D α 1 1 ) X 1 ( t ) = F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( C D α 2 + K 2 C D α 2 1 ) Y 1 ( t ) = F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( X 1 + Y 1 ) ( 0 ) = ( X 1 + Y 1 ) ( T ) , η ζ ( X 1 Y 1 ) ( ϑ ) d ϑ = Q 1 .
where D α 1 C X 1 ( t ) and D α 1 C Y 1 ( t ) represent the CDs and the function F 1 , F 2 : Q × R 2 R is a continuous. Subsequently, ref. [31] explores the existence of solutions for SFDEs. The study not only examines the conditions under which solutions exist but also contributes to the broader understanding of SFDEs by addressing various boundary conditions and solution methodologies.
Inspired by previous studies, our research looks into a specific type of boundary condition called generalized Riemann–Liouville. We are interested in how these boundary conditions affect complicated systems made up of different equations that are all connected. These equations involve a mathematical concept called Caputo-type sequential derivatives, which helps us understand how things change over time. By studying how these equations interact with each other and with these boundary conditions,
( C D α 1 + K 1 C D α 1 1 ) X 1 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( C D α 2 + K 2 C D α 2 1 ) Y 1 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] ,
and the following boundary conditions:
( X 1 + Y 1 ) ( 0 ) = ( X 1 + Y 1 ) ( T ) , β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( X 1 Y 1 ) ( ϑ ) d ϑ = Q 1 ,
where D α 1 C and D α 2 C are the CFDs of order 1 α 1 , α 2 2 , F 1 , F 2 : [ 0 , T ] × R 2 R are continuous functions, I q ρ is the generalized Riemann–Liouville fractional integral of order q > 0 , ρ > 0 , and Y 1 , Y 2 : [ 0 , T ] × R 2 P ( R ) are multi-valued functions, where P ( R ) denotes the family of all nonempty subsets of R . Q 1 is a positive constant.
This study aims to determine criteria for solutions to problems (1) and (2), with particular emphasis on both convex and non-convex multi-valued maps denoted as F 1 and F 2 . The main contribution of the work as follows: (i) This study introduces new generalized R-L boundary conditions for coupled sequential fractional differential inclusions, expanding the range of applicable boundary conditions in fractional calculus. (ii) It utilizes Carathéodory functions and Lipschitz mappings to establish existence results for fractional differential inclusions, providing a robust theoretical foundation. (iii) It applies standard fixed-point theorems, including the Leray–Schauder nonlinear alternative and the Covitz–Nadler theorem, to derive significant existence results for the problem under both convex and non-convex values. (iv) It provides a specific example to demonstrate the practical application of the developed theoretical results, enhancing understanding and validation of the proposed methods.
This paper is structured as follows: Section 2 deals with basic concepts and introduces a crucial auxiliary lemma necessary to solve the problem. Section 3 investigates existence results under novel boundary conditions, while Section 4 investigates existence results using the Carathéodory function, utilizing the Leray–Schauder nonlinear alternative. Section 5 investigates the existence results under Lipschitz mapping, in particular using the Covitz–Nadler theorem. Section 6 presents a specific example to illustrate the application of these basic theorems. Finally, Section 7 summarizes the conclusion and gives an outlines future directions.

2. Preliminaries Work

This section delves into the definitions of multi-valued maps and examines essential lemmas.
Definition 1 
([32]). For an ( n 1 ) -times absolutely continuous function X 1 : [ 0 , ) R , the (CD) of fractional order α is defined as:
I α X 1 ( t ) = 1 Γ ( α ) 0 t X 1 ( s ) ( t s ) 1 α d s ,
where Γ ( α ) is the gamma function, given by:
Γ ( α ) = 0 t α 1 e t d t .
This definition is valid provided that the right-hand side of the equation is point-wise defined over the interval [ 0 , ) .
Definition 2 
([32]). The CD of fractional order α for an X 1 : [ 0 , ) R can be written as
D 0 α C X 1 ( t ) = D 0 + α X 1 ( t ) k = 0 n 1 t k k ! X 1 ( k ) ( 0 ) , X 1 > 0 , n 1 < r < n .
Lemma 1 
(Nonlinear alternative for contraction maps [33]). Let E be a Banach space:
  • F 1 is contraction;
  • F 2 is u.s.c and compact.
Let F 1 : E P c p , c ( X ) , F 2 : F ^ 1 Q c , c p ( E ) be two multi-valued operators satisfying the equation.
Then, G 1 = F 1 + F 2 and either:
  • G 1 has fixed point in F ^ 1 ; or
  • there exists u F 1 and μ ( 0 , 1 ) such that u μ G 1 ( u ) .
Lemma 2 
(Covitz–Nadler theorem [34]). Let ( H , d ) be a complete metric space. If χ : H Q c l ( H ) is a contraction, we then adopt χ 0 .
Lemma 3. 
Let ψ 1 , ψ 2 C ( Q , R ) , then the solution of the following system:
D α 1 C + K 1 D α 1 1 C ) X 1 ( t ) = ψ 1 ( t ) , t Q : = [ 0 , T ] , ( C D α 2 + K 1 D α 2 1 C ) Y 1 ( t ) = ψ 2 ( t ) , t Q : = [ 0 , T ] , ( X 1 + Y 1 ) ( 0 ) = ( X 1 + Y 1 ) ( T ) , β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( X 1 Y 1 ) ( ϑ ) d ϑ = Q 1 ,
is described by
X 1 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 1 1 ) ψ 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ψ 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ψ 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ ,
Y 1 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 1 1 ) ψ 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ψ 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ψ 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) ψ 2 ( u ) d u d ϑ ,
where
Δ 1 = ( 1 + e K 1 T ) , Δ 2 = β ρ I p e K 1 ( ζ ) 0 ,
I 1 = 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 1 1 ) ψ 2 ( u ) d u d ϑ I 2 = Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ψ 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ψ 2 ( m ) d m d u d ϑ .
Proof. 
Equation (3) can be equivalently written as
( C D α 1 + K 1 D α 1 1 C ) X 1 ( t ) = ψ 1 ( t ) , ( C D α 2 + K 1 D α 2 1 C ) Y 1 ( t ) = ψ 2 ( t ) .
Rewriting the equation in (7) as D α 1 C ( 1 + K 1 D α 1 1 C ) X 1 ( t ) = ψ 1 ( t ) , and D α 2 C ( 1 + K 2 D 1 C ) Y 1 ( t ) = ψ 2 ( t ) , then applying the integral operators I 0 + α 1 and I 0 + α 2 to these equations, we obtain
X 1 ( t ) = c 0 e K 1 t + 0 t e K 1 ( t ϑ ) 0 t ( s a ) ( α 1 2 ) Γ ( α 1 1 ) ψ 1 ( q ) d q d ϑ , Y 1 ( t ) = d 0 e K 1 t + 0 t e K 1 ( t ϑ ) 0 t ( s a ) ( α 2 2 ) Γ ( α 2 1 ) ψ 2 ( q ) d q d ϑ ,
where c 0 , d 0 are arbitrary constants. Using BCs (2) in (8), we obtain
c 0 + d 0 = I 1
c 0 + d 0 = I 2
Solving (9) and (10) for c 0 and d 0 yields
c 0 = 1 2 { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 1 1 ) ψ 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ψ 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ψ 2 ( m ) d m d u d ϑ ) } ,
and
d 0 = 1 2 { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ψ 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 1 1 ) ψ 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ψ 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ψ 2 ( m ) d m d u d ϑ ) } .
The solutions presented in (4) and (5) are derived by incorporating the values of c 0 and d 0 into Equation (8). □

3. Existence Results Under New Boundary Conditions

A function ( X 1 , Y 1 ) C 2 ( Q , R ) × C 2 ( Q , R ) satisfies the new kind of BCs
β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( X 1 Y 1 ) ( ϑ ) d ϑ = Q 1 ,
and there exist functions
Λ ( X 1 , Y 1 ) ( T ) = ( Λ 1 ( X 1 , Y 1 ) ( T ) , Λ 2 ( X 1 , Y 1 ) ( T ) ) ,
where
Λ 1 ( X 1 , Y 1 ) ( T ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) F 1 ( u , X 1 ( u ) , Y 1 ( u ) ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) F 2 ( u , X 1 ( u ) , Y 1 ( u ) ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) F 1 ( m , X 1 ( m ) , Y 1 ( m ) ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) F 2 ( m , X 1 ( m ) , Y 1 ( m ) ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) F 1 ( u , X 1 ( u ) , Y 1 ( u ) ) d u d ϑ ,
and
Λ 2 ( X 1 , Y 1 ) ( T ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) F 1 ( u , X 1 ( u ) , Y 1 ( u ) ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) F 2 ( u , X 1 ( u ) , Y 1 ( u ) ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) F 1 ( m , X 1 ( m ) , Y 1 ( m ) ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) F 2 ( m , X 1 ( m ) , Y 1 ( m ) ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) F 2 ( u , X 1 ( u ) , Y 1 ( u ) d u d ϑ .
This is referred to as a coupled solution for the system in (2).
To simplify the calculations, we introduce the following notation:
Y 1 = e K 1 t 2 [ 1 Δ 1 T α 1 1 K 1 Γ ( α 1 ) ( 1 e K 1 ϑ ) + 1 Δ 2 β K 1 2 Γ ( α 1 ) ζ α 1 1 + ρ q ρ q Γ ( α 1 1 + ρ ) ρ Γ α 1 1 + ρ q + ρ ρ ( ζ K 1 + e K 1 ζ 1 ) ] ,
Y 2 = e K 1 t 2 [ 1 Δ 1 T α 2 1 K 1 Γ ( α 2 ) ( 1 e K 1 ϑ ) + 1 Δ 2 β K 1 2 Γ ( α 2 ) ζ α 2 1 + ρ q ρ q Γ ( α 2 1 + ρ ) ρ Γ α 2 1 + ρ q + ρ ρ ( ζ K 1 + e K 1 ζ 1 ) ] ,
and
Φ = min 1 | | γ 2 | | 2 Υ 1 + t α 1 1 K 1 Γ ( α 1 ) ( 1 e K 1 t ) + | | k 2 | | 2 Υ 2 + t α 2 1 K 2 Γ ( α 2 ) ( 1 e K 2 t ) , 1 | | γ 3 | | 2 Υ 1 + t α 1 1 K 1 Γ ( α 1 ) ( 1 e K 1 t ) + | | k 3 | | 2 Υ 2 + t α 2 1 K 2 Γ ( α 2 ) ( 1 e K 2 t ) .
Let
V F 1 ( X 1 , Y 1 ) = { H 1 L 1 ( Q , R ) : H 1 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , for a . e t Q } ,
and
V F 2 ( X 1 , Y 1 ) = { H 2 L 1 ( Q , R ) : H 2 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , for a . e t Q } ,
describe the sets of F 1 , F 2 selections for each ( X 1 , Y 1 ) U × U .
By implementing Lemma 3, the following operators Λ 1 , Λ 2 : U × U W ( U × U ) by:
Λ 1 ( X 1 , Y 1 ) ( t ) = { M 1 U × U : e x i s t s H 1 V F 1 ( X 1 , Y 1 ) , H 2 V F 2 ( X 1 , Y 1 ) M 1 ( X 1 , Y 1 ) ( t ) = P 1 ( X 1 , Y 1 ) ( t ) , t Q } ,
and
Λ 2 ( X 1 , Y 1 ) ( t ) = { M 2 U × U : e x i s t s H 1 V F 1 ( X 1 , Y 1 ) , H 2 V F 2 ( X 1 , Y 1 ) M 2 ( X 1 , Y 1 ) ( t ) = P 2 ( X 1 , Y 1 ) ( t ) , t Q } ,
where
P 1 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
P 2 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
Operator Λ : U × U W ( U × U ) is defined as follows:
Λ ( X 1 , Y 1 ) ( t ) = Λ 1 ( X 1 , Y 1 ) ( t ) Λ 2 ( X 1 , Y 1 ) ( t ) ,
where Λ 1 and Λ 2 are defined in (15) and (16), respectively.

4. Existence Results via the Carathéodory Function

We begin by demonstrating the existence of solutions for the boundary value problem (BVP) (2) using the nonlinear alternative of Leray–Schauder. Following this, we present the assumptions that underpin the main results of our study:
  • ( A 1 )   F 1 , F 2 : Q × R 2 W ( R ) are L 1 -Carathéodory and have convex values.
  • ( A 2 ) There exists continuous increasing functions γ 1 , γ 2 , k 1 , k 2 : [ 0 , ) [ 0 , ) and functions l 1 , l 2 C ( Q , R + ) , such that
    F 1 ( t , X 1 , Y 1 ) W : = sup { | H 1 | : H 1 F 1 ( t , X 1 , Y 1 ) } l 1 ( t ) [ γ 1 ( X 1 ) + k 1 ( Y 1 ) ] for   each ( t , X 1 , Y 1 ) Q × R 2 , F 2 ( t , X 1 , Y 1 ) W : = sup { | H 2 | : H 2 F 2 ( t , X 1 , Y 1 ) } l 2 ( t ) [ γ 2 ( X 1 ) + k 2 ( Y 1 ) ] for   each ( t , X 1 , Y 1 ) Q × R 2 .
  • (A3) There exists a non-negative Z > 0
    Z ( 2 Υ 1 ) l 1 ( γ 1 ( Z ) + k 1 ( Z ) ) + ( 2 Υ 2 ) l 2 ( γ 2 ( Z ) + k 2 ( Z ) ) > 1 ,
    where Υ 1 , Υ 2 are defined by (13) and (14).
  • (A4) F 1 , F 2 : Q × R 2 W c p ( R ) are such that F 1 ( · , X 1 , Y 1 ) : Q W c p ( R 2 ) and F 2 ( · , X 1 , Y 1 ) : Q W c p ( R 2 ) are measurable for each X 1 , Y 1 R .
  • (A5)
    Π d ( F 1 ( t , X 1 , Y 1 ) , F 1 ( t , X ^ 1 , Y ^ 1 ) ) Θ 1 ( t ) ( | X 1 X ^ 1 | + | Y 1 Y ^ 1 | ) ,
    and
    Π d ( F 2 ( t , X 1 , Y 1 ) , F 2 ( t , X ^ 1 , Y ^ 1 ) ) Θ 2 ( t ) ( | X 1 X ^ 1 | + | Y 1 Y ^ 1 | ) ,
    t Q and X 1 , Y 1 , X ^ 1 , Y ^ 1 R with Θ 1 , Θ 2 C ( Q , R + ) and d ( 0 , F 1 ( t , 0 , 0 ) ) Θ 1 ( t ) , d ( 0 , F 2 ( t , 0 , 0 ) ) Θ 2 ( t ) t Q .
Theorem 1. 
Assuming that conditions ( A 1 ) ( A 3 ) are satisfied, it can be established that there is at least one solution to the system defined by Equations (1) and (2) within the interval Q.
Proof.  
Consider the operators Λ 1 and Λ 2 defined by Λ 1 , Λ 2 : U × U W ( U × U ) , as given by Equations (15) and (16), respectively. Using assumption ( A 3 ) , the sets V F 1 ( X 1 , Y 1 ) and V F 2 ( X 1 , Y 1 ) are nonempty for each ( X 1 , Y 1 ) U × U . Then, for H 1 V F 1 ( X 1 , Y 1 ) , H 2 V F 2 ( X 1 , Y 1 ) for ( X 1 , Y 1 ) U × U , we have
M 1 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
M 2 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ,
where M 1 Λ 1 ( X 1 , Y 1 ) , M 2 Λ 2 ( X 1 , Y 1 ) , and so ( M 1 , M 2 ) Λ ( X 1 , Y 1 ) . We will demonstrate that the operator Λ satisfies the criteria of the Leray–Schauder nonlinear alternative by following a structured approach. First, we will establish that Λ ( X 1 , Y 1 ) possesses a convex-valued property. Specifically, for each pair ( M i , M ^ i ) ( Λ 1 , Λ 2 ) , where i = 1 , 2 , we need to show that there exist functions H 1 i V F 1 ( X 1 , Y 1 ) and H 2 i V F 2 ( X 1 , Y 1 ) , for i = 1 , 2 , such that for every t Q , the following holds:.
M i ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
M ^ i ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
Let 0 ν 1 . Then, for each t Q , we arrive at
ν M 1 + ( 1 ν ) M 2 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) [ ν H 1 1 ( u ) + ( 1 ν ) H 1 1 ( u ) ] d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) [ ν H 2 1 ( u ) + ( 1 ν ) H 2 1 ( u ) ] d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) [ ν H 1 1 ( m ) + ( 1 ν ) H 1 1 ( m ) ] d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) [ ν H 2 1 ( m ) + ( 1 ν ) H 2 1 ( m ) ] d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) [ ν H 1 1 ( u ) + ( 1 ν ) H 1 1 ( u ) ] d u d ϑ ,
and
ν M ^ 1 + ( 1 ν ) M ^ 2 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) [ ν H ^ i ( u ) + ( 1 ν ) M ^ i 1 ( u ) ] d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) [ ν H 2 ^ 1 ( u ) + ( 1 ν ) H 2 ^ 1 ( u ) ] d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) [ ν H 1 ^ 1 ( m ) + ( 1 ν ) H 1 ^ 1 ( m ) ] d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) [ ν H 2 ^ 1 ( m ) + ( 1 ν ) H 2 ^ 1 ( m ) ] d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) [ ν H 2 ^ 1 ( u ) + ( 1 ν ) H 2 ^ 1 ( u ) ] d u d ϑ .
This will lead us to verify the required conditions for Λ according to the Leray–Schauder principle.
Given the convexity of the values associated with F 1 and F 2 , it follows that the sets V F 1 ( X 1 , Y 1 ) and V F 2 ( X 1 , Y 1 ) are also convex. Consequently, for any ν [ 0 , 1 ] , we have ν M 1 + ( 1 ν ) M 2 Λ 1 and ν M ^ 1 + ( 1 ν ) M ^ 2 Λ 2 . This implies that ν ( M 1 , M ^ 1 ) + ( 1 ν ) ( M 2 , M ^ 2 ) Λ . Consider a non-negative scalar r, and let B r = { ( X 1 , Y 1 ) U × U ( X 1 , Y 1 ) r } denote a bounded subset of U × U . For this bounded set, there exist functions H 1 V F 1 ( X 1 , Y 1 ) and H 2 V F 2 ( X 1 , Y 1 ) such that:
M 1 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
M 2 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
Then, we obtain
| M 1 ( X 1 , Y 1 ) ( t ) | e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) l 1 ( γ 1 ( r ) + k 1 ( r ) ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) l 2 ( γ 1 ( r ) + k 1 ( r ) ) ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) l 1 ( γ 1 ( r ) + k 1 ( r ) ) ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) l 2 ( γ 1 ( r ) + k 1 ( r ) ) ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) l 1 ( γ 1 ( r ) + k 1 ( r ) ) ( u ) d u d ϑ ,
and
| M 2 ( X 1 , Y 1 ) ( t ) | Υ 1 l 1 ( γ 1 ( r ) + k 1 ( r ) ) + Υ 2 l 2 ( γ 2 ( r ) + k 2 ( r ) ) .
Thus, we obtain
M 1 , M 2 = M 1 ( X 1 , Y 1 ) + M 2 ( X 1 , Y 1 ) 2 Υ 1 l 1 ( γ 1 ( r ) + k 1 ( r ) ) + 2 Υ 2 l 2 ( γ 2 ( r ) + k 2 ( r ) ) .
Subsequently, we proceed to establish the equicontinuous of the operator Λ . Let t 1 , t 2 Q with t 1 < t 2 . Then there exists H 1 V F 1 ( X 1 , Y 1 ) , H 2 V F 2 ( X 1 , Y 1 ) such that
M 1 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
M 2 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ,
| M 1 ( X 1 , Y 1 ) ( t 2 ) M 1 ( X 1 , Y 1 ) ( t 1 ) | | e K 1 t 2 e K 1 t 1 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] | + | 0 t 1 ( e K 1 ( t 2 ϑ ) e K 1 ( t 1 ϑ ) ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ + t 1 t 2 e K 1 ( t 2 ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ | .
Likewise, one can construct
| M 2 ( X 1 , Y 1 ) ( t 2 ) M 2 ( X 1 , Y 1 ) ( t 1 ) | | e K 1 t 2 e K 1 t 1 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] | + | 0 t 1 ( e K 1 ( t 2 ϑ ) e K 1 ( t 1 ϑ ) ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ + t 1 t 2 e K 1 ( t 2 ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ | .
Consequently, the operator Λ ( X 1 , Y 1 ) is equicontinuous. According to the Ascoli–Arzelà theorem, Λ ( X 1 , Y 1 ) is a completely continuous operator. As stated in [35], a completely continuous operator has a closed graph when it is also upper semicontinuous. Therefore, we need to show that Λ has a closed graph. Let ( X 1 n , Y 1 n ) ( X 1 * , Y 1 * ) , ( M n , M ^ n ) Λ ( X 1 n , Y 1 n ) , and ( M n , M ^ n ) ( M * , M ^ * ) . We must demonstrate that ( M * , M ^ * ) Λ ( X 1 * , Y 1 * ) . Remember that ( M n , M ^ n ) Λ ( X 1 n , Y 1 n ) implies that there exist H 1 n V F 1 ( X 1 , Y 1 ) and H 2 n V F 2 ( X 1 , Y 1 ) such that
M n ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 n ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 n ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 n ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 n ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 n ( u ) d u d ϑ ,
and
M ^ n ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 n ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 n ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 n ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 n ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 n ( u ) d u d ϑ .
Consider the Π 1 , Π 2 : L 1 ( Q , U × U ) C ( Q , U × U ) continuous linear operators given by
Π 1 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
Π 2 ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
It can be inferred from [36] that ( X 1 , Y 1 ) ( V F 1 , V F 2 ) constitutes a closed graph operator. Furthermore, we have ( M n , M ^ n ) ( X 1 , Y 1 ) ( V F 1 ( X 1 n , Y 1 n ) , V F 2 ( X 1 n , Y 1 n ) ) for all n. Since ( X 1 n , Y 1 n ) ( X 1 * , Y 1 * ) , ( M n , M ^ n ) M * , M ^ * ) , it follows that H 1 n V F 1 ( X 1 , Y 1 ) , H 2 n V F 2 ( X 1 , Y 1 ) such that
M * ( X 1 * , Y 1 * ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ( H 1 * ) ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) ( H 2 * ) ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ( H 1 * ) ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ( H 2 * ) ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ( H 1 * ) ( u ) d u d ϑ ,
and
M ^ * ( X 1 * , Y 1 * ) ( t ) e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) ( H 1 * ) ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) ( H 2 * ) ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) ( H 1 * ) ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) ( H 2 * ) ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) ( H 2 * ) ( u ) d u d ϑ ,
i.e., ( M n , M n ) Λ ( X 1 * , Y 1 * ) . Finally, we discuss a priori on solutions. Let ( X 1 , Y 1 ) υ Λ ( X 1 , Y 1 ) . Then exists H 1 V F 1 ( X 1 , Y 1 ) , H 2 V F 2 ( X 1 , Y 1 ) such that
X 1 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
Y 1 ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
For each t Q , we achieve
X 1 , Y 1 = X 1 + Y 1 2 Υ 1 l 1 ( γ 1 ( X 1 ) + k 1 ( Y 1 ) ) + 2 Υ 2 l 2 ( γ 2 ( X 1 ) + k 2 ( Y 1 ) ) ,
which signifies that
( X 1 , Y 1 ) 2 Υ 1 l 1 ( γ 1 ( X 1 ) + k 1 ( Y 1 ) ) + 2 Υ 2 l 2 ( γ 2 ( X 1 ) + k 2 ( Y 1 ) ) 1 .
According to ( A 3 ) , Z exists such that ( X 1 , Y 1 ) Z . Let us adopt
E = { ( X 1 , Y 1 ) U × U : ( X 1 , Y 1 ) < Z } .
The operator Λ : E ¯ W c v , c p ( U ) × W c v , c p ( U ) is continuous and compact (c.c.) and upper semicontinuous (u.s.c.). There is no ( X 1 , Y 1 ) E such that ( X 1 , Y 1 ) υ Λ ( X 1 , Y 1 ) for some υ ( 0 , 1 ) by E selection. Consequently, based on the Leray–Schauder nonlinear alternative, we can infer that Λ possesses a fixed point ( X 1 , Y 1 ) E ¯ , thus serving as a solution to the system ( 1.2 ) . □

5. Existence Results for Lipschitz Mappings

The subsequent outcome leverages Covitz and Nadler’s theorem for multi-valued maps as presented in [34].
Let ( U , d ) represent a metric space generated by the normed space ( U , · ) . For further definitions and details, see [28,34].
Theorem 2. 
Assumptions ( A 4 ) and ( A 5 ) hold. Then, the System (1) and (2) possesses at least one solution within the interval Q, provided that:
( 2 Υ 1 ) Θ 1 + ( 2 Υ 2 ) Θ 2 < 1 .
Proof. 
Assuming ( A 4 ) that the sets V F 1 ( X 1 , Y 1 ) and V F 2 ( X 1 , Y 1 ) are nonempty for each ( X 1 , Y 1 ) U × U , H 1 and H 2 have measurable selections (see Theorem III.6 in Castaing and Valadier, 1977). Subsequently, we proceed to establish that the operator Λ satisfies the theorem of Covitz and Nadler [34].
Next, we illustrate that Λ ( X 1 , Y 1 ) W c l ( U ) × W c l ( U ) for each ( X 1 , Y 1 ) U × U . Let ( M n , M ^ n ) Λ ( X 1 n , Y 1 n ) be such that ( M n , M ^ n ) ( M , M ^ ) in U × U . Then, ( M , M ^ ) U × U and there exist H 1 n V F 1 ( X 1 n , Y 1 n ) and H 2 n V F 1 ( X 1 n , Y 1 n ) such that
M n ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 n ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 n ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 n ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 n ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 n ( u ) d u d ϑ ,
and
M ^ n ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
Due to the compact values of F 1 and F 2 , we select subsequences to ensure the convergence of H 1 n and H 2 n to H 1 and H 2 , respectively, in the space L 1 ( Q , R ) . Therefore, H 1 V F 1 ( X 1 , Y 1 ) and H 2 V F 2 ( X 1 , Y 1 ) for each t Q .
M n ( X 1 n , Y 1 n ) ( t ) M ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ ,
and
M ^ n ( X 1 n , Y 1 n ) ( t ) M ^ ( X 1 , Y 1 ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 1 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 1 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 2 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 2 ( u ) d u d ϑ .
As a consequence, ( M , M ^ ) Λ , indicating that Λ is closed. Following that, we demonstrate that the equation exists (defined by (31)) such that
Π d ( Λ ( X 1 , Y 1 ) , Λ ( X ^ 1 , Y ^ 1 ) ) ρ ^ ( X 1 x ^ 1 + Y 1 Y ^ 1 ) f o r e a c h X 1 , X ^ 1 , Y 1 , Y ^ 1 U .
Let ( X 1 , X ^ 1 ) , ( Y 1 , Y ^ 1 ) U × U and ( M 1 , M ^ 1 ) Λ ( X 1 , Y 1 ) . Then, there exists H 11 V F 1 ( X 1 , Y 1 ) and H 21 V F 2 ( X 1 , Y 1 ) ∋; for each t Q , we have
M 1 ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 11 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 21 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ ,
and
M ^ 1 ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 11 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 21 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ .
Utilizing ( A 5 ) , we acquire
Π d ( F 1 ( t , X 1 , Y 1 ) , F 1 ( t , X ^ 1 , Y ^ 1 ) ) Θ 1 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | )
and
Π d ( F 2 ( t , X 1 , Y 1 ) , F 2 ( t , X ^ 1 , Y ^ 1 ) ) Θ 2 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | ) .
So, there exists H 1 F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) and H 2 F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) such that
| H 11 ( t ) u | Θ 1 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | )
and
| H 21 ( t ) v | Θ 2 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | ) .
Define Y 1 1 , Y 1 2 : Q W ( R ) by
Y 1 1 ( t ) = { H 1 L 1 ( Q , R ) : Θ 1 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | ) }
and
Y 1 2 ( t ) = { H 2 L 1 ( Q , R ) : Θ 2 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | ) } .
There are functions H 12 ( t ) , H 22 ( t ) that are an observable selection for Y 1 1 , Y 1 2 because the multi-valued operators Y 1 1 F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) and Y 1 2 F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) are measurable (Proposition III.4 in [37]). Also, H 12 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , H 22 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) such that ∀ t Q , we arrive
| H 11 ( t ) H 12 ( t ) | Θ 1 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | )
and
| H 21 ( t ) H 22 ( t ) | Θ 2 ( t ) ( | X 1 ( t ) X ^ 1 ( t ) | + | Y 1 ( t ) Y ^ 1 ( t ) | ) .
Let
M 2 ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 11 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 21 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ ,
and
M ^ 2 ( X 1 n , Y 1 n ) ( t ) = e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) H 11 ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ ) 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 1 2 Γ ( α 1 1 ) H 11 ( m ) d m d u d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) 0 ϑ e K 1 ( ϑ u ) 0 u ( u m ) α 2 2 Γ ( α 2 1 ) H 21 ( m ) d m d u d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) H 21 ( u ) d u d ϑ ,
Hence,
| M 1 ( X 1 , Y 1 ) ( t ) M 2 ( X 1 , Y 1 ) ( t ) | e K 1 t 2 [ { 1 Δ 1 ( 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) Θ 1 ( u ) ( | X 1 ( u ) X ^ 1 ( u ) | + | Y 1 ( u ) Y ^ 1 ( u ) | ) ( u ) d u d ϑ 0 T e K 1 ( T ϑ ) 0 ϑ ( ϑ u ) α 2 2 Γ ( α 2 1 ) Θ 2 ( u ) ( | X 1 ( u ) X ^ 1 ( u ) | + | Y 1 ( u ) Y ^ 1 ( u ) | ) ( u ) d u d ϑ ) + 1 Δ 2 ( Q 1 β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( 0 ϑ e K 1 ( ϑ u ) × 0 u ( u m ) α 1 2 Γ ( α 1 1 ) Θ 1 ( u ) ( | X 1 ( m ) X ^ 1 ( m ) | + | Y 1 ( m ) Y ^ 1 ( m ) | ) ( m ) d m d u ) d ϑ + β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( 0 ϑ e K 1 ( ϑ u ) × 0 u ( u m ) α 2 2 Γ ( α 2 1 ) Θ 2 ( u ) ( | X 1 ( m ) X ^ 1 ( m ) | + | Y 1 ( m ) Y 1 ^ ( m ) | ) ( m ) d m d u ) d ϑ ) } ] + 0 t e K 1 ( t ϑ ) 0 ϑ ( ϑ u ) α 1 2 Γ ( α 1 1 ) Θ 1 ( u ) ( | X 1 ( u ) X 1 ^ ( u ) | + | Y 1 ( u ) Y 1 ^ ( u ) | ) ( u ) d u d ϑ , Υ 1 Θ 1 ( X 1 X 1 ^ + Y Y 1 ^ ) + Υ 2 Θ 2 ( X 1 X 1 ^ + Y Y 1 ^ ) .
Thus,
H 1 ( X 1 , Y 1 ) H 2 ( X 1 , Y 1 ) Υ 1 Θ 1 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) + Υ 2 Θ 2 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) .
Similarly, we can define that
H ^ 1 ( X 1 , Y 1 ) H ^ 2 ( X 1 , Y 1 ) Υ 1 Θ 1 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) + Υ 2 Θ 2 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) .
Therefore
( H 1 , H ^ 1 ) , ( H 2 , H ^ 2 ) 2 Υ 1 Θ 1 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) + 2 Υ 2 Θ 2 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) .
Similarly, by interchanging the positions of ( X 1 , Y 1 ) and ( X 1 ^ , Y 1 ^ ) , we get
Π d ( P ( X 1 , Y 1 ) , P ( X 1 ^ , Y 1 ^ ) ) 2 Υ 1 Θ 1 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) + 2 Υ 2 Θ 2 ( X 1 X 1 ^ + Y 1 Y 1 ^ ) .
Given the assumption, Λ satisfies the contraction condition in (31). Therefore, according to the Covitz and Nadler fixed point theorem, Λ has a fixed point ( X 1 , Y 1 ) , which solves the system in (2). □

6. Example

Example 1. 
Consider the following system with boundary conditions:
( D α 1 C + K 1 D α 1 1 C ) X 1 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( D α 2 C + K 2 D α 2 1 C ) Y 1 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( X 1 + Y 1 ) ( 0 ) = ( X 1 + Y 1 ) ( T ) , β ρ 1 q Γ ( q ) 0 ζ ϑ ρ 1 ( ζ ρ ϑ ρ ) ( X 1 Y 1 ) ( ϑ ) d ϑ = Q 1 .
where α 1 = 3 / 2 , α 2 = 4 / 3 , β = 3 / 4 , ρ = 2 / 3 , ζ = 3 / 2 , T = 2 , Q 1 = 1 , H 1 ( t , X 1 , Y 1 ) = 1 16 | X 1 | 1 + | X 1 | , 0 0 , 1 16 | sin ( Y 1 ) | 1 + | sin ( Y 1 ) | and H 2 ( t , X 1 , Y 1 ) = 1 16 | Y 1 | 1 + | Y 1 | , 0 0 , 1 16 | cos ( X 1 ) | 1 + | cos ( X 1 ) | , and on the other hand,
Π d ( H 1 ( t , X 1 , Y 1 ) , H 1 ( t , X 1 ^ , Y 1 ^ ) ) 1 16 | X 1 X 1 ^ | + 1 16 | Y 1 Y 1 ^ | , X 1 , X 1 ^ , Y 1 , Y 1 ^ R , Π d ( H 2 ( t , X 1 , Y 1 ) , H 2 ( t , X 1 ^ , Y 1 ^ ) ) 1 16 | X 1 X 1 ^ | + 1 16 | Y 1 Y 1 ^ | , X 1 , X 1 ^ , Y 1 , Y 1 ^ R .
Implementing the aforementioned data, we calculate Υ 1 = 0.23460 and Υ 2 = 0.15674 . Consequently, we find that ( 2 Υ 1 ) Θ 1 + ( 2 Υ 2 ) Θ 2 0.0489175 < 1 . Given that all the conditions specified in Theorem 2 are met, we can conclude that a solution to the system (32) exists.

7. Conclusions

In this study, we present a novel class of coupled generalized R-L boundary conditions for addressing coupled nonlinear SFDIs with CDs. By employing multi-valued maps, we demonstrate the existence of solutions. Utilizing fixed-point theorems suited for multi-valued maps, we establish robust solutions for the problem, considering both convex and non-convex scenarios within these maps. Our results offer valuable insights and open new pathways for theoretical advancements in the field. The implications of our results are significant for the scientific community, providing a deeper understanding of complex dynamic systems and enhancing the accuracy of modeling techniques. We believe these discoveries will be of substantial interest to researchers working on fractional differential equations and their applications.
As a possible avenue for future research, we propose exploring the controllability and sensitivity of solutions in systems of coupled fractional differential equations that incorporate a combination of CDs. Investigating how these factors influence system behavior could lead to new methods for managing and predicting the dynamics of such systems, with potential applications across various scientific and engineering disciplines. The system,
( C D α 1 + K 1 C D α 1 1 ) X 1 ( t ) F 1 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] , ( C D α 2 + K 2 C D α 2 1 ) Y 1 ( t ) F 2 ( t , X 1 ( t ) , Y 1 ( t ) ) , t Q : = [ 0 , T ] ,
has the coupled boundary conditions:
( X 1 + Y 1 ) ( 0 ) = ( X 1 + Y 1 ) ( T ) , η t η ( δ + γ ) Γ ( δ ) 0 t s η γ + η 1 f ( V 1 Y 1 ) ( s ) ( t η s η ) 1 δ d s = Q 1 , t ( 0 , T ) .
Such efforts have the potential to enrich our understanding of fractional differential equations and their applicability in various fields. Furthermore, future investigations should focus on expanding the realm of novel coupled Erdélyi–Kober fractional boundary conditions, thereby broadening the scope of solutions and insights within this field.
Remark 1. 
The key differences and advantages between our obtained results using fractional-order differential inclusions and those in the integer-order sense are significant. Fractional-order models inherently capture the memory and hereditary properties of various processes, which integer-order models cannot. This results in a more accurate and realistic representation of complex dynamical systems, particularly in fields such as anomalous diffusion and biological processes. The nonlocal nature of fractional derivatives provides a more comprehensive description of system dynamics, allowing for better prediction and control. Additionally, our use of generalized R-L boundary conditions and fixed-point theorems for multi-valued maps offers a novel approach to establishing existence results, which can lead to new insights and more robust solutions compared to traditional integer-order methods. These advantages underscore the enhanced applicability and effectiveness of fractional-order models in various practical scenarios.

Author Contributions

Conceptualization, M.M.; Methodology, S.S. and M.M.; Formal analysis, E.S. and M.R.; Investigation, S.S. and M.R.; Writing—original draft, M.M. and S.S.; Writing—review and editing, M.R. and E.S.; Supervision, S.S. and M.R. All authors have read and agreed to the published version of the manuscript.

Funding

M. Rhaima was supported by Researchers Supporting Project number (RSPD2024R683) King Saud University, Riyadh, Saudi Arabia. The first author gratefully acknowledges the Centre for Computational Modeling, Chennai Institute of Technology (CIT), India, vide funding number CIT/CCM/2024/RP-015.

Informed Consent Statement

Not applicable.

Data Availability Statement

No data were used for the research described in the article.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
BVPBoundary Value Problems
CDsCaputo Derivatives
CFDsCaputo Fractional Derivatives
FDEsFractional Differential Equations
FPDEsFractional Partial Differential Equations
FDIsFractional Differential Inclusions
FOFractional Order
FBVPsFractional-Order Boundary Value Problems
VOFDEsVariable-Order Fractional Differential Equations
SFDEsSequential Fractional Differential Equations.

References

  1. Saadatmandi, A.; Dehghan, M. A new operational matrix for solving fractional-order differential equations. Comput. Math. Appl. 2010, 59, 1326–1336. [Google Scholar] [CrossRef]
  2. Momani, S.; Odibat, Z. Numerical comparison of methods for solving linear differential equations of fractional order. Chaos Solitons Fractals 2007, 31, 1248–1255. [Google Scholar] [CrossRef]
  3. Ahmed, I.; Baba, I.A.; Yusuf, A.; Kumam, P.; Kumam, W. Analysis of Caputo fractional-order model for COVID-19 with lockdown. Adv. Differ. Equ. 2020, 2020, 394. [Google Scholar] [CrossRef] [PubMed]
  4. Bushnaq, S.; Shah, K.; Tahir, S.; Ansari, K.J.; Sarwar, M.; Abdeljawad, T. Computation of numerical solutions to variable order fractional differential equations by using non-orthogonal basis. Aims Math. 2022, 7, 10917–10938. [Google Scholar] [CrossRef]
  5. Shah, K.; Naz, H.; Sarwar, M.; Abdeljawad, T. On spectral numerical method for variable-order partial differential equations. Aims Math. 2022, 7, 10422–10438. [Google Scholar] [CrossRef]
  6. Bushnaq, S.; Ali, S.; Shah, K.; Arif, M. Approximate solutions to nonlinear fractional order partial differential equations arising in ion-acoustic waves. Aims Math. 2019, 4, 721–739. [Google Scholar] [CrossRef]
  7. Ahmad, B.; Ntouyas, S.K.; Tariboon, J. Nonlocal fractional-order boundary value problems with generalized Riemann-Liouville integral boundary conditions. J. Comput. Anal. Appl. 2017, 23, 1281–1296. [Google Scholar]
  8. Tariboon, J.; Ntouyas, S.K.; Sudsutad, W. Nonlocal Hadamard fractional integral conditions for nonlinear Riemann-Liouville fractional differential equations. Bound. Value Probl. 2014, 2014, 253. [Google Scholar] [CrossRef]
  9. Kopteva, N.; Stynes, M. Analysis and numerical solution of a Riemann-Liouville fractional derivative two-point boundary value problem. Adv. Comput. Math. 2017, 43, 77–99. [Google Scholar] [CrossRef]
  10. Khan, Z.A.; Gul, R.; Shah, K. On impulsive boundary value problem with Riemann-Liouville fractional order derivative. J. Funct. Spaces 2021, 2021, 8331731. [Google Scholar] [CrossRef]
  11. Brandibur, O.; Garrappa, R.; Kaslik, E. Stability of systems of fractional-order differential equations with Caputo derivatives. Mathematics 2021, 9, 914. [Google Scholar] [CrossRef]
  12. Souıd, M.S.; Bouazza, Z.; Yakar, A. Existence, uniqueness, and stability of solutions to variable fractional order boundary value problems. J. New Theory 2022, 41, 82–93. [Google Scholar] [CrossRef]
  13. Prasad, K.R.; Khuddush, M.; Leela, D. Existence, uniqueness and Hyers–Ulam stability of a fractional order iterative two-point boundary value problems. Afr. Mat. 2021, 32, 1227–1237. [Google Scholar] [CrossRef]
  14. Lin, D.; Liao, X.; Dong, L.; Yang, R.; Samson, S.Y.; Iu, H.H.C.; Fernando, T.; Li, Z. Experimental study of fractional-order RC circuit model using the Caputo and Caputo-Fabrizio derivatives. IEEE Trans. Circuits Syst. Regul. Pap. 2021, 68, 1034–1044. [Google Scholar] [CrossRef]
  15. Sun, J.P.; Fang, L.; Zhao, Y.H.; Ding, Q. Existence and uniqueness of solutions for multi-order fractional differential equations with integral boundary conditions. Bound. Value Probl. 2024, 2024, 5. [Google Scholar] [CrossRef]
  16. Verma, P.; Kumar, M. Analytical solution with existence and uniqueness conditions of non-linear initial value multi-order fractional differential equations using Caputo derivative. Eng. Comput. 2022, 38, 661–678. [Google Scholar] [CrossRef]
  17. Ahmad, B.; Ntouyas, S.K. Existence results for Caputo type sequential fractional differential inclusions with nonlocal integral boundary conditions. J. Appl. Math. Comput. 2016, 50, 157–174. [Google Scholar] [CrossRef]
  18. Tariboon, J.; Ntouyas, S.K.; Ahmad, B.; Alsaedi, A. Existence results for sequential Riemann–Liouville and Caputo fractional differential inclusions with generalized fractional integral conditions. Mathematics 2020, 8, 1044. [Google Scholar] [CrossRef]
  19. Cheng, Y.; Agarwal, R.P.; Regan, D.O. Existence and controllability for nonlinear fractional differential inclusions with nonlocal boundary conditions and time-varying delay. Fract. Calc. Appl. Anal. 2018, 21, 960–980. [Google Scholar] [CrossRef]
  20. Manigandan, M.; Manikandan, K.; Hammad, H.A. Applying fixed point techniques to solve fractional differential inclusions under new boundary conditions. Aims Math. 2024, 9, 15505–15542. [Google Scholar] [CrossRef]
  21. Manigandan, M.; Subramanian, M.; Nandha Gopal, T.; Unyong, B. Existence and stability results for a tripled system of the Caputo type with multi-point and integral boundary conditions. Fractal Fract. 2022, 6, 285. [Google Scholar] [CrossRef]
  22. Wang, Y. Positive solutions for fractional differential equation involving the Riemann–Stieltjes integral conditions with two parameters. J. Nonlinear Sci. Appl. 2016, 9, 5733–5740. [Google Scholar] [CrossRef]
  23. Wang, Y.; Liu, L.; Zhang, X.; Wu, Y. Positive solutions of an abstract fractional semipositone differential system model for bioprocesses of HIV infection. Appl. Math. Comput. 2015, 258, 312–324. [Google Scholar] [CrossRef]
  24. Li, P.; Gao, R.; Xu, C.; Li, Y.; Akgül, A.; Baleanu, D. Dynamics exploration for a fractional-order delayed zooplankton–phytoplankton system. Chaos Solitons Fractals 2023, 166, 112975. [Google Scholar] [CrossRef]
  25. Awadalla, M.; Manigandan, M. Existence and Stability Results for Caputo-Type Sequential Fractional Differential Equations with New Kind of Boundary Conditions. Math. Probl. Eng. 2022, 2022, 3999829. [Google Scholar] [CrossRef]
  26. Elango, S. Second order singularly perturbed delay differential equations with non-local boundary condition. J. Comput. Appl. Math. 2023, 417, 114498. [Google Scholar] [CrossRef]
  27. Chang, Y.K.; Nieto, J.J. Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 2009, 49, 605–609. [Google Scholar] [CrossRef]
  28. Kisielewicz, M. Stochastic Differential Inclusions and Applications; Springer: Berlin/Heidelberg, Germany, 2013; Volume 80. [Google Scholar]
  29. Ahmad, B.; Ntouyas, S.; Alsaedi, A. Coupled systems of fractional differential inclusions with coupled boundary conditions. Electron. J. Diff. Equ. 2019, 2019, 1–21. [Google Scholar]
  30. Hammad, H.A.; Zayed, M. Solving systems of coupled nonlinear Atangana–Baleanu-type fractional differential equations. Bound. Value Probl. 2022, 2022, 101. [Google Scholar] [CrossRef]
  31. Subramanian, M.; Manigandan, M.; Tunç, C.; Gopal, T.; Alzabut, J. On system of nonlinear coupled differential equations and inclusions involving Caputo-type sequential derivatives of fractional order. J. Taibah Univ. Sci. 2022, 16, 1–23. [Google Scholar] [CrossRef]
  32. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204. [Google Scholar]
  33. Petryshyn, W.; Fitzpatrick, P. A degree theory, fixed point theorems, and mapping theorems for multivalued noncompact mappings. Trans. Am. Math. Soc. 1974, 194, 1–25. [Google Scholar] [CrossRef]
  34. Covitz, H.; Nadler, S. Multi-valued contraction mappings in generalized metric spaces. Isr. J. Math. 1970, 8, 5–11. [Google Scholar] [CrossRef]
  35. 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, 260–272. [Google Scholar] [CrossRef]
  36. Lasota, A.; Opial, Z. An application of the Kakutani-Ky Fan theorem in the theory of ordinary differential equations. Bull. Acad. Pol. Sci. Ser. Sci. Math. Astronom. Phys. 1965, 13, 781–786. [Google Scholar]
  37. Castaing, C.; Valadier, M.; Castaing, C.; Valadier, M. Measurable Multifunctions; Springer: Berlin/Heidelberg, Germany, 1977. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Manigandan, M.; Shanmugam, S.; Rhaima, M.; Sekar, E. Existence of Solutions for Caputo Sequential Fractional Differential Inclusions with Nonlocal Generalized Riemann–Liouville Boundary Conditions. Fractal Fract. 2024, 8, 441. https://doi.org/10.3390/fractalfract8080441

AMA Style

Manigandan M, Shanmugam S, Rhaima M, Sekar E. Existence of Solutions for Caputo Sequential Fractional Differential Inclusions with Nonlocal Generalized Riemann–Liouville Boundary Conditions. Fractal and Fractional. 2024; 8(8):441. https://doi.org/10.3390/fractalfract8080441

Chicago/Turabian Style

Manigandan, Murugesan, Saravanan Shanmugam, Mohamed Rhaima, and Elango Sekar. 2024. "Existence of Solutions for Caputo Sequential Fractional Differential Inclusions with Nonlocal Generalized Riemann–Liouville Boundary Conditions" Fractal and Fractional 8, no. 8: 441. https://doi.org/10.3390/fractalfract8080441

APA Style

Manigandan, M., Shanmugam, S., Rhaima, M., & Sekar, E. (2024). Existence of Solutions for Caputo Sequential Fractional Differential Inclusions with Nonlocal Generalized Riemann–Liouville Boundary Conditions. Fractal and Fractional, 8(8), 441. https://doi.org/10.3390/fractalfract8080441

Article Metrics

Back to TopTop