2.6 Indeterminate Forms of Limits

Let \(f\) and \(g\) be two functions having the property that \(\lim \limits _{x\rightarrow c}f(x) = 0\) and \(\lim \limits _{x\rightarrow c}g(x) =0\), then the function \(\dfrac {f}{g}\) has the indeterminate form \(\dfrac {0}{0}\) at \(c\).

The rule for finding \(\lim \limits _{x\rightarrow c}\dfrac {f(x)}{g(x)}\) in the case when \(\dfrac {f}{g}\) has the indeterminate form \(\dfrac {0}{0}\) is as follows:

If \(\lim \limits _{x\rightarrow c}f(x) =0\) and \(\lim \limits _{x\rightarrow c}g(x) = 0\), then \(\lim \limits _{x\rightarrow c}\dfrac {f(x)}{g(x)} = \lim \limits _{x\rightarrow c}\dfrac {f'(x)}{g'(x)}\), when \(f\) and \(g\) are differentiable at \(c\).

Example 2.6.1.

Find \(\lim \limits _{x\rightarrow 1}\dfrac {x^3-5x^2 + 6x - 2 }{x^5 -3x^4 - 7x^2 + 9x}\)

Solution.

Let \(f(x) = x^3 - 5x^2 + 6x - 2\hspace {0.3cm}\) and \(\hspace {0.4cm} g(x) = x^5 - 3x^4 - 7x^2 + 9\). Then \(\lim \limits _{x\rightarrow 1}f(x) = f(1) = 0\). Also \(\lim \limits _{x\rightarrow 1}g(x) = g(1) = 0\)

\begin {align*} \implies \hspace {0.5cm} \lim \limits _{x\rightarrow 1}\dfrac {f(x)}{g(x)}= & \lim \limits _{x\rightarrow 1}\dfrac {f'(x)}{g'(x)} = \dfrac {f'(1)}{g'(1)}\\ & = \dfrac {-1}{2}=\dfrac {1}{2}\\ \end {align*}

If \(f\) and \(g\) are two functions having the property that \(\lim \limits _{x\rightarrow c}f(x) = \pm \infty \) and \(\lim \limits _{x\rightarrow c}g(x) = \pm \infty \), then the function \(\dfrac {f}{g}\) is said to be indeterminate form \(\dfrac {\infty }{\infty }\). Thus, \(\lim \limits _{x\rightarrow c}\dfrac {f(x)}{g(x)} = \lim \limits _{x\rightarrow c}\dfrac {f'(x)}{g'(x)}\).

Example 2.6.2.

Calculate \(\hspace {0.3cm}\lim \limits _{x\rightarrow +\infty }\dfrac {e^x}{x}\).

Solution.

\(\lim \limits _{x\rightarrow +\infty } e^x = + \infty \) and the \(\lim \limits _{x\rightarrow +\infty }x = +\infty \).

\(\implies \hspace {0.3cm} \lim \limits _{x\rightarrow +\infty }\dfrac {f(x)}{g(x)}\) is of indeterminate form \(\Big (\dfrac {\infty }{\infty }\Big )\). Thus \[\lim \limits _{x\rightarrow +\infty }\dfrac {f(x)}{g(x)} = \lim \limits _{x\rightarrow +\infty }\dfrac {f'(x)}{g'(x)} = \lim \limits _{x\rightarrow +\infty }\frac {e^x}{1} = +\infty \]

Example 2.6.3.

Evaluate the limit \(\hspace {0.5cm}\lim \limits _{x\rightarrow 0} \dfrac {\cot x}{\cot 2x}\)

Solution.

\(\lim \limits _{x\rightarrow 0} \dfrac {\cot x}{\cot 2x}\hspace {1cm} \Bigg (\dfrac {\infty }{\infty }\Bigg )\)

\begin {align*} \lim \limits _{x\rightarrow 0} \dfrac {\cot x}{\cot 2x} & = \lim \limits _{x\rightarrow 0}\dfrac {-\csc ^2x}{-2\csc ^22x}\hspace {1cm} \dfrac {\infty }{\infty } \end {align*}

\[\lim \limits _{x\rightarrow c}\dfrac {f(x)}{g(x)} = \lim \limits _{x\rightarrow c}\dfrac {f'(x)}{g'(x)}= \lim \limits _{x\rightarrow c}\dfrac {f''(x)}{g''(x)}=\lim \limits _{x\rightarrow 0}\dfrac {2\cot x \hspace {0.1cm}\csc x}{8\cot 2x\hspace {0.1cm}\csc 2x}\]

Note that at every stage of trying to find the limit we are getting the indeterminate form \(\Big (\dfrac {\infty }{\infty }\Big )\). Thus, we may need to rewrite the limit as \begin {align*} \lim \limits _{x\rightarrow 0}\dfrac {\cot x}{\cot 2x} & = \lim \limits _{x\rightarrow 0}\dfrac {\dfrac {1}{\tan x}}{\dfrac {1}{\tan 2x}}\\\\ & = \lim \limits _{x\rightarrow 0}\dfrac {\tan 2x}{\tan x}\hspace {1cm} \Big (\dfrac {0}{0}\Big )\\\\ & = \lim \limits _{x\rightarrow 0}\dfrac {2\sec ^22x}{\sec ^2x}\\ & = \frac {2}{1}\\ & = 2\\ \end {align*}

Other examples of indeterminate forms

Indeterminate types of the form \((0\cdot \infty )\) and \((\infty \hspace {0.2cm}-\infty )\)

To evaluate the indeterminate forms of these types we have to express them in the types of the form \(\dfrac {0}{0}\) or \(\dfrac {\infty }{\infty }\).

Example 2.6.4. Find

1.
\(\hspace {0.3cm}\lim \limits _{x\rightarrow \infty }x^2\cdot e^{-x}\)
2.
\(\hspace {0.5cm}\lim \limits _{x\rightarrow 0} \Big (\csc x - \dfrac {1}{x}\Big )\hspace {1cm} (\infty - \infty )\)

\begin {align*} \lim \limits _{x\rightarrow 0} \Big (\csc x - \dfrac {1}{x}\Big ) & = \lim \limits _{x\rightarrow 0}\Bigg [\dfrac {x - \sin x}{x\sin x}\Bigg ]\hspace {1cm} \Bigg (\dfrac {0}{0}\Bigg )\\\\ & = \lim \limits _{x\rightarrow 0}\Bigg [\dfrac {1 - \cos x}{\sin x + x\cos x }\Bigg ]\hspace {1cm} \Bigg (\frac {0}{0}\Bigg )\\\\ & = \lim \limits _{x\rightarrow 0}\Bigg [\frac {\sin x}{\cos x + \cos x - x \sin x}\Bigg ]\\\\ & = \lim \limits _{x\rightarrow 0}\dfrac {\sin x}{2\cos x - x\sin }\\\\ & = \frac {0}{2} = 0\\ \end {align*}

Solution. \(\hspace {0.3cm}\lim \limits _{x\rightarrow \infty }x^2\cdot e^{-x} \hspace {1cm} (\infty \cdot 0)\) \begin {align*} \lim \limits _{x\rightarrow \infty }x^2\cdot e^{-x} & = \lim \limits _{x\rightarrow \infty } \dfrac {x^2}{e^x}\hspace {1cm} \Big (\dfrac {\infty }{\infty }\Big )\\\\ & = \lim \limits _{x\rightarrow \infty }\dfrac {2x}{e^x}\hspace {1cm} \Big (\dfrac {\infty }{\infty }\Big )\\\\ & = \lim \limits _{x\rightarrow \infty } \dfrac {2}{e^x} = 0\\ \end {align*}

Example 2.6.5.

1.
\(\hspace {0.4cm} \lim \limits _{x\rightarrow 0} x \csc x\hspace {1cm} (0\cdot \infty )\)

\begin {align*} \lim \limits _{x\rightarrow 0} x \csc x & = \lim \limits _{x\rightarrow 0} x \cdot \dfrac {1}{x}\\\\ & = \lim \limits _{x\rightarrow 0}\frac {x}{\sin x}\hspace {1cm} \dfrac {0}{0}\\\\ & = \lim \limits _{x\rightarrow 0} \frac {1}{\cos x}\\ &= 1\\ \end {align*}

2.
\(\lim \limits _{x\rightarrow 1}\Bigg [\dfrac {1}{\ln x} - \dfrac {x}{x - 1}\Bigg ]\hspace {1cm} (\infty - \infty )\)

\begin {align*} \lim \limits _{x\rightarrow 1}\Bigg [\dfrac {1}{\ln x} - \dfrac {x}{x - 1}\Bigg ] & = \lim \limits _{x\rightarrow 1}\dfrac {(x - 1)- x \ln x}{(x-1)\ln x}\hspace {1cm} \text {L'Hopital's rule}\hspace {0.2cm} \dfrac {0}{0}\hspace {0.2cm} \text {or}\hspace {0.2cm} \dfrac {\infty }{\infty }\\\\ & = \lim \limits _{x\rightarrow 1}\dfrac {1- (\ln x + 1)}{\ln x + \dfrac {x-1}{x}}\\\\ & = \lim \limits _{x\rightarrow 1} \frac {-\ln x}{\ln x + 1 - \dfrac {1}{x}}\hspace {1cm} \dfrac {0}{0}\\\\ & = \lim \limits _{x\rightarrow 1}\hspace {0.1cm} \dfrac {\dfrac {-1}{x}}{\dfrac {1}{x} + \dfrac {1}{x^2}}\\\ & = \frac {-1}{2}\\\\ \end {align*}

2.6.1 Indeterminate types of the form \(0^0\), \(\infty ^0\) and \(1^{\infty }\)

In these forms we use the fact that if \(\lim y\) is one of the types above, then \(\lim (\ln y)\) is of the type \(0\cdot \infty \), which has already been treated.

Example 2.6.6. Evaluate

1.
\(\hspace {0.5cm} \lim \limits _{x\rightarrow 0} \Bigg (1 + \dfrac {1}{x}\Bigg )^x\hspace {2cm} (\infty ^0)\)
2.
\(\hspace {0.5cm} \lim \limits _{x\rightarrow \infty } \Big (1 + \dfrac {1}{x}\Big )^x\hspace {2cm} \big (1^{\infty }\big )\)

Let \(\hspace {0.3cm} L = \lim \limits _{x\rightarrow \infty } \Big (1 + \dfrac {1}{x}\Big )^x\) Then \begin {align*} \ln L & = \ln \Bigg [\lim \limits _{x\rightarrow \infty } \Big (1 + \dfrac {1}{x}\Big )^x\Bigg ]\\ & = \lim \limits _{x\rightarrow \infty }\Bigg [\ln \Big (1 + \dfrac {1}{x}\Big )^x\Bigg ]\\ & = \lim \limits _{x\rightarrow \infty }\Bigg [x \ln \Big (1 + \dfrac {1}{x}\Big )\Bigg ]\\ & = \lim \limits _{x\rightarrow \infty }\dfrac {\ln \Big ( 1 + \dfrac {1}{x}\Big )}{\dfrac {1}{x}}\hspace {2cm} \dfrac {0}{0}\\\\ & = \lim \limits _{x\rightarrow \infty }\hspace {0.1cm} \frac {\dfrac {1}{1 + \dfrac {1}{x}}\Big (-\dfrac {1}{x^2}\Big )}{\Big (-\dfrac {1}{x^2}\Big )}=\lim \limits _{x\rightarrow \infty }\hspace {0.1cm} \dfrac {1}{1 + \dfrac {1}{x}}\\\\ & = 1\\ \end {align*}

\[\implies \hspace {0.5cm} \ln L = 1 \hspace {0.5cm} \implies \hspace {0.5cm} L = e^1 = e\]

Solution. Let \(\hspace {0.5cm}y = \lim \limits _{x\rightarrow 0} \Bigg (1 + \dfrac {1}{x}\Bigg )^x\) Then

\begin {align*} \ln y & = \ln \Bigg [\lim \limits _{x\rightarrow 0} \Big (1 + \dfrac {1}{x}\Big )^x\Bigg ] = \lim \limits _{x\rightarrow 0}\Bigg [\ln \Big (1 + \dfrac {1}{x}\Big )^x\Bigg ]\\\\ & = \lim \limits _{x\rightarrow 0}\Bigg [ x \ln \Big (1 + \dfrac {1}{x}\Big )^x\Bigg ]\hspace {2cm} (0\cdot \infty )\\\\ & = \lim \limits _{x\rightarrow 0}\hspace {0.1cm} \dfrac {\ln \Big ( 1 + \dfrac {1}{x}\Big )}{\dfrac {1}{x}}\hspace {2cm} \dfrac {\infty }{\infty } \end {align*}

\begin {align*} \ln y & = \lim \limits _{x\rightarrow 0}\hspace {0.1cm} \dfrac {\dfrac {1}{1 + 1/x} \Big (-\dfrac {1}{x^2}\Big )}{\Big (-\dfrac {1}{x^2}\Big )}= \lim \limits _{x\rightarrow 0} \hspace {0.1cm}\dfrac {1}{1 + \dfrac {1}{x}}\\ & = 0 \end {align*}

\[\implies \hspace {0.5cm} \ln y = 0\hspace {0.4cm} \implies \hspace {0.4cm} y = e^0 = 1\]

\(\therefore \hspace {0.5cm} \lim \limits _{x\rightarrow 0} \Big (1 + \dfrac {1}{x}\Big )^x = 1\)

Questions on this section

Stuck on something here? Ask below and it stays attached to this topic.