Temps d'arrêt et arrêt facultatif

Un temps d'arrêt est un instant aléatoire dont l'arrivée est reconnaissable à partir des informations disponibles jusqu'à présent, et le théorème d'arrêt facultatif stipule qu'un jeu équitable arrêté à un tel instant reste équitable, un principe d'une portée surprenante.

Definition

Un temps d'arrêt est un instant aléatoire auquel la décision d'arrêter dépend uniquement des informations disponibles jusqu'à cet instant, et le théorème d'arrêt facultatif énonce que, sous des conditions appropriées, l'espérance d'une martingale évaluée à un temps d'arrêt est égale à son espérance initiale.

Scope

Ce sujet couvre la définition d'un temps d'arrêt par rapport à une filtration et à la tribu des événements connus à un temps d'arrêt, le processus arrêté, les théorèmes d'arrêt facultatif et d'échantillonnage facultatif avec les conditions d'intégrabilité et de bornitude qu'ils exigent, les identités de Wald pour les sommes arrêtées à un instant aléatoire, et les applications à la ruine du joueur, aux probabilités d'atteinte et aux temps d'atteinte espérés.

Core questions

• Qu'est-ce qui fait qu'un instant aléatoire est un temps d'arrêt, et pourquoi cette distinction est-elle importante ?
• Sous quelles conditions l'arrêt d'une martingale préserve-t-il son espérance ?
• Pourquoi le théorème d'arrêt facultatif peut-il échouer sans hypothèses d'intégrabilité ou de bornitude ?
• Comment les temps d'arrêt permettent-ils d'obtenir les probabilités d'atteinte et les durées espérées ?

Key concepts

• temps d'arrêt
• processus arrêté
• échantillonnage facultatif
• identités de Wald
• ruine du joueur

Key theories

Théorème d'arrêt facultatif

Si un temps d'arrêt est borné, ou si la martingale arrêtée est uniformément intégrable, ou si le temps a une espérance finie avec des accroissements bornés, alors l'espérance de la martingale au temps d'arrêt est égale à sa valeur initiale, ce qui est le sens précis dans lequel un jeu équitable ne peut être exploité par des règles d'arrêt astucieuses.

Identités de Wald

Pour une somme de variables indépendantes et identiquement distribuées arrêtée à un temps d'arrêt d'espérance finie, l'espérance de la somme est égale à la moyenne multipliée par l'espérance du temps d'arrêt, et une identité correspondante est valable pour la variance, résultats obtenus par l'arrêt facultatif de martingales.

Clinical relevance

L'arrêt facultatif constitue le moteur analytique pour le calcul des probabilités de ruine et des durées de jeu espérées dans les jeux de hasard et l'assurance, pour les probabilités d'erreur et les tailles d'échantillon espérées du test séquentiel du rapport de vraisemblance de Wald, et pour les calculs de premier passage dans les files d'attente, la fiabilité et la tarification des options financières de type américain.

History

Doob a formulé les théorèmes d'échantillonnage facultatif pour les martingales, et Wald, travaillant sur l'analyse séquentielle dans les années 1940, a dérivé les identités pour les sommes arrêtées aléatoirement que le cadre des martingales a ensuite unifiées et expliquées.

Key figures

• Joseph L. Doob
• Abraham Wald
• David Williams

Seminal works

• williams1991

Frequently asked questions

Pourquoi un temps d'arrêt doit-il être reconnaissable à partir des informations passées ?

Si l'on pouvait s'arrêter en se basant sur le futur, on pourrait quitter un jeu équitable précisément aux moments favorables et gagner systématiquement ; l'exigence que la décision d'arrêt n'utilise que les informations disponibles jusqu'au présent est précisément ce qui garantit l'intégrité de l'arrêt facultatif.

Quand le théorème d'arrêt facultatif échoue-t-il ?

Il peut échouer lorsque le temps d'arrêt est non borné et que la martingale n'est pas uniformément intégrable, comme dans une marche aléatoire simple non restreinte où l'arrêt à la première visite à un niveau positif donne une espérance différente de celle du début.