Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Industries Finance Tax

Home > Faà di Bruno's formula


1 The formula

Faà di Bruno's formula is an identity in mathematics generalizing the chain rule to higher derivatives, named in honor of Francesco Faà di Bruno (1825–1888), who was (in chronological order) a military officer, a mathematician, and a priest, and was (posthumously, of course), beatified by the Pope. It can be stated in a general and perhaps initially forbidding form thus:

where

2 Explication via an example

This may initially seem forbidding, so let us examine a concrete case, and see what the pattern is:

What is the pattern?


The factor g ′′ (x) g′ (x)2 corresponds to the partition 2 + 1 + 1 of the integer 4, in the obvious way. The factor f ′′′(x) that goes with it corresponds to the fact that there are three summands in that partition. The coefficient 6 that goes with those factors corresponds to the fact that there are exactly six partitions of a set of four members that break it into one part of size 2 and two parts of size 1.

Similarly for the other terms. That is the pattern.

3 Formal power series version

In the formal power series

regardless of the bounds of summation (i.e. regardless of whether k runs from 0 to ∞ or from 1 to ∞, etc.), we have the nth derivative at 0:

This should not be construed as the value of a function, since these series are purely formal; there is no such thing as convergence or divergence in this context.

If

and

and

then the coefficient cn (which would be the nth derivative of h evaluated at 0 if we were dealing with convergent series rather than formal power series) is given by

where π runs through the set of all partitions of the set { 1, ..., n } and B1, ..., Bk are the blocks of the partition π, and | Bj | is the number of members of the jth block, for j = 1, ..., k.

This version of the formula is particularly well suited to the purposes of combinatorics. See the "compositional formula" in Chapter 5 of Enumerative Combinatorics, Volumes 1 and 2, Richard P. Stanley, Cambridge University Press, 1997 and 1999, BooksEnthsiast.com.

4 A special case

If f(x) = ex then all of the derivatives of f are the same, and are a factor common to every term. In case g(x) is a cumulant-generating function, then f(g(x))) is a moment-generating function, and the polynomial in various derivatives of g is the polynomial that expresses the moments as functions of the cumulants.

5 The Faà di Bruno coefficients

These partition-counting Faà di Bruno coefficients have a "closed-form" expression. The number of partitions of a set of size n corresponding to the integer partition

of the integer n is equal to

These coefficients also arise in the Bell polynomials, which are relevant to the study of cumulants.





Non User