The aim of this paper is to develop and analyze high-order time stepping schemes for solving semilinear subdiffusion equations. We apply the $k$-step BDF convolution quadrature to discretize the time-fractional derivative with order $α\in (0,1)$, and modify the starting steps in order to achieve optimal convergence rate. This method has already been well-studied for the linear fractional evolution equations in Jin, Li and Zhou \cite{JinLiZhou:correction}, while the numerical analysis for the nonlinear problem is still missing in the literature. By splitting the nonlinear potential term into an irregular linear part and a smoother nonlinear part, and using the generating function technique, we prove that the convergence order of the corrected BDF$k$ scheme is $O(τ^{\min(k,1+2α-ε)})$, without imposing further assumption on the regularity of the solution. Numerical examples are provided to support our theoretical results.
This article concerns second-order time discretization of subdiffusion equations with time-dependent diffusion coefficients. High-order differentiability and regularity estimates are established for subdiffusion equations with time-dependent coefficients. Using these regularity results and a perturbation argument of freezing the diffusion coefficient, we prove that the convolution quadrature generated by the second-order backward differentiation formula, with proper correction at the first time step, can achieve second-order convergence for both nonsmooth initial data and incompatible source t…
In 1986, Dixon and McKee developed a discrete fractional Grönwall inequality [Z. Angew. Math. Mech., 66 (1986), pp. 535--544], which can be seen as a generalization of the classical discrete Grönwall inequality. However, this generalized discrete Grönwall inequality has not been widely applied in the numerical analysis of the time-stepping methods for the time-fractional evolution equations. The main purpose of this paper is to show how to apply the generalized discrete Grönwall inequality to prove the convergence of a class of time-stepping numerical methods for time-fractional nonlinear subd…
We investigate the error of the (semidiscrete) Galerkin method applied to a semilinear subdiffusion equation in the presence of a nonsmooth initial data. The diffusion coefficient is allowed to depend on time. It is well-known that in such parabolic problems the spatial error increases when time decreases. The rate of this time-dependency is a function of the fractional parameter and the regularity of the initial condition. We use the energy method to find optimal bounds on the error under weak and natural assumptions on the diffusivity. First, we prove the result for the linear problem and th…
The aim of this paper is to study the time stepping scheme for approximately solving the subdiffusion equation with a weakly singular source term. In this case, many popular time stepping schemes, including the correction of high-order BDF methods, may lose their high-order accuracy. To fill in this gap, in this paper, we develop a novel time stepping scheme, where the source term is regularized by using a $k$-fold integral-derivative and the equation is discretized by using a modified BDF2 convolution quadrature. We prove that the proposed time stepping scheme is second-order, even if the sou…
Sharp $H^1$-norm error estimates of two time-stepping schemes for reaction-subdiffusion problems
Henan University of Economics and Law（河南财经政法大学）；Nanjing University of Aeronautics and Astronautics（南京航空航天大学）；Beijing Computational Science Research Center（北京计算科学研究中心）；Wayne State University（韦恩州立大学）
Regularity and high-order time stepping for semilinear subdiffusion equations with singular initial data beyond the $L^\infty$ framework
Hunan Research Center of the Basic Discipline Fundamental Algorithmic Theory and Novel Computational Methods, School of Mathematics and Computational Science, Xiangtan University（湘潭大学数学与计算科学学院基础学科基本算法理论与新型计算方法湖南省研究中心）
This work is concerned with the development of an adaptive numerical method for semilinear heat flow models featuring a general (possibly) nonlinear reaction term that may cause the solution to blow up in finite time. The fully discrete scheme consists of a high order discontinuous Galerkin (dG) time stepping method and a conforming finite element discretisation (cG) in space. The proposed adaptive procedure is based on rigorously devised conditional a posteriori error bounds in the $L^{\infty}(L^{\infty})$ norm. Numerical experiments complement the theoretical results.
In this work, we develop an efficient incomplete iterative scheme for the numerical solution of the subdiffusion model involving a Caputo derivative of order $α\in(0,1)$ in time. It is based on piecewise linear Galerkin finite element method in space and backward Euler convolution quadrature in time and solves one linear algebraic system inexactly by an iterative algorithm at each time step. We present theoretical results for both smooth and nonsmooth solutions, using novel weighted estimates of the time-stepping scheme. The analysis indicates that with the number of iterations at each time le…
We derive optimal $L^2$-error estimates for semilinear time-fractional subdiffusion problems involving Caputo derivatives in time of order $α\in (0,1)$, for cases with smooth and nonsmooth initial data. A general framework is introduced allowing a unified error analysis of Galerkin type space approximation methods. The analysis is based on a semigroup type approach and exploits the properties of the inverse of the associated elliptic operator. Completely discrete schemes are analyzed in the same framework using a backward Euler convolution quadrature method in time. Numerical examples includin…
This article devotes to developing robust but simple correction techniques and efficient algorithms for a class of second-order time stepping methods, namely the shifted fractional trapezoidal rule (SFTR), for subdiffusion problems to resolve the initial singularity and nonlocality. The stability analysis and sharp error estimates in terms of the smoothness of the initial data and source term are presented. As a byproduct in numerical tests, we find amazingly that the Crank-Nicolson scheme ($θ=\frac{1}{2}$) without initial corrections can restore the optimal convergence rate for the subdiffusi…
In this work, the global-in-time $H^1$-stability of a fast L2-1$_σ$ method on general nonuniform meshes is studied for subdiffusion equations, where the convolution kernel in the Caputo fractional derivative is approximated by sum of exponentials. Under some mild restrictions on time stepsize, a bilinear form associated with the fast L2-1$_σ$ formula is proved to be positive semidefinite for all time. As a consequence, the uniform global-in-time $H^1$-stability of the fast L2-1$_σ$ schemes can be derived for both linear and semilinear subdiffusion equations, in the sense that the $H^1$-norm is…
A New $L2-1_σ$-Interior Penalty Method for Variable-Order Time-Fractional Subdiffusion Interface Problem with Curved Interface
School of Arts and Sciences, Guangzhou Maritime University（广州航海学院人文与科学学部）；School of Information Engineering, Zhejiang Ocean University（浙江海洋大学信息工程学院）；Fuzhou Vocational Technical College（抚州职业技术学院）
We introduce a symmetric fractional-order reduction (SFOR) method to construct numerical algorithms on general nonuniform temporal meshes for semilinear fractional diffusion-wave equations. By using the novel order reduction method, the governing problem is transformed to an equivalent coupled system, where the explicit orders of time-fractional derivatives involved are all $α/2$ $(1<α<2)$. The linearized L1 scheme and Alikhanov scheme are then proposed on general time meshes. Under some reasonable regularity assumptions and weak restrictions on meshes, the optimal convergence is derived for t…
The numerical approximation of the semilinear Klein--Gordon equation in the $d$-dimensional space, with $d=1,2,3$, is studied by analyzing the consistency errors in approximating the solution. By discovering and utilizing a new cancellation structure in the semilinear Klein--Gordon equation, a low-regularity correction of the Lie splitting method is constructed, which can have second-order convergence in the energy space under the regularity condition $(u,\partial_tu)\in L^\infty(0,T;H^{1+\frac{d}{4}}\times H^{\frac{d}{4}})$, where $d=1,2,3$ denotes the dimension of space. In one dimension, th…
A time-stepping L1 scheme for subdiffusion equation with a Riemann--Liouville time-fractional derivative is developed and analyzed. This is the first paper to show that the L1 scheme for the model problem under consideration is second-order accurate (sharp error estimate) over nonuniform time-steps. The established convergence analysis is novel, innovative and concise. For completeness, the L1 scheme is combined with the standard Galerkin finite elements for the spatial discretization, which will then define a fully-discrete numerical scheme. The error analysis for this scheme is also investig…
On the explicit formula linking a function to the order of its fractional derivative
Kyiv Academic University（基辅学术大学）；Institute of Applied Mathematics and Mechanics of NAS of Ukraine（乌克兰国家科学院应用数学与力学研究所）；S.P. Timoshenko Institute of Mechanics of NAS of Ukraine（乌克兰国家科学院S.P. 季莫申科力学研究所）
Maximum bound principle (MBP) is an important property for a large class of semilinear parabolic equations, in the sense that the time-dependent solution of the equation with appropriate initial and boundary conditions and nonlinear operator preserves for all time a uniform pointwise bound in absolute value. It has been a challenging problem on how to design unconditionally MBP-preserving high-order accurate time-stepping schemes for these equations. In this paper, we combine the integrating factor Runge-Kutta (IFRK) method with the linear stabilization technique to develop a stabilized IFRK (…
