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$ Jan 23, 2017 at 22:12
  • $\begingroup$ The ones for the real and imaginary parts (since $x$ and $y$ are real). $\endgroup$
    – Igor Rivin
    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$ Jan 23, 2017 at 22:14
  • $\begingroup$ Is there a $\pi$ missing from the argument of your cot? $\endgroup$ Jan 27, 2017 at 4:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.