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

DOI10.1007/BF03186533MaRDI QIDQ849177zbMATH OpenFDO

Authors 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

numerical examplesfinite element methodfixed-point theoremnumerical verificationsecond-order elliptic boundary value problemssystem of reaction-diffusion equationstwo-coupled equations

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Nonlinear boundary value problems for nonlinear elliptic equations (35J66) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)

Recommendations

• Numerical verification methods and computer-assisted proofs for partial differential equations
• Publication:3480512
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• Numerical verifications of solutions for nonlinear elliptic equations
• scientific article; zbMATH DE number 5785599

Cites work

• scientific article; zbMATH DE number 524105 (Why is no real title available?)
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• scientific article; zbMATH DE number 1889706 (Why is no real title available?)
• scientific article; zbMATH DE number 869736 (Why is no real title available?)
• A Maximum Principle for an Elliptic System and Applications to Semilinear Problems
• A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Global existence of branches of stationary solutions for a system of reaction diffusion equations from biology
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Numerical verifications of solutions for nonlinear elliptic equations
• On steady state solutions of a system of reaction-diffusion equations from biology
• On the bifurcation curve for an elliptic system of FitzHugh-Nagumo type
• On the monotonicity of the time-map
• On the solution of interval linear systems
• Solutions with internal jump for an autonomous elliptic system of FitzHugh–Nagumo type
• The Cholesky method for interval data
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Cited in

(4)

• Norm bound computation for inverses of linear operators in Hilbert spaces
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• 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

This page was built for publication: A numerical verification method for two-coupled elliptic partial differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849177)