Exemple de CLT lorsque les moments n'existent pas

9

SoitXn={1w.p. (12n)/21w.p. (12n)/22kw.p. 2k for k>n

Je dois montrer que même si cela a des moments infinis,

n(X¯n)dN(0,1)

J'ai essayé de le montrer en utilisant le théorème de continuité de Levy, c'est-à-dire que j'ai essayé de montrer que la fonction caractéristique du côté gauche converge vers la fonction caractéristique de la normale standard. Cependant, cela semblait impossible à montrer.

Un conseil fourni pour ce problème était de tronquer chaque , c'est-à-dire de laisser et d'utiliser la condition de Lindeberg pour montrer que .XiYni=XiI{Xin}nY¯ndN(0,1)

Cependant, je n'ai pas pu démontrer que la condition de Lyapunov est remplie. C'est principalement parce que ne se comporte pas comme je le souhaiterais. Je voudrais que ne prenne que les valeurs -1 et 1, cependant, de la façon dont il est construit, il peut prendre les valeursYniYni1,1,2i+1,2i+2,,2log2n

Greenparker
la source
1
Si vous tronquez à , vérifiez soigneusement le dernier paragraphe pour les valeurs que la variable tronquée peut prendre. Dans tous les cas, essayez plutôt de tronquer à , utilisez Borel-Cantelli puis Slutsky pour obtenir le résultat. Vous devriez pouvoir utiliser Lindeberg ou Lyapunov sur la pièce tronquée (même si je n'ai pas vraiment vérifié cela). n1
Cardinal
Désolé pour ça. Changé en moments "infinis"
Greenparker
@cardinal Je suis passé en revue les valeurs possibles que peut reprendre et j'ai ajouté un plancher au terme du journal. Sinon, les valeurs semblent correctes. Si je tronque à 1, j'obtiendrai les valeurs que je veux pour et pourra appliquer la condition de Lindeberg pour obtenir la convergence vers la normale. Cependant, je ne vois pas comment cela impliquera une convergence vers la normale pour leYniYninX¯n
Greenparker
2
Qu'est-ce que " "? Vous n'avez pas décrit de contexte dans lequel il existe des échantillons ou plusieurs instances de chaque , d'où - étant donné ce qui est indiqué dans la question - la seule lecture possible de cette notation est qu'elle se réfère à la moyenne de , qui est toujours infini et est un nombre, pas une distribution. Nous devons donc imaginer que vous envisagez iid des échantillons de , mais vous devez nous le dire et vous devez en particulier préciser quelles sont les tailles des échantillons. X¯nXnXnXn
whuber

Réponses:

4

Voici une réponse basée sur le commentaire de @ cardinal:

Soit l'espace échantillon celui des chemins des processus stochastiques et , où nous laissons . La condition de Lindeberg (conforme à la notation de Wikipedia ) est satisfaite, pour: pour tout as chaque fois que(Xi)i=0(Yi)i=0Yi=Xi1{Xi1}

1sn2i=0nE(Yi21{|Yi|>ϵsn2})1sn2i=0nP(|Yi|>ϵsn2)0,
ϵsn2n.

Nous avons aussi que par Borel-Cantelli puisque sorte que . , et ne diffèrent que très souvent et presque sûrement.P(XiYi,i.o.)=0P(XiYi)=2ii=0P(XiYi)=2<XiYi

Définissez et de manière équivalente pour . Choisissez un exemple de chemin de tel que uniquement pour un nombre fini de . Indexez ces termes par . Exige également de ce chemin que les soient finis. Pour un tel chemin, où . De plus, pour suffisamment grand , SX,n=i=0nXiSY,n(Xi)i=1Xi>1iJXj,jJSJ:=ΣjJXjnSX,n-SY,n=SJ.

SJn0, as n
SJ:=jJXjn
SX,nSY,n=SJ.

En utilisant le résultat de Borel-Cantelli avec le fait que est presque sûrement fini, nous voyons que la probabilité d'un chemin d'échantillon obéissant à nos exigences est une. En d'autres termes, les termes différents vont à zéro presque sûrement. Nous avons donc par le théorème de Slutsky que pour assez grand , où . n 1XinξN(0,1)

1nSX,n=SY,n+SJndξ+0,
ξN(0,1)
ekvall
la source