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

2016 Fiscal Year Research-status Report

無限次元非線形数理モデルに対する高精度数値的検証理論の構築

Research Project

Project/Area Number 15K05012
Research InstitutionKyushu University

Principal Investigator

中尾 充宏  九州大学, マス・フォア・インダストリ研究所, 学術研究者 (10136418)

Project Period (FY) 2015-04-01 – 2018-03-31
Keywords精度保証付き数値計算法 / 解の数値的検証 / 解の事後誤差評価 / 非線形偏微分方程式 / 計算機援用証明
Outline of Annual Research Achievements

数値的検証法 (以下、「精度保証付き数値計算法」と同義)とは、問題に対する解の存在と誤差限界を数学的に保証するような数値計算法のことであり、計算機を使った数値的証明をも意味している。本研究では、研究代表者がこれまでに開発してきた楕円型方程式を中心とした数値的検証法の原理を、放物型方程式を含めてさらに広範な無限次元の非線形数理モデルにまで拡張することを目的としている。具体的には、定常および発展問題に対しさらに格段に高精度な解の検証原理を構築し、それらを、実際の非線形数理モデルの検証に適用することによって、その有効性を実証することを目ざす。本年度は特に、Newton型作用素による検証法の効率的実現に向けて、楕円型問題の線形化作用素に対する逆作用素のノルム評価の改良と、楕円型および発展型作用素に関する高精度評価の理論的考察に重点を置いた検討を行った。主要な結果は次の通り。
1.線形化逆作用素の効率的ノルム評価に関する理論的根拠を一般的なHilbert空間の設定のもとで定式化した
2.Poisson 方程式の近似解(有限要素解またはスペクトル近似)に対する高精度 a priori 誤差評価のために、解の正則性を前提として高階微分を活用した新たな高精度(高次オーダー)評価式を導出した
3.簡単な熱方程式の全離散解に対する構成的誤差評価において、初期値および強制項(方程式の右辺)の滑らかさを前提とした、高精度a priori 評価法を定式化した

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

従来の、楕円型方程式に対する逆作用素ノルム評価手法を、より一般的なHilbert空間上の作用素に拡張した議論が定式化できたことは、この分野の研究発展にとっても重要であり、それは当初の計画以上の進展である。また、Poisson方程式の解が滑らかな場合の構成的a priori評価と、簡単な熱方程式に対する有限次元射影の高精度評価が得られたことも、今後の活用が十分期待される結果である。これらの事実から、本研究はその研究計画に沿った順調な進展が達成できていると判断できる。

Strategy for Future Research Activity

今後は、連携研究者の渡部、木下、木村らとの共同研究とともに、従来から同じ分野の研究に関与する電気通信大学や早稲田大学等の研究グループなど、多くの優れた研究者との緊密な連携体制を築いており、これらの関係者からの研究協力を仰いで研究を進める。また、佐賀大学の皆本晃弥教授との連携も深め、特にウェーブレットに関する知見を活用することも視野に入れる。これらの協力体制のもとに、以下の新たな研究成果を目ざす
(1)elliptic projection に対する超高精度(高次オーダー)の誤差評価
(2)発展方程式の解の時間発展的精度保証方式の定式化とその効率化
(3)空間多次元の放物型問題の精度保証方式の実現
(4)3次元Navier-Stokes方程式の解に対する精度保証方式の定式化とその実現

Causes of Carryover

購入対象消耗品の価格が予定より安価であり、使用額が当初予定より若干下回ったため。

Expenditure Plan for Carryover Budget

次年度使用額は少額であり、当初計画通りで十分使用可能と判断される。

  • Research Products

    (9 results)

All 2017 2016 Other

All Int'l Joint Research (1 results) Journal Article (3 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 3 results,  Acknowledgement Compliant: 3 results) Presentation (5 results) (of which Int'l Joint Research: 3 results,  Invited: 2 results)

  • [Int'l Joint Research] Karlsruhe Institute of Technology(ドイツ)

    • Country Name
      GERMANY
    • Counterpart Institution
      Karlsruhe Institute of Technology
  • [Journal Article] Some remarks on the rigorous estimation of inverse linear elliptic operators2016

    • Author(s)
      T. Kinoshita, Y. Watanabe, M. T. Nakao
    • Journal Title

      Lecture Notes in Computer Science (LNCS) 9553, the proceedings of SCAN 2014

      Volume: 9553 Pages: 225-235

    • DOI

      DOI: 10.1007/978-3-319-31769-4-18

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Norm bound computation for inverses of linear operators in Hilbert spaces2016

    • Author(s)
      Y. Watanabe, K. Nagatou, M. Plum, M.T. Nakao
    • Journal Title

      Journal of Differential Equations

      Volume: 260 Pages: 6363-6374

    • DOI

      doi.org/10.1016/j.jde.2015.12.041

    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains2016

    • Author(s)
      T. Kinoshita, Y. Watanabe, N. Yamamoto, M. T. Nakao
    • Journal Title

      Japan Journal of Industrial and Applied Mathematics

      Volume: 33 Pages: 629-636

    • DOI

      DOI: 10.1007/s13160-016-0223

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] Some remarks on the numerical norm estimation of the inverse operator in Hilbert spaces2017

    • Author(s)
      Mitsuhiro T. Nakao, Takehiko Kinoshita, Yoshitaka Watanabe
    • Organizer
      The International Workshop on Numerical Verification and its Applications 2017(INVA 2017)
    • Place of Presentation
      Miyako-jima, Okinawa, Japan
    • Year and Date
      2017-03-14 – 2017-03-18
    • Int'l Joint Research
  • [Presentation] コンパクト作用素のレゾルベントに対する下側評価2016

    • Author(s)
      木下武彦, 渡部 善隆, 中尾 充宏
    • Organizer
      2016年度応用数学合同研究集会
    • Place of Presentation
      龍谷大学瀬田キャンパス
    • Year and Date
      2016-12-16
  • [Presentation] 有限要素法の構成的誤差評価とその計算機援用証明への応用2016

    • Author(s)
      中尾充宏
    • Organizer
      RIMS研究集会:現象解明に向けた数値解析学の新展開II
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2016-10-20
    • Invited
  • [Presentation] Validated constructive error estimatations for bi-harmonic problems2016

    • Author(s)
      Yoshitaka Watanabe, Takehiko Kinoshita and Mitsuhiro T. Nakao
    • Organizer
      17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics(SCAN 2016)
    • Place of Presentation
      Uppsala University, Uppsala, Sweden
    • Year and Date
      2016-09-26 – 2016-09-29
    • Int'l Joint Research
  • [Presentation] On the refinement of constructive a priori error estimates of the finite element methods with applications to verified computation for PDEs2016

    • Author(s)
      Mitsuhiro T. Nakao
    • Organizer
      The Sixth China-Japan-Korea Joint Conference on Numerical Mathematics
    • Place of Presentation
      NIMS, Daejeon, Korea
    • Year and Date
      2016-08-22 – 2016-08-25
    • Int'l Joint Research / Invited

URL: 

Published: 2018-01-16   Modified: 2022-02-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi