Resolvent Estimates in L p for the Stokes Operator in Lipschitz Domains

We establish the L ^p resolvent estimates for the Stokes operator in Lipschitz domains in , for . The result implies that the Stokes operator in a three-dimensional Lipschitz domain generates a bounded analytic semigroup in L ^p for (3/2) − ε < p < 3 + ε. This gives an affirmative answer to a conjecture of M. Taylor (Progr. Nonlinear Differential Equations Appl., vol. 42, pp. 320–334).