A mathematical framework for a crowd motion model (Q2378318)

It is considered \(n\) persons identified to rigid discs are supposed to have the same radius \(r.\) The center of the \(i\)th disc is denoted by \(q_{i}.\) The vector of positions \(q=(q_{1},\ldots,q_{n}) \in \mathbb{R}^{2n}\) must belong to the set of feasible configurations \[ Q= \{q\in\mathbb{R}^{2n}: D_{i,j}=|q_{i}-q_{j}| - 2r \geq 0 \, \forall i\neq j\}. \] The spontaneous velocity of the \(n\) discs is written \(U(q)=(U_{0}(q_{1}),\ldots,U_{0}(q_{n})) \in \mathbb{R}^{2n},\) where \(U_{0}(\cdot)\in\mathbb{R}^{2}\) is a global spontaneous velocity field. The set of feasible velocities is defined as \[ C_{q} =\{v\in \mathbb{R}^{2n}: \forall i<j\, D_{i,j}(q)=0 \Rightarrow G_{i,j}(q)\cdot v\geq 0\}, \] where \(G_{i,j}(q)= \nabla D_{i,j}(q)= (0,\ldots,0,-e_{i,j}(q),0,\ldots,0,e_{i,j}(q),0,\ldots,0)\in \mathbb{R}^{2n}.\) The base results are connected with the differential inclusion \[ dq/dt +N_{q}\owns U(q),\quad q(0)=q_{0}. \tag{1} \] where \(N_{q}=\{w: w\cdot v\leq 0\,\forall v \in C_{q}\}.\) It is known that if \(U\) is Lipschitz then for all \(q_{0}\in Q\) problem (1) has one and only one absolutely continuous solution \(q(\cdot).\) A numerical scheme is presented to approximate the solution to (1).