Offene Menge/R^n/Vektorfelder/Hintereinanderschaltung/Explizit/Fakt

Es sei ${}U\subseteq \mathbb {R} ^{n}$ offen und seien ${}f_{1},\ldots ,f_{n},g_{1},\ldots ,g_{n},h$ zweifach stetig differenzierbare Funktionen auf ${}U$.

Dann gilt

${\left(\sum _{i=1}^{n}f_{i}\partial _{i}\right)}{\left({\left(\sum _{j=1}^{n}g_{j}\partial _{j}\right)}(h)\right)}=\sum _{j=1}^{n}{\left(\sum _{i=1}^{n}f_{i}\partial _{i}g_{j}\right)}\partial _{j}h+\sum _{j=1}^{n}\sum _{i=1}^{n}f_{i}g_{j}\partial _{i}\partial _{j}h\,.$

Zum Beweis, Alternativen Beweis erstellen