Abstract
In this chapter we return again to the study of differential equations. We will now combine the geometric theory introduced in Chapter 2 with the algebraic and homological constructions of the last four chapters in order to arrive finally at the notion of an involutive equation. The key is the (geometric) symbol \(\mathcal{N}_q \subseteq V\pi^q_{q-1}\) of an equation \( \mathcal{R}_q \subseteq J_q \pi \) which we define in the first section. The fundamental identification \(V\pi_{q-1}^q \cong S_q(T^\ast \mathcal{X}) \mathop\otimes\limits_{J_{q-1}\pi} V \pi\) discussed in Section 2.2 builds a bridge between the geometric and the algebraic side of formal theory.
Intrinsically, the symbol defines via prolongation at each point on \( \mathcal{R}_q \) a subcomodule of a free comodule over the symmetric coalgebra, i. e. a symbolic system, to which we may apply the homological theory of Chapter 6. Dually, the symbol equations generate a submodule of a free module over the symmetric algebra. In local coordinates we may identify the symmetric algebra with the polynomial algebra and thus are exactly in the situation treated in Chapter 5.
Either way, the algebraic theory leads naturally to the notion of an involutive symbol. For readers not so familiar with abstract algebra, we will repeat some results from the previous chapters in differential equations terminology. In particular, we will discuss a concrete criterion for an involutive symbol which is useful in coordinate computations. However, it is valid only in δ-regular coordinates so that it must be applied with some care.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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). Involution III: Differential Theory. In: Involution. Algorithms and Computation in Mathematics, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01287-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-01287-7_7
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)