Обобщенные функции

Когда физикам перестает хватать существующего математического аппарата, они придумывают новый математический аппарат. Так было с Ньютоном, который придумал матан, так было с Фурье, который придумал раскладывать в тригонометрические ряды все подряд, так произошло и с обобщенными функциями. Кратко проблему можно поставить так: как выразить плотность материальной точки функцией от координат так, чтобы проинтегрировав ее, мы бы получали корректную массу?

Определения

Носителем функции называется подмножество области определения функции, на котором она отлична от нуля.

Линейным непрерывным функционалом на линейном пространстве $$\mathscr{L}$$ называется отображение $$f \colon \mathscr{L} \mapsto \mathbb{R}\ \text{или}\ \mathbb{C}$$, для которого выполнено:

1. $$\forall x, y \in \mathscr{L}\quad f(x + y) = f(x) + f(y)$$
2. $$\forall x \in \mathscr{L}\quad \forall \alpha \in \mathbb{R}\ (\mathbb{C})\quad f(\alpha x) = \alpha f(x)$$
3. $$\forall {x_n}\colon\ \|x_n - x\| \rightarrow 0 \quad f(x_n) \rightarrow f(x)$$

Первые 2 пункта отвечают за линейность, а 3-й пункт отвечает за непрерывность.

Теперь рассмотрим некоторое линейное пространство $$\mathscr{L}$$. Тогда сопряженным к $$\mathscr{L}$$ называется пространство всех линейный непрерывных функционалов над $$\mathscr{L}$$.

Во многих линейных функциональных пространствах действие линейного функционала на элемент пространства (то есть на функцию) записывают как интеграл от произведения этой функции на какую-то другую, которая символизирует тот самый линейный непрерывный функционал. Например, рассмотрим пространство $$\mathscr{L}_1[0, 1]$$. Это пространство функций, для которых $$\int_0^1 \left| f(x) \right|\,dx < \infty$$. Сопряженным к нему называется пространство $$\mathscr{L}_\infty$$ таких функций $$g(\cdot)$$, что $$\mathrm{ess} \sup\limits_{x \in [0, 1]} \left| g(x) \right| < \infty$$. И тогда запись $$\int_0^1 f(x) g(x)\,dx$$ символизирует результат действия функционала $$g$$ на функцию $$f$$.

Теперь рассмотрим пространство $$\mathscr{D}$$ таких функций, что:

1. $$\mathscr{D} \in C^\infty(\mathbb{R})$$ — функции из $$\mathscr{D}$$ являются бесконечно дифференцируемыми.
2. $$\supp f(\cdot) \in \mathrm{comp}(\mathbb{R})$$ — носитель функции (множество точек, на которых она отлична от нуля) является компактом.

Это пространство будем называть пространством основных функций. Плавно подошли к самому главному определению:

Обобщенной функцией называется линейный непрерывный функционал над пространством $$\mathscr{D}$$ основных функций.