Exact asymptotics of nonlinear difference equations with levels 1 and \(1^{ + }\) (Q1000295)

The paper deals with summability of formal power series solutions of some nonlinear difference equations with complex valued argument; these series define asymptotically some analytic solutions of the equations. The paper starts from two simple linear model problems namely the equation \[ y(z+1) - ay(z) = b/z\quad,\quad a,b\in C^*\;,\;a\neq 1 \] whose solutions have the so-called have 1-Gevrey asymptotics which is not 1-(i.e. Borel) summable, the equation \[ y(z+1) - (a/z)y(z) = b/z\quad,\quad a,b\in C^* \] whose solutions have the so-called \(1^+\) Gevrey asymptotics, and their combination \[ y_1(z+1)-a_1y_1(z) = b_1/z\quad,\quad a_1,b_1\in C^*\;,\;a_1\neq 1 \] \[ y_2(z+1)-(a_2/z)y_1(z) = b_2/z\quad,\quad a_2,b_2\in C^*. \] The paper extends the results to systems nonlinear of difference equations and lifts the restrictive condition on the singular directions of level 1; the following equation is considered \[ \varphi(z,y(z),y(z+1)) = 0 \] with \(\varphi\) - a \(C^n\)-valued function analytic in a neighborhood of \((\infty,y_0,y_0)\), \(y_0\in C^n\).