A set of criteria for exact derivatives. (Q1474518)

Es seien \(y, z, \dots\) Funktionen der unabhängigen Veränderlichen \(x\) und es mögen \(y_r, z_r, \dots\) die \(r\)-ten Ableitungen nach \(x\) bezeichnen. Die Frage, wann eine Funktion \[ u = F (x; y, y_1, y_2 \dots; z, z_1, z_2, \dots) \] die \(r\)-te Ableitung einer anderen ist, wird hier in dem folgenden speziellen Falle behandelt: \(u\) sei homogen vom Grade \(i \neq 0\) in bezug auf eine Gruppe der Argumente, etwa in bezug auf \(y, y_1, y_2, \dots,\) und eine ganze rationale Funktion von \(y_1, y_2, y_3,\dots .\) Man setze \[ D = \frac {\partial}{\partial x} + y_1\;\frac {\partial}{\partial y_1}+ y_2\;\frac {\partial}{\partial y_2}+ \cdots + z_1\;\frac {\partial}{\partial z}+z_2\;\frac {\partial}{\partial z_1}+\cdots, \quad \omega = y\;\frac {\partial}{\partial y_1}+2y_1\;\frac {\partial}{\partial y_2}+3y_2\frac {\partial}{\partial y_3}+\cdots \] und \[ (r,n) = (D\omega -ri) (D\omega - \overline {r+1} i) \dots (D\omega - ni) \] für \(0 \leqq r \leqq n \leqq w\) wobei \(w\) die Maximalsumme der Indizes von \(y_r\) in irgend einem Gliede bezeichnet. Die notwendige und hinreichende Bedingung dafür, daß\ \(u= D^r v\) sei, lautet alsdann folgendermaßen: Es ist identisch \((r, w) u= 0.\) (Damit ist natürlich auch der Fall erledigt, in welchem \(u\) sich als Summe von Funktionen der genannten Art darstellen läßt.)