Existence of solutions with asymptotic expansion of linear partial differential equations in the complex domain (Q1884458)

The author considers a linear partial differential operator in the complex domain \[ P(z, D_z)= \sum_{|\alpha|\leq m} c_\alpha(z)\,D^\alpha_z, \] with holomorphic coefficients in a neighborhood of \(z= 0\). Split \(z= (z_1, z')\) with \(z'= (z_2,\dots, z_n)\). A local solvability result for holomorphic solutions to the equation \((P(z, D_z) u=f\) in a sectorial region is proved. Namely: suppose that \(f(z)\sim \sum_{j=0} f_j(z')z^j_1\); then a solution \(u(z)\sim \sum^\infty_{j=0} u_j(z') z^j_1\) exists, and the asymptotic expansions of \(f(z)\) and \(u(z)\) are of the same Gevrey type. The admissible Gevrey orders are exactly determined in terms of the characteristic polygon associated to \(P(z, D_z)\).