凸函数
凸函数是具有如下特性的一个定义在某个向量空间的凸子集(区间)上的实值函数:对其定义域上的任意两点,总有。

若对其定义域上的任意两点,总有,则称函数是严格凸的。
也就是说,一个函数是凸的当且仅当其上境图(在函数图像上方的点集)为一个凸集。
若對於任意的,其中,都有,則稱函數是幾乎凸的。
性质

定义在某个开区间C内的凸函数f在C内连续,且在除可数个点之外的所有点可微。如果C是闭区间,那么f有可能在C的端点不连续。
一元可微函数在某个区间上是凸的,当且仅当它的导数在该区间上单调不减。
一元连续可微函数在区间上是凸的,当且仅当函数位于所有它的切线的上方:对于区间内的所有x和y,都有f(y) ≥ f(x) + f '(x) (y − x)。特别地,如果f '(c) = 0,那么f(c)是f(x)的最小值。
一元二阶可微的函数在区间上是凸的,当且仅当它的二阶导数是非负的;这可以用来判断某个函数是不是凸函数。如果它的二阶导数是正数,那么函数就是严格凸的,但反过来不成立。例如,f(x) = x4的二阶导数是f "(x) = 12 x2,当x = 0时为零,但x4是严格凸的。
更一般地,多元二次可微的连续函数在凸集上是凸的,当且仅当它的黑塞矩阵在凸集的内部是半正定的。
对于凸函数f,水平子集{x | f(x) < a}和{x | f(x) ≤ a}(a ∈ R)是凸集。然而,水平子集是凸集的函数不一定是凸函数;这样的函数称为拟凸函数。
延森不等式对于每一个凸函数f都成立。如果是一个随机变量,在f的定义域内取值,那么(在这里,表示数学期望。)
注意:中国大陆数学界某些机构关于函数凹凸性定义和国外的定义是相反的。Convex Function在某些中国大陆的数学书中指凹函数。Concave Function指凸函数。但在中国大陆涉及经济学的很多书中,凹凸性的提法和其他国家的提法是一致的,也就是和数学教材是反的。举个例子,同济大学高等数学教材对函数的凹凸性定义与本条目相反,本条目的凹凸性是指其上方图是凹集或凸集,而同济大学高等数学教材则是指其下方图是凹集或凸集,两者定义正好相反。 另外,也有些教材会把凸定义为上凸,凹定义为下凸。碰到的时候应该以教材中的那些定义为准。
凸函數的初等運算
- 如果和是凸函數,那麼和也是凸函數。
- 如果和是凸函數,且遞增,那麼是凸函數。
- 凸性在仿射映射下不變:也就是說,如果是凸函數(),那麼也是凸函數,其中
- 如果在內是凸函數,且是一個凸的非空集,那麼在內是凸函數,只要對於某個,有。
例子
- 函数处处有,因此f是一个(严格的)凸函数。
- 绝对值函数是凸函数,虽然它在点x = 0没有导数。
- 当时,函数是凸函数。
- 定义域为[0,1]的函数f,定义为f(0)=f(1)=1,当0<x<1时f(x)=0,是凸函数;它在开区间(0,1)内连续,但在0和1不连续。
- 函数的二阶导数为,因此它在x ≥ 0的集合上是凸函数,在x ≤ 0的集合上是凹函数。
- 每一个在内取值的线性变换都是凸函数,但不是严格凸函数,因为如果f是线性函数,那么。如果将“凸”替换为“凹”,该命题也成立。
- 每一个在内取值的仿射变换,也就是说,每一个形如的函数,既是凸函数又是凹函数。
- 每一个范数都是凸函数,这是由于三角不等式。
- 如果是凸函数,那么当时,是凸函数。
- 和为单调递增但非凸的函数。
- 函数f(x) = 1/x2,f(0)=+∞,在区间(0,+∞)内是凸函数,在区间(-∞,0)内也是凸函数,但是在区间(-∞,+∞)内不是凸函数,这是由于x = 0处的奇点。
参考文献
- Moon, Todd. . [2008-09-04]. (原始内容存档于2008-04-20).
- Rockafellar, R. T. . Princeton: Princeton University Press. 1970.
- Luenberger, David. . Addison-Wesley. 1984.
- Luenberger, David. . Wiley & Sons. 1969.
- Bertsekas, Dimitri. . Athena Scientific. 2003.
- Thomson, Brian. . CRC Press. 1994.
- Hiriart-Urruty, Jean-Baptiste, and Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.
- Krasnosel'skii M.A., Rutickii Ya.B. . Groningen: P.Noordhoff Ltd. 1961.
- Borwein, Jonathan, and Lewis, Adrian. (2000). Convex Analysis and Nonlinear Optimization. Springer.