
•limt→−∞ F(t) = 0 et limt→+∞F(t) = 1.
•Fest continue en tout point.
Sauf aux points `a probl`emes de p,Fest d´erivable et F′(t) = p(t).
MORALIT´
E : ON D´
ERIVE LA FONCTION DE R´
EPARTITION,
MAIS ON INT`
EGRE LA DENSIT´
E DE PROBABILIT´
E.
7. M´ethode des fonctions de r´epartition
Soient une fonction num´erique φet une variable al´eatoire Xqui poss`ede une densit´e de
probabilit´e p. On d´efinit la variable al´eatoire Y=φ(X).
On veut savoir si Yposs`ede une densit´e de probabilit´e et la calculer le cas ´ech´eant.
Ce probl`eme g´en´eral d´epasse largement le niveau de ce cours. De plus, mˆeme si Yposs`ede
une densit´e de probabilit´e, il n’y a pas de formule simple pour la trouver. Nous allons nous
contenter d’exposer une m´ethode, qui repose sur l’utilisation des fonctions de r´epartition.
Elle permet de traiter un certain nombre d’exemples simples.
Premier exemple. Supposons que φest une fonction affine x−→ ux +v,uet v´etant
deux constantes r´eelles.
Proposition 7.1. a) si u > 0,Y=uX +vposs`ede la densit´e de probabilit´e qtelle que
x−→ q(t) = 1
upt−v
u.
b) si u < 0,Y=uX +vposs`ede la densit´e de probabilit´e qtelle que
x−→ q(t) = −1
upt−v
u.
c) si u= 0,Y=vvariable al´eatoire constante ne poss`ede pas de densit´e de proba-
bilit´e. Si c’´etait le cas, d’apr`es le corollaire 4.1 avec a=b=von aurait la contradiction
IP(Y=v) = 0 = 1.
Preuve du a)
Soit Gla fonction de r´epartition de Y: par d´efinition, pour tout nombre r´eel G(x) =
IP(Y≤x) = IP(uX +v≤x).
En raisonnant sur les valeurs num´eriques des variables al´eatoires, on trouve que uX +v≤x
´equivaut `a X≤x−v
u.
Donc G(x) = IP(X≤x−v
u). Posons z=1
u(x−v).
Par d´efinition de la fonction de r´epartition Fde X, on a F(z) = IP(X≤z) en appelant z
la variable muette. Finalement IP(Y≤x) = G(x) = F(1
u(x−v)).
On sait qu’en dehors d’un nombre fini de points `a probl`eme, la fonction Fest d´erivable de
d´eriv´ee p.
On d´erive la compos´ee Gdes fonctions x−→ z=1
u(x−v) et de z−→ F(z).
39