Salut à tous,
ce topic date de plus de 6 mois mais il méritait d'être déterré !
En fait, c'est assez simple de montrer que la loi de 2 lois exponentielles indépendantes n'est pas une loi exponentielle :
Soient X ~ Exp(1/a), Y ~ Exp(1/b) et Z = X + Y, avec a,b différents de 0
alors E[X] = a et V[X] = a², E[Y] = b et V[Y] = b²
Si Z suit une loi exponentielle alors comme E[Z] = E[X] + E[Y] = a + b, on aurait alors Z ~ Exp( 1/(a+b) )
et donc V[Z] = (a + b)² or comme X et Y sont indépendants, on a V(Z) = a² + b²,
si Z suit bien une loi exponentielle, on aurait 2ab = 0 ce qui est absurde.
Pour ton problème Simaa, il y a la méthode directe et la méthode passant par la fonction de répartition que l'on doit dériver ensuite, je te donne les éléments pour la méthode directe :
Tu te donnes une fonctions h qui va bien, h borélienne bornée suffit (mais en pratique, on s'en fout),
le but est de trouver au final une fonction p(z) tel que :
E[h(X + Y)] = h(z)p(z)dz
alors forcément, p est la densité de Z.
On change les notations, X ~ Exp(a), Y ~ Exp(b) et Z = X + Y, avec a,b différents de 0
Donc tu as :
pr tt h boréliennes bornées,
E[h(X + Y)] = h(x + y)abe-axe-bydxdy (tout ça, par indépendance),
Ensuite, tu isoles une de 2 des variables, mettons x :
E[h(X + Y)] = abe-ax(h(x + y)e-bydy)dx
puis tu fais un changement de variables sur y, z = x + y, attention, dz = dy, tu regardes bien tes bornes pour z, puis en utilisant le théorême de Tonelli, tu inverses x et z et intègres en x.
Voilà, c'est à peu près tout.
++