Familles bornées de fonctions de deux variables complexes dans des domaines avec une surface remarquable. (Q2596357): Difference between revisions

Es wird folgender Satz bewiesen: Sei \(\mathfrak M^4\) ein Bereich im Raum von zwei komplexen Veränderlichen, der von \(n\) ana\-lytischen Hyperflächenstücken \[ \mathfrak i_k^3{:}\quad z_\nu=h_\nu^{(k)}(z,\lambda),\;0\leqq\lambda\leqq2\pi,\;|z|\leqq1,\qquad \nu=1,2;k=1,\dots,n, \] berandet wird. Es seien ferner \(f_n(z_1,z_2)\) Funktionen, die in \(\mathfrak M^4\) nebst Rand regulär und gleichmäßig beschränkt sind. Setzt man schließlich \(F_{n,k} (z,\lambda)\equiv f_n[h_1^{(k)}(z,\lambda),h_2^{(k)}(z,\lambda)]\), so soll \(| F_{nk} (z,\lambda_1) -F_{nk} (z,\lambda_2)|\leqq\varepsilon\) sein für \(|\lambda_1-\lambda_2|\leqq\delta(\varepsilon,|z|)\), wenn \(\lim\limits_{\varepsilon\to0}\delta(\varepsilon,|z|) = 0\) mit \(|z|\leqq a < 1\). Dann läßt sich aus den \(f_n\) eine Teilfolge \(f_r\), auswählen, die in \(\mathfrak M^4\) gleichmäßig gegen eine dort reguläre Funktion \(f\) konvergiert. Die \(f_r\) konvergieren darüber hinaus für solche Punkte \((z_1,z_2)\) des Randes von \(\mathfrak M^4\), die nicht auf mehreren \(\mathfrak i_k^3\) zugleich liegen; es gilt \[ f(z_1, z_2) =\lim\limits_{\{t_1,t_2\}\to\{z_1,z_2\}}f(t_1,t_2)= \lim\limits_{r\to\infty}f_r(z_1,z_2);\quad \{t_1,t_2\}\subset\mathfrak M^4. \]