Pages

Calculating the limit of a sum using the Riemann-Zeta function

Remember when I said that the next article would be the psychology article or an inequality article? Well...


Image result for this was all a trick i deceived you

I took the following problem off of Brilliant and I decided to make it a little bit tougher. I have to admit, the idea of using the Riemann-Zeta function didn't come to mind when solving the problem, but I decided to post it nonetheless, because it's rather interesting. As a reminder, the Riemann-Zeta function is defined as \(ζ(s)=\sum_{i=1}^{\infty} i^{-s}\). The Riemann Hypothesis, an open problem in Mathematics, is about a property of this function, namely that all 0-s of this function lie on the line \(Re(x)=\frac{1}{2}\). 

Back to the problem at hand: what is the value of $$\sum_{n∊ℕ}\frac{2^{w(n)}}{n^2}$$ where \(w(n)\) is the number of prime divisors of n.

Solution:

First off, even though an approximation of \(w(n)\) sounds plausible, believe me, it's not. We shall write this sum in a more comprehensible manner. Let us observe that, for a certain number n, the number of ways of writing n as a product of two coprime numbers is equal to \(2^{w(n)}\), so \(\sum_{n∊ℕ}\frac{2^{w(n)}}{n^2}=\sum_{(a,b)=1}\frac{1}{(ab)^2}\). Now, we know that \(\sum_{a,b∊ℕ}\frac{1}{(ab)^2}=(\sum_{a∊ℕ}\frac{1}{a^2})*(\sum_{b∊ℕ}\frac{1}{b^2})=ζ(2)^2\). In order to find this sum for coprime numbers, let us consider \(a=cm,b=cn\), with \(c\) a natural number and \((m,n)=1\). Thus, $$\sum_{a,b∊ℕ}\frac{1}{(ab)^2}=\sum_{m.n,c∊ℕ}\frac{1}{c^4 m^2 n^2}=$$ $$=(\sum_{c∊ℕ} \frac{1}{c^4})(\sum_{(m,n)=1} \frac{1}{(mn^2)})$$

Thus, the required sum is \(\frac{ζ(2)^2}{ζ(4)}=2.5\), which concludes the proof. Of course, there is a generalization to this problem for \(n^m\) rather than \(n^2\), which is solvable through the same method and yields the result \(\frac{ζ(n)^2}{ζ(2n)}\). This was the first time when I actually used the Riemann-Zeta function in a problem, and it gave me a satisfying feeling, even though, as I said, the proof isn't completely mine. Brilliant has a great stash of great problems like this, so you should check them out.

Apologies for the fact that I haven't posted in two weeks, but I am very stressed out due to this whole application process and, since this is my terminal year of high school, I must prepare for the exams at the end of the year. There's also the fact that I am still thinking about how to solve the inequality I wanted to write about, and the fact that writing anything non-mathematical in nature, such as the psychology article, is a bit tough and requires some background checks... so I suppose that you should expect something completely random in the next article. 

Cris.

No comments:

Post a Comment