5.1

Примеры с решениями

[4/100%]
Показать
LaTeX
Задача 5.1

Доказать следующие утверждения:

?
(1)

(Критерий слабой сходимости элементов в C([a,b])C(\left[a, b\right]).) Последовательность {xn:n≥1}⊂C([a,b])\left\{ x_{n}: n \geq 1\right\} \subset C(\left[a, b\right]) слабо сходится к элементу x∈C([a,b])x \in C(\left[a, b\right]) тогда и только тогда, когда выполняются следующие условия:

(a) ∃C>0∀n≥1:∥xn∥≤C\exists C > 0 \forall n \geq 1:\left\| x_{n}\right\| \leq C;

(b) ∀t∈[a,b]:xn(t)→x(t),n→∞\forall t \in [a, b]: x_{n}(t) \rightarrow x(t), n \rightarrow \infty.

(2)

(Критерий слабой сходимости элементов в lp,1<p<+∞l_{p}, 1 < p < +\infty.) Последовательность {x(n)=(x1(n),x2(n),…):n≥1}⊂lp,1<p<+∞\left\{ x^{(n)} = \left(x_{1}^{(n)}, x_{2}^{(n)}, \ldots \right): n \geq 1\right\} \subset l_{p}, 1 < p < +\infty, слабо сходится к элементу x=(x1,x2,…)∈lpx = \left(x_{1}, x_{2}, \ldots \right) \in l_{p} тогда и только тогда, когда выполняются следующие условия:

(a) ∃C>0∀n≥1:∥x(n)∥≤C\exists C > 0 \forall n \geq 1:\left\| x^{(n)}\right\| \leq C;

(b) ∀k≥1:xk(n)→xk,n→∞\forall k \geq 1: x_{k}^{(n)} \rightarrow x_{k}, n \rightarrow \infty.

(3)

(Критерий слабой сходимости элементов в Lp([a,b]),1<p<+∞L_{p}(\left[a, b\right]), 1 < p < +\infty.) Последовательность {xn:n≥1}⊂Lp([a,b]),1<p<+∞\left\{ x_{n}: n \geq 1\right\} \subset L_{p}(\left[a, b\right]), 1 < p < +\infty, слабо сходится к элементу x∈Lp([a,b])x \in L_{p}(\left[a, b\right]) тогда и только тогда, когда выполняются следующие условия:

(a) ∃C>0∀n≥1:∥xn∥≤C\exists C > 0 \forall n \geq 1:\left\| x_{n}\right\| \leq C;

(b) ∀τ∈(a,b]:∫aτxn(t)dt→∫aτx(t)dt,n→∞\forall \tau \in (a, b]: \int_{a}^{\tau } x_{n}(t) d t \rightarrow \int_{a}^{\tau } x(t) d t, n \rightarrow \infty.

Задача 5.2

Доказать, что каждая сильно сходящаяся в НЛП последовательность сходится слабо. Верно ли обратное утверждение?

?
Задача 5.3

Исследовать последовательности на сильную и слабую сходимость в НЛП XX. Для сходящихся последовательностей найти их пределы.

?
(1)

X=lp,1≤p<+∞,x(n)=(0,…,0,nn+1⏟n,0,…)X = l_{p}, 1 \leq p < +\infty , x^{(n)} = (0, \ldots , 0, \underbrace{\frac{n}{n+1}}_{n}, 0, \ldots );

(2)

X=lp,1≤p≤+∞,x(n)=(1,12,…,1n,0,…)X = l_{p}, 1 \leq p \leq +\infty , x^{(n)} = \left(1, \frac{1}{2}, \ldots , \frac{1}{n}, 0, \ldots \right);

(3)

X=Lp([0,1]),1≤p≤+∞,xn(t)={n,t∈[0,1n2],0,t∈(1n2,1];X = L_{p}(\left[0,1\right]), 1 \leq p \leq +\infty , x_{n}(t) = \begin{cases} n, & t \in \left[0, \frac{1}{n^{2}}\right], \\ 0, & t \in \left(\frac{1}{n^{2}}, 1\right] ;\end{cases}

(4)

X=Lp([0,1]),1<p<+∞,xn(t)=sin⁡πnt,t∈[0,1]X = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = \sin \pi n t, t \in [0,1];

(5)

X=C([0,1]),xn(t)=nt21+n2t4,t∈[0,1]X = C(\left[0,1\right]), x_{n}(t) = \frac{n t^{2}}{1+n^{2} t^{4}}, t \in [0,1].

Задача 5.4

Доказать, что последовательность функционалов {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*} *-слабо сходится, если

?
(1)

X=L1([a,b]),fn(x)=∫abx(t)eintdt;X = L_{1}(\left[a, b\right]), f_{n}(x) = \int_{a}^{b} x(t) e^{i n t} d t ;

(2)

X=Lp([0,1]),2≤p<+∞,fn(x)=∫01/n2nx(t)dtX = L_{p}(\left[0,1\right]), 2 \leq p < +\infty , f_{n}(x) = \int_{0}^{1 / n^{2}} n x(t) d t;

(3)

X=C([0,1]),fn(x)=n∫1−1n1x(t)dtX = C(\left[0,1\right]), f_{n}(x) = \sqrt{n} \int_{1-\frac{1}{\sqrt{n}}}^{1} x(t) d t.