[论文解读] Convergence in $\C$ of series for the Lambert $W$ Function

G. A. Kalugin, David J. Jeffrey|arXiv (Cornell University)|Aug 2, 2012

Sports Dynamics and Biomechanics参考文献 9被引用 3

一句话总结

本文精確確立了Lambert W函數在實數與複數領域中漸近級數展開式的收斂域。引入參數化的不變變換，以犧牲收斂速度為代價擴展收斂域，推導出展開係數的漸近表達式，並透過與Stirling數、Eulerian數及Omega常數的關聯，揭示新的組合恆等式。

ABSTRACT

We study some series expansions for the Lambert $W$ function. We show that known asymptotic series converge in both real and complex domains. We establish the precise domains of convergence and other properties of the series, including asymptotic expressions for the expansion coefficients. We introduce an new invariant transformation of the series. The transformation contains a parameter whose effect on the domain and rate of convergence is studied theoretically and numerically. We also give alternate representations of the expansion coefficients, which imply a number of combinatorial identities.

研究动机与目标

• 確定Lambert W函數在複數平面上已知漸近級數展開式的確切收斂域。
• 分析級數(1.3)與(1.5)在實數與複數設定下的收斂行為，並釐清(1.5)具有更廣泛收斂域的原因。
• 引入並研究一種參數化的不變變換，其在不改變級數結構的前提下，改變收斂性質。
• 推導級數(1.5)與(1.6)中展開係數的漸近表達式，並與Stirling數與Eulerian數等已知組合數建立關聯。
• 透過展開係數的等價表達形式，發現新的組合恆等式，包括Carlitz-Riordan恆等式的推廣。

提出的方法

• 利用隱函數定理與複數σ平面上的奇點分析，推導級數(1.3)的收斂域，透過Lambert W函數識別關鍵點。
• 將隱函數定理應用於基本關係式(1.4)，將收斂半徑表達為複數σ平面上最近奇點的距離。
• 引入一種參數化的不變變換，其在保持結構不變的同時改變收斂行為，並對參數的影響進行理論與數值分析。
• 使用鞍點法建立級數(1.5)中展開係數的漸近估計，並與已知的組合恆等式進行比較。
• 將級數(1.6)中的係數以三種新形式重述——透過第一類關聯Stirling數、二階關聯Stirling數（第二類）與二階Eulerian數——進而導出新的組合恆等式。
• 以Omega常數ω₀ = W(1)作為關鍵參數，連結不同級數表達形式，並推導涉及Stirling數與Eulerian數交錯和的恆等式。

实验结果

研究问题

• RQ1 Lambert W函數在複數平面上的漸近級數展開式的確切收斂域為何？
• RQ2 不變變換中的參數如何影響級數的收斂域與收斂速率？
• RQ3 級數(1.5)與(1.6)中展開係數的漸近表達式為何？它們與已知組合數有何關聯？
• RQ4 展開係數的等價表達形式是否能導出新的組合恆等式，例如Carlitz-Riordan恆等式的推廣？
• RQ5 為何級數(1.5)的收斂域明顯廣於(1.3)？其背後的數學原因為何？

主要发现

• 級數(1.3)的收斂域由Lambert W函數實部的不等式精確定義：ln|σ| < 1 − τ/σ + Re W₋₁(−e^{τ/σ−1})。
• 在實數與複數領域中，級數(1.5)的收斂域明顯廣於(1.3)，這是因其係數展開結構與使用二階關聯Stirling數所致。
• 參數化不變變換透過增加參數p來擴展收斂域，但會降低收斂速率，因此在重疊收斂區域內，最小p值為最佳選擇。
• 級數(1.5)中係數的漸近估計為∑_{p=1}^{m−1} S₂(p+m−1, p) ∼ (m−1)! / [2√(πm)(2ln2−1)^{m−1/2}]，當m→∞時，與已知結果一致。
• 級數(1.6)中的展開係數被證明等價於涉及二階Eulerian數的和，進而導出新的恆等式，如∑_{k=0}^{n−1} ⟨⟨n−1|k⟩⟩ (−1)^k ω₀^k / (1+ω₀)^{n−1} = ∑_{k=0}^{n−1} (−1)^{n+k−1} d(n+k−1,k) ω₀^k / (1+ω₀)^k。
• 本文確認了Carlitz-Riordan恆等式，並推導出關於二階關聯Stirling數（第二類）交錯和的新恆等式：∑_{p=0}^{m−1} (−1)^{p+m−1} S₂(p+m−1,p) = (m−1)!，在σ=0時成立。