Ecole Polytechnique´ MAP 431 - Mini-Projet (2012)
Distributions en ˆ age persistantes et approch´ees d’une EDP
Sujet propos´e par Xavier Dupuis xavier.dupuis@cmap.polytechnique.fr
Introduction
Dans de nombreux mod`eles en ´economie, biologie,. . . , il peut ˆetre int´eressant de consid´erer qu’au sein d’une population globale, les diff´erents individus n’ont pas tous les mˆemes param`etres d’´evolution, ceux-ci d´ependant d’un trait d´efini pour chaque individu. On parle de populations structur´ees. On peut aussi ima- giner que ce trait ´evolue au cours de la vie de l’individu. Il peut s’agir par exemple de la taille, de l’ˆage, d’un degr´e de maturit´e,. . . Parmi ces exemples, c’est la stucture en ˆage qui est la plus simple `a ´etudier puisque l’ˆage augmente lin´eairement avec le temps. C’est donc une EDP structur´ee en ˆage `a laquelle on s’int´eresse dans ce mini-projet. Cette ´equation apparaˆıt particuli`erement en
´
epid´emiologie, en d´emographie, ou encore dans des mod`eles du cycle de division cellulaire.
1 Un mod` ele avec structure en ˆ age
Les donn´ees sont un ˆage maximala∗ ainsi qu’un triplet de fonctionsµ, β, φ.
Les variables sont l’ˆage a et le temps t. L’inconnue est la densit´e d’individus d’ˆagea`a l’instantt, que l’on noteρ(a, t).
La dynamique est donn´ee par l’´equation suivante :
(1) ∂ρ
∂a(a, t) +∂ρ
∂t(a, t) +µ(a)ρ(a, t) = 0, 0< a < a∗, 0< t.
Les naissances sont donn´ees par la condition de renouvellement suivante :
(2) ρ(0, t) =
Z a∗
0
β(a)ρ(a, t)da, 0< t.
1) Interpr´eter biologiquement les fonctionsµetβ. Justifier en particulier le fait que les donn´ees µ, β, φdoivent ˆetre positives.
On suppose de plus que
µ∈C0([0, a∗)), β∈C1([0, a∗]), φ∈C1([0, a∗]).
2) En utilisant la m´ethode des caract´eristiques, montrer qu’une solutionρ de (1)-(3)de classeC1 satisfait :
ρ(a, t) =ρ(0, t−a)e−R0aµ(α)dα poura≤t, ρ(a, t) =φ(a−t)e−Ra−ta µ(α)dα pourt < a.
3) Justifier que l’on fasse une derni`ere hypoth`ese surµ: Z a∗
0
µ(α)dα= +∞
On note pour la suite P(t) :=
Z a∗
0
ρ(a, t)da B(t) :=ρ(0, t),
π(a) :=e−R0aµ(α)dα (π(a∗) = 0).
4) Interpr´eter ces quantit´es.
5) Etablir l’´´ equation int´egrale de renouvellement v´erifi´ee parB : (4) B(t) =ψ(t) +
Z t
0
β(a)π(a)B(t−a)da pourt≤a∗, o`uψ est une fonction (ne d´ependant ni deρni deB) `a d´eterminer.
6) Montrer que r´eciproquement, on peut construire une solution du mod`ele (1)-(3) `a partir d’une solutionC1de l’´equation de renouvellement (4).
Les questions d’existence de cette derni`ere ´equation peuvent se traiter par th´eor`eme de point fixe ou par transformation de Laplace. On ne s’y int´eressera pas dans le cas g´en´eral.
2 Distributions persistantes
On cherche dans cette partie des solutions sous une forme particuli`ere. L’id´ee est de d´ecoupler la tendance de croissance (positive ou n´egative) dans le temps d’un cˆot´e, et la distribution en ˆage de l’autre. Un des int´erˆets de cette approche est de garantir l’existence d’une solution dans le cas o`u la distribution initiale est adapt´ee, comme on le verra `a la fin de cette partie. On appelle donc (stable age distribution, oudistribution en ˆage persistante) toute solution de notre mod`ele de la forme :
ρ(a, t) =A(a)T(t), avec Z a∗
0
A(a)da= 1.
7) Que repr´esenteT(t) ?A(a) ?
8) Supposons qu’il existe une telle solution,C1et strictement positive. ´Etablir alors deux ´equations diff´erentielles ordinaires non coupl´ees sur T et A, puis les r´esoudre.
La condition de renouvellement (2) s’´ecrit dans ce cas : (5)
Z a∗
0
β(a)π(a)e−p0ada= 1,
o`up0est naturellement apparu dans les deux ´equations diff´erentielles pr´ec´edentes.
On appelle ´equation de Lotka-Sharpe pourp0 l’´equation (5).
9) Etablir l’´´ equation de Lotka-Sharpe.
10) En ´etudiant l’int´egrale `a param`etrep7→Ra∗
0 β(a)π(a)e−pada, montrer que l’´equation de Lotka-Sharpe (5) admet une unique solutionp0∈R.
Proposition 1. Soient :
µ∈C0([0, a∗)), µ≥0, Ra∗
0 µ= +∞, β∈C1([0, a∗]), β≥0,
φ(0)∈R, φ(0)≥0.
Alors il existe un unique couple (φ, ρ)∈ C1([0, a∗])×C1([0, a∗]×R+) tel que ρ est une solution de la forme ’distribution persistante’ du syst`eme (1)-(3), strictement positive, avecφcomme condition initiale. On appelleφla condition initiale adapt´ee.
3 Distributions approch´ ees
Dans cette derni`ere partie, on s’int´eresse `a des solutions approch´ees, que l’on calculera num´eriquement.
On fixe un temps finalTet on consid`ere notre probl`eme (1)-(3) sur le rectangle 0≤a≤a∗, 0≤t≤T. On discr´etise l’ˆage et le temps avec le mˆeme pas constant h:
h= a∗ M = T
N, M, N∈N, et on note ρnj notre approximation deρ(aj, tn) :=ρ(jh, nh).
On utilise pour l’´equation de transport (1) le sch´ema suivant : (6) ρnj −ρn−1j−1
h +µjρnj = 0 j, n≥1,
et pour la condition de renouvellement (2) la somme de Riemann suivante :
(7) ρn0 =
M−1
X
j=0
βjρnjh n≥1 .
On compl`ete le sch´ema par une discr´etisation de la condition initiale (3) :
(8) ρ0j =φj j ≥0 .
12) Montrer que le sch´ema (6) est pr´ecis `a l’ordre 1 (consid´erer ρle long des caract´eristiques).
13) Donner la condition surhimpos´ee par (7).
On veillera `a ce que cette condition soit bien satisfaite pour les impl´ementations
`
a venir. Pour les simulations, on choisit : a∗= 1, T = 3, µ(a) = 1
1−a,
β(a) =β >0 une constante que l’on fera varier, φ(a) =
(1−2a)3(1−a) a∈[0,12] (2a−1)3(1−a) a∈[12,1] . β = 2
14) Ecrire un code en Scilab impl´´ ementant le sch´ema (6)-(8).
15) Montrer que la solution de l’´equation de Lotka-Sharpe (5) estp0= 0.
16) Calculer ˜φ(0) tel que la condition initiale ˜φadapt´ee (au sens de la propo- sition 1) `a (µ, β,φ(0)) v´˜ erifie :
Z a∗
0
φ= Z a∗
0
φ.˜
On note ˜ρla solution de la forme ’distribution persistante’ associ´ee.
17) Tracer sur des mˆemes graphes la solution du sch´ema (pour la condition initialeφ) et ˜ρ, en fonction de l’ˆage pourt= 0,1,2,3.
β = 6
18) Adapter le code pr´ec´edent.
19) Montrer que r´esoudre l’´equation de Lotka-Sharpe (5) revient `a r´esoudre : (9) 6(e−p−1 +p) =p2 pour p >0 .
20) Ecrire un code en Scilab bas´´ e sur l’algorithme de Newton pour trouver une solution de (9) `a 0.01 pr`es.
21) Calculer ˜φ(0) dans le mˆeme but que la question 16). On note encore ˜ρla solution de la forme ’distribution persistante’ associ´ee.
22) Tracer sur des mˆemes graphes la solution du sch´ema (pour la condition initialeφ) et ˜ρ, en fonction de l’ˆage pourt= 0,1,2,3.
β = 1
23) Reprendre les questions 18) `a 22) pourβ = 1.