„Konvergenzkriterium von Pringsheim“ – Versionsunterschied

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen
[gesichtete Version][gesichtete Version]
Inhalt gelöscht Inhalt hinzugefügt
Ergänzung: Konvergenzsatz von Tietze inkl. weiterer Literatur / kleinere Anpassungen.
Zeile 67: Zeile 67:
Dieses weitere Konvergenzkriterium von Pringsheim ist beispielsweise immer anwendbar für den Fall, dass alle Teilnenner &nbsp; <math> b_i </math> &nbsp; <math> (i=1,2,3 \dots)</math> mindestens den [[Betragsfunktion#Komplexe_Betragsfunktion|Betrag]] 2 haben.
Dieses weitere Konvergenzkriterium von Pringsheim ist beispielsweise immer anwendbar für den Fall, dass alle Teilnenner &nbsp; <math> b_i </math> &nbsp; <math> (i=1,2,3 \dots)</math> mindestens den [[Betragsfunktion#Komplexe_Betragsfunktion|Betrag]] 2 haben.


== Ergänzende Kriterien: Die Sätze von Stern-Stolz und von Seidel-Stern ==
== Zugehörige Kriterien: Die Sätze von Stern-Stolz und von Seidel-Stern sowie der Konvergenzsatz von Tietze ==
Im Falle der ''regulären unendlichen Kettenbrüche'' existieren hinsichtlich der Frage der [[Konvergenz (Mathematik)|Konvergenz und Divergenz]] einige Kriterien, welche als Ergänzung zum '''pringsheimschen Konvergenzkriterium''' immer wieder zum Tragen kommen. Dazu zählen die im Folgenden dargestellten ''Sätze von Stern-Stolz und von Seidel-Stern'', welche ebenfalls zum klassischen Bestand der Kettenbruchkonvergenztheorie zählen.
Im Falle der ''regulären unendlichen Kettenbrüche'' existieren hinsichtlich der Frage der [[Konvergenz (Mathematik)|Konvergenz und Divergenz]] einige Kriterien, welche als Ergänzung zum '''pringsheimschen Konvergenzkriterium''' immer wieder zum Tragen kommen. Dazu zählen die im Folgenden dargestellten Sätze, welche neben dem Konvergenzkriterium von Pringsheim zu den klassischen Resultaten der Kettenbruchkonvergenztheorie zählen.


=== Satz von Stern-Stolz ===
=== Satz von Stern-Stolz ===
Zeile 101: Zeile 101:
Dieses Kriterium geht auf [[Philipp Ludwig von Seidel]] und Moritz Abraham Stern zurück.<ref>{{Literatur| Autor = Perron| Seiten = 46}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 98}}</ref><ref>{{Literatur| Autor = Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten = 764, 962}}</ref><ref>Bei {{Literatur| Autor = Jones - Thron| Seiten = 87}} wird der ''Satz von Seidel-Stern'' in einer etwas verschärften Fassung dargestellt, welche Aussagen über das Konvergenzverhalten der Näherungsbrüche einbezieht.</ref> Es kommt zum Tragen, wenn die in '''Teil I''' des '''pringsheimschen Kriteriums''' genannte Ungleichung nicht durchgängig erfüllbar ist, jedoch in Verbindung mit der vorausgesetzten Positivität der ''Teilnenner'' durch die Reihendivergenzbedingung ersetzt werden kann.
Dieses Kriterium geht auf [[Philipp Ludwig von Seidel]] und Moritz Abraham Stern zurück.<ref>{{Literatur| Autor = Perron| Seiten = 46}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 98}}</ref><ref>{{Literatur| Autor = Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten = 764, 962}}</ref><ref>Bei {{Literatur| Autor = Jones - Thron| Seiten = 87}} wird der ''Satz von Seidel-Stern'' in einer etwas verschärften Fassung dargestellt, welche Aussagen über das Konvergenzverhalten der Näherungsbrüche einbezieht.</ref> Es kommt zum Tragen, wenn die in '''Teil I''' des '''pringsheimschen Kriteriums''' genannte Ungleichung nicht durchgängig erfüllbar ist, jedoch in Verbindung mit der vorausgesetzten Positivität der ''Teilnenner'' durch die Reihendivergenzbedingung ersetzt werden kann.


=== Konvergenzsatz von Tietze ===
== Beispiele ==
Der '''Konvergenzsatz von Tietze''' behandelt ebenfalls das ''Konvergenzverhalten unendlicher Kettenbrüchen''. Er geht zurück auf den deutschen Mathematiker [[Heinrich Tietze]] und besagt folgendes:<ref>{{Literatur| Autor = Perron| Seiten = 135 ff}}</ref><ref>{{Literatur|Autor=Tietze|Sammelwerk=Math. Ann.|Band=70|Seiten =236 ff}}</ref>

Es seien zwei Zahlenfolgen [[Reelle Zahl|reeller Zahlen]] &nbsp; <math> (a_i)_{i=1,2,3\dots} </math> &nbsp; und &nbsp; <math> (b_i)_{i=0,1,2,3\dots} </math> &nbsp; gegeben, welche für alle [[Index (Mathematik)|Indizes]] &nbsp; <math> i \in \N </math> &nbsp; den folgenden drei [[Bedingung]]en genügen:

:&nbsp; '''(I)''' &nbsp; <math> | a_i | = 1 </math><ref><math> | \cdot | </math> steht für die [[Betragsfunktion]]. </ref>

:&nbsp; '''(II)''' &nbsp; <math> b_i \geq 1 </math>

:&nbsp; '''(III)''' &nbsp; <math> b_i + a_{i+1} \geq 1 </math>

Dann ist der zugehörige Kettenbruch
:&nbsp; '''(*)''' &nbsp; <math> b_0 + \underset{i=1}{\overset{\infty}{\mathbf{K}}} \frac{a_i}{b_i}</math>

stets konvergent. Die Folge der Näherungsbrüche
: <math>f_n= b_0 +{\cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{a_3}{ \ddots + \cfrac{a_n}{b_n} }}} }</math> &nbsp; <math> (n=0,1,2,3, \dots)</math>

[[Konvergente Folge|konvergiert]] dabei in &nbsp; <math>\R </math> &nbsp; gegen den Grenzwert
:<math>f = \lim_{n\to\infty} f_n = b_0 + {\cfrac{a_1}{b_1+\cfrac{a_2}{b_2+\cfrac{a_3}{b_3+ \ddots}}} }</math>

und dabei gilt
:<math> b_0 < f \leq b_0 + 1 </math> &nbsp; , falls &nbsp; <math> a_1 = 1 </math> &nbsp; ,

bzw.
:<math> b_0 - 1 \leq f < b_0 </math> &nbsp; , falls &nbsp; <math> a_1 = -1 </math> &nbsp; .

Darüber hinaus erfüllen die Nenner &nbsp; <math> B_n</math> &nbsp; der Näherungsbrüche &nbsp; <math>f_n</math> &nbsp; &nbsp; <math> (n=0,1,2,3 \dots)</math> &nbsp; stets die Ungleichung
:<math>B_n \geq 1</math>

und es ist
:<math>\lim_{n\to \infty} B_n = \infty</math>

==== Zusammenhang mit Irrationalität ====
Ausgehend vom '''Konvergenzsatz von Tietze''' lassen sich [[Irrationalität]]saussagen erzielen. Wie schon Heinrich Tietze selbst bewies, konvergiert jeder unendliche Kettenbruch der Form &nbsp; '''(*)''' &nbsp; stets - mit einer einzigen Ausnahme! - gegen eine [[irrationale Zahl]] &nbsp; <math>f </math> , sofern man die Bedingungen wie folgt verschärft:<ref>{{Literatur|Autor=Tietze|Sammelwerk=Math. Ann.|Band=70|Seiten =246 ff}}</ref>

:&nbsp; '''(Ia)''' &nbsp; <math> | a_i | = 1 </math>

:&nbsp; '''(IIb)''' &nbsp; <math> b_0 \in \Z </math> &nbsp;, &nbsp; '''(IIa)''' &nbsp; <math> b_i \in \N </math>

:&nbsp; '''(IIIa)''' &nbsp; <math> a_{i+1} = 1 </math> &nbsp;, sofern &nbsp; <math> b_i = 1 </math>

:&nbsp; <math> (i=1,2,3\dots) </math>

Die Ausnahme liegt dann vor, wenn ab einem Index &nbsp; <math> i_0 </math> &nbsp; für alle Indizes &nbsp; <math> i > i_0 </math> &nbsp; zusätzlich die folgende Ausnahmebedingung &nbsp; '''(A)''' &nbsp; erfüllt ist:

:&nbsp; '''(A)''' &nbsp; <math> a_i = -1</math> &nbsp; , &nbsp; <math> b_i = 2</math>

In diesem Ausnahmefall ist der Grenzwert &nbsp; <math>f </math> &nbsp; eine [[rationale Zahl]].

== Beispiele und Anwendung ==
=== Beispiel I ===
=== Beispiel I ===
Nach dem '''Konvergenzkriterium von Pringsheim''' konvergiert der folgende unendliche Kettenbruch:
Nach dem '''Konvergenzkriterium von Pringsheim''' konvergiert der folgende unendliche Kettenbruch:
Zeile 194: Zeile 243:
Dies zeigt, dass der ''Satz von Stern-Stolz'' im Allgemeinen nur eine notwendige, jedoch keine hinreichende Bedingung für die Konvergenz von ''regulären unendlichen Kettenbrüchen'' angibt.<ref>{{Literatur| Autor = Wall| Seiten = 29}}</ref>
Dies zeigt, dass der ''Satz von Stern-Stolz'' im Allgemeinen nur eine notwendige, jedoch keine hinreichende Bedingung für die Konvergenz von ''regulären unendlichen Kettenbrüchen'' angibt.<ref>{{Literatur| Autor = Wall| Seiten = 29}}</ref>


== Anwendung: Darstellung reeller Zahlen durch negativ-regelmäßige Kettenbrüche ==
=== Anwendung: Darstellung reeller Zahlen durch negativ-regelmäßige Kettenbrüche ===
Ein unendlicher reeller Kettenbruch der Form
Ein unendlicher reeller Kettenbruch der Form
:(*) <math> b_0 +{\underset{i=1}{\overset{\infty}{\mathbf{K}}} \frac{-1}{b_i}}= b_0 -{\cfrac{1}{b_1-\cfrac{1}{b_2-\cfrac{1}{b_3-\ddots}}} }
:(*) <math> b_0 +{\underset{i=1}{\overset{\infty}{\mathbf{K}}} \frac{-1}{b_i}}= b_0 -{\cfrac{1}{b_1-\cfrac{1}{b_2-\cfrac{1}{b_3-\ddots}}} }
Zeile 207: Zeile 256:
Ausgehend davon erhält man den folgenden ''Darstellungssatz'':<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =337}}</ref>
Ausgehend davon erhält man den folgenden ''Darstellungssatz'':<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =337}}</ref>


=== Formulierung des Darstellungssatzes ===
==== Formulierung des Darstellungssatzes ====
Die ''Menge der unendlichen negativ-regelmäßigen Kettenbrüche'' und die ''Menge der reellen Zahlen'' stehen in [[Bijektion]] zueinander in der Weise, dass jede reelle Zahl &nbsp; <math> \xi \in \R </math> &nbsp; durch einen ''unendlichen negativ-regelmäßigen Kettenbruch'' der Form '''(*)''' darstellbar ist, wobei die Folge der ''Teilnenner'' &nbsp; <math> (b_i)_{i=0,1,2,3\dots} </math> &nbsp; durch &nbsp; <math>\xi</math> &nbsp; eindeutig bestimmt ist.
Die ''Menge der unendlichen negativ-regelmäßigen Kettenbrüche'' und die ''Menge der reellen Zahlen'' stehen in [[Bijektion]] zueinander in der Weise, dass jede reelle Zahl &nbsp; <math> \xi \in \R </math> &nbsp; durch einen ''unendlichen negativ-regelmäßigen Kettenbruch'' der Form '''(*)''' darstellbar ist, wobei die Folge der ''Teilnenner'' &nbsp; <math> (b_i)_{i=0,1,2,3\dots} </math> &nbsp; durch &nbsp; <math>\xi</math> &nbsp; eindeutig bestimmt ist.


=== Zusatz I: Algorithmus zur Bestimmung der Teilnenner ===
==== Zusatz I: Algorithmus zur Bestimmung der Teilnenner ====
Die ''Teilnenner'' lassen sich durch folgenden [[Algorithmus]] gewinnen:<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=818-819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =336-337}}</ref>
Die ''Teilnenner'' lassen sich durch folgenden [[Algorithmus]] gewinnen:<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=818-819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =336-337}}</ref>


Zeile 233: Zeile 282:
:<math>b_i := G(x_i)</math> &nbsp; <math> (i=0,1,2,3 \dots) </math> &nbsp;.
:<math>b_i := G(x_i)</math> &nbsp; <math> (i=0,1,2,3 \dots) </math> &nbsp;.


=== Zusatz II: Unterscheidung rationaler und irrationaler Zahlen ===
==== Zusatz II: Unterscheidung rationaler und irrationaler Zahlen ====
Eine [[rationale Zahl]] &nbsp; <math> \xi \in \Q </math> &nbsp; ist dadurch gekennzeichnet, dass in ihrer Darstellung '''(*)''' ab einem gewissen Index &nbsp; <math> i_{\xi} \in \{ 0,1,2,3\dots \} </math> für &nbsp; <math>i \geq i_{\xi} </math> &nbsp; &nbsp; jeder ''Teilnenner'' &nbsp; <math> b_i = 2 </math> &nbsp; ist, während sich eine [[irrationale Zahl]] &nbsp; <math> \xi \in {\R \setminus \Q}</math> &nbsp; dadurch auszeichnet, dass in ihrer Darstellung '''(*)''' [[Unendlich|unendlich viele]] ''Teilnenner'' &nbsp; <math> b_{i_k} \geq 3 </math> &nbsp; sind &nbsp; <math> (k=0,1,2,3\dots) </math> &nbsp; .<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =337}}</ref>
Eine [[rationale Zahl]] &nbsp; <math> \xi \in \Q </math> &nbsp; ist dadurch gekennzeichnet, dass in ihrer Darstellung '''(*)''' ab einem gewissen Index &nbsp; <math> i_{\xi} \in \{ 0,1,2,3\dots \} </math> für &nbsp; <math>i \geq i_{\xi} </math> &nbsp; &nbsp; jeder ''Teilnenner'' &nbsp; <math> b_i = 2 </math> &nbsp; ist, während sich eine [[irrationale Zahl]] &nbsp; <math> \xi \in {\R \setminus \Q}</math> &nbsp; dadurch auszeichnet, dass in ihrer Darstellung '''(*)''' [[Unendlich|unendlich viele]] ''Teilnenner'' &nbsp; <math> b_{i_k} \geq 3 </math> &nbsp; sind &nbsp; <math> (k=0,1,2,3\dots) </math> &nbsp; .<ref>{{Literatur| Autor =Pringsheim|Titel= Vorlesungen ...|Band=I.3|Seiten=819}}</ref><ref>{{Literatur| Autor =Sierpiński|Seiten =337}}</ref>


=== Beispiele für negativ-regelmäßige Kettenbruchdarstellungen ===
==== Beispiele für negativ-regelmäßige Kettenbruchdarstellungen ====
Folgende Beispielen lassen sich angeben:<ref>{{Literatur| Autor =Sierpiński|Seiten =337-338}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 562}}</ref>
Folgende Beispielen lassen sich angeben:<ref>{{Literatur| Autor =Sierpiński|Seiten =337-338}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 562}}</ref>


Zeile 271: Zeile 320:
== Anmerkungen ==
== Anmerkungen ==
# Auf Alfred Pringsheim gehen noch weitere Konvergenzkriterien für unendliche Kettenbrüche zurück. Darüber hinaus gibt es noch eine erhebliche Anzahl anderer Konvergenzkriterien.<ref>{{Literatur| Autor = Perron|Seiten = 38 ff}}</ref><ref>{{Literatur| Autor = Jones - Thron| Seiten = 60 - 146}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 32 - 36}}</ref><ref>{{Literatur| Autor=Wall||Titel=Analytic Theory ... .Part I: Convergence Theory Seiten =11 - 157}}</ref>
# Auf Alfred Pringsheim gehen noch weitere Konvergenzkriterien für unendliche Kettenbrüche zurück. Darüber hinaus gibt es noch eine erhebliche Anzahl anderer Konvergenzkriterien.<ref>{{Literatur| Autor = Perron|Seiten = 38 ff}}</ref><ref>{{Literatur| Autor = Jones - Thron| Seiten = 60 - 146}}</ref><ref>{{Literatur| Autor = Lorentzen - Waadeland| Seiten = 32 - 36}}</ref><ref>{{Literatur| Autor=Wall||Titel=Analytic Theory ... .Part I: Convergence Theory Seiten =11 - 157}}</ref>
# Aus dem Darstellungssatz folgt unmittelbar, dass die ''Menge der reellen Zahlen'' von [[Mächtigkeit (Mathematik)|überabzählbarer Mächtigkeit]] ist.
# Aus dem Darstellungssatz folgt unmittelbar, dass die ''Menge der reellen Zahlen'' von [[Überabzählbar|überabzählbarer Mächtigkeit]] ist.


== Literatur ==
== Literatur ==
Zeile 308: Zeile 357:
|Jahr=1980
|Jahr=1980
|ISBN=0-201-13510-8
|ISBN=0-201-13510-8
|DOI=
}}
== Literatur ==
* {{Literatur
|Autor=Oskar Perron
|Titel= Die Lehre von den Kettenbrüchen - Band I: Elementare Kettenbrüche. Reprografischer Nachdruck der 3., verbesserten und erweiterten Auflage, Stuttgart 1954
|Reihe=
|Band=
|Auflage=
|Verlag=[[Teubner Verlag]]
|Ort=Stuttgart
|Jahr=1977
|ISBN=3-519-02021-1
|DOI=
|DOI=
}}
}}
Zeile 350: Zeile 412:
|Seiten=13-20
|Seiten=13-20
}} [http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Thron%2C%20W.%20J.&s5=&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=19&mx-pid=1192192 MR1192192]
}} [http://www.ams.org/mathscinet/search/publdoc.html?arg3=&co4=AND&co5=AND&co6=AND&co7=AND&dr=all&pg4=AUCN&pg5=TI&pg6=PC&pg7=ALLF&pg8=ET&review_format=html&s4=Thron%2C%20W.%20J.&s5=&s6=&s7=&s8=All&vfpref=html&yearRangeFirst=&yearRangeSecond=&yrop=eq&r=19&mx-pid=1192192 MR1192192]
* {{Literatur
|Autor=Heinrich Tietze
|Titel=Über Kriterien für Konvergenz und Irrationalität unendlicher Kettenbrüche
|Sammelwerk=[[Mathematische Annalen|Math. Ann.]]
|Band=70
|Jahr=1911
|Seiten=236-265
}}[http://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002263750]
* {{Literatur
* {{Literatur
|Autor=Alfred Pringsheim
|Autor=Alfred Pringsheim

Version vom 2. Januar 2014, 23:46 Uhr

Die Konvergenzkriterium von Pringsheim oder auch Hauptkriterium von Pringsheim ist ein Kriterium über das Konvergenzverhalten von unendlichen Kettenbrüchen. Es geht zurück auf den deutschen Mathematiker Alfred Pringsheim und gehört zu den klassischen Lehrsätzen der Kettenbruchlehre innerhalb der Analytischen Zahlentheorie.[1][2] In der englischsprachigen Fachliteratur wird das Kriterium auch unter dem Namen Śleszyński-Pringsheim's theorem (u. ä.) geführt,[3] wobei der erstgenannte Name auf den polnisch-russischen Mathematiker Ivan Śleszyński (1854 – 1931) verweist, welcher dieses Kriterium ebenfalls und schon vor Pringsheim gefunden hatte. Es gibt Hinweise darauf, dass Alfred Pringsheim die entsprechende Veröffentlichung von Ivan Śleszyński möglicherweise kannte, als er seine Veröffentlichung im Jahre 1898 machte. [4] Anzufügen ist hier aber auch der Hinweis von Oskar Perron im Band II seiner Lehre von den Kettenbrüchen, wonach der wesentliche Inhalt dieses Satzes schon in dem Lehrbuch der algebraischen Analysis von Moritz Abraham Stern (Leipzig 1860) zu finden ist.[5]

Formulierung der Kriteriums

Teil I

Für zwei Zahlenfolgen komplexer Zahlen     und   [6]   mit der Eigenschaft, dass die Ungleichungen

  [7]

erfüllt sind, ist der zugehörige Kettenbruch

stets konvergent. Das bedeutet:

Die Folge der Näherungsbrüche

 

ist eine konvergente Folge und der durch sie eindeutig bestimmte Grenzwert mit

   .

ist der Wert des zugehörigen Kettenbruchs.

Teil II

Im Falle, dass die oben genannte Bedingung erfüllt ist, gilt stets

    und damit   .

Teil III

Der Grenzfall     liegt dann und nur dann vor, wenn folgende drei Bedingungen erfüllt sind:

(IIIa)    
(IIIb)   Alle     sind negative reelle Zahlen.
(IIIc) Die Reihe     ist divergent.

In diesem Grenzfall hat der Kettenbruch den Wert 

Folgerungen

Aus dem Konvergenzkriterium von Pringsheim lassen sich die mehrere weitere Konvergenzkriterien ableiten. Dazu zählen die folgenden:[8][9][10]

Folgerung I: Der Satz von Worpitzky

Für eine Zahlenfolge komplexer Zahlen    , welche in allen Folgengliedern die Ungleichung

 

erfüllt, ist der Kettenbruch

stets konvergent.

Dabei gilt für die Näherungsbrüche       stets

und dementsprechend für den Wert     des Kettenbruchs

Der Satz von Worpitzky wurde im Jahre 1865 von Julius Worpitzky veröffentlicht [11] und gilt als das erste Konvergenzkriterium für Kettenbrüche mit Elementen der komplexen Ebene.[12]

Folgerung II: Weiteres Konvergenzkriterium von Pringsheim

Durch Spezialisierung findet man mit dem Konvergenzkriterium von Pringsheim ein weiteres, welches Alfred Pringsheim in seiner Arbeit Über die Konvergenz unendlicher Kettenbrüche in den Sitzungsberichten der Bayerischen Akademie der Wissenschaften von 1898 selbst formuliert hat[13] und welches wie folgt lautet:

Für eine Zahlenfolge komplexer Zahlen    , welche in allen Folgengliedern die Ungleichung

 

erfüllt, ist der reguläre Kettenbruch

stets konvergent.

Dieses weitere Konvergenzkriterium von Pringsheim ist beispielsweise immer anwendbar für den Fall, dass alle Teilnenner     mindestens den Betrag 2 haben.

Zugehörige Kriterien: Die Sätze von Stern-Stolz und von Seidel-Stern sowie der Konvergenzsatz von Tietze

Im Falle der regulären unendlichen Kettenbrüche existieren hinsichtlich der Frage der Konvergenz und Divergenz einige Kriterien, welche als Ergänzung zum pringsheimschen Konvergenzkriterium immer wieder zum Tragen kommen. Dazu zählen die im Folgenden dargestellten Sätze, welche neben dem Konvergenzkriterium von Pringsheim zu den klassischen Resultaten der Kettenbruchkonvergenztheorie zählen.

Satz von Stern-Stolz

Der Satz von Stern-Stolz formuliert eine sehr allgemeine Bedingung für die Divergenz regulärer unendlicher Kettenbrüche und lautet wie folgt:[14][15][16]

Ein beliebiger komplexer Kettenbruch

zu einer Zahlenfolge komplexer Zahlen      

ist in jedem Falle divergent, wenn die zugehörige Reihe

absolut konvergent ist. D. h.: Für die Konvergenz des Kettenbruchs ist es stets notwendig, dass

gilt.

Dieses Kriterium geht auf Moritz Abraham Stern und Otto Stolz zurück.[17][18][19][20][21]

Satz von Seidel-Stern

Der Satz von Seidel-Stern verschärft den Satz von Stern-Stolz für den Fall regulärer unendlicher Kettenbrüche mit durchweg positiven Teilnennern, indem er die zuletzt genannte Bedingung sogar als notwendige und hinreichende Bedingung ausweist. Er lautet also:

Für eine Zahlenfolge positiver reeller Zahlen     konvergiert der Kettenbruch

dann und nur dann, wenn die zugehörige Reihe

divergiert.

Dieses Kriterium geht auf Philipp Ludwig von Seidel und Moritz Abraham Stern zurück.[22][23][24][25] Es kommt zum Tragen, wenn die in Teil I des pringsheimschen Kriteriums genannte Ungleichung nicht durchgängig erfüllbar ist, jedoch in Verbindung mit der vorausgesetzten Positivität der Teilnenner durch die Reihendivergenzbedingung ersetzt werden kann.

Konvergenzsatz von Tietze

Der Konvergenzsatz von Tietze behandelt ebenfalls das Konvergenzverhalten unendlicher Kettenbrüchen. Er geht zurück auf den deutschen Mathematiker Heinrich Tietze und besagt folgendes:[26][27]

Es seien zwei Zahlenfolgen reeller Zahlen     und     gegeben, welche für alle Indizes     den folgenden drei Bedingungen genügen:

  (I)   [28]
  (II)  
  (III)  

Dann ist der zugehörige Kettenbruch

  (*)  

stets konvergent. Die Folge der Näherungsbrüche

 

konvergiert dabei in     gegen den Grenzwert

und dabei gilt

  , falls     ,

bzw.

  , falls     .

Darüber hinaus erfüllen die Nenner     der Näherungsbrüche         stets die Ungleichung

und es ist

Zusammenhang mit Irrationalität

Ausgehend vom Konvergenzsatz von Tietze lassen sich Irrationalitätsaussagen erzielen. Wie schon Heinrich Tietze selbst bewies, konvergiert jeder unendliche Kettenbruch der Form   (*)   stets - mit einer einzigen Ausnahme! - gegen eine irrationale Zahl   , sofern man die Bedingungen wie folgt verschärft:[29]

  (Ia)  
  (IIb)    ,   (IIa)  
  (IIIa)    , sofern  
 

Die Ausnahme liegt dann vor, wenn ab einem Index     für alle Indizes     zusätzlich die folgende Ausnahmebedingung   (A)   erfüllt ist:

  (A)     ,  

In diesem Ausnahmefall ist der Grenzwert     eine rationale Zahl.

Beispiele und Anwendung

Beispiel I

Nach dem Konvergenzkriterium von Pringsheim konvergiert der folgende unendliche Kettenbruch:

Da   (IIIb)   nicht erfüllt ist, ist   Teil III   nicht anwendbar. Vielmehr ist

 ,

wie sich aus den von Leonhard Euler und Ernesto Cesàro gefundenenen Kettenbruchentwicklungen der eulerschen Zahl     ergibt.[30] Daher ist wegen der Transzendenz der eulerschen Zahl die Zahl     ebenfalls eine transzendente Zahl.

Beispiel II

Nach dem Konvergenzkriterium von Pringsheim und sogar nach der oben genannten Folgerung II konvergiert genauso der reguläre Kettenbruch

 .

Hier ist

 ,

wobei     eine Konstante darstellt, welche mit der Euler-Gompertz-Konstanten verwandt ist. Wie Carl Ludwig Siegel gezeigt hat, gehört auch     zu den transzendenten Zahlen.[31] Also ergibt sich auch hier, dass die Zahl     transzendent ist.

Beispiel III

Nach der oben genannten Folgerung II konvergiert schließlich auch für beliebiges   ,     immer der folgende unendliche Kettenbruch:[32]

Hierfür gilt:

[33]   .

Insbesondere ergibt sich für    :

 

und so

  .

Beispiel IV

Wenn man in Beispiel III     einsetzt, so erhält man ebenfalls einen konvergenten unendlichen Kettenbruch     , wobei hier die Konvergenz zwar nicht durch das Konvergenzkriterium von Pringsheim, jedoch durch das Seidel-Sternsche Kriterium gesichert ist.

Es gilt nämlich

  ,

wobei     für die Goldene Zahl steht.[34]

Gegenbeispiel

Wird in Beispiel III     gesetzt, also gleich der imaginären Einheit, so erhält man keinen konvergenten unendlichen Kettenbruch . Der unendliche Kettenbruch

ist also divergent, obwohl die Reihe

mit       selbst auch divergiert.

Dies zeigt, dass der Satz von Stern-Stolz im Allgemeinen nur eine notwendige, jedoch keine hinreichende Bedingung für die Konvergenz von regulären unendlichen Kettenbrüchen angibt.[35]

Anwendung: Darstellung reeller Zahlen durch negativ-regelmäßige Kettenbrüche

Ein unendlicher reeller Kettenbruch der Form

(*)

zu natürlicher Zahlen       mit       und zu ganzzahligem Anfangsglied     heißt nach Alfred Pringsheim negativ-regelmäßig.

Die Namensgebung erklärt sich aus der engen Verwandtschaft mit den regelmäßigen Kettenbrüchen, welche Pringsheim in seinen Vorlesungen über Zahlen- und Funktionenlehre ebenfalls behandelt.[36]

Jeder unendliche negativ-regelmäßige Kettenbruch ist nach dem pringsheimschen Konvergenzkriterium konvergent.[37]

Ausgehend davon erhält man den folgenden Darstellungssatz:[38][39]

Formulierung des Darstellungssatzes

Die Menge der unendlichen negativ-regelmäßigen Kettenbrüche und die Menge der reellen Zahlen stehen in Bijektion zueinander in der Weise, dass jede reelle Zahl     durch einen unendlichen negativ-regelmäßigen Kettenbruch der Form (*) darstellbar ist, wobei die Folge der Teilnenner     durch     eindeutig bestimmt ist.

Zusatz I: Algorithmus zur Bestimmung der Teilnenner

Die Teilnenner lassen sich durch folgenden Algorithmus gewinnen:[40][41]


Für allgemeines     sei

 

die kleinste ganze Zahl größer     . Man hat also stets

 

und damit unter Benutzung der Gaußklammerfunktion

  .

Folglich ist stets

  .

Damit wird zunächst mittels Rekursion eine Folge     definiert:

   

Dann setzt man

   .

Zusatz II: Unterscheidung rationaler und irrationaler Zahlen

Eine rationale Zahl     ist dadurch gekennzeichnet, dass in ihrer Darstellung (*) ab einem gewissen Index   für       jeder Teilnenner     ist, während sich eine irrationale Zahl     dadurch auszeichnet, dass in ihrer Darstellung (*) unendlich viele Teilnenner     sind     .[42][43]

Beispiele für negativ-regelmäßige Kettenbruchdarstellungen

Folgende Beispielen lassen sich angeben:[44][45]

1. Darstellung der 1

Dies folgt wegen direkt aus Teil III des pringsheimschen Kriteriums.

2. Darstellung der Wurzel aus 2
3. Darstellung der Wurzel aus 3
4. Darstellung der Wurzel aus 7
5. Darstellungen zur goldenen Zahl
(a)  
(b)  

Anmerkungen

  1. Auf Alfred Pringsheim gehen noch weitere Konvergenzkriterien für unendliche Kettenbrüche zurück. Darüber hinaus gibt es noch eine erhebliche Anzahl anderer Konvergenzkriterien.[46][47][48][49]
  2. Aus dem Darstellungssatz folgt unmittelbar, dass die Menge der reellen Zahlen von überabzählbarer Mächtigkeit ist.

Literatur

  • Steven R. Finch: Mathematical Constants (= Encyclopedia of Mathematics and its Applications. Band 94). Cambridge Univity Press, Cambridge [u. a.] 2003, ISBN 0-521-81805-2.
  • Lisa Lorentzen - Haakon Waadeland: Continued Fractions with Applications (= Studies in computational mathematics. Band 3). North-Holland, Amsterdam [u. a.] 1992, ISBN 0-444-89265-6.
  • William B. Jones - W. J. Thron: Continued Fractions. Analytic Theory and Applications (= Encyclopedia of Mathematics and its Applications. Band 11). Addison-Wesley Publishing Company, Reading, Mass. [u.a.] 1980, ISBN 0-201-13510-8.

Literatur

Einzelnachweise und Fußnoten

  1. Perron: S. 58.
  2. Pringsheim: Vorlesungen ... Band I.3, S. 878 ff.
  3. Lorentzen - Waadeland: S. 30 ff.
  4. Thron: In: Comm. Anal. Theory Contin. Fractions. Band 1, S. 13 ff.
  5. Perron a.a.O.:
  6. Da hinsichtlich der Konvergenz und Divergenz der Kettenbrüche das Anfangsglied nie von Einfluss ist, wird es im Folgenden bei der Formulierung der Konvergenzkriterien nicht genannt. Durch die Addition eines Anfangsgliedes bleiben Konvergenz und Divergenz eines Kettenbruchs stets unberührt.
  7. steht für den komplexen Betrag.
  8. Perron: S. 61–62.
  9. Lorentzen - Waadeland: S. 35.
  10. Jones - Thron: S. 94.
  11. Worpitzky: Untersuchungen... In: Jahresbericht. S. 29–30.
  12. Jones - Thron: S. 10, 94.
  13. Es wird ebenfalls in seinen Vorlesungen über Zahlen- und Funktionenlehre genannt; s. Band I.3, S. 880.
  14. Perron: S. 42.
  15. Lorentzen - Waadeland: S. 94.
  16. Pringsheim: Vorlesungen ... Band I.3, S. 846.
  17. Perron: S. 42.
  18. Jones - Thron: S. 79.
  19. Lorentzen - Waadeland: S. 94.
  20. Pringsheim: Vorlesungen ... Band I.3, S. 846, 966.
  21. Allerdings wird im Zusammenhang mit diesem Satz bei H. S. Wall: S. 27–28, 424. auf Helge von Koch und dessen Arbeit Sur un théorème de Stieltjes et sur les fractions continues. In: Bull. Soc. Math. de France. Band 23, 1895, S. 23–40. verwiesen!
  22. Perron: S. 46.
  23. Lorentzen - Waadeland: S. 98.
  24. Pringsheim: Vorlesungen ... Band I.3, S. 764, 962.
  25. Bei Jones - Thron: S. 87. wird der Satz von Seidel-Stern in einer etwas verschärften Fassung dargestellt, welche Aussagen über das Konvergenzverhalten der Näherungsbrüche einbezieht.
  26. Perron: S. 135 ff.
  27. Tietze: In: Math. Ann. Band 70, S. 236 ff.
  28. steht für die Betragsfunktion.
  29. Tietze: In: Math. Ann. Band 70, S. 246 ff.
  30. Perron: S. 19.
  31. Vgl. Finch: S. 423.
  32. Lorentzen - Waadeland: S. 32.
  33. Hier ist der Hauptwert der komplexen Quadratwurzelfunktion gemeint.
  34. Lorentzen - Waadeland: S. 46.
  35. Wall: S. 29.
  36. Die regelmäßigen Kettenbrüche zeichnen sich dadurch aus, dass sie regulär sind, dass alle ihre Teilnenner ab dem Index 1 natürliche Zahlen sind und dass das Anfangsglied jeweils ganzzahlig ist. Der Unterschied zwischen negativ-regelmäßigen Kettenbrüchen und regelmäßigen Kettenbrüchen liegt demnach im Vorzeichen der Teilzähler und darin, dass bei den regelmäßigen Kettenbrüchen auch der Teilnenner 1 zugelassen ist. Man betrachtet in beiden Fällen sowohl endliche als auch unendliche Kettenbrüche. Hier spielen allein die unendlichen Kettenbrüche eine Rolle. Vgl. Pringsheim: Vorlesungen ... Band I.3, S. 752 ff., 773 ff., 812 ff.
  37. Ebenso konvergiert jeder unendliche regelmäßige Kettenbruch, und zwar nach dem Satz von Seidel-Stern; vgl. Pringsheim: Vorlesungen ... Band I.3, S. 773.
  38. Pringsheim: Vorlesungen ... Band I.3, S. 819.
  39. Sierpiński: S. 337.
  40. Pringsheim: Vorlesungen ... Band I.3, S. 818–819.
  41. Sierpiński: S. 336–337.
  42. Pringsheim: Vorlesungen ... Band I.3, S. 819.
  43. Sierpiński: S. 337.
  44. Sierpiński: S. 337–338.
  45. Lorentzen - Waadeland: S. 562.
  46. Perron: S. 38 ff.
  47. Jones - Thron: S. 60 - 146.
  48. Lorentzen - Waadeland: S. 32 - 36.
  49. Wall: Analytic Theory ... .Part I: Convergence Theory Seiten =11 - 157.