Arxiv:2101.07449V1 [Math.NT] 19 Jan 2021 Opi Otnain Aua Boundary

Home , Dirichlet series

arXiv:2101.07449v1 [math.NT] 19 Jan 2021 opi otnain aua boundary. natural continuation, morphic 11M41. eso ftejunlbc ubr,wihIcudntra,s at so read, not could I which li- numbers, orig back the Russian journal the visited the only immediately of were there version I library University, the in Rikkyo Unfortunately to and brary. back Kubilius, went Professor thanked I I when Rinkinys. Matematikos Lietuvos in interested.” surely are you which said: and me value-distribut to the gave close concerning came I thesis, zeta-function meeting my Riemann the of the On contents of the year. on same talk the Dr of a of March degree in a my was University I getting Rikkyo time after that this just At sate on researcher, him. small and post-doctoral with a theory team, number organized Soviet probabilistic theorists the on meeting number of Profes- members Japanese the some there. of occasion, held one was was Kubilius Probability sor on Symposium USSR-Japan 5th e od n phrases. and words Key ute emnindta ayppr fLuiˇia a efou be Laurinˇcikas can of papers in many papers that of mentioned lot he Further a wrote he and mathematician, Lithuanian a is “He Laurinˇcikas?” Antanas of “No.” name the know you “Do the when 1986, July in Kyoto at Kubilius Jonas Professor met first I 2010 UVYO H HOYO MULTIPLE OF THEORY THE ON SURVEY A nteocso fte10yasanvrat fhsbirth his of anniversaity years 100 the of occasion the on IIHE EISWT ARITHMETICAL WITH SERIES DIRICHLET hoyo utpeDrcltsre ihaiheia offiinson coefficients arithmetical numerators. with the series Dirichlet multiple of theory Abstract. ahmtc ujc Classification. Subject Mathematics OFIINSO H NUMERATORS THE ON COEFFICIENTS eiae oPoesrJnsKubilius Jonas Professor to Dedicated esre oercn eeomnsi h analytic the in developments recent some survey We 1. esnlrecollection personal A utpeDrcltsre,aiheia offiins mero- coefficients, arithmetical series, Dirichlet multiple OJ MATSUMOTO KOHJI ζ ( s .Atrm ak rfso Kubilius Professor talk, my After ). 1 rmr 13,Scnay11M26, Secondary 11M32, Primary c.from Sci. . that llite inal ion nd 2 KOHJI MATSUMOTO time I gave up reading the papers of Laurinˇcikas. (Several years later I noticed the existence of the English translation of Liet. Mat. Rink.) In the next year, I got a job of a lecturer at Iwate University, and in 1995 I moved to Nagoya University. And then in 1996 I first visited Lithuania, to attend the 2nd Palanga Conference on Analytic and Probabilistic Number Theory. I met again Professor Kubilius, and found many new Lithuanian friends. Since then, I became a regular member of the Palanga Conferences. In September 2011, I attended the 5th Palanga Conference; it was just one and a half month before the death of Professor Kubilius. When I arrived at the university villa in Palanga, at the entrance of the villa I met Professor Kubilius. When he noticed me, he said “Ça va?” I replied oui ¸ca va, and said greetings in English. It was my last conversation with him.

2. Multiple Dirichlet series with or without coefficients One of the most favorite topics investigated by Professor Kubilius is the theory of arithmetical functions. Therefore the author feels it a natural choice here to report some recent developments in the theory of multiple Dirichlet series with arithmetical coefficients on the numerators. We begin, however, with the definition of multiple zeta-functions without coefficients: ∞ ∞ (2.1) ζ (s ,...,s )= m−s1 (m + m )−s2 r 1 r ··· 1 1 2 mX1=1 mXr=1 (m + + m )−sr , ×···× 1 ··· r where s ,...,s C. This multiple series is sometimes called the 1 r ∈ Euler-Zagier r-fold zeta-function. This series is absolutely convergent when (s + + s ) >k (1 k r), ℜ r−k+1 ··· r ≤ ≤ but can be continued meromorphically to the whole space Cr. Now lots of analytic, algebraic, and arithmetic properties of this series (2.1) and its special values are known. It is natural to consider some generalization of (2.1), which has some coefficients on the numerators. We introduce the following two types of generalizations: MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 3

Type x: x Φr (s1,...,sr; a1,...,ar) ∞ ∞ a (m )a (m ) a (m ) = 1 1 2 2 ··· r r , s1 s2 sr ··· m1 (m1 + m2) (m1 + + mr) mX1=1 mXr=1 ··· ··· and Type : ∗ ∗ Φr(s1,...,sr; a1,...,ar) ∞ ∞ a (m )a (m + m ) a (m + + m ) = 1 1 2 1 2 ··· r 1 ··· r . s1 s2 sr ··· m1 (m1 + m2) (m1 + + mr) mX1=1 mXr=1 ··· ··· Here, the notation x and is according to the philosophy of T. ∗ Arakawa and M. Kaneko [2]. The aim of the present article is to survey recent results related with the above two types of multiple series. It is to be noted that the present survey is by no means complete. In this article we mainly discuss the analytic point of view, so many important results on special values are not mentioned. Moreover, we do not discuss several multiple series with arithmetical numerators, similar to our series. For example, there are a lot of references on multiple Dirichlet series with some kind of twisted factors on the numerators. In the present article, however, we will only discuss the case of Dirichlet characters later, without mentioning the details of other articles, e.g., P. Cassou-Nogu`es [9] [10], M. de Crisenoy [13], de Crisenoy and D. Essouabri [14], Essouabri and the author [17], and so on. More generally, R. de la Bret`eche [7] studied the multiple series of the form ∞ ∞ f(m ,...,m ) 1 r , s1 s2 sr ··· m1 m2 mr mX1=1 mXr=1 ··· while several mathematicians treated ∞ ∞ f(m1,...,mr) s ··· P (m1,...,mr) mX1=1 mXr=1 where P is a polynomial, or more generally ∞ ∞ f(m1,...,mr) s1 sn ··· P1(m1,...,mr) Pn(m1,...,mr) mX1=1 mXr=1 ··· where P1,...,Pn are polynomials (see, e.g., B. Lichtin’s series of papers such as [27] [28], M. Peter [31], Essouabri [16], and so on). The contents of those researches are also not treated in the present article. 4 KOHJI MATSUMOTO

The series introduced and studied by D. Goldfeld, D. Bump, S. Fried- berg, J. Hoﬀstein et al. (see, e.g., [8]) are also called “multiple Dirichlet series”, but are diﬀerent from the series dsicussed in the present article.

3. The case of type ∗ In this section we consider the case of type . ∗ The simplest situation is when aj (1 j r) are periodic functions. ∗ ≤ ≤ In this case, the sum Φr(s1,...,sr; a1,...,ar) can be easily written as a linear combination of multiple series with numerator = 1.

The case aj = χj (Dirichlet characters) was studied by S. Akiyama ∗ and H. Ishikawa [1]. They wrote Φr(s1,...,sr; χ1,...,χr) as a linear combination of multiple zeta-functions of the form (3.1) ∞ ∞ (m + α )−s1 (m + m + α )−s2 (m + + m + α )−sr ··· 1 1 1 2 2 ··· 1 ··· r r mX1=1 mXr=1

(where α1,...,αr are constants). The series (3.1) can be treated analo- gously to the case of (2.1). Ishikawa [22] [23] studied further, and gave applications to the evaluation of certain multiple character sums. When the coefficients are not periodic, the study of analytic properties of multiple series of type is not easy. Here we mention a paper ∗ of Essouabri, H. Tsumura and the author [18], in which the case when the coefficients satisfy a recurrence condition is handled. Assume the recurrence condition h−1 a (m + h)= λ a (m + j) for all m N i ji i ∈ Xj=0 among coefficients, where λ C. Denote by η , . . . .η the family ij ∈ 1 q of all maps from 1,...,r to 0,...,h 1 (so q = hr), and for { } { − } m =(m ,...,m ) Nr, define 1 r ∈ r A (m) := a (m + + m + η (i)) (l =1,...,q) l i 1 ··· i l Yi=1 and A(m) := (A (m),...,A (m)). Define the matrix T (1 k r) 1 q k ≤ ≤ by

A(m + hek)= TkA(m), where ek is the k-th unit vector.

Theorem 3.1. ( [18]) If ai is at most of polynomial order, satisﬁes the above recurrence condition, and if 1 is not an eigenvalue of any of the MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 5 matrices T1,...,Tr, then ∞ ∞ a (m )a (m + m ) a (m + + m ) 1 1 2 1 2 ··· r 1 ··· r s1 s2 sr ··· m1 (m1 + m2) (m1 + + mr) mX1=1 mXr =1 ··· ··· can be holomorphically continued to the whole space Cr.

As a typical example, a double series with Fibonacci numbers Fn on the numerator is discussed. In fact, it was shown that the double series ∞ ∞ (iα−1)2m+nF +(iα−1)m+2nF φ(s)= 2m+n m+2n ms(m + n)s mX=1 Xn=1 (α = (1+ √5)/2) can be continued meromorphically to C. Moreover, the evaluation of a special value 1 φ(0) = 6 √5+(2 3√5)i 18 − − and a sum formula ∞ ∞ α−mF + α−nF α−m−nF ∞ α−mF m n − m+n = m m(m + n)2 m3 mX=1 Xn=1 mX=1 are given. An important auxiliary tool in [18] is a kind of vectorial zeta-functions. Special values of those vectorial zeta-functions satisfy “vectorial sum formulas”. Such formulas were proved in [18] in the double and triple cases. The formula in the general case was proposed as a conjecture in [18], and proved by S. Yamamoto [34].

4. Application of the Mellin-Barnes integral formula x ∞ −s Hereafter we discuss the case of type . Let ϕk(s)= m=1 ak(m)m x (1 k r), and we sometimes write Φr (s1,...,sr; ϕ1P,...,ϕr) instead ≤x ≤ of Φr (s1,...,sr; a1,...,ar). The advantage of type x is that this type of series is more suitable to analytic study. In fact, write x Φr (s1,...,sr; ϕ1,...,ϕr) ∞ ∞ a (m )a (m ) a (m ) = 1 1 2 2 ··· r r s1 s2 sr−1 ··· m1 (m1 + m2) (m1 + + mr−1) mX1=1 mXr=1 ··· ··· m −sr (m + + m )−sr 1+ r , × 1 ··· r−1 m + + m 1 ··· r−1 and to the last factor apply the classical Mellin-Barnes integral formula 1 c+i∞ Γ(s + z)Γ( z) (1 + λ)−s = − λzdz, 2πi Zc−i∞ Γ(s) 6 KOHJI MATSUMOTO where s,λ C, s> 0, λ = 0, arg λ < π, and s

x Φr (s1,...,sr; ϕ1,...,ϕr) 1 c+i∞ Γ(s + z)Γ( z) = r − 2πi Zc−i∞ Γ(sr) ∞ ∞ a (m )a (m ) a (m ) 1 1 2 2 ··· r r s1 s2 sr−1+sr+z × ··· m1 (m1 + m2) (m1 + + mr−1) mX1=1 mXr−1=1 ··· ··· ∞ a (m )mzdz × r r r mXr=1 1 c+i∞ Γ(s + z)Γ( z) = r − 2πi Zc−i∞ Γ(sr) Φx (s ,...,s ,s + s + z; ϕ ,...,ϕ )ϕ ( z)dz. × r−1 1 r−2 r−1 r 1 r−1 r −

(Here, the important point is that the sum with respect to mr can be separated.)

Using this expression, we can reduce the study of Φr to that of Φr−1 and ϕr, and to that of Φr−2 and ϕr−1,..... and ﬁnally we obtain

Theorem 4.1. (Matsumoto and Tanigawa [30]) Assume that ϕk(s) (1 k r) are convergent absolutely for s with sufficiently large ≤ ≤ real part, continued meromorphically to the whole complex plane, with x finitely many poles, and are of polynomial order. Then Φr (s1,...,sr; ϕ1,...,ϕr) can be continued meromorphically to the whole Cr, and the location of possible singularities can be given explicitly. In particular, if all ϕk(s) (1 k r) are entire, then Φx(s ,...,s ; ϕ ,...,ϕ ) is also entire. ≤ ≤ r 1 r 1 r In particular, ∞ ∞ a (m ) Φx(s ,s ;1,ϕ )= 2 2 2 1 2 2 s1 s2 m1 (m1 + m2) mX1=1 mX2=1 can be continued. This double series satisfies a certain “functional equation” which is written in terms of confluent hypergeometric functions (see [11] [12]): MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 7

Theorem 4.2. (Choie and Matsumoto [11]) We have

x Γ(1 s1)Γ(s1 + s2 1) Φ2 (s1,s2;1,ϕ2)= − − ϕ2(s1 + s2 1) Γ(s2) − +Γ(1 s ) F (1 s , 1 s )+ F (1 s , 1 s ) , − 1 { 2,+ − 2 − 1 2,− − 2 − 1 } where

F (s ,s )= A (l)Ψ(s ,s + s ; 2πil), 2,± 1 2 s1+s2−1 2 1 2 ± Xl≥1

c Ac(l) = n|l n a2(n) and Ψ is the conﬂuent hypergeometric function deﬁned byP

iφ 1 e ∞ ψ(a, b; x)= e−xyya−1(y + 1)b−a−1dy. Γ(a) Z0

Furthermore, when ϕ2 is an automorphic L-function, then by using the modular relation, a diﬀerent type of functional equation can also be proved. Why we may call Theorem 4.2 a ”functional equation”? There are mainly two reasons. First, it can be compared with the functional ∞ −s equation of the Hurwitz zeta-function ζ(s,α) = n=0(n + α) (0 < α 1): P ≤ Γ(s) ζ(1 s,α)= eπis/2φ(s, α)+ e−πis/2φ(s,α) − (2π)s { − }

∞ 2πinα −s with φ(s,α)= n=1 e n . Secondly, whenP a (n) 1, a symmetric form of the functional equa- 2 ≡ tion (that is, a relation which connects Φx(s ,s ) with Φx(1 s , 1 s )) 2 1 2 2 − 2 − 1 can be deduced from Theorem 4.2 on hyperplanes s1 + s2 = 2k +1 (k Z 0 ). ∈ \{ } This second point was already observed in a paper of Y. Komori, Tsumura and the author [25]. We note that a generalization of the results in [25] to the case of double L-functions twisted by Dirichlet characters was discussed in [26].

In Theorem 4.1, the assumption that each ϕk has only finitely many x poles is important. The analytic behavior of Φr may become different when some of ϕk has infinitely many poles. In the next section we will discuss such cases. 8 KOHJI MATSUMOTO

5. The case when some ϕk has infinitely many poles Typical examples of Dirichlet series with arithmetical coefficients which have infinitely many poles are ∞ Λ(m) ζ′(s) ∞ µ(m) 1 = , = , ms − ζ(s) ms ζ(s) mX=1 mX=1 where Λ(m) is the von Mangoldt function and µ(m) is the Möbius function. Both of the above series have infinitely many poles at the zeros of ζ(s). x We now consider the behavior of Φr , where some of associated ϕk has infinitely many poles (as in the above examples). Let N(Φx) = # k 1 k r, ϕ has infinitely many poles . r { | ≤ ≤ k } . A recent article of A. Nawashiro, Tsumura and the author [29] studied x several examples which satisfy N(Φ2 ) = 1. For example, Theorem 5.1. ( [29]) The double series ∞ ∞ Λ(m2) s1 s2 m1 (m1 + m2) mX1=1 mX2=1 can be continued meromorphiocallty to the whole C2, and the location of possible singularities can be described explicitly.

∞ −s Next, take ϕ1(s) = m=1 a1(m)m which has only ﬁnitely many ploes, and consider theP convolution of a1 and µ: m a(m)= a µ(d). 1 d Xd|m e In other words, ϕ (s) ∞ 1 = a(m)m−s. ζ(s) mX=1 e Assumption 5.2. All non-trivial zeros of ζ(s) are simple and

1 B ′ = O( ρn ) (ρn : n-th zero, B> 0) ζ (ρn) | | holds. (This is a quantitative version of the well-known ”simplicity conjecture” for the zeros of ζ(s), and consistent with the Gonek-Hejhal conjecture [19] [21].)

Theorem 5.3. ( [29]) Under Assumption 5.2, the double series ∞ ∞ a(m2) s1 s2 m1 (m1 + m2) mX1=1 mX2=1 e MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 9 can be continued meromorphiocallty to the whole C2, and the location of possible singularities can be described explicitly.

The paper [29] only considers the double zeta case, but a generalization of [29] to the general multiple case was treated by Rei Kawashima [24]. She also discussed the case when Λ is replaced by the Liouville function λ.

x The above two theorems show that when N(Φ2 ) = 1, the analytic x x behavior of Φ2 is not so different from the case when N(Φ2 ) = 0. However, if N(Φx) = 2, or more generally if N(Φx) 2, the analytic 2 r ≥ behavior of the multiple series is totally different. Consider ∞ ∞ Λ(k)Λ(l) F (s)= , 2 (k + l)s Xk=1 Xl=1 which is equal to Φ (0,s; ζ′/ζ, ζ′/ζ), so both ϕ and ϕ have infin- 2 − − 1 2 itely many poles. We can rewrite ∞ G (m) F (s)= 2 , G (m)= Λ(k)Λ(l). 2 ms 2 mX=1 k+Xl=m

It is to be noted that this G2(m) is the counting function of the classical Goldbach problem:

G2(m)= log p1 log p2 = log p1 log p2 + (error), r1≥X1,r2≥1 p1+Xp2=m r1 r2 p1 +p2 =m where p1,p2 denote primes. Using the Mellin-Barnes formula, we have 1 c+i∞ Γ(s + z)Γ( z) ζ′ ζ′ F2(s)= − (s + z) ( z)dz. 2πi Zc−i∞ Γ(s) ζ ζ − Shifting the path of integration suitably, we ﬁnd that there are poles of F2(s) at: s =2, s = ρ +1, s = ρ + ρ′ (where ρ, ρ′ denotes the non-trivial zeros of ζ(s)). Now assume the RH (Riemann Hypothesis). Then (ρ+ρ′) = 1, and ℜ we can show that ρ+ρ′ are dense on the line s = 1. Therefore s =1 ℜ ℜ seems a kind of barrier if we want to continue F2(s) meromorphically. It is believed that γ = ρ> 0 are linearly independent over Q (the ℑ linear independence conjecture, LIC).

Theorem 5.4. If RH and LIC are true, then s = 1 is the natural ℜ boundary of F2(s). 10 KOHJI MATSUMOTO

This was ﬁrst proved by S. Egami and the author [15] under the RH and a stronger quantitative version of LIC, and then in the above form by G. Bhowmik and J.-C. Schlage-Puchta [6]. Moreover, in [6] it is also shown that ∞ ∞ Λ(k1) Λ(kr) Fr(s)= ··· s (r 3) ··· (k1 + + kr) ≥ kX1=1 kXr=1 ··· has the natural boundary s = r 1 if RH is true and s = 1 is the ℜ − ℜ natural boundary of F2(s). A generalization to the case with congruence conditions has been also studied. Let

G2(m; q, a, b) := Λ(k)Λ(l), k+Xl=m k≡a,l≡b (modq) where a, b, q are positive integers with (ab, q) = 1, and deﬁne the associated Dirichlet series by ∞ G (m; q, a, b) F (s; q, a, b) := 2 . 2 ms mX=1

The behavior of F2(s; q, a, b) was ﬁrst treated by F. R¨uppel [32], and then further studied by Y. Suzuki [33]. Let

S(x; q, a, b) := G2(m; q, a, b). mX≤x We can reduce the study of S(x; q, a, b), via its associated Dirichlet series F2(s; q, a, b), to that of the behavior (especially the distribution of zeros) of Dirichlet L-functions. Thereby we can establish the connection between Goldbach generating functions and the zeros of L- functions (especially the generalized Riemann hypothesis, GRH). The existence of this connection was ﬁrst suggested by A. Granville [20] in the Riemann zeta case, and then fully developed in Bhowmik et al. [3] [4] [5]. We conclude this article with the statement of some theorems proved in those papers. Let B = sup ρ and B = sup B χ (mod q) . χ {ℜ χ} q { χ | } Theorem 5.5. ( [4]) For any δ > 0, We have 2 x ∗ S(x; q, a, b)= + O(x1+Bq ), 2ϕ(q)2 where B∗ = min B , 1 η with q { q − } c(δ) η = max qδ, (log x)2/3(log log x)1/3 { } MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 11

(where c(δ) is a small positive constant).

∗ Remark 5.6. In particular, if we assume GRH, then Bq = Bq = 1/2 and x2 S(x; q, a, b)= + O(x3/2). 2ϕ(q)2 Now recall a well-known conjecture (DZC): Any two distinct Dirich- let L-functions (mod q) do not have a common non-trivial zero (except for a possible multiple zero at s =1/2). Theorem 5.7. ( [4], [5]) Assume that the DZC is true, and χ(a)+ χ(b) =0 for all χ (mod q). If the asymptotic formula 6 x2 S(x; q, a, b)= + O(x1+d+ε) (1/2 d< 1) 2ϕ(q)2 ≤ holds for any ε > 0, then either B d or B = 1. Moreover we can q ≤ q remove the possibility of Bq =1 when a = b. Remark 5.8. In particular, if a = b and the above formula holds with 3/2+ε the error O(x ) (that is, d =1/2), then Bq =1/2, that is, the GRH holds.

References [1] S. Akiyama and H. Ishikawa, On analytic continuation of multiple L-functions and related zeta-functions, in “Analytic Number Theory”, C. Jia and K. Matsumoto (eds.), Kluwer Acad. Publ., 2002, pp. 1–16. [2] T. Arakawa and M. Kaneko, On multiple L-values, J. Math. Soc. Japan 56 (2004), 967–991. [3] G. Bhowmik and K. Halupczok, Asymptotics of Goldbach representations, in “Various Aspects of Multiple Zeta Functions”, H. Mishou et al. (eds.), Adv. Stud. Pure Math. 84, Math. Soc. Japan, 2020, pp. 1–21. [4] G. Bhowmik, K. Halupczok, K. Matsumoto and Y. Suzuki, Goldbach representations in arithmetic progressions and zeros of Dirichlet L-functions, Mathematika 65 (2019), 57–97. [5] G. Bhowmik and I. Z. Ruzsa, Average Goldbach and the quasi-Riemann hypothesis, Anal. Math. 44 (2018), 51–56. [6] G. Bhowmik and J.-C. Schlage-Puchta, Meromorphic continuation of the Goldbach generating function, Funct. Approx. Comment. Math. 45 (2011), 43–53. [7] R. de la Brèteche, Estimation de sommes multiples de fonctions arithmétiques, Compositio Math. 128 (2001), 261–298. [8] B. Brubaker, D. Bump and S. Friedberg, Weyl Group Multiple Dirichlet Series, Ann. Math. Studies 175, Princeton Univ. Press, 2011. [9] P. Cassou-Noguès, Applications arithmétiques de l’etude des valeurs aux entiers négatifs des séries de Dirichlet associées a un polynôme, Ann. Inst. Foufier 31(4) (1981), 1–35. [10] P. Cassou-Noguès, Valeurs aux entiers négatifs des séries de Dirichlet associées a un polynôme, I. J. Number Theory 14 (1982), 32–64; II. Amer. J. Math. 106 (1984), 255–299; III. ibid. 109 (1987), 71–89. 12 KOHJI MATSUMOTO

[11] Y. Choie and K. Matsumoto, Functional equations for double series of Euler type with coefficients, Adv. Math. 292 (2016), 529–557. [12] Y. Choie and K. Matsumoto, Functional equations for double series of Euler- Hurwitz-Barnes type with coefficients, in “Various Aspects of Multiple Zeta Values”, RIMS Kôkyûroku Bessatsu B68, K. Ihara (ed.), RIMS Kyoto Univ., 2017, pp. 91–109. [13] M. de Crisenoy, Values at T -tuples of negative integers of twisted multivariable zeta series associated to polynomials of several variables, Compositio Math. 142 (2006), 1373–1402. [14] M. de Crisenoy and D. Essouabri, Relations between values at T -tuples of negative integers of twisted multivariable zeta series associated to polynomials of several variables, J. Math. Soc. Japan 60 (2008), 1–16. [15] S. Egami and K. Matsumoto, Convolutions of the von Mangoldt function and related Dirichlet series, in “Number Theory: Sailing on the Sea of Number Theory”, S. Kanemitsu and J. Liu (eds.), World Scientific, 2007, pp. 1–23. [16] D. Essouabri, Height zeta functions on generalized projective toric varieties, Contemp. Math. 566 (2012), 65–98. [17] D. Essouabri and K. Matsumoto, Values at non-positive integers of partially twisted multiple zeta-functions I, Comment. Math. Univ. St. Pauli 67 (2019), 83–100. [18] D. Essouabri, K. Matsumoto and H. Tsumura, Multiple zeta-functions associated with linear recurrence sequences and the vectorial sum formula, Canad. J. Math. 63 (2011), 241–276. [19] S. M. Gonek, On negative moments of the Riemann zeta-function, Mathe- matika 36 (1989), 71–88. [20] A. Granville, Refinements of Goldbach’s conjecture, and the generalized Rie- mann hypothesis, Funct. Approx. Comment. Math. 37 (2007), 159–173; Cor- rigendum, ibid. 38 (2008), 235–237. ′ 1 [21] D. Hejhal, On the distribution of log ζ ( 2 + it) , in “Number Theory, Trace Formula and Discrete Groups”, K. E.| Aubert et| al. (eds.), Academic Press, 1989, pp. 343–370. [22] H. Ishikawa, On analytic properties of a multiple L-function, in “Analytic Extension Formulas and their Applications”, S. Saitoh et al. (eds.), Kluwer Acad. Publ., 2001, pp. 105–122. [23] H. Ishikawa, A multiple character sum and a multiple L-function, Arch. Math. 79 (2002), 439–448. [24] R. Kawashima, On various properties of multiple Dirichlet series associated with arithmetical functions (in Japanese), Master Thesis, Tokyo Metropolitan University, 2019. [25] Y. Komori, K. Matsumoto and H. Tsumura, Functional equations and functional relations for the Euler double zeta-function and its generalization of Eisenstein type, Publ. Math. Debrecen 77 (2010), 15–31. [26] Y. Komori, K. Matsumoto and H. Tsumura, Functional equations for double L-functions and values at non-positive integers, Intern. J. Number Theory 7 (2011), 1441–1461. [27] B. Lichtin, Generalized Dirichlet series and b-functions, Compositio Math. 65 (1988), 81–120; Erratum, ibid. 72 (1989), 237–239. [28] B. Lichtin, The asymptotics of a lattice point problem determined by a hy- poelliptic polynomial, in “D-modules and Microlocal Geometry”, M. Kashi- wara et al. (eds.), Walter de Gruyter, 1993, pp. 75–106. [29] K. Matsumoto, A. Nawashiro and H. Tsumura, Double Dirichlet series associated with arithmetic functions, preprint. MULTIPLE DIRICHLET SERIES WITH ARITHMETICAL COEFFICIENTS 13

[30] K. Matsumoto and Y. Tanigawa, The analytic continuation and the order estimate of multiple Dirichlet series, J. Th´eor. Nombr. Bordeaux 15 (2003), 267–274. [31] M. Peter, Dirichlet series associated with polynomials, Acta Arith. 84 (1998), 245–278. [32] F. R¨uppel, Convolutions of the von Mangoldt function over residue classes, Siauliaiˇ Math. Semin. 7(15) (2012), 135–156. [33] Y. Suzuki, A mean value of the representation function for the sum of two primes in arithmetic progressions, Intern. J. Number Theory 13 (2017), 977– 990. [34] S. Yamamoto, A sum formula of multiple L-values, Intern. J. Number Theory 11 (2015), 127–137.

K. Matsumoto: Graduate School of Mathematics, Nagoya Univer- sity, Chikusa- ku, Nagoya 464-8602, Japan Email address: [email protected]