A note on non-Robba \(p\)-adic differential equations (Q2276092): Difference between revisions

Given a prime number \(p\), let \(\mathbb{Q}_p\) be the completion of the field of rational numbers for the \(p\)-adic absolute value and \(k\) the completion of the algebraic closure of \(\mathbb{Q}_p\). Let \(\Omega\) be an algebraically closed, complete extension of \(k\), such that \(|\Omega|= {\mathbb R}^{+}\) and \(\overline{\Omega}\) is a transcendental extension of \(\overline{k}\). Let \(\mathcal{A}\) be the ring of analytic functions on the annulus \(\{x\in\Omega: r_1<|x|<r_2\}\) with coefficients in \(k\). In [\textit{G. Christol} and \textit{B. Dwork}, Ann. Inst. Fourier 44, No. 3, 663--701 (1994; Zbl 0859.12004)] the generic convergence radius of a differential \(\mathcal{A}\)-module \(\mathcal{M}\) on the boundary of the disc \(\{|x|\leq r\}\), \(r\in[r_1,r_2]\), is defined and denoted \(R(\mathcal{M},r)\). Continuity of \(R(\mathcal{M},r)\) with respect to \(r\) is proved using Newton Polygon techniques. The graph of the map \(\rho\longrightarrow R(\mathcal{M},exp(\rho))\), \(\rho\in [s_1,s_2]\subset (r_1,r_2)\) is a concave polygon called the generic polygon of convergence of \(\mathcal{M}\), \textit{E. Pons}, [C. R. Acad. Sci., Paris, Sér. I, Math. 327, No. 1, 77--80 (1998; Zbl 0999.12011)]. In the paper under review, a differential \(\mathcal{A}\)-module \(\mathcal{M}\) (derivation \(\partial\)), with associated matrix \(G\) and non-Robba (\(R(\mathcal{M},r)<r, \forall r\in (r_1,r_2)\)) is considered. Assuming that its generic polygon of convergence has only one slope, it is proved that every solution of \(\mathcal{M}\) is analytic and bounded in the generic disk of a solution matrix of the system \(\partial X=GX\).