2011-03-28 05:05:29 8 Comments

Say if I define a power series over some arbitrary field $F$ as

$$a = \sum^{ \infty }_{i = 0} a_{i} X^{i} $$

Then can I say:

$$ab = \sum^{ \infty }_{i = 0} \sum^{ \infty }_{j = 0} a_{i} b_{j} X^{i + j} $$

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### Power series modification - two methods, different results?

**2019-04-11 20:12:36****Andrew Wang****17**View**0**Score**1**Answer- Tags: power-series

#### 2 Answered Questions

### [SOLVED] Taking a power of a power series, inside of a power series

**2019-03-28 04:43:16****Buddhapus****52**View**1**Score**2**Answer- Tags: power-series

#### 1 Answered Questions

### Explanation on differentiating power series

**2018-02-24 23:47:13****user372003****22**View**0**Score**1**Answer- Tags: power-series

#### 0 Answered Questions

### Power Series Arithmetic through Formal Power Series

**2018-02-12 16:45:15****law-of-fives****62**View**1**Score**0**Answer- Tags: power-series formal-power-series

#### 1 Answered Questions

### [SOLVED] Infinite power series with unique factorization possible?

**2017-10-23 09:39:13****Tyrell****115**View**0**Score**1**Answer- Tags: abstract-algebra polynomials power-series unique-factorization-domains

#### 1 Answered Questions

### [SOLVED] Composition of two power series

**2017-05-27 13:44:28****pqros****66**View**0**Score**1**Answer- Tags: power-series

#### 2 Answered Questions

### [SOLVED] Product of Power Series of Different Powers

**2016-07-26 14:18:49****Aaron Hendrickson****289**View**4**Score**2**Answer- Tags: sequences-and-series power-series

#### 4 Answered Questions

### [SOLVED] Power series convergence radius

**2014-06-15 19:14:49****mvfs314****448**View**5**Score**4**Answer- Tags: convergence power-series

#### 1 Answered Questions

### [SOLVED] Power series and power series expansion

**2013-04-05 05:34:32****greg_mankob****359**View**2**Score**1**Answer- Tags: real-analysis power-series

#### 1 Answered Questions

### [SOLVED] convergence of power series

**2012-05-13 14:25:38****user31035****333**View**1**Score**1**Answer- Tags: calculus real-analysis analysis power-series

## 3 comments

## @Bill Dubuque 2011-03-28 17:24:20

Yes, using the natural notion of

convergencefor 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 aboutformalvs.functionalpower 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.## @Robert Israel 2011-03-28 05:10:13

Yes, you can: this is the definition of the product of the two formal power series $a$ and $b =\sum_{i=0}^\infty b_i X^i$.

## @joriki 2011-03-28 05:14:27

No, this is not the definition of the product of the formal power series; in fact it's not a power series. The product is $\sum_{k=0}^\infty(\sum_{i=0}^k a_ib_{k-i})X^k$; see en.wikipedia.org/wiki/Power_series and en.wikipedia.org/wiki/Formal_power_series. (Of course the two coincide if all the limits exist, but the point about formal power series is that you can manipulate them like this without worrying about whether the limits exist.) By the way, note that if you talk about "power series over some arbitrary field", these are actually just polynomials if the field is finite.

## @Bill Dubuque 2011-03-28 17:41:04

@Joriki: No, this is in fact correct (but far too terse). It appears that you are confusing

formalpower series withfunctionalpower series. In particular, formal power series over finite fields arenot"just polynomials".## @Alex Becker 2011-03-28 05:13:59

Not if you are talking about multiplying $a$ by a similarly defined formal power series $b$. The multiplication of formal power series can be written as: $ab = \sum_{i=0}^{\infty}(\sum_{j=0}^ia_jb_{i-j})X^i$

## @joriki 2011-03-28 05:41:06

It should be $X^i$; but also see my answer.

## @Alex Becker 2011-03-28 05:43:29

@joriki: Thanks, but I think that's obviously enough a type not to call it an "incorrect answer".

## @joriki 2011-03-28 05:45:21

I'm sorry, that didn't refer to the typo but to the fact that your answer basically says "no" when it should have been "yes and no" -- but in fact I weakened that to "incorrect or partial" even before I'd seen your comment -- sorry that the initial criticism was a bit too strong.

## @Alex Becker 2011-03-28 05:52:23

@joriki: That's why I said "not if... formal power series". But I know you didn't mean to blast me, and I agree that your answer is much fuller and more informative.

## @Marc van Leeuwen 2016-05-03 04:09:21

This answer is wrong, in the sense that while it gives a decent definition of multiplication of formal power series, but wrongly claims the one in the OP is not right. The two are in fact equivalent definitions. In the OP formula, the coefficient of some $X^k$ is $\sum_{i+j=k}a_ib_j = \sum_{i=0}^ka_ib_{k-i}$ and after some renaming of indices the formula above follows.