The mean of Young measure solutions for the Navier-Stokes equations with
general initial conditions are PDE solutions of the Navier-Stokes equation of
the class considered by Leray and Hopf.Comment: arXiv admin note: substantial text overlap with arXiv:2212.1473