相关论文: On the convergence of exotic formal series solutio…
A sufficient condition of the convergence of an exotic formal series (a kind of power series with complex exponents) solution to an ODE of a general form is proposed.
We propose a sufficient condition of the convergence of a power-log series that formally satisfies an algebraic ordinary differential equation (ODE) of arbitrary order. A general form and properties of the functional coefficients of such a…
We propose a sufficient condition of the convergence of a Dulac series formally satisfying an algebraic ordinary differential equation (ODE). Such formal solutions of algebraic ODEs appear rather often, in particular, the third, fifth, and…
We propose a sufficient condition of the convergence of a generalized power series formally satisfying an algebraic (polynomial) ordinary differential equation. The proof is based on the majorant method.
We propose an analytic proof of the Malgrange-Sibuya theorem concerning a sufficient condition of the convergence of a formal power series satisfying an ordinary differential equation. The proof is based on the majorant method and allows to…
A Maillet-Malgrange type theorem is proved for a Dulac series (in the general case, with complex exponents), which formally satisfies an analytical ordinary differential equation (ODE). This theorem allows to estimate the growth of the…
Solutions of nonlinear functional equations are generally not expressed as a finite number of combinations and compositions of elementary and known special functions. One of the approaches to study them is, firstly, to find formal solutions…
A system of multivariate formal power series $\varphi$ with a homogeneous decomposition $\varphi=\sum_{k=0}^\infty\varphi_k$ is invertible under composition if $\varphi_0=0$ and $\mathrm{det}(\varphi_1)\ne 0.$ All invertible series over a…
A sufficient condition for the convergence of a generalized formal power series solution to an algebraic $q$-difference equation is provided. The main result leans on a geometric property related to the semi-group of (complex) power…
We consider a class of $n^{\text{th}}$-order linear ordinary differential equations with a large parameter $u$. Analytic solutions of these equations can be described by (divergent) formal series in descending powers of $u$. We demonstrate…
We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense…
We study the existence of formal power series solutions to q-algebraic equations. When a solution exists, we give a sufficient condition on the equation for this solution to have a positive radius of convergence. We emphasize on the case…
A family of formal power series, such that its coefficients satisfy a recursion formula, is characterized in terms of the summability, in the sense of J. P. Ramis, of its elements along certain well chosen directions. We describe a set of…
We consider a natural generalisation of the Painlev\'e property and use it to identify the known integrable cases of the Lane-Emden equation with a real positive index. We classify certain first-order ordinary differential equations with…
We show that for a nonnegative monotone sequence $\{c_k\}$ the condition $c_kk\to 0$ is sufficient for uniform convergence of the series $\sum_{k=1}^{\infty}c_k\sin k^{\alpha} x$ on any bounded set for $\alpha\in (0,2)$, and for an odd…
Given an algebraic ordinary differential equation (AODE), we propose a computational method to determine when a truncated power series can be extended to a formal power series solution. If a certain regularity condition on the given AODE or…
It is known that all $\tau$ functions of the Painlev\'{e} equations satisfy the fourth-order quadratic differential equation. Among them, for the III, V, and VI equations, it is possible to express the formal series solutions explicitly by…
We prove the convergence of normal form power series for suitably nonsingular analytic submanifolds under a broad class of infinite-dimensional Lie pseudo-group actions. Our theorem is illustrated by a number of examples, and includes, as a…
Summation methods play a very important role in quantum field theory because all perturbation series are divergent and the expansion parameter is not always small. A number of methods have been tried in this context, most notably Pade…
We prove that under a very general setting, a system of ODE passes the Painleve test if and only if there is a good change of variable, such that the pole singularity solutions are converted to regular power series, while the converted ODE…