$\lim_{x \to \infty} \frac{(\ln x)^n}{e^x}$, $n \in \mathbb{N}$ を求めよ。

解析学極限ロピタルの定理数学的帰納法指数関数対数関数
2025/5/8

1. 問題の内容

limx(lnx)nex\lim_{x \to \infty} \frac{(\ln x)^n}{e^x}, nNn \in \mathbb{N} を求めよ。

2. 解き方の手順

xx \to \infty のとき、(lnx)n(\ln x)^nexe^x\infty に発散するので、ロピタルの定理を適用できる。
ロピタルの定理を適用すると、
limx(lnx)nex=limxn(lnx)n11xex=limxn(lnx)n1xex\lim_{x \to \infty} \frac{(\ln x)^n}{e^x} = \lim_{x \to \infty} \frac{n (\ln x)^{n-1} \cdot \frac{1}{x}}{e^x} = \lim_{x \to \infty} \frac{n (\ln x)^{n-1}}{x e^x}
となる。
分子は (lnx)n1(\ln x)^{n-1} で、分母は xexxe^x であるから、再度ロピタルの定理を適用する。
分子の(lnx)n1(\ln x)^{n-1} の次数が 00 になるまで繰り返す。
nn 回ロピタルの定理を適用すると、
limx(lnx)nex=limxn!xex×多項式\lim_{x \to \infty} \frac{(\ln x)^n}{e^x} = \lim_{x \to \infty} \frac{n!}{x e^x} \times \text{多項式} の形になる。
一般に、xx \to \infty のとき、exe^xxnx^n より早く \infty に発散する。したがって、limxxnex=0\lim_{x \to \infty} \frac{x^n}{e^x} = 0 である。
この事実を使うと、
limx(lnx)nex=0\lim_{x \to \infty} \frac{(\ln x)^n}{e^x} = 0
がわかる。
より厳密には、nnに関する帰納法を用いる。
n=1n = 1 のとき、limxlnxex=limx1/xex=limx1xex=0\lim_{x \to \infty} \frac{\ln x}{e^x} = \lim_{x \to \infty} \frac{1/x}{e^x} = \lim_{x \to \infty} \frac{1}{xe^x} = 0 となる。
n=kn = k のとき、limx(lnx)kex=0\lim_{x \to \infty} \frac{(\ln x)^k}{e^x} = 0 と仮定する。
n=k+1n = k+1 のとき、limx(lnx)k+1ex=limx(k+1)(lnx)k1xex=limx(k+1)(lnx)kxex=(k+1)limx(lnx)kxex\lim_{x \to \infty} \frac{(\ln x)^{k+1}}{e^x} = \lim_{x \to \infty} \frac{(k+1) (\ln x)^k \cdot \frac{1}{x}}{e^x} = \lim_{x \to \infty} \frac{(k+1) (\ln x)^k}{x e^x} = (k+1) \lim_{x \to \infty} \frac{(\ln x)^k}{x e^x} となる。ここで、limx(lnx)kex=0\lim_{x \to \infty} \frac{(\ln x)^k}{e^x} = 0 であり、xexx e^xexe^x より速く \infty に発散するので、limx(lnx)kxex=0\lim_{x \to \infty} \frac{(\ln x)^k}{x e^x} = 0 となる。
したがって、limx(lnx)k+1ex=0\lim_{x \to \infty} \frac{(\ln x)^{k+1}}{e^x} = 0 となる。
よって、数学的帰納法により、limx(lnx)nex=0\lim_{x \to \infty} \frac{(\ln x)^n}{e^x} = 0 が成り立つ。

3. 最終的な答え

0

「解析学」の関連問題

与えられた関数 $y = \frac{1}{(\log x - 5)^2}$ を微分して、$y'$ を求めます。ここでは底が10の常用対数$\log$として扱います。

微分対数関数連鎖律
2025/5/8

与えられた関数 $y = \log(\sqrt{x} - 3)$ の定義域を求めます。

対数関数定義域不等式
2025/5/8

与えられた関数 $y = \log(\sqrt{x} - 3)$ について、この関数が定義されるための $x$ の条件(定義域)を求めます。

対数関数定義域不等式平方根
2025/5/8

与えられた関数 $y = \log(x^4 + x^2 - 1)$ の微分 $dy/dx$ を求める問題です。ここで、$\log$ は自然対数(底が $e$ の対数)を表します。

微分合成関数の微分対数関数導関数
2025/5/8

与えられた関数 $y = \frac{x-1}{\log x + 1}$ の導関数を求める問題です。

微分導関数商の微分公式対数関数
2025/5/8

与えられた関数 $y = \frac{x-1}{\log x + 1}$ を解析する問題ですが、具体的に何をすれば良いのかが指定されていません。ここでは、この関数の微分を求めることにします。対数関数は...

微分対数関数商の微分法則
2025/5/8

与えられた4つの関数を微分する問題です。 (1) $y = \log|3x+2|$ (2) $y = \log_3|x^2-4|$ (3) $y = \log|\sin x|$ (4) $y = \l...

微分対数関数合成関数
2025/5/8

与えられた3つの関数をそれぞれ微分する問題です。 (1) $y = x^2 \log x$ (2) $y = \log_3(2x-1)$ (3) $y = \log (\log x)$

微分対数関数合成関数の微分積の微分
2025/5/8

与えられた9個の関数をそれぞれ微分せよ。

微分三角関数合成関数の微分
2025/5/8

関数 $y = \frac{\sqrt{x} + 1}{\sqrt{x} + 1}$ を微分せよ。

微分関数の微分定数関数
2025/5/8