Global branching of solutions to ODEs and integrability
Rod Halburd
TL;DR
This work introduces and develops the algebro-Painlevé property, a generalization of the Painlevé property that allows finite branching when analytic continuation is performed on paths avoiding fixed singularities. It provides a complete classification of autonomous first-order ODEs with this property and derives necessary structural conditions for a broad second-order class with rational dependence on the dependent variable. Applying these tools to the Lane-Emden equation with index $n$, the authors prove that the algebro-Painlevé property holds precisely for $n\in\{0,1,5\}$, using a generalized alpha-test and a careful analysis of movable singularities. The results offer a robust framework for identifying integrable cases, linking to Riccati reductions, elliptic-function representations, and known integrable reductions such as the Takasaki system, and provide general structural theorems for a wide second-order family $w''=L(z,w)(w')^2+M(z,w)w'+N(z,w)$.
Abstract
We consider a natural generalisation of the Painlevé property and use it to identify the known integrable cases of the Lane-Emden equation with a real positive index. We classify certain first-order ordinary differential equations with this property and find necessary conditions for a large family of second-order equations. We consider ODEs such that, given any simply connected domain $Ω$ not containing fixed singularities of the equation, the Riemann surface of any solution obtained by analytic continuation along curves in $Ω$ has a finite number of sheets over $Ω$.
