# 2.5: Limits

- Page ID
- 88629

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)In Section 1A, we saw how to go from a position graph to a velocity graph. However, the graphs we were dealing with were piecewise linear, which made it very easy to find the velocities, or the slopes. If the position graphs are not piecewise linear, it is more difficult to find the slope at a given point on the graph.

There is a very nice way of doing this for many functions, but if we’re not careful, it will require division by zero! What does being careful entail? It means knowing your limits!

## Numerical Limits

Suppose you wanted to evaluate the function \(f(x) = \frac{x^3 - 8}{x - 2}\) at \(x = 2\). Plugging in \(x = 2\) into the \(f(x)\) formula gives

\(\frac{2^3 - 8}{2 - 2} = \frac{0}{0}\)

But there is a problem — we’ve divided by zero.

(image credit: Jaggery)

Hopefully you didn’t actually do the division by zero. What can we do instead? Let’s make a table to see what happens when we get close to putting in two, without actually doing it.

x | f(x) |
---|---|

1.5 | 9.25 |

1.9 | 11.41 |

1.99 | 11.9401 |

1.999 | 11.994 |

1.9999 | 11.9994 |

2.0001 | 12.0006 |

2.001 | 12.006 |

2.01 | 12.0601 |

2.1 | 12.61 |

2.5 | 15.25 |

If you look at the table, it looks like \(f(x)\) SHOULD be equal to \(12\) at \(x = 2\). We can’t plug in \(x = 2\) because of division by zero, but it really should be \(12\) if it has a value. Can we just say it’s 12 and call it a day? Well, not quite, since we want to distinguish between functions that are actually equal to 12, and ones that just should be. That’s where limits come in.

We say \(f(2)\) is undefined, but we can write \(\lim_{x \to 2} f(x) = 12\), which we read as “the limit of \(f\) of \(x\) as \(x\) approaches two is twelve”. That example is the idea behind a limit.

More technically, a *limit* is a value \(L\) the \(y\)-value of a function \(f(x)\) approaches as the \(x\)-value approaches a certain value \(a\), either from the right, the left or both. Notationally, \(\lim_{x \to a^-} f(x) = L\) is the left hand limit, \(\lim_{x \to a^+} f(x) = L\) is the right hand limit, and \(\lim_{x \to a} f(x) = L\) is the two-sided limit. Let’s look at some pictures to make this more intuitive.

## Graphical Limits

Consider the following \(f(x)\).

To find the value of a function, recall that you look at how high that function is at a given \(x\) value. For example, \(f(1)\) is about \(2\), and \(f(3)\) is about \(10\).

What’s happening at \(x = 2\), or \(f(2)\)? The filled-in circle shows the function value. The white circle indicates that value is not part of the function. So \(f(2) = 8\).

However, there is something funny going on at \(x = 2\). Namely, the function seems to “jump from \(4\), stop at \(8\) momentarily, then finally jump to \(12\) and continue. This is called a *discontinuity*, and is usually a bad thing, or at least something that can be hard to deal with. This is where limits can be helpful. The notation \(\lim_{x \to 2^-} f(x)\) indicates the \(y\)-value of the function as \(x\) approaches the value of \(2\) from the left. Here is the picture:

In other words, \(\lim_{x \to 2^-} f(x)\) is the value that \(f(x)\) should be at \(2\), if you were approaching from the left. In this case, \(f(x)\) should be 4 if everything were right in the world. Therefore, \(\lim_{x \to 2^-} f(x) = 4\). The limit allows us to fill in what the function should be, even though it isn’t the case.

The right handed limit \(\lim_{x \to 2^+} f(x)\) is the same way, but it approaches from the right.

Here, the function approaches \(12\) as we approach \(2\) from the right, and therefore we write \(\lim_{x \to 2^+} = 12\).

A two-sided limit exists if \(\lim_{x \to a^-} f(x) = \lim_{x \to a^+} f(x)\). In other words, if the left and right limits are the same. The notation for this is \(\lim_{x \to a} f(x)\). Since the left and right limits are different, so we just write “Does Not Exist” or “DNE”. So \(\lim_{x \to 2} f(x) = \text{DNE}\).

## Other Examples

For each value of \(a\), find \(f(a)\), \(\lim_{x \to a^-} f(x)\), \(\lim_{x \to a^+} f(x)\), \(\lim_{x \to a} f(x)\).

- \(a = -5\)
- \(a = -3\)
- \(a = -1\)
- \(a = 1\)
- \(a = 3\)
- \(a = 5\)
- \(a = \infty\)
- \(a = -\infty\)

- We are looking at the function at \(x = -5\). The actual value here is \(f(-5) = 3\). However, the value it should be if we were coming at \(-5\) from the left is \(-2\), so \(\lim_{x \to -5^-} f(x) = -2\). Coming from the right, it should be \(3\), so \(\lim_{x \to -5^+} f(x) = 3\). Finally, \(\lim_{x \to -5} f(x) = \text{DNE}\), since the left and right limits are not equal.
- We are looking at the function at \(x = -3\). We have \(f(-3) = -1\), since that’s where the black dot is. But the value SHOULD be \(2\), whether we approach from the right or left. So \(\lim_{x \to -3^-} f(x) = \lim_{x \to -3^+} f(x) = 2\). Since the left and right limits are equal, we have \(\lim_{x \to -3} f(x) = 2\).
- We have \(f(-1) = 5\), \(\lim_{x \to -1^-} f(x) = 4\), \(\lim_{x \to -1^+} f(x) = 1\), and \(\lim_{x \to -1} f(x) = \text{DNE}\).
- Everything is nice and happy — there are no discontinuities here. Therefore \(f(1) = \lim_{x \to 1^-} f(x) = \lim_{x \to 1^+} f(x) = \lim_{x \to 1} f(x) = 0\).
- We have what is called a vertical asymptote, and the function basically goes off infinitely far in both directions. Here, we say \(f(3) = \text{DNE}\), since there is no obvious value to make \(f(3)\) equal to. We say \(\lim_{x \to 3^-} f(x) = \infty\), since it goes up infinitely high (the \(\infty\) symbol means “infinity”). Likewise, \(\lim_{x \to 3^+} f(x) = -\infty\), since it goes down infinitely low. Therefore, we can see \(\lim_{x \to 3} f(x)\) does not exist.
- We have \(f(5) = 3\), \(\lim_{x \to 5^-} f(x) = 3\), \(\lim_{x \to 5^+} f(x) = -2\), and \(\lim_{x \to 5} f(x)= \text{DNE}\).
- We have \(x = \infty\). What we are asking here is what happens to \(f(x)\) as \(x\) gets really big. In other words, what happens to the function as \(x\) goes to infinity? Well, it looks like perhaps \(f(x)\) is just heading towards zero. So we say \(\lim_{x \to \infty} f(x) = 0\). There is no such thing as a right hand or two-sided limit in this case, nor does it make sense to talk about \(f(\infty)\). So we just leave it as \(\lim_{x \to \infty} f(x) = 0\). This is the same thing as a horizontal asymptote.
- Similarly we are looking at what happens to \(f(x)\) when \(x\) goes more and more negative. It looks like maybe \(f(x)\) is heading towards \(1\), so we write \(\lim_{x \to -\infty} f(x) = 1\).