Sur l'irrationalité des sommes des séries dont le terme général est une fonction rationnelle de l'indice. (Q1480165)

Es handelt sich um Reihen der Form \(\sum R(n)\), in der \(R(n)\) eine rationale Funktion \(f(n)/g(n)\) ist, bei der der Nenner einen um mindestens 2 höheren Grad hat. Die Summation wird bei einem geeigneten Index \(n_0\) begonnen. (Vgl. die beiden folgenden Referate.) Die Summen solcher Reihen lassen sich stets geschlossen mit Hülfe elementarer Funktionen und der \(\varGamma\)-Funktion angeben. Es wird genauer der folgende Satz bewiesen: ``Die Summe \(\sum R(n)\) läßt sich stets als rationale Funktion (mit rationalen Koeffizienten) der Koeffizienten von \(f(n)\) und \(g(n)\), der Wurzeln von \(g(n)\), der logarithmischen Ableitung der \(\varGamma\)-Funktion und endlich vieler weiteren Ableitungen dieser Funktion (mit Wurzeln von \(g(n)\) als Argument) darstellen.'' Diese Darstellung wird für den allgemeinen Fall explizit angegeben. Es wird dann unter spezialisierenden Annahmen bezüglich \(R(n)\) untersucht, was sich über die genauere zahlentheoretische Natur der so erhaltenen Summe \(S\) sagen läßt. Die Fälle, in denen eine befriedigende Antwort erhalten wird, sind die folgenden: 1. \(g(n)\) hat nur verschiedene ganzzahlige (reelle) Wurzeln: \(S\) ist eine rationale explizit angebbare Zahl (vgl. die beiden folgenden Referate). 2. \(g(n)\) hat nur verschiedene rationale (reelle) Wurzeln: \(S\) läßt sich durch algebraische Zahlen und deren Logarithmen ausdrücken. 3. \(R(n)\) enthält nur gerade Potenzen von \(n\): \(S\) läßt sich rational mit Hülfe der Wurzeln von \(g(n)\), der Zahl \(\pi\) und der Funktion ctg explizit darstellen. 4. \(R(n)\) hat ganzzahlige, aber vierfache Wurzeln: In die Darstellung von \(S\) kommen die Werte \(\sum \dfrac{1}{n^k}\) (\(k\) gerade und ungerade) hinein. 5. \(R(n)\) hat rationale, vielfache Wurzeln: In die Darstellung von \(S\) drängen sich transzendente Zahlen, die sich mit Hülfe der \(\zeta\)-Funktionen ausdrücken lassen. In allen Fällen werden viele numerische Beispiele gegeben.