A property of power series and the q-th roots of unity

375 Views Asked by At

I'm trying to understand why if $ \displaystyle \sum_{n=0}^{\infty} a_{n}x^{n} = f(x) $, then $$ \sum_{n=0}^{\infty} a_{p+nq} x^{p+nq} = \frac{1}{q} \sum_{j=0}^{q-1} \omega^{-jp} f(\omega^{j} x)$$ where $\omega$ is a primitive $q$-th root of unity.

I'm assuming it has something to do with the $q$-th roots of unity summing to zero.

It is used in a proof of Gauss' digamma theorem.

http://planetmath.org/ProofOfGaussDigammaTheorem

1

There are 1 best solutions below

1
On BEST ANSWER

In the right hand side of your expresion, remplace $f(\omega^j x)$ by $\sum_{k=0}^{\infty} a_k \omega^{jk}x^k $.

You will get : $$\frac{1}{q}\sum_{j=0}^{q-1} \omega^{-jp}\sum_{k} a_k x^k \omega^{jk}$$

By interverting the sums (formally at least it has to be justified : see Jyrki Lahtonen's comment) you get : $$\sum_{k} a_k x^k \frac{1}{q}\sum_{j=0}^{q-1} \omega^{j(k-p)}$$

And then you can use the result you are refering to in order to get the left hand side :

If $(k-p)=nq$ : $\sum_{j=0}^{q-1} \omega^{jnq} =\sum_{j=0}^{q-1} (\omega^q)^{jn}= q$ ($\omega$ is a $q$-th root I guess ?) Otherwise $(k-p)=nq+r$ ($0< r<q$) and $$\sum_{j=0}^{q-1} \omega^{j(k-p)}=\sum_{j=0}^{q-1} \omega^{jnq+jr}=\sum_{j=0}^{q-1} \omega^{jr}=0$$