凸优化简介4

可微函数的分类

1. 基本类别

该类别的函数为连续的且满足Lipschitz条件的函数类。（注：Lipschitz条件为，设函数$f(x)$在区间$[a,b]$上满足如下两个条件：(1) 当$x\in [a,b]$时，$f(x)\in [a,b]$；(2) $|f(x_1)-f(x_2)|\le L|x_1-x_2|,\forall x_1,x_2\in [a,b]$)。
设$Q$是${\mathbb{R}}^n$的子集，若函数满足如下两个条件：
(1) 任意 $f\in C_L^{k,p}(Q)$在$Q$上是$k$次连续可微的(即前$k$阶导都是连续的)；
(2) 第$p$次导数在$Q$上是Lipschitz连续的，即对所有的$x,y\in Q$，满足$\Vert f^{(p)}(x)-f^{(p)}(y)\Vert \le L\Vert x-y\Vert$。
则该函数类记为$C_L^{k,p}(Q)$。
该类函数有如下性质：
(1) $p\le k$。因为该类函数前$k$阶导数都是连续的，因此满足条件2的第$p$次导数不会大于$k$；
(2) 如果$q\ge k$，那么$C_L^{q,p}\subseteq C_L^{k,p}(Q)$。因为Lipschitz连续的要求阶更高，因此是子集关系；
(3)如果 $f_1\in C_{L_1}^{k,p}(Q),f_2\in C_{L_2}^{k,p}(Q)$且 $\alpha ,\beta \in \mathbb{R}$，那么对于$L_3=|\alpha |L_1+|\beta |L_2$，有$\alpha f_1+\beta f_2\in C_{L_3}^{k,p}(Q)$。

2. $C_L^{1,1}({\mathbb{R}}^n)类$

该类函数为基本类的特殊情况，$C_L^{1,1}(\mathbb{R}{)}^n$对于所有的$x,y\in {\mathbb{R}}^n$有$\Vert ▽f(x)-▽f(y)\Vert \le L\Vert x-y\Vert$。

函数$f(x)$属于$C_L^{2,1}({\mathbb{R}}^n)\subset C_L^{}$