Home > Cauchy product

is { c₁ }_n=1^∞ where

1 Formal power series

This concept is captures the essence of multiplication of formal power series. Given two such series,

and

their product is

One multiplies just as if one were working with algebra of finite sums without worrying about questions of convergence. It has the same "form" as multiplication of finite sums, and is therefore called "formal" multiplication.

2 Convergence

If one works with convergent power series rather than formal power series, does Cauchy multiplication give correct results, i.e., does the product of the two series converge, and is the scalar to which it converges equal to the product of the sums of the other two series? A partial answer is this: If one series of complex numbers converges, and the other converges absolutely, then the answer to both questions is "yes".

3 A variant

Often one writes formal power series in the form

so that the coefficients may be thought of as values of the derivative of the formal power series at 0. (However, since formal power series are not in general convergent power series, to speak of their "values" may be problematic.)

The product of that series with

is

where

One may see this relation written in the form

and some writers on the subject may call the resulting sequence { c_n }_n=1^∞ the Cauchy product.