Sheaves of nonlinear generalized function spaces (Q1747852)

The authors continue their recent studies of the functional analytic approach to Colombeau algebras [\textit{E. A. Nigsch}, Novi Sad J. Math. 45, No. 1, 231--240 (2015; Zbl 1460.46029); J. Math. Anal. Appl. 421, No. 1, 415--435 (2015; Zbl 1314.46055)]. An abstract formulation of the construction of sheaves of nonlinear generalized function spaces is given. To this end, diffeomorphism invariant differential algebras of distributions are constructed. The following theorem is proved. Theorem. Let \(M\) be a paracompact Hausdorff manifold. There is an associative commutative algebra \({\mathcal G}_{\mathrm{loc}}(M)\) with unit containing \(\mathcal D'(M)\) injectively as a linear subspace and \(C^{\infty}(M)\) as a subalgebra. \(\mathcal G_{\mathrm{loc}}(M)\) is a differential algebra, where the derivations \(\hat{L}_X\) extend the usual Lie derivatives from \(D'(M)\) to \(\mathcal G_{\mathrm{loc}}(M)\) and \(\mathcal G_{\mathrm{loc}}\) is a fine sheaf of algebras over \(M\). These results serve as an efficient tool for the studies of PDE based models which may involve singular data and coefficients.