Existence Verification for Singular Zeros of Complex Nonlinear Systems

DOI10.1137/S0036142999361074zbMATH Open0986.65054OpenAlexW2087518360MaRDI QIDQ4509687FDOQ4509687

Authors Jianwei Dian, Arnold Neumaier, Ralph Baker Kearfott

Publication date 19 October 2000

Published in SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/s0036142999361074

zbMATH Keywords

numerical examplestopological degreeinterval computationscomplex nonlinear systemsinterval-analysissingular Jacobians

Mathematics Subject Classification ID

General theory of numerical methods in complex analysis (potential theory, etc.) (65E05) Numerical computation of solutions to systems of equations (65H10) Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) (30C15) Degree, winding number (55M25)

Recommendations

• Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
• Existence verification for singular and nonsmooth zeros of real nonlinear systems
• Proving the existence of zeros using the topological degree and interval arithmetic
• Existence test for solution of nonlinear systems applying affine arithmetic
• On existence and uniqueness verification for non-smooth functions

Cited in

(14)

• A framework for existence tests based on the topological degree and homotopy
• On existence and uniqueness verification for non-smooth functions
• Rigorous verification of feasibility
• On the complexity of isolating real roots and computing with certainty the topological degree
• On isolation of simple multiple zeros and clusters of zeros of polynomial systems
• Intermediate value theorem for simplices for simplicial approximation of fixed points and zeros
• Effective topological degree computation based on interval arithmetic
• Solving interval constraints by linearization in computer-aided design
• Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
• Proving the existence of zeros using the topological degree and interval arithmetic
• OPTIMAL INVESTMENT STRATEGY VIA INTERVAL ARITHMETIC
• Verifying topological indices for higher-order rank deficiencies
• Generalization of the Bolzano theorem for simplices
• Existence verification for singular and nonsmooth zeros of real nonlinear systems

Describes a project that uses

Uses Software

• INTOPT_90

This page was built for publication: Existence Verification for Singular Zeros of Complex Nonlinear Systems

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