¿Por qué podemos eliminar el signo absoluto en este caso de sustitución trigonométrica?

Mi pregunta es sobre eliminar el signo absoluto al resolver esta integral usando sustitución:

d X X 2 ( X 2 1 ) 3 / 2

Podemos hacer la siguiente sustitución: X = segundo θ y d X = segundo θ broncearse θ d θ :

s mi C θ broncearse θ d θ segundo 2 θ ( broncearse 2 θ ) 3 / 2

que es igual a:

broncearse θ d θ segundo θ | broncearse θ | 3

Desde θ = a r C s mi C ( X ) podemos concluir lo siguiente (creo):

  • Cuando X 1 entonces 0 θ π 2 asi que, por lo tanto broncearse θ 0 y podemos eliminar los signos absolutos.
  • Pero cuando X 1 entonces π 2 θ π y luego broncearse θ 0 y por lo tanto creo que no podemos eliminar el signo absoluto.

Pero de acuerdo con mi libro de cálculo, podemos eliminar el signo absoluto. Entonces, ¿qué está pasando aquí?


EDITAR: Lo que más me confunde es que la respuesta correcta parece no estar dividida en dos dominios. La respuesta correcta aparentemente es:

1 2 X 2 X X 2 1

... para todos los dominios (!) según Wolfram Alpha

Estás en lo correcto. Quitando el signo absoluto de | broncearse θ | 3 para obtener broncearse 3 θ es válido sólo cuando θ > 0 (o equivalente, X > 1 ). Aunque no siempre es el caso, parece que algunos libros de texto de cálculo tienden a ser descuidados al especificar el dominio correcto en el que funciona una técnica de integración particular.
@SangchulLee Si tengo razón, ¿por qué la división en dominios no se refleja en la respuesta final? (Ver mi edición de la pregunta)
Esta sustitución conduce a
1 2 segundo 2 θ segundo θ broncearse θ + C .
Para enchufar X = segundo θ , todavía tenemos que resolver el signo de broncearse θ , porque de lo contrario recogerás el signo de segundo θ (que es igual al signo de X ) y obtener
1 2 segundo 2 θ segundo θ broncearse θ = firmar ( X ) 1 2 X 2 X X 2 1 .
por supuesto, cuando X > 1 este letrero simplemente desaparece y podemos ignorarlo con seguridad, pero cuando comenzaste desde X < 1 , esta señal también se cancela con la señal que recogiste de | broncearse θ | 3 = broncearse 3 θ .
@SangchulLee Pero según Wolfram Alpha, no necesitamos el s i gramo norte ( X )
Agregué la explicación. :)
@SangchulLee No lo entiendo: el signo menos que recogimos t a norte 3 θ ES la causa de s i gramo norte ( X ) ¿no es así?
Bueno, recogiste uno s i gramo norte ( X ) al despojarse de los signos absolutos de | broncearse 3 θ | . Pero luego tomas otro s i gramo norte ( X ) al reescribir la integral
d θ segundo θ broncearse 2 θ = 1 2 segundo 2 θ segundo θ broncearse θ + C
en términos de X . Entonces eventualmente se cancelan en ambos casos. X > 1 y X < 1 . Poniendo en total, tenemos
d X X 2 ( X 2 1 ) 3 / 2 = s i gramo norte ( broncearse θ ) d θ segundo θ broncearse 2 θ = 1 2 segundo 2 θ segundo θ | broncearse θ | + C = 1 2 X 2 X X 2 1 + C .
De hecho, es porque θ = | porque θ | cuando π 2 < θ < π . De todos modos, | broncearse θ | = segundo 2 θ 1 siempre es cierto y por eso no tenemos s i gramo norte ( X ) al final.
@SangchulLee ¡Tus comentarios ayudaron mucho! Si lo transformas en una respuesta, puedo aceptar la respuesta.

Respuestas (1)

Puede elegir un dominio diferente para θ ; Por ejemplo, θ ( 0 , π 2 ) ( π , 3 π 2 ) .

Como θ rangos desde π a 3 π / 2 , segundo ( θ ) disminuye de 1 a y broncearse ( θ ) aumenta de 0 a + .

En particular, en este dominio para θ la sustitución X = segundo ( θ ) todavía cubre el dominio X ( , 1 ) , Pero tú tienes broncearse ( θ ) quedando positivo.


Por cierto, un punto que a menudo se pasa por alto en los cursos introductorios es que cuando diferencia una función en un dominio desconectado, cada componente del dominio obtiene su propia constante de integración distinta.

Por lo tanto, si desea hablar con toda la generalidad de cubrir tanto el X > 1 y X < 1 dominios, debe recordar que cada uno de esos dominios tiene su propia constante de integración separada.

Gracias por una interesante alternativa a mi método. Pero en realidad no aborda la pregunta de si y por qué podemos eliminar el signo absoluto en ese caso... También vea la edición de la pregunta, que muestra que la solución no está dividida en dominios separados.