Isolated Singularity for the Stationary Navier-Stokes System

In this paper the classical method to prove a removable singularity theorem for harmonic functions near an isolated singular point is extended to solutions to the stationary Stokes and Navier-Stokes system. Finding series expansion of solutions in terms of homogeneous harmonic polynomials, we establish some known results and new theorems concerning the behavior of solutions near an isolated singular point. In particular, we prove that if ( u, p) is a solution to the Navier-Stokes system in B-R \ {0}, n >= 3 and vertical bar u(x)vertical bar = o(vertical bar x vertical bar(-(n-1)/2)) as vertical bar x vertical bar -> 0 or u is an element of L2n/(n-1)(B-R), then (u, p) is a distribution solution and if in addition, u is an element of L-beta (B-R) for some beta > n then (u, p) is smooth in B-R.