text: При наличии определенной гладкости границы области Q {\displaystyle Q} это пространство совпадает с множеством функций из H k ( Q ) {\displaystyle H^{k}(Q)} , имеющих нулевой след на границе области Q {\displaystyle Q} и нулевой след всех обобщённых производных вплоть до k − 1 {\displaystyle k-1} -го порядка.