Approximationssatz von Walsh

Der Approximationssatz von Walsh (englisch Walsh's approximation theorem) ist ein mathematischer Lehrsatz, der im Übergangsfeld zwischen den Gebieten Funktionentheorie und Funktionalanalysis angesiedelt ist und der auf eine wissenschaftliche Publikation des Mathematikers Joseph Leonard Walsh aus dem Jahre 1927 zurückgeht. Der Satz ist eng verwandt mit dem Approximationssatz von Weierstraß sowie mit dem rungeschen Approximationssatz und behandelt die Bedingungen, unter denen gewisse holomorphe Funktionen der komplexen Zahlenebene durch Polynomfunktionen gleichmäßig approximiert werden können.

Formulierung des Satzes

Der Darstellung von Robert B. Burckel folgend kann der Approximationssatz von Walsh folgendermaßen angegeben werden:

Es sei in der komplexen Zahlenebene eine Jordankurve $\gamma \subset \mathbb {C}$ mit zugehörigem Innengebiet $\Omega _{\gamma }\subset \mathbb {C}$ gegeben und weiter auf dem topologischen Abschluss ${\overline {\Omega _{\gamma }}}$ eine stetige komplexe Funktion $f\colon {\overline {\Omega _{\gamma }}}\to \mathbb {C}$ , deren Einschränkung $f|_{\Omega _{\gamma }}$ sogar holomorph ist.

Dann gilt:

Eine solche Funktion $f$ kann stets gleichmäßig durch Polynomfunktionen approximiert werden.

Abweichende Version

Unter der Bezeichnung „Approximationssatz von Walsh“ versteht man gemäß der Darstellung von Günter Meinardus auch einen etwas anderen Approximationssatz, der auf eine Publikation von Walsh aus dem Jahre 1956 zurückgeht. Dieser besagt folgendes:

In der komplexen Zahlenebene sei eine Jordankurve $\gamma \subset \mathbb {C}$ gegeben, deren Innengebiet $\Omega _{\gamma }\subset \mathbb {C}$ den Nullpunkt $0\in \mathbb {C}$ enthalten soll. Hier werde der zugehörige Funktionenraum $\,\,C=C(\gamma ,\mathbb {C} )$ der stetigen komplexen Funktionen $f\colon \gamma \to \mathbb {C}$, versehen mit der Maximumsnorm, betrachtet und dazu der topologische Abschluss $X\subseteq C$ des $\mathbb {C}$-linearen Unterraums, der von den Einschränkungen $w|_{\gamma }$ der meromorphen Funktionen $\,\,w\,\,$ der Form

$z\mapsto w(z)=\sum _{k=-m}^{n}{a_{k}z^{k}}\,\,(\,\,m=1,2,\ldots \,\,,n=0,1,\ldots \,\,,a_{k}\in \mathbb {C} \,\,,z\in \mathbb {C} \,\,)$

erzeugt wird.

Dann gilt:

$X=C$ .

Literatur

• Robert B. Burckel: An Introduction to Classical Complex Analysis. Vol. 1 (= Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften: Mathematische Reihe. Band 64). Birkhäuser, Basel 1979, ISBN 978-3-0348-9376-3. 
• J. Korevaar: Lacunary forms of Walsh's approximation theorems. In: The Theory of the Approximation of Functions (= Proc. Internat. Conf., Kaluga). Nauka, Moskau 1977, S. 229–237 (MR0525534). 
• Günter Meinardus: Approximation von Funktionen und ihre numerische Behandlung (= Springer Tracts in Natural Philosophy. Band 4). Springer Verlag, Berlin, Göttingen, Heidelberg, New York 1964 (MR0176272). 
• J. L. Walsh: Über die Entwicklung einer analytischen Funktion nach Polynomen. In: Mathematische Annalen. Band 96, 1927, S. 430–436 (MR1512331). 
• J. L. Walsh: Interpolation and Approximation by Rational Functions in the Complex Domain (= American Mathematical Society Colloquium Publications. Vol. XX). American Mathematical Society, Providence, R.I. 1956 (MR0218588).