← 2016 Paper 2

UPSC 2016 Maths Optional Paper 2 Q1b — Step-by-Step Solution

10 marks · Section A

Differentiability · Calculus · asked 3× in 14 yrs · Read the full method →

Question

For the function f:(0,∞)→Rf:(0,\infty)\to\mathbb R given by f(x)=x2sin⁡1x, 0<x<∞f(x)=x^2\sin\dfrac1x,\ 0<x<\infty, show that there is a differentiable function g:R→Rg:\mathbb R\to\mathbb R that extends ff.

Technique

Extend by the same formula and set g(0)=0g(0)=0; differentiate by rules off 00, and use the first-principles difference quotient with the squeeze theorem at 00.

Solution

We must produce a single gg defined on all of R\mathbb R, differentiable everywhere, agreeing with ff on (0,∞)(0,\infty). The natural candidate extends the formula across 00 and sets g(0)=0g(0)=0; the only delicate point is differentiability at 00, where we use the x2x^2 damping.

Step 1 — Define the extension

Set

g(x)={x2sin⁡1x,x≠0,0,x=0.g(x)=\begin{cases}x^2\sin\dfrac1x,& x\ne0,\\[2mm] 0,& x=0.\end{cases}

On (0,∞)(0,\infty), g(x)=x2sin⁡(1/x)=f(x)g(x)=x^2\sin(1/x)=f(x), so gg extends ff. (We have extended the same formula to x<0x<0 as well and patched the value at 00; any choice agreeing with ff on (0,∞)(0,\infty) and differentiable on R\mathbb R works, and this one does.)

Step 2 — Differentiability at every x≠0x\ne0

For x≠0x\ne0, gg is a composition/product of differentiable functions (x↦x2x\mapsto x^2, x↦1/xx\mapsto 1/x, sin⁡\sin), all differentiable on R∖{0}\mathbb R\setminus\{0\}. By the product and chain rules,

g′(x)=2xsin⁡1x+x2cos⁡1x⋅(−1x2)=2xsin⁡1x−cos⁡1x,x≠0.g'(x)=2x\sin\frac1x+x^2\cos\frac1x\cdot\left(-\frac1{x^2}\right)=2x\sin\frac1x-\cos\frac1x,\qquad x\ne0.

Step 3 — Differentiability at 00 (the crux)

Use the definition of the derivative at 00:

g′(0)=lim⁡h→0g(h)−g(0)h=lim⁡h→0h2sin⁡(1/h)−0h=lim⁡h→0hsin⁡1h.g'(0)=\lim_{h\to0}\frac{g(h)-g(0)}{h}=\lim_{h\to0}\frac{h^2\sin(1/h)-0}{h}=\lim_{h\to0}h\sin\frac1h.

Since ∣hsin⁡(1/h)∣≤∣h∣\left|h\sin(1/h)\right|\le|h| and ∣h∣→0|h|\to0, the squeeze theorem gives

lim⁡h→0hsin⁡1h=0.\lim_{h\to0}h\sin\frac1h=0.

Hence the limit exists and g′(0)=0g'(0)=0. Therefore gg is differentiable at 00.

Step 4 — Conclusion

gg is differentiable at every x≠0x\ne0 (Step 2) and at x=0x=0 (Step 3), so gg is differentiable on all of R\mathbb R, and it extends ff.

Answer

  g(x)={x2sin⁡(1/x),x≠00,x=0 is differentiable on R and extends f, with g′(0)=0.  \boxed{\;g(x)=\begin{cases}x^2\sin(1/x),&x\ne0\\0,&x=0\end{cases}\ \text{is differentiable on }\mathbb R\text{ and extends }f,\ \text{with }g'(0)=0.\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.