La formule de Dynkin pour les processus stochastiques expliquée
Découvrez comment la formule de Dynkin relie les générateurs de Markov, la variation attendue, les temps d'arrêt, les martingales, les équations de valorisation et le calcul des moments
Réponse directe
La formule de Dynkin égalise la variation attendue d'une fonction appropriée d'un processus de Markov et l'intégrale temporelle attendue de son générateur. Pour des temps d'arrêt valides, elle transforme une dynamique locale en identités sur un horizon fini
Le générateur mesure le mouvement attendu local
Pour un processus de Markov homogène dans le temps X, le générateur L s'applique à une fonction test f, et non directement à une trajectoire réalisée
Formellement, Lf(x) est la limite à court terme de E_x[f(X_h)] moins f(x), divisée par h
Son domaine compte : les conditions de limite, de régularité et d'intégrabilité requises dépendent du processus et de la version du théorème
L'identité de Dynkin cumule le générateur
Pour un t déterministe, une forme élémentaire est E_x[f(X_t)] = f(x) + E_x[∫₀ᵗ Lf(X_s) ds]
Le membre de gauche est une espérance sur un horizon fini, tandis que le membre de droite ajoute à la valeur initiale la variation locale attendue accumulée
Il s'agit d'un analogue stochastique de l'intégration d'une dérivée, mais L inclut la dérive, la diffusion et éventuellement les effets de sauts
Les temps d'arrêt rendent la formule plus puissante
Sous des conditions appropriées, t peut être remplacé par un temps d'arrêt τ, comme la première sortie d'une région
Les événements de frontière et les questions de temps d'atteinte deviennent alors des identités d'espérance faisant intervenir le générateur avant τ
L'échantillonnage optionnel n'est pas automatique : une bornitude, une localisation, une intégrabilité uniforme ou d'autres hypothèses doivent justifier l'espérance arrêtée
La forme martingale révèle le mécanisme
Le processus M_t = f(X_t) - f(X_0) - ∫₀ᵗ Lf(X_s) ds est une martingale locale sous les conditions de domaine appropriées
Prendre des espérances justifiées élimine l'incrément de martingale et produit la formule de Dynkin
Pour une diffusion d'Itô, l'application de la formule d'Itô identifie L à partir de la dérive et de la covariance, de sorte que les deux résultats s'emboîtent au lieu de se concurrencer
Les équations de valorisation émergent d'une dérive attendue nulle
Une fonction de valeur actualisée est conçue pour n'avoir aucun gain prévisible sous une mesure de valorisation lorsque le modèle et les conditions sur le payoff sont satisfaits
Appliquer la formule de Dynkin à cette valeur annule le résidu du générateur pertinent dans la région de continuation
Il s'agit d'une voie allant des espérances risque-neutres aux équations de valorisation rétrogrades, et des espérances arrêtées aux problèmes aux limites
Les fonctions test donnent accès aux moments et aux bornes
Choisir f(x) = x, x² ou un autre polynôme peut donner des équations pour les moments lorsque les termes du générateur qui en résultent se referment
Choisir une fonction de Lyapunov peut plutôt borner les probabilités de sortie, les temps d'arrêt attendus ou la stabilité de long terme
La formule ne choisit pas f à votre place ; l'intuition vient de la sélection d'une fonction dont le générateur expose la quantité d'intérêt
Les conditions empêchent un calcul seulement formel
Des fonctions non bornées, des processus explosifs, des frontières irrégulières et des temps d'arrêt infinis peuvent invalider une étape d'espérance faite machinalement
Les processus à sauts utilisent un générateur avec un terme intégral, tandis que les modèles inhomogènes dans le temps ajoutent une dérivée temporelle ou un état augmenté
Indiquez le processus, le domaine du générateur, la règle d'arrêt et les conditions d'intégrabilité avant de traiter l'identité comme un raccourci numérique
Questions fréquentes
Qu'est-ce que la formule de Dynkin en termes simples ?
Elle dit que la variation totale attendue égale l'accumulation attendue du générateur du processus, en partant de la valeur actuelle de la fonction
Quel est le lien entre la formule de Dynkin et la formule d'Itô ?
La formule d'Itô donne une décomposition stochastique trajectorielle pour les diffusions ; prendre des espérances justifiées donne l'identité de Dynkin correspondante
La formule de Dynkin peut-elle utiliser un temps d'arrêt ?
Oui, lorsque le processus arrêté et la fonction test satisfont les conditions qui rendent valide l'espérance de la martingale locale pertinente
Pourquoi la formule de Dynkin est-elle importante en finance ?
Elle relie les espérances risque-neutres aux générateurs, aux EDP de valorisation, aux payoffs de sortie, aux équations de moments et à l'analyse de l'arrêt optimal