
The Picard iterative approach used in the paper to derive conditions under which nonlinear ordinary differential equations based on the derivative with the Mittag-Leffler kernel admit a unique solution. Using a simple Euler approximation and Heun's approach, we solved this nonlinear equation numerically. Some examples of a nonlinear linear differential equation were considered to present the existence and uniqueness of their solutions as well as their numerical solutions. A chaotic model was also considered to show the extension of this in the case of nonlinear systems.
Citation: Abdon Atangana, Jyoti Mishra. Analysis of nonlinear ordinary differential equations with the generalized Mittag-Leffler kernel[J]. Mathematical Biosciences and Engineering, 2023, 20(11): 19763-19780. doi: 10.3934/mbe.2023875
[1] | Maysaa Al Qurashi, Saima Rashid, Sobia Sultana, Hijaz Ahmad, Khaled A. Gepreel . New formulation for discrete dynamical type inequalities via h-discrete fractional operator pertaining to nonsingular kernel. Mathematical Biosciences and Engineering, 2021, 18(2): 1794-1812. doi: 10.3934/mbe.2021093 |
[2] | M. Botros, E. A. A. Ziada, I. L. EL-Kalla . Semi-analytic solutions of nonlinear multidimensional fractional differential equations. Mathematical Biosciences and Engineering, 2022, 19(12): 13306-13320. doi: 10.3934/mbe.2022623 |
[3] | Maysaa Al Qurashi, Saima Rashid, Ahmed M. Alshehri, Fahd Jarad, Farhat Safdar . New numerical dynamics of the fractional monkeypox virus model transmission pertaining to nonsingular kernels. Mathematical Biosciences and Engineering, 2023, 20(1): 402-436. doi: 10.3934/mbe.2023019 |
[4] | Muhammad Nadeem, Ji-Huan He, Hamid. M. Sedighi . Numerical analysis of multi-dimensional time-fractional diffusion problems under the Atangana-Baleanu Caputo derivative. Mathematical Biosciences and Engineering, 2023, 20(5): 8190-8207. doi: 10.3934/mbe.2023356 |
[5] | Henryk Leszczyński, Monika Wrzosek . Newtons method for nonlinear stochastic wave equations driven by one-dimensional Brownian motion. Mathematical Biosciences and Engineering, 2017, 14(1): 237-248. doi: 10.3934/mbe.2017015 |
[6] | Ivan Tsyfra, Wojciech Rzeszut . On reducing and finding solutions of nonlinear evolutionary equations via generalized symmetry of ordinary differential equations. Mathematical Biosciences and Engineering, 2022, 19(7): 6962-6984. doi: 10.3934/mbe.2022328 |
[7] | Biplab Dhar, Praveen Kumar Gupta, Mohammad Sajid . Solution of a dynamical memory effect COVID-19 infection system with leaky vaccination efficacy by non-singular kernel fractional derivatives. Mathematical Biosciences and Engineering, 2022, 19(5): 4341-4367. doi: 10.3934/mbe.2022201 |
[8] | Pierre Gabriel . Global stability for the prion equation with general incidence. Mathematical Biosciences and Engineering, 2015, 12(4): 789-801. doi: 10.3934/mbe.2015.12.789 |
[9] | Swadesh Pal, Malay Banerjee, Vitaly Volpert . Spatio-temporal Bazykin’s model with space-time nonlocality. Mathematical Biosciences and Engineering, 2020, 17(5): 4801-4824. doi: 10.3934/mbe.2020262 |
[10] | Süleyman Cengizci, Aslıhan Dursun Cengizci, Ömür Uğur . A mathematical model for human-to-human transmission of COVID-19: a case study for Turkey's data. Mathematical Biosciences and Engineering, 2021, 18(6): 9787-9805. doi: 10.3934/mbe.2021480 |
The Picard iterative approach used in the paper to derive conditions under which nonlinear ordinary differential equations based on the derivative with the Mittag-Leffler kernel admit a unique solution. Using a simple Euler approximation and Heun's approach, we solved this nonlinear equation numerically. Some examples of a nonlinear linear differential equation were considered to present the existence and uniqueness of their solutions as well as their numerical solutions. A chaotic model was also considered to show the extension of this in the case of nonlinear systems.
No viable analytical technique is found in the literature that can be utilized to solve nonlinear differential equations with the generalized-Mittag-Leffler kernel based fractional derivative [1,2,3]. This is caused by both the complexity of the Mittag-Leffler kernel and the nonlinearity of the problem. Because of this, scientists who study this topic typically rely on numerical schemes to find numerical answers to these equations [4,5,6,7,8,9,10,11,12,13,14]. Nonetheless, at least one wants to be certain that these equations admit unique solutions, and the existence and uniqueness theorems are used for this purpose. The existence and uniqueness theorem for initial value issues of ordinary differential equations implies the prerequisite for the existence of a solution to a linear or non-linear initial value problem and guarantees the uniqueness of the discovered solution. Researchers have been working on methods to ensure that nonlinear ordinary differential equations based on the Atangana-Baleanu derivative, a unique solution for the better part of the last ten years [2,3,4,5,11,12,13,14]. Most of these techniques are, in fact, adaptations of those that have been proposed for nonlinear differential equations with classical derivatives [6]. Let us not forget that Picard proposed one of the earliest methods [10,15,16,17,18]. An explicit iteration is then introduced after converting an ordinary differential equation into an integral equation, and in some cases, the Lipschitz condition can be used to ensure that this iteration will eventually converge to a singular solution. The nonlinear equations related to the Atangana-Baleanu fractional derivative will be the subject of our application of this technique.
Nonlinear ordinary differential equations with the Caputo and the Atangana-Baleanu have been recognized as important mathematical differential equations to modeling processes with non-local behaviors. However, due to complexity of these equations, exact solutions are not always easy to obtain using current analytical techniques. Researchers, therefore, rely on numerical approaches to derive numerical solution of these equations. However, before deriving a numerical solution, it is mathematically important to show that the equation has a unique solution under some conditions. One of the approaches to achieve this is to establish a sequence that converges towards a given solution, with some important theorem well-established in literature, and we can conclude that the equation linked to that sequence has a unique solution. In this section, we shall consider the following IVP:
{t0ABCDαty(t)=f(t,y(t))t>0,y(t0)=y0. | (1) |
The above is transformed into:
{y(t)=y(t0)+(1−α)f(t,y(t))+αΓ(α)∫tt0(t−τ)α−1f(t,y(τ))dτ,y(t0)=y(0). | (2) |
We consider the Picard approach to obtain:
{yn(t)=y(t0)+(1−α)f(t,yn−1(t))+αΓ(α)∫tt0(t−τ)α−1f(τ,yn−1(τ))dτ,y(t0)=y(0). | (3) |
where ¯D⊆R×R is a closed rectangle with (t0,y(t0))∈¯D.
We assume that f:[t0−a,t0+a]ׯB(a,r)→R is continuous and bounded by δz. Then the ordinary differential equation with the Atangana-Baleanu derivative has a solution.
Proof: We show that each yn(t) is well-defined. Without loss of generality, we show this only for t∈[t0,t0+¯c].
|yn(t)−y(t0)|≤(1−α)|f(t,yn−1(t))|+αΓ(α)∫tt0(t−τ)α−1|f(t,yn(t))|dτ,≤(1−α)Ω+αΓ(α)Ω∫tt0(t−τ)α−1dτ,≤(1−α)Ω+αΓ(α)Ω(t−t0)αα≤(1−α)Ω+ΩΓ(α)aα,≤(1−α+aαΓ(α))Ω<(1+aαΓ(α))Ω<r. | (4) |
Such that:
a<(rΩΓ(α))1α. |
We show that (yn(t)) is uniformly bounded.
|yn(t)|=|y(t0)|+(1−α)|f(t,yn−1(t))|+αΓ(α)∫tt0f(τ,yn−1(τ))(t−τ)α−1dτ,≤|y(t0)|+(1−α)|f(t,yn−1(t))|+αΓ(α)∫tt0|f(τ,yn−1(τ))(t−τ)α−1dτ|≤|y(t0)|+(1−α)Ω+αΓ(α)Ω∫tt0(t−τ)α−1dτ≤|y(t0)|+(1−α)Ω+αΓ(α)Ωaαα,≤|y(t0)|+Ω(1+aαΓ(α)). | (5) |
We shall show that (yn(t)) is uniformly equicontinuous.
t1,t2∈¯D, such that t1>t2.
|yn(t1)−yn(t2)|=|(1−α){f(t1,yn−1(t1))−f(t2,yn−1(t2))}+αΓ(α)∫t1t0(t1−τ)α−1f(τ,yn−1(τ))dτ−αΓ(α)∫t2t0(t2−τ)α−1f(τ,yn−1(τ))dτ|≤(1−α)|.f(t1,yn−1(t1))−f(t2,yn−1(t2))|+αΓ(α)|.{+∫t2t0(t1−τ)α−1f(τ,yn−1(τ))dτ+∫t1t2(t1−τ)α−1f(τ,yn−1(τ))dτ−∫t2t0(t2−τ)α−1f(τ,yn−1(τ))dτ}|≤(1−α)L|yn−1(t1)−yn−1(t2)|+αΓ(α)∫t2t0|f(τ,yn−1(τ))|{(t1−τ)α−1−(t2−τ)α−1}dτ+αΓ(α)∫t1t2(t1−τ)α−1|f(τ,yn−1(τ))|dτ,≤(1−α)L|yn−1(t1)−yn−1(t2)|+αΓ(α)Ω|−(t1−t2)αα+(t1−t0)αα−(t2−t0)αα|+αΓ(α)Ω(t1−t2)αα. | (6) |
Note that the function tαα is differentiable, therefore, there exists l∈[t1−t0,t2−t0] such that by the Mean Value Theorem,
(t1−t0)αα−(t2−t0)αα=lα−1(t1−t0−(t2−t0)),=lα−1(t1−t2). | (7) |
Therefore:
|yn(t1)−yn(t2)|≤(1−α)L|yn−1(t1)−yn−1(t2)|+αΩΓ(α)lα−1(t1−t2)(t1−t0)+ΩΓ(α)(t1−t2)α. | (8) |
However,
|y1(t1)−y1(t2)|≤(1−α)|f(t1,y0(t1))−f(t2,y0(t2))|αΓ(α)|∫t1t0(t1−τ)α−1f(τ,y0(τ))dτ−∫t2t0(t2−τ)α−1f(τ,y0(τ))dτ≤(1−α)L|y0(t1)−y0(t2)|+αΓ(α)|.∫t2t0(t1−τ)α−1f(τ,y0(τ))dτ+∫t1t2(t1−τ)α−1f(τ,y0(τ))dτ−∫t2t0(t2−τ)α−1f(τ,y0(τ))dτ|≤(1−α)L|y0(t1)−y0(t2)|+αΓ(α)Ω{lα−1(t1−t2)(t1−t0)+αΓ(α)Ω(t1−t2)αα}. | (9) |
But y0(t) is constant, therefore:
|y1(t1)−y1(t2)|≤αΓ(α)Ω(t1−t2)(t1−t0)lα−1+αΩ(t1−t2)ααΓ(α)≤ΩαΓ(α)alα−1(t1−t2)+Ω(t1−t2)αΓ(α)<αΩalα−1Γ(α)δ+ΩδαΓ(α). | (10) |
Assuming that ∀n≥1(yn−1(t)) is equicontinuous.
|y1(t1)−y1(t2)|=|(1−α)f(t1,y0(t1))−(1−α)f(t2,y(t2))+αΓ(α)∫t1t0f(τ,y0(τ))(t1−τ)α−1dτ−αΓ(α)∫t2t0f(τ,y0(τ))(t2−τ)α−1dτ|≤(1−α)|f(t1,y0(t1))−f(t2,y0(t2))|+αΓ(α)|∫t2t0f(τ,y0(τ))(t1−τ)α−1dτ−∫t2t0f(τ,y0(τ))(t2−τ)α−1dτ|+|αΓ(α)∫t1t2f(τ,y0(τ))(t1−τ)α−1dτ|≤(1−α)L|y0(t1)−y0(t2)|+αΓ(α)∫t2t1|f(τ,y0(τ))|{(t1−τ)α−1−(t2−τ)α−1}dτ+αΓ(α)Ω∫t1t2(t1−τ)α−1dτ≤(1−α)L|y0(t1)−y0(t2)|+αΓ(α)Ω{(t1−t2)αα}+αΓ(α)Ω{(t1−t0)αα−(t1−t2)αα−(t2−t0)αα}≤(1−α)L|y0(t1)−y0(t2)|+ΩΓ(α)(t1−t2)α+(1−α)L|y0(t1)−y0(t2)|+ΩΓ(α){(t1−t0)α−(t2−t0)α}. | (11) |
Noting that y0(t) is a constant, therefore, y0(t1)−y0(t2)=0, also (t−t0)α is differentiable, therefore, by the Mean Value Theorem, there exists a l∈[t1−t0,t2−t0] such that α(l−t0)α(t1−t2)=(t1−t0)α−(t2−t0)α.
Then,
|y1(t1)−y1(t2)|≤αΓ(α)Ω(l−t0)α(t1−t2)<αΩlα(t1−t2)Γ(α). | (12) |
|y2(t2)−y2(t2)|≤(1−α)|f(t1,y1(t1))−f(t2,y1(t2))|+αΓ(α)|∫t2t0f(τ,y1(τ))(t1−τ)α−1dτ−∫t2t0f(τ,y1(τ))(t2−τ)α−1dτ+∫t2t1f(τ,y1(τ))(t1−τ)α−1dτ|≤L(1−α)|y1(t1)−y1(t2)|+αΩlα−1(t1−t2)Γ(α)≤L(1−α)αΩlα−1(t1−t2)Γ(α)≤{1+L(1−α)}αΩlα−1(t1−t2)Γ(α)<(1+L)αΩlα−1(t1−t2)Γ(α). | (13) |
|y3(t1)−y3(t2)|≤(1−α)L|y2(t1)−y2(t2)|+αΓ(α)|{∫t2t0f(τ,y2(τ))(t1−τ)α−1dτ−∫t2t0f(τ,y2(τ))(t2−τ)α−1dτ+∫t2t1f(τ,y2(τ))(t1−τ)α−1dτ}|≤(1−α)L(1+L)αΩlα−1(t1−t2)Γ(α)+αΩlα−1(t1−t2)Γ(α)≤L(1+L)Γ(α)αΩlα−1(t1−t2)+αΩlα−1(t1−t2)Γ(α)≤(1+(1+L))αΩlα−1(t1−t2)Γ(α)≤(1+L)2αΩlα−1(t1−t2)Γ(α). | (14) |
|y4(t1)−y4(t2)|≤(1−α)L|y3(t1)−y3(t2)|+αΩlα−1(t1−t2)Γ(α)≤L(1+L)2αΩlα−1(t1−t2)Γ(α)+αΩlα−1(t1−t2)Γ(α)≤(1+L(1+L)2)αΩlα−1(t1−t2)Γ(α)≤(1+L)3Γ(α)lα−1α(t1−t2). | (15) |
Therefore:
|yn−1(t1)−yn−1(t2)|≤(1+L)n−2Γ(α)αΩlα−1(t1−t2).(16) | (16) |
Thus,
|yn(t)−yn(t)|≤(1−α)L|yn−1(t1)−yn−1(t2)|+αΩlα−1(t1−t2)Γ(α)≤(1−α)L(1+L)n−2Γ(α)αΩlα−1(t1−t2)+αΩlα−1(t1−t2)Γ(α)<L(1+L)n−2Γ(α)αΩlα−1(t1−t2)+αΩlα−1(t1−t2)Γ(α)<(1+L(1+L)n−2)Γ(α)αΩlα−1(t1−t2)<(1+L)n−1Γ(α)αΩlα−1(t1−t0). | (17) |
Therefore:
∀ε>0 such that,
|yn(t1)−yn(t2)|<ε, |
(1+L)n−1Γ(α)αΩlα−1(t1−t0)<(1+L)n−1Γ(α)αΩlα−1δ<ε. |
We need,
δ<Γ(α)ε(1+L)n−1lα−1αΩ. |
Therefore, (yn(t)) is equicontinuous.
By the Arzelà-Ascoli theorem, there exist (ynl(t)) of (yn(t)) that converges uniformly to a solution says ¯y(n). Let y1(t) and y2(t) be solutions of the IVP with the ABC derivative, therefore:
|y1(t)−y2(t)|≤(1−α)|f(t,y1(t))−f(t,y2(t))|1+αΓ(α)∫tt0(t−τ)α−1|f(τ,y1(τ))−f(τ,y2(τ))|dτ≤(1−α)L|y1(t)−y2(t)|+αLΓ(α)∫tt0(t−τ)α−1|y1(τ)−y2(τ)|dτ, | (18) |
|y1(t)−y2(t)|{1−(1−α)L}≤αLΓ(α)∫tt0|y1(τ)−y2(τ)|(t−τ)α−1dτ,(19) | (19) |
|y1(t)−y2(t)|≤αLΓ(α){1−(1−α)L}∫tt0|y1(τ)−y2(τ)|(t−τ)α−1dτ,1−(1−α)L>0⇒1<(1−α)L⇒11−α<L, | (20) |
α≠1.
|y1(t)−y2(t)|≤αLΓ(α){1−(1−α)L}∫tt0|y1(τ)−y2(τ)|(t−τ)α−1dτ.(21) | (21) |
By the Gronwall's inequality,
≤0exp{∫tt0(t−τ)α−1dτ},≤0exp[(t−t0)αα],=0. | (22) |
Therefore:
y1(t)=y2(t). |
Assuming that the function f satisfies the Linear growth condition that is to say,
|f(t,u)|2<K(1+|u|2). |
Then, the following inequality can be derived under the condition that, 2α−1>0
|yn(t)|2≤(1−α)2|f(τ,yn−1(τ))|2+2α(1−α)Γ(α)|∫tt0(t−τ)α−1f((τ,yn−1(τ))dτ)||f((τ,yn−1(τ))dτ)|+|αΓ(α)∫tt0(t−τ)α−1f(τ,y(τ)dτ)|2≤(1−α)2K(1+|yn−1|2)+2α(1−α)Γ(α)(∫tt0(t−τ)2α−2dτ)12(∫tt0|f(τ,yn−1(τ))|2dτ)12+(αΓ(α))2∫tt0(t−τ)2α−2dτ∫tt0|f(τ,yn−1(τ))|2dτ≤(1−α)2K(1+|yn−1|2)+2α(1−α)Γ(α)((t−t0)2α−1(2α−1))12(∫tt0K(1+|yn−1|2))12+(αΓ(α))2((t−t0)2α−1(2α−1))∫tt0K(1+|yn−1|2)dτ. | (23) |
Therefore, ∀n≥1, ∀t∈[a,b], we have that,
|yn(t)|2<(1−α)2K(1+|yn−1|2)+2α(1−α)Γ(α)(t−t0)α−12(2α−1)12(∫tt0K(1+|yn−1|2)12dτ)12+(αΓ(α))2((t−t0)2α−1(2α−1))K∫tt0(1+|yn−1|2)dτ. | (24) |
Therefore, for n=1, we have:
|y1(t)|2<(1−α)2K(1+|y0|2)+2α(1−α)Γ(α)(t−t0)α−12(2α−1)12(∫tt0K(1+|y0|2)12dτ)12+(αΓ(α))2((t−t0)2α−1(2α−1))K∫tt0(1+|y0|2)dτ. | (25) |
We note that ∀t∈[a,b], y0(t)=y(t0) which is a constant, thus,
|y1(t)|2<(1−α)2K(1+|y0|2)+2α(1−α)Γ(α)(t−t0)α−12(2α−1)12(K(1+|y(t0)|2))12(t−t0)12+(αΓ(α))2(t−t0)2α(2α−1)K(1+|y(t0)|2). | (26) |
In particular,
|y1(t)|2<(1−α)2K(1+|y0|2)+2α(1−α)Γ(α)(b−t0)α−12(2α−1)12(K(1+|y(t0)|2))12(b−t0)12+(αΓ(α))2(b−t0)2α2α−1. | (27) |
Therefore, ∀t∈[a,b].
|y1(t)|2<¯K. |
Where
¯K=(1−α)2K(1+|t0|2)+2α(1−α)Γ(α)(b−t0)α−12(2α−1)12(K(1+|y(t0)|2))12(b−t0)12+(αΓ(α))2(b−t0)2α2α−1.∀t∈[a,b].|y2(t)|2<(1−α)2K(1+|y1(t)|2)+2α(1−α)Γ(α)(t−t0)α−12(2α−1)12(K(1+|y1(t)|2))12(t−t0)12+(αΓ(α))2(t−t0)2α2α−1K(1+|y1(t0)|2), | (28) |
|y2(t)|2<(1−α)2K(1+¯K2)+2α(1−α)Γ(α)(t−t0)α−12(2α−1)12(K(1+¯K2))12(t−t0)12+(αΓ(α))2(t−t0)2α(2α−1)K(1+¯K2)<¯K1. | (29) |
Thus, we assume that ∀t∈[a,b]∀n≥1.
(yn−1(t))2<¯Kn |
Then,
|¯yn(t)|2<(1−α)2K(1+yn−1(t)2)+2α(1−α)Γ(α)(b−t0)α−12(2α−1)12(K(1+|yn−1|2))12(b−t0)12+(αΓ(α))2(b−t0)2α2α−1K(1+|yn−1|2). | (30) |
By inductive hypothesis, we have that that ∀t∈[a,b]∀n≥1.
|yn−1|2<¯Kn−1, |
Therefore,
|yn(t)|2<(1−α)2K(1+¯Kn−12)+2α(1−α)Γ(α)(b−t0)α−12(2α−1)12K(1+¯Kn−12)(b−t0)12+(αΓ(α))2(b−t0)2αK(1+¯Kn−12)¯Kn−12(b−t0)2α2α−1<¯Kn. | (31) |
∀n≥1, we take,
Km=max1≤l≤n{¯Kl}, |
∀t∈[a,b]∀n≥1|yn(t)|2<Km. |
We can now proceed with the numerical solution since such equations are usually nonlinear.
In this section, we aim to provide a numerical solution to the general IVP where the derivative is that of ABC.
{t0ABCDαty(t)=f(t,y(t)),t>0y(t0)=y0ift=t0.. | (32) |
Applying the AB integral on both sides, yields:
y(t)=y(t0)+(1−α)f(t,y(t))+αΓ(α)∫tt0f(τ,y(τ))(t−τ)α−1dτ. | (33) |
We consider the above when t=tn+1.
y(tn+1)=y(t0)+(1−α)f(tn+1,y(tn+1))+αΓ(α)∫tn+1t0f(τ,y(τ))(tn+1−τ)α−1dτ, | (34) |
y(tn+1)=y(t0)+(1−α)f(tn+1,y(tn+1))+αΓ(α)n∑j=0∫tj+1tjf(τ,y(τ))(tn+1−τ)α−1dτ,yn+1=y0+(1−α)f(tn+1,¯yn+1)+hαΓ(α)n∑j=0f(tj+1,yj+1){(n−j+1)α−(n−j)α},yn+1=y0+(1−α)f(tn+1,¯yn+1)+hαΓ(α)n−1∑j=0f(tj+1,yj+1){(n−j+1)α−(n−j)α}+hαΓ(α)f(tn+1,¯yn+1),¯yn+1=y0+(1−α)f(tn,yn)+hαΓ(α)n∑j=0f(tj,yj){(n−j+1)α−(n−j)α}. | (35) |
The above scheme will be used to solve some ordinary nonlinear differential equations and a system of chaotic problem in the next section. The method used above is the simple Euler approximation of the nonlinear functions fz(x,y,z,t), fy(x,y,z,t) and fx(x,y,z,t) within the interval [tj,tj+1]. However, instead of ending at the point tn, we decided to end at tn+1, this makes the scheme become implicit. To solve this problem, we introduced the corrector factor ¯Xn+1=(¯xn+1,¯yn+1,¯zn+1) these components are obtained via the simple Euler approximation.
In this first example, we will look at the Solow-Swan model [11,12]. We will mention that the model aimed at augmenting with human capital predicts that if poor countries have similar savings rates for both physical capital and human capital as a share of output, the poor countries' income levels will tend to catch up with or converge towards the income levels of rich countries, a process known as conditional convergence [11,12]. However, savings rates vary greatly between countries. Saving rates for human capital are anticipated to differ because of cultural and ideological factors in each country, given the significant finance restrictions for investment in education [11,12]. The model will be expanded to include the situation of fractional differential equations. However, before applying the presented numerical scheme, we shall first show that the model satisfies conditions under which a unique solution exists. We shall also show that the system satisfies the conditions under which associated Picard iteration converges.
{t0ABRDαty(t)=f(t,y(t)),t>0y(t0)=y0ift=t0. | (36) |
We shall verify the property of f(t,y(t)).
|f(t,y(t))|=|ayb(t)−(λ1+λ2+λ3)y(t)|,≤a|yb(t)|+|λ1+λ2+λ3||y(t)|.≤a|y(t)|b+|λ1+λ2+λ3||y(t)|. | (37) |
If we assume that y(t) has maximum point, then,
|f(t,y(t))|≤amaxt∈[t0,T]|y(t)|b+(λ1+λ2+λ3)|y(t0)|,≤a||y||b∞+(λ1+λ2+λ3||y||∞),≤max{||y||b∞,||y||∞}(a+1λ1+λ2+λ3)≤¯M<∞. | (38) |
Under the condition that y(t) is bounded, then f(t,y(t)) is bounded too.
We shall now apply the numerical scheme on the equation.
f(t,y(t))=ayb(t)−(λ1+λ2+λ3)y(t) | (39) |
yn+1=y(t0)+(1−α)[a¯ybn+1−(λ1+λ2+λ3)¯yn+1]hαΓ(α)n−1∑j=2[aybj+1−(λ1+λ2+λ3)yj+1]{(n−j+1)αs−(n−j)α}+hαΓ(α)[a¯ybn+1−(λ1+λ2+λ3)¯yn+1], | (40) |
where
¯yn+1=y(t0)+(1−α)[aybn−(λ1+λ2+λ3)yn]+hαΓ(α)n∑j=0[aybj−(λ1+λ2+λ3)yj]{(n−j+1)α−(n−j)α}. | (41) |
Numerical simulations will be presented next. However, we shall apply this to a system of nonlinear equations. We consider the following nonlinear system:
{t0ABCDαtx(t)=ay(t)+b(α+βy2(t))z(t)t0ABCDαty(t)=z(t)t0ABCDαtz(t)=x(t)−(y(t)−z(t)−Bsinh(dx)) | (42) |
With initial conditions,
(2,0.1,1),a=b=c=2 | (43) |
We have that,
{t0ABCDαtx(t)=fx(x,y,z,t),t0ABCDαty(t)=fy(x,y,z,t),t0ABCDαtz(t)=fz(x,y,z,t). | (44) |
Indeed, by posing some conditions on x,y,z we can show that fx,fy and fz are bounded and satisfies the Lipschitz condition, therefore, with the Picard iteration, we can conclude the system has a system of unique solutions. The numerical solutions are given as:
xn+1=x0+(1−α)fx(¯xn+1,¯yn+1,¯zn+1,tn+1)+hαΓ(α)n−1∑j=0f(tj,xj,yj,zj){(n−j+1)α−(n−j)α}+hαΓ(α)fx(¯xn+1,¯yn+1,¯zn+1,tn+1). | (45) |
Where the predictor components are presented as follows:
¯xn+1=x0+(1−α)fx(xn,yn,zn,tn)+hαΓ(α)n∑j=0fx(tj,xj,yj,zj){(n−j+1)α−(n−j)α}.yn+1=y0+(1−α)fy(¯xn+1,¯yn+1,¯zn+1,tn+1)+hαΓ(α)n−1∑j=0fy(tj,xj,yj,zj){(n−j+1)α−(n−j)α}+hαΓ(α)fy(¯xn+1,¯yn+1,¯zn+1,tn+1).¯zn+1=y0+(1−α)fy(xn,yn,zn,tn)+hαΓ(α)n∑j=0fz(tj,xj,yj,zj){(n−j+1)α−(n−j)α},zn+1=y0+(1−α)fz(¯xn+1,¯yn+1,¯zn+1,tn+1)+hαΓ(α)n−1∑j=0fz(tj,xj,yj,zj){(n−j+1)α−(n−j)α}+hαΓ(α)fz(¯xn+1,¯yn+1,¯zn+1,tn+1),¯zn+1=z0+(1−α)fz(xn,yn,zn,tn)+hαΓ(α)n∑j=0fz(tj,xj,yj,zj){(n−j+1)α−(n−j)α}. | (46) |
We present here the numerical simulations of the above model for different values of fractional order and initial conditions. For these simulations, we have considered the step size to be 0.01, the initial conditions are given as x(0)=−2;y(0)=0.1;z(0)=1;h=0.01. The numerical solutions are depicted in Figures 1–3.
It has been acknowledged that the derivative based on the generalized Mittag-Leffler kernel is an operator with significant features that show up in several real-world applications. An important family of nonlinear ordinary differential equations that are utilized to model processes with crossover from fading to power law patterns have been established because of this derivative. The circumstances under which IVP with this derivative admit a unique solution were determined in this study using an iteration technique. To numerically solve these equations with various examples, we used the predictor corrector method and a straightforward Euler approximation.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors declare there is no conflict of interest.
[1] |
A. Atangana, D. Baleanu, Dumitru, New fractional derivatives with nonlocal and non-singular kernel: Theory and application to heat transfer model, Thermal Sci., 20 (2016), 763–769. https://doi.org/10.2298/TSCI160111018A doi: 10.2298/TSCI160111018A
![]() |
[2] |
H. Khan, A. Khan, F. Jarad, A. Shah, Existence and data dependence theorems for solutions of an ABC-fractional order impulsive system, Chaos Solitons Fractals, 131 (2020), 109477. https://doi.org/10.1016/j.chaos.2019.109477 doi: 10.1016/j.chaos.2019.109477
![]() |
[3] |
A. Kumar, D. N. Pandey, Existence of mild solution of Atangana-Baleanu fractional differential equations with non-instantaneous impulses and with non-local conditions, Chaos Solitons Fractals, 132 (2020), 1–4. https://doi.org/10.1016/j.chaos.2019.109551 doi: 10.1016/j.chaos.2019.109551
![]() |
[4] |
K. Logeswari, C. Ravichandran, A new exploration on existence of fractional neutral integrodifferential equations in the concept of Atangana-Baleanu derivative, Phys. A, 544 (2020), 123454. https://doi.org/10.1016/j.physa.2019.123454 doi: 10.1016/j.physa.2019.123454
![]() |
[5] | R. P. Agarwal, V. Lakshmikantham, Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations, World Scientific, 2013. |
[6] |
R. Lyons, A. S. Vatsala, R. A. Chiquet, Picard's Iterative Method for Caputo Fractional Differential Equations with Numerical Results, Mathematics, 5 (2017), 65. https://doi.org/10.3390/math5040065 doi: 10.3390/math5040065
![]() |
[7] | C. Arzelà, Sulle funzioni di line, Mem. Accad. Sci., 5 (1895), 55–74. |
[8] | C. Arzelà, Un'osservazione intorno alle serie di funzioni, Tipografia Gamberini e Parmeggiani (1883), 142–159. |
[9] | G. Ascoli, Le curve limite di una varietà data di curve, Coi tipi del Salviucci, (1884), 521–586. |
[10] | K. A. Atkinson, An Introduction to Numerical Analysis, New York, John Wiley & Sons, 1989. |
[11] | R. J. Barro, X. Sala-i-Martin, Growth Models with Exogenous Saving Rates, New York, McGraw-Hill, (2004), 37–51. |
[12] | D. Acemoglu, The solow growth model, Introduction to Modern Economic Growth, Princeton University Press, (2009), 26–76. |
[13] |
A. Khan, H. Khan, J. F. Gómez-Aguilar, T. Abdeljawad, Existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel, Chaos Solitons Fractals, 127 (2019), 422–427. https://doi.org/10.1016/j.chaos.2019.07.026 doi: 10.1016/j.chaos.2019.07.026
![]() |
[14] |
M. Gozen, On the existence and uniqueness of positive periodic solutions of neutral differential equations, J. Nonlinear Var. Anal., 7 (2023), 367–379. https://doi.org/10.23952/jnva.7.2023.3.03 doi: 10.23952/jnva.7.2023.3.03
![]() |
[15] | Uri M. Ascher, L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Philadelphia: Society for Industrial and Applied Mathematics, 1998. |
[16] | J. C. Butcher, Numerical Methods for Ordinary Differential Equations, New York, John Wiley & Sons, 2003. |
[17] | E. Hairer, S. P. Nørsett, G. Wanner, Solving ordinary differential equations I: Nonstiff problems, Berlin, New York, Springer-Verlag, 1993. |
[18] | Uri M. Ascher, L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Philadelphia: Society for Industrial and Applied Mathematics, 1998. |
1. | Samy A. Harisa, Nashat Faried, V. Vijayaraj, C. Ravichandran, Ahmed Morsy, Muhammad Nadeem, Investigation on integro-differential equations with fractional boundary conditions by Atangana-Baleanu-Caputo derivative, 2024, 19, 1932-6203, e0301338, 10.1371/journal.pone.0301338 |