Gevrey regularity of the solutions of some inhomogeneous semilinear partial differential equations with variable coefficients (Q6103785)

The work deals with the formal solutions in \(t\) variable of the partial differential equation \[ \partial_t^{\kappa}u-t^{\nu}a(t,x)\partial_x^pu-b(t,x)u^m=\tilde{f}(t,x), \] under initial data \[ \partial_t^ju(t,x)|_{t=0}=\varphi_j(x),\quad j=0,\dots,\kappa-1. \] Here, \(a,b\) are holomorphic on some neighborhood of \((0,0)\in\mathbb{C}^2\), \(\kappa,p\ge1\), \(m\ge2\) and \(\nu\) are non-negative integers, and \(\tilde{f}\) is a formal power series in \(t\) with holomorphic coefficients on some neighborhood of the origin. The initial conditions are also assumed to be homomorphic near the origin. The main result (Theorem 2) states the Gevrey regularity of the formal solution (in \(t\) variable) in terms of the Newton polygon associated to the main equation. Indeed, the author proves that both, the formal solution and \(\tilde{f}\) share their Gevrey regularity whenever a bound is overcome. That limiting positive number determines Gevrey regularity of all formal solutions whenever the forcing term \(\tilde{f}\) shows a smaller Gevrey regularity. The technique in which the main result rests in that of the application of Nagumo norms to the equation.