基于对所谓空腔流中角点奇异性的研究,我们在本文的第一部分中,确定$L^2中解的存在性和唯一性(Ω)^2美元域中的Stokes问题$Ω$, 何时$Ω$ 是平滑域或凸多边形。这个结果基于一个新的迹定理,我们证明了$u$的迹在$L^2(¼)中可以是任意的Ω)^2$,以下所述标准兼容性条件除外。结果还扩展到线性演化Stokes问题。然后在第二部分中,使用有限元离散化,我们在正方形模型中对Stokes方程进行了一些数值模拟,因此众所周知的眼睑驱动流。简化了盖驱动空腔流动的数值求解通过边界数据的正则化,就像在其他具有角点奇点的相关方程中一样([9], [10], [45], [24]). 边界数据的正则化由第一部分。