A numerical verification method for two-coupled elliptic partial differential equations
type: Item
instance of: scholarly article
title: A numerical verification method for two-coupled elliptic partial differential equations
zbMATH Open document ID: 1184.65105
DOI: 10.1007/BF03186533
author: Yoshitaka Watanabe
published in: Japan Journal of Industrial and Applied Mathematics
publication date: 2010-02-25T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033780
Mathematics Subject Classification ID: 65N30
Mathematics Subject Classification ID: 35J66
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65H10
zbMATH DE Number: 5674918
zbMATH Keywords: numerical verification
zbMATH Keywords: two-coupled equations
zbMATH Keywords: fixed-point theorem
zbMATH Keywords: finite element method
zbMATH Keywords: system of reaction-diffusion equations
zbMATH Keywords: second-order elliptic boundary value problems
zbMATH Keywords: numerical examples
MaRDI profile type: Publication
cites work: The Cholesky method for interval data
cites work: A Maximum Principle for an Elliptic System and Applications to Semilinear Problems
cites work: Q4874512
cites work: On steady state solutions of a system of reaction-diffusion equations from biology
cites work: A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
cites work: Q4284594
cites work: NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
cites work: An efficient approach to the numerical verification for solutions of elliptic differential equations
cites work: Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
cites work: Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
cites work: Solutions with internal jump for an autonomous elliptic system of FitzHugh–Nagumo type
cites work: Global existence of branches of stationary solutions for a system of reaction diffusion equations from biology
cites work: On the solution of interval linear systems
cites work: Q4321536
cites work: On the monotonicity of the time-map
cites work: On the bifurcation curve for an elliptic system of FitzHugh-Nagumo type
cites work: Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
cites work: Numerical verifications of solutions for nonlinear elliptic equations
cites work: A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
cites work: Q4799948
description: scientific article; zbMATH DE number 5674918