[論文レビュー] Extensions of Euler Type Sums and Ramanujan Type Sums

Ce Xu|arXiv (Cornell University)|Feb 26, 2020

Advanced Mathematical Identities参考文献 22被引用数 5

ひとこと要約

本稿では、新しいパラメトリック・ディガンマ関数を導入し、留数定理を用いたコーシー積分を応用して、オイラー型和およびラマヌジャン型恒等式を一般化する。フラジョレットとサルヴィの研究を拡張し、パラメータ付き双曲関数級数の恒等式を導出し、一般化されたシタラマチャンドララオの公式を含む。非線形オイラー和および交代オイラー和の明示的評価をリーマン・ゼータ関数およびポリガンマ関数を用いて行う。

ABSTRACT

We define a new kind of classical digamma function, and establish its some fundamental identities. Then we apply the formulas obtained, and extend tools developed by Flajolet and Salvy to study more general Euler type sums. The main results of Flajolet and Salvy's paper \cite{FS1998} are the immediate corollaries of main results in this paper. Furthermore, we provide some parameterized extensions of Ramanujan-type identities that involve hyperbolic series. Some interesting new consequences and illustrative examples are considered.

研究の動機と目的

• 新しいパラメトリック・ディガンマ関数を導入することで、フラジョレットとサルヴィのオイラー和の枠組みを一般化すること。
• 元の偶奇条件を超えて、非線形および交代オイラー和を評価するため、彼らの留数に基づく手法を拡張すること。
• 双曲関数およびゼータ関数を含む古典的ラマヌジャン型恒等式のパラメータ付き版を導出すること。
• ゼータ関数、ポリガンマ関数、調和級数を用いて、一般化されたオイラー和の明示的評価を提供すること。
• 既知の結果、例えばシタラマチャンドララオの公式を、より広範なパラメトリックな文脈に統合・拡張すること。

提案手法

• 部分線形成長を示す列 A に対して、新しいパラメトリック・ディガンマ関数 Ψ(−s; A) を定義し、古典的ディガンマ関数を一般化する。
• 複素平面上でのコーシー積分を用い、新しいディガンマ関数を導入して調和数およびゼータ関数を含む和を評価する。
• 2位の極および単純極における留数計算を用いて、一般化されたオイラー和の閉形式表現を導出する。
• 列 A および B を含むメロモルフィック関数に対する留数定理の一般化されたバージョンを導入し、双曲余割関数を含む恒等式を導出する。
• 一般式に特定の列（例：A₁ = 定数、A₂ = 交代列）を代入することで、パラメータ付き恒等式を導出する。
• 双曲線関数（coth, sinh）に関する既知の恒等式および級数展開を用い、導出結果の簡略化と検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 古典的ディガンマ関数は、より複雑なオイラー型和の評価を可能にするために、どのように一般化可能か？
• RQ2 コーシー積分を用いて、双曲級数およびゼータ関数を含むラマヌジャン型恒等式のパラメータ付き拡張は、どのように導出可能か？
• RQ3 新しいパラメトリック・ディガンマ関数は、非線形オイラー和を低次の和に還元するために、どのように機能するか？
• RQ4 導出された恒等式は、シタラマチャンドララオの公式や既存の文献における他の既知の結果を、どのように一般化するか？
• RQ5 混合調和数および交代調和数を含む交代オイラー和は、提案手法を用いて明示的に評価可能か？

主な発見

• 新しいパラメトリック・ディガンマ関数により、フラジョレットとサルヴィの結果を任意の列 A および B に拡張する一般化された留数公式が導出可能である。
• 本稿では、シタラマチャンドララオの公式のパラメータ付き版を確立し、A = B = A₁ の特別な場合に元の公式が回復されることを示した。
• パrameter α および β が αβ = π² を満たすとき、cotangent および双曲余割関数の積に関する新しい恒等式 (5.47) が導出された。
• 系 5.8 は、主公式の特別な場合として、古典的ラマヌジャン型恒等式 π/2 cot(√wα)coth(√wβ) を回復する。
• 系 5.9 は、A = B = A₂（交代列）と設定することで、双曲正弦関数および符号の交替を含む、全く新しい恒等式を導出した。
• 本手法は、より高次の重みおよび次数を持つ一般化されたオイラー和の評価に成功し、このような和がゼータ関数およびポリガンマ関数の組み合わせに還元されることを示した。