Showing 1–14 of 14 results for author: Goryuchkina, I

Convergence of (generalized) power series solutions of functional equations

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: 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… ▽ More 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. △ Less

Submitted 1 December, 2024; originally announced December 2024.

Comments: 50 pages, in Russian language, 38 references

MSC Class: 34A34; 39B32; 34E05; 34M25; 39A13

Small divisors in the problem of the convergence of generalized power series solutions of $q$-difference equations

Authors: Renat Gontsov, Irina Goryuchkina, Alberto Lastra

Abstract: The question of the convergence of generalized formal power series (with complex power exponents) solutions of $q$-difference equations is studied in the situation where the small divisors phenomenon arises; a sufficient condition of convergence generalizing corresponding conditions for classical power series solutions is obtained. The question of the convergence of generalized formal power series (with complex power exponents) solutions of $q$-difference equations is studied in the situation where the small divisors phenomenon arises; a sufficient condition of convergence generalizing corresponding conditions for classical power series solutions is obtained. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 16 pages

On the convergence of formal power-log series solutions of an algebraic ODE

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: 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 series are established. 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 series are established. △ Less

Submitted 13 November, 2021; originally announced November 2021.

Comments: 16 pages

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

Authors: Renat Gontsov, Irina Goryuchkina, Alberto Lastra

Abstract: 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 wher… ▽ More 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. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Comments: 16 pages

Journal ref: Aequat. Math., 2022, V. 96(3), 579-597

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

Authors: Vladimir Dragovic, Renat Gontsov, Irina Goryuchkina

Abstract: 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 Petro… ▽ More 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. △ Less

Submitted 21 October, 2021; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: 11 pages

MSC Class: 34M25 (Primary) 34M04; 34M35 (Secondary)

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

Authors: Vladimir Dragovic, Irina Goryuchkina

Abstract: 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 b… ▽ More 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. △ Less

Submitted 14 December, 2019; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: 39 pages, 5 figures

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

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: We propose a sufficient condition of the convergence of a complex power type formal series of the form $\varphi=\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… ▽ More We propose a sufficient condition of the convergence of a complex power type formal series of the form $\varphi=\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. △ Less

Submitted 16 June, 2019; originally announced June 2019.

Comments: 13 pages

Journal ref: "On the convergence of formal exotic series solutions of an ODE", Comput. Methods Funct. Theory, 2020, V. 20(2), 279-295

On the convergence of an exotic formal series solution of an ODE

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: 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. 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. △ Less

Submitted 31 December, 2018; originally announced December 2018.

A note on the convergence of multivariate formal power series solutions of meromorphic Pfaffian systems

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: Here we present some compliments to theorems of Gerard and Sibuya, on the convergence of multivariate formal power series solutions of nonlinear meromorphic Pfaffian systems. Their the most known results concern completely integrable systems with nondegenerate linear parts, whereas we consider some cases of non-integrability and degeneracy. Here we present some compliments to theorems of Gerard and Sibuya, on the convergence of multivariate formal power series solutions of nonlinear meromorphic Pfaffian systems. Their the most known results concern completely integrable systems with nondegenerate linear parts, whereas we consider some cases of non-integrability and degeneracy. △ Less

Submitted 13 December, 2018; v1 submitted 4 August, 2018; originally announced August 2018.

On the convergence of formal Dulac series satisfying an algebraic ODE

Authors: Irina Goryuchkina, Renat Gontsov

Abstract: 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. 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. △ Less

Submitted 21 December, 2017; originally announced December 2017.

Comments: 13 pages

Journal ref: Sb. Math., 2019, V. 210(9), 1207-1221

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

Authors: Irina Goryuchkina

Abstract: 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 c… ▽ More 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. △ Less

Submitted 31 December, 2016; originally announced January 2017.

Comments: in Russian

The Maillet--Malgrange type theorem for generalized power series

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: There is proposed the Maillet--Malgrange type theorem for a generalized power series (having complex power exponents) formally satisfying an algebraic ordinary differential equation. The theorem describes the growth of the series coefficients. There is proposed the Maillet--Malgrange type theorem for a generalized power series (having complex power exponents) formally satisfying an algebraic ordinary differential equation. The theorem describes the growth of the series coefficients. △ Less

Submitted 21 January, 2016; originally announced January 2016.

Comments: 9 pages

Journal ref: Manuscripta Math., 2018, V. 156(1), 171-185

On the convergence of generalized power series satisfying an algebraic ODE

Authors: Renat Gontsov, Irina Goryuchkina

Abstract: 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 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. △ Less

Submitted 4 July, 2014; originally announced July 2014.

Comments: 10 pages

Journal ref: Asympt. Anal., 2015, V. 93(4), 311-325

An analytic proof of the Malgrange-Sibuya theorem on the convergence of formal solutions of an ODE

Authors: R. R. Gontsov, I. V. Goryuchkina

Abstract: 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 estimate the radius of convergence of such a series. 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 estimate the radius of convergence of such a series. △ Less

Submitted 25 November, 2013; originally announced November 2013.

Comments: 9 pages

Journal ref: J. Dynam. Control Syst., V. 22 (2016), 91-100