FP1 2.4 - L'Hospital's rule

FP1 2.4 - L'Hospital's rule

Evaluate indeterminate limits by differentiating the numerator and denominator separately. You will check when the rule applies, repeat it when necessary and turn differences, products and powers into suitable quotients.

Check the form before differentiating

What happens to (1+1/x)x(1+1/x)^x as xx grows without bound? Its base approaches 11, but its exponent grows. The answer is e\mathrm{e}, rather than 11. To explain that balance, we will first turn the power into a quotient whose limit can be found by differentiation.

You already know

A limit concerns values near a point, so the expression need not be defined at the point itself. Taylor series can reveal the first surviving terms of a quotient. Recall the usual chain, product and quotient rules for differentiation, and that ln⁡(ab)=bln⁡a\ln(a^b)=b\ln a for a positive real base aa.

Direct substitution into (ex−1)/x(\mathrm{e}^x-1)/x at x=0x=0 produces 0/00/0. This is an indeterminate form, not the number zero and not a value of the quotient. Both functions approach zero, and their relative rates decide the limit.

The derivative ratio compares those rates. For example, ex/1→1\mathrm{e}^x/1\to1, which gives the correct limit of (ex−1)/x(\mathrm{e}^x-1)/x. The rule needs conditions; it is not an instruction to differentiate every fraction you encounter.

L'Hospital's rule

Suppose ff and gg are differentiable in a punctured interval approaching aa, with g(x)≠0g(x)\ne0 and g′(x)≠0g'(x)\ne0 there. If f/gf/g has form 0/00/0 or ∞/∞\infty/\infty, and

lim⁡x→af′(x)g′(x)=L\lim_{x\to a}\frac{f'(x)}{g'(x)}=L

exists, then

lim⁡x→af(x)g(x)=L\lim_{x\to a}\frac{f(x)}{g(x)}=L

Here an infinite limit LL is allowed. The rule also applies to a one-sided limit or to a limit as x→±∞x\to\pm\infty, with the same conditions on the relevant interval. For the infinite quotient form, signs may differ: it is the magnitudes of both numerator and denominator that grow without bound.

Not in the formula booklet: learn it.

The equality is between limits. It does not say that f(x)/g(x)=f′(x)/g′(x)f(x)/g(x)=f'(x)/g'(x) for ordinary values of xx. Nor are you taking the derivative of the quotient: differentiate its numerator and denominator separately.

Key idea

L'Hospital compares the limits of two quotients after the entry conditions are met. It does not assert that the original quotient equals the derivative ratio at ordinary points.

For a useful non-example, (x+1)/(x+2)→1/2(x+1)/(x+2)\to1/2 as x→0x\to0. Differentiating top and bottom would give 11, but the original form is neither 0/00/0 nor ∞/∞\infty/\infty, so the rule is unavailable. If the derivative ratio has no limit, the rule gives no conclusion about the original limit.

Watch out

Wrong: use L'Hospital immediately on a product, a difference or a power. Right: first produce a quotient, check its indeterminate form and check again before every further application.

Choose a quotient that meets the rule's entry condition.

Repeat only while the form is indeterminate

Some quotients remain 0/00/0 after one differentiation. Recheck the form, then apply the rule again. Once the derivative ratio has an ordinary finite value, stop and evaluate it.

Keep limit notation at each stage. For these trigonometric examples, the denominator derivatives are non-zero sufficiently close to 00, apart from 00 itself where appropriate, so the rule works on both sides.

Worked example 1: two applications

Question. Use L'Hospital's rule to find lim⁡x→01−cos⁡2xxsin⁡3x\displaystyle\lim_{x\to0}\frac{1-\cos2x}{x\sin3x}.

Plan. Check 0/00/0, differentiate top and bottom separately, and recheck before differentiating again.

lim⁡x→01−cos⁡2xxsin⁡3x=lim⁡x→02sin⁡2xsin⁡3x+3xcos⁡3xfirst application: 0/0=lim⁡x→04cos⁡2x6cos⁡3x−9xsin⁡3xsecond application: still 0/0=46=23denominator now tends to 6\begin{aligned} \lim_{x\to0}\frac{1-\cos2x}{x\sin3x} &=\lim_{x\to0}\frac{2\sin2x}{\sin3x+3x\cos3x} && \text{first application: }0/0 \\ &=\lim_{x\to0}\frac{4\cos2x}{6\cos3x-9x\sin3x} && \text{second application: still }0/0 \\ &=\frac46=\frac23 && \text{denominator now tends to }6 \end{aligned}

Why this step? The second denominator derivative contains two contributions of 3cos⁡3x3\cos3x: one from differentiating sin⁡3x\sin3x, the other from the product 3xcos⁡3x3x\cos3x.

Answer. The limit is 2/32/3.

Check. The leading terms are 1−cos⁡2x∼2x21-\cos2x\sim2x^2 and xsin⁡3x∼3x2x\sin3x\sim3x^2, agreeing with the derivative calculation. Here f∼gf\sim g means f/g→1f/g\to1.

Change only the angle multiplier in the numerator, from 22 to 44. Its two chain-rule factors change the limit by a factor of 44.

Worked example 2: the chain-rule factors matter

Question. Use L'Hospital's rule to find lim⁡x→01−cos⁡4xxsin⁡3x\displaystyle\lim_{x\to0}\frac{1-\cos4x}{x\sin3x}.

Plan. Use the same two-stage calculation with the new numerator.

lim⁡x→01−cos⁡4xxsin⁡3x=lim⁡x→04sin⁡4xsin⁡3x+3xcos⁡3x0/0=lim⁡x→016cos⁡4x6cos⁡3x−9xsin⁡3xstill 0/0=166=83direct evaluation now applies\begin{aligned} \lim_{x\to0}\frac{1-\cos4x}{x\sin3x} &=\lim_{x\to0}\frac{4\sin4x}{\sin3x+3x\cos3x} && 0/0 \\ &=\lim_{x\to0}\frac{16\cos4x}{6\cos3x-9x\sin3x} && \text{still }0/0 \\ &=\frac{16}{6}=\frac83 && \text{direct evaluation now applies} \end{aligned}

Why this step? Differentiating 4sin⁡4x4\sin4x gives 16cos⁡4x16\cos4x. Retaining only the first factor of 44 would produce an incorrect limit.

Answer. The limit is 8/38/3.

Check. The leading numerator is 8x28x^2, while the denominator remains 3x23x^2.

The series check is useful, but a question requesting L'Hospital needs the derivative route and its indeterminate-form checks. Neither particular result is printed in the booklet.

Watch out

Wrong: differentiate xsin⁡3xx\sin3x as 3xcos⁡3x3x\cos3x alone. The product rule also contributes sin⁡3x\sin3x. Right: use sin⁡3x+3xcos⁡3x\sin3x+3x\cos3x, then recheck the form before another application. Write each differentiated denominator in full before taking its limit. A final correct number cannot repair missing product-rule terms in the method.

Vary the numerator angle once more.

Combine a difference before applying the rule

A difference of two divergent terms can have a finite limit. Put the terms over a common denominator first: the cancellation then becomes part of the numerator that L'Hospital can handle.

For example, 1/sin⁡x1/\sin x and 1/x1/x both become large in magnitude near 00, but their difference is much smaller than either term. Subtracting separately evaluated infinite quantities would not determine that difference.

Worked example 3: a difference of reciprocals

Question. Use L'Hospital's rule to find lim⁡x→0(1sin⁡x−1x)\displaystyle\lim_{x\to0}\left(\frac1{\sin x}-\frac1x\right).

Plan. Combine the fractions, then use the rule twice.

1sin⁡x−1x=x−sin⁡xxsin⁡xcommon denominatorlim⁡x→0x−sin⁡xxsin⁡x=lim⁡x→01−cos⁡xsin⁡x+xcos⁡x0/0=lim⁡x→0sin⁡x2cos⁡x−xsin⁡xstill 0/0=0numerator tends to 0, denominator to 2\begin{aligned} \frac1{\sin x}-\frac1x&=\frac{x-\sin x}{x\sin x} && \text{common denominator} \\ \lim_{x\to0}\frac{x-\sin x}{x\sin x} &=\lim_{x\to0}\frac{1-\cos x}{\sin x+x\cos x} && 0/0 \\ &=\lim_{x\to0}\frac{\sin x}{2\cos x-x\sin x} && \text{still }0/0 \\ &=0 && \text{numerator tends to }0,\text{ denominator to }2 \end{aligned}

Why this step? L'Hospital applies to the single quotient after combining, not to the subtraction of two infinite limits.

Answer. The limit is 00.

Check. Series give x−sin⁡x∼x3/6x-\sin x\sim x^3/6 and xsin⁡x∼x2x\sin x\sim x^2; their quotient tends to 00.

Change only the first reciprocal from 1/sin⁡x1/\sin x to 1/tan⁡x1/\tan x. Combining the fractions still creates a quotient of form 0/00/0.

Continue this lesson.

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

Create free account