严格凹函数

严格凹函数（Strictly Concave Function）是一类在数学、经济学和优化理论中具有基础性意义的重要函数。与一般的凹函数相比，严格凹函数对函数的弯曲方向提出了更强的要求：函数图像上任意两点之间的连线严格位于函数图像的下方（而非不高于）。这一性质赋予了严格凹函数许多优良的分析特性，使其在刻画边际效用递减、风险厌恶行为以及确保优化问题解的唯一性等方面扮演着不可或缺的角色。

定义

设函数 $f: D \to \mathbb{R}$ 定义在凸集 $D \subseteq \mathbb{R}^n$ 上。称 $f$ 为严格凹函数，若对任意两个不同的点 $x, y \in D$ 及任意 $\lambda \in (0,1)$，有：

这一不等式的几何含义是：连接函数图像上任意两点的弦，其上的每一点（端点除外）都严格位于函数图像的下方。与（非严格）凹函数相比，严格凹函数去除了线段与函数图像重合的可能性——即函数图像不能包含任何直线段。换句话说，如果函数在某一段区间上是线性的，则该函数不可能是严格凹的。

在一元函数的情形下，若 $f$ 二阶可导，则严格凹函数的一个充分条件是二阶导数严格小于零：$f''(x) < 0$ 对所有 $x \in D$ 成立。需要注意的是，$f''(x) \leq 0$ 只能保证函数是凹的，不能保证它是严格凹的；例如 $f(x) = -x^4$ 在 $x=0$ 处二阶导数为零，但整体上仍是严格凹的。因此，二阶导数严格小于零是充分条件而非必要条件。

严格凹函数的性质

严格凹函数具有以下重要性质：

局部最大值即全局最大值：若严格凹函数在某点处取得局部极大值，则该点必然是全局唯一的最大值点。这一性质源于严格凹函数图像向上凸起的形状——它不可能出现多个"山峰"，因此任何局部极大值都是唯一的全局极大值。这一特性在经济学和工程优化中极其重要：只要目标函数是严格凹的且可行域是凸集，任何局部最优解都是全局最优解。

水平集为凸集：严格凹函数的上水平集 $\{x : f(x) \geq c\}$ 是严格凸的。这一性质在消费者理论和生产理论中有着广泛应用，例如消费者的偏好若由严格凹的效用函数表示，则其无差异曲线严格凸向原点，反映出消费者对多样化消费的偏好。

海森矩阵负定：若严格凹函数二阶连续可微，则其海森矩阵在定义域内处处负定。海森矩阵负定意味着函数在各方向上的曲率均为负值，函数图像在任意点附近均呈"拱形"。这一性质是判断多元函数是否为严格凹函数的有力工具。

严格凹性在仿射变换下的保持：若 $f$ 是严格凹函数，$A$ 是线性映射，$b$ 是向量，则复合函数 $f(Ax + b)$ 仍是严格凹函数。这一性质使我们在变量替换后仍能保持函数的凹性结构。

与严格凸函数的关系

严格凹函数与严格凸函数之间有着直接的对应关系：若 $f$ 是严格凹函数，则 $-f$ 是严格凸函数。这一对偶关系使得有关严格凹函数的许多结论可以对称地推广到严格凸函数上。例如，严格凸函数的局部极小值即为全局唯一极小值，对应地严格凹函数的局部极大值即为全局唯一极大值。

需要注意的是，严格凹性并不蕴含连续性或可微性，但在有限维空间中，严格凹函数在定义域的内部一定是连续的。一个经典的反例是：定义在 $[0,1]$ 上的函数 $f(x) = x^2$ 是严格凹的，但若在某一单点上修改函数值，严格凹性可能被破坏，因为弦线条件要求所有点对都满足严格不等式。

经济学中的应用

严格凹函数在经济学中几乎无处不在，以下是最具代表性的几个应用：

效用函数与风险厌恶：在期望效用理论中，若决策者的冯·诺依曼-摩根斯坦效用函数是严格凹的，则决策者为严格风险厌恶者。这是因为严格凹性意味着边际效用递减，即随着财富的增加，每一单位额外财富带来的效用增量逐渐减少。这一假设构成了现代保险理论、资产定价理论和投资组合理论的基础。经典的常相对风险厌恶（CRRA）效用函数 $u(w) = w^{1-\gamma}/(1-\gamma)$ 在 $\gamma > 0$ 且 $\gamma \neq 1$ 时是严格凹的。

生产函数：在微观经济学中，新古典生产函数通常被假定为严格凹函数，以确保等产量线严格凸向原点，从而刻画要素的边际产出递减和要素之间的替代弹性。柯布-道格拉斯生产函数 $F(K, L) = AK^\alpha L^\beta$ 在 $\alpha + \beta < 1$ 时是严格凹的。

最优化的唯一性：在博弈论中，若每个参与者的收益函数在其策略上严格凹，则纳什均衡往往具有唯一性。这一结果在产业组织理论中广泛应用于古诺竞争模型的均衡分析。

总结

严格凹函数是比凹函数更强的一类函数结构，其弦线上方严格大于函数值的特征赋予了它许多独特的分析性质。从数学上看，严格凹函数的局部极大值必为全局唯一极大值，海森矩阵负定是其二阶可微情形下的充分条件。在经济学中，严格凹函数为风险厌恶、边际效用递减和均衡唯一性等核心概念提供了严谨的数学基础。理解严格凹函数的定义、判别方法及其经济含义，是掌握微观经济学理论和优化方法的重要一步。