We use the Galerkin averaging method to construct a coordinate transformation putting a nonlinear PDE in Poincaré normal form up to finite order. We also give a rigorous estimate of the remainder showing that it is small as a differential operator of very high order. The abstract theorem is then applied to a quasilinear wave equation, to the water wave problem and to a nonlinear heat equation. The normal form is then used to construct approximate solutions whose difference from true solutions is...

We consider the cubic defocusing nonlinear Schrödinger equation in the two dimensional torus. Fix $s>1$. Recently Colliander, Keel, Staffilani, Tao and Takaoka proved the existence of solutions with $s$-Sobolev norm growing in time. We establish the existence of solutions with polynomial time estimates. More exactly, there is $c>0$ such that for any $𝒦\gg 1$ we find a solution $u$ and a time $T$ such that ${\parallel u\left(T\right)\parallel }_{H^s}\ge 𝒦{\parallel u\left(0\right)\parallel }_{H^s}$. Moreover, the time $T$ satisfies the polynomial bound $0<T<{𝒦}^C$.