Dedekind psi function

Template:Short description Template:Use dmy dates Template:Use American English In number theory, the Dedekind psi function is the multiplicative function on the positive integers defined by

$\psi (n)=n\prod _{p|n}(1+\frac{1}{p}),$

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, ... Template:OEIS.

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 sum-of-divisors 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 \frac{\psi (n)}{n^s}=\frac{\zeta (s)\zeta (s-1)}{\zeta (2s)}.$

This is also a consequence of the fact that we can write as a Dirichlet convolution of $\psi =\mathrm{I}\mathrm{d}*|\mu |$.

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

R. Dedekind 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)\phi (e)=n\prod _{p|n}(1+\frac{1}{p})$

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

Higher orders

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

${\psi }_k(n)=\frac{J_{2k}(n)}{J_k(n)}$

with Dirichlet series

$\sum _{n\ge 1}\frac{{\psi }_k(n)}{n^s}=\frac{\zeta (s)\zeta (s-k)}{\zeta (2s)}$.

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

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

If

${ϵ}_2=1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0\dots$

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

${ϵ}_2(n)*{\psi }_k(n)={\sigma }_k(n)$.

External links

• Template:MathWorld

See also

• Template:Cite book (page 25, equation (1))
• Template:Cite arXiv Section 3.13.2
• Template:OEIS2C is ψ₂, Template:OEIS2C is ψ₃, and Template:OEIS2C is ψ₄