Intereting Posts

Please integrate $\int \frac{\sqrt{x}}{\sqrt{x} + \sqrt{a-x}} \, dx$
Rudin Theorem 2.41 – Heine-Borel Theorem
Matrices with entries in $C^*$-algebra
Can we prove that all eigenvalues of $A$ are positive?
Euler's Constant: The asymptotic behavior of $\left(\sum\limits_{j=1}^{N} \frac{1}{j}\right) – \log(N)$
Is the Ratio of Associative Binary Operations to All Binary Operations on a Set of $n$ Elements Generally Small?
SVD: proof of existence
What should an amateur do with a proof of an open problem?
Why do we study prime ideals?
Intuitive explanation of the tower property of conditional expectation
On Covering $\{1,\cdots,n\}$ with Unions of Small Subsets
Books in foundations of mathematical logic
when is the region bounded by a Jordan curve “skinny”?
How does the Hahn-Banach theorem implies the existence of weak solution?
What are the rules for convergence for 2 series that are added/subtracted/multiplied/divided?

We took the idea from this Ramanujan’s identity

$$\frac{1^{13}}{e^{2\pi}-1}+\frac{2^{13}}{e^{4\pi}-1}+\frac{3^{13}}{e^{6\pi}-1}+\cdots=\frac{1}{24}$$

A few examples of Ramanujan-type identities

- Evaluation of a dilogarithmic integral
- Evaluating the limit of $\sqrt{2+\sqrt{2+\sqrt{2+\cdots+\sqrt{2}}}}$ when $n\to\infty$
- Is $\sum_{n=1}^\infty \frac{\sin(2n)}{1+\cos^4(n)}$ convergent?
- What is wrong with the sum of these two series?
- A problem on continuity of a function on irrationals for $f(x) = \sum_{r_n \leq x} 1/n^2$
- Generating function for $\sum_{k\geq 1} H^{(k)}_n x^ k $

$$\sum_{n=1}^{\infty}\frac{n^3}{e^{n\pi}-1}-16\sum_{n=1}^{\infty}\frac{n^3}{e^{4n\pi}-1}=\frac{1}{16}$$

$$\sum_{n=1}^{\infty}\frac{n^7}{e^{n\pi}-1}-16^2\sum_{n=1}^{\infty}\frac{n^7}{e^{4n\pi}-1}=\frac{17}{32}$$

$$\sum_{n=1}^{\infty}\frac{n^{11}}{e^{n\pi}-1}-16^3\sum_{n=1}^{\infty}\frac{n^{11}}{e^{4n\pi}-1}=\frac{691}{16}$$

Thus, for every integer $k\ge1$, we define

$$F(k)=\sum_{n=1}^{\infty}\frac{n^{4k-1}}{e^{n\pi}-1}-16^k\sum_{n=1}^{\infty}\frac{n^{4k-1}}{e^{4n\pi}-1}$$

**Question: What is a closed form for this Ramanujan type function $F(k)$?**

We believe that this involves only some rational closed form.

- Longest known sequence of identical consecutive Collatz sequence lengths?
- Using the Banach Fixed Point Theorem to prove convergence of a sequence
- Is there any mathematical or physical situations that $1+2+3+\ldots\infty=-\frac{1}{12}$ shows itself?
- Find the value of $\lim_{n\to \infty}\sum_{k=0}^n\frac{x^{2^k}}{1-x^{2^{k+1}}}$.
- limits of sequences exponential and factorial: $a_n=e^{5\cos((\pi/6)^n)}$ and $a_n=\frac{n!}{n^n}$
- Ordered binary sequences of length n with no two consecutive 0's without using recursion
- An exotic sequence
- Calculation of a strange series
- Does this double series converge?
- Intuition behind Taylor/Maclaurin Series

Suppose we seek to evaluate

$$F(p) = \sum_{n\ge 1} \frac{n^{4p-1}}{e^{\pi n}-1}

– 16^p \sum_{n\ge 1} \frac{n^{4p-1}}{e^{4\pi n}-1}.$$

These sums may be evaluated

using harmonic summation techniques.

Introduce the sum

$$S(x; p) = \sum_{n\ge 1} \frac{n^{4p-1}}{e^{nx}-1}$$

with $p$ a positive integer and $x\ge 0.$

The sum term is harmonic and may be evaluated by inverting its Mellin

transform.

Recall the harmonic sum identity

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

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

where $g^*(s)$ is the Mellin transform of $g(x).$

In the present case we have

$$\lambda_k = k^{4p-1}, \quad \mu_k = k

\quad \text{and} \quad

g(x) = \frac{1}{e^x-1}.$$

We need the Mellin transform $g^*(s)$ of $g(x)$ which is

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

= \int_0^\infty \frac{e^{-x}}{1-e^{-x}} x^{s-1} dx

\\ = \int_0^\infty \sum_{q\ge 1} e^{-q x} x^{s-1} dx

= \sum_{q\ge 1} \int_0^\infty e^{-q x} x^{s-1} dx

\\= \Gamma(s) \sum_{q\ge 1} \frac{1}{q^s}

= \Gamma(s) \zeta(s).$$

It follows that the Mellin transform $Q(s)$ of the harmonic sum

$S(x,p)$ is given by

$$Q(s) = \Gamma(s) \zeta(s) \zeta(s-(4p-1))

\\ \text{because}\quad

\sum_{k\ge 1} \frac{\lambda_k}{\mu_k^s} =

\sum_{k\ge 1} k^{4p-1} \frac{1}{k^s}

= \zeta(s-(4p-1))$$

for $\Re(s) > 4p.$

The Mellin inversion integral here is

$$\frac{1}{2\pi i} \int_{4p+1/2-i\infty}^{4p+1/2+i\infty} Q(s)/x^s ds$$

which we evaluate by shifting it to the left for an expansion about

zero.

The two zeta function terms cancel the poles of the gamma function

term and we are left with just

$$\begin{align}

\mathrm{Res}(Q(s)/x^s; s=4p) & = \Gamma(4p) \zeta(4p)

\quad\text{and}\\

\mathrm{Res}(Q(s)/x^s; s=0) & = \zeta(0) \zeta(-(4p-1)).

\end{align}$$

Computing these residues we get

$$- (4p-1)! \frac{B_{4p} (2\pi)^{4p}}{2(4p)!}

= – \frac{B_{4p} (2\pi)^{4p}}{2\times 4p}

\quad\text{and}\quad

– \frac{1}{2} \times -\frac{B_{4p}}{4p}.$$

This shows that

$$S(x;p) = – \frac{B_{4p} (2\pi)^{4p}}{8p\times x^{4p}}

+ \frac{B_{4p}}{8p}

+ \frac{1}{2\pi i} \int_{-1/2-i\infty}^{-1/2+i\infty} Q(s)/x^s ds.$$

To treat the integral recall the duplication formula of the gamma

function:

$$\Gamma(s) =

\frac{1}{\sqrt\pi} 2^{s-1}

\Gamma\left(\frac{s}{2}\right)

\Gamma\left(\frac{s+1}{2}\right).$$

which yields for $Q(s)$

$$\frac{1}{\sqrt\pi} 2^{s-1}

\Gamma\left(\frac{s}{2}\right)

\Gamma\left(\frac{s+1}{2}\right)

\zeta(s) \zeta(s-(4p-1))$$

Furthermore observe the following variant of the functional equation

of the Riemann zeta function:

$$\Gamma\left(\frac{s}{2}\right)\zeta(s)

= \pi^{s-1/2} \Gamma\left(\frac{1-s}{2}\right)

\zeta(1-s)$$

which gives for $Q(s)$

$$\frac{1}{\sqrt\pi} 2^{s-1}

\pi^{s-1/2}

\Gamma\left(\frac{s+1}{2}\right)

\Gamma\left(\frac{1-s}{2}\right)

\zeta(1-s)\zeta(s-(4p-1))

\\ =

\frac{1}{\sqrt\pi} 2^{s-1}

\pi^{s-1/2}

\frac{\pi}{\sin(\pi(s+1)/2)}

\zeta(1-s)\zeta(s-(4p-1))

\\ =

2^{s-1}

\frac{\pi^s}{\sin(\pi(s+1)/2)}

\zeta(1-s)\zeta(s-(4p-1)).$$

Now put $s=4p-u$ in the remainder integral to get

$$\frac{1}{x^{4p}}

\frac{1}{2\pi i} \int_{4p+1/2-i\infty}^{4p+1/2+i\infty}

2^{4p-1-u}

\\ \times \frac{\pi^{4p-u}}{\sin(\pi(4p+1-u)/2)}

\zeta(u-(4p-1))\zeta(1-u) x^u du

\\ = \frac{2^{4p} \pi^{4p}}{x^{4p}}

\frac{1}{2\pi i} \int_{4p+1/2-i\infty}^{4p+1/2+i\infty}

2^{u-1}

\\ \times \frac{\pi^{u}}{\sin(\pi(4p+1-u)/2)}

\zeta(u-(4p-1))\zeta(1-u) (x/\pi^2/2^2)^u du.$$

Now $$\sin(\pi(4p+1-u)/2) = \sin(\pi(1-u)/2+2\pi p)

\\ = \sin(\pi(1-u)/2) = – \sin(\pi(-1-u)/2)

= \sin(\pi(u+1)/2).$$

We have shown that

$$\bbox[5px,border:2px solid #00A000]

{S(x;p) = – \frac{B_{4p} (2\pi)^{4p}}{8p\times x^{4p}}

+ \frac{B_{4p}}{8p}

+ \frac{2^{4p} \pi^{4p}}{x^{4p}} S(4\pi^2/x;p)}.$$

In particular we get

$$S(\pi;p) = – \frac{B_{4p} 2^{4p}}{8p}

+ \frac{B_{4p}}{8p}

+ 2^{4p} S(4\pi;p)$$

and

$$S(4\pi;p) = – \frac{B_{4p} 2^{-4p}}{8p}

+ \frac{B_{4p}}{8p}

+ 2^{-4p} S(\pi;p).$$

Therefore

$$S(\pi;p)-2^{4p}S(4\pi;p) \\ =

– \frac{B_{4p} (2^{4p}-1)}{8p}

+ \frac{B_{4p}}{8p} (1-2^{4p})

+ (2^{4p} S(4\pi;p)-S(\pi;p)).$$

We finally conclude that

$$F(p) = \frac{B_{4p}}{4p} (1-2^{4p}) – F(p)$$

or

$${\large\color{green}{F(p) =

\frac{B_{4p}}{8p} (1-2^{4p})}}.$$

The first few values are

$$\frac{1}{16},{\frac {17}{32}},{\frac {691}{16}},

{\frac {929569}{64}},{\frac {221930581}{16}},\ldots$$

We can use the functional equation to extract additional sum formulae.

For example when we choose the pair

$$\sqrt{2}\pi \quad\text{and}\quad 2\sqrt{2}\pi$$

the scalar is $2^{2p}.$ The calculation starts from

$$S(\sqrt{2}\pi;p) = – \frac{B_{4p} 2^{2p}}{8p}

+ \frac{B_{4p}}{8p}

+ 2^{2p} S(2\sqrt{2}\pi;p)$$

and

$$S(2\sqrt{2}\pi;p) = – \frac{B_{4p} 2^{-2p}}{8p}

+ \frac{B_{4p}}{8p}

+ 2^{-2p} S(\sqrt{2}\pi;p).$$

Therefore

$$S(\sqrt{2}\pi;p)-2^{2p}S(2\sqrt{2}\pi;p) \\ =

– \frac{B_{4p} (2^{2p}-1)}{8p}

+ \frac{B_{4p}}{8p} (1-2^{2p})

+ (2^{2p} S(2\sqrt{2}\pi;p)-S(\sqrt{2}\pi;p)).$$

We obtain the formula

$$\sum_{n\ge 1} \frac{n^{4p-1}}{e^{\sqrt{2}\pi n}-1}

– 4^p \sum_{n\ge 1} \frac{n^{4p-1}}{e^{2\sqrt{2}\pi n}-1}

= \frac{B_{4p}}{8p} (1-2^{2p}).$$

We get for the initial values (factor is $1+2^{2p}$)

$${\frac {1}{80}},\frac{1}{32},{\frac {691}{1040}},

{\frac {3617}{64}},{\frac {5412941}{400}},\ldots$$

**Addendum.** To illustrate the creation of identities from the

functional equation we present a third example, which is

$$\sqrt{3}\pi\quad\text{and}\quad 4\pi/\sqrt{3}.$$

In this example the scalar is $2^{4p} 3^{-2p}.$

The calculation starts from

$$S(\sqrt{3}\pi;p) = – \frac{B_{4p} 2^{4p}}{8p\times 3^{2p}}

+ \frac{B_{4p}}{8p}

+ \frac{2^{4p}}{3^{2p}} S(4\pi/\sqrt{3};p)$$

and

$$S(4\pi/\sqrt{3};p) = – \frac{B_{4p} 3^{2p}}{8p\times 2^{4p}}

+ \frac{B_{4p}}{8p}

+ \frac{3^{2p}}{2^{4p}} S(\sqrt{3}\pi;p).$$

Therefore

$$S(\sqrt{3}\pi;p)-2^{4p} 3^{-2p} S(4\pi/\sqrt{3};p) \\ =

– \frac{B_{4p} (2^{4p} 3^{-2p}-1)}{8p}

+ \frac{B_{4p}}{8p} (1-2^{4p} 3^{-2p})

+ (2^{4p} 3^{-2p} S(\sqrt{3}\pi;p)-S(4\pi/\sqrt{3};p)).$$

We obtain the formula

$$\sum_{n\ge 1} \frac{n^{4p-1}}{e^{n \sqrt{3}\pi}-1}

– 2^{4p} 3^{-2p}

\sum_{n\ge 1} \frac{n^{4p-1}}{e^{n 4\pi/\sqrt{3}}-1}

= \frac{B_{4p}}{8p} (1-2^{4p} 3^{-2p}).$$

The reader is cordially invited to prove this last result by a

different method.

**Remark.** The general pattern for

$$\beta\quad\text{and}\quad 4\pi^2/\beta$$

is

$$\bbox[5px,border:2px solid #00A000]

{\sum_{n\ge 1} \frac{n^{4p-1}}{e^{n \beta}-1}

– \frac{2^{4p}\pi^{4p}}{\beta^{4p}}

\sum_{n\ge 1} \frac{n^{4p-1}}{e^{n 4\pi^2/\beta}-1}

= \frac{B_{4p}}{8p}

\left(1-\frac{2^{4p}\pi^{4p}}{\beta^{4p}}\right).}$$

Just for fun here is a way of obtaining a closed form expression for the sum (which turns out to be the correct one) by manipulating formulas with a complete disregard for divergent sums (the more divergent the better).

We start with the generating function for the Bernoulli numbers

$$\frac{x^{4k-1}}{e^{x}-1} = \sum_{j\geq 0} \frac{B_j}{j!}x^{j+4k-2}$$

Taking $x=n$ and $x=4n$ respectively we obtain

$$\frac{n^{4k-1}}{e^{n\pi}-1}-16^{k}\frac{n^{4k-1}}{e^{4n\pi}-1} = \frac{1}{\pi}\sum_{j\geq 0} \frac{B_j}{j!}\left[1-4^{j+2k-1}\right]\pi^j \cdot \frac{1}{n^{2-j-4k}}$$

Now by summing this equation over $n$, using the definition of $\zeta$-function, we get

$$\frac{1}{\pi}\sum_{j\geq 0} \frac{B_j}{j!}\left[1-4^{j+2k-1}\right]\pi^j\zeta(2-j-4k)$$

Note that the $\zeta$-argument is negative so the sum is as divergent as it’s possible to get (each term is a divergent sum), but by interpretting it using the analytical continuation of $\zeta(s)$ we can try to extract some meaning from it. The analytical continuation satisfy $\zeta(2-j-4k) = 0$ when $j$ is even and since $B_{j} = 0$ when $j$ is odd (apart from the term $j=1$ having $B_1 = – \frac{1}{2}$) the formula above reduces to

$$-\frac{1}{2}\left[1-4^{2k}\right]\zeta(1-4k)$$

Finally, by using the $\zeta$ functional equation and the relation for $\zeta(2n)$ when $n$ is an integer this simplifies to

$$\frac{B_{4k}}{8k}\left(1-4^{2k}\right)$$

Remarkably this calculation gives us the correct result (as it often does).

- Size of a union of two sets
- Is a twisted de Rham cohomology always the same as the untwisted one?
- Maximum of $|\sin(z)|$ as $\{z: |z| \leq 1 \} $
- Extension of regular function
- Proof of the Pizza Theorem
- Vanishing of the first Chern class of a complex vector bundle
- A metric space is separable iff it is second countable
- Find $\lim_{n \to \infty} \sqrt{n!}$.
- diagonalisability of matrix few properties
- Eigenvalue and Eigenvector for the change of Basis Matrix
- Manifolds with boundaries and partitions of unity
- $\lim_{n\rightarrow \infty}\int_0^1f_nhdm=\int_0^1fhdm$, prove $f\in L^p(m)$ , where $1\le p<\infty$.
- Theorem 6.11 of Rudin's Principles of Mathematical Analysis
- Asymptotic behavior of $\sum_{j=1}^n \cos^p(\pi u j)$ for large $n$ and $p$?
- The given limit is a derivative, but of what function and at what point?