前情回顾
上篇文章给出了凸函数二阶条件,即对于凸集 S S S上的函数 f f f为凸函数的充要条件为
▽ f ( x ) ⪰ 0 ( x ∈ d o m f ) \triangledown f(x)\succeq0\left(x\in domf\right) ▽f(x)⪰0(x∈domf)
在次给出个人推导的证明,如有错误还请指出。
证明:
充分性:
首先列出凸函数定义式和一阶条件式
f ( λ x + ( 1 − λ ) y ) ≤ λ f ( x ) + ( 1 − λ ) f ( y ) f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y) f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y)
f ( y ) ≥ f ( x ) + ▽ f ( x ) T ( y − x ) f(y)\geq f(x)+\triangledown f(x)^T (y-x) f(y)≥f(x)+▽f(x)T(y−