MATHEMATIQUES B
Durée 3h30
L'usage d'une calculatrice est autorisé pour cette épreuve.
Si, au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur, il le signale sur sa copie et poursuit sa composition en expliquant les raisons des initiatives qu'il a été amené à prendre.
Les trois parties du problème sont indépendantes si, pour traiter la partie III, on admet le lemme II. 4.
Objectifs :
L'objectif du problème est l'étude de l'efficacité d'un traitement T destiné à éradiquer une population de cellules indésirables. Pour tester T on agit comme suit :
1) On prélève une cellule unique C
0 à laquelle on applique T, ce qui a pour effet de partager C
0 en un nombre naturel aléatoire D
1 de cellule(s) identique(s) à C
0 que l'on appelera enfant(s) de C
0 ou descendant(s) de première génération de C
0 lorsque D
1 > 0 ; si D
1 = 0 (ce que l'on souhaite), le traitement est terminé.
2) Lorsque C
0 a k enfants, avec k

1, on leur applique à chacun le traitement T et leur comportement sera le même que celui de C
0 et ceci indépendamment les uns des autres lorsque k > 1.
3) A l'issue de cette deuxième étape, on obtiendra un nombre naturel aléatoire D
2 de descendant(s) de deuxième génération. Si D
2 = 0 on s'arrête, sinon, on poursuit dans les mêmes conditions et, pour n

1, on notera D
n le nombre de descendants de n-ième génération tant que D
n > 0.
Remarque (*) : les cellules de (n+1)-ième génération de C
0 sont celles de n-ième génération des enfants de C
0.
Notations :

On notera conventionnellement D
0 = 1.

On notera p
k = P[D
1 = k], pour

. (p
k représente donc pour une cellule quelconque C la probabilité d'avoir k enfants, étant entendu qu'on utilisera la même variable aléatoire pour toutes les cellules sauf en cas d'ambigüité). On supposera bien entendu : 0 < p
0 < 1 et on aura

On notera

, u
n = P[D
n = 0]. Lorsque lim u
n = 1, c'est-à-dire lorsqu'avec la probabilité 1 la descendance de C
0 s'éteint au bout d'un nombre fini de générations on dira que T est efficace. On désignera par G le nombre aléatoire de générations de descendants de C
0. Ainsi :
si C
0 n'a pas d'enfant (D
1 = 0), alors G = 0 ;
si D
1 > 0 et D
2 = 0, alors G = 1 ;
si, d'une façon générale, pour un entier p

1, D
p - 1 > 0 et D
p = 0, alors G = p - 1.
On notera E(X) l'espérance d'une variable aléatoire réelle X. Pour deux événements A et B avec P(B) non nul, P[A|B] désignera la probabilité conditionnelle de A sachant B.
I. Un premier exemple
I. 1. La loi de D
1 est définie par p
0 > 0 et p
1 > 0 tels que p
0 + p
1 = 1.
I. 1. a) Calculer u
0 et u
1. Montrer que pour tout n

0, D
n ne peut prendre que les valeurs 0 et 1.
I. 1. b) Montrer que s'il existe n > 0 tel que D
n = 0, alors pour tout entier k

0 D
n+k = 0.
I. 2. a) Montrer que
![\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1} = 0] = \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=0]p_0 + \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=1]p_1](http://latex.ilemaths.net/latex-1.tex?\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1} = 0] = \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=0]p_0 + \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=1]p_1)
, puis, en utilisant la remarque (*) montrer que :
![\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=1] = u_n \text{ et que } u_{n+1} = p_0 + p_{1}u_n](http://latex.ilemaths.net/latex-1.tex?\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1}=0|\text{D}_{1}=1] = u_n \text{ et que } u_{n+1} = p_0 + p_{1}u_n)
.
I. 2. b) En posant v
n = 1 - u
n, montrer que u
n = 1 - (p
1)
n et en déduire lim u
n.
I. 2. c) Montrer que P[G > n] = 1 - u
n+1 = (p
1)
n+1 puis que P[G = n] = p
0(p
1)
n et enfin que E(G) = p
1/p
0.
II. Un deuxième exemple
II. 1. La loi de D
1 est définie par p
0, p
1, p
2 avec p
0 > 0, p
2 > 0 et p
0 + p
1 + p
2 = 1.
II. 1. a) Montrer que pour
![0 \leq k \leq 2 \, , \, \forall{n} \in \mathbb{N} \: : \: \text{P}[\text{D}_{n+1} = 0|D_1 = k] = (u_n)^k](http://latex.ilemaths.net/latex-1.tex?0 \leq k \leq 2 \, , \, \forall{n} \in \mathbb{N} \: : \: \text{P}[\text{D}_{n+1} = 0|D_1 = k] = (u_n)^k)
. On utilisera notamment la remarque (*). En déduire que :
![\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1} = 0] = \displaystyle \sum_{k=0}^{2} \text{P}[\text{D}_{n+1} = 0|_{1}=k] p_k = p_0 + p_{1}u_n +p_{2}u_{n}^{2}](http://latex.ilemaths.net/latex-1.tex?\forall{n} \in \mathbb{N} \, , \, \text{P}[\text{D}_{n+1} = 0] = \displaystyle \sum_{k=0}^{2} \text{P}[\text{D}_{n+1} = 0|_{1}=k] p_k = p_0 + p_{1}u_n +p_{2}u_{n}^{2})
.
II. 2. Soit

la fonction de [0 , 1] dans

définie par
II. 2. a) Vérifier que
 = 1 \, , \, f'(1) = 1 - p_0 + p_2)
.
II. 2. b) Représenter le graphe de

dans les trois cas suivants :
 < 1 \, , \, f'(1) = 1 \, , \, f'(1) > 1)
. (On choisira des valeurs simples de p
0, p
1, p
2 pour chaque cas).
II. 2. c) Vérifier par le calcul que
i) pour
 < 1)
, le graphe de

est au dessus de la première bissectrice
)
;
ii) pour
 = 1)
, le graphe de

est tangent à

au point I(1 , 1) ;
iii) pour
 > 1)
, le graphe de

recoupe

au point L(p
0/p
2 , p
0/p
2).
II. 2. d) Montrer que la suite de terme général u
n est strictement croissante et majorée par : min(p
0/p
2 ; 1).
II. 2. e) En déduire la limite de la suite de terme général u
n dans les différents cas envisagés.
Déterminer une condition nécessaire et suffisante pour que le traitement soit efficace (c'est-à-dire

).
II. 3. Examen des différents cas.
II. 3. a) Cas où
Démontrer que pour tout entier naturel n,
f'(1))
, puis que
![\forall n \in \mathbb{N} \, , \, 1 - u_n \leq (1 - u_0)[f'(1)]^n](http://latex.ilemaths.net/latex-1.tex?\forall n \in \mathbb{N} \, , \, 1 - u_n \leq (1 - u_0)[f'(1)]^n)
.
II. 3. b) On s'intéresse au cas où
 = 1)
.
Montrer que :
En déduire que :
puis que
II. 3. c) Montrer que
 = f'(1))
et que P[G > n] = 1 - u
n+1 = P[D
n+1 
0].
II. 4. Lemme : soit X une variable aléatoire à valeurs dans

ayant une espérance E(X).
II. 4. 1. Montrer que :
![\forall{N} \geq 1 \, , \, \displaystyle \sum_{k=1}^{N}k \text{P}[X = k] = \displaystyle \sum_{k=0}^{n-1} \text{P} [X > k] - NP[X > N]](http://latex.ilemaths.net/latex-1.tex?\forall{N} \geq 1 \, , \, \displaystyle \sum_{k=1}^{N}k \text{P}[X = k] = \displaystyle \sum_{k=0}^{n-1} \text{P} [X > k] - NP[X > N])
.
On pourra utiliser :
![\text{P}[X = k] = \text{P}[X > k - 1] - \text{P}[X > k]](http://latex.ilemaths.net/latex-1.tex?\text{P}[X = k] = \text{P}[X > k - 1] - \text{P}[X > k])
.
II. 4. 2. Montrer que pour tout
![\forall N \geq 1 \, , \, NP[X > N] \leq R_N](http://latex.ilemaths.net/latex-1.tex?\forall N \geq 1 \, , \, NP[X > N] \leq R_N)
où
![R_N = \displaystyle \sum_{k=N+1}^{+\infty} k \text{P}[X = k]](http://latex.ilemaths.net/latex-1.tex?R_N = \displaystyle \sum_{k=N+1}^{+\infty} k \text{P}[X = k])
est le reste de la série convergente
![\sum k\text{P}[X = k]](http://latex.ilemaths.net/latex-1.tex?\sum k\text{P}[X = k])
dont la somme est
![\displaystyle \sum_{k=0}^{+\infty} k\text{P}[X = k] = E(X)](http://latex.ilemaths.net/latex-1.tex?\displaystyle \sum_{k=0}^{+\infty} k\text{P}[X = k] = E(X))
.
II. 4. 3. En déduire que
![N\text{P}[X > N]](http://latex.ilemaths.net/latex-1.tex?N\text{P}[X > N])
tend vers 0 lorsque N tend vers l'infini, puis que
![E(X) = \displaystyle \sum_{N=0}^{+\infty} P[X > N]](http://latex.ilemaths.net/latex-1.tex?E(X) = \displaystyle \sum_{N=0}^{+\infty} P[X > N])
.
II. 5. Déduire de ce qui précède que :
- si
 < 1)
, alors
 = \displaystyle \sum_{n=1}^{+\infty}(1 - u_n) \leq \frac{f'(1)}{1 - f'(1)})
;
- si
 = 1)
, alors G n'a pas d'espérance (on utilisera le fait que la série de terme général

est divergente).
III. Etude du cas où D1 prend une infinité de valeurs
III. 1. Soit D
1 une variable aléatoire définie par : pour tout entier naturel k,
![\text{P}[\text{D}_1 = k] = pq^k](http://latex.ilemaths.net/latex-1.tex?\text{P}[\text{D}_1 = k] = pq^k)
, où

.
III. 1. a) Montrer que, pour tout entier naturel k,
![\text{P}[\text{D}_{n+1} = 0|\text{D}_1 = k] = (u_n)^k](http://latex.ilemaths.net/latex-1.tex?\text{P}[\text{D}_{n+1} = 0|\text{D}_1 = k] = (u_n)^k)
, puis que :
III. 1. b) Etudier la fonction g définie par :
![\text{g}(x) = \frac{p}{1 - qx} \, , \, x \in [0 \, , \,1]](http://latex.ilemaths.net/latex-1.tex?\text{g}(x) = \frac{p}{1 - qx} \, , \, x \in [0 \, , \,1])
et vérifier les propriétés suivantes de g : g > 0, g' > 0, g" > 0, g(1) = 1, et g'(1) = q/p.
III. 1. c) Montrer que dans

, l'équation
 = x)
admet les deux solutions 1 et p/q. En déduire que la limite éventuelle de u
n ne peut être que 1 ou p/q.
III. 1. d) Montrer que (u
n) est une suite croissante qui converge vers min(1 ; p/q).
III. 2. Expression de u
n en fonction de n.
III. 2. a) On suppose ici que p

q. On pose :

. Montrer que :
^{n+1})
,
puis que :
^n}{1 - \left(\frac{q}{p}\right)^{n+1}})
et retrouver ainsi le résultat de 1. d).
III. 2. b) On suppose que p = q = 1/2. Montrer que :

. On pose

.
Exprimer w
n+1 en fonction de w
n. En déduire que w
n = n + 1, puis que :

, et retrouver ainsi le résultat de 1. d).
III. 2. c) Calculer E(D
1), vérifier qu'elle est égale à g'(1) et montrer que T est efficace ssi E(D
1)

1.
III. 2. d) On suppose g'(1) < 1. Calculer 1 - u
n et montrer que :
![1 - u_n \leq \left(\frac{q}{p}\right)^n = \left[g'(1)\right]^n](http://latex.ilemaths.net/latex-1.tex?1 - u_n \leq \left(\frac{q}{p}\right)^n = \left[g'(1)\right]^n)
.
En déduire que :
III. 2. e) On suppose g'(1) = 1 (p = q). Montrer que

et en déduire que G n'a pas d'espérance.