arXiv subjects
Publications and source records attributed to Michael Grosser.
A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius theorem is proved. In all these results, composition of generalized functions is based on the notion of c-boundedness.
We introduce full diffeomorphism-invariant Colombeau algebras with added $\varepsilone$-dependence in the basic space. This unites the full and special settings of the theory into one single framework. Using locality conditions we find the appropriate definition of point values in full Colombeau algebras and show that special generalized points suffice to characterize elements of full Colombeau algebras. Moreover, we specify sufficient conditions for the sheaf property to hold and give a definition of the sharp topology in this framework.
As early as 1972, Penrose - in a purely formal way - introduced a "discontinuous coordinate transformation", which relates a continuous representation of the metric of impulsive pp-waves to a discontinuous one. On the basis of the invertibility concept for generalized functions developed recently by the first author, we show that this discontinuous coordinate transformation indeed represents an invertible generalized function in the appropriate sense.
We extend the construction of [19] by introducing spaces of generalized tensor fields on smooth manifolds that possess optimal embedding and consistency properties with spaces of tensor distributions in the sense of L. Schwartz. We thereby obtain a universal algebra of generalized tensor fields canonically containing the space of distributional tensor fields. The canonical embedding of distributional tensor fields also commutes with the Lie derivative. This construction provides the basis for applications of algebras of generalized functions in nonlinear distributional geometry and, in particular, to the study of spacetimes of low differentiability in general relativity.
26 different concrete representations of the space of vector valued distributions on a smooth manifold of dimension n are presented systematically, most of them new. In the particular case of representations as module homomorphisms acting on sections of the dual bundle resp. on n-forms, the continuity of these homomorphisms is already a consequence of their algebraic properties.
Extending the construction of the (intrinsically defined) full algebra of scalar valued Colombeau functions on a smooth manifold M (Grosser et al., Adv. Math. 166 (2002), 179-206) we present a suitable basic space for eventually obtaining tensor valued generalized functions on M, via the usual quotient construction. This basic space canonically contains the tensor valued distributions and permits a natural extension of the classical Lie derivative. Its members are smooth functions depending - via a third slot - on so-called transport operators, in addition to slots one (smooth n-forms on M) and two (points of M) from the scalar case.
This contribution presents a comprehensive analysis of Colombeau (-type) algebras in the range between the diffeomorphism invariant algebra introduced in Part I and Colombeau's original algebra. Along the way, it provides several classification results which are indispensable for obtaining an intrinsic description of a (full) Colombeau algebra on a manifold. The latter will be the focus of Part III of this series of contributions.
We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces, previous attempts in this direction are unified and completed. Several classification results are achieved and applications to nonlinear differential equations involving singularities are given.
This paper gives a comprehensive analysis of algebras of Colombeau-type generalized functions in the range between the diffeomorphism-invariant quotient algebra $\mathcal{G}^d = \mathcal{E}_M/\mathcal{N}$ introduced in part I and Colombeau's original algebra $\mathcal{G}^e$. Three main results are established: First, a simple criterion describing membership in $\mathcal{N}$ (applicable to all types of Colombeau algebras) is given. Second, two counterexamples demonstrate that $\mathcal{G}^d$ is not injectively included in $\mathcal{G}^e$. Finally, it is shown that in the range ``between'' $\mathcal{G}^d$ and $\mathcal{G}^e$ only one more construction leads to a diffeomorphism invariant algebra. In analyzing the latter, several classification results essential for obtaining an intrinsic description of $\mathcal{G}^d$ on manifolds are derived.
We present a geometric approach to defining an algebra $\hat{\mathcal G}(M)$ (the Colombeau algebra) of generalized functions on a smooth manifold $M$ containing the space ${\mathcal D}'(M)$ of distributions on $M$. Based on differential calculus in convenient vector spaces we achieve an intrinsic construction of $\hat{\mathcal G}(M)$. $\hat{\mathcal G}(M)$ is a{\em differential} algebra, its elements possessing Lie derivatives with respect to arbitrary smooth vector fields. Moreover, we construct a canonical linear embedding of ${\mathcal D}'(M)$ into $\hat{\mathcal G}(M)$ that renders ${\mathcal C}^\infty (M)$ a faithful subalgebra of $\hat{\mathcal G}(M)$. Finally, it is shown that this embedding commutes with Lie derivatives. Thus $\hat{\mathcal G}(M)$ retains all the distinguishing properties of the local theory in a global context.