Publication:3985896
From MaRDI portal
zbMath0735.65084MaRDI QIDQ3985896
Publication date: 27 June 1992
numerical example; existence; finite element method; error bounds; inclusion algorithm; parameter-dependent nonlinear example; weakly nonlinear second-order elliptic boundary value problems
35J65: Nonlinear boundary value problems for linear elliptic equations
65N15: Error bounds for boundary value problems involving PDEs
65N30: Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs
Related Items
Computer-assisted existence proofs for two-point boundary value problems, Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems, Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, On computational proofs of the existence of solutions to nonlinear parabolic problems, Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method, 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