4

Title says it all, this is such a classical looking series,

$$\frac1{2^{2^0}} + \frac1{2^{2^1}} + \frac1{2^{2^2}} + \ldots.$$

So, I was just wondering, is there a closed form solution known for the partial sums? If so, can someone post? I've looked around a bit and haven't found a closed form solution yet.

MJD
  • 65,394
  • 39
  • 298
  • 580
user2566092
  • 26,142
  • The infinite series looks suspiciously similar to constructions of transcendental numbers with series, so I'd be surprised if there was a closed form solution for partial sums unless it involved $e$ or $\pi$ or something, but even if it did, how would it work out magically to give rational number answers for the partial sums? – user2566092 Jul 29 '13 at 15:26
  • Wolfram alpha gives the answer as 0.816422. It is obvious that it converges. – Torsten Hĕrculĕ Cärlemän Jul 29 '13 at 16:51
  • @Torsten Sure, the infinite series is bounded above by 1 and can be very well-approximated by a small handful of terms because it converges so quickly, and I might even be willing to guess that there is a closed-form expression for the infinite sum. But what about the partial sums? Basic formulas parametrized by an integer don't seem to easily capture the kind of complexity of what's going on in the partial sums for this series, hence the question. – user2566092 Jul 29 '13 at 17:09
  • Might be something related to Riemann Zeta. – Torsten Hĕrculĕ Cärlemän Jul 29 '13 at 17:35
  • 1
    Normally Roth's theorem would apply and show this sort of number transcendental, but unfortunately in this case Roth's theorem doesn't quite apply: the finite sum $s_n=\frac{p_n}{q_n}=\sum_{i=0}^n 2^{-2^{i}}$ has a denominator (in simplest terms) $q_n=2^{2^n}$ and the difference between it and the infinite sum $s_\infty=\sum_{i=0}^\infty 2^{-2^{i}}$ is bounded by $2\cdot 2^{-2^{n+1}}$ (since we can bound the tail by a geometric series with ratio $\frac12$ starting at the next term). Since $q_n^2=2^{2^{n+1}}$, these 'very good' approximations are still within the Roth bounds. – Steven Stadnicki Jul 30 '13 at 18:59
  • The series/partial series occurs when the infinite/finite product $ (1+1/2)(1+1/2^2)(1+1/2^4)(1+1/2^8)...(1+1/2^{2^k})...$ is expanded as the sum of the first order terms. For the partial product there is a rational expression, the infinite product equals 2 – Gottfried Helms Jul 31 '13 at 05:36

1 Answers1

1

I doubt there's a closed expression for it, but the partial sums arise here:

http://oeis.org/A085010

and in particular the decimal expansion of the infinite series is here:

http://oeis.org/A007404

There is a (paywall) article called "Simple continued fractions for some numbers" where the problem being considered is to find the continued fraction expansion of $\sum_{n=0}^\infty \frac{1}{U^{2^n}}$. It doesn't seem to be known how to find a closed form expression for the sum however.

Alex R.
  • 32,771