Related papers: Reduction of Elementary Integrability of Polynomia…
We state some generalizations of a theorem due to G. Darboux, which originally states that a polynomial vector field in the complex plane exhibits a rational first integral and has all its orbits algebraic provided that it exhibits…
We construct a monomorphism from the differential algebra $k\{x\} / [x^m]$ to a Grassmann algebra endowed with a structure of differential algebra. Using this monomorphism we prove primality of $k\{x\} / [x^m]$ and its algebra of…
We make two observations regarding the invertibility of Keller maps. i.e., polynomial maps for which the determinant of their Jacobian matrix is identically equal to 1. In our first result, we show that if P is a n-dimensional Keller map,…
We study systems of $n \geq 1$ discrete differential equations of order $k\geq1$ in one catalytic variable and provide a constructive and elementary proof of algebraicity of their solutions. This yields effective bounds and a systematic…
Let $G$ be a semisimple algebraic group with Lie algebra $\g$. In 1979, J. Dixmier proved that any vector field annihilating all $G$-invariant polynomials on $\g$ lies in the $\bbk[\g]$-module generated by the "adjoint vector fields", i.e.,…
Let $G$ be a finite group. Then there exists a first-order statement $S(G)$ in the language of rings without parameters and depending only on $G$ such that, for any field $K$, we have that $K\models S(G)$ if and only if $K$ has a Galois…
We give an algorithm to decide whether an algebraic plane foliation F has a rational first integral and to compute it in the affirmative case. The algorithm runs whenever we assume the polyhedrality of the cone of curves of the surface…
Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2,…
This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the…
The return map for planar vector fields with nilpotent linear part (having a center or a focus and under an assumption generically satisfied) is found as a convergent power series whose terms can be calculated iteratively. The first…
We describe a procedure to construct polynomial in the momenta first integrals of arbitrarily high degree for natural Hamiltonians $H$ obtained as one-dimensional extensions of natural (geodesic) $n$-dimensional Hamiltonians $L$. The…
Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on…
Let~$E$ be a Hilbertian field of characteristic~$0$. R.W.K. Odoni conjectured that for every positive integer~$n$ there exists a polynomial~$f\in E[X]$ of degree~$n$ such that each iterate~$f^{\circ{k}}$ of~$f$ is irreducible and the Galois…
A criterion in the spirit of Rosenlicht is given, on the rational function f(x), for when the planar vector field defined by x'=f(x) and y'=xy admits a pair of algebraically independent first integrals over some extension of the base field.…
Two theorems witnessing the abundance of geometrically trivial strongly minimal autonomous differential equations of arbitrary order are shown. The first one states that a generic algebraic vector field of degree $d\geq 2$ on the affine…
This is an expository paper in which it is proved that, for every infinite field ${\mathbf{F}}$, the polynomial ring ${\mathbf{F}}[t_1,\ldots, t_n]$ has Krull dimension $n$. The proof uses only "high school algebra" and the rudiments of…
n this paper we formulate necessary conditions for the integrability in the Jacobi sense of Newton equations $\ddot \vq=-\vF(\vq)$, where $\vq\in\C^n$ and all components of $\vF$ are polynomial and homogeneous of the same degree $l$. These…
In this work, we consider rational ordinary differential equations dy/dx = Q(x,y)/P(x,y), with Q(x,y) and P(x,y) coprime polynomials with real coefficients. We give a method to construct equations of this type for which a first integral can…
According to Liouville's Theorem, an indefinite integral of an elementary function is usually not an elementary function. In this notes, we discuss that statement and a proof of this result. The differential Galois group of the extension…
Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential…