Next Article in Journal
Strong k-Skew Commutativity Preserving Maps on Standard Operator Algebras
Next Article in Special Issue
Existence of Solutions for Caputo-Type Fractional (p,q)-Difference Equations Under Robin Boundary Conditions
Previous Article in Journal
Noncanonical Third-Order Advanced Differential Equations of Unstable Type: Oscillation and Property B via Canonical Transform
Previous Article in Special Issue
Analyzing Uniqueness of Solutions in Nonlinear Fractional Differential Equations with Discontinuities Using Lebesgue Spaces
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence and Asymptotic Estimates of the Maximal and Minimal Solutions for a Coupled Tempered Fractional Differential System with Different Orders

1
School of Mathematical and Informational Sciences, Yantai University, Yantai 264005, China
2
Department of Mathematics and Statistics, Curtin University, Perth, WA 6845, Australia
3
School of Statistics and Mathematics, Zhongnan University of Economics and Law, Wuhan 430073, China
*
Author to whom correspondence should be addressed.
Axioms 2025, 14(2), 92; https://doi.org/10.3390/axioms14020092
Submission received: 16 December 2024 / Revised: 17 January 2025 / Accepted: 21 January 2025 / Published: 26 January 2025
(This article belongs to the Special Issue Fractional Calculus—Theory and Applications, 3rd Edition)

Abstract

:
In this paper, we focus on the existence and asymptotic estimates of the maximal and minimal solutions for a coupled tempered fractional differential system with different orders. By introducing an order reduction technique and some new growth conditions, we establish some new results on the existence of positive extremal solutions for the tempered fractional differential system, meanwhile, we also obtain the asymptotic estimate of the positive extreme solution by an iterative technique, which possesses a sharp asymptotic estimate. In particular, the iterative sequences converging to maximal and minimal solutions starting from two known initial values are easy to compute. Moreover, the weight function i is allowed to have an infinite number of singular points in [ 0 , 1 ] .

1. Introduction

In this paper, we focus on the existence and asymptotic estimates of the maximal and minimal solutions for the following tempered fractional coupled system with different orders:
D t 0 R a , λ u ( t ) = 1 ( t ) f 1 e λ t v ( t ) , D t 0 R b , λ v ( t ) , t ( 0 , 1 ) , D t 0 R c , λ v ( t ) = 2 ( t ) f 2 e λ t u ( t ) , D t 0 R d , λ u ( t ) , t ( 0 , 1 ) , u ( 0 ) = 0 , v = 0 , D t 0 R d , λ u ( 1 ) = α D t 0 R d , λ u ( τ 1 ) , D t 0 R b , λ v ( 1 ) = β D t 0 R b , λ v ( τ 2 ) ,
where a , c ( 1 , 2 ] , b , d ( 0 , 1 ] are real constants satisfying a d > 1 , c b > 1 , 0 α , β 1 ,   λ is a positive constant, 0 < τ 1 , τ 2 < 1 , the functions f 1 , f 2 C ( R + 2 , ( 0 , + ) ) are increasing functions with respect to the first and second variables, the weight functions i ( L 1 ( 0 , 1 ) , ( 0 , + ) ) can have an infinite number of singular points in [ 0 , 1 ] . In the system (1), D t 0 R a , λ u ( t ) denote the tempered fractional derivative of u, which is a exponential optimization for the Riemann–Liouville fractional derivative D t 0 R a u ( t ) , and has the following mathematical relationship:
D t 0 R a , λ u ( t ) = e λ t D t 0 R a ( e λ t u ( t ) ) .
For the definition of the Riemann–Liouville fractional derivative and integral, we refer the reader to [1,2,3,4,5].
In recent years, many researchers have been conducting continuous research on fractional equations due to their widespread applications in chemical engineering, automatic control, and thermoelasticity [6,7,8,9,10]. In particular, since the heredity of fractional derivatives can describe certain types of motion with nonlinear or non-stationary characteristics, such as fractional harmonic oscillators, fractional damped oscillators, and fractional Brownian motion [11,12], several classical definitions of fractional derivatives such as the Riemann–Liouville fractional derivative and the Caputo fractional derivative have been introduced to model and analyze more accurately complex systems in the real world such as the design of new materials, control systems, signal processing, physical phenomena [13,14,15,16,17], the fractal-fractional Sirs and coronavirus model [18,19], etc. In addition, in mathematical theory, some nonlinear analysis theories and methods, such as spaces theories and smooth theories [20,21,22,23,24,25,26,27,28,29,30,31], operator theories [32,33,34,35], monotone iterative techniques [36,37,38,39,40,41,42,43,44], spectral analysis [45,46], the variational method [47,48,49,50,51,52,53,54,55], the method of upper and lower solutions [56,57,58,59,60,61], and so on, were developed to solve various fractional problems [62,63,64,65,66,67,68,69].
The tempered fractional derivative was introduced to overcome the limitations of Brownian motion in modeling long-range dependent phenomena occurring in financial time series, Nile river data, and fractal analysis, etc. [70]. It is also helpful for describing counting processes when the inter-arrival times are heavy tailed or arrivals are delayed in the time-fractional Poisson process [71,72]. Recently, Zhang et al. [73] studied the following tempered fractional equation:
D t 0 R α , λ u ( t ) = p ( t ) h e λ t u ( t ) , D t 0 R β , λ u ( t ) , t ( 0 , 1 ) , D t 0 R β , λ u ( 0 ) = 0 , D t 0 R β , λ u ( 1 ) = 0 ,
where α ( 0 , 1 ] , β ( 1 , 2 ] with α β > 1 , h C ( R + 2 , R + ) , p L 1 ( [ 0 , 1 ] , ( 0 , + ) ) . By using the Guo–Krasnoselskii fixed point theorem, the authors established the existence of positive solutions for tempered fractional Equation (2). In [59], Quan and Liu studied a class of fractional differential systems with time delays
D 0 + α u ( t ) + f ( t , v ( t ) , v t ) = 0 , t ( 0 , 1 ) , D 0 + β v ( t ) + g ( t , u ( t ) , u t ) = 0 , t ( 0 , 1 ) , u ( t ) = ϕ ( t ) , v ( t ) = ψ ( t ) , t [ τ , 0 ] , D 0 + γ 1 u ( 1 ) = a D 0 + γ 1 u ( ξ ) , D 0 + γ 2 v ( 1 ) = b D 0 + γ 2 v ( η ) ,
where γ 1 , γ 2 ( 0 , 1 ) , 1 + γ 1 α 2 , 1 + γ 2 β 2 , ξ , η ( 0 , 1 ) and a , b R , the functions f , g C ( [ 0 , 1 ] × R × C [ τ , 0 ] ) . u t = u ( t + θ ) , v t = v ( t + θ ) , in which θ ( τ , 0 ] , ϕ , ψ C [ 0 , 1 ] and ϕ ( 0 ) = 0 , ψ ( 0 ) = 0 . By employing the upper and lower solutions method, some new results for the existence of solutions for Equation (3) were established.
However compared to the above existing works, we notice that no results on extremal solutions for the system (1) have been reported. Thus motivated by the above works, in this paper, we first introduce a technique of the reduction of order and combine the properties of the Green function to transform the original system (1) into an equivalent integral system, then we construct a nonlinear equation and derive the property of the solution of this nonlinear equation, and then by using these properties, we further establish the existence of extremal solutions for the tempered fractional coupled system with different orders (1). In addition, differently from [59,73], in this paper, we adopt a new twin iterative technique, so that we not only obtain the maximal and minimal solutions of the system but we also construct iterative sequences converging to an extremal solution and obtain the asymptotic properties of an extremal solution.

2. Preliminaries and Lemmas

For the convenience of the reader, it is necessary to recall some properties about the Riemann–Liouville fractional derivative and integral.
Lemma 1
([2]). The Riemann–Liouville fractional derivative and integral have some properties as follows:
(a) Let x ( t ) C [ 0 , 1 ] L 1 [ 0 , 1 ] and θ > 0 , then
I θ D t 0 R θ x ( t ) = x ( t ) + i = 1 n Υ i t θ i ,
where Υ i R , n = [ θ ] + 1 .
(b) Let x ( t ) L 1 ( 0 , 1 ) , and θ > μ > 0 , so one has
I θ I μ x ( t ) = I θ + μ x ( t ) , D t 0 R μ I θ x ( t ) = I θ μ x ( t ) , D t 0 R μ I μ x ( t ) = x ( t ) .
(c) Let θ > 0 , μ > 0 with μ θ > 1 , so one gets
D t 0 R θ t μ 1 = Γ ( μ ) Γ ( μ θ ) t μ θ 1 .
Lemma 2.
Let p i ( t ) L 1 [ 0 , 1 ] be a positive function, and the following linear system
D t 0 R a d , λ u ( t ) = p 1 ( t ) , t ( 0 , 1 ) , D t 0 R c b , λ v ( t ) = p 2 ( t ) , t ( 0 , 1 ) , u ( 0 ) = v ( 0 ) = 0 , u ( 1 ) = α u ( τ 1 ) , v ( 1 ) = β v ( τ 2 ) ,
has a unique positive solution ( u ( t ) , v ( t ) ) , which can be expressed as the following integral form
u ( t ) = 0 1 H 1 ( t , s ) p 1 ( s ) d s , v ( t ) = 0 1 H 2 ( t , s ) p 2 ( s ) d s ,
where
H 1 ( t , s ) = ( 1 s ) a d 1 e λ t a d 1 α ( τ 1 s ) a d 1 e λ τ 1 t a d 1 e λ α e λ τ 1 τ 1 a d 1 ( t s ) a d 1 ρ α e λ t e λ s , t s , τ 1 s , ( 1 s ) a d 1 e λ t a d 1 e λ α e λ τ 1 τ 1 a d 1 ( t s ) a d 1 ρ α e λ t e λ s , t s , τ 1 s , ( 1 s ) a d 1 e λ t a d 1 α ( τ 1 s ) a d 1 e λ τ 1 t a d 1 ρ α e λ t e λ s , t s , τ 1 s , ( 1 s ) a d 1 e λ t a d 1 ρ α e λ t e λ s , t s , τ 1 s ,
and
H 2 ( t , s ) = ( 1 s ) c b 1 e λ t c b 1 β ( τ 2 s ) c b 1 e λ τ 2 t c b 1 e λ β e λ τ 2 τ 2 c b 1 ( t s ) c b 1 ρ β e λ t e λ s , t s , τ 2 s , ( 1 s ) c b 1 e λ t c b 1 e λ β e λ τ 2 τ 2 c b 1 ( t s ) c b 1 ρ β e λ t e λ s , t s , τ 2 s , ( 1 s ) c b 1 e λ t c b 1 β ( τ 2 s ) c b 1 e λ τ 2 t c b 1 ρ β e λ t e λ s , t s , τ 2 s , ( 1 s ) c b 1 e λ t c b 1 ρ β e λ t e λ s , t s , τ 2 s ,
where
ρ α = ( e λ α e λ τ 1 τ 1 a d 1 ) Γ ( a d ) , ρ β = ( e λ β e λ τ 2 τ 2 c b 1 ) Γ ( c b ) ,
are the Green functions of the system (7).
Proof. 
It follows from Lemma 1 that (7) can be transformed as the following integral form
e λ t u ( t ) = 1 Γ ( a d ) 0 t ( t s ) a d 1 e λ s p 1 ( s ) d s + m 1 t a d 1 + m 2 t a d 2 , t [ 0 , 1 ] ,
and
e λ t v ( t ) = 1 Γ ( c b ) 0 t ( t s ) c b 1 e λ s p 2 ( s ) d s + n 1 t c b 1 + n 2 t c b 2 , t [ 0 , 1 ] .
Since a d , c b ( 1 , 2 ) and u ( 0 ) = 0 , v ( 0 ) = 0 , we have m 2 = n 2 = 0 . Thus, we get
e λ t u ( t ) = 1 Γ ( a d ) 0 t ( t s ) a d 1 e λ s p 1 ( s ) d s + m 1 t a d 1 , t [ 0 , 1 ] , e λ t v ( t ) = 1 Γ ( c b ) 0 t ( t s ) c b 1 e λ s p 2 ( s ) d s + n 1 t c b 1 , t [ 0 , 1 ] .
Taking t = 1 and t = τ i , respectively, we have
e λ u ( 1 ) = 1 Γ ( a d ) 0 1 ( 1 s ) a d 1 e λ s p 1 ( s ) d s + m 1 , e λ v ( 1 ) = 1 Γ ( c b ) 0 1 ( 1 s ) c b 1 e λ s p 2 ( s ) d s + n 1 ,
and
e λ τ 1 u ( τ 1 ) = 1 Γ ( a d ) 0 τ 1 ( τ 1 s ) a d 1 e λ s p 1 ( s ) d s + m 1 τ 1 a d 1 , e λ τ 2 v ( τ 2 ) = 1 Γ ( c b ) 0 τ 2 ( τ 2 s ) c b 1 e λ s p 2 ( s ) d s + n 1 τ 2 c b 1 .
It follows from u ( 1 ) = α u ( τ 1 ) , v ( 1 ) = β v ( τ 2 ) , (12) and (13) that
0 1 e λ ( 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s + m 1 e λ = 0 τ 1 α e λ τ 1 ( τ 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s + α m 1 e λ τ 1 τ 1 a d 1 , 0 1 e λ ( 1 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s + n 1 e λ = 0 τ 2 β e λ τ 2 ( τ 2 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s + β n 1 e λ τ 2 τ 2 c b 1 ,
that is,
m 1 = 1 e λ α e λ τ 1 τ 1 a d 1 0 1 e λ ( 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s 0 τ 1 α e λ τ 1 ( τ 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s , n 1 = 1 e λ β e λ τ 2 τ 2 c b 1 0 1 e λ ( 1 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s 0 τ 2 β e λ τ 2 ( τ 2 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s .
Substituting m 1 and n 1 into (11), one has
u ( t ) = 0 t e λ t ( t s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s + e λ t t a d 1 e λ α e λ τ 1 τ 1 a d 1 0 1 e λ ( 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s 0 τ 1 α e λ τ 1 ( τ 1 s ) a d 1 e λ s p 1 ( s ) Γ ( a d ) d s = 0 1 e λ t e λ s e λ ( t ( 1 s ) ) a d 1 p 1 ( s ) ρ α d s 0 τ 1 e λ t e λ s α e λ τ 1 ( t ( τ 1 s ) ) a d 1 p 1 ( s ) ρ α d s 0 t e λ t e λ s ( e λ α e λ τ 1 τ 1 a d 1 ) ( t s ) a d 1 p 1 ( s ) d s ρ α .
When t τ 1 , we can rewrite u ( t ) as
u ( t ) = 0 τ 1 ( t ( 1 s ) ) a d 1 e λ α ( t ( τ 1 s ) ) a d 1 e λ τ 1 e λ α e λ τ 1 τ 1 a d 1 ( t s ) a d 1 ρ α e λ t e λ s p 1 ( s ) d s + τ 1 t ( 1 s ) a d 1 e λ t a d 1 e λ α e λ τ 1 τ 1 a d 1 ( t s ) a d 1 ρ α e λ t e λ s p 1 ( s ) d s + t 1 ( 1 s ) a d 1 e λ t a d 1 ρ α e λ t e λ s p 1 ( s ) d s ,
When t < τ 1 , we can rewrite u ( t ) as
u ( t ) = 0 t ( t ( 1 s ) ) a d 1 e λ α ( t ( τ 1 s ) ) a d 1 e λ τ 1 e λ α e λ τ 1 τ 1 a d 1 ( t s ) a d 1 ρ α e λ t e λ s p 1 ( s ) d s + t τ 1 ( 1 s ) a d 1 e λ t a d 1 α ( τ 1 s ) a d 1 e λ τ 1 t a d 1 ρ α e λ t e λ s p 1 ( s ) d s + τ 1 1 ( 1 s ) a d 1 e λ t a d 1 ρ α e λ t e λ s p 1 ( s ) d s .
Similarly, we also have
v ( t ) = 0 t e λ t ( t s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s + e λ t t c b 1 e λ β e λ τ 2 τ 2 c b 1 0 1 e λ ( 1 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s 0 τ 1 β e λ τ 2 ( τ 2 s ) c b 1 e λ s p 2 ( s ) Γ ( c b ) d s = 0 1 e λ t e λ s e λ ( t ( 1 s ) ) c b 1 p 2 ( s ) ρ β d s 0 τ 2 e λ t e λ s β e λ τ 2 ( t ( τ 2 s ) ) c b 1 p 2 ( s ) ρ β d s 0 t e λ t e λ s ( e λ β e λ τ 2 τ 2 c b 1 ) ( t s ) c b 1 p 2 ( s ) d s ρ β ,
and if t τ 2 ,
v ( t ) = 0 τ 2 ( t ( 1 s ) ) c b 1 e λ β ( t ( τ 2 s ) ) c b 1 e λ τ 2 e λ β e λ τ 2 τ 2 c b 1 ( t s ) c b 1 ρ β e λ t e λ s p 2 ( s ) d s + τ 2 t ( 1 s ) c b 1 e λ t c b 1 e λ β e λ τ 2 τ 2 c b 1 ( t s ) c b 1 ρ β e λ t e λ s p 2 ( s ) d s + t 1 ( 1 s ) c b 1 e λ t c b 1 ρ β e λ t e λ s p 2 ( s ) d s ,
if t τ 2 ,
v ( t ) = 0 t ( t ( 1 s ) ) c b 1 e λ β ( t ( τ 2 s ) ) c b 1 e λ τ 2 e λ β e λ τ 2 τ 2 c b 1 ( t s ) c b 1 ρ β e λ t e λ s p 2 ( s ) d s + t τ 2 ( 1 s ) c b 1 e λ t c b 1 β ( τ 2 s ) c b 1 e λ τ 2 t c b 1 ρ β e λ t e λ s p 2 ( s ) d s + τ 2 1 ( 1 s ) c b 1 e λ t c b 1 ρ β e λ t e λ s p 2 ( s ) d s .
Consequently, the Green function H 1 ( t , s ) , H 2 ( t , s ) of (7) can be expressed by (9) and (10). The proof is completed. □
Obviously, the Green functions H 1 ( t , s ) and H 2 ( t , s ) have the following estimate.
Lemma 3.
The Green functions H 1 ( t , s ) and H 2 ( t , s ) are continuous functions and have the following properties:
( 1 ) For any t , s [ 0 , 1 ] , H i ( t , s ) 0 , i = 1 , 2 .
( 2 ) For any t , s [ 0 , 1 ] , H i ( t , s ) satisfies
0 H 1 ( t , s ) G 1 ( s ) t a d 1 e λ t ,
0 H 2 ( t , s ) G 2 ( s ) t c b 1 e λ t ,
where
G 1 ( s ) = ( 1 s ) a d 1 e λ e λ s ρ α , G 2 ( s ) = ( 1 s ) c b 1 e λ e λ s ρ β .
Lemma 4.
Suppose that a d , c b ( 1 , 2 ) ; then, the system (1) is equivalent to the following system
D t 0 R a d , λ x ( t ) = 1 ( t ) f 1 I b ( e λ t y ( t ) ) , y ( t ) , D t 0 R c b , λ y ( t ) = 2 ( t ) f 2 I d ( e λ t x ( t ) ) , x ( t ) , x ( 0 ) = 0 x ( 1 ) = α x ( τ 1 ) , y ( 0 ) = 0 , y ( 1 ) = β y ( τ 2 ) .
Proof. 
Suppose that ( u , v ) is a positive solution of the system (1); make the following integral transformation
v ( t ) = e λ t I b ( e λ t y ( t ) ) , u ( t ) = e λ t I d ( e λ t x ( t ) ) , t [ 0 , 1 ] .
Since b , d ( 0 , 1 ] , by the part (b) of Lemma 1, we have
y ( t ) = D t 0 R b , λ v ( t ) , x ( t ) = D t 0 R d , λ u ( t ) ,
and by taking t = 1 , we have
y ( 1 ) = D t 0 R b , λ v ( 1 ) , x ( 1 ) = D t 0 R d , λ u ( 1 ) .
It follows from the boundary conditions of the system (1) that
D t 0 R d , λ u ( 1 ) = α D t 0 R d , λ u ( τ 1 ) and D t 0 R b , λ v ( 1 ) = β D t 0 R b , λ v ( τ 2 )
and u ( 0 ) = 0 , v ( 0 ) = 0 that
x ( 0 ) = 0 , x ( 1 ) = α x ( τ 1 ) , and y ( 0 ) = 0 , y ( 1 ) = β y ( τ 2 ) .
In addition,
D t 0 R a , λ u ( t ) = e λ t D t 0 R a ( e λ t u ( t ) ) = e λ t d 2 d t 2 I 2 a I d ( e λ t u ( t ) ) = e λ t d 2 d t 2 I 2 ( a d ) ( e λ t u ( t ) ) = D t 0 R a d , λ x ( t ) = 1 ( t ) f 1 I b ( e λ t y ( t ) ) , y ( t ) = 1 ( t ) f 1 e λ t v ( t ) , D t 0 R b , λ v ( t ) ,
and
D t 0 R c , λ v ( t ) = D t 0 R c b , λ y ( t ) = 2 ( t ) f 2 I d ( e λ t x ( t ) ) , x ( t ) = 2 ( t ) f 2 e λ t u ( t ) , D t 0 R d , λ u ( t ) ,
which implies that the problem (1) can be converted into the lower order problem (14).
Conversely, assume that ( x , y ) is a positive solution of the system (14). Make the same integral transformation as (15), then, by Lemma 1, (16), (17) and simple computations, we get that ( u , v ) is a positive solution of the system (1), which implies that the problem (14) can be transformed into (1), and the details of the proof can be found in [37].
Thus, the problem (1) is equivalent to the lower order problem (14). □
Now, we introduce some conditions and assumptions, which will be used in the rest of paper.
( H ) There exists some positive constants > 0 and ε i > 2 such that
0 < = max sup s + t > 0 f 1 ( s , t ) ( s + t + 1 ) ε 1 , sup s + t > 0 f 2 ( s , t ) ( s + t + 1 ) ε 2 < + .
For convenience, we denote four constants and give another assumption.
M 1 = ρ α 0 1 1 ( s ) d s , M 2 = ρ β 0 1 2 ( s ) d s , κ 1 = e λ λ Γ ( b ) , κ 2 = e λ λ Γ ( d ) .
( G )
ρ α 0 1 1 ( s ) d s κ 1 + 2 ε 1 + ρ β 0 1 2 ( s ) d s κ 2 + 2 ε 2 < 1 .
Now denote
L 1 = 1 3 ε 1 ( 1 + ε 2 ) M 2 ε 1 M 1 1 ε 1 ε 2 1 , L 2 = 1 3 ε 2 ( 1 + ε 1 ) M 1 ε 2 M 2 1 ε 1 ε 2 1 ,
and let X = C [ 0 , 1 ] with the maximum norm
| | x | | = max t [ 0 , 1 ] | x ( t ) | ,
then, X is a Banach space. Define a Banach space E = X × X = ( x , y ) : x ( t ) , y ( t ) C [ 0 , 1 ] with the norm | | ( x , y ) | | = | | x | | + | | y | | , and a cone K in Banach space E
K = ( x , y ) E : 0 x ( t ) L 1 e λ t t a d 1 , 0 y ( t ) L 2 e λ t t c b 1 , t [ 0 , 1 ] .
From Lemmas 2 and 4, define a nonlinear operator
T ( x , y ) = T 1 ( x , y ) , T 2 ( x , y ) .
where
T 1 ( x , y ) ( t ) = 0 1 H 1 ( t , s ) 1 ( s ) f 1 I b e λ s y ( s ) , y ( s ) d s , t [ 0 , 1 ] , T 2 ( x , y ) ( t ) = 0 1 H 2 ( t , s ) 2 ( s ) f 2 I d e λ s x ( s ) , x ( s ) d s , t [ 0 , 1 ] ,
then, the existence of positive solutions to the integral system (14) is equivalent to finding a fixed point of the operator T.
Lemma 5.
Suppose that ( H ) holds, then the operator T : E E is completely continuous.
Proof. 
Firstly, we perform the following simple operations based on the relevant properties of Gamma and Beta functions
I b ( t c b 1 ) = 1 Γ ( b ) 0 t ( t s ) b 1 s c b 1 d s = 1 Γ ( b ) 0 1 ( t t x ) b 1 ( t x ) c b 1 t d x = t c 1 Γ ( b ) 0 1 ( 1 x ) b 1 ( x ) c b 1 d x = B ( b , c b ) Γ ( b ) t c 1 = Γ ( c b ) Γ ( c ) t c 1 ,
and
I d ( t a d 1 ) = 1 Γ ( d ) 0 t ( t s ) d 1 s a d 1 d s = 1 Γ ( d ) 0 1 ( t t x ) d 1 ( t x ) a d 1 t d x = t a 1 Γ ( d ) 0 1 ( 1 x ) d 1 ( x ) a d 1 d x = B ( d , a d ) Γ ( d ) t a 1 = Γ ( a d ) Γ ( a ) t a 1 .
Since c b > 1 , c ( 1 , 2 ] and a d > 1 , a ( 1 , 2 ] , noting that the Γ ( z ) is an increasing function for z > 1 , we have
0 I b e λ s y ( s ) L 2 1 Γ ( c b ) Γ ( c ) s c 1 L 2 1 s c 1 , 0 I d e λ s x ( s ) L 1 1 Γ ( a d ) Γ ( a ) s a 1 L 1 1 s a 1 .
By the condition (H), we have
( s + t + 1 ) ε i f i ( s , t ) , for s + t > 0 .
It follows from the definitions K that for any ( x , y ) K ,
0 x ( t ) L 1 e λ t t a d 1 , 0 y ( t ) L 2 e λ t t c b 1 .
Thus, for any ( x , y ) K , by (21), one has
T 1 ( x , y ) ( t ) = 0 1 H 1 ( t , s ) 1 ( s ) f 1 I b e λ s y ( s ) , y ( s ) d s e λ t t a d 1 0 1 G 1 ( s ) 1 ( s ) f 1 I b e λ s y ( s ) , y ( s ) d s e λ t t a d 1 0 1 G 1 ( s ) 1 ( s ) f 1 L 2 I b s c b 1 , L 2 s c b 1 e λ s d s e λ t t a d 1 ρ α 0 1 1 ( s ) f 1 L 2 s c 1 , L 2 s c b 1 e λ s d s e λ t t a d 1 ρ α 0 1 1 ( s ) L 2 s c 1 + L 2 s c b 1 e λ s + 1 ε 1 d s e λ t t a d 1 ρ α 0 1 1 ( s ) L 2 s c 1 + L 2 s c b 1 e λ s + L 2 ε 1 d s e λ t t a d 1 × L 2 ε 1 ρ α 0 1 1 ( s ) s c 1 + s c b 1 e λ s + 1 ε 1 d s e λ t t a d 1 × 3 ε 1 L 2 ε 1 M 1 L 1 e λ t t a d 1 < + ,
and
T 2 ( x , y ) ( t ) = 0 1 H 2 ( t , s ) 2 ( s ) f 2 I d e λ s x ( s ) , x ( s ) d s e λ t t c b 1 0 1 G 2 ( s ) 2 ( s ) f 2 I d e λ s x ( s ) , x ( s ) d s e λ t t c b 1 0 1 G 2 ( s ) 2 ( s ) f 2 L 1 I d s a d 1 , L 1 s a d 1 e λ s d s e λ t t c b 1 ρ β 0 1 2 ( s ) f 2 L 1 s a 1 , L 1 s a d 1 e λ s d s e λ t t c b 1 ρ β 0 1 2 ( s ) L 1 s a 1 + L 1 s a d 1 e λ s + 1 ε 2 d s e λ t t c b 1 ρ β 0 1 2 ( s ) L 1 s a 1 + L 1 s a d 1 e λ s + L 1 ε 2 d s e λ t t c b 1 × L 1 ε 2 ρ β 0 1 2 ( s ) s a 1 + s a d 1 e λ s + 1 ε 2 d s e λ t t c b 1 × 3 ε 2 L 1 ε 2 M 2 L 2 e λ t t c b 1 < + .
Hence, we obtain
0 T 1 ( x , y ) L 1 e λ t t a d 1 , 0 T 2 ( x , y ) L 2 e λ t t c b 1 ,
which implies that T ( K ) K is well defined and uniformly bounded.
Since H i ( t , s ) is also a uniformly bounded continuous function in [ 0 , 1 ] × [ 0 , 1 ] , for any ϵ > 0 and s , t 1 , t 2 [ 0 , 1 ] , there exists a constant σ > 0 such that for | t 1 t 2 | < σ , one has
| H 1 ( t 1 , s ) H 1 ( t 2 , s ) | < 1 2 3 ε 1 L 2 ε 1 0 1 1 ( s ) d s 1 ϵ , | H 2 ( t 1 , s ) H 2 ( t 2 , s ) | < 1 2 3 ε 2 L 1 ε 2 0 1 2 ( s ) d s 1 ϵ ,
Hence, we can obtain
| T 1 ( x , y ) ( t 1 ) T 1 ( x , y ) ( t 2 ) | = 0 1 | H 1 ( t 1 , s ) H 1 ( t 2 , s ) | 1 ( s ) f 1 I b e λ s y ( s ) , y ( s ) d s 0 1 | H 1 ( t 1 , s ) H 1 ( t 2 , s ) | × 3 ε 1 L 2 ε 1 1 ( s ) d s < 1 2 ϵ ,
and
| T 2 ( x , y ) ( t 1 ) T 2 ( x , y ) ( t 2 ) | = 0 1 | H 2 ( t , s ) H 2 ( t 2 , s ) | 2 ( s ) f 2 I d e λ s x ( s ) , x ( s ) d s 0 1 | H 2 ( t , s ) H 2 ( t 2 , s ) | × 3 ε 2 L 1 ε 2 2 ( s ) d s < 1 2 ϵ ,
which implies that T is equicontinuous, and then by the Arezela–Ascoli theorem, T is completely continuous. The proof is completed. □
The following Lemma is important for proving our main result.
Lemma 6.
Suppose that ( G ) holds, then the following equation
ρ α 0 1 1 ( s ) d s κ 1 ( x + 1 ) + x + 2 ε 1 + ρ β 0 1 2 ( s ) d s κ 2 ( x + 1 ) + x + 2 ε 2 ( x + 1 ) 1 = 1
has a unique solution η in ( 0 , + ) .
Proof. 
Let
F ( x ) = 1 ρ α 0 1 1 ( s ) κ 1 ( x + 1 ) + x + 2 ε 1 + ρ β 0 1 2 ( s ) κ 2 ( x + 1 ) + x + 2 ε 2 ( x + 1 ) 1 ,
it follows from ( G ) and ε i > 2 that
F ( 0 ) = 1 ρ α 0 1 1 ( s ) d s κ 1 + 2 ε 1 + ρ β 0 1 2 ( s ) d s κ 2 + 2 ε 2 > 0 ,
and
F ( + ) = .
On the other hand, differentiating (27) with respect to x, and noting that 1 ε i < 0 and ε i > 2 , one has
F ( x ) = M 1 ( x + 1 ) 2 ( κ 1 + 1 ) x + κ 1 + 2 ε 1 1 ( ε 1 1 ) ( κ 1 + 1 ) x + κ 1 ( ε 1 1 ) + ε 1 2 M 2 ( x + 1 ) 2 ( κ 2 + 1 ) x + κ 2 + 2 ε 2 1 ( ε 2 1 ) ( κ 2 + 1 ) x + κ 2 ( ε 2 1 ) + ε 2 2 < 0 .
Thus, (28)–(30) guarantee that Equation (26) has a unique positive solution η in ( 0 , + ) . □

3. Main Results

In this section, we give our main result and proof.
Theorem 1.
Assume that ( H ) and ( G ) hold, then the following conclusions are valid.
( C 1 ) Existence : The tempered fractional system (1) has a positive maximal solution  ω * = ( u ¯ * , v ¯ * )  and a positive minimal solution  ϖ * = ( u ̲ * , v ̲ * ) .
( C 2 ) Asymptotic properties : For the above solutions ( u ¯ * , v ¯ * ) , ( u ̲ * , v ̲ * ) of the tempered fractional system (1), the following properties are satisfied:
0 u ¯ * ( t ) e λ t t a d 1 L 1 , 0 v ¯ * ( t ) e λ t t c b 1 L 2 ,
0 u ̲ * ( t ) e λ t t a d 1 L 1 , 0 v ̲ * ( t ) e λ t t c b 1 L 2 .
( C 3 ) Iterative sequences : For the known initial values ϖ 0 = ( 0 , 0 ) , ω 0 = ( η + 1 , η + 1 ) , construct iterative sequences as
ω n ( t ) = 0 1 H i ( t , s ) i ( s ) f i ( I b e λ s ω n 1 ( s ) , ω n 1 ( s ) ) d s , ϖ n ( t ) = 0 1 H i ( t , s ) i ( s ) f i ( I b e λ s ϖ n 1 ( s ) , ϖ n 1 ( s ) ) d s .
Then,
lim n + ω n ( t ) = ω * ( t ) , lim n + ϖ n ( t ) = ϖ * ( t )
uniformly hold for t [ 0 , 1 ] .
Proof. 
Firstly, take
P * = ( x , y ) K : 0 | | x | | η + 1 , 0 | | y | | η + 1 .
In the following, we prove that T ( P * ) P * is a compact operator. In fact, for any ( x , y ) P * , we have
0 x ( t ) + y ( t ) max t [ 0 , 1 ] x ( t ) + max t [ 0 , 1 ] y ( t ) 2 η + 2 .
Thus, it follows from ( H ) and Lemma 6 that
| | T 1 ( x , y ) | | = max t [ 0 , 1 ] 0 1 H 1 ( t , s ) 1 ( s ) f 1 ( I b e λ s y ( s ) , y ( s ) ) d s 0 1 G 1 ( s ) 1 ( s ) f 1 ( I b e λ s y ( s ) , y ( s ) ) d s 0 1 G 1 ( s ) 1 ( s ) f 1 ( I b e λ s y ( s ) , y ( s ) ) I b e λ s y ( s ) + y ( s ) + 1 ε 1 I b e λ s y ( s ) + y ( s ) + 1 ε 1 d s ρ α 0 1 1 ( s ) I b e λ s y ( s ) + y ( s ) + 1 ε 1 d s ρ α 0 1 1 ( s ) I b e λ s ( η + 1 ) + η + 1 + 1 ε 1 d s ρ α 0 1 1 ( s ) κ 1 ( η + 1 ) + η + 1 + 1 ε 1 d s ρ α 0 1 1 ( s ) d s κ 1 ( η + 1 ) + η + 1 + 1 ε 1 + ρ β 0 1 2 ( s ) d s κ 2 ( η + 1 ) + η + 1 + 1 ε 2 = η + 1 ,
and
| | T 2 ( x , y ) | | = 0 1 H 2 ( t , s ) 2 ( s ) f 2 I d e λ s x ( s ) , x ( s ) d s 0 1 G 2 ( s ) 2 ( s ) f 2 ( I d e λ s x ( s ) , x ( s ) ) d s 0 1 G 2 ( s ) 2 ( s ) f 2 ( I d e λ s x ( s ) , x ( s ) ) I d e λ s x ( s ) + x ( s ) + 1 ε 2 I d e λ s x ( s ) + x ( s ) + 1 ε 2 d s ρ β 0 1 2 ( s ) I d e λ s x ( s ) + x ( s ) + 1 ε 2 d s ρ β 0 1 2 ( s ) I d e λ s ( η + 1 ) + η + 1 + 1 ε 2 d s ρ β 0 1 2 ( s ) κ 2 ( η + 1 ) + η + 1 + 1 ε 2 d s ρ α 0 1 1 ( s ) d s κ 1 ( η + 1 ) + η + 1 + 1 ε 1 + ρ β 0 1 2 ( s ) d s κ 2 ( η + 1 ) + η + 1 + 1 ε 2 = η + 1 ,
which implies that T ( P * ) P * . From Lemma 5, we know that T ( P * ) P * is a completely continuous operator.
In the following, we construct an iterative sequence starting from a known initial value. Let
ϖ 0 ( t ) = ( u ̲ 0 ( t ) , v ̲ 0 ( t ) ) = ( 0 , 0 ) ,
and
ϖ 1 ( t ) = ( u ̲ 1 ( t ) , v ̲ 1 ( t ) ) = T 1 ( u ̲ 0 , v ̲ 0 ) ( t ) , T 2 ( u ̲ 0 , v ̲ 0 ) ( t ) = T 1 ( 0 , 0 ) ( t ) , T 2 ( 0 , 0 ) ( t ) , t [ 0 , 1 ] .
It is clear that ϖ 0 ( t ) = ( 0 , 0 ) P * , then we have ϖ 1 ( t ) T ( P * ) . Keep this iterative process, and we write
ϖ n + 1 ( t ) = T ϖ n ( t ) = T n + 1 ϖ 0 ( t ) , n = 1 , 2 , · · · · ,
Since T ( P * ) P * , we get ϖ n ( t ) P * for n 1 . Moreover, it follows from the fact that T is a compact operator that ϖ n is a sequentially compact set.
On the other hand, since ϖ 1 ( t ) 0 = ϖ 0 ( t ) and T is a increasing operator, we have
ϖ 2 ( t ) = T ϖ 1 ( t ) T ϖ 0 ( t ) = ϖ 1 ( t ) , t [ 0 , 1 ] .
Thus, by induction, without the loss of generality, we have
( 0 , 0 ) ϖ n ϖ n + 1 ( η + 1 , η + 1 ) , n = 1 , 2 , · · · ,
which implies that { ϖ n ( t ) } is an increasing compact sequence with upper bounds. Consequently, there exists ϖ * = ( u ̲ * , v ̲ * ) P * such that
ϖ n ϖ * , n + .
Since T ϖ n = ϖ n 1 and T is a continuous operator, take the limit on both sides, we have T ϖ * = ϖ * , which implies that ϖ * = ( u ̲ * , v ̲ * ) is a non-negative solution of the system (1). Furthermore, f ( 0 , 0 ) > 0 , and thus ϖ * is a positive solution of (1). In addition, since ϖ * P * K , for ( u ̲ * ( t ) , v ̲ * ( t ) ) P * , one has
0 u ̲ * ( t ) e λ t t a d 1 L 1 , 0 v ̲ * ( t ) e λ t t c b 1 L 2 , t ( 0 , 1 ] .
Next, we choose
ω 0 ( t ) = ( u ¯ 0 ( t ) , v ¯ 0 ( t ) ) = ( η + 1 , η + 1 )
as another initial value, and construct the iterative sequence
ω 1 ( t ) = ( u ¯ 1 ( t ) , v ¯ 1 ( t ) ) = T 1 ( u ¯ 0 , v ¯ 0 ) ( t ) , T 2 ( u ¯ 0 , v ¯ 0 ) ( t ) T ω 0 ( t ) , ω 2 ( t ) = ( u ¯ 2 ( t ) , v ¯ 2 ( t ) ) = T 1 ( u ¯ 1 , v ¯ 1 ) ( t ) , T 2 ( u ¯ 1 , v ¯ 1 ) ( t ) = T ω 1 ( t ) , ω n + 1 ( t ) = T ω n ( t ) = T n + 1 ω 0 ( t ) , t [ 0 , 1 ] , n = 1 , 2 , · · · .
Note that ω 0 ( t ) = ( η + 1 , η + 1 ) P * , then, ω 1 ( t ) P * and ω n + 1 ( t ) P * , and thus we have
0 u ¯ 1 ( t ) | | u ¯ 1 ( t ) | | η + 1 = u ¯ 0 ( t ) , 0 v ¯ 1 ( t ) | | v ¯ 1 ( t ) | | η + 1 = v ¯ 0 ( t ) ,
i.e.,
ω 1 ( t ) ω 0 ( t ) .
Thus, from the monotonicity of T, we have ω 2 ( t ) = T ω 1 ( t ) T ω 0 ( t ) = ω 1 ( t ) , and then by induction, we also have
0 ω n + 1 ( t ) ω n ( t ) ω 0 ( t ) , n = 1 , 2 , · · · .
It follows from Lemma 5 that { ω n } is a sequentially compact set with upper bound ω 0 ( t ) . Consequently, there exists ω * P * such that ω n ( t ) ω * = ( u ¯ * , v ¯ * ) . Since T ω n ( t ) = ω n 1 ( t ) , letting n + , according to the continuity of T, we have T ω * = ω * . Thus, f ( 0 , 0 ) > 0 guarantees that ω * is also a positive solution of the system (1) with asymptotic properties
0 u ̲ * ( t ) e λ t t a d 1 L 1 , 0 v ̲ * ( t ) e λ t t c b 1 L 2 .
In the end, we prove that ω * = ( u ¯ * , v ¯ * ) and ϖ * = ( u ̲ * , v ̲ * ) are a pair of extremal solutions of the system (1). In fact, let ϰ be any positive solution of (1) in P * , then we have
ϖ 0 ( t ) = ( 0 , 0 ) ϰ ( η + 1 , η + 1 ) = ω 0 ( t ) ,
and
ϖ 1 ( t ) = T ϖ 0 ( t ) T ϰ = ϰ T ω 0 ( t ) = ω 1 ( t ) .
By induction, we have
ϖ n ( t ) ϰ ω n ( t ) , n = 1 , 2 , · · · ,
then, by taking the limit on both sides of (33), we have
ϖ * ϰ ω * ,
which indicates that ω * and ϖ * are a pair of maximal and minimal positive solutions of the system (1), respectively. The proof is completed. □

4. Example

Example 1.
Let
f 1 s , t = s + t 5 ln 1 + 1 s + t + 1 + s + t + 1 5 + 1 , f 2 s , t = s + t 6 ln 1 + 1 s + t + 1 + s + t + 1 6 + 2 ,
and a = 9 5 , c = 7 5 , b = 1 5 , d = 2 5 , λ = 2 , α = 1 6 , β = 1 7 , τ 1 = 3 4 , τ 2 = 4 5 , and so we consider the following singular tempered fractional system (1)
D t 0 R 9 5 , 2 u ( t ) = 1 ( t ) f 1 ( e 2 t v ( t ) , D t 0 R 1 5 , 2 v ( t ) ) , t ( 0 , 1 ) , D t 0 R 7 5 , 2 v ( t ) = 2 ( t ) f 2 ( e 2 t u ( t ) , D t 0 R 1 5 , 2 u ( t ) ) , t ( 0 , 1 ) , u ( 0 ) = 0 , v ( 0 ) = 0 , D t 0 R 2 5 , 2 u ( 1 ) = 1 3 × D t 0 R 2 5 , 2 u ( 1 5 ) , D t 0 R 1 5 , 2 v ( 1 ) = 2 3 × D t 0 R 1 5 , 2 v ( 2 5 ) ,
where the weight functions
1 ( t ) = e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) 18 × 10 8 t 1 3 ( 1 t ) 1 4 e 2 2 Γ ( 1 5 ) + 2 5 , 2 ( t ) = e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) 18 × 10 7 t 1 2 ( 1 t ) 1 3 e 2 2 Γ ( 2 5 ) + 2 6 .
may have an infinite number of singular points in [ 0 , 1 ] . Then, the system (34) has a positive maximal solution ω * = ( u ¯ , v ¯ ) and a positive minimal solution ϖ * = ( u ̲ , v ̲ ) , which possess the following asymptotic properties:
0 u ¯ ( t ) e 2 t t 2 5 45.0743 , 0 v ¯ ( t ) e 2 t t 1 5 100.6319 ,
0 u ̲ ( t ) e 2 t t 2 5 45.0743 , 0 v ̲ ( t ) e 2 t t 1 5 100.6319 .
Proof. 
By simple calculations, we have
H 1 ( t , s ) = ( 1 s ) 2 5 e 2 t 2 5 1 6 ( 3 4 s ) 2 5 e 3 2 t 2 5 e 2 1 6 e 3 2 ( 3 4 ) 2 5 ( t s ) 2 5 ( e 2 1 6 e 3 2 ( 3 4 ) 2 5 ) Γ ( 7 5 ) e 2 t e 2 s , t s , 3 4 s , ( 1 s ) 2 5 e 2 t 2 5 e 2 1 6 e 3 2 ( 3 4 ) 2 5 ( t s ) 2 5 ( e 2 1 6 e 3 2 ( 4 3 ) 2 5 ) Γ ( 7 5 ) e 2 t e 2 s , t s , 3 4 s , ( 1 s ) 2 5 e 2 t 2 5 1 6 ( 3 4 s ) 2 5 e 3 2 t 2 5 ( e 2 1 6 e 3 2 ( 3 4 ) 2 5 ) Γ ( 7 5 ) e 2 t e 2 s , t s , 3 4 s , ( 1 s ) 2 5 e 2 t 2 5 ( e 2 1 6 e 3 2 ( 3 4 ) 2 5 ) Γ ( 7 5 ) e 2 t e 2 s , t s , 3 4 s ,
and
H 2 ( t , s ) = ( 1 s ) 1 5 e 2 t 1 5 1 7 ( 4 5 s ) 1 5 e 8 5 t 1 5 e 2 1 7 e 8 5 ( 4 5 ) 1 5 ( t s ) 1 5 ( e 2 1 7 e 8 5 ( 4 5 ) 1 5 ) Γ ( 6 5 ) e 2 t e 2 s , t s , 4 5 s , ( 1 s ) 1 5 e 2 t 1 5 e 2 1 7 e 8 5 ( 4 5 ) 1 5 ( t s ) 1 5 ( e 2 β e 8 5 ( 4 5 ) 1 5 ) Γ ( 6 5 ) e 2 t e 2 s , t s , 4 5 s , ( 1 s ) 1 5 e 2 t 1 5 1 7 ( 4 5 s ) 1 5 e 8 5 t 1 5 ( e 2 1 7 e 8 5 ( 4 5 ) 1 5 ) Γ ( 6 5 ) e 2 t e 2 s , t s , 4 5 s , ( 1 s ) 1 5 e 2 t 1 5 ( e 2 1 7 e 8 5 ( 4 5 ) 1 5 ) Γ ( 6 5 ) e 2 t e 2 s , t s , 4 5 s .
Let ε 1 = 5 , ε 2 = 6 , then we have
0 < sup s + t > 0 f 1 ( s , t ) s + t + 1 5 = sup s + t > 0 s + t 5 ln 1 + 1 s + t + 1 + s + t + 1 5 + 1 s + t + 1 5 = 2 < + ,
and
0 < sup s + t > 0 f 2 s , t s + t + 1 6 = sup s + t > 0 s + t 6 ln 1 + 1 s + t + 1 + 2 s + t + 1 6 + 2 s + t + 1 6 = 3 < + ,
thus, we have 0 < = 3 < , and the condition ( H ) holds.
Next, we verify the condition ( G ) . Noting that
κ 1 = e 2 2 Γ ( 1 5 ) , κ 2 = e 2 2 Γ ( 2 5 ) ,
we have
0 < 0 1 1 ( s ) d s = e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) 18 × 10 8 e 2 2 Γ ( 1 5 ) + 2 5 0 1 s 1 3 ( 1 s ) 1 4 d s = e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) 18 × 10 8 e 2 2 Γ ( 1 5 ) + 2 5 B 2 3 , 3 4 = 5.4322 × 10 13 < + , 0 < 0 1 2 ( s ) d s = e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) 18 × 10 7 e 2 2 Γ ( 2 5 ) + 2 6 0 1 s 1 2 ( 1 s ) 1 3 d s = e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) 18 × 10 7 e 2 2 Γ ( 2 5 ) + 2 6 B 1 2 , 2 3 = 5.8618 × 10 13 < + .
Consequently,
M 1 = 3 e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) × e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) 18 × 10 8 e 2 2 Γ ( 1 5 ) + 2 5 B 2 3 , 3 4 = 1 6 × 10 8 e 2 2 Γ ( 1 5 ) + 2 5 B 2 3 , 3 4 = 1.7974 × 10 11 ,
M 2 = 3 e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) × e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) 18 × 10 7 e 2 2 Γ ( 2 5 ) + 2 6 B 1 2 , 3 4 = 1 6 × 10 7 e 2 2 Γ ( 2 5 ) + 2 6 B 1 2 , 3 4 = 1.646 × 10 11 .
Thus, we have
ρ α 0 1 1 ( s ) d s ( κ 1 + 2 ) ε 1 + ρ β 0 1 2 ( s ) d s ( κ 2 + 2 ) ε 2 = M 1 ( κ 1 + 2 ) ε 1 + M 2 ( κ 2 + 2 ) ε 2 = 3 × e 2 2 Γ ( 1 5 ) + 2 5 e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) e 2 1 6 e 3 2 3 4 2 5 Γ ( 7 5 ) 18 × 10 8 e 2 2 Γ ( 1 5 ) + 2 5 0 1 s 1 3 ( 1 s ) 1 4 d s + 3 × e 2 2 Γ ( 2 5 ) + 2 6 e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) e 2 1 7 e 8 5 4 5 1 5 Γ ( 6 5 ) 18 × 10 7 e 2 2 Γ ( 2 5 ) + 2 6 0 1 s 1 2 ( 1 s ) 1 3 d s = 1 6 0 1 s 1 3 ( 1 s ) 1 4 d s × 10 8 + 0 1 s 1 2 ( 1 s ) 1 3 d s × 10 7 = 1 6 B 2 3 , 3 4 × 10 8 + B 1 2 , 2 3 × 10 7 = 4.6238 × 10 8 < 1 ,
which implies that the condition ( G ) holds.
In the end, by simple calculations, we have
L 1 = 1 3 35 ( 1.646 × 10 11 ) 5 1.7974 × 10 11 1 29 = 45.0743 ,
L 2 = 1 3 36 ( 1.7974 × 10 11 ) 6 1.646 × 10 11 1 29 = 100.6319 .
So, Theorem 3.1 guarantees that the system (34) has a positive maximal solution ω * = ( u ¯ , v ¯ ) and a positive minimal solution ϖ * = ( u ̲ , v ̲ ) satisfying the following asymptotic properties
0 u ¯ ( t ) e 2 t t 2 5 45.0743 , 0 v ¯ ( t ) e 2 t t 1 5 100.6319 ,
0 u ̲ ( t ) e 2 t t 2 5 45.0743 , 0 v ̲ ( t ) e 2 t t 1 5 100.6319 .

5. Conclusions

Fractional derivatives and integrals can be used to describe tissue growth diffusion with long-term memory effects, or to simulate the dynamic behavior of viscoelasticity, electrochemistry control, and porous media, which are more effective than traditional integer order operators. In particular, the tempered fractional derivative was introduced to overcome the limitations of Brownian motion in modeling long-range dependent phenomena occurring in financial time series, Nile river data, and fractal analysis. In this paper, we focus on the existence and asymptotic estimates of the maximal and minimal solutions for a class of a tempered fractional coupled system with different orders. Through the technique of the reduction order, it is transformed into an equivalent integral system with order in ( 1 , 2 ] , and then we construct a nonlinear equation and derive the property of the solution of the nonlinear equation, which is important for getting the extremal solution of the tempered fractional coupled system. In addition, differently from [59,73], we introduce a new twin iterative technique and not only obtain the maximal and minimal solutions of the system but also construct iterative sequences converging to extremal solutions and obtain asymptotic properties of extremal solutions. Specifically, the weight function is allowed to have an infinite number of singular points in [ 0 , 1 ] . In future research, we will continue to focus on the study of more complex low-order singular tempered fractional equations and systems.

Author Contributions

This study was carried out in collaboration among all authors. All authors have read and agreed to the published version of the manuscript.

Funding

The authors are supported financially by the Natural Science Foundation of Shandong Province of China (ZR2022AM015), and an ARC Discovery Project Grant.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

  1. He, J.; Zhang, X.; Liu, L.; Wu, Y.; Cui, Y. A singular fractional Kelvin-Voigt model involving a nonlinear operator and their convergence properties. Bound. Value Probl. 2019, 2019, 112. [Google Scholar] [CrossRef]
  2. Kilbas, A.; Srivastava, H.; Trujillo, J. Theory and Applications of Fractional Differential Equations. In North-Holland Mathematics Studies; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204, pp. 1–523. [Google Scholar]
  3. Wu, J.; Zhang, X.; Liu, L.; Wu, Y.; Cui, Y. Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation. Math. Modell. Anal. 2018, 23, 611–626. [Google Scholar] [CrossRef]
  4. Zhang, X.; Chen, P.; Tian, H.; Wu, Y. Upper and Lower Solution Method for a Singular Tempered Fractional Equation with a p-Laplacian Operator. Fractal Fract. 2023, 7, 522. [Google Scholar] [CrossRef]
  5. Ren, T.; Li, S.; Zhang, X.; Liu, L. Maximum and minimum solutions for a nonlocal p-Laplacian fractional differential system from eco-economical processes. Bound. Value Probl. 2017, 2017, 118. [Google Scholar] [CrossRef]
  6. Zhang, J.; Song, J.; Chen, H. A priori error estimates for spectral galerkin approximations of integral state-constrained fractional optimal control problems. Adv. Appl. Math. Mech. 2023, 15, 568–582. [Google Scholar] [CrossRef]
  7. Wang, C.; Hou, X.; Wu, Q.; Dang, P.; Fu, Z. Fractional Fourier series on the torus and applications. Fractal Fract. 2024, 8, 494. [Google Scholar] [CrossRef]
  8. Gu, Q.; Chen, Y.; Zhou, J.; Huang, J. A fast linearized virtual element method on graded meshes for nonlinear time-fractional diffusion equations. Numer. Algorithms 2024, 97, 1141–1177. [Google Scholar] [CrossRef]
  9. Yang, Y.; Wu, Q.; Jhang, S.; Kang, Q. Approximation theorems associated with multidimensional fractional fouried reansform and applications in Laplace and heat equations. Fractal Fract. 2022, 6, 625. [Google Scholar] [CrossRef]
  10. Matar, M.; Abu, S.; Alzabut, J. On solvability of nonlinear fractional differential systems involving nonlocal initial conditions. Math. Methods Appl. Sci. 2019, 2019, 1–12. [Google Scholar] [CrossRef]
  11. Cartea, Á.; Negrete, D. Fluid limit of the continuous-time random walk with general Lévy jump distribution functions. Phys. Rev. E 2007, 76, 041105. [Google Scholar] [CrossRef]
  12. Kuang, N.; Xie, H. Derivative of self-intersection local time for the sub-bifractional Brownian motion. AIMS Math. 2022, 7, 10286–10302. [Google Scholar] [CrossRef]
  13. Raza, A.; Khan, U.; Zaib, A.; Ishak, A.; Hussain, S.M. Insights into the thermodynamic efficiency of mixed convective hybrid nanofluid flow over a vertical channel through a fractal fractional computation. Multidiscip. Model. Mater. Struct. 2025. [Google Scholar] [CrossRef]
  14. Ahmad, Z.; Crisci, S.; Murtaza, S.; Toraldo, G. Numerical insights of fractal–fractional modeling of magnetohydrodynamic Casson hybrid nanofluid with heat transfer enhancement. Math. Methods Appl. Sci. 2024, 47, 9046–9066. [Google Scholar] [CrossRef]
  15. Wu, J.; Zhang, X.; Liu, L.; Wu, Y.; Cui, Y. The convergence analysis and error estimation for unique solution of a p-Laplacian fractional differential equation with singular decreasing nonlinearity. Bound. Value Probl. 2018, 2018, 82. [Google Scholar] [CrossRef]
  16. Fu, Z.; Lin, Y.; Yang, D.; Yang, S. Fractional Fourier transforms meet Riesz potentials and image processing. SIAM J. Imaging Sci. 2024, 17, 476–500. [Google Scholar] [CrossRef]
  17. Benson, D.; Wheatcraft, S.; Meerschaert, M. The fractional-order governing equation of Lévy motion. Water Resour. Res. 2000, 36, 1413–1423. [Google Scholar] [CrossRef]
  18. Ahmad, Z.; Bonanomi, G.; Cardone, A.; Iuorio, A.; Toraldo, G.; Giannino, F. Fractal-fractional Sirs model for the disease dynamics in both prey and predator with singular and nonsingular kernels. J. Biol. Syst. 2024, 32, 1487–1520. [Google Scholar] [CrossRef]
  19. Khan, M.A.; Atangana, A. Modeling the dynamics of novel coronavirus (2019-nCov) with fractional derivative. Alex. Eng. J. 2020, 59, 2379–2389. [Google Scholar] [CrossRef]
  20. Duong, X.; Lacey, M.; Li, J.; Wick, B.; Wu, Q. Commutators of Cauchy-Szego type integrals for domains in Cn with minimal smoothness. Indiana Univ. Math. J. 2021, 70, 1505–1541. [Google Scholar] [CrossRef]
  21. Fu, Z.; Lu, S.; Shi, S. Two characterizations of central BMO space via the commutators of Hardy operators. Forum Math. Gruyter 2021, 33, 505–529. [Google Scholar] [CrossRef]
  22. Gong, R.; Vempati, M.N.; Wu, Q.; Xie, P. Boundedness and compactness of Cauchy-type integral commutator on weighted Morrey spaces. J. Aust. Math. Soc. 2022, 113, 36–56. [Google Scholar] [CrossRef]
  23. Li, P.; Shi, S.; Hu, R.; Zhai, Z. Embeddings of function spaces via the Caffarelli–Silvestre extension, capacities and Wolff potentials. Nonlinear Anal. 2022, 217, 112758. [Google Scholar] [CrossRef]
  24. Fu, Z.; Gong, R.; Pozzi, E.; Wu, Q. Cauchy–Szegö commutators on weighted Morrey spaces. Math. Nachrichten 2023, 296, 1859–1885. [Google Scholar] [CrossRef]
  25. Fu, Z.; Hou, X.; Lee, M.Y.; Li, J. A study of one-sided singular integral and function space via reproducing formula. J. Geom. Anal. 2023, 33, 289. [Google Scholar] [CrossRef]
  26. Fu, Z.; Pozzi, E.; Wu, Q. Commutators of maximal functions on spaces of homogeneous type and their weighted, local versions. Front. Math. China 2021, 2021, 1–28. [Google Scholar] [CrossRef]
  27. Wang, W.; Wu, Q.; Wang, W.; Wu, Q. Atomic decomposition theorem for Hardy spaces on products of Siegel upper half spaces and Bi-parameter Hardy spaces. J. Geom. Anal. 2023, 33, 351. [Google Scholar] [CrossRef]
  28. Hou, X.; Wu, H. Weighted compactness for Calderón type commutators and oscillatory operators. Rocky Mt. J. Math. 2022, 52, 1661–1681. [Google Scholar] [CrossRef]
  29. Dang, P.; Du, J.; Qian, T. Riemann boundary value problems for monogenic functions on the hyperplane. Adv. Appl. Clifford Algebr. 2022, 32, 29. [Google Scholar] [CrossRef]
  30. Chang, D.; Duong, X.; Li, J.; Wang, W.; Wu, Q. An explicit formula of Cauchy-Szegö kernel for quaternionic Siegel upper half space and applications. Indiana Univ. Math. J. 2021, 70, 2451–2477. [Google Scholar] [CrossRef]
  31. Wang, X.; Wang, G. Singular Hardy–Adams inequalities on hyperbolic spaces of any even dimension. Ann. Pol. Math. Inst. Mat. Pol. Akad. Nauk. 2022, 129, 175–192. [Google Scholar] [CrossRef]
  32. Gu, L.; Liu, Y.; Yang, C. Solvability of some Riemann-Hilbert problems related to dirac operator with gradient potential in ℝ3. J. Appl. Anal. Comput. 2024, 14, 976–985. [Google Scholar] [CrossRef]
  33. Chen, W.; Fu, Z.; Grafakos, L.; Wu, Y. Fractional Fourier transforms on Lp and applications. Appl. Comput. Harmon. Anal. 2021, 55, 71–96. [Google Scholar] [CrossRef]
  34. Gu, L.; Liu, Y.; Lin, R. Some integral representation formulas and Schwarz lemmas related to perturbed Dirac operators. J. Appl. Anal. Comput. 2022, 12, 2475–2487. [Google Scholar] [CrossRef]
  35. Fu, Z.; Grafakos, L.; Lin, Y.; Wu, Y.; Yang, S. Riesz transform associated with the fractional Fourier transform and applications in image edge detection. Appl. Comput. Harmon. Anal. 2023, 66, 211–235. [Google Scholar] [CrossRef]
  36. Shukla, R.; Wisnicki, A. Iterative methods for monotone nonexpansive mappings in uniformly convex spaces. Adv. Nonlinear Anal. 2021, 10, 1061–1070. [Google Scholar] [CrossRef]
  37. Zhang, X.; Chen, P.; Tian, H.; Wu, Y. The Iterative Properties for Positive Solutions of a Tempered Fractional Equation. Fractal Fract. 2023, 7, 761. [Google Scholar] [CrossRef]
  38. Zhang, X.; Jiang, J.; Wu, Y.; Cui, Y. The existence and nonexistence of entire large solutions for a quasilinear Schrödinger elliptic system by dual approach. Appl. Math. Lett. 2020, 100, 106018. [Google Scholar] [CrossRef]
  39. Guo, L.; Liu, L.; Wang, Y. Maximal and minimal iterative positive solutions for p-laplacian hadamard fractional differential equations with the derivative term contained in the nonlinear term. AIMS. Math. 2021, 6, 12583–12598. [Google Scholar] [CrossRef]
  40. Zhang, X.; Jiang, J.; Wu, Y.; Wiwatanapataphee, B. Iterative properties of solution for a general singular n-Hessian equation with decreasing nonlinearity. Appl. Math. Lett. 2021, 112, 106826. [Google Scholar] [CrossRef]
  41. Zhao, G.; Wang, Y. Iterative solutions for the differential equation with p-Laplacian on infinite interval. J. Funct. Spaces 2021, 2021, 8765932. [Google Scholar] [CrossRef]
  42. Zhang, X.; Chen, P.; Wu, Y.; Wiwatanapataphee, B. A necessary and sufficient condition for the existence of entire large solutions to a Hessian system. Appl. Math. Lett. 2023, 145, 108745. [Google Scholar] [CrossRef]
  43. Ge, L.; Niu, F.; Zhou, W. Convergence analysis and error estimate for distributed optimal control problems governed by Stokes equations with velocity-constraint. Adv. Appl. Math. Mech. 2022, 14, 33–55. [Google Scholar] [CrossRef]
  44. Zhang, X.; Xu, J.; Jiang, J.; Wu, Y.; Cui, Y. The convergence analysis and uniqueness of blow-up solutions for a Dirichlet problem of the general k-Hessian equations. Appl. Math. Lett. 2020, 102, 106124. [Google Scholar] [CrossRef]
  45. Zhou, J.; Li, H.; Zhang, Z. A posteriori error estimates of spectral approximations for second order partial differential equations in spherical geometries. J. Sci. Comput. 2022, 90, 56. [Google Scholar] [CrossRef]
  46. Zheng, W.; Chen, Y.; Zhou, J. A Legendre spectral method for multidimensional partial Volterra integro-differential equations. J. Comput. Appl. Math. 2024, 436, 115302. [Google Scholar] [CrossRef]
  47. Jia, Z. Global boundedness of weak solutions for an attraction-repulsion chemotaxis system with p-Laplacian diffusion and nonlinear production. Discret. Contin. Dyn. Syst.-Ser. B 2023, 28, 4847–4863. [Google Scholar] [CrossRef]
  48. Wu, J.; He, X.; Li, X. Finite-time stabilization of time-varying nonlinear systems based on a novel differential inequality approach. Appl. Math. Comput. 2022, 420, 126895. [Google Scholar] [CrossRef]
  49. Wu, Y.; Chen, W. On strongly indefinite schrödinger equations with non-periodic potential. J. Appl. Anal. Comput. 2023, 13, 1–10. [Google Scholar] [CrossRef]
  50. Wang, X.; Wang, Z.; Jia, Z. Global weak solutions for an attraction-repulsion chemotaxis system with p-Laplacian diffusion and logistic source. Acta Math. Sci. 2024, 44, 909–924. [Google Scholar] [CrossRef]
  51. Chen, W.; Wu, Y.; Jhang, S. On nontrivial solutions of nonlinear Schrödinger equations with sign-changing potential. Adv. Differ. Equ. 2021, 2021, 232. [Google Scholar] [CrossRef]
  52. Chen, W.; Fu, Z.; Wu, Y. Positive ground states for nonlinear Schrödinger–Kirchhoff equations with periodic potential or potential well in R3. Bound. Value Probl. 2022, 2022, 97. [Google Scholar] [CrossRef]
  53. Gu, L.; Liu, Y. Nonlinear Riemann type problems associated to Hermitian Helmholtz equations. Complex Var. Elliptic Equ. 2023, 68, 763–775. [Google Scholar] [CrossRef]
  54. Guo, Z.; Jiang, T.; Vasil’ev, V.I.; Wang, G. Complex structure-preserving method for Schrödinger equations in quaternionic quantum mechanics. Numer. Algorithms 2024, 97, 271–287. [Google Scholar] [CrossRef]
  55. Ai, B.; Jia, Z. The global existence and boundedness of solutions to a Chemotaxis–Haptotaxis model with nonlinear diffusion and signal production. Mathematics 2024, 12, 2577. [Google Scholar] [CrossRef]
  56. Zhang, X.; Tain, H.; Wu, Y.; Wiwatanapataphee, B. The radial solution for an eigenvalue problem of singular augmented k-Hessian equation. Appl. Math. Lett. 2022, 134, 108330. [Google Scholar] [CrossRef]
  57. Zhang, X.; Xu, P.; Wu, Y. The eigenvalue problem of a singular k-Hessian equation. Appl. Math. Lett. 2022, 124, 107666. [Google Scholar] [CrossRef]
  58. Boutiara, A.; Benbachir, M.; Alzabut, J.; Samei, M.E. Monotone Iterative and Upper-Lower Solution Techniques for Solving the Nonlinear ψ-Caputo Fractional Boundary Value Problem. Fractal Fract. 2021, 5, 194. [Google Scholar] [CrossRef]
  59. Quan, H.; Liu, X.; Jia, M. The method of upper and lower solutions for a class of fractional differential coupled systems. Adv. Differ. Equ. 2021, 2021, 263. [Google Scholar] [CrossRef]
  60. Yu, Z.; Bai, Z.; Shang, S. Upper and lower solutions method for a class of second-order coupled systems. Bound. Value Probl. 2024, 2024, 30. [Google Scholar] [CrossRef]
  61. He, J.; Zhang, X.; Liu, L.; Wu, Y.; Cui, Y. Existence and asymptotic analysis of positive solutions for a singular fractional differential equation with nonlocal boundary conditions. Bound. Value Probl. 2018, 2018, 189. [Google Scholar] [CrossRef]
  62. Shi, S.; Zhang, L.; Wang, G. Fractional non-linear regularity, potential and balayage. J. Geom. Anal. 2022, 32, 221. [Google Scholar] [CrossRef]
  63. Wu, J.; Wu, Q.; Yang, Y.; Dang, P.; Ren, G. Riemann-Liouville fractional integrals and derivatives on Morrey spaces and applications to a Cauchy-type problem. J. Appl. Anal. Comput. 2024, 14, 1078–1096. [Google Scholar] [CrossRef] [PubMed]
  64. Wu, Y.; Wang, G. Fractional Adams-Moser-Trudinger type inequality with singular term in Lorentz space and Lp space. J. Appl. Anal. Comput. 2024, 14, 133–145. [Google Scholar] [CrossRef]
  65. Wang, Y.; Guo, L.; Zi, Y.; Li, J. Solvability of fractional differential system with parameters and singular nonlinear terms. AIMS Math. 2024, 9, 22435–22453. [Google Scholar] [CrossRef]
  66. Shi, S.; Zhai, Z.; Zhang, L. Characterizations of the viscosity solution of a nonlocal and nonlinear equation induced by the fractional p-Laplace and the fractional p-convexity. Adv. Calc. Var. 2023, 17, 195–207. [Google Scholar] [CrossRef]
  67. Xue, Y.; Wei, Y. Ground states of nonlocal fractional Schrödinger equations with potentials well. Taiwan. J. Math. 2022, 26, 1203–1217. [Google Scholar] [CrossRef]
  68. Guo, L.; Wang, Y.; Li, C.; Cai, J.; Zhang, B. Solvability for a higher-order Hadamard fractional differential model with a sign-changing nonlinearity dependent on the parameter ϱ. J. Appl. Anal. Comput. 2024, 14, 2762–2776. [Google Scholar] [CrossRef]
  69. Hu, Z.; Chen, P.; Zhou, W. Two-grid finite element method for time-fractional nonlinear Schrödinger equation. J. Comput. Math. 2024, 42, 1124–1144. [Google Scholar] [CrossRef]
  70. Beran, J. Statistics for Long-Memory Processes; Routledge: Cambridge, MA, USA, 2017. [Google Scholar] [CrossRef]
  71. Meerschaert, M.; Nane, E.; Vellaisamy, P. The fractional Poisson process and the inverse stable subordinator. Electron. J. Probab. 2011, 16, 1600–1620. [Google Scholar] [CrossRef]
  72. Laskin, N. Fractional Poisson process. Commun. Nonlinear Sci. Numer. Simul. 2003, 8, 201–213. [Google Scholar] [CrossRef]
  73. Zhang, X.; Jiang, Y.; Li, L.; Wu, Y.; Wiwatanapataphee, B. Multiple positive solutions for a singular tempered fractional equation with lower order tempered fractional derivative. Electron. Res. Arch. 2024, 32, 1998–2015. [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

Chen, P.; Zhang, X.; Li, L.; Jiang, Y.; Wu, Y. Existence and Asymptotic Estimates of the Maximal and Minimal Solutions for a Coupled Tempered Fractional Differential System with Different Orders. Axioms 2025, 14, 92. https://doi.org/10.3390/axioms14020092

AMA Style

Chen P, Zhang X, Li L, Jiang Y, Wu Y. Existence and Asymptotic Estimates of the Maximal and Minimal Solutions for a Coupled Tempered Fractional Differential System with Different Orders. Axioms. 2025; 14(2):92. https://doi.org/10.3390/axioms14020092

Chicago/Turabian Style

Chen, Peng, Xinguang Zhang, Lishuang Li, Yongsheng Jiang, and Yonghong Wu. 2025. "Existence and Asymptotic Estimates of the Maximal and Minimal Solutions for a Coupled Tempered Fractional Differential System with Different Orders" Axioms 14, no. 2: 92. https://doi.org/10.3390/axioms14020092

APA Style

Chen, P., Zhang, X., Li, L., Jiang, Y., & Wu, Y. (2025). Existence and Asymptotic Estimates of the Maximal and Minimal Solutions for a Coupled Tempered Fractional Differential System with Different Orders. Axioms, 14(2), 92. https://doi.org/10.3390/axioms14020092

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop