漫步凸分析四——凸函数

最新推荐文章于 2022-07-28 20:49:27 发布

会敲键盘的猩猩

最新推荐文章于 2022-07-28 20:49:27 发布

阅读量5.6k

点赞数 1

分类专栏：漫步凸分析文章标签：凸函数上境图 Jensen不等式

漫步凸分析专栏收录该内容

9 篇文章 21 订阅

订阅专栏

令函数 $f$ 的值域是实数或 $\pm\infty$ ，定义域是 $R^n$ 的一个子集，集合

{(x, μ) | x \in S, μ \in R, μ \geq f (x)}

$\{(x,\mu)|x\in S,\mu\in R,\mu\geq f(x)\}$

叫做 $f$ 的上境图(epigraph)，用epi $f$ 表示，如果epi $f$ 是 $R^{n+1}$ 的凸子集，那么我们将 $f$ 定义为凸函数。对于 $S$ 上的函数，如果其负为凸，那么该函数为凹。 $S$ 上的仿射函数是有限的，凸且凹的。

凸函数 $f$ 在 $S$ 上的有效定义域(用dom $f$ 表示)就是 $f$ 的上境图在 $R^n$ 上的投影：

dom f = {x | \exists μ, (x, μ) \in epi f} = {x | f (x) < + \infty}

$\text{dom}f=\{x|\exists\mu,(x,\mu)\in\text{epi}f\}=\{x|f(x)<+\infty\}$

这是 $R^n$ 中的一个凸集，因为它是凸集epi $f$ 在线性变换下的像(定理3.4)。它的维数就是 $f$ 的维数，一般地， $f$ 为凸等价于dom $f$ 为凸，所有的讨论实际上集中在有效定义域上， $S$ 本身没什么太大作用。

我们不想只考虑有效定义域为某个确定值 $C$ 的一类凸函数，稍后会看到这么做的原因。但是有两个方法依然保留着，我们考虑不取 $+\infty$ 的函数，这样的话 $S$ 总是和dom $f$ 是一致的(但是将和 $f$ 一起变化)，或者考虑定义域在整个 $R^n$ 上的函数，这样的话对于 $x\notin S$ ，通过设置 $f(x)=+\infty$ 就能将 $S$ 上的凸函数 $f$ 扩展为整个 $R^n$ 上的凸函数。

本文选择第二种方法，因此当提到凸函数时，除非特别说明，否则这就意味着这个凸函数是定义在整个 $R^n$ 空间上的，并且可能取无穷大。这个方法有个好处，那就是可以压制有效定义域带来的麻烦，例如当凸函数 $f$ 已经通过某种形式构造出来后，同样的形式可以用于有效定义域上，因为他们指定了 $f(x)$ 为 $+\infty$ 的地方。而对于另一种方法，在定义域内 $f$ 的值给定以前，必须先显示地给出有效定义域。

然而，这里采用的方法会产生涉及 $+\infty,-\infty$ 的算术计算，我们采纳的法则如下：

α + \infty = \infty + α = \infty f o r - \infty < α \leq \infty α - \infty = - \infty + α = - \infty f o r - \infty \leq α < \infty α \infty = \infty α = \infty, α (- \infty) = (- \infty) α = - \infty f o r 0 < α \leq \infty α \infty = \infty α = - \infty, α (- \infty) = (- \infty) α = \infty f o r - \infty \leq α < 0 0 \infty = \infty 0 = 0 (- \infty) = (- \infty) 0, - (- \infty) = \infty inf \emptyset = + \infty, sup \emptyset = - \infty

$\begin{align*} &\alpha+\infty=\infty+\alpha=\infty\quad for\quad -\infty<\alpha\leq\infty\\ &\alpha-\infty=-\infty+\alpha=-\infty\quad for\quad -\infty\leq\alpha<\infty\\ &\alpha\infty=\infty\alpha=\infty,\quad \alpha(-\infty)=(-\infty)\alpha=-\infty\quad for\quad 0<\alpha\leq\infty\\ &\alpha\infty=\infty\alpha=-\infty,\quad \alpha(-\infty)=(-\infty)\alpha=\infty\quad for\quad -\infty\leq\alpha<0\\ &0\infty=\infty0=0(-\infty)=(-\infty)0,\quad -(-\infty)=\infty\\ &\inf\emptyset=+\infty,\quad \sup\emptyset=-\infty \end{align*}$

组合 $\infty-\infty,-\infty+\infty$ 没有定义，应该避免，在这些法则下，下面熟悉的算数法则依然成立：

α 1 + α 2 = α 2 + α 1, (α 1 + α 2) + α 3 = α 1 + (α 2 + α 3) α 1 α 2 = α 2 α 1, (α 1 α 2) α 3 = α 1 (α 2 α 3) α (α 1 + α 2) = α α 1 + α α 2

$\begin{align*} &\alpha_1+\alpha_2=\alpha_2+\alpha_1,\quad (\alpha_1+\alpha_2)+\alpha_3=\alpha_1+(\alpha_2+\alpha_3)\\ &\alpha_1\alpha_2=\alpha_2\alpha_1,\quad (\alpha_1\alpha_2)\alpha_3=\alpha_1(\alpha_2\alpha_3)\\ &\alpha(\alpha_1+\alpha_2)=\alpha\alpha_1+\alpha\alpha_2 \end{align*}$

当然前提是 $\alpha+\beta$ 没有一个会产生 $\infty-\infty$ (或者 $-\infty+\infty$ )。

避免 $\infty-\infty$ 自然要求我们要留心，像避免除数出现零。实际中，根据假设给定的计算通常自动排除了无穷大的情况，所以不会出现复杂的情况。

对于凸函数 $f$ ，如果它的上境图是非空的并且不包含垂线，即至少有一个点 $x$ 使得 $f(x)<+\infty$ 并且对于所有 $x,f(x)>-\infty$ ，这是我们说函数是正常的(proper)，因此当且仅当凸集 $C=\text{dom}f$ 是非空并且在此集合上 $f$ 是有限时， $f$ 是合适的。换句话说， $R^n$ 上的凸函数就是这样的函数，在非空凸集 $C$ 上取有限的凸函数 $f$ ，然后对 $x\notin C$ ，设置 $f(x)=+\infty$ 从而将函数 $f$ 扩展到整个 $R^n$ 上。

不是正常的凸函数就是不正常的(improper)。正常凸函数使我们要研究的对象，但是在许多情况下，正常函数会产生不正常函数并且接纳他们比费力地排除他们要更简便。这里给出一个定义在 $R$ 上不正常凸函数的例子

f (x) = ⎧ ⎩ ⎨ - \infty 0 + \infty if | x | < 1 if | x | = 1 if | x | > 1

$f(x)= \begin{cases} -\infty&\text{if}\ |x|<1\\ 0&\text{if}\ |x|=1\\ +\infty&\text{if}\ |x|>1 \end{cases}$

凸函数有一个重要的插值属性，根据定义， $f$ 是 $S$ 上的凸函数，当且仅当 $(x,\mu),(y,v)$ 属于epi $f$ 并且 $0\leq\lambda\leq1$ 时，下式

(1 - λ) (x, μ) + λ (y, v) = ((1 - λ) x + λ y, (1 - λ) μ + λ v)

$(1-\lambda)(x,\mu)+\lambda(y,v)=((1-\lambda)x+\lambda y,(1-\lambda)\mu+\lambda v)$

属于epi $f$ 。换句话说，当 $x\in S$ , $y\in S,f(x)\leq\mu\in R,f(y)\leq v\in R,0\leq\lambda\leq1$ 时， $(1-\lambda)x+\lambda y\in S$ 那么

f ((1 - λ) x + λ y) \leq (1 - λ) μ + λ v

$f((1-\lambda)x+\lambda y)\leq(1-\lambda)\mu+\lambda v$

这个条件可以用几种不同的方式表达，下面两种变形是非常有用的。

定理4.1 令 $f$ 是从 $C$ 到 $(-\infty,+\infty]$ 的函数，其中 $C$ 是凸集(例如 $C=R^n$ )，那么当且仅当对于 $C$ 中所有 $x,y$ 下式

f ((1 - λ) x + λ y) \leq (1 - λ) f (x) + λ f (y), 0 < λ < 1

$f((1-\lambda)x+\lambda y)\leq(1-\lambda)f(x)+\lambda f(y),\quad 0<\lambda<1$

成立时，函数 $f$ 在 $C$ 上是凸的。

定理4.2 令 $f$ 是从 $R^n$ 到 $[-\infty,+\infty]$ 的函数，那么当且仅当下式

f ((1 - λ) x + λ y) < (1 - λ) α + λ β, 0 < λ < 1

$f((1-\lambda)x+\lambda y)<(1-\lambda)\alpha+\lambda\beta,\quad 0<\lambda<1$

成立时，函数 $f$ 在是凸的，其中 $f(x)<\alpha,f(y)<\beta$ 。

另一个有用的变形通过在上境图上应用定理2.2推出来。

定理4.3 (Jensen’s Inequality)令 $f$ 是从 $R^n$ 到 $(-\infty,+\infty]$ 上的函数，那么对于 $\lambda_1\geq0,\ldots,\lambda_m\geq0,\lambda_1+\cdots+\lambda_m=1$ ，当且仅当下式

f (λ 1 x 1 + \dots + λ m x m) \leq λ 1 f (x 1) + \dots + λ m f (x m)

$f(\lambda_1x_1+\cdots+\lambda_mx_m)\leq\lambda_1f(x_1)+\cdots+\lambda_mf(x_m)$

成立时， $f$ 是凸的。

当然，在同样的假设下，凹函数满足反向的不等式，仿射函数满足上面的等式，因此 $R^n$ 上的仿射函数是从 $R^n$ 到 $R$ 的仿射变换。

定理4.1中的不等式经常用来作为从凸集 $C$ 到 $(-\infty,+\infty]$ 上函数 $f$ 为凸的定义，然而当 $f$ 同时有 $+\infty,-\infty$ 时，这个方法就行不通了，因为产生了 $\infty-\infty$ 。当然，定理4.2中的条件可以用来作为一般情况下凸的定义，但是本文开始给出的定义似乎更好，因为它强调了几何特征，这是凸函数理论的基础。

从下面的定理中我们可以得到一些实数轴上凸函数的经典实例。

定理4.4 令 $f$ 是开区间 $(\alpha,\beta)$ 上二阶连续可导的实函数，那么当且仅当在 $(\alpha,\beta)$ 上它的二阶导 $f^{''}$ 为非负时， $f$ 是凸的。

证明：首先假设 $f^{''}$ 在 $(\alpha,\beta)$ 是非负的，那么 $f^{'}$ 在 $(\alpha,\beta)$ 上是非递减的。对于 $\alpha<x<y<\beta,0<\lambda<1,z=(1-\lambda)x+\lambda y$ ，我们有

f (z) - f (x) = \int z x f' (t) d t \leq f' (z) (z - x) f (y) - f (z) = \int y z f' (t) d t \leq f' (z) (y - z)

$\begin{align*} f(z)-f(x)=\int_x^zf^{'}(t)dt\leq f^{'}(z)(z-x)\\ f(y)-f(z)=\int_z^yf^{'}(t)dt\leq f^{'}(z)(y-z) \end{align*}$

因为 $z-x=\lambda(y-x),y-z=(1-\lambda)(y-z)$ ，所以我们有

f (z) \leq f (x) + λ f' (z) (y - x) f (z) \leq f (y) - (1 - λ) f' (z) (y - x)

$\begin{align*} &f(z)\leq f(x)+\lambda f^{'}(z)(y-x)\\ &f(z)\leq f(y)-(1-\lambda)f^{'}(z)(y-x) \end{align*}$

上面两个不等式两边分别乘以 $(1-\lambda),\lambda$ ，然后相加可得

(1 - λ) f (z) + λ f (z) \leq (1 - λ) f (x) + λ f (y)

$(1-\lambda)f(z)+\lambda f(z)\leq(1-\lambda)f(x)+\lambda f(y)$

左边仅仅是 $f(z)=f((1-\lambda)x+\lambda y)$ ，所以根据定理4.1这就证明了 $f$ 在 $(\alpha,\beta)$ 上是凸的。现在考虑反向断言，假设 $f^{''}$ 在 $(\alpha,\beta)$ 不是非负的，那么根据连续性，在某个子区间 $(\alpha^{'},\beta^{'})$ 上 $f^{''}$ 将是负的，仿照前面的证明，在 $(\alpha^{'},\beta^{'})$ 上我们有

f (z) - f (x) > f' (z) (z - x) f (y) - f (x) > f' (z) (y - x)

$\begin{align*} f(z)-f(x)>f^{'}(z)(z-x)\\ f(y)-f(x)>f^{'}(z)(y-x) \end{align*}$

因此

f ((1 - λ) x + λ y) > (1 - λ) f (x) + λ f (y)

$f((1-\lambda)x+\lambda y)>(1-\lambda)f(x)+\lambda f(y)$

因此 $f$ 在 $(\alpha,\beta)$ 不是凸的。 $||$

定理4.4将在定理24.1和24.2中进行推广。

下面列举一些 $R$ 上的函数，他们的凸性从定理4.4中可以退出来。

f(x)=eαx,where −∞<α<∞
- $f(x)=x^p\ if\ x\geq0,f(x)=\infty\ \text{if}\ x<0,\text{where}\ 1\leq p<\infty$
- $f(x)=-x^p\ \text{if}\ x\geq0,f(x)=\infty\ \text{if}\ x<0,\text{where}\ 0\leq p\leq1$
- $f(x)=x^p\ \text{if}\ x>0,f(x)=\infty\ \text{if}\ x\leq 0,\text{where} -\infty<p\leq0$
- $f(x)=(\alpha^2-x^2)^(-1/2)\ \text{if}\ |x|<\alpha,f(x)=\infty\ \text{if}\ |x|\geq\alpha,\text{where}\ \alpha>0$
- $f(x)=-\log x\ \text{if}\ x>0,f(x)=\infty\ \text{if}\ x\leq0$
- 对于多维的情况，根据定理4.1可得所有形如
  
  $f (x) = ⟨ x, a ⟩ + α, a \in R n, α \in R$ $f(x)=\langle x,a\rangle+\alpha,a\in R^n,\alpha\in R$
  
  的函数在 $R^n$ 上是凸的，事实上是仿射的。每个 $R^n$ 上的仿射函数实际上都有这种形式(定理1.5)，二次函数
  
  $f (x) = 1 2 ⟨ x, Q x ⟩ + ⟨ x, a ⟩ + α$ $f(x)=\frac{1}{2}\langle x,Qx\rangle+\langle x,a\rangle+\alpha$
  
  其中 $Q$ 是 $n\times n$ 的对称矩阵，要想是 $R^n$ 上的凸函数，当且仅当 $Q$ 是半正定的即
  
  $⟨ z, Q z ⟩ \leq 0 f o r e v e r y z \in R n$ $\langle z,Qz\rangle\leq0\ for\ every\ z\in R^n$
  
  下面关于定理4.4的多维版本可以直接得出
  
  定理4.5 令 $f$ 是 $R^n$ 中开集 $C$ 上的二阶连续可导实值函数，那么当且仅当Hessian矩阵
  
  $Q x = (q i j (x)), q i j (x) = \partial 2 f \partial ξ i \partial ξ j (ξ 1, \dots, ξ n)$ $Q_x=(q_{ij}(x)),\quad q_{ij}(x)=\frac{\partial^2 f}{\partial\xi_i\partial\xi_j}(\xi_1,\ldots,\xi_n)$
  
  对所有 $x\in C$ 是半正定时， $f$ 是凸的。
  
  证明： $f$ 在 $C$ 上的凸性等价于 $f$ 在 $C$ 中每条线段上的凸性，这和函数 $g(\lambda)=f(y+\lambda z)$ 在开实数区间 $\{\lambda|y+\lambda z\in C\}$ 的凸性是一样的，其中 $y\in C,z\in R^n$ 。通过简单的计算就得出
  
  $g'' (λ) = ⟨ z, Q x z ⟩, x = y + λ z$ $g^{''}(\lambda)=\langle z,Q_xz\rangle,\quad x=y+\lambda z$
  
  因此根据定理4.4得，对于每个 $x\in C,z\in R^n$ ，当且仅当 $\langle z,Q_xz\rangle\geq0$ 时， $g$ 对于每个 $y\in C,z\in R^n$ 是凸的。 $||$
  
  在 $R^n$ 上有一个非常有趣的函数，它的凸性可以用定理4.5证明，那就是几何平均的负：
  
  $f (x) = f (ξ 1, \dots, ξ n) {- (ξ 1 ξ 2 \dots ξ n) 1 / n + \infty otherwise if ξ 1 \geq 0, \dots, ξ n \geq 0$ $f(x)=f(\xi_1,\ldots,\xi_n) \begin{cases} -(\xi_1\xi_2\cdots\xi_n)^{1/n}\\ +\infty\ \text{otherwise} \end{cases} \ \text{if}\ \xi_1\geq0,\ldots,\xi_n\geq0$
  
  直接计算得
  
  $⟨ z, Q x z ⟩ = n - 2 f (x) [(Σ n j = 1 ζ j / ξ j) 2 - n Σ n j = 1 (ζ j / ξ j) 2]$ $\langle z,Q_xz\rangle=n^{-2}f(x)[(\Sigma_{j=1}^n\zeta_j/\xi_j)^2-n\Sigma_{j=1}^n(\zeta_j/\xi_j)^2]$
  其中 $z=(\zeta_1,\ldots,\zeta_n),x=(\xi_1,\ldots,\xi_n),\xi_1>0,\ldots,\xi_n>0$ 。这个量是非负的，因为 $f(x)<0$ 并且对于任意实数 $\alpha_j$
  $(α 1 + \dots + α n) 2 \leq n (α 21 + \dots + α 2 n)$ $(\alpha_1+\cdots+\alpha_n)^2\leq n(\alpha_1^2+\cdots+\alpha_n^2)$
  
  (因为 $2\alpha_j\alpha_k\leq\alpha_j^2+\alpha_k^2$ )
  
  $R^n$ 上一个最重要的凸函数时欧几里得范数
  
  $| x | = ⟨ x, x ⟩ 1 / 2 = (ξ 21 + \dots + ξ 2 n) 1 / 2$ $|x|=\langle x,x\rangle^{1/2}=(\xi_1^2+\cdots+\xi_n^2)^{1/2}$
  
  当然，在 $n=1$ 时这就是绝对值函数。欧几里得范数的凸性由下面的法则得到
  
  $| x + y | \leq | x | + | y |, | λ x | = λ | x | f o r λ \geq 0$ $|x+y|\leq|x|+|y|,\quad |\lambda x|=\lambda|x|\quad for\quad \lambda\geq0$
  
  凸集和凸函数之间有几个非常有用的对应关系，最简单的就是将 $R^n$ 中的每个集合 $C$ 和 $C$ 的指示函数(indicator function) $\delta(\cdot|C)$ 联系起来，其中
  
  $δ (x | C) = {0 + \infty if x \in C if x \notin C$ $\delta(x|C)= \begin{cases} 0\ &\text{if}\ x\in C\\ +\infty\ &\text{if}\ x\notin C \end{cases}$
  
  指示函数的上境图是横截面为 $C$ 的半圆柱，很明显当且仅当 $\delta(\cdot|C)$ 是 $R^n$ 上的凸函数时， $C$ 才是凸集，指示函数在凸分析中扮演着非常基础的角色，跟其他分析中集合的特征函数一样。
  
  $R^n$ 上凸集 $C$ 的支撑函数(support function) $\delta^*(\cdot|C)$ 定义为
  
  $δ * (x | C) = sup {⟨ x, y ⟩ | y \in C}$ $\delta^*(x|C)=\sup\{\langle x,y\rangle|y\in C\}$
  
  gauge $\gamma(\cdot|C)$ 定义为
  
  $γ (x | C) = inf {λ \geq 0 | x \in λ C}, C \neq \emptyset$ $\gamma(x|C)=\inf\{\lambda\geq0|x\in\lambda C\},\quad C\neq\emptyset$
  
  (欧几里得)距离函数 $d(\cdot,C)$ 定义为
  
  $d (x, C) = inf {| x - y | | y \in C}$ $d(x,C)=\inf\{|x-y||y\in C\}$
  
  这些 $R^n$ 上函数的凸性现在可以直接证明，
  
  凸函数通过一种重要的方法可以产生凸集。
  
  定理4.6 对于任意凸函数 $f$ 和任意 $\alpha\in[-\infty,+\infty]$ ，水平集 $\{x|f(x)<\alpha\}$ 和 $\{x|f(x)\leq\alpha\}$ 是凸的。
  
  证明：对于严格不等式的情况，上述结果可以利用定理4.2，令 $\beta=x$ 直接得出。 $\{x|f(x)\leq\alpha\}$ 的凸性可以从下面的事实得出，它是所有 $\mu\alpha$ 的凸集 $\{x|f(x)<\mu\}$ 之交，从几何观点来看就是 $\{x|f(x)\leq\alpha\}$ 是epi $f$ 和 $R^{n+1}$ 上水平超平面 $\{(x,\mu)|\mu=\alpha\}$ 的交集在 $R^n$ 上的投影，所以 $\{x|f(x)\leq\alpha\}$ 可以看成epi $f$ 的水平横截面。 $||$
  
  推论4.6.1 令 $f_i$ 是 $R^n$ 上的凸集并且对于所有 $i\in I,\alpha_i$ 是实数，其中 $I$ 是一个任意索引集，那么
  
  $C = {x | f i (x) \leq α i, \forall i \in I}$ $C=\{x|f_i(x)\leq\alpha_i,\forall i\in I\}$
  
  是凸集。
  
  证明：像推论2.1.1。 $||$
  
  取 $f$ 为定理4.6中的二次凸函数，我们可以得出满足下面二次不等式
  
  $1 2 ⟨ x, Q x ⟩ + ⟨ x, a ⟩ + α \leq 0$ $\frac{1}{2}\langle x,Qx\rangle+\langle x,a\rangle+\alpha\leq0$
  
  的点集在 $Q$ 是半正定的时候是凸的(定理4.5)，这种形式的集合包括所有实心椭圆体和抛物体，以及像 $\langle x,x\rangle\leq1$ 的球。
  
  定理4.6和推论4.6.1对于非线性不等式组理论非常重要，但是凸性也进入到不等式其他方面的分析，因为各种各样经典的不等式可以看成定理4.3的特殊情况，例如取 $f$ 为 $R$ 上的负对数，如上面的例6。对于正数 $x_1,\ldots,x_m$ 的凸组合，根据定理4.3我们有
  
  $- log (λ 1 x 1 + \dots + λ m x m) \leq - λ 1 log x 1 - \dots - λ m log x m$ $-\log(\lambda_1x_1+\cdots+\lambda_mx_m)\leq-\lambda_1\log x_1-\cdots-\lambda_m\log x_m$
  
  两边乘以-1然后取指数得
  
  $λ 1 x 1 + \dots + λ m x m \geq x λ 1 1 \dots x λ m m$ $\lambda_1x_1+\cdots+\lambda_mx_m\geq x_1^{\lambda_1}\cdots x_m^{\lambda_m}$
  
  特别地，当 $\lambda_1=\cdots=\lambda_m=1/m$ 时，
  
  $(x 1 + \dots + x m) / m \geq (x 1 \dots x m) 1 / m$ $(x_1+\cdots+x_m)/m\geq(x_1\cdots x_m)^{1/m}$
  
  这就是著名正数的算术平均和几何平均不等式。
  
  有时通过变量的非线性变换，可以将非凸函数变成凸函数，一个非常棒的例子就是 $R^n$ 正象限上的(正)代数函数，它是如下形式的和
  
  $g (x) = g (ξ 1, \dots, ξ n) = β ξ α 1 \dots α n 1$ $g(x)=g(\xi_1,\cdots,\xi_n)=\beta\xi_1^{\alpha_1\cdots\alpha_n}$
  
  其中 $\beta>0$ 并且指数 $\alpha_j$ 是任意实数。(在30节末尾中一个很重要的应用会出现这种函数)这类的一个特定函数是
  
  $f (ξ 1, ξ 2) = ξ - 2 1 + (ξ 1 ξ 2) 1 / 3 + 2 ξ 42, ξ 1 > 0, ξ 2 > 0$ $f(\xi_1,\xi_2)=\xi_1^{-2}+(\xi_1\xi_2)^{1/3}+2\xi_2^4,\xi_1>0,\xi_2>0$
  
  变量代换 $\zeta_j=\log\xi_j$ 将通常的形式 $g$ 变成
  
  $h (z) = h (ζ 1, \dots, ζ n) = β e α 1 ζ 1 \dots e α n ζ n = β e ⟨ a, z ⟩$ $h(z)=h(\zeta_1,\ldots,\zeta_n)=\beta e^{\alpha_1\zeta_1}\cdots e^{\alpha_n\zeta_n}=\beta e^{\langle a,z\rangle}$
  
  其中 $a=(\alpha_1,\ldots,\alpha_n)$ ，在下一节将会看到 $h$ 以及任何形如 $h$ 函数的和是凸的，注意同样的变量变化可以将集合 $\{x|g(x)=\alpha\}$ 变成超平面
  
  ${z | h (z) = α} = {z | ⟨ a, z ⟩ = log (α / β)}$ $\{z|h(z)=\alpha\}=\{z|\langle a,z\rangle=\log(\alpha/\beta)\}$
  
  $R^n$ 上的函数 $f$ ，如果对每个 $x$ ，我们都有
  
  $f (λ x) = λ f (x), 0 < λ < \infty$ $f(\lambda x)=\lambda f(x),\quad 0<\lambda<\infty$
  
  那么就称函数是正齐次的(positively homogeneous)(of degree 1)，很明显，正齐次的等价于上境图是 $R^{n+1}$ 上的锥，除了线性函数外，正齐次图函数的一个例子是 $f(x)=|x|$ 。
  
  定理4.7 从 $R^n$ 到 $(-\infty,+\infty]$ 的正齐次函数 $f$ 是凸函数，当且仅当对于每个 $x\in R^n,y\in R^n$ ，不等式
  
  $f (x + y) \leq f (x) + f (y)$ $f(x+y)\leq f(x)+f(y)$
  
  成立。
  
  证明：根据定理2.6就可得出此结果，因为 $f$ 上的次可加性条件等价于epi $f$ 对加法是封闭的。 $||$
  
  推论4.7.1 如果 $f$ 是正齐次正常凸函数，那么当 $\lambda_1>0,\ldots,\lambda_m>0$ 时，下式
  
  $f (λ 1 x 1 + \dots + λ m x m) \leq λ 1 f (x 1) + \dots + λ m f (x m)$ $f(\lambda_1x_1+\cdots+\lambda_mx_m)\leq\lambda_1f(x_1)+\cdots+\lambda_mf(x_m)$
  
  成立。
  
  推论4.7.2 如果 $f$ 是正齐次正常凸函数，那么对所有 $x$ ，不等式 $f(-x)\geq-f(x)$ 成立。
  
  证明： $f(x)+f(-x)\geq f(x-x)=f(0)\geq0$ 。 $||$
  
  定理4.8 正齐次正常凸函数 $f$ 在子空间 $L$ 上是线性的，当且仅当对于每个 $x\in L$ ，等式 $f(-x)=-f(x)$ 成立。如果对于 $L$ 中一组基 $b_1,\ldots,b_m$ 的所有向量，等式 $f(-b_i)=-f(b_i)$ 成立，那么结论依然成立。
  
  证明：假设后者成立，那么对于每个 $\lambda_i\in R$ ，不仅仅是 $\lambda_i>0$ ，等式 $f(\lambda_ib_i)=\lambda_if(b_i)$ 成立。对于任意 $x=\lambda_1b_1+\cdots+\lambda_mb_m\in L$ ，我们有
  
  $f (λ 1 b 1) + \dots + f (λ m b m) \geq f (x) \geq - f (- x) \geq - (f (- λ 1 b 1) + \dots + f (- λ m b m)) = f (λ 1 b 1) + \dots + f (λ m b m)$ $\begin{align*} f(\lambda_1b_1)&+\cdots+f(\lambda_mb_m)\geq f(x)\geq -f(-x)\\ &\geq-(f(-\lambda_1b_1)+\cdots+f(-\lambda_mb_m))=f(\lambda_1b_1)+\cdots+f(\lambda_mb_m) \end{align*}$
  
  (定理4.7和推论4.7.2)那么
  
  $f (x) = f (λ 1 b 1) + \dots + f (λ m b m) = λ 1 f (b 1) + \dots + λ m f (b m)$ $f(x)=f(\lambda_1b_1)+\cdots+f(\lambda_mb_m)=\lambda_1f(b_1)+\cdots+\lambda_mf(b_m)$
  
  因此 $f$ 在 $L$ 上是线性的并且特别地对于 $x\in L,f(-x)=-f(x)$ 。 $||$
  
  在13节，某些正齐次凸函数将会表征为凸集的支撑函数，而在15节会表征为凸集(包括范数)的gauge函数，次数 $p>1$ 的正齐次凸函数将会在推论15.3.1和15.3.2中提到。
  
  附：文章PDF版本http://pan.baidu.com/s/1pKGHemJ