Aarhus University Seal

Ordinary differential equations and their exponentials

by Anders Kock and Gonzalo E. Reyes
Preprints Number 12 (September 2004)
Vector fields or, equivalently, (autonomous, first order) ordinary differential equations, have long been considered, heuristically, to be the same as infinitesimal (pointed) actions or infinitesimal flows, but it is only with the development of Synthetic Differential Geometry (SDG) that we have the tools to formulate these notions and prove their equivalence in a rigourous mathematical way. We exploit this fact to define the exponential of two ordinary differential equations as the exponential of the corresponding infinitesimal actions. The resulting action is seen to be the same as a partial differential equation whose solutions may be obtained by conjugation from the solutions of the differential equations that make up the exponential. Furthermore, we show that this method of conjugation, under some conditions, is an application of the method of change of variables, widely used to solve differential equations.
Format available: PDF (309 KB)