Higher-Order Deflation for Polynomial Systems With Isolated Singular Solutions
Given an approximation to a multiple isolated solution of a system of polynomial equations, we provided a symbolic-numeric deflation algorithm to restore the quadratic convergence of Newton’s method. Using first-order derivatives of the polynomials in the system, our first-order deflation method creates an augmented system that has the multiple isolated solution of the original system as a regular solution.
In this paper we consider two approaches to computing the “multiplicity structure” at a singular isolated solution. An idea coming from one of them gives rise to our new higher-order deflation method. Using higher-order partial derivatives of the original polynomials, the new algorithm reduces the multiplicity faster than our first method for systems which require several first-order deflation steps. In particular: the number of higher-order deflation steps is bounded by the number of variables.
Key wordsDeflation isolated singular solutions Newton’s method multiplicity polynomial systems reconditioning symbolic-numeric computations
AMS(MOS) subject classificationsPrimary 65H10 Secondary 14Q99 68W30
Unable to display preview. Download preview PDF.
- B.H. DAYTON AND Z. ZENG. Computing the multiplicity structure in solving polynomial systems, In M. Kauers, editor, Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, pp. 116–123. ACM, 2005.Google Scholar
- J.W. DEMMEL. Applied Numerical Linear Algebra, Vol. 45 of Classics in Applied Mathematics, SIAM, 2003.Google Scholar
- P. DEUFLHARD. Newton Methods for Nonlinear Problems. Affine Invariance and Adaptive Algorithms. Springer-Verlag, 2004.Google Scholar
- M. GIUSTI, G. LECERF, B. SALVY, AND J.C. YAKOUBSOHN. On location and approximation of clusters of zeroes of analytic functions. Foundations of Computational Mathematics 5 (3): 257–311, 2005.Google Scholar
- W.J.F. GOVAERTS. Numerical Methods for Bifurcations of Dynamical Equilibria. SIAM, 2000.Google Scholar
- D. GRAYSON AND M. STILLMAN. Macaulay 2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.Google Scholar
- G.-M. GREUEL AND G. PFISTER. A Singular Introduction to Commutative Algebra. Springer-Verlag, 2002.Google Scholar
- G.-M. GREUEL, G. PFISTER, AND H. SCHÖNEMANN. SINGULAR 2.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2001. http://www.singular.uni-kl.de.Google Scholar
- A. LEYKIN, J. VERSCHELDE, AND A. ZHAO. Evaluation of Jacobian matrices for Newton’s method with deflation to approximate isolated singular solutions of polynomial systems. In Symbolic-Numeric Computation, edited by D. Wang and L. Zhi, pp. 269–278. Trends in Mathematics, Birkhäuser, 2007.Google Scholar
- F.S. MACAULAY. The Algebraic Theory of Modular Systems. Cambridge University Press, 1916. Reissued with an Introduction by Paul Roberts in the Cambridge Mathematical Library 1994.Google Scholar
- Z. MEI. Numerical Bifurcation Analysis for Reaction-Diffusion Equations, Vol. 28 of Springer Series in Computational Mathematics, Springer-Verlag, 2000.Google Scholar
- F. MORA. An algorithm to compute the equations of tangent cones. In J. Calmet, editor, Computer Algebra. EUROCAM’82, European Computer Algebra Conference. Marseille, France, April 1982, Vol. 144 of Lecture Notes in Computer Science, pp. 158–165. Springer-Verlag, 1982.Google Scholar
- A.J. SOMMESE AND C.W. WAMPLER. The Numerical solution of systems of polynomials arising in engineering and science. World Scientific, 2005.Google Scholar
- H.J. STETTER. Numerical Polynomial Algebra. SIAM, 2004.Google Scholar
- H.J. STETTER AND G.T. THALLINGER. Singular systems of polynomials. In O. Gloor, editor, Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, pp. 9–16. ACM, 1998.Google Scholar
- G.T. THALLINGER. Zero Behavior in Perturbed Systems of Polynomial Equations. PhD thesis, Tech. Univ. Vienna, 1998.Google Scholar
- J. VERSCHELDE AND A. ZHAO. Newton’s method with deflation for isolated singularities. Poster presented at ISSAC’04, 6 July 2004, Santander, Spain. Available at http://www.math.uic.edu/~jan/poster.pdf and at http://www.math.uic.edu/~azhao1/poster.pdf.Google Scholar