A Picard-Maclaurin theorem for initial value PDEs (Q5936450)

The authors extend their result for the ODE \(y'=F\circ y; \quad y(0)=x\) To PDEs. It was proved for the ODE that if \(F\) is a polynomial from \(\mathbb{R}^n \to \mathbb{R}^n \), then the \(k\)-th Picard iteration defined by \[ p_k(t)=x+\int_0^tF\circ p_{k-1}, \quad p_1(t)=x \] is the \((k-1)\)-st degree Maclaurin polynomial plus a polynomial all of those terms have degree greater than \(k-1\). In the paper for PDE one component is designated by analogy to ODE. The generator, supposed to be polynomial and autonomous with respect to this component and no partial derivatives with respect to this component, can appear in the domain of the generator. The initial conditions are given in the designated component at zero and are analytic in the nondesignated components. It is shown that the power series solution of the Cauchy problem for a such PDE (existed by the Cauchy theorem) can be generated to arbitrary degree by Picard iteration. Some examples are given.