Sur une condition nécessaire et suffisante pour l'existence d'une différentielle totale. (Q5922873)

Der Funktion \(f(x_1,\ldots, x_n)\) wird an der Stelle \(\xi_1,\ldots,\xi_n\) ein totales Differential zugeschrieben, wenn für alle hinreichend kleinen \(|h_\nu |\) die Relation \[ f(\xi_1+h_1,\ldots, \xi_n+h_n) - f(\xi_1,\ldots, \xi_n) = \sum\limits_{\nu =1}^n a_\nu h_\nu + \varrho (h_1,\ldots, h_n) \, \left(\sum\limits_{\nu}h_\nu^2\right)^\frac{1}{2} \] mit festen Zahlen \(a_\nu\) und einer Funktion \(\varrho\) besteht, die mit \(\sum h_\nu^2\) gegen null strebt. Verf zeigt: Notwendig und hinreichend für die Existenz des totalen Differentials ist, daß für alle an der Stelle \(t = 0\) differenzierbaren Funktionensysteme \[ \varphi_1(t),\ldots,\varphi_n(t) \] mit \(\varphi_\nu (0) = \xi_\nu\) die Funktion \[ F(t) = f\left(\varphi_1(t),\ldots,\varphi_n(t)\right) \] an der Stelle \(t = 0\) eine Ableitung hat, die sich in der Gestalt \[ F'(0) = \sum b_\nu\varphi_\nu'(0) \] schreiben läßt. Hieraus folgt, daß die Funktionen mit totalem Differential einen Körper bilden und daß auch \(f(g_1(x_1,\ldots, x_n),\ldots, g_n(x_1,\ldots, x_n))\) ein totales Differential besitzt, falls \(f(x_1,\ldots, x_n)\) und die \(g_\nu (x_1,\ldots, x_n)\) ein solches haben.