Regularity bounds for weak solutions of the Navier–Stokes system
We establish a priori estimates guaranteeing smoothness of weak solutions to the three-dimensional Navier–Stokes system on finite time intervals, extending the Ladyzhenskaya framework to time-dependent external forcing.