5.1

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

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

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

?
(1)

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

(a) C>0n1:xnC\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),):n1}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>0n1:x(n)C\exists C > 0 \forall n \geq 1:\left\| x^{(n)}\right\| \leq C;

(b) k1: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:n1}Lp([a,b]),1<p<+\left\{ x_{n}: n \geq 1\right\} \subset L_{p}(\left[a, b\right]), 1 < p < +\infty, слабо сходится к элементу xLp([a,b])x \in L_{p}(\left[a, b\right]) тогда и только тогда, когда выполняются следующие условия:

(a) C>0n1:xnC\exists C > 0 \forall n \geq 1:\left\| x_{n}\right\| \leq C;

(b) τ(a,b]:aτxn(t)dtaτ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,1p<+,x(n)=(0,,0,nn+1n,0,)X = l_{p}, 1 \leq p < +\infty , x^{(n)} = (0, \ldots , 0, \underbrace{\frac{n}{n+1}}_{n}, 0, \ldots );

(2)

X=lp,1p+,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]),1p+,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:n1}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]),2p<+,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)=n11n1x(t)dtX = C(\left[0,1\right]), f_{n}(x) = \sqrt{n} \int_{1-\frac{1}{\sqrt{n}}}^{1} x(t) d t.