次の4つの極限を求めます。 (1) $\lim_{x \to +\infty} \frac{\log x}{x}$ (2) $\lim_{x \to +\infty} \frac{\log (1+e^x)}{x}$ (3) $\lim_{x \to +0} \frac{\log \sin x}{\log x}$ (4) $\lim_{x \to +0} (1+\frac{1}{x})^x$

解析学極限ロピタルの定理対数関数
2025/5/8

1. 問題の内容

次の4つの極限を求めます。
(1) limx+logxx\lim_{x \to +\infty} \frac{\log x}{x}
(2) limx+log(1+ex)x\lim_{x \to +\infty} \frac{\log (1+e^x)}{x}
(3) limx+0logsinxlogx\lim_{x \to +0} \frac{\log \sin x}{\log x}
(4) limx+0(1+1x)x\lim_{x \to +0} (1+\frac{1}{x})^x

2. 解き方の手順

(1)
ロピタルの定理を使用します。limx+logxx\lim_{x \to +\infty} \frac{\log x}{x}\frac{\infty}{\infty} の不定形なので、分子と分母をそれぞれ微分します。
ddxlogx=1x\frac{d}{dx} \log x = \frac{1}{x}
ddxx=1\frac{d}{dx} x = 1
したがって、
limx+logxx=limx+1/x1=limx+1x=0\lim_{x \to +\infty} \frac{\log x}{x} = \lim_{x \to +\infty} \frac{1/x}{1} = \lim_{x \to +\infty} \frac{1}{x} = 0
(2)
limx+log(1+ex)x\lim_{x \to +\infty} \frac{\log (1+e^x)}{x} を求めます。
xx が十分に大きいとき、exe^x は 1 よりずっと大きくなるので、1+exex1+e^x \approx e^x と近似できます。したがって、log(1+ex)log(ex)=x\log(1+e^x) \approx \log(e^x) = x です。
limx+log(1+ex)x=limx+log(ex(1+ex))x=limx+logex+log(1+ex)x=limx+x+log(1+ex)x=limx+(1+log(1+ex)x)\lim_{x \to +\infty} \frac{\log (1+e^x)}{x} = \lim_{x \to +\infty} \frac{\log (e^x(1+e^{-x}))}{x} = \lim_{x \to +\infty} \frac{\log e^x + \log (1+e^{-x})}{x} = \lim_{x \to +\infty} \frac{x + \log (1+e^{-x})}{x} = \lim_{x \to +\infty} (1 + \frac{\log (1+e^{-x})}{x})
x+x \to +\infty のとき、ex0e^{-x} \to 0 なので、log(1+ex)log(1)=0\log(1+e^{-x}) \to \log(1) = 0 です。したがって、limx+log(1+ex)x=0\lim_{x \to +\infty} \frac{\log (1+e^{-x})}{x} = 0
よって、limx+log(1+ex)x=1+0=1\lim_{x \to +\infty} \frac{\log (1+e^x)}{x} = 1 + 0 = 1
(3)
limx+0logsinxlogx\lim_{x \to +0} \frac{\log \sin x}{\log x} を求めます。
x0x \to 0 のとき、sinxx\sin x \approx x と近似できます。したがって、logsinxlogx\log \sin x \approx \log x です。
limx+0logsinxlogx=limx+0log(sinx)logx=limx+0log(x(sinxx))logx=limx+0logx+log(sinxx)logx=limx+0(1+log(sinxx)logx)\lim_{x \to +0} \frac{\log \sin x}{\log x} = \lim_{x \to +0} \frac{\log (\sin x)}{\log x} = \lim_{x \to +0} \frac{\log (x( \frac{\sin x}{x}))}{\log x} = \lim_{x \to +0} \frac{\log x + \log (\frac{\sin x}{x})}{\log x} = \lim_{x \to +0} (1 + \frac{\log (\frac{\sin x}{x})}{\log x})
x0x \to 0 のとき、sinxx1\frac{\sin x}{x} \to 1 なので、log(sinxx)0\log (\frac{\sin x}{x}) \to 0 です。一方、logx\log x \to -\infty なので、limx+0log(sinxx)logx=0\lim_{x \to +0} \frac{\log (\frac{\sin x}{x})}{\log x} = 0
したがって、limx+0logsinxlogx=1+0=1\lim_{x \to +0} \frac{\log \sin x}{\log x} = 1 + 0 = 1
(4)
limx+0(1+1x)x\lim_{x \to +0} (1+\frac{1}{x})^x を求めます。
y=(1+1x)xy = (1+\frac{1}{x})^x とおくと、logy=xlog(1+1x)\log y = x \log (1+\frac{1}{x}) となります。
limx+0logy=limx+0xlog(1+1x)=limx+0log(1+1x)1x\lim_{x \to +0} \log y = \lim_{x \to +0} x \log (1+\frac{1}{x}) = \lim_{x \to +0} \frac{\log (1+\frac{1}{x})}{\frac{1}{x}}
ここで、t=1xt = \frac{1}{x} とおくと、x+0x \to +0 のとき、t+t \to +\infty なので、
limx+0log(1+1x)1x=limt+log(1+t)t\lim_{x \to +0} \frac{\log (1+\frac{1}{x})}{\frac{1}{x}} = \lim_{t \to +\infty} \frac{\log (1+t)}{t}
これは問題(2)と似ていますが、exe^xtt に置き換わっただけです。
limt+log(1+t)t=0\lim_{t \to +\infty} \frac{\log (1+t)}{t} = 0 (ロピタルの定理または、logx\log xxx より遅く増加することから)
limx+0logy=0\lim_{x \to +0} \log y = 0 なので、limx+0y=e0=1\lim_{x \to +0} y = e^0 = 1
したがって、limx+0(1+1x)x=1\lim_{x \to +0} (1+\frac{1}{x})^x = 1

3. 最終的な答え

(1) 0
(2) 1
(3) 1
(4) 1

「解析学」の関連問題

与えられた関数 $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