A numerical verification method for two-coupled elliptic partial differential equations
DOI10.1007/BF03186533zbMath1184.65105MaRDI QIDQ849177
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/1265033780
finite element methodnumerical examplesnumerical verificationsecond-order elliptic boundary value problemssystem of reaction-diffusion equationsfixed-point theoremtwo-coupled equations
Numerical computation of solutions to systems of equations (65H10) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20) Nonlinear boundary value problems for nonlinear elliptic equations (35J66)
Related Items
Cites Work
- Numerical verifications of solutions for nonlinear elliptic equations
- On the monotonicity of the time-map
- On the solution of interval linear systems
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- The Cholesky method for interval data
- On the bifurcation curve for an elliptic system of FitzHugh-Nagumo type
- Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- A Maximum Principle for an Elliptic System and Applications to Semilinear Problems
- Global existence of branches of stationary solutions for a system of reaction diffusion equations from biology
- On steady state solutions of a system of reaction-diffusion equations from biology
- Solutions with internal jump for an autonomous elliptic system of FitzHugh–Nagumo type
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item