不定形の極限に関するロピタルの定義（\(\infty \)/\(\infty \)型）
定義域を共有する2つの関数\(f,g:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が与えられたとき、定義域の点\(a\in X\)を任意に選びます。ただし、関数\(f,g\)がともに点\(a\)の周辺の任意の点において定義されているとともに、関数\(g\)は点\(a\)の周辺の任意の点において非ゼロの値をとるものとします。この場合、点\(a\)の周辺の任意の点\(x\in X\)において以下の関数\begin{equation*}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}は定義されていることになるため、\(x\rightarrow a\)のときの極限\begin{equation*}\lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるか検討できます。その上で、以下の条件\begin{equation*}
\lim_{x\rightarrow a}\left\vert f\left( x\right) \right\vert
=\lim_{x\rightarrow a}\left\vert g\left( x\right) \right\vert =+\infty
\end{equation*}が成り立つ状況を想定します。この場合、分子\(f\left( x\right) \)と分母\(g\left(x\right) \)の極限を別々にとると、\begin{equation*}\frac{\lim\limits_{x\rightarrow a}f\left( x\right) }{\lim\limits_{x\rightarrow a}g\left( x\right) }=\frac{\pm \infty }{\pm \infty }
\end{equation*}という不定形になってしまいます。このような事情を踏まえた上で、もとの関数\(\frac{f\left( x\right) }{g\left( x\right) }\)の極限\begin{equation*}\lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}を\(\frac{\infty }{\infty }\)型の不定形（indeterminate form of type \(\frac{\infty }{\infty }\)）と呼びます。
不定形の極限は有限な実数として定まる場合とそうでない場合の両方が起こり得ますし、そもそも有限な実数として定まるか判定が困難であるような状況は起こり得ます。
\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0}\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}
\end{equation*}について考えます。分子と分母について、\begin{equation*}
\lim_{x\rightarrow 0}\frac{1}{x^{2}}=\lim_{x\rightarrow 0}\frac{1}{x^{4}}=\infty
\end{equation*}であるため、これは\(\frac{\infty }{\infty }\)型の不定形です。ただし、\begin{eqnarray*}\lim_{x\rightarrow 0}\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}
&=&\lim_{x\rightarrow 0}\frac{x^{4}}{x^{2}} \\
&=&\lim_{x\rightarrow 0}x^{2} \\
&=&0
\end{eqnarray*}という形で極限を特定できます。
一定の条件のもとでは、微分を用いて不定形の極限が有限な実数として定まるか判定できるとともに、その極限を具体的に特定することもできます。順番に解説します。
区間上に定義された2つの関数\(f,g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が与えられた状況において、定義域の内点\(a\in I^{i}\)を任意に選びます。その上で、以下の条件が満たされているものとします。
1つ目の条件は、これらの関数\(f,g\)がともに定義域上で微分可能であるということです。つまり、導関数\(f^{\prime},g^{\prime }:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれ存在します。
2つ目の条件は、これらの関数\(f,g\)が先の内点\(a\in I^{i}\)において、\begin{eqnarray*}&&\left( a\right) \ \lim_{x\rightarrow a}f\left( x\right) =\pm \infty \\
&&\left( b\right) \ \lim_{x\rightarrow a}g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つということです。したがって以下の極限\begin{equation*}
\left( c\right) \ \lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left(
x\right) }
\end{equation*}は\(\frac{\infty }{\infty }\)型の不定形であることに注意してください。
3つ目の条件は、関数\(g\)の導関数が、\begin{equation*}\left( d\right) \ \forall x\in I:g^{\prime }\left( x\right) \not=0
\end{equation*}を満たすというものです。
4つ目の条件は、\(x\rightarrow a\)のときの関数\(\frac{f^{\prime }\left(x\right) }{g^{\prime }\left( x\right) }\)の極限が有限な実数として定まること、すなわち、\begin{equation*}\left( e\right) \ \lim_{x\rightarrow a}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{equation*}が成り立つということです。
以上の条件が満たされる場合、不定形の極限\begin{equation*}
\lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるとともに、その値は、\begin{equation*}
\lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow a}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left(
x\right) }
\end{equation*}となることが保証されます。これをロピタルの定理（l’Hospital’s rule）と呼びます。
&&\left( b\right) \ \lim_{x\rightarrow a}g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つとともに、導関数\(f^{\prime },g^{\prime }:\mathbb{R} \supset I\rightarrow \mathbb{R} \)は以下の条件\begin{eqnarray*}&&\left( c\right) \ \forall x\in I:g^{\prime }\left( x\right) \not=0 \\
&&\left( d\right) \ \lim_{x\rightarrow a}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{eqnarray*}を満たすものとする。このとき、関数\(\frac{f\left( x\right) }{g\left( x\right) }\)は\(x\rightarrow a\)のときに有限な実数へ収束するとともに、以下の関係\begin{equation*}\lim_{x\rightarrow a}\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow a}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left(
x\right) }
\end{equation*}が成り立つ。
\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0}\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}
\end{equation*}について考えます。分子と分母について、\begin{equation*}
\lim_{x\rightarrow 0}\frac{1}{x^{2}}=\lim_{x\rightarrow 0}\frac{1}{x^{4}}=\infty
\end{equation*}であるため、これは\(\frac{\infty }{\infty }\)型の不定形です。先に明らかにしたように、\begin{equation*}\lim_{x\rightarrow 0}\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}=0
\end{equation*}ですが、同じことをロピタルの定理を用いて求めます。点\(0\)の周辺の任意の\(x\)について、\begin{equation*}\frac{d}{dx}\frac{1}{x^{4}}=-\frac{4}{x^{5}}\not=0
\end{equation*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{eqnarray*}
\lim_{x\rightarrow 0}\frac{\frac{d}{dx}\frac{1}{x^{2}}}{\frac{d}{dx}\frac{1}{x^{4}}} &=&\lim_{x\rightarrow 0}\frac{-\frac{2}{x^{3}}}{-\frac{4}{x^{5}}} \\
&=&\lim_{x\rightarrow 0}\frac{2x^{5}}{4x^{3}} \\
&=&\lim_{x\rightarrow 0}\frac{x^{2}}{2} \\
&=&0
\end{eqnarray*}となりますが、これは有限な実数であるため、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow 0}\frac{\frac{1}{x^{2}}}{\frac{1}{x^{4}}}=0
\end{equation*}であることが明らかになりました。これは先の結果と一致します。
不定形の片側極限に関するロピタルの定理
定義域を共有する2つの関数\(f,g:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が与えられたとき、定義域の点\(a\in X\)を任意に選びます。ただし、関数\(f,g\)がともに点\(a\)より大きい周辺の任意の点において定義されているとともに、関数\(g\)は点\(a\)より大きい周辺の任意の点において非ゼロの値をとるものとします。この場合、点\(a\)より大きい周辺の任意の点\(x\in X\)において以下の関数\begin{equation*}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}は定義されていることになるため、\(x\rightarrow a+\)のときの右側極限\begin{equation*}\lim_{x\rightarrow a+}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるか検討できます。その上で、以下の2つの条件\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow a+}f\left( x\right) =\pm \infty \\
&&\left( b\right) \ \lim_{x\rightarrow a+}g\left( x\right) =\pm \infty
\end{eqnarray*}がともに成り立つ状況を想定します。この場合、分子\(f\left( x\right) \)と分母\(g\left( x\right) \)の右側極限を別々にとると、\begin{equation*}\frac{\lim\limits_{x\rightarrow a+}f\left( x\right) }{\lim\limits_{x\rightarrow a+}g\left( x\right) }=\frac{\pm \infty }{\pm \infty }
\end{equation*}という不定形になってしまいます。このような事情を踏まえた上で、もとの関数\(\frac{f\left( x\right) }{g\left( x\right) }\)の右側極限\begin{equation*}\lim_{x\rightarrow a+}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}を\(\frac{\infty }{\infty }\)型の不定形（indeterminate form of type \(\frac{0}{0}\)）と呼びます。
不定形の右側極限は有限な実数として定まる場合とそうでない場合の両方が起こり得ますし、そもそも有限な実数として定まるか判定が困難であるような状況は起こり得ます。以下の例より明らかです。
\frac{\ln \left( x\right) }{\frac{1}{x^{2}}}:\mathbb{R} _{++}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の右側極限\begin{equation*}
\lim_{x\rightarrow 0+}\frac{\ln \left( x\right) }{\frac{1}{x^{2}}}
\end{equation*}について考えます。分子と分母について、\begin{eqnarray*}
\lim_{x\rightarrow 0+}\ln \left( x\right) &=&-\infty \\
\lim_{x\rightarrow 0+}\frac{1}{x^{2}} &=&+\infty
\end{eqnarray*}となるため、これは\(\frac{\infty }{\infty }\)型の不定形です。ただ、この右側極限が有限な実数として定まるか判定するのは困難です。
不定形の右側極限に関するロピタルの定理は以下の通りです。証明は先の命題と同様です。
&&\left( b\right) \ \lim_{x\rightarrow a+}g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つとともに、導関数\(f^{\prime },g^{\prime }:\mathbb{R} \supset \left( a,b\right) \rightarrow \mathbb{R} \)は以下の条件\begin{eqnarray*}&&\left( c\right) \ \forall x\in \left( a,b\right) :g^{\prime }\left(
x\right) \not=0 \\
&&\left( d\right) \ \lim_{x\rightarrow a+}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{eqnarray*}を満たすものとする。このとき、関数\(\frac{f\left( x\right) }{g\left( x\right) }\)は\(x\rightarrow a+\)のときに有限な実数へ右側収束するとともに、以下の関係\begin{equation*}\lim_{x\rightarrow a+}\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow a+}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left(
x\right) }
\end{equation*}が成り立つ。
\frac{\ln \left( x\right) }{\frac{1}{x^{2}}}:\mathbb{R} _{++}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の右側極限\begin{equation*}
\lim_{x\rightarrow 0+}\frac{\ln \left( x\right) }{\frac{1}{x^{2}}}
\end{equation*}について考えます。分子と分母について、\begin{eqnarray*}
\lim_{x\rightarrow 0+}\ln \left( x\right) &=&-\infty \\
\lim_{x\rightarrow 0+}\frac{1}{x^{2}} &=&+\infty
\end{eqnarray*}となるため、これは\(\frac{\infty }{\infty }\)型の不定形です。点\(0\)より大きい周辺の任意の点\(x\)において、\begin{equation*}\frac{d}{dx}\frac{1}{x^{2}}=-\frac{2}{x^{3}}\not=0
\end{equation*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{eqnarray*}
\lim_{x\rightarrow 0+}\frac{\frac{d}{dx}\ln \left( x\right) }{\frac{d}{dx}\frac{1}{x^{2}}} &=&\lim_{x\rightarrow 0+}\frac{\frac{1}{x}}{-\frac{2}{x^{3}}} \\
&=&\lim_{x\rightarrow 0+}\left( -\frac{x^{2}}{2}\right) \\
&=&0
\end{eqnarray*}となりますが、これは有限な実数であるため、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow 0+}\frac{\ln \left( x\right) }{\frac{1}{x^{2}}}=0
\end{equation*}であることが明らかになりました。
定義域を共有する2つの関数\(f,g:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が与えられたとき、定義域の点\(b\in X\)を任意に選びます。ただし、関数\(f,g\)がともに点\(b\)より小さい周辺の任意の点において定義されているとともに、関数\(g\)は点\(b\)より小さい周辺の任意の点において非ゼロの値をとるものとします。この場合、点\(b\)より小さい周辺の任意の点\(x\in X\)において以下の関数\begin{equation*}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}は定義されていることになるため、\(x\rightarrow b+\)のときの左側極限\begin{equation*}\lim_{x\rightarrow b-}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるか検討できます。その上で、以下の2つの条件\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow b-}f\left( x\right) =\pm \infty \\
&&\left( b\right) \ \lim_{x\rightarrow b-}g\left( x\right) =\pm \infty
\end{eqnarray*}がともに成り立つ状況を想定します。この場合、分子\(f\left( x\right) \)と分母\(g\left( x\right) \)の左側極限を別々にとると、\begin{equation*}\frac{\lim\limits_{x\rightarrow b-}f\left( x\right) }{\lim\limits_{x\rightarrow b-}g\left( x\right) }=\frac{\pm \infty }{\pm \infty }
\end{equation*}という不定形になってしまいます。このような事情を踏まえた上で、もとの関数\(\frac{f\left( x\right) }{g\left( x\right) }\)の左側極限\begin{equation*}\lim_{x\rightarrow b-}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}を\(\frac{\infty }{\infty }\)型の不定形（indeterminate form of type \(\frac{0}{0}\)）と呼びます。
不定形の左側極限に関するロピタルの定理は以下の通りです。証明は先と同様です。
&&\left( b\right) \ \lim_{x\rightarrow b-}g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つとともに、導関数\(f^{\prime },g^{\prime }:\mathbb{R} \supset \left( a,b\right) \rightarrow \mathbb{R} \)は以下の条件\begin{eqnarray*}&&\left( c\right) \ \forall x\in \left( a,b\right) :g^{\prime }\left(
x\right) \not=0 \\
&&\left( d\right) \ \lim_{x\rightarrow b-}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{eqnarray*}を満たすものとする。このとき、関数\(\frac{f\left( x\right) }{g\left( x\right) }\)は\(x\rightarrow b-\)のときに有限な実数へ左側収束するとともに、以下の関係\begin{equation*}\lim_{x\rightarrow b-}\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow b-}\frac{f^{\prime }\left( x\right) }{g^{\prime }\left(
x\right) }
\end{equation*}が成り立つ。
不定形の無限大の極限に関するロピタルの定理
定義域を共有する2つの関数\(f,g:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がともに限りなく大きい任意の点において定義されているとともに、関数\(g\)はそれらの点において非ゼロの値をとるものとします。この場合、限りなく大きい任意の点\(x\in X\)において以下の関数\begin{equation*}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}は定義されていることになるため、\(x\rightarrow+\infty \)のときの極限\begin{equation*}\lim_{x\rightarrow +\infty }\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるか検討できます。その上で、以下の2つの条件\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow +\infty }f\left( x\right) =\pm \infty
\\
&&\left( b\right) \ \lim_{x\rightarrow +\infty }g\left( x\right) =\pm \infty
\end{eqnarray*}がともに成り立つ状況を想定します。この場合、分子\(f\left( x\right) \)と分母\(g\left( x\right) \)の正の無限大における極限を別々にとると、\begin{equation*}\frac{\lim\limits_{x\rightarrow +\infty }f\left( x\right) }{\lim\limits_{x\rightarrow +\infty }g\left( x\right) }=\frac{\pm \infty }{\pm
\infty }
\end{equation*}という不定形になってしまいます。このような事情を踏まえた上で、もとの関数\(\frac{f\left( x\right) }{g\left( x\right) }\)の正の無限大における極限\begin{equation*}\lim_{x\rightarrow +\infty }\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}を\(\frac{\infty }{\infty }\)型の不定形（indeterminate form of type \(\frac{0}{0}\)）と呼びます。
不定形の極限は有限な実数として定まる場合とそうでない場合の両方が起こり得ますし、そもそも有限な実数として定まるか判定が困難であるような状況は起こり得ます。以下の例より明らかです。
\frac{\ln \left( x\right) }{x^{2}}:\mathbb{R} _{++}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow \infty }\frac{\ln \left( x\right) }{x^{2}}
\end{equation*}について考えます。分子と分母について、\begin{eqnarray*}
\lim_{x\rightarrow +\infty }\ln \left( x\right) &=&\infty \\
\lim_{x\rightarrow +\infty }x^{2} &=&\infty
\end{eqnarray*}であるため、これは\(\frac{\infty }{\infty }\)型の不定形です。ただ、この極限が有限な実数として定まるか判定するのは困難です。
不定形の正の無限大における極限に関するロピタルの定理は以下の通りです。
\\
&&\left( b\right) \ \lim_{x\rightarrow +\infty }g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つとともに、導関数\(f^{\prime },g^{\prime }:\mathbb{R} \supset \left( a,+\infty \right) \rightarrow \mathbb{R} \)は以下の条件\begin{eqnarray*}&&\left( c\right) \ \forall x\in \left( a,+\infty \right) :g^{\prime }\left(
x\right) \not=0 \\
&&\left( d\right) \ \lim_{x\rightarrow +\infty }\frac{f^{\prime }\left(
x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{eqnarray*}を満たすものとする。このとき、関数\(\frac{f\left( x\right) }{g\left( x\right) }\)は\(x\rightarrow +\infty \)のときに有限な実数へ収束するとともに、以下の関係\begin{equation*}\lim_{x\rightarrow +\infty }\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow +\infty }\frac{f^{\prime }\left( x\right) }{g^{\prime
}\left( x\right) }
\end{equation*}が成り立つ。
\frac{\ln \left( x\right) }{x^{2}}:\mathbb{R} _{++}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow \infty }\frac{\ln \left( x\right) }{x^{2}}
\end{equation*}について考えます。分子と分母について、\begin{eqnarray*}
\lim_{x\rightarrow +\infty }\ln \left( x\right) &=&\infty \\
\lim_{x\rightarrow +\infty }x^{2} &=&\infty
\end{eqnarray*}であるため、これは\(\frac{\infty }{\infty }\)型の不定形です。ただし、限りなく大きい任意の\(x\)について、\begin{equation*}\frac{d}{dx}x^{2}=2x\not=0
\end{equation*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{eqnarray*}
\lim_{x\rightarrow \infty }\frac{\frac{d}{dx}\ln \left( x\right) }{\frac{d}{dx}x^{2}} &=&\lim_{x\rightarrow \infty }\frac{\frac{1}{x}}{2x} \\
&=&\lim_{x\rightarrow \infty }\frac{1}{2x^{2}} \\
&=&0
\end{eqnarray*}となりますが、これは有限な実数であるため、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow \infty }\frac{\ln \left( x\right) }{x^{2}}=0
\end{equation*}であることが明らかになりました。
定義域を共有する2つの関数\(f,g:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がともに限りなく小さい任意の点において定義されているとともに、関数\(g\)はそれらの点において非ゼロの値をとるものとします。この場合、限りなく小さい任意の点\(x\in X\)において以下の関数\begin{equation*}\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}は定義されていることになるため、\(x\rightarrow-\infty \)のときの極限\begin{equation*}\lim_{x\rightarrow -\infty }\frac{f\left( x\right) }{g\left( x\right) }
\end{equation*}が有限な実数として定まるか検討できます。その上で、以下の2つの条件\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow -\infty }f\left( x\right) =\pm \infty
\\
&&\left( b\right) \ \lim_{x\rightarrow -\infty }g\left( x\right) =\pm \infty
\end{eqnarray*}がともに成り立つ状況を想定します。この場合、分子\(f\left( x\right) \)と分母\(g\left( x\right) \)の負の無限大における極限を別々にとると、\begin{equation*}\frac{\lim\limits_{x\rightarrow -\infty }f\left( x\right) }{\lim\limits_{x\rightarrow -\infty }g\left( x\right) }=\frac{\pm \infty }{\pm
\infty }
\end{equation*}という不定形になってしまいます。このような事情を踏まえた上で、もとの関数\(\frac{f\left( x\right) }{g\left( x\right) }\)の負の無限大における極限\begin{equation*}\lim\limits_{x\rightarrow -\infty }\frac{f\left( x\right) }{g\left( x\right)
}
\end{equation*}を\(\frac{\infty }{\infty }\)型の不定形（indeterminate form of type \(\frac{0}{0}\)）と呼びます。
不定形の負の無限大における極限に関するロピタルの定理は以下の通りです。
\\
&&\left( b\right) \ \lim_{x\rightarrow -\infty }g\left( x\right) =\pm \infty
\end{eqnarray*}が成り立つとともに、導関数\(f^{\prime },g^{\prime }:\mathbb{R} \supset \left( -\infty ,b\right) \rightarrow \mathbb{R} \)は以下の条件\begin{eqnarray*}&&\left( c\right) \ \forall x\in \left( -\infty ,b\right) :g^{\prime }\left(
x\right) \not=0 \\
&&\left( d\right) \ \lim_{x\rightarrow -\infty }\frac{f^{\prime }\left(
x\right) }{g^{\prime }\left( x\right) }\in \mathbb{R} \end{eqnarray*}を満たすものとする。このとき、関数\(\frac{f\left( x\right) }{g\left( x\right) }\)は\(x\rightarrow -\infty \)のときに有限な実数へ収束するとともに、以下の関係\begin{equation*}\lim_{x\rightarrow -\infty }\frac{f\left( x\right) }{g\left( x\right) }=\lim_{x\rightarrow -\infty }\frac{f^{\prime }\left( x\right) }{g^{\prime
}\left( x\right) }
\end{equation*}が成り立つ。
ロピタルの定理を繰り返し適用する
不定形の極限を解消するためにロピタルの定理を適用した結果として得られた極限が再び不定形である場合、ロピタルの定理を再び適用すれば不定形を解消できることがあります。
\frac{x^{2}}{e^{x}}:\mathbb{R} \rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow \infty }\frac{x^{2}}{e^{x}}
\end{equation*}について考えます。分子と分母について、\begin{eqnarray*}
\lim_{x\rightarrow \infty }x^{2} &=&\infty \\
\lim_{x\rightarrow \infty }e^{x} &=&\infty
\end{eqnarray*}であるため、これは\(\frac{\infty }{\infty }\)型の不定形です。ただし、限りなく大きい任意の\(x\)において、\begin{equation*}\frac{d}{dx}e^{x}=e^{x}\not=0
\end{equation*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{equation*}
\lim_{x\rightarrow \infty }\frac{\frac{d}{dx}x^{2}}{\frac{d}{dx}e^{x}}=\lim_{x\rightarrow \infty }\frac{2x}{e^{x}}
\end{equation*}となりますが、これが有限な実数として定まるものと仮定するのであれば、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow \infty }\frac{x^{2}}{e^{x}}=\lim_{x\rightarrow \infty }\frac{2x}{e^{x}}
\end{equation*}が成り立ちます。ただし、\begin{eqnarray*}
\lim_{x\rightarrow \infty }2x &=&\infty \\
\lim_{x\rightarrow \infty }e^{x} &=&\infty
\end{eqnarray*}であるため、これもまた\(\frac{\infty }{\infty }\)型の不定形です。ただし、限りなく大きい任意の\(x\)において、\begin{equation*}\frac{d}{dx}e^{x}=e^{x}\not=0
\end{equation*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{eqnarray*}
\lim_{x\rightarrow \infty }\frac{\frac{d}{dx}2x}{\frac{d}{dx}e^{x}}
&=&\lim_{x\rightarrow \infty }\frac{2}{e^{x}} \\
&=&0
\end{eqnarray*}ですが、これは有限な実数であるため、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow \infty }\frac{x^{2}}{e^{x}}=0
\end{equation*}であることが明らかになりました。
不定形のタイプを変換してからロピタルの定理を適用する
不定形の極限が\(\frac{\infty }{\infty }\)型ではない場合、それを\(\frac{\infty }{\infty }\)型に変換すれば、ロピタルの定理を利用できます。
x\ln \left( x\right) :\mathbb{R} _{++}\rightarrow \mathbb{R} \end{equation*}が与えられているものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0+}x\ln \left( x\right)
\end{equation*}について考えます。左右の関数について、\begin{eqnarray*}
\lim_{x\rightarrow 0+}x &=&0 \\
\lim_{x\rightarrow 0+}\ln \left( x\right) &=&-\infty
\end{eqnarray*}であるため、これは\begin{eqnarray*}
\lim_{x\rightarrow 0}\left[ 1-\cos \left( 2x\right) \right] &=&1-\cos
\left( 0\right) =0 \\
\lim_{x\rightarrow 0}\left[ x\sin \left( 3x\right) \right] &=&0\sin \left(
0\right) =0
\end{eqnarray*}であるため、これは\(0\times \infty \)型の不定形です。ただし、\begin{equation*}\lim_{x\rightarrow 0+}x\ln \left( x\right) =\lim_{x\rightarrow 0+}\frac{\ln
\left( x\right) }{\frac{1}{x}}
\end{equation*}と変形すれば\(\frac{\infty }{\infty }\)型の不定形になります。点\(0\)より大きい周辺の任意の\(x\)において、\begin{eqnarray*}\frac{d}{dx}\frac{1}{x} &=&-\frac{1}{x^{2}} \\
&\not=&0
\end{eqnarray*}であるため、ロピタルの定理を利用できる余地があります。具体的には、\begin{eqnarray*}
\lim_{x\rightarrow 0+}\frac{\frac{d}{dx}\ln \left( x\right) }{\frac{d}{dx}\frac{1}{x}} &=&\lim_{x\rightarrow 0+}\frac{\frac{1}{x}}{-\frac{1}{x^{2}}} \\
&=&\lim_{x\rightarrow 0+}\left( -x\right) \\
&=&0
\end{eqnarray*}となりますが、これは有限な実数であるため、ロピタルの定理より、\begin{equation*}
\lim_{x\rightarrow 0+}x\ln \left( x\right) =0
\end{equation*}であることが明らかになりました。
演習問題
\lim_{x\rightarrow 0+}\frac{e^{-\frac{1}{x}}}{x^{3}}
\end{equation*}が不定形であることを確認した上で、ロピタルの定理を利用して不定形を解消してください。
\lim_{x\rightarrow 0}x^{x}
\end{equation*}が不定形であることを確認した上で、ロピタルの定理を利用して不定形を解消してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】