A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
From MaRDI portal
Publication:998643
DOI10.1007/S00211-008-0191-5zbMath1155.76024OpenAlexW1998595723MaRDI QIDQ998643
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida, 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
PDEs in connection with fluid mechanics (35Q35) Convection in hydrodynamic stability (76E06) Basic methods in fluid mechanics (76M99)
Related Items (11)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ A route to chaos in Rayleigh-Bénard heat convection ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Numerical verification for solutions to partial differential equations ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions ⋮ Pattern formations in heat convection problems
Cites Work
This page was built for publication: A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems