KNOWECON WIKI

ARTICLE

对偶

对偶 (Duality) 对偶是微观经济学中的核心方法论概念，指一个经济主体的最优决策问题可以从两个互补的视角——数量视角与价格（或价值）视角——等价地加以刻画。具体而言，给定一个"原始"最大化（或最小化）问题，总存在一个与之对应的"对偶"问题：原始问题的最优解蕴含对偶问题的最优解，反之亦然。对偶结构贯穿消费者理论、生产者理论和一般均衡分析，是连接可观测行为

浏览 0 更新 2026-01-06

对偶 (Duality)

对偶是微观经济学中的核心方法论概念，指一个经济主体的最优决策问题可以从两个互补的视角——数量视角与价格（或价值）视角——等价地加以刻画。具体而言，给定一个"原始"最大化（或最小化）问题，总存在一个与之对应的"对偶"问题：原始问题的最优解蕴含对偶问题的最优解，反之亦然。对偶结构贯穿消费者理论、生产者理论和一般均衡分析，是连接可观测行为与不可观测偏好或技术的理论桥梁，也是 20 世纪微观经济学理论形式化的标志性成果之一。

消费者理论中的对偶

消费者理论的对偶结构表现为效用最大化与支出最小化之间的严格对应。

效用最大化（原始问题）

给定价格向量 p∈R++n\mathbf{p} \in \mathbb{R}_{++}^n 与收入 m>0m > 0，消费者选择商品束最大化效用：

max⁡x  U(x)s.t.p⋅x≤m\max_{\mathbf{x}} \; U(\mathbf{x}) \quad \text{s.t.} \quad \mathbf{p} \cdot \mathbf{x} \leq m

解为马歇尔需求函数 xm(p,m)\mathbf{x}^m(\mathbf{p}, m)，最优值函数为间接效用函数 v(p,m)=U(xm(p,m))v(\mathbf{p}, m) = U(\mathbf{x}^m(\mathbf{p}, m))。间接效用函数关于价格递减、关于收入递增，且满足拟凸性和零次齐次性。马歇尔需求可直接通过观测市场行为获得，因此构成实证需求分析的出发点。

支出最小化（对偶问题）

给定价格 p\mathbf{p} 与目标效用水平 uˉ\bar{u}，消费者最小化支出：

min⁡x  p⋅xs.t.U(x)≥uˉ\min_{\mathbf{x}} \; \mathbf{p} \cdot \mathbf{x} \quad \text{s.t.} \quad U(\mathbf{x}) \geq \bar{u}

解为希克斯需求函数 h(p,uˉ)\mathbf{h}(\mathbf{p}, \bar{u})，最优值函数为支出函数 e(p,uˉ)=p⋅h(p,uˉ)e(\mathbf{p}, \bar{u}) = \mathbf{p} \cdot \mathbf{h}(\mathbf{p}, \bar{u})。支出函数关于价格递增、一次齐次且为凹函数。希克斯需求不可直接观测——因为它依赖不可观测的效用水平——但其核心优势在于仅反映替代效应，剔除了收入效应，是福利经济学中计算补偿变动和等价变动的理论基础。

对偶恒等式与斯勒茨基方程

两类需求通过以下恒等式相互转化：

xm(p,m)≡h(p,v(p,m)),h(p,uˉ)≡xm(p,e(p,uˉ))\mathbf{x}^m(\mathbf{p}, m) \equiv \mathbf{h}(\mathbf{p}, v(\mathbf{p}, m)), \quad \mathbf{h}(\mathbf{p}, \bar{u}) \equiv \mathbf{x}^m(\mathbf{p}, e(\mathbf{p}, \bar{u}))

第一个等式表明：马歇尔需求等于在"最大效用水平"处评估的希克斯需求；第二个等式表明：希克斯需求等于在"最低支出水平"处评估的马歇尔需求。将对偶恒等式对价格求导, 即得斯勒茨基方程——将马歇尔需求的价格效应分解为替代效应和收入效应，这是需求理论中最重要的可检验蕴含之一。

导数性质：Roy 与 Shephard

罗伊恒等式从间接效用函数导出马歇尔需求：

xim(p,m)=−∂v(p,m)/∂pi∂v(p,m)/∂mx_i^m(\mathbf{p}, m) = -\frac{\partial v(\mathbf{p}, m) / \partial p_i}{\partial v(\mathbf{p}, m) / \partial m}

谢泼德引理从支出函数导出希克斯需求：

hi(p,uˉ)=∂e(p,uˉ)∂pih_i(\mathbf{p}, \bar{u}) = \frac{\partial e(\mathbf{p}, \bar{u})}{\partial p_i}

这两个恒等式均源自包络定理：罗伊恒等式利用了预算约束的拉格朗日乘子（货币的边际效用），谢泼德引理则直接体现了支出函数作为值函数的包络性质。它们构成了消费者对偶中最核心的微分关系。

生产者理论中的对偶

生产者理论的对偶结构与消费者理论同构，但解释方向不同。

成本最小化与条件要素需求

给定生产函数 f(x)f(\mathbf{x})、要素价格 w\mathbf{w} 和目标产量 yy：

min⁡x  w⋅xs.t.f(x)≥y\min_{\mathbf{x}} \; \mathbf{w} \cdot \mathbf{x} \quad \text{s.t.} \quad f(\mathbf{x}) \geq y

解为条件要素需求 x(w,y)\mathbf{x}(\mathbf{w}, y)，值函数为成本函数 c(w,y)c(\mathbf{w}, y)。由谢泼德引理的形式在生产者语境下：∂c/∂wi=xi(w,y)\partial c / \partial w_i = x_i(\mathbf{w}, y)，即成本函数关于要素价格的偏导数等于该要素的条件需求。

利润最大化与霍特林引理

竞争性厂商在价格 (p,w)(p, \mathbf{w}) 下最大化利润：

max⁡y,x  py−w⋅xs.t.f(x)≥y\max_{y, \mathbf{x}} \; py - \mathbf{w} \cdot \mathbf{x} \quad \text{s.t.} \quad f(\mathbf{x}) \geq y

值函数为利润函数 π(p,w)\pi(p, \mathbf{w})，由霍特林引理：

∂π(p,w)∂p=y(p,w),−∂π(p,w)∂wi=xi(p,w)\frac{\partial \pi(p, \mathbf{w})}{\partial p} = y(p, \mathbf{w}), \quad -\frac{\partial \pi(p, \mathbf{w})}{\partial w_i} = x_i(p, \mathbf{w})

利润函数关于产出价格递增、关于要素价格递减，且为凸函数和一次齐次函数。这一组等式意味着：只要估计出利润函数对价格的响应，就能同时获得产出供给函数和要素需求函数，无需直接建模生产技术。

成本函数与生产函数的对偶

成本函数与生产函数本身构成更深层的对偶关系——对偶定理（Duality Theorem）：给定一个满足线性齐次、凹性、单调性和连续性条件的成本函数，可唯一地恢复出与之对应的生产函数（通过包络构造）。这一结论意味着实证研究者可以选择在"函数空间"中工作：直接估计成本函数或利润函数的参数形式，然后通过微分恢复要素需求和产出供给，避免了直接观测物理生产过程的困难。超越对数成本函数等灵活函数形式正是基于这一对偶逻辑被广泛应用于实证产业组织研究。

对偶与包络定理

上述所有对偶关系的统一数学基础是包络定理。考虑带参数 α\boldsymbol{\alpha} 的最优化问题，值函数 V(α)V(\boldsymbol{\alpha})，拉格朗日函数 L\mathcal{L}，则：

∂V∂αk=∂L∂αk∣opt\frac{\partial V}{\partial \alpha_k} = \frac{\partial \mathcal{L}}{\partial \alpha_k}\bigg|_{\text{opt}}

即参数变化对最优值的总效应，完全由该参数在拉格朗日函数中的直接效应刻画——间接效应（因最优解调整引起的连锁反应）恰好被一阶条件消去。当参数为价格或约束右端项时，该等式简化为 Roy、Shephard 或 Hotelling 恒等式。包络定理因此是连接"值函数"与"行为函数"的枢纽定理，也是整个对偶方法论的分析基石。

对偶思想的经济意义与应用

对偶不仅是数学上的优雅构造，更改变了实证经济学的实践方式。传统"原始路径"从偏好公理出发，推导需求函数，再与数据拟合；而对偶路径则允许研究者从可积性条件出发，直接设定支出函数或间接效用函数的灵活形式，利用 Roy 或 Shephard 等式生成需求系统，再检验理论约束。这一策略在需求系统分析（如近乎理想需求系统 AIDS、 Rotterdam 模型）、生产率研究（Olley-Pakes 与 Levinsohn-Petrin 半参数方法中对投资与中间投入作为生产率代理变量的处理，本质上利用了成本函数与生产函数的对偶关系）以及福利经济学中补偿变动与等价变动的计算中均发挥了关键作用。

更深层地，对偶思想揭示了经济学中数量信号与价格信号的等价信息含量：一个完全竞争市场中的所有技术信息和偏好信息，既可以编码在需求和供给函数中，也可以等价地编码在支出函数和利润函数中。这一洞见为一般均衡理论的构造、福利经济学基本定理的证明以及可计算一般均衡（CGE）模型的数值实现提供了不可替代的理论框架。