No label defined (Q4938448)

The author extends a result of \textit{H. Fujita} and \textit{H. Morimoto} [Proc. Japan Acad. 46, 1141-1143 (1970; Zbl 0235.35067)] to bounded domains \(\Omega\) with Lipschitz boundary. Namely, let \(L^2_\sigma (\Omega)\) be the closure in \((L^2(\Omega))^n\) of the space of compactly supported in \(\Omega\) smooth solenoidal vector fields, \(P\) the orthogonal projection from \((L^2(\Omega))^n\) on this space, \(A=-P\Delta\) the Stokes operator and \(B\) the selfadjoint extension of the Laplacian with homogeneous Dirichlet boundary conditions. It is proved that if the boundary of \(\Omega\) is of class \(C^{0,1}\) and if it satisfies some implicit assumptions, then \[ \text{Dom}(A^\theta)= \text{Dom}(B^\theta)\cap L^2_\sigma (\Omega), \quad \forall \theta\in (0,1). \] For the entire collection see [Zbl 0927.00032].