A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

DOI10.1007/s00211-008-0191-5zbMath1155.76024MaRDI QIDQ998643

Yoshitaka Watanabe, Takaaki Nishida, Mitsuhiro T. Nakao, Myoung-Nyoun Kim

Publication date: 9 February 2009

Published in: Numerische Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00211-008-0191-5

zbMATH Keywords

existence; fixed point theorem; Newton operator; computer-assisted proof

Mathematics Subject Classification ID

35Q35: PDEs in connection with fluid mechanics

76E06: Convection in hydrodynamic stability

76M99: Basic methods in fluid mechanics

Related Items

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems, Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem, Pattern formations in heat convection problems, Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

Cites Work

• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Some computer assisted proofs for solutions of the heat convection problems
• A numerical verification of nontrivial solutions for the heat convection problem