www.wikidata.de-de.nina.az
Das Leibniz Kriterium ist ein Konvergenzkriterium im mathematischen Teilgebiet der Analysis Mit diesem Kriterium kann die Konvergenz einer unendlichen Reihe gezeigt werden Benannt ist es nach dem Universalgelehrten Gottfried Wilhelm Leibniz der das Kriterium 1682 veroffentlichte 1 2 Inhaltsverzeichnis 1 Aussage des Kriteriums 2 Beispiele 2 1 Alternierende harmonische Reihe 2 2 Leibniz Reihe 2 3 Gegenbeispiel 3 Abschatzung des Grenzwerts 4 Beweis 5 Verallgemeinerung 6 EinzelnachweiseAussage des Kriteriums Bearbeiten nbsp Partialsumme einer alternierenden ReiheSei a n n N 0 displaystyle a n n in mathbb N 0 nbsp eine monoton fallende reelle Nullfolge dann konvergiert die alternierende Reihe s n 0 1 n a n displaystyle s sum n 0 infty 1 n a n nbsp Uber den Grenzwert der Reihe macht das Kriterium jedoch keine Aussage Das Kriterium gilt auch fur monoton wachsende Nullfolgen denn ist a n n N 0 displaystyle a n n in mathbb N 0 nbsp eine monoton wachsende Nullfolge so ist a n n N 0 displaystyle a n n in mathbb N 0 nbsp eine monoton fallende Nullfolge Beispiele BearbeitenMit dem Leibniz Kriterium kann beispielsweise die Konvergenz der alternierenden harmonischen Reihe und der Leibniz Reihe gezeigt werden Alternierende harmonische Reihe Bearbeiten Die alternierende harmonische Reihe 1 1 2 1 3 1 4 1 5 n 1 1 n 1 n ln 2 displaystyle 1 frac 1 2 frac 1 3 frac 1 4 frac 1 5 mp cdots sum n 1 infty frac 1 n 1 n ln 2 nbsp konvergiert nach dem Leibniz Kriterium Allerdings konvergiert sie nicht absolut Leibniz Reihe Bearbeiten Hauptartikel Leibniz Reihe 1 1 3 1 5 1 7 1 9 n 0 1 n 2 n 1 a r c t a n 1 p 4 displaystyle 1 frac 1 3 frac 1 5 frac 1 7 frac 1 9 mp cdots sum n 0 infty frac 1 n 2n 1 mathrm arctan 1 frac pi 4 nbsp Gegenbeispiel Bearbeiten Dieses Gegenbeispiel zeigt dass es nicht genugt wenn a n displaystyle a n nbsp nur eine Nullfolge ist Die Monotonie ist notwendig fur dieses Kriterium Betrachtet man die nicht monotone Nullfolge a n 0 f a l l s n g e r a d e 2 n 1 f a l l s n u n g e r a d e displaystyle a n begin cases 0 amp mathrm falls n mathrm gerade frac 2 n 1 amp mathrm falls n mathrm ungerade end cases nbsp Die alternierende Reihe s displaystyle s nbsp mit diesen Koeffizienten hat als ungerade Reihenglieder die negative harmonische Reihe die divergiert Daher ist auch die gesamte Reihe s displaystyle s nbsp divergent Abschatzung des Grenzwerts BearbeitenDas Leibniz Kriterium liefert eine Abschatzung fur den Grenzwert denn bei derartig alternierenden Reihen liegt der Grenzwert immer zwischen zwei aufeinanderfolgenden Partialsummen Sei s N n 0 N 1 n a n displaystyle s N sum n 0 N 1 n a n nbsp die N displaystyle N nbsp te Partialsumme der Reihe s n 0 1 n a n displaystyle s sum n 0 infty 1 n a n nbsp mit einer monoton fallenden Nullfolge a n n N 0 displaystyle a n n in mathbb N 0 nbsp Dann gilt fur alle k N 0 displaystyle k in mathbb N 0 nbsp s 2 k 1 s s 2 k displaystyle s 2k 1 leq s leq s 2k nbsp Es gibt zudem noch eine Fehlerabschatzung das heisst eine Abschatzung des Restglieds der Summe nach N displaystyle N nbsp Summanden 3 s s N n N 1 1 n a n a N 1 displaystyle s s N left sum n N 1 infty 1 n a n right leq a N 1 nbsp Beweis BearbeitenWir betrachten die Teilfolge s 0 s 2 s 4 s 2 k k N 0 displaystyle s 0 s 2 s 4 dots s 2k k in mathbb N 0 nbsp der Folge der Partialsummen Da die Folge a k k N 0 displaystyle a k k in mathbb N 0 nbsp monoton fallend ist gilt s 2 k 2 s 2 k a 2 k 1 a 2 k 2 s 2 k k N 0 displaystyle s 2k 2 s 2k a 2k 1 a 2k 2 leq s 2k quad k in mathbb N 0 nbsp Das heisst die Folge s 2 k k N 0 displaystyle s 2k k in mathbb N 0 nbsp ist ebenfalls monoton fallend Sie ist ausserdem nach unten beschrankt denn s 2 k a 0 a 1 a 2 a 3 a 2 k 2 a 2 k 1 a 2 k a 2 k 0 displaystyle s 2k a 0 a 1 a 2 a 3 dots a 2k 2 a 2k 1 a 2k geq a 2k geq 0 nbsp nachdem die Klammerausdrucke wegen der Monotonie der Folge a k k N displaystyle a k k in mathbb N nbsp grosser gleich Null sind Die Folge s 2 k k N 0 displaystyle s 2k k in mathbb N 0 nbsp ist also nicht nur monoton fallend sondern auch nach unten beschrankt und damit nach dem Monotoniekriterium konvergent Die Folge s 1 s 3 s 5 s 2 k 1 k N 0 displaystyle s 1 s 3 s 5 dots s 2k 1 k in mathbb N 0 nbsp ist ebenfalls konvergent ahnliches Argument wie oben aber monoton steigend und hat denselben Grenzwert da lim k s 2 k 1 lim k s 2 k a 2 k 1 lim k s 2 k displaystyle lim k to infty s 2k 1 lim k to infty left s 2k a 2k 1 right lim k to infty s 2k nbsp wegen lim k a 2 k 1 0 displaystyle lim k to infty a 2k 1 0 nbsp gilt 4 Verallgemeinerung BearbeitenDas Leibniz Kriterium stellt einen Spezialfall des allgemeineren Kriterium von Dirichlet dar Einzelnachweise Bearbeiten Leibniz criterion In Michiel Hazewinkel Hrsg Encyclopedia of Mathematics Springer Verlag und EMS Press Berlin 2002 ISBN 1 55608 010 7 englisch encyclopediaofmath org Gottfried Wilhelm Leibniz De vera proportione circuli ad quadratum circumscritum in Numeris rationalibus expressa In Acta Eruditorum 1682 Latein archive org abgerufen am 1 November 2022 Zitiert nach Ernst Hairer Gerhard Wanner Analysis in historischer Entwicklung Springer Verlag 2011 ISBN 978 3 642 13766 2 ISSN 0937 7433 doi 10 1007 978 3 642 13767 9 englisch Analysis by Its History 2008 Ubersetzt von Andreas Lochmann Siehe https mo mathematik uni stuttgart de inhalt erlaeuterung erlaeuterung286 Beweis nach Handbuch der Mathematik Leipzig 1986 ISBN 3 8166 0015 8 S 408 409 Im Unterschied zu diesem Artikel beginnt die Reihe im Buch mit a 1 displaystyle a 1 nbsp so dass sich ein kleiner Unterschied ergibt Abgerufen von https de wikipedia org w index php title Leibniz Kriterium amp oldid 238032886