변분부등식과 미국형 옵션의 자유경계

g(t,S)를 행사지급액, V(t,S)를 미국형 옵션 가치라고 둡니다

보유자는 지금 행사할 수 있으므로 만기 전 모든 허용 시점과 상태에서 V ≥ g입니다

따라서 지급액은 만기조건일 뿐 아니라 가치곡면 아래 놓인 장애물이 됩니다

V > g인 곳에서는 즉시 행사가 최적이 아니므로 옵션이 계속 살아 있습니다

그 계속영역에서 확산모형은 배당이나 기간 현금흐름을 반영해 ∂_tV + LV - rV + f = 0을 줍니다

가격방정식은 계속을 선택한 곳에서만 성립하며 행사영역에 강제하면 정지권리를 무시하게 됩니다

한 가지 흔한 부호관행은 max(g-V, ∂_tV + LV - rV + f) = 0입니다

따라서 V-g ≥ 0이고 계속잔차는 호환되는 부호를 가지며 모든 점에서 적어도 한 조건이 등식이 됩니다

동치인 min 표현은 부호가 반대이므로 연산자와 부등식 관행을 함께 확인해야 합니다

V = g인 집합은 정지영역이고 V > g인 집합은 계속영역입니다

두 영역의 경계는 가치문제를 풀기 전 위치를 모르므로 자유경계라고 부릅니다

표준 미국형 풋에서는 보통 시간에 따른 임계 기초가격이지만 금리·배당·점프와 제약이 형태를 바꿀 수 있습니다

정칙한 경계에서 가치접합은 V = g를 주고 smooth fit은 1차 미분도 일치시킬 수 있습니다

Smooth fit은 추가 경로·정칙성 조건에서 나오며 점프·지급액 꺾임·불규칙 경계나 제약에서는 실패할 수 있습니다

매끄러운 접합을 최적행사의 보편적 정의가 아니라 선택한 모형에서 정당화할 정리로 다뤄야 합니다

유한차분 격자는 각 시간단계에서 선형 상보성 문제를 만듭니다

Projected SOR·벌점법·정책반복·경계고정과 회귀 정지규칙은 같은 선택문제의 서로 다른 근사를 풉니다

장애물 지배·잔차 상보성·경계 단조성·격자수렴과 실제 행사정책에서 얻는 하한을 검사하세요

무배당 주식의 미국형 콜은 표준 양의 금리 가정에서 보통 조기행사하지 않지만 예외조건이 중요합니다

배당·음의 금리·차입비용·이산 지급·결제규칙과 행사 마감시간은 익숙한 결론을 뒤집을 수 있습니다

실제 계약과 상태변수를 사용해야 하며 단순모형의 매끄러운 경계만으로 거래 가능한 행사규칙을 입증할 수 없습니다