Solving real polynomial systems with real homotopies

Authors:
T. Y. Li and Xiao Shen Wang

Journal:
Math. Comp. **60** (1993), 669-680

MSC:
Primary 65H20

MathSciNet review:
1160275

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: When a real homotopy is used for solving a polynomial system with real coefficients, bifurcation of some of the homotopy paths at singular points is inevitable. The main result of this paper shows that, generically, the solution set of a real homotopy contains no singular point other than a finite number of quadratic turning points. At a quadratic turning point, the bifurcation phenomenon is quite simple. It consists of two bifurcation branches with their tangent vectors being perpendicular to each other.

**[1]**Eugene L. Allgower,*Bifurcations arising in the calculation of critical points via homotopy methods*, Numerical methods for bifurcation problems (Dortmund, 1983) Internat. Schriftenreihe Numer. Math., vol. 70, Birkhäuser, Basel, 1984, pp. 15–28. MR**821017****[2]**Eugene L. Allgower, Kurt Georg, and Rick Miranda,*The method of resultants for computing real solutions of polynomial systems*, SIAM J. Numer. Anal.**29**(1992), no. 3, 831–844. MR**1163359**, 10.1137/0729051**[3]**Pavol Brunovský and Pavol Meravý,*Solving systems of polynomial equations by bounded and real homotopy*, Numer. Math.**43**(1984), no. 3, 397–418. MR**738385**, 10.1007/BF01390182**[4]**Shui Nee Chow, John Mallet-Paret, and James A. Yorke,*A homotopy method for locating all zeros of a system of polynomials*, Functional differential equations and approximation of fixed points (Proc. Summer School and Conf., Univ. Bonn, Bonn, 1978) Lecture Notes in Math., vol. 730, Springer, Berlin, 1979, pp. 77–88. MR**547982****[5]**C. B. Garcia,*An elimination method for finding all real isolated solutions to arbitrary square systems of polynomial equations*, preprint.**[6]**-,*On the general solution to certain systems of polynomial equations*, preprint.**[7]**M. E. Henderson and H. B. Keller,*Complex bifurcation from real paths*, SIAM J. Appl. Math.**50**(1990), no. 2, 460–482. MR**1043596**, 10.1137/0150027**[8]**David Mumford,*Algebraic geometry. I*, Springer-Verlag, Berlin-New York, 1976. Complex projective varieties; Grundlehren der Mathematischen Wissenschaften, No. 221. MR**0453732****[9]**P. Verlinden and A. Haegemans,*Real homotopy for solving systems of real polynomial equations*, Bull. Soc. Math. Belg. Sér. B**41**(1989), no. 3, 325–338. MR**1022757**

Retrieve articles in *Mathematics of Computation*
with MSC:
65H20

Retrieve articles in all journals with MSC: 65H20

Additional Information

DOI:
https://doi.org/10.1090/S0025-5718-1993-1160275-5

Article copyright:
© Copyright 1993
American Mathematical Society