以下、\( a \) を正の実数、\( b \) を1より大きい実数とします。
皆さんは、対数関数 \( x\mapsto \log_{b}{x} \)、冪関数 \( x\mapsto {x}^a\)、指数関数 \( x\mapsto {b}^x\) の極限の強さを知っていますか?まず、これらは \( x\to\infty \) でいずれも正の無限大に発散することは知っているでしょう。しかし、その発散速度 ( \( x\to\infty \) としたときの数値の増える度合い) はいずれも異なります。すなわち、次が成り立ちます。
$$
\lim_{x\to\infty}\frac{\log_{b}{x}}{{x}^a}=0,\qquad\lim_{x\to\infty}\frac{{x}^a}{{b}^x}=0
$$
ちょうど冒頭で並べた順に、発散速度は大きくなります。今回は、この極限式を積分を用いて (高校数学の範囲で) 示そうと思います。
なお、\( x\to\infty \) を考えるので、\( x \) は十分大きい正の数とします。
まず、対数関数と冪関数ですが、次の不等式評価より挟み撃ちの原理から示されます。
$$
\begin{align*}
0<\frac{\log_{b}{x}}{{x}^a}&=\frac{1}{{x}^a}\int_{1}^{x}\frac{dt}{t\log{b}} \\
&\le\frac{1}{{x}^a}\int_{1}^{x}\frac{dt}{t^{1-\frac{a}{2}}\log{b}} \\
&=\frac{1}{{x}^a}\left[\frac{2}{a\log{b}}t^{\frac{a}{2}}\right]_{t=1}^{t=x} \\
&=\frac{2}{a\log{b}}\cdot\frac{1}{x^a}\left(x^{\frac{a}{2}}-1\right) \\
&=\frac{2}{a\log{b}}\left(\frac{1}{x^{\frac{a}{2}}}-\frac{1}{x^a}\right) \\
&\to0\quad(x\to\infty)
\end{align*}
$$
ただし、\( t\ge1 \) で \( \dfrac{1}{t}\le\dfrac{1}{t^{1-\frac{a}{2}}}\) であることを用いました。
この証明のポイントは、対数関数を積分を用いて表し、被積分関数を評価して冪関数のみの評価式に持ち込むことです。
次に、冪関数と指数関数ですが
$$
\frac{{x}^a}{{b}^x}=\left(\frac{x}{{b}^{\frac{x}{a}}}\right)^a
$$
より \( \dfrac{x}{{b}^{\frac{x}{a}}} \) について考えてやればよく、上と同じ方針で、次のようになります。
$$
\begin{align*}
0<\frac{x}{{b}^{\frac{x}{a}}}&=\frac{a}{{b}^{\frac{x}{a}}}\int_{0}^{\frac{x}{a}}dt \\
&\le\frac{a}{{b}^{\frac{x}{a}}}\int_{0}^{\frac{x}{a}}{\left(\frac{b+1}{2}\right)}^tdt \\
&=\frac{a}{{b}^{\frac{x}{a}}}\left[\frac{1}{\log\left(\frac{b+1}{2}\right)}{\left(\frac{b+1}{2}\right)}^t\right]_{t=0}^{t=\frac{x}{a}} \\
&=\frac{a}{\log\left(\frac{b+1}{2}\right)}\cdot\frac{1}{{b}^{\frac{x}{a}}}\left\{\left(\frac{b+1}{2}\right)^{\frac{x}{a}}-1\right\} \\
&=\frac{a}{\log\left(\frac{b+1}{2}\right)}\left\{\frac{1}{\left(2-\frac{2}{b+1}\right)^{\frac{x}{a}}}-\frac{1}{{b}^{\frac{x}{a}}}\right\} \\
&\to 0\quad(x\to\infty)
\end{align*}
$$
ただし、\( t\ge0,\ b>1 \) で \( 1\le {\left(\dfrac{b+1}{2}\right)}^t \) であること、及び \( 2-\dfrac{2}{b+1}>1 \) であることを用いました。
この証明のポイントは、冪関数 (一次関数) を積分を用いて表し、被積分関数を評価して指数関数のみの評価式に持ち込むことです。対数関数と冪関数を比べたときと、基本的な考え方は一緒となります。
いかがでしたでしょうか。もしとっさに上の極限を問われたとき、この積分を用いた方法なら直ぐに示すことができます (特に \( a,b \) が具体的な値で与えられてる場合 )。
積分は、不等式や極限の証明をエレガントにやろうと思ったときに役立つことが多いです (一応その訳はありますが、面倒なのでここでは解説しません)。今回の極限の証明もその一端として理解していただけると幸いです。