A numerical approach to the proof of existence of solutions for elliptic problems II
From MaRDI portal
Publication:3204851
DOI10.1007/BF03167855zbMath0717.35019OpenAlexW4254621679MaRDI QIDQ3204851
Publication date: 1990
Published in: Japan Journal of Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03167855
Boundary value problems for second-order elliptic equations (35J25) Equations involving nonlinear operators (general) (47J05) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06)
Related Items
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions, On computational proofs of the existence of solutions to nonlinear parabolic problems, An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, Numerical verification method for infinite dimensional eigenvalue problems, Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems, Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element, Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points, Numerical verification of solutions for obstacle problems., A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator, Certified error bounds for uncertain elliptic equations, Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Numerical verifications of solutions for nonlinear elliptic equations, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, Numerical verifications for eigenvalues of second-order elliptic operators, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, A numerical approach to the proof of existence of solutions for some generalized obstacle problems, A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems, Numerical verifications of solutions for elliptic equations with strong nonlinearity, Numerical verification of solutions for elasto-plastic torsion problems
Cites Work
