$x \to \infty$ のとき、$y=e^x$ が $y=x^e$ と比較して、より急速に増大することを証明する。

解析学極限ロピタルの定理関数の比較指数関数
2025/7/30

1. 問題の内容

xx \to \infty のとき、y=exy=e^xy=xey=x^e と比較して、より急速に増大することを証明する。

2. 解き方の手順

xx \to \infty において、exe^xxex^e より急速に増大することを証明するには、
limxxeex=0\lim_{x \to \infty} \frac{x^e}{e^x} = 0
を示すことができればよい。
この極限を計算するために、ロピタルの定理を繰り返し適用する。
関数 f(x)=xef(x)=x^eg(x)=exg(x)=e^x を考える。
xx \to \infty のとき、xex^e \to \infty かつ exe^x \to \infty なので、不定形 \frac{\infty}{\infty} である。したがって、ロピタルの定理を適用できる。
f(x)=exe1f'(x) = ex^{e-1}
g(x)=exg'(x) = e^x
limxf(x)g(x)=limxexe1ex\lim_{x \to \infty} \frac{f'(x)}{g'(x)} = \lim_{x \to \infty} \frac{ex^{e-1}}{e^x}
これも不定形 \frac{\infty}{\infty} であるので、再びロピタルの定理を適用する。
f(x)=e(e1)xe2f''(x) = e(e-1)x^{e-2}
g(x)=exg''(x) = e^x
limxf(x)g(x)=limxe(e1)xe2ex\lim_{x \to \infty} \frac{f''(x)}{g''(x)} = \lim_{x \to \infty} \frac{e(e-1)x^{e-2}}{e^x}
このプロセスを繰り返すと、最終的には xx の指数が負になる。
n>en > e となる整数 nn を取れば、f(n)(x)f^{(n)}(x) は定数となり、g(n)(x)=exg^{(n)}(x) = e^x である。
したがって、
limxf(n)(x)g(n)(x)=limxCex=0\lim_{x \to \infty} \frac{f^{(n)}(x)}{g^{(n)}(x)} = \lim_{x \to \infty} \frac{C}{e^x} = 0
ここで、CC はある定数である。
ロピタルの定理を nn 回適用した結果、極限値が0になることから、
limxxeex=0\lim_{x \to \infty} \frac{x^e}{e^x} = 0
となる。
これは、xx \to \infty において、exe^xxex^e より急速に増大することを示している。

3. 最終的な答え

limxxeex=0\lim_{x \to \infty} \frac{x^e}{e^x} = 0 であるため、xx \to \infty のとき、exe^xxex^e よりも急速に増大する。

「解析学」の関連問題