不定形の極限値(limit of indeterminate forms)

1章で極限値について学びましたが， $x \rightarrow a$ のとき $f(x) \rightarrow 0, g(x) \rightarrow 0$ だとすると，

$$\lim_{x \rightarrow a}\frac{f(x)}{g(x)}$$

はどうなるのでしょうか．この場合を形式的に $\frac{0}{0}$ と書くことにすると，同じように極限値が明白でない場合が,和，差，積，商，累乗などのときにも起こります．例えば，

$$\infty - \infty, \infty \cdot 0, \frac{\infty}{\infty}, 1^{\infty},\infty^{0}$$

などです．このような場合をまとめて不定形(indeterminate form) といいます．1章でも不定形の極限値を求めましたが，複雑なテクニックを覚えなければならず，数学をつまらないと感じた人も少なくないでしょう．そこでここでは，不定形の極限値を微分法を使って求める方法について考えてみましょう．この方法のもとになっているものに，フランスの数学者 Augustine Louis Cauchy (1789-1854) によって一般化された Cauchyの定理とよばれている定理があります．

定理 2..14  

[Cauchyの平均値の定理] $2$つの関数 $f(x)，g(x)$ は閉区間 $[a,b]$ で連続，開区間 $(a,b)$ で微分可能とする． $g(a) \neq g(b)$ で，しかも $f^{\prime}(x)$ と $g^{\prime}(x)$ が同時に 0 にならないならば，

$$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f^{\prime}(\xi)}{g^{\prime}(\xi)} \ (a < \xi < x)$$

を満たす $\xi$ が少なくとも $1$つ存在する．

平均値の定理を $f(x)，g(x)$ に適用すると，

$$f(b) - f(a) = f^{\prime}(\xi_{1})(b - a)$$

$$g(b) - g(a) = g^{\prime}(\xi_{2})(b - a)$$

となり，これより両辺の商を求めると，

$$\frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f^{\prime}(\xi_{1})}{g^{\prime}(\xi_{2})}$$

残念ながら $\xi_{1}$ と $\xi_{2}$ の値は一般に等しくないので，この方法ではCauchyの平均値の定理は得 られません．

証明 平均値の定理のときと同じように，Rolleの定理の条件を満たすような関数を考えます．

$$G(x) = f(x) - \frac{f(b)-f(a)}{g(b)-g(a)}(g(x) - g(a)) - f(a)$$

という関数を考えると， $G(a) = G(b) = 0$ となり， $G(x)$ はRolleの定理の条件を満たす．したがって，Rolleの定理より，

$$G^{\prime}(\xi) = f^{\prime}(\xi) - \frac{f(b)-f(a)}{g(b)-g(a)}g^{\prime}(\xi) = 0$$

を満たす $\xi$ が少なくとも1つ存在する．ところで，

$$f^{\prime}(\xi) - \frac{f(b)-f(a)}{g(b)-g(a)}g^{\prime}(\xi) = 0$$

より， $g^{\prime}(\xi) = 0$ ならば $f^{\prime}(\xi) = 0$ となり仮定に反する．したがって， $g^{\prime}(\xi) \neq 0$ となり，

$$\frac{f(b)-f(a)}{g(b)-g(a)} = \frac{f^{\prime}(\xi)}{g^{\prime}(\xi)}$$

を得る． $\ \blacksquare$

極限値を求めるのに苦労した人もいると思いますが，次の定理はそんな人の味方です．この定理はフランスの数学者 G. F. A. L'Hospital (1661-1704) の名前をとってつけられました．最初に証明したのは彼の先生の Jakob Bernoulli (1654-1705)です．

定理 2..15  

[L'Hospitalの定理] $2$つの関数 $f(x)，g(x)$ は閉区間 $[a,b]$ で連続，開区間 $(a,b)$ で微分可能とする． $f(a) = g(a) = 0$ で，しかも

$$\lim_{x \rightarrow a + 0} \frac{f^{\prime}(x)}{g^{\prime}(x)} = l$$

が存在するならば，

$$\lim_{x \rightarrow a + 0} \frac{f(x)}{g(x)} = l$$

である．

証明 $a < x < b$ である $x$ をとると，Cauchyの平均値の定理より，

$$\frac{f(x)}{g(x)} = \frac{f(x) - f(a)}{g(x) - g(a)} = \frac{f^{\prime}(\xi)}{g^{\prime}(\xi)} \ (a < \xi < x)$$

を満たす $\xi$ が少なくとも1つ存在する．したがって，

$$\lim_{x \rightarrow a+0}\frac{f(x)}{g(x)} = \lim_{\xi \rightarrow a+0}\frac{f^{\prime}(\xi)}{g^{\prime}(\xi)} = l \ensuremath{\ \blacksquare}$$

この定理は $l = \infty, -\infty$ の場合も成り立ちます．

例題 2..30  

次の極限値を求めてみましょう．

$$\lim_{x \rightarrow 0}\frac{\sin{x} - x\cos{x}}{\sin{x} - x}$$

解

これは $${\frac{0}{0}}$$ の形の不定形です．そこで，分母，分子を別々に微分し，その商の極限値を求めると，

$$\lim_{x \rightarrow 0}\frac{x\sin{x}}{\cos{x} - 1}$$

これも $${\frac{0}{0}}$$ の形の不定形です．そこでもう一度，分母，分子を別々に微分し，その商の極限値を求めると，

$$\lim_{x \rightarrow 0}\frac{\sin{x} + x\cos{x}}{-\sin{x}}$$

これもまた， $${\frac{0}{0}}$$ の形の不定形です．そこでもう一度，分母，分子を別々に微分し，その商の極限値を求めると，

$$\lim_{x \rightarrow 0}\frac{2\cos{x} - x\sin{x}}{-\cos{x}} = \frac{2}{-1} = -2$$

したがって，L'Hospitalの定理を順に使うことにより，

$$\lim_{x \rightarrow 0}\frac{\sin{x} - x\cos{x}}{\sin{x} - x} = -2$$

となります． $\ \blacksquare$

さてL'Hospitalの定理は $${\left(\frac{0}{0}\right), \left(\frac{\infty}{\infty}\right)}$$ の不定形のときにしか使えないのでその他の不定形のときは，次のようにして $${\left(\frac{0}{0}\right), \left(\frac{\infty}{\infty}\right)}$$ の形に変形します．

(1) $f(x)g(x) \rightarrow (0\cdot \infty)$ の場合，

$$f(x)g(x) = \frac{f(x)}{\frac{1}{g(x)}} \rightarrow (\frac{0}{0})$$

に変形

例題 2..31  

$${\lim_{x \rightarrow 0} \frac{1}{x^2} \sin{x}}$$ を求めてみましょう．

解 これは $\infty \cdot 0$ の不定形をしています．そこで $${\frac{1}{x^2} \sin{x}}$$ を $${\frac{\sin{x}}{x^2}}$$ と書き直すと $${\frac{0}{0}}$$ の不定形になり，L'Hospitalの定理より

$$\lim_{x \rightarrow 0}\frac{\sin{x}}{x^2} = \lim_{x \rightarrow 0}\frac{\cos{x}}{2x}$$

ここで $${ \lim_{x \rightarrow 0-}\frac{\cos{x}}{2x} = - \infty, \ \lim_{x \rightarrow 0+}\frac{\cos{x}}{2x} = \infty}$$ より極限値は存在しません． $\ \blacksquare$

不注意で $${\lim_{x \rightarrow 0} \frac{\cos{x}}{2x}}$$ にL'Hospitalの定理を用いると

$$\lim_{x \rightarrow 0} \frac{\cos{x}}{2x} = \lim_{x \rightarrow 0}\frac{-\sin{x}}{2} = 0$$

よって， $${\lim_{x \rightarrow 0} \frac{\sin{x}}{x^{2}} = 0}$$ と書きたくなりますが，これは間違いです．

(2) $(f(x) - g(x)) \rightarrow (\infty - \infty)$ の場合，

$$f(x) - g(x) = \frac{\frac{1}{g(x)} - \frac{1}{f(x)}}{\frac{1}{f(x)g(x)}} \rightarrow (\frac{0}{0})$$

に変形

例題 2..32  

$${\lim_{x \rightarrow 0+}\left(\frac{e^x}{x} - \frac{1}{x}\right)}$$ を求めてみましょう．

解 これは $\infty - \infty$ の不定形をしています．そこで $${\frac{e^x}{x} - \frac{1}{x}}$$ を $${\frac{e^x - 1}{x}}$$ と書き直すと $${\frac{0}{0}}$$ の不定形になり，L'Hospitalの定理より

$$\lim_{x \rightarrow 0+}\frac{e^x - 1}{x} = \lim_{x \rightarrow 0+}\frac{e^x}{1} = 1$$

よって

$$\lim_{x \rightarrow 0+}(\frac{e^x}{x} - \frac{1}{x}) = 1$$

となります． $\ \blacksquare$

(3) $(f(x)^{g(x)}) \rightarrow (1^{\infty}$ または $\infty^{0})$ の場合，

$$f(x)^{g(x)} = e^{\log{f(x)^{g(x)}}} = e^{g(x)\log{f{(x)}}} \rightarrow (e^{\infty\cdot 0}\$$   または$$\ e^{0 \cdot \infty})$$

に変形

例題 2..33  

$${\lim_{x \rightarrow 0+}(1 + x)^{\frac{1}{x}}}$$ を求めてみましょう．

解 これは $${1^{\infty}}$$ の不定形をしています．そこで $${(1 + x)^{\frac{1}{x}}}$$ を $${e^{\frac{1}{x}} \log{(1 + x)}}$$ と書き直すと $${\frac{1}{x} \cdot \log{(1 + x)}}$$ は $\infty \cdot 0$ の不定形なので $${\frac{1}{x} \cdot \log{(1 + x)}}$$ を $${\frac{\log{(1+x)}}{x}}$$ と書き直すと， $${\frac{0}{0}}$$ の不定形になり，L'Hospital の定理より

$$\lim_{x \rightarrow 0+}(1 + x)^{\frac{1}{x}} = \lim_{x \rightarrow 0+}e^{\frac{1}{x} \log{(1 + x)}} = \lim_{x \rightarrow 0+}e^{\frac{\log{(1+x)}}{x}}$$

$$\underbrace{=}_{\mbox{L'Hospital}} \lim_{x \rightarrow 0+}e^{\frac{1/(1+x)}{1}} = e$$

となります． $\ \blacksquare$

確認問題

1.

次の極限値を求めよう．

(a) $${\lim_{x \rightarrow 0+}\frac{\sin{x}}{\sqrt{x}}}$$ (b) $${\lim_{x \rightarrow 1}\frac{\log{x}}{1-x}}$$ (c) $${\lim_{x \rightarrow 4}\frac{\sqrt{x}-2}{x-4}}$$ (d) $${\lim_{x \rightarrow 0}\frac{2^{x} - 1}{x}}$$

(e) $${\lim_{x \rightarrow 0}\frac{1 - \cos{x}}{3x}}$$ (f) $${\lim_{x \rightarrow \infty}\frac{x-1}{x+1}}$$ (g) $${\lim_{x \rightarrow \infty}\frac{2\sin{x}}{x}}$$ (h) $${\lim_{x \rightarrow 0}\frac{e^{x} - e^{-x}}{x}}$$

演習問題

1.

次の極限値を求めよう．

(a) $${\lim_{x \rightarrow 0}\frac{\sin{2x}}{\sin{3x}}}$$ (b) $${\lim_{x \rightarrow 0}\frac{\cos{x} - 1}{x}}$$ (c) $${\lim_{x \rightarrow 0}\frac{\sin^{-1}{x}}{x}}$$ (d) $${\lim_{x \rightarrow 0}x\sin{\frac{1}{x}}}$$

(e) $${\lim_{x \rightarrow 0}(\frac{1}{x^{2}} - \frac{1}{\sin^{2}{x}})}$$ (f) $${\lim_{x \rightarrow \frac{\pi}{2}}(1 - \sin{x})^{\cos{x}}}$$ (g) $${\lim_{x \rightarrow 0}(\frac{e^{x} - 1}{x})^{1/x}}$$

(h) $${\lim_{x \rightarrow 0}(1 - x)^{\frac{1}{\sin{x}}}}$$