Can we do that?

Calculus Level 5

If n = 1 ( 1 ) n n 0.5 = k × ζ ( 0.5 ) \displaystyle\sum_{n=1}^{\infty}\frac{(-1)^n}{n^{0.5}}=k\times \zeta(0.5) , find log 2 ( k + 1 ) \log_2(k+1) .

Notation : ζ ( ) \zeta(\cdot) denote the Riemann zeta function .


Similar looking problem .


The answer is 0.5.

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.

3 solutions

Chew-Seong Cheong
Jan 13, 2016

We note that:

n = 1 ( 1 ) n n s + n = 1 1 n s = 2 ( 1 2 s + 1 4 s + 1 6 s + . . . ) = 2 n = 1 1 ( 2 n ) s = 2 1 s n = 1 1 n s n = 1 ( 1 ) n n s = 2 1 s n = 1 1 n s n = 1 1 n s = ( 2 1 s 1 ) n = 1 1 n s \begin{aligned} \sum_{n=1}^\infty \frac{(-1)^n}{n^s} + \sum_{n=1}^\infty \frac{1}{n^s} & = 2 \left(\frac{1}{2^s} + \frac{1}{4^s} + \frac{1}{6^s} + ... \right) = 2 \sum_{n=1}^\infty \frac{1}{(2n)^s} = 2^{1-s} \sum_{n=1}^\infty \frac{1}{n^s} \\ \Rightarrow \sum_{n=1}^\infty \frac{(-1)^n}{n^s} & = 2^{1-s} \sum_{n=1}^\infty \frac{1}{n^s} - \sum_{n=1}^\infty \frac{1}{n^s} \\ & = \left(2^{1-s} - 1 \right) \color{#3D99F6}{\sum_{n=1}^\infty \frac{1}{n^s}} \end{aligned}

We can rewrite n = 1 1 n s = 1 1 s n = 1 ( n ( n + 1 ) s n s n s ) \begin{aligned} \color{#3D99F6}{\sum_{n=1}^\infty \frac{1}{n^s}} & = \frac{1}{1-s} \sum_{n=1}^\infty \left(\frac{n}{(n+1)^s} - \frac{n-s}{n^s} \right) \end{aligned} which converges for ( s ) > 0 \Re (s) > 0 and it is found that ζ ( 1 2 ) 1.4603545 \zeta \left(\frac{1}{2} \right) \approx -1.4603545 .

n = 1 ( 1 ) n n s = ( 2 1 s 1 ) ζ ( 1 2 ) \displaystyle \Rightarrow \sum_{n=1}^\infty \frac{(-1)^n}{n^s} = \left(2^{1-s} - 1 \right) \zeta \left(\frac{1}{2} \right)

log 2 ( k + 1 ) = log 2 2 = 0.5 \Rightarrow \log_2 (k+1) = \log_2 \sqrt{2} = \boxed{0.5}

Well, Comrade, "can we do that"? The problem is that your first three lines do not apply to s = 1 2 s=\frac{1}{2} since n = 1 1 n 1 / 2 \sum_{n=1}^{\infty}\frac{1}{n^{1/2}} diverges.

Otto Bretscher - 5 years, 5 months ago

Log in to reply

Oh, I should have figured out that it wouldn't be so easy.

Chew-Seong Cheong - 5 years, 5 months ago

Who's Comrade?

Aditya Kumar - 5 years, 5 months ago

Log in to reply

I am a comrade of Professor Bretscher, and he is mine.

Chew-Seong Cheong - 5 years, 5 months ago

Log in to reply

@Chew-Seong Cheong Ooh. Wow! Nice.

Aditya Kumar - 5 years, 5 months ago

Does it have to do with analytic continuation? (Something I have no idea in)

Julian Poon - 5 years, 5 months ago

Log in to reply

Yes, exactly, ζ ( s ) \zeta(s) is defined by analytic continuation when ( s ) 1 \Re(s)\leq 1 . Maybe this problem is a bit too theoretical; I just felt like bringing up the issue.

I have a nice anecdote on the subject: Back in the 80s, I tried to rent a flat in Cambridge, MA, from an Indian landlord, a physicist. He did not ask for any references or credentials, but, having learned of my subject of study, he just asked: "Tell me, Otto, what is an analytic continuation?" I answered as best I could, and he replied: "Well, I can tell that you are not an analyst (indeed, I'm an algebraist by training), but the answer is good enough so that I can give you the apartment." I ended up happily staying there for many years.

Otto Bretscher - 5 years, 5 months ago

I'm a bit busy tonight but I noticed an interesting question you asked about 2 Ω ( n ) n 2 \sum\frac{2^{\Omega(n)}}{n^2} ... I believe that one can be expressed in terms of the Feller Tornier Constant

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher I was hoping to be able to find a closed form for the prime product though.

Julian Poon - 5 years, 5 months ago

Log in to reply

@Julian Poon The fact that they introduced a constant for it seems to indicate that there is no other closed form... I'm posting my solution now.

Otto Bretscher - 5 years, 5 months ago

I have rewritten the solution. Is it okay?

Chew-Seong Cheong - 5 years, 5 months ago

Log in to reply

I don't get it, Comrade: Everything you do on the first five lines holds for ( s ) > 1 \Re(s)>1 only, so, what is the work in the last two lines based on?

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher It appears that if we define ζ ( s ) = 1 1 s n = 1 ( n ( n + 1 ) s n s n s ) \zeta (s) = \displaystyle \frac{1}{1-s} \sum_{n=1}^\infty \left(\frac{n}{(n+1)^s} - \frac{n-s}{n^s} \right) , the convergent is extended to [ s ] > 0 \Re[s] > 0 , but I think not for [ s ] = 1 \Re[s] = 1 . See under Representations . Checked with Wolfram Alpha the infinite sum converges by comparison test for s = 0.5 s=0.5 , but it did not give the value of ζ ( 0.5 ) \zeta (0.5) .

Chew-Seong Cheong - 5 years, 5 months ago

Log in to reply

@Chew-Seong Cheong Yes, this is a promising approach, Comrade!

I will be traveling until the end of the month, in Switzerland and Spain, and I will be on Brilliant only rarely and briefly. I'll be back.

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher Comrade, have a safe journey and enjoy yourself.

Chew-Seong Cheong - 5 years, 5 months ago

Log in to reply

@Chew-Seong Cheong Thanks Comrade. I'm looking forward to seeing the tiles of the Alhambra... it will be a feast for the eyes of a mathematician! Viva la Revolución!

Otto Bretscher - 5 years, 5 months ago

Sir can you post your solution?

Aditya Kumar - 5 years, 4 months ago

Log in to reply

@Otto Bretscher sir I guess you didn't read the notification. Can you post your solution? I'm eager to know what's the correct method.

Aditya Kumar - 5 years, 4 months ago

I will try to get to it this coming weekend. The solution will be a bit longer than my usual 1, 2, or 3 line solutions...

Otto Bretscher - 5 years, 4 months ago

Log in to reply

@Otto Bretscher Ooh no problem sir :)

Aditya Kumar - 5 years, 4 months ago

There's a typo in the last line. It should've been k+1 instead of k-1. Nice solution!

Aditya Kumar - 5 years, 5 months ago

Log in to reply

Aditya, but the solution doesn't work. The sum n = 1 1 n s \displaystyle \sum_{n=1}^\infty \frac{1}{n^s} diverges for s 1 s \le 1 .

Chew-Seong Cheong - 5 years, 5 months ago

Log in to reply

Yes sir it diverges. But see it is not used alone. Here we are allowed to use the terms of diverging sums. Eg. take the case of improper integrals. The terms mostly diverge if they are taken individually. But when they are combined they converge. Similarly, we can do the same here. I feel your solution is right.

Aditya Kumar - 5 years, 5 months ago

Sir don't you think simple algebraic manipulation of rearranging terms.

Department 8 - 5 years, 5 months ago

Log in to reply

That is what he actually did. What you did is essentially the same. However, your working isn't justified because the sum diverges.

Julian Poon - 5 years, 5 months ago
Department 8
Jan 15, 2016

I don't know Cher-Seong Cheong sir did so here is my solution

First Note that

ζ ( x ) = n = 1 1 n x \zeta \left( x \right) =\sum _{ n=1 }^{ \infty }{ \frac { 1 }{ { n }^{ x } } }

I would manipulate these terms by rearranging them ). We have

( 1 1 + 1 2 1 3 + . . . ) = ( 1 2 + 1 4 + 1 6 + . . . ) ( 1 1 + 1 3 + 1 5 + . . . ) = ( 1 1 + 1 2 + 1 3 + . . . ) 2 ( 1 1 + 1 3 + 1 5 + . . . ) = ζ ( 0.5 ) 2 ( 1 1 + 1 2 + 1 3 + . . . ) + 2 ( 1 2 + 1 4 + 1 6 + . . . ) = ζ ( 0.5 ) 2 ζ ( 0.5 ) + 2 2 ( 1 1 + 1 2 + 1 3 + . . . ) = ( 2 1 ) ζ ( 0.5 ) \left( \frac { -1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 2 } } -\frac { 1 }{ \sqrt { 3 } } +... \right) \\ =\left( \frac { 1 }{ \sqrt { 2 } } +\frac { 1 }{ \sqrt { 4 } } +\frac { 1 }{ \sqrt { 6 } } +... \right) -\left( \frac { 1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 3 } } +\frac { 1 }{ \sqrt { 5 } } +... \right) \\ =\left( \frac { 1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 2 } } +\frac { 1 }{ \sqrt { 3 } } +... \right) -2\left( \frac { 1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 3 } } +\frac { 1 }{ \sqrt { 5 } } +... \right) \\ =\zeta \left( 0.5 \right) -2\left( \frac { 1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 2 } } +\frac { 1 }{ \sqrt { 3 } } +... \right) +2\left( \frac { 1 }{ \sqrt { 2 } } +\frac { 1 }{ \sqrt { 4 } } +\frac { 1 }{ \sqrt { 6 } } +... \right) \\ =\zeta \left( 0.5 \right) -2\zeta \left( 0.5 \right) +\frac { 2 }{ \sqrt { 2 } } \left( \frac { 1 }{ \sqrt { 1 } } +\frac { 1 }{ \sqrt { 2 } } +\frac { 1 }{ \sqrt { 3 } } +... \right) \\ =\left( \sqrt { 2 } -1 \right) \zeta \left( 0.5 \right)

Hence k = ( 2 ) 1 k=\sqrt(2)-1

This implies log 2 ( 2 1 + 1 ) = log 2 2 = 0.5 \log _{ 2 }{ \left( \sqrt { 2 } -1+1 \right) } =\log _{ 2 }{ \sqrt { 2 } } =0.5

Again, I'm sorry to report that this is not a solution. Along the way you are dealing with \infty - \infty and then you are using the flawed equation ζ ( 0.5 ) = k = 1 1 n \zeta(0.5)=\sum_{k=1}^{\infty}\frac{1}{\sqrt{n}} .

When you write \infty - \infty , you can "prove" anything you want.

Otto Bretscher - 5 years, 5 months ago

Log in to reply

Sir actually I know the sum diverges but what I think in solution is that ζ ( 0.5 ) \zeta (0.5) is just a notation. and i just manipulated it. Sir about the Hardy's book, the starting chapters are something I know did you read all of the chapters?

Department 8 - 5 years, 5 months ago

Log in to reply

Re Hardy's book: The calculus starts in Chapter 4. Skip whatever you know already!

I do not agree that ζ ( 0.5 ) \zeta(0.5) is "just a notation". It is a real number, but it is not given by k = 1 1 k \sum_{k=1}^{\infty}\frac{1}{\sqrt{k}}

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher Can you please explain me about ζ ( 0.5 ) \zeta (0.5) why don't you join slack we can talk further there.

Department 8 - 5 years, 5 months ago

Log in to reply

@Department 8 I will be traveling until the end of the month, in Switzerland and Spain, and I will be on Brilliant only rarely and briefly. I'll be back.

ζ ( 0.5 ) \zeta(0.5) is defined by analytic continuation

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher Sir can you suggest me a good book where I can practice pre-calculus summations, like trigonometric summations, complex roots summations, etc? I am not so good at them.

Aditya Kumar - 5 years, 5 months ago

Log in to reply

@Aditya Kumar Sorry, I can't think of anything in English on these specific topics... can anybody help?

Otto Bretscher - 5 years, 5 months ago

Log in to reply

@Otto Bretscher Ooh no problem sir!

Aditya Kumar - 5 years, 5 months ago

@Otto Bretscher @Lakshya Sinha , in simple terms, what Comrade Otto means to say that ζ ( s ) = j = 1 1 j s \zeta(s) = \displaystyle\sum_{j=1}^\infty \frac1{j^s} is only true for s > 1 s > 1 .

Pi Han Goh - 5 years, 5 months ago
Otto Bretscher
Feb 5, 2016

My solution will look similar to that of Comrade @Chew-Seong Cheong , but we need to think carefully about the domains of all the functions involved.

Consider the Dirichlet Eta Function η ( s ) = n = 1 ( 1 ) n 1 n s \eta(s)=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^s} , defined when ( s ) > 0 \Re(s)>0 . As Comrade Cheong observes, we have the equation η ( s ) = ( 1 2 1 s ) ζ ( s ) \eta(s)=(1-2^{1-s})\zeta(s) when ( s ) > 1 \Re(s)>1 . Thus ζ ( s ) = ( 1 2 1 s ) 1 η ( s ) \zeta(s)=(1-2^{1-s})^{-1}\eta(s) is the analytic continuation of ζ ( s ) \zeta(s) when ( s ) > 0 \Re(s)>0 and 2 1 s 1 2^{1-s}\neq 1 . It follows that k = 2 1 s 1 = 2 0.5 1 k=2^{1-s}-1=2^{0.5}-1 , and the answer is log 2 ( k + 1 ) = 0.5 \log_2(k+1)=\boxed{0.5} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...