Transform $\prod_{k=0}^{n} (1+x^{2^{k}})$ to $\sum_{k=0}^{n} c_{k}x^{k}$

Note that $ \sum_{k=0}^{n-1} 2^k=2^n-1$. Therefore, the highest power of $x$ in $\prod_{k=0}^{n-1}(1+x^{2^k})$ is $2^n-1$. In other words, none of the terms will repeat as we keep multiplying by $1+x^{2^n}$. Thus, the relation can be obtained using induction.

It is easy to see that for $n=1$ \begin{equation} \prod_{k=0}^1(1+x^{2^k}) = (1+x)(1+x^2)= 1+x+x^2+x^3. \end{equation} Now, let us assume that $\prod_{k=0}^{n-1}(1+x^{2^k}) = \sum_{k=0}^{2^n-1} x^k$. Then, we have \begin{equation} \prod_{k=0}^{n}(1+x^{2^k}) = \left(\sum_{k=0}^{2^{n-1}} x^k\right)(1+x^{2^{n}}) = \sum_{k=0}^{2^{n}-1} x^k+ \sum_{k=0}^{2^{n}-1} x^{k+2^n} = \sum_{k=0}^{2^{n+1}-1} x^k. \end{equation}


Looks good as

\begin{align} \prod_{k=0}^{n-1}\left(1+x^{2^{k}}\right)&=\prod_{k=0}^{n-1}\frac{1-x^{2^{k+1}}}{1-x^{2^{k}}}\\ &=\frac{1}{1-x}\prod_{k=0}^{n-1}\left(1-x^{2^{k+1}}\right)\prod_{k=0}^{n-2}\left(1-x^{2^{k+1}}\right)^{-1}\\ &={\frac{1-x^{2^{n}}}{1-x}}. \end{align}


You may also approach this from a combinatorical point fo view:

  • Expanding would give a sum of $2^{n+1}$ summands.
  • Each summand is a product of powers of $x$ where the exponent corresponds to a uniquely determined sequence $(b_0,b_1,\ldots , b_n)$ of binary digits $b_i \in {0,1}$ for $i=0,\ldots ,n$ where $0$ means choose $1 = x^0$ and $1$ means choose $x^{2^i}$ from the factor $(1+x^{2^i})$

Hence,

$$\prod_{k=0}^{n} (1+x^{2^{k}}) = \sum_{(b_0,b_1,\ldots , b_n) \in \{0,1\}^{n+1}}x^{\sum_{i=0}^nb_i\cdot 2^i}= \sum_{k=0}^{2^{n+1}-1}x^k$$

Tags:

Calculus