Giải thích công thức Dynkin cho các quá trình ngẫu nhiên

Đối với một quá trình Markov thuần nhất theo thời gian X, toán tử sinh L tác động lên một hàm kiểm tra f, không trực tiếp lên một đường đi đã thực hiện

Về hình thức, Lf(x) là giới hạn ngắn hạn của E_x[f(X_h)] trừ f(x), chia cho h

Miền của nó rất quan trọng: giới hạn, độ trơn và tính khả tích cần thiết phụ thuộc vào quá trình và phiên bản của định lý

Với t tất định, một dạng cơ bản là E_x[f(X_t)] = f(x) + E_x[∫₀ᵗ Lf(X_s) ds]

Vế trái là một kỳ vọng trên chân trời hữu hạn, còn vế phải cộng giá trị ban đầu với thay đổi kỳ vọng cục bộ đã tích lũy

Đây là đối ngẫu ngẫu nhiên của việc tích phân một đạo hàm, nhưng L bao gồm drift, khuếch tán và có thể cả các ảnh hưởng từ bước nhảy

Trong những điều kiện phù hợp, t có thể được thay bằng một thời điểm dừng τ, chẳng hạn thời điểm đầu tiên thoát khỏi một miền

Khi đó, các sự kiện biên và câu hỏi về thời điểm chạm trở thành các đồng nhất thức kỳ vọng có liên quan đến toán tử sinh trước τ

Lấy mẫu tùy chọn không tự động hợp lệ: tính bị chặn, định vị, tính khả tích đều hoặc các giả thuyết khác phải biện minh cho kỳ vọng sau khi dừng

Quá trình M_t = f(X_t) - f(X_0) - ∫₀ᵗ Lf(X_s) ds là một local martingale dưới các điều kiện miền thích hợp

Khi lấy kỳ vọng có biện minh, số gia martingale bị loại bỏ và tạo ra công thức Dynkin

Đối với một khuếch tán Itô, áp dụng công thức Itô xác định L từ drift và hiệp phương sai, vì vậy hai kết quả bổ trợ cho nhau thay vì cạnh tranh

Một hàm giá trị chiết khấu được thiết kế để không có khoản tăng có thể dự đoán dưới một độ đo định giá khi mô hình và điều kiện claim phù hợp

Áp dụng công thức Dynkin cho giá trị đó làm cho phần dư của toán tử sinh liên quan triệt tiêu trong miền tiếp diễn

Đây là một con đường từ kỳ vọng trung hòa rủi ro đến các phương trình định giá ngược, và từ kỳ vọng bị dừng đến các bài toán giá trị biên

Chọn f(x) = x, x² hoặc một đa thức khác có thể suy ra các phương trình cho moment khi các số hạng toán tử sinh tương ứng đóng kín

Chọn một hàm Lyapunov thay vào đó có thể chặn xác suất thoát, thời gian dừng kỳ vọng hoặc tính ổn định dài hạn

Công thức không tự chọn f cho bạn; insight đến từ việc chọn một hàm mà toán tử sinh của nó làm lộ đại lượng quan tâm

Các hàm không bị chặn, quá trình bùng nổ, biên không đều và thời điểm dừng vô hạn có thể làm mất hiệu lực một bước lấy kỳ vọng tùy tiện

Quá trình bước nhảy dùng toán tử sinh có một số hạng tích phân, trong khi mô hình không thuần nhất theo thời gian thêm một đạo hàm theo thời gian hoặc một trạng thái mở rộng

Hãy nêu quá trình, miền toán tử sinh, quy tắc dừng và các điều kiện khả tích trước khi coi đồng nhất thức là một lối tắt số học