[論文レビュー] The Sum of Certain Series Related to Harmonic Numbers

Omran Kouba|arXiv (Cornell University)|Oct 9, 2010

Mathematical functions and polynomials参考文献 2被引用数 5

ひとこと要約

本稿では、複素解析における積分表現と関数方程式を用いて、調和数 $ H_n $ を含む3つの無限級数族の明示的閉形式式を導出する。主な結果として、$ S_k $、$ T_k $、$ U_k $ の正確な和が得られ、特に $ T_k $ と $ U_k $ は $ \pi^2 $、対数の二乗、三角関数の対数和の形で表現され、調和数に関連する級数の新たな評価を提供する。

ABSTRACT

In this paper, we consider three families of numerical series with general terms containing the harmonic numbers, and we use simple methods from classical and complex analysis to find explicit formulas for their respective sums.

研究の動機と目的

• 調和数を含む3つの級数族 $ S_k $、$ T_k $、$ U_k $ の正確な閉形式式を求める。
• オヴィディウ・フルデイが提示した $ T_k $ の和に関する問題を解決し、以前は未解決であった $ S_k $ の評価を行う。
• 積分表現と関数方程式に基づく共通の手法を用いて、これらの級数を統一的に取り扱う。
• 古典的および複素解析的手法を用いて、調和数に関連する級数の新たな評価を提供する。

提案手法

• 関数 $ F(z) = \int_0^1 \frac{\log(1-t)}{z-t} dt $ を用いて、各級数に対する積分表現を導出する。ここで $ F(z) $ は $ \mathbb{C} \setminus [0,\infty) $ 上で定義される。
• 関数 $ F(z) $ に対して関数方程式を確立する：$ F(z) + F(1/z) = \frac{\pi^2}{6} - \mathrm{Log}(1-z)\mathrm{Log}(1-1/z) $。これは $ z \in \Omega $ に対して成り立つ。
• コーシーの積分定理と解析接続を用いて、$ T_k $ および $ U_k $ に関連する積分を評価し、対称性と留数に類似した議論を活用する。
• 複素対数恒等式と三角関数の評価を用いて、$ \log^2(2\sin((2j+1)\pi/(2k))) $ を含む和を簡略化する。
• 級数展開と積分変換を用いて、$ H_{kn} $ を領域 $ \Delta = \{ (x,y) : 0 \leq x < y \leq 1 \} $ 上の重積分に関連付ける。
• 恒等式 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} = -\int_0^1 \frac{ky^{k-1}}{1+y^k} \log(1-y) dy $ を用いて、和を1変数積分に還元する。

実験結果

リサーチクエスチョン

• RQ1 正の整数 $ k $ に対して、$ \sum_{n=1}^\infty \frac{\log k - (H_{kn} - H_n)}{n} $ の正確な値は何か？
• RQ2 $ \sum_{n=1}^\infty (-1)^{n-1} (\log k - (H_{kn} - H_n)) $ の和は何か？
• RQ3 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} $ の閉形式式は何か？
• RQ4 複素解析を用いて、これら3つの級数族を統一的に評価する手法を開発できるか？
• RQ5 関数 $ F(z) $ の関数方程式をどのように用いて、調和数を含む新たな級数評価を導出できるか？

主な発見

• 和 $ \sum_{n=1}^\infty \frac{\log k - (H_{kn} - H_n)}{n} = \frac{(k^2+1)\pi^2}{24k} - \frac{1}{2} \sum_{j=0}^{k-1} \log^2\left(2\sin\frac{(2j+1)\pi}{2k}\right) $ が成り立つ。
• $ k=2 $ の場合、$ \sum_{n=1}^\infty \frac{\log 2 - (H_{2n} - H_n)}{n} = \frac{\pi^2}{12} - \frac{1}{2}\log^2 2 $ である。
• $ k=3 $ の場合、$ \sum_{n=1}^\infty \frac{\log 3 - (H_{3n} - H_n)}{n} = \frac{5}{36}\pi^2 - \frac{3}{4}\log^2 3 $ である。
• $ k=4 $ の場合、$ \sum_{n=1}^\infty \frac{\log 4 - (H_{4n} - H_n)}{n} = \frac{3}{16}\pi^2 - \frac{11}{16}\log^2 4 $ である。
• 和 $ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{kn}}{n} = \frac{(k^2+1)\pi^2}{24k} - \frac{1}{2} \sum_{j=0}^{k-1} \log^2\left(2\sin\frac{(2j+1)\pi}{2k}\right) $ が成り立つ。
• $ k=5 $ の場合、$ \sum_{n=1}^\infty (-1)^{n-1} \frac{H_{5n}}{n} = \frac{13\pi^2}{60} - \frac{1}{2}\log^2 2 - 2\log^2\left(\frac{1+\sqrt{5}}{2}\right) $ である。