# Integrability conditions for differential equations on $J^\infty$

Is there any result on the existence of solutions of differential equations of the form $$D_\alpha\Phi([u])=U_\alpha([u])\Phi([u]),$$ where $[u]$ is an element of an infinite dimensional bundle $J^\infty$, the $D_\alpha$ is the total derivative relative to the base variable of the jet bundle, $\Phi([u])$ takes values in a matrix Lie group $G$, and $U_\alpha([u])$ takes values in its Lie algebra $\mathfrak{g}$?

Of course, the above differential equations must satisfy an integrability condition to have a solution, namely $D_\alpha D_\beta\Phi([u])=D_\beta D_\alpha\Phi([u])$. Nevertheless, is this condition sufficient? It is obvious that the Frobenius theorem does not apply here as $J^\infty$ is infinite-dimensional.

There exists a theory of integrability for differential equations on vector bundles over infinite dimensional jet bundles or, more generally, diffities. Although several vector fields on such structures are not integrable, relevant vector fields, like by the operators $D_\alpha$ and other evolutionary vector fields, can be integrated. This makes simpler to investigate the integrability of such a type of differential equations. More general results are based upon the cohomological theory of infinite-dimensional jet bundles, diffieties and their C-spectral sequences. Some references can be found below and in the literature therein.