[論文レビュー] The best bounds of harmonic sequence

Chao-Ping Chen, Feng Qi|arXiv (Cornell University)|Jun 16, 2003

Mathematical Approximation and Integration参考文献 3被引用数 11

ひとこと要約

本稿は、ディガマ関数およびトライガマ関数の性質を用いて、調和級数とその対数近似からオイラー定数を引いた差の、既知で最も鋭い上限と下限を確立する。不等式における最良の定数は $\frac{1}{1-\gamma}-2 \approx 0.3653$ および $\frac{1}{3}$ であり、これにより先行研究を精緻化し、Franel型不等式における定数の最適性に関する未解決問題を解決する。

ABSTRACT

For any natural number $n\in\mathbb{N}$, $ \frac{1}{2n+\frac1{1-γ}-2}\le \sum_{i=1}^n\frac1i-\ln n-γ

研究の動機と目的

• 序列 $\sum_{i=1}^{n}\frac{1}{i} - \ln n - \gamma$ の最良の下限および上限を特定すること。
• トーティとマーレが提起したFranel型不等式における定数の最適性に関する第二の問題を解決すること。
• Franelの不等式などの既存の不等式を、境界における定数の改善によって精緻化すること。
• ビネの公式および漸近展開を用いて、ディガマ関数およびトライガマ関数のための新たな二重不等式を確立すること。

提案手法

• 対数ガンマ関数の第一ビネの公式を用いて、ディガマ関数の積分表現を導出する。
• オイラー＝マクローリンの和公式および $x \to \infty$ のときの $\psi(x)$ の漸近展開 $\psi(x) = \ln x - \frac{1}{2x} - \frac{1}{12x^2} + O(x^{-4})$ を適用する。
• 級数展開および積分表現を用いて、$\psi(x+1) - \ln x$ および $\psi'(x+1)$ に対する鋭い不等式を導出する。
• 関数 $\phi(x) = \frac{1}{\psi(x+1) - \ln x} - 2x$ を導入し、$x > \frac{12}{5}$ で厳密に単調減少であることを証明する。これにより境界解析が可能になる。
• 極限 $\lim_{x \to \infty} \phi(x) = \frac{1}{3}$ および $\phi(1) = \frac{1}{1 - \gamma} - 2$ を評価し、極値を特定する。
• ベルヌーイ多項式および級数展開を用いた厳密な積分推定を用いて、剰余項の符号不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての $n \in \mathbb{N}$ に対して $\frac{1}{2n + a} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + b}$ が成り立つような最良の定数 $a$ と $b$ は何か？
• RQ2 上界における定数 $\frac{1}{3}$ は、不等式を破らない範囲でより大きな値に改善可能か？
• RQ3 下界における定数 $\frac{1}{1 - \gamma} - 2$ は最適か？ より小さい値に置き換え可能か？
• RQ4 ディガマ関数およびトライガマ関数の漸近展開は、より鋭い境界を導出するためにどのように寄与するか？
• RQ5 関数 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ の単調性は、最良の境界を確立するために果たす役割は何か？

主な発見

• 最良の下限定数は $\frac{1}{1 - \gamma} - 2 \approx 0.36527211862544155$ であり、最適である：これより小さい値に置き換えることは不可能である。
• 最良の上限定数は $\frac{1}{3}$ であり、最適である：不等式を破らない範囲でこれより大きな値に置き換えることは不可能である。
• 序列 $\phi(n) = \frac{1}{\psi(n+1) - \ln n} - 2n$ は $n \in \mathbb{N}$ で厳密に単調減少であり、$\phi(1) = \frac{1}{1 - \gamma} - 2$ および $\lim_{n \to \infty} \phi(n) = \frac{1}{3}$ を満たす。
• すべての $n \in \mathbb{N}$ に対して不等式 $\frac{1}{2n + \frac{1}{1 - \gamma} - 2} \leq \sum_{i=1}^{n} \frac{1}{i} - \ln n - \gamma < \frac{1}{2n + \frac{1}{3}}$ が成り立ち、下限では等号が極限でのみ成立する。
• 本稿では、積分表現および級数展開を用いて、ディガマ関数およびトライガマ関数のための新たな二重不等式を確立する。
• 結果として、トーティ＝マーレ問題における定数の最適性が確認され、彼らの予想の第二部が肯定的に解決された。