常微分方程爆破解的数值验证
数值分析
2016-11-09 v2 动力系统
摘要
本文关注常微分方程 (ODEs) 的爆破解。我们提出了一种验证爆破解及其爆破时间的方法，该方法基于紧化和 Lyapunov 函数验证方法。该构造的必要准则可使用区间算术技术进行验证。我们给出了一些数值算例以证明本方法的适用性。
引用
@article{arxiv.1606.03039,
title = {Numerical validation of blow-up solutions of ordinary differential equations},
author = {Akitoshi Takayasu and Kaname Matsue and Takiko Sasaki and Kazuaki Tanaka and Makoto Mizuguchi and Shin'ichi Oishi},
journal= {arXiv preprint arXiv:1606.03039},
year = {2016}
}
备注
Accepted version, to appear in Journal of Computational and Applied Mathematics