 Coefficient Banach space for normalized even maps

Fix $R>1$ and write $h(z)={\sum }_{n\ge 0}{h}_n((z-1)/R{)}^n$ with absolutely summable real coefficients. The coefficient space is a Banach space under $\Vert h\Vert ={\sum }_n|h_n|$. The normalized even maps $p(x)=1-x^{2}h(x^2)$ form an affine copy of that space and are analytic where $|x^2-1|<R$. On any smaller coefficient disk, the tail beyond degree $N$ is bounded by $q^{N+1}{\sum }_{n>N}|h_n|$ for a radius ratio $q<1$. Analytic composition and Cauchy estimates on smaller domains permit certified derivative and truncation bounds. A small ball about an admissible map must additionally preserve the quadratic critical maximum and restrictive-interval conditions; the coefficient norm alone does not impose them.

// Target: banach-space.bigb