Strict upper and lower bounds of quantities in linear second-order systems

作者：Wang, Li^*; Zhong, Hongzhi

来源：Applied Mathematical Modelling, 2018, 57: 535-552.

DOI：10.1016/j.apm.2017.12.033

• Model verification
• Linear second-order systems
• Strict upper and lower bounds
• Quantities of interest
• Adjoint correction

This paper aims to present a model verification technique for general numerical computations of linear second-order systems. Strict upper and lower bounds on quantities of interest are eventually obtained. The model verification technique consists of two major steps. The first is the representation of the error in quantities of interest through an adjoint correction: the second is the application of the strict upper bound derived for the time-discretization error. Moreover, the bounds on quantities of interest are further improved through an optimization procedure. Academic examples are studied to verify the proposed bounds and to explore the potential application of these bounds to adaptive time-stepping.

• 出版日期2018-5
• 单位清华大学; 中山大学