Related papers: Faa di Bruno's formula for chain differentials
We derive some formulas that rule the behaviour of finite differences under composition of functions with vector values and arguments.
We give yet another proof for Fa\`{a} di Bruno's formula for higher derivatives of composite functions. Our proof technique relies on reinterpreting the composition of two power series as the generating function for weighted integer…
We establish the Fa\`a di Bruno formula, in the sense of almost everywhere equality, for derivatives of the composed function $f \circ g$, for all function $f : R \rightarrow R$ such that $f$ acts on $W^m_p(R^n)$ by composition, and all $g…
It is well-known that the coefficients in Faa di Bruno's chain rule for higher derivatives can be expressed via numeration of partitions. It turns out that this has a natural form as a formula for the vector case. To this formula two proofs…
Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical framework, where one of the primary axioms is the reverse chain…
Fa\`a di Bruno's formula gives an expression for the derivatives of the composition of two real-valued functions. In this paper we prove a multivariate and synthesized version of Fa\`a di Bruno's formula in higher dimensions, providing a…
This paper summarizes the core definitions and results regarding the chain differential for functions in locally convex topological vector spaces. In addition, it provides a few elementary calculus rules of practical interest, notably for…
The natural forms of the Leibniz rule for the $k$th derivative of a product and of Fa\`a di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than…
Given two real functions on the real line f and g, the Faa di Bruno provides the higher order derivative of the composition of f and g, as a summation over the lower order derivatives of f and g individually. The corresponding…
Let $X$ be a perfect, compact subset of the complex plane, and let $D^{(1)}(X)$ denote the (complex) algebra of continuously complex-differentiable functions on $X$. Then $D^{(1)}(X)$ is a normed algebra of functions but, in some cases,…
We obtain a differential equation for the enumeration of the path length of general increasing trees. By using differential operators and their combinatorial interpretation we give a bijective proof of a version of Fa\`a di Bruno formula,…
We provide a novel representation of the total n-th derivative of the multivariate composite function $f \circ g$, i.e. a generalized Fa\`a di Bruno's formula. To this end, we make use of properties of the Kronecker product and the n-th…
About 160 years ago, the Italian mathematician Fa\`a di Bruno published two notes dealing about the now eponymous formula giving the derivative of any order of a composition of two functions. We reproduce here the two original notes, Fa\`a…
How do we take repeated derivatives of composed multivariate functions? for one-dimensional functions, the common tools consist of the Fa\'a di Bruno formula with Bell polynomials; while there are extensions of the Fa\'a di Bruno formula,…
We extend the multivariate Fa\`{a} di Bruno formula to the super case, where anticommuting odd coordinates are considered. The formula takes the same form as the classical case but contains some nontrivial signs, which essentially measure…
The symmetric function theorem states that a polynomial that is invariant under permutation of variables, is a polynomial in the elementary symmetric polynomials. We deduce this classical result, in the analytic setting, from the…
High-order derivatives of nested functions of a single variable can be computed with the celebrated Fa\`a di Bruno's formula. Although generalizations of such formula to multiple variables exist, their combinatorial nature generates an…
The Fa\`a di Bruno construction, introduced by Cockett and Seely, constructs a comonad $\mathsf{Fa{\grave{a}}}$ whose coalgebras are precisely Cartesian differential categories. In other words, for a Cartesian left additive category…
We revisit several partition-theoretic generating functions, including the theta quotients from Ramanujan's lost notebook, MacMahon's partition functions, and reciprocal sums of parts in partitions, through the lens of the classical Fa\`{a}…
We give complete and exact descriptions of spaces of ultradifferentiable functions that are closed under composition with either holomorphic or ultradifferentiable functions -- which are two distinct cases. The proof works by considering…