Complex transseries solutions to algebraic differential equations


In our PhD. we have given an algorithm for the algebraic resolution of algebraic differential equations with real transseries coefficients. Unfortunately, not all equations do admit solutions in this strongly monotonic setting, even though we recently proved an intermediate value theorem.

In this paper we show that the algorithm from our PhD. generalizes to the setting of weakly oscillatory or complex transseries. Modulo a finite number of case separations, we show how to determine the solutions of an arbitrary algebraic differential equation over the complex transseries. We will show that such equations always admit complex transseries solutions. However, the field of complex transseries is not differentially algebraically closed.

View: Html, TeXmacs, Pdf, BibTeX

Note: we performed a few corrections with respect to the original version.