Related papers: Differential Puiseux theorem in generalized series…

I begin from a particular field of generalised Puiseux series and investigate a class of nonlinear differential equations in the field. It is appeared that the main part of differential equation determines solvability and positions of…

Given an autonomous first order algebraic ordinary differential equation F(y,y')=0, we prove that every formal Puiseux series solution, expanded around any finite point or at infinity, is convergent. The proof is constructive and we provide…

Let $F\in \mathbb{K}[X, Y ]$ be a polynomial of total degree $D$ defined over a perfect field $\mathbb{K}$ of characteristic zero or greater than $D$. Assuming $F$ separable with respect to $Y$ , we provide an algorithm that computes the…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

In this paper, we study the algebraic, rational and formal Puiseux series solutions of certain type of systems of autonomous ordinary differential equations. More precisely, we deal with systems which associated algebraic set is of…

Given a differential or $q$-difference equation $P$ of order $n$, we prove that the set of exponents of a generalized power series solution has its rational rank bounded by the rational rank of the support of $P$ plus $n$. We also prove…

We consider the problem of solvability of linear differential equations over a differential field~$K$. We introduce a class of special differential field extensions, which widely generalizes the classical class of extensions of differential…

We develop a notion of (principal) differential rank for differential-valued fields, in analog of the exponential rank and of the difference rank. We give several characterizations of this rank. We then give a method to define a derivation…

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…

The theme of this paper is to `solve' an absolutely irreducible differential module explicitly in terms of modules of lower dimension and finite extensions of the differential field $K$. Representations of semi-simple Lie algebras and…

The purpose of this paper is to study a class of ill-posed differential equations. In some settings, these differential equations exhibit uniqueness but not existence, while in others they exhibit existence but not uniqueness. An example of…

Adapting the Newton-Puiseux Polygon process to nonlinear q-difference equations of any order and degree, we compute their power series solutions, study the properties of the set of exponents of the solutions and give a bound for their…

Let $F(X,Y)=Y^d+a_1(X)Y^{d-1}+...+a_d(X)$ be a polynomial in $n+1$ variables $(X,Y)=(X_1,...,X_n,Y)$ with coefficients in an algebraically closed field K. Assuming that the discriminant $D(X)=\disc_Y F(X,Y)$ is nonzero we investigate the…

We introduce a concept of a fractional-derivatives series and prove that any linear partial differential equation in two independent variables has a fractional-derivatives series solution with coefficients from a differentially closed field…

Let $f(x,y)$ be a complex irreducible formal power series without constant term. One may solve the equation $f(x,y)=0$ by choosing either $x$ or $y$ as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and…

In this work, we study a continued fractions theory for the topological completion of the field of Puiseux series. As usual, we prove that any element in the completion can be developed as a unique continued fractions, whose coefficients…

We study conjugacy of formal derivations on fields of generalised power series in characteristic 0. Casting the problem of Poincar\'e resonance in terms of asymptotic differential algebra, we give conditions for conjugacy of parabolic flat…

A prefixed polynomial equation is an equation of the form $P(t_1,\ldots,t_n) = 0$, where $P$ is a polynomial whose variables $t_1,\ldots,t_n$ range over the natural numbers, preceded by quantifiers over some, or all, of its variables. Here,…

Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series $F(t,u)$ in $t$ with polynomial coefficients in a "catalytic" variable $u$ and the specializations, say at $u=1$, of $F(t,u)$ and of…

We use Vessiot theory and exterior calculus to solve partial differential equations(PDEs) of the type uyy = F(x, y,u,ux,uy,uxx,uxy) and associated evolution equations. These equations are represented by the Vessiot distribution of vector…