β—€ Back to Note

Tony's Intertwingled Memex β€’ Reference Manual

Indeterminate Forms

Formulas & Definitions
Core Definition

An indeterminate form is an algebraic expression obtained during limit evaluation via direct substitution that does not provide sufficient information to determine the value of the limit. The expression masks the true behavior of the system, requiring algebraic restructuring, trigonometric transformation, or L'Hôpital's Rule to reveal whether the limit converges to a finite real number, diverges to ±∞\pm\infty±∞, or fails to exist.

Calculus identifies exactly seven primary indeterminate forms:

00,±∞±∞,0β‹…(±∞),βˆžβˆ’βˆž,1∞,00,∞0\frac{0}{0}, \quad \frac{\pm\infty}{\pm\infty}, \quad 0 \cdot (\pm\infty), \quad \infty - \infty, \quad 1^\infty, \quad 0^0, \quad \infty^000​,Β±βˆžΒ±βˆžβ€‹,0β‹…(±∞),βˆžβˆ’βˆž,1∞,00,∞0


Concept Explanation

1. Classification & Action Taxonomy

The seven indeterminate forms are partitioned into three operational categories based on the required algebraic intervention:

Category Forms Direct Action Required
Direct Quotients ("Green Light") 00,±∞±∞\frac{0}{0}, \quad \frac{\pm\infty}{\pm\infty}00​,Β±βˆžΒ±βˆžβ€‹ Apply L'HΓ΄pital's Rule immediately: lim⁑f(x)g(x)=lim⁑fβ€²(x)gβ€²(x)\lim \frac{f(x)}{g(x)} = \lim \frac{f'(x)}{g'(x)}limg(x)f(x)​=limgβ€²(x)fβ€²(x)​.
Algebraic Products & Differences 0β‹…(±∞),βˆžβˆ’βˆž0 \cdot (\pm\infty), \quad \infty - \infty0β‹…(±∞),βˆžβˆ’βˆž Rewrite algebraically into a single fraction:
β€’ Products: Push one factor to denominator: fβ‹…g=f1/gf \cdot g = \frac{f}{1/g}fβ‹…g=1/gf​ or g1/f\frac{g}{1/f}1/fg​.
β€’ Differences: Find a common denominator, factor, or rationalize by conjugate.
Indeterminate Powers (Exponential) 1∞,00,∞01^\infty, \quad 0^0, \quad \infty^01∞,00,∞0 Execute Logarithmic Transformation: Set y=[f(x)]g(x)y = [f(x)]^{g(x)}y=[f(x)]g(x), compute ln⁑y=g(x)ln⁑(f(x))\ln y = g(x)\ln(f(x))lny=g(x)ln(f(x)), evaluate lim⁑ln⁑y=L\lim \ln y = Llimlny=L, then exponentiate: lim⁑y=eL\lim y = e^Llimy=eL (see Indeterminate Powers and Logarithmic Transformation).

2. Common Determinate Traps (Forms That Are NOT Indeterminate)

Students frequently confuse indeterminate forms with determinate algebraic expressions that have fixed, well-defined limits. Never apply L'HΓ΄pital's Rule to these determinate forms:

  • 0βˆžβ†’0\frac{0}{\infty} \to 0∞0​→0: A vanishing numerator divided by an infinitely large denominator approaches zero immediately.
  • ∞0+β†’+∞\frac{\infty}{0^+} \to +\infty0+βˆžβ€‹β†’+∞: An infinitely large numerator divided by a vanishingly small positive denominator explodes to positive infinity.
  • ∞+βˆžβ†’+∞\infty + \infty \to +\infty∞+βˆžβ†’+∞: Two unbounded quantities growing without bound reinforce each other.
  • 0βˆžβ†’00^\infty \to 00βˆžβ†’0: A base strictly smaller than 1 raised to an infinite power vanishes to zero.
  • c0β†’Β±βˆž\frac{c}{0} \to \pm\infty0cβ€‹β†’Β±βˆž (for cβ‰ 0c \neq 0cξ€ =0): Indicates a vertical asymptote, evaluated using one-sided sign analysis rather than L'HΓ΄pital's Rule.

3. Converting Indeterminate Products: 0β‹…βˆžβ€…β€ŠβŸΉβ€…β€Š000 \cdot \infty \implies \frac{0}{0}0β‹…βˆžβŸΉ00​ or ∞∞\frac{\infty}{\infty}βˆžβˆžβ€‹

When analyzing lim⁑xβ†’a[f(x)β‹…g(x)]\lim_{x \to a} [f(x) \cdot g(x)]limxβ†’a​[f(x)β‹…g(x)] where f(x)β†’0f(x) \to 0f(x)β†’0 and g(x)β†’βˆžg(x) \to \inftyg(x)β†’βˆž, convert the multiplication into division using the algebraic identity:

f(x)β‹…g(x)=f(x)1g(x)(yieldsΒ 00)orf(x)β‹…g(x)=g(x)1f(x)(yields ∞∞)f(x) \cdot g(x) = \frac{f(x)}{\frac{1}{g(x)}} \quad \left(\text{yields } \frac{0}{0}\right) \qquad \text{or} \qquad f(x) \cdot g(x) = \frac{g(x)}{\frac{1}{f(x)}} \quad \left(\text{yields } \frac{\infty}{\infty}\right)f(x)β‹…g(x)=g(x)1​f(x)​(yieldsΒ 00​)orf(x)β‹…g(x)=f(x)1​g(x)​(yieldsΒ βˆžβˆžβ€‹)

Strategic Selection Principle:

  • If one factor contains ln⁑(x)\ln(x)ln(x) or an inverse trigonometric function (arctan⁑x\arctan xarctanx), keep it in the numerator and push algebraic/polynomial terms to the denominator (e.g., push xβ†’1x=xβˆ’1x \to \frac{1}{x} = x^{-1}xβ†’x1​=xβˆ’1). Differentiating ln⁑(x)\ln(x)ln(x) yields 1x\frac{1}{x}x1​, whereas pushing ln⁑(x)\ln(x)ln(x) into the denominator creates 1ln⁑x\frac{1}{\ln x}lnx1​, whose derivative βˆ’1x(ln⁑x)2-\frac{1}{x(\ln x)^2}βˆ’x(lnx)21​ complicates the fraction further.

4. Converting Indeterminate Differences: βˆžβˆ’βˆžβ€…β€ŠβŸΉβ€…β€Š00\infty - \infty \implies \frac{0}{0}βˆžβˆ’βˆžβŸΉ00​

When evaluating lim⁑xβ†’a[f(x)βˆ’g(x)]\lim_{x \to a} [f(x) - g(x)]limxβ†’a​[f(x)βˆ’g(x)] where both f(x)β†’βˆžf(x) \to \inftyf(x)β†’βˆž and g(x)β†’βˆžg(x) \to \inftyg(x)β†’βˆž:

  1. Fractions: Combine over a common denominator: ABβˆ’CD=ADβˆ’BCBD\frac{A}{B} - \frac{C}{D} = \frac{AD - BC}{BD}BAβ€‹βˆ’DC​=BDADβˆ’BC​.
  2. Radicals: Multiply and divide by the algebraic conjugate: Aβˆ’B=Aβˆ’BA+B\sqrt{A} - \sqrt{B} = \frac{A - B}{\sqrt{A} + \sqrt{B}}Aβ€‹βˆ’B​=A​+B​Aβˆ’B​.
  3. Factorization: Factor out the dominant asymptotic term: xβˆ’ln⁑x=x(1βˆ’ln⁑xx)x - \ln x = x\left(1 - \frac{\ln x}{x}\right)xβˆ’lnx=x(1βˆ’xlnx​).

Engineering Applications

  • Environmental & Hydrological Engineering: Subsurface solute flux models near recharge wells involve terms like rln⁑(r)r \ln(r)rln(r) as radial distance rβ†’0+r \to 0^+rβ†’0+. This is a 0β‹…(βˆ’βˆž)0 \cdot (-\infty)0β‹…(βˆ’βˆž) indeterminate product. Resolving the limit via inversion proves boundary flux approaches 0, verifying well integrity (see Contaminant Dispersion Wellhead Flux (Environmental & Civil Engineering)).
  • Control Systems & Filter Design: Operational amplifier circuits with open-loop and closed-loop feedback often balance competing gains whose difference takes the form βˆžβˆ’βˆž\infty - \inftyβˆžβˆ’βˆž at resonant frequencies. L'HΓ΄pital's Rule determines whether the differential gain remains bounded or triggers amplifier clipping.

Example Problems

Example 1: Indeterminate Product (0β‹…βˆž0 \cdot \infty0β‹…βˆž)

Evaluate lim⁑xβ†’0+xln⁑(x)\lim_{x \to 0^+} x \ln(x)limxβ†’0+​xln(x).

Solution

Step 1: Check form via direct substitution As xβ†’0+x \to 0^+xβ†’0+: xβ†’0x \to 0xβ†’0, and ln⁑(x)β†’βˆ’βˆž\ln(x) \to -\inftyln(x)β†’βˆ’βˆž. Form: 0β‹…(βˆ’βˆž)0 \cdot (-\infty)0β‹…(βˆ’βˆž) (Indeterminate Product).

Step 2: Rewrite as a quotient Keep ln⁑(x)\ln(x)ln(x) in the numerator and move xxx to the denominator as xβˆ’1x^{-1}xβˆ’1:

lim⁑xβ†’0+xln⁑(x)=lim⁑xβ†’0+ln⁑(x)xβˆ’1\lim_{x \to 0^+} x \ln(x) = \lim_{x \to 0^+} \frac{\ln(x)}{x^{-1}}xβ†’0+lim​xln(x)=xβ†’0+lim​xβˆ’1ln(x)​
Direct substitution now yields βˆ’βˆžβˆž\frac{-\infty}{\infty}βˆžβˆ’βˆžβ€‹, giving a green light for L'HΓ΄pital's Rule.

Step 3: Apply L'HΓ΄pital's Rule

lim⁑xβ†’0+ln⁑(x)xβˆ’1=L’Hlim⁑xβ†’0+1xβˆ’xβˆ’2\lim_{x \to 0^+} \frac{\ln(x)}{x^{-1}} \overset{\text{L'H}}{=} \lim_{x \to 0^+} \frac{\frac{1}{x}}{-x^{-2}}xβ†’0+lim​xβˆ’1ln(x)​=L’Hxβ†’0+limβ€‹βˆ’xβˆ’2x1​​

Step 4: Simplify algebraically before taking the limit

1xβˆ’1x2=1xβ‹…(βˆ’x2)=βˆ’x\frac{\frac{1}{x}}{-\frac{1}{x^2}} = \frac{1}{x} \cdot \left(-x^2\right) = -xβˆ’x21​x1​​=x1​⋅(βˆ’x2)=βˆ’x

Step 5: Evaluate

lim⁑xβ†’0+(βˆ’x)=0\lim_{x \to 0^+} (-x) = 0xβ†’0+lim​(βˆ’x)=0

Example 2: Indeterminate Difference (βˆžβˆ’βˆž\infty - \inftyβˆžβˆ’βˆž)

Evaluate lim⁑xβ†’0(1xβˆ’1sin⁑x)\lim_{x \to 0} \left(\frac{1}{x} - \frac{1}{\sin x}\right)limxβ†’0​(x1β€‹βˆ’sinx1​).

Solution

Step 1: Check form As xβ†’0x \to 0xβ†’0, both 1xβ†’Β±βˆž\frac{1}{x} \to \pm\inftyx1β€‹β†’Β±βˆž and 1sin⁑xβ†’Β±βˆž\frac{1}{\sin x} \to \pm\inftysinx1β€‹β†’Β±βˆž. Form: βˆžβˆ’βˆž\infty - \inftyβˆžβˆ’βˆž (Indeterminate Difference).

Step 2: Combine over a common denominator

1xβˆ’1sin⁑x=sin⁑xβˆ’xxsin⁑x\frac{1}{x} - \frac{1}{\sin x} = \frac{\sin x - x}{x \sin x}x1β€‹βˆ’sinx1​=xsinxsinxβˆ’x​
Checking the form of the fraction at x=0x = 0x=0: Numerator: sin⁑(0)βˆ’0=0\sin(0) - 0 = 0sin(0)βˆ’0=0 Denominator: 0β‹…sin⁑(0)=00 \cdot \sin(0) = 00β‹…sin(0)=0 Form: 00\frac{0}{0}00​. L'HΓ΄pital's Rule applies.

Step 3: First application of L'HΓ΄pital's Rule Differentiate numerator and denominator (using Product Rule in denominator):

lim⁑xβ†’0sin⁑xβˆ’xxsin⁑x=L’Hlim⁑xβ†’0cos⁑xβˆ’1(1)sin⁑x+xcos⁑x=lim⁑xβ†’0cos⁑xβˆ’1sin⁑x+xcos⁑x\lim_{x \to 0} \frac{\sin x - x}{x \sin x} \overset{\text{L'H}}{=} \lim_{x \to 0} \frac{\cos x - 1}{(1)\sin x + x\cos x} = \lim_{x \to 0} \frac{\cos x - 1}{\sin x + x\cos x}xβ†’0lim​xsinxsinxβˆ’x​=L’Hxβ†’0lim​(1)sinx+xcosxcosxβˆ’1​=xβ†’0lim​sinx+xcosxcosxβˆ’1​
At x=0x = 0x=0, this still yields 1βˆ’10+0=00\frac{1 - 1}{0 + 0} = \frac{0}{0}0+01βˆ’1​=00​. Apply L'HΓ΄pital a second time.

Step 4: Second application of L'HΓ΄pital's Rule

lim⁑xβ†’0βˆ’sin⁑xcos⁑x+(1β‹…cos⁑xβˆ’xsin⁑x)=lim⁑xβ†’0βˆ’sin⁑x2cos⁑xβˆ’xsin⁑x\lim_{x \to 0} \frac{-\sin x}{\cos x + (1\cdot\cos x - x\sin x)} = \lim_{x \to 0} \frac{-\sin x}{2\cos x - x\sin x}xβ†’0lim​cosx+(1β‹…cosxβˆ’xsinx)βˆ’sinx​=xβ†’0lim​2cosxβˆ’xsinxβˆ’sinx​

Step 5: Evaluate by direct substitution

βˆ’sin⁑(0)2cos⁑(0)βˆ’0β‹…sin⁑(0)=02(1)βˆ’0=02=0\frac{-\sin(0)}{2\cos(0) - 0\cdot\sin(0)} = \frac{0}{2(1) - 0} = \frac{0}{2} = 02cos(0)βˆ’0β‹…sin(0)βˆ’sin(0)​=2(1)βˆ’00​=20​=0


Connections & References

  • Parent Concepts:
    • Limits at Infinity
    • Strategies for One-Sided Limits
  • Operational Methods:
    • L'HΓ΄pital's Rule
    • Indeterminate Powers and Logarithmic Transformation
  • Course Sessions:
    • Session 12 - L’Hopital’s Rule and Indeterminate Forms