¿Cómo puedo evaluar ∑∞n=0(n+1)xn∑n=0∞(n+1)xn\sum_{n=0}^\infty(n+1)x^n?

como puedo evaluar

norte = 1 2 norte 3 norte + 1
? Sé la respuesta gracias a Wolfram Alpha , pero estoy más preocupado por cómo puedo derivar esa respuesta. Cita pruebas para demostrar que es convergente, pero mi clase nunca las ha aprendido antes. Así que siento que debe haber un método más simple.

En general, ¿cómo puedo evaluar

norte = 0 ( norte + 1 ) X norte ?

Creo que esta es una serie aritmo-geométrica. Puede encontrar información aquí: artofproblemsolution.com/wiki/…
Exprese 2 como 3-1 y luego descompóngalo en 2 términos. Luego suma 1 y resta 1 al numerador del término con 3^(n+1) como denominador. Luego aplique series telescópicas para los primeros dos términos y obtendrá un gp infinito con el tercer término.

Respuestas (23)

No es necesario usar la serie de Taylor, esto se puede derivar de manera similar a la fórmula para series geométricas. Encontremos una fórmula general para la siguiente suma:

S metro = norte = 1 metro norte r norte .

Darse cuenta de

S metro r S metro = metro r metro + 1 + norte = 1 metro r norte = metro r metro + 1 + r r metro + 1 1 r = metro r metro + 2 ( metro + 1 ) r metro + 1 + r 1 r .

Por eso
S metro = metro r metro + 2 ( metro + 1 ) r metro + 1 + r ( 1 r ) 2 .

Esta igualdad se cumple para cualquier r , pero en tu caso tenemos r = 1 3 y un factor de 2 3 frente a la suma. Eso es
norte = 1 2 norte 3 norte + 1 = 2 3 límite metro metro ( 1 3 ) metro + 2 ( metro + 1 ) ( 1 3 ) metro + 1 + ( 1 3 ) ( 1 ( 1 3 ) ) 2 = 2 3 ( 1 3 ) ( 2 3 ) 2 = 1 2 .

Nota añadida:

podemos definir

S metro k ( r ) = norte = 1 metro norte k r norte .
Entonces la suma anterior considerada es S metro 1 ( r ) , y la serie geométrica es S metro 0 ( r ) . podemos evaluar S metro 2 ( r ) usando un truco similar, y considerando S metro 2 ( r ) r S metro 2 ( r ) . Esto entonces será igual a una combinación de S metro 1 ( r ) y S metro 0 ( r ) que ya tienen fórmulas para.

Esto significa que dada una k , podríamos encontrar una fórmula para S metro k ( r ) , pero podemos encontrar S metro k ( r ) en general para cualquier k ? Resulta que podemos, y la fórmula es similar a la fórmula para norte = 1 metro norte k , e involucra los números de Bernoulli. En particular, el denominador es ( 1 r ) k + 1 .

@Eric ¿Cómo se hace la transformación? norte = 1 metro = r r metro + 1 1 r ? En segundo lugar, en este paso, puede sustituir la serie con esta fórmula explícita a medida que la serie converge (obviamente porque es finita). Si la serie fuera infinita, no podrías haber hecho eso (a menos que | r | < 1 ) ya que divergiría. Sin embargo, luego aplicas esta fórmula a una serie infinita. norte = 1 2 norte 3 norte + 1 . ¿Podría explicar por qué lo considera adecuado para una serie infinita, aunque inicialmente se presentó para series finitas?
Pequeño detalle: "la igualdad vale para cualquier r " debería ser "la igualdad es válida para cualquier r 1 "

Si desea una solución que no requiera derivadas o integrales, observe que

1 + 2 X + 3 X 2 + 4 X 3 + = 1 + X + X 2 + X 3 + + X + X 2 + X 3 + + X 2 + X 3 + + X 3 + + = 1 + X + X 2 + X 3 + + X ( 1 + X + X 2 + ) + X 2 ( 1 + X + ) + X 3 ( 1 + ) + = ( 1 + X + X 2 + X 3 + ) 2 = 1 ( 1 X ) 2

Su solución tiene una gran brecha. Te resultará difícil demostrar que la serie converge sin utilizar tanta maquinaria técnica como la solución que pasa por la suma finita antes de tomar límites.
@ user21820: la prueba tal como está (reemplazando los puntos suspensivos por una descripción precisa de los términos generales que representan) es perfectamente válida si las expresiones se interpretan como series de potencias formales en   X , en otras palabras, demuestra que norte 0 ( norte + 1 ) X norte = ( 1 X ) 2 en Z [ [ X ] ] . Con esto establecido (o en realidad independientemente de él) es muy fácil demostrar que las series de potencias en ambos miembros tienen un radio de convergencia   1 (basta observar que los coeficientes aumentan, pero menos que exponencialmente), obteniendo una identidad de series de potencias convergentes dentro de ese radio.
@MarcvanLeeuwen: dice "muy fácil", pero aún es mucho más fácil truncar en los términos finitos porque el término restante llega a cero por medios elementales. Por eso dije muy precisamente “sin usar tanta maquinaria técnica como…”, que es prácticamente ninguna. La respuesta de Miqueas como se indica es extremadamente engañosa para los estudiantes, por la misma razón que la mayoría de la gente no puede ver la falla en la prueba de 1 + 2 + 3 + = 1 12 ? Sin embargo, si uno quiere desarrollar la herramienta general de generación de funciones para combinatoria, entonces sí deberíamos desarrollar series de potencias formales.
@MarcvanLeeuwen: Además, estoy consternado por la falta general de rigor en la mitad de las respuestas aquí, especialmente porque la pregunta en sí establece claramente que Wolfram Alpha cita pruebas de convergencia y pide una forma más simple, por lo que cualquier cosa que requiera pruebas de convergencia no es más simple .
@ user21820: No entiendo lo que quieres decir. No veo cómo la prueba usando el truncamiento sería precisa, ni cómo sería fácil porque la factorización crucial de la suma como producto de dos sumas (iguales) solo es válida para la suma infinita. Su comentario original no suena como si quisiera decir (bastante vacuamente) "sin usar al menos 0 "esfuerzo" tampoco. Sigue siendo que le preocupa engañar a sus estudiantes; no estoy de acuerdo. No hay nada de malo en el enfoque de probar algo para series de potencias formales primero, y luego considerar la convergencia después. Debemos enseñar a nuestros estudiantes que
@MarcvanLeeuwen: No hay nada de malo en su última oración, pero es irrelevante para las respuestas aquí, porque la pregunta solicita el valor de la suma infinita, por lo que es mejor que cualquier respuesta que manipule sumas infinitas la justifique; no se puede decir simplemente que es manipulación formal porque va a ser malinterpretada por estudiantes que no conocen la manipulación rigurosa de series. La prueba que usa el truncamiento finito ya se proporciona en la respuesta de Eric, y mi comentario pretendía significar "La cantidad de trabajo necesaria para justificar esta respuesta es mayor que la necesaria si pasa por la suma finita".

Como se indica en otras respuestas, puede reducir esto a sumar norte = 1 norte a norte con | a | < 1 (al sacar la constante 2 3 y reescribiendo con a = 1 3 ). Esto, a su vez, puede reducirse a sumar series geométricas reorganizando y factorizando. Tenga en cuenta que, suponiendo que todo converja bien (lo que hace):

a + 2 a 2 + 3 a 3 + 4 a 4 + = a + a 2 + a 3 + a 4 + + a 2 + a 3 + a 4 + + a 3 + a 4 + + a 4 + +

Factorizando la potencia más baja de a en cada fila rinde

norte = 1 norte a norte = a ( 1 + a 2 + a 3 + ) + a 2 ( 1 + a 2 + a 3 + ) + a 3 ( 1 + a 2 + a 3 + ) + a 4 ( 1 + a 2 + a 3 + )

Cada fila en la última expresión tiene el factor común a ( 1 + a + a 2 + a 3 + ) , y factorizando esto se obtiene

norte = 1 norte a norte = a ( 1 + a + a 2 + a 3 + ) ( 1 + a + a 2 + a 3 + ) = a ( 1 + a + a 2 + a 3 + ) 2 .

Ahora puedes terminar sumando la serie geométrica.

La respuesta de Eric Naslund se publicó mientras escribía, pero pensé que valdría la pena publicar este enfoque alternativo. También quiero mencionar que, en general, se debe tener cuidado al reacomodar las series como si fueran sumas finitas. Para ser más formales, algunos de los pasos anteriores requerirían una justificación basada en la convergencia absoluta.

Factoriza el 2 3 . A continuación, escribir

norte = 1 norte 3 norte = norte = 1 1 3 norte + norte = 2 1 3 norte + norte = 3 1 3 norte +

Es fácil demostrar que

norte = metro 1 3 norte = 3 2 ( 1 3 ) metro
y entonces
norte = 1 norte 3 norte = 3 2 norte = 1 ( 1 3 ) norte
que puedes sumar. No olvides poner el 2 3 de nuevo en.

Mi prueba favorita de esto está en este artículo de Roger B. Nelsen


También tengo el siguiente método para norte = 1 norte 2 norte 1 (Se puede usar un método similar para norte = 1 norte 3 norte ):

Primero mostramos que norte = 7 norte 2 norte 1 = 1 4 .

Empezamos con un rectángulo de ancho 1 y alto 1 / 4 . Divide esto en ochos:ingrese la descripción de la imagen aquí

Ahora divide cada octavo rectángulo de arriba por la mitad y toma 7 de ellos. Esto da A 1 = 7 2 6 .

ingrese la descripción de la imagen aquíHay 2 8 7 = 9 cajas sobrantes, cada una con área 2 6 .

Dividir cada restante dieciséis t h -rectángulo por la mitad y toma 8 de ellos. Esto da A 2 = 7 2 6 + 8 2 7 .

ingrese la descripción de la imagen aquíHay 2 9 8 = 10 cajas sobrantes, cada una con área 2 7 .

Dividir cada restante 32 norte d -rectángulo por la mitad y toma 9 de ellos. Esto da A 3 = 7 2 6 + 8 2 7 + 9 2 8 .

ingrese la descripción de la imagen aquíHay 2 10 9 = 11 cajas sobrantes, cada una con área 2 8 .

Dividir cada restante 64 t h -rectángulo por la mitad y toma 10 de ellos. Esto da A 4 = 7 2 6 + 8 2 7 + 9 2 8 + 10 2 9 .

ingrese la descripción de la imagen aquíHay 2 11 9 = 12 cajas sobrantes, cada una con área 2 9 .

En cada etapa, duplicamos el número de cajas restantes, manteniendo la misma área sobrante, y tomamos aproximadamente la mitad de ellas para formar el siguiente término de la serie.

En el norte t h escenario, tenemos

A norte = 7 2 6 + 8 2 7 + + 6 + norte 2 5 + norte ,

con área sobrante

2 ( norte + 7 ) ( norte + 6 ) 2 norte + 5 .

Resulta que,

7 2 6 + 8 2 7 + 9 2 8 + = 1 4 .
Como consecuencia,
norte = 1 norte 2 norte 1 = norte = 1 6 norte 2 norte 1 + norte = 7 norte 2 norte 1 = 15 4 + 1 4 = 4.


También puedes "Fubini" esto (creo que esto es lo que está haciendo Jonas).

Sugerencias

  1. Conoces (¿no?) la fórmula para S ( a ) = norte = 0 a norte para | a | < 1

  2. Calcular la derivada (con respecto a a ) de ambos lados para obtener una fórmula para norte = 1 norte a norte

  3. Demuestre que su serie se puede poner en esa forma.

Gracias por responder. 1) No, no conozco esa fórmula 2) ¿Puedes explicar qué quieres decir con derivar ambos lados?
1. Consulte aquí: en.wikipedia.org/wiki/Geometric_series 2) La derivación (o diferenciación) es una operación matemática (bueno, más que eso) que se enseña en Cálculo; si no lo sabe, olvídese de mi respuesta (y xen0m's). Quizás puedas resolver tu problema sin saber Cálculo, por otros métodos... pero normalmente primero aprendes cálculo, luego resuelves series.

Tenga en cuenta que { 1 + 2 X + 3 X 2 + } d X = X + X 2 + X 3 + + constante , es decir, una serie geométrica, que converge a X / ( 1 X ) si | X | < 1 . Por lo tanto,

d d X ( X 1 X ) = ( 1 X ) ( 1 ) X ( 1 ) ( 1 X ) 2 = 1 ( 1 X ) 2 ,
eso es,
1 + 2 X + 3 X 2 + = 1 ( 1 X ) 2 .

Otra prueba : Deja S = 1 + 2 X + 3 X 2 + con | X | < 1 . Entonces

X S = X + 2 X 2 + 3 X 3 +
entonces
S X S = ( 1 X ) S = 1 + X + X 2 + = 1 1 X .
Por lo tanto: S = ( 1 X ) 2 .

+1, pero no hubiera sido más sencillo decir que era la derivada de 1 + X + X 2 + . . . , convergiendo a 1 1 X ?
Decidí comenzar con lo que se dio, para que sea más fácil de ver para el OP.
Lo que quise decir es que elegiste C = 0 mientras C = 1 es una serie más conocida y es más fácil de derivar.
Podríamos notar que la serie dada está convergiendo a 1 1 X 1 y toma la derivada de eso.
@inkievoyd Eso es exactamente lo que hice. Tenga en cuenta que ( 1 X ) 1 1 = X ( 1 X ) 1 .
@glebovg: Sí, no estoy en desacuerdo en ningún punto.

Se puede encontrar por diferenciación. solo nota que ( X norte ) = norte X norte 1 . Por la teoría de series de potencias obtenemos (mediante convergencia uniforme en cualquier subconjunto compacto de ( 1 , 1 ) ) eso

( norte = 1 X norte ) = norte = 1 ( X norte ) = norte = 1 norte X norte 1 .
La suma del lado izquierdo es igual a ( X 1 X ) . Debe notar que su suma se puede escribir de manera similar a norte = 1 norte X norte 1 .

Gracias por ayudar, pero nunca he aprendido la diferenciación.
La suma X norte es igual a 1 1 X y por lo tanto norte X norte = X ( 1 1 X ) da el resultado correcto en lugar de ( X 1 X ) .

Considere la función generadora

gramo ( X ) = norte = 0 ( norte + k 1 norte ) X norte = 1 ( 1 X ) k .
si dejamos k = 2 , entonces
norte = 0 ( norte + 1 norte ) X norte = 1 ( 1 X ) 2 .
Desde ( norte + 1 norte ) = ( norte + 1 ) podemos concluir que
norte = 0 ( norte + 1 ) X norte = 1 ( 1 X ) 2 .

Permitir

S norte ( z ) = j = 1 + j norte z j para  z C , | z | < 1 , norte = 0 , 1 , 2 ,
Es fácil probar que para z C , | z | < 1 , las sumas S norte ( z ) satisfacer la relación de recurrencia autoconvolucional
S norte + 1 ( z ) = S norte ( z ) + k = 0 norte ( norte k ) S k ( z ) S norte k ( z ) norte = 0 , 1 , 2 ,
De hecho, realizando el índice de cambio q = j i y usando el teorema del binomio, tenemos
S norte + 1 ( z ) = j = 1 + j norte + 1 z j = j = 1 + j norte z j + i = 1 + j = i + 1 + j norte z j = S norte ( z ) + i = 1 + q = 1 + ( i + q ) norte z i + q = S norte ( z ) + i = 1 + q = 1 + k = 0 norte ( norte k ) i k q norte k z i z q = S norte ( z ) + k = 0 norte ( norte k ) i = 1 + i k z i q = 1 + q norte k z q = S norte ( z ) + k = 0 norte ( norte k ) S k ( z ) S norte k ( z )

Para norte = 0 la suma S 0 ( z ) es la suma de la progresión geométrica

S 0 ( z ) = j = 1 + z j = z 1 z
Usando la recurrencia encontramos
S 1 ( z ) = S 0 ( z ) + S 0 2 ( z ) = z ( 1 z ) 2 S 2 ( z ) = S 1 ( z ) + 2 S 0 ( z ) S 1 ( z ) = z 2 + z ( 1 z ) 3 S 3 ( z ) = S 2 ( z ) + 2 S 0 ( z ) S 2 ( z ) + S 1 2 ( z ) = z 3 + 4 z 2 + z ( 1 z ) 4
etcétera.

Utilizando los resultados fundados, por a , b , z C , z 0 , | z | < 1 , poniendo

σ ( z ; a , b ) = j = 0 + ( a + b j ) z j
uno tiene
σ ( z ; a , b ) = j = 0 + ( a + b j ) z j = a [ 1 + S 0 ( z ) ] + b S 1 ( z ) = a + ( b a ) z ( 1 z ) 2

Entonces la suma requerida es

norte = 0 + ( norte + 1 ) X norte = σ ( X ; 1 , 1 ) = 1 ( 1 z ) 2
y
norte = 1 + 2 norte 3 norte + 1 = 2 3 2 σ ( 1 3 ; 1 , 1 ) = 1 2

Nota En alternativa a la relación de autoconvolución, podemos usar otra relación recursiva útil para z C , | z | < 1 , esa es la recurrencia lineal

S norte ( z ) = z 1 z [ 1 + k = 0 norte 1 ( norte k ) S k ( z ) ] norte = 1 , 2 ,

De hecho,

norte = 0 + ( norte + 1 ) X norte = norte = 0 + d d X ( X norte + 1 ) = d d X norte = 0 + X norte + 1 = d d X ( X 1 X ) = 1 ( 1 X ) 2
Para X = 1 3 , tenemos
9 4 = norte = 0 + ( norte + 1 ) 1 3 norte = metro = 1 + metro 1 3 metro 1 metro = 1 + metro 3 metro = 3 4

Tenga en cuenta que norte + 1 es el número de maneras de elegir norte artículos de 2 tipos (se permiten repeticiones pero se ignora el orden), de modo que norte + 1 = ( ( 2 norte ) ) = ( 1 ) norte ( 2 norte ) . (Esto usa la notación ( ( metro norte ) ) por la cantidad de formas a elegir norte artículos de metro tipos con repetición, un número igual a ( metro + norte 1 norte ) = ( 1 ) norte ( metro norte ) por la definición habitual de coeficientes binomiales con índice superior general.) Ahora reconozca la fórmula binomial para el exponente 2 en

norte 0 ( norte + 1 ) X norte = norte 0 ( 1 ) norte ( 2 norte ) X norte = norte 0 ( 2 norte ) ( X ) norte = ( 1 X ) 2 .
Esto es válido como serie formal de potencias en   X , y también da una identidad para series de potencias convergentes siempre que | X | < 1 .

Hay una buena manera gráfica de entender esta identidad. Los términos del cuadrado de la serie formal de potencias 1 1 X = i 0 X i se puede organizar en una matriz infinita, con en la posición ( i , j ) (con i , j 0 ) el término   X i + j . Ahora por dado norte los términos X norte ocurrir en el norte + 1 posiciones con i + j = norte (una anti-diagonal) y la agrupación de términos similares da como resultado la serie norte 0 ( norte + 1 ) X norte .

Y observe que no comenté su respuesta porque declaró explícitamente "serie de potencia formal" y también declaró con precisión el radio de convergencia. Ahora, no creo que esto realmente responda la pregunta, por la razón que ya le di, a saber, que su respuesta requiere herramientas que no son más simples que la prueba de convergencia utilizada por WA, como se solicita en la pregunta. Pero no tengo nada de malo en tu respuesta, ya que no es matemáticamente incorrecta ni engañosa.

asumo que el | X | ser menos que 1 . Ahora, considera, F ( X ) = norte = 0 norte = X norte + 1

Esto convergerá sólo si | X | < 1 . Ahora, lo interesante aquí es que esta es una progresión geométrica. El F ( X ) = X / ( 1 X ) .

F ( X ) es la serie que te interesa, ¿verdad? Diferenciar X / ( 1 X ) y tienes tu expresión!

Encontré por primera vez esta suma con el siguiente problema:

Evaluar
( 1 2 ) 1 3 ( 1 4 ) 1 9 ( 1 8 ) 1 27 ( 1 dieciséis ) 1 81

Lo cual, por supuesto simplificado a

( 1 2 ) 1 3 1 + 2 3 2 + 3 3 3 + 4 3 4 + = ( 1 2 ) S

Volviendo a tu problema, ahora

norte = 1 2 norte 3 norte + 1 = 2 3 norte = 1 norte 3 norte = 2 3 S
Usando un método similar a derivar series geométricas, suponga que
S k = norte = 1 k norte 3 norte
Entonces nosotros tenemos
3 S k S k = 1 + 2 3 1 + 3 3 2 + 4 3 3 + + k 3 k 1 1 3 1 2 3 2 3 3 3 k 1 3 k 1 k 3 k 2 S k = ( 1 + 2 1 3 1 + 3 2 3 2 + 4 3 3 3 + + k ( k 1 ) 3 k 1 ) k 3 k = 1 ( 1 3 ) k 1 1 3 k 3 k 2 S = límite k 1 ( 1 3 ) k 1 1 3 k 3 k 2 S = 1 1 1 3 = 3 2 2 3 S = 1 2

por un método similar se puede demostrar que si la serie converge, que

norte = 0 ( norte + 1 ) X norte = 1 ( 1 X ) 2

Para evitar diferenciar una suma infinita .

Empezamos con la evaluación finita estándar:

(1) 1 + X + X 2 + . . . + X norte = 1 X norte + 1 1 X , | X | < 1.
Luego, diferenciando ( 1 ) tenemos
(2) 1 + 2 X + 3 X 2 + . . . + norte X norte 1 = 1 X norte + 1 ( 1 X ) 2 + ( norte + 1 ) X norte 1 X , | X | < 1 ,
y haciendo norte + en ( 2 ) , usando | X | < 1 , da

(3) norte = 0 ( norte + 1 ) X norte = 1 ( 1 X ) 2 .

Un método de evaluación norte = 0 ( 1 + norte ) X norte puede ser así, tomamos la función generadora

F = norte = 0 X norte
entonces
norte = 0 ( norte + 1 ) X norte = ( X D + 1 ) F
X ( 1 X ) 2 + 1 1 X = 1 ( 1 X ) 2
dónde D significa diferenciación wrt X .

¿A nadie le gusta la notación de cálculo finito? Increíble :(

Debo agregar una respuesta en forma de cálculo finito. Puedes leer sobre este tema en el libro Concrete Mathematics de Graham y Knuth, o en este artículo .

El cálculo finito es análogo al cálculo normal (infinitesimal) donde usamos en su lugar "derivadas discretas" e "integrales discretas" (en realidad solo sumas), y podemos realizar sumas definidas o indefinidas en analogía con integrales definidas o indefinidas.

Análogamente a la derivada estándar, la derivada discreta y la integral discreta (indefinida) se pueden escribir como

(1) Δ F ( k ) := F ( k + 1 ) F ( k ) , F ( k ) d k = F ( k ) + C

para algunos 1 -función periódica C , y donde tenemos también que

(2) k = a b F ( k ) = a b + 1 F ( k ) d k

Y tenemos la fórmula de suma por partes con esta simbología representada por

(3) F ( k ) [ Δ gramo ( k ) ] d k = F ( k ) gramo ( k ) [ mi gramo ( k ) ] F ( k ) d k

dónde mi es el operador de desplazamiento y se define como mi F ( k ) := F ( k + 1 ) . Por último, antes de responder a la pregunta, no es difícil comprobar que

(4) Δ X k = X k ( X 1 ) , X k d k = X k ( X 1 ) 1 + C Δ ( k + w ) = 1 , ( k + w ) d k = 1 2 ( k + w 1 ) ( k + w ) + C


Por lo tanto, usando las fórmulas anteriores, tenemos que

k = 0 ( k + 1 ) X k = 0 ( k + 1 ) X k d k = límite metro 0 metro ( k + 1 ) X k d k = límite metro ( ( k + 1 ) X k ( X 1 ) 1 | 0 metro 0 metro X k + 1 ( X 1 ) 1 d k ) (5) = límite metro ( ( k + 1 ) X k ( X 1 ) 1 X k + 1 ( X 1 ) 2 ) | 0 metro

Entonces lo anterior es finito cuando | X | < 1 , en este caso tenemos que

(6) k = 0 ( k + 1 ) X k = 1 X 1 + X ( X 1 ) 2 = 1 ( X 1 ) 2

Resolviendo ( a norte + b ) ( a ( norte + 1 ) + b ) X = norte + 1 para todos norte da a = 1 1 X y b = 1 ( 1 X ) 2 . Por lo tanto,

(1) ( norte + 1 ) X norte = ( 1 ( 1 X ) 2 + norte 1 X ) X norte ( 1 ( 1 X ) 2 + norte + 1 1 X ) X norte + 1
Usando ( 1 ) y series telescópicas , obtenemos
(2) k = 0 norte 1 ( k + 1 ) X k = 1 ( 1 X ) 2 ( 1 ( 1 X ) 2 + norte 1 X ) X norte
Si | X | < 1 , entonces obtenemos
(3) k = 0 ( k + 1 ) X k = 1 ( 1 X ) 2

Hola robjohn, necesito tu ayuda con esa técnica de generar series telescópicas válidas si lo permites.
@ Abr001am: ¿cuál es tu pregunta?
robjohn, usó este sistema generador de dos ecuaciones que lo llevó a aterrizar en una serie intercalada válida, lo intenté con otras series de formas diferentes ya que a menudo vuelvo desde el punto de partida, tengo ganas de recorrer un círculo vacío, ¿cómo puedes? decir si una serie es reducible a una serie de ese tipo?
@ Abr001am: creo que generalmente es posible, pero puede ser tan difícil encontrar los términos telescópicos como encontrar la forma cerrada de la suma.

norte = 0 ( norte + 1 ) X norte = norte = 1 norte X norte 1 = d d X ( norte = 0 X norte ) = d d X ( 1 1 X ) = 1 ( 1 X ) 2

¿Qué pasa con el producto de Cauchy?

norte = 0 ( norte + 1 ) X norte = norte = 0 = 0 norte X norte = ( norte = 0 X norte ) ( metro = 0 X metro ) = 1 ( 1 X ) 2 .

Suponga que juega un juego repetible en el que tiene probabilidad X de perder. Darse cuenta de

norte = 0 ( norte + 1 ) X norte = norte = 1 norte X norte 1 = 1 1 X norte = 1 norte ( 1 X ) X norte 1 = 1 1 X mi [ norte ]

dónde mi [ norte ] es el número esperado de veces que tienes que jugar antes de tu primera victoria (pierdes norte 1 veces y luego ganar con probabilidad 1 X en el norte º juego).

Ahora

mi [ norte ] = 1 + X mi [ norte ]

porque o ganas en el primer juego, o pierdes con probabilidad X y reiniciar el proceso, con mi [ norte ] más juegos para jugar. Entonces

mi [ norte ] = 1 1 X

y por lo tanto

norte = 0 ( norte + 1 ) X norte = 1 ( 1 X ) 2

(Básicamente, acabamos de volver a derivar la fórmula para la suma de una serie geométrica, ¡pero es una forma divertida de hacerlo!)

En primer lugar, necesitamos una serie geométrica infinita.

(1) norte = 0 X norte = 1 1 X  para  | X | < 1
Multiplicando la ecuación (1) por X rendimientos
(2) norte = 0 X norte + 1 = X 1 X = 1 1 X 1

Derivando la ecuación (2) wrt X da

(3) norte = 0 ( norte + 1 ) X norte = 1 ( 1 X ) 2
Rendimientos de reindexación
(4) norte = 1 norte X norte 1 = 1 ( 1 X ) 2
Poniendo X = 1 3 en (4) rendimientos
(5) norte = 1 norte 3 norte 1 = 1 ( 1 1 3 ) 2 = 9 4

Multiplicando (5) por 2 9 Concluye esto
norte = 1 2 norte 3 norte + 1 = 1 2

Hay respuestas anteriores similares, por ejemplo, aquí

Para | X | < 1 , recordar la identidad de la serie geométrica k = 1 X k 1 = 1 1 X , entonces por el teorema de Fubini,

k = 1 k X k 1 = k = 1 j = 1 1 j k X k 1 = j = 1 k = 1 1 j k X k 1 = j = 1 k = j X k 1 = j = 1 X j 1 k = 1 X k 1 = j = 1 X j 1 1 X = 1 ( 1 X ) 2 .
que formaliza esta prueba .