The higher Heine series, or series \(F(a,a',..a^{(h)},b',..b^{(h)},q,x)\). (Q1562008)

Herr Heine hat (Crelle J. XXXIV, 285) die Reihe \[ F(a, b, c, q, x)=1 + \sum_1^{\infty}(n) \;x^{n}\frac{1 - q^{a}}{1 - q}\cdot \frac{1 - q^{a+1}}{1 - q^2} \] \[ \frac{1 - q^{a + n -1}}{1 - q^{n}}\cdot \frac{1 - q^{b}}{1 - q^c}\cdot \frac{1 - q^{b+1}}{1 - q^{c+1}}\cdots \frac{1 - q^{b+n-1}}{1 - q^{c+n-1}} \] in die Analysis eingeführt und ihre Eigenschaften untersucht. Später hat Herr Thomae diese Reihe (Borchardt J. LXX, 258, s. F. d. M. II. 122) unter einem ähnlichen Gesichtspunkte betrachtet, wie es Riemann (Gött. Abh. VII) mit der Gauss'schen Reihe \(F(a, b, c, x)\) gethan hat. Dadurch gelang es, die von Herrn Heine (p. 325) gefundene Transformation als eine unmittelbare Folge der Definition zu gewinnen, und zwischen je drei beliebigen Integralen der Differenzengleichung zweiter Ordnung, welcher die Reihe \(F(a, b, c, q, x)\) genügt, eine lineare Relation zu finden. Vermittelst dieser sowohl wie auch durch eine directe Darstellung kann man die Reihe als Function von \(x\) über ihr Convergenzgebiet fortsetzen. Auch hat Hr. Thomae dort die Darstellungen der Heine'schen Reihe vermehrt und schliesslich die Kettenbruch-Entwickelung nach einer Methode bewerkstelligt, welche der von Riemann für den speciellen Fall \(q=1\) angewandten analog ist. Eine grosse Zahl der Eigenschaften der Reihe \(F(a, b, c, q, x)\) gehört einer viel allgemeineren Classe von Functionen an, welche der Verfasser ``höhere Heine'sche Reihen'' nennt, und welche die Form haben: \[ F(a, a', \cdot \cdot a^{(h)}, b',\cdot \cdot b^{(h)}, q, x)= \] \[ 1 + \sum_{1}^{\infty}(n) \;x^{n}\frac{1 - q^{a}}{1 - q}\cdot \frac{1 - q^{a+1}}{1 - q^2}\cdots \frac{1 - q^{a+n+1}}{1 - q^n}\cdot \frac{1 - q^{a'}}{1 - q^{b'}}\cdot \frac{1 - q^{a'+1}}{1 - q^{b'+1}}\cdots \] \[ \cdots \frac{1 - q^{a'+n-1}}{1 - q^{b' + n - 1}}\cdots \frac{1 - q^{a^{(h)}}}{1 - q^{b^{(h)}}}\cdot \frac{1 - q^{a^{(h)}+1}}{1 - q^{b^{(h)}+1}}\cdots \frac{1 - q^{a^{(h)}+n-1}}{1 - q^{b^{(h)}+n-1}}. \] Diese verallgemeinerte Reihe wird nun in der vorliegenden Arbeit nach denselben Principien behandelt, welche der Herr Verfasser in der oben genannten Arbeit über die Reihe \(F(a, b, c, q, x)\) verfolgt hat. Diese Heine'schen Reihen \(h + 1^{\text{ter}}\) Ordnung sind vollständige Integrale einer Differenzengleichung \(h = 1^{\text{ter}}\) Ordnung mit ganzen linearen Coefficienten; und umgekehrt führt die Integration einer solchen Gleichung auf Heine'sche Reihen. Specielle Fälle sind ausser in den oben citirten Abhandlungen auch schon von Jacobi (Crelle J. XXXII.) betrachtet worden. Ganz allgemein gilt das Theorem: ``Zwischen \(h+2\) Heine'schen Reihen \(h + 1^{\text{ter}}\) Ordnung, deren entsprechende Exponenten nur um ganze Zahlen differiren, besteht immer eine homogene lineare Relation, deren Coefficienten ganze Functionen von \(x\) sind.'' Unter Exponenten sind hier die Exponenten \(\alpha, \alpha' \cdots \alpha^{(h)}, \beta, \beta' \cdots \beta^{(h)}\) verstanden, welche den Potenzen von \(x\) resp. \(y\) in dem Integral der Differenzengleichung angehören. Die Lösungen der Differenzengleichung \[ \varDelta \varphi \;(x) = \varphi \;(qx) - \varphi \;(x) \] bezeichnet der Verfasser durch \(k, k(x), k_{\alpha}(x)\) etc. und nennt diese Grössen \(k\)-Functionen. Sie spielen in der Theorie der behandelten Functionen dieselbe Rolle, wie anderwärts die Constanten. Die wichtigsten diese \(k\)-Functionen sind diejenigen, welche als Quotienten von \(\theta\)-Functionen sich ergeben, deren Variable \(\tfrac{1}{2} \log x\) und deren Modul \(\pm \tfrac{1}{2} \log q\) ist, siehe auch JFM 03.0109.01.