Большая Советская энциклопедия - обобщённые функции

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

О. ф. были введены впервые в конце 20-х гг. 20 в. П. Дираком в его исследованиях по квантовой механике, где он систематически использует понятие дельта-функции (См. Дельта-функция) и её производных. Основы математической теории О. ф. были заложены С. Л. Соболевым в 1936 при решении Коши задачи (См. Коши задача) для гиперболич. уравнений, а в послевоенные годы французский математик Л. Шварц дал систематическое изложение теории О. ф. В дальнейшем теорию О. ф. интенсивно развивали многие математики, главным образом в связи с потребностями математической физики. Теория О. ф. имеет многочисленные применения и всё шире входит в обиход физика, математика и инженера.

Формально О. ф. определяются как линейные непрерывные Функционалы над тем или иным линейным пространством (См. Линейное пространство) основных функций φ(x). Основным пространством функций является, например, совокупность бесконечно дифференцируемых финитных функций, снабженная надлежащей Сходимостью (или, точнее, топологией). При этом обычные локально суммируемые функции f (x) отождествляются с функционалами (регулярными О. ф.) вида

(f, φ) = ∫f (x)φ(x) dx. (1)

Произвольная О. ф. f определяется как функционал f’, задаваемый равенством

(f', φ) = ‑ (f, φ'). (2)

При таком соглашении каждая О. ф. бесконечно дифференцируема (в обобщённом смысле). Равенство (2) в силу (1) есть не что иное, как обобщение формулы интегрирования по частям для дифференцируемых в обычном смысле функций f (x), так что в этом случае оба понятия производной совпадают.

Сходимость на (линейном) множестве О. ф. вводится как слабая сходимость функционалов. Оказывается, что операция дифференцирования О. ф. непрерывна, а сходящаяся последовательность О. ф. допускает почленное дифференцирование бесконечное число раз.

Вводятся и другие операции над О. ф., например Свёртка функций, Фурье преобразование, Лапласа преобразование. Теория этих операций приобретает наиболее простую и законченную форму в рамках понятия О. ф., расширяющих возможности классического математического анализа. Поэтому использование О. ф. существенно расширяет круг рассматриваемых задач и к тому же приводит к значительным упрощениям, автоматизируя элементарные операции.

Примеры. 1) δ-функция Дирака:

(δ, φ) = φ(0),

описывает плотность массы (заряда) 1, сосредоточенной в точке х = 0, единичный импульс.

2) θ (x) — функция Хевисайда: θ(x) = 0, х ≤ 0, θ(x) = 1, x > 0, θ' = δ;

производная от неё равна единичному импульсу.

3) —δ' — плотность диполя момента 1 в точке х = 0, ориентированного вдоль оси х.

4) μδs — плотность простого слоя на поверхности S с поверхностной плотностью μ:

5)