www.wikidata.de-de.nina.az
Bei der Korowkin Approximation handelt es sich um mathematische Konvergenzaussagen in denen die Approximation von Funktionen durch gewisse Folgen von Funktionen untersucht wird So werden in einer Anwendung s u stetige Funktionen durch Polynome approximiert Die Besonderheit in der Korowkin Approximation besteht darin dass man zu Konvergenzaussagen fur ganze Approximationsverfahren kommt indem man die Konvergenz des Verfahrens nur an endlich vielen Funktionen pruft Der Ausgangspunkt ist ein Satz von Pawel Petrowitsch Korowkin aus dem Jahre 1953 Inhaltsverzeichnis 1 Satz von Korowkin 2 Anwendung 3 Korowkin Approximation 4 LiteraturSatz von Korowkin BearbeitenIm folgenden Satz sei C a b displaystyle C a b nbsp der Raum der stetigen reellwertigen Funktionen auf dem Intervall a b displaystyle a b nbsp Ferner stehe x k displaystyle x k nbsp fur die Einschrankung der Funktion x x k displaystyle x mapsto x k nbsp auf a b displaystyle a b nbsp Fur k 0 displaystyle k 0 nbsp ist das die konstante Funktion mit dem Wert 1 fur k 1 displaystyle k 1 nbsp erhalt man die identische Funktion i d a b displaystyle id a b nbsp fur k 2 displaystyle k 2 nbsp hat man die Einschrankung der Quadratfunktion auf a b displaystyle a b nbsp Der Satz von Korowkin lautet wie folgt Ist P n n N displaystyle P n n in mathbb N nbsp eine Folge von positiven linearen Operatoren C a b C a b displaystyle C a b rightarrow C a b nbsp und ist P n x k n x k displaystyle P n x k stackrel n rightarrow x k nbsp gleichmassig auf a b displaystyle a b nbsp fur k 0 1 2 displaystyle k 0 1 2 nbsp so ist P n f n f displaystyle P n f stackrel n rightarrow f nbsp gleichmassig auf a b displaystyle a b nbsp fur alle f C a b displaystyle f in C a b nbsp Fasst man die Folge P n n displaystyle P n n nbsp als ein Approximationsverfahren auf so muss man die Konvergenz des Verfahrens im Sinne obigen Satzes nur fur die drei Funktionen x k k 0 1 2 displaystyle x k k 0 1 2 nbsp nachweisen Es folgt dann die Konvergenz des Verfahrens fur alle Funktionen Anwendung BearbeitenZur Verdeutlichung soll hier die wohl bekannteste Anwendung wiedergegeben werden eine Herleitung des weierstrassschen Approximationssatzes Fur f C 0 1 displaystyle f in C 0 1 nbsp sei B n f displaystyle B n f nbsp das n displaystyle n nbsp te Bernsteinpolynom von f displaystyle f nbsp d h B n f t i 0 n n i f i n t i 1 t n i t 0 1 displaystyle B n f t sum i 0 n n choose i f left frac i n right t i 1 t n i t in 0 1 nbsp Dann ist B n n displaystyle B n n nbsp eine Folge positiver linearer Operatoren Die Konvergenz B n x k n x k displaystyle B n x k stackrel n rightarrow x k nbsp fur k 0 1 2 displaystyle k 0 1 2 nbsp kann durch sehr elementare Umformungen an den auftretenden Summen gezeigt werden Der Satz von Korowkin liefert dann dass B n f n f displaystyle B n f stackrel n rightarrow f nbsp fur alle stetigen Funktionen f displaystyle f nbsp gleichmassig auf 0 1 displaystyle 0 1 nbsp Das bedeutet also dass jede stetige Funktion auf 0 1 gleichmassig durch Polynome approximiert werden kann d h man erhalt so eine komfortable Herleitung des weierstrassschen Approximationssatzes Diese Argumentation lasst sich leicht auf das allgemeinere Intervall a b displaystyle a b nbsp ausdehnen Korowkin Approximation BearbeitenDie Erweiterungen des Satzes von Korowkin auf allgemeinere Situationen bilden die sogenannte Korowkin Approximationstheorie die sich auf funktionalanalytische Methoden stutzt Man geht darin der folgenden Frage nach In welchen Situationen kann man auf Konvergenzaussagen der Form P n f n f displaystyle P n f stackrel n rightarrow f nbsp schliessen indem man die Konvergenz fur nur endlich viele der Funktionen f displaystyle f nbsp nachweisen muss Dabei kann man den Raum C a b displaystyle C a b nbsp einmal als Prototyp einer Banachalgebra ansehen und in diesem Kontext zu allgemeineren Konvergenzaussagen kommen oder man versucht C a b displaystyle C a b nbsp durch allgemeinere geordnete Vektorraume zu ersetzen So gilt z B folgender Satz in Lp Raumen 1 p lt displaystyle 1 leq p lt infty nbsp Ist P n n displaystyle P n n nbsp eine Folge positiver linearer Operatoren L p 1 L p 1 displaystyle L p 1 infty rightarrow L p 1 infty nbsp und gilt P n f f p n 0 displaystyle P n f f p stackrel n rightarrow 0 nbsp fur alle f x l 1 x l 2 x l 3 displaystyle f in x lambda 1 x lambda 2 x lambda 3 nbsp wobei 1 p lt l 1 lt l 2 lt l 3 displaystyle textstyle frac 1 p lt lambda 1 lt lambda 2 lt lambda 3 nbsp so folgt bereits P n f f p n 0 displaystyle P n f f p stackrel n rightarrow 0 nbsp fur alle f L p 1 displaystyle f in L p 1 infty nbsp In den bisher betrachteten Beispielen hatte man Konvergenzaussagen der Art P n f f displaystyle P n f rightarrow f nbsp fur alle f displaystyle f nbsp aus einem geeigneten Raum X displaystyle X nbsp d h P n i d X displaystyle P n rightarrow mathrm id X nbsp punktweise auf X displaystyle X nbsp Weitere Verallgemeinerungen erhalt man wenn man den id Operator durch andere Operatoren ersetzt also Konvergenzaussagen der Art P n S displaystyle P n rightarrow S nbsp punktweise untersucht Schliesslich kann man von den Operatoren X X displaystyle X rightarrow X nbsp auf Operatoren von X displaystyle X nbsp in andere Raume verallgemeinern z B auf Funktionale X R displaystyle X rightarrow mathbb R nbsp Einen guten Uberblick liefert das unten angegebene Buch von Altomare und Campiti Literatur BearbeitenP P Korovkin Uber die Konvergenz positiver linearer Operatoren im Raum stetiger Funktionen Dokl Akad Nauk SSSR Band 90 1953 Seiten 961 964 russisch F Altomare M Campiti Korovkin type Approximation Theory and its Applications de Gruyter Studies in Mathematics Band 17 1994 ISBN 978 3 11 014178 8 Abgerufen von https de wikipedia org w index php title Korowkin Approximation amp oldid 225361198