The formula of Faà di Bruno is a formula of analysis published by the Italian mathematician Francesco Faà di Bruno (1825–1888).
It can be used to determine higher derivatives of composed functions , it thus generalizes the chain rule and belongs to the
derivation rules of differential calculus .
If and are two- times differentiable functions, which depend on a variable and whose composition is well-defined, and if the differential operator is after this variable, then we have
The set that is summed over here contains all - tuples of non-negative , integers with . Each such tuple can be mapped bijectively on a partition of in which the summand Mal occurs. The number of summands is therefore the -th partition number . The quotient of the faculties is a multinomial coefficient .
Analogy to Leibniz's rule
Just as Leibniz 's rule generalizes the product rule to higher derivatives, so Faà di Bruno's formula generalizes the chain rule to higher derivatives. However, the latter formula is much more difficult in terms of evidence and computation.
In Leibniz's rule there are only summands, whereas in Faà di Bruno's formula with the -th partition number there are significantly more summands.
Appearance with a small order of derivation
If you write out the formula for the first natural numbers (or use chain and product rule iteratively), you can see that the expressions quickly become long and unwieldy and the coefficients are not obvious:
Further derivations can be calculated with computer algebra systems such as Mathematica or Maple .
Application when concatenating power series
Are and two power series
with positive radii of convergence and the property
Then the concatenation of both functions is locally again an analytic function and can therefore be developed into a power series:
According to Taylor's theorem:
With Faà di Bruno's formula, this expression can now be given in a closed formula depending on the given series coefficients, since:
With multi-index notation you get :
It is the multinomial to and is again the set of partition (see partition function ).
With the help of the formula, the coefficients in the Laurent series of the gamma function can be specified symbolically in 0. With the functional equation and follows
According to Faà di Bruno, the -th derivative of the gamma function at the point applies
where, as above, the corresponding set of tuples is added up. For the last equal sign, the derivatives of the digamma function are used, where the Euler-Mascheroni constant and the Riemann zeta function are used.