Proof of the transport-limit statement #

transportLimit_contract : TransportLimitContract. The limit Θ is the pointwise limit of a fast subsequence (TransportLimit.Construction); the weak form passes to the limit using the divergence-free cancellation ∫ (b·Dθ) φ = -∫ θ b·∇φ and the energy bound on the viscous term.