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

2019 年度 実施状況報告書

3次元領域におけるナビエ・ストークス方程式の解の計算機援用証明

研究課題

研究課題/領域番号 18K03411
研究機関新潟大学

研究代表者

劉 雪峰  新潟大学, 自然科学系, 准教授 (50571220)

研究分担者 田中 環  新潟大学, 自然科学系, 教授 (10207110)
研究期間 (年度) 2018-04-01 – 2021-03-31
キーワードナビエストークス方程式 / 有限要素法 / Hypercircle法 / 事前誤差評価 / 精度保証付き数値計算
研究実績の概要

ナビエーストクス方程式の定常解の計算機援用検証について、3次元領域における検証例を検討しました。特に、解の検証に要求されるストクス方程式の解の事前誤差評価について、Hypercircle法を利用することで、任意2次元・3次元の有界領域に適用できる誤差評価方法を提案した。実際の計算では、凸領域及び非凸領域における検証例を行いました。検証例を成功させるために、最大120万次元の行列の計算を行いました。

厳密計算に必要な有限要素法のライブライの開発を進めました。このライブライの開発では、2~3次元領域の任意次数のRaviart-Thomas要素、Lagrange要素の提供を目指しています。開発した有限要素法のライブライを利用して、3次元領域におけるPoincare定数の厳密かつシャープな評価を得ました。

ナビエーストクス方程式の解の検証に使用されるHypercircle法を拡張して、境界値問題の近似解の「各点誤差評価」を検討した。1950年代藤田宏はポアソン方程式の境界値問題の解に対して各点値の上下界を与える方法を提案しました(J. Phys. Soc. Jpn. 1955.10:1-8)。本研究では、Hypercircle法の拡張として、藤田氏の方法と有限要素法を融合して、ポアソン方程式の有限要素解に対する各点誤差評価を行いました。大域な誤差評価である最大値ノルムの誤差評価理論で得られるO(h^2log(h))の収束性により、指定される点の関数値に対してO(h^2)の収束オーダーを確認しました。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

3次元のおける検証例によって、提案手法の有効性を確認できました。ただし、計算の結果には丸め誤差がまた残されていますので、厳密な計算結果を出すために、区間式の有限要素法のライブライの開発が必要です。現在、このライブライの開発を進めています。

今後の研究の推進方策

区間式の有限要素法のライブライの開発と検証を引き続き行う予定です。

最終年度では、研究の結果を論文にまとめて投稿する予定です。

次年度使用額が生じた理由

新型コロナウイルスの拡大の影響によって、関わる学会の開催が中止されていました。次の年度では、繰越金を学会の参加またはオンライン会議のための設備の購入に使用する予定です。

  • 研究成果

    (21件)

すべて 2020 2019 その他

すべて 国際共同研究 (3件) 雑誌論文 (4件) (うち国際共著 2件、 査読あり 4件) 学会発表 (12件) (うち国際学会 6件、 招待講演 2件) 備考 (1件) 学会・シンポジウム開催 (1件)

  • [国際共同研究] 中国科学院・数学とシステム科 学科学院/中国工程物理研究院高性能数値 計算ソフトセンター/北京工商大学(中国)

    • 国名
      中国
    • 外国機関名
      中国科学院・数学とシステム科 学科学院/中国工程物理研究院高性能数値 計算ソフトセンター/北京工商大学
  • [国際共同研究] チェコ科学院(チェコ)

    • 国名
      チェコ
    • 外国機関名
      チェコ科学院
  • [国際共同研究] National Cheng Kung University, Taiwan(その他の国・地域)

    • 国名
      その他の国・地域
    • 外国機関名
      National Cheng Kung University, Taiwan
  • [雑誌論文] Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms2020

    • 著者名/発表者名
      Liu Xuefeng
    • 雑誌名

      Journal of Computational and Applied Mathematics

      巻: 371 ページ: 112666~112666

    • DOI

      10.1016/j.cam.2019.112666

    • 査読あり
  • [雑誌論文] 有限要素解の定量的な局所事後誤差評価について2019

    • 著者名/発表者名
      中野 泰河、劉 雪峰
    • 雑誌名

      日本応用数理学会論文誌

      巻: 29 ページ: 362~382

    • DOI

      10.11540/jsiamt.29.4_362

    • 査読あり
  • [雑誌論文] Optimal estimation for the Fujino?Morley interpolation error constants2019

    • 著者名/発表者名
      Liao Shih-Kang、Shu Yu-Chen、Liu Xuefeng
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics

      巻: 36 ページ: 521~542

    • DOI

      10.1007/s13160-019-00351-9

    • 査読あり / 国際共著
  • [雑誌論文] Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem2019

    • 著者名/発表者名
      You Chun'guang、Xie Hehu、Liu Xuefeng
    • 雑誌名

      SIAM Journal on Numerical Analysis

      巻: 57 ページ: 1395~1410

    • DOI

      10.1137/18M1189592

    • 査読あり / 国際共著
  • [学会発表] Diracのデルタ関数を含む3次元境界値問題に対する有限要素解析2020

    • 著者名/発表者名
      中野 泰河, 劉 雪峰
    • 学会等名
      日本応用数理学会 2020年研究部会連合発表会
  • [学会発表] 曲線の位置関係判定に関わる厳密計算法2020

    • 著者名/発表者名
      邵 文炳, 劉 雪峰, 陳 発来
    • 学会等名
      日本応用数理学会 2020年研究部会連合発表会
  • [学会発表] Rigorous numerical computation and computer-assisted proof for the Navier--Stokes equation2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      The Third Conference on Scientific and Engineering Computing for Young Chinese Scientists
    • 国際学会 / 招待講演
  • [学会発表] Explicit local error estimation for FEM solutions2019

    • 著者名/発表者名
      Nakano Taiga, Xuefeng LIU
    • 学会等名
      EASIAM2019
    • 国際学会
  • [学会発表] Rigorous eigenvalue estimation and its application in computer-assisted solution proof for the Navier-Stokes equation2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      MAFELAP
    • 国際学会
  • [学会発表] Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      ICIAM'2019
    • 国際学会
  • [学会発表] Verified pointwise evaluation for Poisson's equation via hypercircle method2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      Mini-symposium on Verified Computing and Computer-Assisted Proof
    • 国際学会
  • [学会発表] Explicit lower eigenvalue bounds of differential operators2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      Workshop of Numerical methods for spectral problems: theory and applications
    • 国際学会 / 招待講演
  • [学会発表] Explicit a posteriori local error estimation for FEM solutions2019

    • 著者名/発表者名
      Nakano Taiga, Xuefeng LIU
    • 学会等名
      Workshop of Numerical methods for spectral problems: theory and applications
  • [学会発表] アソン方程式の解の関数値に関する事後誤差評価2019

    • 著者名/発表者名
      劉雪峰
    • 学会等名
      日本応用数理学会年会2019年年会
  • [学会発表] 有限要素解の局所事後誤差評価と応用について2019

    • 著者名/発表者名
      中野 泰河, 劉 雪峰
    • 学会等名
      日本応用数理学会年会2019年年会
  • [学会発表] Pointwise error estimation for finite element solution to boundary value problems2019

    • 著者名/発表者名
      Xuefeng LIU
    • 学会等名
      日本数学会2019年秋季総合分科会
  • [備考] Ganjin online computing platform

    • URL

      https://ganjin.online

  • [学会・シンポジウム開催] Workshop of Numerical methods for spectral problems: theory and applications2019

URL: 

公開日: 2021-01-27  

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

Powered by NII kakenhi