A nice integral involving sum
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
A nice integral involving sum
In the book (Beyond Integrals and Series) I ran into this:
Prove that: $$\int_{\left [ -\pi, \pi \right ]}\left ( \sum_{k=1}^{2014}\sin (kx) \right )^2\,dx=2014\pi$$
I guess we can generalize that. I have not a found something like that, anyway.
Prove that: $$\int_{\left [ -\pi, \pi \right ]}\left ( \sum_{k=1}^{2014}\sin (kx) \right )^2\,dx=2014\pi$$
I guess we can generalize that. I have not a found something like that, anyway.
Imagination is much more important than knowledge.
- Grigorios Kostakos
- Founder
- Posts: 461
- Joined: Mon Nov 09, 2015 1:36 am
- Location: Ioannina, Greece
Re: A nice integral involving sum
A possible first step is to use Lagrange's trigonometric identity: \begin{align*}
\mathop{\sum}\limits_{k=1}^n {\sin(kx)}&=\frac{1}{2}\frac{\cos\frac{x}{2}-\cos\bigl({\bigl({n +\frac{1}{2}}\bigr) x}\bigr)}{\sin\frac{x}{2}}\\
&=........................\\
&=\frac{\sin\bigl({({n+1})\frac{x}{2}}\bigr)\,\sin\bigl({n\frac{x}{2}}\bigr)}{\sin\frac{x}{2}}\,.
\end{align*}
\mathop{\sum}\limits_{k=1}^n {\sin(kx)}&=\frac{1}{2}\frac{\cos\frac{x}{2}-\cos\bigl({\bigl({n +\frac{1}{2}}\bigr) x}\bigr)}{\sin\frac{x}{2}}\\
&=........................\\
&=\frac{\sin\bigl({({n+1})\frac{x}{2}}\bigr)\,\sin\bigl({n\frac{x}{2}}\bigr)}{\sin\frac{x}{2}}\,.
\end{align*}
Grigorios Kostakos
Re: A nice integral involving sum
Replied by ex-member aziiri:
Then : \[\begin{align*}\int_{-\pi}^{\pi } \left(\sum_{k=1}^{2014} \sin k x\right)^2 \ \mathrm{d}x &=\int_{-\pi}^{\pi} \left(\sum_{k=1}^{2014} \sin^2 kx\right)+2 \left(\sum_{1\leq i<j\leq 2014} \sin ix \sin jx\right) \ \mathrm{d}x \\ &=\sum_{k=1}^{2014} \int_{-\pi}^{\pi} \sin^2 kx \ \mathrm{d}x \\ &= \frac{1}{2} =\sum_{k=1}^{2014} \int_{-\pi}^{\pi} 1-\cos kx \ \mathrm{d}x \\ &= 2014\pi.\end{align*}\]
It is easier that that, note that for two integers \(n\neq m \) : \[\int_{-\pi}^{\pi} \sin n x\sin m x \ \mathrm{d}x = \frac{1}{2} \int_{-\pi}^{\pi} \cos((n-m) x) +\cos ((n+m)x) \ \mathrm{d}x = 0\]Grigorios Kostakos wrote:A possible first step is to use Lagrange's trigonometric identity: \begin{align*}
\mathop{\sum}\limits_{k=1}^n {\sin(kx)}&=\frac{1}{2}\frac{\cos\frac{x}{2}-\cos\bigl({\bigl({n +\frac{1}{2}}\bigr) x}\bigr)}{\sin\frac{x}{2}}\\
&=........................\\
&=\frac{\sin\bigl({({n+1})\frac{x}{2}}\bigr)\,\sin\bigl({n\frac{x}{2}}\bigr)}{\sin\frac{x}{2}}\,.
\end{align*}
Then : \[\begin{align*}\int_{-\pi}^{\pi } \left(\sum_{k=1}^{2014} \sin k x\right)^2 \ \mathrm{d}x &=\int_{-\pi}^{\pi} \left(\sum_{k=1}^{2014} \sin^2 kx\right)+2 \left(\sum_{1\leq i<j\leq 2014} \sin ix \sin jx\right) \ \mathrm{d}x \\ &=\sum_{k=1}^{2014} \int_{-\pi}^{\pi} \sin^2 kx \ \mathrm{d}x \\ &= \frac{1}{2} =\sum_{k=1}^{2014} \int_{-\pi}^{\pi} 1-\cos kx \ \mathrm{d}x \\ &= 2014\pi.\end{align*}\]
admin
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Re: A nice integral involving sum
Azirii, can we generalize that? That is, does the identity $$\int_{-\pi}^{\pi}\left ( \sum_{k=1}^{n}\sin \left ( kx \right ) \right )^2\,dx=n\pi$$ hold?
Imagination is much more important than knowledge.
Re: A nice integral involving sum
Replied by ex-member aziiri:
Yes, of course.Tolaso J Kos wrote:Azirii, can we generalize that? That is, does the identity $$\int_{-\pi}^{\pi}\left ( \sum_{k=1}^{n}\sin \left ( kx \right ) \right )^2\,dx=n\pi$$ hold?
admin
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Re: A nice integral involving sum
I don't know if induction works, but I believe that your solution can easily be modified for that case also.
Imagination is much more important than knowledge.
Re: A nice integral involving sum
Replied by ex-member aziiri:
you just need to substitute \(2014\) with \(n\) in my solution.Tolaso J Kos wrote:I don't know if induction works, but I believe that your solution can easily be modified for that case also.
admin
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 1 guest