Spaces of Riemann-integrable functions

[15/7%]
Show
LaTeX

Prove that if a sequence of functions (xn(t))\left(x_{n}(t)\right) converges uniformly to a function x(t)x(t) on the segment [a;b][a ; b] and xn−x∈RLp[a;b]x_{n}-x \in R L_{p}[a ; b], then this sequence also converges to the function xx in the seminorm of the space RLp[a;b]R L_{p}[a ; b] (see example 2).

?

Construct an example of a sequence of continuous nonnegative functions on the segment [0;1][0 ; 1] that converges in the sense of the norm of the space CLp[0;1]C L_{p}[0 ; 1] (see problem 66) but does not converge at any point of this segment.

?

A set EE is called dense in a seminormed space XX if for every point x∈Xx \in X and every ε>0\varepsilon > 0 there exists a point y∈Ey \in E such that ∥y−x∥<ε\left\| y-x\right\| < \varepsilon. The set C0∞(a;b)C_{0}^{\infty }(a ; b), −∞⩽a<b⩽+∞-\infty \leqslant a < b \leqslant +\infty (see problem 113 of §18\S 18), is dense in the space RLp(a;b),1⩽p<+∞R L_{p}(a ; b), 1 \leqslant p < +\infty (see example 2).

?

If 1⩽p<q<+∞1 \leqslant p < q < +\infty, then the set RLq[a;b]R L_{q}[a ; b] is a dense subspace of the space RLp[a;b]R L_{p}[a ; b] (see example 2).

?

Prove the stated assertion. The following inclusions hold:

?
(1)

CLp[a;b]⊂RLp[a;b],1⩽p<+∞C L_{p}[a ; b] \subset R L_{p}[a ; b], 1 \leqslant p < +\infty (see example 2 and problem 66);

(2)

C[a;b]⊂CLp[a;b],1⩽p<+∞C[a ; b] \subset C L_{p}[a ; b], 1 \leqslant p < +\infty (see problem 8);

(3)

Cn[a;b]⊂C[a;b],n=0,1,2,…C^{n}[a ; b] \subset C[a ; b], n = 0,1,2, \ldots (see problem 69).

Prove the stated assertion. The system of powers 1,t,t2,…,tn,…1, t, t^{2}, \ldots , t^{n}, \ldots is complete in the space CLp[a;b]C L_{p}[a ; b] (see problem 66).

?

Prove the stated assertion.

?
(1)

The system {1;cos⁡x;sin⁡x;…;cos⁡nx;sin⁡nx;…}\left\{ 1 ; \cos x ; \sin x ; \ldots ; \cos n x ; \sin n x ; \ldots \right\} is complete in the space RLp[−π;π],1⩽p<+∞R L_{p}[-\pi ; \pi ], 1 \leqslant p < +\infty (see example 2);

(2)

the system {cos⁡x;cos⁡3x;…;cos⁡(2n+1)x;…}\left\{ \cos x ; \cos 3 x ; \ldots ; \cos (2 n+1) x ; \ldots \right\} is complete in the space RL2[0;π/2]R L_{2}[0 ; \pi / 2].

Prove the stated assertion. In the linear space RL2(a;b),−∞⩽a<b⩽+∞R L_{2}(a ; b),-\infty \leqslant a < b \leqslant +\infty, consisting of real functions whose square is integrable (generally, in the improper sense) on the interval (a;b)(a ; b), the functional

(x,y)=∫abx(t)y(t)dt,x∈RL2(a;b),y∈RL2(a;b) (x, y) = \int _{a}^{b} x(t) y(t) d t, \quad x \in R L_{2}(a ; b), \quad y \in R L_{2}(a ; b)

is an almost-scalar product and is not a scalar product.

?

Prove the stated assertion. In the linear space of functions x:[a;b]→Rx:[a ; b] \rightarrow R continuous on the segment [a;b][a ; b], the functional

(x,y)=∫abx(t)y(t)dt,x,y∈C[a;b] (x, y) = \int _{a}^{b} x(t) y(t) d t, \quad x, y \in C[a ; b]

is a scalar product. The resulting space with the scalar product is denoted CL2[a;b]C L_{2}[a ; b].

?

Prove the stated assertion. In the linear space consisting of complex-valued functions whose squared modulus is integrable on a finite or infinite interval, the functional

(x,y)=∫abx(t)y(t)‾dt (x, y) = \int _{a}^{b} x(t) \overline{y(t)} d t

is an almost-scalar product and is not a scalar product.

?

Prove the stated assertion. In the space CL2(a;b)C L_{2}(a ; b) of real functions continuous on a finite or infinite interval (a;b),−∞⩽a<b⩽+∞(a ; b),-\infty \leqslant a < b \leqslant +\infty, whose square is integrable on this interval, the functional

(x,y)=∫abx(t)y(t)dt (x, y) = \int _{a}^{b} x(t) y(t) d t

is a scalar product.

?

Find the angles of the triangle with vertices at the points x1(t)≡0x_{1}(t) \equiv 0, x2(t)≡1,x3(t)≡tx_{2}(t) \equiv 1, x_{3}(t) \equiv t in the space CL2[−1;1]C L_{2}[-1 ; 1] (see problem 11 of § 20).

?

If in the space RL2(a;b)R L_{2}(a ; b) (see problem 10) the series ∑n=1∞xn(t)\sum_{n = 1}^{\infty } x_{n}(t) converges and its sum equals x(t)x(t), i.e., ∑n=1∞xn(t)=x(t)\sum_{n = 1}^{\infty } x_{n}(t) = x(t), then for every function φ(t)∈RL2[a;b]\varphi (t) \in R L_{2}[a ; b] the equality

∫abx(t)φ(t)dt=∑n=1∞∫abxn(t)φ(t)dt \int _{a}^{b} x(t) \varphi (t) d t = \sum _{n = 1}^{\infty } \int _{a}^{b} x_{n}(t) \varphi (t) d t

holds; in particular, for a finite interval (a,b)(a, b) the equality

∫abx(t)dt=∑n=1∞∫abxn(t)dt \int _{a}^{b} x(t) d t = \sum _{n = 1}^{\infty } \int _{a}^{b} x_{n}(t) d t

holds, i.e., the given series can be integrated term by term.

?

The space CL2[a;b]C L_{2}[a ; b] (see problem 11) is not a Hilbert space.

?

If lim⁡n→∞∫ab[x(t)−xn(t)]2dt=0\lim_{n \rightarrow \infty } \int_{a}^{b}\left[x(t)-x_{n}(t)\right]^{2} d t = 0, then the sequence of functions {xn(t)}\left\{ x_{n}(t)\right\} is called convergent in the mean-square sense on the segment [a;b][a ; b] to the function x(t)x(t).

The function x(t)=1/tx(t) = 1 / \sqrt{t} is not the limit, in the mean-square sense on the segment [0;1][0 ; 1], of a sequence of continuous functions.

?

References

[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.