k = 1 ∑ ∞ k sin ( k ∘ )
If the value of the series above is of the form b a π , where a and b are coprime positive integers, find the value of a + b .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Very nice! This is roughly what I had in mind.
Just to clarify: For which x does your formula S ( x ) = 2 π − x hold?
Log in to reply
Regarding the series convergence issue, I suppose that in place of z we could look at z e − δ as δ → 0 + and let that ripple through the steps of the solution. I think it will then filter out at the end. We could choose the l n branch to be defined for r > 0 , − π < θ < π , in which case the formula would hold for x ∈ ( 0 , π ) . We could throw in π for good measure since then all the terms of the original series would be 0 , making S ( π ) = 0 as the formula would indicate.
Log in to reply
I tried to deal with the convergence issue in my solution... I'm curious to hear whether you find that approach satisfactory.
If you choose θ between 0 and 2 π , then the formula holds in that interval, I believe. S ( x ) is periodic, of course, with discontinuities at the integer multiples of 2 π .
Log in to reply
@Otto Bretscher – Ah, yes, the minus sign ...... 0 < θ < 2 π and the same for x it is, then.
Your solution is far more elegant than mine and deftly avoids the convergence issue. Thanks for reacquainting me with Abel's Theorem. :)
Log in to reply
@Brian Charlesworth – Shall we ask the same question about the cosine, maybe in radians this time? If we do, the two of us should probably let somebody else answer first? ;)
Log in to reply
@Otto Bretscher – Haha Yes, by all means, that would be a great question for you to post, and I will restrain myself from posting a solution. :)
Perhaps you could frame it as k = 1 ∑ ∞ k cos ( k x ) for, say, x = 4 π .
Or even n = 1 ∑ 6 k = 1 ∑ ∞ k cos ( n k π ) , which curiously comes out to within 0 . 1 % of a certain special number.
@Otto Bretscher Sorry for the lack of rigor here; my complex analysis is a bit rusty, so I was glossing over some important details regarding convergence, etc., hoping that it would all pan out regardless, (which it did, I suppose). You may have had a non-complex method in mind, so I'll give some thought to what such a method might look like. Great question, anyway. :)
Sorry, I'm not familiar with Dirichlet test for convergence so I have to ask: What are the a n and b n for this test?
Log in to reply
a n = n 1 and b n is the sine. In this particular case, one could certainly also use the Leibniz criterion for 180 terms at a time.
Log in to reply
Oh I was thinking of b n = n 1 and a n = sin ( n ) . Silly me. ThankYOU. Now lemme read your Abel's theorem solution.
Yeah, did the same. But I can bet that @Otto Bretscher has something brilliant here considering that the answer is too nice even.
Correct! Quite an ordinary mathematics but the finding is special. Good choice with Pi/ 180. This made me thought that the setter might have made a mistake. Thanks for this!
I d i d n ′ t q u i t e g e t h o w y o u w e n t f r o m S ( x ) = k = 1 ∑ ∞ 2 k i e i k x − e − i k x t o S ( x ) = 2 i − ln ( 1 − e i x ) + ln ( 1 − e − i x ) .
Log in to reply
Using the general formula k = 1 ∑ ∞ k z k = − ln ( 1 − z ) , we can in turn set z = e i x and z = e − i x to find that
S ( x ) = 2 i 1 ( k = 1 ∑ ∞ k ( e i x ) k − k = 1 ∑ ∞ k ( e − i x ) k ) =
2 i 1 ( − ln ( 1 − e i x ) − ( − ln ( 1 − e − i x ) ) = 2 i − ln ( 1 − e i x ) + ln ( 1 − e − i x ) .
Log in to reply
T h a n k s a t o n .
Log in to reply
@Ishaan Arora – A n d m a y I a s k w h y y o u c h o s e t h e v a l u e 1 8 0 π ?
Log in to reply
@Ishaan Arora – This is to convert k ∘ into radians, which is the required measure for the formulas used in my solution.
My first two tries went in vain as i was trying to fluke as i haven't saw such type of questions . But suddenly I got the idea to solve and i forgot the denominator and got answer as 359
I like Brian's solution! However, Brian is rightly concerned about convergence issues; perhaps we can avoid those problems by considering a power series.
Let's start with the geometric series k = 1 ∑ ∞ e i k a x k = 1 − e i a x e i a x where 0 < x < 1 . Now we can divide by x and integrate to find that k = 1 ∑ ∞ k e i k a x k = − ln ( 1 − e i a x ) We can take the limit as x approaches 1 from below and use Abel's Theorem to see that k = 1 ∑ ∞ k e i k a = − ln ( 1 − e i a ) Considering the imaginary parts, we end up with k = 1 ∑ ∞ k sin ( k a ) = − ar g ( 1 − e i a ) If a is between 0 and 2 π , the RHS is 2 π − a ; perhaps the fastest way to see this is to draw the isosceles triangle with its vertices at 0 , 1 and e i a in the Argand plane. For a = 1 8 0 π the sum is 3 6 0 1 7 9 π and the required answer is 5 3 9
Abel's theorem is a good way of finding the limit of a power series at the boundary of the radius of convergence, along a straight line from the origin. Note that we do not know if the sequence will converge if we take a different path in the complex plane to that point.
Wait. You have only shown that x approaches 1 from below . Shouldn't you prove that it approaches 1 from above as well?
Log in to reply
No, Abel's convergence theorem is really all about approaching 1 from below, from within the radius of convergence.
Log in to reply
But shouldn't we prove that left hand limit = right hand limit, so only then we know whether the limit exist?
EDIT: After reading the Remarks section , I think my doubt has been resolved. But I still don't understand why that's the case. Either way: Thanks for your help ahah!
Log in to reply
@Pi Han Goh – Abel's Theorem, by its very nature, is about a single-sided limit; the power series does not converge on the other side. Consider the most basic example, ln ( 1 + x ) = ∑ k = 1 ∞ ( − 1 ) k + 1 k x k for ∣ x ∣ < 1 . You take lim x → 1 − to find the sum of the alternating harmonic series.
Sir i did it by evaluating the imaginary part of the summation of (e^ix)/x (at x=1) by using taylor series and using integration to find the answer.....i arrived at pi - 0.5 as the answer.....now was i wrong or did i do the mistake of not converting into degrees
Not that obvious compared to Brian's but I can feel the truth which is correct.
Let us define, for z ∈ R , the series A ( z ) = k ≥ 1 ∑ k z k sin ( a k ) , a = 1 8 0 π We can see that for z ∈ ( − 1 , 1 ) the series is absolutely summable and convergent. Also, I think by Monotone convergence theorem, if follows that z → 1 lim A ( z ) = k ≥ 1 ∑ k sin ( a k ) though it might need some care. Assuming it is correct, now we can proceed to find an expression for A ( z ) . Note that z ∈ ( − 1 , 1 ) ⟹ A ( z ) = ℑ k ≥ 1 ∑ k z k exp ( i a k ) ⟹ d z d A = ℑ k ≥ 1 ∑ z k − 1 exp ( i a k ) = z 1 ℑ k ≥ 1 ∑ exp ( − i a k ) − z z = ( z − cos a ) 2 + sin 2 a sin a ⟹ A ( z ) = arctan ( sin a z − cos a ) + C Now, A ( 0 ) = 0 ⟹ C = arctan cot ( a ) = 2 π − a . Hence A ( z ) = arctan ( sin a z − cos a ) + 1 8 0 8 8 π ⟹ z → 1 lim A ( z ) = arctan ( sin a 1 − cos a ) + 1 8 0 8 8 π = 3 6 0 π + 1 8 0 8 8 π = 3 6 0 1 7 9 π So, 5 3 9 is the answer.
@Otto Bretscher Can you verify whether this answer is correct? Thanks.
Very nice series problem, Otto! Summing an infinite discretized "sinc" pulse.........nice little midnight signal processing problem for EE's!
This is the power of special mathematics.
Problem Loading...
Note Loading...
Set Loading...
By the Dirichlet test for convergence we can anticipate that the series does converge.
We'll look first in general at S ( x ) = k = 1 ∑ ∞ k sin ( k x ) , and then evaluate S ( 1 8 0 π ) .
Now we have that sin ( y ) = 2 i e i y − e − i y , so
S ( x ) = k = 1 ∑ ∞ 2 k i e i k x − e − i k x = 2 i − ln ( 1 − e i x ) + ln ( 1 − e − i x ) ,
since in general k = 1 ∑ ∞ k z k = − ln ( 1 − z ) .
(I'm playing a bit fast and loose with radius of convergence in C here; I'll try and deal with that later.)
Continuing, we can then say that
S ( x ) = 2 i 1 ln ( 1 − e i x 1 − e − i x ) = 2 i 1 ln ( − e − i x ) = 2 i 1 ln ( e i ( π − x ) ) = 2 i i ( π − x ) = 2 π − x ,
since − e − i x − e − i x ∗ 1 − e i x 1 − e − i x = 1 − e − i x − e − i x ( 1 − e − i x ) = − e − i x , and since
− e − i x = − cos ( x ) + i ∗ sin ( x ) = cos ( π − x ) + i ∗ sin ( π − x ) = e i ( π − x ) .
Finally, S ( 1 8 0 π ) = 2 π − 1 8 0 π = 3 6 0 1 7 9 π , and thus a + b = 1 7 9 + 3 6 0 = 5 3 9 .