Epsilon regularity for the Navier-Stokes equations via weak-strong uniqueness (Q6161777)

In this paper, the authors give a new concise proof of a certain one-scale epsilon regularity criterion for the three-dimensional non-stationary Navier-Stokes equations away from boundaries. The key step is to establish the weak-strong uniqueness of solutions to the three-dimensional Navier-Stokes equation with non-zero boundary conditions.It is inspired by an analogous approach for the stationary system due to Struwe.