 Functional Taylor expansion

Let $S$ be a Fréchet differentiable functional on a Banach space. Its first-order expansion isfor fixed $f$ as $\eta \to 0$. Differentiability alone gives this little-o remainder; it does not imply the $O({\eta }^2)$ remainder displayed in the usual second-order-bounded form.

For that stronger bound, suppose the derivative is locally Lipschitz in operator norm with constant $L$. The fundamental theorem of calculus along the line segment givesso the remainder has magnitude at most $L\Vert h{\Vert }^2/2$. A locally bounded continuous second Fréchet derivative is a sufficient hypothesis. Where a functional derivative represents $D{S}_{\varphi }[f]$ by an integral, the corresponding coefficient is $\int f\delta S/\delta \varphi$.

Taking $h=-\eta f$ therefore produces the linear change $-\eta \int f\delta S/\delta \varphi$. That is the cancellation used in the equivalence theorem for field redefinitions. The functional Jacobian and transformed operator insertions still need consistent treatment; the Taylor estimate is a statement about the specified function space and admissible deformation.