Existence analysis of nonlinear $q$-fractional differential inclusions with $p$-Laplacian operators and an aerospace vibration-modeling illustration

技術要約：非線形 $q$-分数階微分包含および $p$-ラプラシアン演算子に関する存在解析

問題定式化
本研究は、入れ子状の $p$-ラプラシアン演算子と非局所境界条件を含む、結合された非線形 $q$-分数階微分包含の連立系を調査するものである。この系は区間 $\varrho \in [0, 1]$ 上で定義され、$k$ 個の結合された方程式から構成される。その核心的な構造は、以下の演算子の逐次的な階層化によるものである：

1. 内部層（Inner Layer）: 状態ベクトル $w_i$ に対して作用する、次数 $\rho_i$ ($2 < \rho_i < 3$) の Caputo $q$-分数階微分。これは $p$-ラプラシアン演算子 $\Phi_p$ を介して連結されている。
2. 中間層（Intermediate Layer）: 内部層の出力は Jackson $q$-微分 $D_q$ によって変換され、その後、次数 $\xi_i$ ($3 < \xi_i < 4$) の Riemann–Liouville $q$-分数階微分に供される。これは逆 $p$-ラプラシアン $\Phi_z$ （ここで $z$ は $p$ の共役指数）を介して連結されている。
3. 外部層（Outer Layer）: 得られた関数に対して、次数 $\varsigma_i$ ($2 < \varsigma_i < 3$) の Caputo $q$-分数階微分が作用する。

系は以下の微分包含として定式化される：
$$D^{\varsigma_i}_{q,0+} x_i(\varrho) + \vartheta h_i(\varrho, w_i(\varrho)) \in H_i(\varrho, w(\varrho), D_q w(\varrho))$$
ここで、$H_i$ は全状態ベクトルおよびその $q$-微分に依存する、コンパクトかつ凸な値を持つ多価関数である。この問題には、3つの異なる層の境界条件が付随する：

• 外部層: $\varrho=0, 1$ および特定の点 $\epsilon$ における値を含む非局所条件。
• 中間層: $0, 1, \epsilon, \eta$ における $u_i$ およびその導関数を含む条件。
• 内部層: $0, 1$における$w_i$およびその導関数、ならびに$[0, \eta]$ 上の積分制約を含む条件。

手法
著者らは、$q$-分数階微積分、$G$ 関数理論、および多価固定点解析を組み合わせた構成的アプローチを採用している。

1. 層別分解（Layerwise Decomposition）: この複雑な入れ子状の系を、3つの逐次的な境界値問題へとデカップリング（分離）する。著者らは各層に対して明示的なグリーン関数表現 ($G^{(1)}_i, G^{(2)}_i, G^{(3)}_i$) を導出し、外側の問題を最初に解くことで中間層への強制項を決定し、以下同様の手順を進める。
2. 積分形式への変換: 微分包含は、導出されたグリーン関数を用いて、等価な積分包含へと変換される。これにより、問題は積関数空間 $(V_q)^k$ 上の多価演算子 $L$ に対する固定点問題へと書き換えられる。
3. 固定点理論: 多価関数に対する Schauder の定理の一般化である Bohnenblust–Karlin 固定点定理を用いて、存在性が確立される。著者らは、演算子 $L$ が上半連続であり、コンパクトな凸値性を持ち、有界・閉・凸集合を自身へと写すことを検証する。この検証は、多価関数 $H_i$ および摂動項 $h_i$ に課された特定の成長条件（仮説 H1–H4）に基づいている。

主要な結果

• 存在定理: 主要な数学的貢献は、$(V_q)^k$ 空間における結合系の少なくとも一つの解の存在に関する十分条件を提供する定理 3.4 である。これらの条件は、多価関数が $L^1$-Carathéodory 性を持ち、かつ $p$-ラプラシアンの共役指数とグリーン関数のノルムに対して特定の成長境界を満たすことを要求する。
• 例証的例: 具体的なパラメータ値 ($q=1/2, p=z=2$ など) を用いたスカラーケース ($k=1$) が、存在定理の適用可能性を示すために提示されている。著者らは、これらの設定において仮説が保持されることを検証し、グリーン関数の形状および選択プロファイルの数値的可視化を提供している。
• 航空宇宙振動モデリング: 本論文には、マルチローター UAV 上の慣性計測装置（IMU）の振動絶縁をモデル化した実用的な例が含まれている。基盤励起型の単自由度モデルが用いられ、そこでは減衰項が Caputo $q$-分数階微分に置き換えられている。この項は、粘弾性層におけるメモリ依存の挙動を捉えることを意図している。
  • 数値比較: モデルは、剛体マウント、古典的な粘性アイソレータ、および提案された $q$-分数階アイソレータの3つの構成を比較している。
  • 知見: 結果によれば、選択されたパラメータの下では、古典的な粘性アイソレータが RMS 伝達加速度の低減において最大の効果を示すが、$q$-分数階アイソレータも剛体マウントと比較して有意な中間的な低減効果を提供している。著者らは、これを $q$-分数階項がメモリ依存の減衰を効果的にモデル化できる証拠として解釈しているが、テストされた特定のパラメータにおいて粘性減衰より優れているとは主張していない。

意義および主張
本論文は、以下の4つの特性を併せ持つ、提案された非線形 $q$-分数階微分包含系の厳密な存在結果が主要な貢献であると主張している：

1. $k$ 次元の結合構造。
2. Caputo および Riemann–Liotville $q$-微分が $p$-ラプラシアンによる非線形変換によって連結された、入れ子状の演算子構造。
3. 全状態ベクトルおよびその $q$-微分への多価関数の依存性。
4. 異なる演算子層に作用する非局所境界条件。

著者らは、これらの特性を同時に扱うためには、開発された数学的枠組み（層別グリーン関数および積空間における固定点定式化）が必要であると強調している。航空宇宙における例証は、抽象的な存在論を、メモリ依存の減衰を伴う物理的コンテキスト（振動工学モデリング）へと結びつけ、理論的枠組みがいかに実用化されるかを示している。論文は控えめに締めくくられており、今後の課題として一意性、安定性、数値近似、および制御指向の拡張が挙げられているが、振動モデルにおける分数階パラメータの最適性については言及していない。