Clarke Differentials and the Envelope Theorem in Dynamic Programming

기술 요약: 클라크 미분(Clarke Differentials)과 동적 계획법에서의 포락선 정리(Envelope Theorem)

문제 제ない
본 논문은 결정론적 동적 계획법 모델에 대한 포락선 정리의 적용을 다룬다. 표준적인 최적화 이론에서 포락선 정리는 가치 함수(value function)의 매개변수에 대한 미분이, 최적 선택을 통한 간접적인 효과가 일계 조건(first-order condition)에 의해 소멸함에 따라 목적 함수의 매개변수에 대한 직접적인 효과에만 의존한다는 것을 기술한다. 그러나 동적 계획법에서는 가치 함수 $\bar{V}(x)$가 내생적으로 도출되므로, 그 미분 가능성을 외생적으로 가정하기 어렵다. 또한, 최적 정책 함수 $y^*(x)$는 미분 가능하지 않을 수 있다.

기존 문헌들은 이를 해결하려고 시도해 왔다. Benveniste와 Scheinkman [1]은 볼록 해석(convex analysis)을 사용하여 포락선 정리를 확립하였으나, 그들의 결과는 영역의 볼록성과 목적 함수의 오목성(concavity)을 포함한 강력한 가정들에 의존한다. Mordukhovich와 Sagara [4]는 비볼록(non-convex) 설정과 확률적 모델로 이 결과를 확장하였다. 하지만 그들의 접근 방식은 목적 함수가 유계(bounded)여야 하며 전체 공간 위에 정의되어야 한다는 요구 사항이 있다. 이러한 가정들은 로그 효용 함수를 사용하는 램지-카스-코프만스(RCK) 모델과 같이, 함수가 유계가 아니거나 제한된 영역(예: 양의 실수)에 정의된 표준 경제 모델에서는 흔히 위배된다.

방법론
저자는 훨씬 더 약한 가정하에서 포락선 정리를 도출하기 위해 비매끄 분석(nonsmooth analysis)의 도구인 **클라크 미분(Clarke differential)**을 활용한다. 방법론은 다음과 같다:

1. 프레임워크: 본 논문은 가치 함수가 벨만 방정식(Bellman equation)을 만족하는 축약형 결정론적 동적 계획법 모델을 활용한다:
   $$\bar{V}(x) = \max \{ w(x, y) + \delta \bar{V}(y) \mid y \in \Gamma(x) \}$$
   여기서 $X$는 바나흐 공간(Banach space), $w$는 목적 함수, $\Gamma$는 제약 대응(constraint correspondence), $\delta \in (0, 1)$이다.

2. 클라크 미분 도구: 본 논문은 국소 립시츠(locally Lipschitz) 함수에 대한 일반화된 방향 미분 $f^\circ(x; v)$와 클라크 미분 $\partial^\circ f(x)$를 정의한다. 또한 강한 미분 가능성(strong differentiability)과의 관계를 포함한 기초적인 성질들을 확립하며, 볼록 또는 오목 함수에 대해 클라크 미분이 표준 서브미분(subdifferential)과 일치함을 증명한다.

3. 정칙성 조건(Regularity Conditions): 일반화된 방향 미분이 고전적인 방향 미분과 일치하는 개념인 **정칙성(regularity)**을 핵심 개념으로 도입한다. 본 논문은 개집합 볼록 집합 위의 오목 함수는 정칙적이라는 사실을 활용한다.

4. 증명 전략: 주요 정리(정리 3)의 증명은 다음과 같이 진행된다:

   • $w$의 전역적 유계성을 가정하지 않고도 가치 함수 $\bar{V}$가 $\bar{x}$ 주변에서 국소 립시츠임을 확립한다.
   • 정책 대응(policy correspondence) $G(x)$의 상반연속성(upper hemi-continuity)과 제약 집합의 컴팩트성을 활용하여 최적 경로로 수렴하는 수열을 구성한다.
   • 벨만 방정식에 클라크 미분의 정의를 적용하여 $\bar{V}$의 일반화된 미분을 상태 변수에 대한 $w$의 부분 클라크 미분으로 제한한다.

주요 기여 및 결과
주요 기여는 정리 3으로, 이는 기존의 정리들이 배제했던 조건들을 만족하는 표준 경제 모델들에 대해 결정론적 동적 계획법 모델의 포락선 정리를 확립한다.

• 완화된 가정: Mordukhovich와 Sagara [4]와 달리, 정리 3은 목적 함수 $w$가 유계이거나 전체 공간 $X^2$ 위에 정의될 필요를 요구하지 않는다. Benveniste와 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: 목적 함수가 강하게 미분 가능하다면, 가치 함수 또한 강하게 미분 가능하며, 이 포함 관계는 강한 미분을 포함하는 등호가 된다.

의의 및 범위
본 논문은 자신의 결과가 이전에는 가능하지 않았던 더 넓은 범위의 경제 모델에 적용될 수 있다는 점에서 의의가 있다고 주장한다. 구체적으로, 저자는 이 정리가 로그 케이스를 포함한 CRRA 효용 함수를 가진 RCK 모델과 콥-더글라스(Cobb-Douglas) 또는 AK 생산 기술에 적용됨을 입증한다. 이러한 모델들은 유계가 아닌 효용 함수와 양의 실수로 제한된 영역을 특징으로 하며, 이는 Mordukhovich-Sagara의 유계성 및 전체 공간 가정과 Benveniste-Scheinkman의 볼록성 요구 사항을 위반한다.

저자는 정리 1(Benveniste-Scheinkman)이 표준적인 오목 모델에 적용되는 반면, 정리 3은 제약 집합이나 목적 함수가 볼록성을 결여한 모델(예: 볼록성을 깨뜨리는 정부 지출 규칙이 있는 모델)이나 목적 함수가 유계가 아닌 모델에서 필수적이라고 언급한다. 결론적으로, 정리 3은 미분 가능성과 볼록성을 보장할 수 없는 "자연스러운 경제적 상황"에서 포락선 정리를 도출하기 위한 견고한 도구를 제공한다.