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

2007 年度 実績報告書

非線形系の大域理論に向けての応用解析学的研究

研究課題

研究課題/領域番号 17340027
研究機関早稲田大学

研究代表者

西田 孝明  早稲田大学, 理工学術院, 教授 (70026110)

研究分担者 国府 寛司  京都大学, 大学院・理学研究科, 教授 (50202057)
川中子 正  東京工業大学, 大学院・理工学研究科, 准教授 (20214661)
中尾 充宏  九州大学, 大学院・数理学研究院, 教授 (10136418)
田中 和永  早稲田大学, 理工学術院, 教授 (20188288)
キーワード非線形偏微分方程式 / 解空間の大域的構造 / 熱対流問題 / 力学系 / 非線形波動 / 計算機援用証明法 / 自由表面問題
研究概要

Oberbeck-Boussinesq方程式系を用いた水平な帯状領域での熱対流問題についての解析。境界条件が物理的に自然な場合について、ロール型や六角形型のパターンを持つ解の分岐曲線の延長のための数値解析を続けている。更に、上の境界が自由表面である時には、非線形性が強く分岐解析がなかったのであるが、この自由表面問題であるBenard-Marangoni対流の場合の最初の分岐解の解析が出来つつある。定常分岐と周期解分岐が現れる事を解析的に証明した。(J.Math.Fluid Mech.2008に掲載決定)Michelson系と呼ばれる3次元の多項式ヴェクトル場の1パラメーター族に見られるheteroclinic軌道の無限回の分岐の集積現象(Cocoon bifurcation)の組織中心が実際にMichelson系において起きることを精度保証付き計算と位相的議論を用いて数学的に厳密に証明した。簡易Newton法の収束定理に基ずく数値的検証法は、理論的観点からは、孤立解を検証するための優れた方法である。計算効率を良くし実用的なものとするために、この定理の改良を行った。有限要素法、スペクトル法と組み合わせて、計算効率の向上が実現された。
2次元のdriven-cavity問題の解の数値検証に関して、既存の結果はレイノルズ数が20以下の場合に限られていた。これをNewton型の検証法にして、レイノルズ数が200まで検証する事が可能になった。非線形Schroedinger方程式に対する特異摂動問題で、一般的な非線形項を持つ場合を研究し、パラメーターが零に収束するとき、ポテンシャルが極小値を取る点に集中する解の存在を証明した。

  • 研究成果

    (5件)

すべて 2008 2007

すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (1件)

  • [雑誌論文] Standing waves for nonlinear Schroedinger equations with a general nonlinearity: one and two dimensional cases2008

    • 著者名/発表者名
      K.Tanaka, J.Byeon and L.Jeanjean
    • 雑誌名

      Communication Partial Differential Equations 33

      ページ: 30

    • 査読あり
  • [雑誌論文] Rigorous verification of the cocoon bifurcation in the Michelson system2007

    • 著者名/発表者名
      H.Kokubu, D.Wilczak, and P.Zgliczynski
    • 雑誌名

      Nonlinearity 20

      ページ: 2147-2174

    • 査読あり
  • [雑誌論文] Improved convergence theorems of Newton's method designed for the numerical verification of differential equations2007

    • 著者名/発表者名
      Tadashi Kawanago
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 365-371

    • 査読あり
  • [雑誌論文] Numerical verification ofstationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K.Nagatou, K.Hashimoto and M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • 査読あり
  • [学会発表] Numerical verification of bifurcating solutions with multipeaks for 3-dimensional Rayleigh-Benard convection2007

    • 著者名/発表者名
      M.T.Nakao, T.Nishida, et. al.
    • 学会等名
      NOLTA 2007
    • 発表場所
      Vancouver, Canada
    • 年月日
      2007-09-16

URL: 

公開日: 2010-02-04   更新日: 2016-04-21  

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

Powered by NII kakenhi