Porisma

Worked solution

Use the printed half-unit initial value in a derivative recurrence

Given f′(x)=f(x)ln⁡(sec⁡(ax))f^{\prime}(x)=f(x)\ln(\sec(ax)) and f(0)=1/2f(0)=1/2, where aa is real and nonzero, show

f′′(x)f(x)=[f′(x)]2+a[f(x)]2tan⁡(ax).f^{\prime\prime}(x)f(x)=[f^{\prime}(x)]^2+a[f(x)]^2\tan(ax).

Hence find the Maclaurin series through x3x^3 in terms of aa. marks

[2022/NJC/II1(i)]

CJC · Review problems · Question 11

Answer

f(x)=1/2+a2x3/12+O(x5)f(x)=1/2+a^2x^3/12+O(x^5).

Differentiate and multiply by f

f′′=f′ln⁡(sec⁡(ax))+aftan⁡(ax)f^{\prime\prime}=f^{\prime}\ln(\sec(ax))+af\tan(ax). Multiply by ff and use fln⁡(sec⁡(ax))=f′f\ln(\sec(ax))=f^{\prime} to obtain ff′′=(f′)2+af2tan⁡(ax)ff^{\prime\prime}=(f^{\prime})^2+af^2\tan(ax), as required.

How did this part go?

Differentiate the identity and use the initial value

Differentiation gives

ff′′′−f′f′′=a2f2sec⁡2(ax)+2aff′tan⁡(ax).\begin{aligned}&f f^{\prime\prime\prime}-f^{\prime}f^{\prime\prime}\\ & =a^2f^2\sec^2(ax)\\ &{}+2aff^{\prime}\tan(ax).\end{aligned}

At zero, f=1/2f=1/2, f′=0f^{\prime}=0, f′′=0f^{\prime\prime}=0, so 12f′′′(0)=a2/4\tfrac12 f^{\prime\prime\prime}(0)=a^2/4, giving f′′′(0)=a2/2f^{\prime\prime\prime}(0)=a^2/2. Thus f(x)=1/2+a2x3/12+O(x5)f(x)=1/2+a^2x^3/12+O(x^5). The rendered source explicitly gives f(0)=1/2f(0)=1/2; native extraction loses its denominator. The printed series is consistent with the visual source, not an erroneous half of a unit-initial-value solution.

How did this part go?

Common mistakes

The original initial value is one-half; plain text extraction drops its denominator.

Read the hint