Completeness of systems of functions

[11/36%]
Show
LaTeX

Prove that the system of functions {t100k:k≥k0},k0∈N\left\{ t^{100 k}: k \geq k_{0}\right\} , k_{0} \in \mathbb {N}, is total in Lp([a,b]),1≤p<+∞L_{p}(\left[a, b\right]), 1 \leq p < +\infty for a≥0a \geq 0.

?

Let a function f∈L2(R)f \in L_{2}(\mathbb {R}) be almost everywhere nonzero and suppose there exists a positive number aa such that ea∣x∣⋅f∈L2(R)e^{a\left|x\right|} \cdot f \in L_{2}(\mathbb {R}). Prove that the system of functions {xnf}n=0∞\left\{ x^{n} f\right\}_{n = 0}^{\infty } is complete in L2(R)L_{2}(\mathbb {R}).

?

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 C[a;b]C[a ; b] (see problem 8).

?

Prove the stated assertion.

?
(1)

In the subspace C∗[−π;π]C^{*}[-\pi ; \pi ] of the space C[−π;π]C[-\pi ; \pi ] (see problem 8), consisting of those functions x(t)x(t) such that x(−π)=x(π)x(-\pi ) = x(\pi ), 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, while the system {1;cos⁡x;cos⁡2x;…;cos⁡nx;…}\left\{ 1 ; \cos x ; \cos 2 x ; \ldots ; \cos n x ; \ldots \right\} is not complete;

(2)

in the subspace of the space C[0;π/2]C[0 ; \pi / 2] of functions satisfying the condition f(0)=0f(0) = 0, the system

{sin⁡x;sin⁡3x;…;sin⁡(2n+1)x;…} \left\{ \sin x ; \sin 3 x ; \ldots ; \sin (2 n+1) x ; \ldots \right\}

is complete.

Prove the stated assertion. The system of Legendre polynomials (see problem 28) is complete in the spaces C[a;b]C[a ; b] (see problem 8) and CLp[a;b],1⩽p<+∞C L_{p}[a ; b], 1 \leqslant p < +\infty (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].

Let H\mathcal{H} be Hilbert space with an orthonormal basis {en}\left\{ e_{n}\right\}, and let

fn=1n2+n(∑k=1nek−nen+1),n=1,2,3,… f_{n}=\frac{1}{\sqrt{n^{2}+n}}\left(\sum _{k=1}^{n} e_{k}-n e_{n+1}\right), \quad n=1,2,3, \ldots

Prove that {fn}\left\{ f_{n}\right\} is an orthonormal basis for H\mathcal{H}.

?

Let λ1,λ2,λ3,…,λn,…\lambda_{1}, \lambda_{2}, \lambda_{3}, \ldots , \lambda_{n}, \ldots be distinct positive numbers such that the series

1λ1+1λ2+1λ3+⋯+1λn+⋯ \frac{1}{\lambda _{1}} + \frac{1}{\lambda _{2}} + \frac{1}{\lambda _{3}} + \cdots + \frac{1}{\lambda _{n}} + \cdots

is divergent. If a function h(t)h(t) which is properly integrable over the interval 0≤t≤10\leq t\leq 1 satisfies the condition

∫01tλnh(t) dt=0,n=1,2,3,…, \int _{0}^{1} t^{\lambda _{n}} h(t) \, dt = 0, \qquad n=1,2,3,\ldots ,

then h(t)=0h(t)=0 at every point of continuity tt. (A generalization of Problem 139 of Part II.)

?
Remark.
?

∫01tzh(t) dt\int_{0}^{1} t^{z} h(t)\, dt is an analytic function of zz; see Problem 298 of Part III.

Let g(z)g(z) be a transcendental entire function of order λ<12\lambda <\tfrac {1}{2}. Let its coefficients be different from 00 and its zeros w1,w2,w3,…,wn,…w_{1}, w_{2}, w_{3}, \ldots , w_{n}, \ldots be distinct, wk≠wlw_{k}\neq w_{l} for k≠lk\neq l. If a function h(t)h(t) which is defined and properly integrable over the interval 0≤t≤10\leq t\leq 1 satisfies the condition

∫01g(wnt)h(t) dt=0,n=1,2,3,…, \int _{0}^{1} g(w_{n}t) h(t) \, dt = 0, \qquad n=1,2,3,\ldots ,

then h(t)=0h(t)=0 at every point of continuity tt. (See Problem 139 of Part II.)

?
Remark.
?

T. Carleman.

Let g(z)g(z) be a transcendental entire function of genus 00 with all its zeros w1,w2,w3,…,wn,…w_{1}, w_{2}, w_{3}, \ldots , w_{n}, \ldots, real and distinct. If a function h(t)h(t) defined and properly integrable in the interval 0≤t≤10\leq t\leq 1 satisfies the condition

∫01g(wnt)h(t) dt=0,n=1,2,3,…, \int _{0}^{1} g(w_{n}t) h(t) \, dt = 0, \qquad n=1,2,3,\ldots ,

then h(t)=0h(t)=0 at every point of continuity tt. (We may, for example, set g(z)=J0(z)g(z)=J_{0}(\sqrt{z}) or cos⁡πz\cos \pi \sqrt{z}.)

?
Remark.
?

T. Carleman.

Let the numbers a,b,m1,m2,m3,…a, b, m_{1}, m_{2}, m_{3}, \ldots be real, and satisfy

0<m1<m2<m3<⋯ , 0 < m_{1} < m_{2} < m_{3} < \cdots , lim⁡n→∞nmn>b−a2π>0. \lim _{n\to \infty } \frac{n}{m_{n}} > \frac{b-a}{2\pi } > 0.

Furthermore, let f(x)f(x) be continuous in the interval [a,b][a,b]. Then it follows from

∫abf(x)cos⁡mnx dx=∫abf(x)sin⁡mnx dx=0 \int _{a}^{b} f(x) \cos m_{n}x \, dx = \int _{a}^{b} f(x) \sin m_{n}x \, dx = 0

for n=1,2,3,…n=1,2,3,\ldots, that f(x)f(x) vanishes identically. (A fraction of the whole system of Fourier functions is closed over the corresponding fraction of the whole interval.)

?
Remark.
?

Cf. problem 198. G. Polya, problem: Jber. deutsch. Math. Verein., Section 2, 40, p. 81 (1931). Solution by O. Szasz, op. cit. 43, pp. 20-23 (1933). For a stronger result, see Paley and Wiener, op. cit. problem 209, pp. 83-85. See also Norman Levinson: Gap and Density Theorems. Amer. Math. Soc. Colloquium Publications 26, New York 1940, pp. 3-5.

References

[BCK+24] Brayman V.B., Chaikovskyi A.V., Konstantinov O.Y., Kukush A.G., Mishura Y.S., Nesterenko O.N. Functional Analysis and Operator Theory. Springer, 2024.
[БСШ17] Бородин П.А., Савчук А.М., Шейпак И.А. Задачи по функциональному анализу. МЦНМО, 2017.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.
[Pet25] Petrovic J.S. Measure and Integral: Theory and Practice. CRC Press, 2025.
[PóSz98] Pólya G., Szegő G. Problems and Theorems in Analysis. Springer, 1998.