Preprint
Article

The Generalized Eta Transformation Formulas as the Hecke Modular Relation

Altmetrics

Downloads

90

Views

25

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

14 March 2024

Posted:

18 March 2024

You are already at the latest version

Alerts
Abstract
Transformation formula under the action of a general linear fractional transformation for generalized Dedekind eta-function has been a subject of intensive study, Rademacher, Dieter, Meyer et al. However, the (Hecke) modular relation structure has not been recognized until the work of Goldstein-de la Torre, and streamlining the classical proofs in the modular relation will reveal the meaning hidden in those works. Our main aim is to elucidate the works of these researchers in the context of modular relations.
Keywords: 
Subject: Computer Science and Mathematics  -   Algebra and Number Theory

1. Hecke Modular Relation for Generalized Eta-Functions

Rademacher’s “Topics” [1], along with Siegel’s “Advanced analytic number theory”[2], has been the masterpiece classic of the theory of algebraic aspect of analytic number theory and widely read by researchers. [1][Chapter 9] is devoted to the theory of the transformation formula for the Dedekind eta-function η ( τ ) ; hereafter abbreviated as ETF. The main concern is about the ETF under a general Möbius transformation, not restricted to the Spiegelung S : τ τ 1 . The correspondence between the transformation formula under the Spiegelung and the functional equation for the associated zeta-, L-functions has been known as the Hecke correspondence or more generally as the Riemann-Hecke-Bochner correspondence, RHB correspondence, also referred to as modular relation. This is developed by many authors [3,4,5,6,7,8,9,10,11,12], culminated by [13].
Rademacher [1][Chapter 9], however, incorporates Iseki’s paper [14] for the proof of ETF under a general substitution. [14] depends on the partial fraction expansion (PFE) for the cotangent function and [1] gives an impression that ETF must be proved by PFE. But it is known that PFE is equivalent to the functional equation for the Riemann zeta-function ζ ( s ) , [15], which naturally implies that ETF is also a consequence of RHB correspondence. Indeed, Rademacher himself [16] developed the integral transform method to prove ETF prior to Hecke’s discovery of RHB correspondence and his method was used by many subsequent authors [17,18,19,20,21], et al. all of whom used Rademcaher’s method not RHB correspondence. Iseki [22] seems to be the first who revived Rademacher’s method [16] to prove the functional equation, which was extended to the case of Lambert series by Apostol [23]. Both used the gamma transform (56) of the Estermann type zeta-function but RHB correspondence does not seem to be perceived.
Thus the real starter of the proper use of RHB correspondence is [24],which cites [5] and proves the general ETF from the generating zeta-function satisfying the ramified (Hecke) functional equation. [25], a sequel to [24] treats a more general eta-function on a totally real field of degree n by similar argument based on RHB correspondence. On the other hand, [26] adopted RHB correspondence, streamlining [20] and [21].
Our main aim is to elucidate the (Hecke) modular relation structure involved in earlier works by Rademacher, Dieter, Schoenberg et al. and make further developments. In this paper we confine ourselves to the case of Lambert series but as we will see, there appear the Koshlyakov transforms which are used recently, cf. [27].
Notation and symbols. Let
s ( x ) = n = 1 e 2 π i n x n s , σ > 1 , x R or Im x > 0 , s C
be the Lerch zeta-function and
ζ ( x , x ) = n = 0 1 ( n + x ) s 0 < x 1
the Hurwitz zeta-function, respectively. For x = 1 (and σ > 1 ), they reduce to the Riemann zeta-function
ζ ( s ) = n = 1 1 n s σ = Re s > 1 .
We make use of the vector space structures in the scone variable x of both these functions for which we refer to [28,29,30]. Let C ( s ) = { a ( n ) } be the vector space of all periodic arithmetic functions with period c ( N ) and let D ( c ) be the corresponding space of Dirichlet series f ( s ) = n = 1 a ( n ) n s both of dimension c. It is shown that one basis of C ( c ) is the set of characters and the other is their orthogonality relation, which yields the bases of D ( c ) : { s ν c | ν = 1 , , c } and { ζ s , ν c | ν = 1 , , c } , respectively. One of the base change formulas
z ν c = c z λ = 1 c e 2 π i ν c λ ζ z , λ c .
will play an important role.
1 ( x ) is not defined at integer points x and needs separate consideration. E.g. its odd part
1 2 1 ( x ) 1 ( 1 s ) = π i B ¯ 1 ( x )
is discontinuous at integer points x but has the value 0. The same applies to 0 ( x ) .
Another important vector space is the space K s of Kubert functions which are periodic functions with period 1 satisfying the Kubert relation ( * s ) :
r = 0 m 1 f x + r m = m 1 s f ( x ) .
cf., Milnor [31]. K s is of dimension 2 and is spanned by s ( x ) and s ( 1 x ) for s negative integers while by ζ ( s , x ) and ζ ( s , 1 x ) for s non-negative integers. The Kubert relations
μ = 1 c s x + μ c = c 1 s s ( x ) , 0 < x < 1 μ = 1 c ζ s , x + μ c = c 1 s ζ ( s , x ) , 0 < x 1
hold for s C except for singularities.
Since every element of K s is a linear combination of these two zeta-functions, we write
f ( s , x ) ζ ( s , x ) , g ( s , x ) s ( x )
to mean that f ( s , x ) is of Hurwitz zeta-type resp. g ( s , x ) of Lerch zeta-type satisfying the same conditions as ζ ( s , x ) resp. s ( x ) does. This in particular applies to their even and odd parts.
Define
E c a , b ( f , g , w , z ) = λ = 1 c f w , 1 a λ c g z , 1 b λ c .
(4) is Estermann’s type of Dedekind sum whose concrete case will appear in the second proof of Theorem 1. We substitute the functional equation
f 1 w , x = Γ ( w ) ( 2 π ) w e π i 2 w g ( w , x ) + e π i 2 w g ( w , 1 x )
or
g 1 z , x = Γ ( z ) ( 2 π ) z e π i 2 z f ( z , 1 x ) + e π i 2 z f ( z , x ) .
as the case may be to deduce
f ( 1 w , x ) g ( 1 z , y ) = Γ ( w ) Γ ( z ) ( 2 π ) w + z ( e π i 2 ( w + z ) f ( w , 1 x ) g ( z , y ) + e π i 2 ( w + z ) f ( w , x ) g ( z , 1 y ) + e π i 2 ( w z ) f ( w , x ) g ( z , y ) + e π i 2 ( w z ) f ( w , 1 x ) g ( z , 1 y ) )
This will appear in §5.
It is Mikolás [32] who first introduced the transcendental generalization of the Dedekind sums in which instead of (4), the f , f -type zeta functions are considered as with almost all preceding papers. In the second proof of Theorem 1, we will reveal that the Estermann type zeta-functions makes things simpler.

2. The Rademacher-Apostol Case

In this section we illustrate the elucidation of Rademacher’s integral transform method by showing the functional equation for the zeta-function and the general ETF as developed in Rademacher [16] (for eta function) and also by Apostol [17] (for Lambert series). The residual function in Theorem 1 is the corrected form of that of [17] in the form nearest to Apostol’s. This corrected form was first proved by Mikolás [33][p.106] and shortly thereafter by Iseki [14], both of whom treated the case p 1 . Then as stated above, [22] proved the Hecke functional equation in the case p = 1 and Apostol [23] used the same method to treat the case p > 1 , without mentioning RHB correspondence.
Toward the end we shall briefly explain the case of Krätzel [34].
Let c N , p 1 be an odd integer and let h be an integer such that ( h , c ) = 1 . Define the Rademacher-Apostol zeta-function
Z p ( s , h ) = μ , ν = 1 c e 2 π i h μ ν c ζ s , μ c ζ s + p , ν c .
Let
g p ( x ) = g p e 2 π i i z + h c = 1 2 π i ( γ ) Γ ( s ) Z p ( s , h ) c 1 ( 2 π c z ) s d s ,
be the Hecke gamma transform of Z p ( s , h ) as in [16][(1.14)], where γ > 1 .
Theorem 1.
The zeta-function Z p ( s , h ) satisfies the Hecke functional equation
( 2 π c ) s p 1 2 Γ ( s ) Z p ( s , h ) = ( 2 π c ) s + p 1 2 ( 1 ) p 1 2 Γ ( s ) Z p ( 1 p s , H ) ,
where H is an integer such that
h H 1 mod c .
. The Lambert series (7) satisfies the transformation formula
g p e 2 π i i z + h c = g p e 2 π i i z 1 + H c + P p ( z ) ,
where
P p ( z ) = Res s = p , , 0 , 1 Γ ( s ) Z p ( s , h ) c p ( 2 π c z ) s = 1 2 ( p + 1 ) ! 2 π z c p B p + 1 + ( 1 ) p 1 2 2 ( p + 1 ) ! 2 π c p z 1 B p + 1 + i ( 2 π i ) p 2 ( p ) ! s p , 1 ( c , h ) + 1 2 δ p , 1 log a + 1 2 1 ( 1 ) p 1 2 ζ ( p ) + r = 2 p ( 1 ) r r ! ( 2 π z ) r 1 ( 2 π i ) p + 1 r 2 ( p + 1 r ) ! s p , r ( c , h ) ,
and where δ p , 1 is the Kronecker symbol.
Proof. 
We combine the Hurwitz formula (12) and the base change formula (13) with f = χ μ to deduce (14): The Hurwitz formula (i.e., the functional equation for the Hurwitz zeta-function): for σ > 1 , 0 < x 1 ,
ζ ( 1 s , x ) = Γ ( s ) ( 2 π ) s e π i s 2 s ( x ) + e π i s 2 s ( 1 x ) .
The base change—linear combination expression—formula reads
1 c s a = 1 c a ( n ) ζ s , n c = D ( s , a ) = 1 c n = 1 c a ^ ( n ) s n c = 1 c n = 1 c 1 a ^ ( n ) s n c + a ^ ( c ) c ζ ( s ) ,
where a ^ ( n ) is the DFT (discrete Fourier transform) of a ( n ) . Choosing a ( n ) = χ μ ( n ) , χ μ being the characteristic function of μ , we see that its DFT is the character, which implies (1).
Combining (12) and (1), we deduce
ζ s , μ c = Γ ( 1 s ) 2 ( 2 π c ) 1 s × sin π 2 s λ = 1 c cos 2 π λ μ c ζ 1 s , λ c + cos π 2 s λ = 1 c sin 2 π λ μ c ζ 1 s , λ c .
Substituting (14) in (6) and using
μ = 1 c e 2 π i h μ ν c cos 2 π λ μ c = μ = 1 c cos 2 π h μ ν c cos 2 π λ μ c μ = 1 c e 2 π i h μ ν c sin 2 π λ μ c = μ = 1 c sin 2 π h μ ν c sin 2 π λ μ c ,
we conclude that
Z p ( s , h ) = c 1 ( 2 π c ) s ( λ , μ , ν = 1 c cos 2 π h μ ν c cos 2 π λ μ c 1 cos π 2 s ζ 1 s , λ c ζ p + s , ν c + λ , μ , ν = 1 c sin 2 π h μ ν c sin 2 π λ μ c 1 sin π 2 s ζ 1 s , λ c ζ p + s , ν c ) .
Changing s by 1 p s and μ by H μ , where H is as in (9), then the second factor remains unchanged up to the additional factor ( 1 ) p 1 2 . Hence
Z p ( 1 p s , H ) = ( 2 π c ) 1 p 2 s ( 1 ) p 1 2 Z p ( s , h ) ,
which is (8).
Substituting (16) in (7), we derive that
g p ( x ) = 1 2 c p + 1 × ( λ , μ , ν = 1 c cos 2 π h μ ν c cos 2 π λ μ c 1 2 π i ( γ ) 1 cos π 2 s ζ 1 s , λ c ζ s + p , ν c z s d s + λ , μ , ν = 1 c sin 2 π h μ ν c sin 2 π λ μ c 1 2 π i ( γ ) 1 sin π 2 s ζ 1 s , λ c ζ s + p , ν c z s d s ) ,
which is ([16](1.27)).
Shifting the integration path to σ = 1 p γ and applying (8), we conclude [16][(1.29)], which is (10).
Incorporating the residual function found in [17] with correction calculated in [27], we arrive at the general transformation formula, entailing ETF ([16](1.45)), completing the proof.
Second proof.
We may give a more lucid proof of (8) using the Estermann type Dedekind sum
E c a , b ( w , z ) = λ mod c ζ w , 1 a λ c z 1 b λ c = λ = 1 c 1 ζ w , a λ c z b λ c + ζ ( w ) ζ ( z ) .
Estermann [35][(19)] established the functional equation
E c a , 1 ( s , s ) = 2 ( 2 π ) 2 s 2 Γ 2 ( 1 s ) cos ( π s ) E c 1 , a ( 1 s , 1 s ) E c 1 , a ( 1 s , 1 s ) ,
which is a special case of the more general functional equation
E c a , b ( 1 w , 1 z ) = 2 Γ ( w ) Γ ( z ) ( 2 π ) w + z × cos π 2 ( w + s ) E c b , a ( z , w ) + cos π 2 ( w s ) E c b , a ( z , w ) .
We consider the sum slightly more general than (6):
I p ( w , z , h ) : = μ , ν = 1 c e 2 π i h μ ν c ζ w , μ c ζ z , ν c = μ = 1 c ζ w , μ c ν = 1 c e 2 π i h μ ν c ζ z , ν c .
The inner sum on the right of (21) is c z z h μ c in view of the base change formula (1) becomes
I p ( w , z , h ) = c z μ = 1 c ζ w , μ c z h μ c = c z E c 1 , h ( w , z ) ,
which becomes
Z p ( s , h ) = I p ( s , s + p , h ) = c s + p E c 1 , h ( s , s + p ) ,
on specifying w = s , z p + s . Hence, substituting (20) in (22), we deduce that
I p ( w , z , h ) = c z 2 Γ ( 1 w ) Γ ( 1 z ) ( 2 π ) 2 w z × cos π 2 ( w + s ) E c h , 1 ( 1 z , 1 w ) + cos π 2 ( w s ) E c h , 1 ( 1 z , 1 w ) .
Specifying w = s , z p + s , (24) reads
Z p ( s , h ) = I p ( s , s + p , h ) = c s + p 2 Γ ( 1 s ) Γ ( 1 p s ) ( 2 π ) 2 2 s p × cos π 2 ( 2 s + p ) E c h , 1 ( 1 p s , 1 s ) + cos π 2 p E c h , 1 ( 1 p s , 1 s ) .
Taking oddness of p into accout, this reduces to
Z p ( s , h ) = c s + p 2 Γ ( 1 s ) Γ ( 1 p s ) ( 2 π ) 2 p 2 s ( 1 ) p 1 s sin π s E c h , 1 ( 1 p s , 1 s ) ,
whence
Γ ( s ) Z p ( s , h ) = c s + p Γ ( 1 p s ) ( 2 π ) 1 p 2 s ( 1 ) p 1 s E c h , 1 ( 1 p s , 1 s ) .
Now let H be as in (9). Then
E c h , 1 ( 1 p s , 1 s ) = E c 1 , H ( 1 p s , 1 s ) = c 1 s Z p ( 1 p s , H )
by (23). Substituting this in (26) proves (8).
Third proof. We may restore the argument of [16] (and [17]) to prove (10) and the proof entails the proof of (8)., cf. [27]. □

3. The Krätzel Case

[34] deals with a generalization (38) of the eta-function which depends on the Hecke gamma transform of the zeta-function
Z a . b ( s ) : = 1 Γ ( s + 1 ) sin π 2 a b s ζ 1 a s ζ 1 b s ,
where a , b are natural numbers, ( a , b ) = 1 . Z a . b ( s ) satisfies the Hecke functional equation
Γ ( s ) Z a . b ( s ) = Γ ( s ) Z b , a ( s ) .
Krätzel’s method is essentially that of Rademacher although he does not refer to [16] and we give a brief account on this point.
Theorem 2.
The Krätzel-Rademacher method yields the modular relation (28) as well as the transformation formula
η a , b ( x ) = x a b 2 η b , a 1 x .
Proof. 
For the moment, we work with ( Re x > 0 and | arg z | < π 2 a b )
η ˜ a , b ( x ) : = m = 1 ν = 1 a 1 1 e 2 π i ε 2 μ + 1 ( 4 a ) n b a x b ,
where ε 2 μ + 1 ( 4 a ) = e 2 π i 2 ν + 1 4 a . Then for ϰ > a b , we have by the Hecke gamma transform
log η ˜ a , b ( x ) = 1 2 π i ( ϰ ) Γ ( s ) ζ ( s + 1 ) ζ b a s ν = 1 a 1 2 π i e i 2 ν + 1 4 a s 2 π x b s d s .
Now the sum becomes
ν = 1 a 1 i e 2 π i 2 ν + 1 4 a s = sin π 2 s s i n π 2 a s .
Hence (31) becomes
log η ˜ a , b ( x ) = 1 2 π i ( ϰ ) Γ ( s ) sin π 2 s sin π 2 a s ζ ( s + 1 ) ζ b a s 2 π x b s d s .
Now we apply the functional equation only to one factor  ζ ( s + 1 ) :
ζ ( s + 1 ) = ( 2 π ) s π Γ ( s + 1 ) sin π 2 s ζ ( s ) .
Substituting (33) in (32), we obtain
log η ˜ a , b ( x ) = 1 2 π i ( ϰ ) Γ ( s ) Γ ( s + 1 ) sin π 2 a s π ζ ( s ) ζ b a s x b s d s .
Note that the factor Γ ( s ) Γ ( s + 1 ) d s being 1 s d s remains invariant under the change of variable s a s , so that (34) becomes as in Krätzel,
log η ˜ a , b ( x ) = 1 2 π i ( ϰ 1 ) Γ ( s ) Γ ( s + 1 ) sin π 2 s π ζ ( a s ) ζ b s x a b s d s ,
where ϰ 1 > 1 b . These two are the main ingredients of Krätzel and corresponds to Rademacher’s (17).
Changing the variable s a b s , (35) becomes
log η ˜ a , b ( x ) = 1 2 π i ( ϰ 2 ) Γ ( s ) Z a , b ( s ) x s d s ,
i.e., the Hecke gamma transform of Z a , b ( s ) , where ϰ 2 > a . As usual, shifting the integration path to σ = ϰ 2 < 1 a , we encounter poles and we are to find residues. The resulting integral is the same as (36) with x changed by 1 x . Krätzel writes [34][p. 116] “Then under the substitution s s , the functional equation (28) follows on symmetry grounds” meaning that he proves (28) at this stage.
Krätzel treats (35) and shifts the line to ϰ 2 < 1 a finding the sum of residues
γ a , b ( x ) + γ b , a 1 x + 1 2 ( b a ) log 2 π a b 2 x ,
where
γ a , b ( x ) = π sin π 2 a ζ b a x b .
Hence defining
η a , b ( x ) = ( 2 π ) 1 b 2 e γ a , b ( x ) η ˜ a , b ( x ) ,
we conclude (29). □

4. Unification of Rademacher and Dieter Cases

In this section we prove the modular relation structure of the zeta-functions and the general ETFs contained in [16,17,18]. We work in the framework of Dieter with slight modifications. Let p , d , f , α , β be integers satisfying the conditions p 1 being odd, ( h , c ) = 1 , f 1 , 0 < α f . f works as a fixed aixiliary modulus and d = h in §2. In Dieter’s case, α , β 0 mod f is also assumed. Then the Dieter zeta-function is defined by
f α , β ( s , x ) = f p , α , β s , e 2 π i i z + h c = μ = 0 c 1 ν = 1 f c e 2 π i h μ ν + γ ν c ζ s , μ c + α c f ζ s + p , ν c f ,
where
γ ( α , β ) = γ ( α , β ) , γ = γ ( α , β ) = h α c β f .
We assume γ ( α , β ) = γ ( α , β ) for α , β 0 mod f, which we abbrviate γ ( 0 , 0 ) . We also assume that μ varies 1 , , c in the case of γ ( 0 , 0 ) . Then (39) with p = 1 amounts to (6). In almost all susequent researches after Rademacher, it is necessary to consider the even part [18][(2,11)], which is
g α , β ( s , x ) : = f α , β ( s , x ) + f α , β ( s , x ) .
One speculated reason for this is stated in [27].
Let
G p ( x ) = G p e 2 π i i z + h c = 1 2 π i ( γ ) Γ ( s ) g α , β ( s , x ) ( c f ) 1 ( 2 π c z ) s d s ,
be the Hecke gamma transform, where γ > 1 .
Theorem 3.
Rademacher’s transform yields the transformation formula
G p , α , β e 2 π i i z + h c = G p , α , β e 2 π i i z 1 + H c + P ( z ) ,
where
P ( z ) = s = p , , 0 , 1 Res Γ ( s ) g α , β ( s , x ) ( c f ) 1 ( 2 π c z ) s .
as well as the Hecke functional equation for the even part g α , β ( s , x ) of the Dieter zeta-function
( 2 π c f ) s p 1 2 Γ ( s ) g p , α , β ( s , x ) = ( 2 π c f ) s + p 1 2 ( 1 ) p 1 2 Γ ( 1 p s ) g p , α , β ( 1 p s , x ) ,
where H is an integer as in (10) and
α β = H c b h α β .
The theoem also covers Theorem 1.
Proof. 
We give a proof verbatim to that of Theorem 1. We employ (14) as
ζ s , μ c + α c f = Γ ( 1 s ) 2 ( 2 π c f ) 1 s ( sin π 2 s λ = 1 c cos 2 π λ μ c + α c f ζ 1 s , λ c f + cos π 2 s λ = 1 c sin 2 π λ μ c + α c f ζ 1 s , λ c f ) .
Substituting (14) in (8), we find that
c ( 2 π c f ) s Γ ( s ) f α , β ( s , x ) = λ , ν = 1 f c ( μ = 0 c 1 e 2 π i h μ ν + γ ν c cos 2 π λ μ c + α c f 1 cos π 2 s ζ 1 s , λ c f ζ p + s , ν c f + μ = 0 c 1 e 2 π i h μ ν + γ ν c sin 2 π λ μ c + α c f 1 sin π 2 s ζ 1 s , λ c f ζ p + s , ν c f ) .
To proceed further with the non-degenerated (48) we need a counterpart of (15) and for this we need to consider the even part [18][(2,11)], which is (41).
Then we are to incorporate
μ = 0 c 1 e 2 π i h μ ν + γ ν c cos 2 π λ μ c + α c f + μ = 0 c 1 e 2 π i h μ ν γ ν c cos 2 π λ μ c α c f = μ = 0 c 1 e 2 π i h μ ν + γ ν c cos 2 π λ μ c + α c f + μ = 0 c 1 e 2 π i h μ ν γ ν c cos 2 π λ μ c + α c f = 2 μ = 0 c 1 Re e 2 π i h μ ν + γ ν c cos 2 π λ μ c + α c f = 2 μ = 0 c 1 cos 2 π h μ ν + γ ν c cos 2 π λ μ c + α c f
and
μ = 0 c 1 e 2 π i h μ ν + γ ν c sin 2 π λ μ c + α c f + μ = 0 c 1 e 2 π i h μ ν γ ν c sin 2 π λ μ c α c f = 2 i μ = 0 c 1 sin 2 π h μ ν + γ ν c sin 2 π λ μ c + α c f .
Substituting in (48), we obatin
c ( 2 π c f ) s Γ ( s ) g α , β ( s , x ) = 2 λ , ν = 1 f c μ = 0 c 1 cos 2 π h μ ν + γ ν c cos 2 π λ μ c + α c f 1 cos π 2 s ζ 1 s , λ c f ζ p + s , ν c f 2 i λ , ν = 1 f c μ = 0 c 1 sin 2 π h μ ν + γ ν c sin 2 π λ μ c + α c f 1 sin π 2 s ζ 1 s , λ c f ζ p + s , ν c f .
Changing s by 1 p s and μ by H μ , where h H 1 mod c, then the right-hand side of (51) is changed into the one with the factor ( 1 ) p 1 2 and with the new pair of parameters α , β . Hence
c ( 2 π c f ) s + p 1 ( 1 ) p 1 2 Γ ( 1 p s ) g α , β ( s , x ) = c ( 2 π c f ) s Γ ( s ) g α , β ( s , x ) ,
which is (45).
Shifting the integration path in (42) to σ = 1 p γ and applying (8) establishes the assertion. The residual function (44) may be found on [18][p. 48].
The degenerate case of (48) leads to a generalization of Rademacher’s functional equation. Indeed, (48) with f = 1 , γ ( 0 , 0 ) reads
c ( 2 π c ) s Γ ( s ) f 0 , 0 ( s , x ) = λ , ν = 1 c ( μ = 1 c e 2 π i h μ ν c cos 2 π λ μ c 1 cos π 2 s ζ 1 s , λ c ζ p + s , ν c + μ = 1 c e 2 π i h μ ν c sin 2 π λ μ c 1 sin π 2 s ζ 1 s , λ c ζ p + s , ν c ) .
Substituting (15) in (52) proves Rademacher-Apostol case [36]:
( 2 π c ) s p 1 2 Γ ( s ) Z p ( s , h ) = ( 2 π c ) s + p 1 2 ( 1 ) p 1 2 Γ ( s ) Z p ( 1 p s , H ) ,
where
Z p ( s , h ) = μ , ν = 1 c e 2 π i h μ ν c ζ s , μ c ζ s + p , ν c .
(53) reduces to (8) for p = 1 . □
Other papers dealing with generalizations of the eta-function use
E ( s , h ) = μ , ν = 1 c e 2 π i h μ ν c ζ s , μ c s + 1 ν c .
instead of (6) and are feasible for description in the form of the Hecke correspondence. We hope to return to the study of this aspect and more general Dedekind sums including one with Kubert functions elsewhere. But we shall mentions one type of Estermann type in the nect section.

5. The Schoenberg Case

This section is concerned with [20], which is reproduced in [21][pp. 184-202, Chapter VIII]. On [21][p. 184] it is stated that the transition is made from Hecke’s Eisenstein series of weight 2 [21][p. 164] to a linearly equivalent system containing non-analytic function G 2 .
We stick to [20][p. 5 ], which is directly related to (5).
In particular,
ζ ( s , α ) s + 1 ( β ) = i ( 2 π ) 2 s sin π s ( e π i s ζ ( s , 1 β ) 1 s ( α ) + e π i s ζ ( s , β ) 1 s ( 1 α ) + ζ ( s , 1 β ) 1 s ( 1 α ) ζ ( s , β ) 1 s ( α ) ) .
We write ξ = e 2 π i β and define the Lambert series [20][(20)]
U ( x ; α , β ) = m > α n > 0 ξ n n e ( m + α ) n x , x > 0 .
Then [20][(26)] considered the gamma transform of the Estermann type zeta function
U ( x ; α , β ) = 1 2 π i ( ϰ ) Γ ( s ) ζ ( s , α ) s + 1 ( β ) c x d s ,
where ϰ > 1 . If we substitute (54) into (56), then the integral is hardly tractable. This is why Schoenberg deduced only an asymptotuc formula for U ( x ; α , β ) .
Let
a = ( a 1 , a 2 ) Z 2 , α = α ( a ) = a 1 c N + r c , β = β ( a ) = ξ r ,
where
ξ r = e 2 π i a 1 c N + q r c , a 1 = a a 1 + c a 2 .
Then we consider
X ( a ) = X ( a 1 , a 2 ) = U ( x ; α , β ) = U 2 π c x ; a 1 c N + r c , ξ r .
But what is needed eventually is an expression for the even part X ( a 1 , a 2 ) + X ( a 1 , a 2 ) ([20, p. 8]) and we prove the following theorm for the zeta-function of the even part.
Theorem 4.
For
Z ( s , α , β ) = ζ ( s , α ) s + 1 ( β ) + ζ ( s , 1 α ) s + 1 ( 1 β )
and
Z ˜ ( s , α , β ) = ζ ( s , 1 β ) s + 1 ( α ) + ζ ( s , β ) 1 s ( 1 α )
the functional equation
Z ( s , α , β ) = 2 ( 2 π ) 2 s Z ˜ ( s , α , β )
holds.
Proof. 
On [20][p. 7], Schoenberg defined
ξ r = e 2 π i a 1 c N + q r c
and noted
ξ r = ξ c r 1 ,
Hence
α ( a ) = 1 α ( a ) , β ( a ) = 1 β ( a ) .
X ( a ) = U ( x ; 1 α , 1 β ) .
It follows that when substituting from (54) in X ( a ) + X ( a ) , the sums with the third and the fourth terms vanish and we sum only first two terms of (54) and the sine function cancels. Hence the zeta-function Z ( s , α , β ) of X ( a ) + X ( a ) is
Z ( s , α , β ) = i ( 2 π ) 2 s sin π s e π i s + e π i s ζ ( s , 1 α ( a ) ) 1 s ( α ( a ) ) + ζ ( s , β ( a ) ) 1 s ( α ( a ) ) = 2 ( 2 π ) 2 s ζ ( s , 1 β ) 1 s ( α ) + ζ ( s , β ) 1 s ( 1 α ) ,
which proves (60). □
Hence what comes out is the Hecke gamma transform of a tractable function and the process onwards is verbatim to that of the preceding sections and we do not go into details.

Author Contributions

Conceptualization, N.W., T.K. and S.K.; methodology, S.K.; formal analysis, N.W. and T.K.; writing-original draft preparation, S.K.; writing-review and editing, N.W. and T.K.; supervision, S.K.; funding acquisition, T.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Informed Consent Statement

Not applicable.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Rademacher, H. (1973). Topics in analytic number theory, Springer, Berlin.
  2. Siegel, C. L. (1961). Lectures on advanced analytic number theory, Tata Inst. Bombay.
  3. Berndt, B. C. and Knopp, M. I. (2000). Hecke’s theory of modular forms and Dirichlet series, World Sci., Singapore etc.
  4. Bochner, S. (1951). Some properties of modular relations, Ann. of Math. (2) 53, 332–363=Collected Papers of Salomon Bochner, Part II, Amer. Math. Soc., Providence, RI 1991, 665-696.
  5. Hecke, E. (1936). Über die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung, Math. Ann. 112, 664-669=Mathematische Werke, 591-626, Vandenhoeck u. Ruprecht, Göttingen 1959.
  6. Hecke, E. (1983). Lectures on Dirichlet Series, Modular Functions and Quadratic Forms, ed. by B. Schoenberg in coll. with W. Maak, Vandenhoeck u. Ruprecht, Göttingen (first edition: Dirichlet Series, Planographed Lecture Notes, Princeton IAS, Edwards Brothers, Ann Arbor, 1938).
  7. Knopp, M. (2000). Hamburger’s Theorem on ζ(s) and the abundance principle for Dirichlet series with functional equations, Number Theory (ed. by R. P. Bambah et al.), 201–216, Hindustan Book Agency, New Delhi.
  8. Ogg, A. (1969). Modular Forms and Dirichlet Series, Benjamin, New York.
  9. Riemann, B. (1859). Über die Anzahl der Primzahlen unter einer gegebenen Grösse, Monatsber. Berlin. Akad., 671–680=Collected Works of Bernhard Riemann, ed. by H. Weber, 2nd ed. Dover, New York 1953, 145-153; Anmerkung 154-155.
  10. Weil, A. (1968). Sur une formule classique, J. Math. Soc. Japan 20, 400-402 = Coll. Papers, III, Springer Verl., 1980, Berlin etc., 198-200.
  11. Weil, A. (1971). Dirichlet series and automorphic forms, LNM 189 Springer Verl., Berlin-Heidelberg-New York.
  12. Weil, A. (1979). Remarks on Hecke’s Lemma and its use, Algebraic Number Theory, Intern. Symposium Kyoto 1976, S. Iyanaga (ed.), Jap. Soc. for the Promotion of Science 1977, pp. 267–274= Coll. Papers, III, ??, Springer Verl., Berlin etc. 1979.
  13. Kanemitsu, S. and Tsukada, H. (2014). Contributions to the theory of zeta-functions: the modular relation supremacy, World Sci., Singapore etc.
  14. Iseki, S. (1957). The transformation formula for the Dedekind modular function and related functional equation, Duke Math. J. 24, 653-662. [CrossRef]
  15. Kanemitsu, S. and Tsukada, H. (2007). Vistas of Special Functions, World Scientific, Singapore etc.
  16. Rademacher, H. (1932). Zur Theorie der Modulfunktionen, J. Reine Angew. Math. 167, 312-336; Collected Papers of H. Rademacher I, 1974, 652-677.
  17. Apostol, T. M. (1950). Generalized Dedekind sums and the transformation formula of certain Lambert series, Duke Math. J. 17, 147-157. [CrossRef]
  18. Dieter, U. (1959). Das Verhalten der Kleinschen Funktionen logσg,h(ω1,ω2) gegenüber Modultransformationen und verallgemeinerte Dedekindsche Summen, J. Reine Angew. Math. 201, 37-70.
  19. Meyer, C. (1957). Über einige Anwendungen Dedekindscher Summen, J. Reine Angew. Math. 198, 143-203.
  20. Schoenberg, B. (1967). Verhalten der speziellen Integralen 3. Gattung bei Modultransformationen und verallgemeinerte Dedekindsche Summen, Abh. Math. Sem. Univ. Hamburg 30, 1-10. [CrossRef]
  21. Schoenberg, B. (1974). Elliptic modular functions, Springer Verl., Berlin-Heidelberg.
  22. Iseki, S. (1961). A proof of a functional equation related to the theory of partitions, Proc. Amer. Math. Soc. 12, 502-505. [CrossRef]
  23. Apostol, T. M. (1964). A short proof of Shô Iseki’s functional equation, Proc. Amer. Math. Soc. 15, 618-622. [CrossRef]
  24. Goldstein. L. J. and de la Torre, P. (1974). On the transformation formula of logη(τ), Duke Math. J. 41, 291-297.
  25. Goldstein. L. J. and de la Torre, P. (1975). On a function analogous to logη(τ), Nagoya Math. J. 59, 169-198.
  26. Schoenberg, B. (1979). Zusammenhang von Dirichletscher Reihen mit Funktionalgleichung, Integralen 3. Gattung und Thetareihen in der Theorie der Modulfunktionen, Math. Ann., 239, 149-164. [CrossRef]
  27. Li. R. Y., Kuzumaki, T. and Kanemitu, S. (2024) On Koshlyakov’s transform and Fourier-Bessel expansion, to appear.
  28. Li. H. Y., Kuzumaki, T. and Kanemitu, S. (2023). On zeta-functions and allied theta-functions, Advances in applied analysis and number theory, World Sci., Singapore, etc., 51-97.
  29. Mehta, J., Kátai, I. and Kanemitsu, S. (2023). On periodic Dirichlet series and special functions, Chapter 18 of “Advanced mathematical analysis and its applications”, edited by Pradip Debnath, Delfim F. M. Torres, Yeol Je Cho, CRC Press, Boca Raon etc. 309-325.
  30. Wang, N. -L., Tanigawa, Y. and Kanemitsu, S. (2024). On general Dedekind sums, to appear.
  31. Milnor, J. (1983). On polylogarithms, Hurwitz zeta-functionsand the Kubert identities, Enseign. Math. (2) 29, 281-322.
  32. Mikolás, M. (1956). Mellinsche Transformation und Orthogonalität bei ζ(s,u); Verallgemeinerung der Riemannschen Funktionalgleichung von ζ(s), Acta Sci. Math. (Szeged) 17, 143–164.
  33. Mikolás, M. (1957). On certain sums generating the Dedekind sums and their reciprcity laws, Pacific J. Math. 7, 1167-1178, errata 1733.
  34. Krätzel, E. (1981). Dedekindsche Funktionen und Summen, I, II Period. Math. Hungar. 12, 113-123, 163-179. [CrossRef]
  35. Estermann, T. (1930). On the representation of a number as the sum of two products, Proc. London Math. Soc. (2) 31, 123-133. [CrossRef]
  36. Wang, N. -L., Tanigawa, Y. and Kanemitsu, S. (2024). Generalized eta transformation formulas and Dedekind sums viewed as modular relations, to appear.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated