27
$\begingroup$

We can see intuitively that $$ f(x)=\sin\left(\frac{\pi}{2}\sin\left(\frac{\pi}{2}\sin\left(\frac{\pi}{2}\cdots\sin{x}\cdots\right)\right)\right) $$ is the square wave with period $2\pi$ and has the value $0$ at the jumps, i.e $$ f(x)= \begin{cases} 0 & \text{if } \frac{x}{\pi}\in\mathbb{Z}\\ \mathrm{sign}(\sin{x}) & \text{otherwise} \end{cases} $$ Look at this graph of $x$ and $\sin{\frac{\pi}{2}x}$ to see why :

Graph of x and sin(pi/2*x)

But $f(x)$ is then also exactly equal to the Fourier series of the square wave with period $2\pi$ since Dirichlet conditions assure that the series converges to $0$ (the midpoint) at the jumps as do $f(x)$.

Hence we might be able to show that, $$ \sin\left(\frac{\pi}{2}\sin\left(\frac{\pi}{2}\sin\left(\frac{\pi}{2}\cdots\sin{x}\cdots\right)\right)\right)=\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\sin{(2k+1)x}}{2k+1} $$

Does anyone have an idea of how to prove this directly? Are there other Fourier series that are equal to a recursive formula of trigonometric functions?

Restated, the problem is to show that if $$ f_0(x)=\sin{x},\quad\text{and}\quad f_n(x)=\sin{\left(\frac{\pi}{2}f_{n-1}(x)\right)} $$ then, $$ \lim_{n\to\infty}{f_n(x)}=\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\sin{(2k+1)x}}{2k+1} $$

  • 0
    Perhaps you should elaborate on the meaning of "directly". This seems pretty direct to me, and I'm having a hard time imagining how it might be shown even more directly.2012-08-04
  • 0
    @joriki By *directly*, I meant cleverly use known identities to see why the equality holds without having to state that both are the square wave. Why I asked this question is because I think that it could bring light on the connection between recurrence relation of trigonometric functions and Fourier series which might gives us insight of how to find other similar identities.2012-08-04
  • 0
    [This paper](http://dx.doi.org/10.1007/BF01450008) might have something useful...2012-08-04
  • 1
    Thanks @J.M.. Unfortunately, my current lack of knowledge of the German language makes it hard for me to extract useful information. Do they investigate this kind of question in the paper?2012-08-04
  • 0
    New remark : $\frac{4}{\pi}\arctan\left(\frac{4}{\pi}\arctan(\cdots\sin x\cdots)\right)$ works also. In fact, any $g(x)$ satisfying $x for $0, $-1 for $-1 and $g(-1)=-1$, $g(0)=0$, $g(1)=1$ will work with $g(g(g(\cdots\sin x\cdots)))$. Can we find similar conditions for other Fourier Series? The sawtooth wave for example?2012-08-04
  • 1
    I like the "current" in "current lack of knowledge" :-) "Über die Iteration der ganzen transzendenten Funktionen, insbesondere von $\sin z$ und $\cos z$" means "On the iteration of the entire transcendental functions, in particular of $\sin z$ and $\cos z$" -- but you may have guessed as much already. I don't have free access to the rest of the paper.2012-08-04
  • 1
    The paper seems to be concerned mainly with properties of the set of points you get when iterating. As far as I can tell, the results are not of use for the question here.2012-08-05
  • 1
    @joriki: late but... J.M.'s (well Töpfer's) paper at [gdz](http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0117&DMDID=DMDLOG_0009&IDDOC=37617)2012-08-28

1 Answers 1