|
Dann gelten:
|
Der erste Schritt ist es, den Mittelwertsatz anzuwenden. Damit ergibt sich für ,
:
So folgt dann nach Schritten:
Außerdem gilt:
Nun gilt die Abschätzung:
Wir haben somit eine konvergente Majorante. konvergiert, da
konvergiert. Somit ist auch die Folge
eine Nullfolge und
für
und
.
ist außerdem stetig, daher können hier die Grenzübergänge vertauscht
werden:
ist der einzige Fixpunkt. Aus
folgt
.
Daraus resultiert schlußendlich:
Und somit gilt:
In gibt es eine Nullstelle. Wir bringen die Gleichung auf die Form, so daß ein
auf der linken Seite steht:
Dieses Ergebnis ist jedoch nicht brauchbar, weil die Voraussetzungen nicht erfüllt sind. Deshalb logarithmieren wir die Gleichung zuerst:
Damit folgt:
Hier sind nun die Voraussetzungen erfüllt.
Als Startwert verwenden wir , woraus dann folgt:
Hier brechen wir ab und setzen zur Probe in die ursprüngliche Gleichung ein:
Die Übereinstimmung ist also recht gut; wir erhalten einen Fehler von .
läßt sich formulieren als Bedingung aus
. Wenn
(Funktion ist konvex), dann konvergiert die Folge.