English

Nonlinear Stokes phenomena in first or second order differential equations

Classical Analysis and ODEs 2007-05-23 v1

Abstract

We study singularity formation in nonlinear differential equations of order m2m\leqslant 2, y(m)=A(x1,y)y^{(m)}=A(x^{-1},y). We assume AA is analytic at (0,0)(0,0) and yA(0,0)=λ0\partial_y A(0,0)=\lambda\ne 0 (say, λ=(1)m\lambda=(-1)^m). If m=1m=1 we assume A(0,)A(0,\cdot) is meromorphic and nonlinear. If m=2m=2, we assume A(0,)A(0,\cdot) is analytic except for isolated singularities, and also that s0Φ(s)1/2ds<\int_{s_0}^\infty |\Phi(s)|^{-1/2}d|s|<\infty along some path avoiding the zeros and singularities of Φ\Phi, where Φ(s)=0sA(0,τ)dτ\Phi(s)=\int_{0}^s A(0,\tau)d\tau. Let Hα={z:z>a>0,arg(z)(α,α)}H_{\alpha}=\{z:|z|>a>0,\arg(z)\in (-\alpha,\alpha)\}. If the Stokes constant S+S^+ associated to \RR+\RR^+ is nonzero, we show that all yy such that limx+y(x)=0\lim_{x\to +\infty}y(x)=0 are singular at 2πi2\pi i-quasiperiodic arrays of points near i\RR+i\RR^+. The array location determines and is determined by S+S^+. Such settings include the Painlev\'e equations PIP_I and PIIP_{II}. If S+=0S^+=0, then there is exactly one solution y0y_0 without singularities in H2πϵH_{2\pi-\epsilon}, and y0y_0 is entire iff y0=A(z,0)0y_0=A(z,0)\equiv 0. The singularities of y(x)y(x) mirror the singularities of the Borel transform of its asymptotic expansion, By~\mathcal{B}\tilde{y}, a nonlinear analog of Stokes phenomena. If m=1m=1 and AA is a nonlinear polynomial with A(z,0)≢0A(z,0)\not\equiv 0 a similar conclusion holds even if A(0,)A(0,\cdot) is linear. This follows from the property that if ff is superexponentially small along \RR+\RR^+ and analytic in HπH_{\pi}, then ff is superexponentially unbounded in HπH_{\pi}, a consequence of decay estimates of Laplace transforms.

Keywords

Cite

@article{arxiv.math/0608303,
  title  = {Nonlinear Stokes phenomena in first or second order differential equations},
  author = {O. Costin},
  journal= {arXiv preprint arXiv:math/0608303},
  year   = {2007}
}