
In this paper, a numerical method is presented to solve fractional boundary value problems. In fractional calculus, the modelling of natural phenomenons is best described by fractional differential equations. So, it is important to formulate efficient and accurate numerical techniques to solve fractional differential equations. In this article, first, we introduce ψ-shifted Chebyshev polynomials then project these polynomials to formulate ψ-shifted Chebyshev operational matrices. Finally, these operational matrices are used for the solution of fractional boundary value problems. The convergence is analysed. It is observed that solution of non-integer order differential equation converges to corresponding solution of integer order differential equation. Finally, the efficiency and applicability of method is tested by comparison of the method with some other existing methods.
Citation: Shazia Sadiq, Mujeeb ur Rehman. Solution of fractional boundary value problems by ψ-shifted operational matrices[J]. AIMS Mathematics, 2022, 7(4): 6669-6693. doi: 10.3934/math.2022372
[1] | Naeem Saleem, Salman Furqan, Mujahid Abbas, Fahd Jarad . Extended rectangular fuzzy b-metric space with application. AIMS Mathematics, 2022, 7(9): 16208-16230. doi: 10.3934/math.2022885 |
[2] | Yaoqiang Wu . On partial fuzzy k-(pseudo-)metric spaces. AIMS Mathematics, 2021, 6(11): 11642-11654. doi: 10.3934/math.2021677 |
[3] | Siniša N. Ješić, Nataša A. Ćirović, Rale M. Nikolić, Branislav M. Ranƌelović . A fixed point theorem in strictly convex b-fuzzy metric spaces. AIMS Mathematics, 2023, 8(9): 20989-21000. doi: 10.3934/math.20231068 |
[4] | Rashid Ali, Faisar Mehmood, Aqib Saghir, Hassen Aydi, Saber Mansour, Wajdi Kallel . Solution of integral equations for multivalued maps in fuzzy b-metric spaces using Geraghty type contractions. AIMS Mathematics, 2023, 8(7): 16633-16654. doi: 10.3934/math.2023851 |
[5] | Abdolsattar Gholidahneh, Shaban Sedghi, Ozgur Ege, Zoran D. Mitrovic, Manuel de la Sen . The Meir-Keeler type contractions in extended modular b-metric spaces with an application. AIMS Mathematics, 2021, 6(2): 1781-1799. doi: 10.3934/math.2021107 |
[6] | Samina Batul, Faisar Mehmood, Azhar Hussain, Dur-e-Shehwar Sagheer, Hassen Aydi, Aiman Mukheimer . Multivalued contraction maps on fuzzy b-metric spaces and an application. AIMS Mathematics, 2022, 7(4): 5925-5942. doi: 10.3934/math.2022330 |
[7] | Afrah Ahmad Noman Abdou . Chatterjea type theorems for complex valued extended b-metric spaces with applications. AIMS Mathematics, 2023, 8(8): 19142-19160. doi: 10.3934/math.2023977 |
[8] | Sumaiya Tasneem Zubair, Kalpana Gopalan, Thabet Abdeljawad, Nabil Mlaiki . Novel fixed point technique to coupled system of nonlinear implicit fractional differential equations in complex valued fuzzy rectangular b-metric spaces. AIMS Mathematics, 2022, 7(6): 10867-10891. doi: 10.3934/math.2022608 |
[9] | Badshah-e-Rome, Muhammad Sarwar, Thabet Abdeljawad . µ-extended fuzzy b-metric spaces and related fixed point results. AIMS Mathematics, 2020, 5(5): 5184-5192. doi: 10.3934/math.2020333 |
[10] | Müzeyyen Sangurlu Sezen . Interpolative best proximity point results via γ-contraction with applications. AIMS Mathematics, 2025, 10(1): 1350-1366. doi: 10.3934/math.2025062 |
In this paper, a numerical method is presented to solve fractional boundary value problems. In fractional calculus, the modelling of natural phenomenons is best described by fractional differential equations. So, it is important to formulate efficient and accurate numerical techniques to solve fractional differential equations. In this article, first, we introduce ψ-shifted Chebyshev polynomials then project these polynomials to formulate ψ-shifted Chebyshev operational matrices. Finally, these operational matrices are used for the solution of fractional boundary value problems. The convergence is analysed. It is observed that solution of non-integer order differential equation converges to corresponding solution of integer order differential equation. Finally, the efficiency and applicability of method is tested by comparison of the method with some other existing methods.
Recently, the theory of nonlinear systems with time-delay has been a hot topic, due to its wide application in practical problems, such as physical engineering, biological systems and economic processes. Among these, the Lyapunov-Krasovskii methodology plays a crucial role in dealing with time-delay systems. Based on the above method, Pepe [1] addressed the input state stability of nonlinear systems with time-delay. Zhang [2] designed a stabilized controller for time-delay feed-forward nonlinear systems to achieve system stability. In order to address the stabilization problem of high-order nonlinear systems with time-delay, some researchers try to find new ways to design corresponding controllers. Yang and Sun [3] investigated the state feedback stabilization problem of controlled systems with high-order or/and time-delay via the homogeneous domination idea. With the help of the saturation function technique, homogeneous domination idea and Lyapunov approach, Song [4] studied the stabilization problem of high order feed-forward time-delay nonlinear systems. In addition to the above works, many results in [5,6,7,8,9,10] have established and improved the concept framework of nonlinear systems with time-delay.
Ever since the stochastic stability theory was founded and enriched by Deng and Zhu [11,12], great progress has been made on the global stabilization of stochastic nonlinear systems [13,14,15,16]. Subsequently, Florchinger [17] extended the theory of control with the Lyapunov-Krasovskii functional. With the stochastic stability theory in mind, it is still important and meaningful to address high-order stochastic nonlinear systems with time-delay. Zha [18] investigated the issue of output feedback stabilization. Liu [19] studied the output feedback stabilization problem for time-delay stochastic feed-forward systems. By using a power integrator approach, the work in [20,21,22,23] also considered the state-feedback stabilization problems. However, the state feedback stabilization problem for stochastic high-order and low-order nonlinear systems with time-delay has not been well addressed, which leads us to take the interesting problem into account.
How to deal with the state feedback stabilization problem for high-order and low-order nonlinear systems with time-delay? By using a power integrator approach, Liu & Sun [24] constructed a time-delay independent controller for the aforementioned systems to relax the growth condition and the power order limitations. However, to the best of our knowledge, research on the corresponding stochastic version is limited with scarcely a few convincing results. The main difficulties are explained from two aspects. On one hand, the Itˆo formula brings the gradient terms and the Hessian terms in the Lyapunov analysis. On the other hand, the particularity of its structure has made many traditional methods inapplicable. Therefore, we need to give a new way to consider stochastic nonlinear systems. Inspired by a large number of results in [25,26,27,28,29], stochastic high-order and low-order nonlinear systems with time-delay will be considered as follows:
{dxi(t)=xpii+1(t)dt+fi(ˉxi(t),ˉxi(t−τ),t)dt+gTi(ˉxi(t),ˉxi(t−τ),t)dω(t),dxn(t)=upn(t)dt+fn(x(t),x(t−τ),t)dt+gTn(x(t),x(t−τ),t)dω(t), | (1.1) |
where x(t)=[x1(t),…,xn(t)]T∈Rn is state, and u(t)∈R is input; the nonnegative real number τ is the time-delay of the states. ω(t)=[ω1(t),…,ωr(t)]T. The high-order can be revealed by pi∈R>1odd=:{pq|p≥q>0 andp,qareoddintegers}. The drift terms fi:Ri×Ri×R+⟶R and the diffusion terms gi:Ri×Ri×R+⟶Rr,i=1,…,n are considered as locally Lipschitz with fi(0,0,t)=0 and gi(0,0,t)=0.
The contributions are highlighted in the following:
(i) Systems considered are more general. Systems in [24] only solve the control issues for deterministic cases. It is more complex to consider the stochastic disturbance. By using the homogeneous domination idea, one can give a novel perspective to generalize the control strategy for deterministic systems to the corresponding stochastic cases.
(ii) The result extends the works [30,31,32] by relaxing the growth condition and the power order limitations. The low order of the nonlinear terms is successfully relaxed to the high-order and low-order of the nonlinear terms. Based on the above situations, we use a proper Lyapunov-Krasovskii functional to handle the stabilization problem under the weaker assumptions.
Notations: R+≜{x|x≥0,x∈R},Rn≜{xn|x≥0}. For a given vector/matrix D, DT denotes its transpose, Tr{D} is the trace when D is square, and the Euclidean norm of a vector |D|. Ci is composed of continuous and ith partial derivable functions. K is composed of continuous functions and strictly increasing; K∞ is composed of functions with K. One sometimes denotes X(t) by X to simplify the procedure.
Now, the time-delay stochastic nonlinear systems are addressed as follows:
dx(t)=f(ˉxi(t),ˉxi(t−τ),t)dt+gT(ˉxi(t),ˉxi(t−τ),t)dω(t). | (2.1) |
{x(s):−d≤s≤0}=z∈CbF0([−d,0];Rn) is an initial data, and ω(t) denotes a Brownian motion with dimension r defined on a complete probability space (Ω,F,{Ft}t≥0,P).
The following assumptions are needed:
Assumption 1. For i=1,…,n, there exist two constants a1>0 and a2>0 such that
|fi(ˉxi(t),ˉxi(t−τ),t)|≤a1i∑j=1(|xj(t)|ri+θrj+|xj(t−τ)|ri+θrj)+a1i−1∑j=1(|xj(t)|1pj…pi−1+|xj(t−τ)|1pj…pi−1)+a1(|xi(t)|+|xi(t−τ)|),‖gi(ˉxi(t),ˉxi(t−τ),t)‖≤a2i∑j=1(|xj(t)|2ri+θ2rj+|xj(t−τ)|2ri+θ2rj)+a2i−1∑j=1(|xj(t)|12pj…pi−1+|xj(t−τ)|12pj…pi−1)+a2(|xi(t)|+|xi(t−τ)|), | (2.2) |
in which θ=mn≥0, n is an odd integer, m is an even integer, and r′is have the following definitions:
r1=1,ri=ri−1+θpi−1,i=2,3,…,n+1. | (2.3) |
Remark 1. Assumption 1 encompasses and extends high-order and/or low-order results. We discuss this point from two cases.
Case I: Condition (2.2), when τ=0 it reduces to high-order growth condition with θ≥0,
|fi(ˉxi(t),t)|≤a1i∑j=1(|xj(t)|ri+θrj+|xj(t)|1pj…pi−1+a1|xi(t)|,‖gi(ˉxi(t),t)‖≤a2i∑j=1(|xj(t)|2ri+θ2rj+|xj(t)|12pj…pi−1+a2(|xi(t)|, |
and low-order growth condition with θ=0,
|fi(ˉxi(t),t)|≤a1i∑j=1|xj(t)|1pj…pi−1+a1|xi(t)|,‖gi(ˉxi(t),t)‖≤a2i∑j=1|xj(t)|12pj…pi−1+a2(|xi(t)|. |
We further discuss its significance from value ranges of both low-order and high-order. From θ∈(−1pj…pi−1,0], it is easy to see that 0<ri+θrj≤1pj…pi−1, which implies that both low-order and high-order in Assumption 1 can take any value in (0,1pj…pi−1],[1pj…pi−1,+∞), respectively.
Case II: When τ≠0, several new results [18,19,20,21,22] have been achieved on feedback stabilization of high-order nonlinear time-delay systems. The nonlinearities in [18,19,20,21,22] only have high-order terms. The nonlinearities in [24] include linear and nonlinear parts, and their nonlinear parts only allow low-order 1pj…pi−1 and high-order ri+θrj with θ≥0.
While in this paper, (2.2) not only includes time-delays but relaxes the intervals of low-order and high-order.
Remark 2. When pi=1,i=1,2,…,n−1, and τ=0, equation (1) reduces to the well-known form, for which the feedback control problem has been well developed in recent years[16,24,26].
Proposition 1. For r1,…,rn and σ=p1…pnrn+1 having the following properties:
● rk∈R≥1odd,σrk∈R≥1odd,σ∈R≥1odd,σrkpk−1…p1∈R≥1odd.
● σ≥max1≤k≤n{rk+θ}.
● There hold
4≤4−1p1…pk−1+rk+1pkrkpk−1…p1,4σ−rk+1pkrkpk−1…p1+1p1…pk−1≤4σrkpk−1…p1; |
4≤4−1p1…pk−1+rk+1pk2rkpk−1…p1,4σ−rk+1pk2rkpk−1…p1+12p1…pk−1≤4σrkpk−1…p1. |
● For i=1,…,k−1, one has
4≤4rk+1pk…p1ripi−1…p1,4σripi−1…p1≤4σripi−1…p1. |
Remark 3. It is not difficult to see that system (1.1) is a class of high-order and low-order stochastic nonlinear systems with time-delay satisfying Assumption 1. Compared with [30], it is significant to point out that system (1.1) addressed here is more general. The systems can be composed by time-delay and the coupling of the high-order and low-order terms. Moreover, if g=0, Assumption 1 will generate the same assumption as in [24]. When pi>3, the state feedback stabilization problem under constraint pi=p can give similar results as [19]. Under Assumption 1 with τ=0, we can obtain the same results with [30], if there are no low-order nonlinearities.
Remark 4. For the case of τ=0 in system (1.1), with the help of adding a power integrator, fruitful results have been achieved over the past years. However, for the case of τ≠0, some essential difficulties will inevitably be encountered in constructing the desired controller. For instance, the time-delay effect will make the common assumption on the high-order system nonlinearities infeasible, and what conditions should be placed to the nonlinearities remains unanswered. Second, due to the higher power, time-delay and assumptions on the nonlinearities, it is more complicated to find a Lyapunov-Krasovskii functional which can be behaved well in theoretical analysis.
For ease of the controller design, some helpful definitions are presented.
Definition 1. [19] Consider the stochastic system dx(t)=f(x,t)dt+g(x,t)dω. For any given C2 function V(x,t), the differential operator L is defined as follows:
LV=∂V∂t+∂V∂xf(x,t)+12Tr{gT∂2V∂2tg}, |
where 12Tr{gT∂2V∂2tg} is called the Hessian term of L.
Definition 2. [25] There exists coordinate (x1,…,xn)∈Rn,hi>0,i=1,…,n, for arbitrarily ε>0.
∙ The dilation Δε(x)=(εh1x1,…,εhnxn), and hi is referred to as the weights. And one defines dilation weight as △=(h1,…,hn).
∙ A function U∈C(Rn,R) is considered as homogeneous of degree μ, if μ∈R, then U(Δε(x))=εμU(x1,…,xn), for arbitrarily x∈Rn∖{0}.
∙ A vector field fi∈C(Rn,R) is considered as homogeneous of degree μ, if μ∈R, then fi(Δε(x))=εμ+hifi(x), for arbitrarily x∈Rn∖{0}, i=1,…,n.
∙ A homogeneous γ-norm is considered as ‖x‖△,γ=(∑ni=1|xi|γhi)1γ, for any x∈Rn, where γ≥1. We use ‖x‖△ or ‖x‖△,2 to a exhibit 2-norm.
With the above definitions, we give some lemmas which will be crucial for controller design.
Lemma 1. [13] For m∈R≥1odd, ∀a∈Rand∀b∈R, there hold
(|a|+|b|)1m≤|a|1m+|b|1m≤2m−1m(|a|+|b|)1m, |
|a−b|m≤2m−1|am−bm|. |
Lemma 2. [13] For given a,b≥0 and a given positive function f(x,y), there exists a positive function g(x,y), such that
|f(x,y)xayb|≤g(x,y)|x|a+b+ba+b(a(a+b)g(x,y))ab|f(x,y)|a+bb|y|a+b,∀x,y∈R. |
Lemma 3. [13] For a continuous function g, if it is monotone, and g(s)=0, then
|∫tsg(x)dx|≤|g(t)|⋅|t−s|. |
Lemma 4. [19] Given τi∈R,i=1,…,n satisfying 0≤τ1≤…≤τn and for given nonnegative functions ai(x,y),i=1,…,n, there holds
a1(x,y)|x|τ1+an(x,y)|x|τn≤n∑j=1aj(x,y)|x|τj≤(|x|τ1+|x|τn)n∑j=1aj(x,y),∀x,y∈R. |
Consider the stochastic high-order and low-order nonlinear systems with time-delay as follows:
{dxi=(xpii+1+fi)dt+gidω(t),i=1,…,n−1,dxn=upndt. | (3.1) |
Step 0: To begin with, introducing the complete form of the controller,
{zi(t)=xp1…pi−1i(t)−αp1…pi−1i−1(t),i=1,…,n,αi(t)=−ϱ1p1…pii(zi(t)+zri+1pirii(t))1p1…pi,i=1,…,n,u(t)=αn(t). | (3.2) |
The purpose of this work is to construct a state controller to render system (1.1) globally asymptotically stable in probability. To achieve this goal, propositions are presented as follows.
Proposition 2. For c1>0, c2>0, i=1,…,n, there hold
|fi(t,ˉxi(t),ˉxi(t−τ))|≤c1i∑j=1(|zj(t)|1p1…pi−1+|zj(t)|ri+θrjp1…pi−1)+c1i∑j=1(|zj(t−τ)|1p1…pi−1+|zj(t−τ)|ri+θrjp1…pi−1)‖gi(t,ˉxi(t),ˉxi(t−τ))‖≤c2i∑j=1(|zj(t)|12p1…pi−1+|zj(t)|2ri+θ2rjp1…pi−1)+c2i∑j=1(|zj(t−τ)|12p1…pi−1+|zj(t−τ)|2ri+θ2rjp1…pi−1). | (3.3) |
Step 1. First, we will construct a Lyapunov-candidate-function V1=∫x10s3ds+∫x10s4σ−r2p1r1ds+n∫tt−τ(z41(l)+z4σr11(l))dl. Along the solution of (3.1), one has
LV1=x31(xp12+f1)+x4σ−r2p1r11(xp12+f1)+n(z41(t)+z4σr11(t))−n(z41(t−τ)+z4σr11(t−τ))+Ψ1, |
where Ψ1=12Tr{gT1∂2V1∂x21g1}, which leads to
LV1=(z31+z4σ−r2p1r11)(xp12−αp11)+(z31+z4σ−r2p1r11)αp11+(z31+z4σ−r2p1r11)f1+n(z41(t)+z4σr11(t))−n(z41(t−τ)+z4σr11(t−τ))+Ψ1. | (3.4) |
With Proposition 2, Lemma 1 and Lemma 2 in mind, one has
(z31+z4σ−r2p1r11)f1≤c1(|z1|3+|z1|4σ−r2p1r1)(|z1|+|z1|r2p1r1+|z1(t−τ)|+|z1(t−τ)|r2p1r1)≤c1(|z1|4+|z1|4σ−r2p1r1z1+|z1|r2p1r1z31+|z1|4σr1)+c1(|z1|3|z1(t−τ)|+|z1|3|z1(t−τ)|r2p1r1+|z1|4σ−r2p1r1z1|z1(t−τ)|+|z1|4σ−r2p1r1|z1(t−τ)|r2p1r1); | (3.5) |
with the help of Lemma 4, we can see it satisfies |z1|r2p1r1z31≤|z1|r2+θ+3r1r1≤|z1|4+θ≤z41+z4σr11 when 4≤4+θ≤2r2p1σ+3≤4σr1. Similarly, one can obtain
(z31+z4σ−r2p1r11)f1≤β1(z41+z4σr11)+(z1(t−τ)4+z1(t−τ)4σr1), | (3.6) |
where β1=4c1+2c21+4σ−r2p1σ(2r2p1σ)r2p14σ−r2p1c2σ4σ−r2p11. Now, one designs the virtual controller α1 as
αp11(x1)=−(2n+β1)(z1+zr2p1r11)=−ϱ1(z1+zr2p1r11), | (3.7) |
where ϱ1>1 is a positive constant. Noticing that
−ϱ1z1+4σ−r2p1r11≤0,−ϱ1z1+r2p1r11≤0, |
and using (4.1) and (3.7) with (3.4) after complex calculations, one finally obtains
LV1≤−n(z41+z4σr11)+(z31+z4σ−r2p1r11)(xp12−αp11)−(n−1)(z41(t−τ)+z4σr11(t−τ))+Ψ1. | (3.8) |
To complete the induction, at the kth step, we now define
WLk=∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4−1p1…pi−1dsWHk=∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1dsWDk=(n−k+1)∫tt−τ(z4k(l)+z4σrkp1…pi−1k(l))dl. |
Lyapunov function Vk=Vk−1+WLk+WHk+WDk is C2, proper and positive definite. Moreover, for i=1,…,k−1, WLk(⋅),WHk(⋅),WDk(⋅) satisfy
∂WLk∂xk=z4−1p1…pi−1k,∂WHk∂xk=z4σ−rk+1pkrkp1…pi−1k,frac∂2WLk∂x2k=(4−1p1…pi−1)z3−1p1…pi−1k(p1…pk−1)xp1…pk−1−1 | (3.9) |
∂2WHk∂x2k=(4σ−rk+1pkrkp1…pi−1)z4σ−rk+1pkrkp1…pi−1−1k(p1…pk−1)xp1…pk−1−1∂WLk∂xi=−(4−1p1…pi−1)∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)3−1p1…pi−1…pi−1ds∂αp1…pi−1k−1∂xi∂2WLk∂xkxi=−(4−1p1…pi−1)z3−1p1…pi−1k∂αp1…pi−1k−1∂xi,∂2WHk∂xkxi=−(4σ−rk+1pkrkp1…pi−1)z4σ−rk+1pkrkp1…pi−1−1k∂αp1…pi−1k−1∂xi∂2WLk∂x2i=∫xkαk−1(4−1p1…pi−1)(3−1p1…pi−1)(sp1…pk−1−αp1…pi−1k−1)2−1p1…pi−1…pi−1ds(∂αp1…pi−1k−1∂xi)2+∫xkαk−1(4−1p1…pi−1)(sp1…pk−1−αp1…pi−1k−1)3−1p1…pi−1…pi−1ds(∂2αp1…pi−1k−1∂x2i)∂WHk∂xi=−(4σ−rk+1pkrkp1…pi−1)∫xkαk−1(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−1ds∂αp1…pi−1k−1∂xi∂2WHk∂x2i=∫xkαk−1(4σ−rk+1pkrkp1…pi−1)(4σ−rk+1pkrkp1…pi−1−1)(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−2ds(∂αp1…pi−1k−1∂xi)2+∫xkαk−1(4σ−rk+1pkrkp1…pi−1)(sp1…pk−1−αp1…pi−1k−1)4σ−rk+1pkrkp1…pi−1−1ds(∂2αp1…pi−1k−1∂x2i). | (3.10) |
Step k (k = 2, 3, …, n): As in step k-1, there exists Lyapunov-candidate-function Vk−1, implying
LVk−1≤−(n−k+2)k−1∑i=1(z4i+z4σripi−1…p1i)−(n−k+1)k−1∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)+Ψk−1, | (3.11) |
where Ψk−1= 12Tr{ˉψTk−1 ∂2Vk−1∂ˉx2k−1 ˉψk−1}, ˉψk−1 = (g1, …, gk−1). Hence, one will consider Vk=Vk−1+WLk+WHk+WDk and define an appropriate virtual controller αk. Similar to step 1, one can obtain
LVk≤−(n−k+2)k−1∑i=1(z4i+z4σripi−1…p1i)−(n−k+1)k−1∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(n−k+1)(z4k+z4σrkpk−1…p1k)+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)(xpk−1k+1−αpkk)+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)αpkk+(z4−1p1…pk−1k+z4σ−rkpk−1rkpk−1…p1k)fk+(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)+k−1∑i=1(∂WLk∂xi+∂WHk∂xi)(xpii+1+fi)+Ψk, | (3.12) |
where Ψk=12Tr{ˉψTk∂2Vk∂ˉx2kˉψk}, ˉψk=(g1,…,gk). Obviously, the virtual controller αk is used to eliminate the last three terms of (3.12). In light of (3.2) and Lemma 1, it yields that
xpk−1k−αpk−1k−1≤|(xp1…pk−1k)1p1…pk−2−(αp1…pk−1k−1)1p1…pk−2|≤23−1p1…pk−2|zk|1p1…pk−2. |
In the case of 4σ−θ≤4σ, by Lemma 2, one obtains that
(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)(xpk−1k−αpk−1k−1)≤21−1p1…pk−2|zk|1p1…pk−2(|zk−1|4−1p1…pk−2+|zk−1|4σ−rkpk−1rk−1pk−2…p1)≤βk1(z4k+z4σrkpk−1…p1k)+13(z4k−1+z4σrk−1pk−2…p1k−1), | (3.13) |
where βk1 denotes a positive constant. On the basis of Proposition 2 and Lemma 3, one has
(z4−1p1…pk−2k−1+z4σ−rkpk−1rk−1pk−2…p1k−1)fk≤12k−2∑i=1(z4i+z4σripi−1…p1i)+13(z4k−1+z4σrk−1pk−2…p1k−1)+12k−1∑i=1(z4i(t−τ)+zi(t−τ)4σripi−1…p1)+z4k(t−τ)+zk(t−τ)4σrkpk−1…p1+βk2(z4k+z4σrkpk−1…p1k), | (3.14) |
where βk2 denotes a positive constant. In the sequel, one estimates the last term. With the help (3.2), Lemmas 2 and 4, it is not hard to achieve
∫xkαk−1(sp1…pk−1−αp1…pk−1k−1)3−1p1…pk−1ds≤|zk|3−1p1…pk−1⋅|xk−αk−1|≤23−1p1…pk−1|zk|. | (3.15) |
Similarly, one can obtain
∫xkαk−1(sp1…pk−1−αp1…pk−1k−1)4σ−rk+1pkrkpk−1…p1−1ds≤23−1p1…pk−1|zk|4σ−θrkpk−1…p1−1. | (3.16) |
On the basis of the previous inequality, one has
(∂WLk∂xi+∂WHk∂xi)(xpii+1+fi)≤λk(|zk|+|zk|4σ−θrkpk−1…p1−1)|∂αp1…pk−1k−1∂xi|(xpii+1+fi)≤dki(z4k+z4σrkpk−1…pk−1k)+12(k−1)(k−2∑j=1(z4j+z4σrjp1…pj−1j)+13(k−1)(z4k−1+z4σrk−1p1…pk−2k−1)+12(k−1)k−1∑j=1(z4j(t−τ)+z4σrjp1…pj−1j(t−τ)), | (3.17) |
in which dki denotes a positive constant. Define βk=βk1+βk2+βk3 with βk3=∑k−1i=1dki and choose the virtual controller αk as
αp1…pkk(Xk)=−ϱk(zk+zrk+1pkrkk). | (3.18) |
By Lemma 2, one can arrive at
(z4−1p1…pk−1k+z4σ−rk+1pkrkpk−1…p1k)αpkk≤−(2(n−k+1)+βk)(z4k+z4σrkpk−1…p1k). | (3.19) |
Substituting (3.13)–(3.18) into (3.12) yields
LVk≤−(n−k+1)k∑i=1(z4i+z4σripi−1…p1i)−(n−k)k∑i=1(z4i(t−τ)+z4σripi−1…p1i(t−τ))+(z4−1p1…pk−1k+z4σ−rk+1pkrkpk−1…p1k)(xpkk+1−αpkk)+Ψk. |
It is shown that the above formula holds for k=n with virtual controllers (3.18). Similarly, we choose Vn(x)=∑ni=1(WLi(⋅)+WHi(⋅)+WDi(⋅)). There is an actual control law
u(x)=−ϱ1p1…pnn(zn+zrn+1pnrnn)1p1…pn, | (3.20) |
such that
LVk≤−n∑i=1(z4i+z4σripi−1…p1i). | (3.21) |
Until now, the recursive design has been completed. Under the new coordinates
ξ1=x1,ξi=xiLki,νp=upLkn+1, | (3.22) |
where k1=0, ki=ki−1+1pi−1, i=2,…,n and L>1 is a constructed constant, system (1.1) can be rewritten in the form
dξi=Lξpii+1dt+fi(⋅)Lkidt+gi(⋅)Lkidω(t),dξn=Lνpnndt+fn(⋅)Lkndt+gn(⋅)Lkndω(t). | (3.23) |
By (3.18) and (3.20), the system (3.1) can be integrated into the complex format
dξ=LR(ξ)dt+T(t,ξ,ξ(t−τ))dt+ψT(t,ξ,ξ(t−τ))dω(t), | (3.24) |
where ξ=(ξ1,…,ξn)T, R(ξ)=(ξp2, …,ξpn, νp)T, T(t,ξ, ξ(t−τ))=(f1, f2Lk2,…, fnLkn)T, ψ(t,ξ,ξ(t−τ))=(g1, g2Lk2,…, gnLkn). Introducing the dilation weight △=(r1,r2,…,rn), one gets
Vn(△ε(ξ))=n∑i=1∫εrixiεriαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4−1p1…pi−1ds+n∑i=1∫εrixiεriαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4σ−rk+1pkrkpk−1…p1ds+(n−k+1)∫tt−τ(z4k(s)+z4σrkpk−1…p1k(s))ds=n∑i=1∫xiαi−1(εripi−1…p1(ζp1…pi−1−αp1…pi−1i−1))4−1p1…pi−1εripi−1…p1dζ+n∑i=1∫εrixiαi−1(sp1…pi−1−εripi−1…p1αp1…pi−1i−1)4σ−rk+1pkrkpk−1…p1εripi−1…p1dζ=ε4σ−θVn(ξ), | (3.25) |
where s is defined as s=riζ. With the help of the above formula and Definition 2, it can be concluded that Vn(ξ) is homogeneous of degree 4σ−θ.
The main result of this manuscript will be stated as follows.
Theorem 1. Suppose Assumptions 1 apply to stochastic system (1), under the state feedback controller up=Lkn+1νp and (3.20), then:
(i) There exists a unique solution on [−d,∞);
(ii) The equilibrium at the origin is globally asymptotically stable in probability.
Proof. Four steps are used to verify Theorem 1.
Step 1: By the definition of ϱ>0, we know that p1…pj−1−1>1, which implies that 4−1p1…pk−1−1>2, 4σ−rk+1pkrkpk−1…p1>2. Therefore, ∂αp1…pii(t)∂xj(t) is continuous, and upn=Lkn+1νpn is C. As is known to all, the function is C. The closed-loop system satisfies the locally Lipschitz condition based on fi and gi being locally Lipschitz.
Step 2: Consider the Lyapunov-candidate-function:
V(ξ)=Vn(ξ)+n∑i=1h1+h21−γ∫tt−τ‖ξ‖4σ△dη, | (3.26) |
where h1 and h2 are positive parameters. It is straightforward to prove that V(ξ) is C2 on ξ. Since Vn(ξ) is continuous, positive definite and radially unbounded, from Lemma 1, one can have
α20(|ξ|)≤V(ξ)≤α21(|ξ|), | (3.27) |
where α20 and α21 are K∞ functions. With the help of the homogeneous theory, one finally has
ˉc0‖ξi‖4σΔ≤U(ξ)≤c_0‖ξi‖4σΔ, | (3.28) |
in which ˉc0>0, c_0>0, and U(ξ) denotes a positive definite function of the 4σ homogeneous degree. Hence, one has the formula
α20(|ξ|)≤U(ξ)≤α21(|ξ|). | (3.29) |
(3.29) leads to
h1+h21−γ∫tt−τ‖ξ‖4σ△dη≤˜c∫tt−τˉα22(|ξi|)dη≤˜c∫0−τα21(|ξi(t+s)|)d(t+s)≤csup | (3.30) |
where \eta = s+t , \tilde{c} > 0 , c > 0 and \alpha _{22} is a class \mathcal{K}_{\infty} function. Since
\begin{equation} |\xi|\leq( \sup\limits_{-\tau\leq s\leq 0} |\xi(s+t)|),\; \alpha_{21}|\xi|\leq\alpha_{21}(\sup\limits_{-\tau\leq s\leq 0}|\xi(s+t)|). \end{equation} |
Defining \beta_{2} = \alpha_{21}+\alpha_{22} , by (3.26)-(3.30), one gets
\begin{equation} \beta_{1}(|\xi|)\leq V(|\xi|)\leq \beta_{2}( \sup\limits_{-\tau\leq s\leq 0} |\xi(s+t)|). \end{equation} |
Step 3: With the help of Lemma 1 and (3.20), c_{01} is a positive constant, and one has
\begin{eqnarray} \frac{\partial V_{n}(\xi)}{\partial\xi}LR(\xi)\leq -c_{01}L\|\xi\|_{\Delta}^{4\sigma}. \end{eqnarray} | (3.31) |
By Proposition 2 and L > 1 , one can have
\begin{eqnarray} \begin{aligned} |\frac{f_{i}(t,\bar{\xi}(t),\bar{\xi}(t-\tau))}{L^{k_{i}}}|&\leq\bar{\delta}_{1}L^{1-\gamma_{i1}}(\sum\limits_{j = 1}^{i}|\xi(t)|^{\frac{r_{i}+\theta}{r_{j}}}+\sum\limits_{j = 1}^{i}|\xi(t-\tau)|^{\frac{r_{i}+\theta}{r_{j}}}) \\&\leq {\delta_{1}}L^{1-\gamma_{i1}}(\|\xi(t)\|^{r_{i}+\theta}_{\triangle}+\|\xi(t-\tau)\|^{r_{i}+\theta}_{\triangle}), \end{aligned} \end{eqnarray} | (3.32) |
in which \bar{\delta}_{1}, \delta_{1} > 0 . With the help of Lemmas 1, 2 and (3.32), one can obtain
\begin{eqnarray} \begin{aligned} &|\frac{\partial V_{n}}{\partial\xi(t)}T(t,\xi(t),\xi(t-\tau))| \\ \leq& \tilde{c}_{02}L^{1-\bar{\gamma_{0}}}(\sum\limits_{i = 1}^{n}\| \xi(t)\|^{4\sigma-r_{i}-\theta}_{\triangle}\| \xi(t)\|^{r_{i}+\theta}_{\triangle} \\ &+\sum\limits_{j = 1}^{i}\| \xi(t-\tau)\|^{4\sigma-r_{i}-\theta}_{\triangle}\|\xi(t-\tau)\|^{r_{i}+\theta}_{\triangle})\\ \leq& L^{1-\bar{\gamma_{0}}}(\bar{c}_{02}\|\xi(t)\|^{4\sigma}_{\triangle}+\bar{c}_{02}\|\xi(t)\|^{4\sigma}_{\triangle}\|\xi(t-\tau)\|^{4\sigma}_{\triangle}), \end{aligned} \end{eqnarray} | (3.33) |
where c_{02}, \bar{c}_{02}, \tilde{c}_{02} and \bar{\gamma_{0}} = \min\limits_{1\leq i\leq n}{\gamma_{i1}} are positive constants. Similar to (3.32), we use \delta_{2} and \gamma_{i2} < 1/2 to show that
\begin{eqnarray} \begin{aligned} &|\frac{g_{i}(t,\bar{\xi}(t),\bar{\xi}(t-\tau))}{L^{k_{i}}}| \\ &\leq\frac{1}{L^{k_{i}}}c_{2}\sum\limits_{j = 1}^{i} (|z_{j}(t)|^{\frac{1}{2p_{1}\;\ldots\; p_{i-1}}}+|z_{j}(t)|^{\frac{2r_{i}+\theta}{2r_{j}p_{1}\;\ldots\; p_{i-1}}})\\ &+\frac{1}{L^{k_{i}}}c_{2}c_{2}\sum\limits_{j = 1}^{i} (|z_{j}(t-\tau)|^{\frac{1}{2p_{1}\;\ldots\; p_{i-1}}}+|z_{j}(t-\tau)|^{\frac{2r_{i}+\theta}{2r_{j}p_{1}\;\ldots\; p_{i-1}}})\\ &\leq L^{\frac{1}{2}-\gamma_{i2}}(\|\xi(t)\|+\|\xi(t-\tau)\|)^{r_{i}+\frac{\theta}{2}} \\&\leq {\delta_{2}}L^{\frac{1}{2}-\gamma_{i2}}(\|\xi(t)\|^{r_{i}+\frac{\theta}{2}}_{\triangle}+\|\xi(t-\tau)\|^{r_{i}+\frac{\theta}{2}}_{\triangle}). \end{aligned} \end{eqnarray} |
Using Lemma 1, Lemma 3, Lemma 4 and (3.34), one obtains
\begin{eqnarray} \begin{aligned} &\frac{1}{2}Tr\{\psi(t,\xi(t),\xi(t-\tau))\frac{\partial^{2} V_{n}}{\partial \xi^{2}}\cdot \psi^{T}(t,\xi(t),\xi(t-\tau))\} \\&\leq \frac{1}{2}r\sqrt{r}\sum\limits_{i,j = 1}^{n}|\frac{\partial^{2} V_{n}}{\partial \xi^{2}}||\psi^{T}(t,\xi(t),\xi(t-\tau))||\psi(t,\xi(t),\xi(t-\tau))| \\&\leq \tilde{c}_{03}L^{1-\bar{\gamma_{0}}}\sum\limits_{i,j = 1}^{n}\| \xi(t)\|^{4\sigma-r_{i}-r_{j}-\theta}_{\triangle}\times(\|\xi(t-\tau)\|^{r_{i}+\frac{\theta}{2}}_{\triangle}+\|\xi(t)\|^{r_{i}+\frac{\theta}{2}}_{\triangle}) \\ \; &\; \times(\|\xi(t)\|^{r_{j}+\frac{\theta}{2}}_{\triangle}+\|\xi(t-\tau)\|^{r_{j}+\frac{\theta}{2}}_{\triangle}) \\ &\leq \tilde{c}_{03}L^{1-\bar{\gamma_{0}}}(c_{03}\|\xi(t)\|^{4\sigma}_{\triangle}+\tilde{c}_{03}\bar{c}_{03}\|\xi(t)\|^{4\sigma}_{\triangle}\|\xi(t-\tau)\|^{4\sigma}_{\triangle}) \\&\leq L^{1-\bar{\gamma_{0}}}(c_{03}\|\xi(t)\|^{4\sigma}_{\triangle}+\bar{c}_{03}\|\xi(t)\|^{4\sigma}_{\triangle}\|\xi(t-\tau)\|^{4\sigma}_{\triangle}), \end{aligned} \end{eqnarray} | (3.34) |
in which \tilde{\gamma}_{0} = \min\limits_{1\leq i, j\leq n}\{\gamma_{i2}+\gamma_{j2}\} > 0 , c_{03} > 0, \bar{c}_{03} > 0 and \tilde{c}_{03} > 0 are constants. Based on L > 1 , we have
\begin{eqnarray} \begin{aligned} V(\xi)\leq V_{n}(\xi)+\frac{h_{1}+h_{2}}{1-\gamma}L^{1-\gamma_{0}}\int_{t-\tau}^{t}\|\xi\|^{4\sigma}_{\Delta}d\eta. \end{aligned} \label{49} \end{eqnarray} |
By Definition 1, (3.26), (3.31), (3.33) and (3.34), one has
\begin{eqnarray} \begin{aligned} \mathcal{L}V\leq & \frac{\partial V_{n}}{\partial \xi}LR(\xi)+\frac{\partial V_{n}(\xi)}{\partial \xi}T(t,\xi(t),\xi(t-\tau) \\&+\frac{1}{2}Tr\{\psi^{T}(t,\xi(t),\xi(t-\tau))\frac{\partial^{2} V_{n}}{\partial \xi^{2}}\psi(t,\xi(t),\xi(t-\tau))\} \\ &+(h_{1}+h_{2})L^{1-\gamma_{0}}\cdot(\frac{1}{1-\gamma}\|\xi(t)\|^{4\sigma}_{\triangle}-\|\xi(t-\tau)\|^{4\sigma}_{\triangle}) \\ \leq& -L(c_{01}-(c_{02}+c_{03}+\frac{h_{1}+h_{2}}{1-\gamma})L^{-\gamma_{0}})\cdot \|\xi\|^{4\sigma}_{\triangle}, \end{aligned} \end{eqnarray} | (3.35) |
which satisfies \gamma_{0} = min \{\bar{\gamma}_{0} , \tilde{\gamma}_{0}\} < 1 . Because c_{01} is a constant independent of c_{02}, \; c_{03} , we choose L > L^{\ast} = \max \{(\frac{c_{02}+c_{03}+\frac{h_{1}+h_{2}}{1-\gamma}}{c_{1}})^{\frac{1}{\gamma_{0}}}, 1\} , and there exists a constant B = c_{01}-(c_{02}+c_{03}+\frac{h_{1}+h_{2}}{1-\gamma})L^{-\gamma_{0}} > 0 , such that
\begin{equation} \mathcal{L}V\leq -LB\|\xi\|^{4\sigma}_{\triangle} = -c_{0}|\xi\|^{4\sigma}_{\triangle}. \end{equation} |
With the help of the above formula and (3.28), one obtains
\begin{equation} \mathcal{L}V(\xi(t))\leq-(\frac{c_{0}}{\tilde{c}})\underline{\alpha}_{22}|(|\xi(t)|). \end{equation} |
Briefly, following Steps 1 – 3 , the system has a unique solution on [-d, \infty] , and \xi(t) = 0 is globally asymptotically stable in probability.
Step 4: Because (3.20) is an equivalent transformation, the system composed by (1) and u^{p} = L^{k_{n+1}}v^{p} is similar to the systems (3.20) and (3.22).
Remark 5. Compared with [24], we construct a state-feedback controller independent of time delays for the stochastic nonlinear system. Compared with [30], we use the methods of adding a power integrator to relax the nonlinear growth condition to cover both high-order and low-order nonlinearities. Not only does it not need to know anything information about the unknown function, but also it can reduce burdensome computations.
Remark 6. The homogeneous domination method is used for the first time to solve the stabilization problem of stochastic high-order and low-order nonlinear system (1.1) with time-delay.
Remark 7. In this paper, it is hard to adopt a Lyapunov-Krasovskii functional. In order to solve the above the problem, a suitable Lyapunov-candidate-function is designed to guarantee good system performance, and stabilization analysis is proposed to save better resources
Remark 8. The construction of the controller effectively keeps away from the zero-division problem of \frac{\partial^{2}\xi_{i}^{\ast\mu/r_{i}}}{\partial\xi^{2}_{j}} . It need be noted that the non-zero-division problem and the locally Lipschitz condition (see Step 1 in the proof of Theorem 1 ) should to be guaranteed simultaneously, which will increase more difficulties.
Consider the following stochastic high-order and low-order nonlinear systems with time-delay:
\begin{equation} \left\{ \begin{array}{l} \begin{aligned} &dx_{1}(t) = [x_{2}^{3}(t)+x_{2}^{2}(t)x_{1}(t-1)]dt+\frac{1}{4}x_{1}(t)\sin x_{1}(t-1)d\omega(t),\\ &dx_{2}(t) = [u^{3}(t)+x_{2}(t)\cos x_{2}(t-1)]dt.\\ \end{aligned} \end{array} \right. \end{equation} | (4.1) |
One can see that Assumption 1 is satisfied with p_{1} = p_{2} = 3, \tau = 1, C = 1, r_{1} = 1, \theta = \frac{2}{5} . One can easily get
\begin{equation} |f_{1}| \leq(|z_{1}|+|z_{1}|^{\frac{7}{5}}+|z_{1}(t-1)|+|z_{1}(t-1)|^{\frac{7}{5}})/5, \end{equation} |
\begin{equation} |g_{1}| \leq(|z_{1}|+|z_{1}|^{\frac{16}{5}}+|z_{1}(t-1)|+|z_{1}(t-1)|^{\frac{16}{5}})/8, \end{equation} |
\begin{eqnarray} \begin{aligned} |f_{2}|\leq&(|z_{1}|^{\frac{1}{3}}+|z_{1}|^{\frac{13}{45}}+|z_{2}|^{\frac{1}{3}}+|z_{2}|^{\frac{13}{6}}+|z_{1}(t-1)|^{\frac{1}{3}} \\ &+|z_{1}(t-1)|^{\frac{13}{45}}+|z_{2}(t-1)|^{\frac{1}{3}}+|z_{2}(t-1)|^{\frac{13}{6}})/5. \end{aligned} \end{eqnarray} | (4.2) |
In this simulation, we choose V_{1}(z_{1}) = \frac{1}{5}z_{1}^{5}+\frac{1}{10}z_{1}^{10}+2\int_{t-1}^{t}(z_{1}^{4}+z_{1}^{\frac{4\sigma}{r_{1}}})dl . Several calculations lead to
\begin{eqnarray} \begin{aligned} \mathcal{L}V_{1}\leq&-2(z_{1}^{4}+z_{1}^{\frac{52}{5}})-(z_{1}^{4}(t-1)+z_{1}(t-1)^{\frac{52}{5}}) \\&+(z_{1}+z_{1}^{9})(x_{2}^{3}-\alpha_{1}^{3}), \end{aligned} \end{eqnarray} | (4.3) |
where \alpha^{p_{1}} = -(2n+\beta_{1})(z_{1}^{3}+z_{1}^{\frac{7}{5}}) . By choosing V_{2}(\overline{\eta}_{2}) = V_{1}(\eta_{1})+W_{L2}+W_{H2}+W_{D2} , a direct calculation leads to
\begin{eqnarray} \begin{aligned} \mathcal{L}V_{2}\leq-(z_{1}^{4}+z_{1}^{\frac{52}{5}})-(z_{2}^{4}+z_{2}^{\frac{260}{7}}). \end{aligned} \end{eqnarray} | (4.4) |
From the previous manipulations, one obtains the following actual controller
\begin{eqnarray} \begin{aligned} u(t) = -\varrho^{\frac{1}{9}}(z_{2}+z_{2}^{\frac{13}{45}})^{\frac{1}{9}}{ = -306.771(z_{2}+z_{2}^{\frac{13}{45}})^{\frac{1}{9}}}. \end{aligned} \end{eqnarray} | (4.5) |
The initial condition can be given as \xi_{0}(\theta)\equiv[1, -1]^{T} . Figure 1 illustrates that the globally asymptotically stable in probability has been achieved and the responses of (4.7) is given in Figure 2.
In this technical note, we investigate the state feedback stabilization problem of stochastic high-order and low-order nonlinear systems with time-delay successfully. According to the homogeneous domination method and the design of integral Lyapunov functions, the control strategy is achieved with the controller design. The above results indicate that the closed-loop system is globally asymptotically stable in probability. There still remain problems to be investigated, such as how to take into account output feedback control and how to extend our results under weaker conditions.
This work is supported by National Natural Science Foundation of China under Grant 62173208, Taishan Scholar Project of Shandong Province of China under Grant tsqn202103061, Shandong Qingchuang Science and Technology Program of Universities under Grant 2019KJN036.
The authors declare no conflicts of interest.
[1] | M. Dalir, M. Bashour, Applications of fractional calculus, Applied Mathematical Sciences, 4 (2010), 1021–1032. |
[2] | P. Agarwal, R. Agarwal, M. Ruzhansky, Special functions and analysis of differential equations, Boca Raton: Chapman and Hall/CRC, 2020. http://dx.doi.org/10.1201/9780429320026 |
[3] | M. Ruzhansky, Y. Cho, P. Agarwal, I. Area, Advances in real and complex analysis with applications, Singapore: Birkhäuser, 2017. http://dx.doi.org/10.1007/978-981-10-4337-6 |
[4] | P. Agarwal, D. Baleanu, Y. Chen, S. Momani, J. Machado, Fractional calculus, Singapore: Springer, 2019. http://dx.doi.org/10.1007/978-981-15-0430-3 |
[5] | Y. Chen, X. Ke, Y. Wei, Numerical algorithm to solve system of nonlinear fractional differential equations based on wavelets method and the error analysis, Appl. Math. Comput., 251, (2015), 475–488. http://dx.doi.org/10.1016/j.amc.2014.11.079 |
[6] | S. Mashayekhi, M. Razzaghi, Numerical solution of distributed order fractional differential equations by hybrid functions, J. Comput. Phys., 315, (2016), 169–181. http://dx.doi.org/10.1016/j.jcp.2016.01.041 |
[7] | M. Ilie, J. Biazar, Z. Ayati, Optimal homotopy asymptotic method for first-order conformable fractional differential equations, Journal of Fractional Calculus and Applications, 10 (2019), 33–45. |
[8] |
A. Ahmadian, M. Suleiman, S. Salahshour, D. Baleanu, A Jacobi operational matrix for solving a fuzzy linear fractional differential equation, Adv. Differ. Equ., 2013 (2013), 104. http://dx.doi.org/10.1186/1687-1847-2013-104 doi: 10.1186/1687-1847-2013-104
![]() |
[9] |
J. Xie, Numerical computation of fractional partial differential equations with variable coefficients utilizing the modified fractional Legendre wavelets and error analysis, Math. Method. Appl. Sci., 44 (2021), 7150–7164. http://dx.doi.org/10.1002/mma.7252 doi: 10.1002/mma.7252
![]() |
[10] |
J. Xie, X. Gong, W. Shi, R. Li, W. Zhao, T. Wang, Applying the three-dimensional block-pulse functions to solve system of Volterra-Hammerstein integral equations, Numer. Method. Part. Differ. Equ., 36 (2020), 1648–1661. http://dx.doi.org/10.1002/num.22496 doi: 10.1002/num.22496
![]() |
[11] | M. Usman, M. Hamid, M. Liu, Higher-order algorithms for stable solutions of fractional time-dependent nonlinear telegraph equations in space, Numer. Method. Part. Differ. Equ., in press. http://dx.doi.org/10.1002/num.22744 |
[12] |
B. Moghaddam, A. Dabiri, A. Lopes, J. Machado, Numerical solution of mixed-type fractional functional differential equations using modified Lucas polynomials, Comput. Appl. Math., 38 (2019), 46. http://dx.doi.org/10.1007/s40314-019-0813-9 doi: 10.1007/s40314-019-0813-9
![]() |
[13] |
A. Dabiri, E. Butcher, Efficient modified Chebyshev differentiation matrices for fractional differential equations, Commun. Nonlinear Sci., 50 (2017), 284–310. http://dx.doi.org/10.1016/j.cnsns.2017.02.009 doi: 10.1016/j.cnsns.2017.02.009
![]() |
[14] | M. Hamid, M. Usman, R. Haq, Z. Tian, W. Wang, Linearized stable spectral method to analyze two-dimensional nonlinear evolutionary and reaction-diffusion models, Numer. Method. Part. Differ. Equ., in press. http://dx.doi.org/10.1002/num.22659 |
[15] |
M. Usman, M. Hamid, R. Haq, M. Liu, Linearized novel operational matrices-based scheme for classes of nonlinear time-space fractional unsteady problems in 2D, Appl. Numer. Math., 162 (2021), 351–373. http://dx.doi.org/10.1016/j.apnum.2020.12.021 doi: 10.1016/j.apnum.2020.12.021
![]() |
[16] |
A. El-Sayed, P. Agarwal, Numerical solution of multiterm variable-order fractional differential equations via shifted Legendre polynomials, Math. Method. Appl. Sci., 42 (2019), 3978–3991. http://dx.doi.org/10.1002/mma.5627 doi: 10.1002/mma.5627
![]() |
[17] |
A. El-Sayed, D. Baleanu, P. Agarwal, A novel Jacobi operational matrix for numerical solution of multi-term variable-order fractional differential equations, J. Taibah Univ. Sci., 14 (2020), 963–974. http://dx.doi.org/10.1080/16583655.2020.1792681 doi: 10.1080/16583655.2020.1792681
![]() |
[18] |
P. Agarwal, Q. Al-Mdallal, Y. Cho, S. Jain, Fractional differential equations for the generalized Mittag-Leffler function, Adv. Differ. Equ., 2018 (2018), 58. http://dx.doi.org/10.1186/s13662-018-1500-7 doi: 10.1186/s13662-018-1500-7
![]() |
[19] |
P. Agarwal, F. Qi, M. Chand, G. Singh, Some fractional differential equations involving generalized hypergeometric functions, J. Appl. Anal., 25 (2019), 37–44. http://dx.doi.org/10.1515/jaa-2019-0004 doi: 10.1515/jaa-2019-0004
![]() |
[20] |
E. Oliveira, J. Machado, A review of definitions for fractional derivatives and integral, Math. Probl. Eng., 2014 (2014), 238459. http://dx.doi.org/10.1155/2014/238459 doi: 10.1155/2014/238459
![]() |
[21] |
R. Almeida, A Caputo fractional derivative of a function with respect to another function, Commun. Nonlinear Sci., 44 (2017), 460–481. http://dx.doi.org/10.1016/j.cnsns.2016.09.006 doi: 10.1016/j.cnsns.2016.09.006
![]() |
[22] |
S. Rezapour, S. Etemad, B. Tellab, P. Agarwal, J. Guirao, Numerical solutions caused by DGJIM and ADM methods for multi-term fractional BVP involving the generalized \psi-RL-operators, Symmetry, 13 (2021), 532. http://dx.doi.org/10.3390/sym13040532 doi: 10.3390/sym13040532
![]() |
[23] |
Z. Baitiche, C. Derbazi, J. Alzabut, M. Samei, M. Kaabar, Z. Siri, Monotone iterative method for \psi-Caputo fractional differential equation with nonlinear boundary conditions, Fractal Fract., 5 (2021), 81. http://dx.doi.org/10.3390/fractalfract5030081 doi: 10.3390/fractalfract5030081
![]() |
[24] | Z. Baitiche, C. Derbazi, M. Benchohra, \psi-Caputo fractional differential equations with multi-point boundary conditions by topological degree theory, Results in Nonlinear Analysis, 3 (2020), 167–178. |
[25] |
R. Almeida, Fractional differential equations with mixed boundary conditions, Bull. Malays. Math. Sci. Soc., 42 (2019), 1687–1697. http://dx.doi.org/10.1007/s40840-017-0569-6 doi: 10.1007/s40840-017-0569-6
![]() |
[26] |
R. Almeida, M. Jleli, B. Samet, A numerical study of fractional relaxation oscillation equations involving \psi-Caputo fractional derivative, RACSAM, 113 (2019), 1873–1891. http://dx.doi.org/10.1007/s13398-018-0590-0 doi: 10.1007/s13398-018-0590-0
![]() |
[27] |
A. Mahdy, N. Mukhtar, Second kind shifted Chebyshev polynomials for solving the model nonlinear ODEs, American Journal of Computational Mathematics, 7 (2017), 391–401. http://dx.doi.org/10.4236/ajcm.2017.74028 doi: 10.4236/ajcm.2017.74028
![]() |
[28] |
J. Xie, Z. Yao, H. Gui, F. Zhao, D. Li, A two-dimensional Chebyshev wavelets approach for solving the Fokker-Planck equations of time and space fractional derivatives type with variable coefficients, Appl. Math. Comput., 332 (2018), 197–208. http://dx.doi.org/10.1016/j.amc.2018.03.040 doi: 10.1016/j.amc.2018.03.040
![]() |
[29] |
A. Ahmadian, S. Salahshour, C. Chan, Fractional differential systems: a fuzzy solution based on operational matrix of shifted Chebyshev polynomials and its applications, IEEE T. Fuzzy Syst., 25 (2017), 218–236. http://dx.doi.org/10.1109/TFUZZ.2016.2554156 doi: 10.1109/TFUZZ.2016.2554156
![]() |
[30] | A. Mahdy, R. Shwayyea, Shifted Chebyshev polynomials of the third kind solution for system of non-linear fractional diffusion equations, International Journal of Advance Research, 4 (2016), 1–20. |
[31] | A. Gil, J. Segura, N. Temme, Numerical methods for special functions, New York: Society for Industrial and Applied Mathematics, 2007. http://dx.doi.org/10.1137/1.9780898717822 |
[32] | J. Mason, D. Handscomb, Chebyshev polynomials, Boca Raton: Chapman and Hall/CRC, 2002. |
[33] |
M. El-Kady, A. El-Sayed, Fractional differentiation matrices for solving fractional orders differential equations, International Journal of Pure and Applied Mathematics, 84 (2013), 1–13. http://dx.doi.org/10.12732/ijpam.v84i2.1 doi: 10.12732/ijpam.v84i2.1
![]() |
[34] |
H. Fischer, On the condition of orthogonal polynomials via modified moments, Z. Anal. Anwend., 15 (1996), 223–244. http://dx.doi.org/10.4171/ZAA/696 doi: 10.4171/ZAA/696
![]() |
[35] |
S. Kazem, S. Abbasbandy, S. Kumar, Fractional-order Legendre functions for solving fractional-order differential equations, Appl. Math. Model., 37 (2013), 5498–5510. http://dx.doi.org/10.1016/j.apm.2012.10.026 doi: 10.1016/j.apm.2012.10.026
![]() |
[36] |
M. AlQudah, M. AlMheidat, Generalized shifted Chebyshev Koornwinder type polynomials: basis transformations, Symmetry, 10 (2018), 692. http://dx.doi.org/10.3390/sym10120692. doi: 10.3390/sym10120692
![]() |
[37] | L. Trefethen, Spectral methods in Matlab, New York: Society for Industrial and Applied Mathematics, 2000. http://dx.doi.org/10.1137/1.9780898719598. |
[38] |
C. Bai, Existence and uniqueness of solutions for fractional boundary value problems with p-Laplacian operator, Adv. Differ. Equ., 2018 (2018), 4. http://dx.doi.org/10.1186/s13662-017-1460-3 doi: 10.1186/s13662-017-1460-3
![]() |
[39] |
M. Rehman, A. Idrees, U. Saeed, A quadrature method for numerical solutions of fractional differential equations, Appl. Math. Comput., 307 (2017), 38–49. http://dx.doi.org/10.1016/j.amc.2017.02.053 doi: 10.1016/j.amc.2017.02.053
![]() |
[40] |
Y. G. Wang, H. F. Song, D. Li, Solving two-point boundary value problems using combined homotopy perturbation method and Green function method, Appl. Math. Comput., 212 (2009), 366–376. http://dx.doi.org/10.1016/j.amc.2009.02.036 doi: 10.1016/j.amc.2009.02.036
![]() |
[41] |
M. Rehman, U. Saeed, Gegenbauer wavelets operational matrix method for fractional differential equations, J. Korean Math. Soc., 52 (2015), 1069–1096. http://dx.doi.org/10.4134/JKMS.2015.52.5.1069. doi: 10.4134/JKMS.2015.52.5.1069
![]() |
[42] |
M. Rehman, R. A. Khan, A numerical method for solving boundary value problems for fractional differential equations, Appl. Math. Model., 36 (2012), 894–907. http://dx.doi.org/10.1016/j.apm.2011.07.045 doi: 10.1016/j.apm.2011.07.045
![]() |
[43] |
M. Ismail, U. Saeed, J. Alzabut, M. Rehman, Approximate solutions for fractional boundary value problems via Green-CAS wavelet method, Mathematics, 7 (2019), 1164. http://dx.doi.org/10.3390/math7121164. doi: 10.3390/math7121164
![]() |
[44] |
K. Diethelm, J. Ford, Numerical solution of the Bagley-Torvik equation, BIT, 42 (2002), 490–507. http://dx.doi.org/10.1023/A:1021973025166 doi: 10.1023/A:1021973025166
![]() |
1. | Lulu Wu, 2024, Chapter 40, 978-981-97-3339-2, 450, 10.1007/978-981-97-3340-8_40 | |
2. | Jinping Jia, Hao Dai, Fandi Zhang, Jianwen Huang, Dynamic output feedback stabilization for a class of nonsmooth stochastic nonlinear systems perturbed by multiple time-varying delays, 2024, 112, 0924-090X, 7093, 10.1007/s11071-024-09377-2 |