8.3

Слабая последовательная сходимость в LpL^{p}

[10/0%]
LaTeX
Задача 8.24

Охарактеризуйте ограниченные линейные функционалы на евклидовом пространстве Rn\mathbb {R}^{n}. Покажите, что для последовательности в Rn\mathbb {R}^{n} понятия сильной сходимости, слабой сходимости и покомпонентной сходимости совпадают.

?
Задача 8.25

Для 1≤p<∞1 \leq p < \infty предположим, что и {fn}→h\left\{ f_{n}\right\} \rightarrow h, и {fn}→g\left\{ f_{n}\right\} \rightarrow g слабо в Lp(E)L^{p}(E). Покажите, что g=hg = h.

?
Задача 8.26

Для 1≤p≤∞1 \leq p \leq \infty и qq — сопряжённого показателя к pp, предположим, что {fn}→f\left\{ f_{n}\right\} \rightarrow f слабо в Lp(E)L^{p}(E), а {gn}→g\left\{ g_{n}\right\} \rightarrow g сильно в Lq(E)L^{q}(E). Покажите, что

lim⁡n→∞∫Efn⋅gndm=∫Ef⋅gdm \lim _{n \rightarrow \infty } \int _{E} f_{n} \cdot g_{n} d m = \int _{E} f \cdot g d m
?
Задача 8.27

В каком месте доказательство теоремы 14 нарушается в случае p=1p = 1, а также в случае p=∞p = \infty.

Теорема 14: Если 1≤p<∞1 \leq p < \infty, то каждая ограниченная последовательность в Lp(E)L^{p}(E) имеет подпоследовательность, слабо сходящуюся к функции из Lp(E)L^{p}(E).

?
Задача 8.28

Покажите, что если последовательность в C[a,b]C[a, b] сходится слабо, то она сходится поточечно. Найдите ограниченную последовательность в C[a,b]C[a, b], у которой нет ни одной слабо сходящейся подпоследовательности.

?
Задача 8.29

Проверьте утверждения, сделанные относительно сходимости функций Радемахера.

?
Задача 8.30

Если {fn}→f\left\{ f_{n}\right\} \rightarrow f слабо в L∞[a,b]L^{\infty }[a, b], покажите, что

lim⁡n→∞∫axfndm=∫axfdm для всех x∈[a,b] \lim _{n \rightarrow \infty } \int _{a}^{x} f_{n} d m = \int _{a}^{x} f d m \text{ для всех } x \in [a, b]
?
Задача 8.31

Зафиксируем действительные числа α\alpha и β\beta. Для каждых натуральных чисел kk и nn рассмотрим ступенчатую функцию fnf_{n}, определённую на I=[0,1]I = [0,1] формулой

fn(x)=(1−(−1)k)α/2+(1+(−1)k)β/2 для k/2n≤x<(k+1)/2n,0≤k<2n−1. f_{n}(x) = \left(1-(-1)^{k}\right) \alpha / 2+\left(1+(-1)^{k}\right) \beta / 2 \text{ для } k / 2^{n} \leq x < (k+1) / 2^{n}, 0 \leq k < 2^{n}-1.

Покажите, что {fn}\left\{ f_{n}\right\} сходится слабо в L2(I)L^{2}(I) к постоянной функции, принимающей значение (α+β)/2(\alpha +\beta ) / 2. При α≠β\alpha \neq \beta покажите, что ни одна подпоследовательность {fn}\left\{ f_{n}\right\} не сходится сильно в L2(I)L^{2}(I).

?
Задача 8.32

Покажите, что {fn}→f\left\{ f_{n}\right\} \rightarrow f сильно в L2(E)L^{2}(E) тогда и только тогда, когда {fn}→f\left\{ f_{n}\right\} \rightarrow f слабо в L2(E)L^{2}(E) и {∥fn∥2}→∥f∥2\left\{ \left\| f_{n}\right\|_{2}\right\} \rightarrow \left\| f\right\|_{2}.

?
Задача 8.33

Используйте задачу 20, чтобы показать, что для 1≤p<∞1 \leq p < \infty ограниченная последовательность в ℓp\ell^{p} сходится слабо тогда и только тогда, когда она сходится покомпонентно.

?