Kernel identities and vectorial regularisation

Spaces of linear operators; topological tensor products; approximation properties (46A32) Topological linear spaces of test functions, distributions and ultradistributions (46F05) Operations with distributions and generalized functions (46F10)

Review text

The aim of this article is to present a new method to prove some known and new kernel identities. More precisely, let \(\dot{{\mathcal B}}\) denote the space of smooth functions with derivatives vanishing at infinity and let \(\dot{{\mathcal B}}'\) be the closure of compactly supported distributions in the class of bounded distributions. In Section, 2 the authors obtain the identities \[ \dot{{\mathcal B}}_{xy} = \dot{{\mathcal B}}_{x}\widehat{\otimes}_\varepsilon \dot{{\mathcal B}}_{y},\;\;\dot{{\mathcal B}}'_{xy} = \dot{{\mathcal B}}'_{x}\widehat{\otimes}_\varepsilon \dot{{\mathcal B}}'_{y}, \] (Propositions 3 and 4), while in Section 3, the authors prove \[ {\mathcal D}_{L_1,xy} = {\mathcal D}_{L_1,x}\widehat{\otimes}_\pi {\mathcal D}_{L_1,y}, \;\;{\mathcal D}'_{L_1,xy} = {\mathcal D}'_{L_1,x}\widehat{\otimes}_\pi {\mathcal D}'_{L_1,y}, \] (Propositions 9 and 10). All the identities are obtained after applying appropriate vectorial regularization properties obtained in Propositions 1 and 7. For instance, the identity \({\mathcal D}_{L_1,xy} = {\mathcal D}_{L_1,x}\widehat{\otimes}_\pi {\mathcal D}_{L_1,y}\) follows from \[ K(x,z)\in {\mathcal D}_{L_1,x}\widehat{\otimes}_\pi E_z \Leftrightarrow K(x-y,z)\in \left({\mathcal E}_y\widehat{\otimes}L_x^1\right)\widehat{\otimes}_\pi E_z. \]

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Kernel identities and vectorial regularisation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647810)