Skip to main content
Logo image

APEX Calculus

Section 1.4 One-Sided Limits

We introduced the concept of a limit gently, approximating their values graphically and numerically. Next came the rigorous definition of the limit, along with an admittedly tedious method for evaluating them. Section 1.3 gave us tools (which we call theorems) that allow us to compute limits with greater ease. Chief among the results were the facts that polynomials and rational, trigonometric, exponential and logarithmic functions (and their sums, products, etc.) all behave “nicely.” In this section we rigorously define what we mean by “nicely.”
In Section 1.1 we saw three ways in which limits of functions can fail to exist:
  1. The function approaches different values from the left and right.
  2. The function grows without bound.
  3. The function oscillates.
In this section we explore in depth the concepts behind Item 1 by introducing the one-sided limit. We begin with formal definitions that are very similar to the definition of the limit given in Section 1.2, but the notation is slightly different and “\(x\neq c\)” is replaced with either “\(x\lt c\)” or “\(x \gt c\text{.}\)
There is a slightly different definition for a left-hand limit, than for a right-hand limit, but both have a lot in common with Definition 1.2.2.

Definition 1.4.1. One Sided Limits: Left- and Right-Hand Limits.

Left-Hand Limit
Let \(f\) be a function defined on \((a,c)\) for some \(a\lt c\) and let \(L\) be a real number. The statement that the limit of \(f(x)\text{,}\) as \(x\) approaches \(c\) from the left, is \(L\text{,}\) (alternatively, that the left-hand limit of \(f\) at \(c\) is \(L\)) is denoted by
\begin{equation*} \lim_{x\to c^-} f(x) = L\text{,} \end{equation*}
and means that for any \(\varepsilon \gt 0\text{,}\) there exists \(\delta \gt 0\) such that for all \(x\in (a,c)\text{,}\) if \(\abs{x - c} \lt \delta\text{,}\) then \(\abs{f(x) - L} \lt \varepsilon\text{.}\)
Right-Hand Limit
Let \(f\) be a function defined on \((c,b)\) for some \(b \gt c\) and let \(L\) be a real number. The statement that the limit of \(f(x)\text{,}\) as \(x\) approaches \(c\) from the right, is \(L\text{,}\) (alternatively, that the right-hand limit of \(f\) at \(c\) is \(L\)) is denoted by
\begin{equation*} \lim_{x\to c^+} f(x) = L\text{,} \end{equation*}
and means that for any \(\varepsilon \gt 0\text{,}\) there exists \(\delta \gt 0\) such that for all \(x\in (c,b)\text{,}\) if \(\abs{x - c} \lt \delta\text{,}\) then \(\abs{f(x) - L} \lt \varepsilon\text{.}\)
Figure 1.4.2. Video presentation of Definition 1.4.1
Practically speaking, when evaluating a left-hand limit, we consider only values of \(x\) “to the left of \(c\text{,}\)” i.e., where \(x\lt c\text{.}\) The admittedly imperfect notation \(x\to c^-\) is used to imply that we look at values of \(x\) to the left of \(c\text{.}\) The notation has nothing to do with positive or negative values of either \(x\) or \(c\text{.}\) It’s more like you are adding very small negative values to \(c\) to get values for \(x\text{.}\) A similar statement holds for evaluating right-hand limits; there we consider only values of \(x\) to the right of \(c\text{,}\) i.e., \(x \gt c\text{.}\) We can use the theorems from previous sections to help us evaluate these limits; we just restrict our view to one side of \(c\text{.}\)
We practice evaluating left- and right-hand limits through a series of examples.

Example 1.4.3. Evaluating one-sided limits.

Let \(f(x) = \begin{cases} x \amp 0\leq x\leq 1 \\ 3-x \amp 1\lt x\lt 2 \end{cases}\text{,}\) as shown in Figure 1.4.4. Find each of the following:
  1. \(\displaystyle \lim_{x\to 1^-} f(x)\)
  2. \(\displaystyle \lim_{x\to 1^+} f(x)\)
  3. \(\displaystyle \lim_{x\to 1} f(x)\)
  4. \(\displaystyle f(1)\)
  5. \(\displaystyle \lim_{x\to 0^+} f(x)\)
  6. \(\displaystyle f(0)\)
  7. \(\displaystyle \lim_{x\to 2^-} f(x)\)
  8. \(\displaystyle f(2)\)
Graph of a piecewise function that has only a left sided limit as x approaches 1.
Graph of the piecewise function \(f(x) = \begin{cases} x \amp 0\leq x\leq 1 \\ 3-x \amp 1\lt x\lt 2 \end{cases}\text{.}\) There are two lines, one with a positive slope and the other with a negative slope.
The line with a positive slope starts at the point \((0, 0)\) and ends at \((1, 1)\text{.}\) The line with a negative slope starts at \((1, 2)\) and ends at \((2, 1)\text{.}\)
The start and end points of the line with a positive slope are solid dots, indicating that the function is defined at those points. The start and end points of the line with a negative slope are hollow dots. This tells us that the function is undefined for \(x = 1\) when going right to left and \(x = 2\) is undedined as well. Because the function is defined at \(x = 1\) on the line with a positive slope, but is undefined at \(x = 1\) on the other line, we can tell the function \(f\) has a one-sided limit as \(x\) approaches \(1\text{.}\)
Figure 1.4.4. A graph of \(f\) in Example 1.4.3
Solution 1. Video solution
Solution 2.
For these problems, the visual aid of the graph is likely more effective in evaluating the limits than using \(f\) itself. Therefore we will refer often to the graph.
  1. As \(x\) goes to \(1\) from the left, we see that \(f(x)\) is approaching the value of \(1\text{.}\)
    Therefore \(\lim\limits_{x\to 1^-} f(x) =1\text{.}\)
  2. As \(x\) goes to \(1\) from the right, we see that \(f(x)\) is approaching the value of \(2\text{.}\) Recall that it does not matter that there is an “open circle” there; we are evaluating a limit, not the value of the function.
    Therefore \(\lim\limits_{x\to 1^+} f(x)=2\text{.}\)
  3. The limit of \(f\) as \(x\) approaches \(1\) does not exist, as discussed in Section 1.1. The function does not approach one particular value, but two different values from the left and the right.
  4. Using the definition, and by looking at the graph, we see that \(f(1) = 1\text{.}\)
  5. As \(x\) goes to \(0\) from the right, we see that \(f(x)\) is approaching \(0\text{.}\) Therefore \(\lim_{x\to 0^+} f(x)=0\text{.}\) Note we cannot consider a left-hand limit at \(0\) as \(f\) is not defined for values of \(x\lt 0\text{.}\)
  6. Using the definition and the graph, \(f(0) = 0\text{.}\)
  7. As \(x\) goes to \(2\) from the left, we see that \(f(x)\) is approaching the value of \(1\text{.}\)
    Therefore \(\lim\limits_{x\to 2^-} f(x)=1\text{.}\)
  8. The graph and the definition of the function show that \(f(2)\) is not defined.
Note how the left- and right-hand limits were different at \(x=1\text{.}\) This, of course, causes the limit to not exist. The following theorem states what is fairly intuitive: the limit exists precisely when the left- and right-hand limits are equal.
The phrase “if, and only if” means the two statements are equivalent: they are either both true or both false. If the limit equals \(L\text{,}\) then the left and right hand limits both equal \(L\text{.}\) If the limit is not equal to \(L\text{,}\) then at least one of the left and right-hand limits is not equal to \(L\) (it may not even exist).
One thing to consider in Examples 1.4.3-Example 1.4.10 is that the value of the function may/may not be equal to the value(s) of its left/right-hand limits, even when these limits agree.

Example 1.4.6. Evaluating limits of a piecewise-defined function.

Let \(f(x) =\begin{cases} 2-x \amp 0\lt x\lt 1 \\ (x-2)^2 \amp 1\lt x\lt 2 \end{cases}\) . Evaluate the following:
  1. \(\displaystyle \lim_{x\to 1^-} f(x)\)
  2. \(\displaystyle \lim_{x\to 1^+} f(x)\)
  3. \(\displaystyle \lim_{x\to 1} f(x)\)
  4. \(\displaystyle f(1)\)
  5. \(\displaystyle \lim_{x\to 0^+} f(x)\)
  6. \(\displaystyle f(0)\)
  7. \(\displaystyle \lim_{x\to 2^-} f(x)\)
  8. \(\displaystyle f(2)\)
Solution 1. Video solution
Solution 2.
In this example, we evaluate each expression using just the definition of \(f\text{,}\) without using a graph as we did in the previous example.
  1. As \(x\) approaches \(1\) from the left, we consider a limit where all \(x\)-values are less than \(1\text{.}\) This means we use the “\(2-x\)” piece of the piecewise-defined function \(f\text{.}\) As the \(x\)-values near \(1\text{,}\) \(2-x\) approaches \(1\text{;}\) that is, \(f(x)\) approaches \(1\text{.}\)
    Therefore \(\lim\limits_{x\to 1^-} f(x)=1.\)
    A concise mathematical presentation of the above argument could be written as follows:
    \begin{align*} \lim_{x\to 1^-}f(x) \amp = \lim_{x\to 1^-}(2-x) \quad (f(x)=x-2 \text{ for } 0\lt x\lt 1)\\ \amp = 2-1 = 1 \quad (\text{ properties of limits }) \end{align*}
  2. As \(x\) approaches \(1\) from the right, we consider a limit where all \(x\)-values are greater than \(1\text{.}\) This means we use the “\((x-2)^2\)” piece of \(f\text{.}\) As the \(x\)-values near \(1\text{,}\) \((x-2)^2\) approaches \(1\text{;}\) that is, we see that again \(f(x)\) approaches \(1\text{.}\)
    Therefore \(\lim\limits_{x\to 1+} f(x)=1\text{.}\)
    Once again, we can present our work computationally as follows:
    \begin{align*} \lim_{x\to 1^+}f(x) \amp = \lim_{x\to 1^+}(x-2)^2 \quad (f(x)=(x-2)^2 \text{ for } 1\lt x\lt 2)\\ \amp = (1-2)^2=1 \quad (\text{ properties of limits }) \end{align*}
  3. The limit of \(f\) as \(x\) approaches \(1\) exists and is \(1\text{,}\) as \(f\) approaches \(1\) from both the right and left.
    Therefore \(\lim\limits_{x\to 1} f(x)=1\text{.}\)
  4. Neither piece of \(f\) is defined for the \(x\)-value of \(1\text{;}\) in other words, \(1\) is not in the domain of \(f\text{.}\) Therefore \(f(1)\) is not defined.
  5. As \(x\) approaches \(0\) from the right, we consider a limit where all \(x\)-values are greater than \(0\text{.}\) This means we use the \(2-x\) piece of \(f\text{.}\) As the \(x\)-values near \(0\text{,}\) \(2-x\) approaches \(2\text{;}\) that is, \(f(x)\) approaches \(2\text{.}\)
    So \(\lim\limits_{x\to 0^+} f(x)=2\text{.}\)
  6. \(f(0)\) is not defined as \(0\) is not in the domain of \(f\text{.}\)
  7. As \(x\) approaches \(2\) from the left, we consider a limit where all \(x\)-values are less than \(2\text{.}\) This means we use the \((x-2)^2\) piece of \(f\text{.}\) As the \(x\)-values near \(2\text{,}\) \((x-2)^2\) nears \(0\text{;}\) that is, \(f(x)\) approaches \(0\text{.}\)
    So \(\lim\limits_{x\to 2^-} f(x)=0\text{.}\)
  8. \(f(2)\) is not defined as \(2\) is not in the domain of \(f\text{.}\)
We can confirm our analytic result by consulting the graph of \(f\) shown in Figure 1.4.7. Note the open circles on the graph at \(x=0\text{,}\) \(1\) and \(2\text{,}\) where \(f\) is not defined.
Graph of the piecewise function from the previous example.
Graph of \(f\) from Example 1.4.6. There are two lines shown, the first starts at the point \(0, 2\) and ends at \((1, 1)\text{.}\) The second start at \((1, 1)\) and ends at \((2, 0)\text{.}\) Both lines have a negative slope and are undefined at their start and end points, which are marked with hollow dots. The first line is straight, but the second has a small upward curve to it.
The graph may be undefined for \(x = 1\text{,}\) but since the equation has a left and right limit, there for \(f(x)\) has a limit as \(x\) approaches \(1\text{.}\)
Figure 1.4.7. A graph of \(f\) from Example 1.4.6

Example 1.4.8. Evaluating limits of a piecewise-defined function.

Let \(f(x) =\begin{cases} (x-1)^2 \amp 0\leq x\leq 2, x\neq 1\\ 1 \amp x=1 \end{cases}\) as shown in Figure 1.4.9. Evaluate the following:
  1. \(\displaystyle \lim_{x\to 1^-} f(x)\)
  2. \(\displaystyle \lim_{x\to 1^+} f(x)\)
  3. \(\displaystyle \lim_{x\to 1} f(x)\)
  4. \(\displaystyle f(1)\)
Graph of f(x), showing an upward curved line and a solid dot at (1, 1). Line of the equation is undefined at x = 1.
The graph of \(f(x)\) in Example 1.4.8. The graph is a parabola, opening upward, plotted from \((0, 1)\) to \((2, 1)\text{,}\) with its vertex at \((1,0)\text{.}\) However, there is a hole in the graph at the vertex, indicated by a hollow dot. The function is still defined at \(x = 1\text{,}\) because there is a solid dot at \((1, 1)\text{.}\) This shows that \(f(1) = 1\text{,}\) but the limit of \(f\) as \(x\) approaches \(1\) is \(0\text{.}\)
Figure 1.4.9. Graphing \(f\) in Example 1.4.8
Solution 1. Video solution
Solution 2.
It is clear by looking at the graph that both the left- and right-hand limits of \(f\text{,}\) as \(x\) approaches \(1\text{,}\) are \(0\text{.}\) Thus it is also clear that the limit is \(0\text{;}\) i.e., \(\lim_{x\to 1} f(x) = 0\text{.}\) It is also clearly stated that \(f(1) = 1\text{.}\)

Example 1.4.10. Evaluating limits of a piecewise-defined function.

Let \(f(x) = \begin{cases} x^2 \amp 0\leq x\leq 1 \\ 2-x \amp 1\lt x\leq 2 \end{cases}\) as shown in Figure 1.4.11. Evaluate the following:
  1. \(\displaystyle \lim_{x\to 1^-} f(x)\)
  2. \(\displaystyle \lim_{x\to 1^+} f(x)\)
  3. \(\displaystyle \lim_{x\to 1} f(x)\)
  4. \(\displaystyle f(1)\)
Graph of the piecewise function for the above example.
Graph of a piecewise-defined function, on the interval \([0,2]\text{.}\) For \(x\) values between \(0\) and \(1\) (inclusive) the graph is an upward curved parabola. For \(x\) values \(1\) to \(2\) (inclusive) the graph is a straight line with a negative slope.
The parabola and the line meet at the point \((1,1)\text{.}\)
There are three solid dots plotted on the graph at the points, \((0, 0)\text{,}\) \((1, 1)\text{,}\) and \((2, 0)\text{,}\) to indicate where each part of the graph begins and ends.
Figure 1.4.11. Graphing \(f\) in Example 1.4.10
Solution 1. Video solution
Solution 2.
It is clear from the definition of the function and its graph that all of the following are equal:
\begin{equation*} \lim_{x\to 1^-} f(x) = \lim_{x\to 1^+} f(x) =\lim_{x\to 1} f(x) =f(1) = 1\text{.} \end{equation*}
In Examples 1.4.3-Example 1.4.10 we were asked to find both \(\lim_{x\to 1}f(x)\) and \(f(1)\text{.}\) Consider the following table:
\(\lim\limits_{x\to 1}f(x)\) \(f(1)\)
Example 1.4.3 does not exist \(1\)
Example 1.4.6 \(1\) not defined
Example 1.4.8 \(0\) \(1\)
Example 1.4.10 \(1\) \(1\)
Only in Example 1.4.10 do both the function and the limit exist and agree. This seems “nice;” in fact, it seems “normal.” This is in fact an important situation which we explore in Section 1.5 entitled “Continuity.” In short, a continuous function is one in which when a function approaches a value as \(x\to c\) (i.e., when \(\lim_{x\to c} f(x) = L\)), it actually attains that value at \(c\text{.}\) Such functions behave nicely as they are very predictable.

Exercises Exercises

Terms and Concepts

1.
What are the three ways in which a limit may fail to exist?
2.
  • True
  • False
If \(\lim\limits_{x\to 1^-}f(x)=5\text{,}\) then \(\lim\limits_{x\to 1}f(x)=5\text{.}\)
3.
  • True
  • False
If \(\lim\limits_{x\to 1^-}f(x)=5\text{,}\) then \(\lim\limits_{x\to 1^+}f(x)=5\text{.}\)
4.
  • True
  • False
If \(\lim\limits_{x\to 1}f(x)=5\text{,}\) then \(\lim\limits_{x\to 1^-}f(x)=5\text{.}\)

Problems

Exercise Group.
Evaluate each expression using the given graph of \(f\text{.}\)
5.
Graph for exercise problem 5.
(a)
\(\lim\limits_{x\to 1^-} f(x)\)
(b)
\(\lim\limits_{x\to 1^+} f(x)\)
(c)
\(\lim\limits_{x\to 1} f(x)\)
(d)
\(f(1)\)
(e)
\(\lim\limits_{x\to 0^-} f(x)\)
(f)
\(\lim\limits_{x\to 0^+} f(x)\)
6.
Graph for exercise problem 6.
(a)
\(\lim\limits_{x\to 4^-} f(x)\)
(b)
\(\lim\limits_{x\to 4^+} f(x)\)
(c)
\(\lim\limits_{x\to 4} f(x)\)
(d)
\(f(4)\)
(e)
\(\lim\limits_{x\to 0^-} f(x)\)
(f)
\(\lim\limits_{x\to 0^+} f(x)\)
7.
Graph for exercise problem 7.
(a)
\(\lim\limits_{x\to 1^-} f(x)\)
(b)
\(\lim\limits_{x\to 1^+} f(x)\)
(c)
\(\lim\limits_{x\to 1} f(x)\)
(d)
\(f(1)\)
(e)
\(\lim\limits_{x\to 3^-} f(x)\)
(f)
\(\lim\limits_{x\to 0^+} f(x)\)
8.
Graph for exercise problem 8.
(a)
\(\lim\limits_{x\to 1^-} f(x)\)
(b)
\(\lim\limits_{x\to 1^+} f(x)\)
(c)
\(\lim\limits_{x\to 1} f(x)\)
(d)
\(f(1)\)
9.
Graph for exercise problem 9.
(a)
\(\lim\limits_{x\to 2^-} f(x)\)
(b)
\(\lim\limits_{x\to 2^+} f(x)\)
(c)
\(\lim\limits_{x\to 2} f(x)\)
(d)
\(f(2)\)
10.
Graph for exercise problem 10.
(a)
\(\lim\limits_{x\to 0^-} f(x)\)
(b)
\(\lim\limits_{x\to 0^+} f(x)\)
(c)
\(\lim\limits_{x\to 0} f(x)\)
(d)
\(f(0)\)
11.
Graph for exercise problem 11.
(a)
\(\lim\limits_{x\to -2^-} f(x)\)
(b)
\(\lim\limits_{x\to -2^+} f(x)\)
(c)
\(\lim\limits_{x\to -2} f(x)\)
(d)
\(f(-2)\)
(e)
\(\lim\limits_{x\to 2^-} f(x)\)
(f)
\(\lim\limits_{x\to 2^+} f(x)\)
(g)
\(\lim\limits_{x\to 2} f(x)\)
(h)
\(f(2)\)
12.
Graph for exercise problem 12.
Let \(a\) be an integer with \(-3\leq a\leq3\text{.}\)
(a)
\(\lim\limits_{x\to a^-} f(x)\)
(b)
\(\lim\limits_{x\to a^+} f(x)\)
(c)
\(\lim\limits_{x\to a} f(x)\)
(d)
\(f(a)\)
Exercise Group.
Evaluate the given limits of the piecewise defined function.
13.
\(f(x) ={\begin{cases}\displaystyle{x-1}\amp \text{if}\ x \le 3\cr \displaystyle{x^{2}-3}\amp \text{if}\ x > 3\end{cases}}\)
(a)
\(\lim\limits_{x\to 3^-} f(x)\)
(b)
\(\lim\limits_{x\to 3^+} f(x)\)
(c)
\(\lim\limits_{x\to 3} f(x)\)
(d)
\(f(3)\)
14.
\(f(x) ={\begin{cases}\displaystyle{2x-2x^{2}-5}\amp \text{if}\ x \lt 3\cr \displaystyle{\sin\mathopen{}\left(x-3\right)}\amp \text{if}\ x \ge 3\end{cases}}\)
(a)
\(\lim\limits_{x\to 3^-} f(x)\)
(b)
\(\lim\limits_{x\to 3^+} f(x)\)
(c)
\(\lim\limits_{x\to 3} f(x)\)
(d)
\(f(3)\)
15.
\(f(x) ={\begin{cases}\displaystyle{x^{2}+3x-1}\amp \text{if}\ x \lt 2\cr \displaystyle{x^{3}+1}\amp \text{if}\ 2 \le x \le 5\cr \displaystyle{x^{2}+4x+81}\amp \text{if}\ x > 5\end{cases}}\)
(a)
\(\lim\limits_{x\to 2^-} f(x)\)
(b)
\(\lim\limits_{x\to 2^+} f(x)\)
(c)
\(\lim\limits_{x\to 2} f(x)\)
(d)
\(f(2)\)
(e)
\(\lim\limits_{x\to 5^-} f(x)\)
(f)
\(\lim\limits_{x\to 5^+} f(x)\)
(g)
\(\lim\limits_{x\to 5} f(x)\)
(h)
\(f(5)\)
16.
\(f(x) = \begin{cases}{\cos\mathopen{}\left(x\right)}\amp x\lt\pi\\ {\sin\mathopen{}\left(x\right)}\amp x\geq\pi\end{cases}\)
(a)
\(\lim\limits_{x\to\pi^-} f(x)\)
(b)
\(\lim\limits_{x\to\pi^+} f(x)\)
(c)
\(\lim\limits_{x\to\pi} f(x)\)
(d)
\(f(\pi)\)
17.
\(f(x) = \begin{cases}1-\cos^2(x)\amp x\lt a\\\sin^2(x)\amp x\geq a\end{cases}\) where \(a\) is a real number.
(a)
\(\lim\limits_{x\to ^-} f(x)\)
(b)
\(\lim\limits_{x\to ^+} f(x)\)
(c)
\(\lim\limits_{x\to } f(x)\)
(d)
\(f()\)
18.
\(f(x) ={\begin{cases}\displaystyle{x+1}\amp \text{if}\ x \lt -1\cr \displaystyle{x-1}\amp \text{if}\ x = -1\cr \displaystyle{x+2}\amp \text{if}\ x > -1\end{cases}}\)
(a)
\(\lim\limits_{x\to -1^-} f(x)\)
(b)
\(\lim\limits_{x\to -1^+} f(x)\)
(c)
\(\lim\limits_{x\to -1} f(x)\)
(d)
\(f(-1)\)
19.
\(f(x) ={\begin{cases}\displaystyle{x^{2}-2x-7}\amp \text{if}\ x \lt -1\cr \displaystyle{x-1}\amp \text{if}\ x = -1\cr \displaystyle{-\left(x^{2}+x+4\right)}\amp \text{if}\ x > -1\end{cases}}\)
(a)
\(\lim\limits_{x\to -1^-} f(x)\)
(b)
\(\lim\limits_{x\to -1^+} f(x)\)
(c)
\(\lim\limits_{x\to -1} f(x)\)
(d)
\(f(-1)\)
20.
\(f(x) = \begin{cases}a(x-b)^2+c\amp x\lt b\\a(x-b)+c\amp x\geq b\end{cases}\)
(a)
\(\lim\limits_{x\to b^-} f(x)\)
(b)
\(\lim\limits_{x\to b^+} f(x)\)
(c)
\(\lim\limits_{x\to b} f(x)\)
(d)
\(f(b)\)
21.
\(f(x) = \begin{cases}\frac{\abs{x}}{x}\amp x\neq0\\0\amp x=0\end{cases}\)
(a)
\(\lim\limits_{x\to 0^-} f(x)\)
(b)
\(\lim\limits_{x\to 0^+} f(x)\)
(c)
\(\lim\limits_{x\to 0} f(x)\)
(d)
\(f(0)\)
You have attempted of activities on this page.