Produto de Cauchy

Em matemática, o produto de Cauchy (em homenagem a Augustin Louis Cauchy) de duas séries formais (isto é, não necessariamente convergentes) de números reais ou complexos. O produto de Cauchy de duas sequências $\textstyle (a_{n})_{n\geq 0}$ , $\textstyle (b_{n})_{n\geq 0}$ , é a convolução discreta das duas sequências, a sequência $\textstyle (c_{n})_{n\geq 0}$ cujo termo geral é dado por

c_{n}=\sum _{k=0}^{n}a_{k}b_{n-k}.

Em outras palavras, é a sequência cuja associada série de potência formal $\textstyle \sum _{n=0}^{\infty }c_{n}X^{n}$ é o produto das duas séries semelhantemente associadas a $(a_{n})_{n\geq 0}$ e $(b_{n})_{n\geq 0}$ .

Séries

\sum _{n=0}^{\infty }a_{n},\qquad \sum _{n=0}^{\infty }b_{n},

é definido mediante uma convolução discreta:

\left(\sum _{n=0}^{\infty }a_{n}\right)\cdot \left(\sum _{n=0}^{\infty }b_{n}\right)=\sum _{n=0}^{\infty }c_{n},\qquad \mathrm {donde} \ c_{n}=\sum _{k=0}^{n}a_{k}b_{n-k}

para n = 0, 1, 2, …

"Formal" significa que as séries são manipuladas sem prestar atenção a aspectos de convergência. Não é preciso que as séries sejam convergentes. Veja por exemplo, séries de potência formais.

É de esperar, que por analogia com as somas finitas, no caso em que as duas séries forem convergentes, a soma da série infinita

\sum _{n=0}^{\infty }c_{n}

seja igual ao produto

\left(\sum _{n=0}^{\infty }a_{n}\right)\left(\sum _{n=0}^{\infty }b_{n}\right)

da mesma maneira em que este seria correto quando cada uma das duas somas que multiplicam-se possui um número finito de termos.

Em casos suficientemente bem comportados, cumpre-se com a expressão anterior. Mas—e este é um ponto importante—o produto de Cauchy de duas séries existe ainda no caso que uma ou ambas das séries infinitas correspondentes não forem convergentes.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.