The question
(a) If f:R→R is defined by f(x)=∣x∣3, show that f′′(x) exists for all real x and find it.
OR
(b) If (x−a)2+(y−b)2=c2, for some c>0, prove that
dx2d2y[1+(dxdy)2]23
is a constant independent of a and b.
Exam answer
(a)
For x<0, ∣x∣3=(−x)3=−x3. So
f(x)=∣x∣3={x3,−x3,x≥0x<0
Why?
A modulus is handled by removing it piece by piece: ∣x∣=x for x≥0 and ∣x∣=−x for x<0.
Cubing keeps the sign: (−x)3=−x3.
For x=0, f is a polynomial on each side, so it is differentiable there. At x=0:
Why?
At x=0 the formula changes, so the derivative there must come from the definition. We find the left-hand and right-hand derivatives:
LHD=x→0−limx−0f(x)−f(0)
and the same with x→0+ for the RHD. Here f(0)=03=0.
LHD=x→0−limx−0f(x)−f(0)=x→0−limx−x3−0=x→0−lim(−x2)=0
RHD=x→0+limx−0f(x)−f(0)=x→0+limxx3−0=x→0+limx2=0
Why?
For x to the left of 0 use f(x)=−x3; to the right use f(x)=x3.
In the limit x=0, so we may cancel one x: x−x3=−x2 and xx3=x2. Both tend to 0.
∴ LHD of f(x) at x=0 = RHD of f(x) at x=0.
So, f(x) is differentiable at x=0, and the derivative of f(x) is given by
f′(x)={3x2,−3x2,x≥0x<0
Why?
On each side differentiate the polynomial: dxdx3=3x2 and dxd(−x3)=−3x2.
At 0 the derivative is the common value 0 of LHD and RHD, which agrees with 3(0)2=0. So x=0 can go in the first line.
Again f′ is a polynomial on each side of 0. At x=0:
LHD of f′(x)=x→0−limx−0f′(x)−f′(0)=x→0−limx−3x2−0=x→0−lim(−3x)=0
RHD of f′(x)=x→0+limx−0f′(x)−f′(0)=x→0+limx−03x2−0=x→0+lim3x=0
Why?
The same test, now applied to f′, with f′(0)=0. Cancel one x: x−3x2=−3x and x3x2=3x. Both tend to 0.
∴ LHD of f′(x) at x=0 = RHD of f′(x) at x=0.
So, f′(x) is differentiable at x=0, and f′′(x) exists for all real x.
For x>0, f′′(x)=6x; for x<0, f′′(x)=−6x; and f′′(0)=0.
Why?
Away from 0, differentiate each piece of f′: dxd(3x2)=6x and dxd(−3x2)=−6x. At 0, f′′(0) is the common value 0 found above, and 6(0)=0.
In short, f′′(x)=6∣x∣ for every real x.
Hence, f′′(x)={6x,−6x,x≥0x<0
(b)
Given (x−a)2+(y−b)2=c2, c>0.
Let x−a=ccosθ and y−b=csinθ (sinθ=0).
Why?
The curve is a circle with centre (a,b) and radius c. This substitution fits it, because
(ccosθ)2+(csinθ)2=c2(cos2θ+sin2θ)=c2
We need sinθ=0 so that dθdx=0 below. These excluded points are where the tangent is vertical.
∴ dθdx=−csinθ and dθdy=ccosθ
Why?
x=a+ccosθ and y=b+csinθ, where a, b, c are constants. Use dθdcosθ=−sinθ and dθdsinθ=cosθ.
∴ dxdy=−csinθccosθ=−cotθ
Why?
For a curve given in terms of a parameter,
dxdy=dx/dθdy/dθ
The c cancels, and sinθcosθ=cotθ.
Differentiating both sides w.r.t. θ,
dθd(dxdy)=dθd(−cotθ)
Or, dxd(dxdy)dθdx=cosec2θOr, dx2d2y(−csinθ)=cosec2θ
Why?
Watch out: dx2d2y is the derivative of dxdy with respect to x, not θ. The chain rule links them:
dθd(…)=dxd(…)⋅dθdx
On the right, dθdcotθ=−cosec2θ, so −cotθ gives +cosec2θ.
∴ dx2d2y=−ccosec3θ
Why?
Divide both sides by −csinθ. Since sinθ1=cosecθ,
−csinθcosec2θ=−ccosec3θ
In steps:
dx2d2y=−csinθcosec2θ=−c1⋅cosec2θ⋅sinθ1=−c1⋅cosec2θ⋅cosecθ=−ccosec3θ
Also 1+(dxdy)2=1+cot2θ=cosec2θ, so
[1+(dxdy)2]23=∣cosecθ∣3
Why?
The identity 1+cot2θ=cosec2θ comes from dividing sin2θ+cos2θ=1 by sin2θ.
sin2θsin2θ+sin2θcos2θ1+cot2θ=sin2θ1=cosec2θ
And (−cotθ)2=cot2θ, so 1+(dxdy)2=1+cot2θ.
The power 23 means: square root first, then cube. A square root is never negative, so
cosec2θ=∣cosecθ∣
∴ dx2d2y[1+(dxdy)2]23=−ccosec3θ∣cosecθ∣3=−ccosec3θ∣cosecθ∣3
Why?
Dividing by −ccosec3θ is the same as multiplying by −cosec3θc.
∣cosecθ∣3×(−cosec3θc)=−ccosec3θ∣cosecθ∣3
This is −c when sinθ>0 (that is y>b) and c when sinθ<0 (y<b).
Why?
u3∣u∣3 is 1 when u>0 and −1 when u<0. Here u=cosecθ has the same sign as sinθ, and sinθ=cy−b has the sign of y−b.
u>0u<0:u3∣u∣3=u3u3=1⇒−c(1)=−c:u3∣u∣3=u3(−u)3=u3−u3=−1⇒−c(−1)=c
Either way the value depends only on the radius c, not on the centre (a,b).
∴ The expression equals −c (or c on the lower half of the circle), which is a constant and is independent of a and b. Hence proved.
The official marking scheme writes (cosec2θ)23=cosec3θ and gets −c; that holds where sinθ>0, that is y>b.