We study the convergence or divergence of formal (power series) solutions of first order nonlinear partial differential equations    (SE) f(x,u,Dx u) = 0 with u(0)=0. Here the function f(x,u,ξ) is defined and holomorphic in a neighbourhood of a point $(0,0,{\xi }^0)\in {ℂ}_x^n\times {ℂ}_u\times {ℂ}_{\xi }^n({\xi }^0=D_{x}u\left(0\right))$ and $f(0,0,{\xi }^0)=0$. The equation (SE) is said to be singular if f(0,0,ξ) ≡ 0 $\left(\xi \in {ℂ}^n\right)$. The criterion of convergence of a formal solution $u\left(x\right)={\sum }_{\left|\alpha \right|\ge 1}{u}_{\alpha }{x}^{\alpha }$ of (SE) is given by a generalized form of the Poincaré condition which depends on each formal solution. In the case where the formal...

We study convergence of formal power series along families of formal or analytic vector fields. One of our results says that if a formal power series converges along a family of vector fields, then it also converges along their commutators. Using this theorem and a result of T. Morimoto, we prove analyticity of formal solutions for a class of nonlinear singular PDEs. In the proofs we use results from control theory.