Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

DOI10.1007/s10915-009-9303-3zbMath1203.80010OpenAlexW2010523745MaRDI QIDQ618582

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

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

Navier-Stokes equationbifurcation pointcomputer assisted proofnonlinear heat convection

Mathematics Subject Classification ID

Related Items (6)

An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Numerical verification for solutions to partial differential equations ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
• Some computer assisted proofs for solutions of the heat convection 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
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness

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