<p>We establish an original framework for the stability and convergence analysis of implicit and implicit-explicit variable-step BDF3 schemes for linear and nonlinear parabolic equations. By constructing a positive recursion functional, we derive a novel gradient decomposition for the variable-step BDF3 method, and prove its positive definiteness when <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_3009_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="128" /> </InlineMediaObject> <EquationSource Format="TEX">\(0.5\le \rho _n\le 1.7319\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0.5</mn> <mo>≤</mo> <msub> <mi>ρ</mi> <mi>n</mi> </msub> <mo>≤</mo> <mn>1.7319</mn> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10915_2025_3009_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> is the adjacent step-size ratio. This significantly improves on existing results. Under this ratio restriction, we obtain robust stability and optimal error estimates utilizing a concise energy method in an abstract setting. The main ingredients in the proofs include the reformulation of the schemes via a class of discrete orthogonal convolution kernels, global properties of the discrete kernels, and novel convolution type inequality tools. The theoretical barrier, originating from the lack of an analytic expression and uniform positivity of the orthogonal kernels and their scaling counterparts, is addressed by using the elliptic matrix norm. This essentially extends the orthogonal kernel based framework used for the analysis of the second-order BDF method. Numerical results are included to support the analysis. The proposed framework is applicable to a wide range of nonlinear parabolic equations and demonstrates a promising approach for higher-order linear multistep methods with variable step-sizes.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Stability and Error Estimate of Adaptive Third-Order BDF Methods with Improved Step-Size Ratio for Nonlinear Parabolic Equations

  • Ren-jun Qi,
  • Chandrasekhar Venkataraman,
  • Zhimin Zhang,
  • Xuan Zhao

摘要

We establish an original framework for the stability and convergence analysis of implicit and implicit-explicit variable-step BDF3 schemes for linear and nonlinear parabolic equations. By constructing a positive recursion functional, we derive a novel gradient decomposition for the variable-step BDF3 method, and prove its positive definiteness when \(0.5\le \rho _n\le 1.7319\) 0.5 ρ n 1.7319 , where \(\rho _n\) ρ n is the adjacent step-size ratio. This significantly improves on existing results. Under this ratio restriction, we obtain robust stability and optimal error estimates utilizing a concise energy method in an abstract setting. The main ingredients in the proofs include the reformulation of the schemes via a class of discrete orthogonal convolution kernels, global properties of the discrete kernels, and novel convolution type inequality tools. The theoretical barrier, originating from the lack of an analytic expression and uniform positivity of the orthogonal kernels and their scaling counterparts, is addressed by using the elliptic matrix norm. This essentially extends the orthogonal kernel based framework used for the analysis of the second-order BDF method. Numerical results are included to support the analysis. The proposed framework is applicable to a wide range of nonlinear parabolic equations and demonstrates a promising approach for higher-order linear multistep methods with variable step-sizes.