作成者 |
|
本文言語 |
|
出版者 |
|
|
発行日 |
|
収録物名 |
|
巻 |
|
出版タイプ |
|
アクセス権 |
|
関連DOI |
|
|
関連URI |
|
|
関連情報 |
|
|
概要 |
We consider a numerical method to verify the existence and uniqueness of the solutions of nonlinear hyperbolic problems with guaranteed error bounds. Using a $ C^1 $ finite element solution and an ine...quality constituting a bound on the norm of the inverse operator of the linearized operator, we numerically construct a set of functions which satisfy the hypothesis of Banach's fixed point theorem for a continuous map on $ L^p $ -space in a computer. We present detailed verification procedures and give some numerical examples.続きを見る
|