Riemann Zeta Function showing converges uniformly for s>1

Click For Summary
SUMMARY

The discussion focuses on proving the uniform convergence of the series g(s) = ∑ (1/n^(-s)) for Re(s) > 1 using the Weierstrass M-test. Participants confirm that an appropriate choice for M_n is M_n = 1/n, ensuring the series converges. The challenge arises in incorporating the imaginary part of s, particularly when s = 1 + iy, where participants clarify that |1/n^s| must be correctly expressed to analyze convergence. The conversation emphasizes the importance of accurately applying logarithmic identities in complex analysis.

PREREQUISITES
  • Understanding of complex analysis, specifically the behavior of complex functions.
  • Familiarity with the Weierstrass M-test for uniform convergence.
  • Knowledge of series convergence criteria in mathematical analysis.
  • Proficiency in manipulating exponential and logarithmic functions in complex variables.
NEXT STEPS
  • Study the Weierstrass M-test in detail to understand its applications in uniform convergence.
  • Learn about the properties of the Riemann Zeta Function and its convergence criteria.
  • Explore complex logarithms and their role in analyzing complex series.
  • Investigate the implications of uniform convergence in the context of functional analysis.
USEFUL FOR

Mathematics students, particularly those studying complex analysis and series convergence, as well as educators looking to deepen their understanding of the Riemann Zeta Function and its properties.

binbagsss
Messages
1,291
Reaction score
12

Homework Statement



## g(s) = \sum\limits^{\infty}_{n=1} 1/n^{-s}, ##

Show that ##g(s)## converges uniformly for ## Re(s>1) ##

Homework Equations



Okay, so I think the right thing to look at is the Weistrass M test. This tells me that if I can find a ##M_{n}##, a real number, such that for each ##n## , ## | f_{n} | \leq M_{n} ##, and ## \sum\limits^{\infty}_{n=1} M_{n} ## converges, then ## \sum\limits^{\infty}_{n=1} f_{n}(s) ## converges, where ##f_{n}(s)= 1/n^{-s}## here.

The Attempt at a Solution



Okay, so if I consider the real part of ##s## only, it's pretty obvious that such a ##M_{n}## can be found for ##s>1##, i.e. ##M_{n} = 1/n ##.

However I'm pretty stuck on how to incorporate ##Im(s)## into this, which has no bounds specified right?

So say I assume ##Re (s) =1##, and we know that the series is then less than :

##\frac{1}{1^{1+iy}} + \frac{1}{2^{1+iy}} + \frac{1}{1^{3+iy}} + ... ##
= ##\frac{1}{1 . iy} + \frac{1}{2 . iy} + \frac{1}{3 . iy} +... ##

where ##s = 1 + iy ##,

but surely as ##Im(s) -> 0##, the imaginary part of each term in the series blows up, so I'm having a hard time understanding how it is bounded within any contraints on ##Im(s)## and only ##Re(s)##.

Many thanks in advance.
 
Physics news on Phys.org
First of all, I think you mean [itex]\frac{1}{n^{+s}}[/itex] not [itex]\frac{1}{n^{-s}}[/itex].

Second, you've got the right idea, that if you can find some [itex]M_n[/itex] such that [itex]|\frac{1}{n^s}| \leq M_n[/itex], and [itex]\sum_n M_n[/itex] converges, then [itex]\sum_n \frac{1}{n^s}[/itex] converges. The easiest choice is to just let [itex]M_n = |\frac{1}{n^s}|[/itex]

Third, you need to figure out what [itex]|\frac{1}{n^s}|[/itex] is. What you wrote is wrong: [itex]2^{1+i} \neq 2 \cdot i[/itex]. Try this: Write [itex]n = e^{log(n)}[/itex], where [itex]log[/itex] means the natural log. And then write [itex]s = Re(s) + i Im(s)[/itex].
 

Similar threads

Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K