Review Limits.

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

Review methods of evaluating limits.

Remember limits?

We started last semester with the idea of a ‘limit’. Remember what that means.

Intuitively,

the limit of $f(x)$ as $x$ approaches $a$ is $L$ ,

written $\lim _{x\to a} f(x) = L,$ if the value of $f(x)$ can be made as close as one wishes to $L$ for all $x$ sufficiently close, but not equal, to $a$ .

If we look at the graph of a function $f$ :

If $x$ is really close to $a = 2.5$ (say, within $0.001$ ), then the output value is $f(x) = 2$ . As long as $x$ is within a very small tolerance of $2.5$ , the output values are always $2$ . That is, $\displaystyle \lim _{x\to 2.5} f(x) = 2$ .

What happens at $a = 2$ ? If $x$ is really close to $2$ , but larger than $2$ , then the output values $f(x) = 2$ . If $x$ is really close to $2$ , but less than $2$ , then the output values $f(x) = 1$ . This lead us to consider ‘one-sided limits’. We have $\displaystyle \lim _{x\to 2^+} f(x) = 2$ and $\displaystyle \lim _{x\to 2^-} f(x) = 1$ . (Does it matter that the circle at $(2,1)$ is not filled in?) What can we say about $\displaystyle \lim _{x\to 2} f(x)$ ?

What is $\displaystyle \lim _{x\to 2} f(x)$ ?

$1$ $2$ $1.5$ DNE

We discussed several different methods for calculating limit values last semester, based on what we called the ‘Limit Laws’. We’ll recall them here.

Limit Laws Suppose that $\lim _{x\to a}f(x)=L$ , $\lim _{x\to a}g(x)=M$ .

Sum/Difference Law: $\lim _{x\to a} (f(x) \pm g(x)) = \lim _{x\to a}f(x) \pm \lim _{x\to a}g(x)=L \pm M$ .
Product Law: $\lim _{x\to a} (f(x)g(x)) = \lim _{x\to a}f(x)\cdot \lim _{x\to a}g(x)=LM$ .
Quotient Law: $\lim _{x\to a} \frac {f(x)}{g(x)} = \frac {\lim _{x\to a}f(x)}{\lim _{x\to a}g(x)}=\frac {L}{M}$ , if $M\ne 0$ .

These Limit Laws allow us to use limit values that we know, in order to calculate limit values of more complicated functions.

For example, if we know $\displaystyle \lim _{x\to \pi } x = \pi$ and $\displaystyle \lim _{x\to \pi } \cos (x) = -1$ , then we can find something like $\displaystyle \lim _{x\to \pi } \left (3x^2 - 4x \cos (x)\right )$ .

Calculate $\displaystyle \lim _{x\to \pi } \left (3x^2 - 4x \cos (x)\right )$ .

$\begin{align*} \lim_{x\to \pi} \left(3x^2 - 4x \cos(x)\right) &= \lim_{x\to \pi} 3x^2 - \lim_{x\to \pi} 4x \cos(x)\\ &= 3 \left(\lim_{x\to \pi} x \right)^2 - 4 \left( \lim_{x\to \pi} x \right) \left( \lim_{x\to \pi} \cos(x) \right)) \\ &= 3 \left( \answer{\pi} \right)^2 - 4 \left( \answer{\pi} \right) \left( \answer{-1} \right)\\ &= 3\pi^2 + 4\pi. \end{align*}$

From the Limit Laws, we saw that polynomial functions had a very important property for us. They were ‘continuous’.

A function $f$ is continuous at a point $a$ if $\lim _{x\to a}f(x) = f(a).$

That means to find the limit value we just have to ‘plug in $a$ ’. Most of our favorite functions have this property. Polynomials and exponential functions are continuous everywhere. Rational functions and trigonometric functions are continuous on their domain. Inverse functions of invertible continuous functions are continuous on their domain, so logarithms and radical functions are continuous on their domains. If we take a composition of continuous functions, the result is also a continuous function! Continuity gives us an efficient way of calculating limits!

Evaluate: $\displaystyle \lim _{x\to 0} \left (x^2 \sin (x) + 4x\cos (x) - 3^{6x} \right )$

The functions given by the equations $4x$ , $x^2$ , $\sin (x)$ , and $\cos (x)$ are basic continuous functions. The function $3^{4x}$ is a composition of the continuous functions $3^x$ and $6x$ , so it is continuous. The function $x^2 \sin (x) + 4x\cos (x) - 3^{6x}$ is itself a continuous function. That means $\lim _{x\to 0} \left ( x^2 \sin (x) + 4x \cos (x) - 3^{6x} \right ) = \answer {-1}.$

Try one on your own.

Evaluate the limit. $\lim _{x \to 3} \left ( 4(x-2)^2 - 3e^{2x-6}+ \tan \left ( \frac {x^2-8}{4} \pi \right ) \right ) \begin {prompt}= \answer {2}.\end {prompt}$

What if we get a function that isn’t continuous?

Evaluate: $\displaystyle \lim _{x\to 2} \dfrac {x^2-4}{x^2+x-6}$ .

Notice that when $x = 2$ , the denominator $x^2+x-6$ becomes $0$ , so $2$ is not in the domain of the function $\dfrac {x^2-4}{x^2+x-6}$ , so we can’t just plug into it. If we plug $x=2$ into the numerator, we also get $0$ , so this is an indeterminate form of type $\relax \boldsymbol {\tfrac {0}{0}}$ . In order to evaluate this limit, we need to do some algebra to simplify. Let’s factor! $\begin{align*} \dfrac{x^2-4}{x^2+x-6} &= \dfrac{(x+2)(x-2)}{(x+3)(x-2)}\\ &= \dfrac{(x+2)\cancel{(x-2)}}{(x+3)\cancel{(x-2)}}\\ &= \dfrac{x+2}{x+3} \end{align*}$

$\lim _{x\to 2} \dfrac {x-4}{x^2+x-6} \begin {prompt}= \answer {\frac {4}{5}} .\end {prompt}$

In this example, we were able to use our algebra skills to replace the function with a discontinuity at $x=2$ with a function that is continuous there. Try one on your own.

Evaluate the limit. $\lim _{x\to -1} \frac {x^2+5x+4}{2x^2+5x+3} \begin {prompt}= \answer {2}. \end {prompt}$

Algebra doesn’t always help, though. The function in the next example is not continuous at $x=3$ , but we cannot replace it by a function that is continuous there.

Evaluate: $\displaystyle \lim _{x\to 3} \dfrac {2^x \ln (x-1)}{(x-3)^3\cos (x)}$ .

What happens if we try to plug in $x=3$ ? The denominator becomes $0$ , so that won’t work. What happens to the numerator? $2^3 \ln (3-1) = 8 \ln 2$ is not zero, so this is a limit of form $\relax \boldsymbol {\tfrac {\#}{0}}$ . The one-sided limits will be either $\infty$ or $-\infty$ (giving vertical asymptotes in the graph), and we need to check both.

Let’s start with the right-hand limit $x \to 3^+$ : The numerator $2^x \ln (x-1)$ is continuous and positive near $3$ . In the denominator, $\cos (x)$ is continuous and near $\cos (3)$ (and negative) for $x$ near $3$ . The $(x-3)^3$ factor will be $0$ at $x=3$ , but for $x > 3$ , $(x-3)$ is positive. That means the fraction will be $\dfrac {\textrm {positive}}{\textrm {positive}\cdot \textrm {negative}}$ , so $\lim _{x\to 3^+} \dfrac { 2^x \ln (x-1)}{(x-3)^3 \cos (x)} = -\infty .$

On to the left-hand limit $x \to 3^-$ : The numerator $2^x \ln (x-1)$ is continuous and positive near $3$ . In the denominator, $\cos (x)$ is continuous and near $\cos (3)$ (and negative) for $x$ near $3$ . The only possible change would come from the $(x-3)^3$ factor. Since we are looking at $x < 3$ , we know $(x-3)$ is negative, so $(x-3)^3$ is negative. The fraction will be $\dfrac {\textrm {positive}}{\textrm {negative}\cdot \textrm {negative}}$ . Then $\lim _{x\to 3^-} \dfrac {2^x \ln (x-1)}{(x-3)^3 \cos (x)} = \infty .$

Putting these together we see that $\displaystyle \lim _{x\to 3}\dfrac { 2^x \ln (x-1)}{(x-3)^3 \cos (x)}$ does not exist.

For $\relax \boldsymbol {\tfrac {0}{0}}$ forms, algebra will usually help us evaluate the limit we are interested in. For $\relax \boldsymbol {\tfrac {\#}{0}}$ forms, like in this previous example, we’re expecting one-sided limits of $\pm \infty$ . We use the signs of the individual factors to see whether each one-sided limit is either $+\infty$ or $-\infty$ , then compare them to determine if we can say anything about the limit itself.

Evaluate the limit. $\lim _{x \to 1^-} \frac {(3+x)^2 \sin (x)}{x(1-x)^5 e^x } \begin {prompt} = \answer {+\infty } .\end {prompt}$

In all of the limits we’ve been talking about so far, the input variable is tending to a specific value. If instead we allow it to grow (in either direction) without bound, we are talking about ‘Limits at Infinity’ rather than just ‘Limits’. These limits at infinity are the tools we used to detect horizontal asymptotes.

Evaluate: $\displaystyle \lim _{x\to \infty } \frac {4x^3-6x+2}{5x^3+7x^2-3x+1}$ .

The numerator and denominator each tend to $\infty$ as $x$ tends to $\infty$ , so this limit has form $\relax \boldsymbol {\tfrac {\infty }{\infty }}$ , another indeterminate form. We need to do some simplification to evaluate it. The function is rational, so remember our trick. Start by finding the largest degree term in the denominator. Here that’s an $x^3$ -term. Divide the numerator and denominator by $x^3$ . $\begin{align*} \lim_{x\to\infty} \frac{4x^3-6x+2}{5x^3+7x^2-3x+1} &= \lim_{x\to\infty} \frac{4x^3-6x+2}{5x^3+7x^2-3x+1} \cdot \frac{1/x^3}{1/x^3}\\ &= \lim_{x\to\infty} \frac{\frac{4x^3}{x^3}-\frac{6x}{x^3}+\frac{2}{x^3}}{\frac{5x^3}{x^3}+\frac{7x^2}{x^3}-\frac{3x}{x^3}+\frac{1}{x^3}}\\ &= \lim_{x\to\infty} \frac{4-\frac{6}{x^2}+\frac{2}{x^3}}{5+\frac{7}{x}-\frac{3}{x^2}+\frac{1}{x^3}}\\ &= \lim_{x\to\infty}\frac{4}{5}\\ &= \answer{\frac{4}{5}}. \end{align*}$

With a little work, this trick also helps with functions that are not rational.

Evaluate: $\displaystyle \lim _{x\to -\infty } \frac {3x+1}{\sqrt {x^2+9}}$ .

In the square root, there is a polynomial $x^2+9$ . Since $x$ is tending toward $-\infty$ , we can rewrite the radical in the denominator. $\begin{align*} \sqrt{x^2+9} &= \sqrt{x^2\left(1 + \frac{9}{x^2} \right)}\\ &= \sqrt{x^2} \sqrt{1+\frac{9}{x^2}}\\ &= |x| \sqrt{1+\frac{9}{x^2}}\\ &= -x \sqrt{1+\frac{9}{x^2} }. \end{align*}$

(Why $-x$ instead of $x$ ? When would we have gotten $x$ instead?)

If the denominator were really $-x$ , then we would divide the numerator and denominator by $x$ . Let’s see what happens if we do that anyway.

$\begin{align*} \lim_{x\to -\infty} \frac{3x+1}{\sqrt{x^2+9}} &= \lim_{x\to -\infty} \frac{3x+1}{\sqrt{x^2+9}} \cdot \frac{1/x}{1/x}\\ &= \lim_{x\to -\infty} \frac{3+\frac{1}{x}}{\frac{1}{x} \cdot \sqrt{x^2+9}} \\ &= \lim_{x\to -\infty} \frac{3+\frac{1}{x}}{\frac{1}{x} \cdot -x \sqrt{1 + \frac{9}{x^2}}} \\ &= \lim_{x\to -\infty} \frac{3+\frac{1}{x}}{ - \sqrt{1 + \frac{9}{x^2}}} \\ &= \lim_{x\to -\infty} \frac{3}{-\sqrt{1}}\\ &= \answer{-3}. \end{align*}$

Let’s try one that looks a bit different.

Evaluate: $\displaystyle \lim _{x\to \infty } \left (x - \sqrt {x^2+1} \right )$ .

It is clear that $\lim _{x\to \infty }x = \infty$ and $\lim _{x\to \infty } \sqrt {x^2+1} = \infty$ . That means this limit has form $\inftyMinusInfty$ , which is indeterminate. To evaluate, we’ll need to rewrite it a bit. We’ll start by multiplying and dividing by the conjugate. $\begin{align*} \lim_{x\to\infty}\left(x - \sqrt{x^2+1}\right) &= \lim_{x\to\infty}\left(x - \sqrt{x^2+1}\right) \cdot \frac{x + \sqrt{x^2+1}}{x+\sqrt{x^2+1}}\\ &= \lim_{x\to\infty} \frac{\left(x-\sqrt{x^2+1}\right)\left(x+\sqrt{x^2+1}\right)}{x+\sqrt{x^2+1}}\\ &= \lim_{x\to\infty}\frac{x^2 - \left(x^2+1\right)}{x+\sqrt{x^2+1}}\\ &= \lim_{x\to\infty}\frac{-1}{x + \sqrt{x^2+1}}. \end{align*}$

The numerator is a constant $-1$ and the denominator tends to $\infty$ . That means $\lim _{x\to \infty } \left ( x - \sqrt {x^2+1} \right ) = \answer {0}.$

Try one on your own.

Evaluate the limit. $\lim _{x\to -\infty } \frac {4x^3+x}{5x^3+2\sqrt {x^6 + 1}} \begin {prompt}= \answer {\frac {4}{3}} .\end {prompt}$