Sur la notion de différentielle. (Q5922872)

Eine Funktion \(f(x_1, x_2)\) heiße im \textit{Hadamard}schen Sinn differenzierbar im Punkt \((a_1, a_2)\), wenn dort \(f_{x_1}'\), \(f_{x_2}'\) existieren und wenn \(f(\varphi_1(u), \varphi_2(u))\) für jedes in \(u_0\) differenzierbare Paar von Funktionen \(\varphi_1(u), \varphi_2(u)\) mit \(\varphi_1(u_0) = a_1\), \(\varphi_2(u_0) = a_2\) in \(u = u_0\) differenzierbar ist und wenn gilt: \[ \left.\dfrac{df\,(\varphi_1(u), \varphi_2(u))}{du}\right|_{u=u_0} = f_{a_1}'\varphi_1'(u_0) + f_{a_2}'\varphi_2'(u_0). \] Es wird gezeigt, daß diese Definition der Differenzierbarkeit äquivalent ist mit der bekannten \textit{Stolz}schen sowie mit den beiden Definitionen, die der Verf. (Nouv. Ann. Math. 12 (1912), 385-403, 433-449; F. d. M. 43, 481 (JFM 43.0481.*), 482) gegeben hat. Dagegen ist, wenn man diese Begriffe in die \textit{Funktionalanalysis} überträgt, die \textit{Hadamard}sche Definition allgemeiner als die \textit{Fréchet}sche. (IV 8 A.)