Skip to main content

Section 1.5 The Squeeze Theorem

We won’t get enough time to spend thinking about all of the possible techniques that we could use to evaluate limits, but in this section we’ll investigate one more.
Here, we’ll introduce a new limit involving a type of function that we’ve not used in limits so far: trigonometric functions.

Subsection Weird Functions, Weird Behavior

Ok, trigonometric functions aren’t actually weird. But we want to look at a function that is slightly more complicated than the ones we’ve looked at so far.

Activity 1.5.1. A Weird End Behavior Limit.

In this activity, we’re going to find the following limit:
\begin{equation*} \lim_{x\to\infty} \left(\dfrac{\sin^2(x)}{x^2+1}\right)\text{.} \end{equation*}
This limit is a bit weird, in that we really haven’t looked at trigonometric functions that much. We’re going to start by looking at a different limit in the hopes that we can eventually build towards this one.
(a)
Consider, instead, the following limit:
\begin{equation*} \lim_{x\to\infty} \left(\frac{1}{x^2+1}\right)\text{.} \end{equation*}
Find the limit and connect the process or intuition behind it to at least one of the results from this text.
Hint 1.
Start with Theorem 1.2.5 to think about the numerator and denominator separately.
Hint 2.
Can you use Theorem 1.4.7 in the denominator?
Hint 3.
Is Theorem 1.4.6 relevant?
(b)
Let’s put this limit aside and briefly talk about the sine function. What are some things to remember about this function? What should we know? How does it behave?
(c)
What kinds of values doe we expect \(\sin(x)\) to take on for different values of \(x\text{?}\)
\begin{equation*} \fillinmath{XXXXXXXXXX} \leq \sin(x) \leq \fillinmath{XXXXXXXXXX} \end{equation*}
(d)
What happens when we square the sine function? What kinds of values can that take on?
\begin{equation*} \fillinmath{XXXXXXXXXX} \leq \sin^2(x) \leq \fillinmath{XXXXXXXXXX} \end{equation*}
(e)
Think back to our original goal: we wanted to know the end behavior of \(\dfrac{\sin^2(x)}{x^2+1}\text{.}\) Right now we have two bits of information:
  • We know \(\displaystyle \lim_{x\to\infty}\left(\frac{1}{x^2+1}\right)\text{.}\)
  • We know some information about the behavior of \(\sin^2(x)\text{.}\) Specifically, we have some bounds on its values.
Can we combine this information?
In your inequality above, multiply \(\left(\frac{1}{x^2+1}\right)\) onto all three pieces of the inequality. Make sure you’re convinced about the direction or order of the inequality and whether or not it changes with this multiplication.
\begin{equation*} \underbrace{\frac{\fillinmath{XXXXXXXXXX}}{x^2+1}}_{\text{call this }f(x)} \leq \frac{\sin^2(x)}{x^2+1} \leq \underbrace{\frac{\fillinmath{XXXXXXXXXX}}{x^2+1}}_{\text{call this }h(x)} \end{equation*}
(f)
For your functions \(f(x)\) and \(h(x)\text{,}\) evaluate \(\displaystyle \lim_{x\to\infty} f(x)\) and \(\displaystyle \lim_{x\to\infty} h(x)\text{.}\)
(g)
What do you think this means about the limit we’re interested in, \(\displaystyle \lim_{x\to\infty} \left(\frac{\sin^2(x)}{x^2+1}\right)\text{?}\)

Subsection Squeeze Theorem

This strategy is a really nice one to use when we know the behavior of some well-behaved “bounding” functions. We can try to off-load the task of summarizing the behavior of a strangely behaved function to these bounding functions, and follow them! As long as they approach each other, than the strangely behaved function has to have the same behavior.
Let’s formalize this result carefully.
This theorem can be difficult to use, primarily because building the bounds for a function is difficult. In Activity 1.5.1, we were able to build the boundary functions by simply thinking about the bounds on the \(\sin(x)\text{.}\) This worked well, but we were only able to do this because of our familiarity with this function. With other functions, these bounds are harder to just come up with. This is especially true in that we need the bounds to accomplish multiple things at once:
  • We need them to be ordered correctly with regard to the function we care about: one above it and one below it.
  • We need the limits of these functions to be things we can actually evaluate! This is the whole point: we use these (hopefully easier) limits to evaluate the (probably hard) limit that we’re interested in.
  • We need the limits of these functions to be the same as \(x\to a\text{,}\) otherwise we’re not certain about where our function actually is.
In practice, we’ll try to build any bounding functions with some assistance, or start with bounding functions already stated.
Let’s see another way of thinking about this result using our graphical intuition.

Activity 1.5.2. Sketch This Function Around This Point.

(a)
Sketch or visualize the functions \(f(x) = x^2+3\) and \(h(x)=2x+2\text{,}\) especially around \(x=1\text{.}\)
(b)
Now we want to add in a sketch of some function \(g(x)\text{,}\) all the while satisfying the requirements of the Squeeze Theorem.
(c)
Use the Squeeze Theorem to evaluate and explain \(\displaystyle \lim_{x\to 1}g(x)\) for your function \(g(x)\text{.}\)
(d)
Is this limit dependent on the specific version of \(g(x)\) that you sketched? Would this limit be different for someone else’s choice of \(g(x)\) given the same parameters?
(e)
What information must be true (if anything) about \(\displaystyle \lim_{x\to 3} g(x)\) and \(\displaystyle \lim_{x\to 0} g(x)\text{?}\)
Do we know that these limits exist? If they do, do we have information about their values?

Practice Problems Practice Problems

1.

For each of the following statements, discuss the possible existence of the limit in question. Explain in detail how we might know whether the limit exists or not, or why it is impossible to tell.
(a)
We want to know about \(\displaystyle\lim_{x\to4} f(x) \text{,}\) and we know that \(a(x) \leq f(x) \leq b(x) \) for all \(x \)-values, with \(a(4)=3 \) and \(b(4)=3 \text{.}\)
(b)
We want to know about \(\displaystyle\lim_{x\to0} f(x) \text{,}\) and we know that \(\displaystyle\lim_{x\to0} g(x)=5 \) for the function \(g(x)\geq f(x) \) for \(x \)-values around 0.
(c)
We want to know about \(\displaystyle\lim_{x\to-1} f(x) \text{,}\) and we know that \(a(x)\leq f(x)\leq b(x) \) for \(x \)-values around \(-1 \text{,}\) with \(\displaystyle\lim_{x\to-1}a(x)=9 \) and \(\displaystyle\lim_{x\to-1}b(x)=9 \text{.}\)

2.

We want to use the Squeeze Theorem to evaluate \(\displaystyle\lim_{x\to0} \left( x^2\sin(\pi/x)\right) \text{.}\)
(a)
Explain why we know that \(-1\leq\sin(\pi/x)\leq 1 \) for any non-zero \(x \)-values. Why does this inequality not hold for \(x=0 \text{?}\)
(b)
Use the inequality from (a) to build an inequality of functions \(f(x)\leq x^2\sin(\pi/x) \leq g(x) \) for non-zero \(x \)-values.
(c)
With these functions \(f(x) \) and \(g(x) \) from (b), find \(\displaystyle\lim_{x\to0} f(x) \) and \(\displaystyle\lim_{x\to0} g(x) \text{.}\)
(d)
Explain how the Squeeze Theorem tells us what the value of \(\displaystyle\lim_{x\to0} x^2\sin(\pi/x) \) is.