A new series for π3π^3 and related congruences

preprint2015arXivOpen access

Abstract

Let Hn(2)H_n^{(2)} denote the second-order harmonic number ∑0<k≤n1/k2\sum_{0<k\le n}1/k^2 for n=0,1,2,…n=0,1,2,\ldots. In this paper we obtain the following identity: ∑k=1∞2kHk−1(2)k(2kk)=π348.\sum_{k=1}^\infty\frac{2^kH_{k-1}^{(2)}}{k\binom{2k}k}=\frac{π^3}{48}. We explain how we found the series and develop related congruences involving Bernoulli or Euler numbers; for example, it is shown that ∑k=1p−1(2kk)2kHk(2)≡−Ep−3(modp)\sum_{k=1}^{p-1}\frac{\binom{2k}k}{2^k}H_k^{(2)}\equiv-E_{p-3}\pmod{p} for any prime p>3p>3, where E0,E1,E2,…E_0,E_1,E_2,\ldots are Euler numbers. Motivated by the Amdeberhan-Zeilberger identity ∑k=1∞(21k−8)/(k3(2kk)3)=π2/6\sum_{k=1}^\infty(21k-8)/(k^3\binom{2k}k^3)=π^2/6, we also establish the congruence ∑k=1(p−1)/221k−8k3(2kk)3≡(−1)(p+1)/24Ep−3(modp)\sum_{k=1}^{(p-1)/2}\frac{21k-8}{k^3\binom{2k}k^3}\equiv(-1)^{(p+1)/2}4E_{p-3}\pmod p for each prime p>3p>3.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.