Note on a class of exact differential expressions. (Q1521870)

Wenn \(\Omega\) und \(\omega\) die Operatoren bedeuten: \[ y\;\frac{d}{dy_1} + 2y_1\;\frac {d}{dy_2} + 3y_2\;\frac {d}{dy_3} + \cdots, \quad y_1 \;\frac {d}{dy} + y_2\;\frac {d}{dy_1} + y_3\;\frac {d}{dy_2} + \cdots, \] ferner \(G\) eine rationale ganze homogene Function \(i^{\text{ten}}\) Grades in Buchstaben, die aus den \(y, y_1, y_2, \dots\) gewählt sind, dann ist, falls man \(y\) als eine willkürliche Function von \(x\) ansieht und \(y_1, y_2, \dots\) als Bezeichnungen für \(dy/dx, \, d^2y/dx^2, \dots,\) die notwendige und hinreichende Bedingung dafür, dass \(Gdx\) ein exactes Differential ist: \[ \left\{1 - \frac {1}{i}\;\omega \Omega + \frac {1}{i^2}\;\frac {\omega^2 \Omega^2}{1.2} - \frac {1}{i^3}\;\frac{\omega^3 \Omega^3}{1.2.3} + \cdots \right\} G = 0. \]