D7 - L’Hôpital’s rule

D7 - L’Hôpital’s rule

Differentiation offers another way to evaluate certain indeterminate limits. You will recognise when l’Hôpital’s rule applies, differentiate the numerator and denominator separately, and check the conditions again before repeating the rule.

Recognising indeterminate quotient forms

Why does a quotient's limit sometimes depend on the derivatives of its two parts? Near zero, the changes in ex−1\mathrm{e}^x-1 and xx are both controlled first by their gradients. The series method found (ex−1)/x→1(\mathrm{e}^x-1)/x\to1; l’Hôpital’s rule turns this idea into a precise limit rule.

First identify what happens to the numerator and denominator separately. The symbols 0/00/0 and ∞/∞\infty/\infty describe indeterminate forms, not arithmetic with zero or infinity. They do not decide a limit: both x/x→1x/x\to1 and x2/x→0x^2/x\to0 have the form 0/00/0 at zero.

Quotient and approachSeparate behaviourWhat it tells us
(ex−1)/x(\mathrm{e}^x-1)/x, x→0x\to00/00/0A possible l’Hôpital calculation
ln⁡x/x\ln x/x, x→∞x\to\infty∞/∞\infty/\inftyA possible l’Hôpital calculation
(1+sin⁡x)/x(1+\sin x)/x, x→0x\to01/01/0Not an indeterminate quotient form
ex/(1+x)\mathrm{e}^x/(1+x), x→0x\to01/11/1Direct substitution gives 1

For the third row, the numerator is positive near zero. The quotient grows positively from the right and negatively from the left. Differentiating both parts would wrongly give cos⁡x/1→1\cos x/1\to1; that calculation is invalid because the original form is 1/01/0.

L’Hôpital’s rule: conditions matter

Suppose, on an interval approaching the point under consideration:

  • ff and gg are differentiable away from the limiting point, and g(x)≠0g(x)\ne0 and g′(x)≠0g'(x)\ne0;
  • f/gf/g has the form 0/00/0, or numerator and denominator both tend to signed infinities;
  • f′(x)/g′(x)f'(x)/g'(x) has a limit LL, finite or infinite.

Then

lim⁡f(x)g(x)=lim⁡f′(x)g′(x)=L\lim\frac{f(x)}{g(x)}=\lim\frac{f'(x)}{g'(x)}=L

The same principle applies to one-sided limits and limits at infinity. For a two-sided limit, the hypotheses and conclusion must work on both sides, with the same result.

The rule compares limits; it does not say the two quotient functions are equal. The point itself can be excluded from the domain, as it is in sin⁡x/x\sin x/x at zero. If the derivative quotient has no limit, the rule in this form gives no conclusion; that alone does not prove the original limit fails to exist.

For limits at infinity, ∞/∞\infty/\infty includes negative signs: inspect them in the actual functions. For example, −ln⁡x/x-\ln x/x as x→∞x\to\infty has numerator tending to −∞-\infty and denominator to +∞+\infty, still an eligible form if the other hypotheses hold.

Differentiating numerator and denominator separately

Once the conditions hold, form f′/g′f'/g'. This is not the quotient-rule derivative (f′g−fg′)/g2(f'g-fg')/g^2. You are finding a new quotient with the same limit, not differentiating the original quotient as a whole.

Worked example 1: a trigonometric zero-over-zero limit

Question. Use l’Hôpital’s rule to find lim⁡x→0sin⁡(3x)2x\displaystyle\lim_{x\to0}\frac{\sin(3x)}{2x}.

Plan. Verify 0/00/0, then differentiate the two parts separately using radians.

The numerator and denominator both tend to zero. They are differentiable near zero and the denominator derivative is 2≠02\ne0.

lim⁡x→0sin⁡(3x)2x=lim⁡x→03cos⁡(3x)2l’Hoˆpital’s rule=32substitute in the continuous quotient\begin{aligned} \lim_{x\to0}\frac{\sin(3x)}{2x} &=\lim_{x\to0}\frac{3\cos(3x)}{2} && \text{l’Hôpital's rule}\\ &=\frac32 && \text{substitute in the continuous quotient} \end{aligned}

Answer. 3/23/2.

Check. The sine series begins sin⁡(3x)=3x−(9/2)x3+⋯\sin(3x)=3x-(9/2)x^3+\cdots. Dividing by 2x2x independently gives 3/2−(9/4)x2+⋯3/2-(9/4)x^2+\cdots, with limit 3/23/2.

Add a quadratic term only to the denominator. Its derivative still tends to 2, so the leading limit should stay unchanged.

Worked example 2: a changed denominator

Question. Use l’Hôpital’s rule to find lim⁡x→0sin⁡(3x)2x+x2\displaystyle\lim_{x\to0}\frac{\sin(3x)}{2x+x^2}.

Plan. Recheck the original form and use the derivative of the whole denominator.

Both parts tend to zero. The denominator derivative 2+2x2+2x is nonzero sufficiently near zero, for example when ∣x∣<1/2|x|<1/2.

lim⁡x→0sin⁡(3x)2x+x2=lim⁡x→03cos⁡(3x)2+2x=32\begin{aligned} \lim_{x\to0}\frac{\sin(3x)}{2x+x^2} &=\lim_{x\to0}\frac{3\cos(3x)}{2+2x}\\ &=\frac32 \end{aligned}

Answer. 3/23/2.

Check. Factor the original denominator: the quotient equals [sin⁡(3x)/x]/(2+x)[\sin(3x)/x]/(2+x) for x≠0x\ne0. The series gives the numerator limit 3 and the denominator limit 2, agreeing with 3/23/2.

The rule also handles growth at infinity; derivatives need not keep growing.

Worked example 3: comparing logarithmic and linear growth

Question. Find lim⁡x→∞ln⁡xx\displaystyle\lim_{x\to\infty}\frac{\ln x}{x}.

Plan. Check the infinity-over-infinity form and compare the derivatives.

As x→∞x\to\infty, both parts tend to +∞+\infty. For x>0x>0, both are differentiable and the denominator derivative is 1.

lim⁡x→∞ln⁡xx=lim⁡x→∞1/x1=0\lim_{x\to\infty}\frac{\ln x}{x} =\lim_{x\to\infty}\frac{1/x}{1}=0

Answer. 00.

Check. At x=10,100,1000x=10,100,1000, the original quotient is approximately 0.2303,0.04605,0.0069080.2303,0.04605,0.006908. The decreasing positive values support the exact result. The result expresses a useful connection: logarithmic growth is slower than linear growth, although both functions are unbounded.

Continue this lesson.

You’re previewing NovaLearn without an account. Create a free account to read the rest.

Create free account