Editing Jet bundle (section)

===Infinitely prolonged PDEs===
Given a ''k''-th order system of PDEs ''E'' ⊆ ''J<sup>k</sup>(π)'', the collection ''I(E)'' of vanishing on ''E'' smooth functions on ''J<sup>∞</sup>(π)'' is an [[ideal (ring theory)|ideal]] in the algebra <math>\mathcal{F}_k(\pi)</math>, and hence in the direct limit <math>\mathcal{F}(\pi)</math> too.

Enhance ''I(E)'' by adding all the possible compositions of [[total derivative]]s applied to all its elements. This way we get a new ideal ''I'' of <math>\mathcal{F}(\pi)</math> which is now closed under the operation of taking total derivative. The submanifold ''E''<sub>(∞)</sub> of ''J''<sup>∞</sup>(π) cut out by ''I'' is called the '''infinite prolongation''' of ''E''.

Geometrically, ''E''<sub>(∞)</sub> is the manifold of '''formal solutions''' of ''E''. A point <math>j_p^\infty(\sigma)</math> of ''E''<sub>(∞)</sub> can be easily seen to be represented by a section σ whose ''k''-jet's graph is tangent to ''E'' at the point <math>j_p^k(\sigma)</math> with arbitrarily high order of tangency.

Analytically, if ''E'' is given by φ = 0, a formal solution can be understood as the set of Taylor coefficients of a section σ in a point ''p'' that make vanish the [[Taylor series]] of <math>\varphi\circ j^k(\sigma)</math> at the point ''p''.

Most importantly, the closure properties of ''I'' imply that ''E''<sub>(∞)</sub> is tangent to the '''infinite-order contact structure''' <math>\mathcal{C}</math> on ''J<sup>∞</sup>(π)'', so that by restricting <math>\mathcal{C}</math> to ''E''<sub>(∞)</sub> one gets the [[diffiety]] <math>(E_{(\infty)}, \mathcal{C}|_{E_{(\infty)}})</math>, and can study the associated [[Diffiety#Vinogradov sequence|Vinogradov (C-spectral) sequence]].