Abstract
In this chapter we lay the geometric foundations of the formal theory of differential equations. The name “formal theory” stems from the fact that it is, at least indirectly, concerned with the analysis of formal power series solutions, i. e. one ignores the question whether the series actually converge. Another interpretation of the name is that one tries to extract as much information as possible on the solution space by purely formal operations like algebraic manipulations of the equations or their differentiations without actually solving the given equation.
The basic tool for a geometric approach to differential equations is the jet bundle formalism and the first two sections give an introduction to it. We do this first in a more pedestrian way considering jets as a differential geometric approach to (truncated) power series. For most computational purposes this simple point of view is sufficient. In order to obtain a deeper understanding of certain structural properties which will later be of importance, we redevelop the theory in the second section in a more abstract but intrinsic way which does not require power series. In both approaches, special emphasis is put on the contact structure as the key to the geometry of jet bundles. Because of its great importance, we consider different geometric realisations of it, each having its advantages in certain applications.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Seiler, W.M. (2009). Formal Geometry of Differential Equations. In: Involution. Algorithms and Computation in Mathematics, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01287-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-01287-7_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01286-0
Online ISBN: 978-3-642-01287-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)