An integration theorem as to rational integral functions, with the bearing on the theory of forms. (Q1502780)

Es wird eine Klasse von Formen \(u\) in den \(n\) Veränderlichen \[ x_1,x_2,\dots,x_n \] betrachtet, die den Bedingungen \[ \varphi_1(\delta_1,\delta_2,\dots,\delta_r)u = 0,\,\dots,\, \varphi_m(\delta_1,\delta_2,\dots,\delta_r)u = 0 \] genügt, wobei \(\leq n-2\) ist, \(\delta_1\), \(\delta_2\), ..., \(\delta_r\) linear unabhängige lineare Operatoren mit konstanten Koeffizienten sind: \[ \delta_s\equiv c_{s1}\frac{\partial}{\partial x_1} + c_{s2}\frac{\partial}{\partial x_2} +\cdots+ c_{sn}\frac{\partial}{\partial x_n}\quad (s = 1,2,\dots,r) \] und \(\varphi_1\), \(\varphi_2\), ..., \(\varphi_m\) gegebene ganze rationale Funktionen dieser Operatoren ohne konstante Glieder. \(D_1\), \(D_2\), ..., \(D_N\) seien \(N\) andere lineare Operatoren mit konstanten Koeffizienten: \[ D_t = a_{t1}\frac{\partial}{\partial x_1} + a_{t2}\frac{\partial}{\partial x_2} +\cdots+ a_{tn}\frac{\partial}{\partial x_n}; \] sie brauchen nicht linear unabhängig zu sein, müssen aber so beschaffen sein, daß keiner von ihnen sich linear durch einen andern und die \(\delta\) ausdrückt. Unter diesen Voraussetzungen gilt folgender Satz: Ist \(u\) eine Funktion der Klasse, so ist die Differentialgleichung \[ D_1D_2\dots D_Nu = 0 \] die notwendige und hinreichende Bedingung dafür, daß \(u\) sich in der Form \[ u\equiv u_1 + u_2 +\cdots+ u_N \] darstellen läßt, wo \(u_1\), \(u_2\), ..., \(u_N\) Funktionen der Klasse mit der Eigenschaft \[ D_1u_1 = 0,\, D_2u_2 = 0,\,\dots,\, D_Nu_N = 0 \] sind. Von diesem Satz, den der Verf. noch verallgemeinert, werden verschiedene Anwendungen gemacht.