Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
From MaRDI portal
Publication:618582
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems