APPROXIMATION OF THE DILOGARITHM FUNCTION MEHDI HASSANI

advertisement
APPROXIMATION OF THE DILOGARITHM
FUNCTION
Dilogarithm Function
MEHDI HASSANI
Institute for Advanced Studies in Basic Sciences
P.O. Box 45195-1159, Zanjan, Iran.
EMail: mmhassany@srttu.edu
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
Title Page
Received:
15 April, 2006
Accepted:
03 January, 2007
Communicated by:
A. LupasĖ§
2000 AMS Sub. Class.:
33E20.
Key words:
Special function, Dilogarithm function, Digamma function, Polygamma function, Polylogarithm function, Lerch zeta function.
Contents
JJ
II
J
I
Page 1 of 7
Go Back
Full Screen
Close
Abstract:
In this short
R xnote,t we approximate Dilogarithm function, defined by
dilog(x) = 1 log
1−t dt. Letting
N
1
π2 X
D(x, N ) = − log2 x −
+
2
6
n=1
1
n2
+ n1 log x
,
xn
we show that for every x > 1, the inequalities
1
D(x, N ) < dilog(x) < D(x, N ) + N
x
Dilogarithm Function
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
hold true for all N ∈ N.
Title Page
Dedication:
Dedicated to Professor Yousef Sobouti on the occasion of his 75th birthday.
Contents
JJ
II
J
I
Page 2 of 7
Go Back
Full Screen
Close
Definition. The Dilogarithm function dilog(x) is defined for every x > 0 as follows
[5]:
Z x
log t
dilog(x) =
dt.
1 1−t
Expansion. The following expansion holds true when x tends to infinity:
1
dilog(x) = D(x, N ) + O
,
xN +1
where
Dilogarithm Function
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
N
1
π2 X
D(x, N ) = − log2 x −
+
2
6
n=1
1
n2
+
1
log x
n
.
xn
Title Page
Aim of Present Work. The aim of this note is to prove that:
1
xN
Lower Bound. For every x > 0 and N ∈ N, let:
0 < dilog(x) − D(x, N ) <
Contents
(x > 1, N ∈ N).
II
J
I
Page 3 of 7
L(x, N ) = dilog(x) − D(x, N ).
Go Back
A simple computation, yields that:
d
L(x, N ) = log x
dx
JJ
N +1
X 1
x
+
1 − x n=0 xn
∞
!
< log x
X 1
x
+
1 − x n=0 xn
Full Screen
!
= 0.
So, L(x, N ) is a strictly decreasing
function of the variable x, for every N ∈ N. Con
sidering L(x, N ) = O xN1+1 , we obtain a desired lower bound for the Dilogarithm
function, as follows:
L(x, N ) > lim L(x, N ) = 0.
x→+∞
Close
Upper Bound. For every x > 0 and N ∈ N, let:
U(x, N ) = dilog(x) − D(x, N ) −
1
.
xN
First, we observe that
N
π2 X 1
π2
U(1, N ) =
−
−
1
=
Ψ(1,
N
+
1)
−
1
≤
− 2 < 0,
6
n2
6
n=1
in which Ψ(m, x) is the m-th polygamma function,
m-th derivative of the digamma
R ∞ the
d
−t x−1
function, Ψ(x) = dx log Γ(x), with Γ(x) = 0 e t dt (see [1, 2]). A simple
computation, yields that:
!
N
+1
X
d
N
x
1
U(x, N ) = log x
+
+ N +1 .
n
dx
1 − x n=0 x
x
To determine the sign of
d
U(x, N ),
dx
1. Suppose x > 1. Since,
log x
x−1
we distinguish two cases:
is strictly decreasing, we have
log x
log x
N ≥ 1 = lim
>
,
x→1 x − 1
x−1
P∞
N
1
N
1
which is log
>
or
equivalently
>
N
+1
n=N +2 xn , and this yields
x
x−1
x
log x
d
that dx
U(x, N ) > 0. So, U(x, N ) is strictly increasing for every N ∈ N. Thus,
U(x, N ) < limx→+∞ U(x, N ) = 0; as desired in this case. Also, note that in
this case we obtain
U(x, N ) > U(1, N ) = Ψ(1, N + 1) − 1.
Dilogarithm Function
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
Title Page
Contents
JJ
II
J
I
Page 4 of 7
Go Back
Full Screen
Close
x
x
2. Suppose 0 < x < 1 and N − log
≥ 0. We observe that 1 < log
< +∞ and
x−1
x−1
PN +1 1
N
+2
1−x
d
n=0 xn = xN +1 (1−x) . Considering these facts, we see that dx U(x, N ) and
x
N − log
have same sign; i.e.
x−1
d
log x
sgn
U(x, N ) = sgn N −
.
dx
x−1
Dilogarithm Function
Thus, U(x, N ) is increasing and so,
Mehdi Hassani
π2
U(x, N ) ≤ lim− U(x, N ) = Ψ(1, N + 1) − 1 ≤
− 2 < 0.
x→1
6
vol. 8, iss. 1, art. 25, 2007
Title Page
Connection with Other Functions. Using Maple, we have:
π2
1
log x
x−1
1
2
D(x, N ) = − log x −
+ 2 N +
− log
log x
2
6
N x
N xN
x
1
log x
1
1
1
+ polylog 2,
− N Φ
, 1, N − N Φ
, 2, N ,
x
x
x
x
x
in which
polylog(a, z) =
∞
X
zn
n=1
n
,
a
is the polylogarithm function of index a at the point z and defined by the above series
if |z| < 1, and by analytic continuation otherwise [4]. Also,
Φ(z, a, v) =
∞
X
n=1
zn
,
(v + n)a
Contents
JJ
II
J
I
Page 5 of 7
Go Back
Full Screen
Close
is the Lerch zeta (or Lerch-Φ) function defined by the above series for |z| < 1, with
v 6= 0, −1, −2, . . . , and by analytic continuation, it is extended to the whole complex
z-plane for each value of a and v (see [3, 6]).
Dilogarithm Function
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
Title Page
Contents
JJ
II
J
I
Page 6 of 7
Go Back
Full Screen
Close
References
[1] M. ABRAMOWITZ AND I.A. STEGUN, Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables, Dover Publications,
1972.
[2] N.N. LEBEDEV, Special Functions and their Applications, Translated and
edited by Richard A. Silverman, Dover Publications, New York, 1972.
[3] L. LEWIN, Dilogarithms and associated functions, MacDonald, London, 1958.
[4] L. LEWIN, Polylogarithms and associated functions, North-Holland Publishing
Co., New York-Amsterdam, 1981.
Dilogarithm Function
Mehdi Hassani
vol. 8, iss. 1, art. 25, 2007
Title Page
[5] E.W. WEISSTEIN, "Dilogarithm." From MathWorld–A Wolfram Web Resource. http://mathworld.wolfram.com/Dilogarithm.html
[6] E.W.
WEISSTEIN,
"Lerch
Wolfram
Web
Resource.
LerchTranscendent.html
Transcendent."
From
MathWorld–A
http://mathworld.wolfram.com/
Contents
JJ
II
J
I
Page 7 of 7
Go Back
Full Screen
Close
Download