Généralisation du théorème concernant le changement de l'ordre de différentiation. (Q2602227)

Unter der Voraussetzung, daß \(F(x, y)\) eine in einem Gebiet \(G\) erklärte Funktion der beiden reellen Veränderlichen \(x, y\) bedeutet und in \(G\) die partiellen Ableitungen \[ p(x,y) =\dfrac{\partial F(x,y)}{\partial x}, \quad q(x,y) =\dfrac{\partial F(x,y)}{\partial y} \] vorhanden sind, beweist Verf. über die Vertauschbarkeit der Differentiationsfolge die beiden Sätze: (1) Es seien \(p\) und \(q\) in \(G\) stetig, und etwa \(p\) genüge bei beliebigem \(h\) der Beziehung \[ \left|\dfrac{p(x,y+h) - p(x,y)}{h}\right|\leqq\varphi (x), \] wobei \(\varphi (x)\) als summierbare Funktion vorausgesetzt wird. Ferner sei fast überall in \(G\dfrac{\partial p}{\partial y}\) vorhanden. Dann gilt letzteres auch für \(\dfrac{\partial q}{\partial x}\) und \[ \dfrac{\partial q}{\partial x} = \dfrac{\partial p}{\partial y}. \] (2) Wenn \(\dfrac{\partial p}{\partial y}\) in einer Umgebung des Punktes \(A(x_0, y_0)\) existiert und bezüglich \(x\) in \(A\) stetig ist, so ist auch \(\dfrac{\partial q}{\partial x}\) in \(A\) vorhanden und \[ \dfrac{\partial p(x_0, y_0)}{\partial y} = \dfrac{\partial q(x_0, y_0)}{\partial x}. \]