Talk:Divisor function

From Wikipedia, the free encyclopedia

Hmmm - the divisor function that springs to mind is the function d(n) = number of divisors of n (which is σ₀). Needs a check here on terminology, and an inclusive page.

Charles Matthews 12:38, 24 Feb 2004 (UTC)

That's just σ₀(n), isn't it? Dysprosia 12:40, 24 Feb 2004 (UTC)

Yes - you beat me to it posting ... occurs in the Dirichlet divisor problem, so may sometimes be called Dirichlet divisor function.

Charles Matthews 12:44, 24 Feb 2004 (UTC)

Contents 1 Minor error 2 equation 3 A new article? 4 Mathworld 5 Inequalities 6 Technicality 7 Lead section 8 Removal by WAREL 9 Inequalities 10 Bounds 11 Picture mistake

[edit] Minor error

After the sentence, "The consequence of this is that, if we write..." the formula should show the uppercase pi not the summation symbol.

you're right, i'll correct it immediatly Xmlizer 08:05, 6 Jul 2004 (UTC)

[edit] equation

On my screen, the first equation looks like what I expect from < math >. The second equation also uses < math >, but it looks like the non-math text. Why is that (I don't see any reason). Bubba73 4 July 2005 00:38 (UTC)

Someone fixed it. 167.193.40.62 5 July 2005 17:15 (UTC)

On my screen, the second summation is different. It is a different font, larger and bold. The summation symbol doesn't have the serifs (sans serif font.) Bubba73 5 July 2005 19:05 (UTC) PS That is, it is like the regular text instead of the LaTeX. Bubba73 5 July 2005 22:27 (UTC)

Look at your wikipedia preferences setting; it changes how math renders for your browser. linas 5 July 2005 22:39 (UTC)

Thanks, that did it! (I didn't know about that.) It was set to "HTML if very simple...". I changed it to always PNG and that fixed it. Thanks again. Bubba73 July 5, 2005 23:12 (UTC)

[edit] A new article?

In my opinion, the sigma function should be a new article whose name could be sum-of-divisor function with redirects linking it from sigma function and sigma functions. What do you think ? Thanks. MathNT July 20, 2005.

Why? Why "a new article"? Something wrong with the current article? My mathbooks call it "the divisor function" not the "sum-of-divisors function" and not the "sigma function" either; so this article seems correctly titled to me. linas 14:02, 20 July 2005 (UTC)

The CRC Concise Encyclopedia of Mathmatics uses "Divisor function". I just added an external link to it (Mathworld). So I'm iclined to leave it as it is. It would be good to have redirects from those other names to this article, though. Bubba73 15:42, July 20, 2005 (UTC)

Done. I further improved the introduction lines and the last formula. In the old version the first line was inconsistent with the definition section and the last formula for the asymptotics, as appeared, was not correct. Feel free to send me some comments, if any.MathNT July 26, 2005.

[edit] Mathworld

A recent remark cited mathworld ... please be careful; we don't want to end up with copyright violations by copying or even modeling after mathworld ... linas 20:30, 26 July 2005 (UTC)

Mathematical facts and equations are not copyrightable, so that wouldn't be a violation of copyright. Bubba73 20:52, July 26, 2005 (UTC)

PS - the reason I made a reference to MathWorld and the Encyclopedia of Mathematics is because I thought having the e^gamma in the constant term on the right (instead of on the left) was more standard in the literature. I looked at several statements of the limit on the web and they all did the same thing. It is in Hardy & Wright that way too. Bubba73 04:40, July 27, 2005 (UTC)

[edit] Inequalities

Hi,

I was just wondering, but I'm not sure enough to edit myself :

I thought that voor every e>0 sigma(n ) /n^(1+e) has limit 0, so in other words, every power of n greater than n^1 beats sigma

also, I read that the last equality cannot be improved, so that lim sup (sigma( n) *phi( n) /n/n ) = 1 and lim inf (sigma( n) *phi( n) /n/n ) = 6/Pi^2

Can this be included?

The first thing you say may be true for sufficiently large n. Do you have a reference? The best I know is that it can be as large as the constant times n to the 3/2 power. I can put it in and make the other change too, but I need to be sure about the correct statement. Bubba73 17:37, September 1, 2005 (UTC)

[edit] Technicality

Eequor - if you are now happy with divisor function, how would you feel about removing the "too technical" tag ? Or do you think there are further problems with the article ? Gandalf61 14:48, September 10, 2005 (UTC)

I'm not sure. I think the article could still use some improvement, especially near the end, and the amount of text seems a bit low in relation to the mathematical formulas. The material in Series relations and Inequalities seems closer to a list of recipes than truly encyclopedic information, and would be more helpful if expanded. What do you think of the Prerequisites box? ‣ᓛᖁᑐ 02:05, 11 September 2005 (UTC)

I think that one paragraph (or so) at the beginning can be not too technical, but after that, I don't think there is much that can be done to make it less technical. Bubba73 (talk) 02:39, September 11, 2005 (UTC)

[edit] Lead section

The lead section mentions some things that are discussed very briefly in the article. ‣ᓛᖁᑐ 02:59, 11 September 2005 (UTC)

• How are divisor functions related to the Riemann zeta function?
• What is their relation to the Eisenstein series?
• What are the congruences and identities studied by Ramanujan?

The Series relations section does give the basic identity linking the sigma functions to a product of the Riemann zeta and a translate; and a link to the Eisenstein series page where the sigma function is explicit enough. Charles Matthews 06:40, 11 September 2005 (UTC)

[edit] Removal by WAREL

The following text was removed by WAREL due to lack of reference:

I really am interested in this result. It's just that I'm not sure if I can trust it. Anyone who knows about this, please let us know.WAREL 23:59, 10 March 2006 (UTC)

[edit] Inequalities

For the number of divisors function,

, for n > 12.

Another bound on the number of divisors is

, for n ≥ 3.

For the sum of divisors function,

, for n > 12.

A pair of inequalities combining the divisor function and the φ function are:

, for n > 1.

Dmharvey 13:04, 10 March 2006 (UTC)

The inequality is a standard easy fact. It can be found in any number theory textbook, such as Hardy and Wright. -- EJ 03:03, 11 March 2006 (UTC)

I do have Hardy and Wright "The Theory of Numbers".Which page is that on? WAREL 02:47, 13 March 2006 (UTC)

Theorem 329 in section 18.3 on page 265. For reasons unknown, they leave the constant

∏	(1 − p − 2) = 1 / ζ(2) = 6 / π2
p

unevaluated, and call it A. I could only find the 2nd edition of the book in our library, if you have a newer edition the page number may differ. You can also find the inequality as Exersize 9(a) of chapter 3 on page 71 in Apostol's "Introduction to Analytic Number Theory". -- EJ 18:37, 13 March 2006 (UTC)

I found it.It was written in Hardy's book. However, for some reason, it doesn't say " for n > 1 ".Why is that? Were they just lazy? Or does it have any deeper reasons?WAREL 20:15, 14 March 2006 (UTC)

Well, for n=1 we have , thus this case has to be excluded if the result is formulated with strict inequality. I can't imagine any deeper reason behind it. -- EJ 22:12, 14 March 2006 (UTC)

[edit] Bounds

I cannot edit the following into article as I personally derived it but it approximates sigma to the half-harmonic for highly composite numbers. I have the supporting calc/data

,

where ln=natl log and Q=H(N/2) ie the harmonic # of N/2 N=HCN (highly composite)thru 963761198400. The form structure relates to a companion proof requiring B=ln(2)

[[1]] comparative plot

in addition, the number of divisors, tau is related as follows:

      
        w/ R2 = 0.9991

reconciling the two above yields the approx sigma-tau relation (thru 146th HCN)as:

      
         w/ R2 = 0.996

--Billymac00 19:33, 15 May 2006 (UTC)

[edit] Picture mistake

The picture about "sigma function" doesn't show the real sigma function. Sigma(n) is greater than n+1 for all n>1 values, so it can't be 0 anywhere. ♥♥♥: Gubb ✍ 2006. September 12 19:45 (CEST) 19:45, 12 September 2006 (UTC)

Do you mean ? That picture is supposed to be for σ₀(n). However, it doesn't look correct either since it hits 1 many times and that function is >1 for n>1. JoshuaZ 20:28, 12 September 2006 (UTC)

Ooops sorry. Thats odd, as I remember both creating and fixing an off-by-one bug the day I created that image, and, by golly, well, must have uploaded the image at the wrong time. Uploaded a new file to wikimedia commons but am waiting for it to percolate to here. linas 03:15, 13 September 2006 (UTC)

I believe he actually meant . I suspect the problem with both pictures is the same, namely that the sum was computed only over proper divisors. -- EJ 21:00, 12 September 2006 (UTC)

Ok, making rough sketches for the proper sum graphs up to 20 or so they both seem to agree. Maybe we should ask whatever kind user who made these to remake them? JoshuaZ 21:07, 12 September 2006 (UTC)

Will fix shortly. linas 03:17, 13 September 2006 (UTC)

Thanks. JoshuaZ 03:23, 13 September 2006 (UTC)

Image move request at [2] This is soo embarassing, I *never* make mistakes. :-( linas 03:52, 13 September 2006 (UTC)

Thanks. -- EJ 15:58, 13 September 2006 (UTC)