1/x周辺の積分(log x の近傍で)

さて, \int_1^x dx/x はなんでしょう?そうです, \log x ですね. 今回は,αを-1に近づけたときの \int_1^x x^{\alpha} dx の挙動を調べてみます.

動機

べき関数の積分に於いて,

\int_1^x x^{\alpha} dx\begin{cases}\dfrac{x^{\alpha+1}-1}{\alpha+1}  \ \ \ \ \ (\alpha \neq -1) \\\log x  \ \ \ \ \ (\alpha = -1) \\\end{cases}

ですが, \alpha = -1 の時だけ別種の関数に見えています. では, \alpha-1 とは異なる,しかし,ごく近い実数にしたら, \log に収束するのか, 調べました.

\lim_{\alpha \to -1} \int_1^x x^{\alpha} dx &=\lim_{\alpha \to -1} \dfrac{x^{\alpha+1}-1}{\alpha+1} \\&=\lim_{\beta \to 0}  \dfrac{x^{\beta}-1}{\beta} \\&=\lim_{\beta \to 0}  \dfrac{x^{\beta}-x^0}{\beta-0} \\&=\lim_{\beta \to 0}  \dfrac{d}{d \beta} x^{\beta} \\&=\lim_{\beta \to 0}  \dfrac{d}{d \beta} e^{\beta \log x} \\&=\lim_{\beta \to 0}  \log x e^{\beta \log x} \\&=\lim_{\beta \to 0}   x^{\beta} \log x  \\&= \log x \ \ (= \log_e x)

この様に確かに, \log x に収束しました. 実は幾何学的な解釈をすれば, 積分は曲線の下の面積なので,曲線が連続的に移り変わるなら, おかしなことは起こるはずがなかったのです.

発散と収束の境界:log x

もう少し考えてみましょう.

\int_1^\infty x^\alpha dx

は, \alpha < -1 で収束, \alpha \geq -1 で発散したのでした.

横軸が対数の片対数のプロットでその様子を見てみましょう.それが,下の図です.

chromel-nearLog-01-t.png

見ると, \alpha=-1 の直線を境に上に凸な \alpha < -1 と下に凸な \alpha > -1 で きれいに分かれることが分かります.ちなみに赤線は

\dfrac{x^{\alpha+1}-1}{\alpha+1}|_{\alpha = -1.01 \ x \to \infty} = \dfrac{0-1}{-0.01}=100

に収束します. それでは今日はこの辺で,お疲れ様でした.