Sur le développement en série d'un système de fonctions analytiques. (Q1460402): Difference between revisions

Folgender allgemeine Entwicklungssatz wird bewiesen. Es sei \(D\) ein einfach zusammenhängendes Gebiet mit der rektifizierbaren Randkurve \(C\). Die Funktionen \[ f_0(x),f_1(x),f_2(x),\ldots,f_n(x),\ldots \] seien regulär in \(D\), stetig auf \(D+C\) und mögen die folgenden Bedingungen erfüllen: 1. Sie bilden ein abgeschlossenes System, d. h. wenn \(f(x)\) regulär in \(D\), stetig auf \(D + C\) ist und \[ \int_C f(x)\overline{f_n(x)} d\sigma=0\qquad (n=0,1,2,\ldots) \] gilt, so folgt \(f(x) = 0\). 2. Die Form \(\sum\limits_{\mu,\nu}a_{\mu\nu}x_{\mu}\bar x_{\nu}\), wobei \[ a_{\mu\nu}=\int_C f_{\mu}(x)\overline{f_{\nu}(x)}d\sigma, \] bleibt auf der Einheitskugel beschränkt und ist \(\geqq m>0\). Eine beliebige, in \(D\) reguläre und auf \(D+C\) stetige Funktion \(f(x)\) kann dann in eine, in jedem in \(D\) gelegenen Bereich gleichmäßig konvergente Reihe \(\sum\limits_{n=0}^{\infty}d_nf_n(x)\) entwickelt werden, wobei übrigens \(\sum\limits_{n=0}^{\infty}|d_n|^2\) konvergiert.