Homogenization of an optimal control problem for nonlocal semilinear elasticity with soft inclusions

技术摘要：含有软夹杂物的非局部半线性弹性最优控制问题的同质化研究

1. 问题表述
本文研究了定义在含有软周期性夹杂物的高对比度弹性介质上的最优控制问题（OCP）的渐近分析。物理区域 $\Omega \subset \mathbb{R}^N$ 被分解为一个连通的刚性基体相（$\Omega^2_\varepsilon$）和一个软夹杂物相（$\Omega^1_\varepsilon$）。该系统由一个具有非局部项的半线性弹性方程控制，该项模拟了材料的机械响应取决于变形振幅的全局度量（例如，由于溶剂重新分布或平均场反馈所致）。

位移 $u_{\varepsilon\delta}$ 的控制方程为：
$$-\nabla \cdot \sigma_{\varepsilon\delta}(u_{\varepsilon\delta}) + \alpha \|u_{\varepsilon\delta}\|_{L^p(\Omega)}^p u_{\varepsilon\delta} = f(x) + \mathbb{1}_{\Omega^1_\varepsilon} \theta_\varepsilon \quad \text{在 } \Omega \text{ 内},$$
受 Dirichlet 和 Neumann 边界条件约束。其中：

• $\varepsilon > 0$ 代表周期性尺度。
• $\delta > 0$ 代表对比度参数，其中软相中的刚度相对于刚性相（阶数为 1）按 $\delta^2$ 比例缩放。
• $\theta_\varepsilon \in L^2(\Omega^1_\varepsilon)^N$ 是仅作用于软夹杂物内的分布控制。
• 非局部项 $\alpha \|u\|_{L^p}^p u$（其中 $p \ge 2$）通过位移的全局 $L^2$ 振幅将所有空间点耦合在一起。

目标是最小化一个简化代价泛函 $j_{\varepsilon\delta}(\theta_\varepsilon)$，该泛函平衡了位移相对于期望剖面 $u_d$ 的 $L^2$ 追踪误差以及控制能量的正则化项：
$$j_{\varepsilon\delta}(\theta_\varepsilon) = \frac{1}{2} \int_\Omega |u_{\varepsilon\delta}(\theta_\varepsilon) - u_d|^2 dx + \frac{\gamma}{2} \int_{\Omega^1_\varepsilon} |\theta_\varepsilon|^2 dx.$$
分析重点在于当 $(\varepsilon, \delta) \to (0, 0)$ 且比例 $\kappa = \lim \delta/\varepsilon$ 属于 $(0, +\infty]$ 的缩放机制下的渐近行为。

2. 研究方法
作者结合使用**周期性展开算子（periodic unfolding operator）**和 **$\Gamma$-收敛（$\Gamma$-convergence）**论证来推导极限系统。

• 展开算子： 利用周期性展开算子 $T_\varepsilon$ 来处理振荡区域和系数。该技术允许分离宏观和微观尺度，将 $\Omega$ 上的积分转化为 $\Omega \times Y$ 上的积分（其中 $Y$ 是单位周期单元）。
• 能量分解与先验估计： 由于高对比度性质（软相中刚度退化），标准的 $H^1$ 估计失效。作者引入了一种特定的位移场分解方法，将其分解为宏观部分和微观修正部分（引理 3.2–3.3）。这使得能够导出用于紧性的一致估计。
• 通过非局部项实现强收敛： 一个关键的方法论挑战是在非局部半线性项 $\alpha \|u\|_{L^p}^p u$ 中进行极限过程。仅靠弱收敛不足以处理该项。作者通过利用总能量的收敛性（通过 $\Gamma$-收敛）和能量泛函的严格凸性，建立了展开态变量的强 $L^2$ 收敛性。
• 伴随系统分析： 为了刻画最优控制，作者推导了伴随态方程。他们证明了唯一伴随态的存在性，并确立了其渐近行为，这对于推导极限最优性条件至关重要。

3. 核心贡献与结果

• 同质化态系统的导出：
  论文推导了与缩放 $\delta/\varepsilon \to \kappa$ 相关的极限（同质化）态系统。极限系统涉及一个两尺度结构：

  • 宏观位移 $u_0$。
  • 微观修正项 $\tilde{W}$（与软相相关）和 $\hat{U}$（与刚性相相关）。
  • 极限能量泛函 $T_\kappa$ 显式依赖于参数 $\kappa$。
  • 在 $\kappa = +\infty$ 的特定情况下，系统解耦为一个完全尺度分离的同质化系统。
  • 极限问题由一个变分不等式刻画，该不等式涉及同质化刚度张量 $A^{hom}$ 以及作用在组合极限场 $u_0 + \frac{1}{\kappa}\tilde{W}$ 上的非局部项。

• 最优控制问题的同质化：
  作者证明了微观最优控制序列 $\Theta_\varepsilon$ 收敛于极限问题的最优控制 $\hat{\Theta}$。

  • 存在性与唯一性： 建立了微观问题和极限问题最优控制的存在性。在特定条件下，极限问题的唯一性得到了保证；尽管由于非线性导致的简化代价泛函的非凸性，通常无法保证微观问题的全局唯一性。
  • 收敛性： 利用简化代价泛函的 $\Gamma$-收敛以及态变量和伴随变量的强收敛，证明了微观最优控制序列的任何极限点都是极限最优控制问题（OCP）的最优控制。
  • 极限最优性条件： 通过极限伴随态显式地刻画了极限最优控制：$\hat{\Theta} = -\frac{1}{\gamma} (v_0 + \frac{1}{\kappa}\hat{Z})$，其中 $v_0$ 和 $\hat{Z}$ 是极限伴随态的分量。

• 处理高对比度与非局部性：
  本工作同时解决了高对比度弹性（其中能量在软相中退化）和非局部半线性性的困难。作者展示了非局部项需要强收敛，而这种收敛是通过能量收敛论证实现的，这区别于标准局部半线性同质化（其中弱收敛通常已足够）的分析。

4. 重要性与创新性
该论文的主要贡献在于非局部半线性结构和高对比度环境。

• 非局部算子结构： 与以往关于含半线性方程（例如使用局部项 $S(u)$）的最优控制问题研究不同，本模型采用了一个希尔伯特空间算子 $u \mapsto \alpha \|u\|_{L^p}^p u$。这在全球范围内耦合了所有空间点。作者指出，这种结构要求强 $L^2$ 收敛（范数收敛），而不仅仅是弱收敛，这在统一 $H^1$ 估计通常失效的高对比度设置中是非平凡的要求。
• 高对比度弹性： 该分析将同质化理论扩展到了含有软夹杂物且弹性能量发生退化的弹性最优控制问题。论文为推导该机制下的极限系统提供了一个严谨的框架，展示了参数 $\kappa$ 如何影响有效模型。
• 方法论的严谨性： 该工作结合了间接法（最优性系统）与直接的 $\Gamma$-收敛论证，以处理控制-态映射及代价泛函的收敛性，确保了最优控制的极限确实是极限问题的最优控制。

论文最后通过组织其结果——包括态与控制的存在性证明、先验估计、两尺度极限系统的导出以及最终的 OCP 收敛性——提供了一个完整的数学框架，用于此类复杂超材料的形状/响应优化。