Teoremi di media caratteristici per le soluzioni di talune equazioni alle derivate parziali. (Q1447807)

Jede harmonische Funktion \(u\) erfüllt außer dem gewöhnlichen Mittelwertsatz die Identitäten \[ \begin{aligned} \frac1{2\pi}\int\limits_0^{2\pi} u(x+\varrho\cos\vartheta, y+\varrho\sin\vartheta)e^{in\vartheta}\,d\vartheta &{}=\frac{\varrho_n}{n!\,2^n} \left(\frac{\partial}{\partial x} +i\frac{\partial}{\partial y}\right)^nu \tag{\text{*}}\\ &{}=\frac{\varrho^n}{n!\,2^n}(P_n +iQ_n)u, \end{aligned} \] worin \(\varrho\) beliebig ist, solange der Kreis mit \(\varrho\) um \(x\), \(y\) im Regularitätsgebiet liegt. Verf. fragt umgekehrt: Welche bis zur \(n\)-ten Ableitung stetigen Funktionen sind durch das Bestehen einer der für ein bestimmtes \(n\) durch Spaltung aus (*) hervorgehenden Identitäten charakterisiert? Antwort: Die und nur die Lösungen der Differentialgleichung \[ \varDelta P_nu = 0\quad\text{bzw.}\quad \varDelta Q_nu = 0. \] Sind beide Identitäten (*) erfüllt, und ist \(u\) bis zu den \(2n\)-ten Ableitungen stetig, so ist \[ \left(\frac\partial{\partial x}+i\frac\partial{\partial y}\right)^n \varDelta u=0; \] also wird \(u\) die analytische Lösung der Gleichung \[ \varDelta u = \sum_{k=0}^{n-1} F_k(x, y) (x^2 + y^2)^{n-k-1} + G_{n-1} (x, y), \] worin \(F_k\), \(G_{n-1}\) willkürliche Polynome vom Grade \(k\) bzw. \(n-1\) sind. (*) ist auch für die approximative Berechnung der Potentialfunktionen wichtig.