解の存在検証とは? わかりやすく解説

解の存在検証

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/31 09:37 UTC 版)

偏微分方程式の数値解法」の記事における「解の存在検証」の解説

精度保証付き数値計算」、「計算機援用証明」、および「ニュートン=カントロビッチの定理」も参照 ここまで高精度に解く技術について説明したが、それと並行して計算機解の存在検証する」という研究おこなわれている。このような研究が必要となるのは、近似解が求まったとしてもそれが幻影解である危険性があるからである。実際、すでに幻影解報告されている。解の存在検証に関する研究活発に行われており、2012年度日本数学会秋季賞2011年度日本応用数理学会論文賞受賞している。

※この「解の存在検証」の解説は、「偏微分方程式の数値解法」の解説の一部です。
「解の存在検証」を含む「偏微分方程式の数値解法」の記事については、「偏微分方程式の数値解法」の概要を参照ください。


解の存在検証

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/06 18:27 UTC 版)

常微分方程式の数値解法」の記事における「解の存在検証」の解説

精度保証付き数値計算」および「計算機援用証明」も参照 高精度に解く技術追求されている一方で、「計算機解の存在検証する」という研究おこなわれている。このような研究が必要となるのは、近似解が求まったとしてもそれが幻影解である危険性があるからである。偏微分方程式ではすでに幻影解報告されているので、常微分方程式でも警戒が必要である。偏微分方程式の時と同様に関数解析学的な手法考えられるが、関数解析学頼らない手法 (例え狙い撃ち法スペクトル法アフィン演算など) に基づく研究主流であり、欧米など海外のみならず日本国内でも研究されている。また、爆発解 (英: Blow-up solution) に特化した精度保証付き解法探求されている。

※この「解の存在検証」の解説は、「常微分方程式の数値解法」の解説の一部です。
「解の存在検証」を含む「常微分方程式の数値解法」の記事については、「常微分方程式の数値解法」の概要を参照ください。

ウィキペディア小見出し辞書の「解の存在検証」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「解の存在検証」の関連用語

解の存在検証のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



解の存在検証のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの偏微分方程式の数値解法 (改訂履歴)、常微分方程式の数値解法 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS