🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Courses / Calculus I / Session 05

Special Limits and Continuity

Session Objectives & Overview

By the end of this session, you will be able to:

  • Evaluate limits of composite functions by analyzing sequential "inside-out" boundary and asymptotic trajectories.
  • Compute trigonometric limits using fundamental limit identities and establish bounding inequality envelopes via the Squeeze Theorem.
  • Formally verify continuity at a point using the three-part continuity rubric, classify discontinuities (removable, jump, infinite), and determine parameters for continuous piecewise extensions.

📅 Micro-Lecture

1. Composite Function Limits & Inside-Out Trajectories

  • Mathematical Foundation: When evaluating a composite function limit lim⁡x→cf(g(x))\lim_{x \to c} f(g(x)), if lim⁡x→cg(x)=L\lim_{x \to c} g(x) = L and the outer function f(u)f(u) is continuous at u=Lu = L, the limit operator passes inside: lim⁡x→cf(g(x))=f(L)\lim_{x \to c} f(g(x)) = f(L) (see Limits of Composite Functions). When g(x)g(x) approaches an infinite asymptote (±∞\pm\infty) or a one-sided boundary, the limit must be tracked sequentially as an intermediate state u→±∞u \to \pm\infty or u→L±u \to L^\pm.
  • Engineering Context: Cascaded system filters, such as audio pre-amplifier limiter circuits and biomedical insulin infusion pumps, route dynamic signals through multiple nonlinear stages where tracking intermediate asymptotic saturation limits is essential to prevent hardware blowout or medical overdose.

2. Special Trigonometric Limits & Squeeze Theorem

  • Mathematical Foundation: Ratios of trigonometric functions near zero frequently produce 00\frac{0}{0} indeterminate forms. We resolve these using the fundamental geometric identities lim⁡θ→0sin⁡(θ)θ=1\lim_{\theta \to 0} \frac{\sin(\theta)}{\theta} = 1 and lim⁡θ→01−cos⁡(θ)θ=0\lim_{\theta \to 0} \frac{1-\cos(\theta)}{\theta} = 0 (see Special Trigonometric Limits). When functions oscillate with unbounded frequency, the Squeeze Theorem bounds the oscillation between two solvable algebraic curves using inequality envelopes (−g(x)≤f(x)≤g(x)-g(x) \le f(x) \le g(x)).
  • Engineering Context: Laser scanning telemetry apertures in stage tracking systems rely on small-angle trigonometric limits to extract peak beam intensity, while structural civil engineers use squeeze damping envelopes to prove high-rise mass dampers stabilize smoothly without violent impulse shock.

3. Formal Continuity Verification & Discontinuity Taxonomy

  • Mathematical Foundation: A function f(x)f(x) is continuous at x=cx = c if and only if (1) f(c)f(c) is defined, (2) lim⁡x→cf(x)\lim_{x \to c} f(x) exists, and (3) lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c) (see Continuity). Failing any condition produces a classified discontinuity: a removable discontinuity (hole), a jump discontinuity (step), or an infinite discontinuity (vertical asymptote).
  • Engineering Context: Microcontroller smart grid power switches and aerospace cryogenic fuel line insulation undergo physical state transitions that are modeled as piecewise boundary functions. Enforcing continuity prevents catastrophic system faults like power surges or brittle pipe fracturing.