Преобразования Фурье

Пусть $A$ — обратимый линейный оператор на $R^{n}, f \in L^{1}\left(R^{n}\right)$, и $g(x) = f(A x)$. Выразите $\hat{g}$ через $\hat{f}$. Это обобщает пункт $(d)$ теоремы 7.2.

Является ли топология $\mathscr {S}_{n}$ индуцированной некоторой инвариантной метрикой, превращающей преобразование Фурье в изометрию $\mathscr {S}_{n}$ на $\mathscr {S}_{n}$?

Пусть $f(x) = e^{x}, g(x) = e^{x} \cos \left(e^{x}\right)$, на действительной прямой. Покажите, что $g$ является умеренным распределением, но $f$ — нет.

По упражнению 3 существуют распределения в $R^{n}$, которые не являются умеренными. Такие распределения являются непрерывными линейными функционалами на $\mathscr {D}\left(R^{n}\right)$, не имеющими непрерывного линейного продолжения на $\mathscr {S}_{n}$. Объясните, почему это не противоречит теореме Хана–Банаха.

Докажите, что операции, перечисленные в теореме 7.13, являются непрерывными отображениями $\mathscr {S}_{n}^{\prime }$ в $\mathscr {S}_{n}^{\prime }$.

Если $u \in \mathscr {S}_{n}^{\prime }$, докажите, что

для каждого $x \in R^{n}$.

Пусть $f \in L^{1}\left(R^{n}\right), f \neq 0, \lambda$ — комплексное число, и $\hat{f} = \lambda f$. Что вы можете сказать о $\lambda$?

Докажите пункт (a) теоремы 7.8 непосредственно (не используя преобразования Фурье).

Преобразование Фурье комплексной борелевской меры $\mu$ на $R^{n}$ обычно определяется как функция $\hat{\mu }$, задаваемая формулой

Разумеется, $\mu$ также является умеренным распределением, и как таковое её преобразование Фурье было определено в разделе 7.14. Покажите, что эти два определения согласуются. Докажите, что каждая $\hat{\mu }$ ограничена и равномерно непрерывна.

Пусть $\Lambda : \mathscr {S}_{n} \rightarrow C\left(R^{n}\right)$ непрерывно, линейно, и $\tau_{x} \Lambda = \Lambda \tau_{x}$ для каждого $x \in R^{n}$. Следует ли отсюда, что существует $u \in \mathscr {S}_{n}^{\prime }$, такое что

для каждой $\phi \in \mathscr {S}_{n}$?

Если $\left\{ h_{j}\right\}$ — приближённая единица, как в определении 6.31, и $u \in \mathscr {S}_{n}^{\prime }$, следует ли отсюда, что $u * h_{j} \rightarrow u$ при $j \rightarrow \infty$, в слабой*-топологии $\mathscr {S}_{n}^{\prime }$?

Пусть $X$ и $Y$ — полные метрические пространства, $A$ плотно в $X, f: A \rightarrow Y$ равномерно непрерывна.

Пусть $F$ — целая функция в $\mathbb {C}^{n}$, и пусть каждому $\varepsilon > 0$ соответствуют целое число $N(\varepsilon )$ и константа $\gamma (\varepsilon ) < \infty$, такие что

Докажите, что $F$ — многочлен.

Пусть $f$ — целая функция в $C^{n}, N$ — положительное целое число, $r \geq 0$, и

Докажите, что тогда

Указание: зафиксируем $z = x+i y \in \mathbb {C}^{n}$; определим

при $\lambda \in \mathcal{C}, s > 0$, и примените теорему о максимуме модуля к большой полукруговой области в верхней полуплоскости, чтобы вывести, что $\left|g_{s}(i)\right| < 1$. Положим $s \rightarrow 0$.

В пункте (b) теоремы 7.23 не утверждается, что $u$ имеет порядок $N$. Следующий пример показывает, что это не всегда верно.

Пусть $\mu$ — борелевская вероятностная мера на $R^{3}$, сосредоточенная на единичной сфере $S^{2}$ и инвариантная относительно всех вращений $S^{2}$. Вычислите (используя сферические координаты), что

Положим $u = D_{1} \mu$. Тогда

Выведите из упражнения 15, что

хотя $u$ не является распределением порядка 0. (Его порядок равен 1). Найдите явную формулу для целой функции $u\left(e_{-z}\right), z \in \mathbb {C}^{3}$.

Пусть $u$ — распределение в $R^{n}$ с компактным носителем $K$, преобразование Фурье $\hat{u}$ которого является ограниченной функцией на $R^{n}$.

Было ли необходимо вводить функцию $\psi$ в доказательство теоремы 7.25? Можно ли было упростить доказательство, положив $F(x) = f(x)$ на $K, F(x) = 0$ вне K?

Покажите, что условия теоремы 7.25 влекут, что $D_{f}^{\alpha }$ локально $L^{2}$ для каждого мультииндекса $\alpha$ с $\left|\alpha \right| \leq r$.

Пусть $f \in L^{2}\left(R^{2}\right)$ — непрерывная функция, преобразование Фурье которой равно

Поскольку $|y|^{3} \hat{f}(y)$ принадлежит $L^{2}\left(R^{2}\right)$, теорема 7.25 влечёт $f \in C^{(1)}\left(R^{2}\right)$. Покажите, что более сильный вывод $f \in C^{(2)}\left(R^{2}\right)$ неверен, доказав, что

Это показывает, что $>$ нельзя заменить на $\geq$ в (1) теоремы 7.25.

Пусть $u$ — распределение в $R^{n}$, первые производные которого $D_{1} u, \ldots , D_{n} u$ являются функциями в $L^{2}\left(R^{n}\right)$. Докажите, что $u$ также является функцией и что $u$ локально $L^{2}$. (Покажите, что слово "локально" нельзя опустить в выводе). Указание: $u$ на самом деле является суммой $L^{2}$-функции и целой функции.

При $n = 1$ покажите, что $u$ на самом деле непрерывная функция. Покажите, что этот более сильный вывод неверен при $n = 2$. Например, градиент функции

принадлежит $L^{2}\left(R^{2}\right)$. См. упражнение 11, гл. 8, для того же результата при более слабых условиях.

Периодические распределения, или распределения на торе $T^{n}$, имеют ряды Фурье, теория которых несколько проще, чем теория преобразований Фурье. Это в основном обусловлено компактностью $T^{n}$: каждое распределение на $T^{n}$ имеет компактный носитель. В частности, умеренные распределения не представляют собой ничего особенного.

Докажите различные утверждения, сделанные в следующем базовом наброске:

Функции $\phi$ на $T^{n}$ можно отождествить с функциями $\tilde{\phi }$ на $R^{n}$, $2 \pi$-периодическими по каждой переменной, полагая

$Z^{n}$ — множество (или аддитивная группа) $n$-наборов $k = \left(k_{1}, \ldots , k_{n}\right)$ целых чисел $k_{j}$. Для $k \in Z^{n}$ функция $e_{k}$ определена на $T^{n}$ формулой

$\sigma_{n}$ — мера Хаара $T^{n}$. Если $\phi \in L^{1}\left(\sigma_{n}\right)$, коэффициенты Фурье $\phi$ суть

$\mathscr {D}\left(T^{n}\right)$ — пространство всех функций $\phi$ на $T^{n}$, таких что $\tilde{\phi } \in C^{\infty }\left(R^{n}\right)$. Если $\phi \in \mathscr {D}\left(T^{n}\right)$, то

при $N = 0,1,2, \ldots$ Эти нормы задают топологию пространства Фреше на $\mathscr {D}\left(T^{n}\right)$, которая совпадает с топологией, заданной нормами

$\mathscr {D}^{\prime }\left(T^{n}\right)$ — пространство всех непрерывных линейных функционалов на $\mathscr {D}\left(T^{n}\right)$; его элементы — распределения на $T^{n}$. Коэффициенты Фурье любого $u \in \mathscr {D}^{\prime }\left(T^{n}\right)$ определяются формулой

Каждому $u \in \mathscr {D}^{\prime }\left(T^{n}\right)$ соответствуют $N$ и $C$, такие что

Обратно, если $g$ — комплексная функция на $Z^{\vect {n}}$, удовлетворяющая $\left|g(k)\right| \leq C(1+\left|k\right|)^{N}$ при некоторых $C$ и $N$, то $g = \hat{u}$ для некоторого $u \in \mathscr {D}^{\prime }\left(T^{n}\right)$.

Таким образом, существует линейное взаимно однозначное соответствие между распределениями на $T^{n}$, с одной стороны, и функциями полиномиального роста на $Z^{n}$, с другой.

Если $E_{1} \subset E_{2} \subset E_{3} \subset \cdots$ — конечные множества, объединение которых есть $Z^{n}$, и если $u \in \mathscr {D}^{\prime }\left(T^{n}\right)$, "частичные суммы"

сходятся к $u$ при $j \rightarrow \infty$, в слабой*-топологии $\mathscr {D}^{\prime }\left(T^{n}\right)$. Свёртка $u * v$ функций $u \in \mathscr {D}^{\prime }\left(T^{n}\right)$ и $v \in \mathscr {D}^{\prime }\left(T^{n}\right)$ проще всего определяется как имеющая коэффициенты Фурье $\hat{u}(k) \hat{v}(k)$. Аналоги теорем 6.30 и 6.37 верны; доказательства значительно проще.

Модифицируйте доказательство теоремы 7.25 так, чтобы вместо преобразований Фурье использовались ряды Фурье, заменив $F$ подходящей периодической функцией.

Положим $c = (2 / \pi )^{1 / 2}$. При $j = 1,2,3, \ldots$ определим $g_{j}$ на действительной прямой формулой

Докажите, что $\left\{ \hat{g}_{j}\right\}$ — равномерно ограниченная последовательность функций, сходящаяся поточечно при $j \rightarrow \infty$. Если $f \in L^{2}\left(R^{1}\right)$, отсюда следует, что $f * g_{j}$ сходится, в метрике $L^{2}$, к функции $H f \in L^{2}$. Это преобразование Гильберта функции $f$; формально,

(Интеграл существует, в смысле главного значения, почти для каждого $x$, но это не так просто доказать; если $f$ удовлетворяет условию Липшица порядка 1, например, доказательство тривиально). Докажите, что

для каждой $f \in L^{2}\left(R^{1}\right)$. Таким образом, $H$ — изометрия $L^{2}$ периода 4. Верно ли, что $H f \in \mathscr {S}_{1}$, если $f \in \mathscr {S}_{1}$?