[論文レビュー] On representations and differences of Stieltjes coefficients, and other relations

Mark W. Coffey|ArXiv.org|Sep 19, 2008

Mathematical functions and polynomials参考文献 15被引用数 4

ひとこと要約

本稿では、Stieltjes係数 γₖ(a) について、新しい正確な解析的結果を提示する。これには、級数表現、積分公式、および有理数における差分に関する総和関係が含まれる。本稿は、Stieltjes定数、対数積分、HurwitzおよびDirichlet L関数との間の関係を確立し、分数部分を含む多重積分の明示的評価 Iₙ = 1 − ∑_{j=0}^{n−1} γⱼ/j! を得る。

ABSTRACT

The Stieltjes coefficients $γ_k(a)$ arise in the expansion of the Hurwitz zeta function $ζ(s,a)$ about its single simple pole at $s=1$ and are of fundamental and long-standing importance in analytic number theory and other disciplines. We present an array of exact results for the Stieltjes coefficients, including series representations and summatory relations. Other integral representations provide the difference of Stieltjes coefficients at rational arguments. The presentation serves to link a variety of topics in analysis and special function and special number theory, including logarithmic series, integrals, and the derivatives of the Hurwitz zeta and Dirichlet $L$-functions at special points. The results have a wide range of application, both theoretical and computational.

研究の動機と目的

• 有理数における Stieltjes係数 γₖ(a) の正確な解析的表現を導出すること。
• Dirichlet L関数およびHurwitzゼータ関数の性質を通じて、Stieltjes係数と対数積分との関係を確立すること。
• 数値計算に適した、急速収束する級数表現を提供すること。
• 分数部分を含む多重積分の明示的評価をStieltjes定数の用語で導出すること。
• γₖ(a) を含む関係を通じて、解析学、特殊関数、解析的整数論の多様なトピックを統一すること。

提案手法

• 複素解析およびHurwitzゼータ関数の関数等式を用いて、γₖ(a) の新しい積分表現を導出する。
• 関数等式 (0.2) および積分公式 (0.3) を適用し、Stieltjes係数を三角関数和およびDirichlet L関数と関連付ける。
• 極限表現 (0.6) を用い、線分積分および漸近解析を用いて、急速収束形に変換する。
• Cₖ(a) ≡ γₖ(a) − (lnᵏa)/a を導入し、係数の対数的でない部分を分離する。
• 変数変換技術およびヤコビアン変換を用いて、分数部分を含む多重積分を評価する。
• 部分積分および既知の積分恒等式（例：[11] より）を用い、{t}/t² の積分をStieltjes定数と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 有理数 a に対して、Stieltjes係数 γₖ(a) を急速収束する級数でどのように表現できるか。
• RQ2 有理数 a, b に対して、差分 γₖ(a) − γₖ(b) の正確な解析的形は何か。
• RQ3 形 ∫₀¹⋯∫₀¹{1/(x₁⋯xₙ)}dx₁⋯dxₙ の多重積分はStieltjes定数とどのように関係するか。
• RQ4 Hurwitzゼータ関数の性質から、対数和の積分表現を導出できるか。
• RQ5 n → ∞ のとき、n重積分 Iₙ の極限的挙動は何か。

主な発見

• 本稿は、n重積分 Iₙ = ∫₀¹⋯∫₀¹{1/(x₁⋯xₙ)}dx₁⋯dxₙ に対して、正確な評価 Iₙ = 1 − ∑_{j=0}^{n−1} γⱼ/j! を導出する。
• limₙ→∞ Iₙ = 1/2 であることを示し、これは −ζ(0) に一致し、既知のゼータ関数の値と整合的であることを確認する。
• 新しい積分表現が与えられる：Re a > 0 に対して、γₖ(a) = (1/(2a))lnᵏa − lnᵏ⁺¹a/(k+1) + (2/a)Re∫₀^∞ (y/a − i)lnᵏ(a−iy)/[(1+y²/a²)(e²πy−1)] dy が成り立つ。
• 有理数におけるStieltjes係数の差は、Hurwitzゼータ関数およびDirichlet L関数を含む積分で表現される。
• 本稿は、テレスコピング級数および調和数の恒等式を用いて、∫₁^∞ {x}/x² dx = 1 − γ の恒等式の新しい証明を提示する。
• ∑_{j=1}^∞ [ln((j+1)/j) − 1/(j+1)] = 1 − γ であることを確立し、対数和をEuler–Mascheroni定数と関連付ける。