单调非减

单调非减 (Monotone Non-Decreasing)

单调非减（Monotone Non-Decreasing），又称单调不减或非递减，是数学分析与经济学中描述函数或序列变化趋势的基本概念。若对于任意两点 $x_1 < x_2$，恒有 $f(x_1) \leq f(x_2)$，则称函数 $f$ 在给定区间上是单调非减的。换言之，当自变量增大时，函数值不会减小——它可能增大，也可能保持不变。这一概念区别于单调递增（Strictly Increasing，即 $x_1 < x_2 \implies f(x_1) < f(x_2)$），后者排除了"平台"（flat regions）的可能性。

形式上，设 $f: D \rightarrow \mathbb{R}$，其中 $D \subseteq \mathbb{R}$。$f$ 在 $D$ 上单调非减定义为：

等价地，对可导函数，$f'(x) \geq 0$ 对定义域内所有 $x$ 成立。这一导数条件使单调非减性在经济建模中易于验证和分析。

经济学中的核心角色

单调非减性是经济学理论中众多关键假设的数学表达，贯穿微观、宏观和计量经济学。

效用函数与偏好理论。在消费者理论中，效用函数通常被假定为消费数量的单调非减函数：更多的商品消费不会降低效用水平。这一性质对应偏好关系中的单调性公理（Monotonicity Axiom），即"多多益善"（more is better）。形式化地，若消费束 $\mathbf{x} \geq \mathbf{y}$（分量逐一不小于），则 $U(\mathbf{x}) \geq U(\mathbf{y})$。单调非减而非严格递增的设定允许存在餍足点（Bliss Point）或某些商品对效用无边际贡献的情形（如污染、废品）。值得注意的是，边际效用递减（Diminishing Marginal Utility）意味着效用函数本身仍是单调非减的（一阶导数非负），只是二阶导数为负——边际效用递减并不否定单调性。

生产函数与技术。生产函数 $F(K, L)$ 被假定为各投入要素的单调非减函数：增加资本 $K$ 或劳动 $L$ 的投入不会减少产出。这一性质与自由处置（Free Disposal）假设一致——生产者可以无成本地舍弃多余的投入，因此额外投入不会产生负的边际产品。从边际产品的角度，单调非减等价于 $MP_K = \partial F / \partial K \geq 0$ 且 $MP_L = \partial F / \partial L \geq 0$。科布-道格拉斯生产函数和CES生产函数等常见形式均满足这一性质。

成本函数与支出函数。成本函数 $C(q, \mathbf{w})$ 对产出 $q$ 是单调非减的：生产更多产品必然需要不低于原来的最小成本。同样，支出函数 $e(p, u)$ 对目标效用水平 $u$ 单调非减。这些单调性条件来自优化问题的包络定理推论，并为比较静态分析中符号的确定提供了关键约束。

分布函数与随机占优。在概率论和计量经济学中，累积分布函数（CDF）$F(x) = P(X \leq x)$ 是天然单调非减的：$x$ 越大，随机变量取值不超过 $x$ 的概率不可能降低。一阶随机占优（First-Order Stochastic Dominance）的定义直接建立在分布函数的单调非减关系之上：若对于任意 $x$，$F_A(x) \leq F_B(x)$（即 $A$ 的CDF始终不超过 $B$ 的CDF），则分布 $A$ 一阶占优于分布 $B$。

单调非减与单调递增的区分

尽管在日常语言中"单调递增"常被宽松使用，但在严格数学表达中区分单调非减（$\leq$）与严格单调递增（$<$）具有实质意义，尤其在以下经济场景中：

边界最优与角点解。当效用函数或生产函数存在平台区域时，最优化问题可能出现边界解（Corner Solution）而非内点解。例如，若某种商品的全范围边际效用为零（消费者对其完全无偏好），拉格朗日乘子法的一阶条件可能失效，需借助库恩-塔克条件（Karush-Kuhn-Tucker Conditions）处理不等式约束。此时单调非减性的"非严格"特征直接影响最优解的形态。

激励相容约束。在机制设计与契约理论中，激励相容约束（Incentive Compatibility）常表现为配置函数关于代理人类型是单调非减的。米尔格罗姆-罗伯茨（Milgrom-Roberts）单调比较静态和斯彭斯-米尔利斯单交叉条件（Spence-Mirrlees Single-Crossing Condition）均依赖于单调非减结构。

博弈论中的策略互补性。在超模博弈（Supermodular Games）中，最优反应对应是对手策略的单调非减函数，这一性质保证了塔斯基不动点定理的适用性及纳什均衡集合的格结构（Lattice Structure）。此处的单调性同样是"非减"而非严格递增的形式。

单调变换与序数性质

单调非减函数与单调变换的概念紧密相连。对于一个单调非减函数 $\phi: \mathbb{R} \rightarrow \mathbb{R}$，复合函数 $\phi \circ f$ 保持了原函数 $f$ 的单调非减性。在经济学中，对效用函数施加正单调变换不改变其表示的偏好顺序——这是序数效用论的数学基础。

具体而言，若 $\phi' > 0$（严格递增变换），则 $V(x) = \phi(U(x))$ 与 $U(x)$ 代表完全相同的偏好排序。若仅要求 $\phi' \geq 0$（非减变换），变换后的效用函数可能产生额外的无差异区域（即不同的消费束被赋予相同的效用值），从而改变了原有的偏好结构。因此，序数效用论中的"单调变换"通常指严格的单调递增变换，而非单调非减变换，这一细微区别在福利经济学和社会选择理论中尤为关键。

实证与计量中的单调性约束

在非参数计量经济学和机器学习中，单调非减性常作为正则化约束引入模型估计。

非参数回归。当经济理论预测被估函数（如需求函数随价格递减、恩格尔曲线随收入递增）具有单调性时，施加单调非减约束可以显著降低估计方差，提高小样本下的估计精度。等渗回归（Isotonic Regression）是一类典型的单调约束非参数方法，通过二次规划或PAVA（Pool Adjacent Violators Algorithm）算法在最小化残差平方和的同时确保拟合值满足预设的单调方向。

随机前沿分析。在随机前沿分析（Stochastic Frontier Analysis, SFA）中，效率项的分布假设（如半正态、截断正态）隐含了效率得分与产出之间的单调非减关系。类似地，数据包络分析（Data Envelopment Analysis, DEA）基于自由处置假设构建单调非减的生产前沿面。

机器学习与可解释性。在信用评分、反洗钱等监管敏感领域，模型输出对关键输入特征（如收入、负债率）的单调非减性常被要求作为模型可解释性的一部分，以确保决策逻辑与经济直觉和监管规则一致。XGBoost、LightGBM 等梯度提升框架均支持在训练时加入单调性约束（monotonicity constraints），限制特定特征的分裂方向。

广义单调性与多维扩展

在现代经济学的前沿领域，单调非减的概念被推广到更抽象的数学空间。

向量值函数的单调性。当函数的值域为 $\mathbb{R}^n$ 时，单调非减需要借助偏序（Partial Order）来定义。最常见的是按分量序：$\mathbf{f}(\mathbf{x}) \leq \mathbf{f}(\mathbf{y})$ 当且仅当每一个分量均满足 $f_i(\mathbf{x}) \leq f_i(\mathbf{y})$。这一推广在一般均衡理论、多目标优化和网络经济学中均有应用。

集值映射的单调性。需求对应（Demand Correspondence）和供给对应（Supply Correspondence）等集值映射也可能具有单调性。例如，在显示偏好理论中，需求法则可表述为补偿需求函数关于价格的单调非减性（对吉芬商品情形的排除）。超额需求函数的总替代性（Gross Substitutability）条件即是一种多维单调性假设，用于保证一般均衡的全局稳定性。

动态随机过程。在动态规划和宏观经济学中，值函数和策略函数的单调性对于模型求解和均衡特征刻画至关重要。例如，在不完全市场的异质性代理人模型中，储蓄策略函数关于财富的单调非减性是数值算法（如内生网格法，Endogenous Grid Method）能够高效运行的前提。马尔可夫决策过程中值函数的单调性也保证了策略迭代算法收敛于最优解。