q-Mittag–Leffler Resolvents for Nonlinear Caputo q-Fractional Equations: Well-Posedness, Stability, and the q → 1− Classical Limit

技術要約：非線形カプト $q$ 分数微分方程式における $q$-ミッタッグ・レフラー分解能

問題設定
本研究は、有限の $q$ 時間地平における非線形半線形カプト $q$ 分数初期値問題の解析に取り組むものである。調査対象となる特定の方程式は以下の通りである：
$${}^{C}D_{q,0}^{\alpha}x(t) = \lambda x(t) + F(t, x(t)), \quad x(0) = x_0, \quad 0 < \alpha < 1$$
ここで、${}^{C}D_{q,0}^{\alpha}$ はカプト $q$ 分数微分を表す。本論文は、$q$-ガンマ関数や $q$-ミッタッグ・レフラー関数といった特殊関数の $q$ アナログの単なる定義を超え、以下の3つの構造的な問いに焦点を当てている：

1. $q$-ミッタッグ・レフラー関数を、単なる級数の定義としてではなく、進化方程式の分解能（レゾルベント）として解釈すること。
2. 縮小写像の議論を通じて、非線形問題のウェルポーズドネス（存在と一意性）に関する明示的な条件を確立すること。
3. 変形パラメータ $q \to 1^{-}$ のとき、非線形 $q$ 問題が古典的なカプト分数問題へと収束することを、係数レベルではなく解のレベルにおいて証明すること。

手法
解析は、上限ノルムを備えたバナッハ空間 $X_q = C([0, T]_q, \mathbb{R})$ 内の不動点フレームワークに基づいている。

• 分解能の定式化： 著者らは、微分方程式を $q$ 分数積分 $I_{q,0}^{\alpha}$ を用いたボルテラ型積分方程式へと再定式化している。彼らは分解能演算子 $R_{q,\alpha,\lambda} = (I - \lambda I_{q,0}^{\alpha})^{-1}$ を定義した。これをノイマン級数によって展開することで、この分解能が初期データ $x_0$ に作用すると $x_0 qE_{\alpha}(\lambda, t)$ を与えることを示し、これにより $q$-ミッタッグ・レフラー関数を系の自然な斉次応答として特定した。
• ウェルポーズドネス： バナッハの不動点定理を用いて、存在と一意性が確立されている。著者らは、縮小写像原理が成立するための十分条件を以下のように導出した：
  $$\kappa_q := (|\lambda| + L) \frac{T^{\alpha}}{\Gamma_q(\alpha + 1)} < 1$$
  ここで $L$ は非線形項 $F$ のリプシッツ定数である。
• 安定性と依存性： 初期データへの連続依存性は、$q$ 分数グロンウォールの不等式を用いて導出されており、その評価値は $q$-ミッタッグ・レフラー関数によって抑えられる。安定性は、カプト $q$ 分数系の確立されたリアプノフ理論を通じて議論され、$q$-ミッタッグ・レフラー関数の性質と解の減衰を結びつけている。
• 収束解析： 本研究の核心的な理論的貢献は、$q \to 1^{-}$ のときの一様収束の証明である。著者らは、ジャクソン積分のリーマン積分への収束、および $q$-ガンマ関数の古典的ガンマ関数への収趨を利用している。彼らは不動点写像の摂動評価を構築し、もし古典的な問題が解を持ち、かつ $q$ 問題が一様に縮小性を維持するならば、$q$ 解は古典的な解へと一様に収束することを示した。

主な結果

1. 分解能の解釈： 本論文は、$q$-ミッタッグ・レフラー関数 $qE_{\alpha}(\lambda, t)$ が線形カプト $q$ 分数演算子の分解能応答であることを厳密に確立し、線形のメモリ機構と非線形強制力を分離した。
2. 明示的なウェルポーズドネス： 有限地平における解の存在と一意性のために、透明かつ明示的な条件（式25）が提供されている。この条件は、鋭い（必要十分な）ものではなく十分条件として記されているが、その後の収束証明には不可欠である。
3. 解レベルの収束： 定理 6.1 は、一様な縮小性と積分演算の一致性の下で、一意な $q$ 解 $x_q$ が $q \to 1^{-}$ のとき、古典的なカプト解 $x$ へ一様に収束することを証明している。誤差境界は、$q$ 分数積分と古典的分数積分の差に関連付けて明示的に示されている。
4. 数値検証：
   • 線形ケース： 線形緩和モデル（$CD_{q,0}^{0.75}x = -0.8x$）を用いた数値実験により、理論的な収束が確認された。誤差 $\|x_q - x\|_\infty$ は $q \to 1$ に伴って減少し、ログ・ログプロットは、テストされたベンチマークにおいて $1-q$ に対する近似的な一次依存性を示唆している。
   • 非線形ケース： 非線形三次緩和モデル（$CD_{q,0}^{0.75}x = -0.7x - 0.6x^3$）を幾何学的ジャクソン格子を用いて解いた。結果は、非線形 $q$ 解が古典的な参照解に収束することを確認し、線形領域を超えた理論的枠組みの妥当性を検証した。

意義と主張
著者らは、$q$-ガンマ、$q$-ベータ、および $q$-ミッタッグ・レフラー関数の定義は新しい貢献ではなく、またカプト $q$ 問題の存在やその安定性も同様に新しいものではないと明言している。むしろ、本論文の意義は以下の構造的統合にある：

• $q$-ミッタッグ・レフラー関数を、半線形問題の分解能演算子の本質的な一部として再構成したこと。
• 全ての非線形動力学系が、$q \to 1^{-}$ の極限において古典的な分数力学を回復するという統一的な証明を提供したこと。
• 分数次 $\alpha$（非局所的メモリを制御）と、変形パラメータ $q$（微分の幾何学的／量子的な構造を制御）の役割を区別し、$q$ は分数次と混同されるべきではないと論じたこと。

本論文は、これらの結果が、一連の非オリジナルな定義を、量子変形された分数力学の古典的極限への連続性に関する精密な数学的問いと再現可能な回答へと置き換えるものであると結論づけている。