Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term
摘要
This paper presents a numerical verification procedure for a norm bound on an infinite-dimensional differential operator. The operator comes from a nonlinear ordinary differential equation involved with self-similar blowup in wave equations and has a singular term. Our procedure was inspired by a result of Bünger and Rump (Inter. Equ. Oper. Theory, 2019), which it generalizes. Concrete verification examples reveal the effectiveness of the proposed approach.