减函数

减函数 (Decreasing Function)

减函数 (Decreasing Function)，亦称 递减函数，是实分析中单调函数的一类基本形态。其核心特征是：自变量增大时，函数值不增反降。这一性质在微积分、优化理论和经济学中均有基础性地位，是构造边际递减规律、需求定律与收敛性论证的数学基石。

形式化定义

设函数 $f: D \subseteq \mathbb{R} \to \mathbb{R}$，其中 $D$ 为某区间。

1. 减函数（非严格递减，Non-increasing）：若对任意 $x_1, x_2 \in D$，当 $x_1 < x_2$ 时，恒有 $f(x_1) \geq f(x_2)$，则称 $f$ 为 $D$ 上的减函数。
2. 严格减函数（Strictly Decreasing）：若当 $x_1 < x_2$ 时，恒有 $f(x_1) > f(x_2)$，则称 $f$ 为严格减函数。

等价地，$f$ 为减函数当且仅当 $-f$ 为增函数。这一对偶关系使得减函数的任何定理均可通过对增函数取负获得，反之亦然。

几何直观：减函数的图像从左往右呈下降趋势；严格减函数则始终向下走，不包含任何水平段。非严格减函数允许平台区（函数在子区间上保持常数），这是两者最关键的差异。

可微条件下的判别准则

若 $f$ 在区间 $D$ 上可微，则减函数有如下等价刻画：

即 导数非正 是减函数的充要条件（在导数存在的前提下）。对于严格减函数，$f'(x) < 0$ 是充分条件但非必要条件——例如 $f(x) = -x^3$ 在 $x=0$ 处导数为零，但在 $\mathbb{R}$ 上仍为严格减函数。

高阶视角下，减函数的一阶导数符号直接关联函数的单调性，而二阶导数则关联凹凸性——两者不可混淆：减函数决定函数的升降方向，凹函数决定函数弯曲的方向。一个减函数可以是凹的（如 $f(x)=e^{-x}$）、凸的（如 $f(x)=1/x, x>0$）、或兼具凹凸拐点。

经典实例

初等减函数包括：

• 线性形式：$f(x) = a - bx$，其中 $b > 0$，导数恒为 $-b < 0$。
• 指数衰减：$f(x) = e^{-\alpha x}$（$\alpha > 0$），导数为 $-\alpha e^{-\alpha x} < 0$，在经济收敛模型与物理衰变中广泛出现。
• 倒数函数：$f(x) = 1/x$ 在 $(0, +\infty)$ 上严格递减，导数为 $-1/x^2 < 0$。
• 对数递减：$f(x) = -\ln x$ 在 $(0, +\infty)$ 上严格递减。
• 反比例需求：$Q(P) = a/P$ 形式的需求函数在价格上递减。

非严格减函数的典型构造：分段常数递减函数（阶梯下降），如累进税率中边际税率随收入区间跃升而平均税率阶梯下降的某些变形；或分布函数 $F(x)$ 的互补函数 $S(x) = 1 - F(x)$（生存函数），在支撑集上非严格递减（允许概率为零的区间保持常数）。

经济学中的减函数

需求定律：马歇尔需求函数在自身价格上通常为减函数——价格上升，需求量下降。这一性质根植于斯拉茨基方程中替代效应的负半定性（自身替代效应恒为负）。对吉芬商品（Giffen Good）而言，收入效应压过替代效应，导致需求在价格上反常递增，这是减函数在经济学中最重要的反例。

边际效用递减：边际效用 $MU(x) = U'(x)$ 是消费量的减函数，即 $U''(x) < 0$（效用函数严格凹）。这是风险厌恶（$u'' < 0$）和跨期消费平滑的微观基础。注意区分：边际效用递减意味着边际效用本身是减函数，这等价于总效用函数的凹性，而非总效用函数本身递减。

生产与成本：边际产量在可变要素投入超过一定阈值后递减（报酬递减律），即 $MP_L = \partial Q / \partial L$ 是 $L$ 的减函数。这一规律构成了短期成本曲线 U 形特征的底层原因。

收敛性与动态：索洛增长模型中，资本边际产出 $f'(k)$ 是 $k$ 的减函数（在 Inada 条件下），保证经济体向稳态收敛。时间偏好贴现因子 $\delta^t$ 是时间 $t$ 的严格减函数，体现了当前消费大于未来消费的行为偏好。

与相关概念的关系

减函数与增函数构成互补对偶；与凹函数有交集但不等价——减函数描述"走向"，凹函数描述"弯曲形态"；与拟凹函数在偏好表示中有重叠——任何递减的效用函数变换均保持拟凹性（偏好序不变），但未必保持凹性。在单调变换下，减函数性（单调性）在单调递增变换下反向：若 $f$ 递减而 $\phi$ 递增，则 $\phi \circ f$ 递减；若 $\phi$ 递减，则 $\phi \circ f$ 递增。这一性质在序数效用论中至关重要。