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

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}. \]