2011/10/13 by Carlos Galindo, Galindo, Carlos, Francisco Monserrat +1 · 1 citation
Mathematics · Computer Science · #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry and Number Theory #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1110.2973
We solve the Poincaré problem for plane foliations with only one dicritical divisor. Moreover, in this case, we give an algorithm that decides whether a foliation has a rational first integral and computes it in the affirmative case. We also provide an algorithm to compute a rational first integral of prefixed genus g≠ 1 of any type of plane foliation \cf. When the number of dicritical divisors dic(\cf) is larger than two, this algorithm depends on suitable families of invariant curves. When dic(\cf) = 2, it proves that the degree of the rational first integral can be bounded only in terms of g, the degree of \cf and the local analytic type of the dicritical singularities of \cf.