자연계열 2-2번

$\displaystyle s=\ln t$로 치환하면 $\displaystyle g(x)=\int_1^x\sin(\ln t)\,dt=\int_0^{\ln x}\sin s\cdot e^s\,ds$가 되고, 부분적분법을 이용하면$\displaystyle \int_0^{\ln x}e^s\sin s\,ds=\Biggl[-e^s\cos s\Biggr]_0^{\ln x}-\int_0^{\ln x}(-e^s\cos s)\,ds=\Biggl[-e^s\cos s\Biggr]_0^{\ln x}+\int_0^{\ln x}e^s\cos s\,ds$가 되며, 부분적분법을 한 번 더 이용하면$\displaystyle \int_0^{\ln x}e^s\sin s\,ds=\Biggl[-e^s\cos s\Biggr]_0^{\ln x}+\Biggl[e^s\sin s\Biggr]_0^{\ln x}-\int_0^{\ln x}e^s\sin s\,ds$가 되어$\displaystyle \int_0^{\ln x}e^s\sin s\,ds=\frac12\Biggl[e^s\sin s-e^s\cos s\Biggr]_0^{\ln x}=\frac x2(\sin(\ln x)-\cos(\ln x))+\frac12$임을 알 수 있다.

한편, $\displaystyle g(x)$가 극값을 가지는 점들은 $\displaystyle g^{\prime}(x)=\sin(\ln x)=0$인 점들이므로 $\displaystyle \ln x=n\pi$(단, $\displaystyle n$는 정수)이고,문제의 조건 $\displaystyle 0<x<1$으로부터 $\displaystyle g(x)$는 $\displaystyle x=e^{-n\pi}$(단, $\displaystyle n$는 자연수)에서 극값을 가짐을 알 수 있다.

이때, $\displaystyle g(e^{-n\pi})=\frac{e^{-n\pi}}2(\sin(-n\pi)-\cos(-n\pi))+\frac12=-e^{-n\pi}\cdot(-1)^n+\frac12$이므로,Correction. [2-2] 대학 답안에서 $\displaystyle g(e^{-n\pi})$를 정리한 식에는 계수 $\displaystyle 1/2$이 빠졌다. 올바른 식은 $\displaystyle g(e^{-n\pi})=-\frac12e^{-n\pi}(-1)^n+\frac12$이다. 그러나 원칙에 따라 원문 표기를 그대로 실었다.$\displaystyle \sum_{k=1}^\infty\left(g(a_n)-\frac12\right)=-\frac12\sum_{n=1}^\infty(-e^{-\pi})^n=-\frac12\frac{-e^{-\pi}}{1+e^{-\pi}}=\frac1{2(e^\pi+1)}$이다.