A Cauchy-kovalevskaja Type Theorem in The Gevrey Class with A Vector-Valued Time Variable (Q4030399)

The author extends a result of Cauchy-Kowalevskij type for a vector- valued time variable within the class of holomorphic functions in space variable [Funkc. Ekvacioj, Ser. Int. 24, 211-246 (1981; Zbl 0476.35004)] to a similar result within the class of Gevrey type functions. He studies thus equations of the form \[ \partial_ t^ p u(x,t)= f\bigl( \{\partial_ x^ j \partial_ t^ k u(x,t) \}_{\lambda j+k\leq p, 0\leq k<p}, x,t\bigr), \] where \(\lambda>1\), \(p\geq 2\) a natural number, \(u(x,t)\) an \(E\)-valued function with \(x\in X\), \(t\in T\), with \(X\), \(E\), \(T\) real Banach spaces and null initial conditions. The author uses a combination of Nagumo's method and Wagschal's [\textit{C. Wagschal}, J. Math. Pures Appl., IX. Sér. 58, 309-337 (1979; Zbl 0427.35021)], which allows to transform the initial value problem into an equation involving a contraction mapping without reducing it to a quasilinear system. Moreover, instead of using formal series, the author uses a higher order chain rule [\textit{T. Yamanaka}, Ann. Global Anal. Geom. 7, No. 3, 179-203 (1989; Zbl 0719.58002)]. Concerning the functions \(f\), the author requires that it should be twice differentiable in \(t\), and this is necessary for some explicit complete integrability conditions. Under milder assumptions the same problem was studied also by \textit{M. Koike} [Funkc. Ekvacioj, Ser. Int. 32, No. 1, 1-22 (1989; Zbl 0694.35004)]. The author points out, however, that his integrability conditions are much more easily verifiable, as Koike's and the proof he gives is much more simple than Koike's.