Skip to main content

Theory and Modern Applications

Determinants of the Laplacians on the n-dimensional unit sphere S n

Abstract

During the last three decades, the problem of evaluation of the determinants of the Laplacians on Riemann manifolds has received considerable attention from many authors. The functional determinant for the k-dimensional unit sphere S k with the standard metric has been computed in several ways. Here we aim at computing the determinants of the Laplacians on S k (k=2n+1) by mainly using certain closed-form evaluations of the series involving zeta function.

MSC:11M35, 11M36, 11M06, 33B15.

1 Introduction and preliminaries

During the last three decades, the problem of evaluation of the determinants of the Laplacians on Riemann manifolds has received considerable attention from many authors including (among others) D’Hoker and Phong [1, 2], Sarnak [3], and Voros [4], who computed the determinants of the Laplacians on compact Riemann surfaces of constant curvature in terms of special values of the Selberg zeta function. Although the first interest in the determinants of the Laplacians arose mainly for Riemann surfaces, it is also interesting and potentially useful to compute these determinants for classical Riemannian manifolds of higher dimensions, such as spheres. Here, we are particularly concerned with the evaluation of the functional determinant for the k-dimensional unit sphere S k (k=2n+1) with the standard metric.

For this purpose we need the following definitions. Let { λ n } be a sequence such that

0= λ 0 < λ 1 λ 2 λ n ; λ n (n);
(1.1)

henceforth we consider only such nonnegative increasing sequences. Then we can show that

Z(s):= n = 1 1 λ n s ,
(1.2)

which is known to converge absolutely in a half-plane (s)>σ for some σR.

Definition 1 (cf. Osgood et al. [5])

The determinant of the Laplacian Δ on the compact manifold M is defined to be

det Δ:= λ k 0 λ k ,
(1.3)

where { λ k } is the sequence of eigenvalues of the Laplacian Δ on M. The sequence { λ k } is known to satisfy the condition as in (1.1), but the product in (1.3) is always divergent; so, in order for the expression (1.3) to make sense, some sort of regularization procedure must be used (see, e.g., [6]). It is easily seen that, formally, e Z ( 0 ) is the product of nonzero eigenvalues of Δ. This product does not converge, but Z(s) can be continued analytically to a neighborhood of s=0. Therefore, we can give a meaningful definition:

det Δ:= e Z ( 0 ) ,
(1.4)

which is called the functional determinant of the Laplacian Δ on M.

Definition 2 The order μ of the sequence { λ k } is defined by

μ:=inf { α > 0 | k = 1 1 λ k α < } .
(1.5)

The analogous and shifted analogous Weierstrass canonical products E(λ) and E(λ,a) of the sequence { λ k } are defined, respectively, by

E(λ):= k = 1 { ( 1 λ λ k ) exp ( λ λ k + λ 2 2 λ k 2 + + λ [ μ ] [ μ ] λ k [ μ ] ) }
(1.6)

and

E(λ,a):= k = 1 { ( 1 λ λ k + a ) exp ( λ λ k + a + + λ [ μ ] [ μ ] ( λ k + a ) [ μ ] ) } ,
(1.7)

where [μ] denotes the greatest integer part in the order μ of the sequence { λ k }.

There exists the following relationship between E(λ) and E(λ,a) (see Voros [4]):

E(λ,a)=exp ( m = 1 [ μ ] R m 1 ( a ) λ m m ! ) E ( λ a ) E ( a ) ,
(1.8)

where, for convenience,

R [ μ ] (λa):= d [ μ ] + 1 d λ [ μ ] + 1 { log E ( λ , a ) } .
(1.9)

The shifted series Z(s,a) of Z(s) in (1.2) by a is given by

Z(s,a):= k = 1 1 ( λ k + a ) s .
(1.10)

Formally, indeed, we have

Z (0,λ)= k = 1 log( λ k λ),

which, if we define

D(λ):=exp [ Z ( 0 , λ ) ] ,
(1.11)

immediately implies that

D(λ)= k = 1 ( λ k λ).

In fact, Voros [4] gave the relationship between D(λ) and E(λ) as follows:

D ( λ ) = exp [ Z ( 0 ) ] exp [ m = 1 [ μ ] FP Z ( m ) λ m m ] exp [ m = 2 [ μ ] C m ( k = 1 m 1 1 k ) λ m m ! ] E ( λ ) ,
(1.12)

where an empty sum is interpreted to be nil and the finite part prescription is applied (as usual) as follows (cf. Voros [[4], p.446]):

FPf(s):={ f ( s ) if  s  is not a pole , lim ϵ 0 ( f ( s + ϵ ) Residue ϵ ) if  s  is a simple pole
(1.13)

and

Z(m)= ( 1 ) m m! C m .
(1.14)

Now consider the sequence of eigenvalues on the standard Laplacian Δ n on S n . It is known from the work of Vardi [7] (see also Terras [8]) that the standard Laplacian Δ n (nN) has eigenvalues

μ k :=k(k+n1)
(1.15)

with multiplicity

q n ( k ) : = ( k + n n ) ( k + n 2 n ) = ( 2 k + n 1 ) ( k + n 2 ) ! k ! ( n 1 ) ! = 2 k + n 1 ( n 1 ) ! j = 1 n 2 ( k + j ) ( k N 0 ) ,
(1.16)

where denotes the set of positive integers and N 0 :=N{0}. From now on we consider the shifted sequence { λ k } of { μ k } in (1.15) by ( n 1 2 ) 2 as a fundamental sequence. Then the sequence { λ k } is written in the following simple and tractable form:

λ k = μ k + ( n 1 2 ) 2 = ( k + n 1 2 ) 2
(1.17)

with the same multiplicity as in (1.16).

We will exclude the zero mode, that is, start the sequence at k=1 for later use. Furthermore, with a view to emphasizing n on S n , we choose the notations Z n (s), Z n (s,a), E n (λ), E n (λ,a), and D n (λ) instead of Z(s), Z(s,a), E(λ), E(λ,a), and D(λ), respectively.

We readily observe from (1.11) that

D n ( ( n 1 2 ) 2 ) = det Δ n ,
(1.18)

where det Δ n denotes the determinants of the Laplacians on S n (nN).

Several authors (see Choi [9], Kumagai [10], Vardi [7], and Voros [4]) used the theory of multiple gamma functions (see Barnes [1114]) to compute the determinants of the Laplacians on the n-dimensional unit sphere S n (nN:={1,2,3,}). Quine and Choi [15] made use of zeta regularized products to compute det Δ n and the determinant of the conformal Laplacian, det( Δ S n +n(n2)/4). Choi and Srivastava [16, 17], Choi et al. [18], and Choi [19] made use of some closed-form evaluations of the series involving zeta function (see [[20], Chapter 3]) for the computation of the determinants of the Laplacians on S n (n=2,3,4,5,6,7,8,9). In the sequel, here, we aim at presenting a general explicit formula for the determinants of the Laplacians on S k (k=2n+1; nN) by mainly using a summation formula of the series involving zeta function.

2 The Stirling numbers s(n,k) of the first kind

We begin by recalling the Stirling numbers s(n,k) of the first kind defined by the generating functions (see, e.g., [[20], Section 1.5]; see also [[21], Section 1.6])

z(z1)(zn+1)= k = 0 n s(n,k) z k
(2.1)

and

{ log ( 1 + z ) } k =k! n = k s(n,k) z n n ! ( | z | < 1 ) .
(2.2)

The following recurrence relations are satisfied by s(n,k):

s(n+1,k)=s(n,k1)ns(n,k)(nk1);
(2.3)
( k j ) s(n,k)= = k j n j ( n ) s(n,j)s(,kj)(nkj).
(2.4)

It is not difficult to see also that

s ( n , 0 ) = { 1 ( n = 0 ) , 0 ( n N ) , s ( n , n ) = 1 , s ( n , k ) = 0 ( k > n ) , s ( n , 1 ) = ( 1 ) n + 1 ( n 1 ) ! , s ( n , n 1 ) = ( n 2 )
(2.5)

and

k = 1 n s ( n , k ) = 0 ( n N { 1 } ) ; k = 0 n ( 1 ) n + k s ( n , k ) = n ! ; j = k n s ( n + 1 , j + 1 ) n j k = s ( n , k ) .
(2.6)

The Pochhammer symbol ( z ) n is defined (for zC) by

( z ) n : = { 1 ( n = 0 ) , z ( z + 1 ) ( z + n 1 ) ( n N ) = Γ ( z + n ) Γ ( z ) ( n N 0 ; z C Z 0 ) ,
(2.7)

in terms of the gamma function Γ, and Z 0 :={0,1,2,}.

From the definition (2.1) of s(n,k), the Pochhammer symbol in (2.7) can be written in the form

( z ) n =z(z+1)(z+n1)= k = 0 n ( 1 ) n + k s(n,k) z k ,
(2.8)

where ( 1 ) n + k s(n,k) denotes the number of permutations of n symbols, which has exactly k cycles.

For potential use, we observe the following simple properties related to s(n,k) in the lemma below.

Lemma 1 For nN, let

[ j = 1 n s ( n , j ) z j ] [ j = 1 n ( 1 ) n + j s ( n , j ) z j ] := = 1 2 n C (n) z .

Then we have

C (n)= j = 1 1 ( 1 ) j s(n,j)s(n,j)and C 2 + 1 (n)=0( N 0 ).
(2.9)

Proof It is easy to see the first expression for C (n). For the second one, it is enough to see that the defined product is an even function of z. □

For later use, we compute the first few values of C (n) as in Lemma 2.

Lemma 2 The values of C 2 (n) when (,n)=(1,1),(1,2),(2,2),(3,2), are computed as follows:

C 2 ( 1 ) = 1 ; C 2 ( 2 ) = 1 ; C 4 ( 2 ) = 1 ; C 2 ( 3 ) = 4 ; C 4 ( 3 ) = 5 ; C 6 ( 3 ) = 1 ; C 2 ( 4 ) = 36 ; C 4 ( 4 ) = 49 ; C 6 ( 4 ) = 14 ; C 8 ( 4 ) = 1 .

3 Series associated with the zeta functions

A rather classical (over two centuries old) theorem of Christian Goldbach (1690-1764), which was stated in a letter dated 1729 from Goldbach to Daniel Bernoulli (1700-1782), was revived in 1986 by Shallit and Zikan [22] as the following problem:

ω S ( ω 1 ) 1 =1,
(3.1)

where denotes the set of all nontrivial integer k th powers, that is,

S:= { n k n , k N { 1 } } .
(3.2)

In terms of the Riemann zeta function ζ(s) defined by

ζ(s):={ n = 1 1 n s = 1 1 2 s n = 1 1 ( 2 n 1 ) s ( ( s ) > 1 ) , 1 1 2 1 s n = 1 ( 1 ) n 1 n s ( ( s ) > 0 ; s 1 ) ,
(3.3)

Goldbach’s theorem (3.1) assumes the elegant form (cf. Shallit and Zikan [[22], p.403])

k = 2 { ζ ( k ) 1 } =1
(3.4)

or, equivalently,

k = 2 F ( ζ ( k ) ) =1,
(3.5)

where F(x):=x[x] denotes the fractional part of xR. As a matter of fact, it is fairly straightforward to observe also that

k = 2 ( 1 ) k F ( ζ ( k ) ) = 1 2 ,
(3.6)
k = 1 F ( ζ ( 2 k ) ) = 3 4 and k = 1 F ( ζ ( 2 k + 1 ) ) = 1 4 .
(3.7)

The Hurwitz (or generalized) zeta function ζ(s,a) is defined by

ζ(s,a):= k = 0 ( k + a ) s ( ( s ) > 1 ; a C Z 0 ) ,
(3.8)

where Z 0 denotes the set of nonpositive integers. It is noted that both the Riemann zeta function ζ(s) and the Hurwitz zeta function ζ(s,a) can be continued meromorphically to the whole complex s-plane except for a simple pole only at s=1 with their residue 1. For easy reference, we recall some properties of ζ(s) and ζ(s,a) as in the following lemma.

Lemma 3 Each of the following identities holds true.

ζ(s)=ζ(s,1)= ( 2 s 1 ) 1 ζ ( s , 1 2 ) =1+ζ(s,2),
(3.9)
ζ(s,a)=ζ(s,n+a)+ k = 0 n 1 ( k + a ) s (nN),
(3.10)
ζ(s)=ζ(s,n+1)+ k = 1 n k s (n N 0 ),
(3.11)
ζ(n,a)= B n + 1 ( a ) n + 1 (n N 0 ),
(3.12)

where B n (a) and B n := B n (0) are the Bernoulli polynomials and numbers, respectively (see [[20], Section 1.6]; see also [[20], p.85, Eq. (17)]). It is said that s=2n (nN) are the trivial zeros of ζ(s):

ζ(2n)=0(nN).
(3.13)

It is known that

ζ(2n)= ( 1 ) n + 1 ( 2 π ) 2 n 2 ( 2 n ) ! B 2 n (n N 0 )
(3.14)

and

ζ (2n)={ ( 1 ) n ( 2 n ) ! 2 ( 2 π ) 2 n ζ ( 2 n + 1 ) ( n N ) , 1 2 log ( 2 π ) ( n = 0 ) .
(3.15)

Employing the various methods and techniques used in the vast literature on the subject of the closed-form evaluations series associated with the zeta functions, Srivastava and Choi (see [[20], Chapter 3], [[21], Chapter 3], and see also the related references therein) presented a rather extensive collection of closed-form sums of series involving the zeta functions. For the use in the next section, we recall two general formulas as in the following lemma (see [[21], p.254]).

Lemma 4 The following identity holds true:

= 1 ζ ( 2 , a ) + j t 2 + 2 j = m = 0 2 j ( 2 j m ) [ ζ ( m , a t ) + ( 1 ) m ζ ( m , a + t ) ] t 2 j m m = 0 j 1 ζ ( 2 m , a ) j m t 2 j 2 m 2 ζ ( 2 j , a ) ( j N 0 ; | t | < | a | ) .
(3.16)

By setting t=n and a=n+1 in (3.16) and using suitable formulas given in this section, we get a special case identity of (3.16) as in Lemma 5 below.

Lemma 5 The following identity holds true:

= 1 ζ ( 2 , n + 1 ) + j n 2 + 2 j = n 2 j log [ ( 2 n ) ! 2 π ] ( 1 ) j ( 2 j ) ! ( 2 π ) 2 j ζ ( 2 j + 1 ) + m = 1 j ( 2 j 2 m ) [ ( 1 ) m ( 2 m ) ! ( 2 π ) 2 m ζ ( 2 m + 1 ) + = 1 2 n 2 m log ] n 2 j 2 m m = 0 j 1 ( 2 j 2 m + 1 ) ( = 1 2 n 2 m + 1 log ) n 2 j 2 m 1 2 = 1 n 2 j log + 1 j ( 1 2 + n ) n 2 j + m = 1 j 1 1 j m ( = 1 n 2 m ) n 2 j 2 m ( n , j N ) .
(3.17)

Further specialized formulas of the identity in (3.17), for later use, are obtained as in Lemma 6 below.

Lemma 6 Each of the following formulas holds true:

= 1 ζ ( 2 ) 1 + 1 = 3 2 logπ,
(3.18)

which has been recorded and used in several places (see, for example, [[23], p.388, Eq. (2.17)], [[16], p.215, Eq. (2.18)], [[20], p.219, Eq. (519)])

= 1 ζ ( 2 , 3 ) + 1 2 2 + 2 =104log2+log34logπ,
(3.19)
= 1 ζ ( 2 , 3 ) + 2 2 2 + 4 =4016log2+log316logπ 12 π 2 ζ(3),
(3.20)
= 1 ζ ( 2 , 4 ) + 1 3 2 + 2 = 63 2 5log29log3+4log59logπ,
(3.21)
= 1 ζ ( 2 , 4 ) + 2 3 2 + 4 = 1 , 071 4 29log281log3+16log581logπ 27 ζ ( 3 ) π 2 ,
(3.22)
= 1 ζ ( 2 , 4 ) + 3 3 2 + 6 = 4 , 599 2 125 log 2 729 log 3 + 64 log 5 729 log π 1 , 215 ζ ( 3 ) 2 π 2 + 405 ζ ( 5 ) 2 π 4 ,
(3.23)
= 1 ζ ( 2 , 5 ) + 1 4 2 + 2 =32log213log3+log5+9log716logπ,
(3.24)
= 1 ζ ( 2 , 5 ) + 2 4 2 + 4 = 1 , 056 + 77 , 312 log 2 + 11 , 215 log 3 + 6 , 049 log 5 + 14 , 129 log 7 256 log π 48 ζ ( 3 ) π 2 ,
(3.25)
= 1 ζ ( 2 , 5 ) + 3 4 2 + 6 = 15 , 648 8 , 192 log 2 1 , 393 log 3 + log 5 + 729 log 7 4 , 096 log π 1 , 920 ζ ( 3 ) π 2 + 360 ζ ( 5 ) π 4 ,
(3.26)
= 1 ζ ( 2 , 5 ) + 4 4 2 + 8 = 238 , 240 131 , 072 log 2 12 , 865 log 3 + log 5 + 6 , 561 log 7 65 , 536 log π 57 , 344 ζ ( 3 ) π 2 + 26 , 880 ζ ( 5 ) π 4 5 , 040 ζ ( 7 ) π 6 .
(3.27)

4 The determinants of the Laplacians on S k (k=2n+1)

Here, by using (1.18) and the results in the previous sections, we are ready to compute the determinants of the Laplacians on S k (k=2n+1) as in the following theorem.

Theorem The determinants of the Laplacians on S k (k=2n+1) are given as follows:

det Δ 2 n + 1 = exp [ Z 2 n + 1 ( 0 ) ] exp [ m = 1 n Z 2 n + 1 ( m ) n 2 m m ] exp [ m = 2 n Ω m ( n ) H m 1 n 2 m m ! ] E 2 n + 1 ( n 2 ) ,
(4.1)

where

Z 2 n + 1 (m):= ( 1 ) m m! Ω m (n)(mN)
(4.2)

and H m are harmonic numbers defined by

H m := k = 1 m 1 k (mN).
(4.3)

Here we have

Z 2 n + 1 (0)= 4 ( 1 ) n ( 2 n ) ! = 1 n C 2 (n) [ ( 1 ) ( 2 ) ! 2 ( 2 π ) 2 ζ ( 2 + 1 ) + j = 1 n j 2 log j ] ,
(4.4)
Z 2 n + 1 ( m ) = 2 ( 1 ) n ( 2 n ) ! [ = 1 m C 2 ( n ) ( ( 1 ) m + 1 ( 2 π ) 2 ( m ) 2 ( 2 m 2 ) ! B 2 ( m ) j = 1 n 1 j 2 m 2 ) = m + 1 n C 2 ( n ) ( j = 1 n 1 j 2 m 2 ) ] ,
(4.5)
Z 2 n + 1 (m)= ( 1 ) m m! Ω m (n)= 2 ( 1 ) n + 1 ( 2 n ) ! = 1 n C 2 (n) ( j = 1 n j 2 m + 2 )
(4.6)

and

log E 2 n + 1 ( n 2 ) = 2 ( 1 ) n + 1 ( 2 n ) ! j = 1 n C 2 j (n)P(n,j),
(4.7)

where, for convenience,

P ( n , j ) : = = n + 1 ζ ( 2 2 j , n + 1 ) n 2 = = 1 n j [ ( 1 ) ( 2 π ) 2 2 ( 2 ) ! B 2 + k = 1 n 1 k 2 ] n 2 + 2 j + j + = 1 ζ ( 2 , n + 1 ) + j n 2 + 2 j ,
(4.8)

of which the last series is expressed in a closed-form as given in Lemma  5.

Proof In view of (1.15), the sequence { μ k } of eigenvalues on the standard Laplacian Δ 2 n + 1 on S 2 n + 1 is given as follows: μ k :=k(k+2n) with multiplicity q 2 n + 1 (k) as in (1.16). Here we consider the shifted sequence { λ k } of { μ k } by n 2 as a fundamental sequence. Then the sequence { λ k } is written in the following simple and tractable form:

λ k = μ k + n 2 = ( k + n ) 2
(4.9)

with the same multiplicity q 2 n + 1 (k). It is noted that λ k has the order

μ=(2n+1)/2=n+1/2.
(4.10)

It follows from (1.18) and (1.12) with the aid of (4.9) and (4.10) that

det Δ 2 n + 1 = exp [ Z 2 n + 1 ( 0 ) ] exp [ m = 1 n FP Z 2 n + 1 ( m ) n 2 m m ] exp [ m = 2 n Ω m ( n ) H m 1 n 2 m m ! ] E 2 n + 1 ( n 2 ) ,
(4.11)

where Ω m (n) and H m are given as in (4.2) and (4.3), respectively.

In order to express Z 2 n + 1 (s) in terms of certain known functions, we first consider the corresponding multiplicity q 2 n + 1 (k): From (1.16), we have

q 2 n + 1 ( k ) = 2 ( n + k ) ( 2 n ) ! j = 1 2 n 1 ( k + j ) = 2 ( 2 n ) ! [ ( k + 1 ) ( k + 2 ) ( k + n ) ] [ ( k + n ) ( k + n + 1 ) ( k + 2 n 1 ) ] .

We find from (2.1) and (2.8) that

q 2 n + 1 (k)= 2 ( 2 n ) ! [ j = 1 n s ( n , j ) ( k + n ) j ] [ j = 1 n ( 1 ) n + j s ( n , j ) ( k + n ) j ] ,

which, in view of Lemma 1 (see also (2.9)), is expressed as follows:

q 2 n + 1 (k)= 2 ( 1 ) n ( 2 n ) ! = 1 n C 2 (n) ( k + n ) 2 .
(4.12)

Now it is easy to see that

Z 2 n + 1 (s):= k = 1 q 2 n + 1 ( k ) ( k + n ) 2 s = 2 ( 1 ) n ( 2 n ) ! = 1 n C 2 (n)ζ(2s2,n+1),
(4.13)

where C (n) is given in (2.9).

Since the Hurwitz zeta function ζ(s,a) has only a simple pole at s=1 with its residue 1, it is seen that Z 2 n + 1 (s) has simple poles at s=+1/2 (=1,2,,n) with their respective residue ( 1 ) n C 2 (n)/(2n)!. Therefore we find from the finite part prescription (1.13) that

FP Z 2 n + 1 (m)= Z 2 n + 1 (m)(m=1,2,,n).
(4.14)

It is seen that applying (4.14) to (4.11) proves (4.1). Employing (3.11), (3.13), (3.14), and (3.15) in (4.13), we obtain the expressions (4.4), (4.5), and (4.6).

In view of (1.6), (4.9), and (4.10), we obtain

E 2 n + 1 ( n 2 ) = k = 1 { ( 1 n 2 ( k + n ) 2 ) q 2 n + 1 ( k ) exp [ q 2 n + 1 ( k ) ( n 2 ( k + n ) 2 + n 4 2 ( k + n ) 4 + + n 2 n n ( k + n ) 2 n ) ] } .
(4.15)

Taking the logarithm of both sides in (4.15) and considering

log(1x)= = 1 x (1x<1),
(4.16)

we obtain

log E 2 n + 1 ( n 2 ) = = n + 1 n 2 k = 1 q 2 n + 1 ( k ) ( k + n ) 2 .
(4.17)

Applying (4.12) to (4.17), we get (4.7). Letting j= in the definition of P(n,j) in (4.8) and dropping the prime on , we obtain

P ( n , j ) = = n + 1 j ζ ( 2 , n + 1 ) + j n 2 + 2 j = = 1 n j ζ ( 2 , n + 1 ) + j n 2 + 2 j + = 1 ζ ( 2 , n + 1 ) + j n 2 + 2 j ( n , j N ; 1 j n ) ,

which, upon using (3.11) and (3.14) in the first finite series, yields (4.8). □

By setting n=1,2,3,4 in (4.1), we give det Δ 2 n + 1 as in the following corollary.

Corollary The determinants of the Laplacians on S k (k=3,5,7,9) are given as follows:

det Δ 3 =πexp [ ζ ( 3 ) 2 π 2 ] ,
(4.18)
det Δ 5 = π 2 exp [ 197 3 + 23 ζ ( 3 ) 24 π 2 ζ ( 5 ) 8 π 4 ] ,
(4.19)
det Δ 7 = π 3 exp [ 164 , 033 8 + 949 ζ ( 3 ) 720 π 2 13 ζ ( 5 ) 24 π 4 + ζ ( 7 ) 32 π 6 ] ,
(4.20)
det Δ 9 = 2 506 , 669 2 , 520 3 14 , 285 504 5 147 10 7 3 , 073 90 π exp [ 24 , 546 , 672 , 397 1 , 890 + 16 , 399 ζ ( 3 ) 10 , 080 π 2 2 , 087 ζ ( 5 ) 1 , 920 π 4 + 31 ζ ( 7 ) 128 π 6 ζ ( 9 ) 128 π 8 ] .
(4.21)

References

  1. D’Hoker E, Phong DH: On determinant of Laplacians on Riemann surface. Commun. Math. Phys. 1986, 104: 537-545. 10.1007/BF01211063

    Article  MathSciNet  MATH  Google Scholar 

  2. D’Hoker E, Phong DH: Multiloop amplitudes for the bosonic Polyakov string. Nucl. Phys. B 1986, 269: 204-234.

    MathSciNet  Google Scholar 

  3. Sarnak P: Determinants of Laplacians. Commun. Math. Phys. 1987, 110: 113-120. 10.1007/BF01209019

    Article  MathSciNet  MATH  Google Scholar 

  4. Voros A: Special functions, spectral functions and the Selberg zeta function. Commun. Math. Phys. 1987, 110: 439-465. 10.1007/BF01212422

    Article  MathSciNet  MATH  Google Scholar 

  5. Osgood B, Phillips R, Sarnak P: Extremals of determinants of Laplacians. J. Funct. Anal. 1988, 80: 148-211. 10.1016/0022-1236(88)90070-5

    Article  MathSciNet  MATH  Google Scholar 

  6. Quine JR, Heydari SH, Song RY: Zeta regularized products. Trans. Am. Math. Soc. 1993, 338: 213-231. 10.1090/S0002-9947-1993-1100699-1

    Article  MathSciNet  MATH  Google Scholar 

  7. Vardi I: Determinants of Laplacians and multiple gamma functions. SIAM J. Math. Anal. 1988, 19: 493-507. 10.1137/0519035

    Article  MathSciNet  MATH  Google Scholar 

  8. Terras A I. In Harmonic Analysis on Symmetric Spaces and Applications. Springer, New York; 1985.

    Chapter  Google Scholar 

  9. Choi J:Determinant of Laplacian on S 3 . Math. Jpn. 1994, 40: 155-166.

    MathSciNet  MATH  Google Scholar 

  10. Kumagai H: The determinant of the Laplacian on the n -sphere. Acta Arith. 1999, 91: 199-208.

    MathSciNet  MATH  Google Scholar 

  11. Barnes EW: The theory of the G -function. Q. J. Math. 1899, 31: 264-314.

    MATH  Google Scholar 

  12. Barnes EW: Genesis of the double gamma function. Proc. Lond. Math. Soc. 1900, 31: 358-381.

    MATH  Google Scholar 

  13. Barnes EW: The theory of the double gamma function. Philos. Trans. R. Soc. Lond. Ser. A 1901, 196: 265-388. 10.1098/rsta.1901.0006

    Article  MATH  Google Scholar 

  14. Barnes EW: On the theory of the multiple gamma functions. Trans. Camb. Philos. Soc. 1904, 19: 374-439.

    Google Scholar 

  15. Quine JR, Choi J: Zeta regularized products and functional determinants on spheres. Rocky Mt. J. Math. 1996, 26: 719-729. 10.1216/rmjm/1181072081

    Article  MathSciNet  MATH  Google Scholar 

  16. Choi J, Srivastava HM: An application of the theory of the double gamma function. Kyushu J. Math. 1999, 53: 209-222. 10.2206/kyushujm.53.209

    Article  MathSciNet  MATH  Google Scholar 

  17. Choi J, Srivastava HM: Certain classes of series associated with the zeta function and multiple gamma functions. J. Comput. Appl. Math. 2000, 118: 87-109. 10.1016/S0377-0427(00)00311-3

    Article  MathSciNet  MATH  Google Scholar 

  18. Choi J, Cho YJ, Srivastava HM: Series involving the zeta function and multiple gamma functions. Appl. Math. Comput. 2004, 159: 509-537. 10.1016/j.amc.2003.08.134

    Article  MathSciNet  MATH  Google Scholar 

  19. Choi J: Determinants of the Laplacians on the n -dimensional unit sphere S n ( n=8,9 ). Honam Math. J. 2011, 33(3):321-333. 10.5831/HMJ.2011.33.3.321

    Article  MathSciNet  MATH  Google Scholar 

  20. Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.

    Book  MATH  Google Scholar 

  21. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.

    MATH  Google Scholar 

  22. Shallit JD, Zikan K: A theorem of Goldbach. Am. Math. Mon. 1986, 93: 402-403. 10.2307/2323614

    Article  MathSciNet  Google Scholar 

  23. Choi J, Srivastava HM, Quine JR: Some series involving the zeta function. Bull. Aust. Math. Soc. 1995, 51: 383-393. 10.1017/S0004972700014210

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author would like to express his gratitude for the referees’ helpful comments to have this paper in the present improved form. This research was supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (2010-0011005).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Junesang Choi.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Choi, J. Determinants of the Laplacians on the n-dimensional unit sphere S n . Adv Differ Equ 2013, 236 (2013). https://doi.org/10.1186/1687-1847-2013-236

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-236

Keywords