Snell 포락선과 최적정지: 미국형 옵션의 수학

G_t를 t에 정지할 때 받는 적응된 보상이라 하고, 가치평가에서는 필요에 따라 할인단위로 표현합니다

t의 선택은 G_t가 양수인지가 아니라 같은 미래정보 아래 기다리는 조건부 가치보다 큰지를 비교하는 일입니다

최적정지 가치는 t보다 이르지 않은 허용 정지시간 τ에 대한 E[G_τ | F_t]의 본질적 상한입니다

Snell 포락선 Y는 G를 지배하고 s ≤ t에서 E[Y_t | F_s] ≤ Y_s를 만족합니다

모든 G_t를 지배하는 다른 초마팅게일은 Y도 지배하므로 Y는 동적으로 일관된 상계 중 가장 작습니다

단순한 지배는 느슨한 상계도 허용하지만 최소성 덕분에 적절한 조건 아래 Y가 실제 최적정지 가치와 같습니다

유한 이산시간에서는 Y_N = G_N으로 두고 Y_n = max(G_n, E[Y_{n+1} | F_n])을 거꾸로 계산합니다

첫 항은 즉시 행사가치이고 둘째 항은 오늘의 정보로 내일 이후 최적선택을 평균 낸 계속가치입니다

따라서 후진귀납은 외부에서 붙인 계산요령이 아니라 포락선 자체를 만드는 이산시간 구성입니다

자연스러운 후보는 포락선과 지급액이 처음 만나는 τ* = inf{t : Y_t = G_t}입니다

표준 적분가능 조건의 유한 이산모형에서는 이 규칙이 최적이며 연속시간에는 정칙성과 존재조건이 더 필요합니다

접촉은 가치조건이지 기초자산이 고점을 찍었다는 예측이 아니며 같은 가치를 내는 정지시간이 여럿일 수도 있습니다

적절한 조건에서 초마팅게일 포락선은 Y = M - A의 Doob–Meyer 형태를 가지며 A는 예측가능 증가과정입니다

M은 마팅게일 혁신을 나타내고 A는 행사지급액을 계속 지배하는 데 가치가 소모될 때 증가합니다

A의 증가와 접촉영역을 잇는 상보성은 반사형 방정식과 장애물문제에도 다시 나타납니다

가격결정측도에서 할인한 미국형 행사지급액을 G로 두면 이상적 완전시장에서는 포락선이 무차익 가치과정이 됩니다

행사는 내가격과 계속가치를 비교하므로 내가격이 양수라는 사실만으로 조기행사가 정당화되지는 않습니다

배당·금리·보유비용·제약과 계약조건이 G나 계속가치를 바꾸며 그 결과 행사영역도 달라집니다

트리·회귀·동적계획법은 조건부 계속가치를 근사하므로 행사경계 근처의 분류오류가 특히 중요합니다

잡음이 있는 추정치에 최댓값을 취하면 가치가 위로 치우칠 수 있고 새 경로에서 학습정책을 평가하면 방어적인 하한을 얻습니다

표본외 정책가치·쌍대 상한·격자와 기저함수별 수렴·행사경계 안정성을 함께 확인해야 행사 프리미엄을 신뢰할 수 있습니다