Summe ∑∞n=0xnk(n+k)∑n=0∞xnk(n+k)\sum_{n=0}^\infty \frac{x^n}{k(n+k)}

Ich muss die Summe der folgenden Potenzreihen finden:

N = 0 X N k ( N + k )
Wo k ist eine reelle Zahl größer als 0 . Ich habe versucht, an die zu kommen Protokoll ( 1 + X ) Erweiterung aber die N + k am Nenner lässt mich das nicht zu. Was kann ich tun, um die Summe der Reihe zu finden? Danke

verlinken . Es vereinfacht sich zu einem Ausdruck, der das transzendente lerch enthält.

Antworten (2)

Lassen P ( X ) = N = 0 X N k ( N + k ) .

Dann sehen wir das X k P ( X ) = N = 0 X N + k k ( N + k ) .

Dann sehen wir das D D X X k P ( X ) = N = 1 X N + k 1 k = X k k N = 1 X N 1 = X k k 1 1 X .

Nun im Allgemeinen die Menge X k k 1 1 X hat keine schöne Stammfunktion. In dem Fall jedoch k eine bekannte ganze Zahl ist, können wir explizit die Stammfunktion nehmen, um eine schöne geschlossene Form für zu erhalten P ( X ) .

Edit: Eigentlich wann immer k rational ist, können wir eine geschlossene Form für das Integral finden. Wenn k = P Q , dann können wir mit der Substitution fortfahren u Q = X um das Integral von zu erhalten u P k 1 1 u Q Q u Q 1 , die eine rationale Funktion ist und daher mit der Partialbruchmethode integriert werden kann.

Im Allgemeinen muss man die Summe in Bezug auf die transzendente Lerch-Funktion ausdrücken. Aber dies ist im Wesentlichen nur eine Umformulierung der ursprünglichen Summe und bietet wenig Einblick.

Gute Antwort! Ich könnte mich irren, aber ich glaube, wir können auch eine Stammfunktion in geschlossener Form finden, wenn k = 1 / Q für eine ganze Zahl Q ; Führen Sie einfach die umgekehrte Substitution durch X = u Q bei der Auswertung des unbestimmten Integrals.
@AlannRosas Du hast recht: in der Tat das u Durch die Substitution kann das Integral jederzeit durchlaufen werden k = P / Q . Ich habe dies zu meiner Antwort hinzugefügt.

Wie schon gesagt

F k ( X ) = N = 0 X N k ( N + k ) = 1 k Φ ( X , 1 , k )
wo erscheint die transzendente Hurwitz-Lerch-Funktion.

Wenn k eine ganze Zahl ist, können Sie es schreiben als

F k ( X ) = X 1 k k [ Protokoll ( 1 X ) X + N = 1 k 1 X N 1 N ]

Für den Fall wo k keine ganze Zahl ist, könnte Sie dieses Papier interessieren .

Mit dem Ansatz von @ Mark Saving können wir für den allgemeinsten Fall auch schreiben

F k ( X ) = X k ( k + 1 ) 2 F 1 ( 1 , k + 1 ; k + 2 ; X ) + 1 k 2
wo erscheint die Gaußsche hypergeometrische Funktion und k kann eine beliebige Zahl sein.