Exemple d'une distribution discrète non négative où la moyenne (ou un autre moment) n'existe pas?

20

Je faisais du travail dans scipy et une conversation a eu lieu avec un membre du groupe de base scipy pour savoir si une variable aléatoire discrète non négative peut avoir un moment indéfini. Je pense qu'il a raison mais n'a pas de preuve à portée de main. Quelqu'un peut-il montrer / prouver cette affirmation? (ou si cette affirmation n'est pas vraie réfutée)

Je n'ai pas d'exemple à portée de main si la variable aléatoire discrète prend en charge mais il semble qu'une version discrétisée de la distribution de Cauchy devrait servir d'exemple pour obtenir un moment indéfini. La condition de non-négativité (peut-être y compris ) est ce qui semble rendre le problème difficile (au moins pour moi). 0Z0

Lucas Roberts
la source

Réponses:

15

Soit le CDF égal à aux entiers constants par morceaux partout ailleurs, et soumis à tous les critères pour être un CDF. L'attente estF11/nn=1,2,,

0(1F(x))dx=1/2+1/3+1/4+

qui diverge. En ce sens, le premier moment (et donc tous les moments supérieurs) est infini. (Voir les remarques à la fin pour plus de détails.)


Si vous n'êtes pas à l'aise avec cette notation, notez que pourn=1,2,3,,

PrF(n)=1n1n+1.

Ceci définit une distribution de probabilité puisque chaque terme est positif et

n=1PrF(n)=n=1(1n1n+1)=limn11n+1=1.

L'attente est

n=1nPrF(n)=n=1n(1n1n+1)=n=11n+1=1/2+1/3+1/4+

qui diverge.

Cette façon d'exprimer la réponse montre clairement que toutes les solutions sont obtenues par des séries aussi divergentes. En effet, si vous souhaitez que la distribution soit prise en charge sur un sous-ensemble des valeurs positives avec les probabilités sommant à l'unité, alors dans l'attente de diverger la série qui l'exprime, à savoirx1,x2,,xn,,p1,p2,

(an)=(xnpn),

doit avoir des sommes partielles divergentes.

Inversement, chaque série divergente de nombres non négatifs est associée à de nombreuses distributions positives discrètes ayant des attentes divergentes. (an) ( a n ) ( x n ) ( p n ) q n = 2 - n y n = 2 n a n n = 1 , 2 , . Ω y n Ω = { ω 1 , ω 2 , , ω i , } , Ω Par exemple, étant donné vous pouvez appliquer l'algorithme suivant pour déterminer les séquences et . Commencez par définir et pour Définissez comme l'ensemble de tous les qui surviennent de cette manière, indexez ses éléments comme et définissez une distribution de probabilité sur par(an)(xn)(pn)qn=2nyn=2nann=1,2,.ΩynΩ={ω1,ω2,,ωi,},Ω

Pr(ωi)=nyn=ωiqn.

Cela fonctionne parce que la somme des est égale à la somme des qui est et a au plus un nombre dénombrable d'éléments positifs.pnqn,1,Ω

A titre d'exemple, la série diverge évidemment. L'algorithme donne(an)=(1,1/2,1,1/2,)

y1=2a1=2; y2=22a2=2; y3=23a3=8;

Ainsi

Ω={2,8,32,128,,22n+1,}

est l'ensemble des puissances impaires positives de et2

p1=q1+q2=3/4; p2=q3+q4=3/16; p3=q5+q6=3/64;


À propos des moments infinis et inexistants

Lorsque toutes les valeurs sont positives, il n'y a pas de moment "indéfini": les moments existent tous, mais ils peuvent être infinis dans le sens d'une somme divergente (ou intégrale), comme le montre le début de cette réponse.

En général, tous les moments sont définis pour des variables aléatoires positives, car la somme ou l'intégrale qui les exprime converge absolument ou elle diverge (est «infinie»). Contrairement à cela, les moments peuvent devenir indéfinis pour les variables qui prennent des valeurs positives et négatives , car - par définition de l'intégrale de Lebesgue - le moment est la différence entre un moment de la partie positive et un moment de la valeur absolue de la partie négative. Si les deux sont infinis, la convergence n'est pas absolue et vous êtes confronté au problème de soustraire un infini d'un infini: cela n'existe pas.

whuber
la source
cet argument donne-t-il un exemple d'un moment infini ou d'un moment indéfini? Je cherche un moment indéfini. Peut-être y a-t-il une subtilité d'instants indéfinis versus infinis qui me manque pour bien comprendre votre réponse.
Lucas Roberts
2
Lorsque toutes les valeurs sont positives, il n'y a pas de moment "indéfini": les moments existent tous, mais ils peuvent être infinis.
whuber
4
Tous les moments sont définis pour des variables aléatoires positives. Certains peuvent être infinis, c'est tout. Les moments peuvent devenir indéfinis pour les variables qui prennent des valeurs positives et négatives, car - par définition de l'intégrale de Lebesgue - le moment est la différence entre un moment de la partie positive et un moment de la valeur absolue de la partie négative. Si les deux sont infinis, vous êtes confronté au problème de soustraire un infini d'un infini: cela n'existe pas.
whuber
1
"Tous les moments sont définis pour des variables aléatoires positives. Certains peuvent être infinis, c'est tout." Étant donné que le titre de la question concerne des moments inexistants , je pense qu'une grande partie de ce commentaire mérite d'être éditée dans la réponse!
Silverfish
1
Je suppose que j'aurais pu trouver la réponse enterrée dans ce post: stats.stackexchange.com/questions/243150/…
Lucas Roberts
39

Voici un exemple célèbre: Soit prend la valeur 2 k avec une probabilité 2 - k , pour chaque entier k 1 . Alors X prend des valeurs dans (un sous-ensemble de) les entiers positifs; la masse totale est k = 1 2 - k = 1 , mais son attente est E ( X ) = k = 1 2 k P ( X = 2 k ) = X2k2kk1Xk=12k=1 Cette variable aléatoireXapparaît dans leparadoxe de Saint-Pétersbourg.

E(X)=k=12kP(X=2k)=k=11=.
X
grand_chat
la source
6
+1 J'aime celui-ci pour ses liens historiques et philosophiques.
whuber
Résolution du paradoxe: si vous gagnez, vous êtes écrasé par les forces G.
Joshua
8
  1. 1<θ2

    P(X=x|θ)=1ζ(θ)xθ,x=1,2,...,θ>1

    ζ()

    θ=2

    Une autre distribution avec un comportement de queue similaire est la distribution de Yule-Simon .

  2. 0<α1

    P(X=x|α,β,r)=Γ(r+x)x!Γ(r)B(α+r,β+x)B(α,β),x=0,1,2...α,β,r>0

Glen_b -Reinstate Monica
la source
0

une version discrétisée de la distribution de Cauchy

p(n)nn(n1,n][n,n+1)[n.5,n+.5)p(n)=6(nπ)26nπ2

p(n)ccp(n)kkp(n)

Accumulation
la source