Wie berechnet man ∫tan3/2(x)1−sin(x)dx∫tan3/2⁡(x)1−sin⁡(x)dx\int \frac{\tan^{3/2}\left(x \right)}{1 - \sin\left(x\right)} \,\mathrm{d}x?

Ich versuche zu bewerten

(1) bräunen 3 / 2 ( X ) 1 Sünde ( X ) D X


Ich habe versucht, die Weierstrass-Substitution zu verwenden. > **Die Weierstrass-Substitution**, (benannt nach K.Weierstraß (   1815   ) ) ist eine Substitution, die verwendet wird, um rationale Ausdrücke trigonometrischer Funktionen in rationale Polynomausdrücke umzuwandeln. Integrale dieser Art sind in der Regel einfacher auszuwerten.

Diese Substitution wird konstruiert, indem man Folgendes zulässt:

T = bräunen ( X 2 ) X = 2 arctan ( T ) D X = 2 T 2 + 1

Unter Verwendung grundlegender trigonometrischer Identitäten ist es einfach zu beweisen, dass:

cos X = 1 T 2 1 + T 2

Sünde X = 2 T 1 + T 2

Mit dieser Substitution erhalten wir dieses Integral:

2 ( 2 T ) 3 2 ( 1 + T 2 ) ( 1 T 2 ) 3 2 ( T 2 2 T + 1 ) D T

Was eindeutig nicht einfacher zu bewerten ist als ( 1 ) .

Ich habe auch andere trigonometrische Standardsubstitutionen ausprobiert, wie z u = cos ( X ) , u = Sünde ( X ) , u = bräunen ( X ) ohne besseres Glück.

Schließlich sehe ich keine trigonometrischen Identitäten, die den Bruch vereinfachen könnten.

Irgendwelche Ideen, wie man dieses Integral auswerten kann?

Ich fürchte, das Ergebnis könnte eine hypergeometrische Funktion sein.
Ja, wir müssen rechnen ( v 2 1 ) 3 / 4 D v irgendwo auf der Strecke. Was laut WA in Form von hypergeometrischen Funktionen ausgedrückt werden kann.

Antworten (2)

Wir können ziemlich einfach zeigen, dass sich dies auf ein elliptisches Integral reduziert, das keine elementare Funktion sein kann: put X = arctan ( u 2 ) . Dann D X = 2 u / ( 1 + u 4 ) D u , bräunen X = u 2 Und Sünde X = u 2 / 1 + u 4 , und Rationalisierung impliziert, dass das Integral wird

( 2 u 4 + 2 u 6 1 + u 4 ) D u ,
und wir müssen uns nur um den zweiten Begriff kümmern. Zufällig war dies eines der frühesten Integrale, das Liouville in Betracht zog, als er sich dafür interessierte, wann ein Integral algebraisch ist (siehe Lützens Joseph Liouville 1809–1882 , S. 374ff. für Einzelheiten). Eine Integration von Teilen reduziert uns auf u 2 1 + u 4 D u , die bekanntermaßen nicht elementar ist (siehe entweder Liouvilles Arbeit oder Ritts Buch Integration in endlichen Begriffen ). So ist der "elementare Teil".
2 5 ( u 5 + u 3 1 + u 4 ) ,
während der nicht-elementare Teil das elliptische Integral ist
6 5 u 2 1 + u 4 D u = 6 5 ich ( F ( arcsin ( ich u ) 1 ) F ( arcsin ( ich u ) 1 ) .
Man könnte in Bezug auf schreiben X wieder, aber es scheint nicht viel Sinn zu haben.

Es ist sicher, dass Sie den besten Ersatz bereitgestellt haben. Allerdings habe ich das Gefühl, dass Sie vielleicht ein paar Tippfehler haben. Cheers und danke für eure Antworten und + 1 .
Ich denke, unsere Antworten könnten tatsächlich dieselben sein: Die Unterschiede liegen in den Ausdrücken arcsin vs. arg sinh. Vielleicht habe ich aber irgendwo einen Vorzeichenfehler.
Es ist nicht meine Antwort; es ist deins ! Dir fehlt ein Faktor 2 (Tippfehler sicher beim Betrachten der Endergebnisse). D X das ist nicht richtig. Beifall :-)

Zuerst eine kleine historische Präzisierung: Die meisten Bücher nennen die Tangentenhalbwinkelsubstitution Weierstraß ( 1815 1897 ) Substitution, obwohl die Technik tatsächlich in Eulers Werk $-1707-1783 vorkommt).

In Bezug auf die möglichen Substitutionen ist das, was @Chappers vorgeschlagen hat, wahrscheinlich das Beste, da es zu einem echten geschlossenen Formausdruck in Bezug auf elliptische Integrale führt.

Nur um mit dem fortzufahren, was ich früh in den Kommentaren geschrieben habe, lassen X = Sünde 1 ( u ) , wir enden mit

ICH = bräunen 3 2 ( X ) 1 Sünde ( X ) D X = u 3 / 2 ( 1 u ) 9 / 4 ( u + 1 ) 5 / 4 D u
ICH = 2 u 3 / 2 ( 3 u 2 ) 5 ( 1 u ) 5 / 4 ( u + 1 ) 1 / 4 + 4 5 u 3 / 2 2 F 1 ( 1 4 , 3 4 ; 7 4 ; u 2 )
was ich nicht weiter vereinfachen konnte.

Bemerkungen

Wenn ich mir die Antwort von @Chappers noch einmal ansehe, habe ich die Füllung, dass es ein paar kleine Tippfehler gibt.

X = bräunen 1 ( u 2 ) D X = 2 u u 4 + 1 D u Und Sünde ( X ) = u 2 u 4 + 1
Herstellung
ICH = 2 ( u 4 + u 6 u 4 + 1 ) D u
Herstellung
ICH = 2 5 u 3 ( u 2 + u 4 + 1 ) +
6 5 ( 1 ) 3 / 4 ( E ( ich Sünde 1 ( ( 1 ) 1 / 4 u ) | 1 ) F ( ich Sünde 1 ( ( 1 ) 1 / 4 u ) | 1 ) )

Obwohl beide Antworten sehr informativ sind, habe ich @Chappers akzeptiert, weil er früher geantwortet hat. Danke euch beiden!
@Veriun. Ich hätte sehr unglücklich sein müssen, dass Sie die Antwort von Chappers nicht akzeptiert haben (was wirklich großartig ist!).
@Claude Leibovici: Kennen Sie Beispiele für die Verwendung dieser Variablenänderung in Eulers Schriften?