7
$\begingroup$

I am looking for a closed formula for the expressions $$ \sum_{k=1}^{n-1} \sin\left(\pi \frac{k}{n}\right)^m,$$ with $n \in \mathbb{N}$ and $m \in \mathbb{N}$ odd.

Playing with these sums a bit, I got the impression that the result is always a fairly simple algebraic expression, the dependence on $m$, $n$ however looking pretty arbitrary.

$\endgroup$

2 Answers 2

16
$\begingroup$

You are looking at the sum of $m$-th powers of the imaginary parts of $n$-th roots of $-1.$ First, note that these can be expressed as polynomials in elementary symmetric functions (of the imaginary parts), so you just need to find the polynomial of which they are roots. Writing $$(x+i y)^n +1 = 0,$$ you get two equations, in $x$ and $y,$ eliminate $x$ and you will get the polynomial you want.

$\endgroup$
2
  • $\begingroup$ Could you elaborate? What are the two equations that you are referring to? $\endgroup$ Commented Jan 23, 2017 at 22:12
  • $\begingroup$ The ones for the real and imaginary parts (since $x$ and $y$ are real). $\endgroup$
    – Igor Rivin
    Commented Jan 23, 2017 at 22:26
5
$\begingroup$

Letting $\xi=e^{\frac{2\pi i}{2n}}$, a primitive root of unity $z^{2n}=1$. Then, $\sin\left(\frac{\pi k}n\right)=\frac{\xi^{k}-\xi^{-k}}{2i}$ and hence \begin{align} \sum_{k=0}^{n-1}\sin^m\left(\frac{\pi k}n\right) &=\frac1{(2i)^m}\sum_{k=0}^{n-1}\sum_{j=0}^m\binom{m}j(-1)^j\xi^{-jk}\xi^{(m-j)k} \\ &=\frac1{(2i)^m}\sum_{j=0}^m(-1)^j\binom{m}j\sum_{k=0}^{n-1}\xi^{(m-2j)k} \\ &=\frac1{(2i)^m}\sum_{j=0}^m(-1)^j\binom{m}j\frac{\xi^{(m-2j)n}-1}{\xi^{m-2j}-1} \\ &=\frac1{(2i)^m}\sum_{j=0}^m(-1)^j\binom{m}j\frac{\xi^{mn}-1}{\xi^{m-2j}-1}. \end{align} The outcome is parity-dependent. For example, if $m\rightarrow 2m$ is even then the average value is $$\frac1n\sum_{k=0}^{n-1}\sin^{2m}\left(\frac{\pi k}n\right) =\frac1{2^{2m}}\binom{2m}m,$$ as long as $n>m$. This is because $\xi^{2mn}-1=0$ and the only time $\xi^{2m-2j}-1=0$ is when $j=m$ (since $n>m$). Therefore, $$\sum_{k=0}^{n-1}\sin^{2m}\left(\frac{\pi k}n\right) =\frac1{(2i)^{2m}}\cdot (-1)^m\binom{2m}m=\frac1{2^{2m}}\binom{2m}m.$$ By the way, $$\frac1{\pi}\int_0^{\pi}\sin^{2m}x\,dx=\frac1{2^{2m}}\binom{2m}m.$$ Contrary to what I thought initially, things are a bit tricky (or unlikely) that there is a closed formula in the case $m\rightarrow 2m+1$ is odd. What we get with the above approach is just an identity: $$\sum_{k=0}^{n-1}\sin^{2m+1}\left(\frac{\pi k}n\right) =\frac1{2^{2m}}\sum_{j=0}^m(-1)^j\binom{2m+1}{m-j}\cot\left(\frac{2j+1}{2n}\pi\right).$$

$\endgroup$
2
  • $\begingroup$ How did you get from the sum to the formula $\frac{1}{2^{2m}} \binom{2m}{m}$? Also, I am mainly interested in the case that $m$ is odd. Is this more difficult? $\endgroup$ Commented Jan 23, 2017 at 22:14
  • $\begingroup$ Is there a $\pi$ missing from the argument of your cot? $\endgroup$ Commented Jan 27, 2017 at 4:57

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .