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

流体問題に関連した線形化固有値問題に対する数値的検証法とその応用

Research Project

Project/Area Number 15740066
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionKyushu University

Principal Investigator

長藤 かおり  九州大学, 大学院・数理学研究院, 助教授 (40326426)

Project Period (FY) 2003 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥3,800,000 (Direct Cost: ¥3,800,000)
Fiscal Year 2004: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2003: ¥3,200,000 (Direct Cost: ¥3,200,000)
KeywordsDriven Cavity Problem / 数値的検証法 / 無限次元Newton法 / 線形化作用素 / 無限次元ニュートン法
Research Abstract

昨年度に引き続き,2次元の流体問題の一種であるDriven Cavity Problemに対して精度保証付き数値計算法を適用し,定常解の検証を行った.本研究では大きなレイノルズ数の場合にも適用可能な方法として,無限次元空間におけるニュートン法(無限次元ニュートン法)による定常解の検証法を提案した.扱う問題を不動点定式化し,その不動点の検証に関して無限次元ニュートン法を適用する場合,扱う問題の線形化作用素が可逆であることの保証や,その逆作用素の定量的な評価が必要になる.本手法では,線形化作用素Lの可逆性の検証については,フレドホルムの択一定理を利用することによりLの核の一意性を示せばよいことに着目し,線形方程式Lu=0の解uの大域的一意性を精度保証付きで示すことにより行った.またその検証過程で得られる評価を用いることにより,線形化作用素の逆作用素の評価も行うことができた.これらの評価を用いて無限次元ニュートン法を適用し,レイノルズ数がある程度大きい場合でも定常解の検証が行えることを検証数値例により確認した.昨年度は,レイノルズ数が100程度までの場合について定常解の検証が行えることを確認したが,今年度はさらに高いレイノルズ数に適用できるよう改良を施し現在のところレイノルズ数が200程度まで適用できることを確認した.これらの結果は8月に中国で開催された第7回日中数値数学セミナーにおける招待講演において,および9月下旬に福岡で開催された国際シンポジウム「SCAN-2004(International Symposium on Validated Numerics 2004」)において発表した.さらに,より一般的な問題として,線形化作用素が本質的スペクトルを持つ場合についての研究にも着手したところである.

Report

(2 results)
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • Research Products

    (3 results)

All 2004 Other

All Journal Article (1 results) Publications (2 results)

  • [Journal Article] A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid2004

    • Author(s)
      K.Nagatou
    • Journal Title

      Journal of Computational and Applied Mathematics 169/1

      Pages: 33-44

    • Related Report
      2004 Annual Research Report
  • [Publications] K.Nagatou, M.T.Nakao, M.Wakayama: "Verified numerical computations for eigenvalues of non-commutative harmonic oscillators"Numerical Functional Analysis and Optimization. 23(5&6). 633-650 (2002)

    • Related Report
      2003 Annual Research Report
  • [Publications] K.Nagatou: "A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid"Journal of Computational and Applied Mathematics. (to appear).

    • Related Report
      2003 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi