arxiv: v2 [math.nt] 9 May 2017

Transcription

1 arxiv:6.42v2 [math.nt] 9 May 27 Itegral Represetatios of Equally Positive Iteger-Idexed Harmoic Sums at Ifiity Li Jiu Research Istitute for Symbolic Computatio Johaes Kepler Uiversity 44 Liz, Austria ljiu@risc.ui-liz.ac.at Abstract We idetify a partitio-theoretic geeralizatio of Riema zeta fuctio ad the equally positive iteger-idexed harmoic sums at ifiity, to obtai the geeratig fuctio ad the itegral represetatios of the latter. The special cases coicide with zeta values at positive iteger argumets. Keywords: harmoic sum, itegral represetatio, zeta value Itroductio The harmoic sum of idices a,...,a R\{} is defied as (see [, eq. 4, pp. ]) S a,...,a (N) = N sig(a ) sig(a ), a a which is aturally coected to the Riema zeta fuctio, by otig that N =, = ad a > givess a ( ) = ζ(a ). A variety of the study ca be foud i the literature. For istace, Hoffma [4] established the coectio betwee harmoic sums ad multiple zeta values. We especially focus o the equally positively idexed harmoic sums, give by the case a = = a = a > S a (N) := Sa,...,a(N) = }{{} N ( ) a, (.) ad also the equally positive iteger-idexed harmoic sums (EPIIHS), amely a = m Z >. If N =, we additioally assume m Z > for covergece. This wor is supported by the Austria Sciece Fud (FWF) grat SFB F5 (F56-N5 ad F59-N5)

2 Recetly, Scheider [7] studied the geeralized q-pochhammer symbol ad obtaied [7, pp. 3] f ()q = q λ f (λ i ), (.2) X λ P X λ i λ where X Z > ad f : Z > C such that if X the f () = ; P X is the set of partitios ito elemets of X; λ meas λ is a partitio of, the size λ is the sum of the parts of λ, i.e., the umber beig partitioed, ad λ i λ meas λ i Z > is a part of partitio λ. Further defie l(λ) :=, λ := λ λ ad deote P := P Z>. Notig λ λ, a partitio-theoretic geeralizatio of Riema zeta fuctio [7, eq., pp. 4] is defied ad idetified as ( ζ P {a} ) := a = λ λ a = S λa a ( ), (.3) l(λ)= λ λ which leads to the geeratig fuctio ad the itegral represetatio ofs m ( ), preseted i the ext sectio. 2 Mai results We first apply (.2) to the case X = {,2,...,N} ad f () := ta, obtaiig a N ta q = t a λ a = λ tl(λ)a a i a, λ λ P X q λ λ i λ λ P X q which, by further lettig q, yields the followig geeratig fuctio. Theorem. The geeratig fuctio of S a (N) is give by S a (N)t a = = N a a ta. (2.) Remar 2. The special case for a = is [2, eq. 9, pp. 272] t N! S (N) = = N B(N, t), (2.2) ( t) (N t) = ivolvig the beta fuctio B, defied by B(x,y) := z x ( z) y dz = Γ(x)Γ(y) Γ(x+y), (2.3) where the itegral represetatio holds for Re(x), Re(y) >. 2

3 Corollary 3. For m Z >, deote ξ m := exp ( ) 2πi m with i 2 =. The, S m ( )t m = = Proof. From (2.) ad (2.2), we have S m (N)t m = = N m j= Γ ( ξ j mt ). (2.4) m m ( ξmt) ( ξ m m t ) = N B ( N, ξmt j ). The, apply the limit (see [6, pp. 254, ex. 5]) Γ(z) = lim Nz B(N,z) to z j = ξm j t, j =,...,m, by otig ξ m + + ξm m =, to complete the proof. Remar 4. A alterative proof ca be give by lettig N = i (2.) ad applyig [3, Thm.., pp. 547]. Remar 5. For geeral a >, we failed to obtai a closed form of a Example 6. Whe m = 2, we apply (2.4) to get B(+t, t) = Γ(+t)Γ( t) = j= S 2 ( )t 2. From the itegral represetatio (2.3), we obtai (also see Remar 7) B(+t, t) = z t ( z) t dz = = The it follows, by comparig coefficiets of t, I particular, = yields S 2 ( ) = (2)! π 2 6 = ζ(2) = S 2( ) = 2 t! = log 2 dz. z a t. a log dz. (2.5) z log 2 dz. z Remar 7. We may iterchage the itegral ad the sum of the series i (2.5), by restrictig t to a closed compact set, e.g., [ 2, 2], satisfyig Re( t), Re(+t) > as that i (2.3), i order to guaratee uiform covergece of the itegral represetatio. (Similar discussio is omitted for the multiple beta fuctio, defied ext.) 3

4 Defiitio 8. The multiple beta fuctio [5, Ch. 49] is defied as B(α,...,α m ) := Γ(α ) Γ(α m ) Γ(α + +α m ) = Ω m m i= x αi i dx, (2.6) whereω m = {(x,...,x m ) R m > : x + +x m <, x + +x m = } ad the itegral represetatio requires Re(α ),...,Re(α m ) >. Followig the same idea as that i Example 6, we first have, from (2.4), B ( ξ mt,..., ξ m m t ) = (m )! S m ( )t m. The, apply the itegral represetatio (2.6), expad the itegrad as a power series i t, ad compare coefficiets of t, to obtai the followig itegral represetatio. = Theorem 9. For all m, Z > with m 2, S m ( ) = ( )m (m )! log m (m)! Ω m m x ξj m j+ j= dx. Corollary. I particular, the case = implies for iteger m Z > that ζ(m) = ( )m m log m x ξj m m j+ dx, Ω m or alteratively ζ(m) = ( )m m x j= x x m 2 log m( x ξ m x ξm 2 m m ( x x m ) ξm m 3 Acowledgmet ) dx m dx. The author would lie to tha Dr. Jaob Abliger for his help o harmoic sums; Prof. Johaes Blümlei for his hadwritte otes o the proof of (2.2); ad especially his metors, Prof. Peter Paule ad Prof. Carste Scheider, for their valuable suggestios. Refereces [] Blümlei J, Kurth, S: Harmoic sums ad Melli trasforms up to two-loop order. Phys. Rev. D 6, Article 48 (999). 4

5 [2] Blümlei, J, Klei, S, Scheider, C, Sta, F: A symbolic summatio approach to Feyma itegral calculus. J. Symbolic Comput. 47, (22). [3] Chamberlad, M, Straub, A: O gamma quotiets ad ifiite products. Adv. Appl. Math. 5, (23). [4] Hoffma, M: Multiple harmoic series, Pacific J. Math. 52, (992). [5] Kotz, S, Balarisha, N, Johso, NL: Cotiuous Multivariate Distributios Vol : Models ad Applicatios, Wiley, New Yor (2). [6] Whittaer, ET, Watso, GN: A Course of Moder Aalysis, Cambridge Uiv. Press, New Yor (965). [7] Scheider, R: Partitio zeta fuctios. Research i Number Theory 26, 2:9. 5