Skip to main content
added 2 characters in body
Source Link
Zhi-Wei Sun
  • 15.6k
  • 1
  • 20
  • 67

Question. How to prove the following three identities? \begin{align}\sum_{k=1}^\infty\frac1{k(-2)^k\binom{2k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right)=\frac{\log^22}3-\frac{\pi^2}{36}\tag{1} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k(-2)^k\binom{2k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right)=\frac{\log^22}3-\frac{\pi^2}{36},\tag{1} \end{align} \begin{align}\sum_{k=1}^\infty\frac1{k2^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =\frac{3}{10}\log^22+\frac{\pi}{20}\log2-\frac{\pi^2}{60}\tag{2} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k2^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =\frac{3}{10}\log^22+\frac{\pi}{20}\log2-\frac{\pi^2}{60},\tag{2} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k^22^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =-\frac{\pi G}2+\frac{33}{32}\zeta(3)+\frac{\pi^2}{24}\log2,\tag{3} \end{align} where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/{(2k+1)^2}$.

Remark. Motivated by my study of congruences, in 2014 I tried to evaluate the three series in $(1)$-$(3)$, and this led me to discover $(1)$-$(3)$ which can be easily checked numerically via Mathematica. But I'm unable to prove the above three identities. Also, Mathematica could not evaluate the three series. For more backgrounds of this topic, you may visit http://maths.nju.edu.cn/~zwsun/165s.pdf.

Your comments are welcome!

Question. How to prove the following three identities? \begin{align}\sum_{k=1}^\infty\frac1{k(-2)^k\binom{2k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right)=\frac{\log^22}3-\frac{\pi^2}{36}\tag{1} \end{align} \begin{align}\sum_{k=1}^\infty\frac1{k2^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =\frac{3}{10}\log^22+\frac{\pi}{20}\log2-\frac{\pi^2}{60}\tag{2} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k^22^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =-\frac{\pi G}2+\frac{33}{32}\zeta(3)+\frac{\pi^2}{24}\log2,\tag{3} \end{align} where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/{(2k+1)^2}$.

Remark. Motivated by my study of congruences, in 2014 I tried to evaluate the three series in $(1)$-$(3)$, and this led me to discover $(1)$-$(3)$ which can be easily checked numerically via Mathematica. But I'm unable to prove the above three identities. Also, Mathematica could not evaluate the three series. For more backgrounds of this topic, you may visit http://maths.nju.edu.cn/~zwsun/165s.pdf.

Your comments are welcome!

Question. How to prove the following three identities? \begin{align}\sum_{k=1}^\infty\frac1{k(-2)^k\binom{2k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right)=\frac{\log^22}3-\frac{\pi^2}{36},\tag{1} \end{align} \begin{align}\sum_{k=1}^\infty\frac1{k2^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =\frac{3}{10}\log^22+\frac{\pi}{20}\log2-\frac{\pi^2}{60},\tag{2} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k^22^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =-\frac{\pi G}2+\frac{33}{32}\zeta(3)+\frac{\pi^2}{24}\log2,\tag{3} \end{align} where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/{(2k+1)^2}$.

Remark. Motivated by my study of congruences, in 2014 I tried to evaluate the three series in $(1)$-$(3)$, and this led me to discover $(1)$-$(3)$ which can be easily checked numerically via Mathematica. But I'm unable to prove the above three identities. Also, Mathematica could not evaluate the three series. For more backgrounds of this topic, you may visit http://maths.nju.edu.cn/~zwsun/165s.pdf.

Your comments are welcome!

Source Link
Zhi-Wei Sun
  • 15.6k
  • 1
  • 20
  • 67

Evaluations of three series involving binomial coefficients

Question. How to prove the following three identities? \begin{align}\sum_{k=1}^\infty\frac1{k(-2)^k\binom{2k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right)=\frac{\log^22}3-\frac{\pi^2}{36}\tag{1} \end{align} \begin{align}\sum_{k=1}^\infty\frac1{k2^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =\frac{3}{10}\log^22+\frac{\pi}{20}\log2-\frac{\pi^2}{60}\tag{2} \end{align}\begin{align}\sum_{k=1}^\infty\frac1{k^22^k\binom{3k}k}\left(\frac1{k+1}+\ldots+\frac1{2k}\right) =-\frac{\pi G}2+\frac{33}{32}\zeta(3)+\frac{\pi^2}{24}\log2,\tag{3} \end{align} where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/{(2k+1)^2}$.

Remark. Motivated by my study of congruences, in 2014 I tried to evaluate the three series in $(1)$-$(3)$, and this led me to discover $(1)$-$(3)$ which can be easily checked numerically via Mathematica. But I'm unable to prove the above three identities. Also, Mathematica could not evaluate the three series. For more backgrounds of this topic, you may visit http://maths.nju.edu.cn/~zwsun/165s.pdf.

Your comments are welcome!