Nested radicals $\sqrt{C+1+b\sqrt{C+1+b^{2}\sqrt{C+1+b^{3}\sqrt{\cdot\cdot\cdot}}}}=g(x)$ then $\lim_{x\to\infty}(g(x+1)-g(x))=^?1$

Question

Well let the problem first :

Conjecture :

Let $x>M>0$, $b=\sqrt{x}$,$0<C<1$ then define : $$\sqrt{C+1+b\sqrt{C+1+b^{2}\sqrt{C+1+b^{3}\sqrt{\cdot\cdot\cdot}}}}=g(x)$$

Then it seems we have :

$$\lim_{x\to\infty}(g(x+1)-g(x))=1$$

Simulation suggest it's true .

Motivation :

I first managed to find a series converging to $a\pi$ using some propreties of the golden ratio see for example Prove $\sum_{n=1}^{\infty} \arctan\left(\frac{1}{F_n}\right) \arctan\left(\frac{1}{F_{n+1}}\right)=\frac{\pi^2}{8}$. For that I use nested radicals to find a new one if possible .My starting constant was $C=\ln\left(\frac{1+\sqrt{5}}{2}\right)$

Attempt :

I first tried to deneste the radicals using this rule Strategies to denest nested radicals $\sqrt{a+b\sqrt{c}}$ but it struggle me at the first steps .I also managed to use power series and brute force unsuccessfully.As curious idea I also dig around this On a "simplification" in the infinite product formula for cosine using :

$$\sin(x) = x\prod_{n=1}^\infty \left(1-\frac{x^2}{n^2\pi^2}\right)$$

But it's not fruitful currently .

Attempt using continued fraction :

We have see https://en.wikipedia.org/wiki/Continued_fraction :

$$\sqrt{x}=1+\frac{x-1}{1+\sqrt{x}}$$

So we have :

$$g\left(x+1\right)-g\left(x\right)=1+\frac{\left(g\left(x\right)-g\left(x+1\right)\right)^{2}-1}{1+g\left(x+1\right)-g\left(x\right)}$$

Now we recognize a kind of Steffensen's method wich is :

$$p_{n+3}=p_{n}-\frac{\left(p_{n}-p_{n+1}\right)^{2}}{p_{n+2}-2p_{n+1}+p_{n}}$$

Now I cannot pursue my idea because it leads nowhere .

An other path should be :

Choose $C=0$ then define :

$$f(x)=\sqrt{x+1},h(x)=f(\sqrt{x}f(xf(x^{3/2}f(\cdots ))$$

Then using a second derivative it seems that $\lim_{x\to\infty}h''(x)=0$

Where we can use Faa di bruno formula.

Questions :

How to (dis)prove my conjecture ? If true have you any reference ?

Answer 1

Sketch of proof :

Let's start from :

Choose $C=0$ then define :

$$f(x)=\sqrt{x+1},h(x)=f(\sqrt{x}f(xf(x^{3/2}f(\cdots ))$$

Then we have :

$$\lim_{x\to\infty}h''(x)=0$$

For a proof See Faà di Bruno formula and induction works .

Now introducing :

$$p(x)=\frac{h(x)}{x}$$

Then :

$$p''(x)=\frac{x^{2}h''\left(x\right)-2xh'\left(x\right)+2h\left(x\right)}{x^{3}}=\frac{-2xh'\left(x\right)+2h\left(x\right)}{x^{3}}$$

Then one can show for $x>M>0$:

$$h(x)\leq x^2,\lim_{x\to \infty}h'(x)=0$$

So : $$\lim_{x\to \infty}p''(x)=0$$

And :

$$\lim_{x\to \infty}p(x)=C$$

Currently I don't know how to show that $C=1$ but there are some similarities with $$\sqrt{1+x\sqrt{1+x\sqrt{1+x\sqrt{1+x\sqrt{...}}}}}$$

To be continued