A numerical verification method for two-coupled elliptic partial differential equations

DOI10.1007/BF03186533zbMath1184.65105MaRDI QIDQ849177

Yoshitaka Watanabe

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

zbMATH Keywords

finite element methodnumerical examplesnumerical verificationsecond-order elliptic boundary value problemssystem of reaction-diffusion equationsfixed-point theoremtwo-coupled equations

Mathematics Subject Classification ID

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

Norm bound computation for inverses of linear operators in Hilbert spaces, A Numerical Verification Method for a System of FitzHugh-Nagumo Type, A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

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