A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
From MaRDI portal
Publication:1193173
DOI10.1016/0022-247X(92)90129-2zbMath0771.65046MaRDI QIDQ1193173
Publication date: 27 September 1992
Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)
error estimatesfixed pointnumerical examplesexistence of weak solutionsDuffing equationnonlinear two-point boundary value problemsrounding errorsverification algorithmNewton-like operator
Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Related Items
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid, 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, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, A posteriori error bounds for two point boundary value problems: a Green's function approach, A numerical verification method for two-coupled elliptic partial differential equations, A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions, Verified solution of large systems and global optimization 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 nonlinear elliptic problems using an \(L^\infty\) residual method, VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS, Numerical verification of solutions for some unilateral boundary value problems., Numerical verification of solutions for obstacle problems., Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria, An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory, A framework of verified eigenvalue bounds for self-adjoint differential operators, Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements, 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, On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection, Numerical verifications for eigenvalues of second-order elliptic operators, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Verified numerical computations for an inverse elliptic eigenvalue problem with finite data, A numerical approach to the proof of existence of solutions for some generalized obstacle problems, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem, Numerical verification of solutions for obstacle problems using a Newton-like method, Numerical verification of solutions for elasto-plastic torsion problems, Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains, A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations, A computational verification method of existence of solution for elastoplastic torsion problems with uniqueness, Computational proofs of the existence of solutions to elasto-plastic torsion problems, Numerical verification of solutions for a simplified Signorini problem, Finite element approximation of invariant manifolds by the parameterization method, Numerical verification of solutions for variational inequalities of the second kind
Cites Work
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical approach to the proof of existence of solutions for elliptic problems
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Optimal L ∞ Error Estimates for Galerkin Approximations to Solutions of Two-Point Boundary Value Problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
