A nonlinear theory of infrahyperfunctions (Q2175033)

This article aims at developing a nonlinear theory of infrahyperfunctions by embedding these into a differential algebra which is constructed in the spirit of Colombeau algebras. Using the common conditions (M.1), (M.2)$'$, (M.2), (M.2)*, (QA) and (NE) known from the theory of ultradistributions on a weight sequence \((M_p)_p\) -- which in particular is quasianalytic -- the space \(\mathcal{E}^{\{M_p\}}(\Omega)\) of ultradifferentiable functions of class \(\{M_p\}\) in an open subset \(\Omega \subseteq \mathbb{N}^d\) is used for the respective quotient construction: \(\{M_p\}\)-moderate sequences \((f_n)_n\) in \(\mathcal{E}^{\{M_p\}}(\Omega)\) are such that for all compact \(K \subseteq \Omega\), for all \(\lambda>0\) there exists \(h>0\) such that \(\sup_{n \in \mathbb{N}} \lVert f_n\rVert_{K,h}e^{-M(\lambda n)} < \infty\), while \(\{M_p\}\)-negligible sequences have to satisfy for all compact \( K \subseteq \Omega\) there exists \(\lambda>0\) and there exists \(h>0\) such that \(\sup_{n \in \mathbb{N}} \lVert f_n \rVert_{K,h} e^{M (\lambda n)} < \infty\), where \(\lVert \varphi \rVert _{K,h} = \sup \{ \lvert \varphi^{(\alpha)}(x) \rvert / h^{\lvert \alpha \rvert} M_\alpha: \alpha \in \mathbb{N}_0^d\), \(x \in K \}\) is the usual norm used for the construction of ultradifferentiable functions and \(M\) is the associated function of \((M_p)_p\); the factor algebra of \(\{M_p\}\)-moderate by \(\{M_p\}\)-negligible functions then defines the algebra \(\mathcal{G}^{\{M_p\}}(\Omega)\) of generalized functions of class \(\{M_p\}\). \(\mathcal{G}^{\{M_p\}}\) is shown to be a sheaf of differential algebras on \(\mathbb{R}^d\). The main result of the article is the existence of a unique injective sheaf morphism \(\mathcal{B}^{\{M_p\}} \to \mathcal{G}^{\{M_p\}}\), where \(\mathcal{B}^{\{M_p\}}\) is the sheaf of infrahyperfunctions of class \(\{M_p\}\) constructed by \textit{L. Hörmander} [Astérisque 131, 89--106 (1985; Zbl 0585.46036)], such that each \(\mathcal{B}^{\{M_p\}}(\Omega)\) is contained as a differential subalgebra and the multiplication of quasianalytic functions of class \(\{M_p\}\) coincides with their pointwise product. Finally, the authors show that this embedding is optimal in the sense that under some natural assumptions, it is not possible to preserve the multiplication of all ultradifferentiable functions from a class with lower regularity than \(\mathcal{E}^{\{M_p\}}\).