If I have a geometric progression where $x =\sqrt[j]{a}$ and then the next term is $\sqrt[x]{a}.$ How can I express this mathematically to find the $n$'th iteration of this?
Geometric progression of an $n$th root
-
0Provided you replace <16 by
– 2012-12-05
1 Answers
The question is to determine the asymptotic behaviour of a sequence $(x_n)_{n\geqslant0}$ defined by $x_0\gt0$ and $x_{n+1}=u(x_n)$ for every $n\geqslant0$, where $u:x\mapsto a^{1/x}$ for some $a\gt1$.
The function $u$ is decreasing from $u(0^+)=+\infty$ to $u(+\infty)=1$. The function $v=u\circ u$ is increasing from $v(0)=1$ to $v(+\infty)=a$ hence $1\leqslant x_n\leqslant a$ for every $n\geqslant2$, for every $x_0\gt0$. Furthermore $(x_{2n})_{n\geqslant0}$ and $(x_{2n+1})_{n\geqslant0}$ are monotone hence both these sequences converge. If their limits $\ell$ and $\ell'$ coincide, then $\ell=\ell'$ is a fixed point of $u$ (note that $u$ always has a fixed point). Otherwise, $\ell'=u(\ell)$ for some fixed point $\ell$ of $v$ not a fixed point of $u$.
When $a=16$, both cases occur, namely $2.74537$ is a fixed point of $u$ and $(2,4)$ is a $2$-cycle. When $a=2$ for example, the $2$-cycle does not occur hence $x_n\to\ell=1.55961$. Likewise, when $a=4$, $x_n\to\ell=2$. But when $a=20$, the fixed point is $2.85531$ and the $2$-cycle is $(1.50907,7.28017)$.
One can show that $u$ and $v$ have the same unique fixed point when $a\leqslant a^*$ and that $v$ has two distinct fixed points additionally to the fixed point of $u$ when $a\gt a^*$, where $a^*=\mathrm e^\mathrm e=15.15426$ (and for $a=a^*$ the fixed point is $\mathrm e=2.71828$).