A verification method for solutions of nonsmooth equations

DOI10.1007/BF02684394zbMath0882.65038MaRDI QIDQ1362362

Xiaojun Chen

Publication date: 19 February 1998

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

Krawczyk operator; nonsmooth equations; interval arithmetic; verification method; nonlinear equations; semi-local convergence

Mathematics Subject Classification ID

65H10: Numerical computation of solutions to systems of equations

90C33: Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming)

65G30: Interval and finite arithmetic

Related Items

Newton-type methods for quasidifferentiable equations, Verification for existence of solutions of linear complementarity problems, Verified numerical computation for nonlinear equations, Solving interval constraints by linearization in computer-aided design, On the computation of an element of Clarke generalized Jacobian for a vector-valued max function, Numerical verification of solutions for obstacle problems., Numerical verification of solutions for elasto-plastic torsion problems, Interval analysis: Theory and applications, Newton methods for solving two classes of nonsmooth equations., A verified inexact implicit Runge-Kutta method for nonsmooth ODEs, CALCULATING AN ELEMENT OF B-DIFFERENTIAL FOR A VECTOR-VALUED MAXIMUM FUNCTION^*

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A method for finding sharp error bounds for Newton's method under the Kantorovich assumptions
• On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
• Local convergence of quasi-Newton methods for B-differentiable equations
• Safe bounds for the solutions of nonlinear problems using a parallel multisplitting method
• Convergence of Newton-like methods for singular operator equations using outer inverses
• Inexact trust region method for large sparse systems of nonlinear equations
• A nonsmooth version of Newton's method
• On the convergence of Broyden-like methods for nonlinear equations with nondifferentiable terms
• On the R-Order of Newton-Like Methods for Enclosing Solutions of Nonlinear Equations
• Nonsmooth Equations: Motivation and Algorithms
• Newton's Method for B-Differentiable Equations
• On the optimal properties of the krawczyk-type interval operator^∗
• A Successive Interval Test for Nonlinear Systems
• Globally Convergent Newton Methods for Nonsmooth Equations
• Fast Algorithms for Nonsmooth Compact Fixed-Point Problems
• Semismooth and Semiconvex Functions in Constrained Optimization
• Efficient Numerical Validation of Solutions of Nonlinear Systems
• Global Convergence of Damped Newton's Method for Nonsmooth Equations via the Path Search
• Convergence of Newton's Method for Singular Smooth and Nonsmooth Equations Using Adaptive Outer Inverses
• Convergence Analysis of Some Algorithms for Solving Nonsmooth Equations
• A Globally Convergent Successive Approximation Method for Severely Nonsmooth Equations
• A Note on the Moore Test for Nonlinear Systems