Mehrere Variablen/k fach stetig differenzierbar/Längs einer Geraden/Fakt/Beweis

Beweis

Wir zeigen durch Induktion über $k$ , dass

h^{(k)} (t) = \sum_{(i_{1}, \dots, i_{k}) \in {1, \dots, n}^{k}} D_{i_{k}} \dots D_{i_{1}} f (P + t v) \cdot v_{i_{1}} \dots v_{i_{k}}

gilt. Hier wird also über jede Richtungsreihenfolge der Länge $k$ aufsummiert, später werden wir unter Verwendung des Satzes von Schwarz gleiche Summanden zusammenfassen. Für $k = 1$ ist

\begin{matrix} h^{'} (t) & = (D_{v} f) (P + t v) \\ = {(D f)}_{P + t v} (v) \\ = {(D f)}_{P + t v} (\sum_{j = 1}^{n} v_{j} e_{j}) \\ = \sum_{j = 1}^{n} v_{j} \cdot {(D f)}_{P + t v} (e_{j}) \\ = \sum_{j = 1}^{n} v_{j} \cdot D_{j} f (P + t v) . \end{matrix}

Der Induktionsschluss ergibt sich aus

\begin{matrix} h^{(k + 1)} (t) & = (h^{(k)} (t))^{'} \\ = (\sum_{(i_{1}, \dots, i_{k}) \in {1, \dots, n}^{k}} D_{i_{k}} \dots D_{i_{1}} f (P + t v) \cdot v_{i_{1}} \dots v_{i_{k}}) \\ = \sum_{j = 1}^{n} D_{j} (\sum_{(i_{1}, \dots, i_{k}) \in {1, \dots, n}^{k}} D_{i_{k}} \dots D_{i_{1}} f (P + t v) \cdot v_{i_{1}} \dots v_{i_{k}}) v_{j} \\ = \sum_{j = 1}^{n} (\sum_{(i_{1}, \dots, i_{k}) \in {1, \dots, n}^{k}} D_{j} D_{i_{k}} \dots D_{i_{1}} f (P + t v) \cdot v_{i_{1}} \dots v_{i_{k}} v_{j}) \\ = \sum_{(i_{1}, \dots, i_{k}, j) \in {1, \dots, n}^{k + 1}} D_{j} D_{i_{k}} \dots D_{i_{1}} f (P + t v) \cdot v_{i_{1}} \dots v_{i_{k}} v_{j} . \end{matrix}

Aufgrund des Satzes von Schwarz kommt es nicht auf die Reihenfolge der Richtungableitungen an, d.h. zwei Summanden in der obigen Summe stimmen überein, wenn darin die jeweiligen Richtungsableitungen gleichhäufig vorkommen. Die Anzahl der Tupel $(i_{1}, \dots, i_{k})$ in ${1, \dots, n}^{k}$ , bei denen die Zahl $i$ genau $r_{i}$ -mal vorkommt, wird durch die Polynomialkoeffizienten

(\binom{k}{r}) = \frac{k!}{r!} = \frac{k!}{r_{1}! \dots r_{n}!}

beschrieben. Daraus ergibt sich die Behauptung.

Zur bewiesenen Aussage