12.2

Свёртка, гладкая аппроксимация и гладкая лемма Урысона

[6/0%]
LaTeX
Задача 12.8

Определим f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} равенствами f(0)=0f(0) = 0 и f(x)=exp⁡(−1/x2)f(x) = \exp \left(-1 / x^{2}\right) в остальных случаях. Используя разложение Тейлора для exp⁡(x)\exp (x) в точке x=0x = 0, покажите, что для каждого многочлена p(x)p(x)

lim⁡x→0p(1/x)f(x)=0 \lim _{x \rightarrow 0} p(1 / x) f(x) = 0

Используя это, покажите, что f∈C∞(R)f \in C^{\infty }(\mathbb {R}) и f(k)(0)=0f^{(k)}(0) = 0 для всех kk. Для каких x∈Rnx \in \mathbb {R}^{n} разложение Тейлора функции ff в точке x=0x = 0 совпадает с f(x)f(x)?

?
Задача 12.9

Используя предыдущую задачу, проверьте, что функция ww принадлежит Cc∞(R)C_{c}^{\infty }(\mathbb {R}).

?
Задача 12.10

Для 1≤p<∞1 \leq p < \infty пусть f∈Lp(Rn)f \in L^{p}\left(\mathbb {R}^{n}\right). Покажите, что если ∫Rnf(x)g(x)dx=0\int_{\mathbb {R}^{n}} f(x) g(x) d x = 0 для всех g∈Cc∞(Rn)g \in C_{c}^{\infty }\left(\mathbb {R}^{n}\right), то f=0f = 0.

?
Задача 12.11

Для функции f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, определённой равенством f(x)=x−1/2⋅χ(0,1)(x)f(x) = x^{-1 / 2} \cdot \chi_{(0,1)}(x), покажите, что (f∗f)(x)(f * f)(x) определена при всех xx и конечна при x≠0x \neq 0.

?
Задача 12.12

Покажите, что если f:Rn→Rf: \mathbb {R}^{n} \rightarrow \mathbb {R} ограничена и непрерывна, то при ϵ→0\epsilon \rightarrow 0 {f∗wϵ}→f\left\{ f * w_{\epsilon }\right\} \rightarrow f поточечно, равномерно на компактных множествах.

?
Задача 12.13

Пусть k∈L2(Rn×Rn)k \in L^{2}\left(\mathbb {R}^{n} \times \mathbb {R}^{n}\right), и определим интегральный оператор T:L2(Rn)→L2(Rn)T: L^{2}\left(\mathbb {R}^{n}\right) \rightarrow L^{2}\left(\mathbb {R}^{n}\right) равенством

T(f)(x)=∫Rnk(x,y)f(y)dy для f∈L2(Rn) и x∈Rn T(f)(x) = \int _{\mathbb {R}^{n}} k(x, y) f(y) d y \text{ для } f \in L^{2}\left(\mathbb {R}^{n}\right) \text{ и } x \in \mathbb {R}^{n}

Покажите, что линейный оператор TT корректно определён, и найдите такое c≥0c \geq 0, для которого

∥T(f)∥2≤c⋅∥f∥2 для всех f∈L2(Rn).  \left\| T(f)\right\| _{2} \leq c \cdot \left\| f\right\| _{2} \text{ для всех } f \in L^{2}\left(\mathbb {R}^{n}\right) \text{. }
?