Squeeze Theorem

Definition and Statement

Formal Statement

The Squeeze Theorem, also known as the Sandwich Theorem, states: If functions f(x), g(x), and h(x) satisfy f(x) ≤ g(x) ≤ h(x) for all x in an open interval around a (except possibly at a), and if

limx→a f(x) = limx→a h(x) = L

then

limx→a g(x) = L

Scope and Conditions

Functions must be bounded by f and h near a. Limits of bounding functions must exist and be equal. The point a can be finite or infinite. Inequalities must hold in some deleted neighborhood of a.

Alternate Formulations

Applies for one-sided limits, limits at infinity. Equivalent to the squeeze or sandwich concept: a function trapped between two convergent functions converges to the same limit.

Intuition and Conceptual Understanding

Geometric Interpretation

Imagine three curves: f(x), g(x), h(x). Curve g is trapped between the other two. As x approaches a, if the top and bottom curves converge to L, the middle one must squeeze into the same value.

Analogy

Like a marble trapped in a narrowing corridor: as walls close in at the same point, the marble's position is forced to that point.

Necessity of Inequalities

Without bounding inequalities, g(x) could oscillate or diverge. The theorem leverages inequalities to control behavior.

Formal Proof

Using Epsilon-Delta Definition

Given limx→a f(x) = L and limx→a h(x) = L, for every ε > 0, there exist δ₁, δ₂ such that

|f(x) - L| < ε when 0 < |x - a| < δ1

|h(x) - L| < ε when 0 < |x - a| < δ2

Set δ = min(δ₁, δ₂). Since f(x) ≤ g(x) ≤ h(x),

L - ε < f(x) ≤ g(x) ≤ h(x) < L + ε

Therefore,

|g(x) - L| < ε

which by definition shows limx→a g(x) = L.

Proof Variants

Proof extends to one-sided and infinite limits. Uses similar epsilon-delta arguments or sequential criteria.

Role of Inequalities

Key step: inequality chain transmits bounds to g(x). Without them, the limit of g is not guaranteed.

Applications in Calculus

Limit Evaluation of Oscillatory Functions

Examples: g(x) = x^2 sin(1/x) near zero. Oscillation controlled by bounding -x^2 ≤ x^2 sin(1/x) ≤ x^2, both limits zero.

Proving Limits Where Direct Substitution Fails

Functions with indeterminate forms or discontinuities can be handled by squeezing.

Establishing Continuity and Differentiability

Used in proofs of continuity for piecewise definitions. Also in derivative limit definitions.

Classic Examples

Example 1: Limit of x^2 sin(1/x) as x → 0

Bound function:

-x^2 ≤ x^2 sin(1/x) ≤ x^2

Limits of bounding functions:

limx→0 -x^2 = 0 = limx→0 x^2

Therefore,

limx→0 x^2 sin(1/x) = 0

Example 2: Limit of x sin(1/x) as x → 0

Bound:

-|x| ≤ x sin(1/x) ≤ |x|

Limits of bounding functions:

limx→0 -|x| = 0 = limx→0 |x|

Therefore,

limx→0 x sin(1/x) = 0

Example 3: Limit of (1 - cos x)/x^2 as x → 0

Use inequalities:

0 ≤ (1 - cos x)/x^2 ≤ 1/2

Since both limits approach 1/2 using series expansions, squeezing confirms the limit.

Role of Continuous Functions

Continuity of Bounding Functions

Continuity of f and h at a ensures limit existence and equality. Discontinuities can invalidate squeezing.

Intermediate Value Property

The theorem complements continuity: a squeezed function trapped by continuous functions inherits limit properties.

Extension to Discontinuous Cases

Possible if limits of bounding functions exist despite discontinuities; continuity not strictly mandatory but practical.

Common Mistakes and Misconceptions

Assuming Inequalities Hold at the Limit Point

Inequalities must hold in a neighborhood around a, not necessarily at a itself.

Ignoring Limit Equality of Bounding Functions

If f(x) and h(x) limits differ, squeezing does not apply.

Misapplication to Non-Bounded Functions

Functions not bounded above and below near a cannot be squeezed.

Extensions and Related Theorems

Generalization to Sequences

The squeeze theorem applies to sequences: if aₙ ≤ bₙ ≤ cₙ and lim aₙ = lim cₙ = L, then lim bₙ = L.

Relation to Comparison Theorem

Comparison theorem for limits extends bounding ideas; squeeze theorem is a special case.

Multivariable Squeeze Theorem

Extends to functions of several variables; bounding functions must squeeze in neighborhoods in ℝⁿ.

Problem Solving Strategies

Identify Bounding Functions

Find simpler functions that bound the target function from above and below.

Verify Limit Equality of Bounds

Confirm bounding functions converge to the same limit at the point of interest.

Use Inequalities Rigorously

Ensure inequalities hold on an open interval excluding the point a.

Computational Aspects

Algorithmic Implementation

Symbolic computation can identify bounding functions, verify inequalities, and compute limits automatically.

Numerical Approximation

Numerical methods use bounding to estimate limits with error bounds.

Software Tools

CAS systems (Mathematica, Maple) embed squeeze theorem logic in limit solvers for oscillatory or indeterminate expressions.

Historical Context and Development

Origins

The squeeze theorem emerged from 19th century rigorous calculus development. First formalized by Augustin-Louis Cauchy in limit analysis.

Evolution

Refined through epsilon-delta formalism by Karl Weierstrass and others. Common in introductory calculus since early 20th century.

Significance

Essential for rigor in limits, continuity, and analysis. Foundation for advanced mathematical concepts involving limits and convergence.

References

• Apostol, T. M., Calculus, Volume 1: One-Variable Calculus, with an Introduction to Linear Algebra, Wiley, 1967, pp. 102-104.
• Stewart, J., Calculus: Early Transcendentals, 8th ed., Cengage Learning, 2015, pp. 128-130.
• Rudin, W., Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976, pp. 56-58.
• Spivak, M., Calculus, 4th ed., Publish or Perish, 2008, pp. 89-91.
• Thomas, G. B., Weir, M. D., Hass, J., Thomas' Calculus, 14th ed., Pearson, 2017, pp. 142-144.