Search

Consider a third order linear differential equation $L(f)=0$, where $L\in\mathbb{Q}(z)[\partial_z]$. We design an algorithm computing the Liouvillian solutions of $L(f)=0$. The reducible cases devolve to the classical case of second order operators, and in the irreducible cases, only finitely many differential Galois groups are possible. The differential Galois group is obtained through optimized computations of invariants and semi-invariants, and if solvable, the solutions are returned as pullbacks and gauge transformations of algebraic generalized hypergeometric function ${}_3F_2$. The computation time is practical for reasonable size operators.

We consider the problem of symbolic integration of $\int G(x,y(x)) dx$ where $G$ is rational and $y(x)$ is a non algebraic solution of a differential equation $y'(x)=F(x,y(x))$ with $F$ rational. As $y$ is transcendental, the Galois action generates a family of parametrized integrals $I(x,h)=\int G(x,y(x,h)) dx$. We prove that $I(x,h)$ is either differentially transcendental or up to parametrization change satisfies a linear differential equation in $h$ with constant coefficients, called a telescoper. This notion generalizes elementary integration. We present an algorithm to compute such telescoper given a priori bound on their order and degree $\hbox{ord},N$ with complexity $\tilde{O}(N^{\omega+1} \hbox{ord}^{\omega-1}+N\hbox{ord}^{\omega+3})$. For the specific foliation $y=\ln x$, a more complete algorithm without an a priori bound is presented. Oppositely, non existence of telescoper is proven for a classical planar Hamiltonian system. As an application, we present an algorithm which always finds, if they exist, the Liouvillian solutions of a planar rational vector field, given a bound large enough for some notion of complexity height., Comment: 41 pages

Consider a hyperelliptic integral $I=\int P/(Q\sqrt{S}) dx$, $P,Q,S\in\mathbb{K}[x]$, with $[\mathbb{K}:\mathbb{Q}]<\infty$. When $S$ is of degree $\leq 4$, such integral can be calculated in terms of elementary functions and elliptic integrals of three kinds $\mathcal{F},\mathcal{E},\Pi$. When $S$ is of higher degree, it is typically non elementary, but it is sometimes possible to obtain an expression of $I$ using also elliptic integrals when the Jacobian of $y^2=S(x)$ has elliptic factors. We present an algorithm searching for elliptic factors and a modular criterion for their existence. Then, we present an algorithm for computing an expression of $I$ using elliptic integrals, which always succeed in the completely decomposable Jacobian case., Comment: 9 pages

Consider an elliptic curve $\mathcal{C}$ with coefficients in $\mathbb{K}$ with $[\mathbb{K}:\mathbb{Q}]<\infty$ and $\delta \in \mathcal{C}(\mathbb{K})$ a non torsion point. We consider an elliptic difference equation $\sum_{i=0}^l a_i(p) f(p\oplus i.\delta)=0$ with $\oplus$ the elliptic addition law and $a_i$ polynomials on $\mathcal{C}$. We present an algorithm to compute rational solutions, then an intermediary class we call pseudo-rational solutions, and finally hyperexponential solutions, which are functions $f$ such that $f(p\oplus \delta)/f(p)$ is rational over $\mathcal{C}$., Comment: 19 pages

Consider a planar polynomial vector field $X$, and assume it admits a symbolic first integral $\mathcal{F}$, i.e. of the $4$ classes, in growing complexity: Rational, Darbouxian, Liouvillian and Riccati. If $\mathcal{F}$ is not rational, it is sometimes possible to reduce it to a simpler class first integral. We will present algorithms to reduce symbolic first integral to a lower complexity class. These algorithms allow to find the minimal class first integral and in particular to test the existence of a rational first integral except in the case where $\mathcal{F}$ is a $k$-Darbouxian first integral without singularities and $k\in\{2,3,4,6\}$. In this case, several examples are built and a procedure is presented which however requires the computation of elliptic factors in the Jacobian of a superelliptic curve., Comment: 41 pages, 27 references

Consider a superelliptic integral $I=\int P/(Q S^{1/k}) dx$ with $\mathbb{K}=\mathbb{Q}(\xi)$, $\xi$ a primitive $k$th root of unity, $P,Q,S\in\mathbb{K}[x]$ and $S$ has simple roots and degree coprime with $k$. Note $d$ the maximum of the degree of $P,Q,S$, $h$ the logarithmic height of the coefficients and $g$ the genus of $y^k-S(x)$. We present an algorithm which solves the elementary integration problem of $I$ generically in $O((kd)^{\omega+2g+1} h^{g+1})$ operations.

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$ transcendental. We prove using Schanuel conjecture that there exist a univariate function $f$ and multivariate rational functions $F,R$ such that $\int H\omega= f(F(x))+H(x)R(x)$. We present an algorithm to compute this decomposition. This allows us to present an algorithm to construct a basis of the cohomology of differential $1$-forms with coefficients in $H\mathbb{K}[x,1/(SD)]$ for a given $H$, $D$ being the denominator of $dH/H$ and $S\in\mathbb{K}[x]$ a square free polynomial. As an application, we generalize a result of Singer on differential equations on the plane: whenever it admits a Liouvillian first integral $I$ but no Darbouxian first integral, our algorithm gives a rational variable change linearising the system., Comment: 8 pages

Let $L$ be a $4$th order differential operator with coefficients in $\mathbb{K}(z)$, with $\mathbb{K}$ a computable algebraically closed field. The operator $L$ is called symplectic when up to rational gauge transformation, the fundamental matrix of solutions $X$ satisfies $X^t J X=J$ where $J$ is the standard symplectic matrix. It is called projectively symplectic when it is projectively equivalent to a symplectic operator. We design an algorithm to test if $L$ is projectively symplectic. Furthermore, based on Kovacic's algorithm, we design an algorithm that computes Liouvillian solutions of projectively symplectic operators of order $4$. Moreover, using Klein's Theorem, algebraic solutions are given as pullbacks of standard hypergeometric equations., Comment: 8 pages

We prove that the minimum-time controlled Kepler problem is not Liouville integrable in the class of meromorphic functions, via the Moral\`es-Ramis theory., Comment: 14 pages

In this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian or Riccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and deterministic algorithms. The arithmetic complexity of our probabilistic algorithm is in $\tilde{\mathcal{O}}(N^{\omega+1})$, where $N$ is the bound on the degree of a representation of the first integral and $\omega \in [2;3]$ is the exponent of linear algebra. This result improves previous algorithms. Our algorithms have been implemented in Maple and are available on authors' websites. In the last section, we give some examples showing the efficiency of these algorithms.

Let us consider a vector field $X$ meromorphic on a neighbourhood of an algebraic curve $\bar{\Gamma}\subset \mathbb{P}^n$ such that $\Gamma$ is a particular solution of $X$. The vector field $X$ is $(l,n-l)$ integrable if it there exists $Y_1,\dots,Y_{l-1},X$ vector fields commuting pairwise, and $F_1,\dots,F_{n-l}$ common first integrals. The Ayoul-Zung Theorem gives necessary conditions in terms of Galois groups for meromorphic integrability of $X$ in a neighbourhood of $\Gamma$. Conversely, if these conditions are satisfied, we prove that if the first normal variational equation $NVE_1$ has a virtually diagonal monodromy group $Mon(NVE_1)$ with non resonance and Diophantine properties, $X$ is meromorphically integrable on a finite covering of a neighbourhood of $\Gamma$. We then prove the same relaxing the non resonance condition but adding an additional Galoisian condition, which in fine is implied by the previous non resonance hypothesis. Using the same strategy, we then prove a linearisability result near $0$ for a time dependant vector field $X$ with $X(0)=0\;\forall t$., Comment: 33 pages

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 this condition to prove that a real trigonometric polynomial potential is integrable if and only if it separates up to rotation of the coordinates. Removing the real condition, we also make a classification of integrable potentials in dimension $2$ and $3$, and recover several integrable cases. These potentials after a complex variable change become real, and correspond to generalized Toda integrable potentials. Moreover, along the proof, some of them with high degree first integrals are explicitly integrated., Comment: 29 pages

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 rigid functions, built as Liouvillian functions, but containing all solutions of rigid differential operators in the sense of Katz, and a notion of natural boundary conditions. We then make a complete classification of rational integrable potentials. Many new integrable cases are found, some of them physically interesting., Comment: 56 pages, 2 figures

We prove the non integrability of the colinear $3$ and $4$ body problem, for any masses positive masses. To deal with resistant cases, we present strong integrability criterions for $3$ dimensional homogeneous potentials of degree $-1$, and prove that such cases cannot appear in the $4$ body problem. Following the same strategy, we present a simple proof of non integrability for the planar $n$ body problem. Eventually, we present some integrable cases of the $n$ body problem restricted to some invariant vector spaces., Comment: 28 pages, 11 figures, 19 references

Let $V\in\mathbb{Q}(i)(\a_1,\dots,\a_n)(\q_1,\q_2)$ be a rationally parametrized planar homogeneous potential of homogeneity degree $k\neq -2, 0, 2$. We design an algorithm that computes polynomial \emph{necessary} conditions on the parameters $(\a_1,\dots,\a_n)$ such that the dynamical system associated to the potential $V$ is integrable. These conditions originate from those of the Morales-Ramis-Sim\'o integrability criterion near all Darboux points. The implementation of the algorithm allows to treat applications that were out of reach before, for instance concerning the non-integrability of polynomial potentials up to degree $9$. Another striking application is the first complete proof of the non-integrability of the \emph{collinear three body problem}., Comment: ISSAC'14 - International Symposium on Symbolic and Algebraic Computation (2014)

We prove that the only meromorphically integrable planar homogeneous potential of degree k <> -2,0,2 having a multiple Darboux point is the potential invariant by rotation. This case is a singular case of the Maciejewski-Przybylska relation on eigenvalues at Darboux points of homogeneous potentials, and needed before a case by case special analysis. The most striking application of this Theorem is the complete classification of integrable real analytic homogeneous potentials in the plane of negative degree., Comment: 22 pages

We present various properties of algebraic potentials, and then prove that some Morales-Ramis theorems readily apply for such potentials even if they are not in general meromorphic potentials. This allows in particular to precise some non-integrability proofs in celestial mechanics, where the mutual distances between the bodies appear in the potentials, and thus making this analysis unavoidable., Comment: 8 pages

We prove that the motion of a triaxial Riemann ellipsoid of homogeneous liquid without angular momentum does not possess an additional first integral which is meromorphic in position, impulsions, and the elliptic functions which appear in the potential, and thus is not integrable. We prove moreover that this system is not integrable even on a fixed energy level hypersurface., Comment: 14 pages, 8 references

We prove an integrability criterion and a partial integrability criterion for homogeneous potentials of degree -1 which are invariant by rotation. We then apply it to the proof of the meromorphic non-integrability of the n body problem with Newtonian interaction in the plane on a surface of equation $(H,C)=(H_0,C_0)$ with $(H_0,C_0) \neq (0,0)$ where C is the angular momentum and H the energy, in the case where the n masses are equal., Comment: 30 pages, 14 references

We prove an integrability criterion of order 3 for a homogeneous potential of degree -1 in the plane. Still, this criterion depends on some integer and it is impossible to apply it directly except for families of potentials whose eigenvalues are bounded. To address this issue, we use holonomic and asymptotic computations with error control of this criterion and apply it to the potential of the form V(r,\theta)=r^{-1} h(\exp(i\theta)) with h a polynomial of degree less than 3. We find then all meromorphically integrable potentials of this form., Comment: 37 pages, 2 figures; Journal of Mathematical Physics 2012, Volume 53, Issue 8

We give a complete classification of meromorphically integrable homogeneous potentials $V$ of degree $-1$ which are real analytic on $\mathbb{R}^2\setminus \{0\}$. In the more general case when $V$ is only meromorphic on an open set of an algebraic variety, we give a classification of all integrable potentials having a Darboux point $c$ with $V'(c)=-c,\; c_1^2+c_2^2\neq 0$ and $\hbox{Sp}(\nabla^2 V(c)) \subset\{-1,0,2\}$. We eventually present a conjecture for the other eigenvalues and the degenerate Darboux point case $V'(c)=0$., Comment: 40 pages, 42 references

We prove a meromorphic integrability condition at order 2 near a homothetic orbit for a meromorphic homogeneous potential of degree -1, which extend the Morales Ramis conditions of order 1. Conversely, we prove that if this criterion is satisfied, then the Galois group of second order variational equation is abelian and we compute explicitly the Galois group and the Picard-Vessiot extension., Comment: 30 pages, 2 figures, 10 references