
This paper aims at investigating the convergence and quasi- optimality of an adaptive finite element method for control constrained nonlinear elliptic optimal control problems. We derive a posteriori error estimation for both the control, the state and adjoint state variables under controlling by L2-norms where bubble function is a wonderful tool to deal with the global lower error bound. Then a contraction is proved before the convergence is proposed. Furthermore, we find that if keeping the grids sufficiently mildly graded, we can prove the optimal convergence and the quasi-optimality for the adaptive finite element method. In addition, some numerical results are presented to verify our theoretical analysis.
Citation: Zuliang Lu, Fei Huang, Xiankui Wu, Lin Li, Shang Liu. Convergence and quasi-optimality of L2−norms based an adaptive finite element method for nonlinear optimal control problems[J]. Electronic Research Archive, 2020, 28(4): 1459-1486. doi: 10.3934/era.2020077
[1] | Nadiyah Hussain Alharthi, Abdon Atangana, Badr S. Alkahtani . Numerical analysis of some partial differential equations with fractal-fractional derivative. AIMS Mathematics, 2023, 8(1): 2240-2256. doi: 10.3934/math.2023116 |
[2] | Hasib Khan, Jehad Alzabut, Anwar Shah, Sina Etemad, Shahram Rezapour, Choonkil Park . A study on the fractal-fractional tobacco smoking model. AIMS Mathematics, 2022, 7(8): 13887-13909. doi: 10.3934/math.2022767 |
[3] | Abdon Atangana, Seda İğret Araz . Extension of Chaplygin's existence and uniqueness method for fractal-fractional nonlinear differential equations. AIMS Mathematics, 2024, 9(3): 5763-5793. doi: 10.3934/math.2024280 |
[4] | Manal Alqhtani, Khaled M. Saad . Numerical solutions of space-fractional diffusion equations via the exponential decay kernel. AIMS Mathematics, 2022, 7(4): 6535-6549. doi: 10.3934/math.2022364 |
[5] | Abdon Atangana, Ali Akgül . Analysis of a derivative with two variable orders. AIMS Mathematics, 2022, 7(5): 7274-7293. doi: 10.3934/math.2022406 |
[6] | Emile Franc Doungmo Goufo, Abdon Atangana . On three dimensional fractal dynamics with fractional inputs and applications. AIMS Mathematics, 2022, 7(2): 1982-2000. doi: 10.3934/math.2022114 |
[7] | Rahat Zarin, Amir Khan, Pushpendra Kumar, Usa Wannasingha Humphries . Fractional-order dynamics of Chagas-HIV epidemic model with different fractional operators. AIMS Mathematics, 2022, 7(10): 18897-18924. doi: 10.3934/math.20221041 |
[8] | Muhammad Farman, Ali Akgül, Kottakkaran Sooppy Nisar, Dilshad Ahmad, Aqeel Ahmad, Sarfaraz Kamangar, C Ahamed Saleel . Epidemiological analysis of fractional order COVID-19 model with Mittag-Leffler kernel. AIMS Mathematics, 2022, 7(1): 756-783. doi: 10.3934/math.2022046 |
[9] | Amir Ali, Abid Ullah Khan, Obaid Algahtani, Sayed Saifullah . Semi-analytical and numerical computation of fractal-fractional sine-Gordon equation with non-singular kernels. AIMS Mathematics, 2022, 7(8): 14975-14990. doi: 10.3934/math.2022820 |
[10] | Muhammad Aslam, Muhammad Farman, Hijaz Ahmad, Tuan Nguyen Gia, Aqeel Ahmad, Sameh Askar . Fractal fractional derivative on chemistry kinetics hires problem. AIMS Mathematics, 2022, 7(1): 1155-1184. doi: 10.3934/math.2022068 |
This paper aims at investigating the convergence and quasi- optimality of an adaptive finite element method for control constrained nonlinear elliptic optimal control problems. We derive a posteriori error estimation for both the control, the state and adjoint state variables under controlling by L2-norms where bubble function is a wonderful tool to deal with the global lower error bound. Then a contraction is proved before the convergence is proposed. Furthermore, we find that if keeping the grids sufficiently mildly graded, we can prove the optimal convergence and the quasi-optimality for the adaptive finite element method. In addition, some numerical results are presented to verify our theoretical analysis.
Fractional calculus is a generalization of classical calculus and many researchers have paid attention to this science as they encounter many of these issues in the real world. Most of these issues do not have analytical exact solution. Which made many researchers interest and search in numerical and approximate methods to obtain solutions using these methods. There are many of these methods, such as the homotopy analysis [1,2,3,4], He's variational iteration method [5,6], Adomians decomposition method [7,8,9], Fourier spectral methods [10], finite difference schemes [11], collocation methods [12,13,14]. To find out more about the fractal calculus, refer to the following references [15,16]. More recently, a new concept was introduced for the fractional operator, as this operator has two orders, the first representing the fractional order, and the second representing the fractal dimension. In our work we aim to applied the idea of fractal-fractional derivative of orders β,k to a reaction-diffusion equation with q-th nonlinear. To this end [17], we replace the derivative with respect to t by the fractal-fractional derivatives power (FFP) law, the fractal-fractional exponential(FFE) law and the fractal-fractional Mittag-Leffler (FFM) law kernels which corresponds to the [18], Caputo-Fabrizio (CF) [19] and the Atangana-Baleanu (AB) [20] fractional derivatives, respectively. This topic has attracted many researchers and has been applied to research related to the real world, such as [21,22,23,24,25,26]. Some recent developments in the area of numerical techniques can be found in [27,28,29,30,31].
Merkin and Needham [32] considered the reaction-diffusion travelling waves that can develop in a coupled system involving simple isothermal autocatalysis kinetics. They assumed that reactions took place in two separate and parallel regions, with, in I, the reaction being given by quadratic autocatalysis
F+G→2G(ratek1fg), | (1.1) |
together with a linear decay step
G→H(ratek2g) | (1.2) |
where f and g are the concentrations of reactant F and autocatalyst H, the ki(i=1,2) are the rate constants and H is some inert product of reaction. The reaction in region II was the quadratic autocatalytic step (1.1) only. The two regions were assumed to be coupled via a linear diffusive interchange of the autocatalytic species G. We shall consider a similar system as I, but with cubic autocatalysis
F+2G→3G(ratek3fg2) | (1.3) |
together with a linear decay step
G→H(ratek4g). | (1.4) |
For q-th autocatalytic, we have
F+qG→(q+1)G(ratek3fgq),1≤q≤2, | (1.5) |
together with a linear decay step
G→H(rate k4g). | (1.6) |
This yields to the following system
∂η1∂t=∂2η1∂ξ2+ν(η2−η1)−η1ζq1, | (1.7) |
∂ζ1∂t=∂2ζ1∂ξ2−κζ1+η1ζq1, | (1.8) |
∂η2∂t=∂2η2∂ξ2+ν(η1−η2)−η2ζq2, | (1.9) |
∂ζ2∂t=∂2ζ2∂ξ2+η2ζq2 | (1.10) |
where ν represents the couple between (I) and (II) and κ represents the strength of the auto-catalyst decay. For more details see [32]. Omitting the diffusion terms in the system (1.7)-(1.10), one has the following ordinary differential equations
∂η1∂t=ν(η2−η1)−η1ζq1, | (1.11) |
∂ζ1∂t=−κζ1+η1ζq1, | (1.12) |
∂η2∂t=ν(η1−η2)−η2ζq2, | (1.13) |
∂ζ2∂t=η2ζq2. | (1.14) |
Now we provide some basic definitions that be needed in this work. As for the theorems and proofs related to the three fractal-fractional operators, they are found in details in [17]. Thus we suffice in this work by constructing the algorithms and making the numerical simulations of the set of Eqs (1.7)-(1.10) with the three fractal-fractional operators.
Definition 1. If η(t) is continuous and fractal differentiable on (a,b) of order k, then the fractal-fractional derivative of η(t) of order β in Riemann Liouville sense with the power law is given by [17]:
{FFP}0Dβ,ktη(t)=1Γ(1−β)ddtk∫t0(t−τ)−βη(τ)dτ,(0<β,k≤1), | (1.15) |
and the fractal-fractional integral of η(t) is given by
FFP0Iβ,ktη(t)=kΓ(β)∫t0τk−1(t−τ)β−1η(τ)dτ. | (1.16) |
Definition 2. If η(t) is continuous in the (a,b) and fractal differentiable on (a,b) with order k, then the fractal-fractional derivative of η(t) of order β in Riemann Liouville sense with the exponential decay kernel is given by [17]:
FFE0Dβ,ktη(t)=M(β)1−βddtk∫t0e−β1−β(t−τ)η(τ)dτ,(0<β,k≤1), | (1.17) |
and the fractal-fractional integral of η(t) is given by
FFE0Iβ,ktη(t)=(1−β)ktk−1M(β)η(t)+βkM(β)∫t0τk−1η(τ)dτ | (1.18) |
where M(β) is the normalization function such that M(0)=M(1)=1.
Definition 3. If η(t) is continuous in the (a,b) and fractal differentiable on (a,b) with order k, then the fractal-fractional derivative of η(t) of order β in Riemann Liouville sense with the Mittag-Leffler type kernel is given by [17]:
FFE0Dβ,ktη(t)=A(β)1−βddtk∫t0Eβ(−β1−β(t−τ))η(τ)dτ,(0<β,k≤1), | (1.19) |
and the fractal-fractional integral of η(t) is given by
FFE0Iβ,ktη(t)=(1−β)ktk−1A(β)η(t)+βkA(β)Γ(β)∫t0τk−1(t−τ)β−1η(τ)dτ, | (1.20) |
dη(t)dtk=limτ→tη(τ)−η(t)τk−tk | (1.21) |
where where A(β)=1−β+βΓ(β) is a normalization function such that A(0)=A(1)=1.
Our contribution to this paper is to construct the successive approximations and evaluate the numerical solutions of the FFRDE. These successive approximations allow us to study the behavior of numerical solutions based on power, exponential, and the Mittag-Leffler kernels. Also we can study the behavior of approximate solutions in the case of nonlinearity of the FFRDE in general. To our best knowledge, this is the first study of the FFRDE using fractal-fractional with these kernels. The importance of these results lies in the fact that they highlight the possibility of using these results for the benefit of chemical and physical researchers, by trying to link the numerical results of these mathematical models with the laboratory results. These results also contribute to the reliance on numerical results in the case of many models related to the real world, which often cannot find an analytical solution. The structure of this paper is summarized as follows: In sections, two, three and four, the FFRDE is presented with the three kernels that proposed in this work and construct the successive approximations. In section Five, numerical solutions for the FFRDE are discussed with a study of their behavior. Section Six the conclusion is presented.
The new model is obtained by replacing the ordinary derivative with the the fractal-fractional derivative the power law kernel as [17]
FFP0Dβtη1(t)=ν(η2(t)−η1(t))−η1(t)ζq1(t), | (2.1) |
FFP0Dβtζ1(t)=−κζ1(t)+η1(t)ζq1(t), | (2.2) |
FFP0Dβtη2(t)=ν(η1(t)−η2(t))−η2(t)ζq2(t), | (2.3) |
FFP0Dβtζ2(t)=η2(t)ζq2(t). | (2.4) |
By following the procedure in [17], we can obtain the following successive approximations:
η1(t)−η1(0)=kΓ(β)∫t0τk−1(t−τ)β−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (2.5) |
ζ1(t)−ζ2(0)=kΓ(β)∫t0τk−1(t−τ)β−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (2.6) |
η2(t)−η3(0)=kΓ(β)∫t0τk−1(t−τ)β−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (2.7) |
ζ2(t)−ζ2(0)=kΓ(β)∫t0τk−1(t−τ)β−1φ4(η1,ζ1,η2,ζ2,τ)dτ | (2.8) |
where
φ1(η1,ζ1,η2,ζ2,τ)=(ν(η2(τ)−η1(τ))−η1(τ)ζq1(τ)), | (2.9) |
φ2(η1,ζ1,η2,ζ2,τ)=(−κζ1(τ)+η1(τ)ζq1(τ)), | (2.10) |
φ3(η1,ζ1,η2,ζ2,τ)=(ν(η1(τ)−η2(τ))−η2(τ)ζq2(τ)), | (2.11) |
φ4(η1,ζ1,η2,ζ2,τ)=η2(τ)ζq2(τ). | (2.12) |
Equation (2.5)-(2.8) can be reformulated as
η1(t)−η1(0)=kΓ(β)n∑m=0∫tm+1tmτk−1(tn+1−τ)β−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (2.13) |
ζ1(t)−ζ1(0)=kΓ(β)n∑m=0∫tm+1tmτk−1(tn+1−τ)β−1φ2(η1(τ),ζ1(τ),η2(τ),ζ2(τ),τ)dτ, | (2.14) |
η2(t)−η2(0)=kΓ(β)n∑m=0∫tm+1tmτk−1(tn+1−τ)β−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (2.15) |
ζ2(t)−ζ2(0)=kΓ(β)n∑m=0∫tm+1tmτk−1(tn+1−τ)β−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (2.16) |
Using the two-step Lagrange polynomial interpolation, we obtain
η1(t)−η1(0)=kΓ(β)n∑m=0∫tm+1tm(tn+1−τ)β−1Q1,m(τ)dτ, | (2.17) |
ζ1(t)−ζ1(0)=kΓ(β)n∑m=0∫tm+1tm(tn+1−τ)β−1Q2,m(τ)dτ, | (2.18) |
η2(t)−η2(0)=kΓ(β)n∑m=0∫tm+1tm(tn+1−τ)β−1Q3,m(τ)dτ, | (2.19) |
ζ2(t)−ζ2(0)=kΓ(β)n∑m=0∫tm+1tm(tn+1−τ)β−1Q4,m(τ)dτ, | (2.20) |
where,
Q1,m(τ)=τ−tm−1tm−tm−1tk−1mφ1(η1(τm),ζ1(τm),η2(τm),ζ2(τm),τm)−τ−tmtm−tm−1×tk−1m−1φ1(η1(τm−1),ζ1(τm−1),η2(τm−1),ζ2(τm−1),τm−1), | (2.21) |
Q2,m(τ)=τ−tm−1tm−tm−1tk−1mφ2(η1(τm),ζ1(τm),η2(τm),ζ2(τm),τm)−τ−tmtm−tm−1×tk−1m−1φ2(η1(τm−1),ζ1(τm−1),η2(τm−1),ζ2(τm−1),τm−1), | (2.22) |
Q3,m(τ)=τ−tm−1tm−tm−1tk−1mφ3(η1(τm),ζ1(τm),η2(τm),ζ2(τm),τm)−τ−tmtm−tm−1×tk−1m−1φ3(η1(τm−1),ζ1(τm−1),η2(τm−1),ζ2(τm−1),τm−1), | (2.23) |
Q4,m(τ)=τ−tm−1tm−tm−1tk−1mφ4(η4(τm),ζ1(τm),η2(τm),ζ2(τm),τm)−τ−tmtm−tm−1×tk−1m−1φ4(η1(τm−1),ζ1(τm−1),η2(τm−1),ζ2(τm−1),τm−1). | (2.24) |
These integrals are evaluated directly and the numerical solutions of (2.1)-(2.4) involving the FFP derivative are given by
η1(tn+1)=η1(0)+khβΓ(β+2)n∑m=0tk−1mφ1(η1(tm),ζ1(tm),η2(tm),ζ2(tm),tm)Ξ1(n,m)−tk−1m−1φ1(η1(τm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),tm−1)Ξ2(n,m)), | (2.25) |
ζ1(tn+1)=ζ1(0)+khβΓ(β+2)n∑m=0tk−1mφ2(η1(tm),ζ1(tm),η2(tm),ζ2(tm),tm)Ξ1(n,m)−tk−1m−1φ2(η1(τm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),tm−1)Ξ2(n,m)), | (2.26) |
η2(tn+1)=η2(0)+khβΓ(β+2)n∑m=0tk−1mφ3(η1(tm),ζ1(tm),η2(tm),ζ2(tm),tm)Ξ1(n,m)−tk−1m−1φ4(η1(τm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),tm−1)Ξ2(n,m)), | (2.27) |
ζ2(tn+1)=ζ2(0)+khβΓ(β+2)n∑m=0tk−1mφ4(η1(tm),ζ1(tm),η2(tm),ζ2(tm),tm)Ξ1(n,m)−tk−1m−1φ4(η1(τm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),tm−1)Ξ2(n,m)), | (2.28) |
Ξ1(n,m)=((n+1−m)β(n−m+2+β)−(n−m)β×(n−m+2+2β)), | (2.29) |
Ξ2(n,m)=((n+1−m)β+1−(n−m)β(n−m+1+β)). | (2.30) |
Considering the FFE derivative, we have from [17]
FFE0Dβtη1(t)=ν(η2(t)−η1(t))−η1(t)ζq1(t), | (3.1) |
FFE0Dβtζ1(t)=−κζ1(t)+η1(t)ζq1(t), | (3.2) |
FFE0Dβtη2(t)=ν(η1(t)−η2(t))−η2(t)ζq2(t), | (3.3) |
FFE0Dβtζ2(t)=η2(t)ζq2(t). | (3.4) |
For the successive approximations of the system (3.1)-(3.4), we follow the same procedures as in [17], we obtain
η1(t)−η1(0)=ktk−1(1−β)M(β)φ1(η1,ζ1,η2,ζ2,t)+βM(β)∫t0kτk−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (3.5) |
ζ1(t)−ζ1(0)=ktk−1(1−β)M(β)φ2(η1,ζ1,η2,ζ2,t)+βM(β)∫t0kτk−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (3.6) |
η2(t)−η2(0)=ktk−1(1−β)M(β)φ3(η1,ζ1,η2,ζ2,t)+βM(β)∫t0kτk−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (3.7) |
ζ2(t)−ζ2(0)=ktk−1(1−β)M(β)φ4(η1,ζ1,η2,ζ2,t)+βM(β)∫t0kτk−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (3.8) |
Using t=tn+1 the following is established
η1(tn+1)−η1(0)=ktk−1(1−β)M(β)φ1(η1,ζ1,η2,ζ2,tn)+βM(β)∫tn+10kτk−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (3.9) |
ζ1(tn+1)−ζ1(0)=ktk−1(1−β)M(β)φ2(η1,ζ1,η2,ζ2,tn)+βM(β)∫tn+10kτk−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (3.10) |
η2(tn+1)−η2(0)=ktk−1(1−β)M(β)φ3(η1,ζ1,η2,ζ2,tn)+βM(β)∫tn+10kτk−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (3.11) |
ζ2(tn+1)−ζ2(0)=ktk−1(1−β)M(β)φ4(η1,ζ1,η2,ζ2,tn)+βM(β)∫tn+10kτk−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (3.12) |
Further, we have the following:
η1(tn+1)−η1(tn)=ktk−1n(1−β)M(β)φ1(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ1(η1,ζ1,η2,ζ2,tn−1)+βM(β)∫tn+1tnkτk−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (3.13) |
ζ1(tn+1)−ζ1(tn)=ktk−1n(1−β)M(β)φ2(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ2(η1,ζ1,η2,ζ2,tn−1)+βM(β)∫tn+1tnkτk−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (3.14) |
η2(tn+1)−η2(tn)=ktk−1n(1−β)M(β)φ3(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ3(η1,ζ1,η2,ζ2,tn−1)+βM(β)∫tn+1tnkτk−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (3.15) |
ζ2(tn+1)−ζ2(tn)=ktk−1n(1−β)M(β)φ4(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ4(η1,ζ1,η2,ζ2,tn−1)+βM(β)∫tn+1tnkτk−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (3.16) |
It follows from the Lagrange polynomial interpolation and integrating the following expressions:
η1(tn+1)−η1(tn)=ktk−1n(1−β)M(β)φ1(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ1(η1,ζ1,η2,ζ2,tn−1)+khβ2M(β)×(3tk−1nφ1(η1,ζ1,η2,ζ2,tn)−tk−1n−1φ1(η1,ζ1,η2,ζ2,tn−1), | (3.17) |
ζ1(tn+1)−ζ1(tn)=ktk−1n(1−β)M(β)φ2(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ2(η1,ζ1,η2,ζ2,tn−1)+khβ2M(β)×(3tk−1nφ2(η1,ζ1,η2,ζ2,tn)−tk−1n−1φ2(η1,ζ1,η2,ζ2,tn−1), | (3.18) |
η2(tn+1)−η2(tn)=ktk−1n(1−β)M(β)φ3(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ3(η1,ζ1,η2,ζ2,tn−1)+khβ2M(β)×(3tk−1nφ3(η1,ζ1,η2,ζ2,tn)−tk−1n−1φ3(η1,ζ1,η2,ζ2,tn−1), | (3.19) |
ζ2(tn+1)−ζ2(tn)=ktk−1n(1−β)M(β)φ4(η1,ζ1,η2,ζ2,tn)−ktk−1n−1(1−β)M(β)φ4(η1,ζ1,η2,ζ2,tn−1)+khβ2M(β)×(3tk−1nφ4(η1,ζ1,η2,ζ2,tn)−tk−1n−1φ4(η1,ζ1,η2,ζ2,tn−1). | (3.20) |
Finally, it is appropriate to write the successive approximations of the system (3.1)-(3.4) as follows:
η1(tn+1)−η1(tn)=ktk−1n((1−β)M(β)+3hβ2M(β))φ1(η1,ζ1,η2,ζ2,tn)−ktk−1n−1((1−β)M(β)+hβ2M(β))φ1(η1,ζ1,η2,ζ2,tn−1), | (3.21) |
ζ1(tn+1)−ζ1(tn)=ktk−1n((1−β)M(β)+3hβ2M(β))φ2(η1,ζ1,η2,ζ2,tn)−ktk−1n−1((1−β)M(β)+hβ2M(β))φ2(η1,ζ1,η2,ζ2,tn−1), | (3.22) |
η2(tn+1)−η2(tn)=ktk−1n((1−β)M(β)+3hβ2M(β))φ3(η1,ζ1,η2,ζ2,tn)−ktk−1n−1((1−β)M(β)+hβ2M(β))φ3(η1,ζ1,η2,ζ2,tn−1), | (3.23) |
ζ2(tn+1)−ζ2(tn)=ktk−1n((1−β)M(β)+3hβ2M(β))φ4(η1,ζ1,η2,ζ2,tn)−ktk−1n−1((1−β)M(β)+hβ2M(β))φ4(η1,ζ1,η2,ζ2,tn−1). | (3.24) |
Considering the FFM derivative, we have [18]
FFM0Dβtη1(t)=ν(η2(t)−η1(t))−η1(t)ζq1(t), | (4.1) |
FFM0Dβtζ1(t)=−κζ1(t)+η1(t)ζq1(t), | (4.2) |
FFM0Dβtη2(t)=ν(η1(t)−η2(t))−η2(t)ζq2(t), | (4.3) |
FFM0Dβtζ2(t)=η2(t)ζq2(t). | (4.4) |
Also, for this system (4.1)-(4.4), we follow the same treatment that was done in [17] to obtain the successive approximate solutions as follows:
η1(t)−η1(0)=ktk−1(1−β)A(β)φ1(η1,ζ1,η2,ζ2,t)+βA(β)Γ(β)∫t0kτk−1(t−τ)β−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (4.5) |
ζ1(t)−ζ1(0)=ktk−1(1−β)A(β)φ2(η1,ζ1,η2,ζ2,t)+βA(β)Γ(β)∫t0kτk−1(t−τ)β−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (4.6) |
η2(t)−η2(0)=ktk−1(1−β)A(β)φ3(η1,ζ1,η2,ζ2,t)+βA(β)Γ(β)∫t0kτk−1(t−τ)β−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (4.7) |
ζ2(t)−ζ2(0)=ktk−1(1−β)A(β)φ4(η1,ζ1,η2,ζ2,t)+βA(β)Γ(β)∫t0kτk−1(t−τ)β−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (4.8) |
At tn+1 we obtain the following
η1(tn+1)−η1(0)=ktk−1n(1−β)A(β)φ1(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)∫tn+10kτk−1(tn+1−τ)β−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (4.9) |
ζ1(tn+1)−ζ1(0)=ktk−1n(1−β)A(β)φ2(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)∫tn+10kτk−1(tn+1−τ)β−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (4.10) |
η2(tn+1)−η2(0)=ktk−1n(1−β)A(β)φ3(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)∫tn+10kτk−1(tn+1−τ)β−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (4.11) |
ζ2(tn+1)−ζ2(0)=ktk−1n(1−β)A(β)φ4(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)∫tn+10kτk−1(tn+1−τ)β−1φ4(η1,ζ1,η2,ζ2,τ)dτ, | (4.12) |
The integrals involving in (4.9)-(4.12) can be approximated as:
η1(tn+1)−η1(0)=ktk−1n(1−β)A(β)φ1(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)n∑m=0∫tm+1tmkτk−1(tn+1−τ)β−1φ1(η1,ζ1,η2,ζ2,τ)dτ, | (4.13) |
ζ1(tn+1)−ζ1(0)=ktk−1n(1−β)A(β)φ2(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)n∑m=0∫tm+1tmkτk−1(tn+1−τ)β−1φ2(η1,ζ1,η2,ζ2,τ)dτ, | (4.14) |
η2(tn+1)−η2(0)=ktk−1n(1−β)A(β)φ3(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)n∑m=0∫tm+1tmkτk−1(tn+1−τ)β−1φ3(η1,ζ1,η2,ζ2,τ)dτ, | (4.15) |
ζ2(tn+1)−ζ2(0)=ktk−1n(1−β)A(β)φ4(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+βA(β)Γ(β)n∑m=0∫tm+1tmkτk−1(tn+1−τ)β−1φ4(η1,ζ1,η2,ζ2,τ)dτ. | (4.16) |
The following numerical schemes after approximating the expressions τk−1φi(η1,ζ1,η2,ζ2,τ),i=1,2,3,4 in the interval [tm,tm+1] in (4.13)-(4.16) are given by
η1(tn+1)−η1(0)=ktk−1n(1−β)A(β)φ1(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+khβA(β)Γ(β+2)n∑m=0[tk−1mφ1(η1(tm),ζ1(tm),η2(tm),ζ2(tm),(tm))Ξ1(n,m)−tk−1m−1φ1(η1(tm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),(tm−1))Ξ2(n,m)], | (4.17) |
ζ1(tn+1)−ζ1(0)=ktk−1n(1−β)A(β)φ2(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+khβA(β)Γ(β+2)n∑m=0[tk−1mφ2(η1(tm),ζ1(tm),η2(tm),ζ2(tm),(tm))Ξ1(n,m)−tk−1m−1φ2(η1(tm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),(tm−1))Ξ2(n,m)], | (4.18) |
η2(tn+1)−η2(0)=ktk−1n(1−β)A(β)φ3(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+khβA(β)Γ(β+2)n∑m=0[tk−1mφ3(η1(tm),ζ1(tm),η2(tm),ζ2(tm),(tm))Ξ1(n,m)−tk−1m−1φ3(η1(tm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),(tm−1))Ξ2(n,m)], | (4.19) |
ζ2(tn+1)−ζ2(0)=ktk−1n(1−β)A(β)φ4(η1(tn),ζ1(tn),η2(tn),ζ2(tn),tn)+khβA(β)Γ(α+2)n∑m=0[tk−1mφ4(η1(tm),ζ1(tm),η2(tm),ζ2(tm),(tm))Ξ1(n,m)−tk−1m−1φ4(η1(tm−1),ζ1(tm−1),η2(tm−1),ζ2(tm−1),(tm−1))Ξ2(n,m)]. | (4.20) |
In this section, we study in detail the effect of the non-linear term in general, as well as the effect of the fractal-fractional order on the numerical solutions that we obtained by using successive approximations in the above sections. First we begin by satisfying the effective of the numerical solutions of the proposed system when β=1 and k=1.
We compare only for the power kernel with a known numerical method which is the finite differences method. This is because all numerical solutions based on the three fractal-fractional operators that presented in this paper are very close each other when β=1 and k=1. Figure 1 illustrates the comparison between numerical solutions (2.25)-(2.28) and numerical solutions computed by using the finite differences method with k and β. The parameters that used are γ=0.4,κ=0.004,h=0.02. From this figure we note that an excellent agreement. And the accurate is increasing as we take small h. From, Figure 1(a) and 1(c), we can see, that the profiles for η1 and η2 are very similar, but the profiles of ζ1 and ζ2 are more distinct with ζ2>ζ2. For Figure 1(b), the profiles of ζ1 and ζ2 are very close than in Figure 1(a) and 1(c), also for ζ1 and ζ2. Figures 2 and 3 show that the behavior of the approximate solutions based on FFP, FFE and FFM, when the degree of the non-linear term is cubic and for different values of k and β. For the parameters γ and κ, we fixed them in all computations. The remain parameters are the same as in Figure 1. Similarly, in Figures 4 and 5, the approximate solutions are plotted in the case of a non-linear with quadratic degree and for different values of k and β. Finally in Figures 6 and 7, the approximate solutions are shown in the case of non-linear with fractional order and for different values for k and β. For the Figures 2 and 3 which the nonlinear is cubic, all the profiles are distinct. Similarly with Figures 6 and 7 when the nonlinear is quadratic. From Figures 4 and 5, we can see in the case of fraction non-linear, the profiles of η1 and η2 are very close to each other than the profiles of ζ1 and ζ2.
In this paper, numerical solutions of the of the fractal-fractional reaction diffusion equations with general nonlinear have been studied. We introduced the FFRDE in three instances of fractional derivatives based on power, exponential, and Mittag-Leffler kernels. After that, we used the fundamental fractional calculus with the help of Lagrange polynomial functions. We obtained the iterative and approximate formulas in the three cases. We studied the effect of the non-linear term order, in the case of cubic, quadratic, and fractional for different values of the fractal-fractional derivative order. The accuracy of the numerical solutions in the classic case of the FFRDE was tested in the case of power kernel, where all the numerical solutions in the classic case of integer order coincide to each other, and the comparison result has excellent agreement. In all calculations was used the Mathematica Program Package.
The authors would like to express their Gratitudes to the ministry of education and the deanship of scientific research-Najran University-Kingdom of Saudi Arabia for their financial and Technical support under code number (NU/ESCI/17/025).
The authors declare that there is no conflict of interests regarding the publication of this paper.
1. | Jia-Bao Liu, Saad Ihsan Butt, Jamshed Nasir, Adnan Aslam, Asfand Fahad, Jarunee Soontharanon, Jensen-Mercer variant of Hermite-Hadamard type inequalities via Atangana-Baleanu fractional operator, 2022, 7, 2473-6988, 2123, 10.3934/math.2022121 | |
2. | Hasib Khan, Jehad Alzabut, Anwar Shah, Sina Etemad, Shahram Rezapour, Choonkil Park, A study on the fractal-fractional tobacco smoking model, 2022, 7, 2473-6988, 13887, 10.3934/math.2022767 | |
3. | Hasib Khan, Muhammad Ibrahim, Abdel-Haleem Abdel-Aty, M. Motawi Khashan, Farhat Ali Khan, Aziz Khan, A fractional order Covid-19 epidemic model with Mittag-Leffler kernel, 2021, 148, 09600779, 111030, 10.1016/j.chaos.2021.111030 | |
4. | Krunal B. Kachhia, Chaos in fractional order financial model with fractal–fractional derivatives, 2023, 7, 26668181, 100502, 10.1016/j.padiff.2023.100502 | |
5. | Hari M. Srivastava, Khaled Mohammed Saad, Walid M. Hamanah, Certain New Models of the Multi-Space Fractal-Fractional Kuramoto-Sivashinsky and Korteweg-de Vries Equations, 2022, 10, 2227-7390, 1089, 10.3390/math10071089 | |
6. | Hasnaa H Alzahrani, Marco Lucchesi, Kassem Mustapha, Olivier P Le Maître, Omar M Knio, Bayesian calibration of order and diffusivity parameters in a fractional diffusion equation, 2021, 5, 2399-6528, 085014, 10.1088/2399-6528/ac1507 | |
7. | Jagdev Singh, Arpita Gupta, Dumitru Baleanu, On the analysis of an analytical approach for fractional Caudrey-Dodd-Gibbon equations, 2022, 61, 11100168, 5073, 10.1016/j.aej.2021.09.053 | |
8. | Xiaojun Zhou, Yue Dai, A spectral collocation method for the coupled system of nonlinear fractional differential equations, 2022, 7, 2473-6988, 5670, 10.3934/math.2022314 | |
9. | Nauman Ahmed, Ali Raza, Ali Akgül, Zafar Iqbal, Muhammad Rafiq, Muhammad Ozair Ahmad, Fahd Jarad, New applications related to hepatitis C model, 2022, 7, 2473-6988, 11362, 10.3934/math.2022634 | |
10. | Esra Karatas Akgül, Wasim Jamshed, Kottakkaran Sooppy Nisar, S.K. Elagan, Nawal A. Alshehri, On solutions of gross domestic product model with different kernels, 2022, 61, 11100168, 1289, 10.1016/j.aej.2021.06.067 | |
11. | Rubayyi T. Alqahtani, Shabir Ahmad, Ali Akgül, On Numerical Analysis of Bio-Ethanol Production Model with the Effect of Recycling and Death Rates under Fractal Fractional Operators with Three Different Kernels, 2022, 10, 2227-7390, 1102, 10.3390/math10071102 | |
12. | A. DLAMINI, EMILE F. DOUNGMO GOUFO, M. KHUMALO, CHAOTIC BEHAVIOR OF MODIFIED STRETCH–TWIST–FOLD FLOW UNDER FRACTAL-FRACTIONAL DERIVATIVES, 2022, 30, 0218-348X, 10.1142/S0218348X22402071 | |
13. | Anwar Zeb, Abdon Atangana, Zareen A. Khan, Salih Djillali, A robust study of a piecewise fractional order COVID-19 mathematical model, 2022, 61, 11100168, 5649, 10.1016/j.aej.2021.11.039 | |
14. | Shabir Ahmad, Aman Ullah, Ali Akgül, Manuel De la Sen, A study of fractional order Ambartsumian equation involving exponential decay kernel, 2021, 6, 2473-6988, 9981, 10.3934/math.2021580 | |
15. | Raheel Kamal, Gul Rahmat, Kamal Shah, Ricardo Escobar, On the Numerical Approximation of Three-Dimensional Time Fractional Convection-Diffusion Equations, 2021, 2021, 1563-5147, 1, 10.1155/2021/4640467 | |
16. | Kaihong Zhao, Shuang Ma, Ulam-Hyers-Rassias stability for a class of nonlinear implicit Hadamard fractional integral boundary value problem with impulses, 2022, 7, 2473-6988, 3169, 10.3934/math.2022175 | |
17. | Kamsing Nonlaopon, Muhammad Naeem, Ahmed M. Zidan, Rasool Shah, Ahmed Alsanad, Abdu Gumaei, Muhammad Imran Asjad, Numerical Investigation of the Time-Fractional Whitham–Broer–Kaup Equation Involving without Singular Kernel Operators, 2021, 2021, 1099-0526, 1, 10.1155/2021/7979365 | |
18. | Saima Rashid, Rehana Ashraf, Ebenezer Bonyah, Azhar Hussain, On Analytical Solution of Time-Fractional Biological Population Model by means of Generalized Integral Transform with Their Uniqueness and Convergence Analysis, 2022, 2022, 2314-8888, 1, 10.1155/2022/7021288 | |
19. | Khadija Tul Kubra, Rooh Ali, Modeling and analysis of novel COVID-19 outbreak under fractal-fractional derivative in Caputo sense with power-law: a case study of Pakistan, 2023, 2363-6203, 10.1007/s40808-023-01747-w | |
20. | ZAREEN A. KHAN, KAMAL SHAH, BAHAAELDIN ABDALLA, THABET ABDELJAWAD, A NUMERICAL STUDY OF COMPLEX DYNAMICS OF A CHEMOSTAT MODEL UNDER FRACTAL-FRACTIONAL DERIVATIVE, 2023, 31, 0218-348X, 10.1142/S0218348X23401813 | |
21. | Kamal Shah, Thabet Abdeljawad, On complex fractal-fractional order mathematical modeling of CO 2 emanations from energy sector, 2024, 99, 0031-8949, 015226, 10.1088/1402-4896/ad1286 | |
22. | Samy A. Abdelhafeez, Anas A. M. Arafa, Yousef H. Zahran, Ibrahim S. I. Osman, Moutaz Ramadan, Adapting Laplace residual power series approach to the Caudrey Dodd Gibbon equation, 2024, 14, 2045-2322, 10.1038/s41598-024-57780-x | |
23. | Krunal B. Kachhia, Prit P. Parmar, A novel fractional mask for image denoising based on fractal–fractional integral, 2024, 11, 26668181, 100833, 10.1016/j.padiff.2024.100833 | |
24. | Harpreet Kaur, Amanpreet Kaur, Palwinder Singh, Scale-3 Haar wavelet-based method of fractal-fractional differential equations with power law kernel and exponential decay kernel, 2024, 13, 2192-8029, 10.1515/nleng-2022-0380 | |
25. | Muhammad Farman, Changjin Xu, Perwasha Abbas, Aceng Sambas, Faisal Sultan, Kottakkaran Sooppy Nisar, Stability and chemical modeling of quantifying disparities in atmospheric analysis with sustainable fractal fractional approach, 2025, 142, 10075704, 108525, 10.1016/j.cnsns.2024.108525 | |
26. | Ashish Rayal, System of fractal-fractional differential equations and Bernstein wavelets: a comprehensive study of environmental, epidemiological, and financial applications, 2025, 100, 0031-8949, 025236, 10.1088/1402-4896/ada592 | |
27. | Mashael M. AlBaidani, Abdul Hamid Ganie, Adnan Khan, Fahad Aljuaydi, An Approximate Analytical View of Fractional Physical Models in the Frame of the Caputo Operator, 2025, 9, 2504-3110, 199, 10.3390/fractalfract9040199 |