Section 5.2

Problems to Solve

[39/90%]
Show
LaTeX
Problem 5.5

Prove the uniqueness of the limit

?
(1)

for a sequence of continuous linear functionals that converges weakly-*;

(2)

for a sequence of elements of an NLS that converges weakly.

Problem 5.6

Prove that in a finite-dimensional space strong convergence is equivalent to weak convergence.

?
Problem 5.7

Prove that the sequence {xn:n≥1}⊂Lp(R),1<p<+∞\left\{ x_{n}: n \geq 1\right\} \subset L_{p}(\mathbb {R}), 1 < p < +\infty, converges weakly to an element x∈Lp([a,b])x \in L_{p}(\left[a, b\right]) if and only if the following conditions are fulfilled:

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

(b) ∀s,t∈R,s<t:∫stxn(u)du→∫stx(u)du,n→∞\forall s, t \in \mathbb {R}, s < t: \int_{s}^{t} x_{n}(u) d u \rightarrow \int_{s}^{t} x(u) d u, n \rightarrow \infty.

?
Problem 5.8
?
(1)

Prove that the sequence {x(n)=(x1(n),x2(n),…):n≥1}⊂c0\left\{ x^{(n)} = \left(x_{1}^{(n)}, x_{2}^{(n)}, \ldots \right): n \geq 1\right\} \subset c_{0} converges weakly to the element x=(x1,x2,…)∈c0x = \left(x_{1}, x_{2}, \ldots \right) \in c_{0} if and only if the following conditions are fulfilled:

(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.

(2)

Formulate and prove the criterion of weak convergence in the space cc.

Problem 5.9

Examine the sequences for strong and weak convergence in an NLS XX. For convergent sequences find their limits.

?
(1)

X=lp,1<p<+∞,x(n)=(0,…,0⏟n,1,12,13,…)X = l_{p}, 1 < p < +\infty , x^{(n)} = (\underbrace{0, \ldots , 0}_{n}, 1, \frac{1}{2}, \frac{1}{3}, \ldots );

(2)

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

(3)

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

(4)

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

(5)

X=lp,1<p<+∞,x(n)=(1+n1+n,1+n1+2n,…,1+n1+kn,…)X = l_{p}, 1 < p < +\infty , x^{(n)} = \left(\frac{1+n}{1+n}, \frac{1+n}{1+2 n}, \ldots , \frac{1+n}{1+k n}, \ldots \right);

(6)

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

(7)

X=lp,1≤p<+∞,x(n)=(1,0,132,0,152,…,0,1(2n−1)2,1(2n)2,1(2n+1)2,…)X = l_{p}, 1 \leq p < +\infty , x^{(n)} = \left(1,0, \frac{1}{3^{2}}, 0, \frac{1}{5^{2}}, \ldots , 0, \frac{1}{(2 n-1)^{2}}, \frac{1}{(2 n)^{2}}, \frac{1}{(2 n+1)^{2}}, \ldots \right);

(8)

X=l∞,x(n)=(0,…,0⏟n−1,ln⁡n,0,0,…)X = l_{\infty }, x^{(n)} = (\underbrace{0, \ldots , 0}_{n-1}, \ln n, 0,0, \ldots );

(9)

X=Lp([0,1]),1≤p<+∞,xn(t)=tnX = L_{p}(\left[0,1\right]), 1 \leq p < +\infty , x_{n}(t) = t^{n};

(10)

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

(11)

X=Lp([0,1]),1<p<+∞,xn(t)=eintX = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = e^{i n t};

(12)

X=Lp([0,1]),1<p<+∞,xn(t)=sin⁡(t⋅ln⁡n)X = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = \sin (t \cdot \ln n);

(13)

X=Lp([0,1]),1<p<+∞,xn(t)=cos⁡(n2t)X = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = \cos \left(n^{2} t\right);

(14)

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

(15)

X=Lp([0,1]),1<p<+∞,xn(t)={n−nnt,t∈[0,1n),0,t∈[1n,1];X = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = \begin{cases} \sqrt{n}-n \sqrt{n} t, & t \in \left[0, \frac{1}{n}\right), \\ 0, & t \in \left[\frac{1}{n}, 1\right] ; \end{cases}

(16)

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

(17)

X=Lp([0,1]),1≤p<+∞,xn(t)=sin⁡(tn)X = L_{p}(\left[0,1\right]), 1 \leq p < +\infty , x_{n}(t) = \sin \left(t^{n}\right);

(18)

X=Lp(R),1≤p≤+∞,xn(t)=n4χ[n,n+1n](t)X = L_{p}(\mathbb {R}), 1 \leq p \leq +\infty , x_{n}(t) = \sqrt[4]{n} \chi_{\left[n, n+\frac{1}{n}\right]}(t);

(19)

X=Lp(R),1<p<+∞,xn(t)=χ[n,n+1](t)X = L_{p}(\mathbb {R}), 1 < p < +\infty , x_{n}(t) = \chi_{\left[n, n+1\right]}(t);

(20)

X=Lp(R),1≤p≤+∞,xn(t)=1nχ[n,2n](t)X = L_{p}(\mathbb {R}), 1 \leq p \leq +\infty , x_{n}(t) = \frac{1}{\sqrt{n}} \chi_{\left[n, 2 n\right]}(t).

Problem 5.10

Examine the given sequences in C([0,1])C(\left[0,1\right]) for weak and strong convergence.

?
(1)

xn(t)=tn−t3nx_{n}(t) = t^{n}-t^{3 n};

(2)

xn(t)=e−tnx_{n}(t) = e^{-\frac{t}{n}};

(3)

xn(t)=e−ntx_{n}(t) = e^{-n t};

(4)

xn(t)=te−ntx_{n}(t) = t e^{-n t};

(5)

xn(t)=nte−ntx_{n}(t) = n t e^{-n t};

(6)

xn(t)=n2t1+n4t2x_{n}(t) = \frac{n^{2} t}{1+n^{4} t^{2}};

(7)

xn(t)=n3t21+4n4t4x_{n}(t) = \frac{n^{3} t^{2}}{1+4 n^{4} t^{4}}.

Problem 5.11

Examine the given sequences {xn:n≥1}\left\{ x_{n}: n \geq 1\right\} for weak and strong convergence in an NLS XX.

?
(1)

X=L2([0,1]),xn(t)=sin⁡(nt2)X = L_{2}(\left[0,1\right]), x_{n}(t) = \sin \left(n t^{2}\right);

(2)

X=L2([0,1]),xn(t)=sin⁡(net)X = L_{2}(\left[0,1\right]), x_{n}(t) = \sin \left(n e^{t}\right);

(3)

X=Lp([0,1]),1<p<+∞,xn(t)=x0(2nt),t∈[0,1]X = L_{p}(\left[0,1\right]), 1 < p < +\infty , x_{n}(t) = x_{0}\left(2^{n} t\right), t \in [0,1], where x0(t)=(−1)kx_{0}(t) = (-1)^{k} for t∈[k,k+1),k∈N∪{0}t \in [k, k+1), k \in \mathbb {N} \cup \left\{ 0\right\};

(4)

X=L1(R),xn(t)=χ[n,n+1](t)X = L_{1}(\mathbb {R}), x_{n}(t) = \chi_{\left[n, n+1\right]}(t);

(5)

X=l1,xn=enX = l_{1}, x_{n} = e_{n}.

Problem 5.12

Prove that the sequence of functionals {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*} converges weakly*, and determine whether it converges strongly.

?
(1)

X=L2([0,1]),fn(x)=∫01cos⁡2πntx(t)dtX = L_{2}(\left[0,1\right]), f_{n}(x) = \int_{0}^{1} \cos 2 \pi n t x(t) d t;

(2)

X=L2([0,1]),fn(x)=∫01e2πintx(t)dtX = L_{2}(\left[0,1\right]), f_{n}(x) = \int_{0}^{1} e^{2 \pi i n t} x(t) d t;

(3)

X=C([0,1]),fn(x)=n∫01n(1−2nt)x(t)dt;X = C(\left[0,1\right]), f_{n}(x) = n \int_{0}^{\frac{1}{n}}(1-2 n t) x(t) d t ;

(4)

X=C([0,1]),fn(x)=n∫01x(t)tndt;X = C(\left[0,1\right]), f_{n}(x) = n \int_{0}^{1} x(t) t^{n} d t ;

(5)

X=C1([−1,1]),fn(x)=n2(x(1n)−x(−1n))X = C^{1}(\left[-1,1\right]), f_{n}(x) = \frac{n}{2}\left(x\left(\frac{1}{n}\right)-x\left(-\frac{1}{n}\right)\right).

Problem 5.13

Let XX be the space C1([−1,1])C^{1}(\left[-1,1\right]) with the norm ∥x∥=max⁡t∈[0,1]∣x(t)∣\left\| x\right\| = \max_{t \in [0,1]}\left|x(t)\right|. Consider

fn(x)=n2(x(1n)−x(−1n)),x∈X. f_{n}(x) = \frac{n}{2}\left(x\left(\frac{1}{n}\right)-x\left(-\frac{1}{n}\right)\right), x \in X.
?
(1)

Prove that for each x∈C1([−1,1])x \in C^{1}(\left[-1,1\right]) the sequence {fn(x):n≥1}\left\{ f_{n}(x): n \geq 1\right\} is convergent, and find its limit.

(2)

Prove that the sequence {fn:n≥1}\left\{ f_{n}: n \geq 1\right\} does not converge weakly-*.

(3)

Prove that the sequence {∥fn∥:n≥1}\left\{ \left\| f_{n}\right\| : n \geq 1\right\} is not bounded.

Do these statements contradict the Uniform boundedness principle?

Problem 5.14

Construct an example of an NLS XX and of a weakly-* convergent sequence {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*}, for which the sequence {∥fn∥:n≥1}\left\{ \left\| f_{n}\right\| : n \geq 1\right\} is unbounded.

?
Problem 5.15

Let XX be a Banach space, {fn:n≥1}⊂X∗,f,g∈X∗,fn→wf\left\{ f_{n}: n \geq 1\right\} \subset X^{*}, f, g \in X^{*}, f_{n} \xrightarrow {w} f, fn→w−∗g,n→∞f_{n} \xrightarrow {w-*} g, n \rightarrow \infty. Prove that f=gf = g.

?
Problem 5.16
?
(1)

Let the functionals {fn:n≥1}⊂c0∗\left\{ f_{n}: n \geq 1\right\} \subset c_{0}^{*} be defined as follows: fn(x)=xnf_{n}(x) = x_{n}, x∈c0,n∈Nx \in c_{0}, n \in \mathbb {N}. Prove that fn→w−∗0f_{n} \xrightarrow {w-*} 0, but fn̸→w0,n→∞f_{n} \not\xrightarrow {w} 0, n \rightarrow \infty.

(2)

Let the functionals {fn:n≥1}⊂l1∗\left\{ f_{n}: n \geq 1\right\} \subset l_{1}^{*} be defined as follows: fn(x)=∑k=n+1∞xkf_{n}(x) = \sum_{k = n+1}^{\infty } x_{k}, x∈l1,n∈Nx \in l_{1}, n \in \mathbb {N}. Prove that fn→w−∗0f_{n} \xrightarrow {w-*} 0, but fn̸→w0,n→∞f_{n} \not\xrightarrow {w} 0, n \rightarrow \infty.

(3)

Let the functionals {fn:n≥1}⊂(C([0,1]))∗,f0∈(C([0,1]))∗\left\{ f_{n}: n \geq 1\right\} \subset (C(\left[0,1\right]))^{*}, f_{0} \in (C(\left[0,1\right]))^{*} be defined as follows: fn(x)=x(1n),n∈N,f0(x)=x(0),x∈C([0,1])f_{n}(x) = x\left(\frac{1}{n}\right), n \in \mathbb {N}, f_{0}(x) = x(0), x \in C(\left[0,1\right]). Prove that fn→w−∗f0f_{n} \xrightarrow {w-*} f_{0}, but fn̸→wf0,n→∞f_{n} \not\xrightarrow {w} f_{0}, n \rightarrow \infty.

Problem 5.17

Let HH be a Hilbert space, x,xn∈H,n≥1x, x_{n} \in H, n \geq 1. Prove that

?
(1)

xn→wxx_{n} \xrightarrow {w} x if and only if (xn,a)→(x,a),n→∞\left(x_{n}, a\right) \rightarrow (x, a), n \rightarrow \infty, for all a∈Ha \in H;

(2)

if xn→wxx_{n} \xrightarrow {w} x and yn→yy_{n} \rightarrow y in norm, then (xn,yn)→(x,y),n→∞\left(x_{n}, y_{n}\right) \rightarrow (x, y), n \rightarrow \infty;

(3)

every orthonormal sequence converges weakly to zero;

(4)

if xn→wxx_{n} \xrightarrow {w} x and ∥xn∥→∥x∥\left\| x_{n}\right\| \rightarrow \left\| x\right\| (or lim sup⁡n→∞∥xn∥≤∥x∥\limsup_{n \rightarrow \infty }\left\| x_{n}\right\| \leq \left\| x\right\|), then xn→xx_{n} \rightarrow x in norm.

Problem 5.18

Let HH be an infinite-dimensional Hilbert space. Construct examples of sequences {xn:n≥1}⊂H,{yn:n≥1}⊂H\left\{ x_{n}: n \geq 1\right\} \subset H,\left\{ y_{n}: n \geq 1\right\} \subset H such that

?
(1)

xn→wx,yn→wyx_{n} \xrightarrow {w} x, y_{n} \xrightarrow {w} y, where x,y∈Hx, y \in H, but (xn,yn)↛(x,y)\left(x_{n}, y_{n}\right) \nrightarrow (x, y);

(2)

xn→wx,yn→wyx_{n} \xrightarrow {w} x, y_{n} \xrightarrow {w} y, where x,y∈H,xn↛x,yn↛yx, y \in H, x_{n} \nrightarrow x, y_{n} \nrightarrow y in norm, but (xn,yn)→(x,y)\left(x_{n}, y_{n}\right) \rightarrow (x, y).

Problem 5.19

Let {xn:n≥1}\left\{ x_{n}: n \geq 1\right\} be an orthogonal system in a Hilbert space HH. Prove the equivalence of the following statements:

?
(1)

the series ∑n=1∞xn\sum_{n = 1}^{\infty } x_{n} converges strongly;

(2)

the series ∑n=1∞xn\sum_{n = 1}^{\infty } x_{n} converges weakly;

(3)

the series ∑n=1∞∥xn∥2\sum_{n = 1}^{\infty }\left\| x_{n}\right\|^{2} converges.

Problem 5.20
?
(1)

Let XX be a Banach space, and the sequence {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*} is such that for all x∈Xx \in X there exists lim⁡n→∞fn(x)=f(x)\lim_{n \rightarrow \infty } f_{n}(x) = f(x). Prove that f∈X∗f \in X^{*} and ∥f∥≤lim inf⁡n→∞∥fn∥\left\| f\right\| \leq \liminf_{n \rightarrow \infty }\left\| f_{n}\right\|.

(2)

Let XX be an NLS, and the sequence {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X converges weakly to x∈Xx \in X. Prove that ∥x∥≤lim inf⁡n→∞∥xn∥\left\| x\right\| \leq \liminf_{n \rightarrow \infty }\left\| x_{n}\right\|.

Problem 5.21

Let XX be a Banach space. Prove that a sequence {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*} is weakly-* convergent if and only if the following conditions are fulfilled:

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

(b) there exists a total set MM in XX such that for each x∈Mx \in M the sequence {fn(x):n≥1}\left\{ f_{n}(x): n \geq 1\right\} is a Cauchy sequence.

?
Problem 5.22

Let XX be a reflexive Banach space, {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X. Prove that if for each f∈X∗f \in X^{*} the sequence {f(xn):n≥1}\left\{ f\left(x_{n}\right): n \geq 1\right\} is a Cauchy sequence, then there exists x∈Xx \in X such that xn→wxx_{n} \xrightarrow {w} x.

?
Problem 5.23

Let XX be a reflexive Banach space. Prove that if the sequence {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X is bounded in norm, then there exist a subsequence {xnk:k≥1}\left\{ x_{n_{k}}: k \geq 1\right\} and an element x∈Xx \in X such that xnk→wxx_{n_{k}} \xrightarrow {w} x.

?
Problem 5.24

Prove that the following Banach spaces are not complete with respect to the weak convergence:

?
(1)

C([0,1])C(\left[0,1\right]);

(2)

c0c_{0};

(3)

cc.

Problem 5.25

Let XX be a Banach space, x,xn∈X,f,fn∈X∗,n≥1x, x_{n} \in X, f, f_{n} \in X^{*}, n \geq 1. Prove that fn(xn)→f(x)f_{n}\left(x_{n}\right) \rightarrow f(x), if one of the following conditions is satisfied:

?
(1)

xn→x,fn→fx_{n} \rightarrow x, f_{n} \rightarrow f in norm;

(2)

xn→wx,fn→fx_{n} \xrightarrow {w} x, f_{n} \rightarrow f in norm;

(3)

xn→xx_{n} \rightarrow x in norm, fn→w−∗ff_{n} \xrightarrow {w-*} f.

Problem 5.26

Let XX be a separable NLS, the sequence {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X converges weakly to x∈Xx \in X. Also, let fn(xn)→f(x),n→∞f_{n}\left(x_{n}\right) \rightarrow f(x), n \rightarrow \infty, for each functional f∈X∗f \in X^{*} and each sequence {fn:n≥1}⊂X∗\left\{ f_{n}: n \geq 1\right\} \subset X^{*}, which converges weakly-* to ff. Prove that xn→xx_{n} \rightarrow x in norm.

?
Problem 5.27

Let XX be an NLS. A set M⊂XM \subset X is called weakly closed if for any sequence {xn:n≥1}⊂M\left\{ x_{n}: n \geq 1\right\} \subset M such that xn→wx∈Xx_{n} \xrightarrow {w} x \in X, it follows that x∈Mx \in M. Prove that

?
(1)

every weakly closed set in XX is strongly closed;

(2)

the converse statement to statement (1) is false;

(3)

every subspace in XX is a weakly closed set;

(4)

every closed ball in XX is a weakly closed set.

Problem 5.28

Let XX be a uniformly convex Banach space (see problem 1.98), a sequence {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X converges weakly to x∈Xx \in X, and ∥xn∥→∥x∥,n→∞\left\| x_{n}\right\| \rightarrow \left\| x\right\| , n \rightarrow \infty. Prove that xn→xx_{n} \rightarrow x in norm.

?
Problem 5.29

(Schur) Prove that in the space l1l_{1} weak convergence is equivalent to convergence in norm.

?
Problem 5.30

Let XX be a Banach space, {fn:n≥1}⊂X∗,sup⁡∥fn∥=+∞\left\{ f_{n}: n \geq 1\right\} \subset X^{*}, \sup \left\| f_{n}\right\| = +\infty. Prove that there exists x∈Xx \in X, for which sup⁡∣fn(x)∣=+∞\sup \left|f_{n}(x)\right| = +\infty. n≥1n≥1n \geq 1 \quad n \geq 1

?
Problem 5.31

Let 1≤p≤+∞,q1 \leq p \leq +\infty , q be the conjugate index to pp.

?
(1)

Assume that a sequence a={an:n≥1}a = \left\{ a_{n}: n \geq 1\right\} is such that for every x∈lpx \in l_{p} the series ∑n=1∞anxn\sum_{n = 1}^{\infty } a_{n} x_{n} converges. Prove that a∈lqa \in l_{q}.

(2)

Assume that a measurable function hh is such that for every x∈Lp([a,b])x \in L_{p}(\left[a, b\right]) the Lebesgue integral ∫abh(t)x(t)dt\int_{a}^{b} h(t) x(t) d t is finite. Prove that h∈Lq([a,b])h \in L_{q}(\left[a, b\right]).

Problem 5.32

Formulate and prove statements similar to problem 5.31 for the spaces cc and c0c_{0}.

?
Problem 5.33

Let XX be an NLS. Prove that the sequence {xn:n≥1}⊂X\left\{ x_{n}: n \geq 1\right\} \subset X is weakly bounded if and only if it is bounded in norm in XX.

?
Problem 5.34

Let fn(x)=1n∑k=0n−1x(kn),x∈C([0,1]),n≥1f_{n}(x) = \frac{1}{n} \sum_{k = 0}^{n-1} x\left(\frac{k}{n}\right), x \in C(\left[0,1\right]), n \geq 1. Prove that the sequence of functionals {fn:n≥1}⊂(C([0,1]))∗\left\{ f_{n}: n \geq 1\right\} \subset (C(\left[0,1\right]))^{*} converges weakly-*, and find its limit. Does this sequence converge in norm?

?
Problem 5.35

Let fn(x)=∑k=1nAnkx(tnk),x∈C([a,b])f_{n}(x) = \sum_{k = 1}^{n} A_{n k} x\left(t_{n k}\right), x \in C(\left[a, b\right]), where

a≤tn1≤…≤tnn≤b,n≥1,{Ank∣1≤k≤n,n≥1}⊂K a \leq t_{n 1} \leq \ldots \leq t_{n n} \leq b, n \geq 1,\left\{ A_{n k} \mid 1 \leq k \leq n, n \geq 1\right\} \subset \mathbb {K}

Prove that fn(x)→∫abx(t)dt,n→∞f_{n}(x) \rightarrow \int_{a}^{b} x(t) d t, n \rightarrow \infty, for all x∈C([a,b])x \in C(\left[a, b\right]) if and only if the following conditions are fulfilled:

(a) sup⁡n≥1∑k=1n∣Ank∣<+∞\sup_{n \geq 1} \sum_{k = 1}^{n}\left|A_{n k}\right| < +\infty;

(b) fn(p)→∫abp(t)dt,n→∞f_{n}(p) \rightarrow \int_{a}^{b} p(t) d t, n \rightarrow \infty, for every polynomial pp.

Verify that (b) implies (a), if Ank≥0A_{n k} \geq 0 for all n≥1n \geq 1 and 1≤k≤n1 \leq k \leq n.

?
Problem 5.36

Let K=R,fn(x)=∫abx(t)dFn(t),x∈C([a,b])\mathbb {K} = \mathbb {R}, f_{n}(x) = \int_{a}^{b} x(t) d F_{n}(t), x \in C(\left[a, b\right]), where Fn∈BV0([a,b])F_{n} \in B V_{0}(\left[a, b\right]), n≥0n \geq 0. Prove that fn→w−∗f0f_{n} \xrightarrow {w-*} f_{0} if and only if the following conditions are fulfilled: sup⁡n≥1V(Fn,[a,b])<+∞,Fn(t)→F0(t),n→∞\sup_{n \geq 1} V\left(F_{n},\left[a, b\right]\right) < +\infty , F_{n}(t) \rightarrow F_{0}(t), n \rightarrow \infty, at points of continuity of F0F_{0}, and Fn(b)→F0(b),n→∞F_{n}(b) \rightarrow F_{0}(b), n \rightarrow \infty.

?
Problem 5.37

Let K=R,{pn:n≥1}⊂L1([0,1]),fn(x)=∫01pn(t)x(t)dt\mathbb {K} = \mathbb {R},\left\{ p_{n}: n \geq 1\right\} \subset L_{1}(\left[0,1\right]), f_{n}(x) = \int_{0}^{1} p_{n}(t) x(t) d t, x∈C([0,1]),n≥1x \in C(\left[0,1\right]), n \geq 1.

?
(1)

Let pn(t)≤pn+1(t)p_{n}(t) \leq p_{n+1}(t) almost everywhere on [0,1]\left[0,1\right] with respect to the Lebesgue measure for all n∈Nn \in \mathbb {N}, and also for each x∈C([0,1])x \in C(\left[0,1\right]) the sequence {fn(x):n≥1}\left\{ f_{n}(x): n \geq 1\right\} is bounded. Show that the sequence {fn:n≥1}\left\{ f_{n}: n \geq 1\right\} converges weakly-*.

(2)

Let fn→w−∗0f_{n} \xrightarrow {w-*} 0. Is it necessarily true that there exists a subsequence of the sequence {pn:n≥1}\left\{ p_{n}: n \geq 1\right\}, which converges almost everywhere on [0,1]\left[0,1\right]?

(3)

The same question as in item (2), if fn→0f_{n} \rightarrow 0 in norm.

Problem 5.38

Let XX be an NLS, f∈X∗f \in X^{*}. Under what condition on the sequence {αn:n≥1}⊂R\left\{ \alpha_{n}: n \geq 1\right\} \subset \mathbb {R} does the sequence of functionals fn(x)=f(αnx),x∈X,n≥1f_{n}(x) = f\left(\alpha_{n} x\right), x \in X, n \geq 1, converge

?
(1)

weakly-*?

(2)

in norm?

Problem 5.39

Let {fn:n≥1}\left\{ f_{n}: n \geq 1\right\} be a sequence of linear nonnegative functionals on a real space C([a,b])C(\left[a, b\right]) (see problem 3.42), and f(x)=x(c),x∈C([a,b])f(x) = x(c), x \in C(\left[a, b\right]), where c∈[a,b]c \in \left[a, b\right] is fixed. Denote ek(t)=tk,t∈[a,b],k=0,1,2,y(t)=(t−c)2,t∈[a,b]e_{k}(t) = t^{k}, t \in [a, b], k = 0,1,2, y(t) = (t-c)^{2}, t \in [a, b]. Prove that

?
(1)

for each x∈C([a,b])x \in C(\left[a, b\right]) and each ε>0\varepsilon > 0 the following inequality holds:

−2∥x∥δ2y(t)−ε≤x(t)−x(c)≤2∥x∥δ2y(t)+ε,t∈[a,b] -\frac{2\left\| x\right\| }{\delta ^{2}} y(t)-\varepsilon \leq x(t)-x(c) \leq \frac{2\left\| x\right\| }{\delta ^{2}} y(t)+\varepsilon , t \in [a, b]

where the number δ=δ(x,ε)>0\delta = \delta (x, \varepsilon ) > 0 is such that ∣x(t)−x(c)∣<ε\left|x(t)-x(c)\right| < \varepsilon for all t∈[a,b]t \in [a, b], for which ∣t−c∣<δ\left|t-c\right| < \delta.

(2)

(Korovkin) fn→w−∗ff_{n} \xrightarrow {w-*} f, if one of the following conditions is fulfilled:

(a) fn(e0)→f(e0)f_{n}\left(e_{0}\right) \rightarrow f\left(e_{0}\right) and fn(y)→f(y),n→∞f_{n}(y) \rightarrow f(y), n \rightarrow \infty;

(b) fn(ek)→f(ek),n→∞f_{n}\left(e_{k}\right) \rightarrow f\left(e_{k}\right), n \rightarrow \infty, for k=0,1,2k = 0,1,2.

Problem 5.40

Let functionals f,fn∈(C([a,b]))∗f, f_{n} \in (C(\left[a, b\right]))^{*} be such that fn(e0)→f(e0),n→∞f_{n}\left(e_{0}\right) \rightarrow f\left(e_{0}\right), n \rightarrow \infty, where e0(t)=1,t∈[a,b]e_{0}(t) = 1, t \in [a, b], and for each n∈Nn \in \mathbb {N} the functional fn−ff_{n}-f is nonnegative. Prove that fn→ff_{n} \rightarrow f in norm, as n→∞n \rightarrow \infty.

?
Problem 5.41

An infinite set of numbers {ank:k≥1,n≥1}⊂K\left\{ a_{n k}: k \geq 1, n \geq 1\right\} \subset \mathbb {K} is given. Prove that for any convergent sequence {xn:n≥1}⊂K\left\{ x_{n}: n \geq 1\right\} \subset \mathbb {K} the sequence {∑k=1∞ankxk,n≥1}\left\{ \sum_{k = 1}^{\infty } a_{n k} x_{k}, n \geq 1\right\} converges to the number lim⁡n→∞xn\lim_{n \rightarrow \infty } x_{n} if and only if the following conditions are fulfilled:

?
(1)

∀k≥1:lim⁡n→∞ank=0\forall k \geq 1: \lim_{n \rightarrow \infty } a_{n k} = 0;

(2)

lim⁡n→∞∑k=1∞ank=1\lim_{n \rightarrow \infty } \sum_{k = 1}^{\infty } a_{n k} = 1;

(3)

∃C>0∀n≥1:∑k=1∞∣ank∣≤C\exists C > 0 \forall n \geq 1: \sum_{k = 1}^{\infty }\left|a_{n k}\right| \leq C.

Problem 5.42

(Mertens-Schur) Let {an:n≥0}⊂C,{xn:n≥0}⊂C,yn=∑k=0nan−kxk,n≥0\left\{ a_{n}: n \geq 0\right\} \subset \mathbb {C},\left\{ x_{n}: n \geq 0\right\} \subset \mathbb {C}, y_{n} = \sum_{k = 0}^{n} a_{n-k} x_{k}, n \geq 0. Prove that the series ∑n=0∞yn\sum_{n = 0}^{\infty } y_{n} converges for any convergent series ∑n=0∞xn\sum_{n = 0}^{\infty } x_{n} if and only if the series ∑n=0∞∣an∣\sum_{n = 0}^{\infty }\left|a_{n}\right| converges.

?
Problem 5.43

Prove that

?
(1)

The mapping ∑n=1∞an↦∑n=1∞anbn\sum_{n = 1}^{\infty } a_{n} \mapsto \sum_{n = 1}^{\infty } a_{n} b_{n}, defined by the sequence {bn:n≥1}⊂C\left\{ b_{n}: n \geq 1\right\} \subset \mathbb {C}, transforms convergent series into convergent ones if and only if ∑n=1∞∣bn+1−bn∣<+∞;\sum_{n = 1}^{\infty } \mid b_{n+1}- b_{n} \mid < +\infty ;

(2)

The series ∑n=1∞anbn\sum_{n = 1}^{\infty } a_{n} b_{n} is convergent for all sequences {an:n≥1}⊂C\left\{ a_{n}: n \geq 1\right\} \subset \mathbb {C}, for which the partial sums ∑k=1nak,n≥1\sum_{k = 1}^{n} a_{k}, n \geq 1, are uniformly bounded, if and only if bn→0b_{n} \rightarrow 0, n→∞n \rightarrow \infty, and ∑n=1∞∣bn+1−bn∣<+∞\sum_{n = 1}^{\infty }\left|b_{n+1}-b_{n}\right| < +\infty.