Computer-assisted proofs for the global solution structures of heat convection problems
| Project/Area Number |
18540127
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
WATANABE Yoshitaka Kyushu University, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NAGATOU Kaori 九州大学, 数理学研究院, 准教授 (40326426)
|
|---|
| Co-Investigator(Renkei-kenkyūsha) |
NAGATOU Kaori 九州大学, 数理学研究院, 准教授 (40326426)
|
|---|
| Project Period (FY) |
2006 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥3,310,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥510,000)
Fiscal Year 2008: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2007: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2006: ¥1,100,000 (Direct Cost: ¥1,100,000)
|
|---|
| Keywords | 熱対流問題 / 計算機援用証明 / 精度保証付き数値計算 / 3次元熱対流問題 / 非自己共役固有値問題 / 対称性破壊分岐点 / 分岐点 |
|---|
| Research Abstract |
Rayleigh-Benard問題を記述するOberbeck-Boussinesq方程式の解空間の大域的構造を計算機援用により2次元および3次元問題に対して解明した.
|
Report
(4 results)
Research Products
(55 results)
