Connection formulae for the first Painlevé transcendent in the complex domain (Q1801350): Difference between revisions

The authors study the first Painlevé equation (1) \(y''=6y^ 2+x\) and the auxiliary linear ordinary differential equation \[ {d \psi \over d\lambda}= \left\{(4\lambda^ 2+x+2y^ 2) \sigma_ 3-i(4y \lambda^ 2+x+2y^ 2)\sigma_ 2- \left(2y'\lambda+{1 \over 2\lambda} \right) \sigma_ 1\right\} \psi. \tag{2} \] They then go on using the isomonodrome deformation method to find a complete asymptotic descriptions of the first Painlevé transcendent in the complex domain by relating equations (1) and (2). The starting point is a result due to M. Jimbo and T. Mirva, whereby an analytic function \(y(x)\) is a solution of equation (1) if and only if the monodromy data of equation (2) do not depend on \(x\). The authors then explore this relationship using the Stokes multipliers \(s_ k\). A very elegant treatment is then presented whereby asymptotic descriptions are presented for the solutions of the equation (1) connecting to the Stokes multiplier constraints in sectors of the complex plane. Several theorems are proven such as if \(y(x)\) is a solution of (1) subject to Stokes multiplier constraints \(s_{5- 2\ell}=0\), then in the sector \(\Omega_ \ell:{3\pi\over 5}+{2\pi\over 5}\ell<\varphi=\text{arg} x<{7\pi\over 5}+{2\pi\over 5}\ell\), \(\ell=0\), \(\pm 1,\dots\), the solution \(y(x)\) has asymptotics \[ y(x)=\mu\sum^ \infty_{n=0}a_ nu^{-sn}+{\mathcal O}(u^{-\infty})\text{ where } u=| x/6|^{1/2}\exp \left[i \left({\varphi-\pi \over 2}-\pi \ell \right)\right]\text{ as } | x|\to\infty\text{ in } \Omega_ \ell. \]