A nice integral involving sum

Real Analysis
Post Reply
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

A nice integral involving sum

#1

Post by Tolaso J Kos »

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.
Imagination is much more important than knowledge.
User avatar
Grigorios Kostakos
Founder
Founder
Posts: 461
Joined: Mon Nov 09, 2015 1:36 am
Location: Ioannina, Greece

Re: A nice integral involving sum

#2

Post by Grigorios Kostakos »

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*}
Grigorios Kostakos
admin
Administrator
Administrator
Posts: 40
Joined: Mon Oct 26, 2015 12:27 pm

Re: A nice integral involving sum

#3

Post by admin »

Replied by ex-member aziiri:
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*}
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\]
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
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: A nice integral involving sum

#4

Post by Tolaso J Kos »

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.
admin
Administrator
Administrator
Posts: 40
Joined: Mon Oct 26, 2015 12:27 pm

Re: A nice integral involving sum

#5

Post by admin »

Replied by ex-member aziiri:
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?
Yes, of course.
admin
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

Re: A nice integral involving sum

#6

Post by Tolaso J Kos »

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.
admin
Administrator
Administrator
Posts: 40
Joined: Mon Oct 26, 2015 12:27 pm

Re: A nice integral involving sum

#7

Post by admin »

Replied by ex-member aziiri:
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.
you just need to substitute \(2014\) with \(n\) in my solution.
admin
Post Reply

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

Register

Sign in

Who is online

Users browsing this forum: Bing [Bot] and 16 guests