Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
DOI10.1007/BF03186543zbMATH Open1184.65106OpenAlexW2077303265MaRDI QIDQ849191FDOQ849191
Authors: Yoshitaka Watanabe, Mitsuhiro T. Nakao 
Publication date: 25 February 2010
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033790
Recommendations
- 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
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)
Cites Work
- PROFIL/BIAS - A fast interval library
- On the solution of interval linear systems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- A note on epsilon-inflation
- Some computer assisted proofs for solutions of the heat convection problems
- A numerical verification of nontrivial solutions for the heat convection problem
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A numerical approach to the proof of existence of solutions for elliptic problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Existence and nonuniqueness of rectangular solutions of the Benard problem
- 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
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- On the stability of the Boussinesq equations
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- 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?)
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- The Eckhaus criterion for convection roll solutions of the Oberbeck-Boussinesq equations
- Numerical verification of stationary solutions for Navier-Stokes problems
Cited In (7)
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods
- A numerical verification of nontrivial solutions for the heat convection problem
- Title not available (Why is that?)
- A construction of two different solutions to an elliptic system
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- An efficient approach to the numerical verification for solutions of elliptic differential equations
Uses Software
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)
