A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
DOI10.1007/S00211-008-0191-5zbMATH Open1155.76024OpenAlexW1998595723MaRDI QIDQ998643FDOQ998643
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Myoungnyoun Kim, Takaaki Nishida
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
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
PDEs in connection with fluid mechanics (35Q35) Basic methods in fluid mechanics (76M99) Convection in hydrodynamic stability (76E06)
Cites Work
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
- A route to chaos in Rayleigh-Bénard heat convection
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- 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)
