“…Under assumptions 1-5, from [11], we have existence and uniqueness of solution (u, m, ϖ), where m is bounded, u is Lipschitz, semiconcave, and differentiable in x. Moreover, from [3], ϖ is Lipschitz continuous. Finally, assumption 6 ensures compact support of the density function m(x, t) up to the terminal time T .…”