9

Преобразование Фурье на вещественной прямой

[9/89%]
Показать
LaTeX
Задача 9.1

Докажите, что функция sinc dπ(ξ)=sin⁡πξπξd_{\pi }(\xi ) = \frac{\sin \pi \xi }{\pi \xi } не принадлежит L1(R)L^{1}(\mathbb {R}).

?
Задача 9.2
?
(a)

Докажите, что каждая функция f∈C0(R)f \in C_{0}(\mathbb {R}) равномерно непрерывна, и покажите, что равномерная непрерывность эквивалентна утверждению

lim⁡a→0∥Taf−f∥L∞=0(9.21) \lim _{a \rightarrow 0}\left\| T_{a} f-f\right\| _{L^{\infty }} = 0 \tag {9.21}

Покажите, что уравнение (9.21) может не выполняться, если предполагать лишь f∈Cb(R)f \in C_{b}(\mathbb {R}).

(b)

Покажите, что если 1≤p<∞1 \leq p < \infty и f∈Lp(R)f \in L^{p}(\mathbb {R}), то

lim⁡a→0∥Taf−f∥Lp=0 \lim _{a \rightarrow 0}\left\| T_{a} f-f\right\| _{L^{p}} = 0

В связи с этим говорят, что сдвиг сильно непрерывен на Lp(R)L^{p}(\mathbb {R}) при конечном pp.

Задача 9.3

Докажите, что равенства в уравнениях (9.3) и (9.4) выполняются для всех функций f∈L1(R)f \in L^{1}(\mathbb {R}).

?
Задача 9.4

Докажите теорему 9.15.

?
Задача 9.5

Это упражнение даёт детали, необходимые для доказательства теоремы 9.21. Пусть f,g∈L1(R)f, g \in L^{1}(\mathbb {R}) фиксированы; докажите следующие факты.

?
(a)

Преобразование Фурье инволюции f~(x)=f(−x)‾\widetilde{f}(x) = \overline{f(-x)} равно

(f~)∧(ξ)=f^(ξ)‾,ξ∈R (\tilde{f})^{\wedge }(\xi ) = \overline{\widehat{f}(\xi )}, \quad \xi \in \mathbb {R}
(b)

Свёртка

(f∗g)(x)=∫−∞∞f(y)g(x−y)dy (f * g)(x) = \int _{-\infty }^{\infty } f(y) g(x-y) d y

существует для почти всех xx, причём f∗g∈L1(R)f * g \in L^{1}(\mathbb {R}) и ∥f∗g∥L1≤∥f∥L1∥g∥L1\left\| f * g\right\|_{L^{1}} \leq \left\| f\right\|_{L^{1}}\left\| g\right\|_{L^{1}}. Кроме того, f∗g=g∗ff * g = g * f.

(c)

Преобразование Фурье f∗gf * g равно

(f∗g)∧(ξ)=f^(ξ)g^(ξ),ξ∈R (f * g)^{\wedge }(\xi ) = \widehat{f}(\xi ) \widehat{g}(\xi ), \quad \xi \in \mathbb {R}
(d)

Если f,gf, g имеют компактный носитель, то и f∗gf * g имеет компактный носитель.

(e)

Если gg дифференцируема и g′g^{\prime } интегрируема и ограничена, то f∗gf * g дифференцируема и (f∗g)′=f∗g′(f * g)^{\prime } = f * g^{\prime }.

Задача 9.6
?
(a)

Покажите, что уравнения (9.3) и (9.4) выполняются для каждой f∈Cc2(R)f \in C_{c}^{2}(\mathbb {R}).

(b)

Используя пункт (a), а также тот факт, что L1(R)∩L2(R)L^{1}(\mathbb {R}) \cap L^{2}(\mathbb {R}) плотно в L2(R)L^{2}(\mathbb {R}), покажите, что уравнения (9.3) и (9.4) выполняются для каждой f∈L2(R)f \in L^{2}(\mathbb {R}) в смысле поточечного равенства функций почти всюду.

Задача 9.7
?
(a)

Докажите, что если f∈L1(R)f \in L^{1}(\mathbb {R}) вещественна и чётна, то f^\widehat{f} вещественна и чётна.

(b)

Покажите, что пункт (a) верен также, если предположить f∈L2(R)f \in L^{2}(\mathbb {R}).

Задача 9.8
?
(a)

Докажите, что если f∈L1(R)f \in L^{1}(\mathbb {R}) и f^∈L1(R)\widehat{f} \in L^{1}(\mathbb {R}), то f∧∧(ξ)=f(−ξ)f^{\wedge \wedge }(\xi ) = f(-\xi ) и f∧∧∧∧(ξ)=f(ξ)f^{\wedge \wedge \wedge \wedge }(\xi ) = f(\xi ) для всех ξ∈R\xi \in \mathbb {R}.

(b)

Докажите, что если f∈L2(R)f \in L^{2}(\mathbb {R}), то f∧∧(ξ)=f(−ξ)f^{\wedge \wedge }(\xi ) = f(-\xi ) и f∧∧∧∧(ξ)=f(ξ)f^{\wedge \wedge \wedge \wedge }(\xi ) = f(\xi ) для почти всех ξ∈R\xi \in \mathbb {R}.

Задача 9.9

Докажите теорему 9.28.

?