Théorème d'arrêt optionnel

Le théorème d'arrêt optionnel stipule que, sous des conditions excluant une attente illimitée, l'arrêt d'un jeu équitable à un instant aléatoire astucieusement choisi ne peut modifier sa valeur attendue.

Definition

Le théorème d'arrêt optionnel affirme que pour une martingale et un temps d'arrêt satisfaisant des conditions d'intégrabilité ou de bornitude appropriées, la valeur attendue de la martingale au temps d'arrêt est égale à sa valeur attendue initiale, de sorte qu'une martingale arrêtée reste une martingale.

Scope

Ce sujet aborde les temps d'arrêt et le processus arrêté, l'énoncé du théorème d'arrêt optionnel et ses hypothèses telles que les temps d'arrêt bornés, les martingales bornées ou l'intégrabilité uniforme, des contre-exemples comme la stratégie de la martingale (doubling strategy) qui illustrent la nécessité des hypothèses, et les applications à la ruine du joueur, aux probabilités d'atteinte des marches aléatoires, et aux identités de Wald.

Core questions

• Qu'est-ce qu'un temps d'arrêt et que signifie arrêter un processus à un tel instant ?
• Dans quelles conditions l'arrêt optionnel préserve-t-il l'espérance ?
• Pourquoi certaines stratégies d'arrêt semblent-elles vaincre un jeu équitable, et quelle hypothèse est alors violée ?
• Comment le théorème permet-il d'obtenir les probabilités d'atteinte et les temps d'atteinte espérés ?

Key theories

Arrêt optionnel sous conditions suffisantes

Si un temps d'arrêt est borné, ou si la martingale est bornée, ou si la famille des valeurs arrêtées est uniformément intégrable, alors l'espérance de la martingale au temps d'arrêt est égale à sa valeur initiale, préservant ainsi la propriété de jeu équitable.

Identités de Wald et problèmes de ruine

L'application de l'arrêt optionnel à la martingale de marche aléatoire produit les première et deuxième identités de Wald, reliant la somme arrêtée au temps d'arrêt et fournissant des probabilités explicites de ruine du joueur ainsi que des durées attendues.

Clinical relevance

L'arrêt optionnel est la raison rigoureuse pour laquelle aucun système de pari ne peut vaincre un jeu équitable ; il permet des dérivations claires des probabilités de ruine et d'atteinte pour les marches aléatoires, et en statistique séquentielle, il contrôle l'erreur des tests qui s'arrêtent de manière adaptative à mesure que les données arrivent.

History

Doob a formulé l'échantillonnage optionnel dans les années 1940 et 1950, généralisant les identités d'analyse séquentielle de Wald des années 1940, et le théorème, avec ses hypothèses rigoureuses, illustré par l'échec de la stratégie de la martingale (doubling strategy), est devenu une pierre angulaire de la théorie des martingales appliquée et de la finance mathématique.

Key figures

• Joseph Doob
• Abraham Wald
• David Williams

Seminal works

• doob1953

Frequently asked questions

Une règle d'arrêt astucieuse peut-elle vaincre un jeu équitable ?

Non, à condition que les conditions du théorème d'arrêt optionnel soient remplies ; les stratégies qui semblent gagnantes, comme le doublement des mises, nécessitent un capital illimité ou un temps attendu infini, ce qui viole les hypothèses du théorème.

Qu'est-ce qu'un temps d'arrêt ?

C'est un instant aléatoire dont la survenue peut être décidée en utilisant uniquement les informations disponibles jusqu'à ce moment, sans anticiper l'avenir, comme le premier instant où un processus atteint un niveau donné.