Talk:Divisor function

What is the divisor function?
The header defines "the divisor function" as σ0, and then mentions the "related" divisor summatory function, but does not mention σ1. The articles on perfect number, deficient number, abundant number, etc use "the divisor function" as σ1. Sumbuddy who's a better mathemetician than me should make this consistent. — Randall Bart 08:26, 11 February 2007 (UTC)
 * The article does mention $$\sigma_1$$: it is in the first few sentences under "definition". I changed some mentions of "the divisor function" to "the sum-of-divisors function" in a few articles for clarity, though $$\sigma$$ is a divisor function, so it is proper to say "the divisor function $$\sigma$$".  Hopefully this change will make things more clear.  Doctormatt 21:14, 26 April 2007 (UTC)

No, you can't say "the divisor function $$\sigma$$" if you want to write clearly. The devisor function is d(n). $$\sigma$$ is shorthand for $$\sigma_1$$ with is the sum-of-divisors function. The family of sigma-sub-k functions is a family of sum-of-divisor functions. The divisor function can be expressed as a sum-of-divisor function. — Preceding unsigned comment added by 107.142.105.226 (talk) 15:17, 24 July 2015 (UTC)

Approximate Growth
The "Approximate Growth" section should probably be split in two. It is currently easy to read the first sentence talking about the "divisor function" and skim down to the end of the section and get confused into thinking that sigma(n) refers to the divisor function. Separate sections on the growth rate of the divisor function vs the sigma function would seem to be appropriate.

From this section, it is not immediately obvious what might be used as a simple function f(n) that approximates the gross smooth behavior of d(n). For my application, I'm trying to define a 'divisor density' function that computes d(n) / f(n) where f(n) is the typical number of divisors of numbers that are near 'n'. — Preceding unsigned comment added by 107.142.105.226 (talk) 14:52, 24 July 2015 (UTC)

Graphic


The image File:Divisor cube.svg does not display for me in two browsers, though I can view the image on its file page. Hyacinth (talk) 01:19, 11 June 2016 (UTC)
 * File:Divisor cube.svg says: "Invalid SVG file: Expected tag, got svg in NS". I see File:Fileicon-svg.png which is a file-error icon and not the intended image. According to https://web.archive.org/web/*/https://en.wikipedia.org/wiki/Divisor_function it worked 13 May where it displayed as https://web.archive.org/web/20160107121844im_/https://upload.wikimedia.org/wikipedia/en/thumb/d/de/Divisor_cube.svg/220px-Divisor_cube.svg.png. Do you see the error icon or the real image? PrimeHunter (talk) 02:01, 11 June 2016 (UTC)
 * Fixed. Offnfopt (talk) 09:12, 22 July 2016 (UTC)
 * Thanks. I have restored it in the article.[//en.wikipedia.org/w/index.php?title=Divisor_function&diff=731015009&oldid=726100554] PrimeHunter (talk) 10:40, 22 July 2016 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified one external link on Divisor function. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20140411041855/http://webdocs.cs.ualberta.ca/~zacharyf/papers/superabundant.pdf to http://webdocs.cs.ualberta.ca/~zacharyf/Papers/superabundant.pdf

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 16:00, 11 September 2017 (UTC)

Suggestion
Omit unclear sentences like

"This summation also appears as the Fourier series of the Eisenstein series and the invariants of the Weierstrass elliptic functions."

unless they can be changed to clear ones. The Fourier series of which Eisenstein series?

No doubt this makes perfect mathematical sense. That is not the question. The question is whether it is explained so that most people who read it for the first time are able to understand what they are reading.

It is not. 2600:1700:E1C0:F340:C8EF:22B1:3B92:C52C (talk) 05:01, 24 May 2019 (UTC)


 * I made the links in that sentence more specific. If you look in the targeted sections, you can see an expression of the same form as the left hand side of the equation immediately preceding this sentence. — Anita5192 (talk) 05:41, 24 May 2019 (UTC)

Table of values
Why is the Table of values aligned right? This looks ridiculous on my laptop. Why not align left and put the comment either before or after the table?—Anita5192 (talk) 06:55, 1 August 2019 (UTC)


 * The table was in another section and was messing up the text in that section. I put it in it's own section, no changes to alignment.  See if it is better now.  Bubba73 You talkin' to me? 07:03, 1 August 2019 (UTC)


 * Much better now! Thank you!    —Anita5192 (talk) 08:08, 1 August 2019 (UTC)

Multiplicativity
There is currently a note asking for a proof sketch as to why the divisor function is multiplicative, saying it does not appear obvious.

It is obvious, given the simple result that if $$f$$ is a multiplicative function, then


 * $$ F(n) = \sum_{d \mid n} f(d) $$

is also multiplicative. This is a special case of the Dirichlet convolution of multiplicative functions being multiplicative (convolve with the constant 1 function).

Since $$f_x(n) = n^x$$ is (completely) multiplicative for all $$x$$, so is $$\sigma_x$$.

I'm not sure how best to integrate this information into the brief sentence about multiplicativity. Extracurriculars (talk) 21:27, 3 August 2021 (UTC)

Utterly confusing article
The article's first section is as follows:

"In mathematics, and specifically in number theory, a divisor function is an arithmetic function related to the divisors of an integer. When referred to as the divisor function, it counts the number of divisors of an integer (including 1 and the number itself). It appears in a number of remarkable identities, including relationships on the Riemann zeta function and the Eisenstein series of modular forms. Divisor functions were studied by Ramanujan, who gave a number of important congruences and identities; these are treated separately in the article Ramanujan's sum.

"A related function is the divisor summatory function, which, as the name implies, is a sum over the divisor function." "The notations d(n), ν(n) and τ(n) (for the German Teiler = divisors) are also used to denote σ0(n), or the number-of-divisors function. When z is 1, the function is called the sigma function or sum-of-divisors function, and the subscript is often omitted, so σ(n) is the same as σ1(n)."

But then the definition is as follows:

"The sum of positive divisors function σz(n), for a real or complex number z, is defined as the sum of the zth powers of the positive divisors of n. It can be expressed in sigma notation as


 * $$\sigma_z(n)=\sum_{d\mid n} d^z\,\! ,$$

where $${d\mid n}$$ is shorthand for "d divides n"."

Is it really necessary to present the definition in such utmost generality, and leave readers wondering how this connects to "counting the divisors" ... until they may notice that this is the case of z = 0 if they are lucky.

The next sentence breezily fixes this problem ... but only if a reader gets that far without giving up because the article appears to be about a different subject.

Suggestion: The article should just define the @#$%^&* divisor function as described in the introduction. Then in the next section define the generalization (or give the generalization its own article). 2601:200:C000:1A0:98F:4BB9:DFD5:F0CE (talk) 19:48, 7 June 2022 (UTC)

2601:200:C000:1A0:98F:4BB9:DFD5:F0CE (talk) 19:48, 7 June 2022 (UTC)

halp !!
is the tau of any prime numbre 1????? — Preceding unsigned comment added by 2604:3D09:1580:9600:1C8A:57FA:9F13:B64F (talk) 21:47, 30 June 2022 (UTC)


 * No, tau of every prime number is 2. Bubba73 You talkin' to me? 00:38, 1 July 2022 (UTC)

Clarification needed
The first sentence of the section Definition reads as follows:

"The sum of positive divisors function σz(n), for a real or complex number z, is defined as the sum of the zth powers of the positive divisors of n."

But because in general complex exponentiation is multivalued, it ought to be mentioned that if z here is not a real number, the expression dz for a divisor d should be understood to mean exp(ln(d) z), which is well-defined since d > 0.

I hope that someone knowledgeable about this subject can add this information.