[论文解读] On the no-gap second-order optimality conditions for a non-smooth semilinear elliptic optimal control

Vu Huu Nhu|arXiv (Cornell University)|Sep 25, 2020

Optimization and Variational Analysis参考文献 28被引用 5

一句话总结

本文为具有最大函数非线性项的非光滑半线性椭圆最优控制问题建立了‘无间隙’的二阶最优性理论，其中控制到状态算子不具备Gateaux可微性。通过引入代价泛函的二阶广义导数，并利用二阶泰勒型展开，作者在两个关键假设下推导出必要与充分的二阶条件，二者仅在不等式是否严格上有所区别：一是目标泛函的Gateaux可微性（由伴随状态在状态零集上消失来刻画）；二是关于最大函数不可微点附近点集的结构性假设。

ABSTRACT

This work is concerned with second-order necessary and sufficient optimality conditions for optimal control of a non-smooth semilinear elliptic partial differential equation, where the nonlinearity is the non-smooth max-function and thus the associated control-to-state operator is in general not G\^{a}teaux-differentiable. In addition to standing assumptions, two main hypotheses are imposed. The first one is the G\^{a}teaux-differentiability at the considered control of the objective functional and it is precisely characterized by the vanishing of an adjoint state on the active set. The second one is a structural assumption on the 'almost' active sets, i.e., the sets of all points at which the values of the interested state are 'close' to the non-differentiability point of the max-function. We then derive a 'no-gap' theory of second-order optimality conditions in terms of an abstract curvature functional, i.e., for which the only change between necessary or sufficient second-order optimality conditions is between a strict and non strict inequality.

研究动机与目标

• 为受最大函数非线性项控制的非光滑半线性椭圆最优控制问题，发展二阶必要与充分最优性条件。
• 解决由于最大函数的非光滑性导致控制到状态算子不具备Gateaux可微性所带来的挑战。
• 建立‘无间隙’理论，其中必要与充分条件之间的唯一区别是不等式是否严格。
• 通过伴随状态在状态零集上消失的性质，刻画目标泛函的Gateaux可微性。
• 通过提供充分条件的等价形式，为有限元逼近的离散化误差估计提供框架。

提出的方法

• 引入代价泛函的二阶广义导数 Q(\bar{u}, \bar{p}; h)，以捕捉最大函数拐点处的非光滑行为。
• 利用代价泛函在最优控制附近的二阶泰勒型展开，推导最优性条件。
• 施加两个关键假设：(1) 目标泛函的Gateaux可微性，由伴随状态在状态零集上消失来刻画；(2) 关于最大函数不可微点附近点集的结构性假设。
• 通过伴随状态方程与控制到状态映射，将最优性条件与状态及伴随变量联系起来。
• 应用弱收敛性论证与子序列提取，通过反证法推导充分条件。
• 在命题5.3中提供充分条件的等价形式，使用方向锥 C_\tau(U_{ad}; \bar{u})，以期用于有限元逼近的误差分析。

实验结果

研究问题

• RQ1 在状态方程中存在非光滑最大函数的情况下，目标泛函在给定控制处何时具备Gateaux可微性？
• RQ2 当控制到状态算子不具备Gateaux可微性时，如何推导二阶必要与充分最优性条件？
• RQ3 对最大函数不可微点附近的态的何种结构性假设，能够支持‘无间隙’二阶最优性理论？
• RQ4 能否以某种方式重述二阶充分最优性条件，以促进有限元离散化中的误差分析？
• RQ5 伴随状态在刻画目标泛函Gateaux可微性方面起着何种精确作用？

主要发现

• 目标泛函在控制 \bar{u} 处的Gateaux可微性，等价于对应伴随状态 \bar{p} 在状态 \bar{y} 为零的集合上消失。
• 建立了‘无间隙’二阶最优性理论，其中必要与充分条件之间的唯一区别是二阶广义导数条件中不等式的严格性。
• 对所有 h \in C(U_{ad}; \bar{u}) \setminus \{0\}，有 Q(\bar{u}, \bar{p}; h) > 0 的二阶充分最优性条件，意味着 \bar{u} 是严格局部极小值点。
• 命题5.3中给出了一个等价的充分条件：对所有 h 属于锥 C_\tau(U_{ad}; \bar{u})，有 Q(\bar{u}, \bar{p}; h) \geq c_0 \|h\|_{L^2}^2。
• 充分条件的证明依赖于弱收敛序列的归谬法论证，以及 L^2-范数的弱下半连续性。
• 所推导的二阶广义导数 Q(\bar{u}, \bar{p}; h) 被证明在子序列选取下保持不变，确保了极限的一致性。