Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

W16 · 관문 — 동학·확률 종합, 자산가격 논문 분해

0. 관문이 묻는 것

2부의 세 전환(고정점·사영·측도 변환)이 실제 논문 앞에서 작동하는가.

관문은 새 도구를 주지 않는다. 앞 일곱 회차가 준 도구를 논문 한 편 위에 올려놓고, 어느 줄에서 손이 멈추는지를 적는다. 산출물은 셋이다 — 백지 재유도 4항목의 통과·막힘 기록(3절), 논문 분해의 막힌 지점 기록표(2절), 자기 진단 표(5절). 셋 다 "무엇을 아는가"가 아니라 "어느 줄에서 막혔는가"를 적는 표다.

순서가 있다. 논문을 펴기 전에 3절의 백지 시험을 먼저 한다. 이 관문의 논문은 벨만 연산자·포락선 조건·확률 오일러 방정식을 본문에 다 적어 놓은 논문이라, 읽고 나서 재유도하면 백지가 아니다. 백지 시험 100분(4항목, 각 25분)을 마친 뒤 논문 읽기 3시간, 분해 80분의 순서로 간다.

1. 분해 대상

Lucas (1978), “Asset Prices in an Exchange Economy”, Econometrica 46(6), 1429–1445. 원문은 JSTOR에서 받는다. 17쪽이다.

이 논문을 고른 이유는 하나다. 2부의 세 회차가 따로 세운 것 — W12의 벨만 연산자와 압축사상, W12·W13의 포락선 조건, W13의 확률적 할인인자 — 이 한 논문의 4절 두 쪽 안에 차례로 놓여 있다. 논문은 소비재 하나를 내는 나무 nn그루와 동일한 소비자들로 경제를 짓고, 나무의 주식 가격이 산출 상태의 함수 p(y)p(y)로 정해진다는 것을 보인다. 분해 대상은 다음 범위다.

논문의 자리내용이 책의 자리
2절, 식 (1)과 전이함수 F(y,y)F(y',y)선호 EtβtU(ct)\E\sum_t\beta^{t}U(c_t), 산출의 마르코프 과정W13 A1·A3, W14의 Ft\Fc_t
3절, 균형의 정의 (i)·(ii)가치함수의 함수방정식, 시장청산 z=1z=\mathbf 1W12 (1), W13 (4)
4절, 명제 1TpT_p가 압축사상 — 가치함수의 존재·유일W12 Lemma 1·Theorem 1 (a)(b)
4절, 명제 2와 식 (2)v/zi=U(c)[yi+pi(y)]\partial v/\partial z_i=U'(c)[y_i+p_i(y)]W12 Theorem 1 (c), W13 (8)
4절, 식 (3)·(5)·(6)1계 조건 → 균형 가격식(확률 오일러 방정식)W13 (7)·(9)
4절, 식 (7)–(9)와 명제 3가격함수 위의 두 번째 압축사상W12 (8)
7.1절, 식 (14)선형 효용 — 가격은 배당의 할인 현재가치W13 Q8의 γ0\gamma\to0
7.2절, 식 (20)가격의 산출탄력성 = 상대적 위험회피도W02 탄력성, W06 부호
8절, 식 (22)가격은 마팅게일이 아니고, 한계효용 가중 초과수익이 마팅게일 차분W14 (14)

5절(쌍대 정리)과 6절(안정성)은 범위 밖이다 — 이 책의 어느 회차도 그 도구를 주지 않았다. 7.3절은 2절의 파라미터 극단에서 한 번만 쓴다.

논문에 없는 것이 하나 있다. 무위험 자산이다. Lucas의 경제에는 나무의 주식만 거래되므로 RfR_f가 식에 나오지 않고, 위험 프리미엄 (3)과 이항모형의 qq (1)는 논문 밖에서 붙여야 한다. 그 자리를 채우는 대안 논문이 Mehra & Prescott (1985), “The Equity Premium: A Puzzle”, Journal of Monetary Economics 15(2), 145–161이다(Elsevier ScienceDirect). 같은 나무 경제에 한 기간 무위험 채권을 더하고 소비성장을 두 상태 마르코프 연쇄로 두어, 주식과 채권의 수익률 차이를 자료와 대본다 — (15) 아래의 숫자가 거기서 나왔다. Lucas가 무거우면 이쪽을 주 대상으로 삼아도 된다. 2절의 절차는 같다. 셋째 후보는 Hansen & Jagannathan (1991), Journal of Political Economy 99(2)다. 효용함수 없이 (2)만으로 시작하는 논문이며, 2절의 3단계(1계 조건 번역)가 비어 있다는 것이 그 논문의 요점이다.

2. 분해 절차

기호 대장 → 차원 검사 → 1계 조건 번역 → 파라미터 극단 → 비교정학 부호 예측 → 확인. 각 단계에서 막힌 지점을 기록한다. 막힌 지점이 이 관문의 실제 산출물이다.

논문 3·4절이 세우는 식 넷을 이 책의 표기로 옮겨 적어 둔다. 분해는 이 넷 위에서 한다.

v(z,y)=maxc,x{U(c)+βv(x,y)dF(y,y)},c+p(y)xyz+p(y)zv(z,y)=\max_{c,\,x}\Bigl\{U(c)+\beta\int v(x,y')\,dF(y',y)\Bigr\},\qquad c+p(y)\cdot x\le y\cdot z+p(y)\cdot z
U(c)pi(y)=βv(x,y)xidF(y,y),v(z,y)zi=U(c)[yi+pi(y)]U'(c)\,p_i(y)=\beta\int\frac{\partial v(x,y')}{\partial x_i}\,dF(y',y),\qquad \frac{\partial v(z,y)}{\partial z_i}=U'(c)\bigl[y_i+p_i(y)\bigr]
U(jyj)pi(y)=βU(jyj)[yi+pi(y)]dF(y,y)U'\Bigl(\sum_j y_j\Bigr)\,p_i(y)=\beta\int U'\Bigl(\sum_j y'_j\Bigr)\bigl[y'_i+p_i(y')\bigr]\,dF(y',y)
(Tif)(y)=gi(y)+βf(y)dF(y,y),gi(y)=βU(jyj)yidF(y,y),pi(y)=fi(y)U(jyj)(T_if)(y)=g_i(y)+\beta\int f(y')\,dF(y',y),\qquad g_i(y)=\beta\int U'\Bigl(\sum_j y'_j\Bigr)y'_i\,dF(y',y),\qquad p_i(y)=\frac{f_i(y)}{U'(\sum_j y_j)}

(1)은 논문의 정의 (i), (2)는 1계 조건 (3)과 명제 2의 식 (2), (3)은 균형 가격식 (6), (4)는 (9)와 (8)이다.

1단계 — 기호 대장. 논문 2·3절의 기호 전부를 W01의 5칸(기호·종류·형상·차원·이름)으로 옮긴다. 함정은 넷이다. (a) xx는 다음 기의 주식 보유량이지 지급액이 아니다 — W13의 xt+1x_{t+1}과 같은 글자, 다른 뜻이고, W13의 지급액 자리에 서는 것은 yi+pi(y)y'_i+p_i(y')다. (b) 프라임은 도함수가 아니라 다음 기다 — yy'는 다음 기 산출이고 UU'만 도함수다. W12 2절의 프라임 문단이 경고한 자리다. (c) p(y)p(y)는 숫자가 아니라 함수이고, v(z,y;p)v(z,y;p)는 그 함수를 인수로 받는다 — 함수가 점이라는 W12의 층 이동이 여기서 두 번 일어난다. 하나는 vv를 점으로 보는 TpT_p, 다른 하나는 pp를 점으로 보는 TiT_i다. (d) dF(y,y)\int\cdot\,dF(y',y)가 W13의 Et\E_t이고 정보집합은 오늘 산출 yy 하나다 — W14의 Ft\Fc_tσ(yt)\sigma(y_t)로 줄어든 것이며, 그것을 허용하는 근거가 마르코프 가정이다. 표를 채우다 막히는 기호를 기록표에 적는다.

2단계 — 차원 검사. 뉴메레르는 소비재다. yiy_i는 [수량/주], ziz_i는 [주], pip_i는 [수량/주], UU'은 [효용/수량]이다. (2) 둘째 식의 양변은 [효용/주]이고 (3)의 양변도 [효용/주]다. (4)fif_i는 [효용/주]이며, UU'으로 나눈 pip_i가 [수량/주]로 돌아온다 — W13 Q3에서 u(ct)u'(c_t)로 나누어 효용 단위를 지운 것과 같은 조작이 논문의 (8)이다. 7.2절의 (20)은 양변이 무차원이어야 한다 — 탄력성 둘의 차이다. 무차원군이 β\betayU/U-yU''/U' 둘뿐이라는 것을 여기서 미리 센다. 식 하나라도 양변의 단위가 다르게 읽히면 1단계의 표가 틀린 것이다.

3단계 — 1계 조건 번역. (2)의 첫 식은 W13 (7)이고 둘째 식은 (8)이다 — 상태변수가 부 WtW_t가 아니라 주식 보유 zz이므로, W12 (15)gkg_k 자리에 “한 주가 낳는 자원” yi+pi(y)y_i+p_i(y)가 선다. 둘을 잇고 균형(z=x=1z=x=\mathbf 1, c=jyjc=\sum_j y_j)을 넣으면 (3), 곧 (9)다. 논문은 이 줄을 확률 오일러 방정식이라 부르고 한계대체율과 시장 전환율의 등치라고 적는다. 번역 문장을 쓴다 — 한 주를 오늘 팔아 소비하는 한계효용은, 내일 그 주가 주는 배당과 가격을 내일의 한계효용으로 재어 할인해 평균한 것과 같다. 양변을 U(jyj)U'(\sum_j y_j)로 나눈다.

pi(y)=m(y,y)[yi+pi(y)]dF(y,y),m(y,y)=βU(jyj)U(jyj)p_i(y)=\int m(y,y')\bigl[y'_i+p_i(y')\bigr]\,dF(y',y),\qquad m(y,y')=\beta\,\frac{U'(\sum_j y'_j)}{U'(\sum_j y_j)}

이것이 (11)의 둘째 줄이고, mmDefinition 1의 확률적 할인인자다. 논문에는 mm이라는 글자가 없다 — 덩어리 짓기는 읽는 쪽의 일이다. 명제 2의 증명은 W12가 인용만 한 미분가능성을 이 문제에서 직접 보인다. 두 방향의 부등식으로 f(A)=U(c(A))f'(A)=U'(c(A))를 얻는 반 쪽이며, Benveniste & Scheinkman (1979)는 그 논증의 일반형이다. 이 반 쪽에서 막히면 그 줄을 기록한다.

4단계 — 파라미터 극단. (4)에서 β0\beta\to0이면 gi0g_i\to0, fi0f_i\to0, 가격이 0이다 — 가격은 전부 미래의 값이다. β1\beta\to1이면 7.1절의 급수 sβsE(yi,t+sy)\sum_s\beta^{s}\E(y_{i,t+s}\mid y)가 발산한다 — W12 Q8의 압축계수가 1로 가는 세계이고 명제 1·3이 서지 않는다. UU가 선형이면 (3)UU'이 양변에서 지워져 (14) — 가격은 배당의 할인 현재가치 — 가 되고, m=βm=\beta가 상수가 되어 W13 Q8의 γ0\gamma\to0 세계다. 논문은 이 경우가 유계 가정을 어긴다고 적고 따로 다룬다. 산출이 독립인 나무가 많아지면(7.3절) 총산출이 평균 μ\mu에 붙어 U(jyj)U(μ)U'(\sum_j y'_j)\approx U'(\mu)가 상수가 되고 선형 효용의 공식으로 돌아간다. 논문의 보조정리 2는 두 압축사상의 고정점 거리를 A/(1β)A/(1-\beta)로 재는데, 이것은 W12 (10)의 사전 상계와 같은 계산이다. 각 극단에서 "어떤 세계인가"를 한 문장씩 적고, 문장이 나오지 않는 극단을 기록한다.

5단계 — 비교정학 부호 예측. 7.2절을 읽기 전에 (4)에서 부호를 예측한다. 산출이 독립동일분포이면 gig_i가 상수이고 fif_i도 상수이므로 p(y)=f/U(y)p(y)=f/U'(y)이고, UU'이 감소함수이니 p(y)>0p'(y)>0이다. 탄력성은 W02의 정의대로 로그 미분해 yp/p=yU/Uyp'/p=-yU''/U' — 상대적 위험회피도 그 자체다. 산출이 자기상관이면 ff가 (7)의 고정점이므로, W06의 절차대로 (7)을 yy로 미분해 ff'의 부호를 묻는다. 항이 하나 더 붙는다.

yp(y)p(y)=yf(y)f(y)yU(y)U(y)\frac{y\,p'(y)}{p(y)}=\frac{y\,f'(y)}{f(y)}-\frac{y\,U''(y)}{U'(y)}

둘째 항은 양이다. 첫째 항의 부호는 gg의 피적분함수 U(y)yU'(y')y'yy'에 대해 증가하는가에 달렸고, 그것은 상대적 위험회피도가 1보다 작은가와 같은 조건이다. 예측은 이렇다 — 위험회피도가 1 아래이면 좋은 소식은 가격을 올리고, 1 위이면 내릴 수 있다. 자산 사이의 부호도 예측한다 — 배당이 총산출과 같이 움직이는 나무일수록 (5)mm과 음의 공분산을 가져 기대 배당 한 단위당 가격이 낮다. (14)의 부호다. 예측을 적고 나서 7.2절을 편다.

6단계 — 확인. 셋을 대본다. 첫째, 7.2절의 (20)이 (6)과 같은가, 논문이 소득효과와 정보효과라 부른 두 항이 예측한 부호를 갖는가, 논문의 (19)가 정보효과의 부호를 위험회피도 1 아래에서만 보장하는가. 둘째, 숫자. W13 3절의 두 상태 경제(β=0.98\beta=0.98, γ=2\gamma=2, 소비성장 0.95·1.05)는 (5)를 한 기간으로 자르고 pi(y)=0p_i(y')=0으로 둔 것이다 — 자산 A의 가격 0.9825(5)로 다시 나오는가. 소비성장의 두 상태에 W15의 글자를 붙이면 mHm_H, mTm_T이고, 무위험 채권을 하나 더 두면 Rf=1/E[m]R_f=1/\E[m]이며,

q=pmHRf,1q=(1p)mTRfq=p\,m_H\,R_f,\qquad 1-q=(1-p)\,m_T\,R_f

(13)이다. Lucas의 나무에 채권을 더한 것이 Mehra–Prescott의 경제이고, 그 경제의 위험중립확률이 이 줄이다. 셋째, 8절. 논문은 가격 자체가 마팅게일이 아니라 하고, 그 대신 한계효용을 곱한 초과수익 (22)의 조건부 기댓값이 0이라고 적는다. W14 (14)의 첫 식 — 최선의 예측이 현재값 — 으로 그 줄을 읽고, UU'이 상수일 때만 가격이(배당과 β\beta를 보정한 뒤) 마팅게일에 가까워지는 이유를 (3)에서 지목한다. 세 확인 가운데 하나라도 어긋나면 어긋난 자리가 기록표의 마지막 행이다.

기록표의 양식은 아래와 같다. 한 행이 한 막힘이다. 막힌 조작을 논문의 식 번호와 함께 적고, 그 조작을 허용하는 근거가 이 책의 어느 줄인지 찾아 적는다. 근거를 찾지 못한 행이 3부로 넘어가는 빚이다. 첫 두 행은 보기다.

단계논문의 식막힌 조작이 책의 근거확인일
1 기호 대장정의 (i)xx를 지급액으로 읽었다W13 2절 표의 ξt\xi_t·xt+1x_{t+1}
3 1계 조건 번역(2)v/zi\partial v/\partial z_i에서 xx^{*}를 한 점에 고정해도 되는 근거Theorem 1, (14)

3. 백지 재유도 시험

백지 재유도 4항목 — W12 · Blackwell 조건 → 압축사상 → 벨만 고정점 · 포락선 조건. W13 · 오일러 ⇔ 1=E[mR]1=\E[mR] ⇔ 위험 프리미엄 =RfCov(m,R)=-R_f\Cov(m,R). W14 · E[YF]\E[Y\mid\Fc] = L2L^2 직교사영 · 타워 성질. W15 · 이항모형 복제 → qq · qqmm의 재규격화.

항목 이름은 백지 유도 목록의 문구 그대로다. 2부의 네 회차가 등록한 항목 넷이 그대로 네 자리에 온다. 항목당 25분이고, 각 회차 6절의 60분보다 짧은 것은 이번이 첫 유도가 아니라 회수이기 때문이다. 25분 안에 끝나지 않으면 그 자리에서 멈추고 막힌 줄을 표시한다. 자료를 열지 않는다.

Solution to Exercise 1 #

채점 기준 — 각 줄 옆에 그 조작을 허용하는 가정·정리가 적혀 있는가. 항목별 기준은 해당 회차 6절 채점표의 부분집합이고, 판정은 그 채점표 전체로 한다.

1. Blackwell 조건 → 압축사상 → 벨만 고정점 · 포락선 조건 (W12 채점표 1–7)

  • 함수공간 C(K)C(K)·상한 노름·완비성이 첫 줄에 있고 그 옆에 "함수가 점이다"가 적혀 있는가.

  • 두 조건이 (i) 단조 (ii) 할인으로 분리되어 있고, 할인 확인 줄 옆에 "상수 βa\beta amax\max 밖으로 나온다"가 적혀 있는가.

  • VW+VWV\le W+\lVert V-W\rVert_\infty → 단조성 → 할인의 순서로 적용하고 V,WV,W 교환의 대칭 논증이 있으며, 유일성 줄 (1β)VW0(1-\beta)\lVert V-W\rVert_\infty\le0 옆에 "β<1\beta<1"이 적혀 있는가.

  • 존재 줄에 Cauchy 열과 "완비성"이 있고, 수렴률 βn\beta^{n} 또는 사전 상계 βn/(1β)\beta^{n}/(1-\beta) 가운데 하나가 있는가.

  • 1계 조건 줄 옆에 "내부해·gc=1g_c=-1·VV 미분가능(가정)"이, 포락선 줄 옆에 "cc^{*} 고정, VhV-h가 최소 — thm-w05와 같은 구도, θ=k\theta=k"가 적혀 있는가.

  • 결합 결과 V(k)=u(c)gkV'(k)=u'(c^{*})\,g_k 옆에 "W04의 λ\lambda = 자본의 잠재가격, 차원 [효용/수량]"이 적혀 있는가.

2. 오일러 ⇔ 1=E[mR]1=\E[mR] ⇔ 위험 프리미엄 (W13 채점표 1–7)

  • 벨만 식 옆에 "시간분리 효용·정보집합·마르코프 상태·W12 고정점(유계 효용일 때)"이 적혀 있고 예산제약과 부의 전이가 따로 적혀 있는가.

  • 1계 조건 두 줄 옆에 "내부해, 미분과 Et\E_t의 교환"이, 포락선 줄 옆에 "VW=λt=u(ct)V_W=\lambda_t=u'(c_t), 곧 λ=v/w\lambda=\partial v/\partial w"가 적혀 있는가.

  • 시점 이동 줄 옆에 "모든 tt·모든 상태에서 성립하므로 t+1t+1에도"가 적혀 있는가.

  • ptip^i_t·u(ct)u'(c_t)로 나누는 줄 옆에 "Ft\Fc_t-가측·양수이므로 Et\E_t 안으로"가 적혀 있고, 여기서 mm이 정의되며 m>0m>0의 근거(β>0\beta>0, u>0u'>0)와 되돌려 곱할 수 있다는 동치 한 줄이 있는가.

  • 무위험 줄 옆에 "Rt+1fR^f_{t+1}tt에 알려진 값이므로 밖으로"가 적혀 있는가.

  • 공분산 줄에 "E[mR]=EmER+Cov\E[mR]=\E m\,\E R+\Cov"가 있고 부호가 Rt+1fCovt-R^f_{t+1}\Cov_t로 나오며, 부호 검산(순환 자산 → 양의 프리미엄)과 "동치는 Rt+1f=1/Et[mt+1]R^f_{t+1}=1/\E_t[m_{t+1}]이 주어졌을 때"라는 한정이 있는가.

3. E[YF]\E[Y\mid\Fc] = L2L^2 직교사영 · 타워 성질 (W14 채점표 1–7)

  • 내적 정의 옆에 "E[Y2]<\E[Y^{2}]<\infty"와 "코시–슈바르츠로 유한"이 적혀 있는가.

  • 직교 ⇒ 최소 줄 옆에 "Y^ZL2(F)\hat Y-Z\in L^{2}(\Fc) — 부분공간"이, 유일성 옆에 "a.s. 동일시"가 적혀 있는가.

  • 최소 ⇒ 직교 줄 옆에 섭동 Y^+ϵW\hat Y+\epsilon W와 "ϵ\epsilon 양·음 양쪽 극한"이 적혀 있고, W07 정규방정식과 같은 구조라는 한 마디가 있는가.

  • 존재 줄 옆에 "사영 정리 — 빌린다(증명 없음)"가 명시돼 있는가. 존재를 증명한 척하면 감점이다.

  • W=1AW=\mathbf 1_A를 넣어 Kolmogorov 정의를 얻는 줄이 있는가.

  • 타워 줄 옆에 "L2(Ft)L2(Ft+1)L^{2}(\Fc_t)\subseteq L^{2}(\Fc_{t+1})"와 방향(작은 정보가 이긴다)이 적혀 있고, Π2=Π\Pi^{2}=\Pi·자기수반이 W07의 P2=PP^{2}=P·P=PP'=P와 같다는 한 마디가 있는가.

4. 이항모형 복제 → qq · qqmm의 재규격화 (W15 채점표 1–6)

  • 복제 연립 옆에 "상태별로 V1=XV_1=X, 미지수 2·식 2, 행렬식 (ud)S0R0(u-d)S_0R\neq0"이 적혀 있는가.

  • V0V_0 정리 옆에 "공통분모 (ud)R(u-d)R; 1q=(uR)/(ud)1-q=(u-R)/(u-d)"와 "q(0,1)    d<R<uq\in(0,1)\iff d<R<u"가 적혀 있는가.

  • RdR\le d·RuR\ge u 각각에 차익거래 포트폴리오 (Δ,B)(\Delta,B)가 구체적으로 적혀 있는가.

  • X=S1X=S_1 대입 줄에 qu+(1q)d=Rqu+(1-q)d=R이 있고 "할인 주가의 QQ-기댓값이 현재값"이 붙어 있는가.

  • Z=m/E[m]Z=m/\E[m] 줄 옆에 "m>0m>0이므로 Z>0Z>0; 1=E[mRf]1=\E[mR_f]이므로 E[Z]=1\E[Z]=1"이 적혀 있는가.

  • mH=q/(pR)m_H=q/(pR), mT=(1q)/((1p)R)m_T=(1-q)/((1-p)R) 줄 옆에 W13의 두 가격식 1=E[mR]1=\E[mR], S0=E[mS1]S_0=\E[mS_1]에서 나왔다는 근거가 적혀 있는가.

공통 — 네 항목 각각에 번역 문장이 있는가. 한 항목이라도 기준 하나가 비면 그 항목은 통과가 아니다. 통과하지 못한 항목은 5절 표에 식 번호로 적는다.

4. 모형을 다시 보기

Sugden(2000) — 모형의 가정 하나를 빼고 어느 줄이 무너지는지 지목한다

Sugden (2000)은 경제 이론 모형을 "신뢰할 만한 세계(credible world)"로 읽는다. Akerlof의 중고차 시장과 Schelling의 바둑판 모형이 사례다. 두 모형의 가정은 현실의 요소를 떼어 낸 분리(isolation)도 아니고 개념의 탐색(conceptual exploration)도 아니다. 있을 법한 반사실적 세계를 하나 지어 놓고 그 세계에서 성립하는 것이 현실에서도 성립하리라고 옮겨 가는 일이며, 그 옮김은 연역이 아니라 귀납이다 — 한 사례에서 비슷한 다른 사례로 가는 추론과 같은 종류라는 것이 Sugden의 주장이다. 이 읽기로 Lucas의 세계에 묻는다. 물음은 다섯이고, 각 물음의 답은 논문의 식 번호로 끝나야 한다.

물음 1 — 가정을 두 묶음으로 나눈다. 논문 2·3절의 가정을 전부 적고, 현실의 요소를 떼어 낸 것(저장·자본축적 없음, 거래비용 없음)과 현실에 없는 것을 지어 넣은 것(동일한 소비자, 단일 재화, 나무 하나에 한 주, 지각된 가격함수와 시장청산 가격함수가 같다는 합리적 기대)으로 가른다. Sugden의 구분에서 뒤 묶음은 분리가 아니라 구성(construction)이다. 어느 묶음이 더 긴가. 근사와 캐리커처의 구분(Gibbard & Varian, 1978)을 같은 목록에 겹쳐 놓았을 때 두 구분이 갈리는 가정은 무엇인가.

물음 2 — 가정 하나를 빼고 무너지는 줄을 지목한다. 아래 표의 왼쪽 칸을 하나씩 빼면서 논문의 어느 식이 처음 서지 않는지를 적는다. 오른쪽 두 칸은 답의 보기다 — 마지막 두 행은 직접 채운다.

빼는 가정처음 무너지는 줄이 책의 자리
UU가 유계명제 1 — 유계함수 공간의 완비성. 7.1절의 선형 효용이 이 가정을 어긴다W12 A3, (4)
0<β<10<\beta<1명제 1·3의 압축계수. 7.1절의 급수 sβs\sum_s\beta^{s}W12 (11)
UU가 강오목명제 2의 c(A)c(A) 유일성. 7.2절의 p(y)>0p'(y)>0. 8절의 “체감하는 한계대체율은 마팅게일과 불일치”W13 Q8의 γ0\gamma\to0
산출은 부패한다(저장 없음)균형 조건 (ii)의 c=jyjc=\sum_j y_j. 7.2절의 “저축 시도는 가격 상승으로 좌절된다”W04 (3) 상보여유
소비자가 동일하다균형 조건 (ii)의 z=1z=\mathbf 1W13 Q11
산출이 마르코프다
합리적 기대

물음 3 — 세계는 무엇을 근거로 신뢰할 만한가. Sugden에게 신뢰성은 그 세계 안의 인과가 알려진 방식으로 작동한다는 것이다. Lucas는 6절에서 스스로 묻는다 — 사람들이 동적 계획법을 모르고 그럴듯한 경험칙으로 포트폴리오를 평가하며 그 규칙을 경험에 따라 고치면, 5절의 연산자 MM을 반복하는 것이 되어 균형 가격으로 간다고. 이 논증은 세계의 신뢰성을 높이는가, 아니면 두 번째 세계를 하나 더 짓는 것인가. 6절의 논증이 서기 위해 필요한 가정(정상성, 학습이 MM의 반복과 같다는 것)을 물음 1의 목록에 추가하면 어느 묶음이 늘어나는가.

물음 4 — 귀납의 한 걸음. 논문 8절은 모형 세계 안의 명제 — 가격은 마팅게일이 아니고 한계효용 가중 초과수익 (22)가 마팅게일 차분이다 — 를 세운 뒤, 9절에서 실제 가격 계열의 마팅게일 검정이 시장 효율성 일반에 대해 말해 주는 것이 없다고 적는다. 모형 세계에서 현실 시장으로 가는 이 걸음은 Sugden의 뜻에서 귀납인가. 그 귀납이 기대는 유사성은 어느 가정에 있는가 — 시간가산 선호인가, 마르코프 산출인가, 대표 소비자인가. 그 가정을 물음 2의 표에서 빼면 (22)는 어떻게 바뀌는가.

물음 5 — 강건성과 자료. Sugden은 결과가 비슷한 세계들에서 되풀이되는 것을 귀납의 근거로 든다. 논문 7.3절은 나무를 많게 하고 독립으로 두었을 때 가격이 선형 효용의 공식에 얼마나 가까운지를 보조정리 2의 상계 f~f(1β)1g~g\lVert\tilde f-f\rVert\le(1-\beta)^{-1}\lVert\tilde g-g\rVert로 잰다 — 강건성을 숫자로 만든 것이다. 반대 방향의 시험이 Mehra–Prescott다. 같은 세계에 자료를 대면 주식 프리미엄이 나오지 않는다. 이때 신뢰성을 잃는 것은 세계 전체인가, 가정 하나인가. 논문 각주 8은 시간가산 효용에서 UU의 곡률이 위험회피와 기간간 대체를 동시에 맡는다고 적었다. 그 한 문장이 가리키는 가정을 표에서 빼면 (5)mm은 어떤 모양이 되는가. 답은 이 책 밖에 있고, 여기서는 물음의 자리만 지목한다.

5. 자기 진단

표의 항목은 appendix/gap-21.md의 2부 행 일곱과 이 관문의 산출물 둘이다. 통과 칸에는 날짜를, 막힌 줄 칸에는 식 번호를 적는다. 비워 두는 칸은 없다 — 시도하지 않았으면 "미시도"라고 적는다.

항목통과막힌 줄
W09 · 차분방정식과 미분방정식은 별개 과목이다 → 같은 대상의 세 표기이며, 표기 선택이 계산 가능성과 해석을 바꾼다
W10 · 정상상태 값을 계산한다 → 위상선·전이경로·수렴속도를 읽는다. 실증 성장 회귀의 β\beta-수렴이 바로 이 λ\lambda
W11 · "안장경로로 점프한다"를 암기한다 → trace–determinant로 안장을 판정하고, 횡단조건이 경로를 고르는 이유를 안다
W12 · 역방향으로 계산한다 → 함수공간 위 연산자의 유일 고정점이다. β<1\beta<1이 왜 필요한지가 여기서 처음 진짜 이유를 갖는다
W13 · 오일러 방정식은 소비이론의 결과다 → 모든 자산가격 이론의 출발점이다. mm 전체를 하나의 개체로 읽는 덩어리 짓기가 요구된다
W14 · 조건부 확률로 계산한다 → 정보집합 위의 사영이다. 마팅게일이 "최선의 예측이 현재값"이라는 문장으로 정의된다
W15 · 위험중립확률은 이항모형의 계산 요령이다 → 측도 변환과 무차익이 동치다. Radon–Nikodym 도함수가 그 변환의 이름이다
분해 · 2절의 6단계를 논문 4절·7절에 끝까지 적용했다
모형론 · 4절 물음 2의 표를 전부 채웠다

통과 기준은 각 회차 6절의 채점표 전체다. 표에 적기 위해 한 줄로 줄이면 다음과 같다.

6. 마치며…

2부에서 채워진 것은 세 전환이다. 값을 계산하는 것에서 연산자의 고정점으로 — W10·W11은 상태공간의 고정점과 그 근방의 속도를, W12는 함수공간의 고정점과 전역 수렴을 주었다. 조건부 확률을 계산하는 것에서 정보집합 위의 사영으로 — W14는 W07의 PPΠ\Pi로 바꿔 놓았고, W13이 이름만 부르던 첨자 이동의 근거가 그것이었다. 위험중립확률을 요령으로 쓰는 것에서 측도 변환으로 — W15는 qqmm의 재규격화임을 계산했다. W09는 그 앞에 시간의 세 표기를 두었고, W13은 소비이론의 오일러 방정식과 자산가격의 p=E[mx]p=\E[mx]가 같은 줄임을 보였다. Lucas의 4절 두 쪽은 이 셋이 한 논문에서 어느 줄인지를 확인하는 자리였다.

남은 것을 숨기지 않는다. 다섯이다. (a) 가치함수의 미분가능성 — W12 A5·W13 A4는 가정으로 두었고, Lucas는 유계 효용으로 피해 갔다. CRRA처럼 유계가 아닌 효용에서 존재와 미분가능성을 세우는 논증은 이 부에 없다. (b) 무차익이면 양의 mm이 존재한다는 역방향 — W13은 인용만 했다. (c) 상태가 셋 이상이고 자산이 둘일 때 QQ가 여럿이 되는 불완전시장 — W15의 상자가 경계만 그었다. (d) 연속시간의 측도 변환과 이토 공식 — W15는 차수 세기까지만 갔다. (e) Lucas의 5절 쌍대 정리와 6절 안정성 — 이 책의 어느 회차도 그 도구를 주지 않았다. 다섯은 이 책이 아니라 그 뒤의 몫이다.

기록은 이렇게 한다. appendix/derivations.md의 W12·W13·W14·W15 행에 이 관문의 날짜 또는 막힌 식 번호를 적는다. 통과하지 못한 항목은 다음 주 냉시동 인출의 “1주 전” 자리에 다시 올라오고 3주 뒤에 한 번 더 올라온다 — 시간표의 산식이 그렇게 되어 있고, 관문 주가 걸리는 뒤 회차들은 그 자리를 이미 비워 두었다. 5절 표에서 막힌 줄 칸이 모두 빈 진단은 진단이 아니다. 아홉 행 가운데 몇 행이 식 번호로 채워졌는지가 이 관문의 점수이고, 그 숫자를 적는 것이 관문이 요구하는 정직성의 전부다. 2절 기록표도 같다 — 행이 하나도 없는 기록표는 분해를 하지 않았다는 뜻이다.

다음 회차(W17)부터는 3부다 — 같은 식을 이번에는 "어떤 변환에 불변인가"로 읽고, 곱셈에 불변인 분포가 왜 멱법칙일 수밖에 없는지에서 시작한다.


이어지는 자료 — Lucas (1978) 원문 Lucas, 1978 · Mehra & Prescott (1985) Mehra & Prescott, 1985 · Sugden (2000) Sugden, 2000 · Cochrane, Asset Pricing 1장 Cochrane, 2005 · QuantEcon Asset Pricing II: The Lucas Asset Pricing Model

References
  1. Lucas, R. E., Jr. (1978). Asset Prices in an Exchange Economy. Econometrica, 46(6), 1429–1445. 10.2307/1913837
  2. Mehra, R., & Prescott, E. C. (1985). The Equity Premium: A Puzzle. Journal of Monetary Economics, 15(2), 145–161. 10.1016/0304-3932(85)90061-3
  3. Hansen, L. P., & Jagannathan, R. (1991). Implications of Security Market Data for Models of Dynamic Economies. Journal of Political Economy, 99(2), 225–262.
  4. Benveniste, L. M., & Scheinkman, J. A. (1979). On the Differentiability of the Value Function in Dynamic Models of Economics. Econometrica, 47(3), 727–732. 10.2307/1910417
  5. Sugden, R. (2000). Credible worlds: the status of theoretical models in economics. Journal of Economic Methodology, 7(1), 1–31.
  6. Gibbard, A., & Varian, H. R. (1978). Economic Models. The Journal of Philosophy, 75(11), 664–677.
  7. Cochrane, J. H. (2005). Asset Pricing (Revised). Princeton University Press.