PRODUCTODECAUCHY

En matemticas, el producto de Cauchy (en honor a Augustin Louis Cauchy) de dos series
+

estrictamenteformales(aunquenonecesariamenteconvergentes):

a
n =0

b
n =0

,porlogeneral

denmerosrealesocomplejos,sedefinecomo:

+ + +
an bn = cn ,donde cn =
n = 0 n = 0 n = 0

a b
k =0

k nk

; n = 0,1,2,...

Esdecir:

+ + + n
an bn = ak bn k
n =0 n =0 n =0 k =0

Por formal hay que entender que las series se manipulan sin prestar atencin a aspectos de
convergencia.Sinembargo,sepuedeconcluirqueporanalogaconlassumasfinitas,enelcaso
+

dequeambasseriesfueranconvergentes,lasumadelaserieinfinita

c
n =0

serigualalproducto

+ +
an bn , de la misma manera en que esto sera correcto cuando cada una de las dos
n = 0 n = 0
sumasquesemultiplicanposeenunnmerofinitodetrminos.
+

n =0

n =0

Esdecirque,si a n = a 0 + a1 + a 2 + ... + a n + ... y bn = b0 + b1 + b2 + ... + bn + ... ,

multiplicandotrminoatrminoseobtendr:

+ +
a n bn = a0 b0 + a0 b1 + a0 b2 . + ... + a0 bn + a1b0 + a1b1 + a1b2 + ... + a1bn + a 2 b0 + a 2 b1 + a 2 b2 + ...
n =0 n =0
(1)

Observndosefcilmentequelostrminosdeestanuevaserieconformanunamatrizinfinitadada
porlasumadeloselementosdelosproductosindicadosencadaunadesusdiagonales,talcomo
seilustraacontinuacin:

 a0b0

a0b1
a b
0 2
.
.

a1b0
a1b1
a1 b2
.
.

a2b0 . .

a2b1 . .
a2b2 . .

.
. .
.
. .

As:

+ +
a n bn = a 0 b0 + (a1b0 + a 0 b1 ) + (a 2 b0 + a1b1 + a 0 b2 ) + ...
n =0 n =0
Ladefinicindadasepuedejustificaranalizandolosiguiente:Sitenemosporejemplodosseries
de
potencias
como
las
indicadas,
su
producto
estara
dado
por:
+

n=0

n =0

)(

an x n bn x n = a0 + a1 x + a 2 x 2 + ... b0 + b1 x + b2 x 2 + ...

= a 0 b0 + (a 0 b1 + a1b0 )x + (a 0 b2 + a1b1 + a 2 b0 )x 2 + ....

= c0 + c1 x + c 2 x + ...
2

Sienlaexpresinanterior x = 1 ,sellegaaladefinicinplanteada.

TEOREMA
Suponiendoque:
+

i)

esabsolutamenteconvergente

= A

= B

n =0
+

ii)

a
n =0
+

iii)

b
n =0

iv)

cn = ak bn k ; n = 0,1,2,...
k =0

Secumpleque

c
n =0

= AB ,apartirdelocualsepuedeconcluirqueelproductodedosseries

convergentes, converge, pudindose determinar este valor, siempre y cuando una de las dos
seriesconverjaenformaabsoluta.

Demostracin:
Suponiendoque:
n

k =0

k =0

k =0

An = a k , Bn = bk , C n = c k
Yqueadems: n

= Bn B

Setieneque:

cn = a0 b0 + (a0b1 + a1b0 ) + ... + (a0bn + a1bn1 + ... + an b0 )

= a0 Bn + a1 Bn1 + ... + an B0

= a0 (B + n ) + a1 (B + n1 ) + ... + an (B + 0 )

= An B + a0 n + a1 n1 + ... + an 0
Sisesuponeahoraque:

n = a 0 n + a1 n 1 + ... + a n 0
Deberamosdemostrarque C n AB ycomo An B AB ,bastaconcluirque:

lm n = 0

n+

Siseestableceque =

a
n =0

que

yque > 0 secumpleque n

0 ,esposibleelegirNtal

n para n > N ,encuyocaso:

n 0 an + ... + N an N + N +1an N 1 + ... + n a0

n 0 an + ... + N anN +

Conservando N fijo y haciendo n , se tiene que

lm sup n

n +

, ya que a k 0

cuando k + y esarbitrario.
EJEMPLOS:
1) Dadalaserie
1
,obtengalarepresentacinenseries
desuproductoporsmisma.

Siguiendolareglaparamultiplicarlaserieporsmisma,seobtiene:

2) Demuestreque

Tomandocomopuntodepartidalaseriequecorrespondealafuncinexponencialnatural,se
tiene:

1!

2
2!

3
3!

!
Conlocualsedemuestralorequerido.