[論文レビュー] Mathieu's series: inequalities, asymptotics and positive definiteness

В. П. Заставный|ArXiv.org|Jan 8, 2009

Functional Equations Stability Results被引用数 3

ひとこと要約

本稿は、一般化されたマチエー級数に対して鋭い不等式、漸近展開、および正定値関数および完全単調関数との関係を確立する。積分表現、ラプラス変換、ベルヌーイ多項式およびオイラー多項式の性質を用いて正確な境界を導出し、特定のパrameter制約下で一般化されたマチエー級数が正定値であることを証明する。正確な閾値はハウスドルフ＝ベルンシュタイン＝ウィッデアの定理およびハンケル変換を用いて導出される。

ABSTRACT

Inequalities, asymptotics and, for some specific cases, asymptotical expansions were obtained for generalized Mathieu's series. A connection between inequalities for Mathieu's series and positive definite and completely monotonic functions.

研究の動機と目的

• パrameter γ, α, μ, u, t を用いた一般化されたマチエー級数に対する鋭い不等式を導出すること。
• ベルヌーイ多項式およびオイラー多項式を用いて、t → ∞ のときの級数の漸近展開を確立すること。
• ハンケル変換およびフーリエ変換を通じて、マチエー型級数と正定値関数との関係を調査すること。
• 一般化された級数が完全単調または正定値であるための正確な条件を特定すること。
• 古典的マチエー級数における二重不等式の最適定数に関する未解決問題を解消すること。

提案手法

• x/(e^x - 1) のラプラス変換を用いた積分表現の導出により、F(x) = x/(e^x - 1) を含む表現が得られる。
• 完全単調関数に関するポlyaの定理を F(x) の微分に適用し、コサイン変換の非負性を保証する。
• 非負の測度のラプラス変換を用いて正定値関数を特徴付けるハウスドルフ＝ベルンシュタイン＝ウィッデアの定理の適用。
• 径数関数のフーリエ変換と関連するハンケル変換を用いて正定値性を分析する。
• Euler-Maclaurinの公式および t の逆累乗のベルヌーイ数級数を用いた漸近展開の導出。
• リーマンゼータ関数を含む差分級数およびテレスコピング境界との比較を通じた不等式の確立。

実験結果

リサーチクエスチョン

• RQ1 一般化されたマチエー級数 S(t,u,γ,α,μ) に対して、1/(t² + a) < S(t,u,γ,α,μ) < 1/(t² + b) を満たす最適定数 a と b は何か？
• RQ2 一般化されたマチエー級数が (0, ∞) 上で正定値であるための条件は何か？
• RQ3 t → ∞ のとき、級数の漸近展開はどのように振る舞い、その係数の構造は何か？
• RQ4 級数の正値性と関連関数の完全単調性との正確な関係は何か？
• RQ5 古典的マチエー級数の鋭い境界は、一般化されたパrameter族から導出可能か？

主な発見

• 古典的マチエー級数に対して最適な下界定数は a = 1/(2ζ(3))、最適な上界定数は b = 1/6 であり、Alzer、Brenner、Ruehr によって証明された。
• 一般化されたマチエー級数 S(t,u,γ,α,μ) が完全単調であるための必要十分条件は δ = α(μ+1) - γ > 1 であり、収束性および微分の非負性が保証される。
• 関数 ψ_{p,u,μ}(t) が (0, ∞) 上で完全単調であるための必要十分条件は 0 ≤ p ≤ m_∞(u) であり、ここで m_∞(u) = inf_{x>0} (-ln φ_u(x)/x) であり、φ_u(x) は級数に関連する母関数である。
• g_{p,u}(r) = e^{-p r} - φ_u(r) の正定値性の正確な閾値は p ≤ √m_∞(u) であり、Schoenbergの定理およびハンケル変換解析を用いて導出される。
• t → ∞ のときの級数の漸近展開は ∑_{k=0}^∞ (-1)^k B_{2k} / t^{2k+2} で与えられ、ここで B_{2k} はベルヌーイ数である。
• すべての t ≥ 0 に対して不等式 ∑_{k=1}^∞ k/(k² + t²)^3 < (S(t))² が成り立ち、Alzer らの予想が確認された。