Article
Version 1
Preserved in Portico This version is not peer-reviewed
A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems
Version 1
: Received: 12 July 2018 / Approved: 16 July 2018 / Online: 16 July 2018 (10:15:02 CEST)
A peer-reviewed article of this Preprint also exists.
Dou , X.; Cheng , J.-S. A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems. Mathematics 2018, 6, 166. Dou , X.; Cheng , J.-S. A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems. Mathematics 2018, 6, 166.
Abstract
We construct a real square system related to a given over-determined real system. We prove that the simple real zeros of the over-determined system are the simple real zeros of the related square system and the real zeros of the two systems are one-to-one correspondence with the constraint that the value of the sum of squares of the polynomials in the over-determined system at the real zeros is identically zero. After certifying the simple real zeros of the related square system with the interval methods, we assert that the certified zero is a local minimum of the sum of squares of the input polynomials. If the value of the sum of the squares of the input polynomials at the certified zero is equal to zero, it is a zero of the input system. As an application, we also consider the heuristic verification of the isolated zeros of polynomial systems and their multiplicity structures. Notice that a complex system with complex zeros can be transformed into a real system with real zeros.
Keywords
over-determined polynomial system; isolated zeros; minimum point; sum of squares; interval methods
Subject
Computer Science and Mathematics, Computational Mathematics
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment