| 講演名 | 2009-11-11 非線形関数方程式の精度保証付き数値計算法 高安 亮紀, 大石 進一, 久保 隆徹, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | A method of estimating operator norm of a class of linear operators is presented. This method is based on numerical computations with result verification. Then, with the use of Kantorovich's theorem for the convergence of the Newton method, a method is presented to prove the existence of a solution for a class of nonlinear operator equations including nonlinear differential equations. |
| キーワード(和) | |
| キーワード(英) | verified numerical computation / computer assisted proofs / nonlinear differential equations |
| 資料番号 | NLP2009-90 |
| 発行日 |
| 研究会情報 | |
| 研究会 | NLP |
|---|---|
| 開催期間 | 2009/11/4(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Nonlinear Problems (NLP) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 非線形関数方程式の精度保証付き数値計算法 |
| サブタイトル（和） | |
| タイトル（英） | Numerical Verification Method for Nonlinear Operator Equations |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / verified numerical computation |
| 第 1 著者 氏名（和/英） | 高安 亮紀 / Akitoshi TAKAYASU |
| 第 1 著者 所属（和/英） | 早稲田大学大学院数学応用数理専攻 Faculty of Science and Engineering, Major in Mathematics and Applied Mathematics, Waseda University |
| 第 2 著者 氏名（和/英） | 大石 進一 / Shin'ichi OISHI |
| 第 2 著者 所属（和/英） | 早稲田大学理工学術院応用数理学科:JST CREST Faculty of Science and Engineering, Department of Applied Mathematics, Waseda University:JST CREST |
| 第 3 著者 氏名（和/英） | 久保 隆徹 / Takayuki KUBO |
| 第 3 著者 所属（和/英） | 筑波大学数理物質科学研究科数学専攻 Institute of Mathematics, University of Tsukuba |
| 発表年月日 | 2009-11-11 |
| 資料番号 | NLP2009-90 |
| 巻番号（vol） | vol.109 |
| 号番号（no） | 269 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |