On classical solutions of the relativistic Vlasov-Klein-Gordon system.
We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized vector bundle homomorphisms and, based on this, provide a definition of tangent map for such generalized functions.
We prove Gronwall-type estimates for the distance of integral curves of smooth vector fields on a Riemannian manifold. Such estimates are of central importance for all methods of solving ODEs in a verified way, i.e., with full control of roundoff errors. Our results may therefore be seen as a prerequisite for the generalization of such methods to the setting of Riemannian manifolds.
Page 1