확률과정의 Dynkin 공식 이해하기

시간동차 마르코프 과정 X에서 생성원 L은 실현된 경로 자체가 아니라 시험함수 f에 작용합니다

형식적으로 Lf(x)는 E_x[f(X_h)]에서 f(x)를 뺀 뒤 h로 나눈 값의 단시간 극한입니다

이 극한이 존재하는 함수의 범위와 필요한 매끄러움·적분가능성은 과정과 정리의 형태에 따라 달라집니다

결정적 시각 t에 대한 기본형은 E_x[f(X_t)] = f(x) + E_x[∫₀ᵗ Lf(X_s) ds]입니다

왼쪽은 유한 시점의 기대값이고 오른쪽은 초기값에 국소 기대 변화를 시간에 따라 쌓은 값입니다

미분값을 적분하는 고전적 관계와 닮았지만 L에는 드리프트와 확산, 필요하면 점프 효과까지 들어갑니다

적절한 조건 아래 t를 어떤 영역에서 처음 이탈하는 시각 같은 정지시간 τ로 바꿀 수 있습니다

그러면 경계 도달과 최초통과 문제를 τ 이전 생성원의 누적값에 관한 기대 항등식으로 바꿀 수 있습니다

선택정지는 자동이 아니므로 유계성, 국소화, 균등적분가능성 등 멈춘 기대값을 정당화할 조건이 필요합니다

적절한 정의역에서 M_t = f(X_t) - f(X_0) - ∫₀ᵗ Lf(X_s) ds는 국소 마팅게일입니다

필요한 조건을 확인한 뒤 기대값을 취하면 마팅게일 증가분이 사라져 Dynkin 공식이 나옵니다

Itô 확산에서는 Itô 공식이 드리프트와 공분산으로 L을 식별하므로 두 공식은 경쟁 관계가 아니라 서로 맞물립니다

가격결정 측도 아래 할인된 가치함수는 모델과 청구권 조건이 맞을 때 예측 가능한 이익이 없도록 구성됩니다

그 가치에 Dynkin 공식을 적용하면 계속 보유하는 영역에서 관련 생성원 잔차가 0이 됩니다

이는 위험중립 기대값에서 후방 가격결정 방정식을 얻고, 정지된 기대값에서 경계값 문제로 가는 한 경로입니다

f(x) = x나 x² 같은 다항식을 고르면 생성원 항이 닫히는 경우 적률에 대한 방정식을 만들 수 있습니다

Lyapunov 함수를 고르면 이탈확률, 기대 정지시간 또는 장기 안정성에 대한 경계를 구할 수 있습니다

공식이 f를 대신 선택해 주지는 않으며, 관심량을 생성원에 드러내는 함수 선택이 분석의 핵심입니다

비유계 함수, 폭발 가능한 과정, 불규칙한 경계와 무한 정지시간은 무심코 기대값을 취하는 단계를 무효로 만들 수 있습니다

점프 과정의 생성원에는 적분항이 들어가고, 비시간동차 모형에는 시간미분이나 확장 상태가 더해집니다

수치 지름길로 사용하기 전에 과정, 생성원 정의역, 정지 규칙과 적분가능성 조건을 먼저 명시해야 합니다