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

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

y=sin1xy = \sin\dfrac{1}{x} is the sine of a reciprocal. As xx approaches 00 the quantity 1x\dfrac{1}{x} grows without bound, so infinitely many oscillations are packed into every neighborhood of the origin, however small. It is the standard textbook example of a limit that does not exist.

Domain and range

The domain is x0x \neq 0 and the range is the interval [1,1][-1, 1]. Since 1x\dfrac{1}{x} takes every real value except 00, the sine attains all of its values.

Symmetry

From f(x)=sin(1x)=f(x)f(-x) = \sin\left( -\dfrac{1}{x} \right) = -f(x) the function is odd, with rotational symmetry about the origin.

Zeros, crests and troughs

We have sin1x=0\sin\dfrac{1}{x} = 0 when 1x=nπ\dfrac{1}{x} = n\pi, that is at x=1nπx = \dfrac{1}{n\pi}.

nnZero at x=1nπx = \dfrac{1}{n\pi}
110.3183\approx 0.3183
220.1592\approx 0.1592
330.1061\approx 0.1061
440.0796\approx 0.0796

The zeros crowd endlessly toward the origin. The value ±1\pm 1 is reached at x=2(2n+1)πx = \dfrac{2}{(2n+1)\pi}, the rightmost crest being (2π,1)(0.637,1)\left( \dfrac{2}{\pi}, 1 \right) \approx (0.637, 1).

Why the limit fails to exist

Consider the limit as x0x \to 0. Two sequences tending to 00 head for different destinations.

xn=2(4n+1)π0,sin1xn=1xn=2(4n+3)π0,sin1xn=1\begin{align*} x_n &= \frac{2}{(4n+1)\pi} \to 0, \quad \sin\frac{1}{x_n} = 1 \\ x_n' &= \frac{2}{(4n+3)\pi} \to 0, \quad \sin\frac{1}{x_n'} = -1 \end{align*}

The limit as x0x \to 0 therefore does not exist, and neither one-sided limit exists either.

What kind of discontinuity

The values stay between 1-1 and 11, so the yy-axis is not a vertical asymptote.

FunctionBehavior as x0x \to 0Kind of discontinuity
1x\dfrac{1}{x}divergesinfinite
arctan1x\arctan\dfrac{1}{x}one-sided limits ±π2\pm\dfrac{\pi}{2}jump
sin1x\sin\dfrac{1}{x}no one-sided limitsoscillatory

Of the classification of discontinuities, this is the most intractable kind1.

Behavior on the right

The derivative is as follows.

y=cos1xx2y' = -\frac{\cos\dfrac{1}{x}}{x^2}

For x>2πx > \dfrac{2}{\pi} we have 1x<π2\dfrac{1}{x} < \dfrac{\pi}{2}, so cos1x>0\cos\dfrac{1}{x} > 0 and y<0y' < 0: the function decreases steadily. As xx \to \infty we get 1x0\dfrac{1}{x} \to 0 and hence y0y \to 0, making the xx-axis a horizontal asymptote. The function is placid far out and wilder the closer one comes to the origin.

What no graph can show

The number of oscillations in the interval (0,a](0, a] is about 12πa\dfrac{1}{2\pi a}, which grows without bound as aa shrinks. No amount of sampling can therefore render the neighborhood of the origin correctly. Every time the view is magnified new oscillations appear, and the scene never settles.

A link to topology

Adding the segment 1y1-1 \leq y \leq 1 of the yy-axis to the following set produces the topologist's sine curve2.

{(x,sin1x):0<x1}\left\{\left(x, \sin\frac{1}{x}\right) : 0 < x \leq 1\right\}

It is the classic example of a set that is connected but not path-connected. It looks joined up, and yet no path along the curve ever reaches the origin.

  1. Classification of discontinuities, Wikipedia
  2. Topologist's sine curve, Wikipedia