Real zeros of sine Taylor polynomials

The more terms of Taylor series we use, the more resemblance we see between the Taylor polynomial and the sine function itself. The first-degree polynomial matches one zero of the sine, and gets the slope right. The third-degree polynomial has three zeros in about the right places.

The fifth-degree polynomial will of course have … wait a moment.

Since all four critical points are in the window, there are no real zeros outside of our view. Adding the fifth-degree term not only fails to increase the number of zeros to five, it even drops it back to the level of . How odd.

Since the sine Taylor series converges uniformly on bounded intervals, for every there exists such that . Then will have the same sign as at the maxima and minima of the latter. Consequently, it will have about zeros on the interval . Indeed, the intermediate value theorem guarantees that many; and the fact that on will not allow for extraneous zeros within this interval.

Using the Taylor remainder estimate and Stirling's approximation, we find . Therefore, will have about real zeros at about the right places. What happens when is too large for Taylor remainder estimate to be effective, we can't tell.

Let's just count the zeros, then. Sage online makes it very easy:

sineroots = [[2*n-1,len(sin(x).taylor(x,0,2*n-1).roots(ring=RR))] for n in range(1,51)]
scatter_plot(sineroots) 

The up-and-down pattern in the number of zeros makes for a neat scatter plot. How close is this data to the predicted number ? Pretty close.

scatter_plot(sineroots,facecolor='#eeee66') + plot(2*n/(pi*e),(n,1,100))

The slope of the blue line is ; the (ir)rationality of this number is unknown. Thus, just under a quarter of the zeros of are expected to be real when is large.

The actual number of real zeros tends to exceed the prediction (by only a few) because some Taylor polynomials have real zeros in the region where they no longer follow the function. For example, does this:

Richard S. Varga and Amos J. Carpenter wrote a series of papers titled Zeros of the partial sums of and in which they classify real zeros into Hurwitz (which follow the corresponding trigonometric function) and spurious. They give the precise count of the Hurwitz zeros: for the sine and for the cosine. The total number of real roots does not appear to admit such an explicit formula. It is the sequence A012264 in the OEIS.