Теорема вложения Соболева: условие k - d/p

Теорема вложения Соболева отвечает на главный вопрос анализа в частных производных: если про функцию известно, что её обобщённые производные до порядка $k$ суммируемы со степенью $p$, то насколько эта функция «хорошая» - непрерывна, ограничена или хотя бы лежит в более узком $L^q$ с большим $q$? Ответ зависит от единственной величины $k - d/p$: знак и величина этой разности решают, попадает ли $W^{k,p}(\Omega)$ в пространство непрерывных функций, в $L^q$ с критическим показателем или ни в то, ни в другое. Ниже разберём три режима теоремы, выведем критический показатель и покажем, где студенты чаще всего ошибаются. Начните с калькулятора: задайте размерность $d$, порядок $k$ и показатель $p$ - он определит режим вложения и посчитает критический показатель.

Формулировка теоремы вложения Соболева

Пусть $\Omega \subset \mathbb{R}^d$ - ограниченная область с достаточно гладкой (например, липшицевой) границей, $k \ge 1$ целое и $1 \le p < \infty$. Поведение пространства $W^{k,p}(\Omega)$ полностью определяется знаком разности $k - d/p$, которую называют дефектом гладкости. Возможны три качественно разных случая.

Субкритический случай $kp < d$ (то есть $k - d/p < 0$). Тогда вложение идёт не в непрерывные функции, а в $L^q$ с конечным показателем:

$$W^{k,p}(\Omega) \hookrightarrow L^q(\Omega), \qquad \frac{1}{q} = \frac{1}{p} - \frac{k}{d}, \quad q = q^* = \frac{dp}{d - kp}.$$

Этот $q^*$ называют критическим показателем Соболева: вложение в $L^q$ есть для всех $q \le q^*$, а при $q > q^*$ его уже нет.

Критический случай $kp = d$ (то есть $k - d/p = 0$). Здесь $W^{k,p}(\Omega) \hookrightarrow L^q(\Omega)$ для любого конечного $q < \infty$, но в $L^\infty$ вложения нет. Граничная функция может быть неограниченной (классический пример - $\log\log(1/|x|)$ в двумерном случае для $W^{1,2}$).

Суперкритический случай $kp > d$ (то есть $k - d/p > 0$). Это самый сильный режим: функции из $W^{k,p}$ непрерывны и даже гёльдеровы. Здесь работает теорема Морри, см. отдельную секцию ниже.

Рассчитать для своей задачи

Критический показатель Соболева

Формула критического показателя $q^* = dp/(d-kp)$ возникает не случайно - её диктует анализ размерностей. Рассмотрим масштабирование $u_\lambda(x) = u(\lambda x)$. Норма градиента и $L^q$-норма меняются при растяжении по степенным законам, и единственное значение $q$, при котором обе стороны неравенства $\|u\|_{L^q} \le C\|\nabla u\|_{L^p}$ масштабируются одинаково, - это как раз $q^* = dp/(d-p)$ для случая $k = 1$.

Для первого порядка $k = 1$ неравенство Гальярдо-Ниренберга-Соболева даёт оценку

$$\|u\|_{L^{p^*}(\mathbb{R}^d)} \le C(d, p)\,\|\nabla u\|_{L^p(\mathbb{R}^d)}, \qquad p^* = \frac{dp}{d - p}, \quad 1 \le p < d.$$

Полезно держать в голове опорные числа. При $d = 3$, $p = 2$ (важнейший случай для уравнений математической физики) получаем $p^* = 6$: функции из $H^1(\mathbb{R}^3)$ автоматически лежат в $L^6$. При $d = 2$, $p = 2$ имеем $kp = d$ - это критический случай, $H^1(\mathbb{R}^2)$ вкладывается во все $L^q$, $q < \infty$, но не в $L^\infty$. Понятие нормы и базовое определение пространства разобраны в материале про пространство Соболева - здесь мы опираемся на них как на известные.

Теорема Морри и гёльдеровость

Когда $kp > d$, вложение происходит не просто в непрерывные, а в гёльдеровы функции. Для $k = 1$ и $p > d$ теорема Морри утверждает:

$$W^{1,p}(\Omega) \hookrightarrow C^{0,\gamma}(\overline{\Omega}), \qquad \gamma = 1 - \frac{d}{p}, \quad p > d.$$

Показатель Гёльдера $\gamma = 1 - d/p$ лежит в $(0, 1)$ и говорит, насколько «равномерно непрерывна» функция: $|u(x) - u(y)| \le C|x - y|^\gamma$. Общий случай для произвольного $k$ даёт вложение в $C^{m, \gamma}$, где $m$ - целая часть дефекта $k - d/p$, а $\gamma$ - его дробная часть:

$$W^{k,p}(\Omega) \hookrightarrow C^{m,\gamma}(\overline{\Omega}), \qquad m = \left\lfloor k - \frac{d}{p} \right\rfloor, \quad \gamma = k - \frac{d}{p} - m$$

(с оговоркой про целые значения дефекта, где гёльдеровость нужно понимать аккуратнее). Это и есть строгая версия интуиции «больше суммируемых производных - выше классическая гладкость».

Рассчитать для своей задачи

Компактность: теорема Реллиха-Кондрашова

Обычное вложение Соболева непрерывно, но не компактно. Для приложений (доказательство существования решений, спектральная теория) нужна именно компактность: ограниченное множество в $W^{k,p}$ должно быть предкомпактно в целевом пространстве. Это даёт теорема Реллиха-Кондрашова.

Для ограниченной липшицевой области $\Omega$ и субкритического показателя вложение

$$W^{k,p}(\Omega) \hookrightarrow\hookrightarrow L^q(\Omega), \qquad q < q^* = \frac{dp}{d - kp},$$

компактно (двойная стрелка) для всех $q$ строго меньше критического. Ключевое слово - строго: на самом критическом показателе $q = q^*$ компактности нет, остаётся только непрерывное вложение. Именно поэтому в вариационных задачах с критическим ростом нелинейности (например, в уравнении Ямабе) появляются принципиальные трудности - теряется компактность, и приходится использовать концентрационно-компактностный анализ.

Как применять теорему на практике

Чтобы определить тип вложения для конкретного $W^{k,p}(\Omega)$ в $\mathbb{R}^d$, достаточно одного вычисления:

1. Посчитайте дефект $\delta = k - d/p$.
2. Если $\delta < 0$ - субкритический режим: вложение в $L^{q^*}$, считаем $q^* = dp/(d-kp)$.
3. Если $\delta = 0$ - критический режим: вложение во все $L^q$, $q < \infty$, но не в $L^\infty$.
4. Если $\delta > 0$ - суперкритический режим: вложение в $C^{m,\gamma}$ с $m = \lfloor \delta \rfloor$, $\gamma = \delta - m$.

Например, для $H^2(\Omega)$ в $\mathbb{R}^3$ имеем $k = 2$, $p = 2$, $d = 3$, дефект $\delta = 2 - 3/2 = 1/2 > 0$. Значит, $H^2(\Omega) \hookrightarrow C^{0, 1/2}(\overline{\Omega})$ - функции непрерывны и даже гёльдеровы с показателем $1/2$. Это объясняет, почему в задачах теории упругости и в методе конечных элементов второго порядка работают с $H^2$: решения автоматически непрерывны.

Частые ошибки

• Путать $L^q$-вложение и непрерывность. В субкритическом случае ($kp < d$) функция из $W^{k,p}$ вообще не обязана быть непрерывной - она лишь лежит в $L^{q^*}$. Непрерывность гарантирована только при $kp > d$.
• Брать критический показатель со знаком плюс. Формула - $q^* = dp/(d - kp)$ со знаком минус в знаменателе. Если по ошибке поставить плюс, получится бессмысленное значение. При $kp \ge d$ формула вообще неприменима (знаменатель неположителен).
• Забывать про размерность. Одно и то же $W^{1,2}$ даёт непрерывность в $\mathbb{R}^1$ ($\delta = 1/2 > 0$), критический случай в $\mathbb{R}^2$ ($\delta = 0$) и только $L^6$ в $\mathbb{R}^3$ ($\delta = -1/2$). Размерность $d$ входит в условие наравне с $k$ и $p$.
• Использовать компактность на критическом показателе. Теорема Реллиха-Кондрашова даёт компактность строго при $q < q^*$. На $q = q^*$ остаётся только непрерывное вложение - это источник реальных трудностей в нелинейных задачах.
• Игнорировать требования к границе. Все вложения формулируются для областей с липшицевой (или более гладкой) границей. На областях с заострениями (cusp) теорема может нарушаться.

FAQ

Что утверждает теорема вложения Соболева простыми словами? Она говорит, что суммируемость производных можно «обменять» на гладкость или лучшую суммируемость самой функции. Если производных порядка $k$ хватает относительно размерности (точнее, если $k - d/p > 0$), функция непрерывна; если не хватает - она хотя бы попадает в $L^q$ с большим показателем $q^* = dp/(d-kp)$.

Чем критический показатель отличается от обычного? Критический показатель $q^* = dp/(d-kp)$ - это наибольший $q$, для которого ещё есть вложение $W^{k,p} \hookrightarrow L^q$. Для всех $q \le q^*$ вложение непрерывно, а компактно (по Реллиху-Кондрашову) - только для $q < q^*$ строго. На самом $q^*$ компактность теряется.

Когда вложение Соболева компактно? Компактность даёт теорема Реллиха-Кондрашова: для ограниченной липшицевой области вложение $W^{k,p}(\Omega) \hookrightarrow L^q(\Omega)$ компактно при всех $q$ строго меньше критического показателя $q^*$. Компактность - основной инструмент для доказательства существования слабых решений вариационными методами.

Коротко

Теорема вложения Соболева определяется знаком дефекта $k - d/p$. При $kp < d$ (субкритический режим) пространство $W^{k,p}(\Omega)$ вкладывается в $L^{q^*}$ с критическим показателем $q^* = dp/(d-kp)$. При $kp = d$ - во все $L^q$, $q < \infty$, но не в $L^\infty$. При $kp > d$ (суперкритический режим) работает теорема Морри: функции непрерывны и гёльдеровы с показателем $\gamma = k - d/p - \lfloor k - d/p\rfloor$. Компактность вложения (теорема Реллиха-Кондрашова) есть лишь строго ниже критического показателя - на самом $q^*$ остаётся только непрерывное вложение.