零次齐次函数

零次齐次函数 (Zero-Degree Homogeneous Function)

零次齐次函数是指满足 $f(t\mathbf{x}) = f(\mathbf{x})$ 对所有 $t > 0$ 和定义域内所有 $\mathbf{x}$ 都成立的函数，即齐次度为 0 的齐次函数。在经济学中，零次齐次性是许多核心函数——需求函数、间接效用函数、供给函数和条件要素需求——的基本性质，它反映了"纯量无关性"（scale invariance）：当所有变量按同一比例缩放时，函数值保持不变。这一性质是微观经济学中"不存在货币幻觉"命题的数学基础。

定义与数学表述

设 $f: D \subseteq \mathbb{R}^n \to \mathbb{R}$ ，若对任意 $t > 0$ 和 $\mathbf{x} \in D$ （要求 $t\mathbf{x} \in D$ ），有

f(tx_1, tx_2, \ldots, tx_n) = f(x_1, x_2, \ldots, x_n)

则称 $f$ 为零次齐次函数。从齐次函数的一般定义 $f(t\mathbf{x}) = t^k f(\mathbf{x})$ 来看，零次齐次函数是 $k = 0$ 的特例。

这一性质意味着函数值仅依赖于各变量的相对比例而非绝对水平。任何仅依赖于变量之比的形式—— $f(x,y) = x/y$ 、 $f(x,y) = x/(x+y)$ 、 $f(x,y,z) = \ln(x/y)$ ——均自动成为零次齐次。验证极其直接： $f(tx, ty) = tx/(ty) = x/y = f(x,y)$ 。更一般地，任意函数 $g(x_1/x_n, x_2/x_n, \ldots, x_{n-1}/x_n)$ 都是零次齐次的。

欧拉定理：零次情形

对于可微的零次齐次函数，欧拉定理给出了一条关键恒等式：

\sum_{i=1}^{n} x_i \frac{\partial f}{\partial x_i} = 0

即所有变量的边际效应加权和恒为零。证明仅需对 $f(t\mathbf{x}) = f(\mathbf{x})$ 两边关于 $t$ 求导并在 $t=1$ 处取值：

\frac{d}{dt} f(t\mathbf{x})\bigg|_{t=1} = \sum_{i=1}^{n} \frac{\partial f}{\partial x_i} \cdot x_i = 0

经济学含义直接而深刻：若 $f$ 为零次齐次，各变量的微小等比例增加对函数值的总影响为零——某些变量的正向效应恰好被其他变量的负向效应抵消。这一约束条件在需求理论中导出了一系列可检验的斯卢茨基方程限制条件。

五项核心性质

一、同次齐次函数之比的自动零次性。若 $f, g$ 均为 $k$ 次齐次且 $g \neq 0$ ，则 $f/g$ 为零次齐次。这是经济学中零次齐次函数最普遍的来源——需求函数是效用最大化的一阶条件之比，成本最小化的条件要素需求是生产函数偏导数之比。

二、偏导数的齐次度递减。若 $f$ 是 $k$ 次齐次且可微，则 $\partial f/\partial x_i$ 是 $k-1$ 次齐次。由此，零次齐次函数的偏导数是 $-1$ 次齐次函数——这解释了为何需求函数的收入效应和替代效应具有特定的齐次结构。

三、等值集的锥形结构。零次齐次函数 $f$ 的等值集 $\{\mathbf{x}: f(\mathbf{x}) = c\}$ 是 $\mathbb{R}^n$ 中的锥（cone）：若 $\mathbf{x}$ 满足 $f(\mathbf{x}) = c$ ，则整条射线 $\{t\mathbf{x}: t > 0\}$ 均满足同一等式。这一几何性质使零次齐次函数在刻画"只关心相对量"的经济行为时极为自然。

四、与位似函数的深层关系。位似函数（homothetic function）是单调变换后的齐次函数： $h(\mathbf{x}) = g(f(\mathbf{x}))$ ，其中 $f$ 为齐次函数， $g$ 为单调函数。位似函数的边际替代率（MRS）为零次齐次——沿射线方向 MRS 恒定。这意味着位似偏好的收入扩展路径为从原点出发的直线，恩格尔曲线过原点。

五、零次齐次函数的积分不变性。在物理学和工程学中，沿闭合路径的线积分若被积函数为零次齐次，则积分值不依赖于路径的尺度——这在大气动力学和流体力学中有直接应用。

经济学中的四类核心应用

需求函数的零次齐次性

在消费者理论中，马歇尔需求函数 $x_i(p, m)$ 和希克斯需求函数 $h_i(p, u)$ 均是关于价格向量 $p$ 和收入 $m$ 的零次齐次函数：

x_i(tp, tm) = x_i(p, m), \quad \forall t > 0

所有价格和收入同比例变化时，预算约束 $p \cdot x = m$ 不变，最优消费束也不变。这是"不存在货币幻觉"在微观层面的精确表述。由欧拉定理导出：

\sum_{j=1}^{n} p_j \frac{\partial x_i}{\partial p_j} + m \frac{\partial x_i}{\partial m} = 0

这一恒等式是恩格尔加总和古诺加总的基础，也为需求系统的经验检验提供了可操作的约束条件。

利润与供给的零次齐次性

在生产者理论中，利润函数 $\pi(p, w)$ 、供给函数 $y(p, w)$ 和要素需求函数 $x(p, w)$ 均为所有价格的零次齐次函数——价格等比例变化仅改变计价单位（numéraire），不改变实际生产决策。这导出霍特林引理中供给函数关于价格的对称性和正半定性，是生产者理论的基石。

条件要素需求的零次齐次性

成本函数 $C(w, q)$ 关于要素价格 $w$ 是一次齐次（价格翻倍则成本翻倍），而条件要素需求函数 $x_i(w, q)$ 关于 $w$ 则是零次齐次的——要素价格等比变化时，给定产量 $q$ 下最优要素组合不变，因为相对价格未变：

x_i(tw, q) = x_i(w, q), \quad \forall t > 0

间接效用函数的零次齐次性

间接效用函数 $v(p, m)$ 关于 $(p, m)$ 是零次齐次，反映预算约束的同比例缩放不影响最大可达效用。通过罗伊恒等式，这一性质与马歇尔需求函数的零次齐次性相互印证，构成了消费者对偶理论中完整的逻辑闭环。

货币幻觉：对零次齐次性的偏离

零次齐次性的反面是货币幻觉（money illusion）：经济主体错误地将名义变量的变化当作实际变化来反应。若需求函数 $x_i(tp, tm) \neq x_i(p, m)$ ，则存在货币幻觉——名义价格和收入的等比例变化会影响实际消费行为。费雪最早系统分析了这一现象，凯恩斯在其《通论》中将工人对名义工资刚性的坚持归因于货币幻觉。当代行为经济学（如沙菲尔、戴蒙德和特沃斯基1997年的实验）为货币幻觉的存在提供了经验证据，挑战了零次齐次性作为普遍描述性命题的地位。

典型例子

$f(x,y) = x/y$ ：最简零次齐次函数，偏导数 $\partial f/\partial x = 1/y$ 为 $-1$ 次齐次
$f(x,y) = \ln(x/y)$ ：零次齐次，在柯布-道格拉斯需求的对数线性形式中自然出现
$f(x,y) = x^a/(x^a + y^a)$ （ $a>0$ ）：零次齐次，常见于CES偏好下的支出份额
$f(K,L) = K/L$ ：资本-劳动比，零次齐次，广泛用于索洛增长模型和内生增长理论
边际技术替代率（MRTS）：生产函数为齐次函数时，MRTS 为零次齐次——要素等比例增加不改变边际替代关系
任何仅依赖于比例的函数 $g(x_1/x_n, \ldots, x_{n-1}/x_n)$ 均为零次齐次，这是构造零次齐次函数的通用方法

要点与常见误区

一、零次齐次性是关于所有变量等比例变化的性质；仅部分变量缩放或不同变量按不同比例缩放时结论不成立。这是应用中区分零次齐次与一般尺度不变性的关键。

二、零次齐次不意味着函数为常数——函数值可随变量相对比例的任意变化而剧烈变化。 $x/y$ 在 $y \to 0$ 时可趋于无穷。

三、欧拉恒等式 $\sum x_i (\partial f/\partial x_i) = 0$ 是可微零次齐次函数的必要条件也是充分条件（在适当正则条件下），常作为实证检验齐次性假设的工具。

四、经济函数的零次齐次性来源于预算约束的线性齐次性——预算线 $p \cdot x = m$ 在 $(p, m)$ 等比缩放时不变。这一观察将零次齐次性的检验与消费者理性假设紧密联系。

五、零次齐次函数的梯度方向仅取决于变量的相对比例而非绝对水平，这使得零次齐次函数在刻画"规模无关"的最优决策规则时具有天然优势。

齐次函数、欧拉定理、位似函数、马歇尔需求函数、希克斯需求函数、间接效用函数、支出函数、成本函数、利润函数、货币幻觉、边际替代率、边际技术替代率、罗伊恒等式、霍特林引理、谢泼德引理、恩格尔加总、古诺加总、斯卢茨基方程、CES生产函数、柯布-道格拉斯生产函数、索洛增长模型、消费者理论、生产者理论、费雪、凯恩斯

返回百科索引