Finding points on real solution components and applications to differential polynomial systems

  • Authors:

  • Wenyuan Wu;Greg Reid

  • Affiliations:

  • Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Science, Chongqing, China;Western University, London, ON, Canada

  • Venue:
  • Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we extend complex homotopy methods to finding witness points on the irreducible components of real varieties. In particular we construct such witness points as the isolated real solutions of a constrained optimization problem. First a random hyperplane characterized by its random normal vector is chosen. Witness points are computed by a polyhedral homotopy method. Some of them are at the intersection of this hyperplane with the components. Other witness points are the local critical points of the distance from the plane to components. A method is also given for constructing regular witness points on components, when the critical points are singular. The method is applicable to systems satisfying certain regularity conditions. Illustrative examples are given. We show that the method can be used in the consistent initialization phase of a popular method due to Pryce and Pantelides for preprocessing differential algebraic equations for numerical solution.