Пространства Соболева

Как решать уравнения в частных производных, когда у решения нет классической производной? Пространства Соболева-ответ: обобщённые производные позволяют работать с "почти гладкими" функциями и задают математическую основу метода конечных элементов.

• **Метод конечных элементов (FEM)**: слабая постановка уравнения теплопроводности на H^1_0: найти u ∈ H^1_0 такое, что ∫∇u·∇v = ∫fv для всех v ∈ H^1_0; лемма Лакса-Мильграма гарантирует единственность
• **Physics-Informed Neural Networks (PINN)**: потери PINN включают нормы Соболева ||u - u_data||_{H^k}-штраф за нарушение производных, а не только самой функции
• **Теория аппроксимации**: нейронные сети аппроксимируют функции из классов Соболева; скорость аппроксимации определяется показателем гладкости k в W^{k,p}

Предварительные знания

• Spectral Theorem

Слабые производные

**Слабая производная**: функция v = D^α u-слабая производная u, если ∫_Ω u · D^α φ dx = (-1)^{|α|} ∫_Ω v · φ dx для всех φ ∈ C₀^∞(Ω). Это обобщение классической производной: если u дифференцируема в обычном смысле, то слабая и классическая производные совпадают. Но слабая производная существует для функций, которые не дифференцируемы в классическом смысле.

**Пример**: f(x) = |x| на [-1, 1]. Классической производной в x = 0 нет, но слабая производная f'(x) = sign(x) существует в L²[-1,1]. Проверка: ∫|x|φ' dx = -∫ sign(x) φ dx для всех φ ∈ C₀^∞(-1,1).

Пространства Соболева W^{k,p}

**Пространство Соболева** W^{k,p}(Ω) = {u ∈ L^p(Ω) : D^α u ∈ L^p(Ω) для всех |α| ≤ k}. Норма: ||u||_{W^{k,p}} = (Σ_{|α|≤k} ||D^α u||_{L^p}^p)^{1/p}. Особые обозначения: H^k = W^{k,2} (гильбертово пространство Соболева).

**Пространство H^1(Ω)** = W^{1,2}(Ω): функции из L²(Ω) с градиентом в L²(Ω). Норма: ||u||_{H^1}² = ||u||_{L²}² + ||∇u||_{L²}². Пространство H^1_0(Ω)-замыкание C₀^∞(Ω) в H^1-функции из H^1 с нулевыми граничными значениями (в смысле следа).

Интерпретация через Фурье: если u = Σ û(k) e^{ikx}, то ||u||_{H^s}² = Σ (1 + |k|²)^s |û(k)|². Пространство H^s состоит из функций, фурье-коэффициенты которых "убывают как (1+|k|)^{-s}". Большее s = более гладкие функции.

Теоремы вложения

**Теорема вложения Соболева**: пусть Ω ⊂ ℝⁿ-ограниченная область с гладкой границей. Тогда: если k > n/p, то W^{k,p}(Ω) непрерывно вкладывается в C(Ω̄) (функции непрерывны). Более точно: W^{k,p}(Ω) ↪ C^{m,α}(Ω̄) при k - n/p > m + α.

**Пример в 1D**: H^1(0,1) = W^{1,2}(0,1). Здесь n=1, k=1, p=2: k - n/p = 1 - 1/2 = 1/2 > 0. Поэтому H^1(0,1) ↪ C[0,1]: функции из H^1 непрерывны! В 3D: H^1(Ω) ↪ L^6(Ω) (а не в C), поскольку k - n/p = 1 - 3/2 = -1/2 < 0.

Неравенство Пуанкаре: если u ∈ H^1_0(Ω), то ||u||_{L²} ≤ C_P ||∇u||_{L²}. Это означает, что на H^1_0 полунорма |u|_{H^1} = ||∇u||_{L²} эквивалентна полной норме ||u||_{H^1}. Константа Пуанкаре C_P зависит только от области Ω.

Ключевые идеи

• **Слабые производные**: D^α u = v слабо, если ∫ u D^α φ = (-1)^{|α|} ∫ v φ для тестовых φ; обобщает классические производные на L^p функции
• **W^{k,p}(Ω)**: функции из L^p с k слабыми производными в L^p; H^k = W^{k,2}-гильбертово; H^1 основа FEM
• **Теоремы вложения**: если k > n/p, то W^{k,p} ↪ C (непрерывность); H^1(0,1) ↪ C[0,1], но H^1(R³) ↪ L^6 лишь

Связанные темы

Пространства Соболева-основа современной теории ДЧП:

• Распределения Шварца — Обобщённые функции (распределения)-более широкое обобщение, включающее дельта-функции как предельный случай пространств Соболева
• Спектральная теорема — Лапласиан -∇²-самосопряжённый оператор с областью определения H^2; его спектральное разложение даёт базис пространств Соболева

Вопросы для размышления

• Что означает H^{-1}(Ω)-пространство Соболева с отрицательным индексом? Как определяется норма и что является элементами этого пространства?
• Теорема вложения зависит от размерности n. Почему в высоких измерениях (n >> 1) нужны бо́льшие k для вложения в C? Как это связано с проклятием размерности в ML?
• PINN используют потери, включающие производные. В каких пространствах Соболева нужно искать решения физических уравнений, и что гарантирует их существование?

Связанные уроки

• calc-17-multivariable