Теория распределений Шварца

Мотивация: строгий язык для «дельта-функций»

Физики давно использовали «дельта-функцию» Дирака δ(x): бесконечная в точке 0, нулевая всюду, с ∫δ(x)dx = 1. Классически такого объекта нет. Шварц в 1945–50 построил теорию распределений — делающую δ(x) строгим объектом. Ключевое свойство: любое распределение бесконечно дифференцируемо! Это даёт строгий фундамент для физических «функций» типа δ(r−r₀) (точечный заряд).

Пространство основных функций и распределения

D(Ω) = C₀^∞(Ω): бесконечно дифференцируемые функции с компактным носителем. Топология: φₙ → φ — носители в одном K, D^α φₙ ⇒ D^α φ равномерно для всех α.

Пространство Шварца S(ℝⁿ): быстро убывающие функции: sup_x |x^β D^α φ| < ∞ для всех α,β. D ⊂ S.

Распределение T ∈ D'(Ω): линейный непрерывный функционал на D. ⟨T, φ⟩ = T(φ).

Регулярные распределения: f ∈ L¹_{loc} → T_f: ⟨T_f, φ⟩ = ∫fφ dx.

Дельта-функция: ⟨δ, φ⟩ = φ(0). Не является функцией в обычном смысле.

Производная δ: ⟨δ', φ⟩ = −⟨δ,φ'⟩ = −φ'(0). Физически — диполь.

Производная распределения

Определение: ⟨T', φ⟩ = −⟨T, φ'⟩ для всех φ ∈ D.

Каждое распределение бесконечно дифференцируемо!

Функция Хевисайда: H(x) = 0 при x < 0, 1 при x ≥ 0. ⟨H', φ⟩ = −⟨H, φ'⟩ = −∫₀^∞ φ'(x)dx = −[φ]₀^∞ = φ(0) = ⟨δ, φ⟩. H' = δ ✓.

Фундаментальные решения: P(D)E = δ. Если P(D)E = δ, то P(D)(E*f) = f. Решение P(D)u = f: u = E * f.

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

Задача: Доказать (|x|)'' = 2δ(x) в смысле распределений.

Шаг 1. Из предыдущей статьи: (|x|)' = sign(x) как распределение.

Шаг 2. (|x|)'' = (sign(x))' в смысле распределений. По определению: ⟨sign', φ⟩ = −⟨sign, φ'⟩ = −∫_{-∞}^∞ sign(x)·φ'(x)dx.

Шаг 3. −∫₋∞^∞ sign(x)φ'(x)dx = −[∫₋∞⁰ (−1)φ'dx + ∫₀^∞ 1·φ'dx]. = ∫₋∞⁰ φ'dx − ∫₀^∞ φ'dx = [φ]₋∞⁰ − [φ]₀^∞ = (φ(0)−0) − (0−φ(0)) = 2φ(0).

Шаг 4. ⟨sign', φ⟩ = 2φ(0) = ⟨2δ, φ⟩. Значит (|x|)'' = 2δ(x) ✓.

Шаг 5. Физический смысл: |x| — потенциал «линейной пружины» (V = k|x|). Сила = −V' = −k·sign(x). Производная силы = −V'' = −2kδ(x) — «точечная масса» (или «точечная нагрузка») в x=0. В механике: сосредоточенная нагрузка на балку описывается δ-функцией.

Шаг 6. Фундаментальное решение Лапласиана: Δ(1/(4π|x|)) = −δ(x) в ℝ³. Потенциал точечного заряда q: φ = q/(4πε₀|x|) — прямое следствие теории распределений.

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

Электродинамика и механика: заряд точечной частицы = ρ(r) = q·δ(r−r₀). Точечная нагрузка на конструкцию = f(x) = F·δ(x−x₀). Теория распределений позволяет строго решать уравнения Максвелла, Навье-Стокса и уравнения упругости с точечными источниками — без «физических» рассуждений о «бесконечных» функциях.

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

Распределения (обобщённые функции по Шварцу) определяются как непрерывные линейные функционалы на пространстве S(ℝ^n) быстро убывающих гладких функций. Это позволяет дифференцировать любую локально интегрируемую функцию неограниченно (в смысле распределений) и придаёт строгий смысл объектам типа δ(x), δ'(x), v.p.(1/x). Свёртка распределений и преобразование Фурье корректно расширяются на пространство умеренных распределений S'. Фундаментальное решение E(x) дифференциального оператора L удовлетворяет L·E = δ, и решение неоднородного уравнения Lu = f находится свёрткой u = E ∗ f. Теорема Шварца о ядре устанавливает биекцию между непрерывными операторами и распределениями двух переменных — фундамент теории псевдодифференциальных операторов и микролокального анализа.

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

Теория распределений стала стандартным языком для линейных дифференциальных уравнений с сингулярными правыми частями. В классической монографии Хёрмандера показано, что любой линейный дифференциальный оператор с гладкими коэффициентами непрерывно действует на пространствах D' и S', а фундаментальные решения удобно описывать как распределения с контролируемым ростом. Для эллиптических операторов это связывается с теоремами регулярности: если Lu = f в смысле распределений и f гладкая, то u автоматически гладко, что формализует принцип эллиптического сглаживания.

Преобразование Фурье на умеренных распределениях S' лежит в основе теории псевдодифференциальных операторов (Калдерон, Зигмунд, Кона, Ниренберг). Там символы операторов описываются через действие на S', а сингулярности решений анализируются микролокально. Концепция волнового фронта распределения (Хёрмандер) соединяет теорию распределений с современной симплектической геометрией и топологией контактных многообразий, поскольку носитель волнового фронта живет в котангенциальном расслоении.

В функциональном анализе пространствам тестовых функций и их двойственным пространствам соответствует целый зоопарк ядерных пространств в смысле Гельфанда–Шилова. Теорема Шварца о ядре, связывающая непрерывные линейные операторы с распределениями двух переменных, является конкретной реализацией тенсорных произведений ядерных пространств и используется в теории операторных алгебр.

В вероятности обобщённые случайные процессы, такие как белый шум, понимаются как случайные распределения: это меры на D' или S'. Конструкция Минлоса–Боголюбова связывает положительно определённые функционалы на пространствах тестовых функций с вероятностными мерами на пространстве распределений, что используется в квантовой теории поля и стохастическом анализе.

Численные методы для уравнений с сингулярными источниками опираются на регуляризацию и слабые постановки. Метод конечных элементов и метод граничных элементов трактуют правые части как функционалы на пространствах Соболева, то есть как распределения, и многие теоремы существования и апостериорные оценки формулируются именно в этом языке.

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

Предыстория восходит к идеям обобщения производных у Сторча, Сохоцкого и Хадамара, а также к использованию сингулярных интегралов Коши и Пуанкаре. Однако цельной аксиоматической структуры не существовало. В 1935 году Жан Лере вводит понятие обобщенного потенциала в контексте уравнений Навье–Стокса, а Лоран Шварц в 1945–1950 годах оформляет все в единую теорию обобщенных функций. Ключевые работы опубликованы в Comptes Rendus de l’Académie des Sciences и в двухтомнике "Théorie des distributions" (Hermann, 1950–1951). Именно за эти результаты Шварц получает медаль Филдса в 1950 году. Мотивирующие задачи приходили из квантовой механики и электродинамики: формализм Дирака с бра–кетами и "δ-функцией", а также теорема Пойтинга и уравнения Максвелла с точечными источниками требовали строгого языка.