[论文解读] On the generalization of the Lambert $W$ function with applications in theoretical physics

Istvan Mezýo, Árpád Baricz|arXiv (Cornell University)|Aug 18, 2014

Sports Dynamics and Biomechanics参考文献 29被引用 4

一句话总结

本文引入了一种广义的Lambert W函数，定义为函数 $ e^x \frac{(x-t_1)(x-t_2)\cdots(x-t_n)}{(x-s_1)(x-s_2)\cdots(x-s_m)} $ 的反函数，将经典的Lambert W函数推广至处理有理函数的情形。文章推导了涉及拉盖尔多项式和贝塞尔多项式的泰勒级数展开，建立了特定情形下的收敛性性质，并为组合数学与理论物理中的应用提出了新的反函数。

ABSTRACT

The Lambert $W$ function, giving the solutions of a simple transcendental equation, has become a famous function and arises in many applications in combinatorics, physics, or population dyamics just to mention a few. In the last decade it turned out that some specific relativistic equations and molecular physics problems need solutions of more general transcendental equations. Thus a generalization of the Lambert function is necessary. In this paper we construct this generalization which involves some special polynomials.

研究动机与目标

• 将经典的Lambert W函数推广，以求解组合数学与理论物理中出现的超越方程。
• 为 $ e^x \frac{\prod (x-t_i)}{\prod (x-s_j)} $ 定义一个多值反函数，记为 $ W\left(\genfrac{}{}{0pt}{}{t_1\dots t_n}{s_1\dots s_m};a\right) $，以拓展其适用范围。
• 推导特定情形下的显式泰勒级数展开，特别是 $ W\left(\genfrac{}{}{0pt}{}{t}{s};a\right) $ 与 $ W\left(\genfrac{}{}{0pt}{}{t_1 t_2}{};a\right) $，并利用正交多项式表示。
• 研究广义函数的收敛性与渐近行为，特别是 r-Lambert 函数 $ W_r(x) $ 的性质。
• 探索与特殊函数（如拉盖尔多项式与贝塞尔多项式）的联系，并识别系数可能的组合解释。

提出的方法

• 将广义Lambert W函数定义为函数 $ f(x) = e^x \frac{(x-t_1)\cdots(x-t_n)}{(x-s_1)\cdots(x-s_m)} $ 的反函数，通过 $ W\left(\genfrac{}{}{0pt}{}{t_1\dots t_n}{s_1\dots s_m};a\right) $ 表示，其中 $ f(x) = a $。
• 应用Lagrange反演定理，推导 $ W\left(\genfrac{}{}{0pt}{}{t}{s};a\right) $ 在 $ a=0 $ 附近的泰勒级数，将系数表示为拉盖尔多项式导数的形式。
• 对于双上参数情形，推导出涉及贝塞尔多项式 $ B_n(z) $ 的级数展开，其系数依赖于 $ t_1, t_2 $ 与参数 $ T = t_2 - t_1 $。
• 将来自 r-贝尔数渐近分析的广义方程 $ xe^x + rx = n $ 转化为 $ e^{-cx} = a_0 \frac{x-t}{x-s} $ 的形式，从而将其与新函数类关联。
• 分析所推导级数的收敛半径，特别指出仅当 $ r = -2 $ 时，才能显式确定 r-Lambert 函数的收敛半径。
• 提出通过 C 语言实现计算 r-Lambert 函数的实分支，代码已在线发布。

实验结果

研究问题

• RQ1 如何将经典Lambert W函数推广，以求解形如 $ e^{-cx} = a_0 \frac{(x-t_1)\cdots(x-t_n)}{(x-s_1)\cdots(x-s_m)} $ 的方程？
• RQ2 广义W函数的泰勒级数展开是什么？其系数中出现了哪些特殊函数（如拉盖尔、贝塞尔）？
• RQ3 广义W函数的泰勒级数收敛半径是多少，特别是对于 r-Lambert 函数 $ W_r(x) $？
• RQ4 广义W函数能否用于推导 r-贝尔数及其相关组合序列更精确的渐近逼近？
• RQ5 广义W函数的复分支结构是怎样的？其如何扩展经典Lambert W函数的已知多值行为？

主要发现

• 在 $ a=0 $ 附近，$ W\left(\genfrac{}{}{0pt}{}{t}{s};a\right) $ 的泰勒级数为 $ t - T\sum_{n=1}^{\infty} \frac{L_n'(nT)}{n} e^{-n t} a^n $，其中 $ T = t - s $，且 $ L_n' $ 为第 $ n $ 个拉盖尔多项式的导数。
• 对于双参数情形，级数展开为 $ W\left(\genfrac{}{}{0pt}{}{t_1 t_2}{};a\right) = t_1 - \sum_{n=1}^{\infty} \frac{1}{n n!} \left( \frac{a n e^{-t_1}}{T} \right)^n B_{n-1}\left( \frac{-2}{nT} \right) $，其中 $ T = t_2 - t_1 $，涉及贝塞尔多项式 $ B_n(z) $。
• r-Lambert函数 $ W_r(x) $ 定义为 $ e^x (x)^r $ 的反函数，满足当 $ x \to 0 $ 时 $ W_r(x) \to 0 $，但其收敛速率在一般情况下仍未知。
• 仅当 $ r = -2 $ 时，$ W_r(x) $ 的泰勒级数收敛半径可显式确定，未提供一般公式。
• 广义函数 $ W\left(\genfrac{}{}{0pt}{}{t_1 t_2}{};a\right) $ 提供了比 Scott-Mann-Martinez 乘积公式更精确的解，后者在某些参数范围内无法捕捉所有实解。
• 本文提供了用于计算 r-Lambert 函数实分支的 C 语言实现，发布于作者网站，支持对广义函数的数值探索。