[論文レビュー] Generalization of Lambert $W$ function, Bessel polynomials and transcendental equations

Giorgio Mugnaini|arXiv (Cornell University)|Dec 31, 2014

Sports Dynamics and Biomechanics被引用数 10

ひとこと要約

本稿では、量子化学に現れる二次指数型超越方程式 $(x-a)(x-b) = le^x$ をラグランジュ逆級数を用いて解くことにより、ラムベルト W 関数を一般化する。その結果、ベッセル多項式を用いた解が得られ、ベッセル多項式の新規ロドリゲス型公式と、逆微分係数と多項式微分係数を結ぶ新規微分恒等式が導出される。

ABSTRACT

Employing the Lagrange inverting series, a solution of the transcendental equation $(x-a)(x-b)=le^{x}$, that can be considered a quadratic generalization of the equation defining Lambert $W$ function, has been found in terms of Bessel orthogonal polynomials. Once again a transcendental equation can be formally solved by means of classic orthogonal polynomials, suggesting a link between Rodrigues formulas and the terms of Lagrange series. A novel representation for Bessel polynomials has been found, by means of differential identity : $\left(x^{2}D ight)^{n}=x^{n+1}D^{n}x^{n-1}$

研究の動機と目的

• 量子化学に現れる二次指数型超越方程式を解くことにより、ラムベルト W 関数を一般化すること。
• ラグランジュ逆級数を用いて $(x-a)(x-b) = le^x$ の形式的級数解を導出すること。
• 微分作用素を用いてベッセル多項式の新規ロドリゲス型表現を確立すること。
• ラグランジュ逆級数の構造と古典的直交多項式の公式との間の構造的関係を調査すること。
• 逆微分係数と多項式微分係数を結ぶ新規微分恒等式を同定すること。

提案手法

• 方程式 $x = a + l \frac{e^x}{x-b}$ にラグランジュ逆級数の公式を適用し、$l$ のべき級数として解を表現する。
• 積の微分法則（ライブニッツの法則）を $\left(\frac{e^x}{x-b}\right)^n$ に適用し、$n$ 階微分項を計算することで、二重和の形が得られる。
• 得られた構造がベッセル多項式 $B_{n-1}(z)$ を含むことを認識し、$B_{n-1}\left(\frac{-2}{n(a-b)}\right)$ を用いたコンパクトな級数形が得られる。
• 新しいロドリゲス型公式を導出：$B_{n-1}\left(\frac{-2}{x}\right) = e^{-x}x^n \left(\frac{d}{dx}\right)^{n-1}\left[\frac{e^x}{x^n}\right]$、帰納法による検証。
• 交換関係と数学的帰納法を用いて恒等式 $\left(x^2 \frac{d}{dx}\right)^n = x^{n+1} \left(\frac{d}{dx}\right)^n x^{n-1}$ を厳密に証明する。
• ラグランジュ級数の項の構造と一般化されたロドリゲス公式を結びつけ、直交多項式と超越方程式の解との間のより深い関係を示唆する。

実験結果

リサーチクエスチョン

• RQ1 超越方程式 $(x-a)(x-b) = le^x$ の解は、特殊な直交多項式で表現可能か？
• RQ2 この方程式に対するラグランジュ逆級数は、ベッセル多項式の新規表現をもたらすか？
• RQ3 $\left(x^2 \frac{d}{dx}\right)^n$ と $x^{n+1} \left(\frac{d}{dx}\right)^n x^{n-1}$ の間に微分恒等式が存在するか？
• RQ4 ラグランジュ級数の項の構造を、古典的直交多項式のロドリゲス型公式と体系的に結びつけることができるか？
• RQ5 混合指数関数的多項式方程式の解にベッセル多項式が現れる意義は何か？

主な発見

• 方程式 $(x-a)(x-b) = le^x$ の解は $x = a + \sum_{n=1}^{\infty} \frac{1}{n!n} \left(\frac{nle^a}{a-b}\right)^n B_{n-1}\left(\frac{-2}{n(a-b)}\right)$ で与えられ、根がベッセル多項式で表現される。
• 新規のロドリゲス型公式が導出された：$B_{n-1}\left(\frac{-2}{x}\right) = e^{-x}x^n \left(\frac{d}{dx}\right)^{n-1}\left[\frac{e^x}{x^n}\right]$、$n \geq 1$ で有効。
• 微分恒等式 $\left(x^2 \frac{d}{dx}\right)^n = x^{n+1} \left(\frac{d}{dx}\right)^n x^{n-1}$ は、交換関係と数学的帰納法を用いて厳密に証明された。
• 対称的な場合の解は $a$ と $b$ を交換することで得られ、$x = b + \sum_{n=1}^{\infty} \frac{1}{n!n} \left(-\frac{nle^b}{a-b}\right)^n B_{n-1}\left(\frac{2}{n(a-b)}\right)$ となる。
• 本稿では、ラグランジュ逆級数の項とロドリゲス公式との間の形式的リンクを確立し、直交多項式と超越方程式の解との間のより深い構造的関係を示唆する。
• 本研究は、ラグランジュ逆級数によって生成されるハイパージェオメトリック型級数を用いた、より広範な超越方程式クラスの解法の道を開く。