[論文レビュー] The Mittag-Leffler function

Piet Van Mieghem|arXiv (Cornell University)|May 27, 2020

Matrix Theory and Algorithms参考文献 31被引用数 65

ひとこと要約

本論文は Mittag-Leffler 関数 E_{a,b}(z) の自己完結的なレビューを提供し、新たな結果を含む。複素解析、特別値、微分、関係、および分数微積分への応用を網羅する。

ABSTRACT

We review the function theoretical properties of the Mittag-Leffler function $E_{a,b}\left( z\right) $ in a self-contained manner, but also add new results; more than half is new!

研究の動機と目的

• Mittag-Leffler 関数 E_{a,b}(z) の機能的性質を描出し、厳密な解析的枠組みを設定する。
• 分数微積分への適用性を高めるため、微分、再帰、特別値に関する新しい結果を提示する。
• E_{a,b}(z) を関連関数（例: ハイパージオメトリック、cosh、erfc など）と結びつけ、有用な恒等式を導出する。
• 零点、次数、成長を論じ、確率論的・物理的応用を支える基本的関係を確立する。

提案手法

• E_{a,b}(z) = sum_{k=0}^{∞} z^{k} / Γ(b + a k) を定義し、解析する。
• 微分法則 a dz/dz E_{a,b}(z) = E_{a,b-1}(z) − (b-1) E_{a,b}(z) などの主要恒等式を導出する。
• 再帰・シフト公式を得て用いる。例: E_{a,b}(z) = (1/z)(E_{a,b−a}(z) − 1/Γ(b−a)).
• 特殊値を調べる（例: E_{1,1}(z)=e^{z}, E_{2,1}(z)=cosh(√z)）および循環分解（E_{am,b}(z^{m}) 関係）を研究する。
• 次数と成長、零点の挙動、Γ(·) の Hadamard 型界を用いた E_{a,b}(z) の上界を分析する。
• 一般および分数的な a に対する微分再帰と展開を開発し、E_{1/n,b}(z^{1/n}) のケースを含む。

実験結果

リサーチクエスチョン

• RQ1 Re(a)>0 のとき E_{a,b}(z) の基本的な解析的性質（全性、次数）は何か？
• RQ2 E_{a,b}(z) を b と a のシフトを跨いで微分し、どのように関連付けることができるか、得られる再帰構造は何か？
• RQ3 E_{a,b}(z) を初等関数や古典的特殊関数へ結びつける特殊値と表現は何か？
• RQ4 E_{a,b}(z) の循環多価分解（cyclotomic）と多価分解の挙動はどうなり、どのような含意があるか？
• RQ5 分数微積分や関連分野での応用を支援する境界・零点・成長の結果は何か？

主な発見

• E_{a,b}(z) は Re(a) > 0 かつ任意の b に対して次数 ρ = 1/a の全関数である。
• 基本的な微分法則は az d/dz E_{a,b}(z) = E_{a,b-1}(z) − (b−1) E_{a,b}(z)。
• いくつかのシフト/再帰公式が成立し、例えば E_{a,b}(z) = (1/z)(E_{a,b−a}(z) − 1/Γ(b−a)) および E_{a,b}(z) = (1/Γ(b)) + z E_{a,b+a}(z) 。
• 循環性: E_{am,b}(z^{m}) = (1/m) ∑_{r=0}^{m−1} E_{a,b}(z e^{i 2π r/m}).
• 特殊な場合は初等関数に、例えば E_{1,1}(z)=e^{z}, E_{2,1}(z)=cosh(√z) に対応し、ハイパージオメトリック関数との結びつきにも寄与する（E_{1,b}(z)=M(1,b,z)/Γ(b)）。
• 界と漸近性には Hadamard 型境界と e^{x^{1/a}} との比較を含み、鋭い成長推定を提供する。
• 分数 a の解析は E_{1/n,b}(x) を不完全ガンマ関数と指数関数の形で表現し、これらの関数の次数 n を強調する。
• 対数微分 d/dz log E_{a,b}(z) は z>0 かつ b>1 で正となり、実軸上で log E_{a,b}(z) の単調増加を示す。
• 任意の z0 の周りのテイラー展開が可能で、特殊な微分再帰により E_{a,b−j}(z0) を用いた展開が可能。