Monday, 30 January 2017

sequences and series - Proof of convergence of Dirichlet's Eta Function

I'd like to check directly the convergence of Dirichlet's Eta Function, also known as the Alternating Zeta Function or even Alternating Euler's Zeta Function:



n=11ns,s=σ+it,σ,tR,σ>0.




Now, there seems to be a complete ausence of any direct proof of this in the web (at least I didn't find it) that doesn't use the theory of general Dirichlet Series and things like that.



I was thinking of the following direct, more elementary approach:



nit=eitlogn:=cos(tlogn)+isin(tlogn)



and then we can write



1ns=1nσnit=cos(tlogn)isin(tlogn)nσ




and since a complex sequence converges iff its real and imaginary parts converge, we're left with the real series



n=1cos(tlogn)nσ,n=1sin(tlogn)nσ



Now, I think it is enough to prove only one of the above two series' convergence, since for example sin(tlogn)=cos(π2tlogn)



...and here I am stuck. It seems obvious both series are alternating but not necessarily
elementwise.



For example, if t=1 , then coslogn>0,forn=1,2,3,4 , and then coslogn<0,forn=5,6,,23 . This behaviour confuses me, and any help will be much appreciated.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...