Cambridge Maths Academy

5. 쌍곡코시컨트(csch x)의 적분법 | Integration of csch x 본문

수학 모음 (Maths collection)/Technical A - Exploring ideas

5. 쌍곡코시컨트(csch x)의 적분법 | Integration of csch x

Cambridge Maths Academy 2020. 6. 7. 01:02
반응형

수학 모음 (Maths collection) 전체보기

 

1. u=cschx+cothx 치환적분

cschxdx=ln|cschx+cothx|+c

 

첫 번째 시도로 코시컨트의 적분에서처럼 자연로그를 시도할 수 있다. 쌍곡시컨트(sech)와 달리 쌍곡코시컨트는 삼각함수와 쌍곡선함수의 도함수에 마이너스 차이가 없기 때문에 자연로그 적분이 가능하다는 것을 알게 된다.

 

우리에게 필요한 도함수들은 다음과 같다.

ddxcscx=cscxcotxddxcschx=cschxcothxddxcotx=csc2xddxcothx=csch2x

여기서 cschxcothx에 둘 다 마이너스 사인이 나타나기 때문에 자연로그 형태가 나오는 것을 확인할 수 있다.

ddx(cscx+cotx)=cscxcotxcsc2x=cscx(cscx+cotx)ddx(cschx+cothx)=cschxcothx+csch2x=cschx(cschx+cothx)cschxdx=cschx(cschx+cothx)cschx+cothxdx=ln|cschx+cothx|+c

Comment: 위 계산의 마지막 줄은 u=cschx+cothx 치환적분을 사용하여 보다 체계적으로 이해할 수 있다.

I=cschxdx=cschx(cschx+cothx)cschx+cothxdx=1udu=ln|u|+c=ln|cschx+cothx|+c

2. u=ex 치환과 부분분수(partial fractions)

cschxdx=ln|ex1ex+1|+c

 

책에 가장 많이 등장하는 표준적인 방법은 쌍곡선함수(hyperbolic function)을 지수함수 정의로 나타내어 치환하는 방법이다.

sinhx=exex2cschx=2exex=2exe2x1

이제 u=ex 치환을 사용하여 적분을 전개하면 (du=exdx=udx),

cschxdx=2exe2x1dx=2u21du=(1u11u+1)dz=ln|u1|ln|u+1|+c=ln|u1u+1|+c=ln|ex1ex+1|+c

Comment: 아래와 같이 방법1의 결과와 동일함을 보일 수 있다.

I=ln|ex1ex+1|+c=ln|ex+1ex1|+c=ln|ex+1ex1ex+1ex+1|+c=ln|e2x+2ex+1e2x1|+c=ln|2exe2x1+e2x+1e2x1|+c=ln|cschx+cothx|+c

3. u=coshx 치환과 부분분수(partial fractions)

cschxdx=12ln|coshx1coshx+1|+c

 

시컨트/세칸트의 적분에서 접한 아이작 배로우(Isaac Barrow, 1630-1677)의 방법을 쌍곡코시컨트의 적분에도 그대로 적용할 수 있다.

cschx=1sinhxdx=sinhxsinh2xdx=sinhxcosh2x1dx(u=coshx,du=sinhxdx)=duu21=12(1u11u+1)=12[ln|u1|ln|u+1|]+c=12ln|u1u+1|+c=12ln|coshx1coshx+1|+c

Comment: 아래와 같이 방법1과 동일함을 확인할 수 있다.

I=12ln|coshx1coshx+1|+c=12ln|coshx+1coshx1|+c=12ln|coshx+1coshx1coshx+1coshx+1|+c=12ln|(coshx+1)2cosh2x1|+c=12ln|(coshx+1)2sinh2x|+c=ln|coshx+1sinhx|+c=ln|cschx+cothx|+c

4. t=tanhx2 치환 (t-치환 또는 바이어슈트라스 치환)

cschxdx=ln|tanhx2|+c

 

시컨트코시컨트 적분과 마찬가지로 t-치환 또는 바이어슈트라스 치환(Weierstrass substitution)을 사용할 수 있다. 삼각함수와 마찬가지로 t-치환의 핵심은 t=tanhx2을 사용하여 dx, coshxsinhx를 모두 t를 사용한 분수(유리함수)로 나타낼 수 있다는 데 있다.

dt=12sech2x21tanh2x2dx=1tanh2x22dx=1t22dxdx=21t2dtcoshx=cosh2x2+sinh2x2=cosh2x2(1+tanh2x2)=1+tanh2x2sech2x2=1+tanh2x21tanh2x2=1+t21t2sinhx=2sinhx2coshx2=2cosh2x2tanh2x2=2tanh2x2sech2x2=2tanh2x21tanh2x2=2t1t2

이제 쌍곡코시컨트/쌍곡코세칸트 적분에 적용하면,

cschxdx=1sinhxdx=12t1t221t2dt=1tdt=ln|u|+c=ln|tanhx2|+c

Comment: 방법1과의 동일함은 아래와 같이 확인할 수 있다.

I=ln|tanhx2|+c=ln|sinhx2coshx2|+c=ln|cosh2x2sinhx2coshx2|+c=ln|12(1+coshx)12sinhx|+c=ln|cschx+cothx|+c

5. 부록: t-치환 / 바이어슈트라스 치환 t=tanhx2

t-치환으로 쌍곡시컨트(sech)와 쌍곡코시컨트(csch) 적분을 할 수 있지만, 이 두 적분만 하고 멈추기에 t-치환은 너무도 효율적인 도구다.

 

앞서 유도한 결과를 다시 요약해보자.

dx=21t2dt,coshx=1+t21t2,sinx=2t1t2

 

또한 다른 삼각함수(tan, sec, csc, cot)도 t를 사용해 나타낼 수 있다.

tanhx=2t1+t2,sechx=1t21+t2,cschx=1t22t,cothx=1+t22t

 

이를 이용하면 coshx, sinhx이 들어있는 모든 적분을 다음과 같이 쓸 수 있다.

f(coshx,sinhx)dx=f(1+t21t2,2t1t2)21t2dt

 

이중 가장 대표적인 예는

1acoshx+bsinhx+cdx

로서 보다 자세한 내용은 t-치환/바이어슈트라스 치환(t-substitution, Weierstrass substitution)참조.

반응형
Comments