We study the exterior Dirichlet and Neumann problem for the 3-dimensional Stokes equations. By the use of the theory of hydrodynamical potentials, the decay at infinity can be completely characterized in the framework of weighted Sobolev spaces. The results are applied to the theory of weak solutions and to the Whitehead paradox.(1.3) T(u,p)where T ( u , p ) = (Tij(u,p))1Gi,j<3 denotes the stress tensor: 6, is the Kronecker symbol. The Stokes system is elliptic in the sense of Doughs-Nirenberg, both the boundary conditions fulfil the complementing condition (see [4], p. 27ff.). Odqvist ([26]) was the first to investigate exterior Stokes boundary value problems with potential thoeretic methods, he reduced the boundary value problems to Fredholm integral equations of the second kind on the boundary (see also [17], [21]). The more difficult two-dimensional case was treated by Hsiao and MacCamy ([18]). They reduced the exterior Stokes Dirichlet problem to a boundary integral equation of the first kind and explained the Stokes paradox. They gave a rigorous proof for their explanation in [19]. The analysis of the boundary integral equations in Sobolev spaces was completely investigated by Hsiao and Wendland (1201). In [14] and [15] Fischer, Hsiao and Wendland extended the methods of Hsiao and MacCamy to the three-dimensional exterior Dirichlet problem. They gave a rigorous justification for approximating the solutions of the nonlinear Navier-Stokes equations at small Reynolds numbers by solutions of suitable Stokes Problems and explained the three-dimensional Whitehead paradox. The formal proofs concerning the Whitehead paradox are due to Fischer ([14]). The main result in this paper is the following: Extending McOwen's methods from 1281, the solutions of the problems (l.l), (1.2) or (1.3) are completely characterized in the framework of the weighted Sobolev spaces Hp '(i2). These results are also essential for treating the instationary case of the Stokes equations which will be done in a forthcoming paper. The proceeding is now the following: In 11 the basic notations and essential auxiliary results are listed, in 111 the main theorem is presented, IV contents the proof of the main theorem. Since the Neumann problem can be treated in quite an analogous way, the proof is essentially restricted to the case of the Dirichlet problem, remarks about the differences between Dirichlet and Neumann problem are added at the end of sec. IV. In V we give some applications to the theory of "weak" solutions and the Whitehead paradox.
I1 Notations, auxiliary resultsLet l2 C R3 be an exterior domain with compact boundary which we assume of class C" for simplicity, fi denotes the closure and i2-the complement of i2 in R3. As usual, Cr(i2) consists of all infinitely differentiable functions with compact support in 52. For 1 < r < 00, m E N, Hm*'(i2) {fe L'(R), D "~E L'(O), 0 < I a 1 < m} provided with the usual norm, and H"*'(sZ) stands