My Math Forum  

Go Back   My Math Forum > College Math Forum > Number Theory

Number Theory Number Theory Math Forum


Reply
 
LinkBack Thread Tools Display Modes
April 5th, 2012, 10:48 PM   #1
Senior Member
 
Joined: Nov 2011

Posts: 595
Thanks: 16

Question on the Dirichlet eta function

OK, I am not sure if I should post this in number theory, but since it is related to Zeta...
So the Dirichlet eta function is . Now it is known it is convergent for Re(s)>0. My questions:
1) I always assumed that was true. Today I tried to derive why it is convergent, but I could not (actually I can of course if s is real using alternate series criteria, but not if s is complex since it is not monotone anymore...) Does somebody know and could give me a hint please? Like which theorem to use? I think it is related to abel's work, but I could not find a theorem that suites this series
2) Do we know how fast should this series converge? I mean I found computationally what seems to be the formula for the envelope of convergence. Is there a theorem stating how fast it converges?
Thanks!
Dougy is offline  
 
April 5th, 2012, 11:16 PM   #2
Global Moderator
 
CRGreathouse's Avatar
 
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 938

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
Re: Question on the Dirichlet eta function

This is definitely a number theory question.

I'm sick today and not quite thinking straight, so I don't think I'll be of any help on #1.

It converges extremely slowly. Series acceleration is needed for reasonable computations. For |s-1|, |Re s - 1/2|, and |Im s| large I would just use the functional equatin relating it to zeta. (Otherwise you may have trouble with zeta zeros, but either you can compute it with some care through that method or you can revert to another standard technique.)
CRGreathouse is offline  
April 5th, 2012, 11:40 PM   #3
Senior Member
 
Joined: Nov 2011

Posts: 595
Thanks: 16

Re: Question on the Dirichlet eta function

OK, no problem for #1, even in perfect health now, I could not figure it out today anyway! If you have an idea another time...
I don't know how to post a pdf file here, but I found a fitting for the convergence of for instance and I don't agree with what you are saying, it converges not slowly at all (but perhaps if Re(s) is very very small). Actually I found (and it matches so well...) that it converges as with . I am sure there also exists a theorem on this, but again I don't know where to look for, especially I first need to understand why it converges before understanding how it converges...thanks anyways..
Dougy is offline  
April 5th, 2012, 11:59 PM   #4
Global Moderator
 
CRGreathouse's Avatar
 
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 938

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
Re: Question on the Dirichlet eta function

Quote:
Originally Posted by Dougy
it converges not slowly at all (but perhaps if Re(s) is very very small).
I only get 11 digits of precision when I compute the sum with a million terms (about 1 second) at s = 2. That's pretty slow by my standards, and Re(s) is surely not that small. Using 100 million terms only increases the number of correct digits to 15, and that makes the calculation time balloon to 2 minutes.

By comparison, it takes only 15 microseconds to find 1000 digits using the zeta relation.

So either we have very different standards (for "slow" or "small") or else we're talking about different things. The latter is of course always possible, and especially so right now...
CRGreathouse is offline  
April 6th, 2012, 12:11 AM   #5
Senior Member
 
Joined: Nov 2011

Posts: 595
Thanks: 16

Re: Question on the Dirichlet eta function

I think we are taking about the same thing, I wrote above the series until N. But,yeah I was only converging to five digits, but instead of taking about digits, let's put it mathematically... it converges as (at least my computer tell me so, I can not derive this). So for instance for the famous Re(s)=0.5 it converges as , I don't know what are you standard but I don't consider this a small convergence, everything is relative I guess!
Dougy is offline  
April 6th, 2012, 12:38 AM   #6
Global Moderator
 
CRGreathouse's Avatar
 
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 938

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
Re: Question on the Dirichlet eta function

Extrapolating from my results it would take 10^500 terms and over 10^490 years to get a thousand digits. The competing method takes millionths of a second to get the same precision.

If I use your computers' result it's more like 10^240 years, but either way it's infeasible to get precise results through direct calculation through the definition.
CRGreathouse is offline  
April 6th, 2012, 12:51 AM   #7
Senior Member
 
Joined: Nov 2011

Posts: 595
Thanks: 16

Re: Question on the Dirichlet eta function

Actually I found a "pseudo" derivation of this, it's late so I will do fast.We need to calculate . Now let us regroup terms by two (that's where I am not sure if it is allowed, I think yes from Abel'sumation, any order should give the same result..) so we call equals for large n, this becomes so that and of course we conclude that . now computationally, I found that . Now it fits so perfectly, for different s, that I doubt the latter is wrong so perhaps something is missing in what I wrote but I think the glance of the idea is there and at the same time why it converges. Still, I wish to find a formal derivation somewhere but I will content myself with this for now!
Dougy is offline  
April 6th, 2012, 06:27 AM   #8
Global Moderator
 
CRGreathouse's Avatar
 
Joined: Nov 2006
From: UTC -5

Posts: 16,046
Thanks: 938

Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms
Re: Question on the Dirichlet eta function

Quote:
Originally Posted by Dougy
Now let us regroup terms by two (that's where I am not sure if it is allowed, I think yes from Abel'sumation, any order should give the same result..)
Well it's certainly fine when the sum converges absolutely, so if |s| > 1 you're fine. It may work elsewhere as well.
CRGreathouse is offline  
Reply

  My Math Forum > College Math Forum > Number Theory

Tags
dirichlet, eta, function, question



Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
solution of the exterior dirichlet problem berry1991 Calculus 1 March 10th, 2014 09:54 AM
Dirichlet characters MrBibbles Number Theory 4 July 25th, 2013 12:07 PM
Dirichlet implicit and explicit giga.chalauri Calculus 0 April 9th, 2013 03:28 AM
help with dirichlet function sneaky Algebra 0 October 28th, 2010 09:54 AM
Dirichlet problem for a rectangle vams42 Calculus 1 October 22nd, 2010 04:16 AM





Copyright © 2019 My Math Forum. All rights reserved.