[論文レビュー] Polynomials Related to Harmonic Numbers and Evaluation of Harmonic Number Series I

Ayhan Dil, Veli Kurt|arXiv (Cornell University)|Dec 9, 2009

Mathematical functions and polynomials被引用数 14

ひとこと要約

本稿では、スターリング数と母関数を用いて、調和数およびハイパーディアリック数を含む級数の閉形式表現を導出するため、指数関数的および幾何的多項式の一般化として、調和-指数的多項式および調和-幾何的多項式を導入する。主な貢献は、∑(∑kHₖ)xⁿ や ∑(∑k²Hₖ)xⁿ のような無限級数を評価する体系的な手法を提供することであり、x(1−ln(1−x))/(1−x)³ といったコン pact な有理式対数形式の結果が得られる。

ABSTRACT

In this paper we focus on two new families of polynomials which are connected with exponential polynomials and geometric polynomials. We discuss their generalizations and show that these new families of polynomials and their generalizations are useful to obtain closed forms of some series related to harmonic numbers.

研究の動機と目的

• 新しい多項式族、すなわち調和-指数的多項式および調和-幾何的多項式を定義し、それらを古典的な指数関数的および幾何的多項式の一般化として研究すること。
• 母関数および作用素計算を用いて、これらの多項式と調和数級数との間の関係を確立すること。
• これらの多項式族を用いて、調和数およびハイパーディアリック数を含む無限級数の閉形式表現を導出すること。
• パラメータ化された族を導入し、r-スターリング数およびFubini型多項式と関連付けることによって、既知の調和級数の結果を一般化すること。

提案手法

• 解析関数および級数展開を含む生成関数の恒等式（定理1）を活用し、係数列と多項式評価を関連付ける。
• 調和-指数的多項式 φₙ,αʰ(x) = ∑ₖ₌₀ⁿ {n/k} Hₖ⁽ᵃ⁾ xᵏ および調和-幾何的多項式 Fₙ,αʰ(x) = ∑ₖ₌₀ⁿ {n/k} k! Hₖ⁽ᵃ⁾ xᵏ を定義する。
• 調和数の生成関数に作用素 (xD)ᵐ を適用することで、重み付き級数 ∑ Hₙ⁽ᵃ⁾ nᵐ xⁿ を導出する。
• −ln(1−x)/(1−x)ᵃ の形の生成関数を用いてハイパーディアリック数級数をモデル化し、微分作用素を適用する。
• Fₙ,αʰ(z) = ∫₀^∞ φₙ,αʰ(zλ) e⁻λ dλ のような積分表現を導出し、調和-幾何的多項式と調和-指数的多項式を結びつける。
• r-スターリング数の第一種を用いて、一般化された調和-幾何的多項式を閉形式で表現する。

実験結果

リサーチクエスチョン

• RQ1 ∑(∑ₖ₌₁ⁿ kHₖ)xⁿ のような調和数級数を、多項式の一般化を用いて閉形式でどのように表現できるか？
• RQ2 ∑(∑ₖ₌₁ⁿ k²Hₖ)xⁿ の閉形式表現は何か？ また、母関数および微分作用素とどのように関係しているか？
• RQ3 非負整数 α に対して、∑(∑ₖ₌₁ⁿ kHₖ⁽ᵃ⁾)xⁿ のようなハイパーディアリック数級数を閉形式で評価できるか？
• RQ4 調和-幾何的多項式および調和-指数的多項式は、重み付き調和数級数を表現する上で果たす役割は何か？
• RQ5 r-スターリング数および一般化されたFubini多項式は、これらの級数の構造にどのように寄与しているか？

主な発見

• ∑ₙ₌₁^∞ (∑ₖ₌₁ⁿ kHₖ)xⁿ は x(1−ln(1−x))/(1−x)³ に等しく、有理式対数形式の閉形式表現が得られる。
• ∑ₙ₌₁^∞ (∑ₖ₌₁ⁿ k²Hₖ)xⁿ は x(1+2x−(1+x)ln(1−x))/(1−x)⁴ に等しく、より高次の対数依存性を示す。
• ハイパーディアリック数に対しては、∑ₙ₌₁^∞ (∑ₖ₌₁ⁿ kHₖ⁽ᵃ⁾)xⁿ = x(1−α ln(1−x))/(1−x)ᵃ⁺² が成り立ち、非負整数 α に対して有効である。
• 調和-幾何的数 Fₙ,αʰ = ∑ₖ₌₀ⁿ {n/k} k! Hₖ⁽ᵃ⁾ は α=2,3 および n=0 から 5 に対して明示的に計算され、急速な増加が確認される。
• 調和-指数的数 φₙ,αʰ = ∑ₖ₌₀ⁿ {n/k} Hₖ⁽ᵃ⁾ は α=2 および α=3 に対して導出され、φ₅,₂ʰ = 2197/10 および φ₅,₃ʰ = 24887/60 などの値が得られる。
• Fₙ,αʰ(z) = ∫₀^∞ φₙ,αʰ(zλ)e⁻λ dλ のような積分表現により、調和-幾何的多項式と調和-指数的多項式が結びつけられ、既知の恒等式が一般化される。