[論文レビュー] Deformed Complex Hermite Polynomials

S. Twareque Ali, Mourad E. H. Ismail+1 more|arXiv (Cornell University)|Oct 15, 2014

Advanced Mathematical Theories and Applications参考文献 21被引用数 7

ひとこと要約

本稿では、行列パラメータ化された母関数を用いて変形された複素ヘルミート多項式を導入し、微分作用素とウィグナー写像を用いて、そのロドリゲス型公式、直交性、モーメント表現を導出する。主な貢献は、これらの多項式から構成されるある種のハンケル行列式の正定性を証明することであり、古典的な直交多項式理論の結果を変形された2変数設定に拡張する。

ABSTRACT

We study a class of bivariate deformed Hermite polynomials and some of their properties using classical analytic techniques and the Wigner map. We also prove the positivity of certain determinants formed by the deformed polynomials. Along the way we also work out some additional properties of the (undeformed) complex Hermite polynomials and their relationships to the standard Hermite polynomials (of a single real variable).

研究の動機と目的

• 行列パラメータ g を導入することで、古典的複素ヘルミート多項式を一般化し、その解析的および代数的性質を拡張すること。
• 微分作用素と線形変換を用いて、変形多項式のロドリゲス型公式とモーメント表現を確立すること。
• 特に h*g が対角行列である場合に限って、特定の行列条件の下での変形多項式の直交性を調査すること。
• 変形多項式から構成されるハンケル行列式の非負性を証明し、直交多項式理論における古典的正定性結果を拡張すること。
• 非可換量子力学との関係を探索し、ヒルベルト空間内での基底変換における役割を明らかにすること。

提案手法

• 2×2行列 g を用いた母関数を用いて、変形された複素ヘルミート多項式 $ H_{m,n}^{(g)}(z_1,z_2) $ を定義し、変形を符号化する。
• 作用素 $ e^{-\frac{\text{d}}{\text{d}z_1}\frac{\text{d}}{\text{d}z_2}} S^{(g)} e^{\frac{\text{d}}{\text{d}z_1}\frac{\text{d}}{\text{d}z_2}} $ を用いてロドリゲス型公式を導出する。ここで $ S^{(g)} $ は変数の線形変換である。
• 積分 $ \text{int}_{\bbR^2} H_{m,n}^{(g)}(z,\bar{z}) \bar{H_{p,q}^{(h)}(z,\bar{z})} e^{-x^2 - y^2} dx dy = 0 $ が $ (m,n) = (p,q) $ でない限り成り立つことを示すことにより直交性を確立する。ただし $ h^*g $ が対角行列であることが条件である。
• カルリンクとシュガーよりの技法を応用し、モーメント表現と積分変換を用いてハンケル行列式の正定性を証明する。
• 固定された全次数 $ L = m+n $ に対して、変形多項式 $ H_{m,n}(z,\bar{z}) $ を実ヘルミート多項式の積 $ H_r(x)H_{L-r}(y) $ に関連付ける基底変換行列 $ M(L) $ を構成する。
• ウィグナー写像と積分表現（例：$ \text{int} H_{m,n}(z+a,\bar{z}+\bar{a}) H_{p,q}(z-a,\bar{z}-\bar{a}) e^{-z\bar{z}} dx dy = (-1)^{p+q} \frac{\text{const}}{\text{const}} $）を用いて、新しい恒等式および基底変換公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 行列パラメータ $ g $ を用いて、古典的複素ヘルミート多項式をどのように一般化できるか。その結果得られる解析的および代数的性質は何か。
• RQ2 変形行列 $ g $ と $ h $ がどのような条件下で、ガウス重み関数 $ e^{-x^2 - y^2} $ に対して変形多項式が直交するか。
• RQ3 変形された複素ヘルミート多項式から構成されるハンケル行列式の構造は何か。その非負性を厳密に証明できるか。
• RQ4 変形多項式は $ L^2(\bbR^2) $ 内の基底変換によって、標準的な実ヘルミート多項式とどのように関係するか。変換行列 $ M(L) $ の役割は何か。
• RQ5 複素変数へのシフト（例：$ z \to z+a $）を含む積分表現を用いて、変形多項式の新しい恒等式を導出できるか。

主な発見

• 変形された複素ヘルミート多項式 $ H_{m,n}^{(g)}(z_1,z_2) $ はロドリゲス型公式 $ H_{m,n}^{(g)}(z_1,z_2) = e^{-\frac{\text{d}}{\text{d}z_1}\frac{\text{d}}{\text{d}z_2}} (g_{1,1}z_1 + g_{2,1}z_2)^m (g_{1,2}z_1 + g_{2,2}z_2)^n $ を持つ。
• 直交性は $ h^*g $ が対角行列である場合に限り成り立ち、このとき $ \text{int}_{\bbR^2} H_{m,n}^{(g)}(z,\bar{z}) \bar{H_{p,q}^{(h)}(z,\bar{z})} e^{-x^2 - y^2} dx dy = m!n! \rho_1^m \rho_2^n \rho_{m,p} \rho_{n,q} $ が成り立つ。ここで $ \rho_1, \rho_2 $ は $ h^*g $ の固有値である。
• 変形多項式から構成されるハンケル行列式は非負である。これはカルリンクとシュガーの古典的結果を、変形された2変数設定に拡張したものである。
• ウィグナー写像と積分変換を用いて、変形多項式のモーメント表現が導出され、生成関数および微分作用素と関連づけられる。
• 多項式 $ H_{m,n}(z,\bar{z}) $ は、行列 $ M(L) $ を用いて、積 $ H_r(x)H_{L-r}(y) $ の線形結合として表される。このとき、二項係数および複素数の累乗を含む明示的な係数が得られる。
• 積分恒等式 $ \text{int}_{\bbR^2} H_{m,n}(z+a,\bar{z}+\bar{a}) H_{p,q}(z-a,\bar{z}-\bar{a}) e^{-z\bar{z}} dx dy = (-1)^{p+q} \frac{\text{const}}{\text{const}} $ が証明され、新たな基底変換および直交性の一般化が得られる。