The exponential map for time-varying vector fields

Publication date 1 February 2022

Categories of topological spaces and continuous mappings (18F60) Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Geometric methods in ordinary differential equations (34A26) Topological linear spaces of continuous, differentiable or analytic functions (46E10) Projective and injective objects in functional analysis (46M10) Linear and affine connections (53B05) Global geometric and topological methods (à la Gromov); differential geometric analysis on metric spaces (53C23)

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.

This page was built for publication: The exponential map for time-varying vector fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6389893)