The geometry of the differential equation \(y''' = F(x, y, y', y'')\). (Q2588355)

Einen Gedanken von Cartan verallgemeinernd betrachtet Verf. die genannte Differentialgleichung dritter Ordnung. Es gibt eine relative Invariante \[ I= \frac{\partial F}{\partial y} \frac{1}{3}\frac{\partial F}{\partial y'}\frac{\partial F}{\partial y''} \frac{2}{27}\biggl(\frac{\partial F}{\partial y''}\biggr)^3+ \frac{1}{2}\frac{d}{dx}\frac{\partial F}{\partial y}+ \frac{1}{3}\frac{\partial F}{\partial y''}\frac{d}{dx}\frac{\partial F}{\partial y''}-\frac{1}{6}\frac{d^2}{dx^2}\frac{\partial F}{\partial y''}. \] Ist \(I = 0\), so besteht das vollständige Invariantensystem aus fünf Invarianten und ihren kovarianten Ableitungen. In diesem Falle legt die Differentialgleichung im Raume der Integralkurven eine konforme Übertragung fest, die im Cartanschen Sinne normal ist. Es besteht Invarianz bei der Gruppe der Kontakttransformationen. Ist \(I\neq 0\), so besteht das vollständige Invariantensystem aus fünfzehn Invarianten und ihren kovarianten Ableitungen. In diesem Falle legt die Differentialgleichung im Raume von \(x\), \(y\), \(y'\) und \(y''\) eine Geometrie mit einer fünfparametrigen Fundamentalgruppe fest.