Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
bifurcation pointelliptic equationserror estimatesfinite element methodheat convection problemsnumerical verification methodRayleigh-Bénard problem
Probabilistic models, generic numerical methods in probability and statistics (65C20) Bifurcations in context of PDEs (35B32) Nonlinear boundary value problems for nonlinear elliptic equations (35J66) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)
- A numerical verification of nontrivial solutions for the heat convection problem
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- 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
- Numerical verifications of solutions for nonlinear elliptic equations
- scientific article; zbMATH DE number 1791986 (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 computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A note on epsilon-inflation
- A numerical approach to the proof of existence of solutions for elliptic problems
- 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
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Bounded Solutions of Finite Dimensional Approximations to the Boussinesq Equations
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- Existence and nonuniqueness of rectangular solutions of the Benard problem
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verification of stationary solutions for Navier-Stokes problems
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- On the solution of interval linear systems
- On the stability of the Boussinesq equations
- PROFIL/BIAS - A fast interval library
- Some computer assisted proofs for solutions of the heat convection problems
- The Eckhaus criterion for convection roll solutions of the Oberbeck-Boussinesq equations
- A construction of two different solutions to an elliptic system
- Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- scientific article; zbMATH DE number 7441349 (Why is no real title available?)
- A numerical verification of nontrivial solutions for the heat convection problem
- An efficient approach to the numerical verification for solutions of elliptic differential equations
This page was built for publication: Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849191)
