Evaluar la integral indefinida ∫log(x+x2−1−−−−−√)dx∫log(x+x2−1)dx\int\log\!\left(x+\sqrt{x^2-1}\ derecha)\!dx

Encontré la siguiente integral y no sé cómo resolverla.

registro ( X + X 2 1 ) d X
Intenté la sustitución "obvia" de X = segundo θ , que te da:
broncearse θ segundo θ registro ( broncearse θ + segundo θ ) d θ
Sin embargo, esto no lo simplifica mucho, en el sentido de que no tengo idea de cómo resolver esto ahora. Saca el factor común de segundo del registro, o tal vez hacer tu = broncearse θ + segundo θ , pero ambos conducen a callejones sin salida (al menos para mí).

En caso de que se lo pregunte, Wolfram|Alpha afirma que la respuesta es:

X registro ( X + X 2 1 ) X 2 1 + C

Tenga en cuenta que el integrando es solo la función scoine hiperbólica inversa, arcosh  X . es.wikipedia.org/wiki/…
(Más bien, función de coseno hiperbólico ).
(Además, presumiblemente por "sustitución obvia" quiere decir X = segundo θ , de modo que la cantidad radical se simplifica a broncearse θ .)
Si sigue la sugerencia de Travis de dejar X = segundo θ , conseguirás en ( segundo θ + broncearse θ ) segundo θ broncearse θ d θ , y luego puede usar la integración por partes (como en la respuesta de egreg).
Lo siento, me confundí con la sustitución (¡aunque estaba correcta en mi trabajo!). quise decir X = segundo θ , y he corregido esto ahora.

Respuestas (4)

Integrar por partes:

X registro ( X + X 2 1 ) X 1 + X X 2 1 X + X 2 1 d X


Ahora, ¿dónde vi registro ( X + X 2 1 ) ¿de nuevo? Colocar X + X 2 1 = mi t , entonces

X 2 1 = mi 2 t 2 X mi t + X 2
o
2 X mi t = mi 2 t + 1
y
X = aporrear t
Así que una buena sustitución podría ser esta, ¿no? La integral se convierte
t pecado t d t = t aporrear t aporrear t d t = t aporrear t pecado t
y ahora es solo sustitución hacia atrás.

La computación muestra directamente que el integrando,

registro ( X + X 2 1 ) ,
es el inverso de (la restricción a [ 0 , ) de) la función coseno hiperbólico
aporrear tu := mi tu + mi tu 2 ;
debido a esto, el integrando aquí generalmente se denota
arcosh x .

Esto sugiere que podemos proceder de manera análoga a la derivación usual de las antiderivadas de funciones trigonométricas inversas: Sustituyendo X = aporrear tu da

arcosh  X d X = arcosh ( aporrear tu ) d ( aporrear tu ) = tu pecado tu d tu .
Aplicando integración por partes con v = tu , d w = pecado tu d tu da que esto es
tu aporrear tu aporrear tu d tu = tu aporrear tu pecado tu + C ,
y sustituyendo al revés para escribir esto en términos de X rendimientos
arcosh  X aporrear ( arcosh  X ) pecado ( arcosh  X ) + C .

Sustituyendo tu = arcosh x en la identidad familiar

aporrear 2 tu = pecado 2 tu + 1 ,
simplificar, reorganizar y usar eso arcosh es no negativo (o, alternativamente, apelando al análogo hiperbólico de un triángulo de referencia) da la identidad
pecado ( arcosh  X ) = X 2 1 .
Sustituyendo en la expresión anterior se obtiene la antiderivada,
arcosh  X d X = X arcosh  X X 2 1 + C ,
que en particular concuerda con el resultado dado por WolframAlpha.

Reconocer registro ( X + X 2 1 ) = aporrear 1 X y luego integrar por partes

registro ( X + X 2 1 ) d X = aporrear 1 X d X = X aporrear 1 X X X 2 1 d X
donde la integral restante es solo X 2 1 .

yo norte ( X + X 2 1 ) d X

w mi v mi gramo o t :   C h 2 ( y ) s h 2 ( y ) = 1 , C h ( y ) = mi y + mi y 2 , s h ( y ) = mi y mi y 2  

X = C h ( y ) d X = s h ( y ) d y

yo norte ( X + X 2 1 ) = yo norte ( C h ( y ) + s h ( y ) ) = y

yo norte ( X + X 2 1 ) d X = y   s h ( y ) d y = y C h ( y ) d y

w mi v mi gramo o t :   F gramo = F gramo F gramo  

y   s h ( y ) d y = y   C h ( y ) C h ( y ) d y = y   C h ( y )   s h ( y ) + C

yo norte ( X + X 2 1 ) d X = X C h 1 ( X ) X 2 1 + C

= X yo norte ( X + X 2 1 ) X 2 1 + C