Next Article in Journal
An Efficient Numerical Method Based on Bell Wavelets for Solving the Fractional Integro-Differential Equations with Weakly Singular Kernels
Next Article in Special Issue
(ω,c)-Periodic Solution to Semilinear Integro-Differential Equations with Hadamard Derivatives
Previous Article in Journal
Matkowski-Type Functional Contractions under Locally Transitive Binary Relations and Applications to Singular Fractional Differential Equations
Previous Article in Special Issue
New Applications of Fractional q-Calculus Operator for a New Subclass of q-Starlike Functions Related with the Cardioid Domain
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Boundary Value Problem for a Coupled System of Nonlinear Fractional q-Difference Equations with Caputo Fractional Derivatives

1
School of Mathematical Sciences, Zhejiang Normal University, Jinhua 321004, China
2
Department of Mathematics, Hajjah University, Hajjah 00967, Yemen
3
Department of Mathematics and Statistics, Faculty of Science, University of Jeddah, Jeddah 23218, Saudi Arabia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2024, 8(1), 73; https://doi.org/10.3390/fractalfract8010073
Submission received: 6 December 2023 / Revised: 1 January 2024 / Accepted: 6 January 2024 / Published: 22 January 2024

Abstract

:
This paper focuses on the analysis of a coupled system governed by a Caputo-fractional derivative with q-integral-coupled boundary conditions. This system is particularly relevant in modeling multi-atomic systems, including scenarios involving adsorbed atoms or clusters on crystalline surfaces, surface–atom scattering, and atomic friction. To investigate this system, we introduce an operator that exhibits fixed points corresponding to the solutions of the problem, effectively transforming the system into an equivalent fixed-point problem. We established the necessary conditions for the existence and uniqueness of solutions using the Leray–Schauder nonlinear alternative and the Banach contraction mapping principle, respectively. Stability results in the Ulam sense for the coupled system are also discussed, along with a sensitivity analysis of the range parameters. To support the validity of their findings, we provide illustrative examples. Overall, the paper offers a thorough examination and analysis of the considered coupled system, making important contributions to the understanding of multi-atomic systems and their mathematical modeling.

1. Introduction

The fundamental concept of fractional calculus involves replacing natural numbers with rational numbers in the order of derivation operators. Although this concept may seem simple, it has far-reaching consequences and results that pertain to phenomena in various fields, such as bioengineering, dynamics, modeling, control theory, and medicine [1,2,3,4]. Additionally, Lopez et al. presented a new definition of fractional curvature of plane curves, specifically when the fractional derivative is in the Caputo sense [5]. Salati et al. [6] studied the numerical solutions of Bagley–Torvik and fractional oscillation equations in the Coputo sense. Asaduzzaman et al. [7] studied the existence criteria of at least one or at least three positive solutions to the Caputo-type nonlinear fractional differential equation by using Guo–Krasnoselskii’s fixed point theorem.
In the 20th century, significant research activity focused on q-difference equations, which emerged as an intriguing subject in mathematics and its applications. These equations found applications in areas like orthogonal polynomials and mathematical control theories [8,9,10]. The book [11] provides comprehensive definitions and properties of q-difference calculus. The extension of fractional differential equations to fractional q-difference equations has attracted the attention of many researchers. For detailed discussions and examples of nonlinear fractional q-difference equations subject to various boundary conditions involving q-derivatives and q-integrals, the book by Annaby and Mansour [12] is a valuable resource. Furthermore, extensive research has been conducted on q-difference and fractional q-difference equations, as evidenced by works such as [13,14,15].
Recently, Laledj et al. [16] conducted a study focusing on the existence and Ulam stability of implicit fractional q-difference equations in both Banach spaces and Banach algebras. They employed fixed point theory, specifically the nonlinear alternative of Schaefer’s type proven by Dhage, as well as Dhage’s random fixed point theorem in Banach algebras. Another study conducted by Allouch et al. [17] focused on the existence of solutions for a class of boundary value problems involving fractional q-difference equations in a Banach space. They utilized Mönch’s fixed point theorem and the technique of measures of non-compactness. Boutiara et al. [18] examined a system of fractional boundary value problems, specifically addressing the existence of unbounded solutions for a class of nonlinear fractional q-difference equations on an infinite interval. The study was conducted within the context of the Riemann–Liouville fractional q-derivative. Rajkovic et al. [19] present the properties of fractional integrals and derivatives in q-calculus. El-Shahed et al. [20] studied the properties of positive solutions of the q-difference equation. Ahmad et al. [21,22,23,24] studied the existence of solutions for nonlinear fractional q-difference equations and inclusions with nonlocal conditions.
The nonlinear Langevin equation (NLE), formulated by the brilliant French physicist Paul Langevin [25] in the early 20th century, played a crucial role in accurately describing Brownian motion. The Langevin equation has found diverse applications, ranging from analyzing stock market behavior and modeling evacuation processes to studying fluid suspensions, self-organization in complex systems, photo-electron counting, and protein dynamics.
The Langevin equation serves as a valuable tool for investigating the temporal evolution of physical phenomena. However, when it comes to dynamics in complex media, the standard Langevin equation falls short of providing an accurate description. To address this limitation, several generalizations of the Langevin equation have been proposed. One such generalization is the generalized Langevin equation, which incorporates fractal and memory features through a dissipative memory kernel. Recent research indicates that introducing fractional derivatives of non-integer orders into the Langevin equation offers a more adaptable model for fractal processes. Notably, the investigation of the Langevin equation involving q-fractional derivatives of various orders remains an unexplored area of research.
Almalahi et al. [26] considered the nonlinear fractional integro-differential Langevin equation with the φ -ABC fractional derivative of the type:
A B C D α ; ϕ A B C D ϱ ; ϕ + λ z ( ω ) = g ( ω , z ( ω ) , A B I 0 + α , ϕ z ( ω ) ) , ω ( 0 , b ) , z ( 0 ) = a 1 , z ϕ ( 0 ) = a 2 ,
where A B C D α ; ϕ and A B C D ϱ ; ϕ are the ϕ -ABC fractional derivatives of order α and ϱ , respectively such that α , ϱ 0 , 1 , A B I 0 + α , ϕ is a ϕ -Atangana–Baleanu-fractional integral of order α , ϕ is an increasing function, having a continuous derivative ϕ on ( 0 , b ) , such that ϕ ( ω ) 0 , for all ω ( 0 , b ) and g : × R 2 R is continuous and differentiable function such that g ( 0 , ω ( 0 ) , A B I 0 + α , ϕ ω ( 0 ) ) = 0 and g ϕ ( 0 , ω ( 0 ) , A B I 0 + α , ϕ ω ( 0 ) ) = 0 .
In [27], Ahmad et al investigated the existence of solutions for the Caputo fractional q-difference integral equation with two different fractional orders and nonlocal boundary conditions
C D q Ψ C D q Υ + λ z ( ω ) = α f ( ω , z ( ω ) ) + γ I q ζ g ( ω , z ( ω ) ) , 0 ω < 1 , μ 1 z ( 0 ) σ ω 1 Υ D q z 0 ω = 0 = η 1 z β 1 , μ 2 z ( 1 ) + σ 2 D q z 1 = η 2 z β 2 ,
where Ψ ,   Υ ,   ζ ( 0 , 1 ) , f ,   g are given continuous functions, λ ,   α   , γ are real constants and μ i ,   σ i ,   η i R , β i ( 0 , 1 ) i = 1 , 2 .
Boutiara et al. [28] utilized the eigenvalue of an operator to establish the existence and uniqueness of solutions by employing techniques based on condensing operators and Sadovskii’s measure to investigate the following specific Caputo fractional q-difference boundary value problem
C D q Ψ C D q Υ z ( ω ) g ( ω , z ( ω ) ) z ( ω ) = f ( ω , z ( ω ) ) , ω 0 , T , μ 1 z ( 0 ) + σ 1 C D q ζ 1 z ( 0 ) = η 1 0 λ 1 ( λ 1 q x ) ( ϱ 1 1 ) Γ q ( ϱ 1 ) z ( x ) d q x , λ 1 0 , T , ϱ 1 > 0 , μ 2 z ( 0 ) + σ 2 C D q ζ 2 z ( 0 ) = η 2 0 λ 2 ( λ 2 q x ) ( ϱ 2 1 ) Γ q ( ϱ 2 ) z ( x ) d q x , λ 2 0 , T , ϱ 2 > 0 ,
where C D q Ψ , C D q Υ and C D q ζ i ( i = 1 , 2 ) are the fractional q-derivatives of the Caputo type of orders 0 < Ψ , Υ , ζ i 1 , i = 1 , 2 .   g , f : 0 , T × R R continuous functions and μ i , σ i , η i R + , i = 1 , 2 .
Based on the justification provided, we are motivated to thoroughly evaluate and investigate the necessary conditions for the existence and uniqueness of solutions for a coupled system through the application of Caputo-fractional q-difference equations. Our aim is to carefully examine and determine the specific requirements that must be satisfied to ensure the existence and uniqueness of solutions for the following problem
C D q Ψ 1 C D q Υ 1 + λ 1 z 1 ( ω ) = α 1 f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) , C D q Ψ 2 C D q Υ 2 + λ 2 z 2 ( ω ) = α 2 f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) ,
equipped with q-integral-coupled boundary conditions
μ 1 z 1 ( 0 ) σ 1 ω 1 Υ 1 D q z 1 0 ω = 0 = η 1 z 1 β 1 , μ 2 z 1 ( 1 ) + σ 2 D q z 1 1 = η 2 z 1 β 2 , μ 3 z 2 ( 0 ) σ 3 ω 1 Υ 2 D q z 2 0 ω = 0 = η 3 z 2 β 3 , μ 4 z 2 ( 1 ) + σ 4 D q z 2 1 = η 4 z 2 β 4 ,
where
  • 0 ω 1 , 0 < q < 1 .
  • C D q Ψ i and C D q Υ i denote the fractional q-derivatives of the Caputo type of orders 0 < Ψ i , Υ i 1 , i = 1 , 2 .
  • I q ζ i denotes Riemann–Liouville integral of order ζ i 0 , 1 , i = 1 , 2 .
  • λ i , α i , γ i , i = 1 , 2 are real constants and μ i , σ i , η i R , β i 0 , 1 , i = 1 , 2 , 3 , 4 .
  • f i , g i : [ 0 , 1 ] × R 2 R , ( i = 1 , 2 ) are given continuous functions satisfied the following hypotheses:
(H1)
There exist constants L i , K i > 0 , i = 1 , 2 , such that, for each ω [ 0 , 1 ] and z 1 , z 2 , z 1 * , z 2 * R , we have
f i ( ω , z 1 , z 2 ) f i ( ω , z 1 * , z 2 * ) L i z 1 z 1 * + z 2 z 2 * , g i ( ω , z 1 , z 2 ) g i ( ω , z 1 * , z 2 * ) K i z 1 z 1 * + z 2 z 2 * .
(H2)
There exist real numbers m i , m ˜ i , n i , n ˜ i 0 i = 1 , 2 , and m 0 , m ˜ 0 , n 0 , n ˜ 0 > 0 such that, z 1 , z 2 R , we have
f 1 ( ω , z 1 , z 2 ) m 0 + m 1 z 1 + m 2 z 2 ,
f 2 ( ω , z 1 , z 2 ) m ˜ 0 + m ˜ 1 z 1 + m ˜ 2 z 2 ,
g 1 ( ω , z 1 , z 2 ) n 0 + n 1 z 1 + n 2 z 2 ,
and
g 2 ( ω , z 1 , z 2 ) n ˜ 0 + n ˜ 1 z 1 + n ˜ 2 z 2 .

1.1. Contributions of This Paper

In this context, it is important to highlight that system (2) with conditions (3) involves q-fractional type Langevin equations with distinct fractional orders. The nonlinearity present in these equations encompasses both non-integral and Riemann–Liouville-type q-integral terms. However, it is possible to reduce the nonlinearity to either a purely non-integral case or an integral nonlinearity case, corresponding to α i and γ i (for i = 1 , 2 ) respectively. Additionally, as q approaches 1 , system (2) can be reduced to a system of Langevin equations with two different fractional orders, or a system of second-order q-difference equations with the values Ψ i and Υ i (for i = 1 , 2 ). An alternative and flexible approach involving ζ i (for i = 1 , 2 ) is provided by the integral type nonlinearity, which is expressed in terms of the q-integral of the Riemann–Liouville type with the order ζ i in the range ( 0 , 1 ) . Moreover, in feedback control problems such as determining the steady-states of a thermostat, four-point nonlocal boundary conditions arise. These conditions are associated with a controller positioned at the domain’s edge, which either adds or removes heat based on temperature variations caused by two variable (nonlocal) positions within the domain under consideration.
Overall, the combination of applying Langevin equations to multi-atomic systems, analyzing a coupled system with a Caputo-fractional derivative, introducing an operator for the fixed-point formulation, establishing necessary conditions for existence and uniqueness, and validating the results through illustrative examples contributes to the novelty and significance of this work.

1.2. Construction of This Paper

The remainder of this paper is organized as follows: In Section 2, we provide a review of fractional calculus notations, definitions, and relevant lemmas that are essential to our research. Additionally, we present an important lemma that allows us to convert the coupled system of Caputo-fractional q-difference Equation (2) into an equivalent integral equation. Section 3 presents the main findings regarding the existence and uniqueness of solutions for the coupled system of Caputo-fractional q-difference Equation (2). In Section 4, we discuss the stability results with parameters sensitivity analysis. To illustrate these results, we present a numerical example in Section 5. Finally, we conclude this paper with a summary of our findings in the last section.

2. Preliminary Results and Essential Concepts

In this section, we provide a review of fractional calculus notations, definitions, and relevant lemmas that are essential to our research. Additionally, we present an important lemma that allows us to convert the coupled system of Caputo-fractional q-difference Equation (2) into an equivalent integral equation. Let S = { z C ( [ 0 , 1 ] , R ) } be the space equipped with the norm z = sup ω [ 0 , 1 ] z ( ω ) , Clearly, ( S , · ) is a Banach space. Let S × S be the product space with the norm ( z 1 , z 2 ) = z 1 + z 2 for ( z 1 , z 2 ) S × S .
For every a R , the q-number [ a ] q is defined by [ a ] q = 1 q a 1 q , where q ( 0 , 1 ) , is an arbitrary real number. Also, the q-shifted factorial of real number a is defined by ( a , q ) 0 = 1 , and ( a , q ) n = Π j = 0 n 1 ( 1 a q j ) for n N { } . For a , b R , the q-analog of the power function ( a b ) n with n N 0 is given by
( a b ) 0 = 1 , ( a b ) n = Π j = 0 n 1 ( a b q j ) .
In general, if ϱ is a real number, then ( a b ) ( ϱ ) = a ϱ Π j = 0 ( a b q j a b q j + ϱ ) and a ( ϱ ) = a ϱ when b = 0 . If ϱ > 0 and 0 a b ω , then ( ω b ) ( ϱ ) ( ω a ) ( ϱ ) .
Definition 1 
([12,29]). Let ϱ 0 , q 0 , 1 , and z : 0 , 1 R be a continuous function. Then the Riemann–Liouville fractional q-integral for the function z of order ϱ is defined by
( I q 0 z ) ( ω ) = z ( ω ) , ( I q ϱ z ) ( ω ) = 1 Γ q ( ϱ ) 0 ω ( ω q s ) ( ϱ 1 ) z ( s ) d q s , ϱ > 0 ,
provided that the right-hand side is point-wise defined on 0 , 1 and ω 0 , 1 , also, the q-Gamma function Γ q ( ϱ ) is defined by
Γ q ( ϱ ) = ( 1 q ) ( ϱ 1 ) ( 1 q ) ϱ 1 , ϱ R / { 0 , 1 , 2 , . . . } ,
which satisfies the relation Γ q ( ϱ + 1 ) = [ ϱ ] q Γ q ( ϱ ) .
Also, for any x , y > 0 , we define the q-Beta function B q x , y as
B q x , y = Γ q ( x ) Γ q ( y ) Γ q ( x + y ) .
Definition 2 
([12,29]). The Riemann–Liouville fractional q-derivative of order n 1 < ϱ < n , n 1 , for a function z : 0 , 1 R is defined by
( D q ϱ z ) ( ω ) = 1 Γ q ( n ϱ ) 0 ω z ( s ) ( ω q s ) ϱ n + 1 d q s .
Lemma 1 
([12,29]). For Ψ , ϱ R + , and let z be a function defined on 0 , 1 . Then,
( I q Ψ I q ϱ z ) ( ω ) = ( I q Ψ + ϱ z ) ( ω ) , ( D q Ψ I q ϱ z ) ( ω ) = z ( ω ) , I q ϱ ω Ψ = Γ q ( Ψ + 1 ) Γ q ( ϱ + Ψ + 1 ) ω ϱ + Ψ , Ψ ( 1 , ) , ϱ 0 , ω > 0 .
If z = 1 , then I q ϱ ( 1 ) ( ω ) = 1 Γ q ( ϱ + 1 ) ω ϱ , for all ω > 0 .
Lemma 2 
([12,29]). Let ϱ > 0 . Then, we have
( I q ϱ c D q ϱ z ) ( ω ) = z ( ω ) k = 0 ϱ 1 ω k Γ q ( k + 1 ) D q ϱ z ( 0 ) .
In the case ϱ 0 , 1 , we have
( I q ϱ c D q ϱ z ) ( ω ) = z ( ω ) z ( 0 ) .
Theorem 1 
([30]). Let C J , R be a Banach space. The operator T : S S is a contraction if there exists a constant 0 < L < 1 , such that, i.e., T ( z ) T ( z * ) L z z * for all z , z * S .
Theorem 2 
([31]). Let S be a non-empty, closed-convex subset of a Banach space X. If T : S S is a completely continuous operator and Φ T = { ( z S , z = ξ T ( z ) , 0 < ξ < 1 } , then either Φ T is unbounded or T has a fixed point.
  • Notations
To improve readability, we fix the following notations and, subsequently, refer to them in our analysis without any additional explanations
A 1 = η 1 Δ 1 η 2 μ 2 ω Υ 1 η 2 β 2 Υ 1 μ 2 + σ 2 Υ 1 q , A 2 = η 2 Δ 1 η 1 μ 1 ω Υ 1 η 1 β 1 Υ 1 + σ 1 Υ 1 q , A 3 = η 2 Δ 1 η 1 μ 1 ω Υ 1 η 1 β 1 Υ 1 σ 1 Υ 1 q , A 4 = σ 2 Δ 1 η 1 μ 1 ω Υ 1 η 1 β 1 Υ 1 σ 1 Υ 1 q , A 5 = η 3 Δ 2 η 4 μ 4 ω Υ 2 η 4 β 4 Υ 2 μ 4 + σ 4 Υ 2 q , A 6 = η 4 Δ 2 η 3 μ 3 ω Υ 2 η 3 β 3 Υ 1 + σ 3 Υ 2 q , A 7 = η 4 Δ 2 η 3 μ 3 ω Υ 2 η 3 β 3 Υ 2 σ 3 Υ 2 q , A 8 = σ 4 Δ 2 η 3 μ 3 ω Υ 2 η 3 β 3 Υ 2 σ 3 Υ 2 q ,
and
Δ 1 = η 1 μ 1 η 2 β 2 Υ 1 μ 2 + σ 2 Υ 1 q η 2 μ 2 ω Υ 1 η 1 β 1 Υ 1 + σ 1 Υ 1 q , Δ 2 = η 3 μ 3 η 4 β 4 Υ 2 μ 4 + σ 4 Υ 2 q η 4 μ 4 ω Υ 2 η 3 β 3 Υ 2 + σ 3 Υ 2 q .
In the sequel, we set
ρ 1 = 1 + A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 Γ q ( Υ 1 + 1 ) , ρ 2 = 1 + A 1 β 1 Υ 1 + Ψ 1 + A 2 β 2 Υ 1 + Ψ 1 + A 3 + A 4 Γ q ( Υ 1 + Ψ 1 + 1 ) , ρ 3 = 1 + A 1 β 1 Υ 1 + Ψ 1 + ζ 1 + A 2 β 2 Υ 1 + Ψ 1 + ζ 1 + A 3 + A 4 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) , ρ 4 = 1 + A 5 β 2 Υ 2 + A 6 β 1 Υ 2 + A 7 + A 8 Γ q ( Υ 2 + 1 ) , ρ 5 = 1 + A 5 β 2 Υ 2 + Ψ 2 + A 6 β 1 Υ 2 + Ψ 2 + A 7 + A 8 Γ q ( Υ 2 + Ψ 2 + 1 ) , ρ 6 = 1 + A 5 β 2 Υ 2 + Ψ 2 + ζ 2 + A 6 β 1 Υ 2 + Ψ 2 + ζ 2 + A 7 + A 8 Γ q ( Υ 2 + Ψ 2 + ζ 2 + 1 ) .

3. Main Results

In this section, we will discuss the existence and uniqueness of the solution for system (2). The study of existence results for fractional q-difference equations is an active area of research, and researchers continue to develop new methods and techniques to address this problem. By establishing the existence of solutions, researchers can provide a solid foundation for further analysis, numerical simulations, and applications of these equations in various fields of science and engineering.

3.1. Equivalent Integral Equation

In this subsection, we will begin by obtaining the equivalent integral equation of the following linear fractional system:
C D q Ψ 1 C D q Υ 1 + λ 1 z 1 ( ω ) = h 1 ( ω ) , C D q Ψ 2 C D q Υ 2 + λ 2 z 2 ( ω ) = h 2 ( ω ) ,
equipped with q-integral-coupled boundary conditions,
μ 1 z 1 ( 0 ) σ 1 ω 1 Υ 1 D q z 1 0 ω = 0 = η 1 z 1 β 1 , μ 2 z 1 ( 1 ) + σ 2 D q z 1 1 = η 2 z 1 β 2 , μ 3 z 2 ( 0 ) σ 3 ω 1 Υ 2 D q z 2 0 ω = 0 = η 3 z 2 β 3 , μ 4 z 2 ( 1 ) + σ 4 D q z 2 1 = η 4 z 2 β 4 ,
where 0 ω 1 , 0 < q < 1 and h 1 , h 2 S .
Theorem 3. 
Let h 1 , h 2 S . If z 1 , z 2 S × S , then z 1 , z 2 satisfies system (7) with condition (8) if and only if z 1 and z 2 are given by
z 1 ( ω ) = 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x + A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x ,
and
z 2 ( ω ) = 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + A 5 0 β 3 β 3 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x A 6 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + A 7 0 1 1 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + A 8 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x ,
Proof. 
Applying the operators I q Ψ 1 and I q Ψ 2 to both sides of Equation (7), respectively, and using Lemma 2, we have
C D q Υ 1 + λ 1 z 1 ( ω ) = I q Ψ 1 h 1 ( ω ) λ 1 z 1 ( ω ) c 0 , C D q Υ 2 + λ 2 z 2 ( ω ) = I q Ψ 2 h 2 ( ω ) λ 2 z 2 ( ω ) c 2 .
Applying the operators I q Υ 1 and I q Υ 2 to both sides of Equation (11), respectively, and using Lemma 2, we have
z 1 ( ω ) = 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x ω Υ 1 Γ q ( Υ 1 + 1 ) c 0 c 1 , z 2 ( ω ) = 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x ω Υ 2 Γ q ( Υ 2 + 1 ) c 2 c 3 .
The q-derivative of Equation (12) is
D q z 1 ( ω ) = 0 ω ω q x Υ 1 2 Γ q ( Υ 1 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x Υ 1 q ω Υ 1 1 Γ q ( Υ 1 + 1 ) c 0 , D q z 2 ( ω ) = 0 ω ω q x Υ 2 2 Γ q ( Υ 2 1 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x Υ 2 q ω Υ 2 1 Γ q ( Υ 2 + 1 ) c 2 .
Using the boundary conditions (8) in Equation (12) and the definition of the q-beta function together with the property of (4), we find that
c 0 = Γ q ( Υ 1 + 1 ) Δ η 1 η 2 μ 2 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x + η 2 η 1 μ 1 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x σ 2 η 1 μ 1 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x η 2 η 1 μ 1 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x ,
c 1 = 1 Δ η 1 η 2 β 2 Υ 1 μ 2 + σ 2 Υ 1 q 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x η 2 η 1 β 1 Υ 1 + σ 1 Υ 1 q 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x + σ 2 η 1 β 1 Υ 1 σ 1 Υ 1 q 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x + η 2 η 1 β 1 Υ 1 σ 1 Υ 1 q 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) I q Ψ 1 h 1 ( x ) λ 1 z 1 ( x ) d q x ,
c 2 = Γ q ( Υ 2 + 1 ) Δ η 3 η 4 μ 4 0 β 3 β 3 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + η 4 η 3 μ 3 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x σ 4 η 3 μ 3 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x ,
and
c 3 = 1 Δ η 3 η 4 β 4 Υ 2 μ 4 + σ 4 Υ 2 q 0 β 2 β 2 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x η 4 η 3 β 3 Υ 1 + σ 3 Υ 2 q 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + σ 4 η 3 β 3 Υ 2 σ 3 Υ 2 q 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x + η 4 η 3 β 3 Υ 2 σ 3 Υ 2 q 0 1 1 q x Υ 2 1 Γ q ( Υ 2 ) I q Ψ 2 h 2 ( x ) λ 2 z 2 ( x ) d q x .
Substituting the values of c 0 , c 1 , c 2 , and c 3 in Equation (12) yields solutions (9) and (10). This completes the proof. □
As a result of Theorem (3), we obtain the following theorem:
Theorem 4. 
Let z 1 , z 2 S × S . Then, z 1 , z 2 satisfies system (2) with condition (3) if and only if z 1 and z 2 are given by
z 1 ω = 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x + A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x ,
and
z 2 ω = 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 5 0 β 3 β 3 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x A 6 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 7 0 1 1 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 8 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x ,
where F z 1 , z 2 i ( x ) = f i ( x , z 1 ( x ) , z 2 ( x ) ) , G z 1 , z 2 i ( x ) = g i ( x , z 1 ( x ) , z 2 ( x ) ) , i = 1 , 2
To obtain results using the fixed point technique, we define an operator T : S × S S × S by
T ( z 1 , z 2 ) ( ω ) = T 1 ( z 1 , z 2 ) ( ω ) T 2 ( z 1 , z 2 ) ( ω ) ,
where
T 1 ( z 1 , z 2 ) ( ω ) = 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x + A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x ,
and
T 2 ( z 1 , z 2 ) ( ω ) = 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 5 0 β 3 β 3 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x A 6 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 7 0 1 1 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x + A 8 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x
Observe that system (2) with conditions (3) has solutions only if the operator equation T ( z 1 , z 2 ) ( ω ) has fixed points, where T is given by Equation (13).

3.2. Uniqueness of Solutions

Theorem 5. 
Assume that ( H 1 ) holds. Then the system as described in (2) has a unique solution on [ 0 , 1 ] , provided that
L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 max λ 1 ρ 1 , λ 2 ρ 4 < 1 .
Proof. 
Define the closed ball B r = { ( z 1 , z 2 ) S × S : z 1 , z 2 r } , with
r N 1 ρ 2 α 1 + M 1 ρ 3 γ 1 + N 2 ρ 5 α 2 + M 2 ρ 6 γ 2 1 L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 max λ 1 ρ 1 , λ 2 ρ 4 ,
where N 1 = sup ω [ 0 , 1 ] f 1 ( ω , 0 , 0 ) ,   N 2 = sup ω [ 0 , 1 ] f 2 ( ω , 0 , 0 ) ,   M 1 = sup ω [ 0 , 1 ] g 1 ( ω , 0 , 0 ) and M 2 = sup ω [ 0 , 1 ] g 2 ( ω , 0 , 0 ) . Now, we show that T B r B r , where T : B r S × S is defined by (13). For any z 1 , z 2 B r ,   ω [ 0 , 1 ] with ( H 1 ), we have
f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) f 1 ( ω , 0 , 0 ) + f 1 ( ω , 0 , 0 ) L 1 z 1 ( ω ) + z 2 ( ω ) + f 1 ( ω , 0 , 0 ) L 1 z 1 + z 2 + N 1 L 1 r + N 1 .
Similarly, we can find that
f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) L 2 r + N 2 ,
g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) K 1 r + M 1 ,
g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) K 2 r + M 2 .
Thus, we obtain
T 1 ( z 1 , z 2 ) sup ω [ 0 , 1 ] 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) + λ 1 z 1 ( x ) d q x + A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) + λ 1 z 1 ( x ) d q x + A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) + λ 1 z 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) + λ 1 z 1 ( x ) d q x + A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) + λ 1 z 1 ( x ) d q x .
By (17)–(20), we have
T 1 ( z 1 , z 2 ) L 1 r + N 1 α 1 Γ q ( Υ 1 + Ψ 1 + 1 ) ω Υ 1 + Ψ 1 + A 1 β 1 Υ 1 + Ψ 1 + A 2 β 2 Υ 1 + Ψ 1 + A 3 + A 4 + K 1 r + M 1 γ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ω Υ 1 + Ψ 1 + ζ 1 + A 1 β 1 Υ 1 + Ψ 1 + ζ 1 + A 2 β 2 Υ 1 + Ψ 1 + ζ 1 + A 3 + A 4 + λ 1 z 1 Γ q ( Υ 1 + 1 ) ω Υ 1 + A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 r + λ 1 ρ 1 z 1 + N 1 ρ 2 α 1 + M 1 ρ 3 γ 1 .
In the same way, we can find that
T 2 ( z 1 , z 2 ) L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 r + λ 2 ρ 4 z 2 + N 2 ρ 5 α 2 + M 2 ρ 6 γ 2 .
From the above inequalities, we have
T ( z 1 , z 2 ) T 1 ( z 1 , z 2 ) + T 2 ( z 1 , z 2 ) L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 + max λ 1 ρ 1 , λ 2 ρ 4 r + N 1 ρ 2 α 1 + M 1 ρ 3 γ 1 + N 2 ρ 5 α 2 + M 2 ρ 6 γ 2 r ,
which indicates T   B r B r . Now, by applying conditions ( H 1 ) and ( H 2 ), and for any z 1 , z 2 , z 1 * , z 2 * B r ,   ω [ 0 , 1 ] , we have
T 1 ( z 1 , z 2 ) T 1 z 1 * , z 2 * L 1 z 1 z 1 * + z 2 z 2 * α 1 Γ q ( Υ 1 + Ψ 1 + 1 ) ω Υ 1 + Ψ 1 + A 1 β 1 Υ 1 + Ψ 1 + A 2 β 2 Υ 1 + Ψ 1 + A 3 + A 4 + K 1 z 1 z 1 * + z 2 z 2 * γ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ω Υ 1 + Ψ 1 + ζ 1 + A 2 β 2 Υ 1 + Ψ 1 + ζ 1 + A 4 A 1 β 1 Υ 1 + Ψ 1 + ζ 1 + A 3 + λ 1 z 1 z 1 * Γ q ( Υ 1 + 1 ) ω Υ 1 + A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 z 1 z 1 * + z 2 z 2 * L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + λ 1 ρ 1 z 1 z 1 * .
Similarly, one can obtain
T 2 z 1 , z 2 T 2 z 1 * , z 2 * z 1 z 1 * + z 2 z 2 * L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 + λ 2 ρ 4 z 2 z 2 * .
Consequently, we have
T z 1 , z 2 T z 1 * , z 2 * T 1 z 1 , z 2 T 1 z 1 * , z 2 * + T 2 z 1 , z 2 T 2 z 1 * , z 2 * L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 + max λ 1 ρ 1 , λ 2 ρ 4 × z 1 z 1 * + z 2 z 2 * .
Since
L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 + max λ 1 ρ 1 , λ 2 ρ 4 < 1 .
We conclude that the operator T is a contraction. As a result of the conclusion of the Banach contraction principle, we deduce that the operator T has a unique fixed point and, hence, system (2) has a unique solution. □

3.3. Existence of Solutions

In the following results, we establish the existence of solutions for the system (2) by employing the Leray–Schauder alternative [31].
Theorem 6. 
Assume that (H 2 ) holds. Then, system (2) has at least one solution on [ 0 , 1 ] , provided that 0 < 1 , 2 < 1 , where
1 = m 1 α 1 ρ 2 + n 1 γ 1 ρ 3 + m ˜ 1 α 2 ρ 5 + n ˜ 1 γ 2 ρ 6 + λ 1 ρ 1 , 2 = m 2 α 1 ρ 2 + n 2 γ 1 ρ 3 + m ˜ 2 α 2 ρ 5 + n ˜ 2 γ 2 ρ 6 + λ 2 z 2 ρ 4 ,
and ρ i , ( i = 1 , · · · · , 6 ) are given in (6).
Proof. 
We demonstrate in the first step that the operator T : S × S S × S , defined by (13), is completely continuous. By the continuity of functions f i , g i , i = 1 , 2 , we conclude that the operator T is continuous. Let Z S × S be bounded. Then, for all ( z 1 , z 2 ) Z , there exist constants κ i , τ i , i = 1 , 2 , such that
f i ( ω , z 1 ( ω ) , z 2 ( ω ) ) κ i , g i ( ω , z 1 ( ω ) , z 2 ( ω ) ) τ i .
Let ( z 1 , z 2 ) Z . Then there exists Q, such that z 1 , z 2 z 1 + z 2 Q . Then, for any ( z 1 , z 2 ) Z , we have
T 1 ( z 1 , z 2 ) 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x + A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x + A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x + A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x κ 1 α 1 Γ q ( Υ 1 + Ψ 1 + 1 ) ω Υ 1 + Ψ 1 + A 1 β 1 Υ 1 + Ψ 1 + A 2 β 2 Υ 1 + Ψ 1 + A 3 + A 4 + τ 1 γ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ω Υ 1 + Ψ 1 + ζ 1 + A 1 β 1 Υ 1 + Ψ 1 + ζ 1 + A 2 β 2 Υ 1 + Ψ 1 + ζ 1 + A 3 + A 4 + λ 1 z 1 Γ q ( Υ 1 + 1 ) ω Υ 1 + A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 κ 1 ρ 2 α 1 + τ 1 ρ 3 γ 1 + z 1 λ 1 ρ 1 .
Similarly, we can find that
T 2 ( z 1 , z 2 ) κ 2 ρ 5 α 2 + τ 2 ρ 6 γ 2 + λ 2 z 2 ρ 4 .
Consequently, we have
T ( z 1 , z 2 ) κ 1 ρ 2 α 1 + τ 1 ρ 3 γ 1 + κ 2 ρ 5 α 2 + τ 2 ρ 6 γ 2 + max λ 1 ρ 1 + λ 2 ρ 4 Q .
Therefore, the operator T is uniformly bounded.
Next, we show that the operator T is equicontinuous. Let ω 1 , ω 2 [ 0 , 1 ] with ω 1 < ω 2 . Then, we have
T 1 ( z 1 ( ω 2 ) , z 2 ( ω 2 ) ) T 1 ( z 1 ( ω 1 ) , z 2 ( ω 1 ) 0 ω 1 ω 2 q x Υ 1 1 Γ q ( Υ 1 ) ω 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x + ω 1 ω 2 ω 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 κ 1 + γ 1 I q Ψ 1 + ζ 1 1 τ 1 + λ 1 z 1 d q x κ 1 α 1 Γ q ( Υ 1 + Ψ 1 + 1 ) 2 ( ω 2 ω 1 ) Υ 1 + Ψ 1 ( ω 2 Υ 1 + Ψ 1 ω 1 Υ 1 + Ψ 1 ) + τ 1 γ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) 2 ( ω 2 ω 1 ) Υ 1 + Ψ 1 ( ω 2 Υ 1 + Ψ 1 ω 1 Υ 1 + Ψ 1 ) + λ 1 z 1 Γ q ( Υ 1 + 1 ) 2 ( ω 2 ω 1 ) Υ 1 + Ψ 1 ( ω 2 Υ 1 + Ψ 1 ω 1 Υ 1 + Ψ 1 ) . κ 1 α 1 ρ 2 + τ 1 γ 1 ρ 3 + λ 1 z 1 ρ 1 2 ( ω 2 ω 1 ) Υ 1 + Ψ 1 ( ω 2 Υ 1 + Ψ 1 ω 1 Υ 1 + Ψ 1 ) .
Thus, we have
T 1 ( z 1 ( ω 2 ) , z 2 ( ω 2 ) ) T 1 ( z 1 ( ω 1 ) , z 2 ( ω 1 ) 0 .
as ( ω 2 ω 1 ) 0 .
Analogously, we can obtain
T 2 ( z 1 ( ω 2 ) , z 2 ( ω 2 ) ) T 2 ( z 1 ( ω 1 ) , z 2 ( ω 1 ) 0 ,
as ( ω 2 ω 1 ) 0 , This shows the equicontinuous of T ( z 1 , z 2 ) . Based on the preceding arguments, we conclude that the operator T ( z 1 , z 2 ) is completely continuous. Finally, we prove that Φ = { ( z 1 , z 2 ) S × S | ( z 1 , z 2 ) = ξ T ( z 1 , z 2 ) , 0 < ξ < 1 } is bounded. Let ( z 1 , z 2 ) Φ with ( z 1 , z 2 ) ( ω ) = ξ T ( z 1 , z 2 ) ( ω ) . Then, for any ω [ 0 , 1 ] , we have
z i ( ω ) = ξ T i ( z 1 , z 2 ) ( ω ) T i ( z 1 , z 2 ) ( ω ) , i = 1 , 2 .
In view of condition ( H 2 ), with some calculations, we can find that
z 1 ( ω ) m 0 + m 1 z 1 + m 2 z 2 α 1 Γ q ( Υ 1 + Ψ 1 + 1 ) ω Υ 1 + Ψ 1 + A 1 β 1 Υ 1 + Ψ 1 + A 2 β 2 Υ 1 + Ψ 1 + A 3 + A 4 + n 0 + n 1 z 1 + n 2 z 2 γ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ω Υ 1 + Ψ 1 + ζ 1 + A 1 β 1 Υ 1 + Ψ 1 + ζ 1 + A 2 β 2 Υ 1 + Ψ 1 + ζ 1 + A 3 + A 4 + λ 1 z 1 Γ q ( Υ 1 + 1 ) ω Υ 1 + A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 m 0 + m 1 z 1 + m 2 z 2 α 1 ρ 2 + n 0 + n 1 z 1 + n 2 z 2 γ 1 ρ 3 + λ 1 z 1 ρ 1 ,
and
z 2 ( ω ) m ˜ 0 + m ˜ 1 z 1 + m ˜ 2 z 2 α 2 ρ 5 + n ˜ 0 + n ˜ 1 z 1 + n ˜ 2 z 2 γ 2 ρ 6 + λ 2 z 2 ρ 4 .
Thus, we have
z 1 m 0 α 1 ρ 2 + n 0 γ 1 ρ 3 + m 1 α 1 ρ 2 + n 1 γ 1 ρ 3 + λ 1 ρ 1 z 1 + m 2 α 1 ρ 2 + n 2 γ 1 ρ 3 z 2 ,
and
z 2 m ˜ 0 α 2 ρ 5 + n ˜ 0 γ 2 ρ 6 + m ˜ 1 α 2 ρ 5 + n ˜ 1 γ 2 ρ 6 z 1 + m ˜ 2 α 2 ρ 5 + n ˜ 2 γ 2 ρ 6 + λ 2 z 2 ρ 4 z 2 .
Thus, we have
z 1 , z 2 z 1 + z 2 m 0 α 1 ρ 2 + n 0 γ 1 ρ 3 + m ˜ 0 α 2 ρ 5 + n ˜ 0 γ 2 ρ 6 + max 1 , 2 z 1 + z 2 1 G 0 m 0 α 1 ρ 2 + n 0 γ 1 ρ 3 + m ˜ 0 α 2 ρ 5 + n ˜ 0 γ 2 ρ 6 ,
where
G 0 = min 1 , 2 ,
which proves the Φ is bounded. Thus, according to the Leray–Schauder alternative [31], the operator T has at least one solution, which means that there exists a solution of system (2) on [ 0 , 1 ] . □

4. Stability Analysis

Stability analysis plays a crucial role in understanding the behavior and dynamics of a coupled system of nonlinear fractional q-difference equations with Caputo fractional derivatives in a boundary value problem context. By investigating the stability properties of the system, we can determine whether small perturbations in the initial or boundary conditions lead to significant changes in the system’s solutions over time. Stability analysis helps identify stable solutions that are robust and converge to a desired equilibrium or periodic behavior, providing valuable insights into the system’s long-term behavior and predictability. Moreover, stability analysis aids in determining the critical parameter ranges or conditions under which the system exhibits stability or undergoes bifurcations, which are characteristic of qualitative changes in the system’s dynamics. Understanding the stability properties of the coupled system is essential for ensuring the reliability and applicability of the model in real-world scenarios, guiding parameter selection, and assessing the system’s response to uncertainties or variations in the governing equations [32,33]. In this section, we shall discuss the Ulam–Hyers stability of system (2).
Remark 1. 
A function ( z ^ 1 , z ^ 2 ) S × S satisfies the following inequalities
C D q Ψ 1 C D q Υ 1 + λ 1 z ^ 1 ( ω ) α 1 f 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) γ 1 I q ζ 1 g 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) ε 1 , C D q Ψ 2 C D q Υ 2 + λ 2 z ^ 2 ( ω ) α 2 f 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) γ 2 I q ζ 2 g 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) ε 2 ,
if and only if there exist functions 1 , 2 D , such that
(i)
1 ( ω ) ε 1 , 2 ( ω ) ε 2 .
(ii)
C D q Ψ 1 C D q Υ 1 + λ 1 z ^ 1 ( ω ) = α 1 f 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + 1 ( ω ) , C D q Ψ 2 C D q Υ 2 + λ 2 z ^ 2 ( ω ) = α 2 f 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + 2 ( ω ) . .
Definition 3. 
System (2) is UH-stable if there exists W > 0 , such that, for each ε = max { ε 1 , ε 2 } > 0 and each solution ( z ^ 1 , z ^ 2 ) S × S of the inequalities (21), there exists a solution ( z 1 , z 2 ) S × S of system (2) with
( z ^ 1 , z ^ 2 ) ( z 1 , z 2 ) W ε , σ J .
Lemma 3. 
If a function ( z ^ 1 , z ^ 2 ) S × S satisfies the inequalities (21), then ( z ^ 1 , z ^ 2 ) satisfies the following integral inequalities
z ^ 1 ( ω ) R z ^ 1 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ z ^ 1 ( x ) d q x M 1 ε 1 , z ^ 2 ( ω ) R z ^ 2 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ z ^ 2 ( x ) d q x M 2 ε 2 ,
where
R z ^ 1 = A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ 1 z ^ 1 ( x ) d q x A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ 1 z ^ 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ 1 z ^ 1 ( x ) d q x A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ 1 z ^ 1 ( x ) d q x ,
R z ^ 2 = A 5 0 β 3 β 3 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ 2 z ^ 2 ( x ) d q x + A 6 0 β 4 β 4 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ 2 z ^ 2 ( x ) d q x + A 7 0 1 1 q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ 2 z ^ 2 ( x ) d q x + A 8 0 1 1 q x Υ 2 2 Γ q ( Υ 2 1 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ 2 z ^ 2 ( x ) d q x ,
M 1 = A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 Γ q ( Υ 1 + 1 ) ,
and
M 2 = A 5 β 3 Υ 2 + A 6 β 4 Υ 2 + A 7 + A 8 Γ q ( Υ 2 + 1 ) .
Proof. 
By Remark 1, we have
C D q Ψ 1 C D q Υ 1 + λ 1 z ^ 1 ( ω ) = α 1 f 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + 1 ( ω ) .
Then, in view of Lemma 3, we have
z ^ 1 ( ω ) R z ^ 1 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ z ^ 1 ( x ) d q x A 1 0 β 1 β 1 q x Υ 1 1 Γ q ( Υ 1 ) 1 ( x ) d q x + A 2 0 β 2 β 2 q x Υ 1 1 Γ q ( Υ 1 ) 1 ( x ) d q x + A 3 0 1 1 q x Υ 1 1 Γ q ( Υ 1 ) 1 ( x ) d q x + A 4 0 1 1 q x Υ 1 2 Γ q ( Υ 1 1 ) 1 ( x ) d q x A 1 β 1 Υ 1 + A 2 β 2 Υ 1 + A 3 + A 4 Γ q ( Υ 1 + 1 ) ε 1 M 1 ε 1 .
In the same way, one can obtain
z ^ 2 ( ω ) R z ^ 2 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z ^ 1 , z ^ 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z ^ 1 , z ^ 2 2 ( x ) λ z ^ 2 ( x ) d q x M 2 ε 2 .
Theorem 7. 
Assume that ( H 2 ) holds. If Y 2 + Y 1 < 1 , where
Y 1 = L 1 α 1 ω Υ 1 + Ψ 1 Γ q ( Υ 1 + Ψ 1 + 1 ) + K 1 γ 1 ω Υ 1 + Ψ 1 + ζ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ,
and
Y 2 = L 2 α 2 ω Υ 2 + Ψ 2 Γ q ( Υ 2 + Ψ 2 + 1 ) + K 2 γ 2 ω Υ 2 + Ψ 2 + ζ 2 Γ q ( Υ 2 + Ψ 2 + ζ 2 + 1 ) .
Then
C D q Ψ 1 C D q Υ 1 + λ 1 z ^ 1 ( ω ) = α 1 f 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) , C D q Ψ 2 C D q Υ 2 + λ 2 z ^ 2 ( ω ) = α 2 f 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z ^ 1 ( ω ) , z ^ 2 ( ω ) ) ,
are Ulam–Hyers stable.
Proof. 
Let ε = max { ε 1 , ε 2 } > 0 and z ^ 1 , z ^ 2 S × S be a function that satisfies the inequalities (21) and let z 1 , z 2 S × S be the unique solution of the following system
C D q Ψ 1 C D q Υ 1 + λ 1 z 1 ( ω ) = α 1 f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) , C D q Ψ 2 C D q Υ 2 + λ 2 z 2 ( ω ) = α 2 f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) ,
Now, by Lemma 3, we have
z 1 ω = R z 1 + 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z 1 , z 2 1 ( x ) λ 1 z 1 ( x ) d q x ,
and
z 2 ω = R z 2 + 0 ω ω q x Υ 2 1 Γ q ( Υ 2 ) α 2 I q Ψ 2 F z 1 , z 2 2 ( x ) + γ 2 I q Ψ 2 + ζ 2 1 G z 1 , z 2 2 ( x ) λ 2 z 2 ( x ) d q x .
Hence, from (H 2 ) with Lemma 3, and for each ω 0 , 1 , we have
z ^ 1 ( ω ) z 1 ( ω ) z ^ 1 ( ω ) R z ^ 1 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) λ 1 z ^ 1 ( x ) d q x + 0 ω ω q x Υ 1 1 Γ q ( Υ 1 ) α 1 I q Ψ 1 F z ^ 1 , z ^ 2 1 ( x ) F z 1 , z 2 1 ( x ) + γ 1 I q Ψ 1 + ζ 1 1 G z ^ 1 , z ^ 2 1 ( x ) G z 1 , z 2 1 ( x ) + λ 1 z ^ 1 ( x ) z 1 ( x ) d q x M 1 ε 1 + z ^ 1 z 1 + z ^ 2 z 2 Y 1 .
where
Y 1 = L 1 α 1 ω Υ 1 + Ψ 1 Γ q ( Υ 1 + Ψ 1 + 1 ) + K 1 γ 1 ω Υ 1 + Ψ 1 + ζ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) .
Hence,
z ^ 1 z 1 M 1 ε 1 + z ^ 1 z 1 + z ^ 2 z 2 Y 1 .
By the same technique, we have
z ^ 2 z 2 M 2 ε 2 + z ^ 1 z 1 + z ^ 2 z 2 Y 2 ,
where
Y 2 = L 2 α 2 ω Υ 2 + Ψ 2 Γ q ( Υ 2 + Ψ 2 + 1 ) + K 2 γ 2 ω Υ 2 + Ψ 2 + ζ 2 Γ q ( Υ 2 + Ψ 2 + ζ 2 + 1 ) .
Thus,
z ^ 1 , z ^ 2 z 1 , z 2 z ^ 1 z 1 + z ^ 2 z 2 M 1 ε 1 + M 2 ε 2 + z ^ 1 z 1 + z ^ 2 z 2 Y 2 + Y 1 ε M 1 + M 2 + z ^ 1 , z ^ 2 z 1 , z 2 Y 2 + Y 1 ε W ,
where ε = max { ε 1 , ε 2 } and
W = M 1 + M 2 1 Y 2 + Y 1 > 0 .
Hence, from (27) and Definition 3, we deduce that the coupled system (22) is Ulam–Hyers (UH)-stable. □

Parameter Sensitivity Analysis

The sensitivity of the behavior of the coupled system (2) comprising nonlinear fractional q-difference equations with Caputo fractional derivatives, to parameter changes, depends on the specific ranges of these parameters and constants. Moreover, their interrelationships may vary depending on the specific problem being modeled, along with any additional constraints or considerations. In this section, we will discuss the parameter sensitivity analysis for the sufficient conditions required for the existence and uniqueness of solutions, as well as for the conditions of stability within the aforementioned ranges.
  • The existence of a solution is crucial for validating the model, establishing feasibility and robustness, solving boundary value problems, enabling mathematical analysis, supporting practical applications, and developing a fundamental understanding of the system’s behavior. It ensures that the system can be adequately described, analyzed, and utilized in various domains and applications. For the system to be solvable, the parameters must be chosen within specific ranges so that the following condition is met:
    0 < max 1 , 2 < 1 ,
    where
    1 = m 1 α 1 ρ 2 + n 1 γ 1 ρ 3 + m ˜ 1 α 2 ρ 5 + n ˜ 1 γ 2 ρ 6 + λ 1 ρ 1 , 2 = m 2 α 1 ρ 2 + n 2 γ 1 ρ 3 + m ˜ 2 α 2 ρ 5 + n ˜ 2 γ 2 ρ 6 + λ 2 z 2 ρ 4 .
  • The uniqueness of the solution ensures the predictability, reliability, stability, and validity of the mathematical model. It plays a crucial role in understanding and analyzing the behavior of systems in diverse fields, enabling accurate predictions, decision-making, and parameter estimation. For the solution of system (2) to be unique, the parameters must be chosen so that the following conditions are met:
    L 1 ρ 2 α 1 + K 1 ρ 3 γ 1 + L 2 ρ 5 α 2 + K 2 ρ 6 γ 2 + max λ 1 ρ 1 , λ 2 ρ 4 < 1 .
  • Stable solutions that are robust and converge to a desired equilibrium or periodic behavior, as described in system (1), provide valuable insights into the system’s long-term behavior and predictability. To ensure the reliability and applicability of the model in real-world scenarios, it is crucial to select parameter ranges that satisfy the following condition: Y 2 + Y 1 < 1 , where
    Y 1 = L 1 α 1 ω Υ 1 + Ψ 1 Γ q ( Υ 1 + Ψ 1 + 1 ) + K 1 γ 1 ω Υ 1 + Ψ 1 + ζ 1 Γ q ( Υ 1 + Ψ 1 + ζ 1 + 1 ) ,
    and
    Y 2 = L 2 α 2 ω Υ 2 + Ψ 2 Γ q ( Υ 2 + Ψ 2 + 1 ) + K 2 γ 2 ω Υ 2 + Ψ 2 + ζ 2 Γ q ( Υ 2 + Ψ 2 + ζ 2 + 1 ) .

5. Examples

This section presents an illustrative example that focuses on the coupled system governed by the Caputo-fractional derivative. The purpose of this example is to emphasize and reinforce our main conclusions. The selection of these examples takes into account the conditions stated in the employed theorems, the formulated conditions derived from our proposed results, and the consideration of various parameter values and fractional-order derivatives. Through these carefully chosen examples, we aim to provide strong support for all the arguments presented in the preceding section.
Example 1. 
Consider the following coupled system of the Caputo-fractional derivative:
C D q Ψ 1 C D q Υ 1 + λ 1 z 1 ( ω ) = α 1 f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) , C D q Ψ 2 C D q Υ 2 + λ 2 z 2 ( ω ) = α 2 f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) ,
equipped with q-integral-coupled boundary conditions
μ 1 z 1 ( 0 ) σ 1 ω 1 Υ 1 D q z 1 0 ω = 0 = η 1 z 1 β 1 , μ 2 z 1 ( 1 ) + σ 2 D q z 1 1 = η 2 z 1 β 2 , μ 3 z 2 ( 0 ) σ 3 ω 1 Υ 2 D q z 2 0 ω = 0 = η 3 z 2 β 3 , μ 4 z 2 ( 1 ) + σ 4 D q z 2 1 = η 4 z 2 β 4 ,
with α 1 = 1 5 , α 2 = 1 7 , γ 1 = 1 9 , γ 2 = 1 8 , λ 1 = 1 10 , λ 2 = 1 12 , Ψ 1 = Ψ 2 = 1 3 , Υ 1 = Υ 2 = 1 2 ,   q = 1 2 , ζ 1 = ζ 2 = 1 2 , μ 1 = μ 2 = σ 1 = σ 2 = 1 , μ 3 = μ 4 = σ 3 = σ 4 = 1 2 , β 1 = β 2 = β 3 = β 4 = 1 3 ,   η 1 = η 2 = η 3 = η 4 = 1 , and
f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 100 sin 2 z 1 ( ω ) + 1 4 ( ω + 6 ) 2 z 2 ( ω ) 1 + z 2 ( ω ) + 2 , f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 3 ω 3 + 144 1 2 cos z 1 ( ω ) + z 2 ( ω ) + 5 e ω , g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 40 + ω 2 sin z 1 ( ω ) + z 2 ( ω ) 8 ω , g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 30 z 1 ( ω ) + tan 1 z 2 ( ω ) + sin ω .
For each ω [ 0 , 1 ] and z 1 , z 2 , z 1 * , z 2 * R
f 1 ( ω , z 1 , z 2 ) f 1 ( ω , z 1 * , z 2 * ) 1 100 z 1 z 1 * + z 2 z 2 * , f 2 ( ω , z 1 , z 2 ) f 2 ( ω , z 1 * , z 2 * ) 1 36 z 1 z 1 * + z 2 z 2 * , g 1 ( ω , z 1 , z 2 ) g 1 ( ω , z 1 * , z 2 * ) 1 40 z 1 z 1 * + z 2 z 2 * , g 2 ( ω , z 1 , z 2 ) g 2 ( ω , z 1 * , z 2 * ) 1 30 z 1 z 1 * + z 2 z 2 * .
Hence, ( H 1 ) holds. From the given data, we have L 1 = 1 100 , L 2 = 1 36 , K 1 = 1 40 , K 2 = 1 30 . By some calculations, we have ρ 1 0.19 , ρ 2 0.0450 , ρ 3 0.240 , ρ 4 0.183 , ρ 5 0.2 , ρ 6 0.025 . Also, Θ 1 0.2578 < 1 . Thus, all conditions in Theorem 5 are satisfied and, hence, system (2) has a unique solution.
Example 2. 
Consider the following coupled system of the Caputo-fractional derivative
C D q Ψ 1 C D q Υ 1 + λ 1 z 1 ( ω ) = α 1 f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 1 I q ζ 1 g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) , C D q Ψ 2 C D q Υ 2 + λ 2 z 2 ( ω ) = α 2 f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) + γ 2 I q ζ 2 g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) ,
equipped with q-integral-coupled boundary conditions
μ 1 z 1 ( 0 ) σ 1 ω 1 Υ 1 D q z 1 0 ω = 0 = η 1 z 1 β 1 , μ 2 z 1 ( 1 ) + σ 2 D q z 1 1 = η 2 z 1 β 2 , μ 3 z 2 ( 0 ) σ 3 ω 1 Υ 2 D q z 2 0 ω = 0 = η 3 z 2 β 3 , μ 4 z 2 ( 1 ) + σ 4 D q z 2 1 = η 4 z 2 β 4 ,
with α 1 = 1 5 , α 2 = 1 7 , γ 1 = 1 9 , γ 2 = 1 8 , λ 1 = 1 10 , λ 2 = 1 12 , Ψ 1 = Ψ 2 = 1 3 , Υ 1 = Υ 2 = 1 2 ,   q = 1 2 , ζ 1 = ζ 2 = 1 2 , μ 1 = μ 2 = σ 1 = σ 2 = 1 , μ 3 = μ 4 = σ 3 = σ 4 = 1 2 , β 1 = β 2 = β 3 = β 4 = 1 3 ,   η 1 = η 2 = η 3 = η 4 = 1 , and
f 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 12 + z 1 ( ω ) 210 ( 1 + z 1 ( ω ) ) + z 2 ( ω ) ω + 2 3 ( 1 + z 2 ( ω ) ) , f 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = z 1 ( ω ) 2 ( 1 + z 1 ( ω ) ) + z 2 ( ω ) ω + 3 3 ( 1 + z 2 ( ω ) ) + 1 6 , g 1 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = cos ω 13 + z 1 ( ω ) ( 14 + ω 2 ) + z 2 ( ω ) sin ω 90 , g 2 ( ω , z 1 ( ω ) , z 2 ( ω ) ) = 1 6 + z 1 ( ω ) 2 ( 1 + z 1 ( ω ) ) + z 2 ( ω ) 45 ( 1 + z 2 ( ω ) ) .
For each ω [ 0 , 1 ] and z 1 , z 2 R
f 1 ( ω , z 1 , z 2 ) 1 12 + 1 210 z 1 ( ω ) + 1 8 z 2 ( ω ) , f 2 ( ω , z 1 , z 2 ) 1 6 + 1 2 z 1 ( ω ) + 1 27 z 2 ( ω ) , g 1 ( ω , z 1 , z 2 ) 1 13 + 1 14 z 1 ( ω ) + 1 90 z 2 ( ω ) , g 2 ( ω , z 1 , z 2 ) 1 6 + 1 2 z 1 ( ω ) + 1 45 z 2 ( ω ) .
Hence, ( H 2 ) holds with m 0 = 1 12 , m 1 = 1 210 , m 2 = 1 8 , m ˜ 0 = 1 6 , m ˜ 1 = 1 2 m ˜ 2 = 1 27 , n 0 = 1 13 , n 1 = 1 14 ,   n 2 = 1 90 , n ˜ 0 = 1 6 , n ˜ 1 = 1 2 , and n ˜ 2 = 1 45 . By some calculations, we have
1 0.675 < 1 , 2 0.456 < 1 .
Thus, all conditions in Theorem 6 are satisfied and, hence, the system (2) has at least one solution. Also, condition (H 1 ) holds and Θ 1 0.745 < 1 . Thus, all conditions in Theorem 5 are satisfied and, hence, system (2) has a unique solution.

6. Conclusions

We discussed the essential requirements for a coupled system of fractional q-integro-difference equations, utilizing Riemann–Liouville fractional q-derivatives and q-integrals of different orders, along with q-integral boundary conditions. Applying tools from fixed-point theory, we have obtained novel findings that contribute to and generalize the existing literature on this topic. Our results encompass various new results as special cases, marking a significant contribution to the field of boundary value problems associated with fractional q-integro-difference equations.
In future work, we will aim to explore the stability properties of the obtained solutions and investigate numerical methods for effectively solving the coupled system. Additionally, we plan to extend our analysis to more complex scenarios or higher dimensions, which may involve considering additional factors or variables. Furthermore, we intend to explore the potential applications of the obtained results in diverse fields such as physics, engineering, and biology. By doing so, we aim to demonstrate the practical significance and relevance of our findings in real-world contexts.

Author Contributions

Conceptualization, S.S.R.; Formal analysis, S.S.R. and M.A.A. (Mohammed A. Almalahi); Funding acquisition, S.S.R.; Investigation, S.S.R., M.A.A. (Mohammed A. Almalahi), M.A. and M.A.A. (Maryam Ahmed Alyami); Methodology, S.S.R. and M.A.A. (Mohammed A. Almalahi); Validation, S.S.R. and M.A.A. (Maryam Ahmed Alyami); Supervision, M.H.; writing original draft, M.A.A. (Mohammed A. Almalahi);Writing—Review and editing M.H. and M.A.A. (Maryam Ahmed Alyami). All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Zhejiang Normal University Research Fund under Grant YS304223919.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  2. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives; Gordon Breach: Yverdon, Switzerland, 1993. [Google Scholar]
  3. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  4. Hilfer, R. Applications of Fractional Calculus in Physics; World Scientific: Singapore, 2000. [Google Scholar]
  5. Rubio Lopez, F.; Rubio, O. A new fractional curvature of curves using the caputo’s fractional derivative. Adv. Math. Model. Appl. 2023, 8, 157–175. [Google Scholar]
  6. Salati, S.; Matinfar, M.; Jafari, H. A numerical approach for solving Bagely-Torvik and fractional oscillation equations. Adv. Model. Appl. 2023, 8, 241–252. [Google Scholar]
  7. Asaduzzaman, M.; Ali, M.Z. Existence of multiple positive solutions to the Caputo-type nonlinear fractional Differential equation with integral boundary value conditions. Fixed Point Theory 2022, 23, 127–142. [Google Scholar] [CrossRef]
  8. Jackson, F.H. q-Difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  9. Carmichael, R.D. The general theory of linear q-difference equations. Am. J. Math. 1912, 34, 147–168. [Google Scholar] [CrossRef]
  10. Mason, T.E. On properties of the solutions of linear q-difference equations with entire function coefficients. Am. J. Math. 1915, 37, 439–444. [Google Scholar] [CrossRef]
  11. Cheung, P.; Kac, V.G. Quantum Calculus; Springer: Berlin/Heidelberg, Germany, 2001. [Google Scholar]
  12. Annaby, M.H.; Mansour, Z.S. q-Fractional Calculus and Equations; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  13. Cao, J.; Huang, J.Y.; Fadel, M.; Arjika, S. A Review of q-Difference Equations for Al-Salam–Carlitz Polynomials and Applications to U(n + 1) Type Generating Functions and Ramanujan’s Integrals. Mathematics 2023, 11, 1655. [Google Scholar] [CrossRef]
  14. Cao, J.; Srivastava, H.M.; Zhou, H.L.; Arjika, S. Generalized q-difference equations for q-hypergeometric polynomials with double q-binomial coefficients. Mathematics 2022, 10, 556. [Google Scholar] [CrossRef]
  15. Jia, Z.; Khan, B.; Hu, Q.; Niu, D. Applications of generalized q-difference equations for general q-polynomials. Symmetry 2021, 13, 1222. [Google Scholar] [CrossRef]
  16. Laledj, N.; Salim, A.; Lazreg, J.E.; Abbas, S.; Ahmad, B.; Benchohra, M. On implicit fractional q-difference equations: Analysis and stability. Math. Methods Appl. Sci. 2022, 45, 10775–10797. [Google Scholar] [CrossRef]
  17. Allouch, N.; Graef, J.R.; Hamani, S. Boundary value problem for fractional q-difference equations with integral conditions in Banach spaces. Fractal Fract. 2022, 6, 237. [Google Scholar] [CrossRef]
  18. Boutiara, A.; Benbachir, M.; Kaabar, M.K.; Martínez, F.; Samei, M.E.; Kaplan, M. Explicit iteration and unbounded solutions for fractional q-difference equations with boundary conditions on an infinite interval. J. Inequalities Appl. 2022, 2022, 29. [Google Scholar] [CrossRef]
  19. Rajkovic, P.M.; Marinkovic, S.D.; Stankovic, M.S. Fractional integrals and derivatives in q-calculus. Appl. Anal. Discret. Math. 2007, 1, 311–323. [Google Scholar]
  20. El-Shahed, M.; Hassan, H. Positive solutions of q-difference equation. Proc. Am. Math. Soc. 2010, 138, 1733–1738. [Google Scholar] [CrossRef]
  21. Ahmad, B.; Ntouyas, S.K. Boundary value problems for q-difference inclusions. Abstr. Appl. Anal. 2011, 2011, 292860. [Google Scholar] [CrossRef]
  22. Ahmad, B.; Ntouyas, S.K.; Purnaras, I.K. Existence results for nonlinear q-difference equations with nonlocal boundary conditions. Commun. Appl. Nonlinear Anal. 2012, 19, 59–72. [Google Scholar]
  23. Ahmad, B.; Nieto, J.J. On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012, 81. [Google Scholar] [CrossRef]
  24. Ahmad, B.; Ntouyas, S.K. Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 2013, 10, 1333–1351. [Google Scholar] [CrossRef]
  25. Langevin, P. On the theory of Brownian motion. C. R. Acad. Sci. 1908, 146, 530–533. [Google Scholar]
  26. Almalahi, M.A.; Ghanim, F.; Botmart, T.; Bazighifan, O.; Askar, S. Qualitative analysis of Langevin integro-fractional differential equation under Mittag–Leffler functions power law. Fractal Fract. 2021, 5, 266. [Google Scholar] [CrossRef]
  27. Ahmad, B.; Nieto, J.J.; Alsaedi, A.; Al-Hutami, H. Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Frankl. Inst. 2014, 351, 2890–2909. [Google Scholar] [CrossRef]
  28. Boutiara, A.; Etemad, S.; Alzabut, J.; Hussain, A.; Subramanian, M.; Rezapour, S. On a nonlinear sequential four-point fractional q-difference equation involving q-integral operators in boundary conditions along with stability criteria. Adv. Differ. Equ. 2021, 2021, 367. [Google Scholar] [CrossRef]
  29. Ahmad, B.; Ntouyas, S.K.; Tariboon, J. Quantum Calculus: New Concepts, Impulsive IVPs and BVPs, Inequalities; World Scientific: Singapore, 2016; Volume 4, p. 288. [Google Scholar]
  30. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3, 133–181. [Google Scholar] [CrossRef]
  31. Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003. [Google Scholar]
  32. Ulam, S.M. A Collection of Mathematical Problems; Interscience Publishers: Geneva, Switzerland, 1940. [Google Scholar]
  33. Rassias, T.M. On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc. 1994, 122, 733–736. [Google Scholar] [CrossRef]
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

Redhwan, S.S.; Han, M.; Almalahi, M.A.; Alsulami, M.; Alyami, M.A. Boundary Value Problem for a Coupled System of Nonlinear Fractional q-Difference Equations with Caputo Fractional Derivatives. Fractal Fract. 2024, 8, 73. https://doi.org/10.3390/fractalfract8010073

AMA Style

Redhwan SS, Han M, Almalahi MA, Alsulami M, Alyami MA. Boundary Value Problem for a Coupled System of Nonlinear Fractional q-Difference Equations with Caputo Fractional Derivatives. Fractal and Fractional. 2024; 8(1):73. https://doi.org/10.3390/fractalfract8010073

Chicago/Turabian Style

Redhwan, Saleh S., Maoan Han, Mohammed A. Almalahi, Mona Alsulami, and Maryam Ahmed Alyami. 2024. "Boundary Value Problem for a Coupled System of Nonlinear Fractional q-Difference Equations with Caputo Fractional Derivatives" Fractal and Fractional 8, no. 1: 73. https://doi.org/10.3390/fractalfract8010073

Article Metrics

Back to TopTop