Producto de Cauchy

De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda En matemticas, el producto de Cauchy, (en honor a Augustin Louis Cauchy), de dos series estrictamente formales (aunque no necesariamente convergentes)

por lo general, de nmeros reales o complejos, se define mediante una convolucin discreta. Siendo el producto de Cauchy:

para n = 0, 1, 2,...

"Formal" significa que las series se manipulan sin prestar atencin a aspectos de convergencia. No es preciso que las series sean convergentes. Vase por e jemplo series de potencia formales. Es de esperar, que por analoga con las sumas finitas, en el caso en que las dos series fueran convergentes, la suma de la serie infinita

sea igual al producto

de la misma manera en que esto sera correcto cuando cada una de las dos sumas que se multiplican posee un nmero finito de trminos.

En casos suficientemente bien comportados, se cumple con la expresin anterior. Peroy este es un punto importanteel producto de Cauchy de dos sucesiones existe an en el caso que una o ambas de las series infinitas correspondientes no fueran convergentes.

Contenido
[ocultar]
y

y y y

1 Ejemplos o 1.1 Serie finita o 1.2 Serie infinita 2 Convergencia y teorema de Mertens o 2.1 Demostracin del teorema de Mertens 3 Teorema de Cesro 4 Generalizaciones

[editar] Ejemplos
[editar] Serie finita
xi = 0 para todo i > n y yi = 0 para todo i > m. En este caso el producto de Cauchy de y se verifica es . Por lo tanto, para series finitas (que son sumas finitas), la multiplicacin de Cauchy es directamente la multiplicacin de las series.

[editar] Serie infinita

y

Primer ejemplo. Sean

, sea

. Entonces

por definicin y por la frmula binomial. Dado que, formalmente, y , se ha demostrado que . Como el lmite del producto de Cauchy de dos series absolutamente convergentes es igual al producto de los lmites de esas series (vase debajo), se ha demostrado por lo tanto la frmula exp(a + b) = exp(a)exp(b) para todo .

Segundo ejemplo. Sea xn = 1 para todo . Entonces C(x,x)(n) = n + 1 para todo . Por lo tanto el producto de Cauchy y no es convergente.

[editar] Convergencia y teorema de Mertens

Artculo principal: Teoremas de Mertens

Sean x, y sucesiones reales. Franz Mertens demostr que si la serie la serie

converge a Y y

converge absolutamente a X entonces el producto de Cauchy de ellas converge a XY. No es suficiente con que ambas series sean

condicionalmente convergentes. Por ejemplo, la sucesin genera una serie condicionalmente convergente pero la sucesinC(x,x) no converge a 0. Ver la demostracin a continuacin.

[editar] Demostracin del teorema de Mertens

Sea

. Entonces si se reordena. Por lo tanto . Fijando un > 0. Dado que es

absolutamente convergente y para todo

es convergente entonces existe un entero N tal que y un entero M tal que p[ara todo

(dado que la serie converge, la sucesin debe converger a 0). Tambin, existe un enteroL tal que si entonces . Por lo tanto,

para todos los enteros n mayores que N, M, y L. Por la definicin de convergencia de una serie .

[editar] Teorema de Cesro

Si x e y son sucesiones reales y y entonces

[editar] Generalizaciones
Todo lo enunciado en las secciones precedentes es aplicable a las sucesiones de nmeros complejos . Se puede definir tambin el producto de Cauchy para series en espacios eucldeos donde la multiplicacin es el producto interno. En este caso, se verifica que si dos series convergen en forma absoluta entonces su producto de Cauch y converge en forma absoluta al producto interno de los lmites.