Exclusion regions for parameter-dependent systems of equations

DOI10.1007/S10898-021-01082-3zbMATH Open1481.65076arXiv1811.09269OpenAlexW3198917302MaRDI QIDQ2052383FDOQ2052383

Authors: Bettina Ponleitner, Hermann Schichl 

Publication date: 26 November 2021

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

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.

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

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

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)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Parameter exclusions in Hénon-like systems

Uses Software

• INTLAB
• COCONUT

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)