包络定理 (Envelope Theorem)
包络定理→微观/最优化核→描述最优化问题外生参变时值函数(最优值)变化→计值函数对参数导数时仅关注直接影响→忽略间接影响(通过最优选择变量)→为比较静态分析提供强力工。
定理表述
无约束:maxxf(x,α)→值函数V(α)=f(x∗(α),α)→
dαdV=∂α∂fx=x∗(α)
推导:全导dαdV=∂x∂fdαdx∗+∂α∂f→因x∗满一阶条件∂x∂f=0(最优"山顶"→坡度平)→间接影项消→徒直效。
有约束:maxxf(x,α) s.t. g(x,α)≤0→拉格朗日L=f−λg→包络定理:
dαdV=∂α∂Lx∗,λ∗
一阶条件共保所有通过x∗,λ∗的间接效和为0。
三大经典应用
霍特林引理:完全竞争企利润最大→π(p,w)=pq−C(q,w)→∂p∂π∗=q∗(p,w)→最大利对产价导=最优产出→从利函数直推供给函数。罗伊恒等式:消效用最大于预算约束下→间接效函V(p1,p2,I)→∂I∂V=λ∗→拉格朗日乘数=收入的边际效用。谢泼德引理:企成本最小化→minw1z1+w2z2 s.t. f(z1,z2)=q→∂w1∂C∗=z1∗→成本对要价偏导=该要素需→从成本函直推要素需求。
核→根值于最优一阶条件→最优"平坦"使决策变量微调对目标的边贡献为零→大大简比较静态→传三著名引理→深刻揭经济主最优化行为下值函数(利/效/成)与市场参数(价/收)间内在简数学关。