Porisma

Worked solution

Verify an implicit logarithm expansion by a second method

It is given that y=ln⁡(2+sin⁡2x)y=\ln(2+\sin2x).

(i) Show that eyd2ydx2+ey(dydx)2=−4sin⁡2xe^y\dfrac{d^2y}{dx^2}+e^y\left(\dfrac{dy}{dx}\right)^2=-4\sin2x. marks

(ii) By further differentiation of the above results, find the Maclaurin series for y, up to and including the term in x3x^3. marks

(iii) Verify that the series for ln⁡(2+sin⁡2x)\ln(2+\sin2x) is the same as the result obtained in part (ii), if the standard series from the List of Formulae (MF27) are used. marks

(iv) Hence deduce the series expansion for ln⁡(2+sin⁡2x)1−x\dfrac{\ln(2+\sin2x)}{\sqrt{1-x}}, up to and including the term in x2x^2. marks

[2022/ACJC/I/7(modified)]

CJC · Lecture · Example 8 · Self-Reading

(i) Exponentiate before differentiating

This is labelled Self-Reading, and both copies already print the complete solution. From ey=2+sin⁡2xe^y=2+\sin2x, differentiating gives eyy′=2cos⁡2xe^yy^{\prime}=2\cos2x. Differentiate that product once more:

eyy′′+ey(y′)2=−4sin⁡2x,e^yy^{\prime\prime}+e^y(y^{\prime})^2=-4\sin2x,

which is the required identity.

How did this part go?

(ii) Differentiate every product and evaluate at zero

Both copies retain the uncollected third-derivative line:

eyy′′′+eyy′′y′+2eyy′′y′+ey(y′)3=−8cos⁡2x.\begin{aligned}&e^yy^{\prime\prime\prime}+e^yy^{\prime\prime}y^{\prime}+2e^yy^{\prime\prime}y^{\prime}\\ &{}+e^y(y^{\prime})^3\\ & =-8\cos2x.\end{aligned}

Collecting the two mixed terms gives

eyy′′′+3eyy′′y′+ey(y′)3=−8cos⁡2x.\begin{aligned}&e^yy^{\prime\prime\prime}+3e^yy^{\prime\prime}y^{\prime}+e^y(y^{\prime})^3\\ & =-8\cos2x.\end{aligned}

The source values are y(0)=ln⁡2y(0)=\ln2, y′(0)=1y^{\prime}(0)=1, y′′(0)=−1y^{\prime\prime}(0)=-1, y′′′(0)=−2y^{\prime\prime\prime}(0)=-2. Independently, they follow successively from ey(0)=2e^{y(0)}=2, 2y′(0)=22y^{\prime}(0)=2, 2y′′(0)+2=02y^{\prime\prime}(0)+2=0, and 2y′′′(0)−6+2=−82y^{\prime\prime\prime}(0)-6+2=-8.

How did this part go?

(ii) Substitute the values with their factorials

The complete printed substitution and simplified series are

y=ln⁡2+x+−12!x2+−23!x3+⋯=ln⁡2+x−12x2−13x3+⋯ .\begin{aligned}&y\\ & =\ln2+x+\frac{-1}{2!}x^2+\frac{-2}{3!}x^3+\cdots\\ & =\ln2+x-\frac12x^2-\frac13x^3+\cdots.\end{aligned}

How did this part go?

(iii) Verify using the MF27 sine and logarithm series

Both sources show the independent standard-series route:

y≈ln⁡[2+2x−(2x)36]=ln⁡[2(1+x−23x3)]=ln⁡2+ln⁡(1+x−23x3).\begin{aligned}&y\approx\ln\left[2+2x-\frac{(2x)^3}{6}\right]\\ & =\ln\left[2\left(1+x-\frac23x^3\right)\right]\\ & =\ln2+\ln\left(1+x-\frac23x^3\right).\end{aligned}

Substituting the new logarithm argument gives

y=ln⁡2+(x−23x3)−(x−23x3)22+(x−23x3)33+⋯ .\begin{aligned}&y\\ & =\ln2+\left(x-\frac23x^3\right)\\ &{}-\frac{(x-\frac23x^3)^2}{2}\\ &{}+\frac{(x-\frac23x^3)^3}{3}+\cdots.\end{aligned}

Retaining through the cubic term,

y≈ln⁡2+x−23x3−12x2+13x3=ln⁡2+x−12x2−13x3+⋯ ,y\approx\ln2+x-\frac23x^3-\frac12x^2+\frac13x^3=\ln2+x-\frac12x^2-\frac13x^3+\cdots,

verifying part (ii). These substitutions compare retained coefficients near zero; replacing sine by its finite truncation is not an exact functional identity.

How did this part go?

(iv) Expand the square-root denominator and collect the quadratic terms

Read the square root in the denominator carefully: the reciprocal of 1−x\sqrt{1-x} is (1−x)−1/2(1-x)^{-1/2}. Both copies give the full chain

ln⁡(2+sin⁡2x)1−x≈(ln⁡2+x−12x2−13x3)(1−x)−1/2.\frac{\ln(2+\sin2x)}{\sqrt{1-x}}\approx\left(\ln2+x-\frac12x^2-\frac13x^3\right)(1-x)^{-1/2}.

Only terms through x2x^2 are now required. The retained binomial terms are

1+12x+(−1/2)(−3/2)2!(−x)2=1+12x+38x2.\begin{aligned}&1+\frac12x\\ &{}+\frac{(-1/2)(-3/2)}{2!}(-x)^2\\ & =1+\frac12x+\frac38x^2.\end{aligned}

Multiplying the two retained quadratic polynomials gives

(ln⁡2+x−12x2)(1+12x+38x2)\left(\ln2+x-\frac12x^2\right)\left(1+\frac12x+\frac38x^2\right)

≈ln⁡2+x−12x2+(12ln⁡2)x+12x2+(38ln⁡2)x2\approx\ln2+x-\frac12x^2+\left(\frac12\ln2\right)x+\frac12x^2+\left(\frac38\ln2\right)x^2

=ln⁡2+(1+12ln⁡2)x+(38ln⁡2)x2.=\boxed{\ln2+\left(1+\frac12\ln2\right)x+\left(\frac38\ln2\right)x^2}.

The two non-logarithmic quadratic contributions cancel. The omitted terms begin at cubic order; the binomial factor is used near zero with ∣x∣<1|x|<1 and the real denominator requires x<1.

How did this part go?

Common mistakes

Repeated differentiation creates mixed terms; the square-root denominator uses exponent −1/2, and both methods must retain every term contributing to the requested power.

Solution notes

Self-Reading designation, original attribution and printed marks 2,3,3,2 retained. Both copies already contain the complete derivation by both methods, including the square-root quotient; this is not a Teacher-only completion.

Original radical directly verified in both page 20 and 21 renders; native extraction preserved without silently altering its missing radical.

Read the hint