{"title":"Optimal error estimates of a non-uniform IMEX-L1 finite element method for time fractional PDEs and PIDEs","authors":"Aditi Tomar , Lok Pati Tripathi , Amiya K. Pani","doi":"10.1016/j.apnum.2024.07.003","DOIUrl":null,"url":null,"abstract":"<div><p>Stability and optimal convergence analysis of a non-uniform implicit-explicit L1 finite element method (IMEX-L1-FEM) is studied for a class of time-fractional linear partial differential/integro-differential equations with non-self-adjoint elliptic part having (space-time) variable coefficients. The proposed scheme is based on a combination of an IMEX-L1 method on graded mesh in the temporal direction and a finite element method in the spatial direction. With the help of a discrete fractional Grönwall inequality, global almost optimal error estimates in <span><math><msup><mrow><mi>L</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span>- and <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-norms are derived for the problem with initial data <span><math><msub><mrow><mi>u</mi></mrow><mrow><mn>0</mn></mrow></msub><mo>∈</mo><msubsup><mrow><mi>H</mi></mrow><mrow><mn>0</mn></mrow><mrow><mn>1</mn></mrow></msubsup><mo>(</mo><mi>Ω</mi><mo>)</mo><mo>∩</mo><msup><mrow><mi>H</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>Ω</mi><mo>)</mo></math></span>. The novelty of our approach is based on managing the interaction of the L1 approximation of the fractional derivative and the time discrete elliptic operator to derive the optimal estimate in <span><math><msup><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msup></math></span>-norm directly. Furthermore, a super convergence result is established when the elliptic operator is self-adjoint with time and space varying coefficients, and as a consequence, an <span><math><msup><mrow><mi>L</mi></mrow><mrow><mo>∞</mo></mrow></msup></math></span> error estimate is obtained for 2D problems that too with the initial condition is in <span><math><msubsup><mrow><mi>H</mi></mrow><mrow><mn>0</mn></mrow><mrow><mn>1</mn></mrow></msubsup><mo>(</mo><mi>Ω</mi><mo>)</mo><mo>∩</mo><msup><mrow><mi>H</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>(</mo><mi>Ω</mi><mo>)</mo></math></span>. All results proved in this paper are valid uniformly as <span><math><mi>α</mi><mo>→</mo><msup><mrow><mn>1</mn></mrow><mrow><mo>−</mo></mrow></msup></math></span>, where <em>α</em> is the order of the Caputo fractional derivative. Numerical experiments are presented to validate our theoretical findings.</p></div>","PeriodicalId":8199,"journal":{"name":"Applied Numerical Mathematics","volume":"205 ","pages":"Pages 137-168"},"PeriodicalIF":2.2000,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Applied Numerical Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0168927424001752","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
Stability and optimal convergence analysis of a non-uniform implicit-explicit L1 finite element method (IMEX-L1-FEM) is studied for a class of time-fractional linear partial differential/integro-differential equations with non-self-adjoint elliptic part having (space-time) variable coefficients. The proposed scheme is based on a combination of an IMEX-L1 method on graded mesh in the temporal direction and a finite element method in the spatial direction. With the help of a discrete fractional Grönwall inequality, global almost optimal error estimates in - and -norms are derived for the problem with initial data . The novelty of our approach is based on managing the interaction of the L1 approximation of the fractional derivative and the time discrete elliptic operator to derive the optimal estimate in -norm directly. Furthermore, a super convergence result is established when the elliptic operator is self-adjoint with time and space varying coefficients, and as a consequence, an error estimate is obtained for 2D problems that too with the initial condition is in . All results proved in this paper are valid uniformly as , where α is the order of the Caputo fractional derivative. Numerical experiments are presented to validate our theoretical findings.
期刊介绍:
The purpose of the journal is to provide a forum for the publication of high quality research and tutorial papers in computational mathematics. In addition to the traditional issues and problems in numerical analysis, the journal also publishes papers describing relevant applications in such fields as physics, fluid dynamics, engineering and other branches of applied science with a computational mathematics component. The journal strives to be flexible in the type of papers it publishes and their format. Equally desirable are:
(i) Full papers, which should be complete and relatively self-contained original contributions with an introduction that can be understood by the broad computational mathematics community. Both rigorous and heuristic styles are acceptable. Of particular interest are papers about new areas of research, in which other than strictly mathematical arguments may be important in establishing a basis for further developments.
(ii) Tutorial review papers, covering some of the important issues in Numerical Mathematics, Scientific Computing and their Applications. The journal will occasionally publish contributions which are larger than the usual format for regular papers.
(iii) Short notes, which present specific new results and techniques in a brief communication.