Abstract
A quasilinear parabolic problem with a time fractional derivative of the Caputo type and mixed boundary conditions is considered. The coefficients of the elliptic operator depend on the gradient of the solution, and this operator is uniformly monotone and Lipschitz-continuous. For this problem, unconditionally stable linear regularized semi-discrete scheme is constructed based on the \(L1\)-approximation of the fractional time derivative. Stability estimates are obtained by the variational method. Accuracy estimates are given provided that the initial data and the solution to the differential problem are sufficiently smooth. The proved result of stability of the semi-discrete scheme is valid for the mesh scheme obtained from the semi-discrete problem using the finite element method in spatial variables.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
INTRODUCTION
Partial differential equations with time-fractional derivatives arise in mathematical modeling of anomalous diffusion and dynamic processes in materials with memory. Numerous articles are devoted to the approximation of boundary value problems for linear problems with time-fractional derivatives. In recent years, the numerical methods has been actively developed for equations with time-fractional derivatives and the elliptic parts containing the non-linearities. Thus, implicit mesh schemes for the equations with Caputo time-fractional derivatives and with right-hand sides depending on the solution are studied in [1–3]. In [4] an implicit scheme is investigated for the nonlinear diffusion equation with a coefficient depending on the solution and with Caputo time-fractional derivative. In [5–10], analysis of ADI schemes was performed for linear time-fractional equations and for a class of semilinear time-fractional equations.
The article [11] proposes a new mathematical model for a viscoelastic-plastic process by formulating a temporary fractional equation containing an elliptic operator, which depends on the gradient of the solution. In [12], the authors construct and study backward Euler and locally one dimensional schemes approximating Dirichlet problem with Caputo time-fractional derivative and a quasilinear elliptic part without mixed derivatives.
In this article, we consider a quasilinear parabolic problem with a time fractional derivative of the Caputo type and mixed boundary conditions. The quasilinear elliptic part of the problem defines a uniformly monotone and Lipschitz operator, which is energy equivalent to the Laplace operator. For this problem, we construct and investigate a linear regularized semidiscrete scheme in which the regularization term contains the Laplace operator and time-fractional derivative is approximated using well-known \(L1\)-approximation. Stability estimates for the semidiscrete problem by the variational method are obtained. Accuracy estimates are given provided that the initial data and the solution to the differential problem are sufficiently smooth. For discrete schemes obtained as a result of mesh approximations of the elliptic part of the semidiscrete problem, the stability estimates remain valid. They are also generalized for factorized schemes.
1 FORMULATION OF THE PROBLEM
Let \(\Omega\subset\mathbb{R}^{2}\) be a polygon with the boundary \(\partial\Omega=\Gamma_{D}\cup\Gamma_{N},\) \({\textrm{meas }}\Gamma_{D}>0\), and \(Q=\Omega\times(0,T]\), \(\Sigma_{D}=\Gamma_{D}\times(0,T]\), \(\Sigma_{N}=\Gamma_{N}\times(0,T]\). Define a Caputo-type time-fractional derivative:
with a kernel \(G(t)\) satisfying the assumptions:
The conditions (2) are satisfied for
-
the generalized Caputo fractional derivative with \({G(t)}=\dfrac{r(t)}{\Gamma(1-\alpha)t^{\alpha}}\), \(0<\alpha<1,\) \(\Gamma(x)\) is gamma-function, a weighting function \(r(t)\in C^{2}[0,T]\), \(r(t)>0\) and \(r^{\prime}(t)\leqslant 0\) for all \(t\in[0,T]\) (\(r(t)\equiv 1\) corresponds to the classical Caputo fractional derivative);
-
the multi-term fractional derivative with \({G(t)}=\sum_{k=1}^{s}\dfrac{c_{k}}{\Gamma(1-\alpha_{k})t^{\alpha_{k}}},\quad 0<\alpha_{1}<\ldots<\alpha_{s}<1,\) \(c_{k}>0\).
See the definitions of the corresponding derivatives, e.g., in [13–15]).
Let us define a second order quasilinear elliptic differential operator \(L\) and the co-normal derivative \(\frac{\partial u}{\partial\nu_{L}}\) by the equalities
where \(n\) is the unit vector of the outward normal to \(\Sigma_{N}\). Suppose that the nonlinear coefficients \(g_{i}(t,p)=g_{i}(x,t,p_{0},p_{1},p_{2})\) of the equation satisfy the following assumptions for all \((x,t)\in\bar{Q}\) and \(p,q,r\in{\mathbb{R}^{3}}\):
Consider a quasilinear parabolic problem with the time-fractional derivative and mixed boundary conditions:
We assume that given functions \(f=f(x,t)\) and \(q=q(x,t)\) are continuous in \(t\) in order to use the simplest mesh approximations and do not specify their properties in details, since we do not investigate the existence of a solution to problem (5).
Let us make only a few remarks about well-known results on the existence of weak solutions of parabolic equations with time-fractional derivatives. The existence of a regular weak solution to Dirichlet problem for the case of linear operator \(L\) and classical Caputo fractional derivative was proved in [16]. A priori estimate for the solution in the norm of \(H^{\alpha}(0,T;L^{2}(\Omega))\cap L^{2}(0,T;H_{0}^{1}(\Omega)\cap H^{2}(\Omega))\) through the \(L^{2}(Q)\)-norm of \(f\) was derived. The existence of a weak solution from Besov space \(B^{\alpha/2}(Q_{T})=H^{\alpha/2}(0,T;L^{2}(\Omega))\cap L^{2}(0,T;H^{1}(\Omega))\) is substantiated in [12] for a quasilinear Dirichlet boundary value problem with classical Caputo derivative and a particular case of differential operator (3). This result can be generalized for the case of boundary value problem with elliptic operator (3) and Caputo time derivative. In a general case the problem of the existence of a unique solution to (5) seems to be open. In the future, we will assume that problem (5) has a smooth solution, and will focus on studying the mesh approximation of this problem.
2 APPROXIMATION
Multiplying the differential equation (5) by a sufficiently smooth function \(v(x):v|_{\Gamma_{D}}=0\), we obtain a variational equation that can serve as a basis for the constructing its approximations:
Let \(V=\{y\in H^{1}(\Omega);y=0\quad\textrm{a.e.}\quad x\in\Gamma_{D}\}\) with the norm \(||u||_{V}^{2}=\int\limits_{\Omega}\big{(}u^{2}+|\nabla u|^{2}\big{)}dx\), and let \(||u||_{0}^{2}=\int\limits_{\Omega}u^{2}dx,\) \(||u||_{1}^{2}=\int\limits_{\Omega}|\nabla u|^{2}dx\) and \(||u||_{\Gamma}^{2}=\int\limits_{\Gamma_{N}}u^{2}d\Gamma.\) It is well-known that
Due to the first inequality in (6) the norms \(||u||_{V}\) and \(||u||_{1}\) are equivalent. By virtue of this fact and the assumptions (4) the form
is well-defined on \(V\times V\) for all \(t\) and has the following properties:
Let \(\omega_{\tau}=\{t_{j}=j\tau,j=0,1,\ldots M;M\tau=T\}\) be a uniform mesh on the segment \([0,T]\) and let us use the notation \(y^{j}=y(t_{j})\) for a continuous function \(y(t)\). The \(L1\)-approximation of the time derivative \(\mathcal{D}_{t}y(t)=\int\limits_{0}^{t}G(t-s)\dfrac{\partial y}{\partial s}(s)ds\) of a continuous function \(y(t)\) at a point \(t_{k}\in\omega_{\tau}\) is given by the following relations:
The properties (2) imply that the coefficients satisfy the inequalities
First, we consider the semidiscrete implicit scheme approximating problem (5): find \((y(x,t_{1}),y(x,t_{2}),\ldots,y(x,t_{M}))\) with \(y(x,t_{k})\in V\) and \(y(x,0)=0\), such that for all \(k\)
Since \(\partial_{t}\bar{y}^{k}(x)=d_{1}y^{k}(x)+\sum\limits_{j=1}^{k-1}(d_{j+1}-d_{j})y^{k-j}(x),\) then a \(k\)-th equation of system (9) is a variational equation
with right-hand side
Due to the properties (7) the left side of (10) defines a continuous and uniformly monotone operator from \(V\) to its dual \(V^{*}\). Using the inequalities (6), it is easy to see that linear functional \(F_{k}\in V^{*}\) for \(f(x,t_{k})\in L^{2}(\Omega)\) and \(q(x,t_{k})\in L^{2}(\Gamma_{N})\). Thus, the existence of a unique solution to problem (10) follows from [17], Chapter 2, section 2.1.
Below, instead of the nonlinear problem (9), a linear regularized problem is constructed. To shorten writing, we will use the notations
Let us introduce a bilinear bounded form \(r(u,v)\) on the space \(V\times V\), which satisfies the inequality
A particular case of this bilinear form is \(r(u,v)=\int\limits_{\Omega}\nabla u\cdot\nabla vdx\) for \(u,v\in V.\)
The regularized scheme approximating (5) is as follows: for a given \(y^{0}=0\) find \(y^{k}\) for \(k\geqslant 1\) from the system of linear equations
For a fixed \(k\) the mesh scheme (12) can be written as
The linear variational problem (13) has a unique solution for any \(\sigma\geqslant 0\) by Lax–Milgram theorem.
The essential point used in proving stability estimates is the property of the \(L1\)-approximation of the time-fractional derivative, which is given by the following lemma:
Lemma 1 ([12]). Let
Then the symmetric matrix \(1/2(D+D^{T})\) is positive definite.
Using the matrix \(D\), the approximation of time derivative at a point \(t_{k}=k\tau\in\omega_{\tau}\) can be written as
where \(D_{k}\) is \(k\times k\) leading submatrix of \(B\), and \(1/2(D_{k}+D_{k}^{T})\) is positive definite along with \(1/2(D+D^{T})\):
Introduce also the bilinear, symmetric and positive definite form on \(V\times V\):
Now the equation (13) can be rewritten as
For generality, we derive an a priori estimate for the case of a nonzero initial value. For \(i=1,2\) we denote by \(y_{i}\) the solutions of the equation (13) with the right-hand sides \(f_{i}\) and the initial values \(y^{0}_{i}\). Let also \(y=y_{1}-y_{2}\), \(y^{0}=y_{1}^{0}-y_{2}^{0}\) and \(\psi=f_{1}-f_{2}\).
Lemma 2. Let the conditions (7) be satisfied and the regularization parameter satisfies the condition
Then there is a constant \(\mu=\mu(\delta)\) such that for all \(m=1,2,\ldots M\) the following a priori estimate for the regularized mesh scheme (13) holds:
Proof. From the equations (24) written for \(y^{k}_{1}\) and \(y^{k}_{2}\) with test function \(v=2(y^{k}_{1}-y^{k}_{2})=2y^{k}\) we obtain:
In what follows, we use the following estimates:
with a constant \(\delta_{0}\in(0,2c_{0})\) in the second estimate.
Using the derived estimates and the inequality (14), after summing the equation (18) over \(k\) from 1 to \(m\) we obtain
Now, due to the definition of the bilinear form \(b(.,.)\) and the inequalities (11) and (16) we have the inequality
With an appropriate choice of the constant \(\delta_{0}=\delta_{0}(\delta)\in(0,2c_{0}),\) we obtain
whence
Let \(\mu(\delta)=\min\{\sigma,2c_{0}-\delta_{0}(\delta)\}\). Since \(||y^{m}||_{b}^{2}=(d_{1}-d_{2})||y^{m}||^{2}+\sigma||y^{m}||_{1}^{2}\), then the last inequality implies (17) \(\Box\)
The a priori estimate (17) can be used to obtain various stability estimates for the regularized mesh scheme (13). We give one such estimate in the case of zero initial condition. Let
and let the following norms be defined for the functions from \(\omega_{\tau}\) to \(V\) or to its subspace \(W\):
Theorem 1. Let the conditions (7) be satisfied, \(y_{i}\) be the solutions of the equation (13) with the right-hand sides \(f_{i},\) homogeneous initial conditions \(y_{i}^{0}=0\) and the right-hand sides in Neuman boundary conditions \(q_{i}\) . If the regularization parameter satisfies the condition (16):
then the following stability estimate holds:
Proof. The inequality (17) implies
with
For all \(k\) and \(v\in V\)
and due to (6)
Now the estimate (20) immediately follows from (21) and the last two inequalities. \(\Box\)
Using the proven stability estimate, we can obtain an accuracy estimate under the assumption that the input data and the solution to the differential problem are sufficiently smooth. Let \(y^{k},k=1,2,\ldots,M,\) be the solution of a semidiscrete problem (12) and \(u^{k}=u(x,t_{k})\) be the exact solution \(u(x,t)\) of the differential problem (5). Then the estimate (18) applied to the difference \(y-u\) contains in the right-hand side the function \(\psi^{k}\) which is defined by the equality
Let us consider the case of classical Caputo derivative. The following estimate is well-known ([19, 20]): \(\partial^{\alpha}_{t}\bar{u}^{k}=\mathcal{D}^{\alpha}_{t}u(t_{k})+O(\tau^{2-\alpha})\). It is easy to see that \(r(u^{k}-u^{k-1},v)=\tau r\left(\frac{u^{k}-u^{k-1}}{\tau},v\right)\leqslant O(\tau)||v||_{1}\). Thus, the most significant term in the approximation error is associated with the introduction of the regularizing term, and the accuracy estimate is
Note that for the implicit scheme (backward Euler scheme) and locally one-dimensional scheme (see [12]), the terms in the accuracy estimate related to the approximation in time have the following orders respectively:
Both of these schemes are nonlinear and require the use of iterative methods when implemented at each time level.
Remark 1. A fully discrete approximation of problem (5) can be constructed using an approximation with respect to the spatial variables of the semidiscrete problem (12). All the results on the existence of a unique solution and the proved stability estimates remain valid for mesh problems constructed using the finite element method with finite elements of the first order, as well as for finite element schemes with quadrature formulas.
Remark 2. The explicit (forward Euler) mesh scheme is a particular case of fully discrete regularized scheme with \(\sigma=0\). A sufficient condition of its stability follows from the estimate (19):
The last inequality is equivalent to the following estimate for the maximum eigenvalue \(\lambda_{\textrm{max}}\) of the mesh Laplace operator:
As is known, \(\lambda_{\textrm{max}}=O(h^{-2})\), where \(h\) characterizes the mesh step in the spatial variable. Since, for example, for the \(L1\)-approximation of the Caputo derivative, \(d_{1}-d_{2}=O(\tau^{-\alpha})\), then (22) leads to a very restrictive condition for the smallness of the time step:
with a constant \(c\), which depends on the problem data.
Remark 3. Let \(r_{1}(u,v)\) be a bounded bilinear form in \(V\times V\) and \(r_{1}(u,u)\geqslant 0\). Then the following scheme satisfies all the proven results on unique solvability and stability:
This fact allows to apply these results to the factorized mesh schemes. More precisely, let for a fully discrete scheme constructed using finite element or finite difference scheme \(r(u,v)=(Ru,v)\) and the mesh Laplace operator \(R=-\Delta_{h}\) with corresponding boundary conditions can be splitted into the sum \(R=R_{1}+R_{2}\) such that \(R_{1}R_{2}\) is a non-negative mesh operator: \((R_{1}R_{2}u,u)\geqslant 0\). In this case we set \(r_{1}(u,v)=(R_{1}R_{2}u,v)\) and take the regularization term in the form
The corresponding mesh scheme becomes the mesh scheme with a factorized operator on each time level:
The implementation of (24) is reduced to sequential inversion of the mesh operators \(I+\sigma d_{1}^{-1}R_{1}\) and \(I+\sigma d_{1}^{-1}R_{2}\) and is very easy if these operators are locally one-dimensional (that corresponds to alternating direction method) or triangle (that corresponds to alternating triangular method). The term \(\sigma^{2}d_{1}^{-1}r_{1}(u^{k},v)\) is added to the approximation error. In case of classical Caputo derivative it is asymptotically \(O(\tau^{\alpha})\). So, the accuracy estimate is
Change history
19 October 2021
An Erratum to this paper has been published: https://doi.org/10.1134/S1995080221100231
REFERENCES
B. Jin, B. Li, and Z. Zhou, ‘‘Numerical analysis of nonlinear subdiffusion equations,’’ SIAM J. Numer. Anal. 56, 1–23 (2018).
D. Li, H.-L. Liao, W. Sun, J. Wang, and J. Zhang, ‘‘Analysis of \(L1\)-Galerkin FEMs for time-fractional nonlinear parabolic problems,’’ Commun. Comput. Phys. 24, 86–103 (2018).
D. Li, J. Zhang, and Z. Zhang, ‘‘Unconditionally optimal orror Estimates of a linearized Galerkin method for nonlinear time fractional reaction–subdiffusion equations,’’ J. Sci. Comput. 76, 848–866 (2018).
D. N. Gerasimov, V. A. Kondratieva, and O. A. Sinkevich, ‘‘An anomalous non-self-similar infiltration and fractional diffusion equation,’’ Phys. D (Amsterdam, Neth.) 239, 1593–1597 (2010).
Y. Zhang, Z. Sun, and X. Zhao, ‘‘Compact alternating direction implicit scheme for the two dimensional fractional diffusion-wave equation,’’ SIAM J. Numer. Anal. 50, 1535–1555 (2002).
A. Chen and C. Li, ‘‘A novel compact ADI scheme for the time-fractional subdiffusion equation in two space dimensions,’’ Int. J. Comput. Math. 93, 889–914 (2016).
G. H. Gao and Z. Z. Sun, ‘‘Two alternating direction implicit difference schemes for two-dimensional distributed-order fractional diffusion equations,’’ J. Sci. Comput. 66, 1281–1312 (2016).
P. Zhu and S. L. Xie, ‘‘ADI finite element method for 2D nonlinear time fractional reaction-subdiffusion equation,’’ Am. J. Comput. Math. 6, 336–356 (2016).
W. Qiu, Da Xu, H. Chen, and J. Guo, ‘‘An alternating direction implicit Galerkin finite element method for the distributed-order time-fractional mobile-immobile equation in two dimensions,’’ Comput. Math. Appl. 80, 3156–3172 (2020).
H. Jiang, D. Xu, W. Qiu, and J. Zhou, ‘‘An ADI compact difference scheme for the two-dimensional semilinear time-fractional mobile-immobile equation,’’ Comput. Appl. Math. 39 (287) (2020).
S. Tatar, R. Tnaztepe, and M. Zeki, ‘‘Numerical solutions of direct and inverse problems for a time fractional viscoelastoplastic equation,’’ J. Eng. Mech. 143 (7) (2017).
A. Lapin and K. Levinskaya, ‘‘Numerical solution of a quasilinear parabolic equation with a fractional time derivative,’’ Lobachevskii J. Math. 41 (12), 2673–2686 (2020).
T. Sandev, A. Chechkin, H. Kantz, and R. Metzler, ‘‘Diffusion and Fokker–Planck–Smoluchowski equations with generalized memory kernel,’’ Fract. Calc. Appl. Anal. 18, 1006–1038 (2015).
B. Jin, R. Lazarov, Y. Liu, and Z. Zhou, ‘‘The Galerkin finite element method for a multi-term time-fractional diffusion equation,’’ J. Comput. Phys. 281, 825–843 (2015).
Gh. Gao, A. A. Alikhanov, and Z. Sun, ‘‘The temporal second order difference schemes based on the interpolation approximation for solving the time multi-term and distributed-order fractional sub-diffusion equations,’’ J. Sci. Comput. 73, 93–121 (2017).
R. Gorenflo, Yu. Luchko, and M. Yamamoto, ‘‘Time-fractional diffusion equation in the fractional Sobolev spaces,’’ Fract. Calc. Appl. Anal. 18, 799–820 (2015).
J.-L. Lions, Quelques méthodes de résolution des problèmes aux limites non linéaires (Paris, Dunod, 1969).
Ph. G. Ciarlet, The Finite Element Method for Elliptic Problems (North-Holland, Amsterdam, 1978).
T. A. M. Langlands and B. I. Henry, ‘‘The accuracy and stability of an implicit solution method for the fractional diffusion equation,’’ J. Comput. Phys. 205, 719–736 (2005).
Y. Lin and C. Xu, ‘‘Finite difference/spectral approximations for the time-fractional diffusion equation,’’ J. Comput. Phys. 225, 1552–1553 (2007).
Funding
This research was supported by Russian Foundation of Basic Researches, project no. 19-01-00431 and Academy of Finland, grant no. 333448 (Alexander Lapin) and Academy of Finland, grant no. 333551 (Erkki Laitinen).
Author information
Authors and Affiliations
Corresponding authors
Additional information
(Submitted by A. M. Elizarov)
The original online version of this article was revised due to a retrospective Open Access order.
Rights and permissions
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lapin, A.V., Laitinen, E. The Regularized Mesh Scheme to Solve Quasilinear Parabolic Equation with Time-Fractional Derivative. Lobachevskii J Math 42, 1706–1714 (2021). https://doi.org/10.1134/S1995080221070155
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080221070155