Moments centraux des distributions symétriques

9

J'essaie de montrer que le moment central d'une distribution symétrique: est zéro pour les nombres impairs. Ainsi, par exemple, le troisième moment centralJ'ai commencé par essayer de montrer queJe ne sais pas où aller à partir d'ici, des suggestions? Y a-t-il une meilleure façon de prouver cela?E [ ( X - u ) 3 ] = 0 . E [ ( X - u ) 3 ] = E [ X 3 ] - 3 u E [ X 2 ] + 3 u 2 E [ X ] - u 3

fx(a+x)=fx(ax)
E[(Xu)3]=0.
E[(Xu)3]=E[X3]3uE[X2]+3u2E[X]u3.
user18262
la source
5
Astuce: pour simplifier, supposons que soit symétrique par rapport à . Vous pouvez ensuite montrer que en divisant l'intégrale entre et et en utilisant l'hypothèse de symétrie. Il vous suffit de montrer que pour . Cela peut être fait à nouveau en divisant l'intégrale et en utilisant un argument similaire. 0 E [ X ] = u = 0 ( - , 0 ) [ 0 , ) E [ X k ] = 0 k = 3 , 5 , 7 , 9 , . . .f0E[X]=u=0(,0)[0,)E[Xk]=0k=3,5,7,9,...
5
Mais, indice , soyez prudent avec la suggestion de @ Procrastinator (+1)! Sinon, vous pouvez "prouver" quelque chose de faux! Vous devez montrer que chaque pièce de l'intégrale divisée est finie. (Si l'un l'est, l'autre doit l'être aussi.)
Cardinal
1
Quelle est la difference entre et ? uau
Henry
2
@DilipSarwate Pourquoi ne capturez-vous pas toutes ces pensées dans une réponse au lieu de rechercher des détails dans les commentaires qui n'ont pas l'intention d'être des réponses complètes?
2
@Macro: Dommage, vraiment. Procrastinator rejoint maintenant une liste de plusieurs contributeurs très précieux (à mon avis) que nous avons apparemment perdu au cours des derniers mois (ou qui ont fortement réduit leur activité). Sur le plan positif, il est très agréable de voir votre récente augmentation de participation! J'espère que cela continuera.
cardinal

Réponses:

8

Cette réponse vise à faire une démonstration aussi élémentaire que possible, car de telles choses arrivent souvent à l'idée essentielle. Les seuls faits nécessaires (au-delà du type le plus simple de manipulations algébriques) sont la linéarité de l'intégration (ou, de manière équivalente, de l'attente), le changement de formule des variables pour les intégrales et le résultat axiomatique qu'un PDF intègre à l'unité.

Cette démonstration est l'intuition que lorsque est symétrique par rapport à , alors la contribution de toute quantité à l'attente aura le même poids que la quantité , car et sont sur les côtés opposés de et également éloignés de celui-ci. À condition, alors, que pour tout , tout s'annule et l'attente doit être nulle. La relation entre et est donc notre point de départ. a G ( x ) E X ( G ( X ) ) G ( 2 a - x ) x 2 a - x a G ( x ) = - G ( 2 afXaG(x)EX(G(X))G(2ax)x2axax x 2 a - xG(x)=G(2ax)xx2ax


Remarquez, en écrivant , que la symétrie peut tout aussi bien s'exprimer par la relationy=x+a

fX(y)=fX(2ay)

pour tous . Pour toute fonction mesurable , le changement de variable un à un de à change en , tout en inversant le sens de l'intégration, ce qui impliqueG xyGx2axdxdx

EX(G(X))=G(x)fX(x)dx=G(x)fX(2ax)dx=G(2ax)fX(x)dx.

En supposant que cette attente existe (c'est-à-dire que l'intégrale converge), la linéarité de l'intégrale implique

(G(x)G(2ax))fX(x)dx=0.

Considérons les moments impairs sur , qui sont définis comme les attentes de , . Dans ces casaGk,a(X)=(Xa)kk=1,3,5,

Gk,a(x)Gk,a(2ax)=(xa)k(2axa)k=(xa)k(ax)k=(1k(1)k)(xa)k=2(xa)k,

précisément parce que est impair. L'application du résultat précédent donnek

0=(Gk,a(x)Gk,a(2ax))fX(x)dx=2(xa)kfX(x)dx.

Parce que le côté droit est deux fois le ème moment autour de , la division par montre que ce moment est nul chaque fois qu'il existe.ka2

Enfin, la moyenne (en supposant qu'elle existe) est

μX=EX(X)=xfX(x)dx=(2ax)fX(x)dx.

Exploitant encore une fois la linéarité, et rappelant que parce que est une distribution de probabilité, nous pouvons réorganiser la dernière égalité à lirefX(x)dx=1fX

2μX=2xfX(x)dx=2afX(x)dx=2a×1=2a

avec la solution unique . Par conséquent, tous nos calculs précédents des moments autour de sont vraiment les moments centraux, QED.aμX=aa


Postword

La nécessité de diviser par en plusieurs endroits est liée au fait qu'il existe un groupe d'ordre agissant sur les fonctions mesurables (à savoir le groupe généré par la réflexion dans la ligne autour de ). Plus généralement, l'idée d'une symétrie peut être généralisée à l'action de tout groupe. La théorie des représentations de groupe implique que lorsque le personnage2 a22ade cette action sur une fonction n'est pas triviale, elle est orthogonale au caractère trivial, et cela signifie que l'attente de la fonction doit être nulle. Les relations d'orthogonalité impliquent l'addition (ou l'intégration) sur le groupe, d'où la taille du groupe apparaît constamment en dénominateurs: sa cardinalité quand il est fini ou son volume quand il est compact.

La beauté de cette généralisation devient apparente dans les applications à symétrie manifeste , comme dans les équations de mouvement mécaniques (ou mécaniques quantiques) des systèmes symétriques illustrés par une molécule de benzène (qui a un groupe de symétrie à 12 éléments). (L'application QM est la plus pertinente ici car elle calcule explicitement les attentes.) Les valeurs d'intérêt physique - qui impliquent généralement des intégrales multidimensionnelles de tenseurs - peuvent être calculées sans plus de travail que ce qui était impliqué ici, simplement en connaissant les caractères associés à la integrands. Par exemple, les "couleurs" de diverses molécules symétriques - leurs spectres à différentes longueurs d'onde - peuvent être déterminées ab initio avec cette approche.

whuber
la source
2
(+1) Dans la section commençant par "Considérez les moments étranges à propos d' ...", je crois que la troisième ligne devrait se lire . = ( 1 k - ( - 1 ) k ) ( x - a ) ka=(1k(1)k)(xa)k
supposé normal
1
@Max Yep: Merci d'avoir lu si attentivement! (C'est maintenant corrigé.)
whuber