[論文レビュー] Lecture Notes, Bernoulli Polynomials and Applications

Omran Kouba|arXiv (Cornell University)|Sep 29, 2013

Mathematical functions and polynomials参考文献 9被引用数 14

ひとこと要約

この講義ノートは、差分作用素と母関数を用いてベルヌーイ多項式およびベルヌーイ数の包括的な理論的取り扱いを提供し、数値積分則（例：台形則、シンプソン則、ガウス則）および三角関数和の漸近展開を導出する。ベルヌーイ数およびリーマン・ゼータ関数を含む鋭い不等式と正確な漸近公式が得られ、調和和および余割・正割級数への応用が示される。

ABSTRACT

In this lecture notes we try to familiarize the audience with the theory of Bernoulli polynomials; we study their properties, and we give, with proofs and references, some of the most relevant results related to them. Several applications to these polynomials are presented, including a unified approach to the asymptotic expansion of the error term in many numerical quadrature formulae, and many new and sharp inequalities, that bound some trigonometric sums.

研究の動機と目的

• 差分作用素を用いた代数的アプローチによりベルヌーイ多項式の理論を体系的に展開すること。
• フーリエ級数、母関数、オイラー＝マクローリンの公式といった重要な解析的ツールとベルヌーイ多項式の関係を確立すること。
• ベルヌーイ多項式を用いてリーマン和、台形則、シンプソン則、ガウス則、ロムバーグ則の数値積分則の漸近展開を導出すること。
• ベルヌーイ数展開を用いて余割および正割の和の鋭い不等式および漸近公式を取得すること。
• オイラー＝マクローリンの枠組みを通じて調和数の展開および三角関数和に関する結果を統合的かつ拡張すること。

提案手法

• 多項式からその前進差分および[0,1]上での積分への写像を定める双射線形作用素Φの逆を用いてベルヌーイ多項式を定義する。
• 差分作用素Δおよび積分条件∫₀¹ Bₙ(t)dt = 0を用いて基本的性質を確立する。
• 母関数を導出し、[0,1]上でのフーリエ級数展開を用いて漸近的挙動を分析する。
• オイラー＝マクローリンの和公式を適用して数値積分則の漸近展開を導出する。
• von Staudt-Clausenの定理およびゼータ関数の値を用いて漸近展開の係数を表現する。
• 漸近展開をコーシー積分および級数加速法と組み合わせることで、三角関数和の鋭い評価を得る。

実験結果

リサーチクエスチョン

• RQ1 差分作用素および積分正規化を用いてベルヌーイ多項式を体系的に構成する方法は何か？
• RQ2 ベルヌーイ多項式の[0,1]上での漸近的挙動は何か？また、フーリエ級数とはどのように関係するか？
• RQ3 オイラー＝マクローリンの公式を用いて台形則やシンプソン則といった数値積分則の漸近展開をどのように導出できるか？
• RQ4 余割の和および正割の和の鋭い漸近展開は何か？また、調和数とはどのように関係するか？
• RQ5 オイラー＝マクローリンの公式を用いてHₙおよび対数項を含む和の正確な漸近式を導出できるか？

主な発見

• ベルヌーイ多項式は、B₀(X) = 1、ΔBₙ(X) = nXⁿ⁻¹（n ≥ 1）、および∫₀¹ Bₙ(t)dt = 0 という条件によって一意に特徴づけられる。
• Bₙ(X)の微分はnBₙ₋₁(X)であり、対称性Bₙ(1−X) = (−1)ⁿBₙ(X)を満たす。
• 余割の和Jₚ = ∑ₖ₌₁ᵖ⁻¹ cot(kπ/p) に対して、漸近展開はπJₚ = −p²ln p + (ln(2π)−γ)p² − p − ∑ₖ₌₁ᵐ⁻¹ [b₂ₖζ(2k)/(k p²ᵏ⁻²)] + (−1)ᵐ ζ(2m)/(m p²ᵐ⁻²) εₚ,ₘ（0 < εₚ,ₘ < |b₂ₘ|）となる。
• 正割の和に関して、すべてのp ≥ 1に対して不等式 0 < (1/π)(−p²ln p + (ln(2π)−γ)p² − p) − Jₚ < π/36 が成り立つ。
• 和∑ₙ₌₁^∞ (Hₚₙ − ln(pn) − γ) = (ln(π/2) − γ − ln p)/2 + (ln 2)/(2p) + (π/(4p))∑ₖ₌₁ᵖ⁻¹ csc(kπ/p) が正確に導出された。
• 和∑ₙ₌₀^∞ (−1)ⁿ(Hₚ₍ₙ₊₁₎ − Hₚₙ) = (ln 2)/p + (π/(2p))∑ₖ₌₁ᵖ⁻¹ csc(kπ/p) は、収束する交代調和差分級数として確立された。