← 2016 Paper 2

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

10 marks · Section A

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

Question

For the function f:(0,)Rf:(0,\infty)\to\mathbb R given by f(x)=x2sin1x, 0<x<f(x)=x^2\sin\dfrac1x,\ 0<x<\infty, show that there is a differentiable function g:RRg:\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)={x2sin1x,x0,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 x0x\ne0

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

g(x)=2xsin1x+x2cos1x(1x2)=2xsin1xcos1x,x0.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)=limh0g(h)g(0)h=limh0h2sin(1/h)0h=limh0hsin1h.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 h0|h|\to0, the squeeze theorem gives

limh0hsin1h=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 x0x\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),x00,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 — 13 years, mapped. Get the take-away PDF free.