A class of linear parabolic equations are considered. We derive a common framework for the a posteriori error analysis of certain second-order time discretisations combined with finite element discretisations in space. In particular we study the Crank-Nicolson method, the extrapolated Euler method, the backward differentiation formula of order 2 (BDF-2), the Lobatto IIIC method and a two-stage SDIRK method. We use the idea of elliptic reconstructions and certain bounds for the Green's function of the parabolic operator.
翻译:本文研究了一类线性抛物型方程。我们导出了一个通用框架,用于分析某些二阶时间离散格式与有限元空间离散方法相结合的后验误差。特别是,我们研究了Crank-Nicolson方法、外推Euler方法、2阶反向差分公式(BDF-2)、Lobatto IIIC 方法和两阶段SDIRK方法。我们采用椭圆重构思想和抛物算子Green函数的某些界限。