$\lim_{x \to 1} (1 - \log x)^{\frac{1}{\log x}}$ を計算します。

解析学極限対数テイラー展開
2025/5/29

1. 問題の内容

limx1(1logx)1logx\lim_{x \to 1} (1 - \log x)^{\frac{1}{\log x}} を計算します。

2. 解き方の手順

まず、y=logxy = \log x とおくと、x1x \to 1 のとき ylog1=0y \to \log 1 = 0 となります。
したがって、与えられた極限は
limy0(1y)1y\lim_{y \to 0} (1 - y)^{\frac{1}{y}}
と書き換えられます。
この極限を計算するために、L=limy0(1y)1yL = \lim_{y \to 0} (1 - y)^{\frac{1}{y}} とおき、両辺の自然対数を取ります。
logL=limy0log(1y)1y=limy01ylog(1y)\log L = \lim_{y \to 0} \log (1 - y)^{\frac{1}{y}} = \lim_{y \to 0} \frac{1}{y} \log (1 - y)
ここで、log(1y)\log(1-y)y=0y=0 におけるテイラー展開を考えると、
log(1y)=yy22y33\log(1-y) = -y - \frac{y^2}{2} - \frac{y^3}{3} - \cdots
したがって、
logL=limy0yy22y33y=limy0(1y2y23)=1\log L = \lim_{y \to 0} \frac{-y - \frac{y^2}{2} - \frac{y^3}{3} - \cdots}{y} = \lim_{y \to 0} \left(-1 - \frac{y}{2} - \frac{y^2}{3} - \cdots \right) = -1
logL=1\log L = -1 より、 L=e1=1eL = e^{-1} = \frac{1}{e}

3. 最終的な答え

1e\frac{1}{e}