Questions tagged [euler-sums]

For questions about and related to so-called Euler Sums, that are sums having [tag:harmonic-numbers] and negative integer powers of the index as coefficients.

Classical Euler Sums are of the form

$$s(p,q)~=~\sum_{n=1}^{\infty}\frac{H_n^{(p)}}{n^q}$$

for integers $p,q$ where $H_n^{(p)}$ is a generalized harmonic number. The value $p+q$ is called the weight of the Euler Sum. Closed-forms are known for $p=1$ and $q\geq2$, for $p=q$ and $p+q\geq4$, for $p+q\geq5$ and $q\geq2$ and for some exceptional cases.

For $p=1$ and $q\geq2$ we have Euler's formula

$$\sum_{n=1}^\infty\frac{H_n}{n^q}~=~\left(1+\frac q2\right)\zeta(q+1)+\sum_{k=1}^{q-2}\zeta(k+1)\zeta(q-k)$$

For $p=q$ and $p+q\geq4$ we have

$$\sum_{n=1}^\infty\frac{H_n^{(p)}}{n^p}~=~\frac12\left(\zeta(2p)+\zeta^2(p)\right)$$

Inconsistently, generalizations as attaching extra coefficients, e.g. $2^{-n}$, or an alternating sign $(-1)^n$ are also referred to as Euler Sums.

References

http://mathworld.wolfram.com/EulerSum.html

57 questions
881
votes
59 answers

Different ways to prove $\sum_{k=1}^\infty \frac{1}{k^2}=\frac{\pi^2}{6}$ (the Basel problem)

As I have heard people did not trust Euler when he first discovered the formula (solution of the Basel problem) $$\zeta(2)=\sum_{k=1}^\infty \frac{1}{k^2}=\frac{\pi^2}{6}$$ However, Euler was Euler and he gave other proofs. I believe many of you…
145
votes
16 answers

Proving an alternating Euler sum: $\sum_{k=1}^{\infty} \frac{(-1)^{k+1} H_k}{k} = \frac{1}{2} \zeta(2) - \frac{1}{2} \log^2 2$

Let $$A(p,q) = \sum_{k=1}^{\infty} \frac{(-1)^{k+1}H^{(p)}_k}{k^q},$$ where $H^{(p)}_n = \sum_{i=1}^n i^{-p}$, the $n$th $p$-harmonic number. The $A(p,q)$'s are known as alternating Euler sums. Can someone provide a nice proof that $$A(1,1) =…
89
votes
9 answers

Generalized Euler sum $\sum_{n=1}^\infty \frac{H_n}{n^q}$

I found the following formula $$\sum_{n=1}^\infty \frac{H_n}{n^q}= \left(1+\frac{q}{2} \right)\zeta(q+1)-\frac{1}{2}\sum_{k=1}^{q-2}\zeta(k+1)\zeta(q-k)$$ and it is cited that Euler proved the formula above , but how ? Do there exist other proofs…
29
votes
4 answers

Calculating alternating Euler sums of odd powers

Definition $$\mathbf{H}_{m}^{(n)}(x) = \sum_{k=1}^\infty \frac{H_k^{(n)}}{k^m} x^k\tag{1}$$ We define $$\mathbf{H}_{m}^{(1)}(x) = \mathbf{H}_{m}(x)=\sum_{k=1}^\infty \frac{H_k}{k^m} x^k \tag{2}$$ Note the alternating general…
14
votes
2 answers

An attempt to prove the generalization of $\sum_{n=1}^\infty \frac{(-1)^nH_n}{n^{2a}}$

The following classical generalization $$\sum_{n=1}^\infty\frac{(-1)^{n}H_n}{n^{2a}}=-\left(a+\frac 12\right)\eta(2a+1)+\frac12\zeta(2a+1)+\sum_{j=1}^{a-1}\eta(2j)\zeta(2a+1-2j)$$ where…
14
votes
1 answer

A peculiar Euler sum

I would like a hand in the computation of the following Euler sum $$ S=\sum_{m,n\geq 0}\frac{(-1)^{m+n}}{(2m+1)(2n+1)^2(2m+2n+1)} \tag{1}$$ which arises from the computation of…
13
votes
1 answer

Summing three binoharmonic series

The following problem $$\sum_{n=1}^\infty\frac{2^{2n+1}H_n}{n(2n+1)^2\binom{2n}{n}}+\sum_{n=1}^\infty\frac{(H_{n-1})^2}{(2n-1)^2 2^{2n}}\binom{2n}{n}+\sum_{n=1}^\infty\frac{H^{(2)}_{n-1}}{(2n-1)^2 2^{2n}}\binom{2n}{n},$$ was proposed in 2021 by…
10
votes
1 answer

evaluation of $\sum_{n=1}^{\infty} (-1)^{n-1} \frac{H_{n} H_{n+1}^{(2)}}{(n+1)^{2}}$ and other Euler sums

I was trying to evaluate this famous integral $$\int_{0}^{1} \frac{\ln (x) \ln^{2}(1+x) \ln(1-x)}{x} \ dx $$ Here is my attempt so solve the integral \begin{align} &\int_{0}^{1} \frac{\ln (x) \ln^{2}(1+x) \ln(1-x)}{x} \ dx = 2 \int_{0}^{1} \frac{\ln…
user1313975
10
votes
6 answers

On the alternating quadratic Euler sum $\sum_{n = 1}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}$

My question is: Can a closed-form expression for the following alternating quadratic Euler sum be found? Here $H_n$ denotes the $n$th harmonic number $\sum_{k = 1}^n 1/k$. $$S = \sum_{n = 1}^\infty \frac{(-1)^n H_n H_{2n}}{n^2}$$ What I have…
10
votes
1 answer

A difficult logarithmic integral and its relation to alternating Euler Sums

The following integral was recently brought up in this thread on AoPS. $$\mathfrak I~=~\int_0^1\frac{\log(1-x)\log^2(x)\log(1+x)}{1+x}\mathrm dx\tag1$$ It is reasonable to ask for a closed-form of $(1)$ as similar (namely taking $x$ instead of…
10
votes
2 answers

Evaluate $\int_0^1 \frac{\ln (1 - x) \ln (1 + x)}{x} \, dx$

I was playing around with trying to prove the following alternating Euler sum: $$\sum_{n = 1}^\infty \frac{(-1)^n H_n}{n^2} = -\frac{5}{8} \zeta (3).$$ Here $H_n$ is the Harmonic number. At least two different proofs for this result that I could…
9
votes
1 answer

Evaluate $ \sum_{n=1}^{\infty}\frac{(-1)^{n}H_{n}^{(3)}}{2n+1}$ and $\sum_{n=1}^{\infty}\frac{(-1)^{n}H_{n}}{(2n+1)^{3}}$

I ran into an Euler sum that appears to be rather tough. Apparently, it does indeed have a closed form, so I assume it is doable. May be a false assumption, though. :) $\displaystyle…
Cody
  • 14,440
9
votes
2 answers

How to evaluate $ \int_0^1 \frac{\ln(1-x) \ln^2 x \ln^2(1+x)}{1-x} \, dx $

Question How to evaluate $$ \int_0^1 \frac{\ln(1-x) \ln^2 x \ln^2(1+x)}{1-x} \, dx $$ My attempt To evaluate the integral $$ I = \int_0^1 \frac{\ln(1-x) \ln^2 x \ln^2(1+x)}{1-x} \, dx $$ We can use a substitution to help simplify the integral.…
9
votes
1 answer

Two Euler sums each containing the reciprocal of the central binomial coefficient

Is it possible to find closed-form expressions for the following two Euler sums containing the reciprocal of the central binomial coefficient? $$1. \sum_{n = 0}^\infty \frac{(-1)^n H_n}{(2n + 1) \binom{2n}{n}} \qquad \text{and} \qquad 2. \sum_{n…
8
votes
1 answer

Did Euler guess the Basel problem’s solution to be $\frac{\pi^2}{6}$?

I've been interested in the Basel problem and its famous solution $$ \sum_{n=1}^{\infty}{\frac{1}{n^2}} = \frac{\pi^2}{6}. $$ Recently I saw this video along with a comment (highlighted from the link) stating Cool fact: Euler actually approximated…
FishDrowned
  • 1,019
1
2 3 4