单调递增函数

单调递增函数 (Monotonically Increasing Function)

单调递增函数 (Monotonically Increasing Function)，是数学分析和微积分中的一个基本概念，用以描述函数值随自变量增加而变化的趋势。一个函数被称为单调递增，直观上是指其图像从左到右是“上升”的。根据其上升的严格性，可以进一步细分为严格单调递增和单调不减。

形式化定义

设函数 $f(x)$ 的定义域为 $D$，$D$ 是实数集 $\mathbb{R}$ 的一个子集。

1. 严格单调递增 (Strictly Monotonically Increasing)

如果对于定义域 $D$ 内的任意两个值 $x_1$ 和 $x_2$，只要 $x_1 < x_2$，就恒有 $f(x_1) < f(x_2)$，那么我们称函数 $f(x)$ 在其定义域 $D$ 上是严格单调递增的。

• 核心思想：自变量 $x$ 的值只要有任何增加，函数值 $f(x)$ 就必须随之增加，不允许保持不变。
• 示例：
• $f(x) = 2x + 1$。对于任意 $x_1 < x_2$，显然有 $2x_1 + 1 < 2x_2 + 1$。
• $f(x) = e^x$ (指数函数)。它在整个实数域 $\mathbb{R}$ 上都是严格单调递增的。
• $f(x) = x^3$。对于任意 $x_1 < x_2$，都有 $x_2^3 - x_1^3 = (x_2 - x_1)(x_2^2 + x_1x_2 + x_1^2) > 0$，因此该函数在 $\mathbb{R}$ 上是严格单调递增的。

2. 单调不减 (Monotonically Non-decreasing)

如果对于定义域 $D$ 内的任意两个值 $x_1$ 和 $x_2$，只要 $x_1 < x_2$，就恒有 $f(x_1) \le f(x_2)$，那么我们称函数 $f(x)$ 在其定义域 $D$ 上是单调不减的。

• 核心思想：自变量 $x$ 的值增加时，函数值 $f(x)$ 或者增加，或者保持不变，但绝不会减少。
• 示例：
• 向下取整函数 $f(x) = \lfloor x \rfloor$。例如，$f(1.2) = 1$, $f(1.5) = 1$, $f(2.1)=2$。当 $x$ 从 $1.2$ 增加到 $1.5$ 时，函数值保持不变；当 $x$ 从 $1.5$ 增加到 $2.1$ 时，函数值增加。这符合单调不减的定义。
• 一个分段定义的函数：

这个函数在 $(-\infty, 2]$ 区间上是常数，在 $(2, \infty)$ 上是严格递增的，因此在整个定义域上是单调不减的。

重要关系：严格单调递增函数一定是单调不减函数，但反之不成立。在学术文献中，“单调递增”有时作为“单调不减”的同义词使用，而在不引起歧义的情况下，也常用来泛指这两类函数。学习者应根据上下文判断其确切含义。

几何直观与导数判别法

几何直观

在笛卡尔坐标系中，单调递增函数的图像具有非常直观的特征：

• 严格单调递增函数：其图像从左向右看是持续上升的，没有任何水平的部分。
• 单调不减函数：其图像从左向右看，总体趋势是上升或持平的，可以包含水平线段，但绝不会有向下的部分。

与导数的关系

对于一个在区间 $I$ 上可微的函数 $f(x)$，我们可以使用其一阶导数 $f'(x)$ 的符号来判断其单调性。导数 $f'(x)$ 代表了函数图像在该点的切线斜率。

1. 如果在区间 $I$ 内，恒有 $f'(x) > 0$，则函数 $f(x)$ 在该区间上是严格单调递增的。

• 逻辑：正的导数意味着切线斜率始终为正，表示函数曲线在每一点都处于上升状态。

1. 如果在区间 $I$ 内，恒有 $f'(x) \ge 0$，则函数 $f(x)$ 在该区间上是单调不减的。

• 逻辑：非负的导数意味着切线斜率从不为负，函数曲线或者上升，或者在某些点/子区间上是水平的。

一个重要的细节点：如果 $f'(x) \ge 0$ 且等号只在区间 $I$ 内的有限个孤立点成立，那么函数 $f(x)$ 在 $I$ 上仍然是严格单调递增的。

• 典型案例：函数 $f(x)=x^3$ 的导数是 $f'(x)=3x^2$。在 $x=0$ 点，$f'(0)=0$，但在其他任何点 $x \ne 0$，$f'(x)>0$。由于等号只在单个点 $x=0$ 处成立，函数 $f(x)=x^3$ 在整个实数域 $\mathbb{R}$ 上是严格单调递增的，而不仅仅是单调不减。

性质与应用

单调递增函数具有许多重要的数学性质，并在经济学、金融学等领域有广泛应用。

1. 可逆性

一个严格单调递增的函数必然是单射（one-to-one），这意味着对于定义域内不同的自变量，其函数值也必然不同。因此，严格单调递增函数存在反函数 (Inverse Function)，并且其反函数也必然是严格单调递增的。

2. 极限的存在性

根据单调收敛定理，一个在区间上单调递增且有上界的函数，其极限必定存在。例如，当 $x$ 趋向于区间的右端点（或正无穷）时，该函数的极限等于其值域的上确界。

3. 在最优化中的作用

对于定义在闭区间 $[a,b]$ 上的单调递增函数 $f(x)$，其最小值必然在区间的左端点 $x=a$ 处取得，即 $f(a)$；其最大值必然在区间的右端点 $x=b$ 处取得，即 $f(b)$。这极大地简化了最优化问题的求解。

4. 经济与金融应用

• 效用函数 (Utility Function)：在微观经济学中，消费者的效用函数通常被假定为关于商品消费量的单调递增函数。这体现了“越多越好”（non-satiation）的基本假设，即消费者从更多的商品中获得更高的效用或满足感。
• 生产函数 (Production Function)：企业的生产函数描述了投入（如劳动、资本）与产出之间的关系。通常假设，在其他投入不变的情况下，增加任何一种生产要素的投入量，总产出都会增加或至少不减少。这表明生产函数是关于其每个输入的单调递增函数。
• 供给曲线 (Supply Curve)：在多数市场模型中，商品的供给曲线是价格的单调递增函数，表示生产者愿意在更高价格下提供更多的商品。

辨析

• 单调递增 vs 单调递减函数：单调递减函数是单调递增函数的反向概念。对于单调递减函数，当 $x_1 < x_2$ 时，有 $f(x_1) \ge f(x_2)$（不增）；对于严格单调递减函数，则有 $f(x_1) > f(x_2)$。其导数特征为 $f'(x) \le 0$ 或 $f'(x) < 0$。