我正在阅读有关 Darcy 方程的 Petrov-Galerkin Enrichment Method 的内容。这里有几篇论文详细讨论了这个问题：

• Petrov-Galerkin 富集方法：达西方程的质量保守有限元方法。
• 达西方程的对称节点保守有限元法。

但是，我不确定我是否完全了解他们在做什么，并且希望得到一些帮助，以了解他们如何构建这些“多尺度”或丰富功能。

据我了解，他们似乎正在“丰富”$P_1$速度由$RT_0$，但这究竟是什么意思？具体来说，当他们“纠正边缘残差”时意味着什么？因为我想用 FEniCS 之类的东西（如果可能的话）来实现它，但为了做到这一点，我需要完全理解这种方法。