文摘
Given a Gs-involutive structure, , a Gevrey submanifold XM which is maximally real and a Gevrey function u0 on X we construct a Gevrey function u which extends u0 and is a Gevrey approximate solution for . We then use our construction to study Gevrey micro-local regularity of solutions, , of a system of nonlinear pdes of the form where Fj(x,ζ0,ζ) are Gevrey functions of order s>1 and holomorphic in . The functions Fj satisfy an involutive condition and dζF1dζFn≠0.