Approximationssatz von Walsh

Der Approximationssatz von Walsh (Vorlage:EnS) 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 geschlossene Jordankurve $\gamma \subset ℂ$ mit zugehörigem Innengebiet ${\mathrm{\Omega }}_{\gamma }\subset ℂ$ gegeben und weiter auf dem topologischen Abschluss $\overline{{\mathrm{\Omega }}_{\gamma }}$ eine stetige komplexe Funktion $f:\overline{{\mathrm{\Omega }}_{\gamma }}\to ℂ$ , deren Einschränkung $f{|}_{{\mathrm{\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 geschlossene Jordankurve $\gamma \subset ℂ$ gegeben, deren Innengebiet ${\mathrm{\Omega }}_{\gamma }\subset ℂ$ den Nullpunkt $0\in ℂ$ enthalten soll. Hier werde der zugehörige Funktionenraum $C=C(\gamma ,ℂ)$ der stetigen komplexen Funktionen $f:\gamma \to ℂ$, versehen mit der Maximumsnorm, betrachtet und dazu der topologische Abschluss $X\subseteq C$ des $ℂ$-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,\dots ,n=0,1,\dots ,a_k\in ℂ,z\in ℂ)$

erzeugt wird.

Dann gilt:

$X=C$ .

Anmerkung

In derselben Publikation des Jahres 1956 hat Walsh auch den Fall behandelt, dass $\gamma \subset ℂ$ eine offene Jordankurve, also eine homöomorphe Einbettung des Einheitsintervalls in die komplexe Zahlenebene ist, und dazu festgehalten, dass – unabhängig davon, ob der Nullpunkt auf $\gamma$ liegt oder nicht liegt – dann die komplexen Polynomfunktionen im Funktionenraum $C=C(\gamma ,ℂ)$ (s. o.) dicht liegen.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur