Shin’ichi Oishi 研究室

主宰者：Shin’ichi Oishi
早稲田大学

AI 要約（直近 5 年の研究成果）

大谷真一研究室は、微分方程式の解の存在を計算機を用いて数学的に証明する「数値検証法」の研究を行っています。延遅微分方程式や非線形偏微分方程式など様々なタイプの方程式を対象に、近似数値解と厳密な誤差評価を組み合わせることで、真の解がどの範囲に存在するかを計算機上で確定させる手法を開発しています。特に、ガレルキン法という数値計算手法から導出される係数行列の最小特異値の下限を求める方法や、拡散現象やカオス的挙動を示す解など複雑な現象を含む方程式の解析に取り組んでいます。 具体的には、気象現象（エルニーニョ）をモデル化した延遅微分方程式における周期解、爆発的に増大する解の時間、特定の対称性を持たない解など、従来の理論的手法では扱いにくい解の存在を、計算機の力を借りて厳密に証明しています。また、解が存在しないことを数値的に証明するアルゴリズムの開発や、熱伝導方程式などの基本的な方程式に対する数値計算の誤差をより正確に評価する方法についても研究を進めています。このアプローチにより、複雑な現象を解析する際の数学的な確実性を大幅に向上させることができます。

※ AI（Claude）が、公開されている論文要旨から研究の問い・手法・主要な発見を事実情報として抽出・再構成して自動生成しています。誤りを含む可能性があるため、正確性は研究室公式情報でご確認ください。

外部リンク

関連研究室(8 件)

研究成果（14 件）

続きを表示（残り 4 件）

科研費（0 件）

まだデータがありません（KAKEN 取り込み後に表示）。

所属学会・役職（0 件）

まだデータがありません（学会データ連携後に表示）。