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

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

Немного предварительных определений

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

Линейным непрерывным функционалом на линейном пространстве $$\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 \| f(x)\,dx < \inf$$.