A removable isolated singularity theorem for the stationary Navier–Stokes equations

We show that an isolated singularity at the origin 0 of a smooth solution (u,p) of the stationary Navier–Stokes equations is removable if the velocity u satisfies u Ln or u(x)=o(x-1) as x→0. Here n 3 denotes the dimension. As a byproduct of the proof, we also obtain a new interior regularity theorem.