A numerical verification of nontrivial solutions for the heat convection problem

Journal of Mathematical Fluid Mechanics

Volumn 6, Issue 1, 2004, Pages 1-20

  Watanabe, Yoshitaka ^a   Yamamoto, Nobito ^b   Nakao, Mitsuhiro T ^a   Nishida, Takaaki ^c  

^a KYUSHU UNIVERSITY   (Japan)

^b UNIVERSITY OF ELECTRO COMMUNICATIONS   (Japan)

^c KYOTO UNIVERSITY   (Japan)

Author keywords

Computer assisted proof; Fixed point theorem; Rayleigh B nard convection

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; ERROR ANALYSIS; HEAT PROBLEMS; INCOMPRESSIBLE FLOW; KINEMATICS; THEOREM PROVING; THERMAL EXPANSION; VISCOUS FLOW;

COMPUTER ASSISTED PROOF; FIXED-POINT THEOREM; RAYLEIGH NUMBER; RAYLEIGH-BÉNARD CONVECTION;

HEAT CONVECTION;

FLUID MECHANICS; HEAT TRANSFER; MATHEMATICAL ANALYSIS; MODEL;

CONVECTION; FLUID MECHANICS; HEAT TRANSFER; MATHEMATICAL ANALYSIS;

EID: 10044237618     PISSN: 14226928     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00021-003-0077-3     Document Type: Article

References (18)

1. G. ALEFELD AND J. HERZBERGER (translated by J. Rokne), Introduction to Interval Computations, Academic Press, New York, 1983.
2. H. BÉNARD, Les tourbillons cellulaires dans une nappe liquide, Revue Gén. Sci. Pure Appl. 11 (1900), 1261-1271, 1309-1328.
3. S. CHANDRASEKHAR, Hydrodynamic and Hydromagnetic Stability, Oxford University Press, 1961.
4. A. V. GETLING, Rayleigh-Bénard Convection: structures and dynamics, World Scientific, Singapore, 1998.
5. J. G. HEYWOOD, W. NAGATA AND W. XIE, A numerically based existence theorem for the Navier-Stokes equations, J. Math. Fluid Mech. 1 (1999), 5-23.
6. V. I. IUDOVICH, On the origin of convection, J. Appl. Math. Mech. 30 (1966), 1193-1199.
7. D. D. JOSEPH, On the stability of the Boussinesq equations, Arch. national Mech. Anal. 20 (1965), 59-71.
8. Y. KAGEI AND W. VON WAHL, The Eckhaus criterion for convection roll solutions of the Oberbeck-Boussinesq equations, Int. J. Non-Linear Mechanics 32 (1997), 563-620.
9. R. B. KEARFOTT AND V. KREINOVICH (EDS.), Applications of Interval Computations, Kluwer Academic Publishers, Netherlands, 1996. (http://interval.usl.edu/kearfott.html)
10. R. KRISHNAMURTI, Some further studies on the transition to turbulent convection, J. Fluid Mech. 60 (1973), 285-303.
11. M. T. NAKAO, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, J. Math. Anal. Appl. 164 (1992), 489-507.
12. -1 type residual iteration, Computing, Suppl. 9 (1993), 161-173.
13. 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems, J. Math. Anal. Appl. 165 (1992), 36-61.
14. P. H. RABINOWITZ, Existence and nonuniqueness of rectangular solutions of the Bénard problem, Arch. Rational Mech. Anal. 29 (1968), 32-57.
15. J. W. S. RAYLEIGH, On convection currents in a horizontal layer of fluid, when the higher temperature is on the under side, Phil. Mag. 33 (1916), 529-546; and Sci. Papers 6, 432-446.
16. J. W. S. RAYLEIGH, On convection currents in a horizontal layer of fluid, when the higher temperature is on the under side, Phil. Mag. 33 (1916), 529-546; and Sci. Papers 6, 432-446.
17. S. M. RUMP, On the solution of interval linear systems, Computing 47 (1992), 337-353.
18. E. ZEIDLER (translated by Q. Juergen), Nonlinear Functional Analysis and It's Applications IV: Application to Mathematical Physics, Springer-Verlag, New York, 1988.