No label defined (Q3237357)

Die Bestimmung der Anzahl der Darstellungen einer definiten quadratischen Form \(T\) in \(n\) Variablen durch eine definite Form \(S\) in \(m>n\) Variablen führt auf die Dirichletreihe \(\varphi(s, S) = \sum_X \vert X' S X\vert^{-s}\), wobei \(X\) alle ganzzahligen Matrizen vom Format \(m\times n\) aus einem ,,Homogenitätsbereich'' \(\mathfrak B\) durchläuft und \(T= X'SX\) reduziert im Minkowskischen Sinne ist; wir haben hier die Formen \(S\), \(T\) mit ihren Koeffizientenmatrizen gleichgesetzt. Unter einem Homogenitätsbereich wird ein Modul von Matrizen vom Format \(m\times n\) verstanden, welcher mit \(X\) auch \(XV\) mit einer nicht-singulären \(n\)-reihigen Matrix \(V\) enthält. Setzt man \[ f(X) = 1\quad\text{für }X\in\mathfrak B,\quad = 0 \text{ sonst}, \] \(g(T) =1\), falls \(T\) im Minkowskischen reduzierten Kegel liegt, \(g(T) = 0\) sonst, so schreibt sich diese Dirichletreihe \[ \varphi(s, S) = \sum_X f(X) g(X' T X) \vert X' S X\vert^{-s}, \] wobei jetzt die Summe über ein Repräsentantensystem der Klassen rechtsseitig assoziierter Matrizen \(X\) erstreckt werden muß. Verf. schlägt vor, \(f(X)\) durch ,,verallgemeinerte Kugelfunktionen'' \(u(X)\) und \(g(T)\) durch ,,verallgemeinerte Winkelcharaktere'' \(v(T)\) zu approximieren und dann die funktionentheoretischen Eigenschaften der Reihen \[ \varphi(s, S; u, v) = \sum_X u(X) v(X' S X) \vert X' S X\vert^{-s} \] zu studieren. Die Arbeit zerfällt dementsprechend in drei Teilabschnitte. (I) Sei \(\partial/\partial X = \left(\frac12 (1 + \delta_{\mu\nu}) \partial/\partial x_{\mu\nu}\right)\), \(\Lambda = X\, \partial/\partial X' - (X\,\partial/\partial X')'\), dann nennt man eine verallgemeinerte Kugelfunktion ein Polynom \(u(X)\) in den Koeffizienten von \(X\) mit den drei Eigenschaften: 1. \(u(XV) = \vert V\vert^{2k} u(X)\) mit natürlichen Zahl \(k\) (der Grad von \(u(X)\) ist dann \(2kn)\); 2. \(\vert \partial/\partial X' \cdot \partial/\partial X\vert \,u(X) = 0\); 3. \(u(X)\) ist Eigenfunktion von jedem Operator \(\text{Spur}(\Lambda^{2h})\), \(h = 1, 2, \ldots\). Eine willkürliche, in \(X' X > 0\) erklärte und hier stetige Funktion \(U(X)\) läßt sich durch eine Reihe von verallgemeinerten Kugelfunktionen im Mittel approximieren. (II) Ein verallgemeinerter Winkelcharakter \(v(T)\) ist eine Funktion der symmetrischen Matrixvariablen \(T\) mit den vier Eigenschaften: 1. \(v(T)\) ist holomorph in \(T > 0\) und homogen vom Grade 0; 2. \(v(T)= v(U' T U)\) für unimodulare Matrizen \(U\); 3. sei \(\mathfrak B\) der Durchschnitt von \(\vert T\vert = 1\) mit dem Minkowskischen reduzierten Kegel, dann ist \(v(T)\) in \(\mathfrak B\) quadratisch integrierbar; 4. \(v(T)\) ist Eigenfunktion jedes Differential-operators \(\text{Spur}((T\, \partial/\partial T)^h)\), \(h = 1, 2, \ldots\). Es wird der (von A. Selberg zuerst ohne Beweis mitgeteilte) Satz bewiesen, daß die Operatoren \(\text{Spur}((T\, \partial/\partial T)^h)\), \(h = 1, 2, \ldots\), eine Basis des Ringes aller bei \(T \to U' T U\), \(U\ne 0\), invarianten Differentialoperatoren bilden. Bez. Erörterungen über die Approximierbarkeit willkürlicher Funktionen s. [Verf., ibid. 19, 1--23 (1955; Zbl 0067.30902)]. (III) Die oben definierte Dirichletreihe genügt der Funktionalgleichung \[ \xi( \tfrac12 m + 2k - s, S; u, v) = (-1)^{kn} \vert S\vert^{-n/2} \xi(s,S^{-1}; u, v^*), \] wo \[ \xi(s,S; u, v) = \varphi(s,S;u,v) \cdot \pi^{-ns} \Gamma(s-\beta_1)\cdots \Gamma(s-\beta_n), \] \(\beta_1, \ldots, \beta_n\) sind Konstanten, welche lediglich von den Eigenwerten des Winkelcharakters \(v(T)\) abhängen, \(v^*(T)\) ist der durch \(v^*(T) = v(T^{-1}\)) definierte Winkelcharakter, \(2kn\) ist der Grad der Kugelfunktion \(u(X)\) (vgl. (II)). Die Funktion \(\varphi(s,S;u,v)\) ist in der ganzen \(s\)-Ebene holomorph.