Today I have played around with infinite series as well as with the famous Zeta function. And I did a litte proof that the zeta-function converges for \( s\in \mathbb{C}\) and \(Re\left( s \right) > 2\). I am new in this area of mathmatics and therefore I want to check (by contributing it) wether this kind of argumentation is valid.
The Zeta function is definded by:
ζ(s)=1s1+2s1+3s1+⋯=n=1∑∞ns1
Let An=n21 be the n-th term of ζ(2):
ζ(2)=121+221+321+⋯=A1+A2+A3+⋯=∑An=6π2
This convergence was proven by Euler!
Let Bn=nk1 be the n-th term of ζ(k), where k is a real number greater than 2:
ζ(k)=1k1+2k1+3k1+⋯=B1+B2+B3+⋯=∑Bn
For now we don't know wether this converges or not!
We know that Bn>0 for all natural numbers n. Therefore ∑Bn is bounded below at 0 and also non decreasing. For each natural number n and each real number k greater than 2 it is obviously true, that:
nk≥n2
And hence:
nk1Bn≤n21≤An
Therefore ∑Bn is also bounded above at ∑An and because ∑Bn is bounded above, bounded below and is non-decrasing, it must converge.
∴ζ(s) converges for all real numbers s≥2
Now we can start with complex values for s...
Let s=a+i⋅b be a complex value for the Zeta-function and let Cn=na+i⋅b1 be the n-th term of the Zeta-function, where a>2:
ζ(s)=ζ(a+i⋅b)=1a+i⋅b1+2a+i⋅b1+3a+i⋅b1+⋯=C1+C2+C3+⋯=∑Cn
Now there's a little bit algebra:
CnCnCnCn∣Cn∣=na+i⋅b1=na1⋅ni⋅b1=na1⋅ni⋅(−b)=na1⋅ei⋅(−b)⋅ln(n)=∣na∣1
Because n is a natural number we can simplify this a tiny bit:
∣Cn∣=na1
There is a convergency test for complex infinite series, which states:
If ∑An converges absolutely and ∣Cn∣≤∣An∣ for every natural number n then ∑Cn converges as well.
Because ∣An∣=An=n21, ∑An converges absolutely.
∣Cn∣=na1≤n21=∣An∣
This inequality for real numbers a>2 was proven in the first section of this note. Therefore ∑Cn must converge. And finally:
∴ζ(s) converges for all complex numbers s where Re(s)>2.
I know that there is a little gap in the domain of the Zeta-function for which the convergence isn't proven by this note (all complex number s where Re(s)∈(1∣2]), but this note is just a result of a boring afternoon. I'm wondered wether you can prove this gap with the same kind of argumentation or wether you will need a new base for the complete proof. (I even don't know wether this proof is valid, that's the main reason why I contribute this note)
#Calculus
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
There are no comments in this discussion.