单调递减函数

单调递减函数 (Monotonically Decreasing Function)

单调递减函数是单调函数的一种基本类型，描述函数值随自变量增大而不断减小（严格意义下）或不增大（广义意义下）的性质。在经济学、优化理论和实分析中具有广泛应用。设函数 $f: D \subseteq \mathbb{R} \to \mathbb{R}$，其中 $D$ 为定义域。若对于任意两点 $x_1, x_2 \in D$ 满足 $x_1 < x_2$，均有 $f(x_1) \ge f(x_2)$，则称 $f$ 为单调不增函数（non-increasing function），即广义的单调递减；若严格不等式 $f(x_1) > f(x_2)$ 恒成立，则称 $f$ 为严格单调递减函数（strictly decreasing function）。这一区分在实际分析中至关重要：常数函数 $f(x) = c$ 是单调不增的，但并非严格递减。

导数判别法

当函数可导时，微分学提供了简洁的判别准则。设 $f$ 在区间 $I$ 上可导：

• 若对任意 $x \in I$ 有 $f'(x) \le 0$，则 $f$ 在 $I$ 上单调不增。
• 若对任意 $x \in I$ 有 $f'(x) < 0$，则 $f$ 在 $I$ 上严格单调递减。

需要特别注意，$f'(x) < 0$ 是严格单调递减的充分条件但非必要条件。反例 $f(x) = -x^3$ 在 $\mathbb{R}$ 上严格单调递减，但 $f'(0) = 0$。因此在孤立点导数为零的情况下，函数仍可能保持严格单调性。更精细的判别依赖于导数非正且在任何子区间上不恒为零的条件。

对于多元函数，单调递减的概念需要借助方向导数和偏导数来推广：若沿某一坐标轴方向的偏导数恒为负，则函数关于该变量单调递减。

与单调递增的对称性

单调递减与单调递增之间存在直接的对称关系：

1. $f(x)$ 单调递减 $\iff$ $-f(x)$ 单调递增
2. 若 $f$ 严格单调递减且值域匹配，则 $-f$ 严格单调递增
3. 单调递减函数的复合：若 $f$ 单调递减，$g$ 单调递减，则 $f \circ g$ 单调递增（负负得正）；若 $g$ 单调递增，则 $f \circ g$ 单调递减

这种对称性允许将许多关于单调递减的命题通过简单的符号变换归结为单调递增的情形，极大简化了理论处理。

反函数与单调性

严格单调递减函数的一个核心性质是单射性（injectivity）：因为不同的自变量必然映射到不同的函数值，严格单调递减函数必然是一一映射。由此，在值域上可定义反函数 $f^{-1}$，且反函数继承原函数的严格单调递减性质。即：

定理： 若 $f$ 在区间 $I$ 上严格单调递减且连续，则其反函数 $f^{-1}$ 在 $f(I)$ 上也严格单调递减且连续。

这一命题是反函数定理的特殊情形，在经济学中用于处理需求函数与反需求函数、成本函数与反成本函数之间的转换。

典型例子

• 线性函数： $f(x) = a x + b$。当斜率 $a < 0$ 时为严格单调递减；$a = 0$ 时为广义单调不增。
• 指数衰减： $f(t) = A e^{-\lambda t}$（$\lambda > 0$），在物理学中描述放射性衰变，在经济学中描述贴现因子随时间的衰减。
• 倒数函数： $f(x) = 1/x$ 在 $(0, +\infty)$ 上严格单调递减，在 $(-\infty, 0)$ 上同样严格递减，但跨原点处因间断不具全局单调性。
• 对数衰减： $f(x) = -\ln x$ 在 $(0, +\infty)$ 上严格单调递减。
• 反比例需求： 经济学中常见的等弹性需求函数 $Q(P) = A P^{-\varepsilon}$（其中 $\varepsilon > 0$ 为需求价格弹性），当价格上升时需求量严格递减。
• 逻辑斯蒂函数的负形式： $f(x) = 1 - \frac{1}{1 + e^{-x}} = \frac{1}{1 + e^{x}}$ 严格单调递减并趋于上下渐近线。

经济学应用

单调递减性在经济学建模中扮演核心角色：

需求定律

需求定律（Law of Demand）断言：在其他条件不变时，商品价格上升导致需求量下降，即需求函数 $Q_d(P)$ 关于价格 $P$ 严格单调递减。消费者行为理论从效用最大化出发，经由斯卢茨基方程将价格效应分解为替代效应（恒为负）与收入效应（符号取决于商品类型），为需求函数的单调递减性提供微观基础。对于吉芬商品，收入效应为正且强度超过替代效应，构成需求定律的罕见反例。

边际效用递减

在基数效用框架下，边际效用随消费量增加而递减（戈森第一定律），即 $MU(x) = U'(x)$ 为单调递减函数，等价于效用函数 $U$ 为凹函数，二阶导数 $U''(x) < 0$。这是风险厌恶、消费平滑和保险需求等现象的理论基石。

边际报酬递减

生产理论中，短期内边际产量随可变要素投入增加而最终递减——即边际报酬递减规律，意味着生产函数的二阶混合偏导为负。在 IS-LM 和 AD-AS 框架中，投资需求函数关于利率单调递减，货币需求函数关于利率单调递减，都是模型稳定性的关键假设。

成本递减与规模经济

在产业组织领域，平均成本曲线在产出扩张的特定区间内单调递减，反映了规模经济效应。自然垄断的结构性条件即为平均成本在整个市场需求范围内严格递减，此时单一企业供给比多企业竞争更具帕累托效率。

收敛性与不动点

单调递减性在迭代算法和均衡分析中具有特殊重要性。若序列 $\{x_n\}$ 由递推关系 $x_{n+1} = g(x_n)$ 生成，且 $g$ 为单调递减函数，则 $g \circ g$ 为单调递增函数，序列的奇偶子列分别单调且具有相反的单调方向。这导致序列可能收敛于不动点，也可能出现交替振荡。在蛛网模型（Cobweb Model）中，供给曲线与需求曲线的单调性关系直接决定了价格序列的收敛或发散形态：需求函数单调递减、供给函数单调递增时，稳定性取决于相对斜率。

对于单调不增函数的任意有界序列，必存在极限下确界和极限上确界，这一性质在动态规划和递归宏观经济学中用于证明值函数迭代的收敛性。

测度论与概率论中的单调性

在测度论框架中，单调递减函数必然是几乎处处可微的，其不连续点的集合至多可数，且在每个点处左右极限均存在。这些性质构成勒贝格积分理论的基石。在概率论中，生存函数 $S(t) = P(T > t) = 1 - F(t)$ 关于时间 $t$ 单调递减，反映了风险随时间积累的不可逆性；危险率函数的单调行为则区分了正持续依赖（positive duration dependence）与负持续依赖。

单调递减与序关系

在序理论（Order Theory）的更一般视角下，单调递减性可定义为从偏序集 $(X, \le_X)$ 到偏序集 $(Y, \le_Y)$ 的映射 $f$ 满足：

这统一了数值函数、向量值函数乃至集值映射的单调性概念。在社会选择理论和博弈论中，单调性条件（如策略互补性与替代性）是纯策略纳什均衡存在性和比较静态分析的核心工具。特别是，托普基斯定理（Topkis's Theorem）将单调递减函数的比较静态推广到超模博弈的框架中，使得均衡集合的极值均衡随参数单调变化。