接着上一篇文章,我们接着说函数的强凸性。
定义:若函数f(x)满足参数strong convex
则
通过这个式子我们可以看到,所谓的强凸就是比凸 多了最后项非零项,自然就比一般的凸更加严格了,所以强凸是不是也比较容易理解了。
Claim 如果函数f(x)强凸,则函数 为凸函数。
是不是觉得这个claim 与平滑中的 claim很像,的确是的。我们先证明一下这个性质。
Proof : 如果g(x)为凸函数,那么g(x)需要满足凸函数的性质即
由于f(x)是强凸函数,因此命题得证。
实际上,如果f(x)是强凸函数,我们还可以得到
二次导数有下界。平滑是二次导数有上界。
同时,我们可以看出强凸与平滑并不等价。强凸是凸,而平滑则不是。如果 ,此时,函数是可能即平滑又强凸的。