Generalizations of the Gauss law of the spherical mean. (Q2596777)

Verf. hat in einer früheren Arbeit (Amer. J. Math. 54 (1932), 667-691; F. d. M. \(58_{\text{I}}\), 438) Operatoren aufgestellt, die mit dem Laplaceschen Operator \(\nabla^2\) vertauschbar sind; darunter z. B. den ``mittelnden'' Operator \(A\), welcher eine Funktion \(u\) von \(n\) Veränderlichen durch die Funktion \(A (u) =\dfrac{\int u\,dS}{\int dS}\) ersetzt, wobei die Integrale Oberflächenintegrale im \(R_n\) bedeuten, erstreckt über konzentrische Kugelflächen vom Radius \(r\geqq0\), welche im Definitionsbereich der Funktion \(u(x_1,\ldots, x_n)\) gelegen sind. Vermöge dieser Vertauschbarkeit der beiden Operatoren \(\nabla^2\) und \(A\), \(\nabla^2[A(u)] = A(\nabla^2u)\), erhält er in der vorliegenden Arbeit in verschiedenen Richtungen Verallgemeinerungen des Gaußschen Satzes: ``Das arithmetische Mittel \(\dfrac{\int u\,dS}{\int dS}\) einer Funktion \(u\), die im Innern und auf der Oberfläche einer Kugel harmonisch ist, ist gleich ihrem Wert im Mittelpunkt dieser Kugel'', nämlich die folgenden: Genügt in einem \(n\)-dimensionalen Baum die Funktion \(u\) der Differentialgleichung \(\nabla^2u - \lambda u = 0\), \(\lambda = \text{const}\), im Innern und auf der Oberfläche einer \(n\)-dimensionalen Kugel vom Radius \(r\), so ergibt sich das Mittel \[ A(u)=u_0\left(1+\sum_{k=1}^\infty \frac{(r^2\lambda)^k} {2\cdot 4\ldots 2k\cdot n\cdot(n+2)\ldots(n+2k-2)}\right), \] wobei \(u_0\) den Wert von \(u\) im Kugelmittelpunkt bedeutet. Ebenso gibt Verf. das sphärische Mittel \(A (u)\) an für Funktionen, welche der Differentialgleichung \((\nabla^2-\lambda)^pu = 0\), \(\lambda = \text{const}\), genügen. Der Spezialfall \(\lambda=0\) gibt das sphärische Mittel \(A(u)\) für die ``\(p\)-harmonischen'' Funktionen. Als weitestgehende Verallgemeinerung bestimmt Verf. das Mittel \(A(u)\) für die Lösungen der Differentialgleichung \(\sum\limits_{i=0}^p c_i \nabla^{2i}u = 0\), wobei die \(c_i\) Konstanten sind mit \(c_p\neq0\). Einige dieser Ergebnisse sind, wie Verf. bemerkt, bereits von \textit{H. Weber} (J. reine angew. Math. 49 (1868), 222-237; Math. Ann. 1 (1869), 1-36, insbesondere S. 7. F. d. M. 1, 108; 2, 217) und \textit{W. D. Niven} (Philos. Trans. R. Soc. London A 170 (1879), 379-416; F. d. M. 11, 223 (JFM 11.0223.*)) gefunden worden. Als Anwendungen des Mittels für die Lösungen der Differentialgleichung \(\nabla^2u - \lambda u = 0\) bekommt Verf. u. a. in gewissen Fällen funktionale Beziehungen zwischen den Mitteln \(A_1(u)\), \(A_2(u)\) von \(u\) über ``Unterkugeln'', die in zwei gegenseitig vollständig senkrechten Räumen von \(m\) und \(n - m\) Dimensionen gelegen sind, worunter sich ein Satz von \textit{Asgeirsson} (Math. Ann. 113 (1936), 321-346; F. d. M. \(62_{\text{I}}\), 556) und Sätze von \textit{Bateman} (Amer. J. Math. 34 (1912), 325-360 (F. d. M. 43, 449 (JFM 43.0449.*)), insbesondere p. 332-334) befinden. Unter gewissen einschränkenden Annahmen für die Funktion \(u\) läßt sich, wie Verf. zeigt, die Mittelbildung umkehren: Gesucht wird die Funktion, welche als Mittel \(A (u)\) eine vorgegebene Funktion ergibt. Anwendungen dieser Umkehrung bringt der Verf. in der demnächst erscheinenden Arbeit ``On integral representation of Bessel and related functions''. In allen angeführten Verallgemeinerungen des Gaußschen Satzes ist \(A (u)\) linear abhängig von \(p\) Funktionen von \(r\), \(A (u) = C_1f_1(r) + \cdots + C_p f_p (r)\), wobei \(f_i(r)\) nur vom Kugelradius \(r\), \(C_i\) nur vom Kugelmittelpunkt abhängen. Verf. beweist nun, daß auch umgekehrt, falls eine solche lineare Beziehung für \(A (u)\) besteht, unter gewissen Voraussetzungen für \(u\) und \(f_i(r)\), die Funktion \(u\) einer Differentialgleichung \(\sum\limits_{i=0}^p c_i \nabla^{2i}u = 0\) mit passenden Konstanten \(c_i\) genügt. Verwendet man statt des Operators \(A\) einen anderen der mit dem Laplaceschen Operator vertauschbaren Operatoren, wie sie in der anfangs zitierten Arbeit angegeben wurden, so erhält man weitere Verallgemeinerungen der vorigen Ergebnisse. Die Ableitung einer für \(n = 3\) auf \textit{Hobson} (Proc. London math. Soc. 24 (1893), 55-67; F. d. M. 25, 822) zurückgehenden Formel bildet hierzu den Übergang. Ebenso bekommt Verf. weitere Ergebnisse, wenn er Operatoren betrachtet, die mit dem zweiten invarianten Beltramischen Differentialoperator vertauschbar sind. Schließlich erwähnt Verf. noch kurz einige Verallgemeinerungen der obigen Resultate auf gewisse unstetige Funktionen. Eine systematische Anwendung der in dieser Arbeit erhaltenen Ergebnisse ist jedoch den späteren Arbeiten ``On integral representation of Bessel and related functions'' und ``Green's formulas for analytic functions'' (nachstehend besprochen) vorbehalten.