A numerical verification of nontrivial solutions for the heat convection problem
From MaRDI portal
Publication:1430499
DOI10.1007/s00021-003-0077-3zbMath1062.35092OpenAlexW1991606206MaRDI QIDQ1430499
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida, Nobito Yamamoto
Publication date: 27 May 2004
Published in: Journal of Mathematical Fluid Mechanics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00021-003-0077-3
PDEs in connection with fluid mechanics (35Q35) Error bounds for boundary value problems involving PDEs (65N15) Free convection (76R10) Software, source code, etc. for problems pertaining to partial differential equations (35-04)
Related Items (15)
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ A route to chaos in Rayleigh-Bénard heat convection ⋮ Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem ⋮ A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid ⋮ Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Numerical verification for solutions to partial differential equations ⋮ Some improvements of invertibility verifications for second-order linear elliptic operators ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems ⋮ A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations ⋮ Pattern formations in heat convection problems ⋮ Some considerations of the invertibility verifications for linear elliptic operators
Uses Software
This page was built for publication: A numerical verification of nontrivial solutions for the heat convection problem
