[論文レビュー] 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 $ で評価することを導出する。多価対数関数を含む微分方程式および積分的恒等式を用いて、$ \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} $ を導出することにより、解析を拡張すること。
• 特に、物理的モデリングにおいて第三階項までを必要とする場合に有効な $ \nu $ に関する Maclaurin 級数展開の数学的基盤を確立すること。

提案手法

• Legendre の微分方程式を $ \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 $ におけるその微分方程式を解く。
• 積分法を用い、$ \mathrm{Li}_2(z) $ の積分表現 $ \mathrm{Li}_2(z) = -\int_0^z \frac{\ln(1-t)}{t} dt $ を用いて、解法プロセスで生じる不定積分を評価する。
• Euler の二重対数関数の恒等式 $ \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) $ を含む中間的表現を簡略化する。
• 第三微分へ拡張するため、第三階非同次微分方程式を導出し、積分を用いて解く。この際、多価対数関数 $ \mathrm{Li}_3(z) $ を組み込む。
• 境界条件 $ P_\nu(1) = 1 $ を用いて積分定数を固定する。これは $ \nu = 0 $、$ z = 1 $ におけるすべてのパラメータ微分が 0 であることを意味し、$ z=1 $ における関数の正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 第二階微分 $ \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} $ は、多価対数関数やリーマンゼータ関数といった特殊関数を用いてどのように表現できるか？
• RQ3 得られた表現は、多価対数関数の既知の関数的恒等式および特殊値（例：$ \mathrm{Li}_2(0) = 0 $、$ \zeta(3) = \mathrm{Li}_3(1) $）を用いて検証可能か？

主な発見

• 第二階微分 $ \left.\frac{\partial^2 P_\nu(z)}{\partial \nu^2}\right|_{\nu=0} $ は正確に $ -2\,\mathrm{Li}_2\left(\frac{1-z}{2}\right) $ に等しく、以前の Mathematica を用いた数値的結果を確認する。
• 第三階微分 $ \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 $ という条件により固定されており、これは $ \nu = 0 $、$ z = 1 $ におけるすべてのパラメータ微分が 0 であることを意味し、正則点における解析性を保証する。
• 導出は、特に $ \int \mathrm{Li}_2(z)/(1-z)\,dz $ のような既知の多価対数関数の積分表現および Euler の二重対数関数の恒等式に依存しており、複雑な対数的および多価対数的項の簡略化に寄与する。
• 最終的な表現は、$ z \in \mathbb{C} \setminus (-\infty, 1] $ に対して有効であり、関連する対数関数および多価対数関数の分岐カットと整合的である。
• この結果は、物理的応用（例：潮汐流体力学モデリング）において、$ \nu $ に関する Maclaurin 展開を第三階項まで厳密に用いるための数学的基盤を提供する。