y=x+sinxy = x + \sin x

Graph of the Function y=x+sinxy = x + \sin x

y=x+sinxy = x + \sin x is a straight line with a wave laid over it. It is a standard example in calculus of a function whose derivative vanishes at certain points and yet which has no extremum anywhere.

Domain and symmetry

Both the domain and the range are all of the real numbers. Since f(x)=xsinx=f(x)f(-x) = -x - \sin x = -f(x), the function is odd and the graph has rotational symmetry about the origin.

Monotonicity

The derivative is as follows.

y=1+cosxy' = 1 + \cos x

Because cosx1\cos x \geq -1 we always have y0y' \geq 0, so the function increases monotonically. It vanishes where cosx=1\cos x = -1, that is at x=(2n+1)πx = (2n+1)\pi, but those are isolated points and the increase never actually stops.

This function shows plainly that a vanishing derivative does not imply an extremum: the values keep rising through x=πx = \pi, and only the tangent line goes momentarily flat.

Inflection points

The second derivative is y=sinxy'' = -\sin x, which changes sign at every x=nπx = n\pi. The inflection points are therefore at x=nπx = n\pi, where y=nπ+sinnπ=nπy = n\pi + \sin n\pi = n\pi. All of them, the points (nπ,nπ)(n\pi, n\pi), lie on the line y=xy = x.

At odd multiples of π\pi the tangent is horizontal, while at even multiples it has slope 22, so flat and sloping inflection points alternate.

Notable points

xxyySlope of the tangent
000022
π2\dfrac{\pi}{2}π2+1\dfrac{\pi}{2} + 111
π\piπ\pi00
3π2\dfrac{3\pi}{2}3π21\dfrac{3\pi}{2} - 111
2π2\pi2π2\pi22

For every integer nn the point at x=nπx = n\pi is (nπ,nπ)(n\pi, n\pi).

Relation to the line y=xy = x

Since yx=sinxy - x = \sin x, the graph oscillates about the line y=xy = x with amplitude 11, crossing it at every x=nπx = n\pi.

The difference does not tend to 00, however, so y=xy = x is not an asymptote but merely the center line of the oscillation. The contrast with a genuine slant asymptote, as in y=x+1xy = x + \dfrac{1}{x} where the gap does vanish, is easy to see here.

Inverse function

Being continuous, strictly increasing and onto the whole real line, the function has an inverse defined for every real number. At the points corresponding to x=(2n+1)πx = (2n+1)\pi, where y=0y' = 0, the graph of that inverse has a vertical tangent.

Related curves

Changing the sign gives y=xsinxy = x - \sin x, the same curve translated. That form appears as the xx-coordinate of the cycloid1.

x=a(tsint)y=a(1cost)\begin{align*} x &= a(t - \sin t) \\ y &= a(1 - \cos t) \end{align*}

Applications

Kepler's equation M=EesinEM = E - e\sin E approaches exactly this shape for orbits whose eccentricity ee is close to 112. Finding a body's position from the time means solving numerically a function that is increasing yet has points of zero slope, and that is precisely where the computation becomes delicate.

  1. Cycloid, Wikipedia
  2. Kepler's equation, Wikipedia