SearcharxivSearch

arXiv subjects

Irina Goryuchkina

Publications and source records attributed to Irina Goryuchkina.

13 recordsLinked to original sources

Convergence of (generalized) power series solutions of functional equations

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 (that is, series whose terms are described and ordered in some way but which do not converge apriori) and, secondly, to study the convergence or summability of these formal solutions (the existence and uniqueness of actual solutions with the given asymptotic expansion in a certain domain). In this paper we deal only with the convergence of formal functional series having the form of an infinite sum of power functions with (complex, in general) power exponents and satisfying analytical functional equations of the following three types: a differential, $q$-difference or Mahler equation.

math.CA

From formal to actual Puiseux series solutions of algebraic differential equations of first order

The existence, uniqueness and convergence of formal Puiseux series solutions of non-autonomous algebraic differential equations of first order at a nonsingular point of the equation is studied, including the case where the celebrated Painleve theorem cannot be applied explicitly for the study of convergence. Several examples illustrating relationships to the Painleve theorem and lesser-known Petrovic's results are provided.

math.CA

On the convergence of generalized power series solutions of $q$-difference equations

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 exponents of such a series. This property corresponds to the situation in which the small divisors phenomenon does not arise. Some examples illustrating the cases where the obtained sufficient condition can be or cannot be applied are also depicted.

math.CA

Polygons of Petrovic and Fine, algebraic ODEs, and contemporary mathematics

Here, we study the genesis and evolution of geometric ideas and techniques in investigations of movable singularities of algebraic ordinary differential equations. This leads us to the work of Mihailo Petrovic on algebraic differential equations and in particular his geometric ideas captured in his polygon method from the last years of the XIXth century, which have been left completely unnoticed by the experts. This concept, also developed in a bit a different direction and independently by Henry Fine, generalizes the famous Newton-Puiseux polygonal method and applies to algebraic ODEs rather than algebraic equations. Although remarkable, the Petrovic legacy has been practically neglected in the modern literature, while the situation is less severe in the case of results of Fine. Thus, we study the development of the ideas of Petrovic and Fine and their places in contemporary mathematics.

math.CA

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

We propose a sufficient condition of the convergence of a complex power type formal series of the form $φ=\sum_{k=1}^{\infty}α_k(x^{{\rm i}γ})\,x^k$, where $α_k$ are functions meromorphic at the origin and $γ\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é equation is presented and the proposed sufficient condition is applied to check its convergence.

math.CA

On the convergence of formal Dulac series satisfying an algebraic ODE

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 sixth Painlevé equations possess formal Dulac series solutions, whose convergence follows from the proposed sufficient condition.

math.CA

On properties of the coefficients of the complicated and exotic formal solutions of the sixth Painlevé equation

It is known, that among the formal solutions of the sixth Painlevé equation there met series with integer power exponents of the independent variable $x$ with coefficients in form of formal Laurent series (with finite main parts) in $\log^{-1} x$ (complicated expansions), or in $x^{{\rm i}\,θ}$, where ${\rm i}=\sqrt{-1},$ $θ\in\mathbb{R},$ $θ\neq 0$ (exotic expansions). These coefficients can be computed consecutively. Here we research analytic properties of the series, that are the coefficients of the complicated and exotic formal solutions of the sixth Painlevé equation.

math.CA