次微分（subdifferential）

定义1（次微分）给定开集$\Omega \subset {\mathbb{R}}^d$和凸函数$u:\Omega \to \mathbb{R}$，对任意的$x\in \Omega$，定义$u$在点$x$的次微分（subdifferential）为 ∂ u ( x ) : = { p ∈ R d : u ( z ) ≥ u ( x ) + ⟨ p , z − x ⟩ , ∀ z ∈ Ω } . \partial u(x):=\{p\in \mathbb{R}^d:u(z)\ge u(x)+\langle p, z-x\rangle, \forall z \in \Omega\}. ∂u(x):={p∈Rd:u(z)≥u(x)+⟨p,z−x⟩,∀z∈Ω}.次微分$\partial u(x)$是闭凸集。

定义2（支撑平面）在几何上，如果$p\in \partial u(x)$，则仿射函数$$l_{x,p}(z):=u(x)+⟨p,z-x⟩$$从下侧在$x$点接触$u$，即$$l_{x,p}\le u在\Omega 中,并且l_{x,p}(x)=u(x)$$此时$l_{x,p}$是函数$u$在点$x$的支撑平面。

定义3（严格凸函数）一个凸函数$u$在$\Omega$中严格凸的，如果对任意$x\in \Omega$和$p\in \partial u(x)$， u ( z ) > u ( x ) + ⟨ p , z − x ⟩ , ∀ z ∈ Ω \ { x } , u(z)>u(x)+\langle p,z-x\rangle,\quad \forall z \in \Omega \backslash \{x\}, u(z)>u(x)+⟨p,z−x⟩,∀z∈Ω\{x},等价地，$u$的支撑平面旨在一点接触$u$的图。