Monday Math 90

Last week, I talked about the divisor functions σx(n), defined as the sum of the xth powers of the divisors of n; including the special cases and . I also showed the Dirichlet series generating function
with special cases
and .

Now, let us consider . While σa(nb(n) is multiplicative, being the product of multiplicative functions (see here), trying to use the Euler product to determine the generating function would prove rather difficult, so instead some number theory will be used. Credit for this method goes to “NonCommAlg” at the Math Help Forum.

First, note that
Now, consider the greatest common divisor of our indicies n and m; if , then we can factor out from , obtaining
Next, define . Factoring out from the denominator of each term, we see: . And, our work above on the product of two Riemann zeta functions tells us that . Thus, .

Next, we note that may also be written as , as for each divisor d of n, is also a divisor of n.
Thus, our Dirichlet series is
Now, reordering the summations across the indicies, we can sum with d1 and d2 over all positive integers, with n now the innermost sum; this sum will be over all values of n for which both d1|n and d2|n, which is equivalent to , and, therefore, that for some positive integer m.
Now, using the basic number theoretic rule that , we have that , and so

Next, we take , and consider reordering the sum above to group terms with the same value of d. All those terms with a given d will be of the form . Thus, our sum is reordered as
You should recognise our inner sum as a form of the function I defined earlier; specifically, the inner sum is equal to . Thus,

Letting a=b=0, we see that
, and more generally, if a=b,


Tags: , , , ,

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: