Continuous operators on test-function spaces

[15/33%]
Show
LaTeX

Prove that the operations of differentiation and multiplication by a function α∈C∞(R)\alpha \in C^{\infty }(\mathbb {R}) are continuous in D(R)\mathcal{D}(\mathbb {R}), i.e. the convergence φn→D(R)φ\varphi_{n} \xrightarrow {\mathcal{D}(\mathbb {R})} \varphi implies that

?
(1)

φn′→D(R)φ′\varphi_{n}^{\prime } \xrightarrow {\mathcal{D}(\mathbb {R})} \varphi^{\prime };

(2)

αφn→D(R)αφ,n→∞\alpha \varphi_{n} \xrightarrow {\mathcal{D}(\mathbb {R})} \alpha \varphi , n \rightarrow \infty.

Prove that the differentiation operator is continuous in each of the spaces D,S,E\mathcal{D}, \mathcal{S}, \mathcal{E}.

?

Let α:R→R\alpha : \mathbb {R} \rightarrow \mathbb {R} be an infinitely smooth function. Under what conditions on the function α\alpha is the operator φ⟼αφ\varphi \longmapsto \alpha \varphi continuous

?
(a)

in the space E\mathcal{E},

(b)

in the space D\mathcal{D},

(c)
  • in the space S\mathcal{S},
(d)

from E\mathcal{E} into S\mathcal{S},

(e)

from E\mathcal{E} into D\mathcal{D},

(f)

from S\mathcal{S} into D\mathcal{D}?

Prove the continuity of the integration operator

(Aφ)(t)=∫−∞tφ(s)ds (A \varphi )(t) = \int _{-\infty }^{t} \varphi (s) d s

acting in the space D\mathcal{D} and defined on the subspace D0={φ∈D:∫Rφ(t)dt=0}\mathcal{D}_{0} = \left\{ \varphi \in \mathcal{D}: \int_{\mathbb {R}} \varphi (t) d t = 0\right\}.

?

Let α:R→R\alpha : \mathbb {R} \rightarrow \mathbb {R} be a monotonically increasing infinitely differentiable function.

?
(a)

Prove the continuity of the change-of-variable operator

(Aφ)(t)=φ(α(t)), (A \varphi )(t) = \varphi (\alpha (t)),

acting in the space E\mathcal{E}.

(b)

Prove that if α(±∞)=±∞\alpha (\pm \infty ) = \pm \infty, then this operator is continuous in the space D\mathcal{D}.

(c)
  • Prove that if there exists p>0p > 0 such that ∣α(t)∣>∣t∣p\left|\alpha (t)\right| > \left|t\right|^{p} as ∣t∣→∞\left|t\right| \rightarrow \infty, and for every k∈Nk \in \mathbb {N} there exists sks_{k} such that ∣α(k)(t)∣<∣t∣sk\left|\alpha^{(k)}(t)\right| < \left|t\right|^{s_{k}} as ∣t∣→∞\left|t\right| \rightarrow \infty, then this operator is continuous in the space S\mathcal{S}.

Let α:R→R\alpha : \mathbb {R} \rightarrow \mathbb {R} be a compactly supported Lebesgue-summable function. Prove the continuity of the convolution operator

(Aφ)(t)=∫Rφ(s)α(t−s)ds (A \varphi )(t) = \int _{\mathbb {R}} \varphi (s) \alpha (t-s) d s

in the spaces D\mathcal{D} and E\mathcal{E}. Prove the continuity of this operator in the space S\mathcal{S} in the case when α\alpha is a measurable rapidly decreasing (i.e., sup⁡{(1+∣t∣)n∣α(t)∣}<∞\sup \left\{ (1+\left|t\right|)^{n}\left|\alpha (t)\right|\right\} < \infty for every n=0,1,…n = 0,1, \ldots) function.

?

Let S(R)\mathcal{S}(\mathbb {R}) be the Schwartz space introduced in Definition 9.18. Show that the position and momentum operators map S(R)\mathcal{S}(\mathbb {R}) into itself, and are self-adjoint when restricted to this domain, i.e.,

⟨Pf,g⟩=⟨f,Pg⟩ and ⟨Mf,g⟩=⟨f,Mg⟩ \left\langle P f, g \right\rangle = \left\langle f, P g \right\rangle \quad \text{ and } \quad \left\langle M f, g \right\rangle = \left\langle f, M g \right\rangle

for all f∈S(R)f \in \mathcal{S}(\mathbb {R}). (The Schwartz space is a convenient dense subspace of L2(R)L^{2}(\mathbb {R}), but can be replaced in this problem by some larger subspaces of L2(R)L^{2}(\mathbb {R}) if desired.)

?

Let AA be a linear mapping of D(Ω)\mathcal D(\Omega ) to a locally convex space LL. Prove that the following statements are equivalent:

  1. AA is a continuous mapping;

  2. AA is a bounded mapping (i.e., carries bounded sets into bounded sets);

  3. AA is sequentially continuous (i.e., if φn→0\varphi_n\to 0 as n→∞n\to \infty, then lim⁡n→∞Aφn=0\lim_{n\to \infty }A\varphi_n=0);

  4. the restriction of AA to any subspace DK(Ω)⊂D(Ω)\mathcal D_K(\Omega )\subset \mathcal D(\Omega ) is continuous.

?

Prove that the operations of differentiation ∂/∂xi\partial /\partial x_i and of multiplication by the independent variable xix_i are continuous operators in the spaces D(Rn)\mathcal D(\mathbb {R}^{n}), S(Rn)S(\mathbb {R}^{n}), E(Rn)\mathcal E(\mathbb {R}^{n}).

?

Prove that if f∈D(Ω)f\in \mathcal D(\Omega ), g∈E(Ω)g\in \mathcal E(\Omega ), then fg∈D(Ω)fg\in \mathcal D(\Omega ). Determine whether the bilinear mapping

(f,g)↦fgfrom D(Ω)×E(Ω) to D(Ω) (f,g)\mapsto fg\quad \text{from }\mathcal D(\Omega )\times \mathcal E(\Omega )\text{ to }\mathcal D(\Omega )
?
(a)

is continuous in each variable;

(b)

is jointly continuous in the variables;

(c)

is sequentially continuous in the variables jointly (i.e., if fn→ff_n\to f in D(Ω)\mathcal D(\Omega ), and gn→gg_n\to g in E(Ω)\mathcal E(\Omega ), then fngn→fgf_ng_n\to fg in D(Ω)\mathcal D(\Omega )).

Let ff be a bounded infinitely differentiable function on the line. Determine whether multiplication by ff is a continuous operator

?
(a)

in D(R)\mathcal D(\mathbb {R});

(b)

in S(R)S(\mathbb {R});

(c)

in E(R)\mathcal E(\mathbb {R});

(d)

from D(R)\mathcal D(\mathbb {R}) to S(R)S(\mathbb {R});

(e)

from D(R)\mathcal D(\mathbb {R}) to E(R)\mathcal E(\mathbb {R});

(f)

from S(R)S(\mathbb {R}) to E(R)\mathcal E(\mathbb {R}).

Let f∈D′(Rn)f\in \mathcal{D}'(\mathbb {R}^{n}). Prove that the operator S(f):D(Rn)→E(Rn)S(f):\mathcal{D}(\mathbb {R}^{n})\to \mathcal{E}(\mathbb {R}^{n}) is continuous.

?

Prove that every continuous operator in S(Rn)S(\mathbb {R}^{n}) that commutes with the operators MkM_k, 1≤k≤n1\leq k\leq n, (see Problem 580) is the operator of multiplication by a function.

?

Prove that every continuous operator in S(Rn)S(\mathbb {R}^{n}) that commutes with the operators MkM_k and DkD_k, 1≤k≤n1\leq k\leq n, (see Problem 580) is a scalar operator.

?

Prove the stated assertion. If lim⁡n→∞φn=φ\lim_{n \rightarrow \infty } \varphi_{n} = \varphi in DD, then for any k=1,2,…k = 1,2, \ldots

lim⁡n→∞φn(k)=φ(k) in D \lim _{n \rightarrow \infty } \varphi _{n}^{(k)} = \varphi ^{(k)} \quad \text{ in } \quad D
?

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.
[Hei11] Heil C. A Basis Theory Primer. Birkhäuser, 2011.
[KiGv88] Kirillov A.A., Gvishiani A.D. Теоремы и задачи функционального анализа. 2-е изд., Наука, 1988.
[ККЧ+03] Кудрявцев Л.Д., Кутасов А.Д., Чехлов В.И., Шабунин М.И. Функции многих переменных. 2-е изд., ФИЗМАТЛИТ, 2003.