The exponential map for time-varying vector fields

TL;DR

This paper develops a categorical, localised version of the exponential map for time-varying vector fields, accommodating various regularities and providing a unified topological framework for control theory analysis.

Contribution

It introduces a presheaf construction of the exponential map for measurable and continuous time-dependent vector fields, overcoming the lack of a global exponential map in geometric control theory.

Findings

Homeomorphism of the exponential map established across regularity classes

A new continuous dependence of local flows on parameters proved

Unified topological framework for vector fields and flows developed

Abstract

The exponential map that characterises the flows of vector fields is the key in understanding the basic structural attributes of control systems in geometric control theory. However, this map does not exists due to the lack of completeness of flows for general vector fields. An appropriate substitute is devised for the exponential map, not by trying to force flows to be globally defined by any compact assumptions on the manifold, but by categorical development of spaces of vector fields and flows, thus allowing for systematic localisation of such spaces. That is to say, we give a presheaf construction of the exponential map for vector fields with measurable time-dependence and continuous parameter-dependence in the category of general topological spaces. Moreover, all manners of regularity in state are considered, from the minimal locally Lipschitz dependence to holomorphic and real analytic dependence. Using geometric descriptions of suitable topologies for vector fields and for local diffeomorphisms, the homeomorphism of the exponential map is derived by a uniform treatment for all cases of regularities. Finally, a new sort of continuous dependence is proved, that of the fixed time local flow on the parameter which plays an important role in the establishment of the homeomorphism of the exponential map.