On the convergence of formal exotic series solutions of an ODE (Q2188302): Difference between revisions

The paper discusses a nonlinear differential equation \[F(x, y,\delta y,\dots,\delta^n y)=0 \text{ with } \delta = x \frac{d}{dx}, \tag{1}\] admiting a formal solution of the form \[\phi=\sum_{k=1}^\infty{\alpha_k(x^{i\gamma})x^k}, \tag{2}\] where \(\alpha_k\) are function meromorphic at the origin and \(\gamma\in\mathbb R^\setminus\{0\}\). The authors propose a sufficient condition for the convergence of \(\phi\) in their main \par Theorem 1. Let (2) be a formal solution of the Eq. (1): \[ F(x,\Phi)=0,\quad\Phi=(\phi,\delta\phi,\dots,\delta^n\phi), \] such that \(\frac{\partial F}{\partial y_n}(x,\Phi)\not\equiv 0\). Furthermore, let each formal exotic series \(\frac{\partial F}{\partial y_j}(x,\Phi)\) be of the form \[ \frac{\partial F}{\partial y_j} (x,\Phi)= a_j(x^{i\gamma})x^m+b_j(x^{i\gamma})x^{m+1}+\dots, \quad j=0,1,\dots,n, \] with the same \(m\) for all \(j\), where \(a_n\not\equiv 0\) and \[ \mathrm{ord}_0 a_j\ge\mathrm{ord}_0 a_n,\qquad j=0,1,\dots,n. \] Then, in any open sector \(S\) with the vertex at the origin \(x=0\) of opening less than \(2\pi\) and of sufficiently small radius, such that \(S\subset \{\mathrm{arg}\, x > (-1/\gamma)\ln r\}\) if \(\gamma >0\) (and \(S\subset \{\mathrm{arg}\, x < (-1/\gamma)\ln r\}\) if \(\gamma <0\)), the series (2) converges uniformly in \(S\), thus representing there a branch of an analitic function which is continued holomorphically to the domain defined by the above inequalities for \(arg\, x\) on universal covering of punctured neighbourhood of the region.