MHB Finding a formula for the multiplication of multiple formal power series

Click For Summary
SUMMARY

This discussion focuses on deriving a formula for the multiplication of three formal power series represented as \( \left(\sum_{n=0}^{\infty} a_nx^n \right)\left(\sum_{k=0}^{\infty} b_kx^k \right)\left(\sum_{m=0}^{\infty} c_mx^m \right) \). The constant term is \( a_0b_0c_0 \), while the linear term is expressed as \( (a_1 b_0 c_0 + a_0 b_1 c_0 + a_0 b_0 c_1)x \). The general term for the product is established as \( a_i b_j c_k x^{i + j + k} \), where \( i + j + k \) represents the power of \( x \). The discussion emphasizes the importance of correctly indexing the coefficients to achieve accurate results in power series multiplication.

PREREQUISITES
  • Understanding of formal power series
  • Familiarity with polynomial multiplication
  • Knowledge of indexing in mathematical notation
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the properties of formal power series in detail
  • Learn about convolution sums and their applications in power series
  • Explore advanced topics in combinatorial mathematics related to series
  • Investigate the use of generating functions in combinatorial problems
USEFUL FOR

Mathematicians, students of algebra, and anyone interested in combinatorial mathematics or formal power series multiplication will benefit from this discussion.

cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Dear Everyone,

I am having trouble with finding a formula of the multiplication 3 formula power series.
\[ \left(\sum_{n=0}^{\infty} a_nx^n \right)\left(\sum_{k=0}^{\infty} b_kx^k \right)\left(\sum_{m=0}^{\infty} c_mx^m \right) \]

Work:

For the constant term:
$a_0b_0c_0$

For The linear term : $(a_1 b_0 c_0 + a_0 b_1 c_0 + a_0 b_0 c_1)x$ + $a_0b_0c_0$

For the quadratic term: $a_2 b_2 c_2 x^6 + a_2 b_2 c_1 x^5 + a_2 b_1 c_2 x^5 + a_1 b_2 c_2 x^5 + a_2 b_2 c_0 x^4 + a_2 b_1 c_1 x^4 + a_1 b_2 c_1 x^4 + a_2 b_0 c_2 x^4 + a_1 b_1 c_2 x^4 + a_0 b_2 c_2 x^4 + a_2 b_1 c_0 x^3 + a_1 b_2 c_0 x^3 + a_2 b_0 c_1 x^3 + a_1 b_1 c_1 x^3 + a_0 b_2 c_1 x^3 + a_1 b_0 c_2 x^3 + a_0 b_1 c_2 x^3 + a_2 b_0 c_0 x^2 + a_1 b_1 c_0 x^2 + a_0 b_2 c_0 x^2 + a_1 b_0 c_1 x^2 + a_0 b_1 c_1 x^2 + a_0 b_0 c_2 x^2 + a_1 b_0 c_0 x + a_0 b_1 c_0 x + a_0 b_0 c_1 x + a_0 b_0 c_0$

I am seeing that the indexes are summing up to the power of x. But how to say that in the indexes?

Thanks,
Cbarker1
 
Physics news on Phys.org
Say we want to work with the terms [mat]a_2 x^2, ~ b_5 x^5, ~ c_3 x^2[/math]. The product of these terms is [math]a_2 b_5 c_3 x^{10}[/math]. If we have a more general term [math]a_i x^i b_j x^j c_k x^k = a_i b_j c_k x^{i + j + k}[/math] you can see the pattern. i + j + k is the power of x involved. Since all we need is the sum we get coefficients [math]a_i b_j c_k, ~ a_j b_k c_i, \text{ etc.}[/math], and we also get any other set of indicies were i + j + k are all the same number, the power of x.

For example, say we want the coefficient of the quartic term of x: [math]a_1 b_1 c_2 + a_1 b_2 c_1 + a_2 b_1 c_1[/math]

Or for the 6th power [math]a_1 b_1 c_4 + a_1 b_2 c_3 + a_1 b_3 c_2 + \text{ ...}[/math].

Does that help? Or am I misinterpreting your question?

-Dan
 
topsquark said:
Say we want to work with the terms [mat]a_2 x^2, ~ b_5 x^5, ~ c_3 x^2[/math]. The product of these terms is [math]a_2 b_5 c_3 x^{10}[/math]. If we have a more general term [math]a_i x^i b_j x^j c_k x^k = a_i b_j c_k x^{i + j + k}[/math] you can see the pattern. i + j + k is the power of x involved. Since all we need is the sum we get coefficients [math]a_i b_j c_k, ~ a_j b_k c_i, \text{ etc.}[/math], and we also get any other set of indicies were i + j + k are all the same number, the power of x.

For example, say we want the coefficient of the quartic term of x: [math]a_1 b_1 c_2 + a_1 b_2 c_1 + a_2 b_1 c_1[/math]

Or for the 6th power [math]a_1 b_1 c_4 + a_1 b_2 c_3 + a_1 b_3 c_2 + \text{ ...}[/math].

Does that help? Or am I misinterpreting your question?

-Dan

I think you misinterpreted my question. For instance, if I have $A$ and $B$ where $A=\sum_{n=0}^{\infty} a_nx^n$ and $B=\sum_{k=0}^{\infty} b_kx^k$, then $$AB=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{n} a_nb_{k-n} \right)x^n$$. How can I do the index for the sum with power series?
 
From my previous post: How can I do the indices for the sum with 3 power series through the product? I am still confuse by how 3 would work based on the product of 2 power series...
 
Cbarker1 said:
For instance, if I have $A$ and $B$ where $A=\sum_{n=0}^{\infty} a_nx^n$ and $B=\sum_{k=0}^{\infty} b_kx^k$, then $$AB=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{n} a_{\color{red}k}b_{\color{red}n-k} \right)x^n.$$ How can I do the index for the sum with power series?
Notice that you have got the indices wrong. For the coefficient of $x^n$ you want the subscripts on $a$ and $b$ to add up to $n$.[/color]

Along the same lines, $$ABC=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{n}\left(\sum_{j=0}^{n-k} a_kb_{j}c_{n-k-j} \right)\right)x^n.$$
 
Relativistic Momentum, Mass, and Energy Momentum and mass (...), the classic equations for conserving momentum and energy are not adequate for the analysis of high-speed collisions. (...) The momentum of a particle moving with velocity ##v## is given by $$p=\cfrac{mv}{\sqrt{1-(v^2/c^2)}}\qquad{R-10}$$ ENERGY In relativistic mechanics, as in classic mechanics, the net force on a particle is equal to the time rate of change of the momentum of the particle. Considering one-dimensional...

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
12
Views
2K
  • · Replies 62 ·
3
Replies
62
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K
Replies
1
Views
2K