On theta functions of several variables.
Die Determinante \(r^{\text{ten}}\;(r=2^\varrho)\) Grades: \[ \left|\sum_R x_R\vartheta[R](u_\alpha+v_\beta) \vartheta[R](u_\alpha-v_\beta)\right|\quad (\alpha,\beta=0,1,\dots,r-1), \] bei der \(R\) alle \(r^2\) Charakteristiken durchläuft, die \(x\) ebensoviele Parameter bezeichnen, die \(u,v\) endlich unabhängige Variablen sind, zerfällt in zwei Factoren, von denen der eine nur von den \(u,v\) abhängt, der andere aber eine ganze, ganzzahlige homogene Function \(r^{\text{ten}}\) Grades der \(x\), \(F[x_R]\) ist. Die Untersuchung dieser Function bildet den Hauptinhalt der vorliegenden Arbeit. Während die \S\S 2 und 5 sich mit der Untersuchung einiger allgemeiner Eigenschaften der Function \(F[x_R]\) beschäftigen, wird die wirkliche Darstellung der Function in den \S\S 3, 4, 6 und 8 durchgeführt. Für beliebige Werte der \(z\) wird die Function \(F[x_R]\) durch die Gleichung 4 des \S 4 dargestellt; dieselbe nimmt aber besonders charakteristische Formen an, wenn ein passend gewählter Teil der Grössen \(x\) den Wert Null hat oder, was dasselbe, wenn \(R\) nur einen Teil der \(r^2\) Charakteristiken durchläuft. So stellt die Gleichung 2 des \S 3 die Function \(F[x_R]\) dar, wenn \(R\) ein vollständiges System von \(r\) Charakteristiken durchläuft; ist dasselbe speciell ein Göpel'sches, so zerfällt \(F[x_R]\) in der Weise, wie Gleichung 3 des \S 3 zeigt, in Linearfactoren. Wenn ferner \(R\) nur die ungeraden Charakteristiken durchläuft, so ist \(F[x_R]\) das Quadrat einer rationalen Function \(H[x_R]\) der \(x\), die in Gleichung 8 des \S 4 dargestellt ist. Durchläuft weiter \(R\) ein System von Charakteristiken, von denen je drei azygetisch sind, so ist \(F[x_R]\) eine Potenz einer quadratischen Function der \(x\), wie die Gleichungen 2 und 3 des \S 6 zeigen. Durchläuft endlich \(R\) ein System von Charakteristiken, unter denen sich \(\gamma+1\) wesentlich unabhängige befinden, und ist \(\alpha\) der Rang der syzygetischen Untergruppe der aus allen Summen einer geraden Anzahl der gegebenen Charakteristiken gebildeten Gruppe, so ist \(F[x_R]\) die \(2^{\varrho-\frac 12(\gamma+\alpha)\text{te}}\) Potenz einer Function der \(x\), die in \(2^\alpha\) Factoren desselben Grades zerfällt. Dieser allgemeinste Fall wird in \S 8 untersucht; der \S 7 bringt die zu dieser Untersuchung nötigen Hülfsmittel bei. Im Verlaufe der Arbeit erteilt der Herr Verfasser ausserdem eine Reihe interessanter Aufschlüsse über Determinanten, deren Elemente Producte von Thetafunctionen sind. Nachdem in \S 1 gezeigt ist, dass die Determinante \[ |\vartheta[R](u_\alpha+v_\beta) \vartheta[R](u_\alpha-v_\beta)|\quad (\alpha,\beta=0,1,\dots,m-1) \] den Wert Null besitzt, sobald \(m>r\) ist, so wird daraus die Beziehung: \[ |\vartheta[S](u_\alpha+v_\beta) \vartheta[S](u_\alpha-v_\beta)|^{\frac 12}\quad (\alpha,\beta=0,1,\dots,m-1) \] für jede ungerade Charakteristik \(S\) und jedes \(m>r\) abgeleitet (Gleichungen 2 und 3 des \S 1). Für \(m=r+2\) geht dieselbe in die von Herrn Weierstrass (Sitzungsberichte der Berliner Akademie 1882 pag. 505) zuerst mitgeteilte und von Herrn Caspary (Kronecker J. XCVI. 182) mittels gewisser Kronecker'scher Determinantenrelationen bewiesene Thetaformel über. Dass dieselbe für jedes \(m>r\) besteht, hat auch Herr Caspary, zwar später als Herr Frobenius, jedoch unabhängig von demselben, erkannt (Kronecker J. XCVI. 324). Ferner zeigt der Verfasser, dass die Determinante: \[ |\vartheta[A](u_\alpha+v_\beta) \vartheta[A](u_\alpha-v_\beta)|\quad (\alpha,\beta=0,1,\dots,r-1) \] im Falle \(\varrho>1\) für jede Charakteristik \(A\) denselben Wert besitzt, während für \(\varrho=1\) die Beziehung: \[ |\vartheta[A](u_\alpha+v_\beta) \vartheta[A](u_\alpha-v_\beta) =-(AB) |\vartheta[B](u_\alpha+v_\beta) \vartheta[B](u_\alpha-v_\beta)| \] besteht, wenn die Charakteristiken \(A\) und \(B\) verschieden sind (Gleichungen 12 und 13 des \S 1). In derselben Weise hat im Falle \(\varrho>2\) die Determinante: \[ |\vartheta[A](u_\alpha+v_\beta) \vartheta[A](u_\alpha-v_\beta)|^{\frac 12} \] für jede ungerade Charakteristik \(A\) denselben Wert, während für \(\varrho=2\): \[ |\vartheta[A](u_\alpha+v_\beta) \vartheta[A](u_\alpha-v_\beta)|^{\frac 12} =-(AB) |\vartheta[B](u_\alpha+v_\beta) \vartheta[B](u_\alpha-v_\beta)|^{\frac 12} \] ist, wenn \(A\) und \(B\) zwei verschiedene ungerade Charakteristiken bezeichnen (Gleichungen 5 und 6 des \S 3). Nicht unerwähnt möchte der Referent endlich die Bemerkung (pag. 106) des Herrn Verfassers lassen, dass zwischen \(r\) Functionen \[ \vartheta[A_\beta](u+v) \vartheta[A_\beta](u-v),\quad (\beta=0,1,\dots,r-1) \] deren Charakteristiken \(A_\beta\) ein vollständiges System bilden, keine lineare Gleichung mit constanten Coefficienten besteht.
This page was built for publication: On theta functions of several variables.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1545714)
