2

I would like to solve the equation $x \log\log x = n$. I've seen a lot of post about the equation $x \log x$ but here I have a composition of $\log$. How can I solve it ?

Thank you very much.

Harry Peter
  • 7,819
Dingo13
  • 435
  • 1
    Numerically? There is no reason to think the inverse of $x \log(\log x)$ can be writtenn in any simpler form. Even the inverse of $x\log(x)$, which you mention, has inverse in terms of a non-elementary function, the Lambert W function. – GEdgar Apr 08 '16 at 14:19
  • There is no analytical solution, even using the Lambert $W$ function. Just numerical resolution. –  Apr 08 '16 at 14:21
  • Thanks @GEdgar. In fact I was wondering if we can use Lambert function. I prefer an asymptotic approximation, rather than a numerical resolution. – Dingo13 Apr 08 '16 at 14:21
  • 1
    The solution is the fixed point of $x\mapsto\frac{n}{\log\log x}$ hence it is quite close to $\frac{n}{\log\log n}$ or to $\frac{n}{\log\log\frac{n}{\log\log n}}$. – Jack D'Aurizio Apr 08 '16 at 14:26
  • @JackD'Aurizio Thanks very much. Can we show that $x$ is in $O\left(\frac{n}{\log \log n}\right)$? – Dingo13 Apr 08 '16 at 14:29
  • 1
    @Dingo13: sure. Since $x\log\log x=n$, $$ \frac{x\log\log n}{n} = \frac{\log\log n}{\log \log x},$$ but the function $\log\log z$ grows so slowly (its derivative is $\frac{1}{z\log z}$) that the last ratio is clearly very close to $1$. – Jack D'Aurizio Apr 08 '16 at 15:04
  • @Dingo13 I 've shown how to get very precise estimates of $x$ in my answer. – Gabriel Romon Apr 11 '16 at 13:58

2 Answers2

3

With the estimate $x=\dfrac n{\log(\log(n))}$, you have

$$\dfrac n{\log(\log(n))}\log\left(\log\left(\dfrac n{\log(\log(n))}\right)\right)=\dfrac n{\log(\log(n))}\log\left(\log(n)-\log\left(\log(\log(n))\right)\right)$$

which is asymptotically $n$.

For example, for $n=100$,

$$x=\frac{100}{\log(\log(100))}=65.4801821\cdots$$

and

$$x\ln(\ln(x))=93.684410\cdots.$$

1

Let $x_n$ denote the solution of $x \log \log x = n$. Here is an asymptotic expansion for $x_n$.

Since $x \log\log x$ is monotone increasing and goes to $\infty$, it is clear that $x_n$ is motonone increasing and $\lim_n x_n = \infty$.

Since $0=\lim_n\frac{1}{\log \log x_n}=\lim_n \frac{x_n}{n}$, we have the estimate $x_n = o(n)$

Sharpening this is easy: $\ln x_n + \ln\ln\ln x_n = \ln n$ hence $\ln x_n + o(\ln x_n) =\ln n$ and $\ln x_n = \ln n +o(\ln n)$

Plugging the last estimate in the equation $\ln x_n + \ln\ln\ln x_n = \ln n$, $$\ln x_n + \ln\ln(\ln n +o(\ln n))=\ln n\\\ln x_n + \ln\ln [\ln n(1+o(1))]= \ln n\\ \ln x_n + \ln[\ln\ln n +\ln(1+o(1))]=\ln n\\ \ln x_n + \ln[\ln\ln n +o(1)]=\ln n\\ \ln x_n + \ln\ln\ln n + o\left(\frac1{\ln\ln n} \right)=\ln n\\$$

Hence $\displaystyle x_n = \exp(\ln n)\exp(-\ln\ln\ln n))\exp\left(o\left(\frac1{\ln\ln n} \right)\right)=\frac{n}{\ln \ln n}+o\left( \frac{n}{\ln \ln n}\right)$

Plugging the estimate $\ln x_n + \ln\ln\ln n + o\left(\frac1{\ln\ln n} \right)=\ln n$ back into $\ln x_n + \ln\ln\ln x_n = \ln n$ yields an even more precise estimate, ad libitum: $$ x_n = \frac{n}{\ln \ln n} + \frac{ \ln\ln\ln n}{\ln n (\ln\ln n)^2}+o\left( \frac{ \ln\ln\ln n}{\ln n (\ln\ln n)^2}\right)$$

Gabriel Romon
  • 35,428
  • 5
  • 65
  • 157
  • With $x=e^y\Rightarrow e^y \log y=n\Rightarrow y=\log(\frac{n}{\log(y)})=g(y)\Rightarrow |g'(y)|=\frac{1}{y\log(y)}$ Check when it is smaller than 1 then it guarantees to find the attractive fixed point by iteration ? – QuantumPotatoïd Nov 18 '21 at 06:12