# Calculating $\lim_{n\to\infty}\sqrt{n}\sin(\sin…(\sin(x)..)$

I was asked today by a friend to calculate a limit and I am having trouble with the question.

Denote $\sin_{1}:=\sin$ and for $n>1$ define $\sin_{n}=\sin(\sin_{n-1})$. Calculate $\lim_{n\to\infty}\sqrt{n}\sin_{n}(x)$ for $x\in\mathbb{R}$ (the answer should be a function of $x$ ).

My thoughts:

It is sufficient to find the limit for $x\in[0,2\pi]$ , and it is easy to find the limit at $0,2\pi$ so we need to find the limit for $x\in(0,2\pi)$.

If $[a,b]\subset(0,\pi)$ or $[a,b]\subset(\pi,2\pi)$ we have it that then $$\max_{x\in[a,b]}|\sin'(x)|=\max_{x\in[a,b]}|\cos(x)|<\lambda\leq1$$ hence the map $\sin(x)$ is a contracting map.

We know there is a unique fixed-point but since $0$ is such a point I deduce that for any $x\in(0,2\pi)$ s.t $x\neq\pi$ we have it that $$\lim_{n\to\infty}\sin_{n}(x)=0$$

So I have a limit of the form "$0\cdot\infty$" and I can't figure out any way on how to tackle it.

Can someone please suggest a way to find that limit ?

Note: I am unsure about the tags, please change them if you see fit.

-
35 minutes. // Are you sure that This result is in paper X is a better answer than an actual (basic and complete) proof? – Did Jan 12 at 10:11
@did - Having looked at the proof at the book I thought there is no "easy" solution for my question and since the answer is complete I accepted it (I accepted it before there were any other answers and I saw no reason to delay on accepting the answer). I have changed the accepted answer since the other answer given is more basic and complete, as you stated (and I agree). – Belgi Jan 12 at 19:13
Moral: wait longer before accepting an answer. – Did Jan 12 at 19:28
Possible duplicate of math.stackexchange.com/questions/3215/… – Eric Jan 12 at 21:00
show 2 more comments

## 2 Answers

I will deal with the case when $x_0 \in (0,\pi)$ If $x_0 \in (0,\pi)$ and $x_{n+1} = \sin x_n$, for $n \geq 0$ then $x_1 \in (0,1] \subseteq (0,\pi/2)$, and it is easy to see that from that point onwards, $0<x_{n+1}<x_{n}$ and hence $x_n$ converges to a fixed point of $\sin$ which has to be $0$.

We have $$\dfrac{1}{\sin^2 x} - \dfrac{1}{x^2} = \dfrac{x-\sin x}{x^3} \times \dfrac{x}{\sin x} \times \left(\dfrac{x}{\sin x} + 1\right) \to \dfrac{1}{3}$$ as $x \to 0$.

This implies, putting $x = x_n$ $$\dfrac{1}{x_{n+1}^2} - \dfrac{1}{x_n^2} \to \dfrac{1}{3}$$.

The Ceasaro mean of above, $$\dfrac{1}{n}\sum_{i=0}^{n-1}\left(\dfrac{1}{x_{i+1}^2} - \dfrac{1}{x_i^2}\right) = \dfrac{1}{n}\left(\dfrac{1}{x^2_{n}} -\dfrac{1}{x^2_0}\right)$$ must also converge to $\dfrac{1}{3}$ and since $x_n > 0$, $\sqrt{n} x_n \to \sqrt{3}$.

-
 (+1) Excellent answer! You may wish to correct a typo in the bottom line: the $x_1$ should be squared. – John Bentin Jan 12 at 10:14 Thanks, I corrected the answer. – ACARCHAU Jan 12 at 15:41

De Bruijn proves this asymptotic for the sine's iterates:

$$\sin_n x \thicksim \sqrt{\frac{3}{n}}$$

Now we have:

$$\lim_{n\to\infty} \sqrt{n} \sin_{n}{x}$$

We have $n\to\infty$.

$$\lim_{n\to\infty} \sqrt{n} \sqrt{\frac{3}{n}}$$

$$\lim_{n\to\infty} \sqrt{3} = \sqrt{3}$$

It is interesting to note that this result is independent of $x$. (As De Bruijn notes, G. Polya and G. Szegu prove a weaker result, namely, exactly this limit.)

This is only true for $x \in \left(0, \pi\right)$. For $x = 0$, the limit is $0$. For $x = \pi$, the limit is likewise, $0$.

For $\sin x$ negative, the limit goes to $-\sqrt{3}$. A proof follows. Note that the sine function is odd, that is:

$$\sin_n (-x) = -\sin_n x$$

Now, we have:

$$\lim_{n\to\infty} \sqrt{n} \sin_n (-x)$$

Or:

$$-\lim_{n\to\infty} \sqrt{n} \sin_n (x)$$

Which we know to be $\sqrt{3}$, so:

$$-\sqrt{3}$$

As a final summary ($k \in \mathbb{Z}$):

$$\begin{cases} 0 & \mbox{if } x = k\pi \\ -\sqrt{3} & \mbox{if } x \in (2 \pi k - \pi, 2 \pi k) \\ \sqrt{3} & \mbox{if } x \in (2 \pi k, \pi + 2 \pi k) \\ \end{cases}$$

-
 Thanks for the answer, for what values of $x$ is this valid ? for example for $x=0$ it is not valid – Belgi Jan 12 at 1:01 @Belgi $x= \pi/2$ it is valid. I would assume $x \in (0, \pi)$. – user17762 Jan 12 at 1:02 From the text it seems that it is valid for \$0
show 10 more comments