Intereting Posts

Prove that any palindrome with an even number of digits is divisible by 11.
Solving $-u''(x) = \delta(x)$
Maximum value of a function with condition
If I roll three dice at the same time, how many ways the sides can sum up to $13$?
Regarding $e$ in $\lim\limits_{x \to a}{^{\psi(x)}} = e^{\lim\limits_{x \to a}{\psi(x)}}$
Inverse Laplace transform of fraction $F(s) = \large\frac{2s+1}{s^2+9}$
Find the last digit of $77777^{77777}$
Factorials and Prime Factors
Congruent division of a shape in euclidean plane
Show there exists a sequence of positive real numbers s.t. …
Definite integral of a product of normal pdf and cdf
About the ratio of the areas of a convex pentagon and the inner pentagon made by the five diagonals
Visual proof of $\sum_{n=1}^\infty \frac{1}{n^4} = \frac{\pi^4}{90}$?
Is the power of complex number defined yet?
Bounds for $\zeta$ function on the $1$-line

Does the convergent infinite sum

$$

\sum_{n=0}^{\infty} \frac{1}{2^n + 1}

$$

have a closed form solution? Quickly coding this up, the decimal approximation appears to be $1.26449978\ldots$

- Integrating using Laplace Transforms
- Exponent of a number is a square root?
- Evaluation of $\lim\limits_{n\to\infty} (\sqrt{n^2 + n} - \sqrt{n^3 + n^2}) $
- My incorrect approach solving this limit. What am I missing?
- $\Delta u$ is bounded. Can we say $u\in C^1$?
- Possibly rotated parabola from three points
- A proviso in l'Hospital's rule
- Help minimizing function
- Why does $A\sin{k(x+c)}=a\sin{kx}+b\cos{kx}$ imply that $A=\sqrt{a^2+b^2}$ and $\tan{c}=-b/a$?
- $\forall \ x>0: \lim_{\ n\to\infty}f(a_nx)=0$, then $\lim_{\ x\to\infty}f(x)=0$

Your series can be re-written in terms of the q-polygamma function $\psi_q(z)$ which is simply the logarithmic derivative of the q-gamma function $\Gamma_q(z)$. Both of which are special functions related to the theory of q-series: $$\sum_{n=0}^\infty\frac{1}{2^n+1}=\frac{\psi_{1/4}(1)-\psi_{1/2}(1)-\ln(3)}{\ln(2)}-\frac{3}{2}$$

Also as a consequence of several papers written by Erdos your sum is irrational. Erdos investigated similar series’ when studying and also proving the irrationality of an analogous convergent series known as the “Erdős–Borwein constant” – the sum of the reciprocals of all the Mersenne numbers.

It also has several other series representations:

$$\sum_{n=0}^\infty\frac{1}{2^n+1}=\frac{1}{2}+\sum_{n=1}^\infty\frac{1}{2^n-1}-\sum_{n=1}^\infty\frac{2}{2^{2n}-1}=\frac{1}{2}-\sum_{n=1}^\infty\frac{(-1)^{n}}{2^n-1}=\frac{1}{2}-\sum_{n=1}^\infty\frac{\sum_{d\mid n}(-1)^d}{2^n}$$

$$=\frac{1}{2}+\sum_{n=1}^\infty\frac{1}{2^{n^2}}\frac{(2^n+1)}{(2^n-1)}-2\sum_{n=1}^\infty\frac{1}{4^{n^2}}\frac{(4^{n}+1)}{(4^{n}-1)}$$

$$=\frac{1}{2}+\sum_{n=1}^\infty\frac{1}{2^{n^2}}+2\sum_{n=1}^\infty\frac{1}{2^{n^2}(2^n-1)}-2\sum_{n=1}^\infty\frac{1}{4^{n^2}}-4\sum_{n=1}^\infty\frac{1}{4^{n^2}(4^{n}-1)}$$

$$=1+\frac{1}{2}\sum_{n=-\infty}^\infty\frac{1}{2^{n^2}}-\sum_{n=-\infty}^\infty\frac{1}{4^{n^2}}+2\sum_{n=1}^\infty\frac{1}{2^{n^2}(2^n-1)}-4\sum_{n=1}^\infty\frac{1}{4^{n^2}(4^{n}-1)}$$

$$=1+\frac{1}{2}\prod_{n=1}^\infty\frac{(2^{2n-1}+1)^2}{2^{6n-2}(2^{2n}-1)^{-1}}-\prod_{n=1}^\infty\frac{(2^{4n-2}+1)^2}{2^{12n-4}(2^{4n}-1)^{-1}}+\sum_{n=1}^\infty\frac{2}{2^{n^2}(2^n-1)}-\sum_{n=1}^\infty\frac{4}{4^{n^2}(4^{n}-1)}$$

Which comes from the Jacobi triple product identity.

Though in terms of computation, I would say the third series I gave which came as a result of a Lambert series identity would converge the quickest relative to the other expressions I listed:

$$\sum_{n=0}^\infty\frac{1}{2^n+1}=\frac{1}{2}+\sum_{n=1}^\infty\frac{1}{2^{n^2}}\frac{(2^n+1)}{(2^n-1)}-2\sum_{n=1}^\infty\frac{1}{4^{n^2}}\frac{(4^{n}+1)}{(4^{n}-1)}$$

Now in terms of a different “closed form” then the one at the top that uses the q-polygamma function. I would say that it’s unlikely you’re going to find another such representation in terms of anything other then a similar type of q-series based special function. Though similar lambert series’ and q series expressions can take some very nice closed form values when their input is evaluated at exponentials of scaled values of $\pi$, like the series given in the link provided by Mhenni Benghorbal.

Also on a somewhat unrelated note, the inner partial sum appearing in the third series representation I gave for your sum: $$\sum_{d\mid n}(-1)^{d}=\frac{1}{2}(-1)^n\sum_{a^2-b^2=n}_{(a,b)\in \mathbb{Z}^2}1$$

Is equivalent to one half of negative one to the $n^{th}$ power multiplied by the number of representations of $n$ as a difference of the squares of two integers.

First, you need to find the Mellin transform of the function

$$ \frac{1}{2^x+1}, $$

then just proceed with the technique in this problem.

**(Too long for comment)**

For $n \ge 1$,

$$

\frac{1}{1 + 2^n} = -\frac{(-1/2^n)}{1 – (-1/2^n)} = (-1/2^n) + (-1/2^n)^2 + (-1/2^n)^3 + (-2^n)^3 + \cdots

$$

Which is an absolutely convergent series. Thus,

\begin{align*}

\sum_{n=1}^\infty \frac{1}{1 + 2^n}

&= \sum_{n = 1}^\infty \sum_{m = 1}^\infty \frac{(-1)^m}{2^{mn}} \\

&= \sum_{N = 1}^\infty \sum_{d | N} \frac{(-1)^d}{2^N} \\

&= \sum_{N = 1}^\infty \frac{1}{2^N}\left[ \text{# of even divisors of } N- \text{# of odd divisors of } N\right] \\

\end{align*}

Letting $N = 2^k l$ where $l$ is odd, and letting $\sigma_0$ be the number of divisors function, we get

\begin{align*}

\sum_{l \text{ odd }= 1}^\infty \sum_{k = 0}^\infty \frac{1}{2^{2^k l}} \left[ k\sigma_0(l) – \sigma_0(l)\right]

&= \sum_{l \text{ odd }= 1}^\infty \sigma_0(l) \sum_{k = 0}^\infty (k-1) \left(\frac{1}{2^l}\right)^{2^k} \\

\end{align*}

- Special Orthogonal Group and Cayley-Hamilton theorem
- Can a (rational coefficient) polynomial have roots with two radicals?
- Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $
- What is an example of pairwise independent random variables which are not independent?
- Is the outer boundary of a connected compact subset of $\mathbb{R}^2$ an image of $S^{1}$?
- Hilbert's Nullstellensatz without Axiom of Choice
- Is $K=\{f\mid f\in \Pi_n , \|f\|\le 1\}$ equicontinuous or not?
- To get addition formula of $\tan (x)$ via analytic methods
- Issue with Spivak's Solution
- Why is it not true that $\int_0^{\pi} \sin(x)\; dx = 0$?
- Derivation of the formula for Ordinary Least Squares Linear Regression
- Is every function $f : \mathbb N \to \mathbb N$ a composition $f = g\circ g$?
- On an $h \times h$ square lattice, count all the paths from $(0,a)$ to $(h-1,b)$, $a,b \in $, with diagonal moves allowed
- Is a regular sequence ordered?
- distance between sets in a metric space