假设$\Omega$是您的域名，并且$\Gamma_g \subset \partial \Omega$. 你可以想到$H^{1/2}(\Gamma_g)$作为空间$H^1(\Omega)$功能仅限于$\Gamma_g$. 所以任何属于$u \in H^1(\Omega)$有它的踪迹，$u|_{\Gamma_g}$， 在$H^{1/2}(\Gamma_g)$. 因此，您可以使用例如在边界上定义的分段线性元素（三角形$P_1$你的情况下的元素）。

分段常数元素不起作用，因为这样的函数属于$H^{1/2-\varepsilon}(\Gamma_g)$,$\varepsilon > 0$.