Boundary epsilon regularity for incompressible Navier--Stokes equations via weak-strong uniqueness

Siran Li

We show that finite-energy weak solutions to the incompressible Navier--Stokes equations on a three-dimensional bounded smooth domain are regular up to the boundary, provided that…