Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

DOI10.1007/S10915-009-9303-3MaRDI QIDQ618582zbMATH OpenOpenAlexFDO

Authors Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim

Publication date 16 January 2011

Published in Journal of Scientific Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10915-009-9303-3

zbMATH Keywords

bifurcation pointNavier-Stokes equationcomputer assisted proofnonlinear heat convection

Mathematics Subject Classification ID

Numerical solutions to equations with nonlinear operators (65J15) Free convection (76R10) Numerical bifurcation problems (65P30)

Recommendations

• Some computer assisted proofs for solutions of the heat convection problems
• A numerical verification of nontrivial solutions for the heat convection problem
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
• Numerical verification methods and computer-assisted proofs for partial differential equations

Cites work

• scientific article; zbMATH DE number 1122446 (Why is no real title available?)
• scientific article; zbMATH DE number 1791986 (Why is no real title available?)
• scientific article; zbMATH DE number 869736 (Why is no real title available?)
• scientific article; zbMATH DE number 3230110 (Why is no real title available?)
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• A numerical verification of nontrivial solutions for the heat convection problem
• A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
• Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Some computer assisted proofs for solutions of the heat convection problems

Cited in

(12)

• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
• Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
• Verification of bifurcation diagrams for polynomial-like equations
• Some computer assisted proofs for solutions of the heat convection problems
• A numerical verification of nontrivial solutions for the heat convection problem
• Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
• Families of Periodic Solutions for Some Hamiltonian PDEs
• A Hopf bifurcation in the planar Navier-Stokes equations
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
• Numerical verification for solutions to partial differential equations

This page was built for publication: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

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