β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

Limits of Composite Functions

Formulas & Definitions
Core Definition

For a composite function f(g(x))f(g(x))f(g(x)), if lim⁑xβ†’cg(x)=L\lim_{x \to c} g(x) = Llimxβ†’c​g(x)=L and the outer function f(u)f(u)f(u) is continuous at u=Lu = 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)xβ†’clim​f(g(x))=f(xβ†’clim​g(x))=f(L)
When g(x)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)u=g(x) and computing lim⁑uβ†’boundaryf(u)\lim_{u \to \text{boundary}} f(u)limuβ†’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}InputΒ xxβ†’c​[InnerΒ FunctionΒ g(x)]uβ†’L​[OuterΒ FunctionΒ f(u)]⟢FinalΒ Output

  1. Stage 1 (Inner Limit): Evaluate the behavior of u=g(x)u = g(x)u=g(x) as xβ†’cx \to cxβ†’c (or xβ†’cΒ±x \to c^\pmxβ†’cΒ±). Note whether uuu approaches a finite value LLL, shoots to +∞+\infty+∞ or βˆ’βˆž-\inftyβˆ’βˆž, or approaches LLL strictly from the left (Lβˆ’L^-Lβˆ’) or right (L+L^+L+).
  2. Stage 2 (Outer Limit): Substitute the intermediate trend uuu into the outer function f(u)f(u)f(u) and evaluate lim⁑uβ†’targetf(u)\lim_{u \to \text{target}} f(u)limuβ†’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) = -\inftylimxβ†’0+​ln(x)=βˆ’βˆž and lim⁑xβ†’βˆžln⁑(x)=∞\lim_{x \to \infty} \ln(x) = \inftylimxβ†’βˆžβ€‹ln(x)=∞.
  • Exponential Functions: lim⁑uβ†’βˆ’βˆžeu=0\lim_{u \to -\infty} e^u = 0limuβ†’βˆ’βˆžβ€‹eu=0 and lim⁑uβ†’βˆžeu=∞\lim_{u \to \infty} e^u = \inftylimuβ†’βˆžβ€‹eu=∞.
  • Inverse Tangent: lim⁑uβ†’βˆ’βˆžtanβ‘βˆ’1(u)=βˆ’Ο€2\lim_{u \to -\infty} \tan^{-1}(u) = -\frac{\pi}{2}limuβ†’βˆ’βˆžβ€‹tanβˆ’1(u)=βˆ’2π​ and lim⁑uβ†’βˆžtanβ‘βˆ’1(u)=Ο€2\lim_{u \to \infty} \tan^{-1}(u) = \frac{\pi}{2}limuβ†’βˆžβ€‹tanβˆ’1(u)=2π​.
  • Reciprocal Poles: As xβ†’0βˆ’x \to 0^-xβ†’0βˆ’, 1xβ†’βˆ’βˆž\frac{1}{x} \to -\inftyx1β€‹β†’βˆ’βˆž; as xβ†’0+x \to 0^+xβ†’0+, 1xβ†’+∞\frac{1}{x} \to +\inftyx1​→+∞.

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))Vout​(v)=Atanβˆ’1(ln(1+ev)). Evaluating composite limits as input surge vβ†’βˆžv \to \inftyvβ†’βˆž 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}}I(t)=1+eβˆ’1/t2I0​​. Evaluating the limit as valve activation time tβ†’0+t \to 0^+tβ†’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)xβ†’0+lim​tanβˆ’1(lnx)

Solution

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

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

Step 2: Evaluate the outer function as uβ†’βˆ’βˆžu \to -\inftyuβ†’βˆ’βˆž: 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}uβ†’βˆ’βˆžlim​tanβˆ’1(u)=βˆ’2π​

Conclusion:

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

Example 2: Composite Limit with Directional Exponential Exponent

Evaluate the limit:

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

Solution

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

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

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

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

Conclusion:

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


Connections & References

  • Parent Concepts: Limits, Continuity
  • Related Analytic Rules: Horizontal Asymptotes, Growth Dominance in Limits, Special Trigonometric Limits
  • Course Links: Calc-1 Session 03 | Calc-1 Session 05