Generalized Log-sine integrals and Bell polynomials

1 downloads 0 Views 183KB Size Report
May 12, 2017 - NT] 12 May 2017. GENERALIZED LOG-SINE INTEGRALS AND BELL. POLYNOMIALS. DEREK ORR. Abstract. In this paper, we investigate the ...
arXiv:1705.04723v1 [math.NT] 12 May 2017

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS DEREK ORR Abstract. In this paper, we investigate the integral of xn logm (sin(x)) for natural numbers m and n. In doing so, we recover some well-known results and remark (n) on some relations to the log-sine integral Lsn+m+1 (θ). Later, we use properties of Bell polynomials to find a closed expression for the derivative of the central binomial and shifted central binomial coefficients in terms of polygamma functions and harmonic numbers.

1. Introduction and Preliminaries The functions Lsn (θ) := −

Z

θ

0

and Lsn(m) (θ)

:= −

Z

θ 0



 x  n−1 dx log 2 sin 2

 x  n−m−1  dx xm log 2 sin 2

have been widely studied in previous papers (see [2], [3], [5], [6], [7], [9], [14]). A very nice identity was given in [2] by expressing S(k) := as S(k) =

∞ X

1

nk 2n n n=1



(−2)k−1 (1)  π  , k ∈ N. Ls (k − 2)! k 3

Here, we will focus on a similar integral, Z z F (n, m, z) = xn sin2m (x) dx. 0

Further, we can define Key words and phrases. Log-sine integral, Riemann zeta function, Bell polynomial, harmonic numbers, Euler sum, binomial coefficients. 2010 Mathematics Subject Classification. Primary 33E20, 11B73. Secondary 11M32. 1

2

DEREK ORR

G(n, m, z) =

Z

z

0

  x 2m xn 2 sin dx, 2

and we can easily see that G(n, m, 2z) = 4m 2n+1 F (n, m, z),

(1) and

∂ p G(n, m, z) (n) − = 2p Lsp+n+1(z). ∂mp (n,0,z)

(2)

As we discuss the behavior of F (n, m, z), we will add in remarks for G(n, m, z) (n) and thus for Lsp+n+1(z). Next, we introduce the Riemann zeta function and the polylogarithm function.

(3)

ζ(s) :=

 ∞ ∞ X X 1 1 1   = , Re(s) > 1,   s −s  1 − 2 n=1 (2n − 1)s  n=1 n      

and

∞ X (−1)n−1 1 , 1 − 21−s n=1 ns

Re(s) > 0, s 6= 1,

∞ X zk Lin (z) = , n ∈ N\{1}, |z| ≤ 1. n k k=1

(4)

Euler discovered the now famous closed formula for ζ(2n), given by ∞ X (−1)k+1 B2k (2π)2k 1 = , k ∈ N0 , ζ(2k) = n2k 2(2k)! n=1

(5)

where Bn are the Bernoulli numbers, defined by ∞

It is clear that (6)

X Bn z = z n , |z| < 2π. ez − 1 n=0 n!

Lin (1) = ζ(n), Lin (−1) = −(1 − 21−n )ζ(n), n ∈ N\{1}.

We also introduce the generalized hypergeometric function

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

p Fq (a1 , a2 , . . . , ap ; b1 , b2 , . . . , bq ; z)

=

∞ X (a1 )k (a2 )k . . . (ap )k z k k=0

(b1 )k (b2 )k . . . (bq )k k!

3

,

where (7)

(a)k =

Γ(a + k) = a(a + 1)(a + 2) . . . (a + k − 1) Γ(a)

is the Pochhammer symbol or rising factorial. If a1 = a2 = · · · = ai = a, we will use the notation p Fq ({a}i , ai+1 , . . . , ap ; b1 , b2 , . . . , bq ; z). A special case used in the paper is q+1 Fq ({1}

q+1

q

; {2} ; z) =

∞ X (1)k (1)k . . . (1)k (1)k z k k=0

(2)k (2)k . . . (2)k

k!

,

which becomes (8)

q+1 ; {2}q ; z) = q+1 Fq ({1}

∞ X k=0

1 zk = Liq (z). (k + 1)q z

Since this paper will involve the derivative of the gamma function, we define polygamma function ψ (n) (z) :=

dn+1 log Γ(z), n ∈ N0 . dz n+1

The reflection and recursive formulas are given by (9)

ψ

(n)

(1 − z) = (−1)

n



ψ

(n)

 dn (z) + π n (cot(πz)) , dz

and (10)

ψ (n) (1 + z) = ψ (n) (z) +

(−1)n n! , z n+1

respectively. When z = 1, we have (11)

ψ (n) (1) = (−1)n+1 n!ζ(n + 1),

and in general, (n+1) 

ψ (n) (z) = (−1)n+1 n! ζ(n + 1) − Hz−1

,

4

DEREK ORR (n)

where Hm are the generalized harmonic numbers. When m = 0, it is understood (n) that H0 = 0. Lastly, we introduce the multiple zeta function ζ(s1 , s2 , . . . , sk ) =

X

ns1 n1 >n2 >···>nk >0 1

1 . . . . nskk

If s1 = s2 = · · · = si = s, it is common to denote the multiple zeta function as ζ({s}i, si+1 , si+2 , . . . , sk ). Further, a horizontal bar will be given to a variable if its sum is alternating. For example, X

ζ(2, 1, 4) =

n1 >n2 >n3

(−1)n3 . 2 4 n n n 2 1 3 >0

In particular, n1 −1 ∞ ∞ X X (−1)n1 Hn1 −1 (−1)n1 X (−1)n1 1 = ζ(2j + 1, 1) = = , n n2j+1 n2 n1 =2 n2j+1 n2j+1 1 1 n1 =2 n2 =1 2 n1 >n2 >0 1

X

and using Hk−1 = Hk − 1/k and rearranging, we have the formula ∞ X (−1)k Hk k=1

k 2j+1

= ζ(2j + 1, 1) +

∞ X (−1)k k=1

k 2j+2

= ζ(2j + 1, 1) − (1 − 2−2j−1)ζ(2j + 2).

Another famous formula for harmonic sums studied in [1] is ∞ X Hk k=1

n−2

1 1X = (n + 2)ζ(n + 1) − ζ(k + 1)ζ(n − k). kn 2 2 k=1

The multiple zeta function, as well as the other functions mentioned, have been studied and each has a wide variety of applications in mathematics and physics (see [9], [10], [12], [16], [17]). In this paper, we will find a formula for the partial derivatives of F (n, m, z) with respect to m for specific z and hence a formula for Lsn(m) (θ) in terms of derivatives of binomial coefficients. In the latter half of the paper, using Bell polynomials, we give explicit formulas for these derivatives in terms of harmonic numbers and polygamma functions. We begin by introducing some equations that can be found in [11]. We have

(12) F (n, m, z) =

Z

z n

2m

x sin

(x) dx =

0

+

m−1 X k=0

2m n+1 z m 4m (n + 1)



 Z z (−1)m+k 2m xn cos(2(m − k)x) dx, k 22m−1 0

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

5

and

(13)

Z

z n

x cos(ax) dx = 0

n X j=0

  πn  π  n! n!z n−j . sin az + j − n+1 sin (n − j)!aj+1 2 a 2

Combining them and reindexing the sum on k, we have z

  1 2m z n+1 (14) F (n, m, z) = x sin (x) dx = m 4 m n+1 0   ∞ n k X (−1) X z n−j sin(2kz + πj/2) sin(πn/2)  2m + n! − . 2m−1 m + k j+1 (n − j)! n+1 2 (2k) (2k) j=0 k=1 Z

n

2m

Using (1), we see

(15) G(n, m, 2z) =

Z

2z n

x

0

+ 2n!

∞ X

(−1)

k=1

k



2 sin



 x 2m

2m m+k

2  X n j=0

  2m (2z)n+1 dx = m n+1

 (2z)n−j sin(2kz + πj/2) sin(πn/2) . − k j+1(n − j)! k n+1

Our last introductory remark brings us back  to the generalized hypergeometric 2m (m − k)k  . With this, we see = m+k+1 function. First, using (7), 2m (m + 2)k m+1 s+2 Fs+1 ({1}

s+1

s

, 1 − m; {2} , m + 2; −z) =

∞ X (1)k (1)k . . . (1)k (1 − m)k (1)k (−z)k k=0

=

∞ X (−1)k (m − k)k (−z)k k=0

(k + 1)s (m + 2)k

=

(2)k (2)k . . . (2)k (m + 2)k ∞ X k=0

zk (k +

and lastly, changing the index of our sum, we have

(16)

k!

2m m+k+1  2m , 1)s m+1



    ∞ X z k−1 2m 2m s+1 , 1 − m; {2}s , m + 2; −z). = s+2 Fs+1 ({1} s m + 1 m + k k k=1

2. Log-sine integral for z = 2π Theorem 2.1. For n, m ∈ N0 ,

6

DEREK ORR

(17) Z π 0

⌊n ⌋   2m  ∞ 2 n X X π (−1)k 2m (−1)j π n 2m m . −n! x sin (x) dx = m 2j−1 (n + 1 − 2j)! 2j m + k 4 n+1 (2π) k j=1 k=1

Proof. Letting z = π in (12), π

  1 2m π n+1 F (n, m, π) = x sin (x) dx = m m n+1 4 0  X   ∞ n k X (−1) π n−j sin(2kπ + πj/2) sin(πn/2) 2m + n! − 2m−1 m + k j+1 (n − j)! 2 (2k) (2k)n+1 j=0 k=1 Z

n

2m

X    n−1 n−j ∞ X 1 2m π n+1 π sin(2kπ + πj/2) (−1)k 2m = m + n! m n+1 4 22m−1 m + k j=0 (2k)j+1(n − j)! k=1 πn = m 4

     n−1 X ∞ X (−1)k π sin(πj/2) 2m 2m . + n! j+1 j (n − j)! m n+1 k m + k (2π) j=0 k=1

Using sin(πj/2) = δ⌊ j−1 ⌋, j−1 (−1) 2

Z

0

π

2

j−1 2

we have,

⌋ ⌊ n−2   2m  ∞ 2 n X X π (−1)j π 2m (−1)k n 2m m x sin (x) dx = m , +n! 2j+1 (n − 2j − 1)! 2j+2 4 n+1 (2π) k m + k j=0 k=1

and changing the index on j, the proof is complete.



Note from this that (18) G(n, m, 2π) = 2(2π)

n



 ⌋ ⌊n   ∞ 2 X X π 2m (−1)j (−1)k 2m m . − n! m+k n+1 (2π)2j−1(n + 1 − 2j)! k=1 k 2j j=1

Now taking the derivative of (17) and using (16), we find  2m   Z π π d ∂F n n m = 2 x log(sin(x)) dx = π m ∂m (n,0,π) n + 1 dm 4 0 m=0 ⌊n ⌋    2 X 2m d n!(−1)j 2j+2 F2j+1 ({1}2j+2; {2}2j+1; 1) + dm m + 1 m=0 j=1 (n + 1 − 2j)!(2π)2j−1

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

n

= πn



7

n

⌊2⌋ ⌊2⌋    log 2 X −2π log 2 X n!(−1)j ζ(2j + 1) n!(−1)j ζ(2j + 1) n+1 + = −2π − , 2j−1 2j n+1 (n + 1 − 2j)!(2π) n + 1 (n + 1 − 2j)!(2π) j=1 j=1

where (6) and (8) have been used. Taking more partial derivatives, we see that   2m  Z π ∂ p F π dp p p n n m (19) = 2 x log (sin(x)) dx = π ∂mp (n,0,π) n + 1 dmp 4m m=0 0 ⌊n ⌋  2m    ∞ 2 j+k X X ∂p n!(−1) m+k . − 2j−1 k 2j ∂mp 4m m=0 j=1 (n + 1 − 2j)!(2π) k=1

Below we compute a few integrals for p > 1 and n > 0. Z π π4 π2 x log2 (sin(x)) dx = + log2 2 24 2 0 Z π π3 13π 5 + πζ(3) log 2 + log2 2 x2 log2 (sin(x)) dx = 360 3 0 Z π π4 π 6 3π 2 + ζ(3) log 2 + log2 2 x3 log2 (sin(x)) dx = 30 2 4 0 Z π 3π 2 π5 37π 7 + 2π 3 ζ(3) log 2 − 3πζ(5) log 2 + ζ (3) + log2 2 x4 log2 (sin(x)) dx = 1260 2 5 0 Z π 3π 2 π4 π2 x log3 (sin(x)) dx = ζ(3) − log 2 − log3 2 8 16 4 0 If we use (18) instead,

Z 2π   x  ∂ p G (n) p p p n (20) = −2 Ls (2π) = 2 x log 2 sin dx p+n+1 ∂mp (n,0,2π) 2 0 ⌊n ⌋       ∞ 2 X X ∂p 2m dp 2m n!(−1)j+k π n − . = 2(2π) n + 1 dmp m m=0 k=1 ∂mp m + k m=0 j=1 (n + 1 − 2j)!(2π)2j−1k 2j Below we compute a few of these integrals. (1)

Ls4 (2π) = − (4)

13π 5 π4 (1) (2) , Ls5 (2π) = 3π 2 ζ(3), Ls5 (2π) = − , 6 45

Ls7 (2π) = −

296π 7 − 48πζ 2(3), 315

(5)

Ls8 (2π) = −

(3)

Ls6 (2π) = −

100π 8 − 240π 2 ζ 2(3) 63

8π 6 15

8

DEREK ORR

3. Log-sine integral for z = π Theorem 3.1. For n, m ∈ N0 ,

(21)

Z

π/2

0

 ∞   π n  π 2m X 2m 1 n 2m m − n! x sin (x) dx = m m+k 4 2 2(n + 1) k=1 ∗

n+1 ⌋  ⌊X 2

j=1

(−1)k (−1)⌊ (−1)j n+1 n+1 − δ ⌊ 2 ⌋, 2 π 2j−1 k 2j (n + 1 − 2j)! π n k n+1

n+1 ⌋ 2

 .

Proof. Letting z = π/2, (12) becomes π/2

  1 2m (π/2)n+1 F (n, m, π/2) = x sin (x) dx = m m 4 n+1 0   ∞ n X (π/2)n−j sin(kπ + πj/2) sin(πn/2)  X (−1)k 2m + n! − 22m−1 m + k (2k)j+1 (n − j)! (2k)n+1 j=0 k=1 Z

1  π n = m 4 2

n

2m

 X     n ∞ X (−1)k sin(πj/2) sin(πn/2) π 2m 2m k . +n! (−1) − n n+1 j k j+1 (n − j)! m 2(n + 1) m + k π π k j=0 k=1

Using the same analysis as before on the sine function, π/2

  1  π n π 2m x sin (x) dx = m m 2(n + 1) 4 2 0 n−1 ⌋  ⌊X  n−1  ∞ 2 X (−1)⌊ 2 ⌋ (−1)k (−1)j 2m k − δ⌊ n−1 ⌋, n−1 n n+1 + n! (−1) 2j+1 k 2j+2 (n − 1 − 2j)! 2 2 π π k m + k j=0 k=1 Z

n

2m

   ∞  2m X 2m 1  π n π m = m − n! m+k 4 2 2(n + 1) k=1 ∗

n+1 ⌋  ⌊X 2

j=1

(−1)j (−1)k (−1)⌊ n+1 n+1 − δ ⌊ 2 ⌋, 2 π 2j−1 k 2j (n + 1 − 2j)! π n k n+1

which completes the proof. Using (1),

n+1 ⌋ 2

 , 

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

(22) G(n, m, π) = 2π



n



9

  ∞  X π 2m 2m m − n! m+k 2(n + 1) k=1

n+1 ⌋  ⌊X 2

j=1

(−1)j (−1)k (−1)⌊ n+1 n+1 − δ⌊ ⌋, 2 2 π 2j−1 k 2j (n + 1 − 2j)! π n k n+1

n+1 ⌋ 2

 .

Again, taking the derivative of (21) and using (16), "  2m  Z π/2   n π π d ∂F m =2 xn log(sin(x)) dx = 2m+1 ∂m (n,0,π/2) 2 n + 1 dm 2 0 m=0 n+1 ⌋  ⌊X   2 d 2m (−1)j 2j+2F2j+1 ({1}2j+2; {2}2j+1; −1) − n! m+1 dm (n + 1 − 2j)!π 2j−1 j=1 m=0

+ δ⌊ n+1 ⌋, n+1 2

2

(−1)⌊

n+1 ⌋ 2

n+3 ; {2}n+2; 1) n+3 Fn+2 ({1} πn

#

" n+1 ⌋  ⌊X # n+1 2  π n+1 log 2 (−1)j (22j − 1)ζ(2j + 1) (−1)⌊ 2 ⌋ ζ(n + 2) +n! +δ⌊ n+1 ⌋, n+1 , = −2 2j n+1 2 2 2 n+1 (n − 2j + 1)!(2π) π j=1 where (6) and (8) have been used again. Note this formula is the same as in other papers as well (see [6], [15]). Again, taking more partial derivatives, we will have "  2m  Z π/2  π n ∂ p F π dp p n p m (23) x log (sin(x)) dx = =2 p p m ∂m (n,0,π/2) 2 2(n + 1) dm 4 0 m=0 n+1 ⌋  ⌊X  2m   # ∞ 2 ⌊ n+1 ⌋ k j X 2 (−1) (−1) ∂p (−1) m+k −δ⌊ n+1 ⌋, n+1 . −n! 2j−1 k 2j n k n+1 2 2 ∂mp 4m (n + 1 − 2j)!π π m=0 j=1 k=1

We give some examples for specific p > 1 and n > 0. Z

π/2

x log2 (sin(x)) dx =

0

Z

0

π/2

x2 log2 (sin(x)) dx =

 1  11π 4 + π 2 log2 2 − 7ζ(3) log 2 + 4ζ(3, 1) 8 360  π  π4 + π 2 log2 2 − 9ζ(3) log 2 + 12ζ(3, 1) 24 40

10

DEREK ORR

Z

π/2

x3 log2 (sin(x)) dx = 0

1  23π 6 + π 4 log2 2 + 24π 2 ζ(3, 1) − 48ζ(5, 1) − 24ζ 2(3) 64 420  − 18π 2 ζ(3) log 2 + 93ζ(5) log 2

Note that if we used G(n, m, z), we would find (24)   Z π   x  ∂ p G π n+1 dp 2m (n) p p p n = −2 Lsp+n+1 (π) = 2 dx = x log 2 sin ∂mp (n,0,π) 2 n + 1 dmp m m=0 0 n+1

⌋  ⌊X   n+1  ∞ 2 X (−1)k (−1)⌊ 2 ⌋ ∂p 2m (−1)j π n+1−2j −2n! . −δ⌊ n+1 ⌋, n+1 p m+k 2j n+1 2 2 ∂m (n + 1 − 2j)!k k m=0 j=1 k=1

Again, we compute some integrals below. (1)

Ls4 (π) = −

π5 11π 4 (2) − 2ζ(3, 1), Ls5 = − − 4πζ(3, 1) 720 120

(3)

Ls6 (π) = −

23π 6 − 6π 2 ζ(3, 1) + 6ζ 2(3) + 12ζ(5, 1) 1680

(4)

Ls7 (π) = −

π7 − 8π 3 ζ(3, 1) + 48πζ(5, 1) 420

4. Derivatives of binomial coefficients These results rely on an efficient calculation of derivatives of central binomial coefficients and shifted central binomial coefficients. In this section, we will provide a proof of a formula for the p-th derivative of the binomial coefficients in the above formulae. For simplicity, we will denote these binomial coefficients as if m and k were integers, though the proofs intrinsically use the gamma function (e.g., when taking derivatives).     1 2m 2m and CL (m) := m Theorem 4.1. Let C(m) := . Then, we have m+k m+k 4 X  p   p 2m (p) p ∆p−i (25) C (m) = (−1) 1 (m)xi (m) m + k i=0 i and

(26)

(p) CL (m)

= (−1)

p

X p   p 2m (∆1 (m) + log 4)p−i xi (m), m + k i=0 i



GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

11

where x0 = 1, x1 = 0,

xj (m) =

 j−2  X j−1 l=0

l

∆j−l (m)xl (m)

with   ∆j (m) = (−1)j 2j ψ (j−1) (2m + 1) − ψ (j−1) (m + 1 + k) − ψ (j−1) (m + 1 − k) .

Proof. We will only provide the proof for (25) as the proof of(26) is identical. The 2m proof is by induction. One can easily see that C ′ (m) = − m+k ∆1 (m) by expanding out the binomial in terms of the gamma function. Before we move on, we will need a lemma. Further we will omit the argument m throughout the proof. Lemma 4.2. For j ∈ N, d∆j = −∆j+1 dm and dxj = −xj+1 + j∆2 xj−1 . dm Proof of Lemma. The first equation is clear using the definition of ψ (n) (z) and the chain rule. For the second equation, we will do induction. From the recursive definition, x2 = ∆2 and so for j = 1, the second equation is satisfied. Now using the recursive relation for xj , the product rule for derivatives, and binomial identities, dxj+1 d = dm dm

 X X j−1   j−1   j−1   X j j j ∆j+1−l (−xl+1 +l∆2 xl−1 ) (−∆j+2−l )xl + ∆j+1−l xl = l l l l=1 l=0 l=0

 j−1  j−1   j   X X X j−1 j j ∆j−(l−1) xl−1 . ∆j+1−l xl+1 +j∆2 ∆j+2−l xl +∆2 xj − = −∆j+2 x0 − l − 1 l l l=1 l=0 l=1 Reindexing the second and third sum appropriately, j

X dxj+1 = −∆j+2 x0 − dm l=1

    j j ∆j+2−l xl + ∆2 xj + j∆2 xj + l−1 l

= −xj+2 + (j + 1)∆2 xj , which proves this lemma.  Now going back to the proof of the theorem, by induction we have

12

DEREK ORR

X   X   p   p   dC (p) p 2m p 2m p−i p p (p − i) ∆1 xi + (−1) ∆1 = (−1) − i m + k i m+k dm i=0 i=0 X  p   p 2m ∆p−i ∗ ∆p−i−1 (−∆2 )xi + (−1)p 1 (−xi+1 + i∆2 xi−1 ) 1 m + k i=1 i = (−1)

p+1

= (−1)

p+1



 X p   p+1   X p p p−i+1 xi (p − i)∆p−i−1 xi + ∆2 ∆1 1 i i i=0 i=0 !  p   p+1  X X p p p−i p−i+1 i∆1 xi−1 xi − ∆2 ∆1 + i i−1 i=1 i=2





2m m+k

2m m+k

+ ∆2

p−1 X i=0

∆p+1 1 x0

+

p+1   X p i=1

i



p + i−1

 ∆p−i+1 xi 1

! p X p! p! ∆p−i−1 xi − ∆2 ∆p−i 1 xi−1 , i!(p − i − 1)! 1 (i − 1)!(p − i)! i=1

and now by reindexing, the last two sums cancel. Using the binomial identity as we did in the lemma, C

(p+1)

 X  p+1  dC (p) p+1 2m p+1 (m) = ∆p+1−i xi , = (−1) 1 i m + k i=0 dm

which proves the theorem.



For simplicity, introduce the following notation: n   X n n−j s1 xj X[sn ] := j j=0

where x0 = 1,

 j−2  X j−1 sj−l xl x1 = 0, xj = l l=0

For completeness, we write out a few sums for an arbitrary sequence sn . X[s0 ] = 1,

X[s1 ] = s1 , X[s2 ] = s21 + s2

X[s3 ] = s31 + 3s1 s2 + s3 ,

X[s4 ] = s41 + 6s21 s2 + 4s1 s3 + s4 + 3s22

X[s5 ] = s51 + 10s31s2 + 10s21 s3 + 5s1 (s4 + 3s22 ) + s5 + 10s2 s3

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

13

In fact, these polynomials are known as the complete Bell polynomials, X[sn ] = Bn (s1 , s2 , . . . , sn ) (see [4], [8], [13]). Now, evaluating (25) at m = 0 and letting ∆j (0) ≡ ∆j = (−1)j [2j ψ (j−1) (1) − ψ (j−1) (1 + k) − ψ (j−1) (1 − k)]. Using the reflection formula for the gamma function, we can write (25) as (27)

C

(p)

  sin(kπ) 0 X[∆p ]. X[∆p ] = (−1)p (0) = (−1) kπ k p

Using (9) and (10), we can say

∆j = (−2)j ψ (j−1) (1) − (−1)j (−1)j−1 π

 dj−1 cot(kπ) dk j−1

(j − 1)! + (1 + (−1)j−1 )ψ (j−1) (k) + (−1)j−1 kj

j

= (−2) ψ

(j−1)

j

(1) + (1 − (−1) )ψ

(j−1)

!

 (j − 1)! dj−1 (k) + π cot(kπ) ≡ ξj + νj , + kj dk j−1

where νj := Thus we have

 dj−1 π cot(kπ) , dk j−1

C (p) (0) = (−1)p

ξj := ∆j − νj .

sin(kπ) X[ξp + νp ]. kπ

Using the binomial theorem and some algebra, one can see

(28)

C

(p)

(0) = (−1)

p sin(kπ)



p   X p X[ξp−i ]X[νi ], i i=0

which is also a well-known binomial identity of the complete Bell polynomials. We can simplify (28) more with the help of two lemmas. Lemma 4.3. For n ∈ N0 ,

X[νn ] =

  (−1)j π 2j 

n = 2j, j ∈ N0 ,

(−1)j π 2j+1 cot(kπ) n = 2j + 1, j ∈ N0 .

14

DEREK ORR

Proof. Note that νn =

  dn dn−1 π cot(kπ) = log(sin(kπ)) . n−1 n dk dk

So, letting y = log(sin(kπ)) and using the formula provided in [8], Bn (ν1 , ν2 , . . . , νn ) = X[νn ] = e−y

 dn ey dn = csc(kπ) sin(kπ) . dk n dk n

 d2j When n = 2j, we see 2j sin(kπ) = (−1)j π 2j sin(kπ) and when n = 2j + 1, we dk  d2j+1 have 2j+1 sin(kπ) = (−1)j π 2j+1 cos(kπ). So the proof is complete.  dk Since our results involve a sum over natural numbers k, we can simplify (28) to p−1

⌊ 2 ⌋  X p (p) p sin(kπ) X[ξp−1−2j ](−1)j π 2j+1 cot(kπ) C (0) = (−1) kπ 2j + 1 j=0 p−1

⌊ 2 ⌋  (−1)p+k X p = X[ξp−1−2j ](−π 2 )j . k 2j + 1 j=0

Lemma 4.4. Let ρ1 = π 2 /3, and ρn = (−1)n+1

!  n−1  X π 2n 2n − 1 (−1)i π 2n−2i + ρi . 2n + 1 i=1 2i − 1 2n − 2i + 1

Then, ρn = 2ψ (2n−1) (1). Proof. The proof is by induction. It is clearly true for n = 1, so using our induction hypothesis, along with (5) and (11), !  n−1  i 2n−2i 2n X 2n − 1 (−1) π π + ρi ρn = (−1)n+1 2n + 1 i=1 2i − 1 2n − 2i + 1 !  n−1  2n i 2n−2i i+1 2i X π (−1) π 2n − 1 (−1) B (2π) 2i = (−1)n+1 + (2i − 1)! 2n + 1 i=1 2i − 1 2n − 2i + 1 (2i)! ! n−1 2n 2i 2n X π B 2 (2n − 1)! π 2i − = (−1)n+1 2n + 1 i=1 (2n − 2i)! 2n − 2i + 1 (2i)! !  n−1  2n 2n X π 2n + 1 π = (−1)n+1 B2i 22i . − 2i 2n + 1 2n(2n + 1) i=1

GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

15

Using the fact that B0 = 1, B1 = −1/2, and B2k+1 = 0 for k ∈ N, we can rewrite the sum and obtain !  2n+1 X 2n + 1 2n 1 Bi 2i −1+(2n+1)−(2n+1)B2n 22n + − i 2n + 1 2n + 1 i=0 ! 2n+1 2n+1 X 2n + 1  1 2n+1−i 2 (−1)n+1 π 2n Bi B2n 22n − , = i 2n 2n + 1 i=0 2

(−1)n+1 π 2n ρn = 2n

k   X k Bi z i = Bk (z) where Bk (z) is the k-th Bernoulli and using the identities i i=0   1 1 polynomial, and Bk = − 1 Bk , this sum completely vanishes. So this 2 2k−1 simplifies to   (−1)n+1 π 2n 2n B2n 2 − 0 = 2ψ (2n−1) (1), ρn = 2n using (5) and (11) again. 

Now we can state the second main theorem of this section. Theorem 4.5. For k in N, C (p) (0) =

(29)

(−1)p+k (−1)p+k pX[ξ p−1 ] = pBp−1 (ξ 1 , ξ 2 , . . . , ξ p−1) k k

where ξ j = ξj − (1 + (−1)j )ψ (j−1) (1), that is, ξ j = (−2)j ψ (j−1) (1) + 2δ⌊ j+1 ⌋, j+1 ψ (j−1) (k) − 2δ⌊ j ⌋, j ψ (j−1) (1) + 2

2

2

2

(j − 1)! . kj

Proof. To prove this, notice (−1)p+k (−1)p+k pX[ξ p−1 ] = pX[ξp−1 − (1 + (−1)p−1 )ψ (p−2) (1)] k k  p−1  (−1)p+k (−1)p+k X p − 1 X[ξp−1−i ]X[αi ], = pX[ξp−1 + αp−1 ] = p i k k i=0 where αi = −(1 + (−1)i )ψ (i−1) (1), that is, α2i = −ρi and α2i+1 = 0. In particular, α1 = 0 so from the definition of X, X[αi ] = xi , where

16

DEREK ORR

x0 = 1,

 i−2  X i−1 αi−l xl . x1 = 0, xi = l l=0

Claim. For i ∈ N0 , x2i+1 = 0,

x2i =

(−1)i π 2i . 2i + 1

Proof of Claim. x1 = 0 by definition, so assume xk = 0 for odd k ≤ 2i − 1. We can see that x2i+1 will be a sum of α2i+1−l and xl multiplied together for l ≤ 2i − 1. If l is even, 2i + 1 − l is odd and so α2i+1−l = 0. If l is odd, by the induction assumption, xl = 0. So all terms of the sum will be 0 and thus x2i+1 = 0 for all i ∈ N0 . For the even indices, we will also use induction. For i = 0, this is clearly satisfied. Now, assume the formula for indices less than 2i. Using x2i+1 = 0 along with the definition of αk ,  2i−2 X 2i − 1 2i − 1 α2i−l xl α2i−l xl = α2i + x2i = l l l=2 l=0   i−1  i−1  X X 2i − 1 2i − 1 ρi−l x2l . α2i−2l x2l = −ρi − = α2i + 2(i − l) − 1 2l l=1 l=1 2i−2 X

Using a change of index on the sum, our induction hypothesis, and the previous lemma about ρn ,   i−1  i−1  X X 2i − 1 (−1)i−l π 2i−2l 2i − 1 ρl x2i−2l = −ρi − x2i = −ρi − ρl 2l − 1 2i − 2l + 1 2l − 1 l=1 l=1   (−1)i π 2i π 2i i+1 i = , = −ρi − (−1) (−1) ρi − 2i + 1 2i + 1 and so the claim is proven.  Now, we are able to write  p−1  (−1)p+k (−1)p+k X p − 1 X[ξp−1−i ]xi pX[ξ p−1 ] = p i k k i=0 ⌊ p−1 ⌋  2 (−1)j π 2j (−1)p+k X p−1 p X[ξp−1−2j ] = k 2j + 1 2j j=0

⌋ ⌊ p−1  2 p (−1)p+k X X[ξp−1−2j ](−π 2 )j = C (p) (0), = 2j + 1 k j=0

which proves the theorem.



GENERALIZED LOG-SINE INTEGRALS AND BELL POLYNOMIALS

17

Note that the two lemmas also imply a very similar formula for (26), the only difference is ξ L,j = ξ j + δj1 log 4. For completeness we write some of these out, in their simplified form where Hk is the k-th harmonic number.   (−1)k+1 2m d = dm m + k m=0 k   d2 2(−1)k  1 2m = 2H − k dm2 m + k m=0 k k

!   1 2 3(−1)k+1  2m 1 d3 2Hk − = + 2 + 2ψ (1) (1) dm3 m + k m=0 k k k

   d4 4(−1)k  1 3 2m 1 = 2Hk − + 3 2Hk − dm4 m + k m=0 k k k

2 1 (1) ∗ 2ψ (1) + 2 + 2ψ (2) (k) + 3 − 8ψ (2) (1) k k 

!

Lastly, for the central binomial coefficients, i.e., when k = 0, we can still use equation (25). Let ηj (m) := ∆j (m) = (−1)j (2j ψ (j−1) (2m + 1) − 2ψ (j−1) (m + 1)). k=0

Then we have

    dp 2m p 2m X[ηp ]. = (−1) m dmp m Letting η j ≡ ηj (0) = (−1)j (2j − 2)ψ (j−1) (1), note that η 1 = η1 (0) = 0 so all terms vanish except the j = p term in the definition of X. So for m = 0, p

(30)

d dmp



and

(31) where

dp dmp

 2m m

= (−1)p xp = (−1)p Bp (0, η2 , η 3 , . . . , ηp )

m=0

 ! 1 2m m 4 m

m=0

= (−1)

p

p   X p i=0

i

(log 4)p−i xi ,

18

DEREK ORR

x0 = 1,

x1 = 0, xn =

 n−2  X n−1 l=0

l

ηn−l xl .

Using (30) and our previous results, we have (32) (n) Lsp+n+1 (z)

=−

z

Z

0

  x  (−1)p+1 z n+1 dx = xn logp 2 sin Bp (0, η2 , η3 , . . . , η p ) 2 2p (n + 1)

for z = 2π, n ∈ {0, 1} or z = π, n = 0. For n = 0 and z ∈ {π, 2π}, this formula is well-known (see [2], [6]). For n = 0 and arbitrary z, (33) Lsp+1 (z) = −

Z

0

z

log

p



2 sin

 x  2

 (−1)p+1 dx = zBp (0, η2 , η3 , . . . , ηp ) 2p  ∞ X sin(kz) + 2p Bp−1(ξ 1 , ξ 2 , . . . , ξ p−1 ) , k2 k=1

where η j = (−1)j (2j − 2)ψ (j−1) (1), and ξ j = (−2)j ψ (j−1) (1) + 2δ⌊ j+1 ⌋, j+1 ψ (j−1) (k) − 2δ⌊ j ⌋, j ψ (j−1) (1) + 2

2

2

2

= η j + 2δ⌊ j+1 ⌋, j+1 (ψ (j−1) (k) − ψ (j−1) (1)) + 2

2

(j − 1)! kj

(j − 1)! . kj

References [1] V. S. Adamchik, On Stirling numbers and Euler sums, J. Comp. Appl. Math., 79 (1997), 119–130. [2] J. M. Borwein, A. Straub, Special values of generalized log-sine integrals, ISSAC 2011, ACM, New York, (2011), 43–50. [3] J. M. Borwein, A. Straub, Log-sine evaluations of Mahler measures, J. Austral. Math. Soc., (2012), 15–35. [4] S. Bouroubi and N. B. Tani, A new identity for complete Bell polynomials based on a formula of Ramanujan, J. Int. Seq. 12 (2009). Rπ [5] F. Bowman, Note on the integral 02 (log sin θ)n dθ, J. London Math. Soc. 22 (1947), 172–173. [6] J. Choi, Y. J. Cho, and H. M. Srivistava, Log-Sine Integrals Involving Series Associated with the Zeta Function and Polylogarithms. Math. Scand., 105 (2009), 199–217. [7] J. Choi, Explicit evaluations of some families of log-sine and log-cosine integrals. Integral Transf. Spec. Funct., 22 (2011), 767–783. [8] C. B. Collins, The role of Bell polynomials in integration. Journal of Comp. and Appl. Math., 131 (2001), 195–222.

Bibliography

19

[9] A. Davydychev and M. Kalmykov, Some remarks on the ǫ-expansion of dimensionally regulated Feynman diagrams. Nuclear Physics B - Proceedings Supplements, 89 (2000), 283–288. [10] A. Davydychev and M. Kalmykov, Massive Feynman diagrams and inverse binomial sums. Nucl. Phys. B699, (2004), 3–64. [11] I.S. Gradshteyn and I.M. Ryzhik, Table of Integrals, Series and Products 7th ed., Academic Press, New York, 2007. [12] S. Koyama and N. Kurokawa, Euler’s Integrals and Multiple sine functions. Proceedings of the American Mathematical Society, 133 (2004), 1257–1265. [13] M. Mihoubi, Bell polynomials and binomial type sequences. Discrete Mathematics, 308 (2008), 2450–2459. [14] Z. Nan-Yue Values of the Riemann zeta function and integrals involving and K. S.Williams,   log sinh θ2 and log sin 2θ . Pacific Journal of Mathematics, 168 (1995), 271–289.

[15] D. Orr, Generalized rational zeta series for ζ(2n) and ζ(2n + 1), Part 1, (2017) preprint at https://arxiv.org/abs/1606.04850. [16] A. Sofo, Integrals of logarithmic and hypergeometric functions. Communications in Mathematics, 24 (2016), 7–22. [17] S. A. Yost, et al., The epsilon expansion of Feynman diagrams via hypergeometric functions and differential reduction, (2011) electronic copy at https://arxiv.org/abs/1110.0210.

University of Pittsburgh, Department of Mathematics, 301 Thackeray Hall, Pittsburgh, PA 15260, USA E–mail address: [email protected]