multiplies by . 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.
The domain is . The function turns out to be even.
The graph is therefore symmetric about the -axis, exactly as the rule that a product of two odd functions is even predicts.
From the following bound holds1.
The graph is thus confined inside the wedge formed by the lines and . Pressed toward from both sides, the limit as is . The oscillation itself never stops and its frequency never drops; only its amplitude vanishes. The curve touches the sides of the wedge at , where .
Defining 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.
This has no limit as . One line of computation separates continuity from differentiability.
| Function | Continuity at the origin | Differentiability at the origin |
|---|---|---|
| cannot be made continuous | out of the question | |
| continuous | not differentiable | |
| continuous | differentiable, with a discontinuous derivative |
Raising the power of the factor tames the behavior at the origin one step at a time.
Setting shows that the function is nothing other than the sinc function composed with a reciprocal.
Since corresponds to , we get and the line is a horizontal asymptote. All the infinitely many oscillations that sinc spreads across are compressed into the immediate neighborhood of the origin.
For we always have , and its first minimum occurs at the solution of near , where the value is about . Transferring this back, the minimum of our function is about , attained at , and the range is . The value is never reached, precisely because always holds.
The zeros are at , where , exactly the same as for . Multiplying by moves none of them, and they still accumulate at the origin.
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.