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.