0000000000395537
AUTHOR
Thierry Combot
Integrability of the one dimensional Schrödinger 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.
Integrability and Non Integrability of Some n Body Problems
International audience; We prove the non integrability of the colinear 3 and 4 body problem, for any 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.
Bi-homogeneity and integrability of rational potentials
Abstract In this paper we consider natural Hamiltonian systems with two degrees of freedom for which Hamiltonian function has the form H = 1 2 ( p 1 2 + p 2 2 ) + V ( q 1 , q 2 ) and potential V ( q 1 , q 2 ) is a rational function. Necessary conditions for the integrability of such systems are deduced from integrability of dominate term of the potential which usually is appropriately chosen homogeneous term of V. We show that introducing weights compatible with the canonical structure one can find new dominant terms which can give new necessary conditions for integrability. To deduce them we investigate integrability of a family of bi-homogeneous potentials which depend on two integer para…
Elementary Integration of Superelliptic Integrals
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.
A Symplectic Kovacic's Algorithm in Dimension 4
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 solution…
Symbolic integration of hyperexponential 1-forms
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…
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.