Faà di Bruno is Taylor Composition
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.26133
curl -X POST /api/v1/records/arxiv/2606.26133/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.26133/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'