All revision notes topics

Leibnitz's theorem and L'Hospital's ruleEdexcel A-Level Further Maths: Revision notes

Section 1

Leibnitz's theorem

Leibnitz's theorem gives the nnth derivative of a product y=uvy=uv: dndxn(uv)=∑r=0n(nr)u(r)v(n−r)=uv(n)+nu′v(n−1)+(n2)u′′v(n−2)+⋯+u(n)v.\frac{\mathrm{d}^n}{\mathrm{d}x^n}(uv)=\sum_{r=0}^{n}\binom nr u^{(r)}v^{(n-r)}=uv^{(n)}+nu'v^{(n-1)}+\binom n2u''v^{(n-2)}+\dots+u^{(n)}v. The coefficients are binomial coefficients, because the pattern mirrors the expansion of (a+b)n(a+b)^n. For n=2n=2 this gives u′′v+2u′v′+uv′′u''v+2u'v'+uv'' and for n=3n=3, u′′′v+3u′′v′+3u′v′′+uv′′′u'''v+3u''v'+3u'v''+uv'''. Choose uu to be the factor that becomes zero after a few differentiations (such as a polynomial), so most terms vanish.

Key termsLeibnitz's theorembinomial coefficient
Common mistake

Mixing up the order of derivatives. The rrth derivative of uu is paired with the (n−r)(n-r)th derivative of vv, and the coefficient is (nr)\binom nr.

Section 2

Worked example with Leibnitz's theorem

Let y=x2e3xy=x^2\mathrm{e}^{3x} with u=x2u=x^2 (u′=2xu'=2x, u′′=2u''=2, u′′′=0u'''=0) and v=e3xv=\mathrm{e}^{3x} (v(k)=3ke3xv^{(k)}=3^k\mathrm{e}^{3x}). Then y′′=u′′v+2u′v′+uv′′=e3x(9x2+12x+2).y''=u''v+2u'v'+uv''=\mathrm{e}^{3x}(9x^2+12x+2). For any n≥2n\ge2 only three terms survive: y(n)=e3x(3nx2+2n3n−1x+n(n−1)3n−2).y^{(n)}=\mathrm{e}^{3x}\left(3^nx^2+2n3^{n-1}x+n(n-1)3^{n-2}\right). At x=0x=0, y(4)(0)=(42)(2)(9)=108y^{(4)}(0)=\binom42(2)(9)=108. A pattern valid for all nn can be found whenever one factor is a polynomial.

Key termssurviving terms
Exam tip

Write out u,u′,u′′,…u,u',u'',\dots and v,v′,v′′,…v,v',v'',\dots in two columns before combining.

Section 3

L'Hospital's rule

L'Hospital's rule: if f(x)→0f(x)\to0 and g(x)→0g(x)\to0, or both tend to ±∞\pm\infty, as x→ax\to a, then lim⁡x→af(x)g(x)=lim⁡x→af′(x)g′(x)\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)} provided the right-hand limit exists. The rule applies to indeterminate forms 00\frac00 and ∞∞\frac\infty\infty. Example: lim⁡x→0sin⁡3xsin⁡5x\lim_{x\to0}\frac{\sin3x}{\sin5x} is 00\frac00; differentiating gives 3cos⁡3x5cos⁡5x→35\frac{3\cos3x}{5\cos5x}\to\frac35. Differentiate the numerator and the denominator separately; do not use the quotient rule.

Key termsL'Hospital's ruleindeterminate form
Common mistake

Using the quotient rule on fg\frac fg. L'Hospital's rule differentiates top and bottom separately.

Section 4

Repeated applications

If the new quotient is still indeterminate, apply the rule again. Example: lim⁡x→02sin⁡x−sin⁡2xx−sin⁡x\lim_{x\to0}\frac{2\sin x-\sin2x}{x-\sin x}. Differentiate: 2cos⁡x−2cos⁡2x1−cos⁡x\frac{2\cos x-2\cos2x}{1-\cos x}, still 00\frac00. Again: −2sin⁡x+4sin⁡2xsin⁡x\frac{-2\sin x+4\sin2x}{\sin x}, still 00\frac00. Again: −2cos⁡x+8cos⁡2xcos⁡x→−2+81=6\frac{-2\cos x+8\cos2x}{\cos x}\to\frac{-2+8}{1}=6. You may simplify between steps, for example −2sin⁡x+4sin⁡2xsin⁡x=−2+8cos⁡x\frac{-2\sin x+4\sin2x}{\sin x}=-2+8\cos x, which gives 66 directly. Check the form at every step.

Key termsrepeated application
Exam tip

Test the form (00\frac00 or ∞∞\frac\infty\infty) at every step, and stop as soon as a limit can be read off by substitution.

Section 5

Other indeterminate forms and when the rule fails

Forms such as 1∞1^\infty, 0×∞0\times\infty are rearranged first. For lim⁡x→∞(1+ax)x\lim_{x\to\infty}\left(1+\frac ax\right)^x put y=(1+ax)xy=\left(1+\frac ax\right)^x, so ln⁡y=ln⁡(1+a/x)1/x\ln y=\frac{\ln(1+a/x)}{1/x}, which is 00\frac00. L'Hospital gives a1+a/x→a\frac{a}{1+a/x}\to a, so y→eay\to\mathrm{e}^a. For lim⁡exx2\lim\frac{\mathrm{e}^x}{x^2} as x→∞x\to\infty (form ∞∞\frac\infty\infty) apply the rule twice to get ex2→∞\frac{\mathrm{e}^x}{2}\to\infty. The rule must not be used if the form is not indeterminate: 1+cos⁡xx2\frac{1+\cos x}{x^2} tends to 20+=+∞\frac{2}{0^+}=+\infty, but a blind application gives −12-\frac12, which is wrong.

Key termslogarithm trick
Common mistake

Applying the rule when the numerator tends to a non-zero constant. Substitute x=ax=a first.

That's the notes covered.

Carry on to the next subtopic.

Exam questions on Leibnitz's theorem and L'Hospital's rule

  1. Let y=x2e3xy=x^2\mathrm{e}^{3x}.
    Use Leibnitz's theorem to find the value of d4ydx4\dfrac{\mathrm{d}^4y}{\mathrm{d}x^4} at x=0x=0.2 marks
  2. L'Hospital's rule states that if f(x)f(x) and g(x)g(x) both tend to 00, or both tend to ±∞\pm\infty, as x→ax\to a, then lim⁡x→af(x)g(x)=lim⁡x→af′(x)g′(x)\displaystyle\lim_{x\to a}\frac{f(x)}{g(x)}=\lim_{x\to a}\frac{f'(x)}{g'(x)}, provided the second limit exists.
    A student evaluates lim⁡x→01+cos⁡xx2\displaystyle\lim_{x\to0}\frac{1+\cos x}{x^2} as follows: “This is 00\frac00. Differentiating gives −sin⁡x2x\frac{-\sin x}{2x}, which is again 00\frac00. Differentiating again gives −cos⁡x2→−12\frac{-\cos x}{2}\to-\frac12.” Explain the error in the student's working and describe the true behaviour of the quotient as x→0x\to0.2 marks
  3. Let f(x)=2sin⁡x−sin⁡2xx−sin⁡xf(x)=\dfrac{2\sin x-\sin2x}{x-\sin x} for x≠0x\neq0.
    Show that applying L'Hospital's rule once to lim⁡x→0f(x)\displaystyle\lim_{x\to0}f(x) gives an expression that is again of the form 00\frac00.3 marks
See the full worksheet

Written by the Exaim team, led by Shaun Daswani (Head of Upper Secondary, Improve ME Institute; MSc Financial Mathematics, Imperial College London; BSc, UCL) and Jason Daswani (operational lead, Improve ME Institute; LSE).