Related papers: Liouvillian integrability of three dimensional vec…
Given a constant skew-symmetric matrix A, it is a difficult open problem whether the associated Lotka-Volterra system is integrable or not. We solve this problem in the special case when A is a Toepliz matrix where all off-diagonal entries…
In this paper we explore the general conditions in order that a 2-dimensional natural Hamiltonian system possess a second invariant which is a polynomial in the momenta and is therefore Liouville integrable. We examine the possibility that…
We consider a discrete equation, defined on the two-dimensional square lattice, which is linearizable, namely, of the Burgers type and depends on a parameter $\alpha$. For any natural number $N$ we choose $\alpha$ so that the equation…
We study asymptotics of integrals of certain rational functions that depend on parameters in a field $K$ of characteristic zero. We use formal power series to represent the integral and prove certain identities about its coefficients…
The note offers a proof of Darboux and Liouville theorems from a symplectic group action perspective.
We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension…
We consider a lattice $\mathcal{L}\subset \mathbb{R}^n$ and a trigonometric potential $V$ with frequencies $k\in\mathcal{L}$. We then prove a strong integrability condition on $V$, using the support of its Fourrier transform. We then use…
Two constructions of the Darboux-Halphen system are discussed. In the Jacobi construction we start with multi-valued functions which are fixed as the first integrals. In the Lie construction we use single-valued representation of the simple…
We discuss criteria for the nonexistence, existence and computation of invariant algebraic surfaces for three-dimensional complex polynomial vector fields, thus transferring a classical problem of Poincar\'e from dimension two to dimension…
We present a definition of integrability for the one dimensional Schroedinger equation, which encompasses all known integrable systems, i.e. systems for which the spectrum can be explicitly computed. For this, we introduce the class of…
We apply the Darboux integrability method to determine first integrals and Hamiltonian formulations of three dimensional polynomial systems; namely the reduced three-wave interaction problem, the Rabinovich system, the Hindmarsh-Rose model,…
The First and Second Liouville's Theorems provide correspondingly criterium for integrability of elementary functions "in finite terms" and criterium for solvability of second order linear differential equations by quadratures. The…
We consider in this work planar polynomial differential systems having a polynomial first integral. We prove that these systems can be obtained from a linear system through a polynomial change of variables.
We study under the standpoint of integrable complex analytic 1-forms (complex analytic foliations), a class of second order ordinary differential equations with periodic coefficients. More precisely, we study Hill's equations of motion of…
We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach is inspired by an idea of Ferragut and Giacomini. We improve upon their work by proving that rational…
We study groups of formal diffeomorphisms in several complex variables. For abelian, metabelian or nilpotent groups we investigate the existence of suitable formal vector fields and closed differential forms which exhibit an invariance…
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…
Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,\dots,x_n)$ with coefficients in a field $\mathbb{K}$, $[\mathbb{K}:\mathbb{Q}] <\infty$, and $\omega$ a rational differential $1$-form. Assume that $H\omega$ is closed and $H$…
We know that a continuous function on a closed interval satisfies the Intermediate Value Property. Likewise, the derivative function of a differentiable function on a closed interval satisfies the IVP property which is known as the Darboux…
Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…