A Modeling Approach to Calculus: MA2C

Subsection 5.3.1 Limits

For sequences, we introduced the idea of limits as the value the sequence was approaching further and further in that sequence. We saw that the decimal approximations of the sequence values would eventually converge to the decimal approximation of the limiting value. The mathematical definition of the limit was stated in terms of the possibility of eventually waiting long enough in the sequence that the sequence values would approximate the limit value within any desired accuracy of approximation.

The only limits of interest in sequences were when the index went to infinity. For functions, in order to understand continuity 5.2.19, we have found that we also need to think about limits as the independent variable approaches a value from either the left or the right. Sequences can give us a way to think about this possibility.

Function limits are properties of the function itself and do not depend on the sequences chosen. If different independent sequences that converge to \(c\) result in different limits for the dependent sequence, then the function does not have a limit. The following example illustrates how this new definition relates our earlier concept of continuity of piecewise functions with the sequence definition of function limits. We create a table of sequence values, one column corresponding to the independent variable (input) and another column corresponding to the dependent variable (output). The input sequence is chosen to converge to the value \(c\text{,}\) and we examine what happens to the sequence of the dependent variable.

While the previous example attempted to connect our simpler understanding of limits with the limits of sequences, the given solution really only illustrated the first few terms from two out of infinitely many possible independent sequences. Using tables of sequence values might suggest possible values of the limits, but we need a more definitive reason that the limit agrees with simple evaluation of the formula.

When a function is visualized as a graph, a limit can be determined by looking at the branches of the graph immediately to the left or right of the point of interest. A limit of \(f(x)\) with \(x \to c^-\) means to look at the branch of the function with \(x \lt c\) and identify what point that branch would lead to as \(x \to c\text{.}\) Similarly, a limit of \(f(x)\) with \(x \to c^+\) means to look at the branch of the function with \(x \gt c\) and identify what point that branch would lead to as \(x \to c\text{.}\)

Example 5.3.3.

Consider the function \(f\) whose graph is shown below. Find the following limits based on the graph, assuming the coordinates of shown points are integers.

1. \(\displaystyle \lim_{x \to -1} f(x)\)

2. \(\displaystyle \lim_{x \to 0} f(x)\)

3. \(\displaystyle \lim_{x \to 2} f(x)\)

4. \(\displaystyle \lim_{x \to 4} f(x)\)

Solution

1. \(\displaystyle \lim_{x \to -1} f(x)\)

   We consider a sequence for \(x\) on the \(x\)-axis that converges to \(-1\text{.}\) It is best to consider a sequence on the left and another on the right. For \(x_n \lt -1\text{,}\) our function will be using the cubic portion of the graph. As \(x_n \to -1\) (from the left), the function will move closer and closer to the open point at \((-1,-2)\text{.}\) The \(y\)-value of this point is the corresponding limit of the dependent sequence:

   \begin{equation*} \lim_{x \to -1^-} f(x) = -2\text{.} \end{equation*}

   For \(x_n \gt -1\text{,}\) we will be somewhere to the right. As \(x_n \to -1\) (from the right), we will eventually be on the portion of the function corresponding to the concave down parabola. The sequence will move us closer and closer to the filled-in point at \((-1,1)\text{:}\)

   \begin{equation*} \lim_{x \to -1^+} f(x) = 1\text{.} \end{equation*}

   Because the left- and right-limits have different values, the two-sided limit does not exist.

2. \(\displaystyle \lim_{x \to 0} f(x)\)

   We consider a sequence for \(x\) on the \(x\)-axis that converges to \(0\text{.}\) Regardless of whether the sequence is to the left or the right of \(x=0\text{,}\) the value \(x_n\) will eventually use the function defined by the concave down parabola. The point on the graph of the function will converge to the vertex of this parabola at \((0,2)\text{.}\) This is our limit.

   \begin{equation*} \lim_{x \to 0} f(x) = 2\text{.} \end{equation*}

3. \(\displaystyle \lim_{x \to 2} f(x)\)

   For a sequence \(x_n \to 2\) with \(x_n \lt 2\text{,}\) the point on the graph will eventually be on the parabola and approaching the open point at \((2,-2)\text{.}\) For values with \(x_n \gt 2\text{,}\) the point on the graph will eventually be on the line and also approaching the point \((2,-2)\text{.}\) Because the sequence always results in approaching the point \((2,-2)\text{,}\) we have a limit

   \begin{equation*} \lim_{x \to 2} f(x) = -2\text{.} \end{equation*}

   Notice that a limit does not depend on whether the point is included in the function or not. All that matters is whether the sequence of points converges to that point.

4. \(\displaystyle \lim_{x \to 4} f(x)\)

   For a sequence \(x_n \to 4\) and \(x_n \ne 4\text{,}\) eventually the function will be on the line to the left or right of \(x=4\text{.}\) Either way, the corresponding point on the graph will be converging to \((4,0)\text{:}\)

   \begin{equation*} \lim_{x \to 4} f(x) = 0\text{.} \end{equation*}

   The value of the function \(f(4)=2\) has no effect on the limit.

When we have a formula for a function, we already know that a table can be helpful but will not guarantee the value of the limit. We might think we can graph the function, but even our graphs of functions are ultimately based on a table of values. We need some methods to evaluate limits based on the formulas alone.

Our earlier motivation for limits involving piecewise functions suggest that we can find a limit by evaluating a function at the point of interest. In most cases, this is true. This is a consequence of the algebraic structure of expressions and the fact that limits behave very nicely with algebraic operations. The rest of this section explains why limits usually behave so well.

Subsection 5.3.2 Limit Rules for Combining Sequences

We start by formalizing some rules about how sequence limits relate to the arithmetic of sequences. These rules are stated as theorems. We begin each theorem with one or more sequence that is given with a particular limit. We then define a new sequence using arithmetic involving those sequences. The conclusion of each theorem describes the limit of the new sequence. To apply a theorem, we must verify that the hypotheses are satisfied before we can use the conclusion.

For a converging sequence \(x=(x_n)\) with \(x_n \to L\text{,}\) we can think of the sequence values as approximating \(L\text{.}\) The absolute error of approximation \(|x_n - L|\) must vanish as \(n \to \infty\text{.}\) In other words, for any margin of error \(\epsilon \gt 0\text{,}\) there must be some index \(N\) so that \(|x_n - L| \lt \epsilon\) once \(n \gt N\text{.}\) The proofs of these theorems rely on showing how the error of approximation for the arithmetic combination of the sequences can be related to the errors of approximations of the given sequences to their limits in a way to show that the approximation error will eventually vanish.

The first three rules involve elementary operations involving constants on a single sequence. They correspond to the operations used to construct expressions involving another expression and a constant, as discussed in (((Unresolved xref, reference "subsubsection-elementary-arithmetic-operations"; check spelling or use "provisional" attribute))) .

The second group of limit rules of combination allow us to take two limits that we know and combine them with arithmetic. Notice how the limit rules correspond exactly with the arithmetic operations used to construct expression, as discussed in Subsection 2.2.2. The proofs of these theorems are more advanced and will not be given in this section.

In addition to algebraic operations combining sequences, we have operations associated with functions. This includes raising sequences to powers, applying exponential or logarithm functions, or using trigonometric functions. We will learn that each of these functions are continuous. Consequently, the following theorem will apply.

Subsection 5.3.3 Elementary Limit Rules for Functions

Having established the limit rules associated with sequences, we can apply those rules to create corresponding limit rules for functions.

The first collection of limit rules are some basic limits. We can think of them as our building blocks for more complicated limits. We begin by showing that constant functions and the identity functions are continuous.

We include the limit of linear functions in our known limits of elementary functions.

Subsection 5.3.4 Limit Rules of Combination

The second collection of limit rules tell us how we can take limits that we already know (starting with building blocks) and use them to compute more complicated limits. The first three rules take a single limit that is known to be valid and use arithmetic with a constant to find a new limit. Each of the theorem simply applies the corresponding limit rule for sequences on the sequence created by the function.

The next limit rules of combination allow us to take two limits that we know and combine them with arithmetic. In each of the cases, note that both limits in the hypothesis have \(x \to a\) (i.e., \(x\) approaches the same value in both limits).

In addition to the arithmetic of functions, composition of functions plays an important role in algebra and calculus. So we need a limit rule associated with composition. Recall that for composition, the output of one function becomes the input to another function.

If \(f\) is continuous at \(a\) so that \(\displaystyle \lim_{x \to a} f(x) = f(a)\) then we have \(\displaystyle \lim_{x \to a} g \circ f(x) = g \circ f(a)\text{.}\) In other words, the composition of continuous functions is a continuous function.

Subsection 5.3.5 Justifying Limit Calculations

There are two ways in which limit rules are applied. One way is to provide formal justification of limit calculations, or in other words, to write a proof of limit statements. The other way limit rules are used is to break a computation down into recognizable and manageable parts. This section focuses on the process of formal justification.

A mathematical proof is essentially a sequence of statements, each of which is demonstrably true based only on previously stated knowledge and logical arguments. This means that when writing a proof or any careful justification, we must be careful that when we write something down we have previously established all of the necessary conditions at a previous step. In order to avoid circular reasoning, we should avoid referring to something as true before we actually show it is true.

For justification of limit statements, this means that we start from the small building blocks that create our formula and put them together one step at a time until we can justify the limit statement we are trying to prove.

Because most expressions that we work with are defined strictly in terms of the basic arithmetic operations and elementary functions, the limit rules we have developed essentially allow us to replace the independent variable in the formula \(f(x)\) with the limiting point \(x \to c\text{.}\) That is, whenever the expression involves basic arithmetic operations (addition, subtraction, multiplication, and division), we know that we could apply the limit rules step-by-step to justify

The exception is that our rule for quotients does not allow division by zero.

We will learn in the next section how to deal with expressions where the value is not defined.

Subsection 5.3.6 Summary

• The limit of a function \(\displaystyle \lim_{x \to c} f(x)\) represents the value \(L\) that is the limit of the dependent sequence \(f(x_n)\) for every independent sequence \((x_n)\) that satisfies \(x_n \ne c\) and \(x_n \to c\text{.}\) One-sided limits add the constraint that the sequence must stay below \(c\) (\(x \to c^-\)) or above \(c\) (\(x \to c^+\)).
• Numerically, a function limit \(\displaystyle \lim_{x \to c} f(x)\) can be approximated by testing the value of the function for values of the independent variable following a sequence \(x \to c\text{.}\)
• Graphically, a function limit \(\displaystyle \lim_{x \to c} f(x)\) corresponds to the \(y\)-value of the point in the plane that the sequence of points \((x_n, f(x_n))\) approaches from the left and from the right as \(x_n \to c\text{.}\) If the two branches (left vs right) approach different points, the two-sided limit does not exist.
• Limit rules associated with all of the arithmetic operations justify applying the same operations with limits.
• An argument justifying limits using limit rules must demonstrate that the component limits are known prior to combining them with a limit rule.