Professional Documents
Culture Documents
Advanced Calculus
Explored
With Applications in Physics,
Chemistry, and Beyond
2
ADVANCED CALCULUS
EXPLORED
WITH APPLICATIONS
IN
Hamza E. Alsamraee
3
ISBN 978-0-578-61682-7
www.instagram.com/daily_math_/
5
To my parents.
6
Preface 23
I Introductory Chapters 27
1 Differential Calculus 29
7
8 CONTENTS
2 Basic Integration 59
5 Prerequisites 167
17 Miscellaneous 401
V Appendices 413
Appendix A 415
Appendix B 421
Acknowledgements 425
Answers 427
15
16 CONTENTS
1
Z r
1+x
dx = π (1)
−1 1−x
Well, I knew what π is, but what is that long S symbol on the left
side? So, I browsed the web again, but this time asking what that
"long S symbol" is. It is an integral! Cool, I thought, but what
does that even mean?
Soon started a period where I was almost obsessed with those math-
ematical creatures! The evaluation of integrals and series quickly
became a hobby, leading me to challenge myself everyday with a
new integral or series that "looked" like it might yield a nice closed
form.
After I began writing the book, I began wondering how many indi-
viduals were genuinely interested in this type of mathematics. As
an experiment, I set up a mathematics Instagram account by the
name of daily_math_ to test the reaction to some of the book’s
problems. After an overwhelmingly positive response, I was more
motivated than ever to finish this book! At the time of the pub-
lishing of this book, the account has garnered over 40,000 followers
CONTENTS 17
Proof of (1)
1
Z r
1+x
I= dx
−1 1−x
0 1
Z r Z r
1+x 1+x
= dx + dx
−1 1−x 0 1−x
18 CONTENTS
0 Z 1r
r
1−x
Z
1+x
I=− dx + dx
1 1+x 0 1−x
!
1
r r
1−x
Z
1+x
= + dx
0 1+x 1−x
1
(1 − x) + (1 + x)
Z
= p dx
0 (1 − x)(1 + x)
Z 1
1
=2 √ dx (2)
0 1 − x2
Since
d arcsin x 1
=√
dx 1 − x2
We have:
I = 2[ arcsin x]10
= π
Z arcsin 1
cos u
p du
arcsin 0 1 − sin2 u
Z arcsin 1
= du
arcsin 0
CONTENTS 19
π
= arcsin 1 − arcsin 0 =
2
√
1+x
Proof 2. Consider multiplying (1) by √
1+x
Z 1
1+x
I= √ dx
−1 1 − x2
Z 1 Z 1
1 x
= √ dx + √ dx
−1 1 − x2 −1 1 − x2
Z 0
1 1
I =π− √ du
2 u
|0 {z }
=0
Which can be easily argued from the fact that the integrand in the
second integral is an odd function on the interval (−1, 1).
20 CONTENTS
x
Figure 2: Graph of y = √ on (−1, 1)
1 − x2
We therefore obtain:
I=π
Z b Z b
f (x) dx = f (a + b − x) dx
a a
1
r
1−x
Z
I= dx (3)
−1 1+x
!
1
r r
1−x
Z
1+x
2I = + dx
−1 1+x 1−x
Z 1
2
= √ dx
−1 1 − x2
= 2( arcsin(1) − arcsin(−1)) = 2π
Therefore,
I=π
22 CONTENTS
Preface
Z 1
x2 dx
0
Z π
2
ln(sin x) dx
0
I have written this book with two types of readers in mind: 1) math-
ematical enthusiasts who love a challenging problem, and 2) physics,
23
24 CONTENTS
The answers to these exercise problems are all included at the end
of the book. There is a high likelihood that I will compile a list of
solutions to these problems in a solutions manual to be published a
few months after the book’s launch.
Enjoy!
Hamza Alsamraee,
Centreville High School
do claim authenticity.
Part I
Introductory Chapters
27
Chapter 1
Differential Calculus
29
30 CHAPTER 1. DIFFERENTIAL CALCULUS
Definition
Let f (x) be a function defined on the interval (a, b), except
possibly at x0 , where x0 is in the interval i.e. a < x0 < b
then the limit is lim f (x) = L if for every number ε > 0
x→x0
there exists a δ > 0 such that
f (x) − L < ε whenever 0 < |x − x0 | < δ (1.1)
For all x.
ε
L ε
δ δ
x0 x
Definition
A function f is said to be continuous at x0 if it is both de-
fined at x0 and its value at x0 equals the limit of f (x) as x
approaches x0 , i.e.
Solution
In this case both L and x0 are zero. We start by letting ε > 0.
According to the (ε, δ) definition of the limit, if limx→0 x2 = 0 we
will need to find some other number δ > 0 such that
Which gives us
Starting with the left inequality and taking the square root of both
sides we get √
|x| < ε
This looks very similar to the right inequality, which drives us to
√
set ε = δ. We now need to prove that our choice satisfies
Starting with the right inequality with the assumption that 0 <
√
|x| < ε
2 2 √ 2
x = |x| < ε =ε
Which gives us
2
x < ε
lim x2 = 0
x→0
sin (x)
Example 2: Prove that lim = 1 using the epsilon-delta
x→0 x
definition of a limit.
Solution
To start off, we will make use of the unit circle to derive some iden-
tities. Consider figure 1.2.
34 CHAPTER 1. DIFFERENTIAL CALCULUS
1
2
sin α tan α
α x
−1 − 12 cos α 1
− 12
−1
Figure 1.2: The unit circle. Figure generated using Tik Z software
Now, consider figure 1.3. Using the basics of the unit circle, we can
say that point C has a y−coordinate equal to sin x and point A has
a y−coordinate equal to tan x. Now, consider triangle 4OCB and
triangle 4OAB where O is the origin. 4OCB has area is 12 sin x
while 4OAB has area 12 tan x.
1 x 1
sin x ≤ ≤ tan x (1.2)
2 2 2
Dividing (1.2) by 1
2 sin x,
x 1
1≤ ≤
sin x cos x
sin x
cos x ≤ ≤1
x
Since sinx x and cos x are even functions,
this inequality holds for
any non-zero x on the interval − π2 , π2 . This leads us to
sin (x)
(1.3)
x − 1 < 1 − cos (x)
cos(2x) = 1 − 2 sin2 x
2
To obtain that 1 − cos (x) = 2sin2 x2 < x2 where the inequality
x2
sin (x)
x − 1 < 2
(1.4)
36 CHAPTER 1. DIFFERENTIAL CALCULUS
√
We proceed to let δ = ε which gives us
√
|x − 0| < δ = ε
Which then proves the limit by showing that for any ε > 0 we can
find a δ > 0 such that
sin (x)
x − 1 < ε whenever 0 < |x − 0| < δ
Theorem
L’Hopital’s rule is one of the most widely known limit prop-
erties. It states that if two functions f and g are differen-
tiable on an open interval I, with an exception made for a,
and the limit of their quotient takes an indeterminate form
such as 00 or ∞∞ , the limit of their quotient can be expressed
as
f (x) f 0 (x)
lim = lim 0
x→a g (x) x→a g (x)
e−x
1
x
Or
x
ex
We can see that the latter choice is better as the first will produce
an even more complicated result when L’Hopital’s rule is applied.
Remember, when one key does not work, one must proceed to try
another one! As the problems in this book get harder, this idea be-
comes vital. Going back to our problem,
x
L = lim xe−x = lim
x→∞ x→∞ ex
After applying L’Hopital’s rule we obtain:
1
L = lim
x→∞ ex
Now it is easy to see that
L = lim xe−x = 0
x→∞
Out[1]= 0
38 CHAPTER 1. DIFFERENTIAL CALCULUS
n n
1
1+ n
Example 4: Find lim
e
n→∞
Solution
Define
n n
1
1+ n
L = lim
e
n→∞
We then have
n
1 " #
1+
n 2 1
ln L = lim n ln = lim n ln 1 + −n
n→∞ e n→∞ n
We will proceed to transform the limit into one we can apply L’Hopital’s
1.1. THE LIMIT 39
n· 1
n2
ln 1 + n1 −
1 1
ln 1 + n −
1
1+ n n+1
ln L = lim = lim
n→∞ − n12 n→∞ − n12
1
− n(n+1)2 n3
ln L = lim = 2 = − lim
n→∞ n→∞ 2n(n + 1)2
n3
1
ln L = −
2
1
=⇒ L = √
e
Mathematica gives:
Out[2]= 1/Sqrt[E]
40 CHAPTER 1. DIFFERENTIAL CALCULUS
∞
X 1
Example 5: Define the Riemann zeta function as ζ(s) = =
ns
n=1
1 1 1 1 1
s
+ s + s + s ... Find lim ζ(s) − 1 s
1 2 3 4 s→∞
1
Figure 1.5: A graph of y = ζ(x) − 1 x
Solution
We know that the first term of the zeta function will always be
1
=1
1s
Therefore,
1
L = lim ζ(s) − 1 s
s→∞
1.1. THE LIMIT 41
1
1 1 1 s
= lim 1 + s + s + s ··· − 1
s→∞ 2 3 4
1
1 1 1 s
= lim + + ···
s→∞ 2s 3s 4s
1
We proceed to factor out
2s
s s ! 1s
1 2 2
L = lim 1+ + ···
s→∞ 2 3 4
1 1
L = lim · 1s
s→∞ 2
In[3]:= (Zeta[x]-1)1/x
1
Out[3]=
2
n! ! = n · (n − 2) · (n − 4) · · ·
42 CHAPTER 1. DIFFERENTIAL CALCULUS
6! ! = 6 · 4 · 2 = 48
5! ! = 5 · 3 · 1 = 15
√
(2n − 1)! ! n
Find lim for n ∈ N
n→∞ (2n)! !
Solution
A double factorial , n! !, can be expressed using normal factorials.
The expressions for our case are as follows
(2n)! ! = 2n · n!
(2n)!
(2n − 1)! ! =
2n · n!
1.1. THE LIMIT 43
Theorem
Stirling’s approximation, or Stirling’s formula, is one of the
most common approximations for factorials. The general for-
mula is
ln k! = k ln k − k + O(ln k) (1.5)
Where Big O notation indicates that the LHS (Left-hand
side) describes the RHS’s (Right-hand side) limiting behav-
ior, i.e. as k → ∞. A more precise approximation, which is
derived from (1.5), is
n
√ n
n! ∼ 2πn (1.6)
e
Solution
We start by noting that through the definition of the Fibonacci se-
quence we have
Fn+1 Fn−1
Fn+1 = Fn + Fn−1 =⇒ =1+
Fn Fn
Define
Fn+1
an =
Fn
Then,
1
an = 1 +
an−1
Taking the limit of both sides,
1
lim an = lim 1 +
n→∞ n→∞ an−1
Since both the limits of the RHS and LHS exist we can let limn→∞ an =
x to get
1
x=1+
x
2
x −x−1=0
In[4]:= Limit[Fibonacci[n+1]/Fibonacci[n],n->Infinity]
1 √
Out[4]= (1+ 5)
2
Definition
The derivative of a function f (x), denoted by f 0 (x), gives us
the instantaneous rate of change at a point (x, f (x)) by using
the concept of a limit. This is done by measuring the "slope"
over an infinitesimal interval, i.e. [x, x + h].
f (x + h) − f (x)
f 0 (x) = lim
h→0 h
Solution
Many have already memorized the power rule, but let us prove it
here. Using the definition of a derivative,
d (x + h)n − xn
f (x) = lim
dx h→0 h
46 CHAPTER 1. DIFFERENTIAL CALCULUS
Therefore, Pn n
xn−k hk − xn
d k=0 k
f (x) = lim
dx h→0 h
Which simplifies to
d n (n − 1) n−2 1
f (x) = lim nxn−1 + x h + ...
dx h→0 2!
Theorem
For two differentiable functions, the derivative of their prod-
uct can be stated as follows
d d d
uv = u v + v u
dx dx dx
1.2. THE DERIVATIVE 47
x 1
Example 9: Find lim − .
x→0 sin3 x x2
Solution
x 1
L = lim − 2
x→0 sin3 x x
!
x3 − sin3 x
= lim
x→0 x2 sin3 x
1 1
·3=
L=
6 2
Evaluating our limit using Mathematica,
1
Out[5]=
2
Theorem
g(x)
Let f (x) = h(x) where both h and g are differentiable and
h(x) 6= 0. The derivative of f (x) is then
g 0 (x)h(x) − h0 (x)g(x)
f 0 (x) =
[h(x)]2
This rule can be found from the product rule by setting u = g(x)
and v = h(x)
1
. However, it is helpful to know on its own.
Solution
We know that
sin x
tan x =
cos x
Applying the quotient rule,
d
tan x = sec2 x
dx
Theorem
If g(x) is differentiable at x = a and f (x) is differentiable at
x = g(a), then the derivative of f (g(x)) at x = a is:
d
f (g(x)) = f 0 (g(a)) · g 0 (a)
dx x=a
After a basic review, we now can start delving into more advanced
derivatives. Let us get started with an interesting derivative!
x
Example 11: Find the derivative of f (x) = xx at x = 1.
Solution
We will approach this problem using logarithmic differentiation. We
first set h (x) = xx and then take the natural logarithm of both
50 CHAPTER 1. DIFFERENTIAL CALCULUS
x
Figure 1.7: Graph of y = xx
sides,
ln h (x) = x ln x
Differentiating both sides using the chain rule,
h0 (x)
= ln x + 1 → h0 (x) = xx (ln x + 1)
h (x)
We can now return to our original function and take the natural
logarithm of both sides to get:
ln f (x) = xx ln x
f 0 (x) d
= (xx ) ln x + xx−1
f (x) dx
1
= xx + ln2 x + ln x
x
1.2. THE DERIVATIVE 51
Plugging in x = 1,
f 0 (1)
= 1 → f 0 (1) = 1
1
Checking with Mathematica,
x
In[6]:= f[x_]:=xx
f0 [1]
Out[6]= 1
dπ π
Example 12: Evaluate x at x = π
dxπ
Solution
You might be wondering what a π th derivative even is, or if it is
even valid mathematically! This notion of generalizing the deriva-
tive operator is the basis of an entire branch of mathematics, frac-
tional calculus. The first appearance of a fractional derivative
is in a letter written to l’Hôpital by the German polymath Got-
tfried Wilhelm Leibniz in 16951 . The theory and foundations of the
subject were introduced by the likes of the French mathematician
Joseph Liouville in the 19th century. In the late 19th century, the
electrical engineer Oliver Heaviside introduced their practical use in
electrical transmission line analysis2 .
f 0 (x) = axa−1
1
Katugampola, Udita N. (15 October 2014). A New Approach To Gener-
alized Fractional Derivatives. Bulletin of Mathematical Analysis and Applica-
tions. 6 (4): 1–15. arXiv:1106.0965. Bibcode:2011arXiv1106.0965K.
2
Bertram Ross (1977). The development of fractional calculus 1695-1900.
Historia Mathematica. 4: 75–89. doi:10.1016/0315-0860(77)90039-8
52 CHAPTER 1. DIFFERENTIAL CALCULUS
dn a a!
n
x = xa−n
dx (a − n) !
Definition
The Gamma function, usually denoted by Γ(·), extends the
domain of the factorial function into C with the exception of
non-positive integers.
Γ(n) = (n − 1)!
∞
∞
e−γz Y z −1 z/k
Z
z−1 −t
Γ (z) = t e dt = 1+ e (1.7)
0 z k
k=1
a
Davis, P. J. (1959). Leonhard Euler’s Integral: A Historical Profile
of the Gamma Function". American Mathematical Monthly. 66 (10):
849–869. doi:10.2307/2309786. JSTOR 2309786
1.2. THE DERIVATIVE 53
Definition
The Euler-Mascheroni constant, usually denoted as γ, is de-
fined as the limiting difference between the harmonic sum
and the natural logarithm:
k
X 1
γ = lim − ln k + ≈ 0.577216 (1.8)
k→∞ n
n=1
x
Example 13: Let f (x) = x . Find lim f 0 (x).
x+ x
x+ x+..
x→∞
Solution
We will first find an expression for the derivative and then take the
limit. Notice that
x x
f (x) = y = x =
x + x+ x x+y
x+..
54 CHAPTER 1. DIFFERENTIAL CALCULUS
Therefore,
xy + y 2 = x
y 2 + xy − x = 0
This is a quadratic equation in y. By the quadratic formula we ob-
tain: √
−x ± x2 + 4x
y=
2
Since we know that y > 0 for all x > 0 we will ignore the negative
value. Hence, √
−x + x2 + 4x
y=
2
To get our desired derivative expression we will differentiate to get:
dy 1 2x + 4
= √ −1
dx 2 2 x2 + 4x
1 x+2
= √ −1
2 x2 + 4x
Taking the limit we obtain:
0 1 x+2
lim f (x) = lim √ −1
x→∞ 2 x→∞ x2 + 4x
1 x+2 1
= lim √ −
2 x→∞ 2
x + 4x 2
!
1 x+2 1
= lim p −
2 x→∞ (x + 2)2 − 4 2
We can see that the denominator tends to x + 2 as x → ∞. Our
limit is then simply
1 1
lim f 0 (x) = − =0
x→∞ 2 2
1.2. THE DERIVATIVE 55
d2 x d2 y dy
Example 14: Find dy 2
in terms of dx2
and dx .
Solution
Define
g(x) = f −1 (x)
With g(x) = y. Then by the basic properties of inverse functions
we have
f (g(x)) = x
Differentiating both sides with respect to x and using the chain
rule,
f 0 (g(x)) · g 0 (x) = 1
1
f 0 (g(x)) =
g 0 (x)
Differentiating once again we get:
g 00 (x)
f 00 (g(x)) · g 0 (x) = − 2
g 0 (x)
g 00 (x)
∴ f 00 (g(x)) = − 3
g 0 (x)
Expressing this in different notation,
d2 y
d2 x 2
= − dx 3
dy 2 dy
dx
Solution
56 CHAPTER 1. DIFFERENTIAL CALCULUS
We know that f and g are inverses, which means they are reflec-
tions of each other on the line y = x. Therefore, if they were to be
tangent their derivatives have to be both 1. We then have a system
of equations
1
ax1 ln a = =1 (1)
x1 ln a
ax1 = loga x1 (2)
Where (x1 , x1 ) is the point of intersection. (1) and (2) are true
since f 0 = g 0 = 1 at (x1 , x1 ) and f = g at (x1 , x1 ), respectively.
Substituting (2) into (1) we obtain:
loga x1 ln a = 1
Thus,
1
=1
e ln a
e ln a = 1
1
a = ee
1) Prove the product rule using the limit definition of the deriva-
tive.
1.3. EXERCISE PROBLEMS 57
2) Prove the chain rule using the limit definition of the derivative.
5) Evaluate lim xx
x→0+
x
6) Find lim xx − xx
x→0+
x2 sin x1 + x
7) Evaluate lim √ x
x→0 1+x−e
kk
ln k!
9) Evaluate lim
k→∞ k
4n
1/n
10) Evaluate lim 3n
2n
(Bonus question: Generalize it!)
n→∞
n
x2
π
11) Find lim sin (Hint: See example 2 and use the
x→∞ 2x + 1 x
squeeze theorem)
58 CHAPTER 1. DIFFERENTIAL CALCULUS
Theorem
Let (a, b) be an interval such that x0 ∈ (a, b). Let g, f , and h
be functions defined on (a, b), except possibly at x0 . Suppose
that for every x ∈ (a, b) not equal to x0 , we have:
Then
lim f (x) = L
x→x0
Chapter 2
Basic Integration
59
60 CHAPTER 2. BASIC INTEGRATION
Z
Figure 2.1: The notation for the indefinite integral, , was intro-
duced by Leibniz in 1675. He adapted it from an archaic form of
the letter s, standing for summa (Latin for "sum" or "total").
Definition
For a function f (x) that is continuous on the interval [a, b],
we can divide the interval into n subintervals, each with
length ∆x, and from each interval choose a point xk . The
definite integral is then
Z b n
X
f (x) dx = lim f (xk )∆x
a n→∞
k=1
Now, back to our thought experiment. We can see that there are
areas that our rectangles do not cover and some areas that our
rectangles add. To minimize these errors, we have to add more
rectangles! Let us now increase the number of subintervals from
2 to 10.
As one can see in figure 2.4, we now have a much better estimate
of integral, or the area under the curve. As we let the number of
subintervals approach ∞ (and consequently their width approach
0), this approximation will become an exact value for area!
2.2. LEBESGUE INTEGRAL 63
However, the Riemann integral has its limitations, which are often
worked around by invoking the Lebesgue definition of integration.
1
Gowers, T., Barrow-Green, J., Leader, I. (2008). The Princeton compan-
ion to mathematics. Princeton, NJ: Princeton University Press.
2
Hamming, R. W. (1998). Mathematics on a Distant Planet. The American
Mathematical Monthly, 105(7), 640. doi: 10.2307/2589247
2.3. THE U -SUBSTITUTION 65
Proof. Let
Z b
I= f (x) dx
a
Also, let x = a + b − t, dx = −dt. This then transforms I into:
Z a
I= f (a + b − t) (−dt)
b
Z b
= f (a + b − t) dt
a
Rewriting using x,
Z b
I= f (a + b − x) dx
a
Z π
x sin x
Example 1: Evaluate dx
0 1 + cos2 x
66 CHAPTER 2. BASIC INTEGRATION
Solution
π
(π − x) sin (π − x)
Z
x sin x
2I = + dx
0 1 + cos2 x 1 + cos2 (π − x)
1 π
Z
x sin x (π − x) sin (π − x)
I= + dx
2 0 1 + cos2 x 1 + cos2 (π − x)
We can simplify by using the identities sin (π − x) = sin x,
2.3. THE U -SUBSTITUTION 67
cos2 (π − x) = cos2 x:
Z π
1 π sin x
I= dx
2 0 1 + cos2 x
Z π
x Sin[x]
In[7]:= dx
0 1+Cos[x]2
π2
Out[7]=
4
Z π
2
Example 2: Evaluate ln (sin x)dx
0
Solution
We will use a unique approach to this problem utilizing our reflec-
tion identity, (2.1).
Z π ! Z π
2 π 2
I= ln sin −x dx = ln (cos x) dx
0 2 0
Z π
2
= ln (cos x sin x) dx
0
Therefore,
Z π
2 π ln 2
2I = ln (sin u) du −
2
|0 {z }
I
π ln 2
=⇒ 2I = I −
2
Z π
2 π ln 2
ln(sin x) dx = − (2.2)
0 2
Mathrmatica gives the same answer,
Z π
In[8]:=
2 Log[Sin[x]]dx
0
1
Out[8]= - π Log[2]
2
Z π
x sin x
Example 3: Evaluate 2 dx
0 cos2 x + 1
Solution
Using (2.1),
π
(π − x) sin (π − x)
Z
I= 2 dx
0 cos2 (π − x) + 1
Z π Z π
π sin (x) x sin (x)
= 2 dx − 2 dx
0 2
cos (x) + 1 0 cos2 (x) + 1
| {z }
I
Z π
π sin (x)
=⇒ I = 2 dx
2 0 cos2 (x) + 1
70 CHAPTER 2. BASIC INTEGRATION
Using
1 + cos 2x
cos2 x =
2
Then gives:
π π
Z Z !
π 4 4
I= dx + cos(2x) dx
4 − π4 − π4
2.3. THE U -SUBSTITUTION 71
π2 π
I= +
8 4
Let’s see what Mathematica gives,
Z π
xSin[x]
In[9]:= dx
0 (1+Cos[x]2 )2
1
Out[9]= π (2+π)
8
π2
Which, if expanded, equals 8 + π4 .
Z 1
Example 4: Evaluate
ln Γ(x) dx
0
Solution
Z 1
Z 1
I= ln Γ(x) dx = ln Γ(1 − x) dx
0 0
Theorem
The infamous Euler’s reflection formula is given by:
Where x ∈
/ Z. See (9.3) for proof.
1 π
Z
2I = ln π − ln sin (u)du
π 0
2 −π ln 2
2I = ln π − ·
π 2
= ln π + ln 2
Finally we obtain Z 1
ln 2π
(2.4)
ln Γ(x) dx =
0 2
Evaluating with Mathematica,
Z 1
In[10]:= Log[Gamma[x]]dx
0
1
Out[10]= Log[2 π]
2
Z ∞ Z ∞
1 1
Example 5: Define I1 = dx and I2 = dx
0 1 + x13 0 13 + x13
I2
. Find .
I1
Solution
74 CHAPTER 2. BASIC INTEGRATION
Since Z ∞
1
e−ax dx =
0 a
Z ∞Z ∞
13
I2 = e−y(13+x ) dy dx
0 0
Z ∞ Z ∞
1 −t − 12 1
= e t 13 dt e−13y y − 13 dy
13 0 0
2.3. THE U -SUBSTITUTION 75
Z ∞ Z ∞ − 1
1 12
−t − 13 −u u 13
I2 = e t dt e du
13 · 13 0 0 13
1 Z ∞ Z ∞
13 13 1 −t − 12 −u − 1
= e t 13 dt e u 13 du
13 13 0 0
The expression in parentheses is identical to (2.5). Thus,
12 I2 12
I2 = 13− 13 I1 =⇒ = 13− 13
I1
We can see if Mathematica can generate an exact value,
Z∞
1
dx
13
In[11]:= Z0 ∞13+x
1
dx
0 1+x13
1
Out[11]=
13 12/13
πx
Z 1 ln cos 2
Example 6: Evaluate dx
0 x2 + x
Solution
We will split the integrand using partial fractions since
76 CHAPTER 2. BASIC INTEGRATION
ln cos ( πx
2 )
Figure 2.10: Graph of y = x2 +x
x2 + x = (x)(x + 1)
πx
ln cos πx
1
1
ln cos
Z Z
2 2
∴I= dx − dx
0 x 0 x+1
Using the trigonometric identity 2 sin x cos x = sin 2x we can derive
sin (πx)
that cos πx . Thus,
2 = 2 sin ( πx
2 )
sin (πx)
ln
ln cos πx
1 1
2 sin ( πx
2 )
Z Z
2
I= dx − dx
0 x 0 x+1
By the reflection property of integration,
sin (πx) πx
ln ln sin ln cos πx
Z 1 Z 1 Z 1
2 2 2
I= dx − dx − dx
0 x 0 x 0 x+1
2.3. THE U -SUBSTITUTION 77
sin (πx)
π(1−x)
ln ln sin
ln cos πx
1 1 1
2
Z Z Z
2 2
= dx − dx − dx
0 x 1−x x+1
| {z } |0 {z } |0 {z }
(1) (2) (3)
Now, since our integrands are not defined at 0, we need to take the
limit as the lower bound approaches 0. Notice that if we were at-
tempting to evaluate the indefinite integral, this step would not
be needed at this time. However, it is not possible to derive the
above indefinite integrals (anti-derivatives) in standard mathemati-
cal functions, so we have to go with the definite integral route.
Z 1 ln sin (πx) Z 2 ln sin πx
2 2
I = lim dx − dx
h→0 h x h x
78 CHAPTER 2. BASIC INTEGRATION
Z 1 Z 2 ln sin πx 1
ln sin (πx)
Z
2 ln 2
= lim dx − dx − dx
h→0
| h x x x
{z } |h {z } h
(1) (2*)
" Z #
h
ln (πx)
I = lim − dx + ln 2 ln h
h→0 h x
2
" Z #
h Z h
ln (x) ln π
= lim − dx − dx + ln 2 ln h
h→0 h x h x
2 2
(ln x)2
Z
ln x
dx =
x 2
Therefore,
"
2 # " #
1 h h
I = lim − (ln h)2 − ln − ln π ln h − ln + ln 2 ln h
h→0 2 2 2
2.3. THE U -SUBSTITUTION 79
" #
1 h h
= lim − ln h + ln ln h − ln + ln 2 ln h − ln π ln 2
h→0 2 2 2
1
= lim − (2 ln h − ln 2) (ln 2) + ln 2 ln h − ln π ln 2
h→0 2
The terms containing h will cancel out so we are only left with:
ln2 2
I= − ln 2 ln π
2
Oh well, that was a lot of work! To be confident in our result, we
can check with Mathematica. Unfortunately, Mathematica only
provides a numerical answer. However, we can check the difference
between our value above and Mathematica’s numerical approxima-
tion,
Z 1 Log[Cos[ π x ]]
In[12]:= N[ 2 dx]
0 x2 +x
Log[2]2
-( -Log[ π ] Log[2])
2
Out[12]= -8.881784197001252*10^-16
Solution√
Let u = 1 − x2 , du = − √1−x
x
2
dx. Our integral is then
Z 0 p
I=− ln 1 − u2 du
1
Z 1
1
= ln 1 − u2 du
2 0
i0
1 h i2 h
= u ln u − u − u ln u − u
2 1 1
Since limu→0 u ln u = 0,
1
2 ln 2 − 2
Z
x ln x
∴ √ dx = = ln 2 − 1 (2.6)
0 1 − x2 2
Z 1
xLog[x]
In[13]:= q dx
0 2
1-x
Out[13]= -1+Log[2]
Theorem
Integration by parts, also known as IBP, is one of the most
common integration techniques. It is derived from the prod-
uct rule,
(uv)0 = u0 v + v 0 u
And is its analogue in integration. The rule states that
Z Z
u dv = uv − v du (2.7)
Z b Z b
u dv = [uv]ba − v du
a a
(uv)0 = u0 v + v 0 u
3
TAYLOR, B. (1715). Methodus Incrementorum directa et inversa. Londini:
Apud Gul. Innys.
2.4. OTHER PROBLEMS 83
Z Z
0
(uv) = u0 v + v 0 u
Z Z
0
uv = uv+ v0u
Z Z
v 0 u = uv − u0 v
Z Z
u dv = uv − v du
Z b Z b
u dv = [uv]ba − v du
a a
Z ∞
Example 8: Find arcsin e−x dx
0
Solution
f (u) = g(x)
Z π
2
I= x cot x dx
0
π
ln 2 I=
2
See (2.2) for the evaluation of the integral. We can check Mathe-
matica to verify our solution,
Z ∞
In[14]:= ArcSin[e-x ]dx
0
1
Out[14]= π Log[2]
2
Z
Example 9: Find sin(2019x) sin2017 x dx
Solution
We will show that for any n,
Z
sin (n − 1)x + x sinn−2 x dx
In =
We obtain:
Z
In = sin (n − 1)x cos(x) sinn−2 x+sin x cos (n − 1)x sinn−2 x dx
86 CHAPTER 2. BASIC INTEGRATION
Z
sin (n − 1)x cos(x) sinn−2 x + cos (n − 1)x sinn−1 x dx
=
Z
1
In = sin (n − 1)x (n − 1) cos(x) sinn−2 x
n−1
+ (n − 1) cos (n − 1)x sinn−1 x dx
Notice that
0
sinn−1 x = (n − 1) cos(x) sinn−2 x
And 0
sin (n − 1)x = (n − 1) cos (n − 1)x
Therefore,
0
Z
1
sin (n − 1)x (sinn−1 x)0 + sin (n − 1)x sinn−1 x dx
In =
n−1
0
The integrand is simply sinn−1 x sin (n − 1)x by the product
rule. Therefore,
1
Z 0
sin (n − 1)x sinn−1 x dx
In =
n−1
sin (n − 1)x sinn−1 x
= +C
n−1
√
Figure 2.13: Graph of the y = sinn x + cosn x for n = 1000
n
sin(2018x) sin2018 x
I2019 = +C
2018
Mathematica gives
Z
In[15]:= Sin[2019 x] Sin[x]2017 dx
Sin[x]2018 Sin[2018 x]
Out[15]=
2018
π
√
Z
2
Example 10: Find lim sinn x + cosn x dx
n
n→∞ 0
88 CHAPTER 2. BASIC INTEGRATION
Solution
Let
√ √
sinn x + cosn x = lim
n
A = lim cos x n 1 + tann x
n→∞ n→∞
ln (1 + tann x)
=⇒ ln B = lim
n→∞ n
(
, x ∈ 0, π4
cos x
B cos x =
cos x tan x = sin x , x ∈ π4 , π2
Therefore,
π
√
Z
2
sinn x + cosn x dx
n
lim
n→∞ 0
Z π Z π
4 2
= cos x dx + sin x dx
π
0 4
π π
= [ sin x]04 − [ cos x] π2
4
2.4. OTHER PROBLEMS 89
√
= 2
For n = 1000, Mathematica gives ≈ 1.414.
Z ∞
1
Example 11: Find an expression for dx for n > 1.
0 1 + xn
Solution
We will express this integral as a double integral similar to what we
did in (2.5). In doing so we obtain:
Z ∞Z ∞
n
I= e−y(1+x ) dx dy
0 0
Z ∞
1
In[16]:= dx
0 1+xn
π
π Csc[ ]
Out[16]= ConditionalExpression[ n ,Re[n]>1]
n
∞
ln x2
Z
Example 12: Evaluate the integral dx where a is a
0 x2 + a2
constant.
Solution
a2 2
We begin by substituting x = u , dx = − ua2 du
∞
a2 (2 ln a − ln u)
Z
I(a) = 2
4
du
0 u2 ua2 + a2
∞
2 ln a − ln u
Z
=2 du
0 a2 + u2
Z ∞ Z ∞
du ln u
= 4 ln a 2 2
−2 du
0 a +u 0 a + u2
2
| {z }
I(a)
2.4. OTHER PROBLEMS 91
Therefore, Z ∞
du
2I(a) = 4 ln a
0 a2 + u2
The substitution u = a tan y , du = a sec2 y dy gives:
Z π Z π
2 a sec2 y 2 ln a 2
I(a) = 2 ln a 2 2
dy = dy
0 a tan y + 1 a 0
π ln a
=⇒ I(a) =
a
Here, Mathematica returns the same result.
Z ∞
Log[x2 ]
In[17]:= dx
0 x2 +a2
√
q
Z 6 4x2 +1
x2 −1
Example 13: Find dx
1 x
Solutionq
2 +1
Let u = 4xx2 −1
. Therefore,
4x2 + 1
u2 =
x2 − 1
4(x2 − 1) + 5
=
x2 − 1
5
=⇒ u2 − 4 = 2
x −1
1 x2 − 1
=
u2 − 4 5
92 CHAPTER 2. BASIC INTEGRATION
r
4x2 +1
x2 −1
Figure 2.15: Graph of y = x
5 u2 − 4
+ = x2
u2 − 4 u2 − 4
u2 + 1
x2 = (2.9)
u2 − 4
dx −10u u2 − 4
= 2 du ·
x (u − 4)2 2(u2 + 1)
2.4. OTHER PROBLEMS 93
−5u
= du
(u2 − 4)(u2 + 1)
Therefore,
∞
5u2
Z
I= √ du
5 (u2 − 4)(u2 + 1)
Z ∞
4 1
I=2−4
+ 2 √ du
5 u u +1
Z ∞ i∞
1 1 h
= √ − du + arctan u √
5 u−2 u+2 5
" # ∞
√
u−2 π
= ln + − arctan 5
u+2 √ 2
5
√ !
5−2 π √
= − ln √ + − arctan 5
5+2 2
Simplifying, √ π √
I = 2 ln 2 + 5 + − arctan 5
2
Let’s see what Mathematica gives,
s
√ 4x2 +1
6
x2 -1
Z
In[18]:= dx
1 x
1
Out[18]= 2 ArcSinh[2]+ArcTan[ √ ]
5
p
sinh−1 x = ln x2 + 1 + x
94 CHAPTER 2. BASIC INTEGRATION
And
π
arctan x = − arctan x−1
2
2x
Z 1 arcsin 1+x2
Example 14: Evaluate dx
0 1+ x2
2x
arcsin
Figure 2.16: Graph of y = 1+x2
1+x 2
Solution
π 2 tan u
Z
4 arcsin 1+tan2 u
I= · sec2 u du
0 1+ tan2 u
2.4. OTHER PROBLEMS 95
Z π
4 2 tan u
I= arcsin du
0 1 + tan2 u
2 tan u2 2 tan u
sin u = 2 u =⇒ sin 2u =
1 + tan 2 1 + tan2 u
Which gives
Z π
4
I= arcsin (sin 2u) du
0
π2
I= (2.11)
16
Mathematica also gives this value as well
2 x
Z 1 ArcSin[ ]
In[19]:=
1+x2 dx
0 1+x2
π2
Out[19]=
16
Theorem
Let f (x) be an even Riemann-integrable function on [−α, α]
and g(x) an odd Riemann-integrable function on [−α, α],
where α ∈ R. We then have:
Z α Z α
f (x)
g(x)
dx = f (x)dx (2.12)
−α 1 + b 0
For any b ∈ R+ .
Z α
f (−u)
I1 = du
0 1 + bg(−u)
Using the fact that f (u) is even and g(u) is odd, we have
Z α
f (u)
I1 = du
0 1 + b−g(u)
bg(u)
Multiplying by ,
bg(u)
α
f (u)bg(u)
Z
I1 = du
0 1 + bg(u)
Hence,
2.4. OTHER PROBLEMS 97
Z α
f (x)
g(x)
dx = I1 + I2
−α 1 + b
Z α Z α
f (u)bg(u) f (x)
= g(u)
du + g(x)
dx
0 1+b 0 1+b
Z α 1 + bg(u) f (u)
= du
0 1 + bg(u)
Z α
= f (u) du
0
Z α
= f (x) dx
0
π
sin2 x
Z
Example 15: Evaluate dx
−π 1 + ex3
Solution
Notice that we can use (2.12) since f (x) = sin2 x is an even func-
tion on [−π, π] and g(x) = x3 is an odd function on [−π, π]. We
then have:
π
sin2 x
Z
I= dx
−π 1 + ex3
Z π
= sin2 xdx
0
1h iπ
= x − sin x cos x
2 0
π
=
2
98 CHAPTER 2. BASIC INTEGRATION
sin2 x
Figure 2.17: Graph of y =
1+ex3
Z π
Sin[x]2
In[20]:= dx
π 1+ex3
-π
π
Out[20]=
2
In the first two chapters we saw how our elementary calculus tools
can solve a plethora of problems through creative application of
these tools. In nonstandard mathematical problems such as the
ones presented in this book, expanding one’s mathematical toolkit
2.5. EXERCISE PROBLEMS 99
Z 1
ln(1 + x)
2) Evaluate dx
0 1 + x2
Z π √
2 tan x
3) Find dx
0 sin x(sin x + cos x)
√
Z 3
dx
4) Find 3/2
1 1 + x2
π √
Z
5) Evaluate 1 − sin x dx
0
Z π/2
dx
6) Evaluate (Hint: 2019 is a distractor)
0 1 + tan2019 x
Z ∞
ln x
7) Find dx (Hint: Let u = x4 )
0 x2 + 2x + 4
100 CHAPTER 2. BASIC INTEGRATION
2π
3 − cos x
Z
8) Find dx (Hint: Use the substitution u = tan x2 . See
0 3 + cos x
(2.11))
1
x4 (1 − x)4
Z
9) Show that 22
7 > π using the integral dx (Source:
0 1 + x2
1968 Putnam competition)
Z π
4
10) Define I(a) = ex tana x dx. Find lim aI(a)
0 a→∞
Chapter 3
Feynman’s Trick
101
102 CHAPTER 3. FEYNMAN’S TRICK
3.1 Introduction
The last sentence perhaps best summarizes not only the purpose of
this chapter but the entire book as well. Often in engineering and
the mathematical sciences, peculiar and nonstandard integrals arise.
And unfortunately, few resources are available for solving such inte-
grals! The goal of this book is to provide the reader with a plethora
of techniques and methods to go about such problems. So, with
3.2. DIRECT APPROACH 103
Theorem
Now, what does this look like? Let us take a look at a well-known
example.
∞
sin2 x
Z
Example 1: Find the value of dx
1 0 x2
Hijab, O. Introduction to Calculus and Classical Analysis. New York:
Springer-Verlag, p. 189, 1997.
104 CHAPTER 3. FEYNMAN’S TRICK
sin2 x
Figure 3.1: Graph of y = x2
Solution
dx
We first use IBP with u = sin2 x and dv = .
x2
" #∞ Z
∞ ∞
sin2 x sin2 x
Z
2 sin x cos x
I= dx = − + dx
0 x2 x 0 x
0
Z ∞
sin 2x
=0+ dx
0 x
Substituting 2x → x,
Z ∞
sin x
I= dx
0 x
form
∞
e−αx sin x
Z
f (α) = dx
0 x
Z ∞
0
f (α) = − e−αx sin x dx
0
1
=−
1 + α2
Where we used IBP to get our last result. We can now integrate to
get an expression for f (α),
Z
1
f (α) = − dα = − arctan α + C
1 + α2
We know that
π
lim f (α) = 0 =⇒ C =
α→∞ 2
Hence
π
f (α) = − arctan α
2
Plugging in our desired value,
π
f (0) =
2
x3 +1
x ln
x3
Figure 3.2: Graph of y = 1+x3
Solution
Let
x3 +α
Z ∞ x ln x3
f (α) = dx
0 1 + x3
Z ∞ x ln x3 + α − ln x3
= dx
0 1 + x3
Differentiating under the integral sign,
Z ∞
0 x
f (α) = dx
0 x3 + α (1 + x3 )
du
The substitution u = x3 , dx = 2 gives
3u 3
3.2. DIRECT APPROACH 107
Z ∞
1 du
f 0 (α) = 1
3 0 u (α + u)(1 + u)
3
Z ∞
du 2π
1 = 1√
0 u (u + α)
3 α3 3
The proof is left as an exercise to the reader (Hint: Make the sub-
1
stitution y = u 3 and then use the method of partial fractions).
Plugging in that result into (3.1) gives:
" #
0 1 2π 2π
f (α) = √ − 1√
3α − 3 3 α3 3
Simplifying algebraically,
!
2π 1
f 0 (α) = √ 1 2 (3.2)
3 3 α3 + α3 + α
Z 1
f (1) = f 0 (α) dα
0
Z 1
2π dα
= √ 1 2
3 3 0 α + α3 + α
3
108 CHAPTER 3. FEYNMAN’S TRICK
Z 1
2π dα
= √ 1
2 1
3 3 0 α 3 α + α3 + 1
3
1
The substitution u = α 3 , dα = 3u2 du yields:
Z 1
2π u
f (1) = √ du
3 0 u2 +u+1
"Z #
1 Z 1
2π 2u + 1 du
=√ 2
du − 2
3 0 2(u + u + 1) 0 2(u + u + 1)
" √ #
2π ln 3 π 3
f (1) = √ −
3 2 18
√
π 3 ln 3 π 2
= −
3 9
Z π
2 ln (1 + α sin x)
Example 3: Evaluate dx for |α| < 1.
− π2 sin x
Solution
Define Z π
2 ln (1 + α sin x)
f (α) = dx
− π2 sin x
We then have
3.2. DIRECT APPROACH 109
Z π
2 1
f 0 (α) = dx
− π2 1 + α sin x
2u
sin(x) =
1 + u2
Thus,
Z 1
2
f 0 (α) = du
−1 u2 + 2αu + 1
Z 1
du
=2 √
−1 ( 1 − α2 )2 + (u + α)2
110 CHAPTER 3. FEYNMAN’S TRICK
Therefore,
Z 1
0 du
f (α) = 2 √
2 2 2
−1 ( 1 − α ) + (u + α)
" #1
2 u+α
= √ arctan √
1 − α2 1 − α2 −1
π
f 0 (α) = √
1 − α2
Thus,
Z
f (α) = f 0 (α) dα
Z
π
= √ dα
1 − α2
= π arcsin α + C
Notice that
Z π
2 ln 1
f (0) = dx = 0
− π2 sin x
=⇒ C = 0
Therefore,
3.2. DIRECT APPROACH 111
Z π
2 ln (1 + α sin x)
f (α) = dx = π arcsin α
− π2 sin x
Z ∞
ln(ln x)
Example 4: Find dx for α > 1.
1 xα
ln(ln x)
Figure 3.4: Graph of y = xα for α = 2
Solution
Let Z ∞
ln(ln x)
f (α) = dx
1 xα+1
112 CHAPTER 3. FEYNMAN’S TRICK
Substituting y = ln x, dy = x ,
dx
Z ∞
ln y
f (α) = dy
0 eαy
We used α + 1 instead of α to make the aforementioned substitution
much cleaner. This is one of many examples where the parame-
ter choice is not immediately obvious, and some vision is required.
Now, we can differentiate under the integral sign to get
Z ∞
0
f (α) = − ye−αy ln y dy
0
" #∞
∞
y ln ye−αy
Z
0 1
f (α) = − e−αy ln y + e−αy dy
α α 0
0
" #∞ " #
y ln ye−αy
y ln y ln y
B= = lim − lim eαy α
α y→∞ eαy α y→0
y
0
This is an ∞
∞ case in both limits, so we can apply L’Hopital’s rule:
1
ln y + 1 y
B = lim − lim α2 yeαy −αeαy
y→∞ α2 eαy y→0
y2
ln y + 1 y
= lim − lim 2 αy
y→∞ α2 eαy y→0 α ye − αeαy
The latter limit can be easily evaluated to equal 0, but the first
limit needs one more round of L’Hopital’s rule as it is still a ∞
∞ sit-
3.2. DIRECT APPROACH 113
uation:
1
y
B = lim
y→∞ α3 eαy
1
= lim
y→∞ α3 yeαy
=0
Therefore,
1 ∞ −αy
Z
0
f (α) = 0 − e ln y + e−αy dy
α 0
Z ∞ Z ∞
1 −αy −αy
=− e ln y dy + e dy
α 0 0
The first integral is simply f (α) and the latter integral is a stan-
dard integral. We then get the differential equation
f (α) 1
f 0 (α) = − − 2
α α
d 1
αf (α) = −
dα α
αf (α) = − ln α + C
ln α + C
f (α) = −
α
114 CHAPTER 3. FEYNMAN’S TRICK
Since Z ∞
f (α) = e−αy ln y dy
0
A standard value would be f (1) = −γ. Thus,
ln α + γ
f (α) = −
α
∞
ln(α − 1) + γ
Z
ln(ln x)
∴ α
dx = f (α − 1) = −
1 x α−1
Z ∞
2
Example 5: Evaluate e−x cos(5x) dx
0
2
Figure 3.5: Graph of y = e−x cos(5x)
Solution
3.2. DIRECT APPROACH 115
Define a function:
Z ∞
2
f (α) = e−x cos(αx) dx
0
Z ∞
0 2
f (α) = − xe−x sin(αx) dx
0
2
We can now use IBP with u = sin(αx), dv = xe−x dx to obtain:
i∞ α Z ∞
1 h −x2 2
f 0 (α) = e sin(αx) − e−x cos(αx) dx
|2 {z 0
} 2 |0 {z }
=0−0=0 f (α)
α
f 0 (α) = − f (α)
2
df α
=− f
dα 2
dα
Multiplying both sides by ,
f
df α
= − dα
f 2
Z Z
df α
=− dα
f 2
116 CHAPTER 3. FEYNMAN’S TRICK
α2
∴ ln f = − +C
4
Exponentiating both sides,
α2
f (α) = eC e− 4
Z ∞ Z ∞ √
1 −x2 −x2 π
e dx = e dx =
2 −∞ 0 2
See (9.9) for proof. This integral is core to many disciplines due to
its applications in statistics.
√
π − α2
=⇒ f (α) = e 4
2
√
π − 52
f (5) = e 4
2
Z ∞ √
−x2 π − 25
∴ e cos(5x) dx = e 4
0 2
π
arctan 4 sin(2x)
Z
4
Example 6: Find dx
0 sin(2x)
Solution
arctan(4 sin(2x))
Figure 3.6: Graph of the y = sin(2x)
Z π
1 2 arctan(4 sin u)
I= du
2 0 sin u
Z π
2 arctan(α sin u)
f (α) = du
0 sin u
Z π
2 1
f 0 (α) = du
0 1 + α2 sin2 u
sec2 u
We can multiply by to get:
sec2 u
118 CHAPTER 3. FEYNMAN’S TRICK
π
sec2 u
Z
2
0
f (α) = du
0 sec2 u + α2 tan2 u
π
sec2 u
Z
2
0
f (α) = du
0 tan2 u + 1 + α2 tan2 u
π
sec2 u
Z
2
= du
0 α2 + 1 tan2 u + 1
Z π
1 2 sec2 u
= 2 du
α + 1 0 tan2 u + α21+1
Z ∞
0 1 dy
f (α) = 2
α +1 0 y2 + α21+1
π
f 0 (α) = √
2 α2 + 1
Z Z
0 π
f (α) dα = √ dα
2 α2 + 1
π
= sinh−1 α + C
2
π p
= ln α + α2 + 1 + C
2
3.2. DIRECT APPROACH 119
π p
f (α) = ln α + α2 + 1
2
1 π √
∴ I = f (4) = ln 4 + 17
2 4
Z ∞Z ∞
sin x sin y sin(x + y)
Example 7: Evaluate dx dy
0 0 xy(x + y)
Solution
Recall that
120 CHAPTER 3. FEYNMAN’S TRICK
Thus,
Z ∞Z ∞
(sin x cos y + cos x sin y) sin x sin y
I= dx dy
0 0 xy(x + y)
By symmetry,
∞Z ∞
sin2 x cos y sin y
Z
I=2 dx dy
0 0 xy(x + y)
3.2. DIRECT APPROACH 121
∞Z ∞
sin2 x sin 2y
Z
I= dx dy
0 0 xy(x + y)
∞Z ∞Z ∞
sin2 x sin 2y −z(x+y)
Z
I= e dz dx dy
0 0 0 xy
Since Z ∞
1
e−ax dx =
0 a
We will now introduce an elementary theorem.
Theorem
Let f (x) and g(y) be integrable functions. Then the follow-
ing equality holds:
Z bZ ! Z !
d Z b d
f (x)g(y)dy dx = f (x) dx g(y) dy
a c a c
Z b Z b
kf (x) dx = k f (x) dx
a a
Also,
Z bZ !
d Z b Z d
f (x)g(y)dy dx = f (x)g(y)dy dx
a c a c
122 CHAPTER 3. FEYNMAN’S TRICK
!
Z b Z d
f (x) g(y)dy dx
a c
Rd
Now, since c g(y)dy is a constant, we can write
Z d ! Z b !
= g(y)dy · f (x)dx
c a
Using this theorem, we can split the integral above so that we have
a product of integrals:
! Z
∞ ∞ ∞
sin2 x −zx
Z Z
sin 2y −yz
I= e dx e dy dz
0 0 x 0 y
∞
sin2 x −zx
Z
f1 (z) = e dx
0 x
Z ∞
sin 2y −yz
f2 (z) = e dy
0 y
z 1
f10 (z) = −
2z 2 + 8 2z
Thus,
Z Z
1 z 1
f1 (z) = f10 (z) dz = 2
− dz
2 z +4 z
1 1 2
= ln z + 4 − ln z + C
2 2
Z ∞
f20 (z) =− sin(2y)e−yz dy
0
2
f20 (z) = −
z2 +4
Z
2 z
=⇒ f2 (z) = − 2
dz = − arctan +C
z +4 2
π
C=
2
π z
∴ f2 (z) = − arctan
2 2
Since
1 π
arctan + arctan (x) =
x 2
We have that
2
f2 (z) = arctan
z
! Z
∞ ∞ ∞
sin2 x −zx
Z Z
sin 2y −yz
I= e dx e dy dz
0 0 x 0 y
1 ∞
Z
4 2
= ln 1 + 2 arctan dz
4 0 z z
Z π
2
I= t csc2 (t) ln(sec t) dt
0
Z π Z π
2 2
= t dt + ln(sec t) cot t dt
0 0
π
π2
Z
2 ln(sec t)
= + tan t dt
8 0 sec2 t − 1
3.2. DIRECT APPROACH 125
du
Substituting eu = sec t, dt = we have:
tan t
∞
π2
Z
u
I= + du
8 0 e2u −1
By the substitution 2u → u, the integral is transformed to:
π2 1 ∞ u
Z
I= + du
8 4 0 eu − 1
∞
xs−1
Z
1
ζ(s) = dx
Γ(s) 0 ex − 1
Therefore,
π2 1
I= + ζ(2)
8 4
π2
Plugging in ζ(2) = 6 ,
π2 π2
I= +
8 24
π 2
=
6
Z ∞
arctan(3x) arctan(2x)
Example 8: Evaluate dx
0 x2
Solution
Define a function:
126 CHAPTER 3. FEYNMAN’S TRICK
arctan(3x) arctan(2x)
Figure 3.9: Graph of y = x2
Z ∞
arctan(αx) arctan(βx)
f (α, β) = dx
0 x2
Z ∞
∂ arctan(βx)
f (α, β) = dx
∂α 0 x(1 + α2 x2 )
And,
∞
∂2
Z
1
f (α, β) = 2 x2 )(1 + β 2 x2 )
dx
∂α∂β 0 (1 + α
π
=
2(α + β)
3.2. DIRECT APPROACH 127
∂2
Z
∂
f (α, β) = f (α, β)dβ
∂α ∂α∂β
Z
π
= dβ
2(α + β)
π
= ln(α + β) + C(α)
2
π
C = − ln α
2
∂ π
=⇒ f (α, β) = ln(α + β) − ln α
∂α 2
∂ π
f (α, β) = ln(α + β) − ln β
∂β 2
Z
∂
f (α, β) = f (α, β) dα
∂α
Z
π
= ln(α + β) − ln α dα
2
π
= α ln(α + β) + β ln(α + β) − α ln α + C(β)
2
128 CHAPTER 3. FEYNMAN’S TRICK
Z
∂
f (α, β) = f (α, β)dβ
∂β
Z
π
= ln(α + β) − ln β dβ
2
π
= α ln(α + β) + β ln(α + β) − β ln β + C(α)
2
Therefore,
π
f (α, β) = α ln(α + β) + β ln(α + β) − β ln β − α ln α
2
!
π (α + β)α+β
f (α, β) = ln
2 αα β β
gral sign is that it can go both ways, i.e. one can integrate a deriva-
tive of an expression to obtain a result, or one can take the deriva-
tive of a known integral to obtain a result. We can start off with an
easy example:
∞
xα ln x
Z
Example 9: dx
0 (1 + xα )2
xα ln x
Figure 3.10: Graph of y = (1+xα )2
for α = 2
Solution
Define
Z ∞
dx
f (α) =
0 1 + xα
∞
xα ln x
Z
f 0 (α) = − dx
0 (1 + xα )2
Notice that our desired integral is −f 0 (α). We can now use the re-
sult from (2.8),
π π
f (α) = csc (3.3)
α α
Therefore,
π π π
π 2 csc
0 π csc α α cot α
I = −f (α) = −
α2 α3
π
Z
2 √
Example 10: Evaluate sin x cos x tan x ln(tan x) dx
0
Solution
√ sec2 x
A straightforward substitution would be u = tan x, du = 2√ tan x
dx,
but our integral needs some rearranging first. Notice that we can
rearrange our desired integral as:
√
Z π
2 4 sec2 x tan2 x ln tan x
I= √ dx
0 2 sec4 x tan x
√
Therefore the substitution u = tan x yields:
∞
u4 ln u
Z
I=4 du
0 (u4 + 1)2
3.4. EXERCISE PROBLEMS 131
√
Figure 3.11: Graph of y = sin x cos x tan x ln(tan x)
! !
π π π π
I=4 csc 1 − cot
42 4 4 4
√
π 2(4 − π)
=
16
Z π/2
3) Find ln α cos2 x + β sin2 x dx for α, β > 0
0
π
cos2 x
Z
dx
−π 1 + ax
For a > 0.
Z 2π
5) Evaluate ecos x cos(sin x) dx
0
∞ ∞ 2 2
√ e−α (1+x )
Z Z
2
6) Prove that e−x dx = π (Hint: Let f (α) = dx)
−∞ 0 1 + x2
Z π/2
x
7) Find dx
0 tan x
Z ∞
cos x
8) Find dx (Hint: Use the indirect method)
0 1 + x2
Z π/2
dx
9) Evaluate 2 for α, β > 0.
0 α cos2 x + β sin2 x
Theorem
Let a, b > 0 and let f be continuously differentiable on
[0, ∞). Suppose that
lim f (x)
x→∞
135
136 CHAPTER 4. SUMS OF SIMPLE SERIES
4.1 Introduction
Definition
Summation is the addition of a sequence of numbers, called
addends or summands. The result is their sum or total. A
series is similar to a sum, but is often used to refer to sum-
mations of infinite sequences.
The teacher could not understand how his student had calculated
the sum so quickly, but the eight-year old Gauss pointed out that
the problem was way simpler than the teacher imagined!
100
X
Example 1: Evaluate S = n
n=1
Solution
1
Waltershausen, W. S. von, Gauß, C. F. (1994). Gauss zum Gedächtnis.
Vaduz: Sändig Reprint Verlag.
4.2. ARITHMETIC AND GEOMETRIC SERIES 137
Many reading this book are familiar with the formula to solve such
a problem and perhaps the background of the aforementioned story
as well. We begin by expanding S,
S = 1 + 2 + 3 + 4 · · · + 96 + 97 + 98 + 99 + 100
Gauss started by recognizing that one can pair the 1st and the
100th term, the 2nd and the 99th term, and so on to make a sum
of 101.
100
S = 101 = 5050
2
10
X
Example 2: Evaluate 2n
n=0
Solution
10
X
S= 2n = 1 + 2 + 4 + · · · + 210
n=0
138 CHAPTER 4. SUMS OF SIMPLE SERIES
2S = 2 + 4 + 8 + · · · 211
Subtracting 2S from S,
−S = 1 − 211
S = 211 − 1
k
X
Example 3: Evaluate rn for r 6= 1 and finite k.
n=0
Solution
We can apply the same logic from our last example. Consider
k
X
S= rn = 1 + r + r2 + · · · + rk (4.1)
n=0
rS = r + r2 + · · · + rk+1 (4.2)
S − rS = 1 − rk+1
(1 − r)S = 1 − rk+1
4.2. ARITHMETIC AND GEOMETRIC SERIES 139
Therefore,
k
X 1 − rk+1
rn = (4.3)
1−r
n=0
∞
X
Example 4: Evaluate rn for |r| < 1.
n=0
Solution
By definition,
∞
X k
X
rn = lim rn
k→∞
n=0 n=0
∞
X 1 − rk+1
rn = lim
k→∞ 1 − r
n=0
∞
X 1
rn =
1−r
n=0
N
X N (N + 1)(2N + 1)
n2 =
6
n=1
140 CHAPTER 4. SUMS OF SIMPLE SERIES
Also,
2
N
X N
X
n3 = n
n=1 n=1
N 2 (N + 1)2
=
4
Theorem
In general,
N α
X
α 1 X α+1
n = Bn N α+1−n
α+1 n
n=1 n=0
Definition
The Bernoulli numbers, usually denoted as Bn , are a se-
quence of real numbers that satisfy the generating function
∞
X Bn xn
x
= (4.4)
ex − 1 n!
n=0
2π 2n B2n
ζ(2n) = (−1)n−1
2(2n)!
We now have formulas for both geometric and arithmetic series, but
what about series that are both? For example, the series
N
X
n · 4n
n=1
Theorem
N
X
SN = an = a+[a+b]r +[a+2b]r2 +· · ·+[a+(N −1)b]rN −1
n=1
(4.5)
As the N th partial sum. We can then express SN as:
br(1 − rN −1 ) a − [a + (N − 1)b]rN
SN = + (4.6)
(1 − r)2 1−r
N
X
rSN = r an = ar+[a+b]r2 +[a+2b]r3 +· · ·+[a+(N −1)b]rN (4.7)
n=1
br(1 − rN −1 ) a − [a + (N − 1)b]rN
∴ SN = +
(1 − r)2 1−r
4.3. ARITHMETIC-GEOMETRIC SERIES 143
Solution
Consider
1 2 3
S= + + + ··· (4.8)
3 9 27
Multiplying S by 1
3 gives
144 CHAPTER 4. SUMS OF SIMPLE SERIES
S 1 2 3
= + + + ··· (4.9)
3 9 27 81
1 2 3 4
S= + + + + ···
3 9 27 81
S 1 2 3
= 0+ + + + ···
− 3 9 27 81
2 1 1 1 1
S= + + + + +···
3 3 9 27 81
∞ 1
2 X 1
3 1
S= = 1 =
3 3n 1− 3
2
n=1
3
∴S=
4
Notice that we can also use (4.6) to obtain a general form. We have
the following theorem:
Theorem
∞
X br a
[a + (n − 1)b]rn−1 = 2
+ (4.10)
(1 − r) 1−r
n=1
Diverges.
4.3. ARITHMETIC-GEOMETRIC SERIES 145
lim [a + (n − 1)b]rn−1 = ∞
n→∞
Therefore, the sum of the terms of this sequence does not converge.
However, for |r|< 1, the series converges by the ratio test, which
will be discussed in the next chapter.
br(1 − rN −1 ) a − [a + (N − 1)b]rN
S = lim SN = lim +
N →∞ N →∞ (1 − r)2 1−r
rN → 0 as N → ∞ because we are only considering |r|< 1. Also,
lim [a + (N − 1)b]rN = 0
N →∞
br a
S= +
(1 − r)2 1 − r
Now, what about any series that is the product of multiple se-
quences? Is there a general formula? Unfortunately, there is no
146 CHAPTER 4. SUMS OF SIMPLE SERIES
"general" formula for any series. If that were to exist, many math-
ematicians would lose their job! However, we can get something
almost as good: summation by parts.
By this point of this book, the reader should be familiar with inte-
gration by parts, which is proved in Chapter two.
Theorem
Let {an }∞
n=1 and {bn }n=1 be two sequences. Also, denote
∞
N
X
SN = an
n=1
P∞
As the N th partial sum of the series n=1 an . We then have:
N
X N
X −1
an bn = SN bN − Sk−1 bk − Sn (bn+1 − bn ) (4.11)
n=k n=k
Proof. Define
N
X
SkN = an bn
n=k
Hence,
N
X N
X
SkN = an bn = (Sn − Sn−1 ) bn
n=k n=k
N
X N
X
= Sn bn − Sn−1 bn
n=k n=k
Notice that combining the expressions from the second and third
line in (4.12) gives
N
X −1
= [SN bN − Sk−1 bk ] + Sn (bn − bn+1 )
n=k
148 CHAPTER 4. SUMS OF SIMPLE SERIES
N
X −1
= [SN bN − Sk−1 bk ] − Sn (bn+1 − bn )
n=k
Hence proved.
N
X
Example 6: Evaluate n · 2n
n=1
Solution
N
X N
X −1
an bn = SN bN − Sk−1 bk − Sn (bn+1 − bn )
n=k n=k
Where
N
X
SN = an
n=1
4.4. SUMMATION BY PARTS 149
N
X
SN = 2n = 2(2N − 1)
n=1
And S0 = 0. Thus,
N N −1
*0
X X
n N
SN = S0
n · 2 = N · 2(2 − 1) − b
1 − 2(2n − 1) · (n + 1 − n)
n=1 n=1
N
X −1
= 2N (2N − 1) − 2(2n − 1)
n=1
N
X −1 N
X −1
= 2N (2N − 1) − 2 (2n ) − 1
n=1 n=1
h i
= 2N (2N − 1) − 2 (2N − 2) − N + 1
= N · 2N +1 − 2N − 2N +1 + 4 + 2N − 2
= 2N +1 (N − 1) + 2
Solution
Definition
Let X be a random variable, or a variable whose value de-
pends on the outcome of a random phenomenon, with a fi-
nite number of possible values x1 , x2 , · · · , xN with probabil-
ities p1 , p2 , · · · , pN , respectively. The expected value of X is
defined as:
N
X
E[X] = xn p n
n=1
The
P∞ stipulation for the absolute convergence of the series
n=1 xn pn is extremely important because of the Riemann
rearrangement theorem (See (5.2)). There is much more to
the notion of expected value, but this basic introduction will
suffice for our purposes.
The probability of the first roll yielding the number 6 is 16 , but the
probability of the second roll yielding the number 6 is 65 · 16 , as there
is only a 56 chance that the second roll will happen. This is because
for the second roll to happen, the first roll must not yield a 6. We
can continue this pattern such that for the N th roll,
N −1
1 5
pN = ·
6 6
4.4. SUMMATION BY PARTS 151
1 2
1 1 5 1 5
E[X] = 1 · + 2 · · +3· · + ···
6 6 6 6 6
∞ n−1
1X 5
= n
6 6
n=1
∞
X br a
[a + (n − 1)b]rn−1 = 2
+
(1 − r) 1−r
n=1
∞ n−1
1X 5
E[X] = n
6 6
n=1
1
= (30 + 6)
6
=6
This means that the expected number of rolls till one obtains a 6 is
six. This is intuitive as rolling the dice a large number of times, say
600 times, will yield about 600 6 = 100 6’s. Since the "gaps" between
the occurrences of the number 6 sum up to 600 and there are about
100 6’s, the average "gap" is 6 rolls.
152 CHAPTER 4. SUMS OF SIMPLE SERIES
Definition
A telescoping series is a series whose partial sums only have
a fixed number of terms after cancellationa . This method of
cancelling terms in partial sums is known as the method of
differences. For infinite series, one must take the limit of the
partial sums.
More formally, let {an }∞n=1 be a sequence of real numbers,
then
N
X
an − an−1 = aN − a0
n=1
Solution
1 1 1
= −
n(n + 1) n n+1
We therefore have:
4.5. TELESCOPING SERIES 153
∞ ∞
X 1 X 1 1
S= = −
n(n + 1) n n+1
n=1 n=1
1 1 1 1 1 1 1 1
SN = − + − + − + ··· + −
1 2 2 3 3 4 N N +1
1
SN = 1 −
N +1
S = lim SN = 1
N →∞
154 CHAPTER 4. SUMS OF SIMPLE SERIES
Figure 4.5: Plot of the partial sums. Notice that the series con-
verges very fast
Solution
Fn
Consider multiplying the summand by ,
Fn
∞
X Fn
S=
Fn−1 Fn Fn+1
n=1
∞
X Fn+1 − Fn−1
S=
Fn−1 Fn Fn+1
n=1
4.5. TELESCOPING SERIES 155
∞
X 1 1
S= −
Fn Fn−1 Fn Fn+1
n=1
1 1 1
= − =1−
F0 F1 FN FN +1 FN FN +1
S = lim SN = 1
N →∞
1 1 1
SN = + 2 + ··· +
42 −4 6 −4 (2N )2 − 4
Solution
N
X 1
SN =
(2n)2 − 4
n=2
N
X 1
=
(2n − 2)(2n + 2)
n=2
N
X 1 1 1
= −
4 2n − 2 2n + 2
n=2
N
1X 1 1
= −
8 n−1 n+1
n=2
4.5. TELESCOPING SERIES 157
"
1 1 1 1 1 1 1 1 1
= − + − + − + − + ···
8 1 3 2 4 3 5 4 6
1 1
+ −
N −1 N +1
1 3 1 1
SN = − −
8 2 N N +1
1 3 2N + 1
= −
8 2 N (N + 1)
1 3 21 9
=⇒ S10 = − = ≈ 0.164
8 2 10 · 11 55
And,
1 3 3
lim SN = · = = .1875
N →∞ 8 2 16
∞
X
an − an−1
n=1
∞
X
an − an−2
n=1
158 CHAPTER 4. SUMS OF SIMPLE SERIES
Since n+1
1
and n−1
1
are two terms apart. In general, for any con-
stant k ∈ N , the series
+
∞
X
an − an−k
n=1
Telescopes.
N
X
Example 11: Find n · n!
n=1
Solution
Notice that:
(n + 1)! = n! (n + 1) = n · n! +n!
=⇒ n · n! = (n + 1)! −n!
Hence,
N
X N
X
S= n · n! = (n + 1)! −n!
n=1 n=1
= (2! −1! ) + (3! −2! ) + (4! −3! ) + · · · + (N + 1)! −N !
∴ S = (N + 1)! −1
4.6. TRIGONOMETRIC SERIES 159
Solution
3
This problem was proposed by Anglesio in 1993: J. Anglesio, Elementary
problem 10292, Amer. Math. Monthly 100, (1993), 291. It also appears in J.
W. L. Glaisher, A theorem in trigonometry, Quart. J. Math. 15, (1878), and im
S. L. Loney, Plane Trigonometry, Part II, Cambridge University Press, Cam-
bridge, 1893.
160 CHAPTER 4. SUMS OF SIMPLE SERIES
tan x ± tan y
tan(x ± y) =
1 ∓ tan x tan y
x±y
tan(arctan x ± arctan y) =
1 ∓ xy
Taking the arctangent of both sides,
x±y
arctan x ± arctan y = arctan mod π (4.14)
1 ∓ xy
Letting x = n + 1, y = n − 1 gives:
2
arctan(n + 1) − arctan(n − 1) = arctan
n2
Hence,
∞
X 2
S= arctan
n2
n=1
∞
X
= arctan(n + 1) − arctan(n − 1)
n=1
N
X
SN = arctan(n + 1) − arctan(n − 1)
n=1
And,
S = lim SN
N →∞
h i
= lim − arctan(0) − arctan(1) + arctan(N ) + arctan(N + 1)
N →∞
π
=− + 2 lim [arctan N ]
4 N →∞
π
=π−
4
3π
=
4
Challenge Problem
Prove
∞
! πx
tanh
√
X x2 π 2
arctan = − arctan
n2 4
πx
n=1 tan √ 2
√
Note that the case x = 2 gives:
∞
X 2 π tanh (π)
arctan = − arctan
n2 4 tan (π)
n=1
π π 3π
= + =
4 2 4
∞
X 1
Example 13: Evaluate arctan
n2 + n + 1
n=0
Solution
162 CHAPTER 4. SUMS OF SIMPLE SERIES
1 1
−
1 1
arctan − arctan = arctan n n+1 1
mod π
n n+1 1 + n(n+1)
1
= arctan
1
n(n + 1) 1 + n(n+1)
1
= arctan 2
n +n+1
Thus,
∞
X 1
S= arctan
n2 + n + 1
n=0
4.7. EXERCISE PROBLEMS 163
∞
X 1
= arctan(1) + arctan 2
n +n+1
n=1
∞ !
π X 1 1
= + arctan − arctan
4 n n+1
n=1
" #
π 1
= + lim arctan(1) − arctan
4 N →∞ N +1
π
=
2
In this chapter, we saw how powerful our algebraic tools are in se-
ries. We also got a glimpse into how powerful calculus can be in
the evaluation of series through our extensive use of the limit. In
the next chapters, we will use the tools we built here to tackle more
complex problems.
n(a1 + an )
a1 + a2 + · · · + an =
2
∞
X 1
2) Evaluate
n(n + 2)(n + 4)
n=1
2019
X 1 + 2 + 3 + ··· + n
3) Find the value of
13 + 23 + 33 + · · · + 20193
n=1
164 CHAPTER 4. SUMS OF SIMPLE SERIES
k
X
4) Find the value of n! (n2 + n + 1)
n=1
5) Prove that
k
X 1 1
cos n < −
2 sin 1/2 2
n=1
Using telescoping series (Hint: Multiply the sum by 2 sin 1/2 and
∞
X sin3 (3n )
6) Find the value of (Hint: Use the identity sin 3x =
3n
n=0
3 sin x − 4 sin3 x).
2019
X n
7) Evaluate ln (Hint: Factor and use the prop-
n2 + 3n + 2
n=1
erties of logarithms to your advantage).
Part II
165
Chapter 5
Prerequisites
167
168 CHAPTER 5. PREREQUISITES
5.1 Introduction
∞
X 1
rn = (5.1)
1−r
n=0
∞
X 1
2n = 1 + 2 + 4 + 8 + · · · = = −1
1−2
n=0
This is obviously not true as the series on the LHS is blatantly di-
vergent! The error arises in the fact that (5.1) only holds true for
|r|< 1, as geometric series only converge for |r|< 1. But, how do we
define convergence? More specifically, how do we say that a partic-
ular series converges to a value S? To invoke rigor into this, we will
introduce the following definition:
Definition
A series S = ∞ k=1 ak is said to be convergent if the sequence
P
of its partial sums approaches a limit. Equivalently, the se-
ries S converges if there exists a number L such that for any
arbitrarily small ε there exists some number N such that for
all n ≥ N ,
|Sn − L| < ε
If L exists, it must be unique, and is the sum of the series.
n
X
Sn = ak
k=1
Definition
A series ∞ n=0 an is said to be conditionally convergent if:
P
N
X
lim an = L
N →∞
n=0
P∞
For some finite L but the series n=0 |an | diverges.
∞
X (−1)n ln n (ln 2)2
= γ ln 2 −
n 2
n=1
∞
X (−1)n
= − ln 2
n
n=1
Many students new to the topic of series find the divergence of this
series counterintuitive. This highlights
P the huge misconception that
if limn→∞ an = 0 then the series ∞ n=1 an converges. This is not
true at all! In fact, many well-known divergent series have this
property.
H1 = 1
1 1
H2 = 1 + = 1 + 1
2 2
1 1 1 1 1 1
H4 = 1 + + + > 1+ + +
2 3 4 2 4 4
1
=1+2
2
..
.
We can easily deduce that H2k ≥ 1 + k 1
2 . Since the subsequence
1
Oresme, Nicole (c. 1360). Quaestiones super Geometriam Euclidis [Ques-
tions concerning Euclid’s Geometry].
5.1. INTRODUCTION 171
Theorem
The Riemann series theorem, sometimes also called the Rie-
mann rearrangement theorem, states that if an infinite series
of real numbers is conditionally convergent, then its terms
can be arranged such that the rearranged series converges to
an arbitrary real number and can even diverge.
∞
X
ap(n) = L (5.2)
n=1
∞
X (−1)n−1
S=
n
n=1
1 1 1
=1− + − + · · · = − ln 2 (5.3)
2 3 4
172 CHAPTER 5. PREREQUISITES
The value ln 2 comes from the Taylor series of ln(1 + x). Consider
rearranging the series as:
1 1 1 1 1
Srearranged = 1− − + − − + ···
2 4 3 6 8
Equivalently,
1 1 1
Srearranged = − −
2k − 1 2(2k − 1) 4k
1 1 1
Srearranged = − + + · · ·
2 4 6
1 1 1
= 1 − + + ···
2 2 3
∞
1 X (−1)n−1
=
2 n
n=1
ln 2
=
2
P∞
Pn=1 an converges. On Pthe other hand, if an ≥ bn for all n and
∞ ∞
n=1 bn diverges, then n=1 an diverges.
an+1
L = lim
n→∞ an
It states that:
an+1
L = lim <1
n→∞ an
2
Zwillinger, D. (Ed.). "Convergence Tests." §1.3.3 in CRC Standard Math-
ematical Tables and Formulae, 30th ed. Boca Raton, FL: CRC Press, p. 32,
1996.
3
Bromwich, T. J. I’A (1908). An Introduction To The Theory of Infinite
Series. Merchant Books.
174 CHAPTER 5. PREREQUISITES
L<r<1
an+1
an < r
∞
X ∞
X
ak = aN +k
k=N +1 k=1
∞
X ∞
X
aN +k < rk |aN |
k=1 k=1
∞
X ∞
X
rk |aN | = |aN | rk
k=1 k=1
P∞
Which converges since r < 1. Therefore, k=1 aN +k is convergent
by the comparison test. Because
∞
X N
X ∞
X
an = an + aN +k
n=1 n=1 k=1
an+1
L = lim
n→∞ an
an+1
an > 1
gets larger and larger. Therefore, the series n=1 an diverges. The
special case when L = 1 is inconclusive, and can be easily shown
through the two sequences:
1
{an }∞
n=1 =
n (5.6)
(−1)n
{bn }∞
n=1 =
n
∞
X 1
=⇒ Diverges
n
n=1
∞
X (−1)n
=⇒ Converges
n
n=1
Since
an+1 bn+1
lim = lim
=1
n→∞ an n→∞ bn
In this proof, we will prove the integral test for strictly decreasing
f (x). However, the theorem holds true for any monotonically de-
creasing f (x) (a monotonically decreasing function does not have to
be exclusively decreasing, only non-increasing).
Z ∞
I= f (x) dx ≈ f (2) + f (3) + · · ·
1
= a2 + a3 + a4 + · · ·
∞
X
= an
n=2
And,
Z ∞ ∞
X ∞
X
f (x)dx > f (n) = an
1 n=2 n=2
Z N Z ∞
f (x) dx < f (x) dx
1 1
Thus,
N
X Z N Z ∞
an < f (x) dx < f (x) dx (5.8)
n=2 1 1
P∞
By (5.7). To get our desired series, n=1 an , we can add a1 :
N
X Z N
an < a1 + f (x) dx = L (5.9)
n=1 1
5.2. WAYS TO PROVE CONVERGENCE 179
N
X
{SN } = an
n=1
Theorem
Informally, the monotone convergence theorem states that if
a sequence is increasing and bounded above by a supremum,
then the sequence will converge to the supremum. On the
other hand, if a sequence is decreasing and is bounded below
by an infimum, it will converge to the infimum.
In this case, the approximate area under the curve on the interval
[1, N ] given by the Riemann sum is an overestimate. Therefore,
Z N N
X −1
f (x) dx < f (n)
1 n=1
Since an = f (n),
Z N
f (x) dx < SN −1 (5.10)
1
Z N
f (x) dx → ∞
1
p
n
L = lim |an |
n→∞
And,
∞
X
S= an
n=1
We then have:
p
n
L = lim |an |
n→∞
We can write:
p
n
|an | < r
=⇒ rn > |an |
For some n ≥ N and sufficiently large N . Since r < 1, the series:
∞
X
rn
n=N
∞
X
|an |
n=N
∞
X N
X −1 ∞
X
an = |an | + |an |
n=1 n=1 n=N
PN −1
Converges since n=1 |an | is a finite sum of finite terms.
Now, consider the case when L > 1. For some sufficiently large N ,
any n ≥ N satisfies:
p
n
|an | > 1
5.2. WAYS TO PROVE CONVERGENCE 183
=⇒ |an | > 1
Hence,
∴ lim an 6= 0
n→∞
1
{an }∞
n=1 =
n
(−1)n
{bn }∞
n=1 =
n
∞
X 1
=⇒ Diverges
n
n=1
∞
X (−1)n
=⇒ Converges
n
n=1
Since
184 CHAPTER 5. PREREQUISITES
p
n
p
lim |an | = lim n |bn | = 1
n→∞ n→∞
Note that the root test is stronger than the ratio test.
4
Demonstration d’un theoreme d’Abel. Journal de mathematiques pures et
appliquees 2nd series, tome 7 (1862), p. 253-255 Archived 2011-07-21 at the
Wayback Machine.
5.3. INTERCHANGING SUMMATION AND INTEGRATION 185
Theorem
Dirichlet’s test states that if {an }∞
n=1 is a sequence of real
numbers and {bn }∞ n=1 is a sequence of complex numbers sat-
isfying that:
• lim an = 0
n→∞
• an+1 ≤ an
P
k
• n=1 bn ≤ L for all k ∈ N
Z X XZ
fn dx 6= fn dx (5.11)
n n
∞ Z
X 2π
sin(x + n) dx (5.12)
n=0 0
∞
X 2π
= − cos(x + n) 0
n=0
∞
X
( cos(x) − cos(x + 2π))
n=0
∞
X
= 0=0
n=0
Z ∞
2π X
sin(x + n) dx
0 n=0
Since
∞
X
sin(x + n)
n=0
5.3. INTERCHANGING SUMMATION AND INTEGRATION 187
Diverges for all x, the integral diverges as well. Well, this is con-
tradictory! This example serves as one of many in which the inter-
change is not valid.
But, what criteria did our example in (5.12) not meet? Instead of
investigating each case of (5.11), we can present a general theorem
for any sequence of functions {fn } on any interval I. One such the-
orem is the Lebesgue dominated convergence theorem.
Theorem
Let {fn }∞
n=1 be a sequence of Lebesgue integrable functions
that converge to a limit function f almost everywhere on an
interval I. Suppose there exists some Lebesgue integrable
function g such that |fn | < g almost everywhere on I and for
all n ∈ N. Then, f is Lebesgue integrable on I and
Z Z Z
lim fn (x) dx = lim fn (x) dx = f (x) dx
n→∞ I I n→∞ I
This theorem is perhaps the most hefty in the book, so let us break
it down. First off, what is meant by a "Lebesgue integrable func-
tion"?
The Lebesgue measure is the measure that coincides most with gen-
eral notions of "size." For example, the set of all points in [0, 1] has
Lebesgue measure equal to its length on the number line, which is
1. Since we are only dealing with intervals, we can simply say that
an interval [a, b] has a Lebesgue measure b − a. For two dimensional
intervals, [a, b] × [c, d], it coincides with area.
188 CHAPTER 5. PREREQUISITES
Theorem
If f (x) is a bounded function defined on some closed interval
I such that
Z
f (x) dx
I
Exists in the Riemann sense, then f is also Lebesgue inte-
grable.
Theorem
Let {fn }∞
n=1 be a sequence of Lebesgue integrable functions
such that each fn is nonnegative on I and the sum
∞
X
fn (x)
n=1
Z 1
dx
I=
0 1+x
This integral trivially converges to ln 2. But, perhaps we want to
substitute the power series expansion
∞
1 X
= (−1)k xk
1+x
k=0
To get
Z ∞
1X
I= (−1)k xk dx
0 k=0
Z 1 Xn
= lim (−1)k xk dx
0 n→∞ k=0
Now, is the interchange here justified? Well, all terms of the se-
quence
190 CHAPTER 5. PREREQUISITES
n
X
{fn } = (−1)k xk
k=0
n
X
(−1)k xk ≤ 1
k=0
n Z
X 1
I = lim (−1)k xk dx
n→∞ 0
k=0
n
X (−1)k
= lim
n→∞ k+1
k=0
Which is the alternating harmonic series that equals the same value
of ln 2.
Chapter 6
Evaluating Series
191
192 CHAPTER 6. EVALUATING SERIES
6.1 Introduction
The most widely used series are the power series taught in intro-
ductory calculus courses. A classic example is:
∞
1 X
= 1 + x + x2 + · · · = xn (6.1)
1−x
n=0
∞
1 X
= 1 − x + x2 − x3 + · · · = (−1)n xn (6.2)
1+x
n=0
∞
1 2
X
− = −1 + 2x − 3x + · · · = n · (−1)n xn−1
(1 + x)2
n=0
∞
X xn+1
ln(1 − x) = −
n+1
n=0
Re-indexing,
∞
X xn
ln(1 − x) = − (6.3)
n
n=1
∞
X (−1)n+1 xn
ln(1 + x) = (6.4)
n
n=1
Solution
∞
x X
= xn
1−x
n=1
∞
1 X
2
= nxn−1
(1 − x)
n=1
∞
x X
2
= nxn
(1 − x)
n=1
∞
x + x2 X
3
= n2 xn
(1 − x)
n=1
1
Notice that if x = , we get our desired sum! Therefore,
2
2
1
∞
X n2 2 + 12
= 3
2n 1
n=1
2
=6
∞
X 1
Example 2: Find the value of
2n · n2
n=1
Solution
6.2. SOME PROBLEMS 195
∞
X 1
S=
2n · n2
n=1
∞ Z 1
X 2 xn−1
= dx
n
n=1 0
Using the dominated convergence theorem, we can switch the order
of integration and summation to obtain
1 ∞
xn−1
Z
2 X
= dx
0 n
n=1
1
ln(1 − x)
Z
2
=− dx
0 x
Where in the last step we used the power series expansion for ln(1 − x).
We can integrate by parts with u = ln(1 − x), dv = dx
x to get
196 CHAPTER 6. EVALUATING SERIES
Z 1
1 2 ln x
S = − ln x ln(1 − x) 02 + dx
0 x−1
Since
∞
X (−1)n xn+1
ln(1 + x) =
n+1
n=0
We can substitute x → x − 1 to get:
∞
X (−1)n (x − 1)n+1
ln x =
n+1
n=0
Z 1X ∞
21 2 (−1)n (x − 1)n
S = − ln + dx
2 0 n+1
n=0
∞
" #1
n (x − 1)n+1 2
X
1 (−1)
= − ln2 +
2 n+1 n+1
n=0 0
X ∞ ∞
1 1 X 1
= − ln2 − +
2 2n+1 (n + 1)2 (n + 1)2
n=0 n=0
Re-indexing both sums,
X ∞ ∞
1
2 1 X 1
S = − ln − n 2
+
2 2 ·n n2
n=1 n=1
| {z } | {z }
=S =ζ(2)
6.2. SOME PROBLEMS 197
π2
1 2
=⇒ S = − ln −S+
2 6
π2
1 2
2S = − ln +
2 6
π 2 ln2 2
S= −
12 2
1 ∞
ln(1 − xn )
Z X f (n)
Example 3: Define f (n) = dx. Evaluate
0 x n
n=1
Solution
∞
X xk
ln(1 − x) = −
k
k=1
198 CHAPTER 6. EVALUATING SERIES
Z 1
P∞ (xn )k
k=1 k
=⇒ f (n) = − dx
0 x
∞
1X
xnk−1
Z
=− dx
0 k=1 k
∞ Z 1
X xnk−1
f (n) = − dx
0 k
k=1
∞
" #1
X xnk
f (n) = −
nk 2
k=1 0
∞
1 X 1
=−
n k2
k=1
ζ(2)
=−
n
Plugging in the value of ζ(2),
Z 1
ln(1 − xn ) π2
∴ dx = −
0 x 6n
∞
X f (n)
S=
n
n=1
∞
π2 X 1 π4
=− =−
6 n2 36
n=1
6.2. SOME PROBLEMS 199
Solution
1
[cos θ + i sin θ]
n
The final position of the ant is simply the sum of the displace-
ments. Denote the final position as P ,
200 CHAPTER 6. EVALUATING SERIES
!
1 π π
P = 1 cos(0) + i sin(0) + cos + i sin
2 3 3
!
1 2π 2π
+ cos + i sin + ···
3 3 3
This looks very similar to the power series expansion for ln(1 − x).
In fact, the power series expansion of ln(1 − x) divided by x is
∞
X xn−1
ln(1 − x)
=−
x n
n=1
iπ
In our desired sum, x = e 3 , therefore,
iπ
ln 1 − e 3
P =− iπ
e3
iπ
3√
=
1+i 3
2
π πi
P = √ +
2 3 6
π π
P = √ ,
2 3 6
A whole π
3 ≈ 1.05 units away!
∞
X 1 1
Example 5: Evaluate −
4n − 1 4n
n=1
Solution
1 1 1 1 1 1
S= − + − + − + ···
4−1 4 4·2−1 4·2 4·3−1 4·3
Z 1 Z 1
1 1 4n−2
− = x dx − x4n−1 dx
4n − 1 4n 0 0
Z 1
= x4n−2 − x4n−1 dx
0
Using the above equation, we can then write our series as a sum of
integrals. We can then use the dominated convergence theorem to
interchange the order of summation and integration and obtain a
geometric series that is easy to evaluate. We begin with
∞ Z
X 1
S= x4n−2 + x4n−1 dx
n=1 0
Z ∞
1X
= x4n−2 − x4n−1 dx
0 n=1
n n
∞ ∞
1 x4 x4
Z X X
= − dx
0 x2 x
n=1 n=1
1
x4 x4
Z
1 1
S= · − · dx
0 x2 1 − x4 x 1 − x4
1
x2 x3
Z
= − dx
0 1 − x4 1 − x4
6.2. SOME PROBLEMS 203
1
x2 (1 − x)
Z
= dx
0 1 − x4
Using
1 − x4 = (1 − x2 )(1 + x2 ) = (1 − x)(1 + x + x2 + x3 )
We can write
1
x2
Z
S= dx
0 x3 + x2 + x + 1
1
x−1
Z
1 1
S= 2
+ dx
2 0 x +1 x+1
1
x−1
Z
1 1 1
= ln|x + 1| 0 + dx
2 2 0 x2 + 1
Z 1 Z 1
ln 2 1 x 1 1
= + 2
dx − dx
2 2 0 x +1 2 0 x2 +1
ln 2 ln 2 π
S= + −
2 4 8
3 ln 2 π
= −
4 8
204 CHAPTER 6. EVALUATING SERIES
Definition
Recall the harmonic numbers, usually denoted as Hn , from
the definition of the Euler-Mascheroni constant (See note in
(1.8)). They are defined as the partial sum of the harmonic
series:
n
X 1
Hn = (6.5)
k
k=1
Figure 6.6: Plot of the partial sums of the harmonic series, i.e. the
harmonic numbers
Z 1
1
xk−1 dx =
0 k
6.2. SOME PROBLEMS 205
Therefore,
n Z
X 1
Hn = xk−1 dx
k=1 0
Z n
1X
Hn = xk−1 dx
0 k=1
1
1 − xn
Z
Hn = dx (6.6)
0 1−x
lim Hx − Hn+x = 0
x→∞
Hn = lim Hx − (Hn+x − Hn )
x→∞
206 CHAPTER 6. EVALUATING SERIES
Therefore,
x x
X 1 X 1
Hn = lim − (6.7)
x→∞ k n+k
k=1 k=1
x
X 1 1
= lim −
x→∞ k n+k
k=1
x
X n
= lim
x→∞ k(n + k)
k=1
∞
X 1
∴ Hn = n (6.8)
k(n + k)
k=1
Theorem
The generating function for the harmonic numbers is given
by:
∞
X ln(1 − x)
Hn xn = (6.9)
x−1
n=1
1
Hn = Hn−1 +
n
1
∴ Hn − Hn−1 =
n
Multiplying both sides by xn ,
6.2. SOME PROBLEMS 207
xn
Hn xn − Hn−1 xn =
n
∞ ∞ ∞
X X X xn
Hn xn − Hn−1 xn =
n
n=1 n=1 n=1
∞
X ∞
X
Hn xn − Hn−1 xn = − ln(1 − x)
n=1 n=1
Factoring out an x from the second sum,
∞
X ∞
X
n
Hn x − x Hn−1 xn−1 = − ln(1 − x)
n=1 n=1
Since H0 = 0,
∞
X ∞
X
Hn xn = Hn−1 xn−1
n=1 n=1
And,
∞
X
(1 − x) Hn xn = − ln(1 − x)
n=1
Therefore,
∞
X ln(1 − x)
Hn xn =
x−1
n=1
208 CHAPTER 6. EVALUATING SERIES
∞
X Hn
Example 7: Evaluate
2n (n + 1)
n=1
Solution
∞
X ln(1 − x)
Hn xn =
x−1
n=1
1 ∞ 1
ln(1 − x)
Z Z
2 X 2
Hn xn dx = dx
0 0 x−1
n=1
6.2. SOME PROBLEMS 209
∞ Z 1 1
ln(1 − x)
Z
X 2 2
Hn xn dx = dx
x−1
n=1 0 0
∞
" #1 1
2
xn+1 ln(1 − x)
Z
X 2
Hn = dx
n+1 0 x−1
n=1 0
∞ 1
ln(1 − x)
Z
X Hn 2
n+1
=− dx (6.10)
2 (n + 1) 0 1−x
n=1 | {z }
I
For the integral on the RHS, consider IBP with u = ln(1 − x), dv =
1−x :
dx
1 i 1 Z 21 ln(1 − x)
ln(1 − x)
Z
2
h
2
−I = dx = ln2 (1 − x) − dx
0 1−x 0 0 1−x
| {z }
−I
Hence,
h i1
2
−2I = ln2 (1 − x)
0
ln2 2
∴I=
2
∞
X Hn ln2 2
=
2n+1 (n + 1) 2
n=1
210 CHAPTER 6. EVALUATING SERIES
∞
X Hn
∴ = ln2 2
2n (n
+ 1)
n=1
n n
(−1)k
X
Example 8: Evaluate Sn = k
k
k=1
Solution
n
n
X n n−k k
(x + y) = x y
k
k=0
We therefore have
n
X n
(1 − x)n = (−x)k
k
k=0
6.2. SOME PROBLEMS 211
n
X n
∴ (−x)k = (1 − x)n − 1
k
k=1
n
X n (1 − x)n − 1
(−1)k xk−1 =
k x
k=1
n
1X Z 1
(1 − x)n − 1
Z
n
(−1)k xk−1 dx = dx
0 k=1 k 0 x
Since our sum on the LHS is a finite sum, we can safely interchange
summation and integration
n Z 1 Z 1
X
k n k−1 (1 − x)n − 1
(−1) x dx = dx
k 0 0 x
k=1
n n
(−1)k
1
(1 − x)n − 1
X Z
k
= dx
k 0 x
k=1
n n
(−1)k
1
xn − 1
X Z
k
= dx
k 0 1−x
k=1
n n n
(−1)k
X
k
X 1
= −Hn = −
k k
k=1 k=1
This could also be a nice proof for the divergence of the harmonic
series, as the series on the left diverges as n → ∞.
∞
X Hn
Example 9: Evaluate
n3
n=1
Solution
∞
X n
Hn =
k(k + n)
k=1
∞
X Hn
S=
n3
n=1
∞ ∞
X 1 X n
= 3
n k(k + n)
n=1 k=1
∞ X
∞
X 1
=
n2 k(k + n)
n=1 k=1
By symmetry,
∞ X
∞ ∞ ∞
X 1 XX 1
=
n2 k(k + n) nk 2 (k + n)
n=1 k=1 n=1 k=1
6.2. SOME PROBLEMS 213
Thus,
∞ ∞ ∞ X
∞
1 X X 1 X 1
S= +
2 n2 k(k + n) nk 2 (k + n)
n=1 k=1 n=1 k=1
∞ ∞
1 XX 1 1
= 2
+ 2
2 n k(k + n) nk (k + n)
n=1 k=1
1
Factoring out a gives:
nk(k + n)
∞ ∞
1 XX 1 1 1
S= +
2 nk(k + n) n k
n=1 k=1
∞ ∞
1 XX 1 n
+
k
=
2 nk
(k+n)
nk
n=1 k=1
∞ ∞
1 XX 1
=
2 n2 k 2
n=1 k=1
∞ ∞
1X 1 X 1
=
2 n2 k2
n=1 k=1
∞
1 X ζ(2)
=
2 n2
n=1
∞ 2
X Hn ζ(2) π4
∴ = = (6.11)
n3 2 72
n=1
214 CHAPTER 6. EVALUATING SERIES
∞
X sin k ◦
2) Find (Hint: Convert into radians and use Euler’s for-
k
k=1
mula)
∞
X 2n
3) Evaluate 2n
n=0
(2n + 1) n
22k k!2
R π/2
(Hint: Use the identity 0 sin2k+1 x dx = (2k+1)! )
∞
X (−1)n Hn
4) Find the value of
n
n=1
k
X (−1)n
5) Evaluate k
for even k.
n=0 n
Chapter 7
215
216 CHAPTER 7. SERIES AND INTEGRALS
7.1 Introduction
Solution
Splitting the integral into two parts,
Z 1 Z ∞
ln x ln x
I= dx + dx
0 1 − x2 1 1 − x2
1
Letting x = , dx = − u12 du in the underlined integral,
u
Z ∞
ln x
Z 0 ln u1
dx = − du
1 − x2
1 1 u2 1 − u12
Z 1
ln u
= du
0 1 − u2
Therefore, Z 1
ln x
I=2 dx
0 1 − x2
Z ∞
1X
I=2 x2n ln x dx
0 n=0
∞ Z
X ∞
=2 x2n ln x dx
n=0 0
∞
X 1
=−
(2n + 1)2
n=0
∞
X 1
ζ(2) =
n2
n=1
∞ ∞
X 1 X 1
= +
(2n)2 (2n − 1)2
n=1 n=1
∞ ∞
1X 1 X 1
= 2
+
4 n (2n − 1)2
n=1 n=1
∞
3 π2 X 1
∴ ζ(2) = =
4 8 (2n − 1)2
n=1
We finally have
π2
I = −2 ×
8
π2
=−
4
Z π
2
Example 2: Evaluate ln (cos x + sin x)dx
0
Solution
Recall that
Thus,
7.2. SOME PROBLEMS 219
π π π
sin x + = cos sin x + sin cos x
4 4 4
√
2
= (sin x + cos x)
2
√
π
=⇒ sin x + cos x = 2 sin x +
4
Hence,
π !
√
Z
2 π
I= ln 2 sin x + dx
0 4
π ! Z π !
√ √
Z
4 π 2 π
I= ln 2 sin x + dx + ln 2 sin x + dx
0 4 π 4
4
| {z } | {z }
(1) (2)
Z π √
4
=⇒ I = 2 ln 2 cos x dx
0
Z π
π ln 2 4
= +2 ln (cos x) dx
4 0
Z π
4
I1 = ln (cos x) dx
0
Z π
4
I2 = ln (sin x) dx
0
Z π
4
I1 + I2 = ln (cos x sin x) dx
0
7.2. SOME PROBLEMS 221
Z π
41
= ln sin 2x dx
0 2
Z π Z π
4 4
= ln (sin 2x) dx − ln 2 dx
0 0
π
I1 + I2 = − ln 2
2
Z π
4
I2 − I1 = ln (tan x) dx
0
Substituting u = tan x, dx = du
1+u2
then gives
Z 1
ln u
I2 − I1 = du
0 1 + u2
Z ∞
1X
= (−1)n u2n ln u du
0 n=0
∞
X Z 1
I2 − I1 = (−1)n u2n ln u du
n=0 0
Using IBP,
∞
X (−1)n
I2 − I1 = −
(2n + 1)2
n=0
= −G
Definition
Catalan’s constant, often denoted as G, is named after the
French and Belgian mathematician Eugène Charles Cata-
lan. It was originally found in the field of combinatorics, but
later found use in analysis and even topologya . It is mainly
defined as the infinite series
∞
X (−1)n
G= (7.1)
(2n + 1)2
n=0
a
Agol, Ian (2010). The minimal volume orientable hyperbolic 2-
cusped 3-manifolds. Proceedings of the American Mathematical Soci-
ety, 138 (10): 3723–3732, arXiv:0804.0043, doi:10.1090/S0002-9939-10-
10364-5, MR 2661571.
Open Problem
To summarize,
−π ln 2
I1 + I2 =
2
I2 − I1 = −G
Therefore,
Z π
4 1 π ln 2
I1 = ln cos x dx = G− (7.2)
0 2 2
Z π
4 1 π ln 2
I2 = ln sin x dx = − G+ (7.3)
0 2 2
We finally have
π ln 2
I= + 2I1
4
π ln 2
=G−
4
Z α
Example 3: Define f (α) = ln x ln(α − x) dx. Find when the
0
minimum of f (α) occurs.
Solution
Z 1
f (α) = α ln(αu) ln α(1 − u) du
0
Z 1
=α [ln α + ln(1 − u)][ln α + ln u] du
0
Z 1
f (α) = α ln2 α + ln α ln u + ln α ln(1 − u) + ln(1 − u) ln u du
0
224 CHAPTER 7. SERIES AND INTEGRALS
"Z
1 Z 1
2
=α ln α du + ln α ln u du
0 0
Z 1 Z 1
+ ln α ln(1 − u)du + ln u ln(1 − u) du
0 0
The first three integrals are trivial to evaluate. For the last integral,
consider the power series expansion of ln(1 − u):
∞
X un
ln(1 − u) = −
n
n=1
1 ∞
1X
un ln u
Z Z
∴I= ln u ln(1 − u)du = −
0 0 n=1 n
∞
1 1 n
X Z
I=− u ln u du
n 0
n=1
∞
X 1
=
n(n + 1)2
n=1
π2
=2−
6
We then have,
" #
2 π2
f (α) = α ln α + 2 − 2 ln α −
6
Therefore,
π2
f 0 (α) = ln2 α −
6
2 ln α
f 00 (α) =
α
π
√
It is now easy to see that the minimum is at α = e 6 . Utilizing our
expression for f (α) we can compute the minimum as:
" #
π
√
π
√ 2
π
√
π
√
π2
f e 6 =e 6 ln e 6 + 2 − 2 ln e 6 −
6
226 CHAPTER 7. SERIES AND INTEGRALS
" #
π
√ π2 2π π2
=e 6 +2− √ −
6 6 6
π
√ π
= 2e 6 1− √ ≈ −2.038
6
Z π
2
Example 4: Evaluate tan x ln sin x dx
0
Solution
Z π
sin x
2
I= ln sin xdx
0 cos x
Z π
2 sin x p
= ln 1 − cos2 x dx
0 cos x
ln 1 − u2
Z 1
1
I= du
2 0 u
Now, using the power series expansion of ln(1 − x), we can write
∞
X u2n
ln 1 − u2 = −
n
n=1
Therefore,
∞
1X
u2n−1
Z
1
I=− du
2 0 n=1 n
∞ Z 1
1X1
I=− u2n−1 du
2 n 0
n=1
∞
" #1
1 X 1 u2n
=−
2 n 2n
n=1 0
∞
1 X 1
=−
4 n2
n=1
P∞ π2
We can plug in 1
n=1 n2 = 6 in the above expression,
π
π2
Z
2
∴ tan x ln sin xdx = −
0 24
P∞ π2
For a proof of 1
n=1 n2 = 6 , see (12.2).
228 CHAPTER 7. SERIES AND INTEGRALS
1
ln x ln2 (1 − x)
Z
Example 5: Evaluate dx
0 x
ln x ln2 (1−x)
Figure 7.5: Graph of y = x
Solution
1
ln(1 − x) ln2 x
Z
I= dx
0 1−x
We can then use the generating function for the harmonic numbers,
(6.9), to get
Z ∞
1X
I=− Hn xn ln2 x dx
0 n=1
7.2. SOME PROBLEMS 229
∞
X Z 1
I=− Hn xn ln2 xdx
n=1 0
Z 1
1
f (α) = xα dx =
0 α+1
For α > −1. Differentiating k times under the integral sign gives
1
(−1)k k!
Z
xα lnk xdx =
0 (α + 1)k+1
Then,
1
(−1)2 · 2!
Z
xn ln2 x dx =
0 (n + 1)3
And
∞
X Hn
I = −2
(n + 1)3
n=1
∞
X 1 1
= −2 Hn+1 −
(n + 1)3 n+1
n=1
∞ ∞
X 1 X Hn+1
= 2 4
−
(n + 1) (n + 1)3
n=1 n=1
230 CHAPTER 7. SERIES AND INTEGRALS
∞ ∞
X 1 X Hn
= 2 −
n4 n3
n=1 n=1
∞
X Hn
∴ I = 2ζ(4) − 2
n3
n=1
We can plug in our result for the latter sum from (6.11).
2 · π4
=⇒ I = 2ζ(4) −
72
π4
Using ζ(4) = 90 (See proof in (12.3)) we have:
1
ln x ln2 (1 − x) π4
Z
dx = −
0 x 180
∞
sin2n+1 x
Z
2) Find the value of dx for n ∈ N.
0 x
Z 1
1+x dx
3) Evaluate ln √
0 1−x x 1 − x2
Z π/4
4) Find ln tan x dx
0
7.3. EXERCISE PROBLEMS 231
Z ∞
5) Evaluate ln2 tanh x dx
0
1
x ln2 x
Z
6) Find the value of dx
0 1 − x4
1
xn − x2n
Z
7) Evaluate lim dx
n→∞ 0 1−x
8)
Challenge Problem
Evaluate
Z 1
arctan x arcsin x dx
−1
Hint: Use Z 1
x
arctan x = dy
0 1 + x2 y 2
232 CHAPTER 7. SERIES AND INTEGRALS
Chapter 8
233
234 CHAPTER 8. FRACTIONAL PART INTEGRALS
8.1 Introduction
Definition
The fractional part function, usually denoted as {·} is de-
fined as follows:
Definition
The floor function, usually denoted as b·c, is defined as the
greatest integer less than or equal to x. Similarly, the ceiling
function, usually denoted dxe, is defined as the least integer
greater than or equal to x. Equivalently,
The results that these integrals give rise to are mind-blowing! The
essence in solving problems like the ones in this chapter is convert-
ing them to infinite sums of consecutive integrals which we can
manage. Although these integrals are not a primary area of re-
search, they have a chapter dedicated to them since they develop
the skill of using series to evaluate integrals.
8.2. SOME PROBLEMS 235
Notice that each line is simply y = x shifted along the x axis. This
is rather obvious from the definition of the fractional part function.
Consider some x ∈ [k, k + 1), it is easy to see that
{x} = x − bxc = x − k
Therefore, the integral in our example is equivalent to a sum of in-
tegrals with intervals [k, k + 1) from k = 0 to k = n − 1. Translating
these words into math we have
Z n n−1
X Z k+1
I= {x} dx = (x − k) dx
0 k=0 k
236 CHAPTER 8. FRACTIONAL PART INTEGRALS
n−1
1X n
= 1=
2 2
k=0
Figure 8.2: Try to decipher the pattern from this graph to solve the
integral.
{x} = x − bxc
From the previous example, we know that for some x ∈ [k, k + 1),
{x} = x − k. We also know that on that same interval, bxc = k.
Therefore,
Z n Z 1 Z 2
I= {x}bxcdx = (x − 0)(0) dx + (x − 1)(1) dx + · · ·
0 0 1
n−1
X Z k+1
= k(x − k) dx
k=0 k
n−1
" #k+1
X kx2
= − k2 x
2
k=0 k
n−1
X k
=
2
k=0
n−1
1X n(n − 1)
= k=
2 4
k=0
∞
{x}bxc
Z
Example 3: Evaluate dx
0 dxe
Solution
∞ Z
X n+1
{x}bxc
I= dx
dxe
n=0 n
238 CHAPTER 8. FRACTIONAL PART INTEGRALS
{x}bxc
Figure 8.3: Graph of y = dxe
∞ Z n+1
X {x}n
= dx
n+1
n=0 n
∞ Z n+1
X (x − n)n
= dx
n+1
n=0 n
∞ Z 1
X xn
I= dx
n+1
n=0 0
∞
X 1
=
(n + 1)2
n=0
∞
X 1 π2
∴I= = ζ(2) =
n2 6
n=1
8.2. SOME PROBLEMS 239
Z 1
1
Example 4: Evaluate dx
0 x
n o
Figure 8.4: Graph of y = 1
x
Z 1
1
I= dx
0 x
∞
{u}
Z
= du
1 u2
Notice that we can break down the integral above into a consecu-
1
Havil, J. Gamma: Exploring Euler’s Constant. Princeton, NJ: Princeton
University Press, pp. 109-111, 2003.
240 CHAPTER 8. FRACTIONAL PART INTEGRALS
∞
!
Z n+1 Z n+1
X du du
= −n
n u n u2
n=1
Which evaluates to
∞ !
X n+1 1
I= ln −
n n+1
k=1
γ = lim (Hk − ln k)
k→∞
γ = lim Hk − ln(k + 1)
k→∞
k k
X X n+1
ln(k + 1) = ln(n + 1) − ln n = ln
n
n=1 n=1
Plugging the sum above into the expression for γ then gives
k k
X 1 X n+1
γ = lim − ln
k→∞ n n
n=1 n=1
8.2. SOME PROBLEMS 241
k !
X 1 n+1
= lim − ln
k→∞ n n
n=1
∞ !
X n+1 1
I= ln − =1−γ (8.4)
n n+1
k=1
Z 1
1
Example 5: Evaluate √
3
dx
0 x
Figure 8.5: Graph y = √1
3
x
Z 1
1
Ik = √
k
dx
0 x
1
Where k > 1. Substituting x = k
, dx = − tk+1 du gives
tk
∞
{t}
Z
Ik = k dt
1 tk+1
As usual, we will break this integral up into a sum of consecutive
integrals
∞ Z n+1
X t−n
Ik = k dt
tk+1
n=1 n
∞
1 X 1 1
Ik = k −
1−k (n + 1)k−1 nk−1
n=1
∞
1 X 1 1
+ n − k
k (n + 1)k n
n=1
∞ !
X 1 1 1 1
− = − k−1 +
(n + 1)k−1 nk−1 2k−1 1
n=1
! !
1 1 1 1
− k−1 + − k−1 + · · ·
3k−1 2 4k−1 3
1 1
= lim − k−1 + k−1
n→∞ 1 n
8.2. SOME PROBLEMS 243
= −1
Therefore,
∞
k X 1 1
Ik = + n − k
k−1 (n + 1)k n
n=1
Notice that the sum above is
∞
X 1 1 1 1 1 1
S= n − k =1 − k +2 − k
(n + 1)k n 2k 1 3k 2
n=1
1 1
+3 − k + ···
4k 3
We can regroup the terms in the sum without changing its value
(Since it is absolutely convergent for k > 1):
1 1 1 1 1
S= − k + k
−2· k + 2 · k − 3 · k + ···
1 2 2 3 3
Each n−1
nk
gets n
nk
subtracted from it. We therefore have:
1 1 1
S=− k
+ k + k + ···
1 2 3
= −ζ(k)
Plugging S back in we get
Z 1
1 k
√ dx = − ζ(k) (8.5)
0
k
x k − 1
∞
{x}
Z
Example 6: Evaluate dx for n > 2.
1 xn
{x}
Figure 8.6: Graph of y = x3
∞
x − bxc
Z
=⇒ I = dx
1 xn
∞ Z ∞
bxc
Z
dx
= n−1
− dx
1 x 1 xn
∞ Z k+1
1 X k
I= − dx
n−2 k xn
k=1
∞
{x} ζ(n − 1)
Z
1
I= n
dx = − (8.6)
1 x n−2 n−1
Z 1
1
Example 7: Evaluate √
k
dx for k > 1.
0 k x
n o
Figure 8.7: Graph of y = 1
√
2 x
√ uk−1
We begin by substituting u = k k x, dx = k−1 du,
k
Z 1 Z k
1 1 1
I= √k
dx = k−1 uk−1 du
0 k x k 0 u
1
Substituting y = , du = − dy
y2
,
u
∞
{y}
Z
1
I= dy
k k−1 1 y k+1
k
246 CHAPTER 8. FRACTIONAL PART INTEGRALS
∞
{t}
Z
k
Ik = k k+1
dt = − ζ(k)
1 t k−1
Z 1 Z ∞
1 {y} {y}
= 1 y k+1 dy +
dy
k k−1 k 1 y k+1
| {z }
Ik /k
"Z #
1
1 {y} 1 ζ(k)
= dy + −
k k−1 1 y k+1 k−1 k
k
h
Notice that for y ∈ 1
k,1 , {y} = y. Therefore,
"Z #
1
1 dy 1 ζ(k)
I= + −
k k−1 1 y k k−1 k
k
" #
1 k k−1 − 1 1 ζ(k)
= k−1 + −
k k−1 k−1 k
" #
1 k k−1 ζ(k)
= k−1 −
k k−1 k
8.2. SOME PROBLEMS 247
Z 1
1 1 ζ(k)
I= √ dx = − k
0 k x k
k−1 k
1
{2x}
Z
1
Example 8: Evaluate dx
0 x x
{2x} 1
Figure 8.8: Graph of y = x x
h h
Notice that when x ∈ 0, 12 , {2x} = 2x and when x ∈ 12 , 1 ,
{2x} = 2x − 1. Thus, we can split our desired integral into two
separate integrals:
Z 1
1 dx
I= {2x}
0 x x
Z 1 Z 1
2 1 dx 1 dx
= (2x) + (2x − 1)
0 x x 1 x x
2
248 CHAPTER 8. FRACTIONAL PART INTEGRALS
Z 1 Z 1 Z 1
2 1 1 1 dx
=2 dx + 2 dx −
0 x 1 x 1 x x
2 2
Z 1 Z 1
1 1 dx
I=2 dx −
0 x 1 x x
2
1
Z 1
1
dx
Z 1
x −1
= dx
1 x x 1 x
2 2
Z 1 Z 1
dx dx
= −
1 x2 1 x
2 2
= 1 − ln 2
Thus,
I = 2 (1 − γ) − (1 − ln 2)
= 1 + ln 2 − 2γ
∞ {x} − 12
Z
Example 9: Evaluate dx
1 x
8.2. SOME PROBLEMS 249
{x}− 12
Figure 8.9: Graph of y = x
∞ x − bxc − 12
Z
I= dx
1 x
∞ Z
X k+1 x − bxc − 12
I= dx
k x
k=1
∞ Z
X k+1 x − k − 12
= dx
k x
k=1
∞
" #
X 1 1
I= k+ ln k − k + ln(k + 1) + 1
2 2
k=1
∞
" #
X 1 1
I= k+1−1+ ln k − k + ln(k + 1) + 1
2 2
k=1
N
" #
X 1 1
= lim 1 + ln k + k − 1 + ln k − k + ln(k + 1)
N →∞ 2 2
k=1
(8.7)
N !
X 1 1
+ k−1+ ln k − k + ln(k + 1)
2 2
k=1
| {z }
Telescoping Sum
!
1
= lim N + ln N ! − N + ln(N + 1)
N →∞ 2
N N + 21
I = lim ln e + ln N ! − ln (N + 1)
N →∞
!
N ! eN
= lim ln 1
N →∞ (N + 1)N + 2
8.2. SOME PROBLEMS 251
N √
N
eN e 2πN
I = lim ln
N →∞ N + 12
(N + 1)
1√
!
N N + 2 2π
= lim ln 1
N →∞ (N + 1)N + 2
√
2π
= lim ln
N + 1
N →∞
1 2
1+ N
By the definition of e,
1 x
e = lim 1 +
x→∞ x
We have
√ !
2π
I = lim ln
N →∞ e
√ !
2π
= ln
e
We finally obtain that:
{x} − 12 √
Z ∞
dx = ln 2π − 1
1 x
Z 1
1
Example 10: Evaluate x ln x dx
0 x
252 CHAPTER 8. FRACTIONAL PART INTEGRALS
n o
Figure 8.10: Graph of y = 1
x x ln x
Solution
Define a function
Z 1
1
f (α) = xα−1 dx
0 x
Z 1
1
f 0 (α) = xα−1 ln x dx
0 x
Our desired integral is then f 0 (2). Let us first evaluate f (α). Con-
sider the substitution u = x1 ,
∞
{x}
Z
=⇒ f (α) = dx
0 xα+1
8.2. SOME PROBLEMS 253
1 ζ(α)
f (α) = −
α−1 α
And,
1 αζ 0 (α) − ζ(α)
f 0 (α) = − −
(α − 1)2 α2
ζ(α) 1 ζ 0 (α)
= − −
α2 (α − 1)2 α
Plugging in α = 2 gives
ζ (2) ζ 0 (2)
f (2) = −1−
4 2
∞
X ln k π2
ζ 0 (2) = − (8.8)
=− 12 ln A − γ − ln(2π)
k2 6
k=1
Definition
The Glaisher-Kinkelin constant, usually denoted as A, is a
constant that appears in many sums and integrals. It is be
given by:
K(n + 1)
A = lim ≈ 1.282 (8.9)
n→∞ e−n2 /4 nn2 /2+n/2+1/12
∞
! π2
6
Y 1 A12
k k2 = (8.10)
2πeγ
k=1
Thus,
π2 π2
f (2) = −1− 12 ln A − γ − ln(2π)
24 12
2
Glaisher, J. W. L. On the Constant which Occurs in the Formula for
1 .22 .33 . . . nn . Messenger Math. 24, 1-16, 1894.
1
8.3. OPEN PROBLEMS 255
Open Problem
Open Problem
Where the open problems are due to Ovidiu Furdui’s book "Limits,
Series, and Fractional Part Integrals: Problems in Mathematical
Analysis"3 . It is worth mentioning that many of the fractional part
integrals outlined in this chapter can be found in Furdui’s book,
along with solutions.
3
Furdui, O. (2013). Limits, Series, and Fractional Part Integrals: Problems
in Mathematical Analysis. New York, NY: Springer.
256 CHAPTER 8. FRACTIONAL PART INTEGRALS
Z 1Z 1
x+y
2) Calculate dx dy
0 0 x−y
Z 1Z 1
x y
3) Find a closed form for (xy)2019
dxdy
0 0 y x
Z 1
1 1
4) Evaluate x dx
0 x x
5)
Challenge Problem
Evaluate
v n o
1
u
Z 1u
u x dx
t n o
0 1 − x1 1 − x
257
259
In this part, we will use our tools from the previous chapters to de-
rive properties and representations of many special functions. After
doing so, we will work through a collection of example problems
with the aid of our new powerful tools.
Gamma Function
261
262 CHAPTER 9. GAMMA FUNCTION
9.1 Definition
Γ (1) = 0! = 1
√
1
Γ = π
2
√
1
Γ − = −2 π
2
1
Γ ≈ 2.678 938 534 707 747 6337
3
1
Γ ≈ 3.625 609 908 221 908 3119
4
264 CHAPTER 9. GAMMA FUNCTION
Theorem
An interesting equation due to Gauss:
n
nz Y k
Γ(z) = lim (9.1)
n→∞ z z+k
k=1
Proof. Denote n
Z n
z−1 t
In = t 1− dt
0 n
t n
Applying IBP with u = 1 − dv = tz−1 dt gives
n ,
" n #n n n−1
tz
Z
t n z t
In = 1− + t 1− dt
z n nz 0 n
0
| {z }
=0
n
t n−1
Z
n z
= t 1− dt
nz 0 n
t n−k
Applying IBP successively with u = 1 − , dv = tz+k−1 dt for
n
k = 1, 2, 3 · · · , n − 1 gives the formula
n
n−1
Z
n 1
In = · ··· tz+n−1 dt
nz n(z + 1) n(z + n − 1) 0
n n−1 1 nn+z
= · ··· ·
nz n(z + 1) n(z + n − 1) n + z
9.3. PROPERTIES AND REPRESENTATIONS 265
n
nz Y k
In =
z z+k
k=1
Since
n
t n
Z
z−1
lim In = lim t 1− dt
n→∞ n→∞ 0 n
And
n
−t t
e = lim 1−
n→∞ n
We can write:
Z ∞
lim In = tz−1 e−t dt = Γ(z)
n→∞ 0
n
nz Y k
Γ(z) = lim
n→∞ z z+k
k=1
266 CHAPTER 9. GAMMA FUNCTION
Theorem
Another infinite product expression for the gamma function
is given by Weierstrass:
∞
e−γz Y z −1 z/k
Γ(z) = 1+ e (9.2)
z k
k=1
n
nz Y k
Γ(z) = lim
n→∞ z z+k
k=1
n
1 Y k
Γ(z) = lim exp zHn − zHn + z ln(n)
n→∞ z z+k
k=1
Since
lim − ln n + Hn = γ
n→∞
n
1 Y k
Γ(z) = lim exp (zHn − zγ)
n→∞ z z+k
k=1
n
1 Y 1
= lim exp (zHn − zγ) z
n→∞ z 1+
k=1 k
n
e−γz Y 1
= lim exp (zHn ) z
n→∞ z 1+
k=1 k
9.3. PROPERTIES AND REPRESENTATIONS 267
Notice that
n
X 1
exp (zHn ) = exp z
k
k=1
z z z
= e · e ···e
1 2 n
n
Y z
= ek
k=1
Thus,
n n
e−γz Y z Y 1
Γ(z) = lim ek z
n→∞ z 1+
k=1 k=1 k
n z
e−γz Y e k
= lim
n→∞ z 1 + kz
k=1
∞
e−γz Y z −1 z/k
Γ(z) = 1+ e
z k
k=1
Theorem
The infamous Euler’s reflection formula is given by
n
nz Y k
Γ(z) = lim (9.4)
n→∞ z z+k
k=1
n
1 Y k2
Γ(z)Γ(−z) = lim 2
n→∞ z z 2 − k2
k=1
n
1 Y 1
= lim z2
(9.6)
n→∞ z2 −1
k=1 k2
∞
!
Y x2
sin πx = πx 1− 2 (9.7)
k
k=1
Proof. (9.7) was used by Euler to prove the famous result that
∞
X 1 π2
ζ(2) = =
n2 6
n=1
will present the heuristic approach Euler took, which was only jus-
tified 100 years later by Weierstrass.
sin x
= (x + π)(x − π)(x + 2π)(x − 2π) · · ·
x
! ! !
x2 x2 x2
=A 1− 2 1− 2 1− 2 ···
π 4π 9π
sin x
lim =1
x→0 x
Theorem
The Weierstrass factorization theorem asserts that every
complex-valued function that is differentiable at all finite
points over the whole complex plane can be represented as
a product involving its zeroes. It can be seen as an extension
of the fundamental theorem of algebra to complex functions.
∞
!
sin x Y x2
= 1− (9.8)
x (kπ)2
k=1
Substituting x → πx gives
∞
!
sin πx Y x2
= 1− 2
πx k
k=1
∞
!
Y x2
∴ sin πx = πx 1− 2
k
k=1
Now, back to our original proof. Notice that we can write (9.6) as
n
!−1
1 Y z2
Γ(z)Γ(−z) = lim 2 −1
n→∞ z k2
k=1
1 πz
=−
z 2 sin πz
π
=−
z sin πz
Thus,
π
Γ(z)(−zΓ(−z)) =
sin πz
=⇒ Γ(z)Γ(1 − z) = π csc πz
9.4. SOME PROBLEMS 271
2
Figure 9.3: The graph of the very famous y = e−x (Gaussian inte-
gral)
1−n
We can substitute u = xn , dx = u n
n du to get
Z ∞
1 1
I= e−u u n −1 du
n 0
1 1
I= Γ
n n
Since xΓ(x) = Γ(x + 1) we have
272 CHAPTER 9. GAMMA FUNCTION
n+1
I=Γ (9.9)
n
Sure does seem like these special functions make a lot of things eas-
ier! Let us transition into another well-known integral.
Z α+1
Example 2: Evaluate ln Γ(x) dx
α
Solution
Define a function
Z α+1
f (α) = ln Γ(x) dx
α
Γ(α + 1)
= ln
Γ(α)
f 0 (α) = ln α
Where in the last step we used the definition of the gamma func-
tion. Thus,
Z
f (α) = ln α dα
= α ln α − α + C
9.4. SOME PROBLEMS 273
√
=⇒ C = ln 2π
Z α+1 √
ln Γ(x) dx = α ln α − α + ln 2π (9.10)
α
Solution
25 (1840), 146-159.
274 CHAPTER 9. GAMMA FUNCTION
Z 1
1 x x
I= xΓ Γ 1− dx
2 0 2 2
We can now apply Euler’s reflection formula
π
Γ(z)Γ(1 − z) =
sin (πz)
To get
Z 1
1 πx
I= dx
2 0 sin πx
2
Substituting u = 2 ,
πx
Z π
2 2 u
I= du
π 0 sin u
Then,
x x
sin x = 2 sin cos
2 2
And
Z π Z π
2 x 2 x
I= dx = x
x
dx
0 sin x 0 2 sin 2 cos 2
Z π
2 x
= x
2 x
dx
0 2 tan 2 cos 2
9.5. EXERCISE PROBLEMS 275
Substituting x = 2 arctan u, dx = 2
1+u2
du,
Z 1
2 arctan u
I= du
0 u
Using the power series of arctan u,
∞
1X
(−1)n 2n
Z
I=2 u du
0 n=0 2n + 1
∞
X (−1)n
I=2
(2n + 1)2
n=0
4G
∴I=
π
Z 1
2. Find cos2 (πx) ln Γ(x) dx
0
Z 1 !n−1
1
3. Show that Γ(n) = ln dx
0 x
276 CHAPTER 9. GAMMA FUNCTION
∞
x5 (e3x − ex )
Z
4. Evaluate dx
0 (ex − 1)4
Z ∞
5. Find x3 e−2x sin x dx (Hint: Use differentiation under the
0
integral sign).
6.
Challenge Problem
Evaluate Z 1 2
ln Γ(x) dx
0
√
ln Γ(x) − ln 2π
∞
1 ln n sin(2πnx) + (γ + ln 2π)(1 − 2x)
X
=
π n 2
n=2
1
− ln|2 sin(πx)|
2
Chapter 10
Polygamma Functions
277
278 CHAPTER 10. POLYGAMMA FUNCTIONS
10.1 Definition
Definition
The polygamma function of order n, usually denoted as
ψ (n) (·), is defined as the (n + 1)th derivative of the natural
logarithm of the gamma function:
dn+1
ψ (n) (z) = ln Γ(z) (10.1)
dz n+1
Note: The digamma function, ψ (0) (·), is often expressed as
ψ(·).
ψ(1) = −γ
1
ψ = −2 ln 2 − γ
2
1 π 3 ln 3
ψ =− √ − −γ
3 2 3 2
1 π
ψ = − − 3 ln 2 − γ
4 2
π 2
ψ (1) (1) =
6
π2
1
ψ (1) =
2 2
280 CHAPTER 10. POLYGAMMA FUNCTIONS
The first value of the digamma function in the above section follows
from (10.4), which can also be used to compute ψ(n) for any n ∈
N. The fractional values can be computed by Gauss’s digamma
theorem.
Theorem
Let n, k be positive integers with k > n. Then the following
finite representation of the digamma function holdsa :
n π nπ
ψ = −γ − ln(2k) − cot
k 2 k
dX
2e
k
−1
2πjn πj
+2 cos ln sin (10.2)
k k
j=1
Theorem
The polygamma function can be written as:
∞
X 1
ψ (k)
(z) = (−1) k+1
k! (10.3)
(n + z)k+1
n=0
10.3. PROPERTIES AND REPRESENTATIONS 281
∞
e−γz Y z −1 z/k
Γ(z) = 1+ e
z k
k=1
∞ −1
Y z
ln Γ(z) = (−γz − ln z) + ln 1+ ez/k
k
k=1
Since ln ln an , we have
Q P
an =
∞ !
X z z
ln Γ(z) = −γz − ln z + − ln 1 +
k k
k=1
∞
1 X 1 1
ψ(z) = −γ − + −
z k z+k
k=1
ψ(z + 1) = −γ + Hz (10.4)
∞
X z
ψ(z + 1) = −γ + (10.5)
n(n + z)
n=1
282 CHAPTER 10. POLYGAMMA FUNCTIONS
∞
X 1
ψ (1) (z + 1) =
(n + z)2
n=1
∞
(1)
X 1
ψ (z) =
(n + z)2
n=0
Differentiating again,
∞
X 1
ψ (2) (z) = −2
(n + z)3
n=0
In general,
∞
X 1
ψ (k) (z) = (−1)k+1 k!
(n + z)k+1
n=0
Solution
Define a function,
10.4. SOME PROBLEMS 283
1
1−x α
Z
f (α) = x dx
0 1 − x3
∞
1 X
= x3n
1 − x3
n=0
And,
Z ∞
1X
f (α) = xα (1 − x)x3n dx
0 n=0
∞ Z
X 1
f (α) = xα (1 − x)x3n dx
n=0 0
∞ Z
X 1
= xα+3n − xα+3n+1 dx
n=0 0
∞
X 1 1
= − (10.6)
α + 3n + 1 α + 3n + 2
n=0
1
1−x α 4
Z
(4)
f (α) = x ln x dx
0 1 − x3
∞
X 1 1
I = 4! 5
−
(3n + 1) (3n + 2)5
n=0
∞
4! X 1 1
= 5 − 5
35 1 2
n=0 n+ 3 n+ 3
(4) 1 2
4! −ψ 3 −ψ (4) 3
I= 5 −
3 4! 4!
10.4. SOME PROBLEMS 285
2 1
ψ (4) 3 − ψ (4) 3
=
35
32π 5
I= √
243 3
Z 1
Example 2: Evaluate Hx dx
0
Solution
Hx = ψ(x + 1) + γ
286 CHAPTER 10. POLYGAMMA FUNCTIONS
Therefore,
Z 1 Z 1
I= Hx dx = ψ(x + 1) + γ dx
0 0
Z 1
=γ+ ψ(x + 1) dx
0
1
I = γ + ln Γ(x + 1) 0
Z 1
∴ Hx dx = γ (10.7)
0
Z 1
ln x
Example 3: Evaluate dx
0 x2 + x + 1
Solution
Recall that
1 − x3 = (x2 + x + 1)(1 − x)
Hence,
1
(1 − x) ln x
Z
I= dx
0 1 − x3
Z 1 Z 1
ln x x ln x
I= dx − dx
0 1 − x3 0 1 − x3
1
Substituting the power series of and interchanging summa-
1 − x3
tion and integration using the dominated convergence theorem then
gives
∞ Z ∞ Z
" # " #
X 1 X 1
3n 3n+1
x ln x dx − x ln x dx
n=0 0 n=0 0
Z 1
1
xα ln x dx = −
0 (α + 1)2
∞ ∞
X 1 X 1
I= 2
−
(3n + 2) (3n + 1)2
n=0 n=0
288 CHAPTER 10. POLYGAMMA FUNCTIONS
Notice that the underlined sum takes the sum of squares of the
form (3n+2)2 , and leaves out those of the form (3n)2 and (3n+1)2 .
We can then express our integral as
∞ ∞ ∞
X 1 X 1 X 1
I = ζ(2) − 2
− 2
−
(3n + 1) (3n) (3n + 1)2
n=0 n=0 n=0
∞
ζ(2) X 1
= ζ(2) − −2
9 (3n + 1)2
n=0
∞
8ζ(2) X 1
= −2
9 (3n + 1)2
n=0
∞
4π 2 2 X 1
I= − 2
27 9
1
n=0 n+ 3
∞
X 1
ψ (1) (x) =
(n + x)2
n=0
4π 2 2 (1)
1
∴I= − ψ
27 9 3
1
5 ln x − x5 + 1
Z
Example 4: Evaluate dx
0 (1 − x) ln x
Solution
Denote
10.4. SOME PROBLEMS 289
5 ln x−x5 +1
Figure 10.6: Graph of y = (1−x) ln x
1
α ln x − xα + 1
Z
f (α) = dx
0 ln x(1 − x)
1
ln x − xα ln x
Z
0
f (α) = dx
0 (1 − x) ln x
1
1 − xα
Z
= dx
0 1−x
By (6.6), we know:
1
1 − xα
Z
Hα = dx
0 1−x
290 CHAPTER 10. POLYGAMMA FUNCTIONS
Therefore,
f 0 (α) = Hα
Z
f (α) = f 0 (α) dα
Z
= Hα dα
Z
= ψ(α + 1) + γ dα
= ln Γ(α + 1) + γα + C
C=0
1
α ln x − xα
Z
+1
∴ dx = ln Γ(α + 1) + γα
0 ln x(1 − x)
Plugging in α = 5,
1
5 ln x − x5 + 1
Z
dx = ln 120 + 5γ
0 (1 − x) ln x
Z 1
Example 5: Evaluate xHx dx
0
Solution
By (10.4), we have:
Hx = ψ(x + 1) + γ
10.4. SOME PROBLEMS 291
Therefore,
Z 1
I= x(ψ(x + 1) + γ)dx
0
1
ψ(x + 1) = ψ(x) + (10.8)
x
Z 1
=⇒ I = xψ(x) + γx + 1 dx
0
Z 1
γ
= +1+ xψ(x)dx
2 0
Z 1 1
Z 1
xψ(x)dx = x ln Γ(x) 0
− ln Γ(x) dx
0 0
We have already evaluated this integral back in chapter 2 (See
(2.4)). √
γ
∴ I = + 1 − ln 2π
2
∞
X 1
Example 6: Evaluate the series
n2 +1
n=0
Solution
Theorem
Let x be a complex number. The following equality then
holds:
∞
X 1 1 + πx coth xπ
= (10.9)
k 2 + x2 2x2
k=1
∞
!
Y x2
sin x = x 1−
(kπ)2
k=1
Substituting x → ix we get:
∞
!
Y x2
sin ix = ix 1+ (10.10)
(kπ)2
k=1
∞
!
Y x2
sinh x = x 1+
(kπ)2
k=1
10.4. SOME PROBLEMS 293
Where in the last step we used the definition of the hyperbolic sine.
Taking the natural logarithm of both sides,
∞
!
X x2
ln sinh x = ln x + ln 1 +
(kπ)2
k=1
0
∞ x2
(sinh x) 1 0
X 1 + (kπ)2
= +
sinh x x x2
k=1 1 + (kπ)2
∞
1 X 2x
∴ coth x = +
x k 2 π 2 + x2
k=1
∞
1 X 2πx
coth πx = +
πx k π + π 2 x2
2 2
k=1
∞
1 1 X 2x
= + (10.11)
πx π k 2 + x2
k=1
∞
X 1 1 + π coth π
=
k2 +1 2
k=0
∞
x2 ln x
Z
2. Find dx
0 ex
∞
X ψ (1) (k)
4. Find
k
k=1
5.
Challenge Problem
Prove that
∞
e−t e−xt
Z
ψ(x) = − dt
0 t 1 − e−t
6.
Challenge Problem
Evaluate Z π/2
x3 csc x dx
0
Chapter 11
Beta Function
295
296 CHAPTER 11. BETA FUNCTION
11.1 Definition
Definition
The beta function, or the Euler integral of the first kind, is
most commonly defined as:
Z 1
B(x, y) = tx−1 (1 − t)y−1 dt (11.1)
0
Γ(x)Γ(y)
B(x, y) = (11.2)
Γ(x + y)
1
B (x, 1) =
x
Theorem
The beta function can be given by:
Z π
2
B(x, y) = 2 cos2x−1 (θ) sin2y−1 (θ)dθ, R(x), R(y) > 0
0
(11.3)
Here, R(·) denotes the real part.
Z ∞
Γ(n + 1) = n! = tn e−t dt
0
Z ∞ Z ∞
Γ(n + 1)Γ(k + 1) = tn e−t dt uk e−u du
0 0
Substituting t = x2 and u = y 2 ,
Z ∞ Z ∞
2 2
Γ(n + 1)Γ(k + 1) = 4 x2n+1 e−x dx y 2k+1 e−y dy
0 0
2
Notice that e−x is symmetric around x = 0. Thus,
Z ∞ Z ∞
2 2
Γ(n + 1)Γ(k + 1) = |x|2n+1 e−x dx |y|2k+1 e−y dy (11.4)
−∞ −∞
Z ∞ Z ∞
2 2
= |x|2n+1 e−x |y|2k+1 e−y dx
−∞ −∞
Thus,
Γ(n + 1)Γ(k + 1)
"Z π
Z ∞ #
2
2n+2k+3 −r2 2n+1 2k+1
=4 r e dr |cos θ| |sin θ| dθ
0 0
11.3. PROPERTIES AND REPRESENTATIONS 299
Since cos θ and sin θ are non-negative for all θ ∈ 0, π2 , we can get
"Z π
#
Z ∞ 2
Γ(n+1)Γ(k+1) = 2 un+k+1 e−u du cos2n+1 (θ) sin2k+1 (θ)dθ
0 0
Z π
2
Γ(n + 1)Γ(k + 1) = 2Γ(n + k + 2) cos2n+1 (θ) sin2k+1 (θ)dθ
0
Z π
Γ(n + 1)Γ(k + 1) 2
=2 cos2n+1 (θ) sin2k+1 (θ)dθ
Γ(n + k + 2) 0
Z π
2
B(n + 1, k + 1) = 2 cos2n+1 (θ) sin2k+1 (θ)dθ
0
Or alternatively,
Z π
2
B(x, y) = 2 cos2x−1 (θ) sin2y−1 (θ)dθ
0
Z 1 Z 0
B(x, y) = x−1
t (1 − t) y−1
dt = −2 cos2x−1 (u) sin2y−1 (u) du
π
0 2
Z π
2
=2 cos2x−1 (u) sin2y−1 (u) du
0
Theorem
The beta function has a recursive property given by:
Γ(x + 1)Γ(y)
B(x + 1, y) =
Γ(x + y + 1)
xΓ(x)Γ(y) x Γ(x)Γ(y)
= = ·
(x + y)Γ(x + y) x + y Γ(x + y)
x
B(x + 1, y) = · B (x, y) (11.6)
x+y
And, by symmetry,
y
B(x, y + 1) = · B(x, y)
x+y
11.3. PROPERTIES AND REPRESENTATIONS 301
Hence,
x y
B(x, y + 1) + B(x + 1, y) = · B (x, y) + · B(x, y)
x+y x+y
Theorem
An alternative integral representation of the beta function is
given by
Z ∞
ux−1
B(x, y) = du , R(x), R(y) > 0 (11.7)
0 (1 + u)x+y
Z 1
B(x, y) = tx−1 (1 − t)y−1 dt
0
∞
ux−1
Z
= du
0 (1 + u)x−1 (1 + u)y−1 (1 + u)2
∞
ux−1
Z
= du
0 (1 + u)x+y
Solution
1
∞
u n −1 ln u
Z
1
I= du
n2 0 1+u
∞
tx−1
Z
B(x, y) = dt
0 (1 + t)x+y
11.4. SOME PROBLEMS 303
Since
Γ(x)Γ(y)
B(x, y) =
Γ(x + y)
We can express I as
1 ∂
I= Γ(x)Γ(1 − x) 1
x= n
n2 ∂x
Γ(x)Γ(1 − x) = π csc(πx)
Hence,
1 ∂
I= π csc(πx) 1
x= n
n2 ∂x
π2
π π
= − 2 cot csc
n n n
Z ∞
dx
Example 2: Evaluate √
0 1 + x4 (1 + xπ )
Solution
We will solve a generalized form of the integral here. Define
Z ∞
dx
f (α) = √
0 1 + x4 (1 + xα )
304 CHAPTER 11. BETA FUNCTION
du
We then proceed to apply the u-substitution u = 1
x , dx = −
u2
Z ∞
dx
f (α) = √
0 1 + x4 (1 + xα )
Z 0
1 du
= ·−
u2
q
∞ 1 1
1+ u4
1+ uα
Z ∞
du
= √
1
0 u4 + 1 1 + uα
∞
uα
Z
du
= √ ·
0 u4 + 1 1 + uα
Therefore,
∞ ∞
uα
Z Z
du dx 1
2f (α) = √ · + √ ·
0 u4 + 1 1 + uα 0 1+x 4 1 + xα
11.4. SOME PROBLEMS 305
2 2
1
Γ 4 Γ 14
8f (α) = = √
Γ 21 π
Therefore,
2
Z ∞ Γ 14
dx
√ = √ (11.8)
0 1 + x4 (1 + xπ ) 8 π
π
cos2 x
Z
2
Example 3: Find √ dx
0 1 + cos2 x
306 CHAPTER 11. BETA FUNCTION
2
Figure 11.4: Graph of y = √ cos x
1+cos2 x
Solution
−du
dx = 3p √
4u4 1− u
Thus, √
Z 0
u du
I= p √ · 3p √
1 1 + u 4u 4 1 − u
11.4. SOME PROBLEMS 307
Z 1
1 − 14 − 12 1 3 1
= u (1 − u) du = B ,
4 0 4 4 2
We recall that
Γ(x)Γ(y)
B(x, y) =
Γ(x + y)
Therefore,
3 1
Γ 4 Γ 2
I=
4Γ 54
Γ 43 Γ 21
=
Γ 14
2
Z π
2 cos2 x Γ 43
∴ √ dx = √ (11.9)
0 1 + cos2 x 2π
Z ∞
dx
Example 4: Evaluate
0 1 + xn
Solution
√
n
Substituting x = tan2 u, dx = 2
n csc u sec u tan2/n u du gives
Z ∞ Z π/2
dx 2
I= = cos1−2/n u sin−1+2/n du
0 1 + xn n 0
Using (11.3),
1 1 1
I = B 1− ,
n n n
1 1 1
= Γ 1− Γ
n n n
308 CHAPTER 11. BETA FUNCTION
π π
I = csc
n n
Where in the last step we used Euler’s reflection formula.
Theorem
The Legendre duplication formula is given by:
√
1
Γ(x)Γ x + = 21−2x Γ(2x) π
2
And,
π
sin2x−1 (2t)
Z
2
B(x, x) = 2 dt
0 22x−1
Z π
B(x, x) = 2 1−2x
sin2x−1 (u)du
0
Z π
2
B(x, x) = 2 · 2 1−2x
sin2x−1 (u)du
0
11.5. EXERCISE PROBLEMS 309
1
=2 · B x,
1−2x
2
Γ(x)Γ 21
1−2x
=2 ·
Γ x + 12
Moreover,
Γ(x)Γ(x)
B(x, x) =
Γ(2x)
Putting it all together,
√
1
∴Γ x+ Γ(x) = 21−2x · Γ(2x) π (11.10)
2
√
Since Γ 1
2 = π.
Z π/2 √
2. Evaluate sin x dx
0
Z π/2
3. Find a closed form for ln sin x ln tan x dx
0
4. Use differentiation
Z 1 under the integral sign and the beta function
π2
to show that ln x ln(1 − x) dx = 2 −
0 6
310 CHAPTER 11. BETA FUNCTION
Z ∞ p
6. Evaluate
4
1 + x4 − x dx
0
7.
Challenge Problem
Zeta Function
311
312 CHAPTER 12. ZETA FUNCTION
12.1 Definition
Introduced by Euler in the first half of the 18th century, and then
expanded on by Riemann’s seminal 1859 paper On the Number of
Primes Less Than a Given Magnitude, the zeta function continues
to be vital not only in analysis but other domains of mathematics
such as number theory. Take the Riemann hypothesis, a centuries
old unsolved problem, which arose from investigating the nontrivial
zeroes of the zeta function. This problem has intimate ties to num-
ber theory and the distribution of primes, as shown by Riemann in
his 1859 paper1 .
Definition
The Riemann zeta function, usually denoted as ζ(·), is most
commonly defined as:
∞
X 1
ζ(s) = (12.1)
ns
n=1
Figure 12.1: Graph of y = ζ(x). Notice that the function ζ(x) di-
verges at x = 1. Moreover, limx→∞ ζ(x) = 1
We can easily prove some of these values. The most popular re-
sult here is the evaluation of ζ(2), which is also known as the Basel
problem. We will present Euler’s original approach to the problem
below.
π2
ζ(2) = (12.2)
6
∞
X (−1)n 2n+1 x x3 x5
sin x = x = − + + ···
(2n + 1)! 1! 3! 5!
n=0
314 CHAPTER 12. ZETA FUNCTION
∞
sin x X (−1)n 2n 1 x2 x4
= x = − + + ···
x (2n + 1)! 1! 3! 5!
n=0
! ! !
sin x x2 x2 x2
= 1− 2 1− 2 1− 2 ···
x π 4π 9π
1 1 1
Sum of the coefficients of x = −2
2
+ 2 + 2 + ···
π 4π 9π
∞
1 X 1
=−
π2 n2
n=1
∞
1 1 X 1
− =− 2
3! π n2
n=1
∞
X 1 π2
∴ 2
= ζ(2) =
n 6
n=1
2
See Mead, D. G. (1992). Newtons Identities. The American Mathematical
Monthly, 99(8), 749. doi:10.2307/2324242
12.2. SPECIAL VALUES 315
π4
ζ(4) = (12.3)
90
π2
Proof. Since ζ(2) = 6 , we can write:
∞
X 1 1
=
π 2 n2 6
n=1
2
∞
X 1 1
=
π 2 n2 36
n=1
2
∞
X 1 1 1 1 1 1 1 1
= 4 + + ··· + + ···
π 2 n2 π 12 22 32 12 22 32
n=1
∞
X 1 X 1
= +2 (12.4)
π 4 n4 π 4 n2 k 2
n=1 n<k
To see why this is true, simply expand a product of two finite sums.
For example,
1 1 1 1 1 1
+ + + +
12 22 32 12 22 32
316 CHAPTER 12. ZETA FUNCTION
1h1 1 1
Sum of coefficients of x = 4 2
4
+ + ···
π 1 22 32
1 1 1 i
+ 2 + + · · · + · · ·
2 32 42
X 1
=
π 4 n2 k 2
n<k
X 1 1 1
= =
π 4 n2 k 2 5! 120
n<k
∞
1 X 1 1
= +2
36 π 4 n4 120
n=1
∞
X 1 1
=
π 4 n4 90
n=1
∞
X 1 π4
∴ =
n4 90
n=1
12.3. PROPERTIES AND REPRESENTATIONS 317
The most well-known form of the Riemann zeta function is its se-
ries representation, (12.1), which was considered by Euler in 1740
for positive integral values of s. The Russian mathematician Pafnuty
Chebyshev then extended the function through analytic continua-
tion to the following integral form:
∞
xs−1
Z
1
ζ(s) = dx (12.5)
Γ(s) 0 ex − 1
Perhaps the most notable aspect about the zeta function is its rela-
tion to prime numbers:
Theorem
The Riemann zeta function can be expressed as
Y 1
ζ(s) = (12.6)
1 − p−s
p prime
∞
X
rn = (1 − r)−1
n=1
3
Havil, J. "The All-Important Formula." §7.1 in Gamma: Exploring Euler’s
Constant. Princeton, NJ: Princeton University Press, pp. 61-62, 2003.
318 CHAPTER 12. ZETA FUNCTION
∞
X
(1 − p−s )−1 = p−sn
n=1
For some prime p and s > 1. The convergence of this series is easily
demonstrable as the smallest prime number is 2. Notice that
1 1 1
(1 − 2−s )−1 = 1 + s
+ s + s + ···
2 4 8
And,
1 1 1
(1 − 3−s )−1 = 1 + s
+ s + s + ···
3 9 27
−s −1 −s −1 1 1 1
(1 − 2 ) (1 − 3 ) = 1 + s + s + s ···
2 4 8
1 1 1
· 1 + s + s + s ···
3 9 27
Notice that this will produce all numbers of the form 2a1 3a2 , where
a1 , a2 ∈ N0 . Define S(p1 , p2 , · · · , pn ) as the set of all numbers that
can be expressed as pa11 pa22 · · · pann where an ∈ N0 . Note that there
are no duplications in S by the fundamental theorem of arithmetic.
Using our new notation, we have
X 1
(1 − 2−s )−1 (1 − 3−s )−1 =
ns
n∈S(2,3)
Similarly,
12.3. PROPERTIES AND REPRESENTATIONS 319
X 1
(1 − 2−s )−1 (1 − 3−s )−1 (1 − 5−s )−1 · · · (1 − p−s
k )
−1
=
ns
n∈S(2,3,5,···,pk )
Since
lim S(2, 3, 5 · · · , pk ) ≡ N
k→∞
We can write
∞
X 1 X 1
lim s
=
k→∞ n ns
n∈S(2,3,5···,pk ) n=1
Y 1
ζ(s) =
1 − p−s
p prime
Theorem
The generating function for even values of the zeta function
is given by:
∞
1 X
(1 − πz cot πz) = ζ(2n)z 2n (12.7)
2
n=1
∞
!
Y z2
sin πz = πz 1− 2
k
k=1
∞ 2 !
X z
ln sin πz = ln π + ln z + ln 1 −
k
k=1
∞
1 X 2z 1
π cot πz = − ·
z k2 1 − z 2
k=1 k
∞
1 X z 1
= −2 ·
z k 1− z 2
2
k=1 k
∞
1 X
= xn
1−x
n=0
12.3. PROPERTIES AND REPRESENTATIONS 321
z 2
Which holds for any |x|< 1. Since < 1 for |z|< 1, we can write
k
∞ 2n
1 X z
=
z 2
1− k
k n=0
And,
X X z 2n+1 ∞ ∞
1
π cot πz = − 2
z k 2n+2
k=1 n=0
∞ ∞
1 X X 1
= −2 z 2n+1
z k 2n+2
n=0 k=1
By the definition of the zeta function, the inner sum is ζ(2n + 2).
Thus,
∞
1 X
π cot πz = − 2 ζ(2n + 2)z 2n+1
z
n=0
∞
X
∴ πz cot πz = 1 − 2 ζ(2n)z 2n (12.8)
n=1
We have already seen how to evaluate ζ(2) and ζ(4). But, what
about ζ(6)? Maybe even ζ(8)? Instead of deriving each even zeta
value separately, we will present a recursive formula for evaluating
any ζ(2n).
Theorem
The recursive formula for even zeta function values is given
by:
n−1
(−1)n+1 π 2n X (−1)k+1 π 2k
ζ(2n) = n+ ζ(2n − 2k) (12.9)
(2n + 1)! (2k + 1)!
k=1
Proof. This theorem might look intimidating, but the proof we will
present uses only elementary techniques. We begin by trying to
evaluate a power series for z cot z. Consider
∞
X
z cot z = a(n)z 2n
n=0
∞
cos z X
z· = a(n)z 2n
sin z
n=0
12.3. PROPERTIES AND REPRESENTATIONS 323
∞
sin z X
cos z = a(n)z 2n
z
n=0
∞
X (−1)n z 2n
cos z =
(2n)!
n=0
∞
X (−1)n z 2n+1
sin z =
(2n + 1)!
n=0
∞ ∞ ∞
X (−1)n z 2n X (−1)n z 2n X
= a(n)z 2n
(2n)! (2n + 1)!
n=0 n=0 n=0
(−1)n z 2n
In our case, an = (2n+1)! , bn = a(n)z 2n . Therefore,
∞ ∞ ∞ X
n
X (−1)n z 2n X
2n
X (−1)k z 2k
a(n)z = ·a(n−k)z 2n−2k
(2n + 1)! (2k + 1)!
n=0 n=0 n=0 k=0
∞ n
X X a(n − k)
= z 2n (−1)k
(2k + 1)!
n=0 k=0
324 CHAPTER 12. ZETA FUNCTION
Then,
∞ ∞ n
X (−1)n z 2n X
(−1)k a(n − k) z 2n
X
= (12.10)
(2n)! (2k + 1)!
n=0 n=0 k=0
n
(−1)n X a(n − k)
= (−1)k
(2n)! (2k + 1)!
k=0
We can isolate the first term of the series above, which is simply
a(n).
n n
X a(n − k) X a(n − k)
(−1)k = a(n) + (−1)k
(2k + 1)! (2k + 1)!
k=0 k=1
n
(−1)n X a(n − k)
a(n) = − (−1)k (12.11)
(2n)! (2k + 1)!
k=1
0
X a(n − k)
1= (−1)k
(2k + 1)!
k=0
∴ a(0) = 1
We can use this value to break up the series in (12.11) further. Iso-
lating the value when k = n gives:
12.3. PROPERTIES AND REPRESENTATIONS 325
n−1
(−1)n (−1)n X a(n − k)
a(n) = − − (−1)k
(2n)! (2n + 1)! (2k + 1)!
k=1
n−1
(−1)n 2n X a(n − k)
= − (−1)k (12.12)
(2n + 1)! (2k + 1)!
k=1
∞ 2n
X z
z cot z = 1 − 2 ζ(2n)
π
n=1
∞
X z 2n
=1−2 ζ(2n) (12.13)
π 2n
n=1
∞
X
z cot z = a(n)z 2n
n=0
∞
X
=1+ a(n)z 2n
n=1
By matching up the coefficients of our hypothetical series and the
series in (12.13), we obtain that
2ζ(2n)
a(n) = −
π 2n
2ζ(2n − 2k)
2ζ(2n) (−1)n 2n X
n−1 −
− 2n = − (−1)k π 2n−2k
π (2n + 1)! (2k + 1)!
k=1
326 CHAPTER 12. ZETA FUNCTION
n−1
(−1)n+1 π 2n n X (−1)k+1 π 2k
∴ ζ(2n) = + ζ(2n − 2k)
(2n + 1)! (2k + 1)!
k=1
Hence proved. This formula can be used to find all even zeta val-
ues:
π2
ζ(2) =
6
2 · π4 π2 π4
ζ(4) = − + ζ(2) =
5! 3! 90
3π 6 π 4 π 2 π6
ζ(6) = − ζ(2) + ζ(4) =
7! 5! 3! 945
4·π 8 π 6 π 4 π2 π8
ζ(8) = − + ζ(2) − ζ(4) + ζ(6) =
9! 7! 5! 3! 9450
And so on.
Solution
We will start off by the prime product formula for the zeta func-
tion, (12.6):
Y 1
ζ(s) =
1 − p−s
p prime
Y 1
ln ζ(s) = ln
1 − p−s
p prime
Since ln ln an , we have:
Q P
an =
X 1
ln ζ(s) = ln
1 − p−s
p prime
X
=− ln 1 − p−s
p prime
ζ 0 (s) X ln p
− =
ζ(s) ps − 1
p prime
328 CHAPTER 12. ZETA FUNCTION
X ln p
= 12 ln A − γ − ln(2π)
p2 −1
p prime
∞
X ζ(n)
Example 2: Evaluate
2n
n=2
Solution
∞
X
f (α) = (−α)n ζ(n)
n=2
12.4. SOME PROBLEMS 329
∞ X
∞
X (−α)n
f (α) =
kn
n=2 k=1
∞ X
∞ n
X α
= (−1)n
k
k=1 n=2
1
Recall the power series expansion of :
1+x
∞
1 X
= (−1)n xn
1+x
n=0
Therefore,
∞ 2 !
X α 1
f (α) = · α
k 1+ k
k=1
∞
!
X α2
=
k(k + α)
k=1
330 CHAPTER 12. ZETA FUNCTION
∞
X 1 1
=α −
k k+α
k=1
=⇒ f (α) = α γ + ψ(α + 1)
Our desired sum is f − 12 . Thus,
" #
1 1 1
f − =− γ+ψ
2 2 2
Since
1
ψ = −2 ln 2 − γ
2
We have
∞
X ζ(n)
= ln 2
2n
n=2
Z π
2 ln cos x ln sin x
Example 4: Evaluate dx
0 tan x
Solution
" #1
1 ln 1 − y 2 ln2 y
1 1 y ln2 y
Z
I= + dy
2 2 2 0 1 − y2
0
Consider the first term. Using the power series expansion of ln(1 − x),
we can express the numerator as
∞
X y 2n ln2 y
A = ln2 y ln 1 − y 2 = −
n
n=1
332 CHAPTER 12. ZETA FUNCTION
∞ ∞
X y 2n ln2 y X ln2 y
lim A = − lim =− lim n
y→0 y→0 n y→0
y 2n
n=1 n=1
∞
X ln y
=⇒ lim A = lim 2
y→0 y→0 n
n=1 y 2n
Again, we have a ∞
∞ case, so we will use L’Hopital’s rule once more.
∞
X y 2n
lim A = − lim
y→0 y→0 2n3
n=1
lim A = 0
y→0
Hence,
" #1
ln 1 − y 2 ln2 y
=0−0=0
2
0
We then have
1
y ln2 y
Z
1
I= dy
2 0 1 − y2
12.4. SOME PROBLEMS 333
Substituting y = et , dy = et dt,
0
e2t t2
Z
1
I= dt
2 −∞ 1 − e2t
e−2t
We then multiply by to get
e−2t
0
t2
Z
1
I= dt
2 −∞ e−2t − 1
∞
u2
Z
1
I= du
16 0 eu −1
∞
us−1
Z
1
ζ(s) = du
Γ(s) 0 eu − 1
Therefore,
1 ζ(3)
I= Γ(3)ζ(3) =
16 8
∞
x10
Z
Example 5: Evaluate dx
0 e3x − 1
∞
xα
Z
f (α, β) = dx
0 eβx − 1
334 CHAPTER 12. ZETA FUNCTION
x10
Figure 12.5: Graph of y = e3x −1
e−βx
Notice that we can multiply by e−βx
to get:
∞
e−βx xα
Z
f (α, β) = dx
0 1 − e−βx
∞
x X
= xn
1−x
n=1
Z ∞
∞X
f (α, β) = xα e−βxn dx
0 n=1
12.5. EXERCISE PROBLEMS 335
∞ Z
X ∞
f (α, β) = xα e−βxn dx
n=1 0
∞ Z ∞
1 X 1
f (α, β) = uα e−u du
β α+1 nα+1 0
n=1
ζ(α + 1)Γ(α + 1)
f (α, β) =
β α+1
ζ(11)Γ(11)
f (10, 4) =
311
x
Z ∞ ln x ln x+1
3) Find dx
0 (1 + x)2
336 CHAPTER 12. ZETA FUNCTION
1
x ln2 x
Z
4) Evaluate dx
0 2(1 − x)2
∞
X ζ(n) − 1
5) Find
n
n=2
1
ln(1 − x) ln(1 + x)
Z
6) Find the value of dx
0 x
Z π/2
7) Evaluate x ln sin x dx
0
Applications in the
Mathematical Sciences and
Beyond
339
Chapter 13
341
342 CHAPTER 13. THE BIG PICTURE
13.1 Introduction
However, the author would like to diverge from the evaluate, find,
etc, terminology used prior in the book. This part is designed to
stimulate an appreciation for not only the mathematics behind
physical laws but the science as well. I hope to accomplish this
through a thorough discussion of the scientific principles and math-
ematics involved.
Classical Mechanics
345
346 CHAPTER 14. CLASSICAL MECHANICS
14.1 Introduction
Definition
The Lagrangian is the central feature of Lagrangian me-
chanics. Lagrangian mechanics uses a quantity named the
Lagrangian to summarize the dynamics of the entire system.
The non relativistic Lagrangian is defined as:
L = KE − U
Where U and KE represent potential energy and kinetic en-
ergy, respectively.
Definition
Lagrangian mechanics was introduced by the Italian-French
mathematician and astronomer Joseph-Louis Lagrange in
1788. It introduced a more systematic and sophisticated way
of analyzing classical systems compared to Newtonian me-
chanics. No new physics is introduced in Lagrangian me-
chanics, however, the focus is shifted from analyzing forces
to energies.
• First kind
N
∂L d ∂L X ∂fi
− + λk =0 (14.1)
∂rn dt ∂ ṙn ∂rn
n=1
• Second kind
d ∂L ∂L
= (14.2)
dt ∂ q̇n ∂qn
Find the time it takes for a heavy chain of mass M and length L to
fall into complete extension if initially the chain is at rest and point
B is held right next to A and then released. There are no internal
friction forces so mechanical energy is conserved. Assume the chain
is inextensible and perfectly flexible.
Solution
A
B
L+x
MLHS = M
2L
L+x
CMLHS =
4
L−x L + 3x
CMRHS = x + =
4 4
The total gravitational potential energy of our chain system is sim-
ply the sum of the potential energies of both sides. Equivalently,
U = ULHS + URHS
14.2. THE FALLING CHAIN 349
Where
ULHS = −g · MLHS · CMLHS
URHS = −g · MRHS · CMRHS
Here, g denotes the local acceleration due to gravity. We can then
write
Mg 2
U =− L + 2Lx − x2
4L
Notice that the LHS is stationary, but the RHS is in motion. The
kinetic energy is then:
ẋ2
KELHS + KELHS = 0 + MRHS
2
M (L − x)ẋ2
=
4L
Ex = Einitial
0
Ux + KEx = Uinitial +
KE :
initial
M (L − x)ẋ2 M g 2 M Lg
− L + 2Lx − x2 = −
4L 4L 4
We want to isolate ẋ so that we can figure out the time it takes for
B to reach x = L. With some algebraic manipulations we get
(L − x)ẋ2 − g L2 + 2Lx − x2 = −gL2
350 CHAPTER 14. CLASSICAL MECHANICS
r
gx(2L − x)
ẋ =
L−x
s
dt L−x
=
dx gx(2L − x)
s
L−x
dt = dx
gx(2L − x)
s
L
L−x
Z
T = dx (14.3)
0 gx(2L − x)
Substituting x = 2L sin2 u u u
2 , dx = 2L sin 2 cos 2 du = L sin u
gives,
v
L 1 − 2 sin2 u2
Z π
u
2
u
T = · L sin u du
u
t
0 2gL sin2 u2 2L − 2L sin2 u
2
14.2. THE FALLING CHAIN 351
Notice that
r !2
u 1 − cos u
1 − 2 sin2 =1−2
2 2
= 1 − 1 + cos u
= cos u
Hence,
Z π
cos u
2
s
T =L
u
u
· sin u du
4gL sin2 1 − sin2
0
2 2
π
s
cos u sin2 u
Z
2
=L du
4gL sin2 u2 cos2 u
0 2
Simplifying,
s π
√
Z
L 2
T = cos u du
g 0
s
L 1 3 1
T = · B ,
g 2 4 2
s 3 1
L Γ 4 Γ 2
= ·
g 2Γ 54
!2 s
3 2L
T = Γ
4 gπ
Alternate Solution
s
L
L−x
Z
T = dx
0 gx(2L − x)
Z π/2 s
L − L sin2 u
= · 2L sin u cos u du
0 gL sin2 u(2L − L sin2 u)
s
π/2
cos2 u
Z
L
=2 p du
g 0 2 − sin2 u
s
π/2
cos2 u
Z
L
T =2 √ du
g 0 1 + cos2 u
!2 s
3 2L
T = Γ
4 gπ
14.3. THE PENDULUM 353
Solution
2
m Lθ̇
KE =
2
Since for circular motion, vtangential = Lθ̇. Here θ̇ denotes the angu-
354 CHAPTER 14. CLASSICAL MECHANICS
U = −mLg cos θ
L = KE − U
2
m Lθ̇
= mgL cos θ +
2
∂L
= −mgL sin θ
∂θ
And,
∂L
= mL2 θ̇
∂ θ̇
So,
d ∂L
= mL2 θ̈
dt ∂ θ̇
g sin θ
θ̈ = − (14.4)
L
Figure 14.3: Notice that for large x, this approximation is not valid
g sin θ
θ̇θ̈ = − θ̇
L
g sin θ
∴ θ̇ dθ̇ = − dθ
L
θ̇2 g cos θ
= +C
2 L
C=0
θ̇2 g cos θ
=⇒ =
2 L
r
2g cos θ
θ̇ =
L
Since θ̇ = dt ,
dθ
we can separate θ and t as:
r
dθ 2g cos θ
=
dt L
r
dθ 2g
∴√ = dt
cos θ L
q
π T 2g
T
Z Z r
2 dθ 4 2g L
√ = dt =
0 cos θ 0 L 4
Solving for T ,
s Z π
L 2 dθ
T =4 √
2g 0 cos θ
14.4. POINT MASS IN A FORCE FIELD 357
Using (11.3),
Z π
2
B(x, y) = 2 cos2x−1 (θ) sin2y−1 (θ)dθ , R(x), R(y) > 0
0
We have
s
L 1 1
T =2 B ,
2g 4 2
s 1 1
L Γ 4 Γ 2
T =2 ·
2g Γ 34
s
L 1
= · Γ2
πg 4
Solution
Note that the case n = 1 corresponds with the inverse square law
of gravity. However, we want to generalize this problem to a force
of arbitrary order. Consider Newton’s second law of motion
358 CHAPTER 14. CLASSICAL MECHANICS
d2 x
F = ma = m (14.5)
dt2
d2 x dv
2
=
dt dt
dv dx dv
F =m = mv
dx dt dx
By the chain rule. Since the only force acting on our point mass is
due to the force field, we begin with
k dv
− = mv
xn+1 dx
k
− dx = v dv
mxn+1
Z Z
k
− dx = v dv
mxn+1
k −n v2
x +C =
mn 2
2k −n
v2 = x +C
mn
2k
C=−
mnxn0
And,
2k −n 2k
v2 = x −
mn mnxn0
!
2k 1 1
= − (14.6)
mn xn xn0
2 !
dx 2k 1 1
= −
dt mn xn xn0
v !
u
dx u 2k 1 1
= ±t −
dt mn xn xn0
r
dt mn 1
=± ·q
dx 2k 1 1
xn − xn 0
r
mn 1
∴ dt = ± ·q dx (14.7)
2k 1
n − 1
n
x x 0
Notice that
1 1
q =s
1 1 xn0 − xn
xn − xn
0
xn0 xn
360 CHAPTER 14. CLASSICAL MECHANICS
n/2
x0
=r
xn0 − xn
xn
n/2
x0
=q
x n
x
0
−1
r n/2
mn x
dt = ± · q 0 dx
2k x0 n
− 1
x
Integrating from 0 to T ,
T 0
Z r Z
n/2 mn 1
dt = ±x0 q dx
0 2k x0 x0 n
−1
x
The substitution u = x
x0 , dx = x0 du then gives
0
r Z
n/2 mn x0
T = ±x0 q du
2k 1 1
−1
un
0
r Z
1+ n mn 1
= ±x0 2 q du
2k 1 1
−1
un
1
r Z
1+ n mn 1
T = x0 2 q du
2k 0 1
−1
un
14.4. POINT MASS IN A FORCE FIELD 361
1
r Z
1+ n mn 1
T = x0 2 q du
2k 0 1
(1 − un )
un
1
un/2
r Z
1+ n mn
= x0 2 √ du
2k 0 1 − un
1
t n −1
Substituting t = un , du = dt,
n
√ 1
!
1
t n −1
r Z
1+ n mn t
T = x0 2 √ · dt
2k 0 1−t n
1 1
1
tn−2
r Z
1+ n m
= x0 2 √ dt
2nk 0 1−t
r Z 1
1+ n m 1 1 1
= x0 2
t n − 2 (1 − t)− 2 dt (14.8)
2nk 0
The reader should recognize the integral above as the main form
of the beta function, defined in (11.1). Using the beta-gamma rela-
tionship then gives
Z 1
1
− 21 − 12 1 1 1
t n (1 − t) dt = B + ,
0 2 n 2
1 1
Γ n + 2Γ 21
=
1
Γ n +1
√
πΓ n1 + 21
=
Γ n1 + 1
√
1 1
1+ n
r
m πΓ n + 2
T = x0 2
·
2nk 1
Γ n +1
1 1
1+ n
r
mπ Γ n + 2
= nx0 2 ·
2nk Γ n1
Notice that as the point mass approaches the origin, v gets arbi-
trarily large (See (14.6)). However, we know that v can not be-
come indefinitely large due to Einstein’s theory of special relativity.
Moreover, issues of relativistic mass have not been accounted for.
So, this calculation is not relativistically correct. However, it is a
good approximation and is a good exercise in classical mechanics.
Chapter 15
Physical Chemistry
363
364 CHAPTER 15. PHYSICAL CHEMISTRY
15.1 Introduction
Scientific Model
The Born-Landé equation is a means to calculate the lattice
energy of a crystalline ionic compound. It was developed by
the German physicist and mathematician Max Born as well
as the German physicist Alfred Landé. It is given by
N M z + z − e2 1
E= −1 (15.1)
4π0 r n
Where
1 z+ z− e 2
E0 = − ·
4π0 r
M z + z− e 2
ELR = M E0 = −
4π0 r
B
ER =
rn
M z + z− e 2 B
E = ELR + ER = − + n (15.2)
4π0 r r
dE
=0
dr r=rc
Therefore,
dE M z+ z− e2 nB
= − n+1
dr 4π0 r2 r
M z+ z− e2 nB
=⇒ 2
− n+1 = 0
4π0 rc rc
nB M z + z− e 2
=
rcn+1 4π0 rc2
M z+ z− e2 n−1
∴B= r
4π0 n c
M z+ z− e2 M z+ z− e2 n−1 1
E=− + r · n
4π0 rc 4π0 n c rc
M z + z− e 2
1
= −1
4π0 rc n
368 CHAPTER 15. PHYSICAL CHEMISTRY
Now that we know how the Madelung constant is used, we will ex-
plore it further. We can begin by defining it mathematically:
4
E. Izgorodina; et al. (2009). The Madelung Constant of Organic Salts.
Crystal Growth Design. 9 (11): 4834–4839. doi:10.1021/cg900656z.
15.1. INTRODUCTION 369
Definition
Where rnk denotes the distance between the nth and the k th
ion, and the sum is taken over all ions in the lattice struc-
ture, which is virtually infinite.
e X zk
Vn =
4π0 rnk
n6=k
e X zk e X zk rc
Vn = =
4π0 rc rnk /rc 4πrc rnk
n6=k n6=k
e
Vn = Mn
4π0 rc
felt by the nth ion is the electric potential acting on the ion multi-
plied by the ion’s charge,
e 2 z n Mn
En = Vn · ezn =
4π0 rc
Let us apply our new knowledge to the test! We will try to com-
pute the Madelung constant for sodium chloride. We will first look
at its structure.
Figure 15.2: The unit cell of sodium chloride. Here, the blue atoms
represent sodium while the bigger green atoms represent chlorine.
MNa = −MCl
p
r= x2 + y 2 + z 2
Also, notice that the sodium and chlorine atoms alternate on every
axis. To account for the difference in the sign of charge, we have to
multiply by the factor (−1)x+y+z . Since both sodium and chlorine
have the same magnitude of charge (1), we need not worry about it.
The Madelung constant is then
X (−1)x+y+z
p (15.4)
(x,y,z)6=(0,0,0)
x2 + y 2 + z 2
Consider the central atom in figure 17.1. We will account for long
range interactions by expanding spherically, i.e. we will consider
372 CHAPTER 15. PHYSICAL CHEMISTRY
Neighbors Distance
6 Cl− 1
√
12 Na+ 2
√
8 Cl− 3
√
6 Na+ 4
√
24 Cl− 5
ions
√ a distance 1 away on our coordinate axis, then ions a distance
2 away, and so on. We can organize this information in a table.
Therefore,
12 8 6 24
MNa = 6 − √ + √ − √ + √ + · · · (15.5)
2 3 4 5
∞
X (−1)n r3 (n)
MNa = √ (15.6)
n=1
n
k
X
LR = r3 (n) (15.7)
n=1
√ √
For k ≤ R < k + 1, k ∈ N+ . We are essentially summing all
lattice points by looking at layers of a sphere. It is easy to see that
4πR3
LR − = O(R2 ) (15.8)
3
LR 4π
lim 3
= (15.9)
R→∞ R 3
r3 (n)
lim √ =0
n→∞ n
374 CHAPTER 15. PHYSICAL CHEMISTRY
√
Now, consider letting R = k in (15.7) to get:
k
X
L√ k = r3 (n)
n=1
Multiplying by k −3/2 ,
k
L√k 1 X
= r3 (n)
k 3/2 k 3/2 n=1
r3 (n)
Now, denote Xn = √ .
n
Thus,
k
L√k 1 X √
= Xn n
k 3/2 k 3/2 n=1
N k
L√k 1 X √ 1 X √
= Xn n + 3/2 Xn n
k 3/2 k 3/2 n=1
k n=N +1
N k
1 X √ CN X √
≤ Xn n + 3/2 n (15.10)
k 3/2 n=1
k n=N +1
k k+1 √ k+1
√
Z
X 2 3/2
n≤ x dx = x
N +1 3 N +1
n=N +1
2
= (k + 1)3/2 − (N + 1)3/2 (15.11)
3
15.3. THE RIEMANN SERIES THEOREM IN ACTION 375
N
L√k 1 X √ 2CN 3/2 3/2
≤ Xn n + (k + 1) − (N + 1)
k 3/2 k 3/2 n=1 3k 3/2
N !
√ k + 1 3/2 N + 1 3/2
1 X 2CN
= 3/2 Xn n + −
k 3 k k
n=1
Letting k → ∞ gives:
L√k 2CN
lim sup ≤
k→∞ k 3/2 3
lim CN = 0
N →∞
Thus,
L√k
lim =0
k→∞ k 3/2
X (−1)x+y+z
p = 1.747 . . .
x 2 + y2 + z2
(x,y,z)6=(0,0,0)
(−1)x+y+z
X X π 2
p = 12 π sech2 (n + k 2 )1/2
x2 + y 2 + z 2 2
(x,y,z)6=(0,0,0) n,k≥1, odd
8
Borwein, D.; Borwein, J. M.; Taylor, K. F. (1985). Convergence of Lat-
tice Sums and Madelung’s Constant. J. Math. Phys. 26 (11): 2999–3009. Bib-
code:1985JMP....26.2999B. doi:10.1063/1.526675.
9
Bailey, D. H.; Borwein, J. M.; Kapoor, V.; and Weisstein, E. W. Ten Prob-
lems in Experimental Mathematics. Amer. Math. Monthly 113, 481-509, 2006.
15.4. PHARMACEUTICAL CONNECTIONS 377
10
Ho, Raimundo, et al. Multiscale Assessment Of Api Physical Prop-
erties In The Context Of Materials Science Tetrahedron Concept. Chem-
ical Engineering in the Pharmaceutical Industry, 2019, pp. 689–712.,
doi:10.1002/9781119600800.ch30.
378 CHAPTER 15. PHYSICAL CHEMISTRY
Definition
The Debye model is a model developed by Dutch-American
physicist and chemist Peter Debye to predict the specific
heat of solidsa . This model correctly predicts the tempera-
ture dependence of the heat capacity for low temperatures
and high temperatures, but fails at intermediate tempera-
tures due to its underlying assumptions.
a
Debye, Peter (1912). Zur Theorie der spezifischen Waerme. An-
nalen der Physik. 39 (4): 789–839. Bibcode:1912AnP...344..789D.
doi:10.1002/andp.19123441404.
3 Z TD /T
x4 e x
T
C = 9N k dx
TD 0 (ex− 1)2
Where
• k is Boltzmann’s constant
• T is the temperature
At low temperatures,
TD
→∞
T
Hence,
15.5. THE DEBYE MODEL 379
3 Z ∞
x4 ex
T
C = 9N k dx
TD 0 (ex − 1)2
" #∞ Z
∞ ∞
x4 ex x4 4x3
Z
dx = − − dx
0 (ex − 1)2 ex − 1 0 ex − 1
0
d 4
x4 dx x
lim − = lim − d
x→0 ex − 1 x
dx (e − 1)
x→0
= − lim 4e−x x3
x→0
3 Z ∞
x3
T
C = 36N k dx
TD 0 ex − 1
∞
x3 e−x
Z
I= dx
0 1 − e−x
380 CHAPTER 15. PHYSICAL CHEMISTRY
Z ∞ ∞
X
I= x3 e−x e−xn dx
0 n=0
∞ Z
X ∞
I= x3 e−xn dx
n=1 0
∞
X 1
I = 3!
n4
n=1
π4
= 6ζ(4) =
15
Which agrees with our result if we had used (12.5). Plugging this
integral into the expression for C then gives
3
12π 4 N k
T
C=
5 TD
Chapter 16
Statistical Mechanics
381
382 CHAPTER 16. STATISTICAL MECHANICS
16.1 Introduction
Definition
In statistical mechanics, a degree of freedom is a scalar quan-
tity describing the microstate of the system. A microstate
is simply a specific microscopic configuration of a thermody-
namic system.
Definition
The statistical ensemble is a collection of many possible
states of a system, each assigned a certain probability. Sim-
ply put, a statistical ensemble is a probability distribution
for the state of the system.
1
Tolman, R. C. (1938). The Principles of Statistical Mechanics. Dover Pub-
lications. ISBN 9780486638966.
2
Gibbs, Josiah Willard (1902). Elementary Principles in Statistical Mechan-
ics. New York: Charles Scribner’s Sons.
16.2. EQUATIONS OF STATE 383
Now, there are three main ensembles defined for any isolated sys-
tem occupying a finite volume:
• Microcanonical ensemble
• Canonical ensemble
The reader might recall the ideal gas law from chemistry,
P V = nRT (16.1)
Where:
The equation was first stated by the French physicist Émile Clapey-
ron as a combination of the less inclusive gas laws of Boyle, Charles,
384 CHAPTER 16. STATISTICAL MECHANICS
Definition
The compressibly factor, usually denoted as Z, is a correc-
tion factor which describes the deviation of a real gas from
ideal gas behaviour. It is defined as:
PV
Z=
nRT
Notice that for an ideal gas, Z = 1 by the ideal gas formula
(16.1).
R = Ak
3
Clapeyron, E. (1834). Mémoire sur la puissance motrice de la chaleur.
Journal de l’École Polytechnique (in French). XIV: 153–90. Facsimile at the
Bibliothèque nationale de France (pp. 153–90).
16.3. VIRIAL EXPANSION 385
P V = N kT
N
ρ≡
V
P
=⇒ =ρ
kT
Z = 1 + B2 ρ + B3 ρ 2 + · · ·
Z
B2 (T ) = −2π r2 e−u(r)/(kT ) − 1 dr
Scientific Model
The Lennard-Jones potential is a simple model that approx-
imates the interaction between a pair of neutral atoms or
molecules. A form of this interatomic potential was first pro-
posed in 1924 by John Lennard-Jonesa . The most common
version of this model is given by:
" 6 #
σ 12 σ
VLJ (r) = 4 −
r r
a
Lennard-Jones, J. E. (1924). On the Determination of Molec-
ular Fields. Proc. R. Soc. Lond. A, 106 (738): 463–477. Bib-
code:1924RSPSA.106..463J, doi:10.1098/rspa.1924.0082
Where
" #
Z ∞
2 VLJ (r)
B2 = −2π r exp − − 1 dr
0 kT
" #
∞
Z 12 6
4 σ σ
= −2π r2 exp − − − 1
dr
0 kT r r
Z ∞ !
4 1 1
B2 = −2πσ 3 x2 exp − 12
− 6 − 1 dx
0 kT x x
Z ∞ !
4 1 1
B2 = −2πσ 3 x2 exp − − − 1 dx
0 T ∗ x12 x6
Challenge Problem
Even the person reading this right now is generating light! How-
ever, much of this light is in the infrared spectrum, making it invis-
ible to the unassisted human eye. Nonetheless, it is still energy that
can be harnessed for power.
Now, we go back about 100 years to the year 1900. The model
used to calculate the spectral radiance of a black body was the
Rayleigh-Jeans law given by
2ckT
Bλ (T ) =
λ4
Where
• λ is the wavelength
• k is Boltzmann’s constant
• T is the absolute temperature
2ν 2 kT
Bν (T ) =
c2
∞ ∞
2ν 2 kT
Z Z
Bν (T ) dν = dν
0 0 c2
" #∞
2kT ν3
=∞
c2 3
0
Which diverges! But, this can not be true. The energy an object
is emitting must be finite. This theoretical malfunction would be
named the ultraviolet catastrophe. The problem is, the law cor-
rectly predicts experimental results for ν < 105 GHz but fails to do
4
Kutner, Mark L. (2003). Astronomy: A Physical Perspective. Cambridge
University Press. p. 15. ISBN 0-521-52927-1.
390 CHAPTER 16. STATISTICAL MECHANICS
2hν 3 1
Bν (ν, T ) =
c2 e kT
hν
−1
Where h denotes the Planck constant. Note that Bν has the unit
16.4. BLACKBODY RADIATION 391
"power per unit surface area per unit solid angle per unit frequency
emitted." To derive the power emitted per unit area, we have to
calculate the integral
Z ∞ Z 2π Z π/2
P
= Bν dν dφ cos θ sin θ dθ
A 0 0 0
Z ∞
=π Bν dν
0
Substituting x = hν
kT , dν = kT
h dx gives:
∞ 4 Z ∞
x3
Z
2h kT
Bν dν = dx
0 c2 h 0 ex − 1
∞
xα
Z
f (α) = dx
0 ex − 1
Z ∞
Γ(z) = xz−1 e−x dx
0
Z ∞
Γ(z) = nz uz−1 e−nu du
0
Z ∞
1 1
∴ = uz−1 e−nu du
nz Γ(z) 0
392 CHAPTER 16. STATISTICAL MECHANICS
∞ ∞ Z ∞
X 1 X 1
= uz−1 e−nu du
nz Γ(z) 0
n=1 n=1
∞ Z ∞ ∞
X 1 1 X
= uz−1
e−nu du
nz Γ(z) 0
n=1 n=1
We can then easily evaluate the sum on the RHS by the power se-
ries expansion of 1−x
1
.
∞ Z ∞
X 1 1 z−1 1
=⇒ = u − 1 du
nz Γ(z) 0 1 − e−u
n=1
∞
uz−1 e−u
Z
1
= du
Γ(z) 0 1 − e−u
eu
We can multiply by eu to get:
∞ Z ∞ z−1
X 1 1 u
z
= du
n Γ(z) 0 eu − 1
n=1
Notice that for R(z) > 1, the RHS is equivalent to ζ(z). Therefore,
∞
uz−1
Z
ζ(z)Γ(z) = du (16.2)
0 eu − 1
∞
π2
Z
u
du =
0 eu − 1 6
Scientific Model
The Fermi-Dirac (F-D) distribution characterizes a system
of identical fermions (particles with half integer spin) in
thermodynamic equilibrium. In that scenario, the average
number of fermions in a single-particle state i is given by the
sigmoid functiona :
1
ni = (16.3)
e(Ei −µ)/kT +1
a
Reif, F. (1965). Fundamentals of Statistical and Thermal Physics.
McGraw–Hill. ISBN 978-0-07-051800-1.
Where
• k is Boltzmann’s constant
Scientific Law
The Pauli exclusion principle was formulated by Austrian
physicist Wolfgang Pauli in 1925 for electrons, and later ex-
tended to all fermions with his spin–statistics theorem of
1940a . It states that two or more identical fermions cannot
occupy the same quantum state within a quantum system
simultaneously.
a
Pauli, Wolfgang (1980). General principles of quantum mechanics.
Springer-Verlag. ISBN 9783540098423.
Si Si !
Wi = =
Ni (Si − Ni ) ! Ni !
Y Y Si !
W = Wi =
(Si − Ni ) ! Ni !
i i
Where the product is taken over all i. We now seek to set Ni val-
ues such that we maximize W using our basic optimization tools.
Remember from the fundamental laws of thermodynamics that
396 CHAPTER 16. STATISTICAL MECHANICS
the most likely distribution is that with the largest amount of mi-
crostates. But, before we proceed we need to take the natural loga-
rithm of W . Simply put, solving d (ln W ) = 0 is much simpler than
solving d(W ) = 0. Since
d(W )
d (ln W ) =
W
X
ln W = ln (Si ! ) − ln (Si − Ni )! − ln (Ni ! )
i
ln x! = x ln x − x
X
ln W = Si ln (Si ) − Si − (Si − Ni ) ln (Si − Ni )
i
+ (Si − Ni ) − Ni ln (Ni ) + Ni
X
= Si ln (Si ) − (Si − Ni ) ln (Si − Ni ) − Ni ln (Ni )
i
d ln W X ∂W
=
dNi ∂Ni
i
16.5. FERMI-DIRAC (F-D) STATISTICS 397
X ∂W
d (ln W ) = dNi (16.4)
∂Ni
i
Since dSi
dNi = 0 (Si is a constant with respect to Ni ), we can write:
∂W
= ln (Si − Ni ) + 1 − ln (Ni ) − 1
∂Ni
Si
= ln −1 (16.5)
Ni
" #
X Si
d (ln W ) = ln −1 dNi
Ni
i
" #
X Si
ln −1 dNi = 0
Ni
i
Although many readers are familiar with how to deal with such
constrained problems (Using Lagrange multipliers), a brief intro-
duction to Lagrange multipliers will be provided.
398 CHAPTER 16. STATISTICAL MECHANICS
Theorem
The method of Lagrange multipliers is a strategy for finding
the local maxima or minima of a function subject to equality
constraintsa . The method for one constraint can be summa-
rized as follows: in order to find the stationary points of f (x)
under the constraint g(x) = 0, find the stationary points of:
X
N− Ni = 0
i
X
E− Ei Ni = 0
i
Therefore,
X X
L(x, λ1 , λ2 ) = ln W + λ1 N − Ni + λ2 E − Ei Ni
i i
∂W
= λ1 + λ2 Ei
∂Ni
Using (16.5) and exponentiating both sides„
Si
ln −1 = λ1 + λ2 Ei
Ni
Si
− 1 = eλ1 +λ2 Ei
Ni
Si
∴ Ni =
1+ e 1 +λ2 Ei
λ
S = k ln W = kL(x, λ1 , λ2 )
∂S ∂S
= kλ1 , = kλ2
∂N ∂E
dE = T dS − P dV + µdN
1
=⇒ dS = (dE + P dV − µdN )
T
∂S µ
=⇒ = kλ1 = −
∂N E,V T
400 CHAPTER 16. STATISTICAL MECHANICS
∂S 1
= kλ2 =
∂E N,V T
Solving for λ1 , λ2
µ
λ1 = −
kT
1
λ2 =
kT
Therefore,
1
ni =
e(Ei −µ)/kT +1
Chapter 17
Miscellaneous
401
402 CHAPTER 17. MISCELLANEOUS
x2 + y 2 ≤ R 2
x2 + y 2 + z 2 ≤ R 2
To the reader that is familiar with multiple integrals and the use of
spherical coordinates, this section will be rather easy. However, a
brief introduction is given below.
17.1. VOLUME OF A HYPERSPHERE OF DIMENSION N 403
Definition
The spherical coordinates of a point are given by (r, θ, ϕ),
where
• r = x2 + y 2 + z 2
p
• ϕ = arctan xy
• θ = arccos zr
• x = r sin θ cos ϕ
• y = r sin θ sin ϕ
• z = r cos θ
n
∂(x1 , x2 , · · · , xn )
d V =
∂(r, ϕ1 , · · · , ϕn−1 )
cos(ϕ1 ) −r sin(ϕ1 ) 0 0 ··· 0
sin(ϕ1 ) cos(ϕ2 ) r cos(ϕ1 ) cos(ϕ2 ) −r sin(ϕ1 ) sin(ϕ2 ) 0 · · · 0
.. .. .. ..
= det
. . . . . . .
0
sin(ϕ1 ) · · · sin(ϕn−2 ) cos(ϕn−1 ) ··· ··· −r sin(ϕ1 ) · · · sin(ϕn−2 ) sin(ϕn−1 )
sin(ϕ1 ) · · · sin(ϕn−2 ) sin(ϕn−1 ) r cos(ϕ1 ) · · · sin(ϕn−1 ) ··· r sin(ϕ1 ) · · · sin(ϕn−2 ) cos(ϕn−1 )
17.1.2 Calculation
! Z ! Z
Z R 2π π
N −1 N −2
VN (R) = r dr dϕN −1 sin (ϕ1 )dϕ1
0 0 0
Z π
··· sin(ϕN −2 )dϕN −2
0
! Z
2π π
RN
Z
N −2
VN (R) = dϕN −1 sin (ϕ1 )dϕ1
N 0 0
Z π
··· sin(ϕN −2 )dϕN −2
0
1
Blumenson, L. E. (1960). A Derivation of n-Dimensional Spheri-
cal Coordinates. The American Mathematical Monthly. 67 (1): 63–66.
doi:10.2307/2308932. JSTOR 2308932.
17.1. VOLUME OF A HYPERSPHERE OF DIMENSION N 405
Z π
2
B(x, y) = 2 sin2x−1 (t) cos2y−1 (t)dt
0
See (11.3) for derivation. However, we need to find a way to change
the interval of our integrals to 0, π2 . The first integral’s change
Therefore,
406 CHAPTER 17. MISCELLANEOUS
π π
! !
RN
Z Z
2 2
N −2
VN (R) = 2 sin (ϕ1 )dϕ1 ··· 2 sin(ϕN −2 )dϕN −2
N 0 0
π
Z !
2
· 4 dϕN −1
0
RN
N −1 1 N −2 1 1 1 1
VN (R) = ·B , ·B , · · · B 1, ·2B ,
N 2 2 2 2 2 2 2
N −1
RN Γ 2 Γ 21 Γ N 2−2 Γ 12 Γ N 2−3 Γ 12
= · ·
N Γ N2 Γ N 2−1 Γ N 2−2
Γ (1) Γ 12 Γ 21 Γ 21
··· ·2
Γ 32 Γ (1)
N
2π 2 RN
VN (R) =
N Γ N2
N
π 2 RN
∴ VN (R) = (17.1)
Γ N2 + 1
17.1. VOLUME OF A HYPERSPHERE OF DIMENSION N 407
17.1.3 Discussion
N
π2
VN (1) =
N
Γ 2 +1
Challenge Problem
However, one feature for all radii holds true, the volume of the hy-
17.1. VOLUME OF A HYPERSPHERE OF DIMENSION N 409
N
π 2 RN
lim VN (R) = lim
N →∞ N →∞
Γ N2 + 1
x1 = x2 = · · · = xN
This line intersects our N −ball at ± √1N , · · · , √1N . As N → ∞,
this bounding region becomes smaller and smaller.
17.1.4 Applications
Definition
The curse of dimensionality refers to various phenomena
that arise when analyzing data in high-dimensional spaces,
that do not occur in low-dimensinal space such as the
3−dimensional space we experience everyday. This expres-
sion was coined by the American mathematician Richard E.
Bellman. Bellman used this expression to characterize some
phenomena in dynamic programming, a method developed by
Bellmana,b .
a
Richard Ernest Bellman (1961). Adaptive control processes: a
guided tour. Princeton University Press.
b
Richard Ernest Bellman (2003). Dynamic Programming. Courier
Dover Publications. ISBN 978-0-486-42809-3.
2
Koutroumbas, Sergios Theodoridis, Konstantinos (2008). Pattern Recogni-
tion - 4th Edition. Burlington.
3
Radovanović, Miloš; Nanopoulos, Alexandros; Ivanović, Mirjana (2010).
Hubs in space: Popular nearest neighbors in high-dimensional data. Journal of
Machine Learning Research. 11: 2487–2531.
17.1. VOLUME OF A HYPERSPHERE OF DIMENSION N 411
Where
4
Morgan, F. (2016). Geometric measure theory: a beginners guide. Amster-
dam: Academic Press.
5
Toro, T. (2019). Geometric Measure Theory–Recent Applications. Notices
of the American Mathematical Society, 66(04), 1. doi: 10.1090/noti1853
412 CHAPTER 17. MISCELLANEOUS
Part V
Appendices
413
Appendix A
It
√ is standard knowledge that the imaginary unit, i, is equal to
−1. The term "imaginary" was coined by the French polymath
René Descartes in an effort to devalue imaginary numbers’ valid-
ity6 . In the third book of his La Géométrie, Descartes states:
Moreover, the true roots as well as the false [roots] are not
always real; but sometimes only imaginary [quantities]; that
is to say, one can always imagine as many of them in each
equation as I said; but there is sometimes no quantity that
corresponds to what one imagines, just as although one can
imagine three of them in this [equation], x3 −6x2 +13x−10 =
0, only one of them however is real, which is 2, and regarding
the other two, although one increase, or decrease, or multiply
them in the manner that I just explained, one would not be
able to make them other than imaginary [quantities].
However, after the pioneering work of Euler and Gauss, both accep-
tance and interest in imaginary numbers rose.
Interest in e and the imaginary unit first arose from Bernoulli’s ob-
6
Giaquinta, Mariano; Modica, Giuseppe (2004). Mathematical Analysis:
Approximation and Discrete Processes. Springer Science Business Media. p.
121. ISBN 978-0-8176-4337-9. Extract of page 121
415
416
servation that:7
1 1 1 1
= +
1 + x2 2 1 + ix 1 − ix
ln(cos x + i sin x) = ix
Which was discovered in 1714. In 1748, Euler published his famous
formula which states that
∞
X (−1)n x2n+1 x3 x5
sin x = =x− + + ···
(2n + 1)! 3! 5!
n=0
∞
X (−1)n x2n x2 x4
cos x = =1− + + ···
(2n)! 2! 4!
n=0
∞
X xn x2
ex = =1+x+ + ···
n! 2!
n=0
∞
ix
X (ix)n
e =
n!
n=0
i2 x2 i3 x3 i4 x4
= 1 + ix + + + + ···
2! 3! 4!
x2 ix3 x4
= 1 + ix − − + + ···
2! 3! 4!
! !
x2 x4 x3 x5
eix = 1− + + ··· +i x− + + ···
2! 4! 3! 5!
The first sum is cos x and the second sum is sin x. Therefore,
Substituting x → −x in (17.2),
Since cos(·) and sin(·) are even and odd functions, respectively.
Adding (17.2) and (17.3) gives
418
eix + e−ix
cos x =
2
eix − e−ix
sin x =
2i
We can also derive the beautiful result
eiπ + 1 = 0
Proof. Let
df
= − sin x + i cos x
dx
= if (x)
df
= if (x)
dx
df
= idx
f (x)
Integrating, Z Z
df
= i dx
f (x)
ln f (x) = ix + C
=⇒ f (x) = eix+C = C1 eix
Definition
The complex logarithm is defined similarly to the real loga-
rithma . Let
ex = z
Then
ln z = x
a
Sarason, Donald (2007). Complex Function Theory (2nd ed.).
American Mathematical Society.
Proof. Let z = reiθ for r, θ ∈ R and r > 0. Then one value of the
complex logarithm is:
ln z = ln r + iθ
ln z = ln r + (θ + 2kπ)i
Since we can choose any k ∈ N, there are infinitely many values of
the complex logarithm.
θ
ln z = ln r + (17.4)
2π
For some z = reiθ . Here {·} denotes the fractional part. The in-
terested reader should refer to chapter 8 for a survey of problems
involving fractional parts.
Appendix B
Definition
Let f (x) be an infinitely differentiable complex-valued func-
tion at x = α. Its Taylor series is then given by the infinite
power series:
f 0 (α) f 00 (α)
f (x) = f (α) + (x − α) + (x − α)2
1! 2!
f 000 (α)
+ (x − α)3 + · · ·
3!
Or, using summation notation,
∞
X f (n) (α)
(x − α)n
n!
n=0
421
422
Where f (n) denotes the nth derivative of f . Some Taylor series in-
clude:
Exponential Function
∞
x
X xn
e =
n!
n=0
Logarithmic Function
∞
X xn x2 x3
ln(1 − x) = − = −x − − − ···,
n 2 3
n=1
∞
X (−1)n−1 xn x2 x3
ln(1 + x) = =x− + − ···.
n 2 3
n=1
Which always converge for |x| < 1. It is worth noting that the series
representations of ln(1 − x) and ln(1 + x) converge at x = −1 and
x = 1, respectively.
Trigonometric Functions
∞
X (−1)n 2n+1 x3 x5
sin x = x =x− + − ···
(2n + 1)! 3! 5!
n=0
∞
X (−1)n 2n x2 x4
cos x = x =1− + − ···
(2n)! 2! 4!
n=0
∞
X B2n (−4)n (1 − 4n ) 2n−1 x3 2x5
tan x = x =x+ + + ···
(2n)! 3 15
n=1
423
∞
X (2n)! x3 3x5
arcsin x = x2n+1 =x+ + + ···
4 (n! )2 (2n + 1)
n 6 40
n=0
π
arccos x = − arcsin x
2
∞
π X (2n)! π x3 3x5
= − x2n+1 = −x− − − ···
2 4 (n! )2 (2n + 1)
n 2 6 40
n=0
∞
X (−1)n 2n+1 x3 x5
arctan x = x =x− + − ···
2n + 1 3 5
n=0
Where Bn denotes the nth Bernoulli number, see (4.4) for more.
∞
X x2n+1 x3 x5
sinh x = =x+ + + ···
(2n + 1)! 3! 5!
n=0
∞
X x2n x2 x4
cosh x = =1+ + + ···
(2n)! 2! 4!
n=0
∞
X B2n 4n (4n − 1) 2n−1 x3 2x5 17x7
tanh x = x =x− + − + ···
(2n)! 3 15 315
n=1
∞
X (−1)n (2n)! x3 3x5
sinh−1 x = x2n+1 =x− + + ···
4n (n! )2 (2n
+ 1) 6 40
n=0
∞
X x2n+1 x3 x5
tanh−1 x = =x+ + + ···
2n + 1 3 5
n=0
Binomial Series
∞
X α
(1 + x)α = xn
n
n=0
424
Where α
denotes the generalized binomial coefficient,
n
Yn
α α−k+1 α(α − 1) · · · (α − n + 1)
= =
n k n!
k=1
1 1 1
, 2
, ,···
1 + x (1 + x) (1 + x)3
To derive many of the above series, one needs to employ the tech-
nique of interchanging summation and integration. A nice challenge
would be trying to derive all the series listed above. Give it a try!
Acknowledgements
• Anton Steinfadt
• Solden Stoll
• Kevin Tong
• Jack Moffatt
• Vasilij Shikunov
• Florian Babisch
• Keyvon Rashidi
425
426
427
428
Chapter 1
4. 1
5. 1
6. −1
2
7. −
e
1
8.
2019
9. 1
64
10.
27
π
11.
2
Chapter 2
√
π 3 − 3 ln 2
1.
9
429
π ln 2
2.
8
3. π
√ √
3− 2
4.
2
√
5. 4 2 − 4
π
6.
4
π ln 2
7. √
3 3
√
8. 3 2 − 2 π
1
e4π
10.
2
Chapter 3
1. ln 3
π ln 2
2.
8
430
√ √ !
α+ β
3. π ln
2
π
4.
2
5. 2π
π ln 2
7.
2
π
8.
2e
π 1 1
9. √ +
4 αβ α β
Chapter 4
11
2.
96
2019
3.
1010
4. (k + 1)(k + 1)! −1
3 sin 1
6.
4
7. ln 2 − ln 2020 − ln(2021! )
431
Chapter 6
1
1.
2e
179π
2.
360
π
3.
2
(ln 2)2 ζ(2)
4. −
2 2
2k + 2
5.
k+2
Chapter 7
π2
1. 2 −
6
π 2n
2.
22n+1 n
π2
3.
2
4. −G
7
5. ζ(3)
4
432
7
6. ζ(3)
32
7. ln 2
√
!
2+2 π √
8. π ln + + 1 − 2
4 4
Chapter 8
n2
2n3 X √
1. − + k
3 k=1
1
2.
2
1 ζ(2021)
3. 2
−
2020 (2020)(2021)
ζ(2) − 1
4.
2
5. π
Chapter 9
ln 2π 1
2. +
4 8
4. 5! ζ(4)
433
144
5.
625
√
ln2 2π π 2 γ ln 2π γ 2 ζ 00 (2) ln(2π)ζ 0 (2) γζ 0 (2)
6. + + + + − −
3 48 3 12 2π 2 π2 π2
Chapter 10
1. −γ
2. 3 − 2γ
4. 2ζ(3)
3π 2 1
6. 2
G − 128
ψ (3) (1/4) − ψ (3) (3/4)
Chapter 11
r !2
2 3
2. Γ
π 4
π3
3.
16
√
πΓ 5/4
6.
2Γ 3/4
1 4
7. Γ(1/4)
4
434
Chapter 12
1. 1
π2
3.
6
π2
4. − ζ(3)
6
5. 1 − γ
5
6. − ζ(3)
8
7 π 2 ln 2
7. ζ(3) −
16 8
Integral Table
Rational Functions
Z
1
xn dx = xn+1 , n 6= −1
n+1
Z
1
dx = ln|x|
x
Exponential Functions
Z
ex dx = ex
Z
1 x
ax dx = a
ln a
435
436
Logarithmic Function
Z
ln x dx = x ln x − x
Trigonometric Functions
Z
sin x dx = − cos x
Z
cos x dx = sin x
Z
tan x dx = ln|sec x|
Z
sec x dx = ln|sec x + tan x|
Z
sec2 x dx = tan x
Z
sec x tan x dx = sec x
Miscellaneous
Z
a −1 x
dx = tan
a2 + x 2 a
437
Z
a 1 x + a
dx = ln
a2 − x 2 2 x − a
Z
1 x
√ dx = sin−1
2
a −x 2 a
Z
a x
√ dx = sec−1
x x 2 − a2 a
Z
1 x
√ dx = cosh−1
x2 −a 2 a
√
= ln x + x2 − a2
Z
1 x
√ dx = sinh−1
x 2 + a2 a
√
= ln x + x2 + a2
438
Trigonometric Identities
Dividing sin2 (θ) + cos2 (θ) = 1 by cos2 (θ) or sin2 (θ) gives
Addition Formulas
439
440
An addition formula for tangent can be derived from the ones for
sine and cosine.
sin(α) cos(β) + cos(α) sin(β)
tan(α + β) =
cos(α) cos(β) − sin(α) sin(β)
cos(α) cos(β)
Now dividing by gives
cos(α) cos(β)
tan(α) + tan(β)
tan(α + β) =
1 − tan(α) tan(β)
2 tan(α)
tan(2α) =
1 − tan2 (α)
π π
cos(3θ) = 4 cos3 θ − 3 cos θ = 4 cos θ cos − θ cos +θ
3 3
441
3 tan θ − tan3 θ
π π
tan(3θ) = = tan θ tan − θ tan + θ
1 − 3 tan2 θ 3 3
2 θ 1 + cos θ
cos =
2 2
2 θ 1 − cos θ
tan =
2 sin θ
Try deriving other trigonometric identities using these ones as a
basis!
442
Alphabetical Index
A E
Apery’s constant . . . . . . . . . 312 Erwin Madelung . . . . . . . . . 365
Augustin-Louis Cauchy . . . 30 Euler’s formula . . . . . . 200, 416
Euler’s reflection formula . 71,
B 90, 267, 274, 303, 308
Basel problem . . 268, 269, 313 F
Bernhard Riemann . . . 60, 312 Fibonacci sequence . . . 44, 154
Bernoulli numbers . . . 141, 423 Fractional derivative . . . . . . 51
Binomial theorem . . . .46, 210, Fundamental theorem of
423 arithmetic . . 318, 319
Boltzmann’s constant . . . 378,
384, 389, 394 G
Brook Taylor . . . . . . . . . . . . . . 82 Gaussian integral . . . .116, 271
Generating function 141, 206,
C 319
Carl Freidrich Gauss 136, 264, Geometric measure theory
280, 415 411
Catalan’s constant . . 222, 275 Glaisher-Kinkelin constant
Chain rule . . . . 50, 55, 57, 358 253, 328
Crystal structure . . . 364, 368, Gottfried Wilhelm Leibniz 51,
377 60
Guillaume de L’Hopital . . . 36
Curse of dimensionality . . 409
H
D Harmonic number . . . . . . . 170,
Dynamic programming . . . 410 204–206, 228
443
444 ALPHABETICAL INDEX
I P
Integration by parts . . . . . . . 82 Pafnuty Chebyshev . . . . . . 317
Pauli exclusion principle . 386,
J
393
James Clerk Maxwell . . . . 382
Polar coordinates . . . 199, 298
Johann Bernoulli . . . . . 36, 415
Josiah Willard Gibbs . . . . .382
R
K Raabe’s integral . . . . . . . . . .273
Karl Weierstrass . 30, 266, 269 René Descartes . . . . . . . . . . 415
Richard Feynman . . . 102, 418
L Riemann hypothesis . . . . . .312
L’Hopital’s rule . 47, 112, 145, Riemann series theorem . 171,
332, 379 375
Lagrange multiplier . 347, 397 Riemann sums 60, 62, 63, 177
Lagrangian . . . . . . . . . . 346, 354 Roger Cotes . . . . . . . . . . . . . 416
Lebesgue dominated
convergence theorem S
187, 188 Special relativity . . . . . . . . . 362
Lebesgue integral . . . . . . 63, 64 Spherical coordinates . . . . 310,
Lebesgue measure . . . 187, 411 402, 404
Legendre duplication formula Stefan–Boltzmann law . . . 393
308 Stirling’s formula . . . . 43, 250,
Leonhard Euler . 71, 241, 268, 396, 409
312, 313, 317, 416,
418 W
Lord Rayleigh . . . . . . . . . . . .389 Weierstrass factorization
Ludwig Boltzmann . . . . . . . 382 theorem . . . . . . . . . 269