Formel von Faà di Bruno
Die Formel von Faà di Bruno ist eine Formel der Analysis, die vom italienischen Mathematiker Francesco Faà di Bruno 1855 und 1857 publiziert wurde.
Mit ihr lassen sich höhere Ableitungen von komponierten Funktionen bestimmen, sie verallgemeinert somit die Kettenregel und gehört zu den Ableitungsregeln der Differentialrechnung.
Formulierung
Sind <math>f</math> und <math>g</math> zwei <math>n</math>-mal differenzierbare Funktionen, die von einer Variablen abhängen und deren Komposition wohldefiniert ist, und ist <math>D</math> der Differentialoperator nach dieser Variablen, so gilt
- <math>D^n (f\circ g)=\sum_{(k_1,\,\ldots\,,k_n)\in T_n} \frac{n!}{k_1! \cdot \ \cdots \ \cdot k_n!}
\bigl(D^{k_1+\ldots+k_n} f\circ g\bigr)\, \prod_{m=1\atop k_m\ge1}^n \biggl(\frac{D^m g}{m!}\biggr)^{k_m}\,</math>.
Die Menge <math>T_n</math>, über die hier summiert wird, enthält alle <math>n</math>-Tupel <math>(k_1,\ \ldots\ ,k_n)\,</math> aus nichtnegativen, ganzen Zahlen mit <math>1k_1+2k_2+\cdots+nk_n=n\,</math>. Jedes solche Tupel lässt sich bijektiv auf eine Partition von <math>n</math> abbilden, in dem <math>i</math> als Summand <math>k_i</math>-mal vorkommt. Die Anzahl der Summanden ist daher die <math>n</math>-te Partitionszahl. Der Quotient der Fakultäten ist ein Multinomialkoeffizient.
Analogie zur Regel von Leibniz
So wie die Regel von Leibniz die Produktregel auf höhere Ableitungen verallgemeinert, so verallgemeinert die Formel von Faà di Bruno die Kettenregel auf höhere Ableitungen. Letztere Formel ist jedoch beweis- und rechentechnisch weitaus schwieriger.
Bei der Leibniz-Regel gibt es nur <math>n+1</math> Summanden, wohingegen bei der Faà di Brunoschen Formel mit der <math>n</math>-ten Partitionszahl <math>P(n)</math> deutlich mehr Summanden auftreten.
Aussehen bei kleiner Ableitungsordnung
Schreibt man die Formel für die ersten natürlichen Zahlen aus (oder benutzt Ketten- und Produktregel iterativ), so sieht man, dass die Ausdrücke schnell lang und unhandlich werden und die Koeffizienten nicht offensichtlich sind:
<math>\begin{align} D(f\circ g)&=\bigl(f'\circ g\bigr)\, g'\\ D^2(f\circ g)&=\bigl(f\circ g\bigr)\,(g')^2+\bigl(f'\circ g\bigr)\, g\\ D^3(f\circ g)&=\bigl(f\circ g\bigr)\,(g')^3 + 3\,\bigl(f\circ g\bigr)\,g'\,g + \bigl(f'\circ g\bigr)\,g\\ D^4(f\circ g)&=\bigl(f'\circ g\bigr)\,(g')^4 + 6\,\bigl(f\circ g\bigr)\,(g')^2\,g\\ &\quad+4\,\bigl(f\circ g\bigr) \,g'\,g+3\,\bigl(f\circ g\bigr)\,(g)^2+\bigl(f'\circ g\bigr)\,g'\\ D^5(f\circ g)&=\bigl(f\circ g\bigr)\,(g')^5 + 10\,\bigl(f'\circ g\bigr)\,(g')^3\,g\\ &\quad+10\,\bigl(f'\circ g\bigr) \,(g')^2\,g+15\,\bigl(f\circ g\bigr)\,g'\,(g)^2\\ &\quad+10\,\bigl(f\circ g\bigr)\,g\,g+5\,\bigl(f\circ g\bigr)\,g'\,g'+\bigl(f'\circ g\bigr)\,g \end{align}</math>
Weitere Ableitungen lassen sich mit Computeralgebrasystemen wie zum Beispiel Mathematica oder Maple ausrechnen.
Anwendung bei der Verkettung von Potenzreihen
Sind <math>f</math> und <math>g</math> zwei Potenzreihen
- <math>f(x) = \sum_{n=0}^\infty a_n (x-x_1)^n</math>
- <math>g(x) = \sum_{n=0}^\infty b_n (x-x_0)^n</math>
mit positiven Konvergenzradien und der Eigenschaft
- <math>g(x_0) = x_1</math>
Dann ist die Verkettung <math>f\circ g</math> beider Funktionen lokal wieder eine analytische Funktion und somit um <math>x_0</math> in eine Potenzreihe entwickelbar:
- <math>(f\circ g)(x) = \sum_{n=0}^\infty c_n (x-x_0)^n</math>
Nach dem Satz von Taylor gilt:
- <math>c_n = \frac{(f\circ g)^{(n)}(x_0)}{n!}</math>
Mit der Formel von Faà di Bruno kann man diesen Ausdruck nun in einer geschlossenen Formel in Abhängigkeit von den gegebenen Reihenkoeffizienten angeben, da:
- <math>
\begin{align} f^{(n)}(g(x_0)) &= f^{(n)}(x_1) \\ &= n!\cdot a_n \\ g^{(m)}(x_0) &= m!\cdot b_m \end{align} </math>
Man erhält mit Multiindex-Schreibweise:
- <math>
\begin{align} c_n &=\frac{(f\circ g)^{(n)}(x_0)}{n!} \\ &=\sum_{\boldsymbol{k}\in T_n} \frac{f^{(|\boldsymbol{k}|)}(g(x_0))}{\boldsymbol{k}!}
\prod_{m=1\atop k_m\ge1}^n \left(\frac{g^{(m)}(x_0)}{m!}\right)^{k_m} \\
&=\sum_{\boldsymbol{k}\in T_n} \frac{|\boldsymbol{k}|! \cdot a_{|\boldsymbol{k}|}}{\boldsymbol{k}!}
\prod_{m=1\atop k_m\ge1}^n \left(b_m\right)^{k_m}\\
&=\sum_{\boldsymbol{k}\in T_n} {{|\boldsymbol{k}|} \choose \boldsymbol{k}} \, a_{|\boldsymbol{k}|}
\prod_{ m=1\atop k_m\ge1}^n b_m^{k_m}
\end{align} </math> Dabei ist <math>{{|\boldsymbol{k}|} \choose \boldsymbol{k}}</math> der Multinomialkoeffizient zu <math>\boldsymbol{k}</math> und <math>T_{n}=\left\{ \boldsymbol{k}\in\mathbb{N}_{0}^{n} \, \Big| \, \sum_{j=1}^{n}j\cdot k_{j}=n\right\}</math> ist wieder die Menge aller Partition von <math>n</math> (siehe Partitionsfunktion).
Anwendungsbeispiel
Mit Hilfe der Formel lassen sich die Koeffizienten in der Laurent-Reihe der Gammafunktion in 0 symbolisch angeben. Mit der Funktionalgleichung und <math>\Gamma(1)=1</math> folgt
- <math>\Gamma(x)
=\frac{\Gamma(1+x)}x =\frac1x \sum_{n=0}^\infty \frac{D^n \Gamma(1)}{n!} x^n =\frac1x+\sum_{n=1}^\infty \frac{D^n \Gamma(1)}{n!} x^{n-1}</math>.
Dabei gilt nach Faà di Bruno für die <math>n</math>-te Ableitung der Gammafunktion an der Stelle <math>1</math>
- <math>\begin{align}
D^n\Gamma(1) &=D^n e^{\ln\Gamma(1)}\\ &=\sum_{(k_1,\dots,k_n)\in T_n} \frac{n!}{k_1!\cdots k_n!}\,\Gamma(1) \prod_{ m=1\atop k_m\ge1}^n \left(\frac{D^m\ln\Gamma(1)}{m!}\right)^{k_m}\\ &=\sum_{(k_1,\dots,k_n)\in T_n} \frac{n!}{k_1!\cdots k_n!}\,(-\gamma)^{k_1} \prod_{m=2\atop k_m\ge1}^n \left((-1)^m\, \frac{\zeta(m)}{m}\right)^{k_m}, \end{align}</math> wobei wie oben über die entsprechende Menge <math>T_n</math> von <math>n</math>-Tupeln summiert wird. Beim letzten Gleichheitszeichen sind die Ableitungen der Digamma-Funktion <math>\psi(z)=\tfrac{\Gamma'(z)}{\Gamma(z)}</math> benutzt, wobei <math>\gamma=-\psi(1)</math> die Euler-Mascheroni-Konstante und <math>\zeta</math> die Riemannsche Zetafunktion bezeichnet.