[论文解读] The parameter derivatives $[\partial^{2}P_{ u}(z)/\partial u^{2}]_{ u=0}$ and $[\partial^{3}P_{ u}(z)/\partial u^{3}]_{ u=0}$, where $P_{ u}(z)$ is the Legendre function of the first kind

Radosław Szmytkowski|arXiv (Cornell University)|Jan 28, 2013

Mathematical functions and polynomials参考文献 1被引用 4

一句话总结

本文推导了第一类勒让德函数 $ P_\nu(z) $ 在 $ \nu = 0 $ 处的第二和第三参数导数的闭式表达式。通过使用微分方程和涉及 polylogarithm 的积分恒等式，证明了 $ \left.\frac{\partial^2 P_\nu(z)}{\partial \nu^2}\right|_{\nu=0} = -2\,\mathrm{Li}_2\left(\frac{1-z}{2}\right) $，并推导出 $ \left.\frac{\partial^3 P_\nu(z)}{\partial \nu^3}\right|_{\nu=0} = 12\,\mathrm{Li}_3\left(\frac{z+1}{2}\right) - 6\ln\left(\frac{z+1}{2}\right)\mathrm{Li}_2\left(\frac{z+1}{2}\right) - \frac{\pi^2}{2}\ln\left(\frac{z+1}{2}\right) - 12\zeta(3) $，确认并扩展了先前基于 Mathematica 的发现。

ABSTRACT

We derive explicit expressions for the parameter derivatives $[\partial^{2}P_{ u}(z)/\partial u^{2}]_{ u=0}$ and $[\partial^{3}P_{ u}(z)/\partial u^{3}]_{ u=0}$, where $P_{ u}(z)$ is the Legendre function of the first kind. It is found that {displaymath} \frac{\partial^{2}P_{ u}(z)}{\partial u^{2}}\bigg|_{ u=0} =-2\Li_{2}\frac{1-z}{2}, {displaymath} where $\Li_{2}z$ is the dilogarithm (this formula has been recently arrived at by Schramkowski using \emph{Mathematica}), and that {displaymath} \frac{\partial^{3}P_{ u}(z)}{\partial u^{3}}\bigg|_{ u=0} =12\Li_{3}\frac{z+1}{2}-6\ln\frac{z+1}{2}\Li_{2}\frac{z+1}{2} -\pi^{2}\ln\frac{z+1}{2}-12\zeta(3), {displaymath} where $\Li_{3}z$ is the polylogarithm of order 3 and $\zeta(s)$ is the Riemann zeta function.

研究动机与目标

• 严格证明此前通过 Mathematica 数值计算得到的二阶参数导数 $ \left.\frac{\partial^2 P_\nu(z)}{\partial \nu^2}\right|_{\nu=0} = -2\,\mathrm{Li}_2\left(\frac{1-z}{2}\right) $。
• 推导三阶参数导数 $ \left.\frac{\partial^3 P_\nu(z)}{\partial \nu^3}\right|_{\nu=0} $ 的闭式表达式，将分析扩展至二阶导数以上。
• 为 $ P_\nu(z) $ 在 $ \nu $ 上的 Maclaurin 级数展开（特别是包含三阶项的物理建模）建立数学基础。

提出的方法

• 通过对勒让德微分方程关于 $ \nu $ 两次求导，推导出 $ \frac{\partial^2 P_\nu(z)}{\partial \nu^2} $ 的二阶非齐次微分方程。
• 利用已知值 $ P_0(z) = 1 $ 和 $ \left.\frac{\partial P_\nu(z)}{\partial \nu}\right|_{\nu=0} = \ln\left(\frac{z+1}{2}\right) $，在 $ \nu = 0 $ 处求解所得微分方程。
• 应用涉及 dilogarithm 函数 $ \mathrm{Li}_2(z) $ 的积分技巧，使用积分表示 $ \mathrm{Li}_2(z) = -\int_0^z \frac{\ln(1-t)}{t} dt $，以计算解过程中出现的不定积分。
• 利用 dilogarithm 的欧拉恒等式 $ \mathrm{Li}_2(z) + \mathrm{Li}_2(1-z) = \frac{\pi^2}{6} - \ln z \ln(1-z) $，简化涉及 $ \mathrm{Li}_2\left(\frac{1-z}{2}\right) $ 的中间表达式。
• 将方法扩展至三阶导数，通过推导三阶非齐次微分方程并利用积分法求解，引入 polylogarithm 函数 $ \mathrm{Li}_3(z) $。
• 利用边界条件 $ P_\nu(1) = 1 $ 固定积分常数，该条件意味着在 $ \nu=0, z=1 $ 处所有参数导数为零，即 $ \left.\frac{\partial^k P_\nu(z)}{\partial \nu^k}\right|_{\nu=0, z=1} = 0 $（$ k = 2,3 $），确保函数在 $ z=1 $ 处的解析性。

实验结果

研究问题

• RQ1 在 $ \nu = 0 $ 处，二阶导数 $ \left.\frac{\partial^2 P_\nu(z)}{\partial \nu^2}\right|_{\nu=0} $ 的精确闭式表达式是什么？能否通过解析方法而非数值方法推导出该结果？
• RQ2 三阶参数导数 $ \left.\frac{\partial^3 P_\nu(z)}{\partial \nu^3}\right|_{\nu=0} $ 如何用特殊函数（如 polylogarithm 和 zeta 函数）表示？
• RQ3 所推导的表达式能否通过 polylogarithm 的已知函数恒等式以及特殊值（如 $ \mathrm{Li}_2(0) = 0 $ 和 $ \zeta(3) = \mathrm{Li}_3(1) $）进行验证？

主要发现

• 在 $ \nu = 0 $ 处的二阶参数导数精确为 $ \left.\frac{\partial^2 P_\nu(z)}{\partial \nu^2}\right|_{\nu=0} = -2\,\mathrm{Li}_2\left(\frac{1-z}{2}\right) $，确认了此前通过 Mathematica 数值计算得到的结果。
• 在 $ \nu = 0 $ 处的三阶参数导数为 $ \left.\frac{\partial^3 P_\nu(z)}{\partial \nu^3}\right|_{\nu=0} = 12\,\mathrm{Li}_3\left(\frac{z+1}{2}\right) - 6\ln\left(\frac{z+1}{2}\right)\mathrm{Li}_2\left(\frac{z+1}{2}\right) - \frac{\pi^2}{2}\ln\left(\frac{z+1}{2}\right) - 12\zeta(3) $，通过积分和函数恒等式推导得出。
• 通过条件 $ P_\nu(1) = 1 $ 固定了解中的积分常数，该条件意味着在 $ z=1 $ 处所有 $ \nu $ 的参数导数在 $ \nu=0 $ 处为零，确保了函数在正则点处的解析性。
• 推导过程依赖于 polylogarithm 的已知积分表示，特别是 $ \int \mathrm{Li}_2(z)/(1-z)\,dz $，并利用欧拉恒等式简化复杂的对数与 polylogarithmic 项。
• 最终表达式在 $ z \in \mathbb{C} \setminus (-\infty, 1] $ 范围内有效，与所涉及对数和 polylogarithmic 函数的分支切割一致。
• 该结果为在物理应用（如潮汐流体动力学建模）中使用 $ P_\nu(z) $ 在 $ \nu $ 上的三阶 Maclaurin 展开提供了严格的解析基础。