[論文レビュー] Operational formulae for the complex Hermite polynomials

Allal Ghanmi|arXiv (Cornell University)|Nov 25, 2012

Mathematical functions and polynomials参考文献 16被引用数 6

ひとこと要約

本稿では、複素エーランジュエーロンポリノミアル $ H_{p,q}(z,\overline{z}) $ のための操作的公式を、バーチャンル型の手法を用いて導出し、ニールセンの恒等式、ルンゲの加法公式、および母関数に関する簡潔な証明と、新たな導出を可能にする。主な貢献は、$ z $ および $ \overline{z} $ に関する微分作用素を用いて、実エーランジュエーロンポリノミアルの恒等式を複素数の場合に一般化する統一的な操作的枠組みを確立することにある。

ABSTRACT

We give operational formulae of Burchnall type involving complex Hermite polynomials. Short proofs of some known formulae are given and new results involving these polynomials, including Nielsen's identities and Runge addition formula, are derived.

研究の動機と目的

• 実エーランジュエーロンポリノミアルのバーチャンルの操作的公式を、複素エーランジュエーロンポリノミアル $ H_{p,q}(z,\overline{z}) $ に拡張すること。
• 新しい操作的枠組みを用いて、ニールセンの恒等式やルンゲの加法公式といった既知の恒等式の短く統一的な証明を提供すること。
• $ H_{p,q}(z,\overline{z}) $ を含む新たな母関数恒等式および和公式を導出すること。
• $ \partial_z $, $ \partial_{\overline{z}} $ およびそれらの組み合わせである微分作用素を用いた、複素エーランジュエーロンポリノミアルの性質を導出する体系的な手法を確立すること。
• $ L^2(\mathbb{C}; e^{-z\overline{z}} dxdy) $ における正規直交基底の性質を介して、結果をコherent状態および一般化されたバーグマン空間への応用と結びつけること。

提案手法

• 微分作用素を用いた操作的公式 $ H_{p,q}(z,\overline{z}) = (-1)^{p+q} e^{z\overline{z}} \partial_{\overline{z}}^p \partial_z^q (e^{-z\overline{z}}) $ を定義し、同値な形での微分作用素表現を併記する。
• 中心的な操作的恒等式として、$ \left(-\partial_{\overline{z}} + z\right)^p (f) = (-1)^p e^{z\overline{z}} \partial_{\overline{z}}^p (e^{-z\overline{z}} f) $ および $ \partial_z $ についても同様の式を導入し、多項式式の操作を可能にする。
• 作用素 $ A_z = -\partial_{\sqrt{2}\overline{z}} + \sqrt{2}z $, $ A_w $ などの可換性を用いて、ルンゲの加法公式の導出に二項展開を適用する。
• 指数型母関数に操作的公式を適用することで、$ \sum_{p,q} \frac{H_{p,q}(z,\overline{z})}{p!q!} w^p \overline{w}^q = e^{w\overline{z} + z\overline{w} - w\overline{w}} $ のような閉形式の表現を導出する。
• 複数の母関数を組み合わせ、作用素の恒等式を適用することで和の恒等式を確立し、たとえば $ \sum_{p,q,r,s} \frac{H_{p,q} H_{p,s} H_{q,r}}{p!q!r!s!} = e^{z(u+1)} e^{\overline{z}(v+1)} e^{-(u+v+uv+1)} $ のような式を得る。
• 複素平面 $ L^2(\mathbb{C}; e^{-z\overline{z}} dxdy) $ における $ H_{p,q}(z,\overline{z}) $ の直交性を活用し、和の結果の妥当性と解釈を検証する。

実験結果

リサーチクエスチョン

• RQ1 バーチャンル型の操作的公式は、複素エーランジュエーロンポリノミアル $ H_{p,q}(z,\overline{z}) $ に一般化可能か。その場合、既知の恒等式の簡略化にどのように寄与するか。
• RQ2 作用素に基づく手法を用いて、$ H_{p,q}(z+w, \overline{z}+\overline{w}) $ のルンゲの加法公式をどのように導出できるか。
• RQ3 $ H_{p,q}(z,\overline{z}) $ に適用した操作的枠組みから、どのような新たな母関数および和の恒等式が導かれるか。
• RQ4 ニールセンの恒等式 $ H_{m+n}(x) $ は、同じ操作的ツールを用いて複素数の場合に拡張可能か。
• RQ5 $ H_{p,q}(z,\overline{z}) $ および $ H_{m,n}(w,\overline{w}) $ を含む多変数恒等式を導出する際、作用素の可換性が果たす役割は何か。

主な発見

• 新しい操作的公式 $ \left(-\partial_{\overline{z}} + z\right)^p (f) = (-1)^p e^{z\overline{z}} \partial_{\overline{z}}^p (e^{-z\overline{z}} f) $ が導出され、これは実エーランジュエーロンポリノミアルのケースを複素変数に一般化する。
• ルンゲの加法公式は、可換作用素の二項展開を用いて証明され、$ H_{p,q}(z+w,\overline{z}+\overline{w}) = (1/2)^{(p+q)/2} \sum_{j=0}^p \sum_{k=0}^q \frac{H_{j,k}(\sqrt{2}z,\sqrt{2}\overline{z})}{j!k!} \frac{H_{p-j,q-k}(\sqrt{2}w,\sqrt{2}\overline{w})}{(p-j)!(q-k)!} $ として得られる。
• 母関数として $ \sum_{p,q=0}^\infty \frac{H_{p,q}(z,\overline{z})}{p!q!} w^p \overline{w}^q = e^{w\overline{z} + z\overline{w} - w\overline{w}} $ が導出され、すべての $ z, w \in \mathbb{C} $ に対して有効である。
• 新しい和の恒等式として $ \sum_{p,q,r,s=0}^\infty \frac{H_{p,q}(z,\overline{z}) H_{p,s}(u,\overline{u}) H_{q,r}(v,\overline{v})}{p!q!r!s!} = e^{z(u+1)} e^{\overline{z}(v+1)} e^{-(u+v+uv+1)} $ が、作用素の合成と二項展開を用いて導出された。
• 母関数から、和を分割し $ z = w $ で評価することで、$ \sum_{n=0}^\infty \frac{|H_{p+n,p}(z,\overline{z})|^2}{(p+n)!p!} = \frac{(-1)^p}{p!} e^{z\overline{z}} - \sum_{q=0}^{p-1} \frac{|H_{p,q}(z,\overline{z})|^2}{p!q!} $ の恒等式が導出された。
• 本稿では、$ H_{p,q}(z,\overline{z}) $ が $ L^2(\mathbb{C}; e^{-z\overline{z}} dxdy) $ において正規直交基底をなすことが確認され、$ \int_{\mathbb{C}} H_{p,q} \overline{H_{m,n}} e^{-z\overline{z}} dxdy = \pi \delta_{pm} \delta_{qn} p! q! $ が成り立つことが示され、ヒルベルト空間の構造が裏付けられた。