modélisation mathématique et numérique des mouvements de foule
TRANSCRIPT
![Page 1: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/1.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Modélisation mathématique et numériquedes mouvements de foule
Juliette Venel
Laboratoire de Mathématiques,Bât. 425, Université Paris-Sud, Orsay.
CANUMSaint Jean de Monts, le 26 Mai 2008
![Page 2: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/2.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Introduction
![Page 3: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/3.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Plan
1 Présentation du modèleVitesse souhaitéeVitesse réelle
2 Cadre MathématiqueCône normal sortantInclusion différentielle
3 Schéma numériquePrésentation du schémaRésultat de convergence
4 Perspectives
![Page 4: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/4.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Plan
1 Présentation du modèleVitesse souhaitéeVitesse réelle
2 Cadre MathématiqueCône normal sortantInclusion différentielle
3 Schéma numériquePrésentation du schémaRésultat de convergence
4 Perspectives
![Page 5: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/5.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Notations
qi
qj
Dij
ri
rj q = (q1, q2, .., qN) ∈ R2N
Ensemble de configurations admissibles
Q0 ={
q ∈ R2N, ∀ i < j , Dij(q) = |qi − qj | − ri − rj ≥ 0
}
![Page 6: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/6.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Vitesse souhaitée
U(q) = (U1(q), U2(q), ..., UN(q))
Exemple : Ui(q) = U0(qi) = −∇D(qi), où D(x) est ladistance géodésique entre la sortie et le point x.
Lignes de niveau de la fonction D
![Page 7: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/7.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Vitesse réelle
Pour gérer les contacts, on définitCône des vitesses admissibles
Cq ={
v ∈ R2N, ∀i < j Dij(q) = 0 ⇒ Gij(q) · v ≥ 0
}
,
où Gij(q) = ∇Dij(q).
En notant u la vitesse réelle des N personnes, notre modèles’écritModèle
q = q0 +
∫
u,
u = PCqU.
![Page 8: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/8.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Plan
1 Présentation du modèleVitesse souhaitéeVitesse réelle
2 Cadre MathématiqueCône normal sortantInclusion différentielle
3 Schéma numériquePrésentation du schémaRésultat de convergence
4 Perspectives
![Page 9: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/9.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Cône NqOn introduit Nq le cône polaire de Cq
Définition
Nq = C◦q = {w , (w, v) ≤ 0 ∀v ∈ Cq} .
D12 < 0
D13 < 0
D34 < 0
q̄
q
Nq̄
Cq̄ Nq
Cq
![Page 10: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/10.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Cône Nq
Nq est appelé cône normal sortant et s’écrit comme suit
Caractérisation
Nq ={
−∑
λijGij(q) , λij ≥ 0 , Dij(q) > 0 =⇒ λij = 0}
.
Lorsque deux cônes sont mutuellement polaires, lapropriété suivante est vérifiée
Propriété
PCq + PNq = Id.
![Page 11: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/11.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Réécriture du modèleD’après la propriété précédente, on a
q̇ = PCq(U(q)) = U(q) − PNq(U(q)),
ce qui est équivalent à
q̇ + PNq(U(q)) = U(q).
D’oùq̇ + Nq ∋ U(q).
Le problème prend alors la forme d’une inclusiondifférentielle du premier ordre.
Modèle{
q̇ + Nq ∋ U(q)
q(0) = q0
![Page 12: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/12.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Etude théorique
Cas d’un mouvement rectiligne
Q0 = {q ∈ RN , qi+1 − qi ≥ ri+1 + ri} est un convexe fermé
⇒ N est un opérateur maximal monotone (Nq = ∂IQ0(q))
⇒ existence et unicité d’une solution
Généralisation pour des déplacements dans le plan ?
⋄ défaut de convexité de Q0
⋄ absence de monotonie de N configuration q1
configuration q2
configuration (q1
+ q2)/2
![Page 13: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/13.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Notion de prox-régularité
η
Ensemble prox-régulier
Soit S un ensemble fermé,S est η-prox-régulier si pour tout point q̃ à distance d < η deS, la projection de q̃ sur S est bien définie.
Proposition
Q0 est η-prox-régulier avec η = η(N, ri).
![Page 14: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/14.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Problème bien posé
Théorème
On suppose U Lipschitz.Alors quel que soit q0 dans Q0, il existe une unique fonctionq absolument continue vérifiant
{
q̇ + Nq ∋ U(q) pp sur ]0, T [,
q(0) = q0.
La démonstration utilise des résultats récents sur lesprocessus de rafle de J-F. Edmond et L. Thibault (2006).
![Page 15: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/15.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Plan
1 Présentation du modèleVitesse souhaitéeVitesse réelle
2 Cadre MathématiqueCône normal sortantInclusion différentielle
3 Schéma numériquePrésentation du schémaRésultat de convergence
4 Perspectives
![Page 16: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/16.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Schéma numérique
Initialisation : q0 = q0
Boucle en temps : qn connuqn+1 = qn + h un
un = PCh(qn)(U(qn))
où Ch(qn) ={
v ∈ R2N,∀i < j , Dij(qn) + h Gij(qn) · v ≥ 0
}
.
Si l’on interprète cet algorithme en terme de position, on a
qn+1 = PK (qn)(qn + h U(qn))
où K (qn) ={
q ∈ R2N,∀i < j , Dij(qn) + Gij(qn) · (q − qn) ≥ 0
}
.
![Page 17: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/17.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Projections théorique et numérique
qn
qn + h U(qn)
qn + h U(qn)
qn+1qn+1
q̃n+1q̃n+1
Q0
K (qn)
![Page 18: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/18.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Problèmes continu et discret
En notant Nq = N(Q0, q), le problème continu s’écrit
q̇ + N(Q0, q) ∋ U(q).
Le problème discret associé à l’algorithme précédent est
un + N(K (qn), qn+1) ∋ U(qn).
Idée : N(Q0, q) = N(K (q), q) ≈ N(K (qn), qn+1).
![Page 19: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/19.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Convergence
On note qh la fonction continue affine par morceauxassociée au schéma numérique.
Théorème
On suppose U Lipschitz.Alors qh converge uniformément sur [0,T] vers la fonction qvérifiant
{
q̇ + Nq ∋ U(q)
q(0) = q0.
![Page 20: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/20.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Plan
1 Présentation du modèleVitesse souhaitéeVitesse réelle
2 Cadre MathématiqueCône normal sortantInclusion différentielle
3 Schéma numériquePrésentation du schémaRésultat de convergence
4 Perspectives
![Page 21: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/21.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Perspectives
• Problèmes théoriques liés à la présence d’obstacles
• Programmation en C++
• Comparaison avec des données réelles
![Page 22: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/22.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Projection sur un convexe ferméOn considère H un espace de Hilbert et S un convexe ferméinclus dans H.
Proposition
On a l’équivalence suivante
x = PS(y) ⇔ y − x ∈ N(S, x)
Commeqn+1 = PK (qn)(q
n + h U(qn)),
alorsqn + h U(qn) − qn+1 ∈ N(K (qn), qn+1).
Finalement en divisant par h, on obtient
−un + U(qn) ∈ N(K (qn), qn+1).
![Page 23: Modélisation mathématique et numérique des mouvements de foule](https://reader033.vdocuments.net/reader033/viewer/2022050407/627062889844b520750686c6/html5/thumbnails/23.jpg)
Mouvementsde Foule
J. Venel
ModèleVitesse souhaitée
Vitesse réelle
CadreMathématiqueCône normal sortant
Inclusiondifférentielle
SchémanumériquePrésentation
Convergence
Perspectives
Idée de la preuve deconvergence
Proposition
Nq = N(Q0, q) = N(K (q), q)
Lemme
Soient q, q̃ ∈ Q0 et qn −−−−→n→+∞
q, on définit
p = PK (q)(q̃) et pn = PK (qn)(q̃).
Alors il existe ν > 0 tel que pour tout q̃ ∈ B(q, ν),
pn −−−−→n→+∞
p.