Dedekind psi function explained

In number theory, the Dedekind psi function is the multiplicative function on the positive integers defined by

\psi(n) = n \prod _{p|n} \left( 1+ (1)/(p) \right),

where the product is taken over all primes

p dividing n. (By convention, \psi( 1 ) , which is the empty product, has value 1.) The function was introduced by Richard Dedekind in connection with modular functions.

The value of

\psi(n) for the first few integers n is:

1, 3, 4, 6, 6, 12, 8, 12, 12, 18, 12, 24, ... .

The function

\psi(n) is greater than n for all n greater than 1, and is even for all n greater than 2. If n is a square-free number then \psi(n) = \sigma(n) , where \sigma(n) is the divisor function.

The

\psi function can also be defined by setting \psi(p ^{n)} = (p +1 )p ^{n-1} for powers of any prime p , and then extending the definition to all integers by multiplicativity. This also leads to a proof of the generating function in terms of the Riemann zeta function, which is\sum (\psi(n))/(n ^{s}) = (\zeta(s) \zeta(s -1 ))/(\zeta( 2 s)) .

This is also a consequence of the fact that we can write as a Dirichlet convolution of

\psi = Id * |\mu| .

There is an additive definition of the psi function as well. Quoting from Dickson,^[1]

R. Dedekind^[2] proved that, if

n is decomposed in every way into a product ab and if e is the g.c.d. of a, b then \sum _{a} (a/e) \varphi(e) = n \prod _{p|n} \left( 1+ (1)/(p) \right)

where

a ranges over all divisors of n and p over the prime divisors of n and \varphi is the totient function.

Higher orders

The generalization to higher orders via ratios of Jordan's totient is

\psi _{k(n) = (J _{2k} (n))/(J _{k(n)})}

with Dirichlet series

\sum _{n\ge} (\psi _{k(n)})/(n ^{s}) = (\zeta(s)\zeta(s - k))/(\zeta( 2 s)) .

It is also the Dirichlet convolution of a power and the squareof the Möbius function,

\psi _{k(n)} = n ^{k} * \mu ^{2(n)} .

If

\epsilon _{2} = 1 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 , 0 , 0 , 0 , 1 , 0 , 0 , 0 \ldots

is the characteristic function of the squares, another Dirichlet convolutionleads to the generalized σ-function,

\epsilon _{2(n)} * \psi _{k(n)} = \sigma _{k(n)} .

See also

• Book: Goro Shimura . Goro Shimura . Introduction to the Arithmetic Theory of Automorphic Functions . Princeton . 1971. (page 25, equation (1))
• 1106.4038 . Richard J. . Mathar . Survey of Dirichlet series of multiplicative arithmetic functions . 2011. math.NT . Section 3.13.2
• is ψ₂, is ψ₃, and is ψ₄

Notes and References

1. Leonard Eugene Dickson "History of the Theory Of Numbers", Vol. 1, p. 123, Chelsea Publishing 1952.
2. Journal für die reine und angewandte Mathematik, vol. 83, 1877, p. 288. Cf. H. Weber, Elliptische Functionen, 1901, 244-5; ed. 2, 1008 (Algebra III), 234-5