[Math] When to use L’Hospital’s rule vs the limit shortcut

calculuslimits

Before being so quick to downvote or throw darts, please forgive my ignorance and inability to recall basic calculus atm.

Consider the limit $\lim \limits_{x \to \infty}\frac{3x^2+14x-5}{x^2+x-12}$. It can quickly be determined that the $x$ approaches $3$ using L'Hospital's rule.

The same answer can be derived, however, by using this shortcut (I am unaware if it has a specific name):

$\lim \limits_{x \to \infty}\frac{3x^2+14x-5}{x^2+x-12}=\lim \limits_{x \to \infty}\frac{3x^2/x^2+14x/x^2-5/x^2}{x^2/x^2+x/x^2-12/x^2}$

Every term is divided by the highest degree of $x$ in the denominator. The terms with $x^2$ in both the numerator and denominator simplify. All other terms go to $0$. Therefore:

$\lim \limits_{x \to \infty}\frac{3x^2/x^2+14x/x^2-5/x^2}{x^2/x^2+x/x^2-12/x^2}=\frac{3}{1}=3$

1) What are the explicit conditions in which may I use this shortcut?

2) How do I know when to use it over L'Hospital's rule, as both techniques can be used only when working with quotients?

3) What is the shortcuts name, if any?

Best Answer

There is no “rule” about this. Do as you think fit.

On the other hand, it's not difficult to prove a general theorem about rational functions. Suppose you have $$ f(x)=\frac{a_mx^m+a_{m-1}x^{m-1}+\dots+a_0}{b_nx^n+b_{n-1}x^{n-1}+\dots+b_0} $$ with $a_m\ne0$ and $b_n\ne0$. Then, since it's not restrictive to assume $x>0$ when we want to compute the limit for $x\to\infty$, the numerator can be written as $$ x^m\left(a_m+\frac{a_{m-1}}{x}+\dots+\frac{a_0}{x^m}\right) $$ and the factor in parentheses has limit $a_m$ when $x\to\infty$. Similarly for the denominator. Now $$ \lim_{x\to\infty} \frac{\displaystyle a_m+\frac{a_{m-1}}{x}+\dots+\frac{a_0}{x^m}} {\displaystyle b_n+\frac{b_{n-1}}{x}+\dots+\frac{b_0}{x^m}} =\frac{a_m}{b_n}\ne0 $$ Hence there are three cases.

First case: $m>n$

$$ \lim_{x\to\infty}f(x)= \lim_{x\to\infty}x^{m-n} \frac{\displaystyle a_m+\frac{a_{m-1}}{x}+\dots+\frac{a_0}{x^m}} {\displaystyle b_n+\frac{b_{n-1}}{x}+\dots+\frac{b_0}{x^m}} = \begin{cases} \infty & \text{if $a_m/b_n>0$} \\[4px] -\infty & \text{if $a_m/b_n<0$} \end{cases} $$ The factor $x^{m-n}$ has limit $\infty$ and the other factor is bounded.

Second case: $m=n$

$$ \lim_{x\to\infty}f(x)= \lim_{x\to\infty} \frac{\displaystyle a_m+\frac{a_{m-1}}{x}+\dots+\frac{a_0}{x^m}} {\displaystyle b_n+\frac{b_{n-1}}{x}+\dots+\frac{b_0}{x^m}} =\frac{a_m}{b_n} $$

Third case: $m<n$

$$ \lim_{x\to\infty}f(x)= \lim_{x\to\infty}\frac{1}{x^{n-m}} \frac{\displaystyle a_m+\frac{a_{m-1}}{x}+\dots+\frac{a_0}{x^m}} {\displaystyle b_n+\frac{b_{n-1}}{x}+\dots+\frac{b_0}{x^m}} =0 $$ The factor $1/x^{n-m}$ has limit $0$ and the other factor has limit $a_m/b_n$.

This completely settles the problem and you need nothing else: your given limit is $3$ because the function is in case two. Doing umpteen times the same computations doesn't seem the best way to spend our time.

How can you remember this? The polynomial of greater degree dominates: if it is at the numerator, the limit is $\pm\infty$ (with the sign determined by $a_m/b_n$); if it is at the denominator, the limit is $0$. If the degrees are the same, the limit is $a_m/b_m$.

Related Question