The Dedekind ψ function is one of several number theoretic functions named after Richard Dedekind . It's a multiplicative function , it's done
∀
n
∈
Z
+
:
ψ
(
n
)
=
n
⋅
∏
p
|
n
p
∈
P
(
1
+
1
p
)
{\ displaystyle \ forall \ n \ in \ mathbb {Z} ^ {+} \ colon \ psi (n) = n \ cdot \ prod _ {p | n \ atop p \ in \ mathbb {P}} \ left ( 1 + {\ frac {1} {p}} \ right)}
Are defined. The product covers all prime divisors of
n
.
{\ displaystyle n.}
values
According to the definition of the empty product is
ψ
(
1
)
=
1.
{\ displaystyle \ psi (1) = 1.}
For the next two natural numbers we get:
ψ
(
2
)
=
2
(
1
+
1
2
)
=
3
{\ displaystyle \ psi (2) = 2 \ left (1 + {\ frac {1} {2}} \ right) = 3}
ψ
(
3
)
=
3
(
1
+
1
3
)
=
4th
{\ displaystyle \ psi (3) = 3 \ left (1 + {\ frac {1} {3}} \ right) = 4}
The sequence of function values continues with 6, 6, 12, 8, 12, 12, 18, 12, 24,….
properties
The function only takes positive natural numbers as values. For all sufficiently large is greater than and straight:
ψ
{\ displaystyle \ psi}
n
{\ displaystyle n}
ψ
(
n
)
{\ displaystyle \ psi (n)}
n
{\ displaystyle n}
ψ
(
n
)
>
n
f
u
¨
r
a
l
l
e
n
>
1
{\ displaystyle \ psi (n)> n \ qquad \ qquad \ qquad \ mathrm {f {\ ddot {u}} r \; all} \, n> 1}
ψ
(
n
)
≡
0
mod
2
f
u
¨
r
a
l
l
e
n
>
2
{\ displaystyle \ psi (n) \ equiv 0 \ mod 2 \; \ qquad \ mathrm {f {\ ddot {u}} r \; all} \, n> 2}
ψ
(
p
)
=
p
+
1
=
φ
(
p
)
+
2
{\ displaystyle \ psi (p) = p + 1 = \ varphi (p) +2}
It is the Euler's totient function , which for each positive integer , the number of the to prime indicating natural numbers not greater than are.
φ
{\ displaystyle \ varphi}
n
{\ displaystyle n}
φ
(
n
)
{\ displaystyle \ varphi (n)}
n
{\ displaystyle n}
n
{\ displaystyle n}
The function can also be carried out by
ψ
{\ displaystyle \ psi}
ψ
(
p
k
)
=
(
p
+
1
)
⋅
p
k
-
1
{\ displaystyle \ psi (p ^ {k}) = (p + 1) \ cdot p ^ {k-1}}
for powers of prime numbers with positive natural exponents and the definition that it is multiplicative. The value for any is then obtained from the prime factorization of
p
{\ displaystyle p}
k
{\ displaystyle k}
ψ
{\ displaystyle \ psi}
ψ
(
n
)
{\ displaystyle \ psi (n)}
n
{\ displaystyle n}
n
.
{\ displaystyle n.}
∑
n
ψ
(
n
)
n
s
=
ζ
(
s
)
ζ
(
s
-
1
)
ζ
(
2
s
)
{\ displaystyle \ sum _ {n} {\ frac {\ psi (n)} {n ^ {s}}} = {\ frac {\ zeta (s) \ zeta (s-1)} {\ zeta (2s )}}}
Web links
swell
↑ Follow A001615 in OEIS
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">