
состоит из распеределений

таких, что

преобразование Фурье. Если s целое неотрицательное число, то , эквивалентно, это пространство функций, которые имеют производные порядка вплоть до s в

.
Для таких s последнее определение годится и для ограниченной области. Для отрицательных s это пространство распределений (обобщенных функций.) Применяются в 200000 вопросах ур. ч. п.
Что Вас касается это, так называемые теоремы о следах. Функция из

в области имеет осмысленные граничные значения на границе, которые принадлежат там

.
Последние пространства, на поверхности, задаются с помощью локализации. Возьмите разбиение единицы

на поверхности, и

принадлежит

на границе если все

принадлежат

в локальных координатах.
Пространства Соболева связаны с другими пространствами, скажем,

многочисленными 'теоремами вложения, следа и продолжения.
Очень короткое и понятное изложение этого материала есть в лекциях Аграновича
http://www.agranovich.nm.ru/NEZAV7.HTM