On linear differential equations which admit hypergeometric series as integrals. (Q1549155)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On linear differential equations which admit hypergeometric series as integrals.
scientific article

    Statements

    On linear differential equations which admit hypergeometric series as integrals. (English)
    0 references
    0 references
    1881
    0 references
    Die Arbeit enthält eine vollständige Theorie der Differentialgleichung \[ \text{(1)} \quad x(1-x)y''+[\gamma -(\alpha +\beta +1)x]y'-\alpha\beta\gamma= 0 \] ohne jede Beschränkung des Gebietes der Variablen. Im ersten reile werden mit Hülfe der Euler'schen und Jacobi'schen (Crelle J. LVI 149 ff.) Methode sechs particuläre Lösungen in der Form des bestimmten Integrals \[ \int u^{\beta -1}(1-u)^{\gamma -\beta -1}(1-xu)^{-\alpha}du=\int Vdu \] zwischen den resp. Grenzen: \[ 0,1;\;0,-\infty ;\;1,+\infty ;\;0,\frac 1x;\;1,\frac 1x;\;\frac 1x,\;+\infty \] abgeleitet und gezeigt, dass, so lange keine der Constanten \(\gamma ,\gamma -\alpha -\beta ,\beta- \alpha\) eine ganze Zahl ist, jedes dieser Integrale an vier verschiedene Arten mittels hypergeometriseher Reihen \(F\) dargestellt werden kann. Es sind dies die 24 Kummer'schen Integrale. Als viertes Element in \(F\) kommen der Reihe nach \[ x,\;\frac 1x,\;1-x,\;\frac{1}{1-x},\;\frac{x}{x-1},\;\frac{x-1}{x} \] vor, wodurch unmittelbar die Gültigkeit der verschiedenen Darstellungen angezeigt ist, da der Modul des vierten Elements überall kleiner als 1 sein muss. Zwischen je drei der sechs Lösungei besteht eine lineare Relation, also im Ganzen 20. Sie werdei sämmtlich aus der durch Anwendung des Cauchy'schen Satzes sich ergebenden Gleichung \[ \int^0_{-\infty}Vdu+ \int_0 Vdu+ \int_1^{+\infty}Vdu= 0 \] abgeleitet und vollständig angegeben. Die Coeffieienten sind Producte von Gammafunctionen. Durch diese Relationen ist mai in den Stand gesetzt, eine gegebene particuläre Lösung von einen Punkte aus nach jedem beliebigen Punkte fortzusetzen, wenn der durch keinen der Punkte 0, 1 führende Weg vorgeschrieben ist. Der vorbin erwähnte ausgeschlossene Fall wird durch die Methode der Grenzen behandelt und führt im Allgemeinen zu Ausdrücken die mit Logarithmen behaftet sind. So werden die beiden particulären Integrale des allgemeinen Falles \[ F(\alpha ,\beta ,\gamma ,x)\;\text{und}\;x^{1-\gamma}F(\alpha +1-\gamma ,\beta+1-\gamma ,2-\gamma ,x) \] für \(\gamma= 1\) identisch; der Ausdruck \[ \lim_{\gamma -1}. \frac{x^{1-\gamma}F(\alpha +1-\gamma ,\beta +1-\gamma ,2-\gamma ,x)-F(\alpha ,\beta ,\gamma ,x)}{1-\gamma} \] ergiebt aber das neue Integral \[ \text{log}x . F(\alpha ,\beta ,\gamma ,x)+\psi (x), \] wo \[ \psi (x)= \sum^{m=\infty}_{m=1} A_mB_mx^m, \] \(A_m\) der Coefficient von \(x^m\) in \(F(\alpha ,\beta ,\gamma ,x)\) und \[ \begin{matrix} B_m= \frac{1}{\alpha}+\frac{1}{\alpha +1}+\ldots +\frac{1}{\alpha +m-1}+\frac{1}{\beta}+\frac{1}{\beta +1}+ \\ \ldots +\frac{1}{\beta +m-1}-2 \left( 1+\frac 12+\ldots +\frac 1m \right).\end{matrix} \] Die linearen Relationen zwischen diesem Integral und den schon bekannten Integralen enthalten in den Coefficienten ausser den Gammafunctionen noch die Differentiallogarithmen derselben. Die Betrachtungen werden dann angewendet auf die von den Herren Fuchs, (Borchardt J. LXXI. 91, F. d. M. II. 1870. p. 248 (JFM 02.0248.01)) und Tannery, (Ann. de l'Éc. N. (2) VIII. 169, F. d. M. XI. 1879. p. 238 (JFM 11.0238.01)) behandelte Gleichung \[ x(1-x)y''+(1+2x)y'-\frac 14y= 0 \] welche die vollständigen elliptischen Integrale erster Gattung als Functionen des Moduls definirt. Hier ist \(\gamma= 1\) (No. 1-18). Der Beschluss dieses ersten Teils bildet die Feststellung der Kriterien für das Vorhandensein eines partienlären oder allgemeinen algehraischen Integrals der Gleichung (1). Diese Frage ist bekanntlich von Herrn Schwarz (Borchardt J. LXXV. 292, F. d. M. V. 1873. 249 (JFM 05.0249.01)) zuerst behandelt und gelöst worden. Die Bedingungen für die Existenz eines einzigen algebraischen Integrals ergeben sich leicht. Aber auch die Lösung der weit schwierigeren Frage, wann die Gleichung (1) lauter algebraische Integrale habe, gelingt dem Verfasser durch Betrachtungen, die wegen ihres elementaren Characters beachtenswert sind. Bezeichnet \(c_1y_1+c_2y_2\) ein beliebiges Integral und \(c'_1y_1+c'_2y_2\) den Wert desselben nach einem geschlossenen Umgang, so erhellt unmittelbar, dass, falls \(c_1y_1+c_2y_2\) ein algebraisches Integral ist, der Quotient \(c'_2:c'_1\) bei beliebigen geschlossenen Integrationswegen nur eine begrenzte Anzahl von Werten annimmt. Der Verfasser zeigt aber auch umgekebrt, dass, wenn letzteres der Fall ist, für beliebige \(c, c'\) das allgemeine Integral algebraisch ist. Geht man nun von den Integralen \[ y_1= F(\alpha\beta\gamma ,x),\;y_2= x^{1-\gamma}F(\alpha +1-\gamma ,\beta +1-\gamma ,2-\gamma ,x) \] aus und setzt \[ c_2:c_1= \varrho,\;c'_2:c'_1= \varrho', \] so gilt bei einem positiven oder negativen Umlauf um \(x= 0\) zwischen \(\varrho\) und \(\varrho'\) die Beziehung \[ \text{(1)} \quad \varrho'-a= K(\varrho -a),\;\text{resp.}\;\varrho'-a= \frac 1K(\varrho -a), \] wo \[ a= -\frac{\varGamma (\alpha +\beta -1-\gamma)\varGamma (1-\gamma)}{\varGamma (\alpha +1-\gamma )\varGamma (\beta +1-\gamma)},\;\;K= e^{-2\pi (1-\gamma)i}, \] und bei einem positiven oder negativen Umlauf um \(x= 1\) \[ \text{(3)}\quad \frac{1}{\varrho'}-b= K' \left( \frac{1}{\varrho}-b\right),\;\text{resp.}\;\frac{1}{\varrho'}-b= \frac{1}{K'}\left( \frac{1}{\varrho}-b \right) \] und \[ b= -\frac{\varGamma (\gamma )\varGamma (\gamma -\alpha -\beta )}{\varGamma (\gamma -\alpha )\varGamma (\gamma -\beta )},\;\;K'= e^{-2\pi i(\gamma -\alpha -\beta )} \] ist. Da jeder geschlossene Umgang auf eine Anzahl successiver positiver oder negativer Umgänge um die Punkte 0 und 1 zurückgeführt werden kann, so handelt es sich bei der vorliegenden Untersuchung um die Ermittelung der Fälle, in welchen die in beliebiger Ordnung wiederholte Anwendung der Substitutionen (2) und (3) auf eine endliche Anzahl von Grössen führt. Geometrisch gedeutet lässt sich die Aufgabe in folgender Form aussprechen: ``Es sind in einer Kugel zwei Durchmesser \(SS',PP'\) gegeben; auf ihrer Oberfläche gelange man von einem Punkte zu einem folgenden, indem man ihn den Winkel \(\pm 2\pi (t-\gamma )\) um \(SS'\), oder den Winkel \(\pm 2\pi (\alpha +\beta -\gamma )\) um \(PP'\) beschreiben lässt; in welchen Fällen ist die so erhaltene Anzahl von Punkten ein endliche, wie oft und in welcher Ordnung man auch die erwähnten Constructionen anwenden mag?'' Es findet sich, dass die Axen \(SS'\, PP'\) Symmetrieaxen eine regelmässigen Körpers sein mässen. Construirt man das sphärische Dreieck \(SPQ\), worin \[ <PSQ= (1-\gamma )\pi,\;<SPQ= (\gamma -\alpha -\beta)\pi, \] dann wird \[ <SQP= (\alpha -\beta)\pi, \] und man erhält den Satz des Herrn Shwarz: `` Damit das allgemeine Integral algebraisch ist, ist es notwendig und hinreichend, das die drei Ebenen des Trieders \(OSPQ\) die drei Symmetrieebenen einer Doppelpyramide oder eines regelmässigen Polyeders sind'' (No. 19-25). Der zweite Teil beschäftig sich mit der Untersuchung derjenigen Transformationen der hypergeometrischen Reihe, die nur statthaben, wenn die Elemente \(\alpha ,\beta ,\gamma\) gewissen Bedingungen genügen. Die Abhandlungen von Gauss und namentlich von Herrn Kummer über hypergeometrische Reihen (Crelle J. XV.) enthalten eine grosse Anzahl hierher gehöriger Formeln. Der allgemeine Typus derselben ist: \[ \text{(4)} \quad x^{-p}(1-x)^{-q}F(\alpha ,\beta ,\gamma ,x)= t^{p'}(1-t)^{q'}F(\alpha' ,\beta' ,\gamma' ,t), \] wo \(t\) eine algebraische Function von \(x\) bedeutet. Der Verfasser stellt sich nun die Aufgabe, alle Transformationen dieser Art zu finden, und geht dabei von einem neuen Gesichtspunkte aus. Wie Riemann zuerst gezeigt hat, genügt \(x^{-p}(1-t)^{q'}F(\alpha' ,\beta' ,\gamma' ,x)\) der Differentialgleichung \[ \text{(5)} \quad x^2(1-x)^2y''+(ax+b)x(1-a)y'+(Ax^2+Bx+C)y= 0. \] \(A,B,C,a,b\) sind durch \(p, q, \alpha , \beta ,\gamma\) eindeutig derart bestimmt, dass einem Wertsystem der ersteren vier Wertsysteme der letzteren entsprechen. Die Aufstellung aller Relationen von der Form (4) ist demnach mit der Lösung folgender Frage gleichbedeutend: Für welche Werte der Constanten\( A,B,C,a,b\) existiren Substitutionen \(x= \varphi (t)\), durch welche die Gleichung (5) ihre Form nicht ändert, indem nur die erwähnten Constanten durch \(A',B',C',a',b'\) ersetzt werden? Die Analyse führt zu dem Ergebnis, dass, besondere Fälle ausgenommen, in denen die Integrale von (5) sich durch elementare Functionen ausdrucken lassen, \(x\) eine algebraische Function von \(t\) von höchstens dem sechsten Grade in Beziehung auf \(x\) und \(t\) sein muss. Es werden zunächst alle rationalen Substitutionen bestimmt und die Bedingungen angegeben, welche die Constanten \(A,B, C, a, b\) und demgemäss die Elemente \(\alpha ,\beta ,\gamma\) erfüllen müssen (No. 1-14). Durch Combination der rationalen Substitutionen, die für das nämliche Wertsystem von \(A, B, C, a, b\) existiren, erhält man alle nicht rationalen algebraischen Substitutionen. Im Anschluss daran werden die durch die erwähnten Substitutionen gelieferten Transformationsformeln für die hypergeometrische Reihe, in der von den drei Elementen \(\alpha ,\beta ,\gamma\) nur zwei oder eins willkürlich bleiben, in einer umfangreichen Tabelle vollständig zusammengestellt. Von diesen finden sich in der Arbeit des Herrn Kummer nur die Transformationen mit zwei willkürlichen Elementen erschöpfend angegeben. Für die Einzelheiten der sehr interessanten Untersuchung ist wegen ihres grossen Umfanges auf das Original zu verweisen.
    0 references
    0 references
    linear differential equation
    0 references
    hypergeometric series
    0 references