Zum Inhalt springen

Formelsammlung Mathematik: Bestimmte Integrale: Form R(x)

Aus Wikibooks

Zurück zu Bestimmte Integrale

Beweis (Formel nach Gauß)



ohne Beweis


Beweis



Nach der Substitution bzw. ist

.



ohne Beweis (Definition des vollständigen elliptischen Integrals erster Art)


ohne Beweis (Definition des vollständigen elliptischen Integrals zweiter Art)


Beweis

ist nach Substitution gleich .

Dies ist nach Eulerscher Summenformel , woraus folgt.

Beweis

Integriere entlang dem Kreissektor, der durch den Ursprung, und als Eckpunkte beschränkt wird.

Das Integral über dem Kreisbogen geht gegen null für . Also ist .

Nachdem sich auch als schreiben lässt, ist



.

Der Imaginärteil hebt sich auf und übrig bleibt .

ohne Beweis (Definition der Betafunktion)


Beweis

ist nach der Substitution gleich .

Und auf Grund der Symmetrie ist das das selbe wie .

1. Beweis

Es sei definiert durch für und .

Für gilt die Partialbruchzerlegung .

Also ist

.

Nun soll gezeigt werden, dass die 1.Summe für gegen null konvergiert und die 2.Summe gleich ist.

Für gilt und .

Setzt man , so ist . Also ist die 2.Summe gleich .

Und wegen lässt sich die 1.Summe schreiben als

.

Damit ist gezeigt. Substituiert man durch , so ist .

Für reelle folgt die Behauptung, wenn man eine Folge rationaler Zahlen konstruiert, die gegen konvergiert.

2. Beweis

Spalte auf in . Das erste Integral ist .

Und das zweite Integral ist nach Substitution gleich , und somit gleich .

Also ist .


Anders formuliert kann das erste Integral geschrieben werden als

und das zweite Integral geschrieben werden als .

Also ist , was gerade die Partialbruchentwicklung von ist.

3. Beweis

Für und ein definiere .

Integriere entlang dem Kreissektor , der durch den Ursprung, und als Eckpunkte beschränkt wird.

Das Integral über dem Kreisbogen geht gegen null für .

Also ist , wobei letztes Integral

ist. Und somit ist .

Nach dem Residuensatz ist .

Daher muss gelten .

Nach Substitution ergibt sich die Behauptung zumindest für reelles .

4. Beweis



Nach Substitution ist



.

ohne Beweis


Beweis



Und diese Reihe konvergiert gegen .

Beweis

Verwende die Formel .





ohne Beweis


Beweis







Also ist







.

Beweis

Diese Formel ist gültig:





Durch Einsetzen von und erhält man die dargestellte Form.

Und durch Einfügen der Untergrenze und Obergrenze wird das unvollständige elliptische Integral F zum vollständigen elliptischen Intetgral K umgewandelt.

Beweis (Formel nach Ramanujan)

Es sei und der Halbmond in der oberen komplexen Halbebene.











Wenn man beide Seiten mit durchmultipliziert

und mit durchdividiert, so ist

.

Mit einem lässt sich letzte Summe folgendermaßen aufspalten:



Für alle gilt .

Also ist .

Für geht gegen null und die hypergeometrische Reihe lässt sich

nach der Formel für ,

schreiben als wenn bzw. ist. Also ist .

Und das lässt sich unter Verwendung der Legendreschen Verdopplungsformel schreiben als .

Beweis

Aus der Partialbruchzerlegung

folgt .

Also verschwindet für alle .

Nun ist



.

Beweis

Aus der Partialbruchzerlegung

folgt .

Also verschwindet für alle .

Nun ist





.

Beweis

Aus der Partialbruchzerlegung

folgt unmittelbar .

Beweis

Aus der Partialbruchzerlegung

folgt unmittelbar .

Beweis



Nach Substitution ist

.

Nach Substitution ist



.

Beweis

Setzt man , so ist auf holomorph.

Wegen ist für .

Als komplexe Zahl mit positivem Realteil besitzt eine Darstellung mit .

Der Kehrwehrt besitzt dann auch einen positiven Realteil.

Wegen ist nun

. Also ist .

Und das ist . Ersetzt man durch , so ist .

ohne Beweis


ohne Beweis


Beweis

Setze .

Wegen ist und ist auf holomorph.



Wegen ist für .

Die Integrale über den Kreisbögen verschwinden daher wenn ihr Radius gegen unendlich geht.

Vorübergehend mache man die zusätzliche Einschränkung .

Dann ist , und somit verschwindet das Integral über dem Halbkreis mit Radius , wenn geht.

Damit ist ,

wobei ist.

Also ist

. Und das ist

.


Dass die Formel auch ohne die Einschränkung gilt, sieht man, wenn man sie wiederholt partiell integriert:



.

Und damit ist

.