Euler Sums系列(三)
\[\Large\sum_{n=1}^{\infty}\frac{\left(H_{n}^{(2)}\right)^{2}}{n^{2}}=\frac{19}{24}\zeta(6)+\zeta^{2}(3)\]
\(\Large\mathbf{Proof:}\)
We use the Abel's rearrangement over the \(N\)-th partial sum of the series,
\[\begin{align*}\sum\limits_{n=1}^{N}\frac{\left(H_n^{(2)}\right)^2}{n^2} &= \sum\limits_{n=1}^{N-1} \left[\left(H_n^{(2)}\right)^2-\left(H_{n+1}^{(2)}\right)^2\right]\sum\limits_{k=1}^{n}\frac{1}{k^2}+\left(H_N^{(2)}\right)^2\sum\limits_{k=1}^{N} \frac{1}{k^2}\\&= \left(H_N^{(2)}\right)^3 - \sum\limits_{n=0}^{N-1} \frac{\left(H_n^{(2)}+H_{n+1}^{(2)}\right)H_n^{(2)}}{(n+1)^2}\\
&= \left(H_N^{(2)}\right)^3 - \sum\limits_{n=1}^{N} \frac{\left(2H_n^{(2)}-\dfrac{1}{n^2}\right)\left(H_n^{(2)}-\dfrac{1}{n^2}\right)}{n^2}\\&= \left(H_N^{(2)}\right)^3 - \sum\limits_{n=1}^{N} \frac{1}{n^2}\left(2\left(H_n^{(2)}\right)^2-3\frac{H_n^{(2)}}{n^2}+\frac{1}{n^4}\right)\\
&= \frac{1}{3}\left(H_N^{(2)}\right)^3+\sum\limits_{n=1}^{N}\frac{H_n^{(2)}}{n^4}-\frac{1}{3}\sum\limits_{n=1}^{N}\frac{1}{n^6}\end{align*}\]
I.e.,\(\displaystyle \sum\limits_{n=1}^{\infty}\frac{\left(H_n^{(2)}\right)^2}{n^2} = \frac{1}{3}\zeta(2)^3+\sum\limits_{n=1}^{\infty} \frac{H_n^{(2)}}{n^4}-\frac{1}{3}\zeta(6)\)
M.N.S.E showed in this answer one way of dealing with \(\displaystyle \sum\limits_{n=1}^{\infty} \frac{H_n^{(2)}}{n^4} = \zeta(3)^2 - \frac{1}{3}\zeta(6)\). Combining the results lead to,
\[\Large\boxed{\displaystyle \sum\limits_{n=1}^{\infty} \frac{\left(H_n^{(2)}\right)^2}{n^2} = \color{blue}{\zeta(3)^2 + \frac{19}{24}\zeta(6)}}\]
Euler Sums系列(三)的更多相关文章
- Euler Sums系列(六)
\[\Large\displaystyle \sum_{n=1}^{\infty}\frac{H_{2n}}{n(6n+1)}\] \(\Large\mathbf{Solution:}\) Let \ ...
- Euler Sums系列(五)
\[\Large\displaystyle \sum_{n=1}^{\infty} \frac{\widetilde{H_n}}{n^{3}}\] where \(\widetilde{H_n}\) ...
- Euler Sums系列(一)
\[\Large\sum_{n=1}^{\infty} \frac{H_{n}}{2^nn^4}\] \(\Large\mathbf{Solution:}\) Let \[\mathcal{S}=\s ...
- Euler Sums系列(四)
\[\Large\displaystyle \sum_{n=1}^\infty (-1)^n \frac{H_n}{2n+1}=\mathbf{G}-\frac{\pi}{2}\ln(2)\] \(\ ...
- Euler Sums系列(二)
\[\Large\sum_{n=0}^\infty \frac{H_{2n+1}}{(2n+1)^2}=\frac{21}{16}\zeta(3)\] \(\Large\mathbf{Proof:}\ ...
- 前端构建大法 Gulp 系列 (三):gulp的4个API 让你成为gulp专家
系列目录 前端构建大法 Gulp 系列 (一):为什么需要前端构建 前端构建大法 Gulp 系列 (二):为什么选择gulp 前端构建大法 Gulp 系列 (三):gulp的4个API 让你成为gul ...
- Web 开发人员和设计师必读文章推荐【系列三十】
<Web 前端开发精华文章推荐>2014年第9期(总第30期)和大家见面了.梦想天空博客关注 前端开发 技术,分享各类能够提升网站用户体验的优秀 jQuery 插件,展示前沿的 HTML5 ...
- MyBatis学习系列三——结合Spring
目录 MyBatis学习系列一之环境搭建 MyBatis学习系列二——增删改查 MyBatis学习系列三——结合Spring MyBatis在项目中应用一般都要结合Spring,这一章主要把MyBat ...
- MySQL并发复制系列三:MySQL和MariaDB实现对比
http://blog.itpub.net/28218939/viewspace-1975856/ 并发复制(Parallel Replication) 系列三:MySQL 5.7 和MariaDB ...
随机推荐
- Linux新建用户,切换后只显示$问题
1,执行以下命令创建一个新的用户 useradd -d /home/sam -m sam -s /bin/sh -g group -G adm,root 这个命令中指定了这个用户登录的shell 是/ ...
- Http接口安全设计
1. 完全开放 2. 基本验证 appid(企业唯一标识)+args(请求参数)->sign(摘要). 3. 时效控制 appid+args+timestamp(时间戳)->sign. ...
- Dev-Cpp/Code::Block/MinGW下使用EasyX
众所周知,EasyX是个很香的东西,但EasyX目前只支持Visual Studio,那么如果要在MinGW(Dev-Cpp和Code::Block均使用这个编译器)上使用EasyX怎么办呢? 这篇文 ...
- Error: Invalid CSS after "xxx": expected 1 selector or at-rule, was "{}"
在VSCode中编译sass文件时,出现报错:Error: Invalid CSS after "xxx": expected 1 selector or at-rule, was ...
- AcWing 872. 最大公约数
#include <iostream> #include <algorithm> using namespace std; //辗转相除法 //a和b的最大公约数 = b和(a ...
- Docker - Docker 镜像 简介
概述 简单介绍一下 docker 镜像的概念 1. 背景 复习 docker 镜像是 docker 最基础, 最重要的概念之一 所以正式使用之前, 最好有所理解和认识 2. 镜像 概述 简单描述 理解 ...
- 【经典数据结构】B树与B+树的解释
本文转载自:http://www.cnblogs.com/yangecnu/p/Introduce-B-Tree-and-B-Plus-Tree.html 前面讲解了平衡查找树中的2-3树以及其实现红 ...
- BT详解,BT原理
请参考以下链接: https://www.cnblogs.com/EasonJim/p/6601146.html
- maven版axis2调用cxf服务端开发客户端(三)
一.新建一个maven项目 二.pom.xml引入axis2依赖 <dependency> <groupId>org.apache.axis2</groupId> ...
- 题解 SP19148【INS14G - Kill them All】
SP19148[INS14G - Kill them All] 前置知识:组合数 乘法逆元 感觉其他博客讲的不是很清楚,也没有说组合数公式是怎么来的,我这样数论极菜的萌新看了好久才想明白qwq.. 还 ...