Biharmonic functions in abstract spaces. (Q2596528)

Die analytischen Funktionen im klassischen Sinn hängen in bekannter Weise mit den harmonischen Funktionen zusammen; die Quelle des Zusammenhangs bilden die Cauchy-Riemannschen Differentialgleichungen. Ebenso besteht ein Parallelismus zwischen den analytischen Funktionen von \(n\) komplexen Variablen und den sogenannten biharmonischen Funktionen von \(2n\) reellen Variablen \(x_1,\ldots,x_n\), \(y_1,\ldots,y_n\), die den \(n^2\) Gleichungen \[ \frac{\partial^2u}{\partial x_\mu\partial x_\nu}+ \frac{\partial^2u}{\partial y_\mu\partial y_\nu}=0,\quad \frac{\partial^2u}{\partial x_\mu\partial y_\nu}+ \frac{\partial^2u}{\partial x_\nu\partial y_\mu}=0 \] genügen. Nun hat Verf. früher (Ann. Scuola norm. sup. Pisa (2) 6 (1937), 277-292; F. d. M. \(63_{\text I}\), 359) die Begriffe ``analytische Funktion'' und ``Cauchy-Riemannsche Gleichungen'' auf Funktionen übertragen, die einen abstrakten normierten Vektorraum \(E\) auf einen anderen abbilden. In der vorliegenden Note wird jetzt auch der Begriff ``biharmonische Funktion'' übertragen und gezeigt, daß analoge Sätze zu der klassischen Theorie gelten, wie: Zu einer biharmonischen Funktion \(u\) existiert eine andere \(v\), so daß \(u+iv\) analytisch ist. -- Noch offensichtlicher sind die Analogien, wenn \(E\) speziell der Hilbertsche Raum ist, weil dann die Cauchy-Riemannschen Differentialgleichungen und die Gleichungen für die biharmonischen Funktionen direkt die klassische Gestalt, nur verallgemeinert von \(n\) auf unendlich viele Variable, haben, während sie im allgemeinen Fall durch ``Variationen'' bzw. Fréchetsche Differentiale ausgedrückt werden. (IV 5, 13.)