Distributional complexes split for positive dimensions

From MaRDI portal





Let \({\mathcal D}'(\Omega)\) denote the space of distributions on an open subset \(\Omega\subseteq \mathbb{R}^n\). Algebraically exact complexes like \[ 0\to F\to({\mathcal D}'(\Omega_0))^{s_0}@>{T_0}>>({\mathcal D}'(\Omega_1))^{s_1}@> {T_1}>>\cdots @>{T_{n-1}}>>({\mathcal D}'(\Omega_n))^{s_n} @>{T_n}>> 0 \] appear naturally in the theory of partial differential equations and convolution equations and hence the problem of their splitting assumes significance. Using abstract methods of functional analysis the authors in this paper prove that an exact complex \[ 0\to F\to F_0@>{T_0}>> F_1@>{T_1}>> F_2\to\cdots \] with \(F_i\simeq({\mathcal D}'(\Omega_i))\), \(\Omega_i\subseteq \mathbb{R}^n\) open, \(T_i\) continuous linear operators, open onto its image (for example \(T_i\)'s can be matrices of linear partial differential operators or matrices of convolution operators), splits for \(i\geq 1\) and that \(T_0: F_0\to \text{Im }T_0\) has a right inverse if and only if \(F\) is a topological quotient of \({\mathcal D}'= (s')^N\) where \((s')^N\) denotes the topological product of countably many copies of the strong dual of the space of rapidly decreasing sequences.











This page was built for publication: Distributional complexes split for positive dimensions

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