Ueber den Multiplicator eines Jacobi'schen Systems. (Q1554768)

Jacobi hat zwei verschiedene Definitionen für den Multiplicator einer einzelnen linearen partiellen Differentialgleichung: \[ A(f)\equiv\sum_{h=1}^{h=n}X_h\frac{\partial f}{\partial x_h}=0 \] gegeben. Die erste Definition, die seiner ''Theoria novi multiplicators'' zu Grunde legt, setzt die Kenntniss aller Lösungen der gegebenen Gleichung voraus: die zweite definirt den Multiplicator \(M\) unabhängig von den Lösungen durch die partielle Differentialgleichung: \[ \sum_{h=1}^{h=n}X_h \frac{\partial \log{}M}{\partial x_h}+ \sum_{h=1}^{h=n}\frac{\partial X_h}{\partial x_h}=0. \] Die Untersuchungen von Lie haben nun gezeigt, dass man die erste Definition des Jacobi'schen Multiplicators ausdehnen kann auf jedes vollständige System \[ (1) \quad A_i(f)\equiv\sum_{h=1}^{h=n}X_h^i\frac{\partial f}{\partial x_h}=0, \quad i=1,2,\ldots r. \] Dagegen besitzen, auch wenn (1) ein vollständiges System ist, doch im Allgemeinen die \(r\) Gleichungen \[ (2) \quad \sum_{h=1}^{h=n}X_h^i\frac{\partial \log{}M}{\partial x_h}+\sum_{h=1}^{h=n}\frac{\partial X_h^i}{\partial x_h}=0. \] keine gemeinsame Lösung, oder es giebt im Allgemeinen keinen Jacobi'schen Multiplicator, der allen Gleichungen eines vollständigen Systems gemeinsam wäre. Bilden aber die Gleichungen (1) ein Jacobi'sches System, d. h. ist jedes \[ A_i(A_k(f))-A_k(A_i(f)) \] identisch Null, so existirt ein solcher gemeinsamer Multiplicator. Es fragte sich nun, ob derselbe identisch sei mit dem Lie'schen Multiplicator des ganzen Jacobi'schen Systems. Diese Identität festzustellen, ist der Hauptzweck der vorliegenden Note. Sie zeigt ausserdem noch, wie sich das Prinzip des letzten Multiplicators für ein Jacobi'sches System gestaltet.