Some computer assisted proofs for solutions of the heat convection problems

Mitsuhiro T. Nakao*, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida

*この研究の対応する著者

研究成果: Article査読

7 被引用数 (Scopus)

抄録

This is a continuation of our previous results (Y. Watanabe, N. Yamamoto, T. Nakao, and T. Nishida, "A Numerical Verification of Nontrivial Solutions for the Heat Convection Problem," to appear in the Journal of Mathematical Fluid Mechanics). In that work, the authors considered two-dimensional Rayleigh-Bénard convection and proposed an approach to prove existence of steady-state solutions based on an infinite dimensional fixed-point theorem using a Newton-like operator with spectral approximation and constructive error estimates. We numerically verified several exact non-trivial solutions which correspond to solutions bifurcating from the trivial solution. This paper shows more detailed results of verification for given Prandtl and Rayleigh numbers. In particular, we found a new and interesting solution branch which was not obtained in the previous study, and it should enable us to present important information to clarify the global bifurcation structure. All numerical examples discussed are take into account of the effects of rounding errors in the floating point computations.

本文言語English
ページ(範囲)359-372
ページ数14
ジャーナルReliable Computing
9
5
DOI
出版ステータスPublished - 2003 10月
外部発表はい

ASJC Scopus subject areas

  • ソフトウェア
  • 計算数学
  • 応用数学

フィンガープリント

「Some computer assisted proofs for solutions of the heat convection problems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル