1: $

2: \end{prop}

3: 

4: %Next, we turn to the long-time convergence of the density $