Дельта-функция Дирака

Дельта-функция Дирака (δ-функция) — это обобщённая функция (распределение), введённая английским физиком-теоретиком Полем Дираком в 1927 году для формализации понятия точечного импульса или точечного заряда в квантовой механике. Математически дельта-функция определяется как функционал, который каждому непрерывному тестовому (пробному) значению сопоставляет его значение в нуле: ∫ℝ φ(x) δ(x) dx = φ(0). Физически она описывает бесконечно узкий и бесконечно высокий пик с единичной площадью, локализованный в одной точке. Дельта-функция не является функцией в классическом смысле, так как её значение в нуле не определено (бесконечно), а вне нуля равно нулю. Она служит математическим инструментом для моделирования мгновенных воздействий, точечных источников и разрывных процессов в различных областях науки и техники.

Определение и свойства

Формальное определение

Строгое математическое обоснование дельта-функции было дано в рамках теории распределений (обобщённых функций), разработанной французским математиком Лораном Шварцем в 1940-х годах. Согласно этому подходу, δ-функция — это линейный непрерывный функционал на пространстве основных (бесконечно дифференцируемых с компактным носителем) функций. Её действие на пробную функцию φ(x) задаётся равенством:

⟨δ, φ⟩ = φ(0).

Для многомерного случая (в ℝⁿ) дельта-функция определяется как δ(x₁, x₂, …, xₙ) = δ(x₁)δ(x₂)…δ(xₙ), и её действие на пробную функцию φ(x) даёт φ(0).

Основные свойства

• Фильтрующее свойство: ∫ℝ f(x) δ(x – a) dx = f(a) для любой непрерывной функции f(x). Это свойство позволяет «выбирать» значение функции в точке.
• Чётность: δ(x) = δ(–x). Дельта-функция симметрична относительно нуля.
• Масштабирование: δ(ax) = (1/|a|) δ(x) для a ≠ 0. При изменении аргумента площадь под кривой сохраняется.
• Производная дельта-функции: δ'(x) — это обобщённая функция, действующая по правилу ⟨δ', φ⟩ = –φ'(0). Это позволяет моделировать точечные диполи и другие сингулярные источники.
• Свёртка: (f * δ)(x) = ∫ℝ f(t) δ(x – t) dt = f(x). Свёртка с дельта-функцией воспроизводит исходную функцию.
• Интегральное представление: δ(x) = (1/2π) ∫ℝ e^{ikx} dk (в смысле обобщённых функций). Это представление широко используется в теории преобразований Фурье.

Представления в виде предела последовательностей

Дельта-функцию можно аппроксимировать последовательностями обычных функций, сходящихся к ней в смысле распределений. Примеры:

• Гауссово ядро: δ_ε(x) = (1/√(2πε)) e^{-x²/(2ε)}.
• Ядро Лоренца (Коши): δ_ε(x) = ε/(π(x² + ε²)).
• Прямоугольное ядро: δ_ε(x) = 1/(2ε) при |x| ≤ ε, 0 при |x| > ε.
• Ядро sinc: δ_ε(x) = sin(x/ε)/(πx).

Все эти последовательности при ε → 0 дают в пределе δ-функцию.

История

Предпосылки

Понятие точечного источника встречалось в физике и до Дирака. В 1828 году английский математик Джордж Грин ввёл функцию Грина для решения дифференциальных уравнений, которая фактически является откликом системы на точечное воздействие. В 1882 году немецкий физик Густав Кирхгоф использовал аналогичные идеи в теории дифракции. Однако формального аппарата для работы с такими сингулярностями не существовало.

Введение Дирака

В 1927 году Поль Дирак в своей книге «Принципы квантовой механики» (первое издание — 1930) ввёл δ-функцию для описания собственных функций оператора координаты, которые не являются квадратично интегрируемыми. Дирак определил её как функцию, удовлетворяющую условиям:

• δ(x) = 0 при x ≠ 0,
• ∫ℝ δ(x) dx = 1.

Он осознавал нестрогость такого определения, но использовал его как удобный вычислительный инструмент. Физики быстро приняли δ-функцию, несмотря на критику со стороны математиков.

Математическая строгость

В 1940-х годах Лоран Шварц разработал теорию распределений, которая дала строгую математическую основу для δ-функции. За эту работу Шварц получил Филдсовскую медаль в 1950 году. В его теории δ-функция стала частным случаем обобщённой функции, а её свойства были строго доказаны. Впоследствии теория распределений была обобщена на случай функций нескольких переменных, а также на римановы многообразия.

Применение

Квантовая механика

δ-функция является основой для описания непрерывного спектра. Собственные функции оператора координаты ψ_x₀(x) = δ(x – x₀) образуют ортонормированный базис в смысле обобщённых функций. Аналогично, собственные функции оператора импульса — плоские волны e^{ipx/ħ} — также нормируются на δ-функцию. Правила коммутации Гейзенберга [x̂, p̂] = iħδ(x – x') записываются с её помощью.

Электродинамика

В классической электродинамике δ-функция используется для описания точечных зарядов и токов. Плотность заряда точечной частицы в точке r₀ записывается как ρ(r) = q δ(r – r₀). Уравнения Максвелла с такими источниками решаются с помощью функций Грина, которые выражаются через δ-функцию.

Теория сигналов и обработка изображений

В теории сигналов δ-функция (единичный импульс) служит математической моделью идеального кратковременного импульса. Свёртка сигнала с δ-функцией воспроизводит исходный сигнал. Преобразование Фурье δ-функции равно константе (1), что делает её важным инструментом в спектральном анализе. В цифровой обработке сигналов используется дискретный аналог — единичный импульс Кронекера δ_{n,0}.

Уравнения математической физики

δ-функция является основой для построения функций Грина дифференциальных операторов. Функция Грина G(x, x') удовлетворяет уравнению LG = δ(x – x'), где L — линейный дифференциальный оператор. Решение неоднородного уравнения Lu = f записывается в виде свёртки: u(x) = ∫ G(x, x') f(x') dx'. Этот метод применяется в теории теплопроводности, волновой теории, теории потенциала и других разделах.

Теория вероятностей и статистика

В теории вероятностей δ-функция используется для описания вырожденных распределений. Функция распределения случайной величины, принимающей значение a с вероятностью 1, равна F(x) = H(x – a), где H — функция Хевисайда, а её производная в смысле обобщённых функций равна δ(x – a). В байесовской статистике δ-функция применяется для задания априорных распределений с точечной массой.

Обобщения и разновидности

Многомерная дельта-функция

В ℝⁿ дельта-функция определяется как произведение одномерных: δ(r) = δ(x₁)…δ(xₙ). В криволинейных координатах (например, сферических) она принимает вид δ(r – r₀) = (1/r² sinθ) δ(r – r₀) δ(θ – θ₀) δ(φ – φ₀) с учётом якобиана преобразования.

Дельта-функция на многообразиях

На римановых многообразиях (например, на сфере) дельта-функция определяется относительно инвариантной меры. Её можно разложить в ряд по собственным функциям оператора Лапласа-Бельтрами.

Дискретная дельта-функция (символ Кронекера)

В дискретной математике аналогом δ-функции является символ Кронекера δ_{ij}, который равен 1 при i = j и 0 при i ≠ j. Он используется в линейной алгебре, комбинаторике и теории графов.

Обобщённые функции с носителем в точке

Кроме δ-функции, существуют её производные δ'(x), δ''(x) и т.д., которые действуют на пробные функции как ⟨δ^{(n)}, φ⟩ = (–1)ⁿ φ^{(n)}(0). Они используются для моделирования мультиполей высших порядков.

Интересные факты

• Дирак первоначально обозначал δ-функцию символом δ, по аналогии с символом Кронекера, но с непрерывным индексом.
• В 1950-е годы советский математик И.М. Гельфанд развил теорию обобщённых функций, включая δ-функцию, в контексте решения задач математической физики.
• δ-функция не является функцией в классическом смысле, поэтому её часто называют «функцией-монстром» или «патологической функцией».
• В квантовой теории поля δ-функция используется для определения коммутационных соотношений полей и для регуляризации расходимостей.
• В инженерной практике δ-функцию часто аппроксимируют коротким прямоугольным импульсом единичной площади.

Критика и ограничения

Математическая строгость δ-функции была предметом споров в первой половине XX века. Некоторые математики, в частности Джон фон Нейман, критиковали Дирака за нестрогость. Однако после создания теории распределений критика утихла. Основные ограничения δ-функции:

• Невозможность определить её значение в точке (бесконечность).
• Необходимость работы в пространстве обобщённых функций, что требует специальной математической подготовки.
• При численных расчётах δ-функцию приходится аппроксимировать, что может приводить к погрешностям.

Источники

• Дирак П.А.М. Принципы квантовой механики. — М.: Наука, 1979.
• Шварц Л. Математические методы для физических наук. — М.: Мир, 1965.
• Гельфанд И.М., Шилов Г.Е. Обобщённые функции и действия над ними. — М.: Физматлит, 1958.
• Владимиров В.С. Уравнения математической физики. — М.: Наука, 1981.
• Тихонов А.Н., Самарский А.А. Уравнения математической физики. — М.: Изд-во МГУ, 1999.