A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
From MaRDI portal
Publication:4210317
DOI10.1137/S0036142996304498zbMath0972.65084MaRDI QIDQ4210317
Publication date: 21 September 1998
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
numerical examples; boundary value problems; nonlinear elliptic problem; numerical verification; fixed-point equation
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
65G20: Algorithms with automatic result verification
Related Items
An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, Unnamed Item, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, Verified numerical computations for an inverse elliptic eigenvalue problem with finite data, Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations, Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem, Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation, Solving obstacle problems with guaranteed accuracy., Numerical verification of solutions for elasto-plastic torsion problems, Numerical existence and uniqueness proof for solutions of semilinear parabolic equations, Numerical verification of solutions for variational inequalities of the second kind, Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators, Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation, A Hermite spectral method for the computation of homoclinic orbits and associated functionals, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS