[論文レビュー] Umbral Calculus, a Different Mathematical Language

Silvia Licciardi|arXiv (Cornell University)|Feb 24, 2018

History and Theory of Mathematics参考文献 34被引用数 22

ひとこと要約

本稿では、ヘヴィサイド計算にインspiredされた形式的演算子法を用いて、エルミート、ラゲール、ベッセル、ミッターグルーファー関数などの特殊関数および多項式を統一的に取り扱う、アンブレル計算における画期的な操作的枠組みを提示する。アンブレル像、変換（エルミートおよびラゲール変換）、一般化された多項式族を導入することにより、解析的計算における顕著な簡略化が可能となり、特に分数マスダー計算および特殊関数論において、互いに異なる数学的分野の間の深い構造的関係が明らかになる。

ABSTRACT

This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we are referring to is that of symbolic methods, largely based on a formalism of umbral type which provides a tremendous simplification of the derivation of the associated properties. The strategy we will follow is that of establishing the rules to replace higher trascendental functions in terms of elementary functions and to take advantage from such a recasting.

研究の動機と目的

• アンブレル形式的記法を用いて、特殊関数および直交多項式に対する体系的な操作的アプローチを開発すること。
• 分数マスダー微分、ベッセル関数、調和数といった、見た目は関係のない数学的トピックを、同一の計算フレームワークに統一すること。
• 一般化されたアンブレル変換および演算子順序付け技術を用いて、特殊関数論の古典的結果を拡張すること。
• 本手法が、分数シュレーディンガー方程式や自由電子レーザーのダイナミクスといった物理的問題への適用可能性を示すこと。
• アンブレル計算が、特に積分方程式や拡散過程の解法において、純粋数学と応用数学の間を統合する言語としての可能性を探索すること。

提案手法

• 本稿では、ボレル変換および母関数を用いて、古典的特殊関数をそのアンブレル像に写像し、演算子計算による形式的取り扱いを可能にする。
• 直交多項式の指数母関数から導かれる積分作用素として、エルミート変換およびラゲール変換を導入する。
• 形式的性質の永続性の原則を用いて、古典的状態からアンブレル状態への恒等式の拡張を行い、代数的構造を保存する。
• 微分、シフト、乗算作用素を表すためのアンブレル作用素 $\hat{b}$, $\hat{h}$, および $\hat{c}$ を定義し、記号的計算フレームワークを構築する。
• 繰り返しのアンブレル像および作用素合成を用いて、高次および多変数多項式（例：三変数エルミート多項式）を構成する。
• 本フレームワークは、ボルテラ積分方程式および行列の分数乗の指数化問題に適用され、一般化された三角関数および拡散方程式との関連が示される。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてアンブレル計算を、ベッセル、エルミート、ラゲール多項式といった特殊関数の取り扱いを統一的に応用できるか？
• RQ2 アンブレル変換は、分数マスダー微分および積分方程式を含む解析的計算を簡略化する役割を果たすか？
• RQ3 アンブレル形式的記法は、分数マスダー計算における直交多項式と特殊関数の間の隠れた構造的関係を明らかにできるか？
• RQ4 本手法は、三変数エルミート多項式のような高次および多変数多項式族にどのように拡張できるか？
• RQ5 本手法は、分数シュレーディンガー方程式や自由電子レーザーのダイナミクスといった物理的問題の解法に及ぼす影響は何か？

主な発見

• 関数 $f(x)$ のアンブレル変換は、$ {}_{H}\hat{f}(y) = \frac{1}{2\sqrt{y}} \int_{-\infty}^{\infty} e^{-\frac{\xi^2}{4y}} \left( \frac{\xi}{2y} + {}_{-\frac{1}{4|y|}}\hat{h} \right)^n f(\xi) \, d\xi \, {}_{\bar{y}}\theta_0 $ により定義され、拡散型方程式の解法を可能にする。
• ラゲール変換は $ {}_{L}\hat{f}_n(y) = \int_0^\infty e^{-\sigma} (y - \hat{c}\sigma)^n f(\sigma) \, d\sigma \, \varphi_0 $ として導出され、負の微分作用素と直交多項式展開を結びつける。
• エルミート多項式の両側母関数の閉形式が得られる：$ G(x,y;z,w|t) = \frac{1}{\sqrt{1 - 4yt^2w}} \exp\left( \frac{(x^2w + yz^2)t^2 + xtz}{1 - 4yt^2w} \right) $、$ y > 0 $ に対して有効。
• 三変数三階エルミート多項式は $ H_n^{(3)}(x,y,z) = \left( x + {}_y\hat{h}_2 + {}_z\hat{h}_3 \right)^n \theta_{0,y}\theta_{0,z} $ として表現され、ネストされたアンブレル作用素による組合せ的展開が可能である。
• 本手法により、三角関数およびベッセル関数が一般化されたアンブレル形式に拡張され、高次拡散および発展方程式の解法が可能になる。
• 本フレームワークは、ボルテラ積分方程式の解法および負の微分形式による自由電子レーザーのダイナミクスのモデル化に、統一的な操作的ツールキットを提供する。