定理3.5(强凸函数的共轭函数)
假设 f f f是一个闭的 μ \mu μ-强凸函数,则:
(1) f ∗ f^* f∗对于所有的 y y y都有定义,即 d o m f ∗ = R n dom\,f^*=\mathbb{R}^n domf∗=Rn
(2) f ∗ f^* f∗是处处可微的,且有梯度
∇ f ∗ ( y ) = a r g m a x x ( y T x − f ( x ) ) \nabla f^*(y)=\underset{x}{argmax} \:(y^Tx-f(x)) ∇f∗(y)=xargmax(yTx−f(x))(3) ∇ f ∗ \nabla f^* ∇f∗是Lipschitz连续的(设对偶范数为 ∣ ∣ ⋅ ∣ ∣ ∗ ||\cdot||_* ∣∣⋅∣∣∗)&#