{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T04:04:29Z","timestamp":1772510669481,"version":"3.50.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T00:00:00Z","timestamp":1591315200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T00:00:00Z","timestamp":1591315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Johannes Kepler University Linz"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we study the algebraic, rational and formal Puiseux series solutions of certain type of systems of autonomous ordinary differential equations. More precisely, we deal with systems which associated algebraic set is of dimension one. We establish a relationship between the solutions of the system and the solutions of an associated first order autonomous ordinary differential equation, that we call the reduced differential equation. Using results on such equations, we prove the convergence of the formal Puiseux series solutions of the system, expanded around a finite point or at infinity, and we present an algorithm to describe them. In addition, we bound the degree of the possible algebraic and rational solutions, and we provide an algorithm to decide their existence and to compute such solutions if they exist. Moreover, if the reduced differential equation is non trivial, for every given point <jats:inline-formula><jats:alternatives><jats:tex-math>$$(x_0,y_0) \\in \\mathbb {C}^2$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>x<\/mml:mi>\n                        <mml:mn>0<\/mml:mn>\n                      <\/mml:msub>\n                      <mml:mo>,<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>y<\/mml:mi>\n                        <mml:mn>0<\/mml:mn>\n                      <\/mml:msub>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>\u2208<\/mml:mo>\n                    <mml:msup>\n                      <mml:mrow>\n                        <mml:mi>C<\/mml:mi>\n                      <\/mml:mrow>\n                      <mml:mn>2<\/mml:mn>\n                    <\/mml:msup>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, we prove the existence of a convergent Puiseux series solution <jats:italic>y<\/jats:italic>(<jats:italic>x<\/jats:italic>) of the original system such that <jats:inline-formula><jats:alternatives><jats:tex-math>$$y(x_0)=y_0$$<\/jats:tex-math><mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                  <mml:mrow>\n                    <mml:mi>y<\/mml:mi>\n                    <mml:mrow>\n                      <mml:mo>(<\/mml:mo>\n                      <mml:msub>\n                        <mml:mi>x<\/mml:mi>\n                        <mml:mn>0<\/mml:mn>\n                      <\/mml:msub>\n                      <mml:mo>)<\/mml:mo>\n                    <\/mml:mrow>\n                    <mml:mo>=<\/mml:mo>\n                    <mml:msub>\n                      <mml:mi>y<\/mml:mi>\n                      <mml:mn>0<\/mml:mn>\n                    <\/mml:msub>\n                  <\/mml:mrow>\n                <\/mml:math><\/jats:alternatives><\/jats:inline-formula>.<\/jats:p>","DOI":"10.1007\/s11786-020-00478-w","type":"journal-article","created":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T15:03:44Z","timestamp":1591369424000},"page":"189-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic, Rational and Puiseux Series Solutions of Systems of Autonomous Algebraic ODEs of Dimension One"],"prefix":"10.1007","volume":"15","author":[{"given":"Jos\u00e9","family":"Cano","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Falkensteiner","sequence":"additional","affiliation":[]},{"given":"J. Rafael","family":"Sendra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,5]]},"reference":[{"key":"478_CR1","doi-asserted-by":"crossref","unstructured":"Aroca, J., Cano, J., Feng, R., Gao, X.-S.: Algebraic general solutions of algebraic ordinary differential equations. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ACM, pp. 29\u201336 (2005)","DOI":"10.1145\/1073884.1073891"},{"key":"478_CR2","doi-asserted-by":"crossref","unstructured":"Cano, J., Falkensteiner, S., Sendra, J.R.: Existence and convergence of Puiseux series solutions for first order autonomous differential equations. pre-print abs\/1908.09196 (2019)","DOI":"10.1016\/j.jsc.2020.06.010"},{"issue":"5","key":"478_CR3","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s00200-002-0110-4","volume":"13","author":"T Cluzeau","year":"2003","unstructured":"Cluzeau, T., Hubert, E.: Resolvent representation for regular differential ideals. Appl. Algebra Eng. Commun. Comput. 13(5), 395\u2013425 (2003)","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"478_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01579200","volume":"267","author":"J Denef","year":"1984","unstructured":"Denef, J., Lipshitz, L.: Power series solutions of algebraic differential equations. Math. Ann. 267, 213\u2013238 (1984)","journal-title":"Math. Ann."},{"key":"478_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-019-00431-6","author":"S Falkensteiner","year":"2019","unstructured":"Falkensteiner, S., Sendra, J.R.: Formal power series solutions of first order autonomous algebraic ordinary differential equations. Math. Comput. Sci. (2019). https:\/\/doi.org\/10.1007\/s11786-019-00431-6","journal-title":"Math. Comput. Sci."},{"issue":"3","key":"478_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.3103\/S0027132217030019","volume":"72","author":"OV Gerasimova","year":"2017","unstructured":"Gerasimova, O.V., Razmyslov, Y.P.: Nonaffine differential-algebraic curves do not exist. Moscow Univ. Math. Bull. 72(3), 89\u201393 (2017)","journal-title":"Moscow Univ. Math. Bull."},{"key":"478_CR7","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M Kalkbrener","year":"1993","unstructured":"Kalkbrener, M.: A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15, 143\u2013167 (1993)","journal-title":"J. Symb. Comput."},{"issue":"1\u20132","key":"478_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.5486\/PMD.2015.6032","volume":"86","author":"A Lastra","year":"2015","unstructured":"Lastra, A., Sendra, J.R., Ng\u00f4, L.X.C., Winkler, F.: Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one. Publ. Math. Debrecen 86(1\u20132), 49\u201369 (2015)","journal-title":"Publ. Math. Debrecen"},{"key":"478_CR9","unstructured":"Ovchinnikov, A., Pogudin, G., Thieu Vo, N.: Bounds for elimination of unknowns in systems of differential-algebraic equations. Pre-print arXiv:1610.04022 (2016)"},{"key":"478_CR10","volume-title":"Differential Algebra","author":"J Ritt","year":"1950","unstructured":"Ritt, J.: Differential Algebra, vol. 33. American Mathematical Society, Providence (1950)"},{"key":"478_CR11","volume-title":"Elimination Methods","author":"D Wang","year":"2012","unstructured":"Wang, D.: Elimination Methods. Springer, Heidelberg (2012)"},{"key":"478_CR12","unstructured":"Yang, L., Zhang, J.: Searching dependency between algebraic equations: an algorithm applied to automated reasoning. Tech. rep, International Centre for Theoretical Physics (1990)"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00478-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-020-00478-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00478-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,4]],"date-time":"2021-06-04T23:11:00Z","timestamp":1622848260000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-020-00478-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,5]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["478"],"URL":"https:\/\/doi.org\/10.1007\/s11786-020-00478-w","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,5]]},"assertion":[{"value":"13 September 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 February 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}