On convergence of solutions to nonlocal optimal control problems with quasi-minimization constraints

技術要約：準最小化制約を伴う非局所最適制御問題の解の収束

問題設定
本論文は、状態制約がグローバルな最小化因子ではなく、準凸（quasiconvex）なエネルギー汎関数の$\epsilon$-準最小化因子によって定義される、不良設定（ill-posed）な非局所最適制御問題の一類を調査するものである。この問題は、分数階微分次数 $s \in (0, 1)$ とホライゾン・パラメータ $\delta > 0$ によってパラメータ化されている。状態 $u$ と制御 $g$ は、状態 $u$ が非局所エネルギー $W^{\delta,s}_g$ の $\epsilon$-準最小化因子であるという制約の下で、コスト汎関数 $F(u, g)$ を最小化するように求められる。

エネルギー密度 $W$ は、非線形弾性論において一般的であり、最小化一意性が保証されない設定である準凸（または多凸/polyconvex）であると仮定されている。非局所勾配演算子 $D^\delta_s$ は、積分核を介した長距離相互作用を取り入れており、これが古典的なPDE制約付き制御とは異なる点である。対処すべき主要な課題は、制約となる最小化問題における一意性の欠如であり、これは、グローバルな最小化制約を利用していた先行研究 [20] において、非局所制御問題の局所モデルへの収束証明を妨げていた要因である。

手法
解析は、非局所勾速ノルムの下で滑らかなコンパクト支持関数の閉包である非局所関数空間 $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$ の枠組みの中で行われる。手法は主に以下の3つの柱に基づいている：

1. 存在論： 著者らは、変分法の直接法を用いて、非局所最適制御問題の解の存在を確立する。鍵となるのは、許容対の集合 $T^\epsilon_{\delta,s}$ の弱閉性と、コスト汎関数の下半連続性を証明することである。標準的な制御問題とは異なり、エネルギーの最小化一意性が保証されないため、解写像（solution mapping）を定義することはできない。代わりに、$\epsilon$-準最小化因子の集合が有界かつ弱閉であることを示す。
2. $\Gamma$-収束： 漸近的挙動を分析するために、論文では $\Gamma$-収束理論を用いる。著者らは、以下の2つの異なる極限において、非局所エネルギー汎関数の族 $\{W^{\delta,s}_g\}$ が、対応する局所エネルギー汎関数 $W^{\text{loc}}_g$ に強 $L^p$ トポロジーで $\Gamma$-収束することを証明する：
   • $s \to 1^-$ （分数階次数が古典的な微分次数に接近する場合）。
   • $\delta \to 0^+$ （ホライゾンが消失する場合）。
3. 回復列（Recovery Sequence）の構成： 最小化因子の収束を分析するための決定的な技術的貢献は、回復列の構成である。制約が等式ではなく不等式（$W(u) - \min W \le \epsilon$）を含むため、著者らは、エネルギー差が $\epsilon$ よりも厳密に小さい場合と、$\epsilon$ に等しい場合を慎重に扱う必要がある。後者の場合、極限における $\epsilon$-制約が満たされるように、候補となる極限状態と局所的な最小化因子の凸結合を用いて回復列を構成する。

主要な結果
本論文は、以下の主要な定理を確立している：

• 存在（定理 3.4）： 固定されたパラメータ $\delta, s, \epsilon$ に対して、$\epsilon$-準最小化制約を持つ非局所最適制御問題を解く対 $(u_{\delta,s}, g_{\delta,s})$ が存在する。
• $s \to 1^-$ 時の収束（定理 4.10）： 非局所問題の解は（部分列として）、対応する局所最適制御問題（制約が古典的な勾配 $\nabla u$ に依存するもの）の解に収束する。この収束には、状態の $L^p$ における強収束と、制御の弱収束が含まれる。
• $\delta \to 0^+$ 時の収束（定理 4.20）： カーネルが特定のスケーリング仮定を満たす場合、ホライゾン・パラメータが消失するときにも同様の収束結果が成り立つ。
• 制御の強収束（系 4.13 および 4.21）： 確立されたコスト汎関数の収束の下で、制御変数 $g_{\delta,s}$ は $L^r$ 空間において強収束する。

意義と主張
本論文は、$\epsilon$-準最小化制約の導入が、非局所制御問題の局所モデルへの収束証明を困難にしていた既存の文献（特に [20]）における特定の限界を解決することを主張している。近似的な最小化因子を許容するように制約を緩和することで、著者らは以下のことが可能となった：

1. 一意性が保証されない広範な準凸エネルギーに対して、解の存在を証明すること。
2. 一般的な非局所勾配に依存するコスト汎関数に対して、非局所設定から局所設定への解の厳密な収束を確立すること。
3. エネルギー差の振動を管理するために許容誤差 $\epsilon$ を活用した、パラメータ化された最適制御問題における回復列の構成に関する新しい解析的手法を提供すること。

著者らは、得られた結果が選択された具体的な関数空間の枠組みに強く依存しないことを指摘しており、これらの手法が、少なくとも一つの解を持つ（不良設定であるが）他の家族のパラメータ化された最適制御問題にも適用可能であることを示唆している。また、本論文は、固体力学や拡散の一般的なモデリングを超えた特定の物理系への適用を明示的に主張しておらず、文脈として不連続ガラーキン法に関する最近の研究に言及しているものの、新しい数値スキームを提案するものではない。