Localization for nonlocal gradient-based optimal control problems

技术摘要：非局部梯度型最优控制问题的局部化

问题陈述
本文研究了在非局部函数空间框架下表述的最优控制问题，该框架由两个不同的参数刻画：分数阶参数 $s \in (0, 1)$ 和视界参数 $\delta > 0$。控制变量 $g$ 属于容许集 $Z_{ad}$，而状态变量 $u$ 位于非局部索伯列夫空间 $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$ 中。状态 $u$ 被约束为最小化依赖于控制 $g$ 的非局部能量密度 $W^{s,\delta}_g$。目标是在这些非局部约束下最小化成本泛函 $F(u, g)$。

本研究针对能量密度 $W$ 探讨了两种主要情形：

1. 凸情形：能量是严格凸的，具体由非局部 $p$-拉普拉斯算子（或加权 $p$-狄利克雷能量）建模。
2. 非凸情形：能量是多重凸（polyconvex）或拟凸（quasiconvex）的，满足标准的 $p$-增长界。在此设定下，极小元存在但不一定唯一。

核心的数学挑战在于分析这些问题的“局部化”，即证明当非局部性消失时，解如何收敛到基于经典偏微分方程（PDE）的最优控制问题。这是通过两个不同的极限过程实现的：

• 取分数阶参数 $s \to 1^-$（固定 $\delta$）。
• 取视界参数 $\delta \to 0^+$（固定 $s$）。

方法论与框架
作者利用了一个非局部梯度算子 $D^s_\delta$，该算子通过截断核 $\rho^s_\delta$ 定义，推广了 Riesz 分数阶梯度。该算子作用于定义在扩展域 $\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$ 的唯一性无法保证。尽管如此，作者通过证明容许状态集的有界性和约束集的弱闭性，确立了至少存在一个最优对 $(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）。

意义与主张
本文声称是首个考虑状态约束涉及最小化多重凸或拟凸能量的最优控制问题的研究，即使是在局部设定下也是如此。通过将结果扩展到非局部框架，作者弥合了现代非局部建模（如近场动力学和分数阶微积分）与经典最优控制理论之间的鸿沟。

该工作的意义在于：

• 推广：超越严格凸能量，纳入由拟凸或多重凸能量描述的材料和模型，这对非线性弹性至关重要。
• 双重局部化：通过对两个不同参数（$s$ 和 $\delta$）进行严格的收敛性分析，提供了非局部模型如何被局部 PDE 逼近的灵活性。
• 控制的强收敛：确立了控制变量的强收敛，这比许多 $\Gamma$-收敛应用中典型的弱收敛结果更强。

作者谦逊地指出，虽然 $\Gamma$-收敛保证了极小元的收敛性，但它不提供收敛速率。他们建议未来的工作可以利用正则性理论来恢复收敛速率。此外，他们指出具有非凸成本泛函的控制问题（需要二阶最优性条件）的研究以及同时极限（$s \to 1$ 和 $\delta \to 0$）是未来研究的潜在方向。