Localization for nonlocal gradient-based optimal control problems

技術的概要：非局所勾配に基づく最適制御問題の局所化

問題定義
本論文は、$s \in (0, 1)$ という分数パラメータと $\delta > 0$ というホライズンパラメータという、2 つの異なるパラメータによって特徴づけられる非局所関数空間の枠組み内で定式化された最適制御問題を調査する。制御変数 $g$ は許容集合 $Z_{ad}$ に属し、状態変数 $u$ は非局所ソボレフ空間 $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$ に存在する。状態 $u$ は、制御 $g$ に依存する非局所エネルギー密度 $W^{s,\delta}_g$ を最小化するように制約される。目的は、これらの非局所制約の下でコスト汎関数 $F(u, g)$ を最小化することである。

本研究は、エネルギー密度 $W$ に関して 2 つの主要なシナリオに対処する：

1. 凸の場合：エネルギーは厳密に凸であり、具体的には非局所 $p$-ラプラシアン（または重み付き $p$-ディリクレエネルギー）によってモデル化される。
2. 非凸の場合：エネルギーは多凸または準凸であり、標準的な $p$-成長条件を満たす。この設定では、最小化解は存在するが、必ずしも一意ではない。

中心的な数学的課題は、これらの問題の「局所化」を分析し、非局所性が消滅するにつれて、解が古典的な偏微分方程式（PDE）に基づく最適制御問題にどのように収束するかを実証することである。これは、2 つの異なる極限過程を通じて達成される：

• 分数パラメータ $s \to 1^-$ を取る（$\delta$ は固定）。
• ホライズンパラメータ $\delta \to 0^+$ を取る（$s$ は固定）。

手法と枠組み
著者らは、リーズ分数勾配を一般化する切断核 $\rho^s_\delta$ を介して定義された非局所勾配演算子 $D^s_\delta$ を利用する。この演算子は拡張領域 $\Omega_\delta$ 上で定義された関数に作用するが、「襟」領域 $\Omega_\delta \setminus \Omega$ および $\Omega \setminus \Omega_{-\delta}$ においてゼロ境界条件を課す。

解析は、いくつかの関数解析的ツールに依存する：

• 非局所ソボレフ空間：空間 $H^{s,p,\delta}$ は、非局所勾配を含むノルムの下での滑らかな関数の閉包として定義される。
• コンパクト性と埋め込み：著者らは、許容状態の有界性と収束部分列の存在を確立するために、非局所ポアンカレ不等式（命題 2.5）とコンパクト埋め込み結果（命題 2.6）を採用する。
• $\Gamma$-収束：漸近解析を処理するために、論文はエネルギー汎関数の $\Gamma$-収束を利用する。これにより、非局所エネルギーの最小化解の極限が、極限局所エネルギーの最小化解に対応することが保証される。
• 変分法の直接法：非凸の場合、存在は、多凸および準凸汎関数の弱下半連続性を利用した変分法の直接法を用いて証明される。

主要な結果

1. 凸の場合の適切性：
   非局所 $p$-ラプラシアンエネルギーに対して、許容ペア $(u, g)$ の集合は凸である。著者らは、最適制御問題に対する最小化解の存在と一意性を証明する（定理 3.7）。これは、制御 $g$ から状態 $u$ への解作用素のコンパクト性に依存している。

2. 非凸の場合の存在：
   エネルギーが多凸または準凸である場合、許容集合は一般に非凸であり、固定された $g$ に対する状態 $u$ の一意性は保証されない。それにもかかわらず、著者らは許容状態の集合の有界性と制約集合の弱閉性を証明することにより、少なくとも 1 つの最適ペア $(u, g)$ の存在を確立する（定理 3.12）。

3. $s \to 1^-$ としての局所化：
   $\delta$ を固定して、$s \to 1^-$ となるとき、非局所勾配は古典的勾配に強収束することを論文は示す。

   • 凸の場合：非局所制御問題の最小化解は、状態と勾配については強収束し、制御については弱収束して、対応する局所 $p$-ラプラシアン制御問題の一意の最小化解に収束する（定理 4.10）。さらに、コスト汎関数の値も収束する。
   • 非凸の場合：状態方程式における一意性の欠如により、最小化解の完全な収束は保証されない。代わりに、著者らは「相対的最小化」の結果（系 4.11）を証明し、非局所最小化解の列の任意の極限が、非局所解によって近似可能な局所許容ペアの集合に対する相対的な最小化解であることを示す。
   • 制御の強収束：重要な結果として、制御変数 $g_s$ は $L^r$ において任意の $r \in [1, \infty)$ に対して弱収束だけでなく強収束することが示される（定理 4.12）。これは、コスト汎関数の特定の構造と正則化項から導かれる。

4. $\delta \to 0^+$ としての局所化：
   $s$ を固定して、ホライズン $\delta \to 0^+$ となる極限を論文は解析する。結果は $s \to 1^-$ の場合と類似している。非局所勾配は古典的勾配に収束し、非局所最適制御問題はそれらの局所的対応物に収束する（定理 4.19）。$s \to 1$ の場合と同様に、制御の強収束が確立される（定理 4.21）。

意義と主張
本論文は、状態制約が多凸または準凸エネルギーの最小化を含む最適制御問題を扱う最初の研究であると主張する。これは局所的設定であっても同様である。これらの結果を非局所枠組みに拡張することにより、著者らはペリダイナミクスや分数微積分などの現代的非局所モデリングと古典的最適制御理論の間のギャップを埋めている。

この研究の意義は以下の点にある：

• 一般化：厳密に凸なエネルギーを超えて、非線形弾性にとって不可欠な準凸または多凸エネルギーで記述される材料やモデルを含めること。
• 二重局所化：2 つの異なるパラメータ（$s$ と $\delta$）を介した収束の厳密な解析を提供し、非局所モデルが局所 PDE によってどのように近似されるかにおける柔軟性を示すこと。
• 制御の強収束：多くの $\Gamma$-収束応用で見られる典型的な弱収束よりも強い結果である、制御変数に対する強収束を確立すること。

著者らは、$\Gamma$-収束が最小化解の収束を保証するが、収束率を提供するものではないと控えめに指摘している。彼らは、将来の研究において収束率を回復するために正則性理論を利用できることを提案している。さらに、彼らは、二次の最適性条件を必要とする非凸コスト汎関数を持つ制御問題の研究、および同時極限（$s \to 1$ および $\delta \to 0$）を将来の研究の潜在的な方向性として特定している。