Théorèmes de convergence des martingales

Les théorèmes de convergence de Doob montrent qu'une martingale qui ne fluctue pas de manière excessive tend à converger presque sûrement vers une limite, ce qui constitue une approche puissante et très générale pour prouver la convergence de séquences aléatoires.

Definition

Les théorèmes de convergence des martingales sont les résultats qui énoncent qu'une martingale bornée en moyenne première converge presque sûrement, et que sous l'hypothèse d'intégrabilité uniforme, elle converge en moyenne première et est égale aux espérances conditionnelles de sa limite.

Scope

Ce sujet aborde l'inégalité de surcroisement de Doob et le théorème de convergence presque sûre des martingales pour les processus bornés en moyenne première, le rôle de l'intégrabilité uniforme pour passer à la convergence en moyenne première et pour la clôture d'une martingale par sa limite, la convergence en moyenne d'ordre p pour p supérieur à un, ainsi que les théorèmes de convergence ascendante et descendante de Lévy avec la loi du zéro-un comme corollaire.

Core questions

• Pourquoi le fait d'être bornée en moyenne première contraint-il une martingale à converger presque sûrement ?
• Quelle condition supplémentaire assure la convergence en moyenne et une variable limite de clôture ?
• Comment le théorème de Lévy décrit-il la limite des espérances conditionnelles le long d'une filtration ?
• Comment ces théorèmes produisent-ils des lois du zéro-un et d'autres résultats de convergence ?

Key concepts

• inégalité de surcroisement
• convergence presque sûre
• intégrabilité uniforme
• martingale fermée
• loi du zéro-un de Lévy

Key theories

Théorème de convergence des martingales de Doob

Une martingale dont les premiers moments absolus sont bornés converge presque sûrement vers une limite finie, démontré par l'inégalité de surcroisement qui limite la fréquence à laquelle le processus peut traverser un intervalle donné, assurant la convergence sous des hypothèses minimales.

Intégrabilité uniforme et convergence en moyenne

Une martingale uniformément intégrable converge à la fois presque sûrement et en moyenne première et est fermée par sa limite, ce qui signifie que chaque terme est l'espérance conditionnelle de cette limite étant donné l'information correspondante, ce qui caractérise les martingales bien comportées.

Théorèmes ascendant et descendant de Lévy

Les espérances conditionnelles d'une variable intégrable fixe, étant donné une famille croissante ou décroissante de sigma-algèbres, convergent presque sûrement et en moyenne vers l'espérance conditionnelle étant donné la sigma-algèbre limite, avec la loi du zéro-un de Kolmogorov comme cas particulier.

Clinical relevance

La convergence des martingales est à la base de la cohérence des probabilités a posteriori bayésiennes à mesure que les données s'accumulent, de la convergence presque sûre des algorithmes d'approximation stochastique et d'apprentissage en ligne, de la loi forte des grands nombres via les martingales inversées, et de la convergence des rapports de vraisemblance qui régit les tests séquentiels et la sélection de modèles.

History

Doob a démontré le théorème de convergence presque sûre et introduit l'argument de surcroisement dans les années 1940, et Lévy avait auparavant établi la convergence des espérances conditionnelles le long d'une filtration ; ensemble, ces travaux sont devenus l'épine dorsale de la convergence de la théorie des martingales telle que présentée dans les ouvrages modernes.

Key figures

• Joseph L. Doob
• Paul Levy
• David Williams

Seminal works

• williams1991

Frequently asked questions

La convergence presque sûre d'une martingale implique-t-elle la convergence de ses moyennes ?

Non, pas intrinsèquement ; la convergence presque sûre découle du fait d'être bornée en moyenne première, mais la convergence des espérances et la propriété de clôture exigent la condition plus forte d'intégrabilité uniforme.

Qu'est-ce que l'inégalité de surcroisement ?

Elle borne le nombre attendu de fois qu'une martingale traverse vers le haut un intervalle fixe en fonction de sa taille actuelle ; étant donné qu'une séquence bornée non convergente devrait osciller indéfiniment à travers un certain intervalle, cette borne contraint la convergence presque sûre.