Auswertung des unbestimmten Integrals ∫log(x+x2−1−−−−−√)dx∫log(x+x2−1)dx\int\log\!\left(x+\sqrt{x^2-1}\ rechts)\!dx

Ich bin auf das folgende Integral gestoßen und weiß nicht, wie ich es lösen soll.

Protokoll ( X + X 2 1 ) D X
Ich habe die "offensichtliche" Ersetzung von versucht X = Sek θ , was Ihnen Folgendes gibt:
bräunen θ Sek θ Protokoll ( bräunen θ + Sek θ ) D θ
Dies vereinfacht es jedoch nicht sehr, in dem Sinne, dass ich keine Ahnung habe, wie ich das jetzt lösen soll! Nehmen Sie den gemeinsamen Faktor von heraus Sek aus dem Protokoll, oder vielleicht tun u = bräunen θ + Sek θ , aber beide führen (zumindest für mich) in Sackgassen.

Falls Sie sich fragen, Wolfram|Alpha behauptet, die Antwort sei:

X Protokoll ( X + X 2 1 ) X 2 1 + C

Beachten Sie, dass der Integrand nur die inverse hyperbolische Scoine-Funktion ist, arkosh  X . de.wikipedia.org/wiki/…
(Eher hyperbolische Kosinusfunktion .)
(Sie meinen vermutlich auch mit "offensichtlicher Substitution". X = Sek θ , sodass sich die Wurzelgröße zu vereinfacht bräunen θ .)
Wenn Sie Travis' Vermietungsvorschlag folgen X = Sek θ , Sie erhalten ln ( Sek θ + bräunen θ ) Sek θ bräunen θ D θ , und dann können Sie die Integration nach Teilen verwenden (wie in der Antwort von egreg).
Entschuldigung, ich habe die Substitution verwechselt (obwohl sie auf meinem Papier richtig war!). Ich meinte X = Sek θ , und ich habe das jetzt korrigiert.

Antworten (4)

Teileweise integrieren:

X Protokoll ( X + X 2 1 ) X 1 + X X 2 1 X + X 2 1 D X


Nun, wo habe ich gesehen Protokoll ( X + X 2 1 ) nochmal? Satz X + X 2 1 = e T , So

X 2 1 = e 2 T 2 X e T + X 2
oder
2 X e T = e 2 T + 1
Und
X = cosch T
Ein guter Ersatz könnte also dieser sein, nicht wahr? Das Integral wird
T Sünde T D T = T cosch T cosch T D T = T cosch T Sünde T
und jetzt ist es nur noch Ersatz.

Das Rechnen zeigt direkt, dass der Integrand,

Protokoll ( X + X 2 1 ) ,
ist das Gegenteil von (die Beschränkung auf [ 0 , ) von) der hyperbolischen Kosinusfunktion
cosch u := e u + e u 2 ;
Aus diesem Grund wird hier normalerweise der Integrand bezeichnet
arcos x .

Dies legt nahe, dass wir analog zur üblichen Ableitung der Stammfunktionen inverser trigonometrischer Funktionen vorgehen können: Substituieren X = cosch u gibt

arkosh  X D X = arkosh ( cosch u ) D ( cosch u ) = u Sünde u D u .
Teilweise Integration anwenden mit v = u , D w = Sünde u D u gibt an, dass dies ist
u cosch u cosch u D u = u cosch u Sünde u + C ,
und umgekehrtes Substituieren, um dies in Bezug auf zu schreiben X Erträge
arkosh  X cosch ( arkosh  X ) Sünde ( arkosh  X ) + C .

Ersetzen u = arcos x in der vertrauten Identität

cosch 2 u = Sünde 2 u + 1 ,
vereinfachen, neu anordnen und verwenden arkosh nichtnegativ ist (oder alternativ das hyperbolische Analogon eines Referenzdreiecks anspricht) ergibt die Identität
Sünde ( arkosh  X ) = X 2 1 .
Das Einsetzen in den obigen Ausdruck ergibt die Stammfunktion,
arkosh  X D X = X arkosh  X X 2 1 + C ,
was insbesondere mit dem Ergebnis von WolframAlpha übereinstimmt.

Erkenne Protokoll ( X + X 2 1 ) = cosch 1 X und dann partiell integrieren

Protokoll ( X + X 2 1 ) D X = cosch 1 X D X = X cosch 1 X X X 2 1 D X
wobei das verbleibende Integral gerade ist X 2 1 .

l N ( X + X 2 1 ) D X

w e ' v e G Ö T :   C H 2 ( j ) S H 2 ( j ) = 1 , C H ( j ) = e j + e j 2 , S H ( j ) = e j e j 2  

X = C H ( j ) D X = S H ( j ) D j

l N ( X + X 2 1 ) = l N ( C H ( j ) + S H ( j ) ) = j

l N ( X + X 2 1 ) D X = j   S H ( j ) D j = j C H ' ( j ) D j

w e ' v e G Ö T :   F G ' = F G F ' G  

j   S H ( j ) D j = j   C H ( j ) C H ( j ) D j = j   C H ( j )   S H ( j ) + C

l N ( X + X 2 1 ) D X = X C H 1 ( X ) X 2 1 + C

= X l N ( X + X 2 1 ) X 2 1 + C