Un théorème sur l'intégrale de surface. (Q2586413)

Es kann nur nach dem französischen Auszuge berichtet werden. Folgender Satz wird behauptet: Wenn \[ \iint \limits _R [A(x, y, z (x, y)) + B (x, y,z(x, y))\,z_x' + C (x, y, z(x, y)) z_y']\, dx\, dy \] für alle \(z (x, y)\) den gleichen Wert hat, dann existiert \(C_y'\) fast überall in \(R\), und es ist \(A_z' = B_x' + C_y'\). Dabei ist über \(A\), \(B\), \(C\), \(z(x, y)\) folgendes vorausgesetzt: Es ist \(R\) ein Gebiet in der \(x,y\)-Ebene, welches begrenzt wird von einer einfachen, geschlossenen (beschränkten) Kurve \(\mathfrak C\); dabei soll \(\mathfrak C\) (senkrechte) Projektion der Raumkurve \(\varGamma = (y = y^0(x),\;z = z^0 (x))\) sein. Ferner sollen \(A\), \(B\), \(C\) stetig sein in einem Gebiete \(G\) des \(x, y, z\)-Raumes, wobei \(\varGamma \subset G\). Für alle Werte \(h\neq 0\) soll \[ |A(x,y,z+h)-A(x,y,z)| : |h|\leqq \varphi (x,y), \;\;|B(x+h,y,z)-B(x,y,z)| : |h|\leqq \psi (y,z) \] sein, wobei \(\varphi (x,y)\) in \(R\) und \(\psi (y,z)\) hinsichtlich \(y\) summierbar ist; ferner sollen \(A_z'\) und \(B_x'\) fast überall in \(G\) existieren. Schließlich soll \(z (x, y)\) in \(R\) definiert sein, auf \(\mathfrak C\) soll sein \(z(x, y) = z^0(x)\), und \(z\) soll stetige partielle Ableitungen nach \(x\) und \(y\) in \(R\) besitzen.