ロピタルの定理

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

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

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

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

定理

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

<math>\lim_{x\to c}{f(x)} = \lim_{x\to c}g(x) = 0</math>

<math>\lim_{x\to c}{f(x)} = \pm\lim_{x\to c}{g(x)} = \pm\infty</math>

のいずれかが満たされるとする。また、 c を含むある開区間から c を除いた点において（<math>c=+\infty</math> であれば十分大きい実数に対して） <math>g'(x)\neq0</math> が成り立つとする。ここで、極限

<math>\lim_{x\to c}{\frac{f'(x)}{g'(x)}} = L</math>

が存在すれば、

<math>\lim_{x\to c}{\frac{f(x)}{g(x)}}=L</math>

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

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

極限、

<math>\lim_{x\to c}\frac{f'(x)}{g'(x)}</math>

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

<math>\lim_{x\to\infty}\frac{f'(x)}{g'(x)}=\lim_{x\to\infty}\frac{1+\cos x}{1}</math>

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

<math>\lim_{x\to\infty}\frac{f(x)}{g(x)} = \lim_{x\to\infty}\left(1+\frac{\sin x}{x}\right) = 1</math>

分母の微分に関する条件

<math>I\setminus\{c\}</math> において <math>g'(x)\neq0</math> が成り立つという条件が成り立たない場合、次のような反例が存在する。

<math>f(x)=x+\cos x\sin x</math>

<math>g(x)=e^{\sin x}(x+\cos x\sin x)</math>

とおくと、

<math>f(x)/g(x)=1/e^{\sin x}</math>

は <math>x\to+\infty</math> のとき発散するが、

<math>

\begin{align} \frac{f'(x)}{g'(x)}&=\frac{2\cos^2x}{e^{\sin x}\cos x(x+(\sin x+2)\cos x)}\\ &=\frac{2\cos x}{e^{\sin x}(x+(\sin x+2)\cos x)} \end{align} </math>

は0に収束する。

例

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

<math>

\begin{align} \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{align} </math>

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

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

<math>

\begin{align} \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{align} </math>

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

<math>\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}}</math>

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

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

<math>

\begin{align} \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 - (2 t)^2} \\ & = \frac{2}{\pi} \lim_{t\to 1/2} \frac{-\pi \sin \pi t}{-8 t} \\ & = \frac{2}{\pi} \cdot \frac{\pi}{4} \\ & = \frac{1}{2}. \end{align} </math>

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

<math>

\begin{align} \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{align} </math>

である。

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

<math>\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))</math>

であるので極限 <math>\lim_{x \to \infty} f(x)</math> が存在し、<math>\lim_{x \to \infty} f'(x) = 0</math> である。

他の不定形

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

<math>

\begin{align} \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{align} </math>

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

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

<math>

\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} </math>

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

<math>\lim_{x \to 0^+} x \ln x = 0</math>

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

<math>\lim_{x \to 0^+} x^x = e^0 = 1</math>

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

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

<math>

\lim_{|x| \to \infty} x \sin \frac{1}{x}. </math>

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

<math>

\begin{align} \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{align} </math>

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

<math>\lim_{|x| \to \infty} x \sin \frac{1}{x} = \lim_{y \to 0} \frac{\sin y}{y} = 1.</math>

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

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

<math>

\begin{align} \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{align} </math>

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

循環論法

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

<math>\lim_{h\to 0}{\frac{(x+h)^n-x^n}{h}}</math>

この極限を求める目的が <math>f(x)=x^n</math> に対して

<math>f'(x)=nx^{n-1},\,</math>

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

発見的論法

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

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

<math>\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)}</math>

である。

ロピタルの定理の証明

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

0/0形

<math>c</math> と <math>L</math> は有限であり、<math>f</math> と <math>g</math> は 0 に収束するとする。

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

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

<math>\frac{f(x)}{g(x)} = \frac{f'(\xi_x)}{g'(\xi_x)}</math>

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

<math>

\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)} </math>

∞/∞形

<math>L</math> が有限であり、<math>c</math> が正の無限大、そして <math>f</math> と <math>g</math> が正の無限大に発散するとする。 <math>0<\varepsilon<1</math> なる任意の <math>\varepsilon</math> に対してある <math>a</math> が存在し、

<math>x\ge a\Rightarrow\left|\frac{f'(x)}{g'(x)} - L\right| < \varepsilon/3</math>

が成り立つ。この a に対してある b が存在し、

<math>x\ge b\Rightarrow g(x)>\frac{3(|L|+1)}{\varepsilon}\max \{|f(a)|,|g(a)|\}</math>

が成り立つ。このとき <math>x>b</math> とするとコーシーの平均値の定理から <math>a<y<x</math> なるある y が存在して

<math>\frac{f(x)-f(a)}{g(x)-g(a)}=\frac{f'(y)}{g'(y)}</math>

が成り立つから

<math>\left|\frac{f(x)-f(a)}{g(x)-g(a)} - L\right| < \varepsilon/3</math>

となる。よって <math>x>b</math> において

<math>

\begin{align} \left|\frac{f(x)}{g(x)}-\frac{f(x)-f(a)}{g(x)-g(a)}\right| &= \left|\frac{f(a)}{g(x)}-\frac{g(a)}{g(x)} \cdot \frac{f(x)-f(a)}{g(x)-g(a)}\right|\\ &=\left|\frac{f(a)-g(a)L}{g(x)}-\frac{g(a)}{g(x)}\left(\frac{f(x)-f(a)}{g(x)-g(a)}-L\right)\right|\\ &<2\varepsilon/3 \end{align} </math>

が成り立つ。従って <math>x>b</math> のとき

<math>\left|\frac{f(x)}{g(x)} - L\right| < \varepsilon</math>

が成り立つ。

高等学校数学におけるロピタルの定理

日本の高等学校における数学科目(数学III)では分数関数の極限が扱われ、ロピタルの定理を適用すると容易に極限値を求められる計算問題がしばしば出題される。一部の学習参考書などでは発展的内容・有力な計算のテクニックとしてロピタルの定理が紹介されることがあるが、定理の使用には慎重である。これはロピタルの定理が学習指導要領で扱われておらず、「範囲外」の知識を説明なしに用いることが問題視されることがあること、定理を適用するための条件が若干複雑で誤ったやりかたで適用しがちであることなどが理由とされる。

関連項目

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

外部リンク

• l'Hôpital's rule at PlanetMath