Convergence of Normal Form Power Series for Infinite-Dimensional Lie Pseudo-Group Actions

Peter J. Olver, Masoud Sabzevari, Francis Valiquette

We prove the convergence of normal form power series for suitably nonsingular analytic submanifolds under a broad class of infinite-dimensional Lie pseudo-group actions. Our theore…