Intereting Posts

Why does this ratio of sums of square roots equal $1+\sqrt2+\sqrt{4+2\sqrt2}=\cot\frac\pi{16}$ for any natural number $n$?
Is the collection of finite subsets of $\mathbb{Z}$ countable?
Explanation/How to use the Lattice isomorphism theorem
Lipschitz condition on a second order nonlinear ODE?
Binomial coefficients based question
Cover time chess board (king)
Calculating $\sum_{k=0}^{n}\sin(k\theta)$
Prove ${\large\int}_{-1}^1\frac{dx}{\sqrt{9+4\sqrt5\,x}\ \left(1-x^2\right)^{2/3}}=\frac{3^{3/2}}{2^{4/3}5^{5/6}\pi }\Gamma^3\left(\frac13\right)$
sum of polynoms of given property
The identity map on a tangent space
CDF related to sampling with replacement
Analyticity: Uniform Limit
Volterra integral equation with variable boundaries
Prove that if $a^n\mid b^n$ then $a\mid b$
What is the outer measure of Vitali set?

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$

- Limit of $a_n = \sum\limits_{k=1}^{n} \left(\sqrt{1+\frac{k}{n^2}}-1\right)$
- Integer solutions of the equation $x^2+y^2+z^2 = 2xyz$
- Is $\int_a^{b}f(x) dx = \lim_{k\rightarrow \infty } \int_a^{b_k}f(x)$?
- What's the difference between early transcendentals and late transcendentals?
- How to Double integrals
- How to evaluate $\int_{0}^{\infty}\exp(-x^2-1/x^2)dx$?
- How can I solve this triple integral $\iiint_{B} y\;dxdydz$ on a defined set?
- Three-variable system of simultaneous equations
- Definite Integral $\int_0^{\pi/2} \frac{\log(\cos x)}{x^2+\log^2(\cos x)}dx = \frac{\pi}{2}\left(1-\frac{1}{\log 2}\right)$
- elementary ways to show $\zeta(-1) = -1/12$

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*}

- Volume of frustum cut by an inclined plane at distance h
- Cardinality of $H(\kappa)$
- A(nother ignorant) question on phantom maps
- How do we find specific values of sin and cos given the series definition
- If $a^m=b^m$ and $a^n=b^n$ for $(m,n)=1$, does $a=b$?
- Show $F_{n+1} \cdot F_{n-1} = F_n^2 + (-1)^n$ for all $n \in \mathbb{N}$
- Finding range of $m$ in $x^2+mx+6$.
- $\int_{1}^{\infty} h(x)\ dx$ converges $\Rightarrow$ $h$ is bounded in $[1, \infty)$
- Is the geometric dot product formula equal to the algebraic one and how can I get one from the other in a step by step fashion ?
- Creating intuition about Laplace & Fourier transforms
- $x_n$ is the $n$'th positive solution to $x=\tan(x)$. Find $\lim_{n\to\infty}\left(x_n-x_{n-1}\right)$
- Spectrum of the derivative operator
- Show that ${(F_n^2+F_{n+1}^2+F_{n+2}^2)^2\over F_{n}^4+F_{n+1}^4+F_{n+2}^4}=2$
- Why are linear functions linear?
- Prove that $\frac{a^2}{a + b} + \frac{b^2}{b + c} + \frac{c^2}{c + a} \ge \frac{3}{2}$