L'Hôpital's Rule

Core Definition

L'Hôpital's Rule states that if functions $f(x)$ and $g(x)$ are differentiable on an open interval containing $a$ (except possibly at $a$ itself), $g'(x) \neq 0$ near $a$ , and direct evaluation of the limit yields an indeterminate quotient form:

\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{0}{0} \quad \text{or} \quad \lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\pm\infty}{\pm\infty}

then the limit of the quotient of the functions is equal to the limit of the quotient of their derivatives, provided that limit exists or is

\pm\infty

\lim_{x \to a} \frac{f(x)}{g(x)} = \lim_{x \to a} \frac{f'(x)}{g'(x)}

(The rule applies equally to one-sided limits $x \to a^+$ , $x \to a^-$ and limits at infinity $x \to \pm\infty$ .)

Concept Explanation

1. Geometric Intuition via Linear Approximations

When evaluating a limit $\lim_{x \to a} \frac{f(x)}{g(x)}$ where both $f(a) = 0$ and $g(a) = 0$ , both curves pass through zero at $x = a$ . For values of $x$ very close to $a$ , differentiable functions are well-approximated by their tangent lines (linearizations):

f(x) \approx f(a) + f'(a)(x - a) = 0 + f'(a)(x - a)

g(x) \approx g(a) + g'(a)(x - a) = 0 + g'(a)(x - a)

Taking their ratio near $x = a$ :

\frac{f(x)}{g(x)} \approx \frac{f'(a)(x - a)}{g'(a)(x - a)} = \frac{f'(a)}{g'(a)}

Thus, the limiting ratio of two quantities that both vanish simultaneously is simply the ratio of their instantaneous local rates of change.

       y ^              Tangent line to f(x): slope = f'(a)
         |             / 
         |            /   Curve f(x)
         |           /   /
         |          /  /
         |         / /
       0 +--------•------------------> x
         |       /a \ 
         |      /    \  Curve g(x)
         |     /      \
         |    /        \ Tangent line to g(x): slope = g'(a)

2. The Strict "STOP & CHECK" Protocol

L'Hôpital's Rule is an exceptional diagnostic tool, not a general differentiation method for quotients. Applying the rule when direct substitution yields a determinate number leads to catastrophically incorrect results:

\lim_{x \to 0} \frac{x + 2}{x + 1} = \frac{0 + 2}{0 + 1} = 2 \quad \text{(Correct determinate value)}

\text{Erroneous L'Hôpital Application: } \lim_{x \to 0} \frac{\frac{d}{dx}[x+2]}{\frac{d}{dx}[x+1]} = \lim_{x \to 0} \frac{1}{1} = 1 \quad \text{(COMPLETELY WRONG)}

Always verify that direct substitution explicitly yields $\frac{0}{0}$ or $\frac{\pm\infty}{\pm\infty}$ before differentiating.

3. L'Hôpital's Rule vs. The Quotient Rule

A pervasive student misconception is confusing L'Hôpital's Rule with the Quotient Rule:

Differentiating a Quotient Function: $\frac{d}{dx}\left[\frac{f(x)}{g(x)}\right] = \frac{f'(x)g(x) - f(x)g'(x)}{[g(x)]^2}$
Evaluating an Indeterminate Limit: $\lim_{x \to a} \frac{f(x)}{g(x)} \overset{\text{L'H}}{=} \lim_{x \to a} \frac{f'(x)}{g'(x)}$

In L'Hôpital's Rule, you never use the Quotient Rule. Differentiate the numerator and denominator independently as separate, standalone functions.

4. Repeated Applications

If the first application of L'Hôpital's Rule results in another indeterminate form ( $\frac{0}{0}$ or $\frac{\pm\infty}{\pm\infty}$ ), the rule can be applied again:

\lim_{x \to a} \frac{f(x)}{g(x)} \overset{\text{L'H}}{=} \lim_{x \to a} \frac{f'(x)}{g'(x)} \overset{\text{L'H}}{=} \lim_{x \to a} \frac{f''(x)}{g''(x)}

Before each subsequent step, pause and simplify algebraically, then re-check the indeterminate form.

Engineering Applications

Electrical & Computer Engineering (Digital Signal Filtering): The sinc function $\text{sinc}(t) = \frac{\sin(\pi f_c t)}{\pi f_c t}$ models ideal brick-wall bandpass filtering. At $t = 0$ , both numerator and denominator vanish ( $\frac{0}{0}$ ). Applying L'Hôpital's Rule proves the peak carrier pulse gain is $\lim_{t \to 0}\text{sinc}(t) = 1$ , enabling DSP firmware to avoid runtime division-by-zero exceptions (see Digital Signal Sinc Pulse Filtering (Electrical & Computer Engineering)).
Aerospace & Mechanical Engineering (Compressible Gas Dynamics): In supersonic convergent-divergent nozzles, governing equations for isentropic Mach expansion yield indeterminate ratios of form $\frac{0}{0}$ at the nozzle throat ( $M \to 1$ ). L'Hôpital's Rule resolves the sonic throat temperature and pressure gradients.
Structural Engineering (Notch Stress Concentrations): Stress equations at sharp structural corners often contain ratios of local notch radii to plate widths that collapse to indeterminate forms under asymptotic boundary analysis.

Example Problems

Example 1: Basic Indeterminate Quotient ( $\frac{0}{0}$ )

Evaluate $\lim_{x \to 0} \frac{e^{3x} - 1 - 3x}{x^2}$ .

Solution

Step 1: Check the form via direct substitution Numerator: $e^0 - 1 - 0 = 1 - 1 = 0$ Denominator: $0^2 = 0$ Form: $\frac{0}{0}$ . L'Hôpital's Rule applies.

Step 2: First application of L'Hôpital's Rule Differentiate numerator and denominator independently with respect to $x$ :

\lim_{x \to 0} \frac{e^{3x} - 1 - 3x}{x^2} \overset{\text{L'H}}{=} \lim_{x \to 0} \frac{3e^{3x} - 3}{2x}

Step 3: Re-check the indeterminate form Numerator: $3e^0 - 3 = 3 - 3 = 0$ Denominator: $2(0) = 0$ Form: $\frac{0}{0}$ . Apply L'Hôpital's Rule a second time.

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

\lim_{x \to 0} \frac{3e^{3x} - 3}{2x} \overset{\text{L'H}}{=} \lim_{x \to 0} \frac{9e^{3x}}{2} = \frac{9e^0}{2} = \frac{9}{2}

Example 2: Quotient at Infinity ( $\frac{\infty}{\infty}$ )

Evaluate $\lim_{x \to \infty} \frac{\ln(x)}{\sqrt{x}}$ .

Solution

Step 1: Check the form via direct substitution Numerator: $\ln(\infty) \to \infty$ Denominator: $\sqrt{\infty} \to \infty$ Form: $\frac{\infty}{\infty}$ . L'Hôpital's Rule applies.

Step 2: Differentiate numerator and denominator

\lim_{x \to \infty} \frac{\ln(x)}{x^{1/2}} \overset{\text{L'H}}{=} \lim_{x \to \infty} \frac{\frac{1}{x}}{\frac{1}{2}x^{-1/2}}

Step 3: Simplify algebraically before taking the limit

\frac{\frac{1}{x}}{\frac{1}{2\sqrt{x}}} = \frac{1}{x} \cdot \frac{2\sqrt{x}}{1} = \frac{2\sqrt{x}}{x} = \frac{2}{\sqrt{x}}

Step 4: Evaluate

\lim_{x \to \infty} \frac{2}{\sqrt{x}} = \frac{2}{\infty} = 0

Connections & References

Parent Concepts:
- Rates of Change and the Derivative
- Linear Approximations
Sub-Concepts & Analytical Strategies:
Course Sessions:
- Session 12 - L’Hopital’s Rule and Indeterminate Forms

Tony's Intertwingled Memex • Reference Manual