Bonjour.
Etant donnée une variable aléatoire réelle absolument continue X sur un
espace probabilisé (Omega, A, P) de densité f_X, une application g:
lR->lR, et une nouvelle variable alétoire sur Omega notée Y=g(X), je
cherche à calculer la densité de Y que je note f_Y.
La méthode que je connais est la suivante :
On considère une application h: lR-> lR continue et bornée.
On part de E(h(Y)) :
E(h(Y)) = int_Omega h(g(X)) dP
= int_lR h(g(x)) dP_X(x) (par le th de la probabilité-image)
= int_lR h(g(x)) * f_X(x) dx
On fait un changement de variable y=g(x)
(éventuellement en séparant l'intégrale en plusieurs morceaux pour
qu'il n'y ait pas de problème au niveau des domaines)
et on obtient :
= int_lR h(y) * k(y) dy
(k(y) contient éventuellement une indicatrice de manière à ce que l'on
ait bien une intégrale sur lR).
La fonction k obtenue est la densité de Y=g(X).
La question que je me pose est :
Pourquoi k est-elle bien la densité de Y ?
Je suis bien d'accord que :
E(h(Y)) = int_lR h(y) * k(y) dy
et que E(h(Y)) = int_lR h(y) * f_Y(y) dy (par le th de la
probabilité-image).
Mais pourquoi peut-on en déduire que k = f_Y ?
Il existe pourtant bien des fonctions différentes dont les intégrales
sont égales.
Merci de votre aide.
Romain.
