Section 6

Multiplicative Arithmetical Functions

[30/100%]
Show
LaTeX
Problem 8.43

Show that

nα,σα(n),2ν(n),μ(n),λ(n),φ(n) n^\alpha , \quad \sigma _\alpha (n), \quad 2^{\nu (n)}, \quad \mu (n), \quad \lambda (n), \quad \varphi (n)

are multiplicative arithmetical functions.

?
Remark.
?

For φ(n)\varphi (n) observe 25.

Problem 8.44

Let n=p1k1p2k2⋯pνkνn = p_1^{k_1}p_2^{k_2}\cdots p_\nu^{k_\nu }, where p1,p2,…,pνp_1,p_2,\ldots ,p_\nu are distinct prime numbers. Then we have

σα(n)=1−p1α(k1+1)1−p1α⋅1−p2α(k2+1)1−p2α⋯1−pνα(kν+1)1−pνα; \sigma _\alpha (n) = \frac{1-p_1^{\alpha (k_1+1)}}{1-p_1^\alpha } \cdot \frac{1-p_2^{\alpha (k_2+1)}}{1-p_2^\alpha } \cdots \frac{1-p_\nu ^{\alpha (k_\nu +1)}}{1-p_\nu ^\alpha } ;

for example

σ(n)=1−p1k1+11−p1⋅1−p2k2+11−p2⋯1−pνkν+11−pν,τ(n)=(k1+1)(k2+1)⋯(kν+1). \sigma (n) = \frac{1-p_1^{k_1+1}}{1-p_1} \cdot \frac{1-p_2^{k_2+1}}{1-p_2} \cdots \frac{1-p_\nu ^{k_\nu +1}}{1-p_\nu } , \qquad \tau (n) = (k_1+1)(k_2+1)\cdots (k_\nu +1) .
?
Problem 8.45

The values of the quotient

τ(pk)φ(pk)=k+1pk−1(p−1) \frac{\tau (p^k)}{\varphi (p^k)} = \frac{k+1}{p^{k-1}(p-1)}

can be arranged in a two-way classification table (rows indexed by the prime pp, columns by the exponent kk). Determine all nn for which τ(n)≥φ(n)\tau (n) \geq \varphi (n).

?
Problem 8.46

Let a,b,c,d,…,k,la,b,c,d,\ldots ,k,l be positive integers, MM their least common multiple, let (a,b),(a,c),…,(a,b,c),…(a,b), (a,c), \ldots , (a,b,c), \ldots denote as usual the greatest common divisors of aa and bb, aa and c,…,a,bc, \ldots , a, b and c,…c, \ldots respectively. If f(n)f(n) is a multiplicative function, then we have

f(M)f((a,b))f((a,c))⋯f((k,l))f((a,b,d))⋯=f(a)f(b)⋯f(l)f((a,b,c))⋯ . f(M)f((a,b))f((a,c))\cdots f((k,l))f((a,b,d))\cdots = f(a)f(b)\cdots f(l)f((a,b,c))\cdots .
?
Remark.
?

(On the right-hand side we have those f(n)f(n) for which nn is the greatest common divisor of an odd number of the numbers a,b,c,…,k,la,b,c,\ldots ,k,l.) [29 is the special case f(n)=nf(n)=n.]

Problem 8.47

Let f(n)f(n) be a multiplicative arithmetical function. Then we have

∑n=1∞f(n)n−s=∏p(1−s+f(p)p−s+f(p2)p−2s+f(p3)p−3s+⋯ ), \sum _{n=1}^\infty f(n)n^{-s} = \prod _p \left(1^{-s} + f(p)p^{-s} + f(p^2)p^{-2s} + f(p^3)p^{-3s} + \cdots \right) ,

where the infinite product is extended over all prime numbers pp and formed by taking products only of finitely many factors different from 1−s1^{-s}.

?
Problem 8.48
ζ(s)=∏p11−p−s. \zeta (s) = \prod _p \frac{1}{1-p^{-s}} .
?
Problem 8.49

Show that

∑n=1∞σα(n)n−s=ζ(s)ζ(s−α),∑n=1∞2ν(n)n−s=ζ(s)2ζ(2s), \sum _{n=1}^\infty \sigma _\alpha (n)n^{-s} = \zeta (s)\zeta (s-\alpha ) , \qquad \sum _{n=1}^\infty 2^{\nu (n)}n^{-s} = \frac{\zeta (s)^2}{\zeta (2s)} , ∑n=1∞λ(n)n−s=ζ(2s)ζ(s),∑n=1∞φ(n)n−s=ζ(s−1)ζ(s). \sum _{n=1}^\infty \lambda (n)n^{-s} = \frac{\zeta (2s)}{\zeta (s)} , \qquad \sum _{n=1}^\infty \varphi (n)n^{-s} = \frac{\zeta (s-1)}{\zeta (s)} .
?
Remark.
?

Cf. Problems 43, 44, 25.

Problem 8.50

Let a(n)a(n) be the greatest odd divisor of nn. Then we have

a(1)1−s+a(2)2−s+a(3)3−s+⋯+a(n)n−s+⋯=1−21−s1−2−sζ(s−1). a(1)1^{-s}+a(2)2^{-s}+a(3)3^{-s}+\cdots +a(n)n^{-s}+\cdots = \frac{1-2^{1-s}}{1-2^{-s}}\zeta (s-1) .
?
Problem 8.51

Prove that

∑n=1∞Λ(n)n−s=−ζ′(s)ζ(s). \sum _{n=1}^\infty \Lambda (n)n^{-s} = -\frac{\zeta '(s)}{\zeta (s)} .
?
Problem 8.52
∑t∣nμ(t)={1,for n=1,0,for n>1. \sum _{t\mid n} \mu (t) = \begin{cases} 1, & \text{for } n=1, \\ 0, & \text{for } n>1 . \end{cases}
?
Problem 8.53
∑t∣nλ(t)={1,if n is a square,0,if n is not a square. \sum _{t\mid n} \lambda (t) = \begin{cases} 1, & \text{if } n \text{ is a square,} \\ 0, & \text{if } n \text{ is not a square.} \end{cases}
?
Problem 8.54
∑t∣nφ(t)=n. \sum _{t\mid n} \varphi (t) = n .
?
Problem 8.55
∑t∣nμ(t)t=φ(n)n. \sum _{t\mid n} \frac{\mu (t)}{t} = \frac{\varphi (n)}{n} .
?
Problem 8.56
∑t∣nΛ(t)=log⁡n. \sum _{t\mid n} \Lambda (t) = \log n .
?
Problem 8.57
∣(1,1)(1,2)…(1,n)(2,1)(2,2)…(2,n)\multicolumn4c\dotfill(n,1)(n,2)…(n,n)∣=φ(1)φ(2)⋯φ(n). \begin{vmatrix} (1,1)& (1,2)& \ldots & (1,n)\\ (2,1)& (2,2)& \ldots & (2,n)\\ \multicolumn {4}{c}{\dotfill }\\ (n,1)& (n,2)& \ldots & (n,n) \end{vmatrix} = \varphi (1)\varphi (2)\cdots \varphi (n) .
?
Problem 8.58

Consider all possible factorizations of an even integer of the form n=αβn=\alpha \beta, such that α\alpha is odd (possibly 1) and β\beta is even. Then

∑β−∑α \sum \beta - \sum \alpha

is equal to the sum of the divisors of n/2n/2.

?
Problem 8.58.1

Let P(n,k)P(n,k) denote the number of decompositions of nn into a product of kk factors; only positive integers greater than 1 are admissible as factors, and two decompositions are regarded as equal if, and only if, they involve the same factors in the same order. For instance, P(12,2)=4P(12,2)=4 and P(12,3)=3P(12,3)=3 since

12=2⋅6=6⋅2=3⋅4=4⋅3=3⋅2⋅2=2⋅3⋅2=2⋅2⋅3. 12 = 2\cdot 6 = 6\cdot 2 = 3\cdot 4 = 4\cdot 3 = 3\cdot 2\cdot 2 = 2\cdot 3\cdot 2 = 2\cdot 2\cdot 3 .

Show that, for n≥2n\geq 2,

μ(n)=−P(n,1)+P(n,2)−P(n,3)+⋯ , \mu (n) = -P(n,1)+P(n,2)-P(n,3)+\cdots ,

the difference between the number of even'' and odd'' decompositions, that is, decompositions into an even and an odd number of factors, respectively. For instance

μ(12)=−1+4−3=0. \mu (12) = -1+4-3 = 0 .
?
Problem 8.58.2

(continued). Show that

P(n,1)−12P(n,2)+13P(n,3)−⋯ P(n,1) - \tfrac 12 P(n,2) + \tfrac 13 P(n,3) - \cdots

equals 1/m1/m if n=pmn=p^m, the mmth power of a prime number pp, but equals 0 if nn is divisible by more than one prime. In the case n=12n=12 we have

1−42+33=0. 1 - \tfrac 42 + \tfrac 33 = 0 .
?
Problem 8.58.3

(continued). If nn is the product of mm different prime factors, then

P(n,k)=k!Skm P(n,k) = k!S_k^m

(cf. the introduction to Problem 186 of Part I).

?
Problem 8.58.4

If pp is a prime and mm a positive integer, then

P(pm,k)=(m−1k−1). P(p^m,k) = \binom {m-1}{k-1} .

(For this particular case, verify 58.1 by using the binomial theorem; also cf. 58.2 with Problem 38 of Part I.)

?
Problem 8.58.5

For n>1n>1 let Q(n)Q(n) denote the number of different decompositions of the integer nn into a product of integers greater than 1; two decompositions are not regarded as different if they involve the same factors, and so the order of factors does not matter (in contrast to 58.1); define Q(1)=1Q(1)=1. For instance Q(12)=4Q(12)=4. If nn is the product of mm different prime factors, then

Q(n)=Tm Q(n) = T_m

(cf. the introduction to Problem 186 of Part I).

?
Problem 8.58.6

(continued). Show that

∑n=1∞Q(n)n−s=exp⁡(∑n=1∞(ζ(ns)−1)/n). \sum _{n=1}^\infty Q(n)n^{-s} = \exp \left(\sum _{n=1}^\infty (\zeta (ns)-1)/n\right) .
?
Problem 8.58.7

Let nn be a positive integer,

n=2jp1k1p2k2⋯pμkμq1l1q2l2⋯qνlν, n = 2^j p_1^{k_1}p_2^{k_2}\cdots p_\mu ^{k_\mu }q_1^{l_1}q_2^{l_2}\cdots q_\nu ^{l_\nu } ,

where 2,p1,…,pμ,q1,…,qν2, p_1,\ldots ,p_\mu ,q_1,\ldots ,q_\nu are distinct primes, p1≡⋯≡pμ≡1p_1\equiv \cdots \equiv p_\mu \equiv 1, q1≡⋯≡qν≡3(mod4)q_1\equiv \cdots \equiv q_\nu \equiv 3 \pmod4. Set

δ(n)=(k1+1)(k2+1)⋯(kμ+1) \delta (n) = (k_1+1)(k_2+1)\cdots (k_\mu +1)

if l1,l2,…,lνl_1,l_2,\ldots ,l_\nu are all even, and δ(n)=0\delta (n)=0 otherwise. Show that δ(n)\delta (n) is, in fact, the difference between the numbers of two different kinds of divisors of nn:

δ(n)=∑t′∣n(−1)(t′−1)/2, \delta (n) = \sum _{t'\mid n} (-1)^{(t'-1)/2} ,

where the summation is extended over the odd divisors t′t' of nn.

(4δ(n)4\delta (n) is the number of lattice points on the circle x2+y2=nx^2+y^2=n. This fact was discovered by Gauss.)

?
Problem 8.58.8

Which of the functions P(n,2),P(n,3),…,Q(n)P(n,2), P(n,3), \ldots , Q(n) and δ(n)\delta (n) are multiplicative?

?
Problem 8.59

Let f(n)f(n) and g(n)g(n) be multiplicative arithmetical functions. Then the arithmetical function

h(n)=∑t∣nf(t)g(nt) h(n) = \sum _{t\mid n} f(t)g\left(\frac nt\right)

is also multiplicative.

?
Problem 8.60

The number of different kinds of regular nn-gons, one convex, the others self-intersecting, is equal to 12φ(n)\tfrac 12\varphi (n).

?
Problem 8.61

The sum of all positive proper fractions that, when reduced to their lowest terms, have denominator nn, is equal to 12φ(n)\tfrac 12\varphi (n), n≥2n\geq 2.

?
Problem 8.62

Let a,b,ca,b,c be positive integers. Among the cc fractions

ac,a+bc,a+2bc,…,a+(c−1)bc \frac ac, \quad \frac{a+b}{c}, \quad \frac{a+2b}{c}, \quad \ldots , \quad \frac{a+(c-1)b}{c}

there are φ(bc)/φ(b)\varphi (bc)/\varphi (b) irreducible fractions, if (a,b,c)=1(a,b,c)=1. If (a,b,c)>1(a,b,c)>1, then they are of course all reducible.

?
Problem 8.63

How many irreducible fractions are there among the following n2n^2 fractions:

11,12,13,14,…,1n,21,22,23,24,…,2n,31,32,33,34,…,3n,…,n1,n2,n3,n4,…,nn ? \frac11, \frac12, \frac13, \frac14, \ldots , \frac1n, \qquad \frac21, \frac22, \frac23, \frac24, \ldots , \frac2n, \qquad \frac31, \frac32, \frac33, \frac34, \ldots , \frac3n, \qquad \ldots , \qquad \frac n1, \frac n2, \frac n3, \frac n4, \ldots , \frac nn \ ?
?
Problem 8.64

Let Φ(n)\Phi (n) be the number of irreducible fractions among the following n2n^2 fractions:

1+in,1+2in,…,1+nin,2+in,2+2in,…,2+nin,…,n+in,n+2in,…,n+nin. \frac{1+i}{n}, \frac{1+2i}{n}, \ldots , \frac{1+ni}{n}, \qquad \frac{2+i}{n}, \frac{2+2i}{n}, \ldots , \frac{2+ni}{n}, \qquad \ldots , \qquad \frac{n+i}{n}, \frac{n+2i}{n}, \ldots , \frac{n+ni}{n} .

(i=−1i=\sqrt{-1}; the fraction (a+ib)/n(a+ib)/n is called reducible if (a,b,n)>1(a,b,n)>1, irreducible if (a,b,n)=1(a,b,n)=1.) The function Φ(n)\Phi (n) has the following properties:

?
(1)

Φ(m)Φ(n)=Φ(mn)\Phi (m)\Phi (n) = \Phi (mn) for (m,n)=1(m,n)=1, Φ(1)=1\Phi (1)=1, Φ(pk)=p2k−p2k−2\Phi (p^k) = p^{2k}-p^{2k-2}, pp a prime number, k=1,2,3,…k=1,2,3,\ldots;

(2)

Φ(n)=n2(1−1p2)(1−1q2)(1−1r2)⋯\Phi (n) = n^2\left(1-\dfrac 1{p^2}\right)\left(1-\dfrac 1{q^2}\right)\left(1-\dfrac 1{r^2}\right)\cdots, where p,q,r,…p,q,r,\ldots are the distinct prime factors of nn;

(3)

∑t∣nΦ(t)=n2\displaystyle \sum_{t\mid n} \Phi (t) = n^2;

(4)

∑n=1∞Φ(n)n−s=ζ(s−2)ζ(s)\displaystyle \sum_{n=1}^\infty \Phi (n)n^{-s} = \frac{\zeta (s-2)}{\zeta (s)}.

Prove (1), (2), (3) independently of each other directly from the definition. Show further that: (1)→(4)(1)\to (4), (2)→(4)(2)\to (4), (3)→(4)(3)\to (4), (4)→(1)(4)\to (1), (4)→(2)(4)\to (2), (4)→(3)(4)\to (3) (i.e. from (1) follows (4), from (2) follows (4), and so on).