• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 18K13462
研究種目

若手研究

配分区分基金
審査区分 小区分12040:応用数学および統計数学関連
研究機関中央大学 (2021-2022)
早稲田大学 (2018-2020)

研究代表者

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

研究期間 (年度) 2018-04-01 – 2023-03-31
研究課題ステータス 完了 (2022年度)
配分額 *注記
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2021年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2018年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
キーワード計算機援用証明 / 解の精度保証付き数値計算法 / 放物型偏微分方程式 / 偏微分方程式 / 誤差定数 / 爆発解 / 藤田型方程式 / 半離散近似解 / 爆発時間 / 反応拡散系 / 精度保証付き数値計算 / ソボレフ定数の評価 / 大域解
研究成果の概要

この研究では主に反応拡散系を含めた放物型偏微分方程式の解の精度保証付き数値計算法の改良と時間大域解や爆発解などの特殊な解の存在検証手法の確立を目指す. まず,放物型偏微分方程式の解の精度保証付き数値計算法の手法改善のために放物型方程式の半離散近似解に対する誤差定数の最良値を求めた.そしてその改善手法を用いた結果,既存の数学的な手法では解明できなかったある放物型方程式の爆発解の爆発時間の範囲を明確にすることができた.

研究成果の学術的意義や社会的意義

一般的な非線形偏微分方程式の解を解析的に解くことは難しい. しかし解の精度保証付き数値計算法を用いれば偏微分方程式の解の厳密な存在範囲を明確に示すことができる. そのため方程式の解の存在だけでなく, 数値シミュレーション結果の妥当性を保証するといった工学面に対する応用も可能である. この解の精度保証付き数値計算法の改良かつその手法の適応範囲の拡大が本研究の主な目的である. 本研究の最も重要な成果はその計算手法を用いてある放物型方程式の解の爆発時間の範囲を得たことである. それは既存の数学的手法では得られなかった現象(爆発現象)の一端が解明できたことを意味する.

報告書

(6件)
  • 2022 実績報告書   研究成果報告書 ( PDF )
  • 2021 実施状況報告書
  • 2020 実施状況報告書
  • 2019 実施状況報告書
  • 2018 実施状況報告書
  • 研究成果

    (13件)

すべて 2022 2021 2020 2019 2018

すべて 雑誌論文 (3件) (うち国際共著 1件、 査読あり 3件、 オープンアクセス 2件) 学会発表 (10件) (うち国際学会 2件、 招待講演 2件)

  • [雑誌論文] Rigorous numerical inclusion of the blow-up time for the Fujita-type equation2022

    • 著者名/発表者名
      Mizuguchi Makoto, Sekine Kouta, Hashimoto Kouji, Nakao Mitsuhiro T., Oishi Shin’ichi
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 40 号: 1 ページ: 665-689

    • DOI

      10.1007/s13160-022-00545-8

    • 関連する報告書
      2022 実績報告書
    • 査読あり / オープンアクセス / 国際共著
  • [雑誌論文] Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation2021

    • 著者名/発表者名
      M. Mizuguchi, M. T. Nakao, K. Sekine, S. Oishi
    • 雑誌名

      Journal of Scientific Computing

      巻: 89 号: 2

    • DOI

      10.1007/s10915-021-01636-3

    • 関連する報告書
      2021 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Estimation of Sobolev embedding constant on a bounded convex domain2018

    • 著者名/発表者名
      Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
    • 雑誌名

      book of abstracts scan 2018

      巻: - ページ: 164-165

    • 関連する報告書
      2018 実施状況報告書
    • 査読あり
  • [学会発表] 放物型方程式の全離散近似に対する誤差評価について2022

    • 著者名/発表者名
      水口 信 , 中尾 充宏 , 橋本 弘治 , 関根 晃太 , 大石 進一
    • 学会等名
      日本応用数理学会2022年度年会
    • 関連する報告書
      2022 実績報告書
  • [学会発表] 3つのHilbert空間の組における最良な射影誤差定数について2022

    • 著者名/発表者名
      高橋 宗久 , 関根 晃太 , 水口 信
    • 学会等名
      日本応用数理学会2022年度年会
    • 関連する報告書
      2022 実績報告書
  • [学会発表] Numerical verification method for a blow-up solution of Fujita-type equation2022

    • 著者名/発表者名
      Makoto Mizuguchi
    • 学会等名
      International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
    • 関連する報告書
      2021 実施状況報告書
    • 国際学会
  • [学会発表] 楕円型方程式と放物型方程式に対する半離散ガレルキン近似の誤差定数について2021

    • 著者名/発表者名
      水口 信, 中尾 充宏, 関根 晃太, 大石 進一
    • 学会等名
      日本応用数理学会2021年度年会
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] 藤田型方程式の解の爆発時間に対する数値的検証法2021

    • 著者名/発表者名
      水口 信
    • 学会等名
      有限時間特異性の包括的記述に向けた 数学解析・計算機援用解析の展開「有限時間特異性」勉強会 第3回
    • 関連する報告書
      2021 実施状況報告書
    • 招待講演
  • [学会発表] 放物型方程式の半離散近似に対する誤差定数値の評価について2021

    • 著者名/発表者名
      水口 信
    • 学会等名
      第5回 精度保証付き数値計算の実問題への応用研究集会 (NVR 2021) ・ JST/CREST「モデリングのための精度保証付き数値計算論の展開」成果報告会
    • 関連する報告書
      2021 実施状況報告書
  • [学会発表] 藤田型方程式の解の爆発時間に対する計算機を用いた数値的包含方法について2020

    • 著者名/発表者名
      水口 信
    • 学会等名
      2020年度 応用数学合同研究集会
    • 関連する報告書
      2020 実施状況報告書
  • [学会発表] 線形熱方程式の解と半離散近似解との誤差評価の改善2019

    • 著者名/発表者名
      水口 信
    • 学会等名
      日本応用数理学会2019年度年会
    • 関連する報告書
      2019 実施状況報告書
  • [学会発表] Estimation of Sobolev embedding constant on a bounded convex domain2018

    • 著者名/発表者名
      Makoto Mizuguchi, Kazuaki Tanaka, Kouta Sekine, and Shin'ichi Oishi
    • 学会等名
      The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations(SCAN 2018)
    • 関連する報告書
      2018 実施状況報告書
    • 国際学会
  • [学会発表] 半線形熱方程式の解の精度保証付き数値計算法について2018

    • 著者名/発表者名
      水口 信, 関根 晃太, 中尾充宏, 大石進一
    • 学会等名
      第2回 精度保証付き数値計算の実問題への応用研究集会
    • 関連する報告書
      2018 実施状況報告書
    • 招待講演

URL: 

公開日: 2018-04-23   更新日: 2024-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi