Related papers: Confluence of meromorphic solutions of q-differenc…
After introducing q-analogues of the Borel and Laplace transformations, we prove that to every formal power series solution of a linear q-difference equation with rational coefficients, we may apply several q-Borel and Laplace…
This paper is divided in two parts. In the first part we consider irregular singular analytic q-difference equations, with q\in ]0,1[, and we show how the Borel sum of a divergent solution of a differential equation can be uniformly…
We study the divergent basic hypergeometric series which is a $q$-analog of divergent hypergeometric series. This series formally satisfies the linear $q$-difference equation. In this paper, for that equation, we give an actual solution…
In this paper, we consider the behaviour, when $q$ goes to $1$, of the set of a convenient basis of meromorphic solutions of a family of linear $q$-difference equations. In particular, we show that, under convenient assumptions, such basis…
In this paper, we consider linear $q$-difference systems with coefficients that are germs of meromorphic functions, with Newton polygon that has two slopes. Then, we explain how to compute similar meromorphic gauge transformations than…
The paper shows the summability of formal solutions of some linear q-difference-differential equations by using q-Laplace and q-Borel summation method.
In this article, we construct explicit meromorphic solutions of first order linear $q$-difference equations in the complex domain and we describe the location of all their zeros and poles. The homogeneous case leans on the study of four…
Borel summable divergent series usually appear when studying solutions of analytic ODE near a multiple singular point. Their sum, uniquely defined in certain sectors of the complex plane, is obtained via the Borel--Laplace transformation.…
In this paper we consider a $q$-analog of the Borel-Laplace summation process defined by Marotte and the second author, and consider two series solutions of linear $q$-difference equations with slopes $0$ and $1$. The latter are…
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 provide algorithms computing power series solutions of a large class of differential or $q$-differential equations or systems. Their number of arithmetic operations grows linearly with the precision, up to logarithmic terms.
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…
In this paper we study analytic (linear or) nonlinear systems of ordinary differential equations, at an irregular singularity of rank one, under nonresonance conditions. It is shown that the formal asymptotic exponential series solutions…
A family of singularly perturbed q-difference-differential equations under the action of a small complex perturbation parameter is studied. The action of the formal monodromy around the origin is present in the equation, which suggests the…
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…
This text is about the mathematical use of certain divergent power series. The first part is an introduction to 1-summability. The definitions rely on the formal Borel transform and the Laplace transform along an arbitrary direction of the…
The most simple and famous divergent power series coming from ODE may be the so-called Euler series $\sum_{n\ge 0}(-1)^n\,n!\,x^{n+1}$, that, as well as all its positive powers, is Borel-summable in any direction excepted the negative real…
We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with…
We prove a connection formula for the basic hypergeomtric function ${}_n\varphi_{n-1}\left( a_1,...,a_{n-1},0; b_1,...,b_{n-1} ; q, z\right)$ by using the $q$-Borel resummation. As an application, we compute $q$-Stokes matrices of a special…
In solving $q$-difference equations, and in the definition of $q$-special functions, we encounter formal power series in which the $n$th coefficient is of size $q^{-\binom{n}{2}}$ with $q\in(0,1)$ fixed. To make sense of these formal…