🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Limits of Composite Functions

Limits of Composite Functions

πŸ–¨οΈ Printable Reference / PDF
Core Definition

For a composite function f(g(x))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 can be moved inside the outer function:

lim⁑xβ†’cf(g(x))=f(lim⁑xβ†’cg(x))=f(L)\lim_{x \to c} f(g(x)) = f\left(\lim_{x \to c} g(x)\right) = f(L)
When g(x)g(x) approaches an infinite boundary (±∞\pm\infty) or a point of discontinuity, the limit is evaluated inside-out by tracking the directional trajectory of the intermediate output u=g(x)u = g(x) and computing lim⁑uβ†’boundaryf(u)\lim_{u \to \text{boundary}} f(u).

Concept Explanation

The Inside-Out Multi-Stage Pipeline

Evaluating composite limits requires decomposing the expression into sequential input-output stages:

InputΒ xβ†’xβ†’c[InnerΒ FunctionΒ g(x)]β†’uβ†’L[OuterΒ FunctionΒ f(u)]⟢FinalΒ Output\text{Input } x \xrightarrow{x \to c} \left[\text{Inner Function } g(x)\right] \xrightarrow{u \to L} \left[\text{Outer Function } f(u)\right] \longrightarrow \text{Final Output}

  1. Stage 1 (Inner Limit): Evaluate the behavior of u=g(x)u = g(x) as xβ†’cx \to c (or xβ†’cΒ±x \to c^\pm). Note whether uu approaches a finite value LL, shoots to +∞+\infty or βˆ’βˆž-\infty, or approaches LL strictly from the left (Lβˆ’L^-) or right (L+L^+).
  2. Stage 2 (Outer Limit): Substitute the intermediate trend uu into the outer function f(u)f(u) and evaluate lim⁑uβ†’targetf(u)\lim_{u \to \text{target}} f(u) using the outer function's continuity, horizontal asymptotes, or boundary behaviors.

Common Boundary Asymptote Behaviors in Composite Limits

  • Natural Logarithm: lim⁑xβ†’0+ln⁑(x)=βˆ’βˆž\lim_{x \to 0^+} \ln(x) = -\infty and lim⁑xβ†’βˆžln⁑(x)=∞\lim_{x \to \infty} \ln(x) = \infty.
  • Exponential Functions: lim⁑uβ†’βˆ’βˆžeu=0\lim_{u \to -\infty} e^u = 0 and lim⁑uβ†’βˆžeu=∞\lim_{u \to \infty} e^u = \infty.
  • Inverse Tangent: lim⁑uβ†’βˆ’βˆžtanβ‘βˆ’1(u)=βˆ’Ο€2\lim_{u \to -\infty} \tan^{-1}(u) = -\frac{\pi}{2} and lim⁑uβ†’βˆžtanβ‘βˆ’1(u)=Ο€2\lim_{u \to \infty} \tan^{-1}(u) = \frac{\pi}{2}.
  • Reciprocal Poles: As xβ†’0βˆ’x \to 0^-, 1xβ†’βˆ’βˆž\frac{1}{x} \to -\infty; as xβ†’0+x \to 0^+, 1xβ†’+∞\frac{1}{x} \to +\infty.

Engineering Applications

  • Signal Saturation & Clamping (Electrical & Audio Engineering): Preamplifiers feed high-gain input signals into nonlinear saturation filters modeled as Vout(v)=Atanβ‘βˆ’1(ln⁑(1+ev))V_{\text{out}}(v) = A \tan^{-1}(\ln(1 + e^v)). Evaluating composite limits as input surge vβ†’βˆžv \to \infty proves whether output signals clamp safely below hardware blowout thresholds.
  • Biomedical Infusion Controls (Biomedical Engineering): Automated insulin delivery systems calculate hormone decay nested in saturation curves I(t)=I01+eβˆ’1/t2I(t) = \frac{I_0}{1 + e^{-1/t^2}}. Evaluating the limit as valve activation time tβ†’0+t \to 0^+ verifies safe initial dosage baselines without numerical overflow.

Example Problems

Example 1: Composite Limit Involving Logarithm and Arctangent

Evaluate the limit:

lim⁑xβ†’0+tanβ‘βˆ’1(ln⁑x)\lim_{x \to 0^+} \tan^{-1}(\ln x)

Solution

Step 1: Evaluate the inner function limit: Let u=ln⁑xu = \ln x. As xβ†’0+x \to 0^+, the natural log drops toward negative infinity:

lim⁑xβ†’0+ln⁑x=βˆ’βˆž\lim_{x \to 0^+} \ln x = -\infty

Step 2: Evaluate the outer function as uβ†’βˆ’βˆžu \to -\infty: Recall the horizontal asymptote of the arctangent curve as its argument approaches negative infinity:

lim⁑uβ†’βˆ’βˆžtanβ‘βˆ’1(u)=βˆ’Ο€2\lim_{u \to -\infty} \tan^{-1}(u) = -\frac{\pi}{2}

Conclusion:

lim⁑xβ†’0+tanβ‘βˆ’1(ln⁑x)=βˆ’Ο€2\lim_{x \to 0^+} \tan^{-1}(\ln x) = -\frac{\pi}{2}

Example 2: Composite Limit with Directional Exponential Exponent

Evaluate the limit:

lim⁑xβ†’0βˆ’e1/x\lim_{x \to 0^-} e^{1/x}

Solution

Step 1: Evaluate the inner fraction: Let t=1xt = \frac{1}{x}. Approaching zero from the negative side (xβ†’0βˆ’x \to 0^-) gives:

lim⁑xβ†’0βˆ’1x=βˆ’βˆž\lim_{x \to 0^-} \frac{1}{x} = -\infty

Step 2: Evaluate the outer exponential function: As the power tβ†’βˆ’βˆžt \to -\infty:

lim⁑tβ†’βˆ’βˆžet=0\lim_{t \to -\infty} e^t = 0

Conclusion:

lim⁑xβ†’0βˆ’e1/x=0\lim_{x \to 0^-} e^{1/x} = 0

Connections & References