Gli integrali doppi di forma nel calcolo delle variazioni. (Q2619015)

Verf. entwickelt zuerst kurz seine Theorie der totalstetigen funktionenpaare (vgl. z. B. 1928; F. d. M. 54, 290 (JFM 54.0290.*)), die es ihm gestattet, für eine sehr allgemeine Klasse von Flächen \[ S: x=\varphi (u,v), \quad y=\psi (u,v), \quad z=\chi (u,v), \] nämlich sobald die Paare \((\psi,\chi ), (\chi,\varphi ), (\varphi,\psi )\) totalstetig sind, die Funktionaldeterminanten \[ X(u,v)=\frac {\partial (y,z)}{\partial (u,v)}, \quad Y(u,v)=\frac {\partial (z,x)}{\partial (u,v)}, \quad Z(u,v)=\frac {\partial (x,y)}{\partial (u,v)} \] als Ableitungen von Mengenfunktionen zu definieren. In dieser Flächenklasse wird das Integral \[ \iint F(x,y,z,X, Y, Z)dudv \] (\(F\) mit seinen Ableitungen nach \(X, Y, Z\) stetig und positiv homogen von ersten Grad) auf seine Halbstetigkeit nach unten untersucht. (Dabei wird die konvergenz von Flächen \(S_n\to S\) durch \(x_n(u,v)\to x(u,v)\) usw. erklärt.) Als notwendig für die Halbstetigkeit erweist sich \[ F\geqq 0,\quad \mathcal E\geqq 0 \] (\(\mathcal E (x,y,z,X, Y, Z, X', Y', Z')\) die \textit{Weierstraß}sche \(\mathcal E\)-funktion), als hinreichend diesel\-be Bedingung, wenn man in der einen oder der anderen Ungleichung des Gleichheitszeichen ausschließt. Für speziellere Flächenklassen, nämlich wenn das Integral \[ \iint \limits _S (\varphi _1dydz+\varphi _2dzdx+\varphi _3dxdy) \] nach unten halbstetig oder stetig ist, wo \[ \varphi _1=F_X(x,y,z,1,0,0), \quad \varphi _2=F_Y(x,y,z,1,0,0), \quad \varphi _3=F_Z(x,y,z,1,0,0) \] genügt schon die Bedingung \[ \mathcal E>0. \] dazu gehören z. B. die Flächen \(z=f(x,y)\).