Essential Components of an Algebraic Differential Equation

We present an algorithm to determine the essential singular components of an algebraic differential equation. Geometrically, this corresponds to determining the singular solutions that have enveloping properties. The algorithm is practical and efficient because it is factorization free, unlike the previous such algorithm.

[1]  J. F. Ritt On the Manifolds of Partial Differential Polynomials , 1945 .

[2]  M. Hamburger Ueber die singulären Lösungen der algebraischen Differentialgleichungen erster Ordnung. , 1893 .

[3]  Howard Levi,et al.  On the structure of differential polynomials and on their theory of ideals , 1942 .

[4]  D. Eisenbud,et al.  Direct methods for primary decomposition , 1992 .

[5]  A. Seidenberg An elimination theory for differential algebra , 1959 .

[6]  A. Rosenfeld Specializations in differential algebra , 1959 .

[7]  L. Rubel A universal differential equation , 1981 .

[8]  D. Eisenbud Commutative Algebra: with a View Toward Algebraic Geometry , 1995 .

[9]  Evelyne Hubert,et al.  The general solution of an ordinary differential equation , 1996, ISSAC '96.

[10]  Abraham P. Hillman,et al.  On the Ritt Polygon Process , 1962 .

[11]  M. Ablowitz,et al.  Solitons, Nonlinear Evolution Equations and Inverse Scattering , 1992 .

[12]  Wolmer V. Vasconcelos,et al.  Computational methods in commutative algebra and algebraic geometry , 1997, Algorithms and computation in mathematics.

[13]  J F Ritt On the Singular Solutions of Certain Differential Equations of the Second Order. , 1946, Proceedings of the National Academy of Sciences of the United States of America.

[14]  G. Latta,et al.  Ordinary differential equations and their solutions , 1960 .

[15]  J. Ritt,et al.  Analytical Theory of Singular Solutions of Partial Differential Equations of the First Order , 1945 .

[16]  Hugh Mitchell The Singular Solutions of a Certain Differential Equation of the Second Order , 1897 .

[17]  J. F. Ritt On the Singular Solutions of Algebraic Differential Equations , 1936 .

[18]  J. F. Ritt Manifolds of functions defined by systems of algebraic differential equations , 1930 .

[19]  François Boulier,et al.  Representation for the radical of a finitely generated differential ideal , 1995, ISSAC '95.

[20]  Edmund Taylor Whittaker,et al.  A Course of Modern Analysis , 2021 .

[21]  A. P. Hillman A note on differential polynomials , 1943 .