Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
DOI10.1007/S10915-009-9303-3zbMATH Open1203.80010OpenAlexW2010523745MaRDI QIDQ618582FDOQ618582
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
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
Numerical solutions to equations with nonlinear operators (65J15) Free convection (76R10) Numerical bifurcation problems (65P30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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 for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- 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
- Title not available (Why is that?)
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
- Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations
- Title not available (Why is that?)
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)
