Omega

n = 1 2 ω ( n ) n 2 \large \sum_{n=1}^\infty \frac{2^{\omega(n)}}{n^2}

Let ω ( n ) \omega(n) denote the number of distinct prime divisors of n n .

If the series above can be expressed as a b \frac{a}{b} , where a a and b b are coprime positive integers, find a + b a+b .


The answer is 7.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Isaac Buckley
Jan 3, 2016

Firstly we notice ω ( n ) \omega(n) is an additive function. It's easy enough to prove so I'll leave it as an exercise.

Since it is additive it implies 2 ω ( n ) 2^{\omega(n)} is a multiplicative function.

Let's make it general by considering:

f ( s ) = n = 1 2 ω ( n ) n s = p [ 1 + 2 ω ( p ) p s + 2 ω ( p 2 ) p 2 s + . . . ] f(s)=\sum\limits_{n=1}^{\infty} \frac{2^{\omega(n)}}{n^s}= \prod_{p}\left[ 1+\frac{2^{\omega(p)}}{p^s}+\frac{2^{\omega(p^2)}}{p^{2s}}+...\right]

Since ω ( p k ) \omega(p^k) =1 we can simplify our expression by a geometric series to:

f ( s ) = p [ 2 1 1 p s 1 ] = p 1 + 1 p s 1 1 p s = p 1 1 p 2 s ( 1 1 p s ) 2 = ζ ( s ) 2 ζ ( 2 s ) f(s)=\prod_{p} \left[\frac{2}{1-\frac{1}{p^s}}-1\right]=\prod_{p} \frac{1+\frac{1}{p^s}}{1-\frac{1}{p^s}}=\prod_{p} \frac{1-\frac{1}{p^{2s}}}{\left(1-\frac{1}{p^s}\right)^2}=\frac{\zeta(s)^2}{\zeta(2s)}

So in our case for s = 2 s=2 we have f ( 2 ) = ζ ( 2 ) 2 ζ ( 4 ) = ( π 2 6 ) 2 π 4 90 = 5 2 \large f(2)=\frac{\zeta(2)^2}{\zeta(4)}=\frac{\left(\frac{\pi^2}{6}\right)^2}{\frac{\pi^4}{90}}=\frac{5}{2} .

exact same way(+1)

Aareyan Manzoor - 5 years, 5 months ago

range of p under the product sign ?

Ramez Hindi - 4 years, 7 months ago

Log in to reply

It's the product over all primes.

Isaac Buckley - 4 years, 7 months ago
Jake Lai
Jan 9, 2016

Use the observation that ( μ 1 ) ( n ) = 2 ω ( n ) (|\mu| * 1)(n) = 2^{\omega(n)} , the respective Dirichlet series for μ |\mu| and 1 1 ( ζ ( s ) ζ ( 2 s ) \dfrac{\zeta(s)}{\zeta(2s)} and ζ ( s ) \zeta(s) respectively), and finally that [ m = 1 f ( m ) m s ] [ n = 1 g ( n ) n s ] = n = 1 ( f g ) ( n ) n s \displaystyle \left[ \sum_{m=1}^\infty \frac{f(m)}{m^s} \right] \left[ \sum_{n=1}^\infty \frac{g(n)}{n^s} \right] = \sum_{n=1}^\infty \frac{(f*g)(n)}{n^s} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...