Пространство Шварца: определение и примеры функций

Пространство Шварца $\mathcal{S}(\mathbb{R})$ - это множество гладких функций, которые вместе со всеми своими производными убывают на бесконечности быстрее любой степени $1/x$. Его придумал Лоран Шварц как естественную область определения для преобразования Фурье и обобщённых функций: на $\mathcal{S}(\mathbb{R})$ Фурье работает без оговорок, переводя пространство само в себя. Ниже разберём строгое определение через полунормы, посмотрим на главный пример (гауссиану) и главный контрпример, поймём, зачем нужны умножение на $x^\alpha$ и дифференцирование $f^{(\beta)}$, и где в задачах чаще всего спотыкаются. Чтобы сразу почувствовать, как устроена проверка принадлежности, покрутите калькулятор ниже: он считает полунорму $\sup_x |x^\alpha f^{(\beta)}(x)|$ для гауссианы и показывает, что она конечна при любых индексах.

Что такое пространство Шварца

Функция $f$ принадлежит пространству Шварца $\mathcal{S}(\mathbb{R})$, если выполнены два условия одновременно:

1. $f$ бесконечно дифференцируема, то есть $f \in C^\infty(\mathbb{R})$;
2. сама функция и каждая её производная убывают быстрее любого многочлена. Формально: для любых неотрицательных целых $\alpha$ и $\beta$ величина $p_{\alpha,\beta}(f) = \sup_{x \in \mathbb{R}} \left| x^{\alpha} f^{(\beta)}(x) \right|$ конечна.

Величины $p_{\alpha,\beta}$ называют полунормами Шварца. Их бесконечно много (по всем парам индексов), и именно семейство этих полунорм задаёт на $\mathcal{S}(\mathbb{R})$ топологию. Содержательный смысл условия простой: как бы быстро ни рос множитель $x^\alpha$ и сколько бы раз мы ни продифференцировали функцию, произведение всё равно остаётся ограниченным на всей прямой. Такие функции и называют быстро убывающими.

Из определения сразу видно, чем пространство Шварца богаче и беднее знакомых классов. Оно уже, чем класс всех гладких функций: синус гладкий, но не убывает, поэтому $\sin x \notin \mathcal{S}(\mathbb{R})$. Оно богаче, чем финитные гладкие функции $C_0^\infty$: у функции из $\mathcal{S}(\mathbb{R})$ носитель может быть всей прямой, лишь бы хвост спадал достаточно быстро.

Полунормы и проверка принадлежности

Главный рабочий инструмент - это полунорма $p_{\alpha,\beta}$. Чтобы проверить, лежит ли функция в пространстве Шварца, нужно убедиться, что супремум $|x^\alpha f^{(\beta)}(x)|$ конечен сразу для всех индексов, а не для какой-то одной пары. На практике достаточно показать оценку вида $|x^\alpha f^{(\beta)}(x)| \le C_{\alpha,\beta}$ с некоторой константой, зависящей от индексов.

Рассчитать для своей задачи

На анимации показан ключевой механизм. Мы умножаем гауссиану на всё большую степень $x^\alpha$. Степенной множитель тянет график вверх и наружу, но экспоненциальное убывание гасит его настолько сильно, что максимум всё равно конечен и просто смещается дальше от нуля. Это и есть наглядная причина, почему гауссиана выдерживает любую полунорму: экспонента $e^{-a x^2}$ убывает быстрее, чем растёт любой многочлен.

Формально для гауссианы максимум $x^\alpha e^{-a x^2}$ при $\alpha > 0$ достигается там, где производная произведения обращается в нуль, то есть при $x^2 = \alpha/(2a)$. Подстановка даёт конечное значение, и никакой выбор $\alpha$ не делает его бесконечным. Калькулятор выше считает этот супремум численно: при $f = e^{-x^2}$, $\alpha = 0$, $\beta = 0$ он равен $1$, при $\alpha = 2$, $\beta = 0$ опускается до $\approx 0{,}368$, а при $\alpha = 0$, $\beta = 2$ поднимается до $2$ - но всегда остаётся числом.

Главный пример: гауссиана

Канонический элемент пространства Шварца - гауссиана $f(x) = e^{-a x^2}$ с любым $a > 0$. Она гладкая, и её производные имеют вид многочлена, умноженного на ту же экспоненту: $f^{(\beta)}(x) = a^{\beta/2}\,(-1)^{\beta} H_\beta\!\left(\sqrt{a}\,x\right) e^{-a x^2},$ где $H_\beta$ - многочлен Эрмита степени $\beta$. Поскольку $e^{-a x^2}$ убывает быстрее любого многочлена, произведение $x^\alpha f^{(\beta)}(x)$ ограничено для всех $\alpha, \beta$, то есть все полунормы конечны. Значит, гауссиана действительно лежит в $\mathcal{S}(\mathbb{R})$.

Тот же вывод работает для любого произведения многочлена на гауссиану: функция вида $P(x) e^{-a x^2}$ с произвольным многочленом $P$ принадлежит пространству Шварца. Эти функции образуют плотное подмножество - функции Эрмита, собственные функции преобразования Фурье. Именно поэтому пространство Шварца так удобно: на нём Фурье диагонализуется.

Контрпример: когда функция не из S(R)

Чтобы определение не казалось пустым, важно увидеть функцию, которая почти подходит, но всё-таки выпадает. Классический пример - $g(x) = 1/(1+x^2)$.

Рассчитать для своей задачи

Функция $g$ бесконечно дифференцируема и убывает к нулю на бесконечности - на первый взгляд всё в порядке. Но её хвост спадает лишь как $1/x^2$, то есть степенным образом, а не экспоненциально. Поэтому уже простейшая полунорма с $\alpha = 3$, $\beta = 0$ ломается: $x^3 g(x) = \frac{x^3}{1+x^2} \sim x \to \infty.$ Супремум бесконечен, условие быстрого убывания нарушено, и $1/(1+x^2) \notin \mathcal{S}(\mathbb{R})$. На картинке это видно как медленно убывающий красный хвост: гауссиана уже неотличима от нуля, а $1/(1+x^2)$ всё ещё заметно отделена от оси - именно этот степенной хвост и улавливает полунорма.

Вывод полезно держать в голове: гладкость и стремление к нулю на бесконечности - необходимые, но недостаточные условия. Решающее требование - скорость убывания должна бить любую степень.

Зачем Фурье и при чём здесь S(R)

Главная причина, по которой пространство Шварца вообще ввели, - преобразование Фурье. На $\mathcal{S}(\mathbb{R})$ оно ведёт себя идеально: переводит пространство Шварца в себя, является биекцией и взаимно меняет местами дифференцирование и умножение на переменную. Грубо говоря, дифференцирование по $x$ превращается в умножение на частоту $k$, а умножение на $x$ - в дифференцирование по $k$. Поэтому быстрое убывание и гладкость, заложенные в определении, под действием Фурье просто меняются ролями, и образ остаётся в том же классе.

Калькулятор показывает эту двойственность напрямую: чем уже гауссиана по $x$, тем шире её Фурье-образ по $k$, и наоборот, но обе кривые всегда гладкие и быстро убывающие. Гауссиана $e^{-x^2}$ вообще является неподвижной точкой преобразования Фурье - её образ снова гауссиана. Именно эта самосогласованность делает $\mathcal{S}(\mathbb{R})$ естественной ареной для анализа Фурье и теории обобщённых функций: двойственное к нему пространство - это пространство умеренно растущих распределений $\mathcal{S}'(\mathbb{R})$, на которое Фурье тоже продолжается без проблем.

Частые ошибки

• Путают убывание к нулю и быстрое убывание. То, что $f(x) \to 0$ на бесконечности, ничего не гарантирует: $1/(1+x^2)$ стремится к нулю, но в $\mathcal{S}(\mathbb{R})$ не входит. Нужна скорость убывания быстрее любой степени.
• Проверяют только саму функцию, забывая про производные. В определении стоит $f^{(\beta)}$ для всех $\beta$. Функция может убывать прекрасно, но иметь плохо ведущую себя производную - тогда она тоже выпадает из пространства.
• Берут конечный носитель как обязательное условие. Функции из $\mathcal{S}(\mathbb{R})$ не обязаны обращаться в нуль вне отрезка: гауссиана положительна всюду. Финитность - это более узкий класс $C_0^\infty$.
• Считают одну полунорму вместо всех. Конечность $p_{0,0}(f)$ ничего не доказывает: принадлежность требует конечности $p_{\alpha,\beta}$ сразу для всех пар индексов.

FAQ

Является ли пространство Шварца нормированным? Нет. Топологию на $\mathcal{S}(\mathbb{R})$ задаёт счётное семейство полунорм $p_{\alpha,\beta}$, а не одна норма. Это полное метризуемое локально выпуклое пространство, то есть пространство Фреше, но не банахово.

Чем пространство Шварца отличается от $C_0^\infty$? Пространство $C_0^\infty$ (гладкие финитные функции) строго вложено в $\mathcal{S}(\mathbb{R})$: у его элементов носитель ограничен. У функции из $\mathcal{S}(\mathbb{R})$ носитель может быть всей прямой, важно лишь, чтобы хвосты убывали быстрее любой степени, как у гауссианы.

Почему гауссиана так важна для пространства Шварца? Гауссиана $e^{-x^2}$ - неподвижная точка преобразования Фурье и образующая для функций Эрмита, которые плотны в $\mathcal{S}(\mathbb{R})$. На ней удобнее всего проверять и определение, и поведение Фурье, поэтому она служит рабочим примером почти в каждой задаче.

Коротко

Пространство Шварца $\mathcal{S}(\mathbb{R})$ - это гладкие функции, у которых сама функция и все производные убывают быстрее любой степени; формально это означает конечность всех полунорм $p_{\alpha,\beta}(f) = \sup_x |x^\alpha f^{(\beta)}(x)|$. Образцовый пример - гауссиана $e^{-a x^2}$ и любые произведения многочлена на неё, а типичный контрпример - $1/(1+x^2)$, которая гладкая и убывает, но лишь степенным образом. Главная ценность этого класса в том, что преобразование Фурье переводит его в себя, поэтому $\mathcal{S}(\mathbb{R})$ служит фундаментом анализа Фурье и теории обобщённых функций.