Sulle condizioni necessarie e sufficienti perla semicontinuità degli integrali doppi di forma parametrica. (Q2609732)

Es wird gezeigt: Notwendig und hinreichend für die Halbstetigkeit (nach unten) des Doppelintegrals \[ \iint F(x,y,z, X, Y, Z)\,du\,dv \] \(\bigg(X=\dfrac{\partial(y,z)}{\partial(u,v)}\), \(Y=\dfrac{\partial(z,x)}{\partial(u,v)}\), \(Z=\dfrac{\partial(x,y)}{\partial(u,v)}\); \(F\) stetig samt den Ableitungen nach \(X\), \(Y\), \(Z\) in einem Raumbereich für \(x\), \(y\), \(z\) und positiv homogen vom ersten Grad in bezug auf \(X\), \(Y\), \(Z\bigg)\) ist, daß das Integral \textit{positiv semidefinit} und \textit{positiv semiregulär} ist, d. h. die Ungleichheiten \[ F\geqq 0 \quad \text{ und } \quad E\geqq 0 \] erfüllt, wo \(E\) die \textit{Weierstraß}sche Exzeßfunktion bedeutet. \textit{Caccioppoli} (Ist. Veneto Sci. Lett. Arti, Atti 93 (1934), 705-730; JFM 60.1147.*) hatte gezeigt, daß diese Bedingungen \textit{notwendig} sind, und \textit{hinreichend}, falls man entweder in der einen oder in der anderen Ungleichung das Gleichheitszeichen ausschließt. Verf. beseitigt also diese Einschränkung. Dafür verlangt er, daß die betrachteten Flächen regulär seien, d. h. \(x(u, v)\), \(y (u, v)\), \(z (u, v)\) samt ihren ersten Ableitungen stetig; doch tut er dies nur, weil er dann einen besonders kurzen Beweis angeben kann.