y=xsin1xy = x\sin\dfrac{1}{x}

Graph of the Function y=xsin1xy = x\sin\dfrac{1}{x}

y=xsin1xy = x\sin\dfrac{1}{x} multiplies sin1x\sin\dfrac{1}{x} by xx. That factor damps the amplitude, so the wild oscillation near the origin is crushed down to zero along with its height. It is the squeeze theorem made into a shape, and also the standard example showing that continuity does not guarantee differentiability.

Domain and symmetry

The domain is x0x \neq 0. The function turns out to be even.

f(x)=(x)sin(1x)=xsin1x=f(x)f(-x) = (-x)\sin\left(-\frac{1}{x}\right) = x\sin\frac{1}{x} = f(x)

The graph is therefore symmetric about the yy-axis, exactly as the rule that a product of two odd functions is even predicts.

The squeeze

From sin1x1\left|\sin\dfrac{1}{x}\right| \leq 1 the following bound holds1.

xxsin1xx-|x| \leq x\sin\frac{1}{x} \leq |x|

The graph is thus confined inside the wedge formed by the lines y=xy = x and y=xy = -x. Pressed toward 00 from both sides, the limit as x0x \to 0 is 00. The oscillation itself never stops and its frequency never drops; only its amplitude vanishes. The curve touches the sides of the wedge at x=2(2n+1)πx = \dfrac{2}{(2n+1)\pi}, where sin1x=1\left|\sin\dfrac{1}{x}\right| = 1.

Continuous but not differentiable

Defining f(0)=0f(0) = 0 makes the function continuous at the origin, since that is the limit. It is nevertheless not differentiable there, because the difference quotient behaves as follows.

f(h)f(0)h=hsin1hh=sin1h\frac{f(h) - f(0)}{h} = \frac{h\sin\dfrac{1}{h}}{h} = \sin\frac{1}{h}

This has no limit as h0h \to 0. One line of computation separates continuity from differentiability.

FunctionContinuity at the originDifferentiability at the origin
sin1x\sin\dfrac{1}{x}cannot be made continuousout of the question
xsin1xx\sin\dfrac{1}{x}continuousnot differentiable
x2sin1xx^2\sin\dfrac{1}{x}continuousdifferentiable, with a discontinuous derivative

Raising the power of the factor xx tames the behavior at the origin one step at a time.

Behavior far out

Setting u=1xu = \dfrac{1}{x} shows that the function is nothing other than the sinc function composed with a reciprocal.

xsin1x=sinuux\sin\frac{1}{x} = \frac{\sin u}{u}

Since x±x \to \pm\infty corresponds to u0u \to 0, we get y1y \to 1 and the line y=1y = 1 is a horizontal asymptote. All the infinitely many oscillations that sinc spreads across u>0u > 0 are compressed into the immediate neighborhood of the origin.

Range and extrema

For u0u \neq 0 we always have sinuu<1\dfrac{\sin u}{u} < 1, and its first minimum occurs at the solution of tanu=u\tan u = u near u4.4934u \approx 4.4934, where the value is about 0.2172-0.2172. Transferring this back, the minimum of our function is about 0.2172-0.2172, attained at x=14.49340.2225x = \dfrac{1}{4.4934} \approx 0.2225, and the range is 0.2172y<1-0.2172 \leq y < 1. The value 11 is never reached, precisely because sinuu<1\dfrac{\sin u}{u} < 1 always holds.

Zeros

The zeros are at x=1nπx = \dfrac{1}{n\pi}, where sin1x=0\sin\dfrac{1}{x} = 0, exactly the same as for sin1x\sin\dfrac{1}{x}. Multiplying by xx moves none of them, and they still accumulate at the origin.

Significance

In a first analysis course this function is the standard first application of the squeeze theorem. It is at the same time a concrete curve that is continuous at a point yet has no tangent there, making visible that differentiability is a stronger condition than continuity.

  1. Squeeze theorem, Wikipedia