5

調和数つき級数のお話

169
0
$$\newcommand{a}[0]{\alpha} \newcommand{b}[0]{\beta} \newcommand{beq}[0]{\begin{eqnarray*}} \newcommand{C}[0]{\mathbb{C}} \newcommand{ds}[0]{\displaystyle} \newcommand{eeq}[0]{\end{eqnarray*}} \newcommand{G}[1]{\Gamma({#1})} \newcommand{hp}[0]{\frac{\pi}2} \newcommand{limn}[0]{\lim_{n\to\infty}} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{sumk}[0]{\sum_{k=1}^n} \newcommand{sumn}[1]{\sum_{n={#1}}^\infty} \newcommand{Z}[0]{\mathbb{Z}} $$

次のようなことを考えてみます. $\b>\a>0$として
$$ B(n+\a,\b-\a)=\int_0^1x^{n+\a-1}(1-x)^{\b-\a-1}\,dx$$
ですので,
$$ f(z)=\sumn{0} a_nz^n$$
なる関数に対し,
$$ \beq \sumn{0} B(n+\a,\b-\a)\,a_nz^n&=&\sumn{0} a_nz^n\int_0^1x^{n+\a-1}(1-x)^{\b-\a-1}\,dx\\ &=&\int_0^1x^{\a-1}(1-x)^{\b-\a-1}\sumn{0} a_n(zx)^n\,dx\\ &=&\int_0^1x^{\a-1}(1-x)^{\b-\a-1}f(zx)\,dx \eeq$$
となります.

さらに
$$ \ds B(n+\a,\b-\a)=\frac{\Gamma(n+\a)\Gamma(\b-\a)}{\Gamma(n+\b)}$$
なので,

$$ \sumn{0}\frac{\Gamma(n+\a)}{\Gamma(n+\b)}a_nz^n=\frac1{\Gamma(\b-\a)}\int_0^1x^{\a-1}(1-x)^{\b-\a-1}f(zx)\,dx$$

と書くことができます.
${}$

この式で,
$$ a_n=H_n,\ \ \sumn{0} H_nz^n=-\frac{\log(1-z)}{1-z}$$
とし, また$\b-\a>1$としてみます. さらに簡単のため, $z=1$とします.

すると,
$$ \beq \sumn{0}\frac{\Gamma(n+\a)}{\Gamma(n+\b)}H_n&=&-\frac1{\Gamma(\b-\a)}\int_0^1x^{\a-1}(1-x)^{\b-\a-1}\frac{\log(1-x)}{1-x}\,dx\\ &=&-\frac1{\Gamma(\b-\a)}\int_0^1x^{\a-1}(1-x)^{\b-\a-2}\log(1-x)\,dx\\ &=&-\frac1{\Gamma(\b-\a)}\cdot\frac{\partial}{\partial y}B(x,y)\bigg|_{(x,y)=(\a,\ \b-\a-1)}\\ &=&\Big(\psi(\b-1)-\psi(\b-\a-1)\Big)\frac{\Gamma(\a)\Gamma(\b-\a-1)}{\Gamma(\b-\a)\Gamma(\b-1)} \eeq$$
を得ました.

$$ \sumn{0}\frac{\Gamma(n+\a)}{\Gamma(n+\b)}H_n=\Big(\psi(\b-1)-\psi(\b-\a-1)\Big)\frac{\Gamma(\a)\Gamma(\b-\a-1)}{\Gamma(\b-\a)\Gamma(\b-1)}$$

${}$

まず, 例えば両辺で$\a\to0$とすると,
$$ \sum_{n=1}^\infty\frac{\Gamma(n)}{\Gamma(n+\b)}H_n=\frac{\psi'(\b-1)}{\Gamma(\b)}$$

即ち, $\b=m$$2$以上の自然数のとき

$$ \sum_{n=1}^\infty\frac{H_n}{(n)_m}=\frac1{(m-1)!}\Big(\frac{\pi^2}6-H_{m-2}^{(2)}\Big)$$

を得ます. ただし$(n)_m=n(n+1)\cdots(n+m-1)$はポッホハマー記号, $H_{m-2}^{(2)}=\sum_{k=1}^{m-2}\frac1{k^2}$です.
${}$

次に, $\a\to0$とした後に$\beta=\frac32$としてみると,

$$ \sum_{n=1}^\infty\frac{2^{2n}H_n}{n(2n+1)\binom{\,2n\,}{n}}=\frac{\pi^2}2$$

となりました.
${}$

また,$\a=\frac12,\b=2$としてみると,

$$ \sum_{n=1}^\infty\frac{\binom{\,2n\,}{n}H_n}{2^{2n}(n+1)}=4\log2$$

という, とても面白い結果を得ることができました.
${}$

さらにもう少し考えてみます. 上で得た式

$$ \sumn{0}\frac{\Gamma(n+\a)}{\Gamma(n+\b)}H_n=\Big(\psi(\b-1)-\psi(\b-\a-1)\Big)\frac{\Gamma(\a)\Gamma(\b-\a-1)}{\Gamma(\b-\a)\Gamma(\b-1)}$$

の両辺を$\a$で微分して$\a\to0$としてみます. 計算がとても激しいので省略しますが,
$$ \sumn{1}\psi(n)\frac{\Gamma(n)}{\Gamma(n+\b)}H_n=\frac1{\G{\b}}\bigg(-\frac12\psi''(\b-1)+\Big(\frac1{\b-1}-\gamma\big)\psi'(\b-1)\bigg)$$
と計算することができます.
$$ \psi(n)=-\gamma+H_{n-1}$$
であることから, $\b=m$として
$$ \sumn{1} \frac{H_nH_{n-1}}{(n)_m}=\frac1{\G{m}}\bigg(\frac{\psi'(m-1)}{m-1}-\frac12\psi''(m-1)\bigg)$$

即ち

$$ \sumn{1} \frac{H_nH_{n-1}}{(n)_m}=\frac1{(m-1)!}\bigg(\frac{\frac{\pi^2}6-H_{m-2}^{(2)}}{m-1}+\zeta(3)-H_{m-2}^{(3)}\bigg)$$

となります.
${}$

最後に, さらに上の式を$\b$で微分してから$\b=2$とすることで,

$$ \sum_{n=1}^\infty\frac{H_{n-1}H_nH_{n+1}}{n(n+1)}=2\zeta(2)+3\zeta(3)+3\zeta(4)$$

を得ました. (計算が合っている自信がないので, 違っていたらすみません.)
${}$

では, 読んで下さった方, どうもありがとうございました.

${}$

投稿日:20201112
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

東大理数B4です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中