asymptotic expansion, Cauchy problem, formal power series, Gevrey estimates, Borel summability, linear partial differential equation