The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.
The authors generalize a construction of Connes by defining for an -bundle over smooth manifold and a reduced cyclic cohomology class a sequence of de Rham cohomology classes . Here is a convenient algebra, defined by the authors, and is a locally trivial bundle with standard fibre a right finitely generated projective -module and bounded -modules homomorphisms as transition functions.
Download Results (CSV)