• 科学研究費補助金 若手研究
• 研究期間: 平成30（2018）年度から平成33（2021）年度まで（4年間）
• 課題番号：18K13453

研究目的の概要

双曲型偏微分方程式の解の数値的存在検証および解の漸近挙動について研究を行う. 高精度かつ高速な数値計算手法として近年注目されているスペクトル法と実解析の半群理論を用いて, 方程式の可解性の問題を数値検証可能な不動点問題へ帰着し, 解の精度保証付き数値計算手法を新たに構築することで数値的に双曲型偏微分方程式の解の時間挙動を明らかにする方法論を確立する.

双曲型偏微分方程式の「時間局所可解性」, 「漸近挙動」, 「解の爆発や衝撃波解の解明」は数学解析分野において未解決問題が多数あり, これらを解明する数値検証理論の確立によって, 本研究は数学解析の新境地を拓くと同時に, 精度保証付き数値計算理論を新たな局面に導く. さらに我々の身の回りの振動・波動現象を数理モデル化すると等しく双曲型偏微分方程式となるため, これを数値計算で正しく再現することができれば, 交通工学・流体力学・通信技術などへの幅広い応用も期待できる.

研究成果

• （論文）Rigorous numerical computations for 1D advection equations with variable coefficients, Japan J. Indust. Appl. Math., Vol. 36, No. 2, pp. 357-384, July 2019 (available online Feb. 2019). (DOI:10.1007/s13160-019-00345-7, arXiv:1803.02960)
  Code associated to the paper is available here.

記録

• 研究成果を追記しました. (2019/2/7)
• 本ページを開設しました. (2018/4/2)

---