[论文解读] Mathieu's series: inequalities, asymptotics and positive definiteness

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

Functional Equations Stability Results被引用 3

一句话总结

本文為廣義 Mathieu 級數建立了精確不等式、漸近展開式，並與正定函數及完全單調函數建立關聯。透過積分表達式、拉普拉斯變換以及伯努利多項式與歐拉多項式的性質，推導出精確界限，證明在特定參數約束下，廣義 Mathieu 級數為正定函數，並利用 Hausdorff-Bernstein-Widder 定理與哈恩變換推導出精確臨界值。

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.

研究动机与目标

• 推導參數 γ, α, μ, u, t 下廣義 Mathieu 級數的精確不等式。
• 利用伯努利多項式與歐拉多項式，建立級數在 t → ∞ 時的漸近展開式。
• 透過哈恩變換與傅里葉變換，探討 Mathieu 型級數與正定函數之間的關聯。
• 確立廣義級數為完全單調或正定的精確條件。
• 解決經典 Mathieu 級數雙重不等式中最佳常數之未解問題。

提出的方法

• 利用 x/(e^x - 1) 的拉普拉斯變換推導積分表達式，得到涉及 F(x) = x/(e^x - 1) 的表達式。
• 應用波利亞關於完全單調函數的定理於 F(x) 的導數，確保餘弦變換的非負性。
• 運用 Hausdorff-Bernstein-Widder 定理，透過非負測度的拉普拉斯變換特徵化正定函數。
• 運用哈恩變換及其與徑向函數傅里葉變換的關聯，分析正定性。
• 透過歐拉-麥克勞林公式與 t 的負整數次冪的伯努利數級數，推導漸近展開式。
• 透過與差分級數比較及涉及黎曼 zeta 函數的疊加界，建立不等式。

实验结果

研究问题

• RQ1 廣義 Mathieu 級數滿足 1/(t² + a) < S(t,u,γ,α,μ) < 1/(t² + b) 時，最佳常數 a 與 b 分別為何？
• RQ2 廣義 Mathieu 級數在何種條件下於 (0, ∞) 上為正定函數？
• RQ3 當 t → ∞ 時，該級數的漸近展開式行為如何？其係數結構為何？
• RQ4 該級數的正性與相關函數完全單調性之間的確切關係為何？
• RQ5 能否從廣義參數族中推導出經典 Mathieu 級數的精確界限？

主要发现

• 對於經典 Mathieu 級數，最佳下界常數為 a = 1/(2ζ(3))，最佳上界常數為 b = 1/6，此結果由 Alzer、Brenner 與 Ruehr 證明。
• 廣義 Mathieu 級數 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} 為伯努利數。
• 不等式 ∑_{k=1}^∞ k/(k² + t²)^3 < (S(t))² 對所有 t ≥ 0 成立，確認了 Alzer 等人的猜想。