<p>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.</p>

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

Efficient numerical verification procedure of norm bound for infinite-dimensional differential operator with singular term

  • Kenta Kobayashi,
  • Yoshitaka Watanabe

摘要

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.