Распределения и слабые решения

Цели урока

• Понять определение распределения как непрерывного линейного функционала на пространстве тестовых функций
• Освоить дифференцирование распределений через формулу <T', phi> = -<T, phi'>
• Знать фундаментальные решения основных операторов и принцип свёртки Lu = f => u = E * f
• Понимать слабые решения PDE и теорему Лакса-Мильграма для их существования

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

• Пространства Соболева H^1
• Интегрирование по частям
• Основы функционального анализа

• Пространства Соболева
• Банаховы и гильбертовы пространства

Почему физики 20 лет использовали дельта-функцию без строгого определения - и оказались правы? Что значит взять производную от разрывной функции?

• Nvidia H100: моделирование импульсных откликов нейронных сетей использует свёртку с дельта-функцией для описания мгновенных переходов
• Метод конечных элементов (Ansys, COMSOL): слабые решения уравнений упругости на 10^8 ячейках - без теории распределений нет математического обоснования FEM
• FNet (Google 2021): FFT-трансформер в 7 раз быстрее BERT - прямое применение теоремы о свёртке в умеренных распределениях
• Квантовая электродинамика: плотность заряда точечного электрона rho(x) = e * delta^3(x - x_0), фундаментальные решения оператора Дирака

От физической интуиции к строгой теории

Пол Дирак ввёл дельта-функцию в 1927 году для квантовой механики как объект, сосредоточенный в точке. Математики отвергали её как нестрогую. Лоран Шварц в 1945-1950 построил теорию распределений, которая дала точный смысл всем интуициям Дирака. В 1950 году Шварц получил Филдсовскую медаль. Его теория стала основой математического анализа современных PDE: метода конечных элементов, граничных элементов, спектральных методов. Микки Гельфанд и Шилов развили теорию обобщённых функций параллельно в СССР.

Распределения Шварца

1950 год. Лоран Шварц получает Филдсовскую медаль. Его теория распределений делает математически законным то, чем физики пользовались 20 лет без строгого обоснования. Дельта-функция Дирака, производная функции Хевисайда, фундаментальные решения уравнений - всё это обретает точный смысл.

Тестовые функции - пространство D(Omega) = C_c^inf(Omega) бесконечно гладких функций с компактным носителем. Распределение T - это непрерывный линейный функционал на D(Omega). Дельта-функция действует по правилу: T_delta(phi) = phi(0) для любой тестовой phi.

Обобщённые функции позволяют дифференцировать любую локально суммируемую функцию. Это ключевой факт для численных методов: конечные элементы работают именно потому, что решение ищется в классе слабых решений, а не классических.

Фундаментальные решения и уравнения в частных производных

Фундаментальное решение дифференциального оператора L - это распределение E такое, что L(E) = delta. Зная E, можно решить уравнение Lu = f для любой правой части: u = E * f (свёртка). Это универсальный механизм: метод граничных элементов, преобразование Фурье, ядра теплопроводности - всё строится на фундаментальных решениях.

Знак доллара нельзя использовать в тексте параграфов. В фундаментальных решениях денежные суммы пишутся словами: 440 млн долларов, USD 440M. Это критично для рендера формул в приложении.

Слабые решения дифференциальных уравнений

Классическое решение уравнения -Delta u = f требует u в C^2(Omega). Слабое решение требует лишь u в H^1(Omega). Это расширение рабочего класса функций - не математическая прихоть, а необходимость: уравнение теплопроводности с разрывными коэффициентами (граница двух сред) не имеет классического решения, но всегда имеет слабое.

Теорема Лакса-Мильграма - главный инструмент существования слабых решений. Для уравнений эллиптического типа коэрцитивность билинейной формы вытекает из неравенства Пуанкаре: norma u в L^2 <= C * norma nabla u в L^2. Именно это гарантирует корректность метода конечных элементов.

Умеренные распределения и преобразование Фурье

Преобразование Фурье обычных функций L^1(R^n) действует на ограниченном классе. Умеренные распределения S'(R^n) - двойственное пространство к пространству Шварца S(R^n) быстро убывающих функций - расширяют Фурье на всё полезное: дельта-функции, полиномы, периодические функции, степенные функции. Это язык, на котором разговаривают сигнальная обработка и квантовая механика.

Связи с другими областями

Теория распределений - фундамент численных методов, физики и обработки сигналов.

• Пространства Соболева — Распределения дают язык для слабых производных, лежащих в основе соболевских пространств
• Теория распределений — Базовая теория Шварца, на которой строятся слабые решения PDE
• Спектральная теория самосопряжённых операторов — Резольвенты дифференциальных операторов изучаются как распределения

Итоги

• Распределение - непрерывный линейный функционал на D(Omega); дельта-функция: <delta_{x_0}, phi> = phi(x_0)
• Производная: <T', phi> = -<T, phi'>; каждое распределение бесконечно дифференцируемо
• Фундаментальное решение E: L(E) = delta; решение Lu = f строится как u = E * f
• Слабое решение уравнения Пуассона: a(u,v) = (f,v) для всех v in H^1_0; существование по Лаксу-Мильграму
• Умеренные распределения S'(R^n): F[delta] = 1, F[T'] = i*xi * F[T], F[T*S] = F[T]*F[S]

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

• Почему каждое распределение бесконечно дифференцируемо, хотя обычные функции класса C^0 дифференцируемы только в специальных точках?
• Как фундаментальное решение позволяет решить уравнение Lu = f для произвольной правой части f?
• В чём математический смысл утверждения 'плотность заряда точечной частицы равна дельта-функции'?

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

• fa-21 — Пространства Соболева - основа слабых решений
• fa-23 — Полугруппы строятся на фундаментальных решениях распределений
• fa-24 — Спектральная теория использует обобщённые собственные функции