抄録
We first summarize the general concept of our verification method of solutions for elliptic equations. Next, as an application of our method, a survey and future works on the numerical verification method of solutions for heat convection problems known as Rayleigh-Bénard problem are described. We will give a method to verify the existence of bifurcating solutions of the two-dimensional problem and the bifurcation point itself. Finally, an extension to the three-dimensional case and future works will be described.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 443-463 |
| ページ数 | 21 |
| ジャーナル | Japan Journal of Industrial and Applied Mathematics |
| 巻 | 26 |
| 号 | 2-3 |
| 出版ステータス | Published - 2009 10月 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 工学（全般）
- 応用数学