3

Consider the sequence $f_n(x)$ defined by $f_0(x) = \sin x$, $f_1(x) = \sin\cos x$, $f_2(x) = \sin\cos\sin x$, and so on. One can check that $f_n(x)$ converges to a constant, say $N_p$.

My question is what might be the value of $N_p$? By brute force I got $N_p=0.69481969\ldots.$

  • For the iterations of cos, for instance, you can draw a cobweb diagram and you'll see that the value cos(cos(.....(x)...) approaches (for any value of x) the solution of x=cos(x). Which is about 0.74. – Frank Nov 26 '17 at 12:40
  • It does not exist for $$\sin\sin\sin\sin\cdots(x)$$ – neonpokharkar Nov 26 '17 at 12:51
  • What about$$\tan\tan\tan\tan\cdots(x)$$ here we eventually end up at$$\tan(\infty)$$for the most points – neonpokharkar Nov 26 '17 at 12:59
  • @neonpokharkar The fixed point theorem states that on the interval $M$ there is a value such that $f(x)=x$ if $f$ is a contraction mapping, that is there exists a constant $0\leq k<1$ such that for any $a,b\in M$ it happens that $|f(a)-f(b)|\leq k|a-b|$. The solution to $f(x)=x$ can be found iterating the function as you did with $\cos x$. You get closer and closer to the value where $\cos x=x$. Indeed $$\cos 0.7390851332151607 \approx 0.7390851332151607$$ $\sin x$ and $\tan x$ are not contraction mappings on $(0,\pi/2)$ – Raffaele Nov 26 '17 at 13:49
  • If you find this interesting I asked related question some time ago: https://math.stackexchange.com/q/2482637/471959 you may be interested in this – ℋolo Nov 26 '17 at 13:54
  • To improve readability of the post I have removed some images and reworded. Please include images in another format that is not screenshots. – Pedro Nov 26 '17 at 15:37
  • 2
    Incidentally, the sequence $f_n(x)$ never converges. While the even terms will converge to $0.69482...$, the odd terms will converge to $0.76817...$ instead, so the limit doesn't exist. –  Nov 26 '17 at 16:16
  • 1
    ... although I see that the meaning of the question was changed slightly in the edit, and the question was originally just looking at repeated composites whose outermost function was $\sin$. –  Nov 26 '17 at 16:19
  • Yes, exactly @Hurkyl – neonpokharkar Nov 26 '17 at 18:17

3 Answers3

4

Why does $\sin\left(\cos(\ldots\sin(\cos(x)))\right)$ converge to a constant?

Fixed Points.

It's easier to represent this sequence as follows: $x_0=0,x_{n+1}=\sin(\cos(x_n))$. The value this sequence converges to is called a fixed point. A fixed point, $x$, of the function $f$, is a value such that $f(x)=x$. In your case, $f(x)=\sin(\cos(x))$. The fixed point could be interpreted, with the figure below, where the red curve is $y=f(x)$ and the blue line is $y=x$. The point of intersection of the line and the curve is the fixed point. This could give one possible explanation for the fixed point: the red curve lies above the blue curve to the left of the intersection, but lies below the blue curve to the right of the intersection.* In other words, since $f(0)>0$ but $f(1)<1$, there is a fixed point in the interval $(0,1)$.

enter image description here

Relation to Roots of Functions.

If $f(x)=x$, at the fixed point, then $f(x)-x=0$. We can name a new function, $g(x)=f(x)-x$. Hence, another interpretation of the fixed point is the value of $x$, which is a root of the function $g(x)$. The graph of $y=g(x)$ is shown in green below. This way of describing the fixed point is directly related to the formulation before, but now, the fixed point is the intersection of the green curve with the $x$-axis. And, similarly to before, since $g(0)>0$ but $g(1)<0$, there's a fixed point in the interval $(0,1)$.* Since fixed points are equivalent to a root-finding problem, it's possible to use more sophisticated root-finding algorithms to find the value of the fixed point. The algorithm in question will depend on properties of the function, such as continuity and differentiability. It may also be possible to generate an infinite series for the fixed point by the Lagrange Inversion Theorem.

enter image description here

Dottie Number.

The fixed point of the sequence $x_0=0,x_{n+1}=\cos(x_n)$ has very similar properties to the fixed point we've been discussing; the only real difference being the function and value in question. The fixed point of $x_{n+1}=\cos(x_n)$ is called the Dottie Number.

Computation of the Fixed Points.

A simple python3 code to generate the fixed point is as follows:

import math as m
x=0
t=0
n=0
N=100
while n<N:
    x=m.sin(m.cos(x))
    t=m.sin(t)
    n=n+1
print(x,t)

This code generates the first fixed point as $x\approx 0.6948196907307875$ and the second one as $x\approx 0.7390851332151607$. These values are listed in the OEIS as sequence A131691 and sequence A003957, respectively.

Attractors.

Not only are the values fixed point but, as shown in your graph, they're also attractor. Attractors are values that the system evolves towards. For both sequences, for any real $x_0$ we use, we'll approach the same fixed point.


* These statements are reliant on the fact that curves in question are continuous.

Jam
  • 10,325
2

If the iterates $x_{n+1}=f(x_n)$ converge to a constant $x$, then this constant is a solution of the equation

$$x=f(x).$$

Using a numerical solver,

$$x=\sin\cos x,$$

$$x=0.6948196907308\cdots$$

Note that such a behavior is pretty common (I mean convergence to a constant) and is studied by the Fixed-Point Theorem. It is not at all specific to trigonometric functions.

1

As for the sequence $a_0=x,\ a_n=\cos\cos\cos\cdots x,\ n$-times, We have $\lim_{n\to\infty}a_n=V_n\implies V_n=\cos V_n\implies V_n\approx0.739...$

As for $N_s$, set $\cos\sin\cdots x=N^s$ now: $N_s=\sin N^s$ and $N^s=\cos N_s$ so $N_s=\sin\cos N_s$ thus $N_s\approx 0.694...$

ℋolo
  • 10,006