Help me visualize a function with infinitely many logarithms of absolute values of logarithms

633 Views Asked by At

Where and how can I plot something like this:

$$f(x)=\log(|\log(|\log(|\underbrace{\dots}_{n}\log(|x|)|)|)|)$$

Where $n\to\infty$? What would happen to the function?


I would thank both answers so far (Hagen von Eitzen and Joonas Ilmavirta), and just add in the question the graphs for $n=1\dots9$ produced with Pauls comment in the first answer:

enter image description here

Where we see that most of the plot will get covered with values that diverge, and countably many initial points that do converge, will converge to $-W(1)\approx-0.567143290409783872999968662\dots$ , where $W$ is the Lambert W Function.

2

There are 2 best solutions below

6
On BEST ANSWER

To make sense of this, we might define $f_0(x)=x$, $f_{n+1}(x)=\ln(|f_n(x)|)$, and finally $f(x)=\lim_{n\to \infty}f_n(x)$. If this should converege for any $x$ at all then certainly to a number $y$ with the property $y=\ln(|y|)$, i.e., $e^y=|y|$. This has only one solution $\approx -0.5671432904$, so that $f$ has to be constant (where it converges). However, $f$ often fails to converge, for example if we reach $0$ after finitely many iterations.

2
On

Writing $g(x)=\log(|x|)$, you are looking at the iterates of the function $g$. The only possible limit, as Hagen von Eitzen points out, is the only fixed point of $g$, namely $a\approx-0.57$.

A fixed point is called stable if for $x$ close enough to $a$ iterating $g$ brings $x$ closer and closer to $a$. The stability of the fixed point at $a$ is related to the value of $|g'(a)|$; see Wikipedia. Since $|g'(a)|\approx1/0.57>1$, the fixed point is exponentially unstable: any point $x$ close to but not exactly at $a$ moves further away from it at exponential rate.

Therefore the only way a sequence $(x_i)$ given by $x_{i+1}=g(x)$ can converge to $a$ is that $x_N=a$ for some $N$. That is, you have to hit the limit exactly after a finite number of iterations. There are only countably many starting points $x_0\in\mathbb R$ that satisfy this; otherwise there is no limit.

The absolute value of the derivative of $x\mapsto\log(|x|)$ is $\approx1/0.57>1$ at the fixed point, so the fixed point is unstable. Therefore convergence to the limit is very rare even if you avoid zero: you have to hit the fixed point after finitely many iterations. It is possible to write the set of all such initial points recursively, but I'm not sure if that gives any additional insight.

Also only countably many initial points lead you to zero so that the sequence terminates and the definition doesn't make sense. For most real numbers (cocountably many) the iterates of $g$ are well defined but don't converge.

Conclusion: The limit function is only defined in countably many points and takes the same value $a$ at every such point.