Product of two power series

convergence-divergence power-series abstract-algebra

Yes, using the natural notion of convergence for formal power series, the stated sum does indeed converge to the Cauchy product. One should beware - as exemplified in this thread - that there is widespread confusion about formal vs. functional power series - even by some experts (in other fields). Rota frequently told jokes in his lectures about certain distinguished mathematicians who published complete nonsense based on such confusion (Indiscrete Thoughts!)

In any case the basic ideas are quite simple if you merely take off your analyst hat and, instead, put on your algebraist or combinatorist hat. In particular, you should be able to find a correct discussion of convergence of formal power series in almost any good book on combinatorics or generating functions, e.g. here is an excerpt from Stanley's classic $\: $ Enumerative Combinatorics I.

enter image description hereenter image description hereenter image description here

Related

$\gcd(a,\operatorname{lcm}(b,c))=\operatorname{lcm}(\gcd(a,b),\gcd(a,c))$
Show that G is a group, if G is finite, the operation is associative, and cancellation law holds
Why is $\pi$ irrational if it is represented as $C/D$?
Integration of $\int\frac{1}{x^{4}+1}\mathrm dx$ [closed]
Converting triangles to isosceles, equilateral or right???
One-dimensional [Noetherian] UFD is a PID
Evalute $ \lim_{n\rightarrow \infty}\sum^{n}_{k=0}\frac{\binom{n}{k}}{n^k(k+3)} $
Question on groups of order $pq$
Induction Proof that $x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+\ldots+xy^{n-2}+y^{n-1})$
Prove that $f'(0)$ exists and $f'(0) = b/(a - 1)$
Conditional expectation for a sum of iid random variables: $E(\xi\mid\xi+\eta)=E(\eta\mid\xi+\eta)=\frac{\xi+\eta}{2}$
Can the graph of $x^x$ have a real-valued plot below zero?