Source author record

Thierry Combot

Thierry Combot appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DS nlin.SI math-ph math.AG math.MP Symbolic Computation

Catalog footprint

What is connected

10works

6topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

Elementary Integration of Superelliptic Integrals

Consider a superelliptic integral $I=\int P/(Q S^{1/k}) dx$ with $\mathbb{K}=\mathbb{Q}(ξ)$, $ξ$ 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)^{ω+2g+1} h^{g+1})$ operations.

preprint2016arXiv

Integrability of the one dimensional Schroedinger equation

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.

preprint2015arXiv

Integrability and non integrability of some n body problems

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.

preprint2015arXiv

Integrable homogeneous potentials of degree $-1$ in the plane with small eigenvalues

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$.

preprint2014arXiv

Computing necessary integrability conditions for planar parametrized homogeneous potentials

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ó 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}.

preprint2013arXiv

Meromorphically integrable homogeneous potentials with multiple Darboux points

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.

preprint2012arXiv

A note on algebraic potentials and Morales-Ramis theory

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.

preprint2012arXiv

Third order integrability conditions for homogeneous potentials of degree -1

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,θ)=r^{-1} h(\exp(iθ)) with h a polynomial of degree less than 3. We find then all meromorphically integrable potentials of this form.

preprint2011arXiv

Integrability conditions at order 2 for homogeneous potentials of degree -1

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.