Формула Дынкина для стохастических процессов: объяснение

Для однородного во времени марковского процесса 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 является локальным мартингалом при подходящих условиях области генератора

Обоснованное взятие ожидания удаляет мартингальное приращение и дает формулу Дынкина

Для диффузии Ито применение формулы Ито определяет L через дрейф и ковариацию, поэтому два результата дополняют, а не заменяют друг друга

Дисконтированную функцию стоимости строят так, чтобы при ценовой мере ее предсказуемая прибыль была нулевой при выполнении условий модели и требования

Применение формулы Дынкина к этой стоимости делает соответствующий остаток генератора нулевым в области продолжения

Так можно перейти от риск-нейтральных ожиданий к обратным уравнениям оценки, а от остановленных ожиданий — к краевым задачам

Выбор f(x) = x, x² или другого многочлена может вывести уравнения для моментов, если возникающие члены генератора замыкаются

Функция Ляпунова может вместо этого ограничить вероятности выхода, ожидаемые времена остановки или долгосрочную устойчивость

Формула не выбирает f за вас; смысл появляется при выборе функции, чей генератор выявляет интересующую величину

Неограниченные функции, взрывающиеся процессы, нерегулярные границы и бесконечные моменты остановки могут сделать невалидным небрежный переход к ожиданию

Для скачковых процессов генератор содержит интегральный член, а нестационарные модели добавляют производную по времени или расширенное состояние

До использования тождества как численного сокращения укажите процесс, область генератора, правило остановки и условия интегрируемости