Computing singular points of plane rational curves

We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the @m-basis of the curve. It is shown that singularity factors, which are defined and uniquely determined by the elementary divisors of the implicitization matrix, contain all the information about the singular points, such as the parameter values of the singular points and their multiplicities. Based on this observation, an efficient and numerically stable algorithm for computing the singular points is devised, and inversion formulae for the singular points are derived. In particular, high order singular points can be detected and computed effectively. This approach based on singularity factors can also determine whether a rational curve has any non-ordinary singular points that contain singular points in its infinitely near neighborhood. Furthermore, a method is proposed to determine whether a singular point is ordinary or not. Finally, a conjecture in [Chionh, E.-W., Sederberg, T.W., 2001. On the minors of the implicitization bezout matrix for a rational plane curve. Computer Aided Geometric Design 18, 21-36] regarding the multiplicity of the singular points of a plane rational curve is proved.

[1]  Thomas W. Sederberg,et al.  On the minors of the implicitization Bézout matrix for a rational plane curve , 2001, Comput. Aided Geom. Des..

[2]  S. Abhyankar.  Algebraic geometry for scientists and engineers , 1990 .

[3]  O. J. Peterson.  The Double Points of Rational Curves , 1917 .

[4]  Sonia Pérez-Díaz.  Computation of the singularities of parametric plane curves , 2007, J. Symb. Comput..

[5]  Wenping Wang,et al.  The µ-basis of a planar rational curve - properties and computation , 2002, Graph. Model..

[6]  Dongming Wang.  Elimination Practice - Software Tools and Applications , 2004 .

[7]  P. Lancaster,et al.  The theory of matrices : with applications , 1985 .

[8]  Falai Chen,et al.  The moving line ideal basis of planar rational curves , 1998, Comput. Aided Geom. Des..

[9]  Yong-Ming Li,et al.  Identification of inflection points and cusps on rational curves , 1997, Comput. Aided Geom. Des..

[10]  Dinesh Manocha,et al.  Detecting cusps and inflection points in curves , 1992, Comput. Aided Geom. Des..

[11]  Tony DeRose,et al.  A geometric characterization of parametric cubic curves , 1989, TOGS.

[12]  Falai Chen,et al.  A new implicit representation of a planar rational curve with high order singularity , 2002, Comput. Aided Geom. Des..

[13]  Manabu Sakai,et al.  Inflection points and singularities on planar rational cubic curve segments , 1999, Comput. Aided Geom. Des..

[14]  Falai Chen,et al.  Implicitization using moving curves and surfaces , 1995, SIGGRAPH.

[15]  P. Fuhrmann.  A Polynomial Approach to Linear Algebra , 1996 .

[16]  C. Hoffmann.  Algebraic curves , 1988 .

[17]  C. Y. Wang.  Shape classification of the parametric cubic curve and parametric B-spline cubic curve , 1981 .

[18]  Falai Chen,et al.  The µ-basis of a planar rational curve: properties and computation , 2002 .

[19]  Laureano González-Vega,et al.  Minors of Bezout matrices, subresultants and the parameterization of the degree of the polynomial greatest common divisor , 2004, Int. J. Comput. Math..

[20]  Jie-Tai Yu,et al.  D-resultant for rational functions , 2002 .