Sulle medie delle funzioni a variazione limitata di due variabili. (Q2598887)

Zu einer im Intervall \(0 \leqq \begin{matrix} x \\ y \end{matrix} \leqq a\) definierten Funktion \(f(x, y)\) zweier Variablen betrachte man die bezüglich eines Punktes \((x,y)\) ihres Definitionsbereichs genommenen Mittel: \[ \begin{gathered} g(u,v)= \frac 1{4uv}\int\limits_{-u}^{+u} \int\limits_{-v}^{+v} f(x+u,y+v)\,du\,dv \\ g_{(u)}(u,v)= \frac 1{2u}\int\limits_{-u}^{+u} \frac{f(x+u,y+v)+f(x+u,y-v)}2\,du \\ g_{(v)}(u,v)= \frac 1{2v}\int\limits_{-v}^{+v} \frac{f(x+u,y+v)+f(x-u,y+v)}2\,dv \end{gathered} \] Es erhebt sich die Frage, ob und inwieweit die Voraussetzung: \(f(x,y)\) sei in irgendeinem Sinne von beschränkter Variation (etwa nach \textit{Tonelli}, oder bloß nach \textit{Hardy} oder \textit{Vitali}), sich auch auf diese Mittel (die jetzt nur als Funktionen von \(u\), \(v\) anzusehen sind, während \(x\), \(y\) festgehalten werden) fortsetzt. Verf. zeigt, daß dies ohne weiteres der Fall ist für die Voraussetzung beschränkter Variation im Sinne von \textit{Hardy} oder \textit{Vitali}, hingegen nicht mehr für beschränkte Variation im Sinne von \textit{Tonelli}. Hierfür wird ein Beispiel angegeben. Der Grund für dieses abweichende Verhalten ist in dem Begriffe: ``Beschränkte Variation nach Tonelli'' selbst zu suchen, der insbesondere noch die Existenz der beiden Integrale \[ \int\limits_0^a V_{(x)}(a,y)\,dy \quad \text{und} \quad \int\limits_0^a V_{(y)}(x,a)\,dx \] mit einschließt, worin \(V_{(x)}(a,y)\) die bei festgehaltenem \(y\) im Intervall \(0\leqq x \leqq a\) genommene totale Variation von \(f(x,y)\) bedeutet. (Entsprechend wird \(V_{(y)}(x,a)\) definiert.) Es ist nun aber mit \(f(x+h)\) (als Funktion von \(h\) aufgefaßt) nicht auch immer zugleich \(g(h)= \dfrac 1{2h}\int\limits_{-h}^{+h} f(x+h)\,dh\) nach \(h\) integrierbar, sondern nur dann, wenn neben \(f(x+h)\) auch noch \(f(x+h)\cdot \log |h|\) nach \(h\) über \(h = 0\) hinweg integrierbar ist. Daher muß also, wie Verf. zeigt, um beispielsweise für die Mittelung \(g_{(u)}(u,v)\) die Beschränktheit der Variation im Tonellischen Sinne garantieren zu können, dafür die Zusatzbedingung (vom obigen Typus) gemacht werden: \(V_{(v)}(x+u,y+a)\) sei als Funktion von \(u\) bis nach \(u = + 0\) hin integrierbar. (\(V_{(v)}(x+u,y+a)\) ist dabei die totale Variation der Funktion \(f(x+ u, y + v)\) hinsichtlich \(v\) im Intervall \(0\leqq v \leqq a\), wobei also \(u =\) const gesetzt wird.) -- Analoge Zusatzbedingungen stellen sich für die übrigen der obigen Mittelbildungen ein.