Rigorous analytical approximation of tritronquée solution to Painlevé-I and the first singularity (Q305407)

The Painlevé \(I\) is the following non-linear ordinary differential equation \[ Y''+6Y^2-x=0. \] It has a unique solution with the following asymptotic behavior \[ Y=\sqrt{\frac{x}{6}}(1+O(x^{-5/8})),\quad x\rightarrow +\infty \] This solution is called the tritronquee solution. The main purposes of the paper are the following: -- to determine rigorous error bounds for the location of the first singularity for the tritronquée solution to Painlevé \(I\) equation, -- to obtain rigorous error bounds on approximate analytical expression for the solution in different parts of the complex plane. In particular, the authors ``rigorously confirm the location of the closest singularity from the origin to be at \(x =-\frac{770766}{323285}=-2.3841687675\)'' to within \(5\times 10^{-6}\) accuracy, in agreement with previous numerical calculations.