1. 問題の内容
広義積分 を計算する問題です。
2. 解き方の手順
広義積分なので、まず積分範囲の下端を極限で置き換えます。
I = \lim_{\epsilon \to +0} \int_{\epsilon}^{1} x \log x \, dx
次に、部分積分を使って積分を計算します。
, とすると、, となります。
\int x \log x \, dx = \frac{x^2}{2} \log x - \int \frac{x^2}{2} \cdot \frac{1}{x} \, dx = \frac{x^2}{2} \log x - \frac{1}{2} \int x \, dx = \frac{x^2}{2} \log x - \frac{x^2}{4} + C
したがって、
\int_{\epsilon}^{1} x \log x \, dx = \left[ \frac{x^2}{2} \log x - \frac{x^2}{4} \right]_{\epsilon}^{1} = \left( \frac{1^2}{2} \log 1 - \frac{1^2}{4} \right) - \left( \frac{\epsilon^2}{2} \log \epsilon - \frac{\epsilon^2}{4} \right) = \left( 0 - \frac{1}{4} \right) - \left( \frac{\epsilon^2}{2} \log \epsilon - \frac{\epsilon^2}{4} \right) = -\frac{1}{4} - \frac{\epsilon^2}{2} \log \epsilon + \frac{\epsilon^2}{4}
ここで、 であることを利用します。(ロピタルの定理を使えば確認できます)
\lim_{\epsilon \to +0} \epsilon^2 \log \epsilon = \lim_{\epsilon \to +0} \frac{\log \epsilon}{1/\epsilon^2} = \lim_{\epsilon \to +0} \frac{1/\epsilon}{-2/\epsilon^3} = \lim_{\epsilon \to +0} \frac{-\epsilon^2}{2} = 0
よって、
I = \lim_{\epsilon \to +0} \left( -\frac{1}{4} - \frac{\epsilon^2}{2} \log \epsilon + \frac{\epsilon^2}{4} \right) = -\frac{1}{4} - 0 + 0 = -\frac{1}{4}