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

非線形偏微分方程式系の大域理論をめざしての総合的研究

研究課題

研究課題/領域番号 10304012
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 大域解析学
研究機関京都大学

研究代表者

西田 孝明  京都大学, 大学院・理学研究科, 教授 (70026110)

研究分担者 小園 英雄 (小薗 英雄)  東北大学, 大学院理学研究科, 教授 (00195728)
岡本 久  京都大学, 数理解析研究所, 教授 (40143359)
国府 寛司  京都大学, 大学院・理学研究科, 助教授 (50202057)
増田 久弥  明治大学, 理工学部, 教授 (10090523)
中尾 充宏  九州大学, 大学院数理学研究院, 教授 (10136418)
堤 正義  早稲田大学, 理工学部, 教授 (70063774)
池田 勉  龍谷大学, 理工学部, 教授 (50151296)
松村 昭孝  大阪大学, 大学院・理学研究科, 教授 (60115938)
研究期間 (年度) 1998 – 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
27,600千円 (直接経費: 27,600千円)
2000年度: 7,300千円 (直接経費: 7,300千円)
1999年度: 9,200千円 (直接経費: 9,200千円)
1998年度: 11,100千円 (直接経費: 11,100千円)
キーワード非線形偏微分方程式 / 大域的分岐構造 / 退化特異点からの分岐 / 力学系 / 計算機援用証明法 / Navier-Stokes方程式 / 熱対流問題 / Taylor問題 / 縮約系の大域的解析 / 精度保証付き数値計算 / 粘性的衝撃波 / 燃焼合成反応 / 大域的な分岐構造 / 退化特異点の摂動 / 解空間の大域的構造 / 分岐問題 / roll,六角形cell / Reynolds数,Rayleigh数 / 特異摂動的力学系
研究概要

1.熱対流問題:解の分岐曲線を大域的に追跡し解空間の大域的な分岐構造を解明するための解析的理論及び計算機援用証明法を研究し、パラメーターの値に対応した解の存在を保証する判定法を提出した。この方法を適用し、上下の境界平面上でStress freeの境界条件を持つ場合について、Roll型解に対してその分岐曲線を大域的に追跡し、パラメーターの値に対応した解の存在を証明した。
更に、空間3次元の場合のパターン形成として、Roll型、長方形型、六角形型の解の分岐曲線を追跡し、その安定性を見るために数値解析を行い、局所的には見えない分岐構造を解明した。
2.Taylor問題:両円筒が逆向きにまわる時についても、Couette流の安定性は常微分方程式系に帰着されるので、計算機援用証明法が適用でき、臨界Taylor数を確定し、局所分岐理論を使って、Taylor渦と周期解分岐とが得られる事の証明ができる。多重度をもつ分岐点の考察は、今後の問題である。
3.定常Navier-Stokes方程式の解に対する精度保証付き数値計算の定式化を行い、低レイノルズ数に対する検証実例を示した。
4.力学系:ヴェクトル場の退化特異点とその摂動の構造については、特異点の退化の度合が大きくなるにつれて、そこから分岐する力学系の振舞いは、より複雑かつより大域的な現象が見られるようになる。解析的な方法を用いて、ある余次元3の退化特異点からヘテロクリニック・サイクルが分岐し、カオス的アトラクタも分岐することを示した。
5.3次元外部領域のNavier-Stokes方程式の定常解の安定性を考察するために、全空間R^nにおいてMorrey空間を実補間した空間を導入し、Navier-Stokes方程式を解くことに成功した。これを用いて、Lorentz空間L^<p,q>Ωにおいて外部定常解を構成し、net forceがゼロであるという不自然な条件を仮定することなく、その安定性を示すことができた。

報告書

(4件)
  • 2000 実績報告書   研究成果報告書概要
  • 1999 実績報告書
  • 1998 実績報告書
  • 研究成果

    (30件)

すべて その他

すべて 文献書誌 (30件)

  • [文献書誌] Hideo Kozono: "Exterior problem for the Navier-Stokes equations, existence, uniqueness and stability of stationary solutions, The Theory of the Navier-Stokes Equations"Adv.Math.Appli.Sci.. 47. 86-98 (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Nakao Mitsuhiro: "A numerical verification method of solutions for the Navier-Stokes equations"Reliable Computing. 5. 347-357 (1999)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Takaaki Nishida: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. 4・1. 119-128 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] H.Okamoto: "Global existence of solutions to the Proudman-Johnson equation"Proc.Japan Acad.. 76. 149-152 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Takaaki Nishida: "Pattern Formation of Heat Convection Problems, in Proceedings of Intl.Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics"Lecture Notes in Computational Science and Engineering. 1-10 (2001)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Hiroshi Kokubu: "Chaotic dynamics in Z_2-equivariant unfoldings of codimension 3 singularties of vector fields in R^3"Ergodic Theory and Dynamical Systems. 20. 85-107 (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Hideo Kozono and M.Yamazaki: "Exterior problem for the Navier-Stokes equations, existence, uniqueness and stability of stationary solutions, The Theory of the Navier-Stokes Equations"Adv. Math. Appli. Sci., Vol. 47, World Scientific. 86-98 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Nakao, Mitsuhiro T., Watanabe, Y.and Yamamoto, N.: "A numerical verification method of solutions for the Navier-Stokes equations"Reliable Computing. Vol.5. 347-357 (1999)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Hiroshi Kokubu and Freddy Dumortier: "Chaotic dynamics in Z^2-equivariant unfoldings of codimension 3 singularities of vector fields in R^3""Ergodic Theory and Dynamical Systems. Vol.20. 85-107 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Takaaki Nishida, Hideaki Yoshihara, Kazunori Kumagai and Yoshiaki Teramoto: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. Vol.4, No.1. 119-128 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] H.Okamoto and X.Chen: "Global existence of solutions to the Proudman-Johnson equation"Proc. Japan Acad.. vol.76. 149-152 (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Takaaki Nishida, Tsutomu Ikeda and Hideaki Yoshihara: ""Pattern Formation of Heat Convection Problems", in Proceedings of International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics"Lecture Notes in Computational Science and Engineering. 1-10 (2001)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Takaaki Nishida: "Pattern Formation of Heat Convection Problems, Proceedings of International Symposium"Lecture Notes in Computational Science and. 5. 1-10 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Hiroshi Kokubu: "On transition matrices"Proceedings of the International Conference on. 146. 219-224 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Hisashi Okamoto: "Global existence of solutions to the Proudman-Johnson equation"Proc.Japan Acad.. 76. 149-152 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Nakao Mitsuhiro: "Numerical verification method for solutions of the perturbed Gelfand equation"Methods and Applications of Analysis. 7. 251-262 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Hideo Kozono: "Asymptotic stability of large solutions with large perturbation to the Navier-Stokes"J.Func.Anal.. 176. 153-197 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Masayoshi Tsutsumi: "On the Cauchy problem of the time dependent Ginzburg-Landau equations in R^3"Gakuto International Series Mathematical Sciences. 14. 1-10 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Nakao, Mitsuhiro: "A numerical verification method of solutions for the Navier-Stokes equations"Reliable Computing. 5. 347-357 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Matsumura, Akitaka: "Convergence to travelling fronts of solutions of the p-system with viscosity in the presence of a boundary"Arch. Rational Mech. Anal.. 146. 1-22 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Ikeda, Tsutomu: "Bifurcation phenomena from standing pulse solutions of bistable reaction-diffusion systems"to appear in Journal of Dynamics and Differential Equations. (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Kokubu, Hiroshi: "Chaotic dynamics in Z-equivariant unfoldings of codimension 3 singularities of vector fields in R"to appear in Ergodic Theory and Dynamical Systems. (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Nishida, Takaaki: "Bifurcation problems for equations of fluid dynamics and computer assisted proof"Taiwanese Journal of Mathematics. 4.1. 1-9 (2000)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Yamamoto, Tetsuro: "Convergence of Swartztrauber-Sweet's approximation for the Poisson-type equation on a disk"Numer. Funct. Anal. And Optimiz.. 20. 917-928 (1999)

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Nishida,Takaaki: "Heat convection of compressible fluid" Mathematical Sciences and Applications. 11. 107-115 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Kokubu,Hiroshi: "Conley index for fast-slow systems I" to appear in “J.of Dynamics and Differenctial Equations".

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Okamoto,Hisashi: "A study of fiburcation of Kolmogorov flows with an emphasis on the singular limit" Proc.Int.Congress Math.111. 523-532 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Ikeda,Tsutomu: "Bifurcation phenomena from standing pulse solutions of bistable reaction-diffusion systems" to appear in “J.of Dynamics and Differenctial Equations".

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Nakao,Mitsuhiro: "A posteriori and constructive a priori error bounds for finite element solutions of Stokes equations" J.of Computational and Applied Mathematics. 91. 37-158 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Yamamoto,Tetsuro: "On nonlinear SOR-like methods 111--Global convergence of SOR,SSOR and USSOR methods for convex problems" Japan J.I.A.M. 15. 135-145 (1998)

    • 関連する報告書
      1998 実績報告書

URL: 

公開日: 1998-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi