Sur l'aire des surfaces \(z=f(x,y)\). (Q1445203)

Tonelli (C. R. 182 (1926), 1198-1200; F. d. M. 52) und Radó (1927; F. d. M. 53, 212 (JFM 53.0212.*)) haben den Inhalt einer krummen Fläche untersucht, die durch eine Gleichung \(z=f(x, y)\) dargestellt ist. Es sei \(R=(x', y', ; x'', y'')\) ein Rechteck, das dem Quadrat \(K =(0, 0; 1, 1)\) angehört. Unter den Bezeichnungen \(\alpha(R; f)\), \(\beta(R;f)\) und \(\sigma(R; f)\) verstehe man die folgenden Ausdrücke: \[ \begin{aligned} \alpha(R;f) &=\int\limits_{x'}^{x''}|f(x,y'')-f(x,y')|dx, \\ \beta(R;f) &=\int\limits_{y'}^{y''}|f(x'',y)-f(x',y)|dy, \\ \sigma(R;f) &=\sqrt{\alpha^2(R;f)+\beta^2(R;f)+m^2(R)}. \end{aligned} \] \(\sigma\) ist dann und nur dann integrierbar, wenn es sowohl \(\alpha\) als auch \(\beta\) ist. Andererseits ist die Integrierbarkeit von \(\alpha\) an die Bedingung gebunden, daß \(f(x,y)\) auf fast allen Geraden \(x =\) const. von beschränkter Variation in bezug auf \(y\) ist und das Integral \(\int\limits_0^1 V_{(y)}(x,1)dx\) endlich ist. Dabei bedeutet \(V_{(y)}(\xi,\eta)\) die totale Variation von \(f(\xi,y)\) im Intervall \(0<y<\eta\), \(f(\xi,y)\) aufgefaßt als Funktion von \(y\) allein. Es gilt dann \[ \int\limits_R \alpha(R;f)=\alpha(R;V_{(y)}). \] Auf Grund dieser Ergebnisse von Tonelli und Radó werden nun die folgenden beiden Sätze bewiesen: (1) Es sei \(z=f(x,y)\) in dem Quadrat \(K_0(0, 0; 1, 1)\) stetig und so beschaffen, daß die Funktion \(\alpha(R;f)\) integrierbar ist. Dann gilt für fast jeden Punkt \((x,y)\) von \(R\): \[ \alpha'(x,y;f)=\alpha'(x,y;V_{(y)})=\left| \frac{\partial f}{\partial y}\right|, \] und es ist \(\alpha(R;f)\) dann und nur dann überall in \(R\) stetig, wenn \(f(x, y)\) auf jeder Geraden \(x =\) const. absolut stetig ist. Unter \(S(R)\) verstehe man den Inhalt des Flächenstückes von \(z=f(x, y)\), das zu dem Rechteck \(R\) gehört. Tonelli hat gezeigt, daß \[ S(R)\geqq\iint\limits_R\left[1+ \left(\frac{\partial f}{\partial x}\right)^2+ \left(\frac{\partial f}{\partial y}\right)^2\right]^{\frac12}dxdy \] ist. (2) Wenn die stetige Fläche \(z=f(x, y)\) über dem Quadrat \(K_0\) eine endliche Oberfläche besitzt, dann ist in fast jedem Punkt \((x,y)\) dieses Quadrates \[ S'(x,y)=\left[1+ \left(\frac{\partial f}{\partial x}\right)^2+ \left(\frac{\partial f}{\partial y}\right)^2\right]^{\frac12} \] und daher für jedes Rechteck \(R\), das zu \(K_0\) gehört, \[ S(R)\geqq\iint\limits_R\left[1+ \left(\frac{\partial f}{\partial x}\right)^2+ \left(\frac{\partial f}{\partial y}\right)^2\right]^{\frac12}dxdy, \] wobei das Gleichheitszeichen dann und nur dann gilt, wenn \(f(x,y)\) absolut stetig ist. Der Begriff der absoluten Stetigkeit ist von Tonelli in seinen oben genannten Abhandlungen eingeführt worden.