Squeeze Theorem

Revision as of 21:12, 28 August 2015 by Pi3point14 (talk | contribs) (Applications and examples)

The Squeeze Theorem (also called the Sandwich Theorem or the Squeeze Play Theorem) is a relatively simple theorem that deals with calculus, specifically limits.

Squeeze Theorem


Suppose $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in a neighborhood of the point $S$. If $g$ and $h$ approach some common limit $L$ as $x$ approaches $S$, then $\lim_{x\to S}f(x)=L$.


If $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in the neighborhood of $S$, then either $g(x)\leq f(x) \leq h(x)$ or $h(x)\leq f(x)\leq g(x)$ for all $x$ in this neighborhood. The two cases are the same up to renaming our functions, so assume without loss of generality that $g(x)\leq f(x) \leq h(x)$.

We must show that for all $\varepsilon >0$ there is some $\delta > 0$ for which $|x-S|<\delta$ implies $|f(x)-L|<\varepsilon$.

Now since $\lim_{x\to S}g(x)=\lim_{x\to S}h(x)=L$, there must exist $\delta_1,\delta_2>0$ such that

\[|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{  and  } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.\]

Now let $\delta = \min\{\delta_1,\delta_2\}$. If $|x-S|<\delta$ then

$-\varepsilon < g(x) - L \leq f(x) - L \leq h(x) - L < \varepsilon.$

So $|f(x)-L|<\varepsilon$. Now by the definition of a limit we get $\lim_{x\to S}f(x)=L$ as desired.

Applications and examples

The Squeeze Theorem can be used to evaluate limits that might not normally be defined. An example is the limit $\lim_{x\to\0} f(x)=x^2e^{\sin\frac{1}{x}}$ (Error compiling LaTeX. ! Undefined control sequence.). The limit is not normally defined, because the function oscillates infinitely many times around 0, but it can be evaluated with the Squeeze Theorem as following. Create two functions, $x^2$ and $-x^2$. It is easy to see that around 0, the function in question is squeezed between these two functions, and the limit as both of these approach 0 is 0, so $\lim_{x\to\0} x^2e^{\sin\frac{1}{x}}$ (Error compiling LaTeX. ! Undefined control sequence.) is 0.


See Also

Invalid username
Login to AoPS