{"id":"arxiv/2606.26133","url":"https://arxiv.org/abs/2606.26133","tags":["math.GM"],"score":0,"title":"Faà di Bruno is Taylor Composition","domain":"math.GM","source":"arxiv","authors":["Heinrich Hartmann"],"reviews":0,"subject":"math.GM","summary":"We approach Faà di Bruno as a composition theorem for Taylor polynomials. For $C^k$ maps $φ: E \\to F$ and $ψ: F \\to G$ between Banach spaces, let $T^k_\\ast(φ; x)$ denote the reduced Taylor polynomial of $φ$ at $x$, obtained by removing the constant term. We show that $$T^k_\\ast(ψ\\circ φ; x) = π_{\\le k}\\bigl(T^k_\\ast(ψ; φ(x)) \\circ T^k_\\ast(φ; x)\\bigr).$$ The proof is an elementary estimate of the Peano remainder and does not use partitions or combinatorial enumeration. Expanding this composition identity recovers the classical Faà di Bruno formulas. Polarization gives the multivariate…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-18","reactions":{}}