y=sinx1 Graph of the Function y=sinx1
y=sinx1 is the sine of a reciprocal. As x approaches 0 the quantity x1 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 x=0 and the range is the interval [−1,1]. Since x1 takes every real value except 0, the sine attains all of its values.
Symmetry
From f(−x)=sin(−x1)=−f(x) the function is odd, with rotational symmetry about the origin.
Zeros, crests and troughs
We have sinx1=0 when x1=nπ, that is at x=nπ1.
| n | Zero at x=nπ1 |
|---|
| 1 | ≈0.3183 |
| 2 | ≈0.1592 |
| 3 | ≈0.1061 |
| 4 | ≈0.0796 |
The zeros crowd endlessly toward the origin. The value ±1 is reached at x=(2n+1)π2, the rightmost crest being (π2,1)≈(0.637,1).
Why the limit fails to exist
Consider the limit as x→0. Two sequences tending to 0 head for different destinations.
xnxn′=(4n+1)π2→0,sinxn1=1=(4n+3)π2→0,sinxn′1=−1 The limit as x→0 therefore does not exist, and neither one-sided limit exists either.
What kind of discontinuity
The values stay between −1 and 1, so the y-axis is not a vertical asymptote.
| Function | Behavior as x→0 | Kind of discontinuity |
|---|
| x1 | diverges | infinite |
| arctanx1 | one-sided limits ±2π | jump |
| sinx1 | no one-sided limits | oscillatory |
Of the classification of discontinuities, this is the most intractable kind1.
Behavior on the right
The derivative is as follows.
y′=−x2cosx1 For x>π2 we have x1<2π, so cosx1>0 and y′<0: the function decreases steadily. As x→∞ we get x1→0 and hence y→0, making the x-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] is about 2πa1, which grows without bound as a 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 −1≤y≤1 of the y-axis to the following set produces the topologist's sine curve2.
{(x,sinx1):0<x≤1} 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.
- Classification of discontinuities, Wikipedia
- Topologist's sine curve, Wikipedia