包絡線定理（ほうらくせんていり、英: envelope theorem）とは、数学および経済学においてパラメータ付き最適化問題のの微分可能性に関する重要な結果である。目的関数のパラメータを変更する際、包絡定理は、ある意味で最適化された変数の変化が目的関数の変化に寄与しないことを示す。包絡定理は最適化モデルの比較静学における重要なツールである。
「包絡」という用語は、のグラフが、最適化される関数族 のグラフの「上包絡線（upper envelope）」として記述されることに由来する。
定式化 および を 上で実数値かつ連続的に微分可能関数とし、 を選択変数、 をパラメータとして、次の問題を考える： ただし および 。
この問題のラグランジュ関数は次のように表される：
ここで はラグランジュ乗数である。 と を目的関数 f を制約条件のもとで最大化する解（すなわちラグランジュ関数の鞍点）とし、
とおく。このときを
と定義する。このとき次の定理が成り立つ。
定理： および が連続的に微分可能であると仮定する。このとき
ここで である。
任意の選択集合に対する拡張 ポール・ミルグロムとは、従来の包絡公式が、選択集合や目的関数が凸集合性や位相的性質を欠く場合にも、価値関数の微分可能点において成立することを示した。目的関数がパラメータについて微分可能であれば次が成り立つ。
定理1： および とする。もし と がともに存在するならば、包絡公式（）が成り立つ。
証明の要旨： 式（）より に対し、
が成り立つ。この表示された最大化問題の目的関数は において微分可能であり、そのがまさに式（）である。
絶対連続性 価値関数の微分可能性には一般に強い仮定が必要であるが、多くの応用では絶対連続性、ほぼ至る所での微分可能性、あるいは左右微分可能性といったより弱い条件で十分である。特に、ポール・ミルグロムとの定理2は、価値関数 が絶対連続であるための十分条件を与えている。
定理2： がすべての に対して絶対連続であると仮定する。また、可積分な関数 が存在し、 がすべての とほとんどすべての に対して成り立つとする。このとき は絶対連続である。さらに、 がすべての に対して微分可能であり、 がほとんど至る所で成り立つならば、任意の選択 に対して次が成り立つ：
証明の要旨： 任意の について のとき、
これより は絶対連続であることが分かる。したがって、 はほとんど至る所で微分可能であり、式（）を用いることで式（）が導かれる。
この結果は、価値関数の「滑らかさ」に関するよくある誤解を払拭する。すなわち、価値関数が適切な性質を持つために、最適解自体が対応する滑らかさを持つ必要はない。定理2は、最適解が不連続であっても価値関数が絶対連続であることを保証する。
さらに、ポール・ミルグロムとの定理3は、族 が において絶対連続であり、かつ が において単値かつ連続であるならば、最適解が において微分可能でなくとも価値関数が で微分可能であり、包絡公式（）が成り立つことを示す。これは、制約集合の境界条件がパラメータに応じて変化するような場合（例：不等式制約集合において有効制約の集合が変化する場合）にも適用できる。
応用
生産者理論への応用 定理1は、利潤関数が微分可能な点においてホテリングの補題が成り立つことを意味し、定理2は生産者余剰の公式を意味する。形式的には、価格受容的企業の間接利潤関数を とし、その生産集合を 、価格を とする。このとき企業の供給関数を とすると、
が成り立つ。ここで （財 の価格）とし、その他の財の価格を に固定する。定理1を に適用すると、（企業の財 の最適供給量）が得られる。さらに、 を有界区間に制限すれば定理2の仮定が満たされるため、
が成り立ち、すなわち生産者余剰 は企業の供給曲線の下側の積分として得られる。
メカニズムデザイン・オークション理論への応用 エージェントの効用関数 が選択肢 とタイプ に依存するとする。 を、メカニズムにおいて異なるメッセージを送信することで得られる可能な結果の「メニュー」とする。このときエージェントのメカニズムにおける均衡効用 は式(1)で与えられ、均衡結果の集合 は式(2)で与えられる。任意の選択 はメカニズムによって実装される選択ルールである。もし効用関数 がすべての に対して で微分可能かつ絶対連続であり、かつ が で可積分であれば、定理2より任意の選択ルール を実装するメカニズムにおいてエージェントの均衡効用 は積分条件(4)を満たす。
この積分条件(4)は、連続的なタイプ空間を持つメカニズムデザイン問題の分析において重要な役割を果たす。特に、Myerson (1981) による単一財オークションの分析では、1人の入札者の結果を （ は財を得る確率、 は期待支払額）と表し、入札者の期待効用を と書ける。この場合、入札者の最小タイプを とすると、積分条件(4)は
の形をとる。この式は、生産技術がオークションで定義される企業が、数価 を確率 のオブジェクト取得に変換し、財を固定価格 で再販売する場合の生産者余剰公式として解釈できる。この条件から、Myerson (1981) の著名なが導かれる。すなわち、入札者が独立私的価値を持つオークションで得られる期待収入は、すべてのタイプ に対するオブジェクト取得確率 および最小タイプの期待効用 によって完全に決定される。この条件はMyerson (1981) による最適オークションの分析においても中心的な役割を果たす。
包絡定理のメカニズムデザインへの応用としては、Mirrlees (1971)、Holmstrom (1979)、LaffontとMaskin (1980)、RileyとSamuelson (1981)、FudenbergとTirole (1991)、Williams (1999)などがある。これらの研究では、包絡定理を区分的に連続微分可能な選択ルールに限定して利用しているが、最適な選択ルールが必ずしも区分的連続微分可能でない場合もある（例：Myerson (1991) 第6.5章で述べられる線形効用を持つ取引問題）。その場合でも積分条件(3)は成立し、Holmstromの補題、Myersonの補題、収入同値定理、Green–Laffont–Holmstromの定理、Myerson–Satterthwaiteの非効率性定理、Jehiel–Moldovanuの不可能性定理、McAfee–McMillanのカルテル弱定理、Weberのマルチンゲール定理 などが導かれる。これらの応用の詳細はMilgrom (2004) 第3章で詳述されており、オークション理論およびメカニズムデザイン分析において、包絡定理と需要理論の諸概念を基礎とした統一的枠組みが提示されている。
多次元パラメータ空間への応用 多次元パラメータ空間 に対して、定理1は価値関数の偏微分および方向微分に適用できる。もし目的関数 と価値関数 が に関して全微分可能であれば、定理1より勾配に関する包絡公式 が について成り立つ。価値関数の全微分可能性を保証するのが難しい場合でも、定理2はパラメータ値 と を結ぶ任意の滑らかな経路に沿って適用できる。具体的には、 がすべての に対して微分可能であり、 が に対して成り立つと仮定する。 から への滑らかな経路は、 で表され、、 を満たす微分可能写像である。このとき定理2より、価値関数の変化は目的関数の偏勾配の線積分として表される：
特に の場合、この結果は任意の閉曲線経路 に沿った循環積分がゼロであることを意味する：
この「可積分条件」は、多次元タイプを持つメカニズムデザインにおいて重要な役割を果たし、メカニズムによって実現可能な選択ルール の制約を与える。生産者理論への応用では、 を企業の生産ベクトル、 を価格ベクトルとし、 とすると、この可積分条件は任意の合理的な供給関数 が次を満たすことを意味する：
が連続微分可能な場合、この可積分条件は代替効果行列 の対称性と同値である（消費者理論においては、支出最小化問題に適用することでスルツキー行列の対称性が得られる）。
パラメータ依存制約への応用 次に、実現可能集合 がパラメータに依存する場合を考える：
ここで とする。 が凸集合であり、 と が に関して凹関数で、すべての に対して となる が存在すると仮定する。この場合、この制約付き最適化問題は鞍点問題として表現できる。すなわち、ラグランジュ関数 を用い、 を鞍点のためのラグランジュ乗数とする。この設定にポール・ミルグロムとの定理4が適用できる。特に、 がノルム線形空間におけるコンパクト集合であり、 と が について連続であり、 と が について連続であると仮定すると、ラグランジュ関数の鞍点 に対して、 は絶対連続であり次が成り立つ：
特に が に依存せず、 かつ の場合、 がほとんど至る所で成り立ち、このラグランジュ乗数 は制約の「シャドー・プライス」を意味する。
その他の応用 ポール・ミルグロムとの結果は、包絡定理の一般化が凸最適化、連続最適化問題、鞍点問題、および最適停止問題にも応用できることを示している。
出典