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 is an element of L-n or vertical bar u(x)vertical bar = o(vertical bar xj vertical bar(-1)) as x -> 0. Here n >= 3 denotes the dimension. As a byproduct of the proof, we also obtain a new interior regularity theorem. (c) 2005 Elsevier Inc. All rights reserved.