La présentation, la lisibilité, l'orthographe, la qualité de la rédaction, la clarté et la précision des raisonnements entreront pour une part importante dans l'appréciation des copies.
Les candidats sont invités à encadrer dans la mesure du possible les résultats de leurs calculs.
Aucun document n'est autorisé. L'utilisation de toute calculatrice et de tout matériel électronique est interdite. Seule l'utilisation d'une règle graduée est autorisée.
Si au cours de l'épreuve, un candidat repère ce qui lui semble être une erreur d'énoncé, il la signalera sur sa copie et poursuivra sa composition en expliquant les raisons des initiatives qu'il sera amené à prendre.
Dans ce problème, on s'intéresse à un modèle, inspiré du modèle de Cori, de propagation d'un virus au sein d'une population.
La partie 1 introduit des outils théoriques permettant de définir et d'étudier ce modèle.
Les parties 2 et 3 concernent cette étude. Si l'on fait abstraction des définitions, des notations et de la question 17, la partie 3 est indépendante des parties 1 et 2 .
Partie 1 - Lois composées
On considère :
un espace probabilisé ( ) et un sous-ensemble non vide de ;
une variable aléatoire sur cet espace à valeurs dans .
une famille de variables aléatoires sur cet espace à valeurs dans et indépendantes de telles que pour tout ,
désignant une loi de probabilité de paramètre .
On définit la variable aléatoire sur cet espace par :
et on dit que suit la loi .
On considère dans cette partie une telle variable qui suit la loi .
Pour tout , on définit aussi la fonction de dans par :
Un exemple avec Scilab. On considère le script Scilab suivant :
function r=X(t)
r=1
while rand()>...
r=...
end
endfunction
Y=rand()
Z=...
disp(Z)
En considérant les notations précédentes avec [ et en notant la variable aléatoire dont Y est une simulation, compléter le script précédent pour que Z soit une simulation d'une variable aléatoire qui suit la loi géométrique .
Cas où est discrète. On suppose dans les questions 2 et 3 que est discrète.
a) Soit . Montrer que, pour tout ,
et si ,
b) En déduire que :
c) Un exemple où . Soit . Si pour tout suit la loi uniforme sur et si la loi de est définie par, pour tout ,
montrer que suit la loi géométrique de paramètre .
3. On suppose que pour tout existe. On note cette espérance et on suppose que existe.
a) Montrer que :
b) En admettant que l'on peut inverser l'ordre des sommes, montrer que existe et que :
On admet que les résultats établis dans les questions 2 et 3, en particulier (1) et (2), sont encore vrais lorsque n'est plus discrète.
Un premier exemple. On suppose que , que la loi de est la loi géométrique de paramètre et que suit la loi uniforme sur .
a) Montrer que pour tout . La variable aléatoire admet-elle une espérance?
b) Que vaut en fonction de ? Si l'on note cette fonction de , que peut-on dire de ?
Un deuxième exemple. On suppose que , que la loi de est la loi de Poisson de paramètre et que suit la loi exponentielle de paramètre .
Par suite, suit la loi .
Par convention, la loi de Poisson de paramètre 0 est la loi de la variable aléatoire nulle.
a) Montrer que pour tout ,
b) En raisonnant par récurrence sur , justifier que pour tout ,
c) Déterminer la loi de . Reconnaître la loi de .
d) En déduire . Ce résultat est-il cohérent avec l'égalité (2)?
Partie 2 - Le modèle de Cori
On considère une population d'effectif infini dans laquelle un individu donné est infecté le jour 0 par un virus contagieux.
Soit . On suppose que :
tout individu infecté par le virus est immédiatement contagieux et sa contagiosité ne dure que jours, du jour où il est infecté jusqu'au jour ;
une fois infectés, les individus présentent un même profil de contagiosité donné par un -uplet qui dépend généralement de facteurs biologiques.
Pour tout , on dit que est la contagiosité de tout individu ayant été infecté jours plus tôt.
Autrement dit, on peut considérer que , lié à la nature du virus, détermine la proportion d'individus contaminés par un individu infecté, parmi tous ceux avec lesquels il est en contact jours après sa contamination.
Finalement, les réels sont tels que, pour tout et on note , ce qui signifie que est la contagiosité globale d'un individu infecté sur toute la période où il est infecté.
On utilise les notations et définitions de la partie 1 avec .
On suppose que les variables aléatoires qui interviennent par la suite sont définies sur l'espace .
Pour tout , on note la variable aléatoire qui désigne le nombre moyen de contacts réalisés le jour par un individu contagieux ce jour-là.
On suppose, pour tout , l'existence de et on pose .
Pour tout , on note la variable aléatoire égale au nombre total d'individus qui sont infectés et donc deviennent contagieux le -ième jour. Par exemple, .
Pour tout , on note la variable aléatoire égale à la contagiosité globale de la population le -ième jour, définie par :
On suppose enfin que, pour tout et sont indépendantes et que si l'on pose , on a :
où désigne la loi de Poisson. Ainsi la loi de ne dépend que des lois de et de .
6. Donner une justification de ( ).
7. a) Soit . On suppose que existe. Montrer que existe et en utilisant un résultat de la partie 1 , montrer que existe et vaut .
b) Montrer que pour tout existe et vérifie la relation de récurrence
Programmation de avec Scilab.
On suppose que la suite vérifie, pour tout .
On note la matrice ligne ( ).
Ecrire une fonction Scilab d'entête function (Delta,n) qui calcule si Delta représente la matrice ligne .
9. Soit , deux suites d'événements tels que . Montrer que .
On rappelle que l'on dit qu'un événement est presque sûr lorsque .
On note pour tout et l'événement "la contamination s'éteint au bout d'un nombre fini de jours".
a) Montrer que .
b) En distinguant les cas où est nulle ou pas, établir que, pour tout ,
puis que .
c) En déduire que est presque sûr si et seulement si .
d) Montrer que cela équivaut aussi au fait que converge en loi vers 0 .
11. a) Montrer, en utilisant un résultat de la partie 1 , que pour tout ,
b) On suppose que . En déduire que est presque sûr (on pourra montrer que pour tout réel, ).
Partie 3 - Limite du nombre moyen de contaminations journalières
Dans cette partie, on conserve les notations de la partie 2 et on s'intéresse au comportement asymptotique de la suite , définie par la relation (3) et , sous trois hypothèses différentes concernant la suite .
Pour tout réel , on identifie et la matrice carrée d'ordre 1 dont l'unique coefficient est .
Pour tout , on pose .
12. On suppose, dans cette question, qu'il existe et tels que, pour tout , . On note ( ) cette hypothèse.
a) Que vaut ?
En déduire qu'il existe tel que (on pourra raisonner par l'absurde).
On pose .
b) Montrer que pour tout .
c) En déduire que .
On montrerait de même que s'il existe et tels que, pour tout , on a . On note ( ) cette hypothèse.
On suppose, dans les questions 13 à 16 , que la suite est constante de valeur . On note ( ) cette hypothèse.
On pose pour tout ,
avec .
13. a) Montrer qu'il existe une matrice carrée d'ordre , de première ligne , telle que pour tout .
b) En déduire que, pour tout puis que .
14. Dans cette question, et .
a) Montrer que .
b) Déterminer une base de , où est un vecteur colonne propre de pour la valeur propre pour pour , ces colonnes ayant leur premier coefficient égal à 1 .
c) Déterminer , tel que .
d) En déduire que la suite converge vers .
15. On revient au cas général.
a) Montrer que si et seulement si et que les sous-espaces propres de sont de dimension 1.
b) Montrer que 1 est valeur propre de et déterminer le vecteur colonne propre associé dont la somme des composantes vaut .
c) Établir que et que si , alors .
16. On pose pour tout . On définit aussi le sous-espace vectoriel de formé des matrices telles que .
a) Montrer que pour tout .
b) Déterminer l'unique réel tel que .
c) Nous admettons que, pour tout quand .
En déduire que .
17. Sous quelle(s) hypothèse(s), parmi les trois hypothèses ( ), ( ) et ( ) faites dans cette partie, la série est-elle convergente? Comment interpréter ce résultat?