In the setting of bounded strongly Lipschitz domains, we present a short and simple proof of the compactness of the trace operator acting on square integrable vector fields with square integrable divergence and curl with a boundary condition. We rely on earlier trace estimates established in a similar setting.

中文翻译：

---

Lipschitz 域上迹算子紧凑性的简单证明

在有界强 Lipschitz 域的设置中，我们提出了跟踪算子的紧凑性的简短证明，该证明作用于具有方形可积散度和具有边界条件的卷曲的方形可积向量场。我们依赖于在类似设置中建立的早期跟踪估计。