3.1基本性质和例子
- 定义
- 扩展值延伸
- 一阶条件
- 二阶条件
- 例子
- 下水平集
- 上境图
- Jensen不等式及其扩展
- 不等式
定义
函数f是凸函数,当f的定义域S是凸集,且
严格凸函数:
从几何上来看,如下图,函数f上的任意两点之间的弦都在函数图像之上。
函数f是凸函数,当且仅当在与函数f的定义域S相交的任何直线上,f均是凸的。
当且仅当g(t)是凸的,f(x)是凸的。
利用此性质,可以将函数限制在直线上判断其凹凸性。
扩展值延伸
扩展值延伸,其实就是对函数f的扩展,对那些不属于dom(f)的点y,定义。
如果f是凸函数,定义其扩展值延伸,如:
显然如果f(x)是凸函数,也是凸函数。
一阶条件
判断函数f是凸函数的方法之一是看其是否满足一阶条件。
可微:如果函数f可微表示f的梯度在开集dom(f)处处存在。
一阶条件:如果f可微,则函数f是凸函数的充要条件是dom(f)是凸集且,下式成立:
一阶条件的证明:
(1)证明函数f是凸函数一阶条件
函数f是凸函数,