Preprint Article Version 1 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.

Journal reference: Mathematics 2018, 6, 166
DOI: 10.3390/math6090166

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.

Subject Areas

over-determined polynomial system; isolated zeros; minimum point; sum of squares; interval methods

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.