求不存在次梯度的凸函数示例及其不存在次梯度的原因

嘿，这个问题问得很关键！确实存在一些“病态”的凸函数，在定义域的边界点上没有次梯度，我给你举个经典例子，再把原因讲明白：

示例函数 #

考虑定义在非负实数集 $\mathbb{R}_{\geq0}$ 上的函数：f(x) = -√x

首先确认这是凸函数：它的二阶导数 f''(x) = 1/(4x^(3/2))，在定义域内部（x>0）严格大于0，属于严格凸函数，扩展到整个定义域$\mathbb{R}_{\geq0}$上也是凸函数。

为什么在边界点x=0处没有次梯度？ #

先回忆次梯度的核心定义：对于凸函数$f: \mathcal{D} \to \mathbb{R}$，在点$x_0 \in \mathcal{D}$处的次梯度是一个实数$g$（一维场景），需要满足对所有$x \in \mathcal{D}$，都有 $f(x) \geq f(x_0) + g(x - x_0)$。

代入$x_0=0$，此时$f(0)=0$，不等式就变成：

$-\sqrt{x} \geq g \cdot x$，对所有$x \geq 0$成立

我们拆分分析这个不等式：

• 当$x>0$时，两边除以$x$，得到 $-\frac{1}{\sqrt{x}} \geq g$
• 当$x$趋近于0+的时候，$-\frac{1}{\sqrt{x}}$会趋向于负无穷——这意味着$g$要小于等于所有趋向负无穷的数，但实数里根本不存在这样的“最小数”，没有任何实数能满足这个要求。

所以在$x=0$这个定义域边界点上，找不到符合次梯度定义的$g$，自然就不存在次梯度。

补充一个多维示例 #

比如定义在二维非负象限$\mathbb{R}_{\geq0}^2$上的函数 f(x₁,x₂) = -√(x₁x₂)，这也是凸函数，在边界点$(0,0)$处同样没有次梯度，推导逻辑和一维例子一致，你可以自己试着验证下~

备注：内容来源于stack exchange，提问作者learning