
The parametrized approach is extended in this study to find solutions to differential equations with fractal, fractional, fractal-fractional, and piecewise derivatives with the inclusion of a stochastic component. The existence and uniqueness of the solution to the stochastic Atangana-Baleanu fractional differential equation are established using Caratheodory's existence theorem. For the solution of differential equations using piecewise differential operators, which take into account combining deterministic and stochastic processes utilizing certain significant mathematical tools such as fractal and fractal-fractional derivatives, the applicability of the parametrized technique is being examined. We discuss the crossover behaviors of the model obtained by including these operators and we present some illustrative examples for some problems with piecewise differential operators.
Citation: Seda IGRET ARAZ, Mehmet Akif CETIN, Abdon ATANGANA. Existence, uniqueness and numerical solution of stochastic fractional differential equations with integer and non-integer orders[J]. Electronic Research Archive, 2024, 32(2): 733-761. doi: 10.3934/era.2024035
[1] | J. Vanterler da C. Sousa, Kishor D. Kucche, E. Capelas de Oliveira . Stability of mild solutions of the fractional nonlinear abstract Cauchy problem. Electronic Research Archive, 2022, 30(1): 272-288. doi: 10.3934/era.2022015 |
[2] | Shufen Zhao . The S-asymptotically $ \omega $-periodic solutions for stochastic fractional differential equations with piecewise constant arguments. Electronic Research Archive, 2023, 31(12): 7125-7141. doi: 10.3934/era.2023361 |
[3] | Li Tian, Ziqiang Wang, Junying Cao . A high-order numerical scheme for right Caputo fractional differential equations with uniform accuracy. Electronic Research Archive, 2022, 30(10): 3825-3854. doi: 10.3934/era.2022195 |
[4] | Waleed Mohamed Abd-Elhameed, Omar Mazen Alqubori, Abdulrahman Khalid Al-Harbi, Mohammed H. Alharbi, Ahmed Gamal Atta . Generalized third-kind Chebyshev tau approach for treating the time fractional cable problem. Electronic Research Archive, 2024, 32(11): 6200-6224. doi: 10.3934/era.2024288 |
[5] | Shufen Zhao, Xiaoqian Li, Jianzhong Zhang . S-asymptotically $ \omega $-periodic solutions in distribution for a class of stochastic fractional functional differential equations. Electronic Research Archive, 2023, 31(2): 599-614. doi: 10.3934/era.2023029 |
[6] | Noosheza Rani, Arran Fernandez . An operational calculus formulation of fractional calculus with general analytic kernels. Electronic Research Archive, 2022, 30(12): 4238-4255. doi: 10.3934/era.2022216 |
[7] | Eman A. A. Ziada, Hind Hashem, Asma Al-Jaser, Osama Moaaz, Monica Botros . Numerical and analytical approach to the Chandrasekhar quadratic functional integral equation using Picard and Adomian decomposition methods. Electronic Research Archive, 2024, 32(11): 5943-5965. doi: 10.3934/era.2024275 |
[8] | Mustafa Aydin, Nazim I. Mahmudov, Hüseyin Aktuğlu, Erdem Baytunç, Mehmet S. Atamert . On a study of the representation of solutions of a $ \Psi $-Caputo fractional differential equations with a single delay. Electronic Research Archive, 2022, 30(3): 1016-1034. doi: 10.3934/era.2022053 |
[9] | Vo Van Au, Jagdev Singh, Anh Tuan Nguyen . Well-posedness results and blow-up for a semi-linear time fractional diffusion equation with variable coefficients. Electronic Research Archive, 2021, 29(6): 3581-3607. doi: 10.3934/era.2021052 |
[10] | Jinheng Liu, Kemei Zhang, Xue-Jun Xie . The existence of solutions of Hadamard fractional differential equations with integral and discrete boundary conditions on infinite interval. Electronic Research Archive, 2024, 32(4): 2286-2309. doi: 10.3934/era.2024104 |
The parametrized approach is extended in this study to find solutions to differential equations with fractal, fractional, fractal-fractional, and piecewise derivatives with the inclusion of a stochastic component. The existence and uniqueness of the solution to the stochastic Atangana-Baleanu fractional differential equation are established using Caratheodory's existence theorem. For the solution of differential equations using piecewise differential operators, which take into account combining deterministic and stochastic processes utilizing certain significant mathematical tools such as fractal and fractal-fractional derivatives, the applicability of the parametrized technique is being examined. We discuss the crossover behaviors of the model obtained by including these operators and we present some illustrative examples for some problems with piecewise differential operators.
Fractional analysis is a theory that started with Leibniz asking if there is a derivative of order 1/2 of a function. This theory interested many researchers when different types of fractional derivatives were introduced. One well-known definition is the Riemann-Liouville fractional derivative where the power-law kernel is incorporated. Caputo [1] introduced a derivative with a modification on the Riemann-Liouville fractional derivative [2] because it was useful in theory but not appropriate for solving real-life problems. These operators, which are used to model power law processes, have behavior that is both nonlocal and singular. Even though some processes are unique, another form of math is needed to describe processes that behave differently. Caputo and Fabrizio [3] have created a mathematical concept called a derivative with fading memory, which uses an exponential pattern. This derivative deals with processes that behave predictably and within a small area. However, we needed a derivative that is predictable but acts over a larger area. The Atangana-Baleanu fractional derivative [4] is a mathematical tool that meets this requirement, and it utilizes the Mittag-Leffler function. The fractal derivative or Hausdorff derivative [5] is a different kind of derivative used for measuring fractals in fractal geometry. Fractal derivatives were made to study how things spread in a strange way when normal ways of studying do not consider the fractal shape of the thing that things are spreading through. A fractal measure t changes its size in relation to t raised to the power of β. This type of derivative is only used in a specific area, unlike the fractional derivative, which is used in a similar way. Later, Atangana introduced fractal-fractional derivatives [6] by combining the concepts of fractal and fractional derivatives. Although there is no doubt that fractional differential operators are useful in modeling relevant processes [7,8,9,10,11], these operators cannot be used to model crossover processes such as from stochastic to power-law or from fading memory to stochastic [12,13,14,15]. Concluding that a new class of differential operators was needed for this, Atangana and Araz introduced piecewise differential operators [16], which can be created by including various differential operators to model such processes. These operators, which can be used to describe many processes, from modeling the different rates (or even stopping) of an individual's heartbeat over a period of time, to modeling the spread of a virus, first cumulatively and then daily, have become focus of attention for researchers.
In order to better understand and analyze the processes discussed, it is necessary to solve the equations that represent these processes. Because it is difficult to solve these equations using analytic methods when the operators mentioned above and the nonlinearity of the associated equations are involved, we have to use numerical methods to obtain solutions to such equations. The parametrized method, which deals with the approximation of a function with constants depending on a parameter, is one of the well-known numerical methods. While the parameterized method is presented in the literature [8,9,10] for classical differential equations, Atangana and Araz [17] extended this method to solve fractional and fractal-fractional differential equations. The parametrized method was compared with existing methods in the literature in [17] and it was shown that the method is more effective than other methods, especially when the parameter is close to 1.
However, in [17], the application of the relevant method to stochastic differential equations with fractional, fractal-fractional and piecewise derivatives [16] is not taken into account. Therefore, in this study, we present the derivation of this method for stochastic differential equations with fractional, fractal-fractional and piecewise derivatives. We employ the parametrized method to solve different types of equations obtained by incorporating these mathematical tools into differential equations. Before presenting the associated method, first the definitions of the above-mentioned fractional, fractal fractional and piecewise derivatives will be presented. In the following section, with the help of Carathéodory conditions [15,16], the existence and uniqueness of the solution of Atangana-Baleanu stochastic differential equations [18] will be investigated. In the remaining sections, in addition to the derivation of the parametrized method with these derivatives, some illustrative examples will be included.
In this section, the definitions of fractional derivatives with power law behavior, fading memory and exhibiting power law behavior after fading memory, fractal-fractional derivatives and piecewise derivatives, which can be represented in different ways by including fractional and fractal-fractional derivatives, will be discussed.
The Caputo-Fabrizio fractional derivative [3] of the function f(t)∈H1(0,T) is defined by
CF0Dαtf(t)=11−α∫t0f′(τ)exp[−α1−α(t−τ)]dτ, | (2.1) |
where 0<α<1 and H1(0,T) describes the Hilbert space. The associated integral is given as
CF0Jαtf(t)=(1−α)f(t)+α∫t0f(τ)dτ. | (2.2) |
The Caputo fractional derivative [1] of the function f(t)∈H1(0,T) is defined by
C0Dαtf(t)=1Γ(1−α)∫t0f′(τ)(t−τ)−αdτ, | (2.3) |
where 0<α≤1 and the Riemann-Liouville fractional derivative of the function f(t)∈C(0,T) is defined by
RL0Dαtf(t)=1Γ(1−α)ddt∫t0f(τ)(t−τ)−αdτ. | (2.4) |
The integral with power-law kernel [2] is given by
RL0Jαtf(t)=1Γ(α)∫t0f(τ)(t−τ)α−1dτ. | (2.5) |
The following formulas describe the Atangana-Baleanu fractional derivative [4], which has the crossover behavior from stretched exponential to power-law,
ABC0Dαtf(t)=11−α∫t0f′(τ)Eα[−α1−α(t−τ)α]dτ, | (2.6) |
and
ABR0Dαtf(t)=11−αddt∫t0f(τ)Eα[−α1−α(t−τ)α]dτ. | (2.7) |
The above operators are called Atangana-Baleanu fractional derivative in the Caputo sense and Atangana-Baleanu fractional derivative in the Riemann-Liouville sense [4], respectively. The associated integral is given by
AB0Jαtf(t)=(1−α)f(t)+αΓ(α)∫t0f(τ)(t−τ)α−1dτ. | (2.8) |
The concept of fractal-fractional differentiation and integration has appeared previously with the idea of combining the fractal and fractional derivatives. The fractal-fractional derivative [6] with power-law kernel is defined by
FFP0Dα,βtf(t)=1Γ(1−α)ddtβ∫t0f(τ)(t−τ)−αdτ, | (2.9) |
where the definition of fractal derivative [5] is
ddtβf(t)=limt→t1f(t)−f(t1)tβ−tβ1. | (2.10) |
The associated fractal-fractional integral [6] with power-law kernel is given by
FFP0Jαtf(t)=1Γ(α)∫t0βτβ−1f(τ)(t−τ)α−1dτ. | (2.11) |
The fractal-fractional derivative with Mittag-Leffler kernel [6] is defined by
FFM0Dα,βtf(t)=11−αddtβ∫t0f(τ)Eα[−α1−α(t−τ)α]dτ | (2.12) |
and the associated fractal-fractional integral is given by
FFM0Jαtf(t)=(1−α)βtβ−1f(t)+αΓ(α)∫t0βτβ−1f(τ)(t−τ)α−1dτ. | (2.13) |
The fractal-fractional derivative with exponential decay kernel [6] is defined by
FFE0Dα,βtf(t)=11−αddtβ∫t0f(τ)exp[−α1−α(t−τ)]dτ | (2.14) |
and the associated fractal-fractional integral is given by
FFE0Jαtf(t)=(1−α)βtβ−1f(t)+α∫t0βτβ−1f(τ)dτ. | (2.15) |
We now present the definitions of the piecewise derivative and integral operators, which made significant contribution to literature [16].
The piecewise derivative with classical and fractional derivative with power-law kernel such that it can be taken as [16]
PRL0Dαty (t)={y′(t) if 0≤t≤t0RLt0Dαty (t) if t0≤t≤T | (2.16) |
where PRL0Dαt represents the classical derivative within 0≤t≤t0 and the Riemann-Liouville fractional derivative within t0≤t≤T.
The piecewise with Caputo derivative is given as [16]
PC0Dαty (t)={y′(t) if 0≤t≤t0Ct0Dαty (t) if t0≤t≤T | (2.17) |
where the function y(t) is continuous but not necessarily differentiable in [t0,T]. Here, PRL0Dαt represents the classical derivative on 0≤t≤t0 and the Caputo fractional derivative [1] on t0≤t≤T. The associated piecewise integral of y is given as [16]
PPLIty (t)={∫t00y (τ)dτ if 0≤t≤t01Γ(α)∫tt0y (τ)(t−τ)α−1dτ if t0≤t≤T | (2.18) |
where PPL0Iαt represents the classical integral on 0≤t≤t0 and the integral with power-law kernel on t0≤t≤T. The piecewise derivative with classical derivative and exponential decay kernel is given as [16]
PCF0Dαty (t)={y′(t) if 0≤t≤t0CFt0Dαty (t) if t0≤t≤T | (2.19) |
where PCF0Dαt is the classical derivative on 0≤t≤t0 and the Caputo-Fabrizio fractional derivative[3] on t0≤t≤T. Here, it is assumed that the function y(t) is differentiable. A piecewise integral is given as [16]
PCFIty (t)={∫t00y (τ)dτ if 0≤t≤t01−αM(α)y (t)+αM(α)∫tt0y (τ)dτ if t0≤t≤T. | (2.20) |
The piecewise derivative with classical derivative and Mittag-Leffler kernel is defined by [16]
PAB0Dαty (t)={y′(t) if 0≤t≤t0ABCt0Dαty (t) if t0≤t≤T | (2.21) |
where PAB0Dαt represents the classical derivative on 0≤t≤t0 and the Atangana-Baleanu fractional derivative [4] on t0≤t≤T. The associated piecewise integral is given as [16]
PABIty (t)={∫t00y (τ)dτ if 0≤t≤t0(1−α)y (t)+αΓ(α)∫tt0y (τ)(t−τ)α−1dτ if t0≤t≤T. | (2.22) |
Lemma 1. (The generalization of the Gronwall inequality) Assume that b≥0,α>0, and x(t) is a nonnegative function locally integrable on 0≤t<T, and assume that y(t) is nonnegative and locally integrable on 0≤t<T with
y(t)≤x(t)+b∫t0y(τ)(t−τ)α−1dτ. | (2.23) |
Then,
y(t)≤x(t)+∫t0[∞∑n=1(bΓ(α))nΓ(nα)y(τ)(t−τ)nα−1x(τ)]dτ. | (2.24) |
Definition 1. (Stirling formula) The Stirling formula for the Gamma function is formulated by
Γ(x)∼√2πe−xxx−12. | (2.25) |
In this section, we prove the existence and uniqueness of the solution for the Atangana-Baleanu stochastic differential equation [18] by employing Carathéodory's existence theory [19,20], which is a more general version of Peano's existence theorem. It is worth noting that the existence and uniqeness of the solution for stochastic differential equations with the Caputo fractional derivative is presented in [21]. Here, we will examine the existence and uniqueness of the stochastic differential equation with Atangana-Baleanu fractional derivative. The differential equation under investigation is represented in the form:
AB0Dαty(t)=f1(t,y)dt+σy(t)dB(t),t≥0y(t0)=y0 | (3.1) |
under the conditions
E1) For all y, ˉy∈H, there is a constant k>0 such that
|f1(t,y)−f1(t,ˉy)|2,|f2(t,y)−f2(t,ˉy)|2≤k|y−ˉy|2,t≥0. | (3.2) |
E2) For all y∈H, there is a constant ˉk>0 such that
|f1(t,y)|2,|f2(t,y)|2≤ˉk(1+|y|2),t≥0 | (3.3) |
where H is a Banach space. Note that conditions E1 and E2 are known as the Lipschitz condition and the growth condition, respectively.
Theorem 1. For each y0∈L2(Ω,H), Eq (26) has a unique mild solution y∈C([0,T],L2(Ω,H))=S such that
sup0≤t≤TE|y|2<∞. |
Proof. For the proof, we will use the contraction mapping principle. Before proceeding with the proof, we define the norm
‖η‖2γ=sup0≤t≤TE|η(t)|2 | (3.4) |
where E denotes the expectation.
For any t∈[0,T] and y∈S, we define the mapping subject to Ω=C([0,T],L2(Ω,H))→C([0,T],L2(Ω,H))
(Λy)(t)=y0+(1−α)f1(t,y)+(1−α)σy(t)B′(t)+αΓ(α)∫t0f1(s,y)(t−s)α−1ds+ασΓ(α)∫t0y(s)(t−s)α−1dB(s). | (3.5) |
Thus, we write
E|(Λy)(t)−(Λˉy)(t)|2=E|(1−α)(f1(t,y)−f1(t,ˉy))+(1−α)σ(y(t)−ˉy(t))B′(t)+αΓ(α)∫t0(f1(s,y)−f1(s,ˉy))(t−s)α−1ds+ασΓ(α)∫t0(y(s)−ˉy(s))(t−s)α−1dB(s)|2. | (3.6) |
Taking 2α−1>0, by the Cauchy-Schwartz inequality, Ito's isometry formula and the Lipschitz condition [22], we have
E|(Λy)(t)−(Λˉy)(t)|2≤4(1−α)2kσ(1+|B′|2)E|y−ˉy|2+(T+1)4α2kΓ2(α)∫t0E|y−ˉy|2(t−s)2α−2ds≤4(1−α)2σk(1+|B′|2)‖y−ˉy‖γ+(T+1)4α2kΓ2(α)t2α−1(2α−1)‖y−ˉy‖γ≤4σ(1−α)2k(1+supt∈[0,T]|B′|2)‖y−ˉy‖γ+(T+1)4α2kΓ2(α)t2α−1(2α−1)‖y−ˉy‖γ≤4σ(1−α)2k(1+‖B′‖∞)‖y−ˉy‖γ+(T+1)4σα2kΓ2(α)t2α−1(2α−1)‖y−ˉy‖γ≤˜k‖y−ˉy‖γ, | (3.7) |
where
˜k=4σ(1−α)2k(1+‖B′‖∞)+(T+1)4σα2kΓ2(α)t2α−1(2α−1). | (3.8) |
Using the generalized Gronwall inequality [23], we write
E|(Λ2y)(t)−(Λ2ˉy)(t)|≤4σ(1−α)2k(1+‖B′‖∞)E|Λy−Λˉy|2 | (3.9) |
+4σα2k(T+1)Γ2(α)∫t0(t−s)2α−2E|Λy−Λˉy|2ds≤4σ(1−α)2k(1+‖B′‖∞)[4(1−α)2k(1+‖B′‖∞)+(T+1)4α2kΓ2(α)t2α−1(2α−1)] | (3.10) |
+4σα2k(T+1)Γ2(α)∫t0(t−s)2α−2[4(1−α)2k(1+‖B′‖∞)+(T+1)4α2kΓ2(α)s2α−1(2α−1)]ds | (3.11) |
≤[[(4σ(1−α)2k(1+‖B′‖∞))2+(T+1)4σα2kΓ2(α)T2α−1(2α−1)(4(1−α)2(1+‖B′‖∞))]+[(4σ(1−α)2k(1+‖B′‖∞))(4α2k(T+1)Γ2(α))T2α−1(2α−1)+(4σα2k(T+1)Γ2(α))2Γ2(2α−1)Γ(4α−2)T4α−2(2α−1)]]‖y−ˉy‖γ. |
By the induction formula for n, we can then write
E|(Λny)(t)−(Λnˉy)(t)|≤[(4σ(1−α)2(1+‖B′‖∞))n+(4σ(1−α)2(1+‖B′‖∞)(T+1)4α2kΓ2(α)T2α−1(2α−1))n−1+(4σ(1−α)2(1+‖B′‖∞))n−1(4σα2k(T+1)Γ2(α))Tn(2α−1)Γ(n(2α−1))+(4σα2k(T+1)Γ2(α))nTn(2α−1)(2α−1)Γn(2α−1)Γ(n(2α−1))]‖y−ˉy‖γ≤L‖y−ˉy‖γ | (3.12) |
where
L=[(4σ(1−α)2(1+‖B′‖∞))n+(4σ(1−α)2(1+‖B′‖∞)(T+1)4α2kΓ2(α)T2α−1(2α−1))n−1+(4σ(1−α)2(1+‖B′‖∞))n−1(4σα2k(T+1)Γ2(α))Tn(2α−1)Γ(n(2α−1))+(4σα2k(T+1)Γ2(α))nTn(2α−1)(2α−1)Γn(2α−1)Γ(n(2α−1))]. | (3.13) |
To prove the theorem holds, we will show that L<1 for sufficient large n. Let us consider the following series of positive terms
∞n=1[(4σ(1−α)2(1+‖B′‖∞))n+(4σ(1−α)2(1+‖B′‖∞)(T+1)4α2kΓ2(α)T2α−1(2α−1))n−1+(4σ(1−α)2(1+‖B′‖∞))n−1(4σα2k(T+1)Γ2(α))Tn(2α−1)Γ(n(2α−1))+(4σα2k(T+1)Γ2(α))nTn(2α−1)(2α−1)Γn(2α−1)Γ(n(2α−1))]. | (3.14) |
Using the d'Alembert discriminant method
limn→∞(4α2k(T+1)Γ2(α))n+1T(n+1)(2α−1)(2α−1)Γn+1(2α−1)Γ((n+1)(2α−1))(4σα2k(T+1)Γ2(α))nTn(2α−1)(2α−1)Γn(2α−1)Γ(n(2α−1))<1 | (3.15) |
which is equivalent to
limn→∞(4σα2k(T+1)Γ2(α))T(2α−1)Γ(2α−1)Γ(n(2α−1))Γ((n+1)(2α−1))<1. | (3.16) |
Using the Stirling formula [21], we have the following for last term
limn→∞[(4σα2k(T+1)Γ2(α))Γ(2α−1)T(2α−1)e(2α−1)√n+1√n(nn+1)n(2α−1)1((n+1)(2α−1))(2α−1)]=0 | (3.17) |
and knowing that α<1, we can have
limn→∞[(4σ(1−α)2(1+‖B′‖∞))n+(4σ(1−α)2(1+‖B′‖∞)(T+1)4α2kΓ2(α)T2α−1(2α−1))n−1+(4σ(1−α)2(1+‖B′‖∞))n−1(4σα2k(T+1)Γ2(α))Tn(2α−1)Γ(n(2α−1))+(4σα2k(T+1)Γ2(α))nTn(2α−1)(2α−1)Γn(2α−1)Γ(n(2α−1))]=0. | (3.18) |
This guarantees that L<1 holds. This proves that Λy(t) is a contraction mapping, which completes the proof.
In this section, we develop the parametrized approach to numerically solving differential equations with fractional derivatives that incorporate stochastic components. Before presenting the extension of the method to the solutions of different differential equations, we shall recall the formulation of the parametrized approach [17,24,25,26]. The approach is formulated by the following:
φ1(t,y)≈[(1−12ξ)φ1(tk,yk)+12ξφ1(tk+1,˜yk+1)]. | (4.1) |
To derive the associated method, in this subsection, we consider a general Cauchy problem with stochastic component given by
dy(t)=φ1(t,y)dt+σy(t)dB(t). | (4.2) |
We convert the above into an integral equation, by applying on both sides the classical integral
y(t)=y(0)+∫t0φ1(τ,y)dτ+∫t0σy(τ)dB(τ). | (4.3) |
At t=tk+1, we write
y(tk+1)=y(0)+∫tk+10φ1(τ,y)dτ+∫tk+10σy(τ)dB(τ) | (4.4) |
and at t=tk
y(tk)=y(0)+∫tk0φ1(τ,y)dτ+∫tk0σy(τ)dB(τ). | (4.5) |
Substracting these two equalities gives
y(tk+1)=y(tk)+∫tk+1tkφ1(τ,y)dτ+∫tk+1tkσy(τ)dB(τ). | (4.6) |
The function φ1(τ,y) can be approximated by using the parametrized approach [17,24,25,26] presented earlier. After simplification, we have the predictor-corrector formula [27]
yk+1=yk+h[(1−12ξ)φ1(tk,yk)+12ξφ1(tk+1,˜yk+1)]+σy(ck)(B(tk+1)−B(tk)), | (4.7) |
where ck∈[tk,tk+1] and the predictor term
˜yk+1=yk+hφ1(tk,yk). | (4.8) |
In this part, we will present the derivation of the parametrized method for a general nonlinear problem whose differential operator is the Caputo-Fabrizio derivative [3]. This case of nonlinear differential equations is of practical importance as it allows us to understand memory decay processes in various fields of science, technology and engineering. A stochastic version of such a differential equation is provided by
{CF0Dαty(t)=φ1(t,y)+σy(t)dB(t)y(0)=y0 | (4.9) |
where B(t) is the Brownian function and σ is the stochastic constant. The aforementioned equation will then be transformed into an integral equation by applying on both sides the integral associated with the Caputo-Fabrizio derivative [3] in order to obtain
y(t)=y(0)+(1−α)φ1(t,y)+(1−α)σy(t)dB(t)+α∫t0φ1(τ,y)dτ+α∫t0σy(τ)dB(τ). | (4.10) |
At t=tk and t=tk+1, we have
y(tk+1)=y(tk)+(1−α)(φ1(tk+1,yk+1)−φ1(tk,yk))+(1−α)σy(ck+1)(B(tk+1)−B(tk))+α∫tk+1tkφ1(τ,y)dτ+α∫tk+1tkσy(τ)dB(τ), | (4.11) |
where ck∈[tk,tk+1]. Since the function φ1(τ,y) is nonlinear, the component with integral can be approximated using the parametrized approach [17,24,25,26] as follows:
yk+1=yk+(1−α)(φ1(tk+1,yk+1)−φ1(tk,yk))+(1−α)σy(ck+1)(B(tk+1)−B(tk))+α∫tk+1tk[(1−12ξ)φ1(tk,yk)+12ξφ1(tk+1,˜yk+1)]dτ+α∫tk+1tkσy(τ)dB(τ). | (4.12) |
We know that the above is implicit, and thus we replace the term yk+1 with ˜yk+1 to obtain
yk+1=yk+(1−α)(φ1(tk+1,˜yk+1)−φ1(tk,yk))+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αh[(1−12ξ)φ1(tk,yk)+12ξφ1(tk+1,˜yk+1)]+ασy(ck)(B(tk+1)−B(tk)). | (4.13) |
The predictor formula is determined by the following:
˜yk+1=y0+CFt0Iαtk+1[φ1(t,y)]=y0+(1−α)φ1(tk,yk)+α∫tk+1t0φ1(τ,y)dτ=y0+(1−α)φ1(tk,yk)+αk∑n=0∫tn+1tnφ1(τ,y)dτ=y0+(1−α)φ1(tk,yk)+αhk∑n=0φ1(tn,yn). | (4.14) |
We need to emphasize that the predictor-corrector technique [27] is required because of both the parameterized techniques and the first part of the Caputo-Fabrizio fractional integral [3].
In this section, we deal with the numerical solution of a general Cauchy problem with stochastic Caputo derivative [1]
{C0Dαty(t)=φ1(t,y)+σy(t)dB(t),y(0)=y0. | (4.15) |
Applying the integral with power-law kernel [2], we have
y(t)=y(0)+1Γ(α)∫t0φ1(τ,y)(t−τ)α−1dτ+1Γ(α)∫t0σy(τ)(t−τ)α−1dB(τ). | (4.16) |
At t=tk+1 we have
y(tk+1)=y(0)+1Γ(α)∫tk+10φ1(τ,y)(tk+1−τ)α−1dτ+1Γ(α)∫tk+10σy(τ)(tk+1−τ)α−1dB(τ). | (4.17) |
The above can be arranged as follows:
y(tk+1)=y(0)+1Γ(α)k∑n=0∫tn+1tnφ1(τ,y)(tk+1−τ)α−1dτ+1Γ(α)k∑n=0∫tn+1tnσy(τ)(tk+1−τ)α−1dB(τ). | (4.18) |
The function φ1(τ,y) can be approximated by using the parametrized approach [17,24,25,26] within [tk,tk+1], and we have the following corrector formula with predictor term:
yk+1=y0+1Γ(α)k∑n=0∫tn+1tn[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)](tk+1−τ)α−1dτ+1Γ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))∫tn+1tn(tk+1−τ)α−1dτ. | (4.19) |
Then, we have
yk+1=y0+1Γ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×∫tn+1tn(tk+1−τ)α−1dτ+1Γ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))∫tn+1tn(tk+1−τ)α−1dτ, | (4.20) |
and from here, we write
yk+1=y0+hαΓ(α+1)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×[(k−n+1)α−(k−n)α]+hαΓ(α+1)k∑n=0σy(cn)(B(tn+1)−B(tn))[(k−n+1)α−(k−n)α]. | (4.21) |
The predictor component on the right side of the equation is calculated using the Euler approximation as follows:
˜yk+1=y0+C0Iαtk+1[φ1(t,y)]=y0+1Γ(α)∫tk+10φ1(τ,y)(tk+1−τ)α−1dτ=y0+1Γ(α)k∑n=0∫tn+1tnφ1(τ,y)(tk+1−τ)α−1dτ=y0+hαΓ(α+1)k∑n=0φ1(tn,yn)[(k−n+1)α−(k−n)α]. | (4.22) |
In this section, we devote our attention to the derivation of the parametrized method for solving the stochastic Cauchy problem with Atangana–Baleanu fractional derivative [4]
{AB0Dαty(t)=φ1(t,y)+σy(t)dB(t),y(0)=y0. | (4.23) |
We convert the above problem into an integral equation by applying on both sides the Atangana–Baleanu fractional integral [4]
y(t)=(1−α)φ1(t,y)+αΓ(α)∫t0φ1(τ,y)(t−τ)α−1dτ+(1−α)φ2(t,y)dB(t)+αΓ(α)∫t0σy(τ)B′(τ)(t−τ)α−1dτ. | (4.24) |
At t=tk+1, we write the following:
y(tk+1)=y(0)+(1−α)φ1(tk+1,yk+1)+αΓ(α)∫tk+10φ1(τ,y)(tk+1−τ)α−1dτ+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αΓ(α)∫tk+10σy(τ)(tk+1−τ)α−1dB(τ). | (4.25) |
The above can be arranged as follows:
y(tk+1)=y(0)+(1−α)φ1(tk+1,yk+1)+αΓ(α)k∑n=0∫tn+1tnφ1(τ,y)(tk+1−τ)α−1dτ+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αΓ(α)k∑n=0∫tn+1tnσy(τ)(tk+1−τ)α−1dB(τ). | (4.26) |
Based on the idea of approximating the right-hand side of the equation by the parametrized approach [17,24,25,26], the above can be arranged as
yk+1=y0+(1−α)φ1(tk+1,yk+1)+αΓ(α)k∑n=0∫tn+1tn[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)](tk+1−τ)α−1dτ+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αΓ(α)k∑n=0σy(ck)(B(tk+1)−B(tk))∫tn+1tn(tk+1−τ)α−1dτ. | (4.27) |
Then, we have
yk+1=y0+(1−α)φ1(tk+1,yk+1)+αΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]∫tn+1tn(tk+1−τ)α−1dτ+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αΓ(α)k∑n=0σy(ck)(B(tk+1)−B(tk))×∫tn+1tn(tk+1−τ)α−1dτ | (4.28) |
and from here we write
yk+1=y0+(1−α)φ1(tk+1,yk+1)+αΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×(tk+1−tn)α−(tk+1−tn+1)αα+(1−α)σy(ck+1)(B(tk+1)−B(tk))+hα−1Γ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))[(k−n+1)α−(k−n)α]. | (4.29) |
After the simplification, the above is arranged as:
yk+1=y0+(1−α)φ1(tk+1,yk+1)+hαΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×[(k−n+1)α−(k−n)α]+(1−α)σy(ck+1)(B(tk+1)−B(tk))+hα−1Γ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))[(k−n+1)α−(k−n)α]. | (4.30) |
The term ˜yk+1 is predicted by the following:
˜yk+1=y0+AB0Iαtk+1[φ1(t,y)]=y0+(1−α)φ1(t,y)+αΓ(α)∫tk+10φ1(τ,y)(tk+1−τ)α−1dτ=y0+(1−α)φ1(t,y)+αΓ(α)k∑n=0∫tn+1tnφ1(τ,y)(tk+1−τ)α−1dτ=y0+(1−α)φ1(tk+1,yk+1)+hαΓ(α)k∑n=0φ1(tn,yn)[(k−n+1)α−(k−n)α]. | (4.31) |
We should be aware that the predictor-corrector technique has been developed not only from the use of the parametrized technique, but also due to the first part of the Atangana-Baleanu fractional integral [4].
In this section, we consider a general Cauchy problem with stochastic component
{F0Dαty(t)=φ1(t,y)+σy(t)dB(t)y(0)=y0 | (5.1) |
where F0Dαt is the fractal derivative [5]. Note that using the relation between classical and fractal derivative [5], the above equation can be rewritten as
dy(t)=βtβ−1φ1(t,y)dt+βtβ−1σy(t)dB(t). | (5.2) |
By integrating the above, we obtain the following integral equation:
y(t)=y(0)+β∫t0τβ−1φ1(τ,y)dτ+β∫t0τβ−1σy(τ)dB(τ). | (5.3) |
In this case, we have the following scheme [24] for the considered problem at t=tk and t=tk+1
yk+1=yk+hβ[(1−12ξ)tβ−1kφ1(tk,yk)+12ξtβ−1k+1φ1(tk+1,˜yk+1)]×((k+1)β−kβ)+βσcβ−1ky(ck)B(tk+1)−B(tk). | (5.4) |
here,
˜yk+1=y0+hβk∑n=0φ1(tn,yn)((n+1)β−nβ). | (5.5) |
In this section, we consider a general Cauchy problem with stochastic fractal-fractional derivative [6] with exponential decay kernel
{FFE0Dαty(t)=φ1(t,y)+σy(t)dB(t), if t>0,y(0)=y0, if t=0. | (5.6) |
Applying the fractal-fractional integral [6] with the exponential decay kernel, we obtain
y(t)=βtβ−1(1−α)φ1(t,y)+βtβ−1(1−α)σy(t)B′(t)+αβ∫t0τβ−1φ1(τ,y)dτ+αβ∫t0τβ−1σy(τ)dB(τ). | (5.7) |
Based on the idea of approximating the right-hand side of the equation by the parametrized approach [17,24,25,26], the above problem is solved by the following:
yk+1=yk+(1−α)(βtβ−1k+1φ1(tk+1,˜yk+1)−βtβ−1kφ1(tk,yk)) | (5.8) |
+βcβ−1ky(ck)(B(tk+1)−B(tk))+αhβ[(1−12ξ)φ1(tk,yk)+12ξφ1(tk+1,˜yk+1)]×((k+1)β−kβ). | (5.9) |
Note that the predictor formula is obtained by
˜yk+1=(1−α)βtβ−1kφ1(tk,yk)+αhβk∑n=0φ1(tn,yn)((n+1)β−nβ). | (5.10) |
In this section, we obtain the numerical solution of a general Cauchy problem with stochastic fractal-fractional derivative [18] with power-law kernel by using the parametrized method [17]. The associated problem under consideration is represented by
{FFP0Dαty(t)=φ1(t,y)+σy(t)dB(t), if t>0,y(0)=y0, if t=0. | (5.11) |
Applying the fractal-fractional derivative [6] with power-law kernel, we have
y(t)=βΓ(α)∫t0τβ−1φ1(τ,y)(t−τ)α−1dτ+βΓ(α)∫t0σy(τ)τβ−1(t−τ)α−1dB(τ). | (5.12) |
At t=tk+1, we have
y(tk+1)=βΓ(α)k∑n=0∫tn+1tnτβ−1φ1(τ,y)(tk+1−τ)α−1dτ+βΓ(α)k∑n=0∫tn+1tnτβ−1σy(τ)(tk+1−τ)α−1B′(τ)dτ. | (5.13) |
Replacing the function φ1(τ,y) by its parametrized approximation, we have
yk+1=βΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×∫tn+1tnτβ−1(tk+1−τ)α−1dτ+βhΓ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))×∫tn+1tnτβ−1(tk+1−τ)α−1dτ. | (5.14) |
The integral on the right hand side of the above equation is calculated by using the change of variables τ=tk+1u and dτ=tk+1du as follows:
∫tn+1tnτβ−1(tk+1−τ)α−1dτ=tα+β−1k+1∫tn+1tnuβ−1(1−u)α−1du=tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α)), |
where the function B(⋅,⋅,⋅) is the incomplete Beta function. By calculation of these integrals, the following numerical scheme is obtained:
yk+1=βΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α))+βhΓ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))×tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α)). | (5.15) |
We know that the term ˜yn+1 is predicted by the following:
˜yn+1=y0+βΓ(α)k∑n=0φ1(tn,yn)tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α)). | (5.16) |
To examine the solution of a general Cauchy problem with stochastic fractal-fractional derivative with Mittag-Leffler kernel [18], we consider the following problem:
{FFM0Dαty(t)=φ1(t,y)+σy(t)dB(t), if t>0,y(0)=y0, if t=0 | (5.17) |
After taking the associated integral, the above can be arranged as follows:
y(t)=(1−α)φ1(t,y)+(1−α)σy(t)dB(t)+αβΓ(α)∫t0τβ−1φ1(τ,y)(t−τ)α−1dτ+αβΓ(α)∫t0σy(τ)τβ−1(t−τ)α−1B′(τ)dτ. | (5.18) |
At t=tk+1, we have
y(t)=(1−α)φ1(tk+1,yk+1)+(1−α)σy(tk+1)dB(tk+1)+αβΓ(α)∫tk+10τβ−1φ1(τ,y)(tk+1−τ)α−1dτ+αβΓ(α)∫tk+10σy(τ)τβ−1(tk+1−τ)α−1dB(τ). | (5.19) |
Using the φ1(τ,y) approximations, we have
yk+1=(1−α)φ1(tk+1,yk+1)+(1−α)σy(ck+1)(B(tk+1)−B(tk))+αβΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×∫tn+1tnτβ−1(tk+1−τ)α−1dτ+αβhΓ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))×∫tn+1tnτβ−1(tk+1−τ)α−1dτ. | (5.20) |
Using the calculations for these integrals and arranging the above, we have
yk+1=(1−α)φ1(tk+1,yk+1)+(1−α)σy(ck+1)(B(tk+1)−B(tk)h)+αβΓ(α)k∑n=0[(1−12ξ)φ1(tn,yn)+12ξφ1(tn+1,˜yn+1)]×tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α))+αβhΓ(α)k∑n=0σy(cn)(B(tn+1)−B(tn))×tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α)), | (5.21) |
where the predictor formula is stated as:
˜yk+1=y0+(1−α)βtβ−1k+1φ1(tk+1,yk+1)+αβΓ(α)k∑n=0φ1(tn,yn)×tα+β−1k+1(B(tn+1tk+1,β,α)−B(tntk+1,β,α)). | (5.22) |
In this section, we derive the parametrized method [17] for some versions of nonlinear differential equations with piecewise differentiation. We shall start with the version of nonlinear differential equations with piecewise derivative [16], in which classical processes can be used in the first time interval, processes with power-law after fading memory in the second time interval, and stochastic processes can be used in the third time interval. The associated model is represented by the following:
{dydt=φ(t,y), if 0≤t≤t1y(0)=y0,ABCt1Dαty=φ(t,y), if t1≤t≤t2y(t1)=y1,dy(t)=φ(t,y)dt+σydB(t) , if t2≤t≤Ty(t2)=y2. | (6.1) |
The function φ(t,y) can be approximated by employing the parametrized formulation [17], thus integrating within [tn,tn+1], we have the following corrector formula with predictor term:
yk+1={{y0+hk1j1=0[(1−12ξ)φ1(tj1,yj1)+12ξφ1(tj1+1,˜yj1+1)],if 0≤t≤t1, | (6.2) |
{y1+(1−α)φ1(tk2+1,˜yk2+1)+(1−α)σy(ck2+1)(B(tk2+1)−B(tk2))+hαΓ(α)k2j2=k1+1[(1−12ξ)φ1(tj2,yj2)+12ξφ1(tj2+1,˜yj2+1)]×[(k2−j2+1)α−(k2−j2)α]+hα−1Γ(α)k2j2=k1+1σy(cj2)(B(tj2+1)−B(tj2))×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2, |
{y2+hkj3=k2+1[(1−12ξ)φ1(tj3,yj3)+12ξφ1(tj3+1,˜yj3+1)]+σy(ck)(B(tk+1)−B(tk)),if t2≤t≤T. |
The predictor components for each interval are calculated as
{{˜yk1+1=y0+hk1j1=0φ1(tj1,yj1),if 0≤t≤t1,{˜yk2+1=y1+(1−α)φ1(tk2,yk2)+hαΓ(α)k2j2=k1+1φ1(tj2,yj2)×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2,{˜yk3+1=y2+hkj3=k2+1φ1(tj3,yj3),if t2≤t≤T. | (6.3) |
Now, we proceed with an another version of nonlinear differential equations with piecewise derivatives [16]. In the first time interval, fading memory processes can be utilized, while stochastic processes can be used in the second time interval. For the third time interval, processes that deal with power-law behaviors having fractal properties can be employed. The model that explains the process presented here is shown as follows:
{CF0Dαty=φ(t,y), if 0≤t≤t1y(0)=y0,dy(t)=φ(t,y)dt+σydB(t) , if t1≤t≤t2y(t1)=y1,FFPt2Dαty=φ(t,y), if t2≤t≤Ty(t2)=y2. | (6.4) |
Using the aforementioned concept of numerical scheme, the numerical scheme for the Cauchy problem in the framework of piecewise derivative [16] is achieved as
yk+1={{y0+(1−α)φ1(tk1+1,yk1+1)+αhk1j1=0[(1−12ξ)φ1(tj1,yj1)+12ξφ1(tj1+1,˜yj1+1)],if 0≤t≤t1 | (6.5) |
{y1+hk2j2=k1+1[(1−12ξ)φ1(tj2,yj2)+12ξφ1(tj2+1,˜yj2+1)]+σy(ck2)(B(tk2+1)−B(tk2)),if t1≤t≤t2 |
{βΓ(α)kj3=k2+1[(1−12ξ)φ1(tj3,yj3)+12ξφ1(tj3+1,˜yj3+1)]×tα+β−1k+1(B(tj3+1tk+1,β,α)−B(tj3tk+1,β,α))+βhΓ(α)kj3=k2+1σy(cj3)(B(tj3+1)−B(tj3))×tα+β−1k+1(B(tj3+1tk+1,β,α)−B(tj3tk+1,β,α)),if t2≤t≤T. |
The predictor components for each interval are determined as
{{˜yk1+1=y0+hk1j1=0φ1(tj1,yj1),if 0≤t≤t1,{˜yk2+1=y1+hk2j2=k1+1φ1(tj2,yj2),if t1≤t≤t2,{˜yk1+1=(1−α)βtβ−1k1φ1(tk1,yk1)+αβΓ(α)kj3=k2+1φ1(tj3,yj3)×tα+β−1k1+1(B(tj3+1tk1+1,β,α)−B(tj3tk1+1,β,α)),if t2≤t≤T. | (6.6) |
In this section, we will investigate the applicability of the parametrized method to differential equations with piecewise derivatives with the help of some illustrative examples. This will be performed with the combination of deterministic and stochastic processes where the concepts of classical, stochastic, fractional, and fractal-fractional are added. We will start with a simple piecewise Cauchy problem in which the first part is with classical deterministic, the second part is with Atangana-Baleanu derivative and last part is with the classical stochastic. Another simple scenario will be presented with classical deterministic, Caputo fractional derivative and the classical stochastic. Finally, we will consider an anxiety model [28] employing the different versions of the piecewise derivative.
Example 1.We consider a general Cauchy problem with piecewise derivative
{dydt=−t, if 0≤t≤t1y(0)=0,ABCt1Dαty=−t, if t1≤t≤t2y(t1)=y1,dy(t)=−tdt+σydB(t) , if t2≤t≤Ty(t2)=y2. | (7.1) |
The numerical solution of above problem is represented by
yk+1={{y0+hk1j1=0[−(1−12ξ)tj1−12ξtj1+1],if 0≤t≤t1, | (7.2) |
{y1−(1−α)tk2+1+(1−α)σy(ck2+1)(B(tk2+1)−B(tk2))+hαΓ(α)k2j2=k1+1[−(1−12ξ)tj2−12ξtj2+1]×[(k2−j2+1)α−(k2−j2)α]+hα−1Γ(α)k2j2=k1+1σy(cj2)(B(tj2+1)−B(tj2))×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2, |
{y2+hkj3=k2+1[−(1−12ξ)tj3−12ξtj3+1]+σy(ck)(B(tk+1)−B(tk)),if t2≤t≤T. |
The predictor terms are as follows:
{{˜yk1+1=y0+hk1j1=0−tj1,if 0≤t≤t1,{˜yk2+1=y1−(1−α)tk2+1−hαΓ(α)k2j2=k1+1tj2×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2,{˜yk3+1=y2−hkj3=k2+1tj3,if t2≤t≤t. | (7.3) |
Noting that the stochastic constant σ is taken as 0.1, the following initial conditions are as follows:
y(0)=0,{y(t1)=−45 if α=0.9y(t1)=−47.9 if α=0.8y(t1)=−48.49 if α=0.6y(t1)=−48.8 if α=0.4y(t1)=−48.2 if α=0.2,{y(t2)=−145 if α=0.9y(t2)=−123.6 if α=0.8y(t2)=−85.2 if α=0.6y(t2)=−76 if α=0.4y(t2)=−60.2 if α=0.2. | (7.4) |
In Figure 1, the numerical simulation for the considered problem with piecewise derivative is performed by considering different values of fractional orders.
Example 2.We consider a general Cauchy problem with piecewise derivative
{dydt=sint, if 0≤t≤t1y(0)=1,ABCt1Dαty=sint, if t1≤t≤t2y(t1)=y1,dy(t)=sintdt+σydB(t) , if t2≤t≤Ty(t2)=y2. | (7.5) |
The numerical solution of above problem is represented by
yk+1={{y0+hk1j1=0[(1−12ξ)sin(tj1)+12ξsin(tj1+1)],if 0≤t≤t1, | (7.6) |
{y1+(1−α)sin(tk2+1)+(1−α)σy(ck2+1)(B(tk2+1)−B(tk2))+hαΓ(α)k2j2=k1+1[(1−12ξ)sin(tj2)+12ξsin(tj2+1)]×[(k2−j2+1)α−(k2−j2)α]+hα−1Γ(α)k2j2=k1+1σy(cj2)(B(tj2+1)−B(tj2))×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2, |
{y2+hkj3=k2+1[(1−12ξ)sin(tj3)+12ξsin(tj3+1)]+σy(ck)(B(tk+1)−B(tk)),if t2≤t≤T. |
The predictor components for each interval are calculated as
{{˜yk1+1=y0+hk1j1=0sin(tj1),if 0≤t≤t1,{˜yk2+1=y1+(1−α)sin(tk2+1)+hαΓ(α)k2j2=k1+1sin(tj2)×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2,{˜yk3+1=y2+hkj3=k2+1sin(tj3),if t2≤t≤T. | (7.7) |
Noting that the stochastic constant σ is taken as 0.1, the initial conditions are as follows:
y(0)=1,{y(t1)=1.6 if α=0.9y(t1)=2 if α=0.8y(t1)=2.5 if α=0.6y(t1)=3.2 if α=0.4y(t1)=3.4 if α=0.2,{y(t2)=2 if α=0.9y(t2)=2.48 if α=0.8y(t2)=3.36 if α=0.6y(t2)=4.7 if α=0.4y(t2)=4.27 if α=0.2. | (7.8) |
In Figure 2, the numerical simulation for the considered problem with piecewise derivative is performed by considering different values of fractional orders.
Example 3. (Mathematical modeling of anxiety of mathematics) Instructional and social psychological environment are some of the attitude attribute of students and possible factors affecting the students' disliking or liking of mathematics and mathematics anxiety is closely related to a broad spectrum of cognitive, psychological, and behavioral problems [28,29]. We next consider a mathematical model associated with the anxiety of mathematics [28]. The mathematical model under investigation is presented by the following:
dSdt=(1−ε)χ+ωR+ρ(1−η)P−(θN(A+φQ)+κ)SdPdt=εχ−(κ+(1−η)ρ)PdEdt=θN(A+φQ)S−(κ+υ)EdAdt=(1−ϱ)υE−(κ+δ+ς)AdQdt=δA−κQdRdt=ςA+ϱυE−(κ+ω)R | (7.9) |
and the initial conditions are taken as
S(0)≥0,P(0)≥0,E(0)≥0,A(0)≥0,Q(0)≥0,R(0)≥0. | (7.10) |
Here, S: anxiety towards mathematics susceptible students; P: anxiety towards mathematics protected students; E: anxiety towards mathematics exposed students; A: students who have anxiety towards mathematics; Q: students who have permanent anxiety towards mathematics; R: students recovered from anxiety towards mathematics.
Replacing the classical derivative by the piecewise differential operators and simplifying the model with piecewise derivative, we get the following modified model of anxiety:
{dUdt=ψ(t,U), if 0≤t≤t1U(0)=U0,Ct1DαtU=ψ(t,U), if t1≤t≤t2U(ti)=U1,dU(t)=ψ(t,U)dt+σiUdBi(t) , if t2≤t≤TU(t2)=U2, | (7.11) |
where
U=[SPEAQR],ψ(t,U)=[(1−ε)χ+ωR+ρ(1−η)P−(θN(A+φQ)+κ)Sεχ−(κ+(1−η)ρ)PθN(A+φQ)S−(κ+υ)E(1−ϱ)υE−(κ+δ+ς)AδA−κQςA+ϱυE−(κ+ω)R]. | (7.12) |
Using the suggested method for each interval, the numerical solution can be obtained as
Uk+1={{U0+hk1j1=0[(1−12ξ)ψ(tj1,Uj1)+12ξψ(tj1+1,˜Uj1+1)],if 0≤t≤t1, | (7.13) |
{U1+hαΓ(α+1)k2j2=k1+1[(1−12ξ)ψ(tj2,Uj2)+12ξψ(tj2+1,˜Uj2+1)]×[(k2−j2+1)α−(k2−j2)α]+hα−1Γ(α+1)k2j2=k1+1σiU(cj2)(Bi(tj2+1)−Bi(tj2))×[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2, |
{U2+hkj3=k2+1[(1−12ξ)ψ(tj3,Uj3)+12ξψ(tj3+1,˜Uj3+1)]+σy(ck)(B(tk+1)−B(tk)),if t2≤t≤T. |
The predictor components for each interval are calculated as
{{˜Uk1+1=U0+hk1j1=0ψ(tj1,Uj1),if 0≤t≤t1,{˜Uk2+1=U1+hαΓ(α+1)k2j2=k1+1ψ(tj2,Uj2)[(k2−j2+1)α−(k2−j2)α],if t1≤t≤t2,{˜Uk3+1=U2+hkj3=k2+1ψ(tj3,Uj3),if t2≤t≤T. | (7.14) |
In Figure 3, we simulate the numerical solution of the anxiety model with piecewise derivative for α=0.9.
We present another case for our model since we know that the model can be modified with different derivatives in each intervals. For another case of our model, it can be written as follows:
{CF0DαtU=ψ(t,U), if 0≤t≤t1U(0)=U0,dU(t)=ψ(t,U)dt+σUdB(t) , if t1≤t≤t2U(t1)=U1,FFPt2Dα,βtU=ψ(t,U), if t2≤t≤TU(t2)=U2. | (7.15) |
For such a model, we obtain
Uk+1={{U0+(1−α)ψ(tk1+1,Uk1+1)+αhk1j1=0[(1−12ξ)ψ(tj1,Uj1)+12ξψ(tj1+1,˜Uj1+1)],if 0≤t≤t1 | (7.16) |
{U1+hk2j2=k1+1[(1−12ξ)ψ(tj2,Uj2)+12ξψ(tj2+1,˜Uj2+1)]+σU(ck2)(B(tk2+1)−B(tk2)),if t1≤t≤t2 |
{βΓ(α)kj3=k2+1[(1−12ξ)ψ(tj3,Uj3)+12ξψ(tj3+1,˜Uj3+1)]×tα+β−1k+1(B(tj3+1tk+1,β,α)−B(tj3tk+1,β,α))+βhΓ(α)kj3=k2+1σU(cj3)(B(tj3+1)−B(tj3))×tα+β−1k+1(B(tj3+1tk+1,β,α)−B(tj3tk+1,β,α)),if t2≤t≤T. |
The predictor components for each interval are determined as
{{˜Uk1+1=U0+hk1j1=0ψ(tj1,Uj1),if 0≤t≤t1,{˜Uk2+1=U1+hk2j2=k1+1ψ(tj2,Uj2),if t1≤t≤t2,{˜Uk1+1=(1−α)βtβ−1k1ψ(tk1,Uk1)+αβΓ(α)kj3=k2+1ψ(tj3,Uj3)×tα+β−1k1+1(B(tj3+1tk1+1,β,α)−B(tj3tk1+1,β,α)),if t2≤t≤T. | (7.17) |
In Figure 4, we perform the numerical simulation for anxiety model with piecewsie derivative for α=0.95,β=0.8.
This study is based on the use of the parametrized method for the numerical solution of fractional, fractal-fractional and piecewise derivative initial value problems where the stochastic component is added. After presenting the definition of these differential operators, we demonstrate the condition under which the nonlinear ordinary differential equations with stochastic Atangana-Baleanu fractional derivative admit a unique solution using the Carathéodory conditions. Since piecewise derivative allows fractal, fractal-fractal and stochastic situations to be addressed together, the piecewise derivative was used in the models discussed for the illustrative examples presented. We provide the graphical representations for the solutions of these models, which are simple piecewise Cauchy proplems and the anxiety model. The presented models with piecewise derivatives, which are separated into three intervals and involved different differential operators in each interval, exhibit different behaviors during simulations, ranging from deterministic to stochastic. When looking at the graphical representation provided for the fragmented anxiety model, for example, for class A, which is a class of anxious people, it is observed that this problem that the person is exposed to may change in some time intervals and that there is a possibility of encountering this situation again while attempting to overcome anxiety. It is argued that piecewise derivatives, by virtue of displaying such distinctive characteristics, have an advantage over other operators. Our future work will focus on the existence-uniqueness proofs of stochastic equations with fractal-fractional derivatives and the application of the relevant method to numerical solutions of different models.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
The authors declare there is no conflicts of interest.
[1] |
M. Caputo, Linear model of dissipation whose Q is almost frequency independent-Ⅱ, Geophys. J. R. Astron. Soc., 13 (1967), 529–539. https://doi.org/10.1111/j.1365-246X.1967.tb02303.x doi: 10.1111/j.1365-246X.1967.tb02303.x
![]() |
[2] | I. Podlubny, Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, Elsevier, 1998. |
[3] |
M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progr. Fract. Differ. Appl., 1 (2015), 73–85. http://dx.doi.org/10.12785/pfda/010201 doi: 10.12785/pfda/010201
![]() |
[4] |
A. Atangana, D. Baleanu, New fractional derivatives with non-local and non-singular kernel: Theory and application to heat transfer model, Therm. Sci., 20 (2016), 763–769. https://doi.org/10.2298/TSCI160111018A doi: 10.2298/TSCI160111018A
![]() |
[5] |
W. Chen, Time-space fabric underlying anomalous diffusion, Chaos, Solitons Fractals, 28 (2006), 923–929. https://doi.org/10.1016/j.chaos.2005.08.199 doi: 10.1016/j.chaos.2005.08.199
![]() |
[6] |
A. Atangana, Fractal-fractional differentiation and integration: Connecting fractal calculus and fractional calculus to predict complex system, Chaos, Solitons Fractals, 102 (2017), 396–406. https://doi.org/10.1016/j.chaos.2017.04.027 doi: 10.1016/j.chaos.2017.04.027
![]() |
[7] | J. He, X. Zhang, L. Liu, Y. Wu, Y. Cui, Existence and asymptotic analysis of positive solutions for a singular fractional differential equation with nonlocal boundary conditions, Boundary Value Probl., 2018 (2018). https://doi.org/10.1186/s13661-018-1109-5 |
[8] |
J. Wu, X. Zhang, L. Liu, Y. Wu, Y. Cui, Convergence analysis of iterative scheme and error estimation of positive solution for a fractional differential equation, Math. Model. Anal., 23 (2018), 611–626. https://doi.org/10.3846/mma.2018.037 doi: 10.3846/mma.2018.037
![]() |
[9] |
X. Zhang, L. Liu, Y. Wu, Y. Cui, New result on the critical exponent for solution of an ordinary fractional differential problem, J. Funct. Spaces, 2017 (2017), 3976469. https://doi.org/10.1155/2017/3976469 doi: 10.1155/2017/3976469
![]() |
[10] |
G. D. Li, Y. Zhang, Y. J. Guan, W. J. Li, Stability analysis of multi-point boundary conditions for fractional differential equation with non-instantaneous integral impulse, Math. Biosci. Eng., 20 (2023), 7020–7041. https://doi.org/10.3934/mbe.2023303 doi: 10.3934/mbe.2023303
![]() |
[11] | D. Luo, M. Tian, Q. Zhu, Some results on finite-time stability of stochastic fractional-order delay differential equations, Chaos, Solitons Fractals, 158 (2022). https://doi.org/10.1016/j.chaos.2022.111996 |
[12] |
Y. Zhao, L. Wang, Practical exponential stability of impulsive stochastic food chain system with time-varying delays, Mathematics, 11 (2023), 147. https://doi.org/10.3390/math11010147 doi: 10.3390/math11010147
![]() |
[13] |
M. Xia, L. Liu, J. Fang, Y. Zhang, Stability analysis for a class of stochastic differential equations with impulses, Mathematics, 11 (2023), 1541. https://doi.org/10.3390/math11061541 doi: 10.3390/math11061541
![]() |
[14] |
B. Wang, Q. Zhu, Stability analysis of discrete-time semi-Markov jump linearsystems with time delay, IEEE Trans. Autom., 68 (2023), 6758–6765. https://doi.org/10.1109/TAC.2023.3240926 doi: 10.1109/TAC.2023.3240926
![]() |
[15] |
Q. Zhu, Stabilization of stochastic nonlinear delay systems with exogenousdisturbances and the event-triggered feedback control, IEEE Trans. Autom., 64 (2019), 3764–3771. https://doi.org/10.1109/TAC.2018.2882067 doi: 10.1109/TAC.2018.2882067
![]() |
[16] | A. Atangana, S. I. Araz, New concept in calculus: Piecewise differential and integral operators, Chaos, Solitons Fractals, 145 (2021). https://doi.org/10.1016/j.chaos.2020.110638 |
[17] | A. Atangana, S. I. Araz, A modified parametrized method for ordinary differential equations with nonlocal operators, HAL, 2022. |
[18] |
C. Liping, M. A. Khan, A. Atangana, S. Kumar, A new financial chaotic model in Atangana-Baleanu stochastic fractional differential equations, Alex. Eng. J., 60 (2021), 5193–5204. https://doi.org/10.1016/j.aej.2021.04.023 doi: 10.1016/j.aej.2021.04.023
![]() |
[19] |
C. Carathéodory, Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen, Math. Ann., 64 (1907), 95–115. https://doi.org/10.1007/BF01449883 doi: 10.1007/BF01449883
![]() |
[20] | A. Atangana, S. I. Araz, Theory and methods of piecewise defined fractional operators, Elsevier, in press. |
[21] |
W. Wang, S. Cheng, Z. Guo, X. Yan, A note on the continuity for Caputo fractional stochastic differential equations, Chaos, 30 (2020), 073106. https://doi.org/10.1063/1.5141485 doi: 10.1063/1.5141485
![]() |
[22] |
A. Ahmadova, N. I. Mamudov, Existence and uniqueness results for a class of fractional stochastic neutral differential equations, Chaos, Solitons Fractals, 139 (2020), 110253. https://doi.org/10.1016/j.chaos.2020.110253 doi: 10.1016/j.chaos.2020.110253
![]() |
[23] |
A. Atangana, S. I. Araz, Step forward on nonlinear differential equations with the Atangana-Baleanu derivative: Inequalities, existence, uniqueness and method, Chaos, Solitons Fractals, 173 (2023), 113700. https://doi.org/10.1016/j.chaos.2023.113700 doi: 10.1016/j.chaos.2023.113700
![]() |
[24] | D. F. Griffiths, D. J. Higham, Numerical Methods for Ordinary Differential Equations: Initial Value Problems, Springer Undergraduate Mathematics Series, Springer, 2010. |
[25] | E. Süli, D. F. Mayers, An Introduction to Numerical Analysis, Cambridge University Press, 2003. https://doi.org/10.1017/CBO9780511801181 |
[26] | J. C. Butcher, Numerical Methods for Ordinary Differential Equations, John Wiley, 2023. |
[27] |
T. Mekkaoui, A. Atangana, S. I. Araz, Predictor-corrector for non-linear differential and integral equation with fractal-fractional operators, Eng. Comput., 37 (2020), 2359–2368. https://doi.org/10.1007/s00366-020-00948-6 doi: 10.1007/s00366-020-00948-6
![]() |
[28] |
S. W. Teklu, Analysis of fractional order model on higher institution students' anxiety towards mathematics with optimal control theory, Sci. Rep., 13 (2023), 6867. https://doi.org/10.1038/s41598-023-33961-y doi: 10.1038/s41598-023-33961-y
![]() |
[29] | D. A. Getahun, G. Adamu, A. Andargie, J. D. Mebrat, Predicting mathematics performance from anxiety, enjoyment, value, and self-efficacy beliefs towards mathematics among engineering majors, Bahir Dar J. Educ., 16 (2016). |
[30] |
A. Atangana, S. I. Araz, A successive midpoint method for nonlinear differential equations with classical and Caputo-Fabrizio derivatives, AIMS Math., 8 (2023), 27309–27327. https://doi.org/10.3934/math.20231397 doi: 10.3934/math.20231397
![]() |
[31] | A. Akin, I. N. Kurbanoglu, The relationships between math anxiety, math attitudes, and self-efficacy: A structural equation model, Stud. Psychol., 53 (2011), 263. |
1. | Zareen A. Khan, Muhammad Imran Liaqat, Ali Akgül, J. Alberto Conejero, Qualitative Analysis of Stochastic Caputo–Katugampola Fractional Differential Equations, 2024, 13, 2075-1680, 808, 10.3390/axioms13110808 |