[論文レビュー] On the logarithm of the derivative operator

D. Babusci, G. Dattoli|arXiv (Cornell University)|May 30, 2011

Analytic Number Theory Research参考文献 3被引用数 4

ひとこと要約

本稿では、微分作用素の対数、$\hat{L}_{\partial} = \ln \partial_x$ を考察し、定数関数に対して非自明に作用することを示し、$-\ln x - \gamma$ を得る。ここで $\gamma$ はオイラー＝マセルローニ定数である。この手法は分数階微分と作用素の極限を用い、$[\hat{L}_{\partial} + \ln(2\sqrt{x})]I_0(\sqrt{x}) = K_0(\sqrt{x})$ のような恒等式を通じて、修正ベッセル関数や特殊関数との関係を明らかにする。主たる貢献は、対数微分作用素の新規な作用素的計算体系と、ベッセル関数論におけるその役割である。

ABSTRACT

We study the properties of the logarithm of the derivative operator and show that its action on a constant is not zero, but yields the sum of the logarithmic function and the Euler-Mascheroni constant. We discuss more general aspects concerning the logarithm of an operator for the study of the properties of the Bessel functions.

研究の動機と目的

• 微分作用素 $\ln \partial_x$ を極限に基づく作用素的計算体系によって定義・分析すること。
• モノミアル、定数関数、解析関数に対して $\ln \partial_x$ の作用を特定し、$\ln x$ および $\gamma$ を含む非自明な結果を明らかにすること。
• 対数微分作用素 $\ln \partial_x$ と特殊関数、特にベッセル関数 $I_0$ および $K_0$ の間の関係を確立すること。
• ベッセル関数の指数微分および $\ln x$ と $J_\alpha(x)$ を含む積分に対して形式的枠組みを拡張すること。
• 純粋および応用数学における対数微分の体系的作用素的フレームワークを提供すること。

提案手法

• パrameter $\nu$ を実数として、$\ln \partial_x$ を極限 $\lim_{\nu \to 0} (\partial_x^\nu - 1)/\nu$ で定義する。
• 分数階微分の公式 $\partial_x^\nu x^\mu = \frac{\Gamma(\mu+1)}{\Gamma(\mu - \nu + 1)} x^{\mu - \nu}$ を用いて、モノミアルおよび定数関数への作用を計算する。
• ロピタルの定理およびガンマ関数とディガンマ関数 $\psi(z)$ の性質を用いて極限を評価し、$\hat{L}_{\partial}1 = -\ln x - \gamma$ を得る。
• 関数 $f(x) = \sum_{n=0}^\infty \frac{a_n}{n!} x^n$ のべき級数展開にこの手法を適用し、$\hat{L}_{\partial}f(x) = -( olimits\gamma + \ln x)f(x) + \sum_{n=0}^\infty \frac{a_n}{n!} h_n x^n$ を導出する。ここで $h_n = \sum_{k=1}^n \frac{1}{k}$ である。
• ベッセル関数に対して形式的枠組みを適用し、$J_\alpha(x)$ を作用素 $\hat{c}$ を用いて表現し、$\varphi(0) = 1/\Gamma(1)$ に $\ln \hat{c}$ を作用させることで $\partial_\alpha J_\alpha(x)$ を計算する。
• 同じ作用素的枠組みを用いて、$B_\alpha = \int_0^\infty J_\alpha(x) \ln x \, dx = \psi\left(\frac{\alpha+1}{2}\right) + \ln 2$ の積分を導出する。

実験結果

リサーチクエスチョン

• RQ1 定数関数 1 に対する $\ln \partial_x$ の作用は何か？ なぜ非ゼロなのか？
• RQ2 $\ln \partial_x$ はモノミアル $x^n$ および解析関数にどのように作用するか？
• RQ3 微分作用素の対数を用いて、既知のベッセル関数に関する恒等式を導出可能か？
• RQ4 $\ln \hat{c}$ は $J_\alpha(x)$ に関する $\alpha$ での微分において果たす役割は何か？
• RQ5 この作用素的枠組みにより、$\ln x$ と $J\alpha(x)$ を含む既知の積分が得られるか？

主な発見

• 定数関数 1 に対する対数微分作用素の作用は $\hat{L}_{\partial}1 = -\ln x - \gamma$ であり、ここで $\gamma$ はオイラー＝マセルローニ定数である。
• モノミアル $x^n$ に対しては $\hat{L}_{\partial}x^n = x^n(\psi(n+1) - \ln x)$ であり、$\psi(n+1) = -\gamma + h_n$ および $h_n = \sum_{k=1}^n \frac{1}{k}$ である。
• 解析関数 $f(x) = \sum_{n=0}^\infty \frac{a_n}{n!} x^n$ に対しては $\hat{L}_{\partial}f(x) = -( olimits\gamma + \ln x)f(x) + \sum_{n=0}^\infty \frac{a_n}{n!} h_n x^n$ が成り立つ。
• 恒等式 $[\hat{L}_{\partial} + \ln(2\sqrt{x})]I_0(\sqrt{x}) = K_0(\sqrt{x})$ が成立し、作用素が修正ベッセル関数と関連している。
• $\ln x$ への作用は $\hat{L}_{\partial}\ln x = -\zeta(2) - (\gamma + \ln x)\ln x$ であり、$\zeta(2) = \pi^2/6$ である。
• 積分 $B_0 = \int_0^\infty J_0(x) \ln x \, dx = -\gamma - \ln 2$ は、作用素的枠組みを用いて導出された。