Solution pour le challenge n° 35

Solution pour le challenge 35

On pose pour tout $n\in\mathbb{N}^{\star}$ :

$H_{n}=\sum_{k=1}^{n}\frac{1}{k}$

et l’on s’intéresse au calcul de :

$K_{n}=\sum_{p=1}^{n}\left(\sum_{k=p}^{n}\frac{1}{k}\right)^{2}+\sum_{k=1}^{n}\frac{1}{k}$

c’est-à-dire de :

$K_{n}=H_{n}+\sum_{p=1}^{n}\left(H_{n}-H_{p-1}\right)^{2}$

où l’on a posé $H_{0}=0.$

Pour commencer, notons :

$S_{n}=\sum_{p=1}^{n}H_{p}\quad\text{et}\quad T_{n}=\sum_{p=1}^{n}H_{p}^{2}$

et calculons plus simplement ces deux sommes.

Pour $S_{n},$ on intervertit deux $\sigma$ sur un domaine triangulaire :

$\begin{eqnarray*}S_{n} & = & \sum_{p=1}^{n}\sum_{k=1}^{p}\frac{1}{k}\\& = & \sum_{k=1}^{n}\sum_{p=k}^{n}\frac{1}{k}\\& = & \sum_{k=1}^{n}\frac{n-k+1}{k}\end{eqnarray*}$

Ainsi :

$\boxed{S_{n}=\left(n+1\right)H_{n}-n}$

Pour $T_{n},$ on effectue une transformation d’Abel du type :

$\displaystyle{\sum_{p=1}^{n}\left(\alpha_{p+1}-\alpha_{p}\right)X_{p}}$
$\displaystyle{\alpha_{n+1}X_{n}-\alpha_{1}X_{1}+\sum_{p=2}^{n}\alpha_{p}\left(X_{p-1}-X_{p}\right)}$

ce qui donne, en remplaçant $\alpha_{p}$ et $X_{p}$ par $p$ et $H_{p}^{2}$ respectivement :

$\displaystyle{T_{n}=\sum_{p=1}^{n}\left(\left(p+1\right)-p\right)H_{p}^{2}}$
$\displaystyle{=-1+\left(n+1\right)H_{n}^{2}+\sum_{p=2}^{n}p\left(H_{p-1}^{2}-H_{p}^{2}\right)}$

Or, pour tout $p\geqslant2$ :

$\displaystyle{H_{p-1}^{2}-H_{p}^{2}=\left(H_{p-1}-H_{p}\right)\left(H_{p-1}+H_{p}\right)}$
$\displaystyle{=-\frac{1}{p}\left(2H_{p}-\frac{1}{p}\right)}$

donc :

$\displaystyle{T_{n}=\left(n+1\right)H_{n}^{2}-1+\sum_{p=2}^{n}\left(\frac{1}{p}-2H_{p}\right)}$
$\displaystyle{=\left(n+1\right)H_{n}^{2}-1+\left(H_{n}-1\right)-2\left(S_{n}-1\right)}$
$\displaystyle{=\left(n+1\right)H_{n}^{2}+H_{n}-2\left(\left(n+1\right)H_{n}-n\right)}$

soit finalement :

$\displaystyle{\boxed{T_{n}=\left(n+1\right)H_{n}^{2}-\left(2n+1\right)H_{n}+2n}}$

A présent, on combine le tout (rappelons qu’on a posé $H_{0}=0$ ) :

$\displaystyle{K_{n} = H_{n}+\sum_{p=1}^{n}\left(H_{n}-H_{p-1}\right)^{2}}$
$\displaystyle{=H_{n}+\sum_{p=1}^{n}\left(H_{n}^{2}-2H_{n}H_{p-1}+H_{p-1}^{2}\right)}$
$\displaystyle{=H_{n}+nH_{n}^{2}-2H_{n}S_{n-1}+T_{n-1}}$