The function may be nice and important as a part of trigonometric basis, but there is nothing exciting in its graph:
Let’s look at its iterations where is the number of iterations, not an exponent. Here is the graph of :
A rectangular pattern is already visible above; further iterations only make it stronger. For example, :
It may be impossible to see on the graph, but the rectangles are slightly apart from one another (though of course they are connected by the graph of continuous function). This is easier to see on the histogram of the values for , which contains two small gaps in addition to a large one:
What goes on here? The range of on , as well as the range of any of its iterates, is of course connected: it is the closed interval . But the second iterate also has two invariant subintervals, marked here by horizontal lines:
Namely, they are and . It is easy to see that and . The gap between and contains the repelling fixed point of , approximately . Every orbit except for the fixed point itself is pushed away from this point and is eventually trapped in the cycle between and .
But there is more. A closer look at the fourth iterate reveals smaller invariant subintervals of . Here is what it does on :
Here the gap contains a repelling fixed point of , approximately . The invariant subintervals of are and . Also, contains invariant subintervals and . These are the projections of the rectangles in the graph of onto the vertical axes.
No more such splitting occurs. The histogram of the values of iterates of indeed consists of four disjoint intervals. Can one get a Cantor-type set in this way, starting from some boring function?