ロピタルの定理

ロピタルの定理 (ろぴたるのていり、英: l'Hôpital's rule) とは、微分積分学において不定形 (en) の極限を微分を用いて求めるための定理である。綴りl'Hôpital / l'Hospital、カタカナ表記ロピタル / ホスピタルの揺れについてはギヨーム・ド・ロピタルの項を参照。ベルヌーイの定理 (英語: Bernoulli's rule) と呼ばれることもある。本定理を (しばしば複数回) 適用することにより、不定形の式を非不定形の式に変換し、その極限値を容易に求めることができる可能性がある。

ロピタルの定理は、簡単には関数 ƒ と g において、 $\lim _{x\to c}f(x)=\lim _{x\to c}g(x)$ の値が 0 または $\pm \infty \,$ であり、かつ極限 $\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$ が存在するならば、 そのとき $\lim _{x\to c}{\frac {f(x)}{g(x)}}=\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$ であることを主張する。 つまり、分子と分母を微分することにより不定形の分数を単純化あるいは非不定形に変換し、分数の極限値を簡単に計算できる可能性がある。

シュトルツ=チェザロの定理は数列の極限において類似の結果を与えているが、そこでは微分ではなく隣接項差分が用いられている。

本定理はスイスの数学者、ヨハン・ベルヌーイによって発見されたものであるとされている (ロピタルの定理論争を参照)。本定理の名称としては、欧州で最初の微分学書である l'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes (1,696年, 直訳: 曲線の理解のための無限小の解析) を出版し、その中で本定理を広く世に知らしめた17世紀のフランスの数学者、ギヨーム・ド・ロピタルの名を冠してロピタルの定理と呼ばれることが通例である。

定理

ロピタルの定理の一般形は多くの場合に適用される。c と L が拡張された実数 (en) (すなわち実数、正の無限大、負の無限大) であり、次の条件、

$\lim _{x\to c}{f(x)}=\lim _{x\to c}g(x)=0$

$\lim _{x\to c}{f(x)}=\pm \lim _{x\to c}{g(x)}=\pm \infty$

のいずれかが満たされるとする。ここで、極限

$\lim _{x\to c}{\frac {f'(x)}{g'(x)}}=L$

が存在すれば、

$\lim _{x\to c}{\frac {f(x)}{g(x)}}=L$

である。このときの極限は片側極限 (en) であっても良い。

極限が存在するという条件

極限、

$\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$

が存在するという条件は十分条件にすぎない。不定形の微分ではしばしば極限値が存在せず、極限値が存在しない場合はロピタルの定理は適用できない。例えば、ƒ(x) = x + sin(x) と g(x) = x に対しては、

$\lim _{x\to \infty }{\frac {f'(x)}{g'(x)}}=\lim _{x\to \infty }{\frac {1+\cos x}{1}}$

となり、この極限は存在しない。しかし次のようにすれば極限を得ることができる。

$\lim _{x\to \infty }{\frac {f(x)}{g(x)}}=\lim _{x\to \infty }\left(1+{\frac {\sin x}{x}}\right)=1$

例

• 以下はに示す式はsinc関数と 0/0形の不定形を含む例である。

${\begin{aligned}\lim _{x\to 0}\operatorname {sinc} (x)&=\lim _{x\to 0}{\frac {\sin \pi x}{\pi x}}\\&=\lim _{y\to 0}{\frac {\sin y}{y}}\\&=\lim _{y\to 0}{\frac {\cos y}{1}}\\&=1.\end{aligned}}$

この極限は丁度、y=0 における sin関数の微分の定義になっていることがわかる。

• 次の式は0/0を含む、さらに巧妙な例である。ロビタルの定理を一回適用してもまだ不定形である。この場合は本定理を三回適用することにより、極限を求めることができる。

${\begin{aligned}\lim _{x\to 0}{\frac {2\sin x-\sin 2x}{x-\sin x}}&=\lim _{x\to 0}{\frac {2\cos x-2\cos 2x}{1-\cos x}}\\&=\lim _{x\to 0}{\frac {-2\sin x+4\sin 2x}{\sin x}}\\&=\lim _{x\to 0}{\frac {-2\cos x+8\cos 2x}{\cos x}}\\&={\frac {-2+8}{1}}\\&=6\end{aligned}}$

• 次の例は0/0形の不定形を持つ。b > 0 であるとすれば、

$\lim _{x\to 0}{\frac {b^{x}-1}{x}}=\lim _{x\to 0}{\frac {b^{x}\ln b}{1}}=\ln b\lim _{x\to 0}{b^{x}}=\ln b$

である。

• 次の例も0/0形の不定形を持つ。

$\lim _{x\to 0}{\frac {e^{x}-1-x}{x^{2}}}=\lim _{x\to 0}{\frac {e^{x}-1}{2x}}=\lim _{x\to 0}{\frac {e^{x}}{2}}={\frac {1}{2}}$

• この例は∞/∞形の不定形を持つ。$n$ が正の整数であるとき、

$\lim _{x\to \infty }x^{n}e^{-x}=\lim _{x\to \infty }{\frac {x^{n}}{e^{x}}}=\lim _{x\to \infty }{\frac {nx^{n-1}}{e^{x}}}=n\lim _{x\to \infty }{\frac {x^{n-1}}{e^{x}}}$

である。冪乗が 0 となってその極限が 0 となるまでロピタルの定理を繰り返し適用する。

• これは∞/∞形の不定形を持つ別の例である。

$\lim _{x\to 0^{+}}x\ln x=\lim _{x\to 0^{+}}{\frac {\ln x}{1/x}}=\lim _{x\to 0^{+}}{\frac {1/x}{-1/x^{2}}}=\lim _{x\to 0^{+}}-x=0.$

• これは レイズドコサインフィルタ (en) のインパルス応答と0/0形の不定形を持つ例である。

${\begin{aligned}\lim _{t\to 1/2}\operatorname {sinc} (t){\frac {\cos \pi t}{1-(2t)^{2}}}&=\operatorname {sinc} (1/2)\lim _{t\to 1/2}{\frac {\cos \pi t}{1-(2t)^{2}}}\\&={\frac {2}{\pi }}\lim _{t\to 1/2}{\frac {-\pi \sin \pi t}{-8t}}\\&={\frac {2}{\pi }}\cdot {\frac {\pi }{4}}\\&={\frac {1}{2}}.\end{aligned}}$

• 次の定理を証明するためにロピタルの定理を使用することができる。もし $\scriptstyle f''$ が x で連続ならば、

${\begin{aligned}\lim _{h\to 0}{\frac {f(x+h)+f(x-h)-2f(x)}{h^{2}}}&=\lim _{h\to 0}{\frac {f'(x+h)-f'(x-h)}{2h}}\\&=f''(x).\end{aligned}}$

である。

• ロビタルの定理はしばしば巧妙な方法において引き合いに出される。ここで $f(x)+f'(x)$ が $x\to \infty$ で収束すると、

$\lim _{x\to \infty }f(x)=\lim _{x\to \infty }{e^{x}f(x) \over e^{x}}=\lim _{x\to \infty }{e^{x}(f(x)+f'(x)) \over e^{x}}=\lim _{x\to \infty }(f(x)+f'(x))$

であるので極限 $\lim _{x\to \infty }f(x)$ が存在し、$\lim _{x\to \infty }f'(x)=0$ である。

他の不定形

0/0、∞/∞ 以外、すなわち " 1^∞ ", " 0⁰ ", " ∞⁰ ", " 0·∞ ", " ∞ − ∞ " などの不定形に対してもロピタルの定理を適用できる可能性がある。例えば、 "∞ − ∞" を含む極限を求めるためには二つの関数の差を分数に変換することにより、

${\begin{aligned}\lim _{x\to 1}\left({\frac {x}{x-1}}-{\frac {1}{\ln x}}\right)&=\lim _{x\to 1}{\frac {x\ln x-x+1}{(x-1)\ln x}}\quad &(1)\\&=\lim _{x\to 1}{\frac {\ln x}{{\frac {x-1}{x}}+\ln x}}\quad &(2)\\&=\lim _{x\to 1}{\frac {x\ln x}{x-1+x\ln x}}\quad &(3)\\&=\lim _{x\to 1}{\frac {1+\ln x}{2+\ln x}}\quad &(4)\\&={\frac {1}{2}}\end{aligned}}$

を得る。ここにロピタルの定理が (1) から (2) そして (3) から (4) への変形に用いられた。

指数関数を含む不定形では、対数を用いて指数部から降ろすとロピタルの定理を適用できる可能性がある。次の式は 0⁰形の不定形を含む例である。

$\lim _{x\to 0^{+}}x^{x}=\lim _{x\to 0^{+}}e^{\ln x^{x}}=\lim _{x\to 0^{+}}e^{x\ln x}=e^{\lim _{x\to 0^{+}}x\ln x}$

ここで、指数関数は連続であるので、極限を指数関数の内側に移動することが有効である。すると指数 $x$ を指数部から降ろすことができる。極限 $\scriptstyle \lim _{x\to 0^{+}}x\ln x$ は 0·(−∞) 形の不定形となるが、上で示した例と同様にロピタルの定理を適用することができ、

$\lim _{x\to 0^{+}}x\ln x=0$

を得て、極限は次のように求められる。

$\lim _{x\to 0^{+}}x^{x}=e^{0}=1$

極限を求めるための他の方法

ロピタルの定理は通常の方法では求めることが困難な極限問題に対しても強力な手法であるが、それが常に簡単とは限らない。次の例を考えてみよう。

$\lim _{|x|\to \infty }x\sin {\frac {1}{x}}.$

この極限はロピタルの定理を用いると、

${\begin{aligned}\lim _{|x|\to \infty }x\sin {\frac {1}{x}}&=\lim _{|x|\to \infty }{\frac {\sin {\frac {1}{x}}}{1/x}}\\&=\lim _{|x|\to \infty }{\frac {-x^{-2}\cos {\frac {1}{x}}}{-x^{-2}}}\\&=\lim _{|x|\to \infty }\cos {\frac {1}{x}}\\&=\cos {\left(\lim _{|x|\to \infty }{\frac {1}{x}}\right)}\\&=1\end{aligned}}$

となるが、 cos 関数が連続であるので極限操作を cos 関数の内側に移動することが有効である。この極限を計算するための他の方法は変数の置換である。y = 1/x とする。|x| が無限大に近づくにつれて y は 0 に近づく。従って、

$\lim _{|x|\to \infty }x\sin {\frac {1}{x}}=\lim _{y\to 0}{\frac {\sin y}{y}}=1.$

である。最後の極限はロピタルの定理を用いて計算することもできるが、それを用いなくても 0 における sin 関数の微分の定義と同様の手法でも可能である。

この極限を計算するさらに他の方法は、テイラー展開を用いることである。

${\begin{aligned}\lim _{|x|\to \infty }x\sin {\frac {1}{x}}&=\lim _{|x|\to \infty }x\left({\frac {1}{x}}-{\frac {1}{3!\,x^{3}}}+{\frac {1}{5!\,x^{5}}}-\cdots \right)\\&=\lim _{|x|\to \infty }\left(1-{\frac {1}{3!\,x^{2}}}+{\frac {1}{5!\,x^{4}}}-\cdots \right)\\&=1+\lim _{|x|\to \infty }{\frac {1}{x}}\left(-{\frac {1}{3!\,x}}+{\frac {1}{5!\,x^{3}}}-\cdots \right)\end{aligned}}$

|x| ≥ 1 に対して、最後の行の第2項の極限のかっこの中の展開は有界であるので極限は 0 である。

循環論法

いくらかのケースではある極限を計算するためにロピタルの定理を使用するとき、循環論法 (en) を構成することがある。次の例を考えてみよう。

$\lim _{h\to 0}{\frac {(x+h)^{n}-x^{n}}{h}}$

この極限を求める目的が $f(x)=x^{n}$ に対して

$f'(x)=nx^{n-1},\,$

であることの証明であるとき、もしその極限をロピタルの定理を使用して計算すれば、この論法は結論を仮定として用いることとなり (論点先取)、たとえ結論が正しくとも非合理的な証明である。

発見的論法

以下の単純な論法はロピタルの定理あるいは類似の概念が正しいことを示唆している。ここではロピタルの定理よりも強い仮定を用いているため、ロピタルの定理を証明するものではない。

$\scriptstyle f'$ と $g'$ が $c$ で連続であり、$f(c)=g(c)=0$ かつ g′(c) ≠ 0 であるならば、

$\lim _{x\to c}{\frac {f(x)}{g(x)}}=\lim _{x\to c}{\frac {f(x)/(x-c)}{g(x)/(x-c)}}={\frac {f'(c)}{g'(c)}}=\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$

である。

ロピタルの定理の証明

ロピタルの定理を証明する標準的な方法はコーシーの平均値の定理を用いることである。ロピタルの定理は $c$ と $L$ が有限か無限か、$f$ と $g$ の収束値が 0 か無限大か、そして極限が片側か両側か、によって多くのバリエーションがある。それら全てのバリエーションは他の本質的な要因を考える必要なく次に示す主要な二つの形態に従う。

0/0形

$c$ と $L$ は有限であり、$f$ と $g$ は 0 に収束するとする。

まず第一に、$f(c)=0$ と $g(c)=0$ を定義 (または再定義) する。$f$ と $g$ は $c$ で連続であるが、定義より極限は $c$ に依存しないので極限は変化しない。極限値 $\scriptstyle \lim _{x\to c}f'(x)/g'(x)\,$ が存在するので、 $x=c$ を除いて$g'(x)$ が非 0 であれば、区間 $(c-\delta ,c+\delta )$ 内の全ての $x$ に対して $\scriptstyle f'(x)$ と $g'(x)$ の双方が存在するようなその区間が存在する。

もし $x$ が区間 $(c,c+\delta )$ にあれば、平均値の定理とコーシーの平均値の定理の両方を区間 $[c,x]$ に適用する。そして区間 $(c-\delta ,c)$ と $x$ に対して同様に適用する。平均値の定理は $g(x)$ が非 0 であることを意味する。 でなければ、$g'(y)=0$ であるような 区間 $(c,x)$ の $y$ が存在する。つまり、コーシーの平均値の定理は次の条件、

${\frac {f(x)}{g(x)}}={\frac {f'(\xi _{x})}{g'(\xi _{x})}}$

を満たす区間 $(c,x)$ 内の $\xi _{x}$ が存在することを意味する。 もし $x$ が $c$ に近づくならば、$\xi _{x}$ は $c$ に近づく。$\scriptstyle \lim _{x\to c}f'(x)/g'(x)$ が存在するので、次式を得る。

$\lim _{x\to c}{\frac {f(x)}{g(x)}}=\lim _{x\to c}{\frac {f'(\xi _{x})}{g'(\xi _{x})}}=\lim _{x\to c}{\frac {f'(x)}{g'(x)}}$

∞/∞形

$L$ が有限であり、$c$ が正の無限大、そして $f$ と $g$ が正の無限大に収束するとする。 すべての $\varepsilon >0$ に対して、

$\left|{\frac {f'(x)}{g'(x)}}-L\right|<\varepsilon \quad {\text{for }}x\geq m$

を満たすような $m$ が存在する。

平均値の定理は $x>m$ に対して g(x) ≠ g(m) であることを含意する。他方、$g'(y)=0$ を満たす区間 $(m,x)$ の $y$ が存在するためである。コーシーの平均値の定理を$[m,x]$ に適用すると、

$\left|{\frac {f(x)-f(m)}{g(x)-g(m)}}-L\right|<\varepsilon \quad {\text{for }}x>m$

である。$f$ は正の無限大に収束するので、もし $x$ が十分に大きければ f(x) ≠ f(m) であり、次式を得る。

${\frac {f(x)}{g(x)}}={\frac {f(x)-f(m)}{g(x)-g(m)}}\cdot {\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}$

さらに、次の関係を得る。

${\begin{aligned}&\left|{\frac {f(x)-f(m)}{g(x)-g(m)}}\cdot {\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|\\&\quad \leq \left|{\frac {f(x)-f(m)}{g(x)-g(m)}}\right|\left|{\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-1\right|\\&\quad <(|L|+\varepsilon )\left|{\frac {f(x)}{f(x)-f(m)}}\cdot {\frac {g(x)-g(m)}{g(x)}}-1\right|\end{aligned}}$

十分に大きい $x$ に対して、この値は $\varepsilon$ 未満であるので、

$\left|{\frac {f(x)}{g(x)}}-L\right|<2\varepsilon .$*

である。

• 補足: 詳細な式変形過程は省略

大学入学試験との関わり

ロピタルの定理は日本の高等学校数学の学習指導要領には含まれていない。特に数学IIIを出題範囲に持つ大学入学試験では、0/0形の不定形の極限問題がしばしば出題され、原則として高等学校数学の学習指導要領の範囲で解くことができる問題であるが計算量、筆記量が多くなる傾向にある。その一方ではそのような問題は、ロピタルの定理を根拠にすると容易に解くことができることが多い。この事実は大学受験界ではしばしば話題に上るとともに問題点として指摘されている。

関連項目

• 不定形 (en)
• 平均値の定理
• シュトルツ=チェザロの定理

外部リンク

• l'Hôpital's rule at PlanetMath