• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2021 Fiscal Year Research-status Report

精度保証付き数値計算法を用いた反応拡散系の大域解の解析

Research Project

Project/Area Number 18K13462
Research InstitutionChuo University

Principal Investigator

水口 信  中央大学, 理工学部, 助教 (90801241)

Project Period (FY) 2018-04-01 – 2023-03-31
Keywords誤差定数 / 藤田型方程式 / 爆発解
Outline of Annual Research Achievements

放物型方程式の解の精度保障付き数値計算法において必要な半離散近似解に対する誤差評価の現状でベストな評価法を見つけ出して論文にまとめた.前述した通り楕円型方程式のリッツ誤差定数と一致するある意味で最良な評価を導き出した. そして当該年度においてその誤差定評価についての内容をまとめた論文が受理されることとなった.L^2(J;H^1)評価は2倍精度がよくなり, L^2(J;L^2)評価については4倍精度がよくなったことから放物型方程式の解の精度保障付き数値計算法による解の検証範囲が単純計算で2から8倍くらいまで拡張されたことになる.

昨年時に述べた研究である放物型方程式に対する爆発解の検証についても論文にまとめている最中である.本爆発解の研究は当該研究内容のある意味発展的な内容のひとつであり, 既存の放物型方程式の精度保証付き数値計算法とエネルギー汎関数による常微分方程式の爆発判定法を利用して爆発時間の上界と下界評価を得ることで爆発時刻を割り出す手法である.例えば,下界評価で0.5,上界評価で0.55とすれば, 爆発時間は区間[0.5,0.55]内にあると証明できる. よって厳密な爆発時間の範囲を割り出せることになる.昨年時では藤田型方程式限定の手法であったが,解の正の部分と負の部分を切り分けてその微分性をうまく利用することでより発展的な方程式に関しても同様な定式ができる可能性が浮上してきた.また, 初期値に対する符号変化にも対応できる可能性もあり本検証手法の拡張範囲の拡大も期待できる.

Current Status of Research Progress
Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

誤差定数に関する論文も受理されて 解の精度検証付き数値計算法アルゴリズムについて論文をまとめて投稿予定なので今のところ順調である. しかし論理的や数値的な細かい部分などにおける想定外なことも加味すると少々準備不足な箇所がある. 今後はなるべく想定外な箇所が発生したときを考慮して計画を練りたい.

Strategy for Future Research Activity

最終年度は研究実績の概要欄に記載した通りに解の爆発検証法における研究の発展作業を可能な限り進めるものとする.まずは, 藤田型方程式の爆発解に対する論文をまとめ上げることを念頭におきつつ, 不安材料の部分も検討する. そして可能であれば初期値に対する符号変化にも対応できるための本検証手法適応範囲の案も実行する.

Causes of Carryover

研究に必要なPCやその部品,論文投稿代, 研究出張などに利用するため計画して計上したが, 予想外のコロナウイルスの影響拡大や半導体不足などによるその計画中止や延長などが発生したため金額が余ってしまった. よって再計上しつつ使用計画の修正する.
この年度で研究の最終段階のため, 改めて高性能PCの利用や研究に関連する書籍などに利用することとする.

  • Research Products

    (5 results)

All 2022 2021

All Journal Article (1 results) (of which Peer Reviewed: 1 results,  Open Access: 1 results) Presentation (4 results) (of which Int'l Joint Research: 1 results,  Invited: 1 results)

  • [Journal Article] Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation2021

    • Author(s)
      Mizuguchi Makoto、Nakao Mitsuhiro T.、Sekine Kouta、Oishi Shin’ichi
    • Journal Title

      Journal of Scientific Computing

      Volume: 89 Pages: -

    • DOI

      10.1007/s10915-021-01636-3

    • Peer Reviewed / Open Access
  • [Presentation] Numerical verification method for a blow-up solution of Fujita-type equation2022

    • Author(s)
      Makoto Mizuguchi
    • Organizer
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • Int'l Joint Research
  • [Presentation] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • Author(s)
      水口 信, 中尾 充宏, 関根 晃太, 大石 進一
    • Organizer
      日本応用数理学会2021年度年会
  • [Presentation] 藤田型方程式の解の爆発時間に対する数値的検証法2021

    • Author(s)
      水口 信
    • Organizer
      有限時間特異性の包括的記述に向けた 数学解析・計算機援用解析の展開「有限時間特異性」勉強会 第3回
    • Invited
  • [Presentation] 放物型方程式の半離散近似に対する誤差定数値の評価について2021

    • Author(s)
      水口 信
    • Organizer
      第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) ・ JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会

URL: 

Published: 2022-12-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi