Science Talk
Science Talk
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Forums
Science Forums
Biology
Math
Astronomy
Physics
Technology
Chemistry
Social Sciences
History
Psychology
Philosophy
Sociology
Linguistics
Religious Studies
Economics
Man Woman Ethno
Ask an Expert
World Records
Society Issues
Education
People
Alternative Science
Mobius inversion and zeta function

 
Post new topic   Reply to topic    Science Talk Forum Index -> Mathematics
View previous topic :: View next topic  
Author Message
Freakazoid
Guest





PostPosted: Fri Jul 04, 2008 8:26 pm    Post subject: Mobius inversion and zeta function Reply with quote

Hi,
I was examining the passage where Riemann did the inversion
from J(x) to pi(x) to obtain the prime counting function.
Well, I really can't understand this. The Mobius inversion formula and
the situation he had to face with are quite different.
In fact, the theorem says that

G(x) = sum{ F(x/n), n < x}
F(x) = sum{ mu(n)G(x/n) n < x}

but the relation between J(x) and pi(x) is

J(x) = sum{ pi(x^(1/n)) * (1/n), n < x}
pi(x) = sum{ mu(n)/n * J(x^(1/n)), n < x}

and we can say n<x because we need just the terms that are different
to 0.

Now we've got different arguments for G(x): in fact the n is at the
exponent. I was thinking why the mobius formula should be still valid.

Thanks
Back to top
  Ads
Advertising
Sponsor


Mariano Suárez-Alvarez
Guest





PostPosted: Fri Jul 04, 2008 8:42 pm    Post subject: Re: Mobius inversion and zeta function Reply with quote

Freakazoid wrote:
Quote:
Hi,
I was examining the passage where Riemann did the inversion
from J(x) to pi(x) to obtain the prime counting function.
Well, I really can't understand this. The Mobius inversion formula and
the situation he had to face with are quite different.
In fact, the theorem says that

G(x) = sum{ F(x/n), n < x}
F(x) = sum{ mu(n)G(x/n) n < x}

The inversion formulas involve not sums for "n < x"
but sums for "n dividing x".

-- m
Back to top
  Ads
Advertising
Sponsor


Freakazoid
Guest





PostPosted: Fri Jul 04, 2008 9:20 pm    Post subject: Re: Mobius inversion and zeta function Reply with quote

On 4 Lug, 20:42, Mariano Suárez-Alvarez
<mariano.suarezalva...@gmail.com> wrote:
Quote:
Freakazoid wrote:
Hi,
       I was examining the passage where Riemann did the inversion
from J(x) to pi(x) to obtain the prime counting function.
Well, I really can't understand this. The Mobius inversion formula and
the situation he had to face with are quite different.
In fact, the theorem says that

           G(x) = sum{ F(x/n), n < x}
           F(x) = sum{ mu(n)G(x/n) n < x}

The inversion formulas involve not sums for "n < x"
but sums for "n dividing x".

-- m

Yes, I know that, but the Riemann sum is over all n, so I thought that
he used the generalized mobius inversion formula.
Back to top
  Ads
Advertising
Sponsor


galathaea
Guest





PostPosted: Sat Jul 05, 2008 3:35 am    Post subject: Re: Mobius inversion and zeta function Reply with quote

On Jul 4, 1:26 pm, Freakazoid <douglas.dex...@gmail.com> wrote:
Quote:
Hi,
I was examining the passage where Riemann did the inversion
from J(x) to pi(x) to obtain the prime counting function.
Well, I really can't understand this. The Mobius inversion formula and
the situation he had to face with are quite different.
In fact, the theorem says that

G(x) = sum{ F(x/n), n < x}
F(x) = sum{ mu(n)G(x/n) n < x}

but the relation between J(x) and pi(x) is

J(x) = sum{ pi(x^(1/n)) * (1/n), n < x}
pi(x) = sum{ mu(n)/n * J(x^(1/n)), n < x}

and we can say n<x because we need just the terms that are different
to 0.

Now we've got different arguments for G(x): in fact the n is at the
exponent. I was thinking why the mobius formula should be still valid.

actually the mobius inversion formula
is a general theorem on flows of arithmetical semigroups

mobius' original theorem was on the inversion of power series

there are several really good papers on this
but the one by benito, navas, and varona
"mobius inversion formulas for flows of arithmetic semigroups"
is the best summary i have seen

see http://www.unirioja.es/cu/jvarona/papers.html

i used it
for instance
to prove mobius inversion formulas for generalised polynomial rings

mobius inversion is very general

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar
Back to top
  Ads
Advertising
Sponsor


Narcoleptic Insomniac
Guest





PostPosted: Sat Jul 05, 2008 5:06 am    Post subject: Re: Mobius inversion and zeta function Reply with quote

On Jul 4, 2008 3:26 PM CT, Freakazoid wrote:

Quote:
Hi,
I was examining the passage where Riemann did the
inversion from J(x) to pi(x) to obtain the prime
counting function. Well, I really can't understand
this. The Mobius inversion formula and the situation
he had to face with are quite different. In fact, the
theorem says that

G(x) = sum{ F(x/n), n < x}
F(x) = sum{ mu(n)G(x/n) n < x}

but the relation between J(x) and pi(x) is

J(x) = sum{ pi(x^(1/n)) * (1/n), n < x}
pi(x) = sum{ mu(n)/n * J(x^(1/n)), n < x}

and we can say n<x because we need just the terms
that are different to 0.

Now we've got different arguments for G(x): in fact
the n is at the exponent. I was thinking why the
mobius formula should be still valid.

Thanks

H. M. Edwards wrote an excellent text on the subject
called "Riemann's Zeta Function." The first chapter is
an analysis of Riemann's famous paper (of which a
translation is provided in the appendix); here is what
Edwards has to say on the matter in section 1.17 on
page 33-4:

---------------------------------------------------------

1.17 THE FORMULA FOR pi(x)

Of course Riemann's goal was to obtain a formula not for
J(x) but for the function pi(x), that is, for the number
of primes less than any given magitude x. Since the
number of prime squares less than x is obviously equal to
the number of primes less than x^(1/2), that is, equal to
pi(x^(1/2)), and since in the same way the number of
prime n'th powers p^n less than x is pi(x^(1/n)), it
follows that J and pi are related by the formula

(1) J(x) = pi(x) + 1/2 pi(x^(1/2)) + 1/3 pi(x^(1/3))
+ ... + 1/n pi(x^(1/n)) + ... .

The series in this formula is finite for any given x
because x^(1/n) < 2 for n sufficiently large, which
implies pi(x^(1/n)) = 0. Riemann inverts this
relationship by means of the Mobius inversion formula**
(see Section 10.9) to obtain

(2) pi(x) = J(x) - 1/2 J(x^(1/2)) - 1/3 J(x^(1/3))
- 1/5 J(x^(1/5)) + 1/6 J(x^(1/6))
+ ... + mu(n)/n J(x^(1/n)) + ... ,

where mu(n) is 0 if n is divisible by a prime square, 1
if n is a product of an even number of distinct primes,
and -1 if n is a product of an odd number of distinct
primes.

** Very simply this inversion is effected by performing
successively for each prime p = 2, 3, 5, 7, 11, ... the
operation of replacing the functions f(x) on each side of
the equation with the functions f(x) - (1/p) f(x^(1/p)).
This gives successively

J(x) - 1/2 J(x^(1/2)) = pi(x) + 1/3 pi(x^(1/3))
+ 1/5 pi(x^(1/5)) + ... ,

J(x) - 1/2 J(x^(1/2)) - 1/3 J(x^(1/3)) + 1/6 J(x^(1/6)) =
pi(x) + 1/5 pi(x^(1/5)) + 1/7 pi(x^(1/7)) + ... ,

etc., where at each step the sum on the left consists of
those terms of the right side of (2) for which the factor
n contains *only* the primes already covered and the sum
on the right consists of those terms on the right side of
(1) for which the factors of n contain *none* of the
primes already covered. Once p is sufficently large, the
latter are all zero except for pi(x).

---------------------------------------------------------

Hopefully Edward's explanation helps you see how the
inversion actually works ^_^

In any case, if you are interested in Riemann's famous
manuscript, the zeta function, and the Prime Number
Theorem, then I strongly suggest picking up a copy of
Edward's text.

http://www.amazon.com/Riemanns-Zeta-Function-Harold-Edwards/dp/0486417409/ref=sr_1_2?ie=UTF8&s=books&qid=1215234144&sr=8-2

Regards,
Kyle Czarnecki
Back to top
  Ads
Advertising
Sponsor


Freakazoid
Guest





PostPosted: Sat Jul 05, 2008 8:53 am    Post subject: Re: Mobius inversion and zeta function Reply with quote

On 5 Lug, 05:06, Narcoleptic Insomniac
<i_have_narcoleptic_insom...@yahoo.com> wrote:
Quote:
On Jul 4, 2008 3:26 PM CT, Freakazoid wrote:



Hi,
I was examining the passage where Riemann did the
inversion from J(x) to pi(x) to obtain the prime
counting function. Well, I really can't understand
this. The Mobius inversion formula and the situation
he had to face with are quite different. In fact, the
theorem says that

           G(x) = sum{ F(x/n), n < x}
           F(x) = sum{ mu(n)G(x/n) n < x}

but the relation between J(x) and pi(x) is

           J(x) = sum{ pi(x^(1/n)) * (1/n), n < x}
           pi(x) = sum{ mu(n)/n * J(x^(1/n)), n < x}

and we can say n<x because we need just the terms
that are different to 0.

Now we've got different arguments for G(x): in fact
the n is at the exponent. I was thinking why the
mobius formula should be still valid.

Thanks

H. M. Edwards wrote an excellent text on the subject
called "Riemann's Zeta Function."  The first chapter is
an analysis of Riemann's famous paper (of which a
translation is provided in the appendix); here is what
Edwards has to say on the matter in section 1.17 on
page 33-4:

---------------------------------------------------------

1.17  THE FORMULA FOR pi(x)

Of course Riemann's goal was to obtain a formula not for
J(x) but for the function pi(x), that is, for the number
of primes less than any given magitude x.  Since the
number of prime squares less than x is obviously equal to
the number of primes less than x^(1/2), that is, equal to
pi(x^(1/2)), and since in the same way the number of
prime n'th powers p^n less than x is pi(x^(1/n)), it
follows that J and pi are related by the formula

(1) J(x) = pi(x) + 1/2 pi(x^(1/2)) + 1/3 pi(x^(1/3))  
                 + ... + 1/n pi(x^(1/n)) + ... .

The series in this formula is finite for any given x
because x^(1/n) < 2 for n sufficiently large, which
implies pi(x^(1/n)) = 0.  Riemann inverts this
relationship by means of the Mobius inversion formula**
(see Section 10.9) to obtain

(2) pi(x) = J(x) - 1/2 J(x^(1/2)) - 1/3 J(x^(1/3))
                 - 1/5 J(x^(1/5)) + 1/6 J(x^(1/6))
                 + ... + mu(n)/n J(x^(1/n)) + ... ,

where mu(n) is 0 if n is divisible by a prime square, 1
if n is a product of an even number of distinct primes,
and -1 if n is a product of an odd number of distinct
primes.

** Very simply this inversion is effected by performing
successively for each prime p = 2, 3, 5, 7, 11, ... the
operation of replacing the functions f(x) on each side of
the equation with the functions f(x) - (1/p) f(x^(1/p)).
This gives successively

J(x) - 1/2 J(x^(1/2)) = pi(x) + 1/3 pi(x^(1/3))
                              + 1/5 pi(x^(1/5)) + ... ,

J(x) - 1/2 J(x^(1/2)) - 1/3 J(x^(1/3)) + 1/6 J(x^(1/6)) > pi(x) +  1/5 pi(x^(1/5)) + 1/7 pi(x^(1/7)) + ... ,

etc., where at each step the sum on the left consists of
those terms of the right side of (2) for which the factor
n contains *only* the primes already covered and the sum
on the right consists of those terms on the right side of
(1) for which the factors of n contain *none* of the
primes already covered.  Once p is sufficently large, the
latter are all zero except for pi(x).

---------------------------------------------------------

Hopefully Edward's explanation helps you see how the
inversion actually works ^_^

In any case, if you are interested in Riemann's famous
manuscript, the zeta function, and the Prime Number
Theorem, then I strongly suggest picking up a copy of
Edward's text.

http://www.amazon.com/Riemanns-Zeta-Function-Harold-Edwards/dp/048641...

Regards,
Kyle Czarnecki

Oh, that's an excellent one. I already had a look at Edward's, but I
was asking to myself if the proof in the note at the bottom of the
page was mathematically valid or if it was an easy explanation of the
transform process.
As far as I can see from the text that galathaea pointed to me, the
inversion formula is valid because of some other forms.

Thanks to everyone.
Back to top
  Ads
Advertising
Sponsor


Mariano Suárez-Alvarez
Guest





PostPosted: Mon Jul 07, 2008 2:23 am    Post subject: Re: Mobius inversion and zeta function Reply with quote

On Jul 5, 8:50 pm, Timothy Murphy <gayle...@eircom.net> wrote:
Quote:
Mariano Suárez-Alvarez wrote:
I think the most natural generalisation of Mobius inversion
is to distributive lattices
(as described eg in the book on Lattices by Birkhoff senior).

The set of positive integers, ordered by division,
forms a distributive lattice,
as do the subsets of a set.

Distributivity of the poset is quite irrelevant.

Yes, I'm not sure why I thought distributivity was relevant.
IIRC, Birkhoff in his classic book on lattice theory
defines the Mobius function in the section on distributive lattices.

But it several decades since I read that book
and my recollection may well be defective.

Maybe the Mobius function is particularly simple in that case?

The distributive case is probably the most interesting one
from the point of view of combinatorics. The book by Stanley
[Enumerative Combinatorics] has lots of information on the subject
of Moebius inversion, specially in the distrbutive case,
and lots of connections to nice examples of enumeration.

-- m
Back to top
  Ads
Advertising
Sponsor


Display posts from previous:   
Post new topic   Reply to topic    Science Talk Forum Index -> Mathematics All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum

Australian Debt Consolidation Experts
medical insurance
Wedding Invitation
Escorts Incalll and Outcall in Modena, Bologna, Parma, Ferrara, Forli' ...
UK Swingers Genuine Contacts Site
phpBB styles
personal secured loans
Make Your Own Website
Cheap Phone Calls
Cleaning Service
toxic mold
UK Swingers Genuine Contacts Site
Porn Links
medical office supplies
Webcams
Vacuum Bags


Board Security

172 Attacks blocked

Powered by phpBB © 2001, 2005 phpBB Group