Numerical validation of blow-up solutions for ordinary differential equations
書誌事項
- タイトル別名
-
- Numerical validation of blow-up solutions of ordinary differential equations
この論文をさがす
説明
This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method.
Accepted version, to appear in Journal of Computational and Applied Mathematics
収録刊行物
-
- Journal of Computational and Applied Mathematics
-
Journal of Computational and Applied Mathematics 314 10-29, 2017-04
Elsevier
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050001202640515456
-
- NII書誌ID
- AA00696002
-
- HANDLE
- 2241/00145168
-
- ISSN
- 03770427
- http://id.crossref.org/issn/03770427
-
- 本文言語コード
- en
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- Crossref
- KAKEN
- OpenAIRE