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

DOI10.1007/S00211-008-0191-5MaRDI QIDQ998643zbMATH OpenOpenAlexFDO

Authors Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida, Myoungnyoun 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

existencefixed point theoremcomputer-assisted proofNewton operator

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Basic methods in fluid mechanics (76M99) Convection in hydrodynamic stability (76E06)

Recommendations

• Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
• Some computer assisted proofs for solutions of the heat convection problems
• A numerical verification of nontrivial solutions for the heat convection problem
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
• A numerical verification method of solutions for the Navier-Stokes equations

Cites work

• A numerical verification of nontrivial solutions for the heat convection problem
• 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

Cited in

(15)

• Spontaneous periodic orbits in the Navier-Stokes flow
• A route to chaos in Rayleigh-Bénard heat convection
• 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
• A numerical verification of nontrivial solutions for the heat convection problem
• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• A route to chaos in Rayleigh-Bénard heat convection
• Three-dimensional bifurcations of a two-phase Rayleigh-Bénard problem in a cylinder
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• Pattern formations in heat convection problems
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
• Numerical verification for solutions to partial differential equations
• 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

This page was built for publication: A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998643)