Intereting Posts

Is ${\sqrt2^{\sqrt2^{\sqrt2^{\sqrt2^\sqrt2}}}}^{…}=4$ correct?
the ratio of jacobi theta functions and a new conjectured q-continued fraction
“A Galois group is a fundamental group”?
Prove that the nuclear norm is convex
Functions between topological spaces being continuous at a point?
Given a rational number $x$ and $x^2 < 2$, is there a general way to find another rational number $y$ that such that $x^2<y^2<2$?
Klein Bottle Embedding on $\mathbb{R}^4$.
Computing a uniformizer in a totally ramified extension of $\mathbb{Q}_p$.
Can Someone approve the formula for the number of groups of order $p^2q$
reference for operator algebra
Indefinite Integral for $\cos x/(1+x^2)$
What does strength refer to in mathematics?
Graph theory software?
Finding inverse of polynomial in a field
What are the Laws of Rational Exponents?

After some calculations with WolframAlfa, it seems that

$$

\frac{\pi}{4}=1+\sum_{k=1}^{\infty}(-1)^{k}\frac{\eta(k)}{2^{k}}

$$

Where

$$

\eta(n)=\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k^{n}}

$$

is the Dirichlet Eta function.

Could it be proved that this is true, or false?

- How to derive the Golden mean by using properties of Gamma function?
- How was the difference of the Fransén–Robinson constant and Euler's number found?
- On the Paris constant and $\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\dots}}}}$?
- Two questions about Euler's number $e$
- Are my calculations of a recursive prime-generating function based on logarithms correct?
- I can't remember a fallacious proof involving integrals and trigonometric identities.

Thanks.

**ADDED:**

If we consider the Dirichlet Beta function

$$

\beta(z)=\sum_{k=0}^{\infty}\frac{(-1)^{k}}{(2k+1)^{z}}

$$

We can write this as

$$

\beta(1)=1+\sum_{k=1}^{\infty}(-1)^{k}\frac{\eta(k)}{2^{k}}

$$

**ADDED:**

I recently also noted that

$$

\frac{\pi}{4}=\sum_{k=1}^{\infty}\frac{\eta(k)}{2^{k}}

$$

So summing both of the expressions

Whe have that

$$

\frac{\pi}{2}=1+2\sum_{k=1}^{\infty}\frac{\eta(2k)}{2^{2k}}

$$

and

$$

\frac{1}{2}=\sum_{k=1}^{\infty}\frac{\eta(2k-1)}{2^{2k-1}}

$$

- An amazing approximation of $e$
- How can I prove my conjecture for the coefficients in $t(x)=\log(1+\exp(x)) $?
- Average order of $\mathrm{rad}(n)$
- Is this Dirichlet series generating function of the von Mangoldt function matrix correct?
- Polyhedral symmetry in the Riemann sphere
- Does the Abel sum 1 - 1 + 1 - 1 + … = 1/2 imply $\eta(0)=1/2$?
- Determining the coefficients of the reciprocal of a Dirichlet series
- Two Dirichlet's series related to the Divisor Summatory Function and to the Riemann's zeta-function, $\zeta(s)$
- Egyptian fraction series for $\frac{99}{70}-\sqrt{2}$
- An identity involving the Möbius function

If we can change the order of summation, we obtain

$$\begin{align}

1 + \sum_{k=1}^\infty \frac{(-1)^k}{2^k}\eta(k) &= 1 + \sum_{k=1}^\infty \frac{(-1)^k}{2^k}\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^k} \\

&= 1 + \sum_{n=1}^\infty (-1)^{n+1}\sum_{k=1}^\infty \frac{(-1)^k}{(2n)^k}\\

&= 1 + \sum_{n=1}^\infty (-1)^{n+1} \left(-\frac{1}{2n}\right)\frac{1}{1 + \frac{1}{2n}}\\

&= 1 + \sum_{n=1}^\infty \frac{(-1)^n}{2n+1},

\end{align}$$

which is the Leibniz series for $\frac{\pi}{4}$.

The convergence of the double sum is not absolute, so the change of summation requires a justification. We obtain that by a slightly more circumspect computation:

$$\begin{align}

1 + \sum_{k=1}^\infty \frac{(-1)^k}{2^k}\eta(k) &= 1 – \frac{\eta(1)}{2} + \sum_{k=2}^\infty \frac{(-1)^k}{2^k}\eta(k)\\

&= 1 – \frac{\eta(1)}{2} + \sum_{k=2}^\infty\frac{(-1)^k}{2^k}\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^k}\\

&= 1 – \frac{\eta(1)}{2} + \sum_{n=1}^\infty (-1)^{n+1}\sum_{k=2}^\infty \frac{(-1)^k}{(2n)^k}\\

&= 1 – \frac{\eta(1)}{2} + \sum_{n=1}^\infty (-1)^{n+1}\left(-\frac{1}{2n}\right)^2\frac{1}{1+\frac{1}{2n}}\\

&= 1 – \frac{\eta(1)}{2} + \sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n(2n+1)}\\

&= 1 – \sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n} + \sum_{n=1}^\infty \frac{(-1)^{n+1}}{2n(2n+1)}\\

&= 1 + \sum_{n=1}^\infty (-1)^{n+1}\left(\frac{1}{2n(2n+1)} -\frac{1}{2n}\right)\\

&= 1 + \sum_{n=1}^\infty \frac{(-1)^n}{2n+1}.

\end{align}$$

Here the change of order of summation is unproblematic, since

$$\sum_{n=1}^\infty\sum_{k=2}^\infty \frac{1}{(2n)^k} = \sum_{n=1}^\infty \frac{1}{2n(2n-1)} < \infty.$$

This question is an opportunity to showcase Mellin transforms and harmonic sums, where we first compute the Mellin transform of the sum and subsequently invert it, obtaining an asymptotic expansion about zero/infinity.

Consider $$g(x) = \frac{1}{1+x}.$$

The Mellin transform $g^*(s)$ of $g(x)$ is given by

$$g^*(s) = \mathfrak{M}(g(x); s) =

\int_0^\infty \frac{1}{1+x} x^{s-1} dx.$$

Use a keyhole contour with the slot for the key on the postive real axis to evaluate this integral, where the branch of the logarithm for $x^{s-1} = e^{\log(x) (s-1)}$ has the cut along the positive real axis and produces arguments from $0$ to $2\pi$, getting

$$ g^*(s) \left(1 – e^{2\pi i (s-1)}\right)

= 2\pi i

\operatorname{Res}\left( \frac{1}{1+x} x^{s-1} ; s=-1\right).$$

This implies

$$ g^*(s) \left(1 – e^{2\pi i s}\right)

= 2\pi i \times e^{\pi i (s-1)}.$$

Therefore we have

$$g^*(s) = 2\pi i\frac{e^{-\pi i} e^{\pi i s}}{1 – e^{2\pi i s}}

= -\pi \frac{2i e^{\pi i s}}{1 – e^{2\pi i s}}

= -\pi \frac{2i}{e^{-\pi i s} – e^{\pi i s}} = \frac{\pi}{\sin(\pi s)}.$$

Now recall the harmonic sum identity

$$\mathfrak{M}\left(\sum_{k\ge 1}\lambda_k f(\mu_k x); s\right)

= \left(\sum_{k\ge 1} \frac{\lambda_k}{\mu_k^s}\right) f^*(s).$$

Put $$\lambda_k = (-1)^{k+1}, \quad \mu_k = k

\quad\text{and}\quad f(x) = \frac{1}{1+2x}$$

so that $$\sum_{k\ge 1} \frac{\lambda_k}{\mu_k^s} = \eta(s).$$

This yields

$$\mathfrak{M}\left(\sum_{k\ge 1} (-1)^{k+1} \frac{1}{1+2kx}; s \right)

= \frac{\eta(s)}{2^s} \frac{\pi}{\sin(\pi s)}.$$

The transform of $g(x)$ has fundamental strip $\langle 0,1\rangle$ and we may apply Mellin inversion to this transform to recover an expansion about infinity of the harmonic sum. This yields

$$\sum_{k\ge 1} (-1)^{k+1} \frac{1}{1+2kx} =

-\sum_{q\ge 1}

\operatorname{Res}\left(\frac{\eta(s)}{2^s} \frac{\pi}{\sin(\pi s)}/x^s; s=q\right)

= -\sum_{q\ge 1} \frac{\eta(q)}{2^q} \frac{(-1)^q}{x^q}.$$

It follows that

$$1 + \sum_{q\ge 1} \frac{\eta(q)}{2^q} \frac{(-1)^q}{x^q} =

1 + \sum_{k\ge 1} (-1)^k \frac{1}{1+2kx} =

\sum_{k\ge 0} (-1)^k \frac{1}{1+2kx}.$$

Finally put $x=1$ to obtain that

$$ 1 + \sum_{q\ge 1} (-1)^q\frac{\eta(q)}{2^q} =

\sum_{k\ge 0} (-1)^k \frac{1}{1+2k} = \frac{\pi}{4}.$$

- Minimum degree of a graph and existence of perfect matching
- Books for Hyperbolic Geometry.
- Subgroup of $\mathbb{Q}$ with finite index
- Does there exist a continuous $g(x,t)$ such that every continuous$ f(x)$ equals $g(x,t)$ for some $t$ and all $x$??
- Why is the $L_p$ norm strictly convex for $1<p<\infty?$
- Subtraction of numbers with arbitrary bases
- Count the number of topological sorts for poset (A|)?
- No two identical ranks together in a standard deck of cards
- Lie derivative on a riemannian manifold
- Period of 3 implies chaos
- Why do statisticians like “$n-1$” instead of “$n$”?
- “Good” notation for $\hom$-functors
- Is $\int_{M_{n}(\mathbb{R})} e^{-A^{2}}d\mu$ a convergent integral?
- Product of Gamma functions II
- Generating the Borel $\sigma$-algebra on $C()$