Exclusion regions for parameter-dependent systems of equations

DOI10.1007/S10898-021-01082-3MaRDI QIDQ2052383zbMATH OpenOpenAlexFDO

Authors Bettina Ponleitner, Hermann Schichl

Publication date 26 November 2021

Published in Journal of Global Optimization (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1811.09269

zbMATH Keywords

branch and bound methodroot findingexclusion regioninclusion regionfeasible parameter regionparameter-dependent systems of equationsrigorous enclosures

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20) Interval and finite arithmetic (65G30)

Abstract: This paper presents a new algorithm based on interval methods for rigorously constructing inner estimates of feasible parameter regions together with enclosures of the solution set for parameter-dependent systems of nonlinear equations in low (parameter) dimensions. The proposed method allows to explicitly construct feasible parameter sets around a regular parameter value, and to rigorously enclose a particular solution curve (resp. manifold) by a union of inclusion regions, simultaneously. The method is based on the calculation of inclusion and exclusion regions for zeros of square nonlinear systems of equations. Starting from an approximate solution at a fixed set $p$ of parameters, the new method provides an algorithmic concept on how to construct a box $mathbfs$ around $p$ such that for each element $sinmathbfs$ in the box the existence of a solution can be proved within certain error bounds.

Recommendations

• Rigorous sensitivity analysis for parameter-dependent systems of equations
• Exclusion Regions for Systems of Equations
• Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations
• A method for outer interval solution of systems of linear equations depending linearly on interval parameters
• scientific article; zbMATH DE number 4062487

Cites work

• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• scientific article; zbMATH DE number 3052543 (Why is no real title available?)
• A branch and prune algorithm for the computation of generalized aspects of parallel robots
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
• Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
• Algorithmic differentiation techniques for global optimization in the COCONUT environment
• An Algorithm for Piecewise-Linear Approximation of an Implicitly Defined Manifold
• An Interval Step Control for Continuation Methods
• Certified parallelotope continuation for one-manifolds
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations
• Exclusion Regions for Systems of Equations
• Exclusion regions for optimization problems
• Expansion and estimation of the range of nonlinear functions
• Gröbner bases for polynomial systems with parameters
• Interval Methods for Systems of Equations
• Interval Slopes for Rational Functions and Associated Centered Forms
• Interval analysis on directed acyclic graphs for global optimization
• Iterative Solution of Nonlinear Equations in Several Variables
• Parallel robots.
• Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
• Rigorous sensitivity analysis for parameter-dependent systems of equations
• The Krawczyk operator and Kantorovich's theorem
• Use of interval slopes for the irrational part of factorable functions
• Workspaces of planar parallel manipulators.

Cited in

(2)

• scientific article; zbMATH DE number 4062487 (Why is no real title available?)
• Parameter exclusions in Hénon-like systems

Describes a project that uses

Uses Software

• COCONUT
• INTLAB

This page was built for publication: Exclusion regions for parameter-dependent systems of equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052383)