|
"Formal" significa que las series se manipulan sin prestar atención a aspectos de convergencia. No es preciso que las series sean convergentes. Véase por ejemplo [[series de potencia formales]].
Es de esperar, que por analogía con las sumas finitas, en el caso en que las dos series fueran convergentes, la suma de la [[serie infinita]]
de la misma manera en que esto sería correcto cuando cada una de las dos sumas que se multiplican posee un número finito de términos.
En casos suficientemente bien comportados, se cumple con la expresión anterior. Pero—yPero—y este es un punto importante—elimportante—el producto de Cauchy de dos sucesiones existe aún en el caso que una o ambas de las series infinitas correspondientes no fueran convergentes.
== Ejemplos ==
=== Serie finita ===
<math>x_i = 0</math> para todo <math>i>n</math> y <math>y_i = 0</math> para todo <math>i>m</math>. En este caso el producto de Cauchy de <math> \sum x</math> y <math>\sum y</math> se verifica es <math>(x_0+\cdots + x_n)(y_0+\dots+y_m)</math>. Por lo tanto, para series finitas (que son sumas finitas), la multiplicación de Cauchy es directamente la multiplicación de las series.
=== Serie infinita ===
* Primer ejemplo. Para alguna <math>a,b\in\mathbb{R}</math>, sea <math>x_n = a^n/n!\,</math> y <math>y_n = b^n/n!\,</math>. Entonces
por definición y la [[fórmula binomial]]. Dado que, [[formal series|formalmente]], <math>\exp(a) = \sum x</math> y <math>\exp(b) = \sum y</math>, se ha demostrado que <math>\exp(a+b) = \sum C(x,y)</math>. Como el límite del producto de Cauchy de dos series [[absolute convergence|absolutamente convergentes]] es igual al producto de los límites de esas series (véase [[Cauchy product#Convergence and Mertens' Theorem|debajo]]), se ha demostrado por lo tanto la fórmula <math>\exp(a+b) = \exp(a)\exp(b)</math> para todo <math>a,b\in\mathbb{R}</math>.
* Segundo ejemplo. Sea <math> x(n) = 1</math> para todo <math>n\in\mathbb{N}</math>. Entonces <math>C(x,x)(n) = n+1</math> para todo <math>n\in\mathbb{N}</math> por lo tanto el producto de Cauchy <math>\sum C(x,x) = (1,1+2,1+2+3,1+2+3+4,\dots)</math> y no es convergente.
== Convergencia y [[teorema de Mertens]] ==
Sean ''x'', ''y'' sucesiones reales. [[Franz Mertens]] demostró que si la serie <math>\sum y</math> [[Convergent series|converge]] a ''Y'' y la serie <math>\sum x</math> [[Absolute convergence|converge absolutamente]] a ''X'' entonces el producto de Cauchy de ellas <math> \sum C(x,y)</math> converge a ''XY''. No es suficiente con que ambas series sean [[conditional convergence|condicionalmente convergentes]]. Por ejemplo, la sucesión <math>x_n = (-1)^n /n</math> genera una serie condicionalmente convergente pero la sucesión <math>C(x,x)</math> no converge a 0. Ver la demostración a continuación.
=== Demostración del teorema de Mertens ===
Sea <math>X_n = \sum_{i=0}^n x_i</math>, <math>Y_n = \sum_{i=0}^n y_i</math> y <math>C_n = \sum_{i=0}^n C(x,y)(i)</math>. Entonces <math>C_n = \sum_{i=0}^n \sum_{k=0}^i x_k y_{i-k} = \sum_{i=0}^n Y_i x_{n-i}</math> si se reordena. Por lo tanto <math>C_n = \sum_{i=0}^n(Y_i-Y)x_{n-i}+YX_n</math>. Fijando un <math>\epsilon> 0</math>. Dado que <math>\sum x</math> es absolutamente convergente y <math>\sum y</math> es convergente entonces existe un entero ''N'' tal que para todo <math>n\geq N</math> <math>|Y_n-Y|< \frac{\epsilon/4}{\sum_{n=0}^\infty |x_n|+1}</math> y un entero ''M'' tal que p[ara todo <math>n\geq M</math> <math>|x_{n-N}|<\frac{\epsilon}{4N\sup |Y_n-Y|+1} </math> (dado que la serie converge, la sucesión debe converger a 0). También, existe un entero ''L'' tal que si <math>n\geq L</math> entonces <math>|X_n-X|<\frac{\epsilon/2}{|Y|+1}</math>. Por lo tanto,
:<math>|C_n - XY| = |\sum_{i=0}^n (Y_i-Y)x_{n-i}+Y(X_n-X)| \leq \sum_{i=0}^{N-1} |Y_i-Y||x_{n-i}|+\sum_{i=N}^n |Y_i-Y||x_{n-i}|+|Y||X_n-X|<\epsilon </math>
para todos los enteros ''n'' mayores que ''N'', ''M'', y ''L''. Por la definición de [[Convergent series|convergencia de una serie]] <math>\sum C(x,y)\to XY</math>.
== Teorema de Cesàro ==
Si ''x'' e ''y'' son sucesiones reales y <math>\sum x\to A</math> y <math>\sum y\to B</math> entonces <math>\frac{1}{n}\left(\sum_{i=0}^n C(x,y)_n\right)\to AB</math><br />
== Generalizaciones ==
Todo lo enunciado en las secciones precedentes es aplicable a las sucesiones de [[números complejos]] <math>\mathbb{C}</math>. Se puede definir también el '''producto de Cauchy''' para series en [[espacios euclídeos]] <math>\mathbb{R}^n</math> donde la multiplicación es el [[producto interno]]. En este caso, se verifica que si dos series convergen en forma absoluta entonces su producto de Cauchy converge en forma absoluta al producto interno de los límites.
[[Categoría:Series matemáticas]]
| 