Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118)

This article is concerned with polynomial expansions of local unstable manifolds attached to equilibrium solutions of parabolic partial differential equations. The approach relies on an infinitesimal invariance equation and recovers the dynamics on the manifold in addition to its embedding. Using a Newton scheme on the space of formal Fourier-Taylor series, the invariance equation can be solved to any order in space and time. Under mild non-resonance conditions it is shown that the formal series converge in some small neighborhood of the equilibrium. An a-posteriori computer assisted argument is given which provides mathematically rigorous convergence proofs in explicit and much larger neighborhoods. Several worked out examples are included.