English

Linear topological invariants for kernels of convolution and differential operators

Functional Analysis 2023-02-17 v2 Analysis of PDEs

Abstract

We establish the condition (Ω)(\Omega) for smooth kernels of various types of convolution and differential operators. By the (DN)(DN)-(Ω)(\Omega) splitting theorem of Vogt and Wagner, this implies that these operators are surjective on the corresponding spaces of vector-valued smooth functions with values in a product of Montel (DF)(DF)-spaces whose strong duals satisfy the condition (DN)(DN), e.g., the space D(Y)\mathscr{D}'(Y) of distributions over an open set YRnY \subseteq \mathbb{R}^n or the space S(Rn)\mathscr{S}'(\mathbb{R}^n) of tempered distributions. Most notably, we show that: (i)(i) EP(X)={fE(X)P(D)f=0}\mathscr{E}_P(X) = \{ f \in \mathscr{E}(X) \, | \, P(D)f = 0 \} satisfies (Ω)(\Omega) for any differential operator P(D)P(D) and any open convex set XRdX \subseteq \mathbb{R}^d. (ii)(ii) Let PC[ξ1,ξ2]P\in\mathbb{C}[\xi_1,\xi_2] and XR2X \subseteq \mathbb{R}^2 open be such that P(D):E(X)E(X)P(D):\mathscr{E}(X)\rightarrow\mathscr{E}(X) is surjective. Then, EP(X)\mathscr{E}_P(X) satisfies (Ω)(\Omega). (iii)(iii) Let μE(Rd)\mu \in \mathscr{E}'(\mathbb{R}^d) be such that E(Rd)E(Rd),fμf \mathscr{E}(\mathbb{R}^d) \rightarrow \mathscr{E}(\mathbb{R}^d), \, f \mapsto \mu \ast f is surjective. Then, {fE(Rd)μf=0} \{ f \in \mathscr{E}(\mathbb{R}^d) \, | \, \mu \ast f = 0 \} satisfies (Ω)(\Omega). The central result in this paper states that the space of smooth zero solutions of a general convolution equation satisfies the condition (Ω)(\Omega) if and only if the space of distributional zero solutions of the equation satisfies the condition (PΩ)(P\Omega). The above and related results then follow from known results concerning (PΩ)(P\Omega) for distributional kernels of convolution and differential operators.

Keywords

Cite

@article{arxiv.2204.11733,
  title  = {Linear topological invariants for kernels of convolution and differential operators},
  author = {Andreas Debrouwere and Thomas Kalmes},
  journal= {arXiv preprint arXiv:2204.11733},
  year   = {2023}
}

Comments

17 pages; correction of typos; accepted for publication in Journal of Functional Analysis

R2 v1 2026-06-24T10:57:56.355Z