Clarke Differentials and the Envelope Theorem in Dynamic Programming

技術要約：クラーク・ディファレンシャルと動的計画法における包絡線定理

問題提起
本論文は、決定論的な動的計画法モデルへの包絡線定理の適用について扱う。標準的な最適化理論において、包絡線定理は、値関数のパラメータに関する微分が、目的関数へのパラメータの直接的な影響のみに依存することを示している。これは、最適な選択を通じた間接的な影響は、一階条件によって消失するためである。しかし、動的計画法においては、値関数 $\bar{V}(x)$ は内生的に導出されるため、その微分可能性を外生的に仮定することは困難である。さらに、最適政策関数 $y^*(x)$ は微分可能ではない可能性がある。

これまでに、この問題を解決しようとする文献が存在してきた。Benveniste and Scheinkman [1] は、凸解析を用いて包絡線定理を確立したが、彼らの結果は、ドメインの凸性や目的関数の凹性を含む強い仮定に依存している。Mordukhovich and Sagara [4] は、クラーク・ディファレンシャル（Clarke differentials）を用いて、非凸の設定や確率モデルへとこれらの結果を拡張した。しかし、彼らの手法は、目的関数が有界であり、かつ全空間上で定義されていることを要求する。これらの仮定は、定数相対リスク回避（CRRA）効用関数を持つラムゼー・カッス・クックマン（RCK）モデルのような、非有界で制限されたドメイン（例：正の実数）上に定義されている標準的な経済モデルでは、しばしば違反される。

手法
著者は、より弱い仮定の下で包絡線定理を導出するためのツールとして、非滑らかな解析学の道具であるクラーク・ディファレンシャルを採用している。その手法は以下の通りである：

1. フレームワーク： 本論文は、値関数がベルマン方程式を満たす、簡約化された決定論的動的計画法モデルを利用する：
   $$\bar{V}(x) = \max \{ w(x, y) + \delta \bar{V}(y) \mid y \in \Gamma(x) \}$$
   ここで、$X$ はバナッハ空間、$w$ は目的関数、$\Gamma$ は制約対応である。また、$\delta \in (0, 1)$ である。

2. クラーク・ディファレンシャルの道具： 本論文は、局所リプシッツ関数に対する一般化方向微分 $f^\circ(x; v)$ およびクラーク・ディファレンシャル $\partial^\circ f(x)$ を定義する。これには、クラーク・ディファレンシャルと強微分との関係を含む基礎的な性質を確立し、凸関数または凹関数に対して、クラーク・ディファレンシャルが標準的な劣微分と一致することを証明することが含まれる。

3. 正則性条件： 一般化方向微分が古典的な方向微分と等しくなる関数の概念として、**正則性（regularity）**を導入する。本論文は、凹関数は開凸集合上で正則であるという事実を活用する。

4. 証明戦略： 主定理（Theorem 3）の証明は、以下の手順で行われる：

   • $w$ の大域的な有界性を仮定することなく、値関数 $\bar{V}$ が点 $\bar{x}$ の周囲で局所リプシッツであることを確立する。
   • 政策対応 $G(x)$ の上ヘミ連続性と制約集合のコンパクト性を利用して、最適な経路に収束する列を構成する。
   • ベルマン方程式に対してクラーク・ディファレンシャルの定義を適用し、$\bar{V}$ の一般化微分を、状態変数に関する $w$ の部分クラーク・ディファレンシャルによって抑え込む。

主要な貢献と結果
主要な貢献は、標準的な経済モデルにおいて満たされる条件の下で、決定論的動的計画法モデルにおける包絡線定理を確立するTheorem 3である。

• 緩和された仮定： Mordukhovich and Sagara [4] とは異なり、Theorem 3 は目的関数 $w$ が有界であることや、全空間 $X^2$ 上で定義されていることを要求しない。Benveniste and Scheinkman [1] とは異なり、ドメインが凸であることや目的関数が凹であることを要求しない（ただし、凹性は局所リプシッツ連続性と正則性を意味し、それらは十分条件となる）。
• 主要な結果： $w$ が局所リプシッツであり、最適点において正則であり、かつ政策対応が特定の連続性と空でない交差特性を満たすという仮定の下で、値関数 $\bar{V}$ は局所リプシッツであり、そのクラーク・ディファレンシャルは以下を満たす：
  $$\partial^\circ \bar{V}(\bar{x}) \subset \partial^\circ_x w(\bar{x}, \bar{y})$$
  ここで、$\bar{y} \in \text{cl} G(\bar{x})$ である。
• 系 2 (Corollary 2)： 目的関数が強微分可能であれば、値関数もまた強微分可能であり、包含関係は強微分を用いた等式となる。

意義と範囲
本論文は、その結果が以前よりも広い範囲の経済モデルに適用可能であることから、重要であると主張している。具体的には、著者は、本定理が、前述の Mordukhovich–Sagara や Benveniste–Scheinkman の仮定を違反するモデル（非有界な効用関数および正の実数に制限されたドメインを持つ、対数効用を含む CRRA 効用関数を用いた RCK モデルや、コブ＝ダグラス型または AK 生産技術）に適用できることを示している。

著者は、Theorem 1（Benveniste–Scheinkman）は標準的な凹モデルには適用できるものの、制約集合や目的関数が凸性を欠くモデル（例：凹性を崩す政府支出ルールを持つモデル）や、目的関数が非有界であるモデルにおいては、Theorem 3 が必要であると述べている。結論として、Theorem 3 は、微分可能性や凸性が保証できない「自然な経済状況」において、包絡線定理を導出するための堅牢なツールを提供すると述べている。