Integrability of Lie Equations and Pseudogroups

In this paper the theory of jets based on Weil’s near points is applied to Lie equations and pseudogroups. Linear systems of partial differential equations are interpreted, in a canonical way, as distributions on the fibre bundles of invertible jets invariant under translations. We prove the two fundamental theorems for Lie equations and generalize the results of Rodrigues; a geometric correspondence between linear and nonlinear Lie equations is given, and the symbols of a linear Lie equation and its prolongations are canonically identified with the symbols of their attached nonlinear equations. From this fact we deduce that a linear Lie equation verifies the conditions of Goldsmichmidt’s criterion on formal integrability if and only if its attached nonlinear Lie equation satisfies them locally. Finally, we define the Cartan 1-form on the fibre bundle of invertible jets and give a global form to the equivalence between the Lie and Cartan definitions of continuous groups.