[论文解读] The Airy transform and the associated polynomials

D. Babusci, G. Dattoli+1 more|arXiv (Cornell University)|Feb 12, 2010

Orbital Angular Momentum in Optics被引用 7

一句话总结

本文证明了艾里多项式与三阶埃尔米特多项式等价，揭示了艾里变换与特殊函数之间的深刻联系。通过利用运算微积分和积分变换，作者推导出艾里变换作为酉变换的新表示形式，从而实现了利用艾里多项式展开函数，为广义艾里型函数及正交多项式系开辟了新途径。

ABSTRACT

The Airy transform is an ideally suited tool to treat problem in classical and quantum optics. Even though the relevant mathematical aspects have been thoroughly investigated, the possibility it offers are wide and some aspects, as the link with special functions and polynomials, still contains unexplored aspects. In this note we will show that the so called Airy polynomials are essentially the third order Hermite polynomials. We will also prove that this identification opens the possibility of developing new conjectures on the properties of this family of polynomials.

研究动机与目标

• 澄清艾里多项式的数学结构及其与高阶埃尔米特多项式的关系。
• 建立艾里变换为源自含三阶导数的广义热方程的酉算符。
• 利用运算技术，发展一种系统方法，将任意函数展开为艾里多项式的形式。
• 探讨艾里多项式的正交性质及其在量子光学和数学物理中的潜在应用。

提出的方法

• 作者使用运算微积分，通过涉及高阶导数的指数算符定义高阶埃尔米特多项式，例如 $ H_n^{(3)}(x, -|y|) = e^{|y| abla_x^3} x^n $。
• 他们通过艾里函数核 $ e^{-x^3} $ 的傅里叶变换，推导出艾里变换的积分表示，得到涉及艾里函数的卷积型表达式。
• 证明了酉变换 $ \hat{A} = e^{-\frac{1}{3b}\partial_x^3} e^{-i b x \tau} e^{\frac{1}{3b}\partial_x^3} $ 可生成艾里变换，该变换满足含线性势的薛定谔型方程。
• 该方法涉及将指数算符作用于函数 $ f(x) $ 的结果表示为含艾里函数的围线积分，从而实现以 $ x^n $ 为基的级数展开。
• 展开式 $ f(x) = \sum_n a_n H_n^{(3)}(x, -|y|) $ 中的系数通过 $ a_n = \frac{(-1)^n}{2\pi n! \sqrt[3]{3|y|}} \int dt \, f(\xi) \partial_\xi^n Ai\left(\frac{\xi}{\sqrt[3]{3|y|}}\right) $ 推导得出。
• 该形式体系被推广至更高阶情形，如 $ (2p+1) $ 阶导数，并与广义艾里型函数（如沃森函数）相联系。

实验结果

研究问题

• RQ1 艾里多项式在数学上是否等价于已知的正交多项式类，例如高阶埃尔米特多项式？
• RQ2 艾里变换能否严格表述为源自含三阶导数的广义热方程的酉算符？
• RQ3 艾里变换的积分核表示为何？它与高斯-魏尔斯特拉斯变换有何关联？
• RQ4 如何将任意函数展开为艾里多项式的级数？此类展开中的系数是什么？
• RQ5 艾里多项式的正交性质是什么？它们如何推广标准埃尔米特多项式的正交性质？

主要发现

• 艾里多项式在数学上等价于三阶埃尔米特多项式，具体为 $ H_n^{(3)}(x, -|y|) $，建立了艾里函数与高阶正交多项式之间的直接联系。
• 艾里变换被证明为酉算符 $ \hat{A} = e^{-\frac{1}{3b}\partial_x^3} e^{-i b x \tau} e^{\frac{1}{3b}\partial_x^3} $，该算符满足含线性势的薛定谔型方程。
• 该变换具有涉及艾里函数的积分表示：$ \frac{1}{\sqrt[3]{3|y|}} \int_{-\infty}^{\infty} d\xi \, Ai\left(-\frac{x-\xi}{\sqrt[3]{3|y|}}\right) f(\xi) = \sum_n a_n x^n $，从而实现函数展开。
• 展开式 $ f(x) = \sum_n a_n H_n^{(3)}(x, -|y|) $ 中的系数 $ a_n $ 推导为 $ a_n = \frac{(-1)^n}{2\pi n! \sqrt[3]{3|y|}} \int dt \, f(\xi) \partial_\xi^n Ai\left(\frac{\xi}{\sqrt[3]{3|y|}}\right) $，当积分收敛时成立。
• 该形式体系可推广至 $ (2p+1) $ 阶导数，暗示存在更广泛的艾里型变换及其关联的特殊函数类。
• 本文识别出沃森广义艾里函数与 $ A^{(2p+1)}(x) $ 函数之间的联系，提示高阶微分方程中存在更深层次的对称结构。