On the uniform-in-time propagation of chaos for the Motsch-Tadmor model

Consider the Motsch–Tadmor model (?) with initial data \{(X_i^N(0), V_i^N(0))\}_{i=1}^N and assume that the influence function \varphi satisfies the assumption in (?). Introducing the quantity

where \{\pi_i^N(t)\}_{i=1}^N is given in (?), there exists \mathbf{V}^N_\infty\in \mathbb{R}^d, characterized in (Proof), such that \langle \boldsymbol{V}^N(t)\rangle _{N} \to \mathbf{V}^N_\infty as t \uparrow \infty. Moreover, there exists C>0 such that

Similarly, consider a regular solution f_t(x,v) of the Motsch–Tadmor model (?) with compactly supported initial datum f_{\mathrm{in}} \in C^1_{\mathrm c}(\mathbb{R}^d \times \mathbb{R}^d) and introduce the quantity

where \pi^\rho(t,x) is given in (?). Then, there exists \mathbf{v}^f_\infty\in \mathbb{R}^d, characterized in (?), such that \langle v(t)\rangle _{f} \to \mathbf{v}^f_\infty as t \uparrow \infty. Moreover, there exists C>0, such that

for any v \in \text{supp}f_t.

Assume (?), and suppose f_{\mathrm{in}}\in C_{\mathrm c}^{1}(\mathbb{R}^{d}\times \mathbb{R}^d). Let f_t be the regular solution of the kinetic Motsch–Tadmor model (?) with initial datum f_{\mathrm{in}} and let F_{t}^N be the Liouville solution to (?) with initial datum F^N_{\mathrm{in}}=f_{\mathrm{in}}^{\otimes N}.

Then there exists a constant C>0, depending only on d, m, M, \|\varphi\|_{\mathrm{Lip}}, and the diameter of the velocity support of f_{\mathrm{in}}, such that

where \widetilde f_t:= (\mathcal{G}_t)_\# f_t and, for 1\leq k\leq N, \widetilde F_{k,t}^N is the k-particle marginal of (\mathcal{G}_t^N)_{\#}F^N_{t} where \mathcal G_t(x,v) := \left( x-t\mathbf v^f_\infty,\, v-\mathbf v^f_\infty \right) and

Assume (?), and let f_{\mathrm in}\in \mathcal C^1_{\mathrm c}(\mathbb{R}^d\times\mathbb{R}^d) be compactly supported. Let f_t be the solution to (?), and let \widetilde f_t=(\mathcal G_t)_\# f_t. Then there exist \rho_\infty\in\mathcal P(\mathbb{R}^d) and a constant C>0 such that

Similarly, let F_t^N=(\Phi_t^N)_\#F_{\rm in}^N be a solution of the Liouville equation (?), and let \widetilde F_{k,t}^N be the k-th marginal of (\mathcal G_t^N)_\#F_t^N where \mathcal G_t^N(X_N,V_N) is defined in (?). Then there exist \rho_{k,\infty}^N \in\mathcal P(\mathbb{R}^{dk}) and a constant C>0 such that

Under the assumptions and notation of Theorem 2.1, there exists a constant C>0, depending only on d, \eta, \mathrm{Lip}(\varphi), and the diameter of the velocity support of f_{\mathrm{in}}, such that

for fixed k \leq N-1.

Consider the Motsch–Tadmor dynamics in (?) and (?) and let \{\pi_i^N(t)\}_{i=1}^N and \pi^\rho(t,x) as in (?). Under the assumption (?), the following results hold:

1. the weights \{a_{ij}^N\} defined in (?) are reversible w.r.t. \{\pi_i^N(t)\}_{i=1}^N, i.e. \sum_{i=1}^N \pi^N_i(t)=1 and

   \pi^N_i(t) a_{ij}^N(t)=\pi^N_j(t) a_{ji}^N(t).

   Similarly, a^{\rho}(t) defined in (?) is reversible w.r.t. \pi^\rho(t), i.e. \int \pi^\rho(t,x)\mathrm d\rho_t(x)=1 and

   \pi^\rho(t,x) a^{\rho}(t,x,y)=\pi^\rho(t,y) a^{\rho}(t,y,x).

2. It holds that

   \max_{1\le i\le N}\left|\dfrac{\dot \pi_i^N(t)}{\pi_i^N(t)}\right|\le \dfrac{2 \text{Lip}(\varphi)}{m}\, D_V^N(t),\quad \left|\dfrac{\partial_t \pi^\rho+v\cdot \nabla_x \pi^\rho}{\pi^\rho}\right| \le \frac{2 \text{Lip}(\varphi)}{m} D_V^f(t)

   where D^N_V(t) is introduced in (?), while D^f_V(t) in (?).

3. For any i \in \{1,\dots,N\}, it holds that

   \eta\le\min \left\{N\pi^N_i(t), \pi^\rho(t,x)\right\} \le \max \left\{N\pi^N_i(t), \pi^\rho(t,x)\right\}\le \dfrac{1}{\eta}, \quad \eta=\dfrac mM.