Prove $1+\frac13 \left(1+\frac15 \left(1+\frac17 (1+\dots ) \right) \right)=\sqrt{\frac{\pi e}{2}} \text{erf} \left( \frac{1}{\sqrt{2}} \right)$

288 Views Asked by At

How to prove: $$1+\frac13 \left(1+\frac{1}{5}\left(1+\frac{1}{7}\left(1+\frac{1}{9}\left(1+\dots \right) \right) \right) \right)=\sqrt{\frac{\pi e}{2}} \text{erf} \left( \frac{1}{\sqrt{2}} \right)$$

Since we can represent the series for $e$ in a pretty form:

$$1+\frac12 \left(1+\frac{1}{3}\left(1+\frac{1}{4}\left(1+\frac{1}{5}\left(1+\dots \right) \right) \right) \right)=e-1$$

I've been trying to search closed forms for some similar expressions. For example, it's easy to see that:

$$1+\frac12 \left(1+\frac{1}{4}\left(1+\frac{1}{6}\left(1+\frac{1}{8}\left(1+\dots \right) \right) \right) \right)=\sqrt{e}$$

However, I don't know how to prove the expression in the title. Seems to be something for Ramanujan to consider.

P.S. the closed form was given by Wolfram Alpha.


See a general formula provided by Lucian in the comments.

WA also provides another general formula:

$$\sum_{n=0}^\infty \frac{1}{\prod_{k=0}^n bk+c}=e^{\frac{1}{b}} \left(\frac{1}{b} \right)^{1-\frac{c}{b}} \left( \Gamma\left(\frac{c}{b} \right) -\Gamma\left(\frac{c}{b},\frac{1}{b} \right) \right)$$

Still don't know how to prove it, but I've noticed the emergence of the hypergeometric functions in some cases, which makes it possible to transform the expression to hypergeometric series.

2

There are 2 best solutions below

1
On BEST ANSWER

Using Euler's Beta function,

$$ S = \sum_{n\geq 0}\frac{1}{(2n+1)!!} = \sum_{n\geq 0}\frac{2^n n!}{(2n+1)!} = \sum_{n\geq 0} \frac{2^n}{n!} B(n+1,n+1) \tag{1}$$ leads to: $$ S = \int_{0}^{1}\sum_{n\geq 0}\frac{\left(2x(1-x)\right)^n}{n!}\,dx = \int_{0}^{1}\exp\left(2x(1-x)\right)\,dx\tag{2}$$ and the last integral is easy to convert into the $\text{Erf}$ format through the substitution $x=\frac{1}{2}+t$.

0
On

(More of a long comment.)

Since we have the similar forms,

\begin{align} 1+\frac12 \left(1+\frac{1}{3}\left(1+\frac{1}{4}\left(1+\frac{1}{5}\Big(1+\dots \Big) \right) \right) \right) &=e-1\\ 1+\frac13 \left(1+\frac{1}{5}\left(1+\frac{1}{7}\left(1+\frac{1}{9}\Big(1+\dots \Big) \right) \right) \right) &=\sqrt{\frac{\pi e}{2}} \text{erf} \left( \frac{1}{\sqrt{2}} \right) \end{align}

then we also have the equally pretty continued fractions,

\begin{align} 1+\cfrac{2}{2+\cfrac{3}{3+\cfrac{4}{4+\ddots}}} &=e-1\\[8pt] 1+\cfrac{2/2}{2+\cfrac{3/2}{3+\cfrac{4/2}{4+\ddots}}} &=\sqrt{\frac{\pi e}{2}} \text{erf} \left( \frac{1}{\sqrt{2}} \right) \end{align}

Pedja asked for the closed-form of the second cfrac in his 2021 post. Using this insight, we can express Ramanujan's nice identity as a sum of two cfracs,

$$\sqrt{\frac{\pi\,e}{2}} =1+\cfrac{2/2}{2+\cfrac{3/2}{3+\cfrac{4/2}{4+\cfrac{5/2}{5+\ddots}}}} \; + \; \cfrac1{1+\cfrac{1}{1+\cfrac{2}{1+\cfrac{3}{1+\ddots}}}}$$

as discussed in this 2023 post.