Advanced Integration Techniques
Advanced Integration Techniques
Techniques
Advanced approaches for solving many complex integrals using special functions and some
transformations
Second Version
ZAID ALYAFEAI
YEMEN
mailto:[email protected]
Contents
1.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Laplace Transform 14
2.1.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3 Convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5.1 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.5.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.5.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 Gamma Function 19
3.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.4 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.5 Extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.5.1 Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.6.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.8 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1
3.10 Legendre Duplication Formula . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.11 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.13 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.14 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4 Beta Function 33
4.1 Representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.5 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.6 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.8 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.9 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.10 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5 Digamma function 39
5.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2
5.8.3 Third Integral representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.11 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.12 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5.13 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5.14 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.15 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6 Zeta function 54
6.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
6.4 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
6.6.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
8 Polylogarithm 63
8.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
8.5 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.6 Dilogarithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8.6.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3
8.6.2 First functional equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8.6.5 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.6.6 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.6.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
8.6.8 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
9.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
9.3 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
9.5 Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
10 Error Function 77
10.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
10.4 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
10.6 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
10.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
10.8 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
10.9 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
10.10Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
11.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.2 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
11.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
11.5 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4
11.6 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
11.7 Exercise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
12.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
12.5 Identities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
13 Euler sums 97
13.1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
13.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
13.5 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
13.13Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5
14.7 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6
19.4 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
20.11Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
7
Acknowledgement
I want to offer my sincerest gratitude to all those who supported me during my journey to finish this
book. Especially my parents, sisters and friends who supported the idea of this book. I also want to
thank my Math teachers at King Fahd University because I wouldnt be able to learn the advanced
without having knowledge of the elementary. I also want to extend my thanks to all my friends on the
different math forums like MMF, MHB and stack exchange without them I wouldnt be learning any
thing.
Reviewers
A special thank for Mohammad Nather Shaaban for reviewing some parts of the book.
What is new?
Basically, there are 5 new functions added to the book. The Cosine and Sine Integral functions, the
Clausen functions, the logarithm integral function and the Barnes G function. The structure of the book
is basically the same. Many typos and computation mistakes were corrected.
I have a plan to add many other sections. Basically Ill try to focus on transformations like Mellin and
fourier transforms. Also many other functions like the Jacobi theta function and q-series. Also I am
8
Introduction
This book is a summary of working on advanced integrations for around four years. It collects many
examples that I gathered during that period. The approaches taken to solve the integrals arent neces-
sarily the only and best methods but they are offered for the sake of explaining the topic. Most of the
content of this book I already wrote on mathhelpboards.com during the past three years but I thought
that publishing it using a pdf would be easier to read and distribute. The motivation behind this book is
to allow those who are interested in solving complicated integrals to be able to use the different methods
to solve them efficiently. When I started learning about these techniques I would suffer to get enough
information about all the required approaches so I tried to collect every thing in just one book. You are
free to distribute this book and use any of the methods to solve the integrals or use the same techniques.
The methods used are not necessarily new or ground-breaking but as I said they introduce the concept
as easy as possible.
To follow this book you have to be know the basic integration techniques like integration by parts, by
substitution and by partial fractions. I dont assume that the readers know any other stuff from any
other topics or advanced courses from mathematics. Usually the details that require deep knowledge of
analysis or advanced topics are left or just touched upon lightly to give the reader some hints but not
After reading this book you should be able to solve many advanced integrals that you might face
in engineering courses. I hope you enjoy reading this book and if you have any suggestions, com-
mathhelpboards.com if you have some questions that I could reply to you directly using Latex.
9
1 Differentiation under the integral sign
This is one of the most commonly used techniques to solve a numerous number of questions.
b
f (x, y) dx
a
Then we can differentiate with respect to y provided that f is continuous and has a partial continuous
b
F (y) = fy (x, y) dx
a
Now using this in many problems is not that clear you have to think a lot to get the required answer
because many integrals are usually in one variable so you need to introduce the second variable and
1.1 Example
1 x2 1
dx
0 log(x)
That seems very difficult to solve but using this technique we can solve it easily. The crux move is to
decide where to put the second variable! So the problem with the integral is that we have a logarithm
in the denominator which makes the problem so difficult to tackle! Remember that we can get a natural
1 xa 1
F (a) = dx
0 log(x)
Now we take the partial derivative with respect to a
1 xa 1 1 1
F (a) = ( ) dx = xa dx =
0 a log(x) 0 a+1
Integrate with respect to a
F (a) = log (a + 1) + C
10
To find the value of the constant put a = 0
F (0) = log(1) + C C = 0
1 xa 1
dx = log (a + 1)
0 log(x)
By this powerful method we were not only able to solve the integral we also found a general formula for
1 x2 1
dx = log (2 + 1) = log(3)
0 log(x)
1.2 Example
2 x
dx
0 tan x
So where do we put the variable a here? that doesnt seem to be straight forward , how do we proceed ?
2 arctan(a tan(x))
F (a) = dx
0 tan(x)
Now differentiate with respect to a
1
F (a) =
2
dx
0 1 + (a tan(x))2
It can be proved that
2 1
dx =
0 1 + (a tan(x))2 2(1 + a)
Now Integrate both sides
F (a) = log(1 + a) + C
2
Substitute a = 0 to find C = 0
11
2 arctan(a tan(x))
dx = log(1 + a)
0 tan(x) 2
Put a = 1 in order to get our original integral
2 x
dx = log(2)
0 tan(x) 2
1.3 Example
sin(x)
dx
0 x
This problem can be solved by many ways , but here we will try to solve it by differentiation. So as I
showed in the previous examples it is generally not easy to find the function to differentiate. Actually
this step might require trial and error techniques until we get the desired result, so dont just give up if
sin(ax)
F (a) = dx
0 x
If we differentiated with respect to a we would get the following
F (a) = cos(ax) dx
0
But unfortunately this integral doesnt converge, so this is not the correct one. Actually, the previous
sin(x)eax
F (a) = dx
0 x
Take the derivative
F (a) = sin(x)eax dx
0
1
F (a) = sin(x)eax dx =
0 a2 + 1
Integrate both sides
12
F (a) = arctan(a) + C
To find the value of the constant take the limit as a grows large
C = lim F (a) + arctan(a) =
a 2
So we get our F (a) as the following
F (a) = arctan(a) +
2
For a = 0 we have
sin(x)
=
0 x 2
13
2 Laplace Transform
Laplace transform is a powerful integral transform. It can be used in many applications. For example, it
can be used to solve Differential Equations and its rules can be used to solve integration problems.
F (s) = L(f (t)) = est f (t) dt
0
2.1.1 Example
1. f (t) = 1
1
F (s) = est dt =
0 s
n!
F (s) = est tn dt =
0 sn+1
s
F (s) = est cos(at) dt =
0 s2 + a2
14
2.2 Example
e2t t3 dt
0
n!
est tn dt =
0 sn+1
Here we have s = 2 and n = 3
3! 3
e2t t3 dt = =
0 23+1 8
2.3 Convolution
t
(f g)(t) = f (s)g(t s) ds
0
So, basically you are given F (s) and we want to get f (t) this is denoted by
2.4.1 Example
1. F (s) = 1
s3
2! 1 1
L(t2 ) = 3
L(t2 ) = 3
s 2 s
15
Now take the inverse to both sides
t2 1
= L1 ( 3 )
2 s
2. F (s) = s
s2 +4
s
cos(2t) = L1 ( )
s2 + 4
Exercises
sin(at)
2.5.1 Example
1 (x)(y)
(x, y) = tx1 (1 t)y1 dt =
0 (x + y)
is the Beta function and is the Gamma function. We will take enough time and examples to explain both
proof
f (t) = tx , g(t) = ty
Hence we get
t
(tx ty ) = sx (t s)y ds
0
16
L (tx ty ) = L(tx )L(ty )
x! y!
L (tx ty ) =
sx+y+2
Notice that we need to find the inverse of Laplace L1
x! y! x! y!
L1 (L(tx ty )) = L1 ( ) = tx+y+1
sx+y+2 (x + y + 1)!
So we have the following
x! y!
(tx ty ) = tx+y+1
(x + y + 1)!
By definition we have
x! y! t
tx+y+1 = sx (t s)y ds
(x + y + 1)! 0
x! y! 1
= sx (1 s)y ds
(x + y + 1)! 0
1 (x + 1)(y + 1)
sx (1 s)y ds =
0 (x + y + 2)
which can be written as
1 (x)(y)
sx1 (1 s)y1 ds =
0 (x + y)
2.5.2 Example
f (t)
dt = L(f (t)) ds
0 t 0
proof
17
L(f (t)) ds = ( est f (t) dt) ds
0 0 0
f (t) ( est ds) dt
0 0
1
est ds =
0 t
Now substitute this value in the integral
f (t)
dt
0 t
2.5.3 Example
sin(t)
dt
0 t
This is not the first time we see this integral and not the last . We have seen that we can find it using
sin(t)
dt = L(sin(t)) ds
0 t 0
1
L(sin(t)) =
s2 + 1
Substitute in our integral
ds
= tan1 (s)s= tan1 (s)s=0 =
0 1 + s2 2
18
3 Gamma Function
The gamma function is used to solve many interesting integrals, here we try to define some basic prop-
3.1 Definition
(x + 1) = et tx dt
0
For the first glance that just looks like the Laplace Transform, actually they are closely related.
(n + 1) = et tn dt
0
n!
et tn = s=1 = n!
0 sn+1
So we see that there is a relation between the gamma function and the factorial. We will assume for the
n! = (n + 1)
This definition is somehow limited but it will be soon replaced by a stronger one.
3.2 Example
et t4 dt
0
et t4 dt = (4 + 1) = 4! = 24
0
19
3.3 Example
1.
et t dt
2
0
We need a substitution before we go ahead, so let us start by putting x = t2 so the integral becomes
1 x 21 12 1 1
e x x dt = (1 + 0) =
2 0 2 2
2.
1
log(t) t2 dt
0
1 1 3x
log(t) t2 dt = e 2 x dx
0 4 0
1 x (2) 1
e x dx = =
9 0 9 9
It is an important thing to get used to the symbol . I am sure that you are saying that this seems
elementary, but my main aim here is to let you practice the new symbol and get used to solving some
3.4 Exercises
Prove that
(5) (2) 1
=
(7) 30
Find the following integral
e 60 t t20 dt
1
0
20
3.5 Extension
For simplicity we assumed that the gamma function only works for positive integers. This definition
was so helpful as we assumed the relation between gamma and factorial. Actually, this restricts the
gamma function, we want to exploit the real strength of this function. Hence, we must extend the gamma
function to work for all real numbers except for some values. Actually we will see soon that we can
extend it to work for all complex numbers except where the function has poles.
3.5.1 Theorem
Using the integral representation we can extend the gamma function to x > 1.
proof
et tx dt et dt <
0
et 1
dt dt <
0 tz 0 tz
(x + 1) = x(x)
This can be proved through integration by parts for x > 0. Actually this representation allows us to
extend the gamma function for all real numbers for non-negative integers. In terms of complex analysis
proof
Note that
n
(z + n + 1) = (z + 1) (k + z)
k=1
21
Which indicates that
n
(z + n + 1)
(k + z) =
k=1 z(z)
Also note that
n
k = n!
k=1
Hence we have
nz n k nz n!
lim = (z) lim
k=1 k + z
n z n (z + n + 1)
nz n!
lim =1
n (z + n + 1)
(z + n + 1) 2(n + z)n+z+1/2 e(n+z)
and
n! 2nn+1/2 en
Hence we have by
nz ( 2nn+1/2 en ) nn
lim = lim =1
n 2(n + z)n+z+1/2 e(n+z) n (n + z)n ez
Note that
z n
lim (1 + ) = ez
n n
To prove the other product formula note that
z
n
1 z nk=1 (1 + k)
(1 + ) = n = (n + 1)z nz
k=1 k k=1 k z
Hence we deduce
z z
k=1 (1 + k1 ) n 1 1 (1 + k )
n 1
nz n k
lim = lim =
k=1 k + z k=1 1 + k z k=1 1 + kz
n z z
n z
22
3.6.2 Example
Prove that
(x)(y) z z
= [(1 + ) (1 )]
(x + z)(y z) k=0 x+k y+k
proof
Start by
nz n k
(z) = lim
k=1 k + z
n z
We have
x y
(x)(y) ( nx nk=1 k
k+x
) ( ny n
k=1 k
k+y
)
= lim
(x + z)(y z) n ( nx+z n
k=1 k+x+z ) ( yz
nyz
x+z
k
k=1
n k
k+yz
)
By simplifications we have
(x)(y) (k + x + z)(k + y z) z z
= = [(1 + ) (1 )]
(x + z)(y z) k=0 (k + x)(k + y) k=0 x+k y+k
ez z 1 z/n
(z) = (1 + ) e
z n=1 n
where is the Euler constant
proof
n n
z
log z(z) = lim z (log (1 + k) log(k)) log (1 + )
n
k=1 k=1 k
Note the alternating sum
n
(log (1 + k) log(k)) = log(n + 1)
k=1
Hence we have
23
n
z
log z(z) = lim z log(n + 1) log (1 + )
n
k=1 k
Now we can use the harmonic numbers
n
1
Hn =
k=1 n
Add and subtract zHn+1
n
z 1 z z
log z(z) = lim z log(n + 1) zHn+1 + [log (1 + ) + ] +
n
k=1 k k n +1
The last term goes to zero and by definition we have the Euler constant
= lim Hn log(n)
n
z 1 z
log z(z) = z + log (1 + ) +
k=1 k k
By taking the exponent of both sides
z 1 z
z(z) = ez (1 + ) e k
k=1 k
(k) (1) k
(z + 1) = z
k=0 k!
For the first term
f (0) = (1 + 0) = 1
f (0)
= (1)
1!
24
To find the derivative, note that by the Weierstrass representation
z 1 z
log (z) = z log(z) + log (1 + ) +
n=1 n n
By taking the derivaive we have
(z) 1
1
= + z
(z) z k=1 k(z + k)
Hence we have
1
(1) = 1 + = 1 + 1 =
k=1 k(1 + k)
f (0) (1)
=
2! 2
Taking the second derivative
(z)(z) ( (z))2 1
1
= +
(z)
2 z 2
k=1 (z + k)
2
1
(1) = ( (z))2 + 1 + = 2 + (2)
k=1 (1 + k) 2
1 2
(z + 1) = 1 z + ( + (2))z 2 + O(z 3 )
2!
Dividing by z we get our result.
3.8 Example
et
dt
0 t
Now according to our definition this is equal to ( 21 ) but this value can be represented using elementary
functions as follows
Let us first make a substitution t=x
ex dx
2
2
0
25
Now to find this integral we need to do a simple trick, start by the following
2
ex dx) = ( ex dx) ( ex dx)
2 2 2
(
0 0 0
ex dx) ( ey dy)
2 2
(
0 0
Now since they are two independent variables we can do the following
e(x +y 2 )
2
dy dx
0 0
er r dr d
2 2
0 0
2 1
d =
0 2 4
So we have
2
ex dx) =
2
(
0 4
Take the square root to both sides
ex dx =
2
0 2
ex dx =
2
2
0
1
( ) =
2
We can use the reduction formula and the value of (1/2) to deduce other values. Assume that we want
to find
26
3
( )
2
If we used this property we get
1 1 1
(1 + ) = ( ) =
2 2 2 2
Not all the time the result will be reduced to a simpler form as the previous example. For example we
dont know how to express ( 41 ) in a simpler form but we can approximate its value
1
( ) 3.6256
4
Hence we just solve some integrals in terms of gamma function since we dont know a simpler form.
et t 4 dt
1
0
5 ( 41 )
et t 4 dt = ( ) =
1
0 4 4
We have seen that ( 21 ) = but what about ( 1
2
)?
1 1 1
(1 ) = ( )
2 2 2
so we have that
1
( ) = 2
2
Then we can prove that any fraction where the denominator equals to 2 and the numerator is odd can be
reduced into
2n + 1 1
( ) = C ( ) , C Q , n Z
2 2
27
3.10 Legendre Duplication Formula
1 (2n)!
( + n) = n
2 4 n!
proof
For the proof we use induction by assuming n 0. If n = 0 we have our basic identity
1
( ) =
2
Now we need to prove that
1 1 + 2n 1
( + n + 1) = ( + n)
2 2 2
By the inductive step we have
1 + 2n 1 1 + 2n (2n)!
( + n) = n
2 2 2 4 n!
We can multiply and divide by 2n + 2
3.11 Example
et cosh(a t)
dt
0 t
we have a hyperbolic function
x2n
cosh(x) =
n=0 (2n)!
Let x = a t
a2n tn
cosh(a t) =
n=0 (2n)!
28
a2n tn
et dt
0 n=0 (2n)! t
Now since the series is always positive we can swap the integral and the series
a2n
et tn 2 dt]
1
[
n=0 (2n)! 0
a2n ( 21 + n)
n=0 (2n!)
Using LDF (Legendre Duplication Formula) we get
a2n (2n)!
( n )
n=0 (2n!) 4 n!
By further simplification
a2n
n
n=0 4 n!
zn
= ez
n=0 n!
a2
Putting z = 4
and multiplying by we get
2 n
( a4 ) a2
= e 4
n=0 n!
So we have finally that
et cosh(a t) a2
dt = e 4
0 t
1
1 z2
= (1 2 )
sin(z) z n=1 n
29
Now we start by noting that
(z)(1 z) = z(z)(z)
ez z 1 z/n ez z 1 z/n
z(z)(z) = z (1 + ) e (1 ) e
z n=1 n z n=1 n
This simplifies to
1
1 z2
(1 2 ) =
z n=1 n sin(z)
3.13 Example
1.
3 1
( ) ( )
4 4
1 1
(1 ) ( )
4 4
1 1
(1 ) ( ) = = 2
4 4 sin ( 4 )
2.
1+i 1i
( ) ( )
2 2
1+i 1+i
( ) (1 )
2 2
=
sin ( (1+i) ) cos ( i
2
)
2
30
By geometry to hyperbolic conversions we get
= sech ( )
cosh ( 2 )
2
3.14 Example
a+1
log (x)dx
a
a+1
f (a) = log (x)dx
a
f (a) = a log(a) a + C
Let a 0
We have
1
C= log (x) dx
0
1 1 1 1
log (x) dx = log dx log sin(x) dx log (1 x) dx
0 0 0 0
1 1 1 1
2 log (x) dx = log dx log sin(x) dx = log(2) log 2 sin(x) dx
0 0 0 0
1 2 2 2
log 2 sin(x) dx = log 2 sin(x/2) dx = cl2 (2) = 0
0 0
31
Hence we finalize by
1 1
log (x) dx = log(2)
0 2
32
4 Beta Function
4.1 Representations
(x)(y)
(x, y) =
(x + y)
We have proved this identity earlier when we discussed convolution.
(x, y) = (y, x)
Beta function has many other representations all can be deduced through substitutions
4.2 Example
1
dz =
0 z2 + 1 2
proof
Put z = t
1 t2
1
dt
2 0 t+1
33
We can use the second integral representation by finding the values of x and y
1 1
x1= x=
2 2
1
x+y =1 y =
2
Hence we have
1 t2 B( 21 , 12 ) ( 12 ) ( 12 )
1
dt = = = =
2 0 (t + 1) 2 2 2 2
4.3 Example
1
dz
0 (z 2 + 1)2
Using the same substitution as the previous example we get
1 t2
1
dt
2 0 (t + 1)2
Then we can find the values of x and y
1 1
x1= x=
2 2
3
x+y =2 y =
2
Then
1 t2 B( 12 , 32 ) ( 21 ) ( 32 ) ( 21 ) ( 12 )
1
dt = = = =
2 0 (t + 1)2 2 2 4 4
4.4 Example
1 1
dx , n >
0 (x2 + 1)n 2
Using the same substitution again
1 t2
1
dt
2 0 (t + 1)n
34
Then we can find the values of x and y
1 1
x1= x=
2 2
1
x+y =n y =n
2
Then
1 t2 ( 12 ) (n 21 )
1
dt =
2 0 (t + 1)n 2(n)
Now by LDF
1 (2n 2)! (2n 1)
(n ) = n1 =
2 4 (n 1)! 4n1 (n)
Substituting in our integral we have the following
1 t2 2 (2n 1)
1
dt =
2 0 (t + 1) n 4n 2 (n)
1 (2n 1)
dx = 2n1 2
0 (x2 + 1)n 2 (n)
It is easy to see that for n Z+ we get a multiplied by some rational number.
4.5 Example
1 zn (2n)!!
dz = 2
0 1z (2n + 1)!!
Where the double factorial !! is defined as the following
n (n 2) 5 3 1 ; if n is odd
n!! = n (n 2) 6 4 2 ; if n is even
1 ; if n = 0
The integral in hand can be rewritten as
1
z n (1 z) 2 dz
1
0
35
x1=n x=n+1
1 1
y1= y=
2 2
This can be written as
1 1
z n (1 z) 2 dz = B(n + 1, )
1
0 2
By some simplifications
1 ( 12 ) (n + 1) (n + 1)
B (n + 1, ) = =
2 (n + 2 )
3
(n + 12 ) (n + 12 )
Now you shall realize that we must use LDF
(n + 1) 2 n! 2 22n (n!)2
= =
(n + 21 ) (n + 12 ) (2n + 1) (2n)!
4n n!
(2n)!
Now we should separate odd and even terms in the denominator
22n (n (n 1) 3 2 1)2
2
(2n (2n 2) 4 2)((2n + 1) (2n 1) 3 1)
We insert 22n into the square to obtain
4.6 Example
n
x2 2
(1 + ) dx
n1
First we shall realize the evenness of the integral
n
x2 2
2 (1 + ) dx
0 n1
x2
Let t = n1
t 2
1
n 1 n dt
0 (1 + t) 2
36
Now we see that our integral becomes so familiar
1 n1 (n 1) ( n1 )
n 1B ( , )= 2
2 2 ( n2 )
4.7 Example
xp
dx
0 x3 + 1
Let us do the substitution x3 = t
t 3
p+2
1
dt
3 0 t+1
Now we should find x, y
1p
x=
3
1p
y+x=1 y =1
3
so we have our beta representation of the integral
B ( 1p , 1p ) ( 1p ) (1 1p
)
3 3
= 3 3
3 3
Now we should use ERF
( 1p ) (1 1p
) p
3 3
= = csc ( )
3 3 sin ( (1p)
3
) 3 3
4.8 Example
2
sin3 z dz
0
Rewrite as
2 3
sin 2 z cos0 z dx
0
37
This is the Geometric representation
3 5
2x 1 = x=
2 4
1
2y 1 = 0 y =
2
Then
2 3 B ( 45 , 12 ) ( 54 ) ( 12 )
sin 2 z dz = =
0 2 2 ( 74 )
4.9 Example
1+i
2x 1 = i x =
2
1i
2y 1 = i y =
2
Then
1 1+i 1i
( ) ( )
2 2 2
Now we see that we have to use ERF
1 1+i 1+i
( ) (1 )= (1+i)
= sech ( )
2 2 2 2 sin ( 2 ) 2 2
4.10 Exercise
Prove
x2m+1 m! (n m 2)!
dx =
0 (ax + c)
2 n 2(n 1)! am+1 cnm1
38
5 Digamma function
5.1 Definition
(x)
(x) =
(x)
We call digamma function the logarithmic derivative of the gamma function. Using this we can define
5.2 Example
(2x + 1)
f (x) =
(x)
We can use the differentiation rule for quotients
(1 x) (x) = cot(x)
proof
(x)(1 x) = csc(x)
39
(x)(x)(1 x) (1 x)(x)(1 x) = 2 csc(x) cot(x)
(1 x) (x) = cot(x)
1
(1 + x) (x) =
x
proof
(1 + x)
=x
(x)
Now differentiate both sides
(1 + x)
((1 + x) (x)) = 1
(x)
Which simplifies to
(x) 1
(1 + x) (x) = =
(1 + x) x
5.4 Example
log(x)
dx
0 (1 + x2 )2
Consider the general case
xa
dx
0 (1 + x2 )2
Use the following substitution x2 = t
40
a1
1 t 2
dt
2 0 (1 + t)2
By the beta function this is equivalent to
a1
1 t 2 1 a+1 a+1 1 a+1 a+1
dt = B ( ,2 ) = ( ) (2 )
2 0 (1 + t)2 2 2 2 2 2 2
Differentiate with respect to a
a1
1 log(t) t 2 1 a+1 a+1 a+1 a+1
F (a) = dt = ( ) (2 ) [ ( ) (2 )]
4 0 (1 + t)2 4 2 2 2 2
Now put a = 0
1 log(t) t 2
1
1 1 3 1 3
dt = ( ) ( ) [ ( ) ( )]
4 0 (1 + t) 2 4 2 2 2 2
Now we use our second difference formula
1 3 1 1
( ) ( ) = ( (1 + ) ( )) = 2
2 2 2 2
Also by some gamma manipulation we have
1 3 1 1
( ) ( ) = 2 ( ) =
2 2 2 2 2
The integral reduces to
1 log(t) t 2
1
dt =
4 0 (1 + t)2 4
Putting x2 = t we have our result
log(x)
dx =
0 (1 + x )
2 2 4
We start by taking the logarithm of the Weierstrass representation of the gamma function
x x
log ((x)) = x log(x) + log (1 + )+
n=1 n n
41
Now we shall differentiate with respect to x
1
1 1
(x) = + nx +
x n=1 1 + n n
Further simplification will result in the following
1 x
(x) = +
x n=1 n(n + x)
1. (1)
1
(1) = 1 +
n=1 n(n + 1)
1
=1
n=1 n(n + 1)
Hence we have
(1) =
2. ( 12 )
1 1
( ) = 2 +
2 n=1 n(2n + 1)
We need to find
1
n=1 n(2n + 1)
We can start by
xn
= log(1 x)
n=1 n
42
1
= 2 2 log(2)
n=1 n(2n + 1)
Hence
1
( ) = 2 log(2)
2
5.7 Example
Prove that
1 1 1
+ dx =
0 log(x) 1 x
proof
Let x = et
1 et
dt
0 et 1 t
Let the following
ts
F (s) = ts1 et dt = (s + 1)(s + 1) (s)
0 et 1
Hence the limit
1 1
lim (s + 1) ((s + 1) ) = lim (s + 1)
s0 s s0 s
Use the expansion of the zeta function
1 n
(s + 1) = + (s)n
s n=0 n!
Hence the limit is equal to 0 = .
43
t ez etz
exz dx dz = dz
0 1 0 z
Using fubini theorem we also have
t t 1
exz dz dx = dx = log t
1 0 1 x
Hence we have the following
ez etz
dz = log(t)
0 z
We also know that
(a) = ta1 et log t dt
0
Hence we have
1 z a1 t
(a) = (e t e dt ta1 et(z+1) dt) dz
0 z 0 0
ta1 et(z+1) dt = (a) (z + 1)a
0
Aslo we have
ta1 et dt = (a)
0
ez (1 + z)a
(a) = (a) dz
0 z
(a) ez (1 + z)a
= (a) = dz
(a) 0 z
44
5.8.2 Second Integral representation
1 1 xs
(s + 1) = + dx
0 1x
proof
s
(s + 1) = +
n=1 n(n + s)
It is left as an exercise to prove that
1 1 xs
s
= dx
n=1 n(n + s) 0 1x
Let et = x
1 1 xa1
dx
0 log(x) 1 x
By adding and subtracting 1
1 1 1 1 1 xa1
+ dx + dx
0 log(x) 1 x 0 1x
Using the second integral representation
1 1 1
+ dx + + (a)
0 log(x) 1 x
We have already proved that
1 1 1
+ dx =
0 log(x) 1 x
Finally we get
et e(at)
dt = + + (a) = (a)
0 t 1 et
45
5.8.4 Fourth Integral representation
Prove that
1 t
(z) = log(z) 2 dt ; Rez > 0
2z 0 (t2 + z 2 )(e2 1)
We prove that
t 1
2 dt = log(z) (z)
0 (t2 + z 2 )(e2 1) 2z
First note that
2
= coth(t) 1
e2t 1
Also note that
1 2t 1
coth(t) = + 2 2
t k=1 k + t
Hence we conclude that
2t 1 2t2 1
= t +
e2t 1 k=1 k 2 + t2
Substitute the value in the integral
1 1 2t2 1
{ t+ } dt
0 t2 +z
2 k=1 k 2 + t2
The first integral
1 1 1
dt =
0 t +z
2 2 2z
Since the second integral is divergent we put
N t 1
dt = log(N 2 + z 2 ) log(z)
0 t2 +z 2 2
Also for the series
2 N t2 N
1
dt =
k=1 0 (t2 + z 2 )(t2 + k 2 ) k=1 k + z
Which simplifies to
46
N N
1 1 N z N
z
= = HN
k=1 k + z k=1 k k=1 k(k + z) k=1 k(k + z)
N
1 z
lim log(N 2 + z 2 ) + log(z) + HN
N 2 k=1 k(k + z)
Or
z
lim HN log(N ) + log(z)
N k=1 k(k + z)
This simplifies to
z 1
log(z) + = log(z) (z)
k=1 k(k + z) z
Collecting the results we have
t 1 1 1
2 dt = log(z) + (z) = log(z) (z)
0 (t2 + z 2 )(e2 1) 2z z 2z
q/21
p p 2pk k
( ) = log(2q) cot ( ) + 2 cos ( ) log [sin ( )]
q 2 q k=1 q q
proof
q/21
1 2k k
( ) = log(2q) cot ( ) + 2 cos ( ) log [sin ( )]
q 2 q k=1 q q
So for example
47
1 1
( ) = (6 3 9 log(3))
3 6
1 1
( ) = (2 6 log(2))
4 2
1 1 3
( ) = 3 2 log(2) log(3)
6 2 2
5.11 Example
eat log(t) dt
0
We start by considering
F (b) = eat tb dt
0
1 x b
F (b) = ex ( ) dx
a 0 a
We can use the gamma function
1 b
(b + 1)
x x
F (b) = e ( ) dx =
a 0 a ab+1
Now differentiate with respect to b
1 x x b (b + 1)(b + 1) log(a)(b + 1)
F (b) = ex log ( ) ( ) dx =
a 0 a a ab+1 ab+1
Now put b = 0 and at = x
5.12 Example
48
First note that since there is a log in the denominator that gives as an idea to use differentiation under
Let
1 (1 xa )(1 xb )(1 xc )
F (c) = dx
0 (1 x)( log x)
Differentiate with respect to c
1 (1 xa )(1 xb )xc
F (c) = dx
0 (1 x)
By expanding
F (c) = (c + 1) + (a + c + 1) + (b + c + 1) (a + b + c + 1)
F (c) = log [(c + 1)] + log [(a + c + 1)] + log [(b + c + 1)] log [(a + b + c + 1)] + e
Which reduces to
(a + c + 1)(b + c + 1)
log [ ]+e
(c + 1)(a + b + c + 1)
Now put c = 0 we have
(a + 1)(b + 1)
0 = log [ ]+e
(a + b + 1)
The constant
49
(a + 1)(b + 1)
e = log [ ]
(a + b + 1)
So we have the following
(a + c + 1)(b + c + 1) (a + 1)(b + 1)
F (c) = log [ ] log [ ]
(c + 1)(a + b + c + 1) (a + b + 1)
Hence we have the result
5.13 Example
1 dx
(ebx )
0 1 + ax x
Let us first use the substitution t = ax
1 dt
(e a
bt
)
0 1+t t
Add and subtract et
1 dt
(et et + e a
bt
)
0 1+t t
Separate into two integrals
e a et
bt
1 dt
t
(e ) + dt
0 1+t t 0 t
The first integral is a representation of the Euler constant when a = 1
1 dt
(et ) =
0 1+t t
We also proved
e a et
bt
b a
dt = log ( ) = log ( )
0 t a b
Hence the result
1 dx a
(ebx ) = log ( )
0 1 + ax x b
50
5.14 Example
1
eax ( coth(x)) dx
0 x
By using the exponential representation of the hyperbolic functions
1 1 + e2x
eax ( ) dx
0 x 1 e2x
Now let 2x = t so we have
1 1 + et
e( 2 ) (
at
) dt
0 t 2(1 et )
e( 2 ) e( 2 ) + e( 2 t)
at at at
dt
0 t 2(1 et )
By adding and subtracting some terms
et + e( 2 ) et e( 2 ) + e( 2 ) e 2 + e( 2 )t
at at at at at
dt
0 t 2(1 et )
Separate the integrals
et e( 2 ) e( 2 ) e( 2 t) e( 2 ) et
at at at at
t
dt + t
dt + dt
0 t 1e 0 2(1 e ) 0 t
By using the third integral representation
et e( 2 )
at
a
t
dt = ( )
0 t 1e 2
The second integral reduces to
e( 2 ) e( 2 t) e( 2 )
at at at
1
t
= dt =
0 2(1 e ) 0 2 a
The third integral
e( 2 ) et
at
a
dt = log ( )
0 t 2
By collecting the results
1 a a 1
eax ( coth(x)) dx = ( ) log ( ) +
0 x 2 2 a
51
5.15 Example
Prove that
x dx 1 1 a 1 a 2
= ( + ) ( ) a
0 x2 + 1 sinh(ax) 2 2 2 2 2
proof
x dx x dx
=
0 x2 + 1 sinh(ax) 0 x + a sinh(x)
2 2
sin(xt)
= eat dt dx
0 0 sinh(x)
sin(xt)
= eat dx dt
0 0 sinh(x)
= eat tanh ( t) dt
2 0 2
2
zx
= e tanh(x) dt ; z = a
0
ezx (1 e2x )
= dx
0 e2x + 1
ezx
2x
dx = ex(2n+z) dx
0 e +1 n0 0
(1)n
=
n0 2n + z
1 1 z z
= ( ( + ) ( ))
4 2 4 4
ex(z+2) (1)n
dx =
0 e2x + 1 n0 z + 2 + 2n
1 1 z z
= ( ( + ) + (1 + ))
4 2 4 4
Hence we have
x dx 1 1 z z z
= (2 ( + ) (1 + ) ( ))
0 x2 + 1 sinh(ax) 4 2 4 4 4
1 1 z 1 z
= ( + ) ( )z
2 2 4 2 4
1 1 a 1 a 2
= ( + ) ( ) a
2 2 2 2 2
52
Let a = /2
x dx 1 1 1 1 1
= ( + ) ( )1
0 x2 + 1 sinh( 2 x) 2 2 4 2 4
= cot(/4) 1
2
= 1
2
53
6 Zeta function
Zeta function is one of the most important mathematical functions. The study of zeta function isnt
exclusive to analysis. It also extends to number theory and the most celebrating theorem of Riemann.
6.1 Definition
1
(s) = s
n=1 n
x Bk k
= x
e 1 k=0 k!
x
Now let us derive some values for the Bernoulli numbers , rewrite the power series as
Bk k
x = (ex 1) x
k=0 k!
By expansion
1 2 1 3 1 4 B2 2 B3 3
x = (x + x + x + x + ) (B0 + B1 x + x + x + )
2! 3! 4! 2! 3!
By multiplying we get
B0 2 B0 B2 B1 3 B0 B1 B2 B3 4
x = B0 x + (B1 + )x + ( + + )x + ( + + + )x +
2! 3! 2! 2! 4! 3! 2! 2! 3!
By comparing the terms we get the following values
1 1 1
B0 = 1 , B 1 = + B2 = , B 3 = 0 , B 4 = ,
2 6 30
Actually we also deduce that
B2k+1 = 0 , k Z+
54
6.3 Relation between zeta and Bernoulli numbers
22k1 2k
(2k) = (1)k1 B2k
(2k)!
proof
sin(z) z2
= (1 2 2 )
z n=1 n
Take the logarithm to both sides
z2
log(sin(z)) log(z) = log (1 )
n=1 n2 2
By differentiation with respect to z
z
1 2 2
cot(z) = 2 n z2
z n=1 1 n2 2
z2 1
z cot(z) = 1 2 2 2 z2
n=1 n 1 2 n2
Now using the power series expansion
1 1
z2
= z 2k , z < n
1 2 n2 k=0 n 2k 2k
z2 1 1
1
= 2k+2 2k+2 z 2k+2 = 2k 2k z 2k
n 1 2 n2 k=0 n
2 2 z 2
k=1 n
1 z 2k
z cot(z) = 1 2 2k 2k
n=1 k=1 n
1 z 2k (2k) 2k
z cot(z) = 1 2 2k 2k
= 1 2 2k
z
k=1 n=1 n k=1
Euler didnt stop here, he used power series for z cot(z) using the Bernoulli numbers.
55
x Bk k
= x
e 1 k=0 k!
x
2iz Bk k
= (2iz)
e2iz 1 k=0 k!
Which can be reduced directly to the following by noticing that B2k+1 = 0
22k 2k
z cot(z) = 1 (1)k1 B2k z
k=1 (2k)!
The result is immediate by comparing the two different representations.
6.4 Exercise
(4) , (6) , B5 , B6
et ts1
dt
0 1 et
Using the power expansion
1
= ent
1 et n=0
Hence we have
et ts1 ( ent ) dt
0 n=0
1
ts1 e(n+1)t dt = (s) = (s)(s)
n=0 (n + 1)
0 s
n=0
56
6.6 Hurwitz zeta and polygamma functions
6.6.1 Definition
1
(a, z) = ; (a, 1) = (a)
n=0 (n + z)a
Let us define the polygamma function as the function produced by differentiating the Digamma function
n (z) n 0
So we have
1 (z) = 0 (z)
n1
n (z) = (1)n+1 n! (n + 1, z)
22n2 2n
2n1 (1) = (1)n1 B2n
n
proof
1 z
0 (z) = +
z n=1 n(n + z)
This can be written as the following
1 1
0 (z) = +
k=0 k + 1 k+z
By differentiating with respect to z
57
1
1 (z) =
k=0 (k + z)
2
1
2 (z) = 2
k=0 (k + z)3
1
3 (z) = 2 3
k=0 (k + z)
4
1
4 (z) = 2 3 4
k=0 (k + z)
5
1
n (z) = (1)n+1 n!
k=0 (k + z)n+1
We realize the RHS is just the Hurwitz zeta function
n (z) = (1)n+1 n! (n + 1, z)
n (1) = (1)n+1 n! (n + 1)
22k1 2k
(2k) = (1)k1 B2k
(2k)!
we can easily verify the following
22n1 2n 22n2 2n
2n1 (1) = (2n 1)! (1)n1 B2n = (1)n1 B2n
(2n)! n
This can be used to deduce some values for the polygamma function
2 4
1 (1) = , 3 (1) =
6 15
58
6.7 Example
Prove that
2 3
x sin(x) cos(x) log(sin x) log(cos x) dx =
0 16 192
proof
2 2
x sin(x) cos(x) log(sin x) log(cos x) dx = sin(x) cos(x) log(sin x) log(cos x) dx
0 4 0
We need to find
2
sin(x) cos(x) log(sin x) log(cos x) dx
0
2 (a)(b)
F (a, b) = 2 sin2a1 (x) cos2b1 (x) dx =
0 (a + b)
Now let us differentiate with respect to a
2
(Fa (a, b)) = 8 sin2a1 (x) cos2b1 (x) log(sin x) log(cos x)dx
b 0
Now to evaluate 1 (2) , we have to use the zeta function we have already established the following
relation
59
1
1 (z) =
k=0 (n + z)
2
1
1 (2) =
k=0 (k + 2)2
Let us write the first few terms in the expansion
1 1 1 1
= 2 + 2 + 2 +
k=0 (k + 2) 2 2 3 4
we see this is similar to (2) but we are missing the first term
2
1 (2) = (2) 1 = 1
6
Collecting all these results together we have
2 1 2
sin(x) cos(x) log(sin x) log(cos x)dx =
0 4 48
Finally we get our result
2 3
x sin(x) cos(x) log(sin x) log(cos x) dx =
0 16 192
60
7 Dirichlet eta function
7.1 Definition
(1)n1
(s) =
n=1 ns
The alternating form of the zeta function is easier to compute once we have established the main results
of the zeta function because the alternating form is related to the zeta function through the relation
proof
1 1 1
s
n=1 n 2s1 n=1 ns
1 1
2
n=1 n s
n=1 (2n) s
Clearly we can see that we are subtracting even terms twice , this is equivalent to
1 1
n=1 (2n 1) s
n=1 (2n) s
1 1 1 1 1
(1 + s
+ s + ) ( s + s + s + )
3 5 2 4 6
Rearranging the terms we establish the alternating form
1 1 1 (1)n1
1 + + = = (s)
2s 3s 4s n=1 ns
61
7.3 Integral representation
ts1
(s) (s) = dt
0 et + 1
proof
ts1 et ts1
dt = dt
0 e +1
t 0 1 + et
Now using the power expansion we arrive to
et ts1 dt ( (1)n ent )
0 n=0
(1)
n
e(n+1)t ts1 dt
n=0 0
(s)
e(n+1)t ts1 dt =
0 (n + 1)s
Hence we have the following
(1)n (1)n1
(s) = (s) = (s) (s)
n=0 (n + 1)
s ns
n=1
t 2
dt = (2) (2) =
0 et +1 12
62
8 Polylogarithm
8.1 Definition
zk
Lin (z) = n
k=1 k
The name contains two parts, (poly) because we can choose different n and produce many functions and
1
Lin (1) = n
= (n)
k=1 k
2
Li2 (1) = (2) =
6
Also we can relate it to the eta function though z = 1
(1)k
Lin (1) = n
= (n)
k=1 k
zk
Li 1 (z) =
n=1 k
zk
= log(1 z)
k=1 k
z 1 tk
1 z
zk
( n ) dt = n tk1 dt = n+1 = Li n+1 (z)
0 t k=1 k k=1 k 0 k=1 k
63
8.4 Square formula
proof
z k (z)k
n
+ n
k=1 k k=1 k
z2 z3 z2 z3
z+ + + + (z + + )
2n 3n 2n 3n
The odd terms will cancel
z2 z4 z6
2 + 2 + 2 +
2n 4n 6n
Take 21n as a common factor
(z 2 )2 (z 2 )3 (z 2 )k
21n (z 2 + + + ) = 2 1n
= 21n Li n (z 2 )
2n 3n k=1 k n
8.5 Exercise
Prove that
z log(1 t)
Li 2 (z) = dt
0 t
64
8.6 Dilogarithms
Of all polylogarithms Li2 (z) is the most interesting one, in this section we will see why!
8.6.1 Definition
z log(1 t)
zk
Li2 (z) = 2
= dt
k=1 k 0 t
The curious reader should try to prove the integral representation using the recursive definition we
1 1 2
Li2 ( ) + Li2 (z) = log2 (z)
z 2 6
proof
1 log(1 t)
1
z
Li2 ( ) = dt
z 0 t
Differentiate with respect to z
1 z log(1 t) 1 1
Li2 ( )= dt log2 (z) + C = Li2 (z) log2 (z) + C
z 0 t 2 2
To find the constant C let z = 1
C = 2Li2 (1)
2
C = 2Li2 (1) = 2(2) =
6
Which proves the result by simple rearrangement
1 1 2
Li2 ( ) + Li2 (z) = log2 (z)
z 2 6
65
8.6.3 Second functional equation
2
Li2 (z) + Li2 (1 z) = log(z) log(1 z) , 0 < z < 1
6
proof
z log(1 t)
Li2 (z) = dt
0 t
Now integrate by parts to obtain
z log(t)
Li2 (z) = dt log(z) log(1 z)
0 1t
By the change of variable t = 1 x we get
z log(t) 1z log(1 x)
dt = dx
0 1t 1 x
For 0 < z < 1
1 log(1 x)
dx = Li2 (1) + Li2 (1 z)
1z x
Which implies that
2
Li2 (z) + Li2 (1 z) = log(z) log(1 z)
6
We can easily deduce that for z = 1
2
1 2 1
2Li2 ( ) = log2 ( )
2 6 2
1 2 1 1
Li2 ( ) = log2 ( )
2 12 2 2
66
8.6.4 Third functional equation
z 1
Li2 (z) + Li2 ( ) = log2 (1 z) z < 1
z1 2
proof
z1 log(1 t)
z
z
Li2 ( ) = dt
z1 0 t
Differentiate both sides with respect to z
d z 1 log (1 z1
z
)
Li2 ( )=
dz z1 (z 1)
2 z
z1
Upon simplification we obtain
d z log(1 z)
Li2 ( )=
dz z1 z(z 1)
Using partial fractions decomposition
d z log(1 z) log(1 z)
Li2 ( )= +
dz z1 1z z
Integrate both sides with respect to z
z 1
Li2 ( ) = log2 (1 z) Li2 (z) + C
z1 2
Put z = 1 to find the constant
1 1
Li2 ( ) = log2 (2) Li2 (1) + C
2 2
Remember that
1 2 1 1 2
Li2 ( ) = log2 ( ) , Li2 (1) =
2 12 2 2 12
Hence we deduce that C = 0
z 1
Li2 ( ) = log2 (1 z) Li2 (z)
z1 2
Which can be written as
z 1
Li2 ( ) + Li2 (z) = log2 (1 z)
z1 2
67
8.6.5 Example
Prove that
51 2 51
Li2 ( )= log (
2
)
2 10 2
proof
z 1 1
Li2 ( ) + Li2 (z 2 ) Li2 (z) = log2 (1 z)
z1 2 2
Now let z = 1 5
2
12 5+5 3 5 z 51 3 5
z2 = = = =
4 2 z1 1+ 5 2
Hence we have
3 3 5 51 1 5+1
Li2 ( ) Li2 ( ) = log (
2
)
2 2 2 2 2
We already established the following functional equation
2
Li2 (z) + Li2 (1 z) = log(z) log(1 z)
6
Put z = 3 5
2
3 5 51 2 3 5 51
Li2 ( ) + Li2 ( )= log ( ) log ( )
2 2 6 2 2
Solving the two representations for Li2 ( 51
2
) we get our result.
8.6.6 Example
1 log(1 x) log(x)
I = dx
0 x
Integrate by parts
1 Li2 (t) 1
I = log(x)Li2 (x)10 + dt = Li3 (1) = 3 = (3)
0 t k=1 k
68
8.6.7 Example
x log2 (1 t)
dt , 0 < x < 1
0 t
Integrating by parts we get the following
x log2 (1 t) x Li (t)
2
dt = log(1 x)Li2 (x) dt
0 t 0 1t
Now we are left with the following integral
x Li2 (t) 1 Li (1 t)
2
dt = dt
0 1t 1x t
Using the first functional equation
2
1
6
Li2 (t) log(1 t) log(t)
dt
1x t
1 Li2 (t)
dt = Li3 (1) Li3 (1 x)
1x t
The second integral is the same as the first exercise
1 log(1 t) log(t)
= Li3 (1) + log(1 x)Li2 (1 x) Li3 (1 x)
1x t
Collecting the results together we obtain
x Li2 (t) 2
dt = log(1 x) Li2 (1 x) log(1 x) + 2 Li3 (1 x) 2(3)
0 1t 6
Finally we have
x log2 (1 t) 2
dt = log(1 x)Li2 (x) + log(1 x) + Li2 (1 x) log(1 x) 2 Li3 (1 x) + 2(3)
0 t 6
69
8.6.8 Example
a x
I(a) = dx
0 ex 1
1
Start by the power expansion of 1ex
a a
x
I(a) = dx = xex enx
0 ex 1 0 n=0
a
I(a) = xex(n+1) dx
n=0 0
1 e(n+1)a ae(n+1)a
I(a) =
n=0 (n + 1) (n + 1)2 (n + 1)
2
70
9 Ordinary Hypergeometric function
Ordinary or sometimes called the Gauss hypergoemtric function is a generalization of the power expan-
sion definition. Before we start with the definition we will explain some notations.
9.1 Definition
1 n=0
(z)n =
(z+n)
n>0
(z)
Using this definition have
(a)n (b)n z n
2 F1 (a, b; c; z) =
n=0 (c)n n!
1. Logarithm
(1)n (1)n (z)n n! z n+1
z 2 F1 (1, 1; 2; z) = z = (1)n z n+1 = (1)n = log(1 + z)
n=0 (2)n n! n=0 (n + 1)! n=0 n+1
2. Power function
(a)n (1)n z n (a)n n
2 F1 (a, 1; 1; z) = = z = (1 z)a
n=0 (1)n n! n=0 n!
3. Sine inverse
( 12 )n ( 12 )n z 2n+1 ( 12 )n z 2n+1
1 3 5(2n 1) 2n+1
z 2 F1 ( 21 , 12 ; 32 ; z 2 ) = = = z
n=0 ( 32 )n n! n=0 2n + 1 n! n=0 2 n! (2n + 1)
n
(2n)! (2n )
z 2 F1 ( 21 , 12 ; 32 ; z 2 ) = z 2n+1
=
n
z 2n+1 = arcsin(z)
n=0 4 n (n!) 2 (2n + 1) n=0 4 n (2n + 1)
Now we consider converting the Taylor expansion into the equivalent hypergeomtric representation
71
2 F1 (a, b; c; z) = tk z k , t 0 = 1
k=0
tk+1 (k + a)(k + b)
= z
tk (k + c)(k + 1)
Using this definition, we can easily find the terms a, b, c.
1. Exponential function
f (z) = ez
zk
f (z) = ez =
k=0 k!
Hence we have
tk+1 z
=
tk k+1
ez = 2 F1 (, ; ; z)
2. Cosine function
(1)k z 2k
f (z) = cos(z) =
k=0 (2k)!
tk+1 1 1 z 2
= z=
tk (2k + 2)(2k + 1) (k + 1) (k + 21 ) 4
Hence we have
1 z 2
cos(z) = 2 F1 (, ; ; )
2 4
72
3. Power function
(a)k k
f (z) = (1 z)a = z
k=0 k!
tk+1 (k + a) (k + a)(k + 1)
= z= z
tk (k + 1) (k + 1)(k + 1)
Hence we have
(1 z)a = 2 F1 (a, 1; 1; z)
9.3 Exercise
arcsin(z), sin(z)
1
tb1 (1 t)cb1 (1 tz)a dt
0
1 (a)k
tb1 (1 t)cb1 (tz)k
0 k=0 k!
Interchanging the integral with the series
(a)k k 1
z tk+b1 (1 t)cb1 dt
k=0 k! 0
(a)k (k + b)(c b) z k
n=0 (k + c) k!
73
Using the identity that
(b)(c b)
(c b, b) =
(c)
and
(z + k)
= (z)k
(z)
We deduce that
(a)k (k + b)(c) z k (a)k (b)k z k
(c b, b) = (c b, b)
k=0 (b)(k + c) k! k=0 (c)k k!
9.5 Transformations
1. Pfaff transformations
z
2 F1 (a, b; c; z) = (1 z)a 2 F1 (a, c b; c; )
z1
and
z
2 F1 (a, b; c; z) = (1 z)b 2 F1 (c a, b; c; )
z1
proof
1 1 tb1 (1 t)cb1
2 F1 (a, b; c; z) = dt
(b, c b) 0 (1 tz)a
(1 z)a 1 z a
t cb1
(1 t) b1
(1 t ) dt
(b, c b) 0 z1
74
z
(1 z)a 2 F1 (a, c b; c; )
z1
2 F1 (a, b; c; z) = 2 F1 (b, a; c; z)
We deduce that
z
2 F1 (a, b; c; z) = (1 z)b 2 F1 (c a, b; c; )
z1
2. Euler transformation
2 F1 (a, b; c; z) = (1 z)cab 2 F1 (c a, c b; c; z)
proof
z
2 F1 (a, b; c; ) = (1 z)a 2 F1 (a, c b; c; z)
z1
and
z
2 F1 (a, b; c; ) = (1 z)b 2 F1 (c a, b; c; z)
z1
2 F1 (a, b; c; z) = (1 z)cab 2 F1 (c a, c b; c; z)
75
3. Quadratic transformation
a a 1 z2
= (1 z) 2 2 F1 ( , b ; b + ;
a
2 F1 (a, b; 2b; z) )
2 2 2 4z 4
4. Kummer
2 F1 (a, b; c; z) = 2 F1 (a, b; 1 + a + b c; 1 z)
1. At z = 1
(c)(c a b)
2 F1 (a, b; c; 1) =
(c a)(c a)
1 1
2 F1 (a, b; c; 1) = t (1 t)
b1 cba1
dt
(c b, b) 0
Now we can use the first integral representation of the beta function
1 (b)(c b a)
2 F1 (a, b; c; 1) =
(c b, b) (c a)
2. At z = 1
(1 + a b) (1 + a2 )
2 F1 (a, b; 1 + a b; 1) =
(1 + a)(1 + a
2
b)
76
10 Error Function
The error function is an interesting function that has many applications in probability, statistics and
physics.
10.1 Definition
2 x
erf(x) = et dt
2
erfc(x) = 1 erf(x)
erfi(x) = ierf(ix)
10.4 Properties
2 x 2 x
et dt = et dt = erf(x)
2 2
erf(x) =
0 0
erf(z) + erf(z)
R erf(z) =
2
erf(z) erf(z)
I erf(z) =
2i
1. Hypergeomtric function
2x 1 3
erf(x) = 1 F1 ( , , x2 )
2 2
77
proof
2x ( ) (x2 )k
1
2x 1 3
1 F1 ( , , x2 ) = 23 k
2 2 k=0 ( 2 ) k!
k
2x 1 3 x (x2 )k
1 F1 ( , , x2 ) = 1
2 2 k=0 ( 2 + k)k!
2 x 2 x (x2 )k 2 (x)2k+1
et dt =
2
dt =
0 0 k=0 k! k=0 (2k + 1)k!
( 21 , x2 )
erf(x) = 1
proof
1
t 2 et dt
1
( , x2 ) =
2 x 2
Let t = y 2
1
ey dy
2
( , x2 ) = 2
2 x
1 x
ey dy 2 ey dy
2 2
( , x2 ) = 2
2 0 0
ey dy =
2
2
0
78
1
( , x2 ) = erf(x)
2
10.6 Example
x 2
I = et dt
0
The function has no elementary anti-derivative so we represent it using the error function.
2 ix
et dt
2
erfi(x) = i
0
By differentiating both sides we have
d 2 2
erfi(x) = ex
dx
Hence we have
2 d
ex = erfi(x)
dx 2
By integrating both sides we have
x
2
et dt = erfi(x)
0 2
10.7 Example
Prove that
1
erfc(x) dx =
0
proof
(1 erf(x)) dx
0
79
Integrating by parts we have
2
xex dx
2
I = x(1 erf(x)) ]0 +
0
Now we compute erf()
2 t2 2
erf() = e dt = =1
0 2
So the first term will go to zero. The integral can be solved by substitution
2 1
xex dx =
2
I=
0
10.8 Example
Prove that
2 2
2
erfc (x) dx =
0
proof
Integrate by parts
I = xerfc2 (x) ]0 2 xerfc (x)erfc(x) dx
0
I = 2 x erfc (x)erfc(x) dx
0
2
erfc (x) = (1 erf(x)) = ex
2
That results in
4
xex erfc(x) dx
2
I=
0
Integrate by parts again
2 4
I = ex erfc(x) ]0 e2t dt
2 2
80
At infinity the integral goes to 0. At 0 we get
2 2 2
ex erfc(x)]x=0 = (1 erf(0)) =
2
The integral can be evaluated to
2t2
e dt =
0 2 2
Collecting the results together we have
2 4 2 2
I= =
2 2
10.9 Example
Prove that
2 coth1 2
sin(x )erfc(x) dx =
2
0 4 2
proof
Using the substitution x = t
1
sin(t)t 2 erfc( t) dt
1
2 0
Consider the function
1
sin(t)t 2 erfc(a t) dt
1
I(a) =
2 0
Differentiating with respect to a we have
1 1 1
I (a) = sin(t)ea t dt = 4
2
0 a +1
Now integrating with respect to a
1 a dx
I(a) = +C
0 x4 + 1
To evaluate the constant we take a
1 dx
I() = +C
0 x4 + 1
81
The function has an anti-derivative and the value is
dx
1
=
0 x +1
4
2 2
Note that
erfc() = 0 C=
2 2
Finally we get
1 a dx
I(a) = +
0 x4 + 1 2 2
Let a = 1 in the integral
1 dx
1
I(1) = sin(x2 )erfc(x) dx =
0 2 2 0 x4 + 1
Also knowing that
1 1 dx + 2 coth1 2
=
0 x4 + 1 4 2
Hence we have the result
2 coth1 2
sin(x )erfc(x) dx =
2
0 4 2
10.10 Exercise
erfc3 (x) dx =?
0
erfc4 (x) dx =?
0
What about
erfcn (x) dx =?
0
82
11 Exponential integral function
11.1 Definition
et ext
E(x) = dt = dt
x t 1 t
11.2 Example
Prove that
proof
E(x) = et log(t) ]x + log(t)et dt
x
E(x) = ex log(x) + log(t)et dt
x
lim [log(x) + E(x)] = lim (log(x) ex log(x)) + log(t)et dt
x0 x0 0
lim [log(x) + E(x)] = log(t)et dt = (1) =
x0 0
11.3 Example
(p)
xp1 E(ax) dx =
0 pap
proof
83
1 1
xp1 E(ax) dx = xp E(ax) ]0 + xp1 eax dx
0 p ap 0
The first limit goes to 0
1 1 (p)
xp1 eax dx = p xp1 ex dx =
ap 0 pa 0 p ap
11.4 Example
(p)
xp1 eax E(ax) dx =
0 sin(a) ap
proof
et
xp1 eax dt dx
0 ax t
Use the substitution t = ax y
eax(y1)
xp1 dy dx
0 1 y
By switching the two integrals
1
xp1 eax(y1) dx dy
1 y 0
By the Laplace identities
(p) 1
dy
ap 1 y(y 1)p
Now let y = 1/x
(p) 1 p1 p
x (1 x) dx
ap 0
Using the reflection formula for the Gamma function
(p) 1 p1 p (p)
p x (1 x) dx = p
a 0 sin(a) a
84
11.5 Example
Prove that
2
ez E 2 (z) dz =
0 6
proof
exz eyz
E 2 (z) = dx dy
1 1 xy
ez(x+y1)
ez E 2 (z) dz = dx dy dz
0 0 1 1 xy
Swap the integrals
1 1
ez(x+y1) dz dx dy
1 y 1 x 0
1 1
dx dy
1 y 1 x(x + y 1)
The inner integral is an elementary integral
1 log(y)
dx =
1 x(x + y 1) 1y
The integral becomes
log(y)
dy
1 y(y 1)
Now use the substitution y = 1/x
1 log(x) 1 log(1 x) 2
dx = dx = Li2 (1) =
0 (1 x) 0 x 6
11.6 Example
Prove that
2(p)
z p1 E 2 (z) dz = 2 F1 (p, p; p + 1; 1)
0 p2
proof
85
Consider
et
E 2 (z) = dt
z t
By differentiation with respect to z
2 ez E(z)
2E (z)E(z) =
z
Knowing that we can return to our integral by integration by parts
2 p1 z
z e E(z) dz
p 0
Write the integral representation
2 p1 z ezt
z e dtdz
p 0 1 t
Swap the two integrals
2 1 p1 z(1+t)
z e dz dt
p 1 t 0
The inner integral reduces to
2(p) dt
p 1 t(1 + t)p
Use the substitution t = 1/x
2(p) 1 xp1
dx
p 0 (1 + x)p
1 xb1 (1 x)cb1
(c b, b) 2 F1 (a, b; c; z) = dx
0 (1 xz)a
Let c = p + 1, b = p, a = p, z = 1
1 xp1
(1, p) 2 F1 (p, p; p + 1; 1) = dx
0 (1 + x)p
Hence the result
2(p)
z p1 E 2 (z) dz = 2 F1 (p, p; p + 1; 1)
0 p2
86
Where
(p) 1
(1, p) = =
(p + 1) p
11.7 Exercise
xn E 2 (x) dx
0
87
12 Complete Elliptic Integral
1 1
E(k) = 2 F1 ( , , 1, k )
2
2 2 2
proof
1 tb1 (1 t)cb1
(c b, b) 2 F1 (a, b, c, z) = dt
0 (1 tz)a
Now use the substitution t = x2 and z = k 2
1 x2b1 (1 x2 )cb1
(c b, b) 2 F1 (a, b, c, k 2 ) = 2 dx
0 (1 k 2 x2 )a
Put a = 1
2
;b= 1
2
and c = 1
1 dx 1 1 1
= (1/2, 1/2) 2 F1 ( , , 1, k 2 )
0 1 x2 1k x
2 2 2 2 2
By the beta function we have
1 1 1
(1/2, 1/2) = 2 ( ) =
2 2 2 2
Hence the result
1 1
K(k) = 2 F1 ( , , 1, k )
2
2 2 2
88
By the same approach we have
1 1
E(k) = 2 F1 ( , , 1, k )
2
2 2 2
12.4 Example
Prove that
1
K(k) dk = 2G
0
proof
1 1 1
I = dx dk
0 0 1 x2 1 k 2 x2
Switching the two integrals
1 1 1 1
I = dk dx
0 1 x2 0 1 k 2 x2
1 arcsin x
I = dx
0 x 1 x2
Now let arcsin x = t hence we have x = sin t
2 t
I = dt
0 sin t
The previous integral is a representation of the constant
I
G= I = 2G
2
12.5 Identities
1. For k 1
k 1
K( k) = K
1 k k 1
and
89
k
E( k) = 1 k E
k 1
proof
1 dx
K(k) =
0 1 x2 1 k 2 x2
Use the substitution x = 1 y2
1 y dy
0 1 y2 1 (1 y 2 ) 1 k 2 (1 y 2 )
1 dy
0 1 y2 1 k2 + k2 y2
Take 1 k 2 as a common factor
1 dy
k2
0
1 k2 1 y2 1 k2 1
y2
k2 1
K(k) = K
1 k2 k 1
2
We can finish by k k
k 1
K( k) = K
1 k k 1
1 1 kx2
E( k) = dx
0 1 x2
By using that x = 1 y2
1 1 k1
k
y k
E( k) = 1k dy = 1 k E
0 1y 2 k 1
90
2.
1 2 k
K(k) = K( )
k+1 1+k
proof
4z 1 1
2 F1 (a, b, 2b, ) = (1 + z)2a 2 F1 (a, a b + , b + , z 2 ) .
(1 + z)2 2 2
2 k
K( ) = (1 + k)K(k)
1+k
Or we have
1 2 k
K(k) = K( )
k+1 1+k
3.
2 k 1+k 2 k
K( )= K( )
1+k 1k 1k
and
2 k 1k 2 k
E( )= E( )
1+k 1+k 1k
proof
2 k 1 1
K( )= dx
1+k 0 1 x2 1 4k
x2
(1+k)2
2 k 1 1
E( ) = (1 + k) dx
1+k 0 1 x (1 + k)2 4k x2
2
Use x = 1 y2
1 1+k 1+k 1 1
dy = dy
0 1 y 2 (1 + k)2 4k (1 y 2 ) 1k 0 1 y2 1 + 4k
y2
(1k)2
91
Hence we have
2 k 1+k 2 k
K( )= K( )
1+k 1k 1k
Similarly we have
2 k 1k 2 k
E( )= E( )
1+k 1+k 1k
1.
1 1
K(i) = 2 ( )
4 2 4
and
2 ( 41 ) 2 ( 34 )
E(i) = +
4 2 2
proof
By definition we have
1 dx 1 dx
K(i) = =
0 1x 1+x
2 2 0 1 x4
Let x = t we have dx = 14 t
4 3
4 dt
1 1 3
K(i) = t 4 (1 t) 2 dt
1
4 0
By beta function
( 41 ) ( 12 )
K(i) =
4 ( 34 )
By reflection formula
1 3
( ) ( ) = csc ( ) = 2
4 4 4
2 ( 41 ) ( 12 ) 2 ( 14 )
K(i) = =
4 2 4 2
92
2 ( 41 ) 2 ( 34 )
E(i) = +
4 2 2
By definition we have
1 1 + x2
E(i) = dx
0 1 x2
11 + x2 1 1 1 x2
E(i) = dx = dx + dx
0 1 x4 0 1 x4 0 1 x4
The first integral is K(i) for the second integral use x = 4 t
1 1 34 1 1
( 43 ) ( 12 ) 2 ( 34 )
t (1 t) 2 dt = =
4 0 4 ( 54 ) 2
Hence we have
2 ( 3 ) 2 ( 1 ) 2 ( 3 )
E(i) = K(i) + 4 = 4 + 4
2 4 2 2
2.
1 1 1
K ( ) = 2 ( )
2 4 4
and
1 2 ( 1 ) 2 ( 3 )
E ( ) = 4 + 4
2 8 2
proof
1 k
K( k) = K
1 k k 1
1 1
K(i) = K ( )
2 2
93
1 1 1
K ( ) = 2K(i) = 2 ( )
2 4 4
Similarly we have
1 2 ( 1 ) 2 ( 3 )
E ( ) = 4 + 4
2 8 2
3.
1+ 2 2 1
K (2 4 + 3 2) = ( )
4 2 4
and
2 ( ) ( )
2 1 2 3
E (2 4 + 3 2) = 4 + 4
1 + 2 8
proof
1 2 k
K(k) = K( )
k+1 1+k
Hence we have for k = 1
2
1+ 2 1 1+ 2 2 1
K (2 4 + 3 2) = K ( ) = ( )
2 2 4 2 4
1
For the elliptic integral of second kind using the hypergeomtric representation with a = 2
and
b= 1
2
4z
2 F1 (1/2, 1/2, 1, ) = (1 + z)1 2 F1 (1/2, 1/2, 1, z 2 )
(1 + z)2
The later hypergeometric series can be written in terms of elliptic integrals using some general
contiguity relations
2
2 F1 (1/2, 1/2, 1, z )= (2E(k) + (k 2 1)K(k))
2
So we have
2 k
2E(k) + (k 2 1)K(k) = (k + 1)E ( )
1+k
94
For k = 1
2
2 ( ) ( )
2 1 2 3
E (2 4 + 3 2) = 4 + 4
1 + 2 8
4.
2 2
K (2 4 3 2) =
4 2 ( 43 )
and
(2 + 2) ( 2 + 44 ( 34 ))
E (2 4 3 2) =
4 2 ( 34 )
proof
2 k 1+k 2 k
K( )= K( )
1+k 1k 1k
Let x = 1/ 2
2 2
K (2 4 3 2) =
4 2 ( 43 )
(2 + 2) ( 2 + 44 ( 34 ))
E (2 4 3 2) =
4 2 ( 34 )
Note We should remove the variable k and denote elliptic integrals E and K once there is no confusion.
Interestingly the derivative of elliptic integrals can be written in terms of elliptic integrals
d 1
1 k 2 x2
E= k
dx
dk 0 1 x2
d 1 k x2
E= dx
dk 0 1 x2 1 k 2 x2
Adding and subtracting 1 results in
1 1 1 k 2 x2 1 1 dx
dx
k 0 1x 2 k 0 1 x 1 k 2 x2
2
95
Upon realizing the relation to elliptic integrals we conclude
d EK
E=
dk k
For the complete elliptic integral of first kind we need more work
d 1 1 1
K= [ ] dx
dk 0 1x2 k 1 k 2 x2
d 1 kx2
K= dx
dk 0 1 x2 1 k 2 x2 (1 k 2 x2 )
Adding and subtracting 1 we have
1 1 1 kx2 1 1 1 dx K
dx =
k 0 1 x 1 k x (1 k x )
2 2 2 2 2 k 0 1 x 1 k x (1 k x ) k
2 2 2 2 2
1 1
3
dx
0 1 x2 (1 k 2 x2 ) 2
Let x = t and we have dx = 1
2 t
dt
t 2
1
1 1
3 dx
2 0 1 t(1 k 2 t) 2
Using the hypergeometric integral representation
t 2
1
1 1 3 1
3 = 2 F1 ( , , 1, k )
2
2 0 1 t(1 k t) 2
2 2 2 2
Using the linear transformation
2 F1 (a, b, c, z) = (1 z)cab 2 F1 (c a, c b, c, z)
We get by putting k = 1 k2
3 1 1 1 1 E
2 F1 ( , , 1, k ) = 2 F1 ( , , 1, k ) = 2
2 2
2 2 2 1 k2 2 2 2 k
So finally we get
d 1 E
K = ( 2 K)
dk k k
96
13 Euler sums
13.1 Definition
(p)
(Hk )r
Sp r ,q =
k=1 kq
Where we define the general harmonic number
k k
(p) 1 (1) 1
Hk = p
; H k Hk =
n=1 n n=1 n
k=1 1x
Proof
(p)
Start by writing Hk as a sum
k
(p) 1 k
Hk x =
k
p
x
k=1 k=1 n=1 n
xk 1 k
p
= p
x
n=1 k=n n n=1 n k=n
1 xn Lip (x)
=
1 x n=1 np 1x
We can use this to generate some more functions by integrating.
1 1 xn 1
dx = xk xn+k dx
0 1x k=0 0
97
1 1
= Hn
k=0 k + 1 n+k+1
13.4 Example
Hn
2
= 2(3)
n=1 n
proof
1 1 1 xn 1 (2) Li (x)
2
dx = dx
0 1 x n=1 n 2 0 1x
Now use the functional equation
Hence we have
1 Li2 (1 x)
= Li3 (1) = (3)
0 1x
The Second integral using integration by parts
Hn
2
= (3) + (3) = 2(3)
n=1 n
13.5 Example
Hk k 1
2
x = Li3 (x) Li3 (1 x) + log(1 x)Li2 (1 x) + log(x) log2 (1 x) + (3)
k=1 k 2
proof
98
log(1 x)
Hk x =
k
k=1 1x
Divide by x and integrate to get
Hk k 1
x = Li2 (x) + log2 (1 x)
k=1 k 2
Now divide by x and integrate again
Hk k 1 x log2 (1 t)
2
x = Li3 (x) + dt
k=1 k 2 0 t
Now let us look at the integral
x log2 (1 t)
dt
0 t
Integrating by parts
x log2 (1 t) x Li (t)
2
dt = log(1 x)Li2 (x) dt
0 t 0 1t
Use a change of variable in the integral
x Li2 (t) 1 Li (1 t)
2
dt = dt
0 1t 1x t
Now we can use the second functional equation of the dilogarithm
2
1
6
Li2 (t) log(1 t) log(t)
dt
1x t
Separate the integrals
1 Li2 (t)
dt = Li3 (1) Li3 (1 x)
1x t
Use integration by parts in the second integral
1 log(1 t) log(t)
= Li3 (1) + log(1 x)Li2 (1 x) Li3 (1 x)
1x t
Collecting the results together we obtain
99
x Li2 (t) 2
dt = log(1 x) Li2 (1 x) log(1 x) + 2 Li3 (1 x) 2(3)
0 1t 6
Hence we solved the integral
x log2 (1 t) 2
dt = log(1 x)Li2 (x) + log(1 x) + Li2 (1 x) log(1 x) 2 Li3 (1 x) + 2(3)
0 t 6
Hk k 1 2
2
x = Li3 (x) + ( log(1 x)Li2 (x) + log(1 x) + Li2 (1 x) log(1 x) 2 Li3 (1 x) + 2(3))
k=1 k 2 6
Hk k 1
2
x = Li3 (x) Li3 (1 x) + log(1 x)Li2 (1 x) + log(x) log2 (1 x) + (3)
k=1 k 2
13.7 Example
1 log2 (1 x) log(x) 4
=
0 x 180
proof
log(1 x)
Hk x
k1
=
k=1 x(1 x)
By integrating both sides
Hk k 1
x = Li2 (x) + log2 (1 x)
k=1 k 2
Or
Hk k
log2 (1 x) = 2 x 2Li2 (x)
k=1 k
100
1
Hk k log(x)
2 ( x Li2 (x)) dx
0 k=1 k x
Which simplifies to
1 1
Hk log(x)
log(x)x dx 2 Li2 (x)
k1
2 dx
k=1 k 0 0 x
The second integral
1 log(x) 1 Li (x)
3
2 Li2 (x) dx = 2 dx = 2(4)
0 x 0 x
The first integral
1
Hk k1
2 x log(x) dx
k=1 k 0
Hk
2 3
= 5(4) + 2 (2)
k=1 k
Finally we get
1 log2 (1 x) log(x)
= 5(4) + 2 (2) + 2(4) = 2 (2) 3(4)
0 x
13.8 Example
Show that
log t log(a2 + b2 ) b
eat sin(bt) dt = ( + ) arctan ( )
0 t 2 a
Proof
I(s) = ts1 eat sin(bt)dt
0
(1)n (bt)2n+1
I(s) = ts1 eat
0 n=0 (2n + 2)
By swapping the summation and integration
101
(1)n (b)2n+1 1 (1)n (b)2n+1 (s + 2n + 1)
I(s) = ts+2n eat dt = s
n=0 (2n + 2) 0 a n=0 (2n + 2)a2n+1
By differentiating and plugging s = 0 we have
(1)n 0 (2n + 1) b 2n+1 (1)n b 2n+1
I (0) = ( ) log(a) ( )
n=0 2n + 1 a n=0 2n + 1 a
(1)n H2n b 2n+1 b
I (0) = ( ) log(a) arctan ( )
n=0 2n + 1 a a
(1)n H2n b 2n+1 b
I (0) = ( ) ( + log(a)) arctan ( )
n=0 2n + 1 a a
Now we look at the harmonic sum
1 1 t2k
(1) H2k x = (1) x
k 2k k 2k
dt
k=0 k=0 0 1t
Use the integral representation
1 1
(1) x (1 t ) dt
k 2k 2k
0 1 t k=0
Swap the series and the integral
1 1
(1) (x (xt) ) dt
k 2k 2k
0 1 t k=0
Evaluate the geometric series
1 1 1 1 x2 1 (1 t2 )
( ) dt = dt
0 1 t 1 + x2 1 + t 2 x2 1 + x2 0 (1 t)(1 + t2 x2 )
which simplifies to
x2 1 1+t x2 1 1 t
dt = ( + dt)
1 + x 0 (1 + t x )
2 2 2 1+x 2 0 1 + t 2 x2 1 + t 2 x2
Evaluating the integrals
1
(2x arctan(x) + log(1 + x2 ))
2(1 + x2 )
Using this we conclude by integrating
(1)k H2k 2k 1
x = log(1 + x2 ) arctan(x)
k=0 2k + 1 2
102
Hence the following
(1)k H2k b 2k+1 1 a2 + b2 b
( ) = log ( ) arctan ( )
k=0 2k + 1 a 2 a2 a
Substituting that in our integral
log t 1 a2 + b2 b
eat sin(bt) dt = ( log ( 2
) + + log(a)) arctan ( )
0 t 2 a a
log(a2 + b2 ) b
= ( + ) arctan ( )
2 a
13.9 Example
proof
1 Hk
C (, k) = ; C (1, k) =
n=1 n (n + k) k
This can be solved using
1 1 1
C (, k) = ( )
n=1 k n
1 n n+k
1 1
= () C ( 1, k)
k k
1 1 1
= () 2 ( 1) + 2 C ( 2, k)
k k k
1 1 (2) 1
= () 2 ( 1) + + (1) 1 + 1 C ( ( 1), k)
k k k k
1
( n + 1) Hk
= (1)n1 n
+ (1)1
n=1 k k
103
Hence we have the general formula
1
( n + 1) Hk
C (, k) = (1)n1 n
+ (1)1
n=1 k k
Dividing by k and summing w.r.t to k
C (, k) 1 Hk
= (1)n1 ( n + 1)( + n) + (1)1 +
k=1 k n=1 k=1 k
Now we use the general formula
Hn q 1 q2
q
= (1 + ) (q + 1) (k + 1)(q k)
n=1 n 2 2 k=1
Hence we have
Hn + 1 +2
+
= (1 + ) ( + + 1) (k + 1)( + k)
n=1 n 2 2 k=1
And the generalization is the following formula
C (, k) 1 1 +2
= (1) n1
( n + 1)( + n) (1) (n + 1)( + n)
1
1 C (p, k)
q np (n + k)
=
k=1 n=1 k k=1 kq
(p) p1 (k + 1)
Hk = (p) + (1)p1
(p 1)!
proof
k
(p) 1 1
Hk = p
= (p) p
n=1 n n=k+1 n
Now change the index in the sum n = i + k + 1
k
(p) 1 1
Hk = = (p)
n=1 n p
i=0 (i + k + 1)p
104
We know that
p1 (k + 1) 1
(1)p = p1
(p 1)! i=0 (i + k + 1)
p
Hence we have
(p) p1 (k + 1)
Hk = (p) + (1)p1
(p 1)!
We can use that to obtain a nice integral representation.
Note that
1 1 xa
0 (a + 1) = dx
0 1x
By differentiating with respect to a , p times we have
1 1 xa
p (a + 1) = dx
ap 0 1 x
1 xa log(x)p
p (a + 1) = dx
0 1x
Let a = k
1 xk log(x)p1
p1 (k + 1) = dx
0 1x
Use the relation to polygamma
1 1 xk log(x)p1
(p)
Hk = (p) + (1)p dx
(p 1)! 0 1x
Now divide by k q and sum with respect to k
105
13.12 Symmetric formula
(p)
H (q)
Hk
q
+ k
p
= (p)(q) + (p + q)
k=1 k k=1 k
proof
Take the leftmost series and swap the finite and infinite sums
1 1 1 1 1 i1 1
p q
= p q
p q
i=1 k=i i k i=1 k=1 i k i=1 i k=1 k
1 i1 1 1 i
1 1
p q = p ( q p )
i=1 i k=1 k i=1 i k=1 k i
By separating and changing the index we get
(q)
Hk
p
(p + q)
k=1 k
Hence we have
(p) H (q)
H
kq = (p)(q) kp + (p + q)
k=1 k k=1 k
(p)
H (q)
Hk
q
+ kp = (p)(q) + (p + q)
k=1 k k=1 k
(n)
Hk 2 (n) + (2n)
n
=
k=1 k 2
13.13 Example
(3)
Hk 11(5)
2
= 2(2)(3)
k=1 k 2
proof
(3) H (2)
H
k2 = (2)(3) + (5) k3
k=1 k k=1 k
106
Using integration by parts on the integral
1 Li2 (x)Li2 (1 x)
dx
0 x
Using the duplication formula
1 Li2 (x)
(2) dx = (2)(3)
0 x
The third integral
(2)
Hk 3 1 Li22 (x)
3
= dx
k=1 k 2 0 x
Hence we finally get that
(3)
Hk 3 1 Li22 (x)
2
= (2)(3) + (5) dx
k=1 k 2 0 x
Let us solve the integral
1 Li22 (x)
dx
0 x
By series expansion
107
1
1 1
x n+k1
dx =
n=1 k=1 (nk) n=1 k=1 (nk) (n + k)
2 0 2
1 k
1 1
1 1
3 2 (n + k)
= 3 2
3 n(n + k)
k=1 k n=1 n k=1 k n=1 n k=1 k n=1
1 Li22 (x) Hk
dx = (2)(3) 4
0 x k=1 k
Hk
4
= 3(5) (2)(3)
k=1 k
Hence
1 Li22 (x)
dx = 2(2)(3) 3(5)
0 x
Finally we get
(3)
H 3 11(5)
k2 = (2)(3) + (5) (2(2)(3) 3(5)) = 2(2)(3)
k=1 k 2 2
108
14 Sine Integral function
14.1 Definition
z sin(x)
Si(z) = dx
0 x
A closely related function is the following
sin(x)
si(z) = dx
z x
These functions are related through the equation
Si(z) = si(z) +
2
A closely related function is the sinc function
x=0
1
sinc(x) =
sin(x)
x0
x
Using that we conclude
d
Si(x) = sinc(x)
dx
For integration we have
14.2 Example
Show that
sin(x)si(x) dx =
0 4
proof
109
Let 2x = t
1 sin(t)
dx =
2 0 t 4
14.3 Example
Prove
()
x1 si(x) dx = sin ( )
0 2
proof
sin(t)
x1 dt dx
0 x t
Let xy = t
sin(xy)
x1 dy dx
0 1 y
Switching the integrals we get
1
x1 sin(xy) dx dy
1 y 0
Now let xy = t
1
t1 sin(t) dt dy
1 y +1 0
s
Ms (sin(x)) = xs1 sin(x) dx = (s) sin ( )
0 2
Hence we conclude that
1 ()
() sin ( ) +1
= sin ( )
2 1 y 2
110
14.4 Example
Show that
arctan()
e x si(x) dx =
0
proof
sin(t)
e x dt dx
0 x t
Let xy = t
sin(xy)
e x dy dx
0 1 y
Switching the integrals
1
e x sin(xy) dx dy
1 y 0
The inner integral is the laplace transform of the sine function
a
Ls (sin(at)) =
s2 + a2
Hence we conclude that
1 arctan()
dy =
1 y 2 + 2
14.5 Example
si(x) log(x) dx = + 1
0
()
x1 si(x) dx = sin ( )
0 2
Differentiate with respect to
111
() ()() ()
x1 si(x) log(x)dx = 2
sin ( ) sin ( ) cos ( )
0 2 2 2 2
Let 1
si(x) log(x)dx = 1 (1) = 1 () = 1 +
0
14.6 Example
si(x) sin(px) dx
0
solution
si(x) cos(px) 1 sin(x)
[ ] + cos(px) dx
p 0
p 0 x
Taking the limits
si(x) cos(px)
lim =0
x p
Hence we get
1 sin(x)
+ cos(px) dx
2p p 0 x
The integral
I= =0
4 4
112
If p 1 < 0
1 sin(2x)
I= dx + 0 =
2 0 x 4
Finally we get
2p
p>1
si(x) sin(px)dx = p=1
0
4p
0 p<1
14.7 Example
si2 (x) cos(ax) dx = log(a + 1)
0 2a
proof
si2 (x) sin(ax) 2 si(x) sin(x)
[ ] sin(ax) dx
a 0
a 0 x
Taking the limits
si(x) sin(x)
I(a) = sin(ax) dx
0 x
Differentiate with respect to a
I (a) = si(x) sin(x) cos(ax) dx
0
113
Now use the product to sum trigonometric rules
1
I (a) = si(x)(sin((a + 1)x) sin((a 1)x)) dx
2 0
From the previous exercise we have
si(x) sin((a + 1)x)dx = ;a>0
0 4(a + 1)
si(x) sin((a + 1)x)dx = 0 ; a < 2
0
I (a) =
4(a + 1)
Integrate with respect to a
I(a) = log(a + 1) + C
4
Let a 0
I(0) = 0 + C C = 0
Hence we have
si(x) sin(x)
sin(ax) dx = log(a + 1)
0 x 4
Which implies that
2
si2 (x) cos(ax) dx = ( log(a + 1)) = log(a + 1)
0 a 4 2a
14.8 Example
si(x) cos(ax) dx
0
solution
114
1 sin(x) sin(ax)
dx
a 0 x
Let the integral
sin(x) sin(ax)
I(t) = etx dx
0 x
Differentiate with respect to t
I (t) = etx sin(x) sin(ax) dx
0
1 tx
I (t) = e (cos((a + 1)x) cos((a 1)x)) dx
2 0
Now we can use the Laplace transform
1 t t
I (t) = ( 2 2 )
2 t + (a + 1) 2 t + (a 1)2
Integrate with respect to t
1 t2 + (a + 1)2
I(t) = log ( 2 )+C
4 t + (a 1)2
After verifying the constant goes to 0, we have
1 a+1 2
si(x) cos(ax) dx = log ( )
0 4a a1
115
15 Cosine Integral function
15.1 Definition
Define
cos(t)
ci(x) = dt
x t
A related function is the following
x 1 cos(t)
Cin(x) = dt
0 t
The derivative is
d cos(x)
ci(x) =
dx x
The integral
Prove that
proof
z 1 cos(t)
lim dt log z
z 0 t
Can be written
z 1 cos(t) z 1 1 cos(t)
lim dt dt = dt
z 0 t 0 1+t 0 t(1 + t) t
This is equivalent to
ts1
lim ts1 cos(t)dt
s0 0 (1 + t)
The first integral
116
ts1
= (s)(1 s)
0 (1 + t)
The second integral
ts1 cos(t)dt = (s) cos(s/2)
0
Using (s + 1) = s(s)
(1 s) cos(s/2)
lim
s0 s
Use LHospital rule
15.3 Example
Start by
x 1 cos(t)
Cin(x) = dt
0 t
Rewrite as
1 cos(t) 1 cos(t)
Cin(x) = dt dt
0 t x t
Which simplifies to
z 1 cos(t)
Cin(x) = lim [ dt log(z)] ci(x) + log(x)
z 0 t
The limit goes to the Euler Maschorinit constant
117
15.4 Example
ci(x) cos(px) dx
0
solution
ci(x) sin(px) 1 cos(x)
[ ] sin(px) dx
p 0
p 0 x
Taking the limits
ci(x) sin(px)
lim =0
x0 p
ci(x) sin(px)
lim =0
x p
Hence we get
1 cos(x)
sin(px) dx
p 0 x
The integral
I= + =
4 4 2
If p 1 < 0
I= =0
4 4
If p = 1 we have
118
1 sin(2x)
I= dx + 0 =
2 0 x 4
Finally we get
2p
p>1
ci(x) cos(px) dx = p=1
0
4p
0 p<1
15.5 Example
ci(px)ci(x) dx
0
solution
Let
I(p) = ci(px)ci(x) dx
0
1
I (p) = cos(px)ci(x) dx
p 0
If p > 1 from the previous example we conclude that
1
I (p) = ( )= 2
p 2p 2p
Integrate with respect to p
I(p) = +C
2p
Take the limit p , so C = 0.
15.6 Example
Prove that
()
x1 ci(x) dx = cos ( )
0 2
119
proof
cos(t)
x1 dt dx
0 x t
Let t = yx
cos(yx)
x1 dy dx
0 1 y
Switch the integrals
1
x1 cos(yx) dx dy
1 y 0
Using the Mellin transform we get
1 ()
() cos ( ) 1+
dy = cos ( )
2 1 y 2
15.7 Example
Prove that
ci(x) log(x) dx =
0 2
proof
()
x1 ci(x) dx = cos ( )
0 2
Differentiate with respect to
() ()() ()
x1 ci(x) log(x) dx = cos ( ) cos ( ) + sin ( )
0 2 2 2 2 2
Take the limit 1
ci(x) log(x) dx = 0 0 + sin ( ) =
0 2 2 2
120
15.8 Example
Show that
1
ci(x)ex dx = log 1 + 2
0
proof
cos(yx)
ex dy dx
0 1 y
Switch the integrals
1
ex cos(yx) dx dy
1 y 0
Use the Laplace transformation
1 1
dy = log(1 + 2 ) = log 1 + 2
1 y(2+y )
2 2
121
16 Integrals involving Cosine and Sine Integrals
16.1 Example
solution
cos(yx)
si(qx) dy dx
0 1 y
Switch the integrals
1
si(qx) cos(yx) dx dy
1 y 0
We also showed that
1 a+1
si(x) cos(ax) dx = log ( )
0 2a a1
Let a = y/q
q y+q
si(x) cos(yx/q) dx = log ( )
0 2y yq
Let x = tq
1 y+q
si(qt) cos(yt) dx = log ( )
0 2y yq
Substitue the value of the itnegral
1 1 y+q
log ( ) dy
2 1 y 2 yq
We can prove that the anti-derivative
log(y) 1 1 y+q
[ log(y 2 q 2 ) log ( )]
q 2q 2y yq 1
Which simplifies
1 y2 q2 1 y+q
[ log ( ) log ( )]
2q y2 2y yq 1
122
The limit y
1 y2 q2 1 y+q
lim log ( )+ log ( )=0
y 2q y 2 2y yq
The limit y 1
1 1 1+q
log (1 q 2 ) + log ( )
2q 2 1q
Can be written as
1 2 1 1+q 2
log (1 q 2 ) + log ( )
4q 4 1q
16.2 Example
Prove that
ci(x) 1
dx = {si()2 + ci()2 }
0 x+ 2
proof
ci(x)
I() = dx
0 x+
Differentiate with respect to
1 cos(x)
I () = dx
0 x+
Let x + = t
1 cos((t ))
I () = dt
t
Use trignometric rules
123
cos() sin()
I () = ci() si()
Integrate with respect to
1
I() = {si()2 + ci()2 } + C
2
If we have C = 0.
124
17 Logarithm Integral function
17.1 Definition
Define =
x dt
li(x) =
0 log(t)
The derivative is
d 1
li(z) =
dz log(z)
The integral
z x
li(z) dz = zli(z) dx
0 log(x)
In the integral let 2 log(x) = t
et
li(z) dz = zli(z) + dt = zli(z) Ei(2 log z)
2 log(z) t
17.2 Example
Prove that
1
li(x) dx = log(2)
0
proof
1 x ea log(t) dt
I(a) = dx
0 0 log(t)
Differentiate with respect to a
1 x
I (a) = ta dt dx
0 0
125
1 1
I (a) = 1a
x dx
a1 0
Which reduces to
1 1 1
I (a) = =
(a 1)(2 a) 2 a 1 a
Integrate with respect to a
1a
I(a) = log ( )+C
2a
Take the limit a we get C = 0
1 x ea log(t) dt 1a
dx = log ( )
0 0 log(t) 2a
Let a 0
1 1
li(x) dx = log ( ) = log(2)
0 2
solution
1 x ea log(t) dt
I(a) = xp1 dx
0 0 log(t)
Differentiate with respect to a
1 x
I (a) = xp1 ta dt dx
0 0
1 1
I (a) = x
pa
dx
a1 0
Which reduces to
1 1 1 1
I (a) = = { }
(a 1)(p a + 1) p p a + 1 1 a
Integrate with respect to a
126
1 1a
I(a) = log ( )+C
p pa+1
Take the limit a we get C = 0
1 x ea log(t) dt 1 1a
xp1 dx = log ( )
0 0 log(t) p pa+1
Let a 0
1 x ea log(t) dt 1 1 1
xp1 dx = log ( ) = log (p + 1)
0 0 log(t) p p+1 p
eb log(t) dt
1
1 x
I(b) = sin(a log(x)) dx
0 0 log(t)
Differentiate with respect to b
1
1
I (b) = tb dt dx
x
sin(a log(x))
0 0
1 1
I (b) = b1
x sin(a log(x)) dx
b1 0
Let log(x) = t
1
I (b) = etb sin(at) dt
1b 0
Using the Laplace transform
a
I (b) =
(b 1)(a2 + b2 )
Integrate with respect to b
127
0= +C
2(a2 + 1)
Hence we have
1 a log(a2 ) 1
sin(a log(x))li(x) dx = = (a log(a) )
0 2a2 + 2 2(a2 + 1) a2 + 1 2
17.5 Example
1 li(x) 1
logp1 ( ) dx
0 x x
proof
1 1 x ea log(t) 1
I(a) = [ dt] logp1 ( ) dx
0 x 0 log(t) x
Differentiate with respect to a
1 1 x 1
I (a) = [ ta dt] logp1 ( ) dx
0 x 0 x
1 1
p1 1
I (a) = a
x log ( ) dx
a1 0 x
Let log(x) = t
1
I (a) = e(1a)t tp1 dt
a1 0
(p) (p)
I (a) = =
(1 a)(1 a)p (1 a)p+1
Integrate with respect to a
(p)
I(a) =
p(1 a)p
128
Let a 0, Hence
1 li(x) 1 (p)
logp1 ( ) dx =
0 x x p
17.6 Example
Prove that
1
li ( ) logp1 (x) dx = (p)
1 x sin(p)
proof
I(a) = li (xa ) logp1 (x) dx
1
xa
a
d d x dt
li (xa ) = =
da da 0 log(t) a
Hence we have
1
I (a) = xa logp1 (x) dx
a 1
Let log(x) = t
1
I (a) = e(a1)t tp1 dt
a 0
Using the Laplace transform
1
I (a) = (p)
a(a 1)p
Take the integral
1
I (a)da = (p) da
1 1 a(a 1)p
The left hand-side
1
I() I(1) = (p) da
1 a(a 1)p
129
Now since I() = 0
1
I(1) = (p) da
1 a(a 1)p
Which implies that
1 1
li ( ) logp1 (x) dx = (p) da
1 x 1 a(a 1)p
Now let t = a 1
tp
dt
0 t+1
Using the beta integral x + y = 1 and x 1 = p which implies that x = 1 p, y = p
Hence we have
tp
dt = (p, 1 p) = (p)(1 p) =
0 t+1 sin(p)
Finally we get
1
li ( ) logp1 (x) dx = (p)
1 x sin(p)
130
18 Clausen functions
18.1 Definition
Define
sin(k)
k=1
km
m is even
clm () =
cos(k)
k=1
km
m is odd
proof
If m is even then
sin(k k) sin(k)
clim ( ) = m
= (1)k
k=1 k k=1 km
This implies
sin(k) sin(k) 1 sin(2k)
cl2 () + clim ( ) = (1)k m
+ m
= m1
k=1 k k=1 k 2 k=1 km
This implies that
If m is odd then
cos(k k) cos(k)
clim ( ) = m
= (1)k
k=1 k k=1 km
cos(k) k cos(k) 1 sin(2k)
+ (1) =
k=1 km k=1 km 2m1 k=1 k m
Which implies that
131
18.3 Example
clm ()d
0
solution
sin(k)
d
0 k=1 km
Swap the integral and the series
1
m sin(k)d
k=1 k 0
The integral
1
(1)k + 1
sin(k)d = [ cos(k)] =
0 k 0 k
We get the summation
(1)k + 1
= (m + 1) + (m + 1)
k=1 k m+1
Now use that
(1)k + 1
m+1
= (m + 1) + (1 2m )(m + 1) = (m + 1)(2 2m )
k=1 k
18.4 Example
clm ()en d
0
sin(k) n
e d
0 k=1 km
132
Swap the integral and the series
1
m sin(k)en d
k=1 k 0
1
m1 (k 2 + n2 )
k=1 k
Add and subtract k 2 and divide by n2
1 k 2 + n2 k 2
n2 k=1 k m1 (k 2 + n2 )
Distribute the numerator
1 1 1
(m 1) m3 2
n 2 2
n k=1 k (k + n2 )
Continue this approach to conclude that
j
1 (1)j 1
(1) (2l +
l1
(m 1)) m(2j+1) 2
l=1 n 2l n 2j
k=1 k (k + n2 )
Let m 2j 1 = 1 which implies that j = m/2 1
m/21
1 (1)m/21 1
(1) (2l +
l1
(m 1))
l=1 n2l nm2 k=1 k(k 2 + n2 )
Now let us look at the sum
1 1 1 1
= { }
k=1 k(k 2 + n ) k=1 2ink k in k + in
2
1 1 1 in in
= { + }
k=1 k(k + n ) 2n k=1 k k + in k in
2 2 2
1 1
= 2 { + (1 + in) + (1 in) + }
k=1 k(k 2 + n ) 2n
2
which simplifies to
1 (1 in) + (1 + in) + 2
2 + n2 )
=
k=1 k(k 2n2
133
Now we we can verify (1 in) = (1 + in)
1 2R {(1 + in)} + 2 R {(1 + in)} + )
2 + n2 )
= =
k=1 k(k 2n2 n2
This concludes to
m/21
(m (2l 1)) R {(1 + in)} +
(1) + (1)m/21
l1
l=1 n2l nm
134
19 Clausen Integral function
19.1 Definiton
We define
sin(kx)
cl2 (x) =
k=1 k2
eik cos(k)
sin(k)
Li2 (ei ) = 2
= 2
+ i
k=1 k k=1 k k=1 k2
By the integral definition of the dilogarithm
ei log(1 x)
Li2 (ei ) (2) = dx
1 x
Let x = ei
Li2 (ei ) (2) = i log(1 ei )d
0
Which simplifies to
Li2 (ei ) (2) = i log [2 sin(/2)e(i/2)() ] d
0
1 1
Li2 (ei ) (2) = i log [2 sin(/2)] d + ( )2 2
0 4 4
135
By equating the imaginary parts we have our result.
proof
2 t
cl2 (2) = log [2 sin ( )] dt
0 2
Let t = 2
2 log [2 sin ()] d
0
2 log [4 sin ( ) cos ( )] d
0 2 2
Separate the logarithms
2 log [2 sin ( )] d 2 log [2 cos ( )] d
0 2 0 2
We can verify that
cl2 ( ) = log [2 cos ( )] d
0 2
Hence
136
3
cl2 (3) = 2cl2 ( ) 2cl2 ( )
2 2
Since cl2 (3) = 0
3
cl2 ( ) = cl2 ( ) = cl2 ( ) = G
2 2 2
19.4 Example
Prove that
2 5
cl2 (x)2 dx =
0 90
Using the series representation
2
1
sin(kx) sin(nx)dx
k=1 n=1 (nk)
2 0
2 1 2
sin(kx) sin(nx) dx = cos((k n)x) cos((k + n)x) dx
0 2 0
We have two cases
If n = k then
1 2
1 cos(2nx) dx =
2 0
If n k
2
1 2 1 sin((k n)x) sin((k + n)x)
cos((k n)x) cos((k + n)x) dx = [ ] =0
2 0 2 kn k+n 0
Hence we have
nk
2 0
sin(kx) sin(nx) dx =
0
n=k
We can write the series as
1 1 1
= +
n=1 k=1 (nk) nk (nk)
2 2 4
n=1 n
137
1 5
4
= (4) =
n=1 n 90
19.5 Example
Prove that
/2 7 2
x log(sin x) dx = (3) log 2
0 16 8
proof
2 2 2
I = x log(sin x) dx = x log(2 sin x) log(2)
0 0 8
The integral reduces to
2 1 2
x log(2 sin x)dx = Cl2 (2) d
0 2 0
1 2 sin(2n)
= d
2 0 n=1 n2
1 (1)n 1 1
= 3
+ 3
4 n=1 n 4 n=1 n
7
= (3)
16
7 2
I= (3) log(2)
16 8
19.6 Example
Prove that
/4
x cot(x) dx = log(2) + G/2
0 8
proof
/4 /4
x cot(x) dx = log(2) log(sin x) dx
0 8 0
In the integral
138
/4
log(sin x) dx
0
Let x t/2
1 /2
log(sin t/2) dt
2 0
Which can be written as
1 /2 1 /2
log(2 sin t/2) dt log(2) dt
2 0 2 0
Using the Clausen integral function we get
1
cl2 (/2) log(2)
2 4
Note that cl2 (/2) = G
We deduce that
/4
log(sin x) dx = G/2 log(2)
0 4
Collecting the results we have
/4
x cot(x) dx = log(2) + G/2 log(2) = log(2) + G/2
0 8 4 8
Prove that
1 log(x)
cl2 () = sin() dx
0 x2 2 cos()x + 1
proof
Note that
This implies
1 1 1 1
= i i
{ }
x2 2 cos()x + 1 e e xe i x ei
139
Note that ei ei = 2i sin()
1 1 1 1
= { }
x2 2 cos()x + 1 2i sin() x e i x ei
Now use the geometric series
1 1 k i(k+1)
= { x e xk ei(k+1) }
x2 2 cos()x + 1 2i sin() k=0 k=0
1 1
= k1
x sin(k)
x2 2 cos()x + 1 sin() k=1
That implies
1 1
log(x)
sin() dx = sin(k) xk1 log(x) dx = cl2 ()
0 x 2 cos()x + 1
2
k=1 0
19.8 Example
2
cl2 ( )
3
proof
3 1 log(x)
cl2 (2/3) = dx
2 0 x2 + x + 1
Use that
x3 1 = (x 1)(x2 + x + 1)
Hence
3 1 x1
cl2 (2/3) = log(x)dx
2 0 x3 1
Let x3 = t
1 1 t1/31 (t1/3 1)
cl2 (2/3) = log(t)dx
6 3 0 t1
Note that
140
1 xs1
(s) = log(x) dx
0 1x
We deduce that
1
cl2 (2/3) = ( (2/3) (1/3))
6 3
141
20 Barnes G function
20.1 Definition
z + z 2 (1 + ) z n z2
G(z + 1) = (2)z/2 exp ( ) {(1 + ) exp ( z)}
2 n=1 n 2n
Prove that
G(z + 1) = (z)G(z)
proof
G(z + 1) k+z k 2z 1 2k
= 2 exp (z z + ) ( ) exp ( ).
G(z) 2 k=1 k + z 1 2k
This can be written as
G(z + 1) k+z k 1 + 2k z ez z 1 ( z )
= z 2 exp (z + ) ( ) exp ( ) (1 + ) (1 + ) e k
G(z) 2 k=1 k + z 1 2k k z k=1 k
Use the definition of the gamma function
G(z + 1) k+z k 1 + 2k z
= z(z) 2 exp (z + ) ( ) exp ( ) (1 + )
G(z) 2 k=1 k + z 1 2k k
It suffices to prove that
k+z k 1 + 2k z
z 2 exp (z + ) ( ) exp ( ) (1 + ) = 1
2 k=1 k + z 1 2k k
or
k+z k 1 + 2k z exp (z 2 )
( ) exp ( ) (1 + ) =
k=1 k+z1 2k k z 2
Start by
N
k+z k 1 + 2k z
lim ( ) exp ( ) (1 + )
N k=1 k+z1 2k k
Notice
142
k=1 (k + z)k k=1 (1 + kz )
N N
N
k+z k z
( ) (1 + ) =
k=1 k+z1 k k=1 (k + z 1)k
N
1 N 1
(N + z)N +1 N
k=1 (k + z) k=1 (k + z)
k
= 1
k=1 (k + z)
zN ! N k+1
1
(N + z)N +1 N
k=1 (k + z)
k+1
= 1
k=1 (k + z)
zN ! N k+1
(N + z)N +1
=
zN !
N
1 + 2k N
1 + 2k
) = e 2 HN N
1
exp ( ) = exp (
k=1 2k k=1 2k
Hence we have the following
(N + z)N +1
e 2 HN N
1
zN !
According to Stirling formula we have
(N + z)N +1 (N + z)N +1 1
e 2 HN N e 2 HN N
1 1
zN ! z(N /e)N
2N
By some simplifications we have
lim Hn log(n) =
n
and
z N
lim (1 + ) = ez
n N
143
proof
exp ( zz 2(1+) )
2 n
z/2 2
This simplifies to
G(1 z) (n z)n 2z
= (2)z ez e
G(1 + z) n=1 (n + z)
n
G(1 z) (n z)n 2z
log { } = z log(2) + z + log { e }
G(1 + z) n=1 (n + z)
n
(n z)n 2z
f (z) = log { e } = n log(n z) n log(n + z) + 2z
n=1 (n + z)
n
n=1
n n n(n + z) n(n z) + 2(n2 z 2 )
f (z) = +2=
n=1 n z n+z n=1 n2 z 2
Hence we have
2z 2
n=1 n z
2 2
2z 2
z cot z = 1 +
n=1 n z
2 2
f (z) = z cot z 1
z
f (z) = x cot(x) dx z
0
Hence we have
144
G(1 z) z
log { } = z log(2) + z cot(x) dx
G(1 + z) 0
z z
x cot(x) dx = z log(sin z) log(sin x)dx (1)
0 0
z
= z log(2 sin z) log(2 sin x)dx (2)
0
1 2z x
= z log(2 sin z) log (2 sin ) dx (3)
2 0 2
cl2 (2z)
= z log(2 sin z) + (4)
2
(5)
That implies
Prove that
n1
G(n) = (k)
k=1
proof
n1
G(n) = (k)
k=1
We want to show
n
G(n + 1) = (k)
k=1
n1 n
G(n + 1) = (n)G(n) = (n) (k) = (k)
k=1 k=1
145
20.4 Relation to Hyperfactorial function
n
H(n) = k k
k=1
(n!)n
G(n + 1) =
H(n)
proof
suppose that
(n)n1
G(n) =
H(n 1)
we want to show that
(n)n1
G(n + 1) = (n)G(n) = (n)
H(n 1)
Notice that
n
n1
k k H(n)
H(n 1) = k k = =
nn nn
We deduce that
(n)n nn (n!)n
G(n + 1) = (n)G(n) = =
H(n) H(n)
Prove that
z z z(z 1)
log (x)dx = log(2) + + z log (z) log G(z + 1)
0 2 2
proof
z z + z 2 (1 + ) z z2
log G(z + 1) = log(2) + n log (1 + ) + z
2 2 n=1 n 2n
146
Let the following
z z2
f (z) = n log (1 + )+ z
n=1 n 2n
Differentiate with respect to z
n z z2
f (z) = + 1=
n=1 z + n n n=1 n(n + z)
1 z
(z) = +
z n=1 n(n + z)
which implies that
z2
= z(z) + z + 1
n=1 n(n + z)
Hence we have
f (z) = z(z) + z + 1
z z 2
f (z) = x(x)dx + +z
0 2
which implies that
z z 2
f (z) = z log (z) log (x)dx + +z
0 2
Hence we have
z z + z 2 (1 + ) z z 2
log G(z + 1) = log(2) + z log (z) log (x)dx + +z
2 2 0 2
By some rearrangements we have
z z z(z 1)
log (x)dx = log(2) + + z log (z) log G(z + 1)
0 2 2
147
20.6 Glaisher-Kinkelin constant
H(n)
A = lim
n nn2 /2+n/2+1/12 en2 /4
Prove that
G(n + 1) e1/12
lim =
n (2)n/2 nn /21/12 e3n /4
2 2
A
proof
(n!)n
lim
n H(n)(2)n/2 nn /21/12 e3n /4
2 2
2
+n/2 n2 +1/12
(n!)n (2)n/2 nn e
2
/2+n/2+1/12 n2 /4
nn e e1/12
e1/12 lim =
n H(n) A
20.8 Example
Prove that
2
(2) = (log(2) + 12 log A)
6
We already proved that
G(n + 1) 1
log [ ] log A
(2)n/2 nn2 /21/12 e3n2 /4 12
148
Let the following
G(n + 1)
f (n) = log [ ]
(2)n/2 nn2 /21/12 e3n2 /4
Use the series representation of the Barnes functions
(2)n/2 exp ( n+n 2(1+) )
2
n k n2
k=1 {(1 + k ) exp ( 2k n)}
f (n) = log
(2) n/2 nn2 /21/12 e3n2 /4
Which reduces to
n + n2 (1 + ) n n2 n2 1 3n2
f (n) = + {k log (1 + ) + n} ( ) log(n) +
2 k=1 k 2k 2 12 4
Differentiate with respect to n
1 n 1 3n
f (n) = n n + n(n) + n + 1 n log(n) + +
2 2 12n 2
Note that we already showed that
d n n2
{k log (1 + ) + n} = n(n) + n + 1
dn k=1 k 2k
By simplifications we have
1 1
f (n) = n(n) n log(n) + +
12n 2
Now use that
1 zdz
(n) = log(n) 2 dz
2n 0 (n2 + z 2 )(e2z 1)
Hence we deduce that
nzdz 1
f (n) = 2 dz +
0 (n2 + z 2 )(e2z 1) 12n
Integrate with respect to n
z log(n2 + z 2 ) 1
f (n) = dz + log(n) + C
0 (e 2z 1) 12
Take the limit n 0
1 z log(z 2 )
C = lim f (n) log(n) + dz
n0 12 0 (e2z 1)
149
Hence we have the limit
G(n + 1) 1 G(n + 1)
lim log(n) = lim log =0
n0 (2)n/2 nn2 /21/12 e3n2 /4 12 n0 (2) nn2 /2 e3n2 /4
n/2
z log(z)
C = 2 dz
0 (e2z 1)
Finally we have
z log(n2 + z 2 ) 1 z log(z)
f (n) = dz + log(n) + 2 dz
0 (e 2z 1) 12 0 (e2z 1)
z2
z log (1 + n2
) z 1 z log(z)
f (n) = dz log(n2 ) dz + log(n) + 2 dz
0 (e2z 1) 0 (e2z 1) 12 0 (e2z 1)
Also we have
z 1
dz =
0 (e2z 1) 24
That simplifies to
z2
z log (1 + n2
) z log(z)
f (n) = dz + 2 dz
0 (e2z 1) 0 (e2z 1)
Take the limit n
z log(z) 1
2 dz = log A
0 (e 2z 1) 12
Now use that
z log(z) z log(z) 1
2 dz = 2 dz
0 (e 2z 1) 0 e 2z 1 e2z
=2 e2z(n+1) z log(z) dz
n=0 0
(2) log(2) + log(n)
=
n=1 2 2 n2
((2) log(2))(2) + (2)
=
2 2
1
(2) = (log(2) (2))(2) + 2 2 ( log A) = (2)(log(2) + 12 log A)
12
150
20.9 Example
Prove that
1
(1) = log A
12
proof
Start by
m
m1s ms sms1
(s) = lim ( k s + ) , Re(s) > 3.
m
k=1 1s 2 12
Differentiate with respect to s
m
m1s m1s ms ms1 ms1
(s) = lim ( k s log(k) + log(m) + log(m) + log(m))
m
k=1 (1 s) 2 1s 2 12 12
Now let s 1
m
m2 m2 m 1 1
(1) = lim ( k log(k) + log(m) + log(m) + log(m))
m
k=1 4 2 2 12 12
Take the exponential of both sides
2
/2+m/21/12 m2 /4 2
/2+m/21/12 m2 /4
(1) mm e mm e e1/12
e =e 1/12
lim m k log(k)
=e 1/12
lim =
m e k=1 m H(m) A
We conclude that
1
(1) = log A
12
Prove that
proof
z s z 1s sin(s arctan(x/z))
(s, z) = + + 2 dx
2 s1 0 (z 2 + x2 )s/2 (e2x 1)
Take the derivative with respect to s and s 1
151
z log(z) z 2 log(z) z 2 x log(x2 + z 2 ) + 2z arctan(x/z)
(1, z) = + + dx
2 2 4 0 (e2x 1)
Now use that
1 x
(z) = log(z) 2 dx
2z 0 (z 2 + x2 )(e2x 1)
Which implies that
2zx 1
dx = z log(z) z(z)
0 (z 2 + x2 )(e2x 1) 2
By taking the integral
x log(x2 + z 2 ) x log(x2 ) z z z
dx = x log(x) dx x(x) dx
0 (e 2x 1) 0 0 2
Which simplifies to
x log(x2 + z 2 ) z2 1 2 z z
dx = (1) + z log(z) z log (z) + log (x) dx
0 (e 2x 1) 4 2 0 2
Also we have
x 1
2 dx = log(z) (z)
0 (x2 + z 2 )(e2x 1) 2z
By integration we have
arctan(x/z) log(z)
2 dx = z + z log(z) + log (z) + C
0 (e2x 1) 2
Let z 1 to evaluate the constant
arctan(x/z) log(z) 1
2 dx = z + z log(z) + log (z) log(2)
0 (e 2x 1) 2 2
Multiply by z
z arctan(x/z) z log(z) z
2 dx = z 2 + z 2 log(z) + z log (z) log(2)
0 (e2x 1) 2 2
Substitute both integrals in our formula
z z z(1 z)
log (x) dx = log(2) + (1) + (1, z)
0 2 2
We also showed that
152
z z z(1 z)
log (x) dx = log(2) + + z log (z) log G(z + 1)
0 2 2
By equating the equations we get our result.
20.11 Example
Prove that
1
G ( ) = 21/24 1/4 e1/8 A3/2
2
proof
We know that
Note that
1
(s, ) = (2s 1)(s)
2
Which implies that
1 log(2) 1
(1, ) = (1) (1)
2 2 2
Hence we have
1 1 1 3 log(2)
log G ( ) + log ( ) = (1) (1)
2 2 2 2 2
Using that we have
1
G ( ) = 21/24 1/4 e 2 (1)
3
2
Note that
1
(1) =
12
This can be proved by the functional equation of the zeta function.
153
References
[1] Leonard Lewin. Polylogarithms and associated functions. New York, 1981.
[2] Marko Petkovsek, Herbert Wilf, Dorom Zeilbegreger. A=B. Philadelphia, 1997.
[3] Pedro Freitas. Integrals of polylogarithmic functions, recurrence relations and associated Euler sums. 2004.
[4] Gradshteyn, Ryhik. Edited by Alan Jeffrey, Daniel Zillinger. Table of integrals, series and products. 2007.
[5] Habib Muzaffiar, Kenneth Williams. Evaluation of complete elleptic integrals of the first kind at singular
moduli. 2006.
[6] Stefan Boettner, Victor Moll. The integrals in Gradshteyn and Ryzhik, Part 16: Complete elliptic integrals.
2010.
[9] http://www.mymathforum.com
[10] http://www.mathhelpboards.com
[11] http://www.mathstackexchange.com
[12] http://www.integralsandseries.prophpbb.com
[13] http://www.wikipedia.org
[14] http://mathworld.wolfram.com
[15] http://dlmf.nist.gov/
154