Semigroup’s series for negative degrees of the gaps values in

arXiv:1711.00353v1 [math.NT] 1 Nov 2017

numerical semigroups generated by two integers
and identities for the Hurwitz zeta functions
Leonid G. Fel† and Takao Komatsu‡
†

Department of Civil Engineering, Technion, Haifa 32000, Israel
lfel@technion.ac.il

‡

School of Mathematics and Statistics, Wuhan University, Wuhan 430072, China
komatsu@whu.edu.cn
Abstract
We derive an explicit expression for an inverse power series over the gaps values of numerical

semigroups generated by two integers. It implies a set of new identities for the Hurwitz zeta function.
Keywords: numerical semigroups, gaps and non-gaps, the Hurwitz zeta function
2010 Mathematics Subject Classification: Primary – 20M14, Secondary – 11P81.

1 Introduction
A sum of integer powers of the gaps values in numerical semigroups Sm = hd1 , . . . , dm i, where
gcd(d1 , . . . , dm ) = 1, is referred often as semigroup’s series
X
sn ,
n ∈ Z,
gn (Sm ) =

(1)

s∈N\Sm

and g0 (Sm ) is known as a genus of Sm . For n ≥ 0 an explicit expression of gn (S2 ) and implicit
expression of gn (S3 ) were given in [2] and [1], respectively. In this paper we derive a formula for
P
semigroup series g−n (S2 ) = s∈N\Sm s−n (n ≥ 1).

Consider a numerical semigroup S2 = hd1 , d2 i, generated by two integers d1 , d2 ≥ 2, gcd(d1 , d2 ) =

1, with the Hilbert series H(z; S2 ) and the gaps generating function Φ(z; S2 ) given as follows.
X
X
1
zs,
H(z; S2 ) + Φ(z; S2 ) =
zs,
Φ(z; S2 ) =
H(z; S2 ) =
, z < 1,
1−z
s∈S2

(2)

s∈N\S2

where min{N \ S2 } = 1 and max{N \ S2 } = d1 d2 − d1 − d2 is called the Frobenius number and is
denoted by F2 . The rational representation (Rep) of H(z; S2 ) is given by
H(z; S2 ) =

1 − z d1 d2
.
(1 − z d1 )(1 − z d2 )
1

(3)

Introduce a new generating function Ψ1 (z; S2 ) by
Z z
X zs
Φ(t; S2 )
Ψ1 (z; S2 ) =
dt =
,
t
s
0

Ψ1 (1; S2 ) =

s∈N\S2

X 1
= g−1 (S2 ).
s

(4)

s∈N\S2

Plugging (2) into (4), we obtain
Ψ1 (z; S2 ) =

Z

z

0

Keeping in mind (1 − tdi )−1 =

P∞

H(t; S2 ) =

ki =0 t

∞
X

ki di ,

t




dt
1
− H(t; S2 )
.
1−t
t

(5)

substitute the last into (3) and obtain

k1 d1 +k2 d2

−

k1 ,k2 =0

∞
X

tk1 d1 +k2 d2 +d1 d2 .

(6)

k1 ,k2 =0

Indeed, an expression (6) is an infinite series with degrees s = k1 d1 + k2 d2 running over all nodes in
the sublattice K of the integer lattice Z2 ,
(
K = {0, 0} ∪ K1 ∪ K2 ,

K1 = {1 ≤ k1 ≤ d2 − 1, k2 = 0},
K2 = {0 ≤ k1 ≤ d2 − 1, 1 ≤ k2 ≤ ∞}.

(7)

In Figure 1, we present, as an example, a part of the integer lattice K for the numerical semigroup h5, 8i.

8k2
48 53 58 63 68 73 78 83
40 45 50 55 60 65 70 75
32 37 42 47 52 57 62 67
24 29 34 39 44 49 54 59
16 21 26 31 36 41 46 51
8

13 18 23 28 33 38 43

0

5

5k1

10 15 20 25 30 35

Figure 1: A part of the integer lattice K ⊂ Z2 for semigroup h5, 8i. The nodes mark the non-gaps of
semigroup: the values, assigned to the black and white nodes, exceed and precede F2 = 27, respectively.

Lemma 1 There exists a bijection between the infinite set of nodes in the integer lattice K and an infinite
set of non-gaps of the semigroup hd1 , d2 i.
Proof We have to prove two statements of existence and uniqueness:
1. Every s ∈ hd1 , d2 i has its Rep node in K,
2

2. All s ∈ hd1 , d2 i have their Rep nodes in K only once.
1. Let s ∈ hd1 , d2 i be given. Then by definition of hd1 , d2 i an integer s has a Rep,
s = k1 d1 + k2 d2 ,

0 ≤ k1 , k2 ≤ ∞.

(8)

Choose s such that k1 = pd2 + q, where p = ⌊k1 /d2 ⌋, i.e., 0 ≤ q ≤ d2 − 1, and ⌊r⌋ denotes an integer
part of a real number r. Then Rep (8) reads,
s = qd1 + (k2 + pd1 )d2 ,
and s has its Rep node in K.
2. By way of contradiction, assume that there exist two nodes {k1 , k2 } ∈ K and {l1 , l2 } ∈ K such
that
k1 d1 + k2 d2 = l1 d1 + l2 d2 ,

0 ≤ k1 , l1 ≤ d2 − 1,

0 ≤ k2 , l2 ≤ ∞,

k1 > l1 , k2 < l2 ,

(9)

namely, there exists such s ∈ hd1 , d2 i which has two different Rep nodes in K. Rewrite (9) as
(k1 − l1 )d1 = (l2 − k2 )d2 .

(10)

Since gcd(d1 , d2 ) = 1, the equality (10) implies that
k1 − l1 = bd2 ,

b≥1

−→

that contradict the assumption {k1 , k2 } ∈ K.

k1 = l1 + bd2

−→

k1 ≥ d2 ,

(11)



2 A sum of the inverse gaps values g−1(S2)
Present an integral in (5) as follows.
Ψ1 (z; S2 ) =

Z

z

0

1
h0 (t; S2 ) = ,
t

∞
X

t

k−1

k=0

h1 (t; S2 ) =

H(t; S2 )
−
t

dX
2 −1

tk1 d1 −1 ,

!

2

H(t; S2 ) X
hj (t; S2 ),
=
t

dt,

(12)

j=0

h2 (t; S2 ) =

X

tk1 d1 +k2 d2 −1 .

(13)

k1 ,k2 ∈K2

k1 =1

Perform an integration in (12),
Ψ1 (z; S2 ) =

d2 −1 k1 d1
1 X
z
−
−
k
d1
k1

∞
X
zk
k=1

k1 =1

X

k1 ,k2 ∈K2

z k1 d1 +k2 d2
,
k1 d1 + k2 d2

(14)

and obtain by (4) and (7),
∞
X
1
g−1 (S2 ) =
−
k
k=1

X

k1 ,k2 ∈K2

d2 −1
1
1 X
1
−
.
k1 d1 + k2 d2 d1
k1
k1 =1

3

(15)

By Lemma 1, after subtraction in (15) there are left a finite number of terms, since all terms, which
exceed F2 in the two first infinite series in (15), are cancelled. To emphasize that fact, we write as
k1 d1 +k
c2
d2 −1
2 d2 ≤c2
X
X
1
1 X
1
1
g−1 (S2 ) =
−
−
,
k
k1 d1 + k2 d2 d1
k1
k1 ,k2 ∈K2

k=1

(16)

k1 =1

where c2 = F2 + 1 is called a conductor of semigroup.

3 A sum of the negative degrees of gaps values g−n (S2)
Generalize formula (14) and introduce a new generating function Ψn (z; S2 ) (n ≥ 2) by
Z tn−1
Z z
Z
X zs
dtn
dt1 t1 dt2
...
Φ(tn ; S2 ) =
, Ψn (1; S2 ) = g−n (S2 ),
Ψn (z; S2 ) =
t2
tn
sn
0
0
0 t1

(17)

s∈N\S2

which satisfies the following recursive relation.
Z tn−k−1
dtn−k
Ψk+1 (tn−k−1 ; S2 ) =
Ψk (tn−k ; S2 ), k ≥ 0,
tn−k
0

Ψ0 (tn ; S2 ) = Φ(tn−1 ; S2 ), t0 = z,

namely,
Ψ1 (tn−1 ; S2 ) =

Z

tn−1
0

dtn
Ψ0 (tn ; S2 ),
tn

Ψ2 (tn−2 ; S2 ) =

Z

tn−2
0

dtn−1
Ψ1 (tn−1 ; S2 ),
tn−1

....

Performing integration in (17), we obtain
Ψn (z; S2 ) =

d2 −1 k1 d1
∞
X
z
1 X
zk
−
−
n
n
k
d1
k1n
k1 =1

k=1

X

k1 ,k2 ∈K2

z k1 d1 +k2 d2
.
(k1 d1 + k2 d2 )n

(18)

Thus, for z = 1 we have
g−n (S2 ) =

d2 −1
dX
∞
∞
2 −1 X
X
1
1
1 X
1
,
−
−
kn
(k1 d1 + k2 d2 )n dn1
k1n
k=1

n ≥ 2.

(19)

k1 =1

k1 =0 k2 =1

Define a ratio δ = d1 /d2 and represent the last expression as follows.
d2 −1 X
d2 −1
∞
∞
∞
X
1
1
1 X
1
1 X 1
1 X
g−n (S2 ) =
− n
.
− n
− n
n
n
n
k
d2
k2
d2
(k1 δ + k2 )
d1
k1n
k=1

k1 =1 k2 =1

k2 =1

Making use of the Hurwitz ζ(n, q) =
obtain

P∞

k=0 (k

k1 =1

+ q)−n and Riemann zeta functions ζ(n) = ζ(n, 1), we



d2 −1
1
1 X
g−n (S2 ) = 1 − n ζ(n) − n
ζ(n, k1 δ),
d2
d2

n ≥ 2.

(20)

k1 =1

Interchange the generators d1 and d2 in (20) and get an alternative expression for g−n (S2 ):
g−n (S2 ) =



1
1− n
d1




d1 −1 
k2
1 X
ζ n,
.
ζ(n) − n
d1
δ
k2 =1

4

(21)

4 Identities for Hurwitz zeta functions
Combining formulas (20) and (21), we get the identity
"
"


#
#
dX
dX
2 −1
1 −1
d1
d2
1
1
ζ n, k
ζ n, k
ζ(n) +
= n ζ(n) +
,
dn2
d2
d1
d1
k=1

n ≥ 2,

(22)

k=1

that yields an expression for another important function for numerical semigroup S2 , namely, a sum
P
of the negative degrees of non-gaps values (zero excluding) G−n (S2 ) = s∈S2 \{0} s−n , n ≥ 2. This
conclusion follows from a simple identity g−n (S2 ) + G−n (S2 ) = ζ(n) and formulas (20,21).

Another spinoff of formulas (20) and (21) is a set of identities for the Hurwitz zeta functions. Consider the numerical semigroup S2 = h2, 3i with one gap N \ h2, 3i = {1}. Substituting g−n = 1 into
formulas (20) and (21), we obtain




2
4
ζ n,
+ ζ n,
= (3n − 1)ζ(n) − 3n
3
3

and



3
ζ n,
2



= (2n − 1)ζ(n) − 2n ,

respectively. Making use of semigroups with more complex set of gaps, we can get more sophisticated
identities. For example, consider the numerical semigroup S2 = h3, 4i with three gaps N \ h3, 4i =
{1, 2, 5}. Substituting it into (20) and (21), we have







 n 
4
3
6
9
ζ n,
+ ζ n,
+ ζ n,
= (4n − 1)ζ(n) − 4n + 2n +
4
4
4
5
and


4
ζ n,
3





8
+ ζ n,
3



 n  n 
3
3
+
= (3 − 1)ζ(n) − 3 +
,
2
5


n

n

respectively.

Acknowlegement
The main part of the paper was written during the stay of one of the authors (LGF) at the School of
Mathematics and Statistics of Wuhan University and its hospitality is highly appreciated. The research
was supported in part (LGF) by the Kamea Fellowship.

References
[1] L.G.Fel and B.Y.Rubinstein, Power sums related to semigroups S(d1 , d2 , d3 ),
Semigroup Forum, 74, 93-98 (2007)
[2] Ö. J. Rödseth, A note on Brown and Shiues paper on a remark related to the Frobenius problem,
Fibonacci Quart., 32 (5), 407-408 (1994)

5

