AbstractDue to a prolonged but thorough refereeing process of 1 and updates subsequently made to 1, some of the references made at the beginning of Section 4 of 2 to the text of 1 are no longer correct. Precisely speaking, as stated, the results of Section 4 are valid if the measure µ is the Lebesgue measure on Ω as this yields the density of the set 𝒞1(Ω)∩𝒟(Tmax) in 𝒟(Tmax) endowed with the graph norm ∥ · ∥𝒟. This result is then used to show the existence of traces, as in 3. In the new version of 1, we managed to deal with a general Radon measure that required, however, a new definition of the maximal transport operator Tmax to ensure the existence of traces. It follows that the non‐divergence case can be dealt in a similar way to Proposition 3.2 of 1 but using a divergence‐free version of 2, Equation (16) as the definition of Tmax.
Read full abstract