2000 Fiscal Year Final Research Report Summary
Comprehensive Research Toward the Global Theory for the System of Nonlinear Partial Differential Equations
Project/Area Number 
10304012

Research Category 
GrantinAid for Scientific Research (A).

Allocation Type  Singleyear Grants 
Section  一般 
Research Field 
Global analysis

Research Institution  KYOTO UNIVERSITY 
Principal Investigator 
NISHIDA Takaaki Kyoto Univ. Graduate School of Sci., Professor > 京都大学, 大学院・理学研究科, 教授 (70026110)

CoInvestigator(Kenkyūbuntansha) 
KOZONO Hideo Tohoku Univ. Graduate School of Sci., Professor, 大学院理学研究科, 教授 (00195728)
OKAMOTO Hisashi Kyoto Univ. Research Inst. Math. Sci., Professor, 数理解析研究所, 教授 (40143359)
KOKUBU Hiroshi Kyoto Univ. Graduate School of Sci., Assoc. Professor, 大学院・理学研究科, 助教授 (50202057)
MASUDA Kyuya Meiji Univ. Dept. of Sci. & Eng., Professor, 理工学部, 教授 (10090523)
NAKAO Mitsuhiro Kyushu Univ. Graduate School of Sci., Professor, 大学院数理学研究院, 教授 (10136418)

Project Period (FY) 
1998 – 2000

Keywords  Nonlinear PDE / Global bifurcation structure / Bifurcation from degenerate singular points / Dynamical system / Computer assisted proof / NavierStokes equation / Heat convection problem / TaylorCouette problem 
Research Abstract 
1. Heat convection problem : In order to investigate the global structure of the solution space of the nonlinear PDE's and to treat the global bifurcation curves in it, we worked on the analytical method combined with the computational analysis and computer assisted proof. We proposed criterions to prove the existence of solutions which correspond to parameter values as computer assited proof. Using the method we showed the existence of global bifurcation curves on which the rolltype solutions exist that correspond to large Rayleigh numbers. In the case of 3dimension we investigated numerically the pattern formation of rolltype, rectangletyppe and hexagonaltype solutions and their stability, and we clarified the global bifurcation diagram which is not seen from the local bifurcation theory. 2. Taylor problem : We considered the stability of Couette flow when the two cylinder rotate in the opposite directions. It is reduced to the eigenvalue problem for the system of ordinary differenti
… More
al equations and it can be treated by our computer assisted proof to see the exact critical Taylor number, at which the stationary or Hopf bifurcation occurs. The bifurcation point with multiplicity is one of our future subject. 3. The existence theorem for stationary solution of NavierStokes equation is proved by our numerical verification method at least for small Reynols number. 4. Dynamical systems : We know that when the degeneracy of singular points of vector field increases, the behavior of dynamics becomes more complex and the global phenomena become more included. We investigated the singular point with codimension 3 and proved analytically that the heteroclinic cycle bifurcates and also chaotic attractor does. 5. For the 3dimensional exterior problem of stationary NavierStokes equation, we introduced a real interpolation of Morrey spaces to solve NS equation and succeeded to construct the exterior stationary solution and to prove its stability without the unnatural zero net force conditions. Less

Research Products
(12 results)