[论文解读] Subgradients of Minimal Time Functions Under Minimal Requirements

Boris S. Mordukhovich, Nguyen Mau Nam|arXiv (Cornell University)|Sep 8, 2010

Optimization and Variational Analysis被引用 7

一句话总结

本文在不依赖标准内部性条件（0 ∈ int F）或平稳性假设的前提下，为任意巴拿赫空间中最小时间函数的基本次微分与奇异次微分建立了精细化公式。通过运用变分分析与广义微分的高级工具，本文为凸与非凸目标集提供了精确的次微分表示，将经典结果拓展至非利普希茨连续设定，并为最优控制与逼近理论中的非光滑分析提供了统一框架。

ABSTRACT

This paper concerns the study of a broad class of minimal time functions corresponding to control problems with constant convex dynamics and closed target sets in arbitrary Banach spaces. In contrast to other publications, we do not impose any nonempty interior and/or calmness assumptions on the initial data and deal with generally non-Lipschitzian minimal time functions. The major results present refined formulas for computing various subgradients of minimal time functions under minimal requirements in both cases of convex and nonconvex targets. Our technique is based on advanced tools of variational analysis and generalized differentiation.

研究动机与目标

• 在不假设 0 ∈ int F 或平稳性的前提下，发展巴拿赫空间中最小时间函数的次微分微分学。
• 将关于距离函数与闵可夫斯基支撑函数次微分的经典结果推广至一般最小时间函数。
• 为凸与非凸目标集在集内与集外点处的基本与奇异次微分提供精确公式。
• 为广义费马-托里拆利问题与参数优化的应用建立理论基础。
• 通过消除先前文献中常见的限制性假设，统一并推广现有的次微分公式。

提出的方法

• 运用变分分析与广义微分的高级工具，特别是莫鲁霍维奇的基本/极限次微分与法锥。
• 应用表示式 $ T^F_\Omega(x) = \inf_{w \in \Omega} \rho_F(w - x) $，其中 $ \rho_F $ 为与动力集 $ F $ 关联的闵可夫斯基支撑函数。
• 通过 proximal 与 Fréchet 次微分的极限构造，推导 $ \partial T^F_\Omega(\bar{x}) $ 与 $ \partial^\infty T^F_\Omega(\bar{x}) $ 的次微分公式。
• 建立 $ T^F_\Omega $ 的次微分与闵可夫斯基支撑函数 $ \rho_F $ 及目标集 $ \Omega $ 的法锥之间的关系，特别是通过 $ \partial T^F_\Omega(\bar{x}) \subset N(\bar{w}; \Omega) \cap [-\partial \rho_F(\bar{w} - \bar{x})] $。
• 引入目标集的 $ \Omega_r $-扩张概念，以分析集外点处的次微分行为，尤其在 $ 0 \in F $ 条件下。
• 通过 $ \mathbb{R}^2 $ 中的显式例子验证结果，展示了对凸动力与目标集的精确次微分计算。

实验结果

研究问题

• RQ1 当动力集 $ F $ 的内部为空且 $ 0 \notin \mathrm{int}\,F $ 时，如何刻画最小时间函数的次微分？
• RQ2 在无平稳性或内部性假设的前提下，$ T^F\Omega $ 在集内与集外点处的基本与奇异次微分的精确公式是什么？
• RQ3 $ T^F_\Omega $ 的次微分如何与 $ \Omega $ 的法锥及闵可夫斯基支撑函数 $ \rho_F $ 的次微分相关联？
• RQ4 能否通过集外点处的次微分结构刻画 $ T^F_\Omega $ 的局部利普希茨性质？
• RQ5 在最小结构假设下，经典距离函数理论在多大程度上可推广至最小时间函数？

主要发现

• 本文证明了当 $ 0 \in F $ 时，对于 $ \bar{x} \notin \Omega $，有 $ \partial T^F_\Omega(\bar{x}) = N(\bar{w}; \Omega) \cap [-\partial \rho_F(\bar{w} - \bar{x})] $，其中 $ \bar{w} $ 是 $ \bar{x} $ 在 $ F $ 下到 $ \Omega $ 的唯一投影。
• 对于集内点 $ \bar{x} \in \Omega $，公式 $ \partial T^F_\Omega(\bar{x}) = N(\bar{x}; \Omega) \cap C^* $ 成立，其中 $ C^* $ 是集合 $ C $ 的对偶锥，且 $ C^* = \{ v \in X^* \mid \sigma_F(-v) \leq 1 \} $。
• 在局部利普希茨的集内点处，奇异次微分 $ \partial^\infty T^F_\Omega(\bar{x}) $ 被证明为 $ \{0\} $，例如示例中的 $ \bar{x} = (1,0) $。
• 在非利普希茨的集内点如 $ \bar{y} = (0,1) $ 处，有 $ \partial^\infty T^F_\Omega(\bar{y}) = \{0\} \times [0, \infty) $，确认了非利普希茨行为。
• 在集外点如 $ \bar{z} = (2, 1/2) $ 处，次微分为 $ \{(1,0)\} $，且 $ \partial^\infty T^F_\Omega(\bar{z}) = \{0\} $，证实了局部利普希茨连续性。
• 结果表明，尽管 $ F $ 的内部为空，由于投影与支撑函数次微分的结构，$ T^F_\Omega $ 在 $ \bar{z} $ 处仍为局部利普希茨。