[论文解读] 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

一句话总结

本文通过矩阵参数化的生成函数引入了形变复赫米特多项式，利用微分算子和Wigner映射推导出其Rodrigues公式、正交性和矩表示。主要贡献在于证明了由这些多项式构成的某些Hankel行列式的非负性，将经典正交多项式理论的结果推广至形变双变量情形。

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，推广经典复赫米特多项式，扩展其解析与代数性质。
• 利用微分算子和线性变换，建立形变多项式的Rodrigues型公式和矩表示。
• 在特定矩阵条件下（特别是当h*g为对角矩阵时），研究形变多项式的正交性。
• 证明由形变多项式构造的Hankel行列式的非负性，将经典正交多项式理论中的非负性结果推广。
• 探索形变多项式与非交换量子力学之间的联系，以及其在希尔伯特空间基变换中的作用。

提出的方法

• 通过包含2×2矩阵g的生成函数定义形变复赫米特多项式$ H_{m,n}^{(g)}(z_1,z_2) $，其中g编码形变信息。
• 利用算子$ e^{-rac{\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}} $推导Rodrigues公式，其中$ S^{(g)} $为变量的线性变换。
• 通过证明当$ 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 = 0 $（除非$ (m,n) = (p,q) $），建立正交性。
• 通过适配Karlin与Szegő的方法，利用矩表示和积分变换，证明Hankel行列式的非负性。
• 构造基变换矩阵$ M(L) $，将形变多项式$ H_{m,n}(z,\bar{z}) $与实赫米特多项式乘积$ H_r(x)H_{L-r}(y) $联系起来，其中总次数$ L = m+n $固定。
• 利用Wigner映射和积分表示（如$ \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 由形变复赫米特多项式构成的Hankel行列式具有何种结构，其非负性能否被严格证明？
• RQ4 形变多项式如何通过$ L^2(\bbR^2) $中的基变换与标准实赫米特多项式关联，变换矩阵$ M(L) $的作用是什么？
• RQ5 能否利用涉及复变量平移（如$ z \to z+a $）的积分表示，推导出形变多项式的新的恒等式？

主要发现

• 形变复赫米特多项式$ H_{m,n}^{(g)}(z_1,z_2) $具有Rodrigues型公式：$ 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 $的特征值。
• 由形变多项式构成的Hankel行列式是非负的，将Karlin与Szegő的经典结果推广至形变双变量情形。
• 通过Wigner映射与积分变换，为形变多项式导出矩表示，将其与生成函数和微分算子联系起来。
• 多项式$ 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}} $，由此获得新的基变换并推广了正交性。