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

Мотивация: производные для «рваных» функций

Классические производные требуют гладкости. Но задачи механики и физики имеют решения с разрывами: нагрузка со скачком создаёт «кинк» в прогибе балки. Пространства Соболева расширяют понятие производной до L²-функций через формулу интегрирования по частям. Это язык теории слабых решений ДУ и метода конечных элементов.

Слабые (обобщённые) производные

Мотивация: Для u ∈ C¹ и φ ∈ C₀^∞: ∫ u'·φ dx = −∫ u·φ' dx. Если u не гладкая, определяем слабую производную v как функцию из L¹, такую что:

∫ v·φ dx = −∫ u·φ' dx для всех φ ∈ C₀^∞(Ω).

Примеры:

• u = |x|: v(x) = sign(x) — слабая производная. Классически u'(0) не существует.
• u = H(x) (Хевисайд): v = δ(x) — дельта-функция. Уже не функция, а распределение.

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

W^{k,p}(Ω): функции u ∈ Lᵖ(Ω), все слабые производные D^α u (|α| ≤ k) тоже в Lᵖ. Норма: ‖u‖{W^{k,p}} = (Σ{|α|≤k} ‖D^α u‖_p^p)^{1/p}.

H^k(Ω) = W^{k,2}(Ω): Гильбертово пространство Соболева.

H₀^k(Ω): замыкание C₀^∞(Ω) в H^k. Функции из H₀¹ удовлетворяют нулевым граничным условиям.

Теоремы вложения Соболева:

• W^{1,p}(Ω) ↪ Lᵍ(Ω) при q ≤ np/(n−p).
• H¹(−1,1) ↪ C^{0,1/2}[−1,1] (функции Гёльдера, n=1).

Теорема Лакс–Мильграма: Если a: H×H→ℝ непрерывна и коэрцитивна (a(u,u) ≥ α‖u‖² > 0), то для любого F ∈ H* ∃! u ∈ H: a(u,v) = F(v) для всех v ∈ H. Применение: слабая задача Дирихле (−Δu = f) всегда имеет единственное решение в H₀¹(Ω).

Численный пример

Задача: Найти слабую производную u(x) = |x| на (−1,1) и проверить u ∈ H¹(−1,1).

Шаг 1. Слабая производная v: ∫₋₁¹ |x|·φ'(x)dx = −∫₋₁¹ v(x)·φ(x)dx для всех φ ∈ C₀^∞.

Шаг 2. Разбиваем: ∫₋₁⁰(−x)φ'dx + ∫₀¹ xφ'dx. Интегрируем по частям каждый: ∫₋₁⁰(−x)φ'dx = [−xφ]₋₁⁰ + ∫₋₁⁰ φ dx = 0 + ∫₋₁⁰ φ dx. ∫₀¹ xφ'dx = [xφ]₀¹ − ∫₀¹ φ dx = 0 − ∫₀¹ φ dx.

Шаг 3. ∫₋₁⁰ φ dx − ∫₀¹ φ dx = −∫₋₁¹ sign(x)·φ dx. Значит v(x) = sign(x).

Шаг 4. Проверим u ∈ H¹: ‖u‖²_{H¹} = ‖u‖²_{L²} + ‖u'‖²_{L²}. ‖|x|‖² = ∫₋₁¹ x² dx = 2/3. ‖sign(x)‖² = ∫₋₁¹ 1 dx = 2. ‖u‖²_{H¹} = 2/3 + 2 = 8/3 < ∞ → u ∈ H¹(−1,1) ✓.

Шаг 5. Проверим u ∉ H²: u' = sign(x) — слабая производная = 2δ(x) (из следующей статьи) ∉ L². Значит u ∈ H¹ H² ✓.

Шаг 6. Слабая задача: −u'' = 1 на (−1,1), u(±1) = 0. В H₀¹: a(u,v) = ∫u'v'dx = ∫v dx для всех v ∈ H₀¹. Точное решение u = (1−x²)/2 ∈ H₀¹ ∩ H² ✓.

Реальное приложение

Механика деформируемых тел: деформация балки под нагрузкой описывается уравнением d⁴u/dx⁴ = q(x). Слабая формулировка в H² позволяет работать с разрывными нагрузками. МКЭ строится именно на основе пространств Соболева и вариационной формулировки.

Дополнительные аспекты

Вариационные методы переводят дифференциальные уравнения на язык минимизации функционалов. Классический пример: задача Дирихле −Δu = f с u|∂Ω = 0 эквивалентна минимизации функционала энергии J(u) = (1/2)∫|∇u|² − ∫f·u. Решение существует и единственно благодаря выпуклости и коэрцитивности J и принадлежит пространству Соболева H¹₀(Ω). Это слабая (или вариационная) формулировка — фундамент теории нелинейных эллиптических уравнений (теорема Лакса–Мильграма), численных методов МКЭ и оптимизации формы (shape optimization). В физике вариационный принцип лежит в основе классической механики (принцип Гамильтона), общей теории относительности (действие Эйнштейна–Гильберта) и квантовой теории поля (формализм Фейнмана).

Связь с другими разделами математики

В теории дифференциальных уравнений пространства Соболева образуют естественную среду для уравнений эллиптического и параболического типов. Классические результаты Адамара, Агаллера и Дежоржа–Нэша–Мозера о регулярности слабых решений формулируются именно в терминах Hk и Wk,p. Теоремы вложения Соболева и компактности Реля–Кондрашова дают ключ к существованию решений в вариационных задачах типа Дирихле и Неймана.

В функциональном анализе пространства Wk,p являются модельными рефлексивными Банаховыми пространствами; их двойственные пространства описываются через пространства распределений и пространства Бесова. Теорема Риса о представлении линейных функционалов в гильбертовом пространстве в сочетании с Лакс–Мильграмом дает единственный слабый объект, соответствующий правой части уравнения.

Связь с топологией проявляется через понятие следа на границе и пространств следов. Теория следов (Губер, Лионс–Мадженес) показывает, как граничные условия Дирихле и Неймана реализуются как ограничения функций из H1 на многомерные многообразия. Это лежит в основе теории краевых задач на римановых многообразиях и спектральной теории оператора Лапласа.

В теории вероятностей градиенты в смысле Соболева и форма Дирихле описывают симметричные марковские процессы (работы Фукусимы и Ма). Для броуновского движения на многообразии энергия функции совпадает с нормой в H1, а слабый лапласиан связан с генератором марковского полугруппы.

Численные методы, в первую очередь метод конечных элементов (Циенкевич, Бреннер–Скотт), используют H1 и H2 как целевые пространства для аппроксимации. Оценки типа Сеа и теоремы о сходимости МКЭ формулируются в норме Соболева, а теория апостериорных оценок погрешности опирается на локальные нормы W1,p.

Историческая справка и развитие идеи

Предпосылки теории восходят к работам Серра и Гато о обобщенных производных в начале XX века. Терминология и систематическое использование слабых производных связаны с именем Сергея Львовича Соболева. В 1935–1938 годах он публикует в «Докладах АН СССР» и монографии «Некоторые применения функционального анализа в математической физике» строгую концепцию пространств, ныне называемых его именем, и применяет ее к задачам гиперболических уравнений. В западной литературе идеи получили широкое распространение через труды Лоренца Нильсена, Йозефа Л. Лионса и Энцо Мадженеса в 1950–1960-х годах. Книги Лионса–Мадженеса «Неоднородные краевые задачи и их приложения» и монография Юргена Штумпфа «Граничные задачи для эллиптических уравнений» закрепили язык пространств Sobolev для эллиптических и параболических задач. Важную роль сыграла работа Лакса и Мильграма 1954 года в «Communications on Pure and Applied Mathematics», где был сформулирован и доказан абстрактный вариационный принцип существования слабых решений эллиптических задач.