Positive definiteness of real quadratic forms resulting from the variable-step approximation of convolution operators
arXiv:2011.13383 · doi:10.1007/s11425-022-2229-5
Abstract
The positive definiteness of real quadratic forms with convolution structures plays an important role in stability analysis for time-stepping schemes for nonlocal operators.In this work, we present a novel analysis tool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators. More precisely, for a class of discrete convolution kernels relevant to variable-step time discretizations,we show that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Our proof is based on an elementary constructing strategy using the properties of discrete orthogonal convolution kernels and complementary convolution kernels. To the best of our knowledge, this is the first general result on simple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using the unified theory, the stability for some simple non-uniform time-stepping schemes can be obtained in a straightforward way.
arXiv comment21 pages,1 figure
References in corpus (8)
- A discrete Grönwall inequality with application to numerical schemes for subdiffusion problems
- A second-order and nonuniform time-stepping maximum-principle preserving scheme for time-fractional Allen-Cahn equations
- On energy dissipation theory and numerical stability for time-fractional phase field equations
- Analysis of adaptive BDF2 scheme for diffusion equations
- Adaptive second-order Crank-Nicolson time-stepping schemes for time fractional molecular beam epitaxial growth models
- Simple maximum-principle preserving time-stepping methods for time-fractional Allen-Cahn equation
- Energy stability of variable-step L1-type schemes for time-fractional Cahn-Hilliard model
- Revisit of Semi-Implicit Schemes for Phase-Field Equations