# On the convergence of exotic formal series solutions of an ODE. A proof by the implicit mapping theorem

## TL;DR

This paper establishes a sufficient condition for the convergence of certain complex formal series solutions to analytic ODEs, including an example related to the third Painlevé equation, using the implicit mapping theorem.

## Contribution

It introduces a new convergence criterion for exotic formal series solutions of ODEs, extending understanding of their analytic behavior.

## Key findings

- Provided a convergence condition for complex formal series solutions.
- Applied the criterion to a formal solution of the third Painlevé equation.
- Demonstrated the criterion's effectiveness through an explicit example.

## Abstract

We propose a sufficient condition of the convergence of a complex power type formal series of the form $\varphi=\sum_{k=1}^{\infty}\alpha_k(x^{{\rm i}\gamma})\,x^k$, where $\alpha_k$ are functions meromorphic at the origin and $\gamma\in{\mathbb R}\setminus\{0\}$, that satisfies an analytic ordinary differential equation (ODE) of a general type. An example of a such type formal solution of the third Painlev\'e equation is presented and the proposed sufficient condition is applied to check its convergence.