No label defined (Q4028588)

[For the entire collection see Zbl 0746.00080.] The paper is a survey of a number of explicit formulas for the higher- order Fréchet derivatives of the composition of two mappings. These formulas are generally known for real functions of one variable. As a typical result: Theorem. Suppose that \(E\), \(F\), \(G\) are normed spaces, \(U\subseteq E\), \(V\subseteq F\) are open sets, \(m\in\mathbb{N}\), \(x_ 0\in U\), \(f:U\to V\) is a mapping which is \(m\)-times differentiable at \(x_ 0\) and \(g: V\to G\) is a mapping which is \(m\)-times differentiable at \(y_ 0=f(x_ 0)\). Then \(g\circ f\) is \(m\)-times differentiable at \(x_ 0\) and for each \(h\in E\): \[ \begin{multlined} D^ m(g\circ f)(x_ 0)h^ m= \sum_{\alpha\in J_ m} {{m!} \over {\alpha_ 1!\dots \alpha_ m!(1!)^{\alpha_ 1}\dots (m!)^{\alpha_ m}}}\times\\ D^{|\alpha|} g(y_ 0) \left((D^ 1 f(x_ 0) h^ 1)^{\alpha_ 1},\dots, (D^ m f(x_ 0)h^ m)^{\alpha_ m}\right),\end{multlined} \] where \(h^ k=(h,\dots,h)\in E^ k\) and \(J_ m=\{\alpha \in(\mathbb{N}\cup\{0\})^ m\): \(\sum_{i=1}^ m i\alpha_ i=m\}\). More involved formulas are obtained when \(h^ m\) is replaced by \((h_ 1,\dots,h_ m)\in E^ m\). These formulas are proved using higher-order finite expansions and some combinatorial analysis, avoiding induction. A generalization for the composition of an arbitrary number of the mappings is announced.