[論文レビュー] 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

ひとこと要約

本稿では、アイルリ・多項式が3次ヘルミート多項式と等価であることを確立し、アイルリ変換と特殊関数の間の深い関係を明らかにした。作用的積分法と積分変換を活用することで、アイルリ変換をユニタリ変換として新たな表現が得られ、関数のアイルリ多項式による級数展開が可能となり、一般化されたアイルリ型関数および直交多項式系への道が開かれた。

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.

研究の動機と目的

• アイルリ多項式の数学的構造と高階ヘルミート多項式との関係を明確化すること。
• 3次微分を含む一般化された熱方程式から導かれるユニタリ作用素としてのアイルリ変換を確立すること。
• 作用的技法を用いて任意関数をアイルリ多項式の級数として展開する体系的な手法を開発すること。
• アイルリ多項式の直交性および量子光学や数学物理学における応用可能性を検討すること。

提案手法

• 著者らは作用的積分法を用い、高階微分を含む指数型作用素を用いて高階ヘルミート多項式を定義しており、たとえば $ H_n^{(3)}(x, -|y|) = e^{|y| abla_x^3} x^n $ のように表される。
• Fourier変換を用いて核 $ 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) $ に作用する際、アイルリ関数を含む contour 積分として表現し、$ 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 アイルリ変換は、3次微分を含む一般化された熱方程式から導かれるユニタリ作用素として厳密に定式化可能か？
• RQ3 アイルリ変換の積分核表現は何か？ また、ガウス＝ヴァイエルシュトラス変換とはどのように関係するか？
• RQ4 任意関数をアイルリ多項式の級数として展開するにはどうすればよく、その展開における係数は何か？
• RQ5 アイルリ多項式の直交性は何か？ また、標準的ヘルミート多項式のそれらとどのように一般化されるか？

主な発見

• アイルリ多項式は数学的に3次ヘルミート多項式と等価であり、特に $ 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) $ 関数との間の関係が特定され、高階微分方程式におけるより深い対称性構造の可能性が示唆された。