We give an explicit upper bound for the number of isolated intersections between an integral curve of a polynomial vector field in and an algebraic hypersurface. The answer is polynomial in the height (the magnitude of coefficients) of the equation and the size of the curve in the space-time, with the exponent depending only on the degree and the dimension.
The problem turns out to be closely related to finding an explicit upper bound for the length of ascending chains of polynomial ideals spanned by consecutive derivatives.
Nous donnons une borne supérieure complètement explicite pour le nombre d’intersections isolées entre une courbe intégrale d’un champ de vecteurs polynomial et une hypersurface algébrique dans l’espace euclidien de dimension quelconque. La borne est polynomiale par rapport à la hauteur des polynômes et la taille de la courbe, l’exposant étant une fonction explicite dépendant seulement du degré et de la dimension.
Le problème est alors très étroitement lié au problème de la longueur des chaînes ascendantes des idéaux polynomiaux, engendrées par les dérivations successives.
@article{AIF_1999__49_2_563_0, author = {Novikov, Dmitri and Yakovenko, Sergei}, title = {Trajectories of polynomial vector fields and ascending chains of polynomial ideals}, journal = {Annales de l'Institut Fourier}, pages = {563--609}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {49}, number = {2}, year = {1999}, doi = {10.5802/aif.1683}, zbl = {0947.37008}, mrnumber = {2001h:32054}, language = {en}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.1683/} }
TY - JOUR AU - Novikov, Dmitri AU - Yakovenko, Sergei TI - Trajectories of polynomial vector fields and ascending chains of polynomial ideals JO - Annales de l'Institut Fourier PY - 1999 SP - 563 EP - 609 VL - 49 IS - 2 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.1683/ DO - 10.5802/aif.1683 LA - en ID - AIF_1999__49_2_563_0 ER -
%0 Journal Article %A Novikov, Dmitri %A Yakovenko, Sergei %T Trajectories of polynomial vector fields and ascending chains of polynomial ideals %J Annales de l'Institut Fourier %D 1999 %P 563-609 %V 49 %N 2 %I Association des Annales de l’institut Fourier %U https://aif.centre-mersenne.org/articles/10.5802/aif.1683/ %R 10.5802/aif.1683 %G en %F AIF_1999__49_2_563_0
Novikov, Dmitri; Yakovenko, Sergei. Trajectories of polynomial vector fields and ascending chains of polynomial ideals. Annales de l'Institut Fourier, Volume 49 (1999) no. 2, pp. 563-609. doi : 10.5802/aif.1683. https://aif.centre-mersenne.org/articles/10.5802/aif.1683/
[1] Singularities of differentiable maps, Vol. I (The classification of critical points, caustics and wave fronts). Monographs in Mathematics, 82. Birkhäuser, Boston, Mass., 1985. | Zbl
, , ,[2] Algebraic families of analytic functions (I), J. Differential Equations 136, no. 2 (1997), 248-267. | MR | Zbl
, ,[3] Exponential numbers of operators in normed spaces, Linear Algebra Appl., 219 (1995), 225-260. | MR | Zbl
, , , ,[4] Multiplicities of zeros of polynomials on trajectories of polynomial vector fields and bounds on degree of nonholonomy, Math. Research Letters, 2 (1996), 437-451. | MR | Zbl
,[5] Multiplicity of a zero of an analytic function on a trajectory of a vector field, Preprint, Purdue University, 1997, 7 pp.
,[6] Ordre de contact de courbes intégrales du plan, C. R. Acad. Sci. Paris, Sér. I Math., 319, no. 3 (1994), 219-221. | MR | Zbl
, , ,[7] Petrov modules and zeros of Abelian integrals. Preprint no. 95, Université Paul Sabatier (1997), to appear in Bull. Sci. Mathématiques. | Zbl
,[8] Gröbner bases and primary decomposition of polynomial ideals. Computational aspects of commutative algebra, J. Symbolic Comput., 6, no. 2-3 (1988), 149-167. | Zbl
, , ,[9] Some effectivity problems in polynomial ideal theory. EUROSAM 84 (Cambridge, 1984), 159-171, Lecture Notes in Comput. Sci., 174, Springer, Berlin-New York, 1984. | MR | Zbl
,[10] Sturm's theorem for hyperelliptic integrals, Algebra i Analiz 1 (1989), no. 5, 95-102; translation in Leningrad Math. J., 1, no. 5 (1990), 1157-1163. | MR | Zbl
,[11] Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci., 24, no. 3 (1983), 239-277. | MR | Zbl
,[12] Die Frage der endlich vielen Schritte in der Theorie der Polynomialideale, Mathematische Annalen, 95 (1926), 736-788. | JFM
,[13] Methods of algebraic geometry. Vol. I. Reprint of the 1947 original. Cambridge University Press, Cambridge, 1994. | MR | Zbl
, ,[14] Counting real zeros of analytic functions satisfying linear ordinary differential equations, J. Diff. Equations, 126, no. 1 (1996), 87-105. | MR | Zbl
, ,[15] The Schwarzian derivative and multivalence, Pacific J. of Math., 31, no. 3 (1969), 717-724. | MR | Zbl
,[16] An algorithm for the computation of the radical of an ideal in the ring of polynomials, Applied algebra, algebraic algorithms and error-correcting codes (New Orleans, LA, 1991), 195-205, Lecture Notes in Comput. Sci., 539, Springer, Berlin, 1991. | MR | Zbl
, ,[17] A note on upper bounds for ideal-theoretic problems, J. Symbolic Comput., 13, no. 3 (1992), 231-233. | MR | Zbl
,[18] Introduction to Complex Analytic Geometry, Birkhäuser, Basel-Boston-Berlin, 1991. | MR | Zbl
,[19] The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. in Math., 46 (1982), 305-329. | MR | Zbl
, ,[20] Length of polynomial ascending chains and primitive recursiveness, Math. Scand. 71 (1992), no. 2, 181-205; An Ackermannian polynomial ideal, in Applied algebra, algebraic algorithms and error-correcting codes (New Orleans, LA, 1991), 269-280, Lecture Notes in Comput. Sci., 539, Springer, Berlin, 1991; Autour de la fonction de Hilbert-Samuel (escaliers d'idéaux polynomiaux), Ph. D. Thesis, Centre de Mathématiques de l'École Polytechnique, 1991. | MR | Zbl
,[21] Integral Frenet curvatures and oscillation of spatial curves around affine subspaces of a Euclidean space, J. of Dynamical and Control Systems, 2, no. 2 (1996), 157-191. | MR | Zbl
, ,[22] Meandering of trajectories of polynomial vector fields in the affine n-space, Publ. Mat., 41, no. 1 (1997), 223-242. | MR | Zbl
, ,[23] A bound for the degree of nonholonomy in the plane, Algorithmic complexity of algebraic and geometric models (Creteil, 1994), Theoret. Comput. Sci., 157, no. 1 (1996), 129-136. | MR | Zbl
,[24] Constructions in algebra, Trans. Amer. Math. Soc., 197 (1974), 273-313. | MR | Zbl
,[25] Constructive proof of Hilbert's theorem on ascending chains, Trans. Amer. Math. Soc. 174 (1972), 305-312; On the length of a Hilbert ascending chain, Proc. Amer. Math. Soc., 29 (1971), 443-450. | Zbl
,[26] Oscillation of analytic curves, Proc. Amer. Math. Soc., 126, no. 2 (1998), 357-364. | MR | Zbl
,[27] Commutative Algebra, vol. 1, Springer-Verlag, N. Y. et al., 1975, corrected reprinting of the 1958 edition.
, ,Cited by Sources: