MT (N) 201
MT (N) 201
MT (N) 201
REAL ANALYSIS
MT(N)-201
RR
DEPARTMENT OF MATHEMATICS
SCHOOL OF SCIENCES
UTTARAKHAND OPEN UNIVERSITY
HALDWANI, UTTARAKHAND
263139
COURSE NAME: REAL ANALYSIS
Department of Mathematics
School of Science
Uttarakhand Open University
Haldwani, Uttarakhand, India,
263139
Real Analysis MT(N) 201
Editor
Dr. Arvind Bhatt
Associate Professor
Department of Mathematics
Haldwani, Uttarakhand
BLOCK III: RIEMANN INTEGRAL AND IMPROPER Page Number 141 - 229
INTEGRAL
BLOCK-I
Department of Mathematics
Uttarakhand Open University 1
Real Analysis MT(N) - 201
CONTENTS:
1.1 Introduction
1.2 Objectives
1.3 Sets
1.4 Methods of describing a set
1.5 Types of sets
1.6 Subset, Superset and Power set
1.7 Operations on a set
1.8 De Morgan’s Laws
1.9 Cartesian Product of two sets
1.10 Functions or Mappings
1.11 Kinds of Functions
1.12 Inverse Function
1.13 Composite of Functions
1.14 Summary
1.15 Glossary
1.16 References
1.17 Suggested Reading
1.18 Terminal questions
1.19 Answers
Department of Mathematics
Uttarakhand Open University 2
Real Analysis MT(N) - 201
1.1 INTRODUCTION
1.2 OBJECTIVES
After studying this unit, learner will be able to
1.3 SETS
Department of Mathematics
Uttarakhand Open University 3
Real Analysis MT(N) - 201
Each object belonging to a set is called an element of the set. Sets are
usually denoted by capital letters A, B, N, Q, S etc. and the elements by
lower case letters a, b, c, x etc.
Department of Mathematics
Uttarakhand Open University 4
Real Analysis MT(N) - 201
(i) Finite set. A set is said to be finite if the number of its elements is
Finite i.e. its elements can be counted, by one by one, with counting
coming to end.
For Example. (a) the set of letters in the English alphabet is finite set
since it has 26 elements.
(b) Set of all multiples of 10 less than 10000 is a finite set.
(ii) Infinite set. A set is said to be infinite if the number of its elements
is infinite i.e. we count its elements, one by one, the counting never
comes to an end.
For Example. (a) the set of all points in a straight line is an infinite set.
(b) the sets ℕ, ℤ, ℚ, ℝ all are infinite sets.
(iii) Null Set. A set having no element is known as a null set or void set
or an empty set and is denoted by ∅ or {}.
For Example. (a) {x : x is an integer and 𝑥 2 = 3} = ∅, because there is
no integer whose square is 3.
(iv) Singleton Set. A set having only one element is called a singleton
set.
For Example. (a) {a} is a singleton set.
(b) {x: 𝑥 3 + 1 = 0 and x∈ ℝ} = { -1 } is a singleton set.
Set A is said to be a subset of Set B if all the elements of Set A are also
present in Set B. In other words, set A is contained inside Set B.
Example: If set A has {X, Y} and set B has {X, Y, Z}, then A is the
subset of B because elements of A are also present in set B.
Subset Symbol
Department of Mathematics
Uttarakhand Open University 5
Real Analysis MT(N) - 201
Note: A subset can be equal to the set. That is, a subset can contain all
the elements that are present in the set.
The subsets of any set consists of all possible sets including its elements
and the null set. Let us understand with the help of an example.
Subsets are {},{1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4},
{3,4},{1,2,3}, {2,3,4}, {1,3,4}, {1,2,4},{1,2,3,4}.
Superset Definition
Superset Symbol
Department of Mathematics
Uttarakhand Open University 6
Real Analysis MT(N) - 201
Proper Superset
The proper superset is also known as a strict superset. The set B is the
proper superset of set A, then all the elements of set A are in B, but set B
must contain at least one element which is not present in set A.
D is not a superset of A, as the set D does not contain the element “c”
which is present in set A.
Power Set
The set of all subsets of a set A is called the power set of A and denoted
by P(A).
Department of Mathematics
Uttarakhand Open University 7
Real Analysis MT(N) - 201
Therefore ∅1 ⊂ ∅2 and ∅2 ⊂ ∅1
1. Union of Sets. The union of two sets X and Y is equal to the set of
elements that are present in set X, in set Y, or in both the sets X and Y.
This operation can be represented as;
X ∪ Y = {a: a ∈ X or a ∈ Y}
Let us consider an example, say; set A = {1, 3, 5} and set B = {1, 2, 4}
Then A ∪ B = {1, 2, 3, 4, 5}
Properties of Union of Sets
(i) For any two Sets A and B, A ⊂ 𝐴 ∪ 𝐵 or B ⊂ 𝐴 ∪ 𝐵
Proof. Let x be any element of A. then
x∈A ⟹x∈𝐴∪𝐵
therefore A⊂ 𝐴∪𝐵
similarly, we can prove B ⊂ 𝐴 ∪ 𝐵
(ii) For any set A, 𝐴 ∪ ∅ = A.
Proof. 𝐴 ∪ ∅ = {x: x ∈ 𝐴 or x ∈ ∅ }
= {x: x ∈ 𝐴 } [∵ ∅ has no element]
=A
(iii) Union of sets is idempotent i.e. foe any set A, A∪ 𝐴 = A.
Proof. A ∪ 𝐴 = {x: x ∈ 𝐴 or x ∈ A}
= {x: x ∈ 𝐴 }
=A
(iv) Union of sets is commutative.
Proof. A ∪ 𝐵 = {x: x ∈ 𝐴 or x ∈ B}
Department of Mathematics
Uttarakhand Open University 8
Real Analysis MT(N) - 201
= {x: x ∈ B or x ∈ 𝐴 }
=B∪𝐴
Note: Union of sets is Associative.
Therefore A∩B⊂𝐴
3. Difference of Sets. The difference of two sets A and B is the set of all
elements which are in A but not in B.
The difference of sets A and B is denoted by A – B.
i.e. A – B = {x: x ∈ 𝐴 and x ∉ B}
For example. (i) if A = {1, 2, 3, 4, 5} and B {2, 4, 6, 8}, then A – B =
{1, 3, 5}, B – A = {6, 8}.
Clearly, A–B≠B-A
Note. The difference of sets is not commutative.
Department of Mathematics
Uttarakhand Open University 9
Real Analysis MT(N) - 201
⇒ q ∉ A or q ∉ B
⇒ q ∉ (A ∪ B)
⇒ q ∈ (A ∪ B )c
⇒q∈X
∴Y⊂X . . . (ii)
From (i) and (ii) X = Y
(A ∪ B)c = Ac ∩ B c
(b) We need to prove, (A ∩ B)c = Ac ∪ B c
Let X = (A ∩ B)c and Y = Ac ∪ B c
Let p be any element of X, then p ∈ X ⇒ p ∈ (A ∩ B)c
⇒ p ∉ (A ∩ B)
⇒ p ∉ A and p ∉ B
⇒ p ∈ Ac or p ∈ B c
⇒ p ∈ Ac ∪ B c⇒ p ∈ Y
∴ X ⊂ Y ————–(i)
Again, let q be any element of Y, then q ∈ Y ⇒ q ∈ Ac ∪ B c
⇒ q ∈ Ac or q ∈ B c
⇒ q ∉ A and q ∉ B
⇒ q ∉ (A ∩ B)
⇒ q ∈ (A ∩ B )c
⇒q∈X
∴ Y ⊂ X ————–(ii)
From (i) and (ii) X = Y
(A ∩ B)c = Ac ∪ B c
Department of Mathematics
Uttarakhand Open University 11
Real Analysis MT(N) - 201
Let A & B be any two non-empty sets. If there exists a rule ‘f ’ which
associates to every element x ∈ A, a unique element y ∈ B, then such
rule ‘f ’ is called a function or mapping from the A to the set A to the
set B.
We write f: A ⟶ 𝐵 read ‘f ’ is a function from X to Y.
The set A is called the domain of f and the set B is called the Co-domain
of f.
Range of f = f(A) = {f(x): x ∈ A} , clearly f(A) ⊂ B.
Department of Mathematics
Uttarakhand Open University 12
Real Analysis MT(N) - 201
so 3a13 – 4 = 3a23 – 4
a13 = a23
a13 – a23 = 0
(a12 + a1a2 + a22) = 0 is not considered because there are no real values of
a1 and a2.
Example 1. Let A = {1, 5, 8, 9) and B {2, 4} And f ={(1, 2), (5, 4), (8,
2), (9, 4)}. Then prove f is a onto function.
A={1, 5, 8, 9), B = {2, 4} & f={(1, 2), (5, 4), (8, 2), (9, 4)}
𝑦
Solution. Let y = 2x then x = 2
𝑦
Thus, for every y R, we have x = 2 ∈ R such that f(x) = y.
Thus, f is onto.
It means that y ≥ 0.
Thus, the range of f(x) is the set of non-negative real numbers and the
negative real numbers are not in the image of f(x).
Department of Mathematics
Uttarakhand Open University 14
Real Analysis MT(N) - 201
Department of Mathematics
Uttarakhand Open University 15
Real Analysis MT(N) - 201
1.14 SUMMARY
1.15 GLOSSARY
Numbers
letters
Collections of objects
1.16 REFERENCES
Department of Mathematics
Uttarakhand Open University 16
Real Analysis MT(N) - 201
𝑥
(a) f(x) = 2. (b) f(x) = 𝑥 2
1.19 ANSWERS
CYQ 1. True
CYQ 2. False
CYQ 3. True
CYQ 4. False
CYQ 5. True
TERMINAL QUESTIONS
Department of Mathematics
Uttarakhand Open University 17
Real Analysis MT(N) - 201
TQ 4. 27 𝑋 2
TQ 5. 4
Department of Mathematics
Uttarakhand Open University 18
Real Analysis MT(N)-201
CONTENTS:
2.1 Introduction
2.2 Objectives
2.3 Real numbers
2.4 Algebraic properties of ℝ
2.5 Order properties of ℝ
2.6 Absolute value
2.7 Triangle inequality
2.8 Completeness property of ℝ
2.9 Supremum and Infimum property of ℝ
2.10 Archimedean property of ℝ
2.11 Extended set of real number
2.12 Summary
2.13 Glossary
2.14 References
2.15 Suggested Reading
2.16 Terminal questions
2.17 Answers
Department of Mathematics
Uttarakhand Open University 19
Real Analysis MT(N)-201
2.1 INTRODUCTION
2.2 OBJECTIVES
A set containing all rational as well as irrational numbers is called the set
of all real numbers. The set of real number is denoted by ℝ.
1. Algebraic properties of ℝ.
2. Order properties of ℝ.
3. Completeness property of ℝ.
4. Archimedean property of ℝ.
Department of Mathematics
Uttarakhand Open University 20
Real Analysis MT(N)-201
a + 0 = a for all a in ℝ.
a + (-a) = 0.
a .1 = a for all a in ℝ.
1
M4. For each element a ≠ 0 in ℝ there exists an element in ℝ such
𝑎
1
that a . (𝑎) = 1.
D. a . (b + c) = a . b + a . c for all a, b in ℝ.
-a ∈ ℝ, since 𝑎 ∈ ℝ. Therefore -a + (a + b) = -a + (a + c)
Or (-a + a) + b = (-a + a) + c, by A2
Or 0 + b = 0 + c, by A4
Or b = c.
Department of Mathematics
Uttarakhand Open University 21
Real Analysis MT(N)-201
1 1
Or, (𝑎 . 𝑎) . 𝑏 = (𝑎 . 𝑎) . 𝑐, by M2
Or, 1. 𝑏 = 1. 𝑐, by M4
Or, 𝑏 = 𝑐.
Theorem 2.4.2 Let 𝑎, 𝑏, 𝑐 ∈ ℝ. Then 𝑎. 𝑏 = 0 implies 𝑎 = 0 or 𝑏 = 0.
1 1
Proof. Let 𝑎 ≠ 0 then 𝑎 ∈ ℝ and 𝑎 . 𝑎 = 1.
1 1 1
𝑎. 𝑏 = 0 ⟹ 𝑎 . (𝑎. 𝑏) = 𝑎 . 0 ⟹ (𝑎 . 𝑎) . 𝑏 = 0 ⟹ 𝑏 = 0.
Therefore 𝑎 ≠ 0 ⟹ 𝑏 = 0. Contrapositively, 𝑏 ≠ 0 ⟹ 𝑎 = 0.
Therefore either 𝑎 = 0 or 𝑏 = 0.
Department of Mathematics
Uttarakhand Open University 22
Real Analysis MT(N)-201
𝑎+𝑏
⟹𝑎< .
2
𝑎, 𝑖𝑓 𝑎 > 0
|𝑎| = { 0, 𝑖𝑓 𝑎 = 0
−𝑎, 𝑖𝑓 𝑎 < 0
Proof. (i) Let 𝑎 > 0 then −𝑎 < 0 and |−𝑎| = −(−𝑎) = 𝑎 = |𝑎|.
Department of Mathematics
Uttarakhand Open University 23
Real Analysis MT(N)-201
Now let 𝑎 > 0, 𝑏 > 0 then 𝑎𝑏 > 0 and |𝑎𝑏| = 𝑎𝑏, |𝑎| = 𝑎, |𝑏| = 𝑏
Now let 𝑎 < 0, 𝑏 > 0 then 𝑎𝑏 < 0 and |𝑎𝑏| = −𝑎𝑏, |𝑎| = −𝑎, |𝑏| = 𝑏
Now let 𝑎 < 0, 𝑏 < 0 then 𝑎𝑏 > 0 and |𝑎𝑏| = −𝑎𝑏, |𝑎| = −𝑎, |𝑏| = −𝑏
Or |𝑏| − |𝑎| ≤ |𝑏 − 𝑎| = |𝑎 − 𝑏|
x+2
Example. Solve the equation |2x−1| = 3.
x+2 x+2
Solution. Given |2x − 1| = 3 ⟹ 2x−1 = ±3.
x+2
If 2x − 1 = 3 ⟹ 𝑥 + 2 = 6𝑥 − 3 ⟹ 𝑥 = 1
x+2 1
If 2x − 1 = −3 ⟹ 𝑥 + 2 = −6𝑥 − 3 ⟹ 𝑥 = 7
1
Therefore 𝑥 = 7 ,1 .
Department of Mathematics
Uttarakhand Open University 25
Real Analysis MT(N)-201
1 1
Example 1. Let P = {1, 2 , 3 , … }. P is bounded above, 1 being an upper
bound. P is bounded below, 0 being a lower bound.
OF ℝ
(i) 𝑥 ∈ P ⟹ 𝑥 ≤ M, and
(ii) for each 𝜖 > 0, there exist an element 𝑦 (depends on 𝜖) in P such that
M − 𝜖 < 𝑦 ≤ M.
Department of Mathematics
Uttarakhand Open University 26
Real Analysis MT(N)-201
(i) 𝑥 ∈ P ⟹ 𝑥 ≥ 𝑚, and
(ii) for each 𝜖 > 0, there exist an element 𝑦 (depends on 𝜖) in P such that
𝑚 < 𝑦 ≤ 𝑚 + 𝜖.
Question 1. Prove that the set of natural number (ℕ) is not bounded
above.
(i) 𝑥 ∈ ℕ ⟹ 𝑥 ≤ u, and
(ii) for each 𝜖 > 0, there exist an element 𝑦 (depends on 𝜖) in ℕ such that
𝑢 − 𝜖 < 𝑦 ≤ u.
Department of Mathematics
Uttarakhand Open University 28
Real Analysis MT(N)-201
Note: (1) If 𝑥 ∈ ℝ, then there exists a natural number n such that 𝑛 > 𝑥.
Case (i). If 𝒙 > 𝟎.
Taking 𝑦 = 1, by Archimedean property of ℝ there exists a
natural number 𝑛 such that 𝑛. 1 > 𝑥 and hence existence is proved.
Case (ii). If 𝒙 ≤ 𝟎. Then 𝒏 = 𝟏.
(2). If 𝑥 ∈ ℝ and 𝑥 > 0, then there exists a natural number 𝑛 such that
1
0 < 𝑛 < 𝑥.
(3). If 𝑥 ∈ ℝ and 𝑥 > 0, then there exists a natural number 𝑚 such that
𝑚 − 1 ≤ 𝑥 < 𝑚.
Taking 𝑦 = 1 and 𝑥 > 0, by Archimedean property of ℝ there exist a
natural number 𝑛 such that 𝑛. 1 > 𝑥, i.e. 𝑛 > 𝑥.
Let 𝑆 = {𝑘 ∈ ℕ: 𝑘 > 𝑥}. Then 𝑆 is non-empty subset of ℕ, since 𝑛 ∈ 𝑆. By
well ordering property of the set ℕ, 𝑆 has a least element, say 𝑚. Since
𝑚 ∈ 𝑆, 𝑚 > 𝑥.
As 𝑚 is least element of 𝑆. 𝑚 − 1 ≯ 𝑥. i.e. 𝑚 − 1 ≤ 𝑥.
Hence 𝑚 − 1 ≤ 𝑥 < 𝑚.
Department of Mathematics
Uttarakhand Open University 29
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 30
Real Analysis MT(N)-201
2.12 SUMMARY
2.13 GLOSSARY
Numbers
Sets
Intervals
Modulus
2.14 REFERENCES
1
Q 3. Find the Supremum and infimum of {𝑛 : 𝑛 ∈ ℕ}.
2.17 ANSWERS
CYQ 1. True
CYQ 2. True
CYQ 3. True
CYQ 4. True
CYQ 5. False
TERMINAL QUESTIONS
TQ 3. 1, 0
Department of Mathematics
Uttarakhand Open University 32
Real Analysis MT(N)-201
CONTENTS:
3.1 Introduction
3.2 Objectives
3.3 Neighbourhood
3.4 Interior point
3.5 Open set
3.6 Limit point
3.7 Closed set
3.8 Summary
3.9 Glossary
3.10 References
3.11 Suggested Reading
3.12 Terminal questions
3.13 Answers
Department of Mathematics
Uttarakhand Open University 33
Real Analysis MT(N)-201
3.1 INTRODUCTION
3.2 OBJECTIVES
(i) Neighbourhood
(ii) Interior point
(iii) Open set
(iv) Limit point
3.3 NEIGHBOURHOOD
Department of Mathematics
Uttarakhand Open University 34
Real Analysis MT(N)-201
Thus 𝑐 ∈ (𝑎3 , 𝑏3 ) ⊂ 𝑆1 ∩ 𝑆2 .
This prove that 𝑆1 ∩ 𝑆2 is a neighbourhood of 𝑐.
1 1
Examples 1. Let 𝑆 = {1, , , … }.
2 3
Department of Mathematics
Uttarakhand Open University 37
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 38
Real Analysis MT(N)-201
… … … … …
1 1
𝐺𝑛 = {𝑥 ∈ ℝ: − 𝑛 < 𝑥 < 𝑛}
… … … … …
Each 𝐺𝑖 is an open set. ⋂∞
𝑖=1 𝐺𝑖 = {0}. This is not an open set.
Proof.
Case 1. 𝑖𝑛𝑡 𝑆 = ∅. Since ∅ is an open set, 𝑖𝑛𝑡 𝑆 is an open set.
Case 2. 𝑖𝑛𝑡 𝑆 ≠ ∅. let 𝑥 ∈ 𝑖𝑛𝑡 𝑆. then 𝑥 is an interior point of 𝑆.
therefore, there exist a neighbourhood 𝑁(𝑥) of 𝑥 such that 𝑁(𝑥) ⊂ 𝑆.
let 𝑥 ∈ 𝑁(𝑥). Then 𝑁(𝑥) is neighbourhood of 𝑦 also and since
𝑁(𝑥) ⊂ 𝑆, 𝑦 is an interior point of 𝑆.
Thus 𝑦 ∈ 𝑁(𝑥). Then 𝑁(𝑥) ⟹ 𝑦 ∈ 𝑖𝑛𝑡 𝑆. therefore 𝑁(𝑥) ) ⊂ 𝑖𝑛𝑡 𝑆.
This shows that 𝑥 is an interior point of 𝑖𝑛𝑡 𝑆.
Thus 𝑥 ∈ 𝑖𝑛𝑡 𝑆 ⟹ 𝑥 is an interior point of 𝑖𝑛𝑡 𝑆.
Therefore 𝑖𝑛𝑡 𝑆 is an open set. This completes the proof.
Department of Mathematics
Uttarakhand Open University 40
Real Analysis MT(N)-201
⟹ 0 is limit point of 𝑆.
⟹ 𝑆 ′ = {0} .
Department of Mathematics
Uttarakhand Open University 41
Real Analysis MT(N)-201
namely 0.
1 1
(iii) The set {𝑛 : 𝑛 ∈ ℕ} ∪ {1 − 𝑛 : 𝑛 ∈ ℕ} has two limit points, namely
0 and 1.
(iv) The sets ℚ, ℝ and (1, 2) have an infinite number of limit points.
(v) Every point of a closed interval [1, 2] is a limit point.
1
(vi) The set {√2 + 𝑛 : 𝑛 ∈ ℕ} has only √2 as a limit point.
Department of Mathematics
Uttarakhand Open University 42
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 43
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 44
Real Analysis MT(N)-201
|𝑥−𝑛|
If 𝑛 is an integer nearest to 𝑥, then ∃ 𝜖 = > 0 such that
2
Theorem 3.7.3. The union of an infinite family of closed sets need not
be a closed set.
1
Proof: Let 𝐴𝑛 = [𝑛 , 1] ∀ 𝑛 ∈ ℕ, then {𝐴𝑛 }𝑛 ∈ ℕ is an infinite family of
closed sets.
1 1
𝐴1 = {1}, 𝐴2 = [2 , 1], 𝐴3 = [3 , 1], …
1 1
Therefore, ⋃∞
𝑛=1 𝐴𝑛 = {1} ∪ [2 , 1] ∪ [3 , 1] ∪ … = (0, 1] which is not
closed.
Theorem 3.7.4. The intersection of two closed sets is a closed set.
Proof: Let A and B be two set closed seats.
⟹ 𝐴𝑐 and 𝐵𝑐 are open sets.
⟹ 𝐴𝑐 ∪ 𝐵𝑐 is an open set.
⟹ (𝐴 ∩ 𝐵)𝑐 is an open set.
[since 𝐴𝑐 ∪ 𝐵𝑐 = (𝐴 ∩ 𝐵)𝑐 De Morgan’s Law]
⟹ 𝐴 ∪ 𝐵 is closed set.
Department of Mathematics
Uttarakhand Open University 46
Real Analysis MT(N)-201
3.8 SUMMARY
3.9 GLOSSARY
Numbers
Intervals
Sets
Functions
3.10 REFERENCES
Department of Mathematics
Uttarakhand Open University 47
Real Analysis MT(N)-201
3.13 ANSWERS
CYQ 1. True
CYQ 2. False
CYQ 3. False
CYQ 4. True
CYQ 5. True
Department of Mathematics
Uttarakhand Open University 48
Real Analysis MT(N)-201
CONTENTS:
4.1 Introduction
4.2 Objectives
4.3 Real sequence
4.4 Limit of a sequence
4.5 Convergent sequence
4.6 Divergent sequence
4.7 Oscillatory sequence
4.8 Null sequence
4.9 Monotonic sequence
4.10 Limit point of a sequence
4.11 Bolzano – Weierstrass theorem for the sequence
4.12 Limit superior and limit inferior of a sequence
4.13 Subsequence
4.14 Cauchy Sequence
4.15 Summary
4.16 Glossary
4.17 References
4.18 Suggested Reading
4.19 Terminal questions
4.20 Answers
Department of Mathematics
Uttarakhand Open University 49
Real Analysis MT(N)-201
4.1 INTRODUCTION
4.2 OBJECTIVES
(i) Neighborhoods
(ii) Interior point
(iii) Open set
(iv) Limit point
4.3 SEQUENCE
Department of Mathematics
Uttarakhand Open University 50
Real Analysis MT(N)-201
Type of Sequence:
1
Example (i) The sequence {𝑥𝑛 } defined by 𝑥𝑛 = 𝑛 is bounded,
since 0 < 𝑥𝑛 ≤ 1.
(ii) The sequence {𝑥𝑛 } defined by 𝑥𝑛 = 𝑛 is bounded below,
because 𝑥𝑛 ≥ 1 ∀ 𝑛 ∈ ℕ.
(iii) The sequence {𝑥𝑛 } defined by 𝑥𝑛 = (−1)𝑛 is bounded,
since 1 ≤ 𝑥𝑛 ≤ 1.
(iv) every constant sequence is bounded.
(v) The sequence {𝑥𝑛 } defined by 𝑥𝑛 = (−1)𝑛 . 𝑛 is neither bounded
below nor bounded above.
Department of Mathematics
Uttarakhand Open University 51
Real Analysis MT(N)-201
Sufficient part
Let 𝑀 be a positive real number such that
|𝑥 𝑛 | ≤ 𝑀 ∀ 𝑛 ∈ ℕ
Then −𝑀 ≤ 𝑥𝑛 ≤ 𝑀 ∀ 𝑛 ∈ ℕ
⟹ {𝑥𝑛 } is bounded.
Department of Mathematics
Uttarakhand Open University 52
Real Analysis MT(N)-201
∴ |𝑙 − 𝑙′| < 𝜖 ∀ 𝑛 ≥ 𝑚
1
Which contradicts the assumption that 𝜖 = 2 |𝑙 − 𝑙′|
Example. The sequence {𝑛} and {𝑛2 } diverge to +∞. Whereas the
sequences {−𝑛} and {−𝑛2 } diverge to −∞.
Department of Mathematics
Uttarakhand Open University 54
Real Analysis MT(N)-201
sequences.
Department of Mathematics
Uttarakhand Open University 55
Real Analysis MT(N)-201
⟹ {𝑥𝑛 } converges to 𝑢.
Theorem 4.9.3. Every monotonically decreasing sequence which is
bounded below converges to its greatest lower bound.
Proof: Similar as Theorem 4.9.2.
1
(i) The sequence {𝑛} converges to 0.
1
(ii) The sequence {𝑛2} converges to 0.
1
(iii) The sequence {3𝑛 } converges to 0.
⟹ lim 𝑎𝑛 = 0
𝑛⟶∞
1
⟹ i.e. sequence {𝑛} converges to 0.
1
(ii) let 𝑎𝑛 = 𝑛2 . let 𝜖 > 0 be given.
1 1 1 1
Now | 𝑎𝑛 − 0 | = | − 0| = |𝑛2| = 𝑛2 < 𝜖 if 𝑛2 > 𝜖
𝑛2
1
If 𝑚 is a positive integer > , then |𝑎𝑛 − 0| < 𝜖 ∀ 𝑛 ≥ 𝑚
√𝜖
⟹ lim 𝑎𝑛 = 0
𝑛⟶∞
1
⟹ i.e. sequence {𝑛2} converges to 0.
1
(iii) let 𝑎𝑛 = 3𝑛 . let 𝜖 > 0 be given.
1 1 1 1
Now | 𝑎𝑛 − 0 | = | − 0| = |3𝑛 | = 3𝑛 < 𝜖 if 3𝑛 > 𝜖
3𝑛
1
i.e. if 𝑛 𝑙𝑜𝑔𝑛 > 𝑙𝑜𝑔 (𝜖 )
1
𝑙𝑜𝑔( )
𝜖
i.e. if 𝑛 > 𝑙𝑜𝑔(3) [since 𝑙𝑜𝑔(3) > 0]
1
𝑙𝑜𝑔( )
𝜖
If 𝑚 is a positive integer > 𝑙𝑜𝑔(3) , then |𝑎𝑛 − 0| < 𝜖 ∀ 𝑛 ≥ 𝑚
⟹ lim 𝑎𝑛 = 0
𝑛⟶∞
1
⟹ i.e. sequence {3𝑛 } converges to 0.
(iv) let 𝑎𝑛 = √𝑛 + 1 − √𝑛
(√𝑛−1−√𝑛)(√𝑛+1+√𝑛) (n+1)−n 1
= = =
√𝑛+1+√𝑛 √𝑛+1+√𝑛 √𝑛+1+√𝑛
Department of Mathematics
Uttarakhand Open University 57
Real Analysis MT(N)-201
1 1 1 1 1
Now |𝑎𝑛 − 0| = | − 0| = | |= <2 < <𝜖
√𝑛+1+√ 𝑛 √𝑛+1+√𝑛 √𝑛+√𝑛 √𝑛 √𝑛
1 1
if √𝑛 > 𝜖 i.e. if 𝑛 > 𝜖2
1
If 𝑚 is a positive integer > 𝜖2 , then |𝑎𝑛 − 0| < 𝜖 ∀ 𝑛 ≥ 𝑚
⟹ lim 𝑎𝑛 = 0
𝑛⟶∞
Department of Mathematics
Uttarakhand Open University 59
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 60
Real Analysis MT(N)-201
1 1 1 1 1
(i) The sequence {2, 1 + 2 , 2 + 2 , 1 + 3 , 2 + 3 , 3 + 3 , … … } is
Let {𝑎𝑛 } be a bounded sequence, then the sequence has the least and
greatest limit points.
The least limit point of {𝑎𝑛 } is called the limit inferior of {𝑎𝑛 } and is
denoted by lim 𝑖𝑛𝑓. 𝑎𝑛 .
𝑛⟶∞
The greatest limit point of {𝑎𝑛 } is called the limit superior of {𝑎𝑛 } and is
denoted by lim 𝑠𝑢𝑝. 𝑎𝑛 .
𝑛⟶∞
Note 2. Since the greatest limit point of the sequence {𝑎𝑛 } ≥ least limit
point.
Therefore, lim 𝑠𝑢𝑝. 𝑎𝑛 ≥ lim 𝑖𝑛𝑓. 𝑎𝑛 .
𝑛⟶∞ 𝑛⟶∞
Example 4.12.1. Find lim 𝑠𝑢𝑝. 𝑎𝑛 and lim 𝑖𝑛𝑓. 𝑎𝑛 for the sequence
𝑛⟶∞ 𝑛⟶∞
{𝑎𝑛 } = {(−1)𝑛 }.
Sol. Since the sequence {(−1)𝑛 } has only two limit points −1 and 1.
Therefore, the set of limit points = {−1, 1} which is bounded.
Therefore, lim 𝑖𝑛𝑓. 𝑎𝑛 = −1 and lim 𝑠𝑢𝑝. 𝑎𝑛 = 1.
𝑛⟶∞ 𝑛⟶∞
Example 4.12.2. Find lim 𝑠𝑢𝑝. 𝑎𝑛 and lim 𝑖𝑛𝑓. 𝑎𝑛 for the sequence
𝑛⟶∞ 𝑛⟶∞
𝑛
{𝑎𝑛 } = {(−1) . 𝑛}.
Sol. Since the sequence {(−1)𝑛 . 𝑛} is unbounded above and unbounded
below both.
Therefore, lim 𝑖𝑛𝑓. 𝑎𝑛 = −∞ and lim 𝑠𝑢𝑝. 𝑎𝑛 = ∞.
𝑛⟶∞ 𝑛⟶∞
4.13 SUBSEQUENCE
Department of Mathematics
Uttarakhand Open University 61
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 62
Real Analysis MT(N)-201
Thus | 𝑎𝑛 − 𝑎𝑚 | < 𝜖 ∀ 𝑛 ≥ 𝑚
⟹ {𝑎𝑛 } is a Cauchy sequence.
Conversely: Let {𝑎𝑛 } is a Cauchy sequence.
Since Every Cauchy sequence is bounded, therefore {𝑎𝑛 } is bounded.
Since every bounded sequence has a limit point, {𝑎𝑛 } has limit point 𝑙
(say).
We shall show that {𝑎𝑛 } converges to 𝑙.
Let 𝜖 > 0 be given. Since {𝑎𝑛 } is Cauchy sequence, ∃ a positive integer
𝜖
𝑚 such that | 𝑎𝑛 − 𝑎𝑚 | < ∀𝑛≥𝑚 …… (iii)
3
𝜖 𝜖
⟹ 𝑎𝑛 ∈ (𝑙 − 3 , 𝑙 + 3) for infinitely many values of 𝑛.
Example. 4.14.1. Prove that the sequence whose nth terms are given
below are Cauchy sequence.
1 𝑛 (−1)𝑛
(i) 𝑛 (ii) 𝑛+1 (iii) 𝑛
1
Sol. (i) Here 𝑎𝑛 = 𝑛
∴ For each 𝜖 > 0, ∃ a +𝑣𝑒 integer 𝑚 such that |𝑎𝑛 − 𝑎𝑚 | < 𝜖 ∀ 𝑛 > 𝑚.
⟹ {𝑎𝑛 } is a Cauchy sequence.
𝑛
(ii) Here 𝑎𝑛 = 𝑛+1
∴ For each 𝜖 > 0, ∃ a +𝑣𝑒 integer 𝑚 such that |𝑎𝑛 − 𝑎𝑚 | < 𝜖 ∀ 𝑛 > 𝑚.
⟹ {𝑎𝑛 } is a Cauchy sequence.
Department of Mathematics
Uttarakhand Open University 64
Real Analysis MT(N)-201
(−1)𝑛
(iii) Here 𝑎𝑛 = 𝑛
∴ For each 𝜖 > 0, ∃ a +𝑣𝑒 integer 𝑚 such that |𝑎𝑛 − 𝑎𝑚 | < 𝜖 ∀ 𝑛 > 𝑚.
⟹ {𝑎𝑛 } is a Cauchy sequence.
1
Problem 1. Limit superior and inferior are equal for sequence {𝑛}.
1
Problem 2. The limit point of the sequence {10 + 𝑛} is 10.
4.15 SUMMARY
Department of Mathematics
Uttarakhand Open University 65
Real Analysis MT(N)-201
4.16 GLOSSARY
Numbers
Intervals
Limit points
Functions
Bounded, Unbounded sets
4.17 REFERENCES
monotonically increasing.
Q3. If {𝑎𝑛 } and {𝑏𝑛 } are null sequences, show that {𝑎𝑛 + 𝑏𝑛 } is also null
sequence.
Department of Mathematics
Uttarakhand Open University 66
Real Analysis MT(N)-201
Q4. If {𝑎𝑛 } and {𝑏𝑛 } are null sequences, show that {𝑎𝑛 . 𝑏𝑛 } is also null
sequence.
Q5. States and prove Bolzano – Weierstrass Theorem for a sequence.
4.20 ANSWERS
CYQ 1. True
CYQ 2. True
CYQ 3. False
CYQ 4. False
CYQ 5. True
Department of Mathematics
Uttarakhand Open University 67
Real Analysis MT(N)-201
UNIT 5: SERIES
5.1 Introduction
5.2 Objectives
5.3 Series or real number
5.4 Positive terms series
5.5 Comparison test
5.6 D’Alembert’s ratio test
5.7 Cauchy’s roots test
5.8 Alternating Series
5.9 Absolute and Conditional Convergence
5.10 Summary
5.11 Glossary
5.12 Suggested Readings
5.13 References
5.14 Terminal Questions
5.15 Answers
Department of Mathematics
Uttarakhand Open University 68
Real Analysis MT(N)-201
5.1 INTRODUCTION
In mathematics, a series is, roughly speaking, the operation
of adding infinitely many quantities, one after the other, to a given starting
quantity. The study of series is a major part of calculus and its
generalization, mathematical analysis. Series are used in most areas of
mathematics, even for studying finite structures (such as in combinatorics)
through generating functions. In addition to their ubiquity in mathematics,
infinite series are also widely used in other quantitative disciplines such
as physics, computer science, statistics and finance.
For a long time, the idea that such a potentially infinite summation could
produce a finite result was considered paradoxical. This paradox was resolved
using the concept of a limit during the 17th century. Zeno's
paradox of Achilles and the tortoise illustrates this counterintuitive property
of infinite sums: Achilles runs after a tortoise, but when he reaches the
position of the tortoise at the beginning of the race, the tortoise has reached a
second position; when he reaches this second position, the tortoise is at a third
position, and so on. Zeno concluded that Achilles could never reach the
tortoise, and thus that movement does not exist. Zeno divided the race into
infinitely many sub-races, each requiring a finite amount of time, so that the
total time for Achilles to catch the tortoise is given by a series. The resolution
of the paradox is that, although the series has an infinite number of terms, it
has a finite sum, which gives the time necessary for Achilles to catch up with
the tortoise.
A brief introduction to Infinite series and some results in infinite series will
be discussed.
5.2 OBJECTIVES
infinite series
positive term series
Department of Mathematics
Uttarakhand Open University 69
Real Analysis MT(N)-201
5.3 SERIES
The sum of the terms of a sequence is said to be a series. Thus if
𝑦1 , 𝑦2 , 𝑦3 , ….is a sequence then the sum 𝑦1 + 𝑦2 + 𝑦3 + ⋯ of all the terms is
called an infinite series and is expressed by ∑∞ 𝑛=1 𝑦𝑛 or ∑ 𝑦𝑛 .
Evidently, we cannot just add up all the infinite number of terms of the series
in ordinary way and in fact it is not obvious that this kind of sum has any
meaning. Therefore, we start by associating with the given series, a sequence
{𝑆𝑛 }, where 𝑆𝑛 denotes the sum of the first 𝑛 terms of the series.
Hence 𝑆𝑛 = 𝑦1 + 𝑦2 + ⋯ . +𝑦𝑛 ∀𝑛
And this sequence {𝑆𝑛 } is said to be the sequence of partial sums of the series.
𝑺𝟏 = 𝒚𝟏 ; 𝑺𝟐 = 𝒚𝟏 + 𝒚𝟐 ; 𝑺𝟑 = 𝒚𝟏 + 𝒚𝟐 + 𝒚𝟑 + ⋯ .. and so on.
The series is convergent if the sequence {𝑆𝑛 } of partial sums converges and
lim 𝑆𝑛 is called the sum of the series.
If {𝑆𝑛 } does not tend to a limit then the sum of the infinite series does not exist
or we can say that the series does not converges.
Department of Mathematics
Uttarakhand Open University 70
Real Analysis MT(N)-201
Thus lim 𝑦𝑛 = 0
𝑛→∞
NOTE:
Or
An infinite series ∑ 𝒚𝒏 converges iff for every 𝜺 > 𝟎 there exists a positive
integer M such that |𝒚𝟏 + 𝒚𝟐 + 𝒀𝟑 + ⋯ … + 𝒚𝒏 | < 𝜺 whenever
𝒎≥𝒏≥𝑴
= |𝑦𝑚+1 + 𝑦𝑚+2 + ⋯ + 𝑦𝑛 | .
Let 𝜀 > 0 and for every 𝜀 the series ∑ 𝑦𝑛 converges iff the sequence of partial
sums {Sn} converges
Therefore, for any given 𝜀 > 0, there exists a positive integer 𝑚 such that
1 1 1
| + 𝑛+2 + ⋯ + 𝑛+𝑝| < 𝜀 ∀ 𝑛 ≥ 𝑚 𝑎𝑛𝑑 𝑝 ≥ 1.
𝑛+1
If 𝑛 = 𝑚 and 𝑝 = 𝑚, we get
1 1 1 1 1 1
+ + ⋯+ = + +⋯+
𝑛+1 𝑛+2 𝑛+𝑝 𝑚+1 𝑚+2 𝑚+𝑚
Department of Mathematics
Uttarakhand Open University 71
Real Analysis MT(N)-201
1 1 1
= + + ⋯+
𝑚+1 𝑚+2 2𝑚
1 1
> 𝑚. 2𝑚 > 2 > 𝜀
1 1 1
i.e. 𝑛+1 + 𝑛+2 + ⋯ + 𝑛+𝑝 > 𝜀, a contradiction.
1
Therefore ∑ 𝑛 does not converge
NOTE:
𝒊 𝟏
We can see that 𝒍𝒊𝒎𝒏→∞ (𝒏) = 𝟎 but ∑ 𝒏 does not converge
Example: If 𝑦𝑛 > 0 and ∑ 𝑦𝑛 is convergent with the sum 𝑆, then prove that
𝑦𝑛 2𝑦𝑛
< , when 𝑛 is sufficiently large. Also prove that
𝑦1 +𝑦2 +⋯+𝑦𝑛 𝑆
𝑦𝑛
∑ is convergent.
𝑦1 +𝑦2 +⋯+𝑦𝑛
1 1 𝑆 3𝑆 2 1 2
𝑆 − 2 𝑆 < 𝑆𝑛 < 𝑆 + 2 𝑆 ⇒ 2 < 𝑆𝑛 < ⇒ > 𝑆 > 3𝑆 , ∀ 𝑛 ≥ 𝑚
2 𝑆 𝑛
2 1 2𝑦𝑛 𝑦
or > 𝑆 ,∀𝑛 ≥ 𝑚 ⇒ > 𝑆𝑛 , ∀ 𝑛 ≥ 𝑚 .
𝑆 𝑛 𝑆 𝑛
𝒚 𝒚 𝒚 𝒚
Now 𝑺𝒏+𝟏 + 𝑺𝒏+𝟐 + 𝑺𝒏+𝟑 + ⋯ + 𝑺𝒏+𝒑
𝒏+𝟏 𝒏+𝟐 𝒏+𝟑 𝒏+𝒑
𝟐
< (𝒚𝒏+𝟏 + 𝒚𝒏+𝟐 + 𝒚𝒏+𝟑 + ⋯ + 𝒚𝒏+𝒑 ), ∀ 𝑛 ≥ 𝑚, 𝑝 ≥ 1
𝑺
𝒚 𝒚 𝒚 𝒚 𝟐
⇒ 𝑺𝒏+𝟏 + 𝑺𝒏+𝟐 + 𝑺𝒏+𝟑 + ⋯ + 𝑺𝒏+𝒑 < 𝑺 (𝑺𝒏+𝒑 − 𝑺𝒏 ), ∀ 𝑛 ≥ 𝑚, 𝑝 ≥ 1.
𝒏+𝟏 𝒏+𝟐 𝒏+𝟑 𝒏+𝒑
𝜀𝑆
𝑺𝒏+𝒑 − 𝑺𝒏 < , ∀ 𝑛 ≥ 𝑚1
2
Therefore,
𝒚𝒏+𝟏 𝒚 𝒚 𝒚 𝟐 𝜀𝑆
+ 𝑺𝒏+𝟐 + 𝑺𝒏+𝟑 + ⋯ + 𝑺𝒏+𝒑 < 𝑺 < 𝜀, ∀ 𝑛 ≥ max(𝑚1 , 𝑚) , 𝑝 ≥ 1
𝑺𝒏+𝟏 𝒏+𝟐 𝒏+𝟑 𝒏+𝒑 2
𝑦𝑛
Therefore, by Cauchy’s General Principle of convergence, ∑ 𝑦 is
1 +𝑦2 +⋯+𝑦𝑛
convergent.
𝑆𝑛 = 𝑦1 + 𝑦2 + ⋯ + 𝑦𝑛 ≥ 0, ∀𝑛
Theorem: A positive term series converges if and only if the sequence of its
partial sums is bounded above.
Proof. Let ∑ 𝑦𝑛 and {𝑆𝑛 } be positive term series and a sequence of its partial
sums respectively.
Hence {𝑆𝑛 } converges if and only if the sequence of its partial sums is
bounded above.
Department of Mathematics
Uttarakhand Open University 73
Real Analysis MT(N)-201
By the definition of convergent series, for any 𝜀 > 0, there exists a positive
integer 𝑀 such that
𝜀
|𝑦𝑚+1 + y𝑚+2 + ⋯ + y𝑚+𝑝 | < , ∀𝑚 ≥ 𝑀, 𝑝 ≥ 1
2
Hence
𝜀
𝑦𝑚+1 + y𝑚+2 + ⋯ + y𝑛 < 2
𝑛 𝜀 𝑛
(𝑛 − 2 ) 𝑦𝑛 < 2 𝑏𝑒𝑐𝑎𝑢𝑠𝑒 𝑚 = [ 2 ]
𝑛 𝜀
⇒ < 2 ⇒ 𝑛𝑦𝑛 < 𝜀
2
Department of Mathematics
Uttarakhand Open University 74
Real Analysis MT(N)-201
NOTE:
lim 𝑛𝑦𝑛 = 0 is only necessary not sufficient condition. If lim 𝑛𝑦𝑛 ≠ 0 then
𝑛→∞ 𝑛→∞
1
the series ∑ 𝑦𝑛 is obviously divergent..Example ∑ 𝑛 diverges because
lim 𝑛𝑦𝑛 = 1 ≠ 0 and positive monotonic decreasing terms.\
𝑛→∞
𝟏
Theorem Let ∑ 𝒏𝒑 be positive term series then it is convergent iff 𝒑 > 𝟏.
1 1 1
Proof. Let 𝑆𝑛 = 1𝑝 + 2𝑝 + ⋯ + 𝑛𝑝
Now
1
=1 …………(1)
1𝑝
1 1 1 1 2 1
+ 3𝑝 < 2𝑝 + 2𝑝 < 2𝑝 = 2𝑝−1 ………(2)
2𝑝
1 1 1 1 1 1 1 1 4 1 1 2
+ + + < + + + < = =( ) ..…..(3)
4𝑝 5𝑝 6𝑝 7𝑝 4𝑝 4𝑝 4𝑝 4𝑝 4𝑝 4𝑝−1 2𝑝−1
1 1 1 1 1 1 8 1 1 3
+ 9𝑝 + ⋯ + 15𝑝 < 8⏟𝑝 + 8𝑝 + ⋯ + 8𝑝 < 8𝑝 = 8𝑝−1 = (2𝑝−1 ) ..…..(4)
8𝑝
8 𝑡𝑖𝑚𝑒𝑠
2𝑛 1 𝑛
= (2𝑛)𝑝 = (2𝑝−1 ) ..(n)
1 1 1 1 𝑝−1 1 𝑛
+ 2𝑝 + ⋯ + (2𝑛+1−1)𝑝 = 𝑆2𝑛+1 −1 < 1 + (2) + ⋯ + (2𝑝−1 )
1𝑝
𝑛+1
1 𝑝−1 1 𝑛+1
1(1−(( ) ) ) 2𝑝−1 (1−( 𝑝−1 ) )
2 2
= 1 𝑝−1
=
1−( ) 2𝑝−1 −1
2
Department of Mathematics
Uttarakhand Open University 75
Real Analysis MT(N)-201
Therefore
2𝑝−1
𝑆2𝑛+1−1 < 2𝑝−1 −1 , 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑛
Therefore
2𝑝−1
𝑆𝑛 < 𝑆2𝑛 < 𝑆2𝑛+1 −1 < 2𝑝−1 −1
2𝑝−1
Since for a given 𝑝, 2𝑝−1−1 is a fixed number.
Hence, the sequence {𝑆𝑛 } of partial sums of given positive term series is
bounded above.
Therefore
1 1 1
1 + 2𝑝 ≥ 1 + 2 > 2 ……….(1’)
1 1 1 1 2 1
+ 4𝑝 ≥ 3 + 4 > 4 = 2 …………. (2’)
3𝑝
1 1 1 1 1 1 1 1 4 1
+ + + ≥ + + + > = ………… (3’)
5𝑝 6𝑝 7𝑝 8𝑝 5 6 7 8 8 2
1 1 1 1 1 1
𝑝
+ 𝑝 + ⋯+ 𝑝 ≥ + + ⋯+
9 10 16 9 10 16
1 1 1 8 1
≥⏟ + 16 + ⋯ + 16 = 16 = 2 ….. (4’)
16
8 𝑡𝑖𝑚𝑒𝑠
Department of Mathematics
Uttarakhand Open University 76
Real Analysis MT(N)-201
1 1 1
+ 𝑚−1 + ⋯+ 𝑚 𝑝
(2𝑚−1+ 1) 𝑝 (2 + 2) 𝑝 (2 )
1 1 1 1 1 1
≥ 2𝑚−1 +1 + 2𝑚−1+2 +. . + 2𝑚 > 2⏟𝑚 + 2𝑚 + ⋯ + 2𝑚
2𝑚−1 𝑡𝑖𝑚𝑒𝑠
2𝑚−1 1
= =2 …….(m’)
2𝑚
𝑚
i.e. 𝑆2𝑚 > 2 .
𝑚′
Let 𝐾 be any number and there exists 𝑚′ ∈ ℕ such that >𝐾
2
′
Let 𝑛 > 2𝑚
Therefore, we conclude that the sequence of partial sums {𝑆𝑛 } of given series
𝑢𝑛
(i) if lim = 1(finite and non-zero), then ∑ 𝑢𝑛 and ∑ 𝑣𝑛 both converge or
𝑛⟶∞ 𝑣𝑛
diverge together.
𝑢𝑛
(ii) if lim = 0 and ∑ 𝑣𝑛 converges, then ∑ 𝑢𝑛 is also converges.
𝑛⟶∞ 𝑣𝑛
𝑢𝑛
(iii) if lim = ∞ and ∑ 𝑣𝑛 diverges, then ∑ 𝑢𝑛 is also diverges.
𝑛⟶∞ 𝑣𝑛
Department of Mathematics
Uttarakhand Open University 78
Real Analysis MT(N)-201
series ∑∞
𝑛=1|𝑢𝑛 | is convergent.
Definition 2. If ∑∞ ∞
𝑛=1 𝑢𝑛 converges but not absolutely then the series ∑𝑛=1 𝑢𝑛
Proof. Let ∑∞ ∞
𝑛=1 𝑢𝑛 be absolutely convergent series, then ∑𝑛=1|𝑢𝑛 | is
convergent.
<𝜖 ∀𝑛 >𝑚
Hence ∑∞
𝑛=1|𝑢𝑛 | is convergent ⟹ 𝑢𝑛 is convergent.
1
It is an alternating series. Here 𝑢𝑛 = 𝑛. Clearly 𝑢𝑛 > 0 ∀ 𝑛
1 1
Since 𝑛 > 𝑛+1 , 𝑢𝑛 > 𝑢𝑛+1 ∀ 𝑛
1
Also lim 𝑢𝑛 = lim =0
𝑛⟶∞ 𝑛⟶∞ 𝑛
(−1)𝑛−1
Therefore, by Leibnitz’s test ∑∞
𝑛=1 is convergent.
𝑛
Note: A series with mixed signs cannot converge if the series of its positive
terms is convergent (divergent) and the series of its negative terms is
divergent (convergent).
1
Sol. (i) Here 𝑢𝑛 = sin 𝑛
1 1 1 1 1
= − . + . −⋯
𝑛 3! 𝑛3 5! 𝑛5
Department of Mathematics
Uttarakhand Open University 80
Real Analysis MT(N)-201
1 1 1 1 1
= 𝑛 [1 − 3! . 𝑛2 + 5! . 𝑛4 − ⋯ ]
1
Take 𝑣𝑛 =
𝑛
𝑢𝑛 1 1 1 1
lim = lim [1 − 3! . 𝑛2 + 5! . 𝑛4 − ⋯ ] = 1 which is finite and ≠ 0.
𝑛⟶∞ 𝑣𝑛 𝑛⟶∞
Therefore, ∑∞ ∞
𝑛=1 𝑢𝑛 and ∑𝑛=1 𝑣𝑛 converges and diverges together.
1 1
Since ∑∞ ∞ ∞
𝑛=1 𝑣𝑛 = ∑𝑛=1 𝑛 is of the form ∑𝑛=1 𝑛 𝑝 with p = 1.
Therefore, ∑∞ ∞
𝑛=1 𝑣𝑛 is divergent ⟹ ∑𝑛=1 𝑢𝑛 is divergent.
1 1
(ii) Here 𝑢𝑛 = 𝑛 sin 𝑛
1 1 1 1 1 1
= 𝑛 [𝑛 − 3! . 𝑛3 + 5! . 𝑛5 − ⋯ ]
1 1 1 1 1
= 𝑛2 [1 − 3! . 𝑛2 + 5! . 𝑛4 − ⋯ ]
1
Take 𝑣𝑛 =
𝑛2
𝑢𝑛 1 1 1 1
lim = lim [1 − 3! . 𝑛2 + 5! . 𝑛4 − ⋯ ] = 1 which is finite and ≠ 0.
𝑛⟶∞ 𝑣𝑛 𝑛⟶∞
Therefore, ∑∞ ∞
𝑛=1 𝑢𝑛 and ∑𝑛=1 𝑣𝑛 converges and diverges together.
1 1
Since ∑∞ ∞ ∞
𝑛=1 𝑣𝑛 = ∑𝑛=1 𝑛 2 is of the form ∑𝑛=1 𝑛 𝑝 with p = 2.
Therefore, ∑∞ ∞
𝑛=1 𝑣𝑛 is convergent ⟹ ∑𝑛=1 𝑢𝑛 is convergent.
𝑛2
(i) ∑∞
𝑛=1 𝑛!
𝑛2
Sol. Here, 𝑢𝑛 = 𝑛!
𝑢𝑛 𝑛2 1
Therefore, 𝑢 = 𝑛+1 = 1 1
𝑛+1 +
𝑛 𝑛2
Department of Mathematics
Uttarakhand Open University 81
Real Analysis MT(N)-201
𝑢𝑛 1 1
Therefore, lim = lim 1 1 =0=∞
𝑛⟶∞ 𝑢𝑛+1 𝑛⟶∞ +
𝑛 𝑛2
𝑛 𝑛2
Sol. Here, 𝑢𝑛 = (𝑛+1)
1/𝑛
𝑛 𝑛2 𝑛 𝑛 𝑛+1 −𝑛
Therefore, (𝑢𝑛 )1/𝑛 = [(𝑛+1) ] = (𝑛+1) = ( )
𝑛
−1
1 𝑛
= [(1 + 𝑛) ]
−1
1 𝑛 1
Therefore, lim (𝑢𝑛 )1/𝑛 = lim [(1 + 𝑛) ] = 𝑒 −1 = 𝑒 < 1
𝑛⟶∞ 𝑛⟶∞
5.10 SUMMARY
Department of Mathematics
Uttarakhand Open University 82
Real Analysis MT(N)-201
1. If ∑∞
𝑛=1 𝑢𝑛 is an absolutely convergent series, then the series of its positive
terms and the series of its negative terms are both convergent.
2. If ∑∞
𝑛=1 𝑢𝑛 is conditionally convergent, then the series of its positive terms
and the series of its negative terms are both divergent.
3. A series with mixed signs cannot converge if the series of its positive terms
is convergent (divergent) and the series of its negative terms is divergent
(convergent).
𝑢𝑛
(iii) if lim = ∞ and ∑ 𝑣𝑛 diverges, then ∑ 𝑢𝑛 is also diverges.
𝑛⟶∞ 𝑣𝑛
5.11 GLOSSARY
sequence
limit
5.12 REFERENCES
Department of Mathematics
Uttarakhand Open University 83
Real Analysis MT(N)-201
2. R.G. Bartle and D.R. Sherbert, Introduction of real analysis (3rd Edition), John
Wiley and Sons (Asia) P. Ltd., Inc. 2000.
3. W. Rudin, Principles of Mathematical Analysis (3rd Edition), McGraw-Hill
Publishing, 1976.
4. S.C. Malik and Savita Arora, Mathematical Analysis (6th Edition), New Age
International Publishers, 2021.
5. Shanti Narayan, A course of Mathematical Analysis (29th Edition), S. Chand
and Co., 2005.
6. K. A. Ross, Elementary Analysis, The Theory of Calculus (2nd edition),
Springer, 2013.
1
Q 2. Examine the convergence of the series ∑∞
𝑛=1 𝑛! .
1
Q 3. Examine the convergence of the series ∑∞
𝑛=1 (𝑙𝑜𝑔𝑛)𝑛 .
(−1)𝑛−1 𝑛
∑∞
𝑛=1 .
𝑛+2
5.15 ANSWERS
TQ1. Convergent.
Department of Mathematics
Uttarakhand Open University 84
Real Analysis MT(N)-201
TQ2. Convergent.
TQ3. Convergent.
CYQ 1. True
CYQ 2. False
CYQ 3. True
CYQ 4. True
CYQ 5. False
Department of Mathematics
Uttarakhand Open University 85
Real Analysis MT(N)-102
BLOCK-II
FUNCTIONS SINGLE VARIABLE
Department of Mathematics
Uttarakhand Open University 86
Real Analysis MT(N)-102
UNIT 6: LIMITS
CONTENTS:
6.1 Introduction
6.2 Objectives
6.3 Limit on the basis of (𝜀, 𝛿)
6.4 Variable
6.5 Limit on the basis of L.H.L. and R.H.L.
6.6 Infinites limits
6.7 L Hospital rule
6.8 Summary
6.9 Glossary
6.10 References
6.11 Suggested Reading
6.12 Terminal questions
6.13 Answers
Department of Mathematics
Uttarakhand Open University 87
Real Analysis MT(N)-102
6.1 INTRODUCTION
6.2 OBJECTIVES
(i) Neighborhood
(ii) Interior point
(iii) Open set
(iv) Limit point
6.3 LIMIT
Department of Mathematics
Uttarakhand Open University 89
Real Analysis MT(N)-102
𝟏 𝟏
Example 6.3.3. Prove that 𝐥𝐢𝐦 = 𝒃 𝒊𝒇 𝒃 > 𝟎
𝒙→𝒃 𝒙
𝟏
Proof. Let 𝑓 (𝑥 ) = 𝒙 𝑓𝑜𝑟 𝑎𝑙𝑙 𝑥 > 0 and assume 𝒃 > 𝟎
1
Now we will try to prove that lim 𝑓 (𝑥 ) = 𝑏.
𝑥→𝑎
1 1 1
Therefore, we will try to prove that the difference |𝑓(𝑥) − 𝑏| = |𝑥 − 𝑏 |
less than a preassigned 𝜀 > 0 by taking x sufficiently close to 𝑏 > 0.
Now
1 1 1 1
| − | = | (𝑏 − 𝑥 )| = |𝑥 − 𝑏| 𝑓𝑜𝑟 𝑥 > 0.
𝑥 𝑏 𝑏𝑥 𝑏𝑥
1
Now if | 𝑥 − 𝑏| < 2 𝑏 then
1 1 1 3 1 2 1
− 2 𝑏 < 𝑥 − 𝑏 < 2 𝑏 ⇒ 2 𝑏 < 𝑥 < 2 𝑏 ⇒ 2 𝑏2 < 𝑏𝑥 ⇒ 𝑏2 > 𝑏𝑥 .
Therefore
1 2 1
0 < 𝑏𝑥 < 𝑏2 for | 𝑥 − 𝑏| < 2 𝑏
Hence, for these values of 𝑥 we have
1 2
|𝑓(𝑥) − | < |𝑥 − 𝑏 | ………(1)
𝑏 𝑏2
In order to make this last term less than 𝜀 it suffices to take
1 1 1
|𝑥 − 𝑏| < 𝑏2 𝜀. Consequently, if we choose 𝛿 (𝜀 ) = inf { 𝑏, 𝑏2 𝜀},
2 2 2
Then if 0 < |𝑥 − 𝑏| < 𝛿 (𝜀 ),
1
Now if |𝑥 − 𝑏| < 2 𝑏, then equation (1) is valid.
1
Therefore, since |𝑥 − 𝑏| < 2 𝑏2 𝜀, that
1 1 1
|𝑓(𝑥) − | = | − | < 𝜀
𝑏 𝑥 𝑏
Since we have a way of choosing 𝛿 (𝜀 ) > 0 for an arbitrary choice of 𝜀 >
0, we conclude that
1 1
lim = 𝑏 𝑖𝑓 𝑏 > 0.
𝑥→𝑏 𝑥
Department of Mathematics
Uttarakhand Open University 90
Real Analysis MT(N)-102
(iii) lim 𝑓𝑔 = 𝑙1 𝑙2
𝑥→𝑏
(b) If ℎ: 𝑋 → ℝ and ℎ(𝑥) ≠ 0 for all 𝑥 ∈ 𝑋, if lim ℎ = 𝑙3 ≠ 0, then
𝑥→𝑏
𝑓 𝑙1
lim = 𝑙
𝑥→𝑏 ℎ 3
Proof. (a) It is given that lim 𝑓 = 𝑙1 and lim 𝑔 = 𝑙2 , Hence for any
𝑥→𝑏 𝑥→𝑏
𝜀 > 0 there exists a positive number 𝛿1 and 𝛿2 such that
𝜀 𝜀
|𝑓 (𝑥 ) − 𝑙1 | < when 0 < |𝑥 − 𝑏| < 𝛿1 and |𝑔(𝑥 ) − 𝑙2 | < when
2 2
0 < |𝑥 − 𝑏| < 𝛿2
Let 𝛿 = min(𝛿1 , 𝛿2 ), then
𝜀
|𝑓 (𝑥 ) − 𝑙1 | < when 0 < |𝑥 − 𝑏| < 𝛿 ………(1)
2
and
𝜀
|𝑔(𝑥) − 𝑙2 | < when 0 < |𝑥 − 𝑏| < 𝛿 ………(2)
2
Now, when 0 < |𝑥 − 𝑏| < 𝛿
|(𝑓 + 𝑔)(𝑥) − (𝑙1 + 𝑙2 )| = |𝑓 (𝑥 ) − 𝑙1 + 𝑔(𝑥 ) − 𝑙2 |
≤ |𝑓 (𝑥 ) − 𝑙1 | + |𝑔(𝑥 ) − 𝑙2 |
𝜀 𝜀
<2+2 =𝜀
Therefore
|(𝑓 + 𝑔)(𝑥) − (𝑙1 + 𝑙2 )| < 𝜀 when 0 < |𝑥 − 𝑏| < 𝛿
Thus, lim 𝑓 + 𝑔 = 𝑙1 + 𝑙2
𝑥→𝑏
(ii) When 0 < |𝑥 − 𝑏| < 𝛿
|(𝑓 − 𝑔)(𝑥) − (𝑙1 − 𝑙2 )| = |𝑓 (𝑥 ) − 𝑙1 + 𝑔(𝑥 ) − 𝑙2 |
≤ |𝑓 (𝑥 ) − 𝑙1 | + |𝑙2 − 𝑔(𝑥 )|
𝜀 𝜀
= |𝑓 (𝑥 ) − 𝑙1 | + |𝑔(𝑥 ) − 𝑙2 | < 2 + 2 = 𝜀
(From (1) and (2))
|(𝑓 − 𝑔)(𝑥) − (𝑙1 − 𝑙2 )| < 𝜀 when 0 < |𝑥 − 𝑏| < 𝛿
Thus, lim 𝑓 − 𝑔 = 𝑙1 − 𝑙2
𝑥→𝑏
(iii) |(𝑓𝑔)(𝑥) − (𝑙1 𝑙2 )| = |𝑓 (𝑥 )𝑔(𝑥 ) − 𝑙1 𝑙2 |
= |𝑓 (𝑥 )𝑔(𝑥 ) − 𝑓(𝑥 )𝑙2 + 𝑓(𝑥)𝑙2 − 𝑙1 𝑙2 |
= |𝑓 (𝑥 )(𝑔(𝑥 ) − 𝑙2 ) + 𝑙2 (𝑓(𝑥) − 𝑙1 )|
≤ |𝑓 (𝑥 )||𝑔(𝑥) − 𝑙2 | + |𝑙2 ||𝑓(𝑥 ) − 𝑙1 | .….(3)
As we know that lim 𝑓 = 𝑙1 . Hence for any 𝜀 = 1 there exists a positive
𝑥→𝑏
number 𝛿′1 such that
|𝑓 (𝑥 ) − 𝑙1 | < 1 when 0 < |𝑥 − 𝑏| < 𝛿′1 .
Now
|𝑓 (𝑥 )| = |𝑓(𝑥 ) − 𝑙1 + 𝑙1 | ≤ |𝑓(𝑥) − 𝑙1 | + |𝑙1 |
< 1 + |𝑙1 | , when 0 < |𝑥 − 𝑏| < 𝛿′1 …….(4)
lim 𝑔 = 𝑙2 , there exists a positive number 𝛿′2 such that
𝑥→𝑏
𝜀
|𝑔 (𝑥 ) − 𝑙2 | < 2
when 0 < |𝑥 − 𝑏| < 𝛿′2 …….(5)
1+|𝑙1 |
Department of Mathematics
Uttarakhand Open University 91
Real Analysis MT(N)-102
√4+𝑥−2
Proof. It is given that 𝑙𝑖𝑚𝑥→0 𝑥
√4+𝑥−2 √4+𝑥−2 √4+𝑥+2 4+𝑥−4
𝑙𝑖𝑚𝑥→0 = 𝑙𝑖𝑚𝑥→0 . = 𝑙𝑖𝑚𝑥→0 . =
𝑥 𝑥 √4+𝑥−2 √4+𝑥+2
𝑥 1
𝑙𝑖𝑚𝑥→0 =4.
√4+𝑥+2
6.4 VARIABLE
6.5 LIMIT
∎ Definition of Limit.
f(x) is said to tend to a limit as 𝑥 tends to ‘𝑎’ if both the left and right
hand limits exist and equal, and their common value is called the limit of
the function.
lim− 𝑓 (𝑥 ) = lim 𝑓 (𝑎 − ℎ) where, ℎ > 0 is called left hand limit (L.H.L.)
𝑥→𝑎 ℎ→0
And
lim+ 𝑓 (𝑥 ) = lim 𝑓 (𝑎 + ℎ) where, ℎ > 0 is called right hand limit
𝑥→𝑎 ℎ→0
(R.H.L.)
Department of Mathematics
Uttarakhand Open University 93
Real Analysis MT(N)-102
𝑒 1/𝑥
(iv) lim 𝑒 1/𝑥 +1
𝑥→0
Department of Mathematics
Uttarakhand Open University 94
Real Analysis MT(N)-102
𝑥2
− 𝑎 𝑓𝑜𝑟 0 < 𝑥 < 𝑎
Example 6.5.2. Find lim 𝑓(𝑥) where 𝑓 (𝑥 ) = { 𝑎 𝑎3 .
𝑥→0
𝑎 − 𝑥2 𝑓𝑜𝑟 𝑥 > 𝑎
f ( x) or f ( x) whenever 0 | x a | .
sin x
Example 6.6.1. Find Limit .
x0 x
sin x
Solution. Let f ( x) Here
x
sin h
f (0 0) Limit f (0 h) Limit f (h) Limit
h 0 h 0 h 0 h
3 5 7
hh h h ....
3! 5! 7!
Limit
h 0 h
2 4 6
Limit 1 h h h .... 1
h 0 3! 5! 7!
Department of Mathematics
Uttarakhand Open University 95
Real Analysis MT(N)-102
And
sin (h)
f (0 0) Limit f (0 h) Limit f (h) Limit
h 0 h 0 h 0 h
sin (h)
Limit 1.
h 0 h
sin x
Since f (0 + 0) = f (0 - 0) = 1 and hence Limit 1.
h 0 x
sin x
Example 6.6.2.. Find Limit .
x x
sin x
Solution. Let f ( x) . Put x = 1/y so as x →∞, y→ 0. Then
x
1
Let g ( y ) y sin . Then, right hand limit is
y
1
Limit h sin
h 0
h
0
g (0 0) Limit g (0 h) Limit g ( h)
h 0 h 0
1
Limit h sin 0
h 0
h
1
Since g (0 + 0) = g (0 - 0) = 0 therefore Limit y sin 0 and hence
y 0
y
sin x
Limit 0.
x x
Department of Mathematics
Uttarakhand Open University 96
Real Analysis MT(N)-102
1
Example 6.6.3. Find lim sin (𝑥).
𝑥⟶∞
1
Solution. Let f ( x) sin . Here
x
1
f (0 0) Limit f (0 h) Limit f (h) Limit sin
h 0 h 0 h 0
h
1
As h → 0, the value of sin oscillates between -1 and +1 passing
h
1
through zero. Hence there is no definite number l to which sin tends
h
to as h → 0. Therefore right hand limit does not exist. Similarly left hand
limit f (0 – 0) also does not exists.
1
Thus lim sin (𝑥) does not exist.
𝑥⟶∞
x0
x 0
11 1 1 1
1 1 1 2
Limit 1 .h
h h 2 h h h . h 3 ....
.h
h 0 h 2! 3!
1 1. 1 h 1. 1 h1 2h
Limit 1 ....
h 0
1! 2! 3!
1 1 1
1 .... e
1! 2! 3!
Department of Mathematics
Uttarakhand Open University 97
Real Analysis MT(N)-102
Limit 1 x
1
x e.
x 0
x2
Example 6.6.5. Show that Limit does not exist.
x2 ( x 2)
x2
Solution. Let f ( x) Limit . Now right hand limit is
x2 ( x 2)
2h2
f (2 0) Limit f (2 h) Limit
h 0 h 0 (2 h 2)
h h
Limit Limit 1
h 0 ( h) h 0 h
2h2
f (2 0) Limit f (2 h) Limit
h 0 h 0 (2 h 2)
h h
Limit Limit 1
h 0 ( h) h 0 h
x2
Since f (2 + 0) ≠ f (2 – 0). Hence Limit does not exist.
x2 ( x 2)
1 1x
Example 6.6.6. Find Limit e .
x0 x
1 1x
Solution. Let f ( x) Limit e . Then
x0 x
1 1h
f (0 0) Limit f (0 h) Limit f (h) Limit e
h 0 h 0 h 0 h
1 1
(since and e h as h → 0)
h
and
Department of Mathematics
Uttarakhand Open University 98
Real Analysis MT(N)-102
1 1
f (0 0) Limit f (0 h) Limit f (h) Limit e h
h 0 h 0 h 0 h
1
Limit 1
h 0
he h
1
Limit 0
h 0 1 1 1 1 1
h 1 2
3
....
h 2! h 3! h
1 1x
Since f (0 + 0) ≠ f (0 – 0). Hence Limit e does not exist.
x0 x
sin 𝑥
Example 6.7.1. Evaluate lim .
𝑥⟶0 𝑥
sin x 0
Sol. Clearly, lim is a form.
x 0 x 0
L’Hospital’sRule:
sin 𝑥 (sin 𝑥)′ cos 𝑥
lim = lim = lim = 1.
𝑥→0 𝑥 𝑥→0 (𝑥)′ 𝑥→0 1
Note: In second method, dash ( ′ ) above sin 𝑥 and 𝑥 represents the first
derivative with respect to 𝑥 (variable with respect to the limit has been
taken).
Department of Mathematics
Uttarakhand Open University 99
Real Analysis MT(N)-102
log 𝑥
Example 6.7.2. Evaluate lim .
𝑥⟶0 𝑥−1
log x 0
Sol. Clearly, lim is a form.
x 0 x 1
0
L’Hospital’s Rule:
1
log 𝑥 (log 𝑥)′ ( )
𝑥
lim = lim (𝑥 – 1)′ = lim = 1.
𝑥→1 𝑥 – 1 𝑥→1 𝑥→1 1
x sin x
Example 6.7.3. Find lim
x 0 x2
(1−cos 𝑥)
= lim 3𝑥 2
𝑥→0
(1−cos 𝑥)′
= lim (3𝑥 2)′
𝑥→0
(sin 𝑥)′
= lim
𝑥→0 (6𝑥)′
(cos 𝑥)
= lim 6
𝑥→0
1
= .
6
ex 1
lim
Example 6.7.4. Find x 0 x
x cos x log( 1 x)
lim
Example 6.7.5. Evaluate x 0 x2
{𝑥𝑐𝑜𝑠 𝑥−log(1+𝑥)}′
= lim (𝑥 2)′
𝑥→0
Department of Mathematics
Uttarakhand Open University 100
Real Analysis MT(N)-102
1 𝟎
1.cos 𝑥−𝑥(sin 𝑥)−(1+𝑥) (𝟎form)
= lim
𝑥→0 2𝑥
1
(cos 𝑥−𝑥 sin 𝑥−(1+𝑥))′
= lim
𝑥→0 (2𝑥)′
1
− sin 𝑥−(1.sin 𝑥+𝑥.cos 𝑥)+
(1+𝑥) 2
= lim
𝑥→0 2
1
− 2sin 𝑥−𝑥.cos 𝑥+
(1+𝑥)2
= lim
𝑥→0 2
1
= 2.
(1 x) n 1
lim
Example 6.7.6. Find x0 x
𝑛(1+𝑥)𝑛−1
= lim
𝑥→0 1
=𝑛
a x xa
lim
Example 6.7.7. Evaluate x 0 x a
x a
𝑦 = 𝑥𝑥
Taking logarithms
log 𝑦 = 𝑥 log 𝑥
Department of Mathematics
Uttarakhand Open University 101
Real Analysis MT(N)-102
1 𝑑𝑦
( ) = log 𝑥 + 1
𝑦 𝑑𝑥
𝑑𝑦
( ) = y(log 𝑥 + 1) = 𝑥 𝑥 (log 𝑥 + 1).
𝑑𝑥
−5+56−81 −30
= = = −15 .
2 2
e x e sin x
lim
Example 6.7.9. Evaluate x0 x sin x
𝑒 𝑥 −𝑒 sin 𝑥 (𝑒 𝑥 −𝑒 sin 𝑥 )′
Sol. lim = lim
𝑥→0 𝑥−sin 𝑥 𝑥→0 (𝑥−sin 𝑥)′
𝑒 𝑥 − {2 cos 𝑥 . (−sin 𝑥). 𝑒 sin 𝑥 + cos 3 𝑥 . 𝑒 sin 𝑥 } + {cos 𝑥. 𝑒 sin 𝑥 + sin 𝑥 cos 𝑥. 𝑒 sin 𝑥 }
= lim
𝑥→0 cos 𝑥
𝑒 𝑥 +3 sin 𝑥 cos 𝑥. 𝑒 sin 𝑥 −cos3 𝑥.𝑒 sin 𝑥 +cos 𝑥. 𝑒 sin 𝑥
= lim cos 𝑥
𝑥→0
Department of Mathematics
Uttarakhand Open University 102
Real Analysis MT(N)-102
1−1+1
= 1
= 1.
∞
Case II: Form
∞
𝑛 2+5
Example 6.7.10. Evaluate 𝑙𝑖𝑚𝑥→0 .
𝑛 2+4𝑛+3
n2 5
Sol. Clearly, lim is a form.
n n 4 n 3
2
Algebraic Method:
5 5
𝑛 2+5 𝑛 2(1+ 2 ) (1+ 2 )
𝑛 𝑛
𝑙𝑖𝑚 = 𝑙𝑖𝑚 4 3 = 𝑙𝑖𝑚 4 3 =1 .
𝑛→∞ 𝑛 2+4𝑛+3 𝑛→∞ 𝑛 2(1+𝑛+ 2 ) 𝑛→∞ (1+𝑛+ 2 )
𝑛 𝑛
L’Hospital’s Method:
𝑛 2+5
𝑙𝑖𝑚
𝑛→∞ 𝑛 2+4𝑛+3
∞
(Again ∞ form)
(2𝑛)′
= 𝑙𝑖𝑚 (2𝑛+4)′
𝑛→∞
2
= 𝑙𝑖𝑚
𝑛→∞ 2
=1.
log x
lim
Example 6.7.11. Evaluate x 0 cot x
∞
Sol. This is of the form ∞. We have therefore,
1
𝑙𝑜𝑔 𝑥 (𝑙𝑜𝑔 𝑥 )′ (𝑥 ) ∞
lim = lim ′
= lim 2
( 𝑓𝑜𝑟𝑚)
𝑥→0 𝑐𝑜𝑡 𝑥 𝑥→0 (𝑐𝑜𝑡 𝑥 ) 𝑥→0 −𝑐𝑜𝑠𝑒𝑐 𝑥 ∞
− 𝑠𝑖𝑛2 𝑥 0
= lim ( 𝑓𝑜𝑟𝑚)
𝑥→0 𝑥 0
−2𝑠𝑖𝑛 𝑥 𝑐𝑜𝑠 𝑥
= lim = 0.
𝑥→0 1
log( x )
lim 2
tan x
x
Example 6.7.12. Find 2
Department of Mathematics
Uttarakhand Open University 103
Real Analysis MT(N)-102
log( x )
2 is a ∞
Sol. lim form.
tan x ∞
x
2
We have,
𝜋 𝜋
log(𝑥− ) [log(𝑥− )]′
2 2
lim𝜋 = lim𝜋 =
𝑥→ tan 𝑥 𝑥→ (tan 𝑥)′
2 2
1
( 𝜋 )
(𝑥− ) ∞
2
lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→
𝜋 𝑠𝑒𝑐 2 𝑥
2
𝑐𝑜𝑠 2𝑥 0
= lim𝜋 𝜋 ( 0 𝑓𝑜𝑟𝑚)
𝑥→ (𝑥− 2 )
2
(𝑐𝑜𝑠 2𝑥)′
= lim𝜋 𝜋
𝑥→ (𝑥− )′
2 2
−2 cos 𝑥 sin 𝑥
= lim𝜋
𝑥→ 1
2
= 0.
log( x a )
lim
x a log( e x e a )
Example 6.7.13. Evaluate
log(𝑥−𝑎) ∞ (log(𝑥−𝑎))′
Sol. lim ( 𝑓𝑜𝑟𝑚) = lim (log(𝑒 𝑥 −𝑒 𝑎))′
𝑥→𝑎 log(𝑒 𝑥 −𝑒 𝑎 ) ∞ 𝑥→𝑎
1
( )
𝑥−𝑎
= lim 1
𝑥→𝑎 ( 𝑥 𝑎 )𝑒 𝑥
𝑒 −𝑒
𝑒 𝑥 −𝑒 𝑎 0
= lim (𝑥−𝑎)𝑒 𝑥 ( 𝑓𝑜𝑟𝑚)
𝑥→𝑎 0
(𝑒 𝑥 −𝑒 𝑎 )′
= lim [(𝑥−𝑎)𝑒 𝑥 ]′
𝑥→𝑎
𝑒𝑥
= lim (𝑥−𝑎)𝑒 𝑥 +𝑒 𝑥
𝑥→𝑎
𝑒𝑥
= lim [(𝑥−𝑎)+1]𝑒 𝑥
𝑥→𝑎
1
= lim [(𝑥−𝑎)+1]
𝑥→𝑎
=1
e x 3x 3
lim
Example 6.7.14. Find x 4e 4 x
x
Department of Mathematics
Uttarakhand Open University 104
Real Analysis MT(N)-102
Sol.
𝑒 𝑥 +3𝑥 3 ∞
lim (∞ 𝑓𝑜𝑟𝑚)
𝑛→∞ 4𝑒 𝑥 +4𝑥
′
(𝑒 𝑥 +3𝑥 3 )
= lim
𝑛→∞ (4𝑒 𝑥 +4𝑥)′
𝑒 𝑥 +9𝑥 2 ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑛→∞ 4𝑒 𝑥 +4
(𝑒 𝑥 +9𝑥 2 )′
= lim
𝑛→∞ (4𝑒 𝑥 +4)′
𝑒 𝑥 +18𝑥 1 ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑛→∞ 4𝑒 𝑥
(𝑒 𝑥 +18𝑥 1)′
= lim (4𝑒 𝑥 )′
𝑛→∞
(𝑒 𝑥 +18) ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑛→∞ 4𝑒 𝑥
𝑒𝑥
= lim
𝑛→∞ 4𝑒 𝑥
1
= 4.
log(tan 2 2 x)
lim
x0 log(tan 2 x )
Example 6.7.15. Evaluate
Sol. We have,
log(𝑡𝑎𝑛2 2𝑥) ∞
lim ( 𝑓𝑜𝑟𝑚)
𝑥→0 log(𝑡𝑎𝑛 2 𝑥 ) ∞
2 log(tan 2𝑥) ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→0 2 log(tan 𝑥)
1
(log(tan 2𝑥))′ ( ).2 𝑠𝑒𝑐 2 2𝑥
tan 2𝑥
= lim = lim 1
𝑥→0 (log(tan 𝑥))′ 𝑥→0 ( ). 𝑠𝑒𝑐 2𝑥
tan 𝑥
sin 2𝑥 1 1
= lim sin 2𝑥 cos 2𝑥 = lim cos 2𝑥 = 1 = 1.
𝑥→0 𝑥→0
log(sin x)
lim
x 0 cot x
Example 6.7.16. Evaluate
Sol. We have,
Department of Mathematics
Uttarakhand Open University 105
Real Analysis MT(N)-102
1
.cos 𝑥 cos 𝑥
= lim sin 𝑥
= lim (− sin 𝑥 . 𝑠𝑖𝑛2 𝑥)
𝑥→0−𝑐𝑜𝑠𝑒𝑐 2 𝑥 𝑥→0
xn
Example 6.7.17. Find lim , where 𝑛 is a positive integer.
n e x
Sol. We have,
𝑥𝑛 ∞ (𝑥 𝑛 )′ 𝑛𝑥 𝑛−1 ∞
lim ( 𝑓𝑜𝑟𝑚) = lim = lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→∞ 𝑒𝑥 ∞ 𝑥→∞ (𝑒 𝑥 )′ 𝑥→∞ 𝑒𝑥
′
(𝑛𝑥 𝑛−1) 𝑛(𝑛−1)𝑥 𝑛−2 ∞
= lim = lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→∞ (𝑒 𝑥 )′ 𝑛→∞ 𝑒𝑥
′
(𝑛(𝑛−1)𝑥 𝑛−2) 𝑛(𝑛−1)(𝑛−2)𝑥 𝑛−3 ∞
= lim = lim (∞ 𝑓𝑜𝑟𝑚)
𝑛→∞ (𝑒 𝑥 )′ 𝑛→∞ 𝑒𝑥
𝑛! 𝑛! 𝑛!
= lim = = ∞ = 0.
𝑛→∞ 𝑒 𝑥 𝑒∞
log sin 2 x
Example 6.7.18. Find lim
x 0 log sin x
Sol. We have,
log sin 2𝑥 ∞
lim ( 𝑓𝑜𝑟𝑚)
𝑥→0 log sin 𝑥 ∞
2
( .cos 2𝑥)
sin 2𝑥
= lim 1
𝑥→0 ( .cos 𝑥)
sin 𝑥
2 cot 2𝑥 ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→0 cot 𝑥
(2 cot 2𝑥)′
= lim
𝑥→0 (cot 𝑥)′
−4 𝑐𝑜𝑠𝑒𝑐 2 2𝑥 ∞
= lim (∞ 𝑓𝑜𝑟𝑚)
𝑥→0 −𝑐𝑜𝑠𝑒𝑐 2 𝑥
Department of Mathematics
Uttarakhand Open University 106
Real Analysis MT(N)-102
4 𝑠𝑖𝑛 2 𝑥
= lim 𝑠𝑖𝑛2 2𝑥
𝑥→0
4 𝑠𝑖𝑛 2 𝑥
= lim (2 sin 𝑥 cos 𝑥)2
𝑥→0
1
= lim 𝑐𝑜𝑠 2𝑥 = 1.
𝑥→0
log 𝑥
Example 6.7.19. Find lim , 𝑎 > 1.
𝑥⟶∞ 𝑎 𝑥
Sol. We have,
log 𝑥 ∞ (log 𝑥)′
lim (∞ 𝑓𝑜𝑟𝑚) = lim
𝑥→∞ 𝑎 𝑥 𝑥→∞ (𝑎 𝑥 )′
1
( )
𝑥
= lim
𝑥→∞ 𝑎 𝑥 log 𝑎
1 1
= lim
log 𝑎 𝑥→∞ 𝑥 𝑎 𝑥
1
= log 𝑎 × 0 = 0.
sin 𝑥
Problem 1. lim is 0.
𝑥⟶0 𝑥
log 𝑥
Problem 2. lim is 1.
𝑥⟶0 𝑥−1
1
Problem 3. lim sin (𝑥) does not exist.
𝑥⟶∞
√4+𝑥−2
Problem 4. 𝑙𝑖𝑚𝑥→0 is 1.
𝑥
𝑛 2 +5
Problem 5. 𝑙𝑖𝑚𝑥→0 is 1.
𝑛 2 +4𝑛+3
6.8 SUMMARY
Department of Mathematics
Uttarakhand Open University 107
Real Analysis MT(N)-102
1. 𝐥𝐢𝐦 𝒇(𝒙) = L
𝒙→𝒂
This is read as, “limit of f(x), as x approaches a equals L”.
0
3. L’Hospital’s method be used only in the situations of and not in
0
other cases.
6.9 GLOSSARY
Numbers
Intervals
Limit points
Functions
Bounded, Unbounded sets
6.10 REFERENCES
Department of Mathematics
Uttarakhand Open University 108
Real Analysis MT(N)-102
5𝑛 2−5
Q1. Prove that 𝑙𝑖𝑚𝑥→0 is 5.
𝑛 2 +4𝑛+3
1
Q2. Prove that 𝑙𝑖𝑚𝑥→0 sin (𝑥 2) does not exist.
1
Q3. Prove that 𝑙𝑖𝑚𝑥→0 𝑥 2 sin (𝑥 2) exist and equal to 0.
1
Q4. Prove that lim 9 𝑥−1 does not exist.
𝑥→1
15 log 𝑥
Q5. Prove that lim , 𝑎 > 1 is 0.
𝑥⟶∞ 𝑎𝑥
6.13 ANSWERS
CYQ 1. False
CYQ 2. True
CYQ 3. True
CYQ 4. False
CYQ 5. True
Department of Mathematics
Uttarakhand Open University 109
Real Analysis MT(N) - 201
UNIT 7: CONTINUITY
CONTENTS:
7.1 Introduction
7.2 Objectives
7.3 Continuity (𝜀, 𝛿) definition
7.4 Continuity (by L.H.L. and R.H.L.)
7.5 Discontinuity
7.6 Type of Discontinuity
7.7 Uniformly continuity
7.8 Summary
7.9 Glossary
7.10 References
7.11 Suggested Reading
7.12 Terminal questions
7.13 Answers
Department of Mathematics
Uttarakhand Open University 110
Real Analysis MT(N) - 201
7.1 INTRODUCTION
7.2 OBJECTIVES
(i) Continuity
(ii) Discontinuity
(iii) Type of Discontinuity
(iv) Uniformly continuous
Department of Mathematics
Uttarakhand Open University 111
Real Analysis MT(N) - 201
f ( x) f (a) whenever x a .
Or
x a f ( x) f ( a ) .
Limit f (a h) f (a)
h 0
Limit f (a h) f (a)
h 0
Department of Mathematics
Uttarakhand Open University 112
Real Analysis MT(N) - 201
7.5 DISCONTINUITY
1
e. g. The function f ( x ) does not exists at x = a so f (x) is not
xa
continuous at x = a.
f (a 0) f (a 0) f (a)
Limit f ( x) f (a) .
x a
f (a 0) f (a) f (a 0) or f (a 0) f (a) f (a 0) .
(i) lim− 𝑓(𝑥) does not exist and lim+ 𝑓(𝑥) exists, however lim+ 𝑓(𝑥)
𝑥⟶𝑎 𝑥⟶𝑎 𝑥⟶𝑎
(ii) lim+ 𝑓(𝑥) does not exist and lim− 𝑓(𝑥) exists, however lim− 𝑓(𝑥)
𝑥⟶𝑎 𝑥⟶𝑎 𝑥⟶𝑎
Clearly, in such a case, 𝑓 has a finite number of discontinuities and the set
𝐴 is divided at the points of discontinuities.
Illustrative Examples
x 2 2 if x 1
f ( x ) 2 x 1 if x 1
3 if x 1
Department of Mathematics
Uttarakhand Open University 114
Real Analysis MT(N) - 201
f (1 0) Limit f (1 h) Limit (1 h) 2 2
h 0 h0
f (1 0) Limit f (1 h) Limit (1 h) 2 2
h0 h0
Limit 1 h 2 h 2 3 as1 h 1.
2
h 0
1
Example 2. Discuss the continuity of the function f ( x) 1
when
1 e x
1
Limit 1
1
h0
1 e h
1
Limit 1
0
h0
1 e h
1
f (a) 1
1 e a
1
f (a 0) Limit f (a h) Limit 1
h0 h0 ah
1 e
1
1
f (a)
1 e a
Department of Mathematics
Uttarakhand Open University 115
Real Analysis MT(N) - 201
1
f (a 0) Limit f (a h) Limit 1
h0 h0 ah
1 e
1
1
f (a)
1 e a
1
x sin if x 0
f ( x) x
0 if x 0
Solution. Here
1
Limit h sin 0
h0 h
1 1
Limit (h ) sin Limit h sin 0
h0
h h0 h
1
Limit f ( x) Limit x sin
xc xc x
1
c sin f (c )
c
x (n 1) for n 1 x n
f ( x) 0 for x n
x n for n x n 1
where n is an integer
f (n 0) Limit f (n h) Limit (n h) n
h 0 h 0
f (n 0) Limit f (n h) Limit (n h) n 1
h0 h0
x when 0 x 1
0 when x 1
x 1 when 1 x 2
0 when x 2
y f ( x)
x 2 when 2 x 3
0 when x 3
x 3 when 3 x 4
0 when x 5
and so on.
Department of Mathematics
Uttarakhand Open University 117
Real Analysis MT(N) - 201
𝑌
𝑦=1
𝑥=3 𝑋
𝑥=1 𝑥=2 𝑥=4
Example 5. Show that the function f (x) = [x] + [-x] has a removable
discontinuity for integral values of x.
f (n – 0) = f (n + 0) = -1 and f (n) = 0.
x
Example 6. Prove that the function f ( x) for x ≠ 0 and f (0) = 0, is
x
continuous at all the points except x = 0.
x x
Solution. If x > 0 then, f ( x) 1 and if x < 0 then, f ( x) 1.
x x
Therefore the given function can define as:
Department of Mathematics
Uttarakhand Open University 118
Real Analysis MT(N) - 201
1, if x 0
f ( x) 0, if x 0
1, if x 0
Similarly, we can show that f (x) is continuous for all x > 0. Now we see
the continuity at x = 0.
Limit 1 1
h0
Limit 1 1
h0
Sol.
Department of Mathematics
Uttarakhand Open University 119
Real Analysis MT(N) - 201
Then | 𝑥 − y |< δ
δ 2ϵ
But |𝑥 2 −𝑦 2 | = | 𝑥 − y || 𝑥 + y | > ⟹ |𝑥 2 −𝑦 2 | > δ
2 δ
Department of Mathematics
Uttarakhand Open University 120
Real Analysis MT(N) - 201
1
Problem 1. The function 𝑓 (𝑥 ) = sin at 𝑥 = 0 has a discontinuity of
𝑥
second kind.
Problem 2. The function 𝑓 (𝑥 ) = 𝑒 𝑥 is not continuous at 𝑥 = 0.
Problem 3. Every uniformly continuous function is continuous
function.
Problem 4. Every polynomial function is uniformly continuous on ℝ.
Problem 5. Every continuous function uniformly continuous.
7.8 SUMMARY
continuous at 𝑥 = 𝑎.
7.9 GLOSSARY
Numbers
Intervals
Sets
Functions
Limits
7.10 REFERENCES
Department of Mathematics
Uttarakhand Open University 121
Real Analysis MT(N) - 201
7.13 ANSWERS
CYQ 1. True
CYQ 2. False
CYQ 3. True
CYQ 4. False
CYQ 5. False
Department of Mathematics
Uttarakhand Open University 122
Real Analysis MT(N)-201
UNIT 8: DIFFERENTIATION
Contents
8.1 Introduction
8.2 Objectives
8.3 Derivative
8.4 Mean Value Theorem
8.5 Taylor’s theorem
8.6 Summary
8.7 Glossary
8.8 Suggested Readings
8.9 References
8.10 Terminal Questions
8.11 Answers
Department of Mathematics
Uttarakhand Open University 123
Real Analysis MT(N)-201
8.1 INTRODUCTION
8.2 OBJECTIVES
In this Unit, we will Discussed about
Improper integral
Test of convergence
Absolute integral
Department of Mathematics
Uttarakhand Open University 124
Real Analysis MT(N)-201
8.3 DERIVATIVE
We begin with the definition of the derivative of a function.
Or
f(x)−f(b)
The derivative of f at b is given by f ′ (c) = lim provided this
h→0 x−h
limit exists.
Proof. We have
f(x)−f(b)
f(x) − f(b) = ( ) (x − b) For all x ∈ I; x ≠ b
x−b
f(x) − f(b)
lim (f(x) − f(b)) = lim (( ) (x − b))
x→b x→b x−b
f(x)−f(b)
= lim ( ) lim (x − b)
x→b x−b x→b
= f ′ (b). 0 = 0
Therefore, lim (f(x) − f(b)) = 0 ⇒ lim f(x) − lim f(b) ⇒ lim f(x) = f(b)
x→b x→b x→b x→b
Department of Mathematics
Uttarakhand Open University 125
Real Analysis MT(N)-201
Hence f is continuous at b.
f ′ f′ (b)g(b)−f(b)g′ (b)
( ) ( b) = 2
g (g(b))
f(x)−f(b) g(x)−g(b)
= +
x−b x−b
Therefore
h3(x)−h3(b) f(x)−f(b) g(x)−g(b)
lim = lim {g(x) + f(b) }
x→b x−b x→b x−b x−b
f f f ( x) f( b )
h4 (x) − h4 (b) g ( x ) − ( b) −
g g(x) g(b) f(x)g(b) − f(b)g(x)
= = =
x−b x−b x−b g(b)g(b)(x − b)
Therefore
h4(x)−h4(b) 1 f(x)−f(b) g(x)−g(b)
lim = lim [ . g(b) − f(b). ]
x→b x−b x→b g(x)g(b) x−b x−b
Department of Mathematics
Uttarakhand Open University 127
Real Analysis MT(N)-201
1 f(x)−f(b)
= lim [lim ( ) . g(b) −
x→b g(x)g(b) x→b x−b
g(x)−g(b)
f(b). lim ( )]
x→b x−b
1
= 2 . [f ′ (b)g(b) − f(b)g′ (b)]
g′ (b)
Hence
f ′ f′ (b)g(b)−f(b)g′ (b)
( ) (b) = 2
g (g(b))
f ′ (b) = 0.
Department of Mathematics
Uttarakhand Open University 128
Real Analysis MT(N)-201
Therefore, f ’ (b) = 0.
Rolle’s Theorem
Theorem: Consider that f is continuous on a closed interval I = [a, b]
and
the derivative f ′ (0) exists at every point of the open interval (a, b), and
f(a) = f(b) = 0.
Then there exists at least one point c in (a, b) such that f ′ (c) = 0
f ′ (c ) = 0
Department of Mathematics
Uttarakhand Open University 129
Real Analysis MT(N)-201
Fig.
The converse of Rolle’s theorem is not true and it is also possible that
there exists more than one value of x, for which the theorem holds good
but there is a definite chance of the existence of one such value.
NOTE:
the derivative of f(x) = sin x. Hence, between any two roots of sin x
there is at least one
root of cos x .
We can easily see that The Conditions of Rolle’s Theorem are satisfied by Φ
since Φ is continuous on [a, b], differentiable on (a, b), and Φ(a) = Φ(b).
f(b)−f(a)
Therefore f ′ (c) = ⇒ f(b) − f(a) = f ′ (c)(b − a)
b−a
Geometrical Interpretation
Department of Mathematics
Uttarakhand Open University 131
Real Analysis MT(N)-201
The geometric view of the Mean Value Theorem is that there is some
point on the curve y = f(x) at which the tangent line is parallel to the
line segment through the points (a, f (a)) and (b, f (b)). Thus it is easy to
remember the statement of the Mean Value
g(a) ≠ g(b).
Department of Mathematics
Uttarakhand Open University 132
Real Analysis MT(N)-201
φ(a) = φ(b) = 0 .
After locating the critical number(s), choose test values in each interval
between these critical numbers, then calculate the derivatives at the test
values to decide whether the function is increasing or decreasing in each
given interval.
(In general, identify values of the function which are discontinuous, so,
in addition to critical numbers, also watch for values of the function
which are not defined, at vertical asymptotes or singularities (“holes”).)
Department of Mathematics
Uttarakhand Open University 134
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 135
Real Analysis MT(N)-201
Example 1. Find the first 4 terms of the Taylor series for the following
functions:
𝜋
(c) 𝑓(𝑥 ) = 𝑠𝑖𝑛𝑥 centered at 𝑎 = .
4
Sol. (i)
(ii)
(iii)
Department of Mathematics
Uttarakhand Open University 136
Real Analysis MT(N)-201
Example 2.
Sol.
Example 3.
Sol.
Department of Mathematics
Uttarakhand Open University 137
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 138
Real Analysis MT(N)-201
8.6 SUMMARY
f ′ (b) = 0.
2. Rolle’s Theorem
8.7 GLOSSARY
Numbers
Intervals
Continuity function
Functions
Limits
8.8 REFERENCES
Department of Mathematics
Uttarakhand Open University 139
Real Analysis MT(N)-201
8.11 ANSWERS
CYQ 1. True
CYQ 2. True
CYQ 3. True
CYQ 4. True
CYQ 5. False
Department of Mathematics
Uttarakhand Open University 140
Real Analysis MT(N)-201
BLOCK-III
RIEMANN INTEGRAL AND IMPROPER
INTEGRAL
Department Of Mathematics
Uttarakhand Open University 141
Real Analysis MT(N)-201
Contents
9.1 Introduction
9.2 Objectives
9.3 Riemann Integral
9.4 Inequalities for integrals
9.5 Refinement of partitions and tagged partitions
9.6 Summary
9.7 Glossary
9.8 Suggested Readings
9.9 References
9.10 Terminal Questions
9.11 Answers
Department Of Mathematics
Uttarakhand Open University 142
Real Analysis MT(N)-201
9.1 INTRODUCTION
9.2 OBJECTIVES
In this Unit, we will Discussed about
Department Of Mathematics
Uttarakhand Open University 143
Real Analysis MT(N)-201
𝑥0 = 𝑎 𝑥1 𝑥2 𝑥𝑛 𝑥𝑛 = 𝑏
Note:
Department Of Mathematics
Uttarakhand Open University 144
Real Analysis MT(N)-201
Upper Integral: The infimum of the set of upper sums is called Upper
Integral.
−𝑏
i.e. ∫𝑎 𝑓 𝑑𝑥 = inf 𝑈 = inf {𝑈 (𝑃, 𝑓): 𝑃 is a partition of [𝑎, 𝑏]}
Lower Integral: The supremum of the set of lower sums is called Lower
Integral.
𝑏
i.e. ∫−𝑎 𝑓 𝑑𝑥 = sup 𝐿 = sup {𝐿(𝑃, 𝑓): 𝑃 is a partition of [𝑎, 𝑏]}
When Upper integral and lower integral are equal then 𝑓 is said to be
Riemann Integral over [ 𝑎, 𝑏].
𝑏 −𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 = ∫𝑎 𝑓 𝑑𝑥 = ∫−𝑎 𝑓 𝑑𝑥
Therefore
𝑏
∫−𝑎 𝛼𝑑𝑥 = sup 𝐿(𝑃, 𝑓) = 𝛼(𝑏 − 𝑎) and
𝑏
∫−𝑎 𝛼𝑑𝑥 = inf 𝑈(𝑃, 𝑓) = 𝛼(𝑏 − 𝑎)
𝑏 𝑏
⇒∫−𝑎 𝛼𝑑𝑥 = ∫−𝑎 𝛼𝑑𝑥 = 𝛼(𝑏 − 𝑎)
𝑏
Therefore, the constant function is R-integrable and ∫𝑎 𝛼𝑑𝑥 = 𝛼 (𝑏 − 𝑎).
0, when 𝑥 is rational
𝑓 (𝑥 ) = { is not integrable on any interval.
1, when 𝑥 𝑖s irrational
Therefore
𝑏
∫−𝑎 𝛼𝑑𝑥 = sup 𝐿(𝑃, 𝑓) = 0 and
𝑏
∫−𝑎 𝛼𝑑𝑥 = inf 𝑈(𝑃, 𝑓) = 𝑏 − 𝑎
𝑏 𝑏
⇒∫−𝑎 𝛼𝑑𝑥 ≠ ∫−𝑎 𝛼𝑑𝑥
(𝑖−1)𝑘 3
Let lower bounds of function in ∆𝑥𝑖 = ( ) and Upper bounds of
𝑛
𝑖𝑘 3
function in ∆𝑥𝑖 = ( 𝑛 )
Therefore
Department Of Mathematics
Uttarakhand Open University 146
Real Analysis MT(N)-201
𝑏 𝑏 3 𝑏 2𝑏 3 𝑏 𝑏(𝑛−1) 3 𝑏 𝑏4
= 0. 𝑛 + (𝑛) . 𝑛 + ( 𝑛 ) . 𝑛 + ⋯ + ( ) . 𝑛 = 𝑛 4 [ 13 + 23 +
𝑛
⋯ + (𝑛 − 1)3 ]
𝑏4 (𝑛−1)2 𝑛 2 𝑏4 1 2
= = (1 − 𝑛)
4𝑛 4 4
Similarly
𝑏 3 𝑏 2𝑏 3 𝑏 2𝑏 3 𝑏 𝑏𝑛 3 𝑏 𝑏4
= ( 𝑛 ) . 𝑛 + ( 𝑛 ) . 𝑛 + ( 𝑛 ) . 𝑛 + ⋯ + ( 𝑛 ) . 𝑛 = 𝑛 4 [ 13 +
23 + ⋯ + 𝑛 3 ]
𝑏4 𝑛 2(𝑛+1)2 𝑏4 1 2
= = (1 + 𝑛)
4𝑛 4 4
Therefore
𝑏 𝑏4
∫−0 𝛼𝑑𝑥 = sup 𝐿(𝑃, 𝑓) = 4
and
𝑏 𝑏4
∫−0 𝛼𝑑𝑥 = inf 𝑈(𝑃, 𝑓) = 4
𝑏 𝑏 𝑏4
⇒∫−0 𝛼𝑑𝑥 = ∫−0 𝛼𝑑𝑥 = 4
𝑏 𝑏4
Therefore, the given function is R-integrable and ∫0 𝛼𝑑𝑥 = .
4
𝜋
Example 5. Show that the function 𝑓(𝑥 ) = 𝑠𝑖𝑛𝑥 is integrable in [0, 2 ] and
𝜋
∫0 𝑠𝑖𝑛𝑥 𝑑𝑥 = 1.
2
𝜋
Solution: Let any partition of [0, 2 ] be
0𝜋 𝜋 2𝜋 𝑟𝜋 𝑛𝜋 𝜋
P = {0 = 2𝑛 , 2𝑛 , 2𝑛 , … , 2𝑛 , … , 2𝑛 = 2 }
𝜋
Which dissects [0, 2 ] into 𝑛 equal parts.
𝜋
The length of each subinterval = 2𝑛 and the 𝑟 𝑡ℎ sub - interval is
(𝑟−1)𝜋 𝑟𝜋
𝐼𝑟 = [ , 2𝑛].
2𝑛
𝜋
As 𝑓(𝑥 ) = 𝑠𝑖𝑛𝑥 is increasing in [0, 2 ], so we have
Department Of Mathematics
Uttarakhand Open University 147
Real Analysis MT(N)-201
𝑠𝑖𝑛(𝑟−1)𝜋 𝑠𝑖𝑛𝑟𝜋
𝑚𝑟 = and 𝑀𝑟 = , 𝑟 = 1,2,3, … , 𝑛
2𝑛 2𝑛
𝑟𝜋 𝜋
Therefore, 𝑈 (𝑃, 𝑓) = ∑𝑛𝑖=1 𝑀𝑖 ∆𝑥𝑖 = ∑𝑛𝑖=1 (𝑠𝑖𝑛 ).
2𝑛 2𝑛
𝜋 𝜋 2𝜋 𝑛𝜋
= 2𝑛 [ 𝑠𝑖𝑛 2𝑛 + 𝑠𝑖𝑛 2𝑛 + ⋯ + 𝑠𝑖𝑛 2𝑛 ]
𝜋 𝑛−1 𝜋 𝑛𝜋
𝜋 sin( + . ) 𝑠𝑖𝑛
2𝑛 𝑛 2𝑛 4𝑛
= 2𝑛 [ 𝜋 ]
𝑠𝑖𝑛
4𝑛
𝜋 (𝑛+1)𝜋 𝜋 𝜋
Or 𝑈(𝑃, 𝑓) = 2𝑛 [{sin sin ( 4 )} / sin (4𝑛)]
4𝑛
𝜋 𝜋 𝜋 1 𝜋
= 2𝑛 [{sin( 4 + 4𝑛) √2} / sin (4𝑛)]
𝜋 𝜋 𝜋 𝜋 𝜋 𝜋
= 2√2𝑛 [{sin 4 𝑐𝑜𝑠 4𝑛 + cos 4 𝑠𝑖𝑛 4𝑛} / sin (4𝑛)]
𝜋 𝜋
= 4𝑛 (cot 4𝑛 + 1)
𝜋 𝜋
Similarly, 𝐿(𝑃, 𝑓) = 4𝑛 (cot 4𝑛 − 1)
𝜋 𝜋
Now, Riemann lower integral = lim 𝐿(𝑃, 𝑓) = lim (cot 4𝑛 − 1)
𝑛⟶∞ 𝑛⟶∞ 4𝑛
𝜋/4𝑛 𝜋
= lim 𝜋 − lim
𝑛⟶∞ tan (4𝑛) 𝑛⟶∞ 4𝑛
=1–0=1 …… (1)
𝜋 𝜋
And Riemann upper integral = lim 𝑈(𝑃, 𝑓) = lim (cot 4𝑛 + 1)
𝑛⟶∞ 𝑛⟶∞ 4𝑛
=1 ……. (2)
Department Of Mathematics
Uttarakhand Open University 148
Real Analysis MT(N)-201
Proof. Let 𝑀 and 𝑚 be the upper bounds and lower bounds of 𝑓(𝑥)
respectively.
⇒ −𝛼 ≤ 𝑚 ≤ 𝑓(𝑥 ) ≤ 𝑀 ≤ 𝛼
𝑏
⇒ −𝛼(𝑏 − 𝑎) ≤ 𝑚(𝑏 − 𝑎) ≤ ∫𝑎 𝑓 (𝑥 ) ≤ 𝑀(𝑏 − 𝑎) ≤ 𝛼(𝑏 − 𝑎)
𝑏
⇒ |∫𝑎 𝑓(𝑥 )| ≤ 𝛼(𝑏 − 𝑎)
If 𝑎 > 𝑏, we have
𝑏
|∫𝑎 𝑓 (𝑥 )| ≤ 𝛼(𝑎 − 𝑏)
𝑏
Therefore |∫𝑎 𝑓 (𝑥 )| ≤ 𝛼|𝑏 − 𝑎|.
Department Of Mathematics
Uttarakhand Open University 149
Real Analysis MT(N)-201
Proof. Because 𝑓(𝑥) ≥ 0 for all 𝑥 ∈ [𝑎, 𝑏], then the lower bound of
𝑓 (𝑥 ) 𝑖. 𝑒. 𝑚 ≥ 0
Deduction 5 : If 𝑓 and 𝑔 are bounded and integrable on [𝑎, 𝑏], such that
𝑓 (𝑥 ) ≥ 𝑔(𝑥)., for all 𝑥 ∈ [𝑎, 𝑏].then
𝑏 𝑏 𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 ≥ ∫𝑎 𝑔 𝑑𝑥 when 𝑏 ≥ 𝑎 and ∫𝑎 𝑓 𝑑𝑥 ≤ ∫𝑎 𝑓 𝑑𝑥 when 𝑏 ≤ 𝑎
𝑏 𝑏
⇒∫𝑎 𝑓𝑑𝑥 ≥ ∫𝑎 𝑔𝑑𝑥 𝑖𝑓 𝑏 ≥ 𝑎
Similarly
𝑏 𝑏
∫𝑎 𝑓𝑑𝑥 ≤ ∫𝑎 𝑔𝑑𝑥 𝑖𝑓 𝑏 ≤ 𝑎
OR
the norm of a partition is merely the length of the largest subinterval into
which the partition divides [𝑎, 𝑏].
Department Of Mathematics
Uttarakhand Open University 150
Real Analysis MT(N)-201
Proof. Let 𝑃 be partition of [𝑎, 𝑏] and 𝑷∗ contains just one more point ′𝛼′
than 𝑃.
It is given that the function 𝑓 is bounded over the interval [𝑎, 𝑏].
Obviously 𝑚𝑖 ≤ 𝛽1 and 𝑚𝑖 ≤ 𝛽2 .
Hence
= 𝛽1 𝛼 − 𝛽1 𝑥𝑖−1 + 𝛽2 𝑥𝑖 − 𝛽2 𝛼 − 𝑚𝑖 𝑥𝑖 + 𝑚𝑖 𝑥𝑖−1
= 𝛽1 𝛼 − 𝛽1 𝑥𝑖−1 − 𝑚𝑖 𝛼 + 𝑚𝑖 𝛼 + 𝛽2 𝑥𝑖 − 𝛽2 𝛼 −
𝑚𝑖 𝑥𝑖 + 𝑚𝑖 𝑥𝑖−1
Department Of Mathematics
Uttarakhand Open University 151
Real Analysis MT(N)-201
𝐿(𝑃∗ , 𝑓) ≥ 𝐿(𝑃, 𝑓)
Proof. . Let 𝑃 be partition of [𝑎, 𝑏] and 𝑷∗ contains just one more point
′𝛼′ than 𝑃.
It is given that the function 𝑓 is bounded over the interval [𝑎, 𝑏].
Obviously 𝑚𝑖 ≤ 𝛽1 and 𝑚𝑖 ≤ 𝛽2 .
Hence
= 𝛽1 𝛼 − 𝛽1 𝑥𝑖−1 + 𝛽2 𝑥𝑖 − 𝛽2 𝛼 − 𝑚𝑖 𝑥𝑖 + 𝑚𝑖 𝑥𝑖−1
= 𝛽1 𝛼 − 𝛽1 𝑥𝑖−1 − 𝑚𝑖 𝛼 + 𝑚𝑖 𝛼 + 𝛽2 𝑥𝑖 − 𝛽2 𝛼 − 𝑚𝑖 𝑥𝑖 + 𝑚𝑖 𝑥𝑖−1
−𝐾 ≤ 𝑚𝑖 ≤ 𝛽1 ≤ 𝐾 ⇒ 𝐾 ≥ −𝑚𝑖 and 𝐾 ≥ 𝛽1 ⇒ 2𝐾 ≥ 𝛽1 − 𝑚𝑖 or
2𝐾 ≥ 𝛽1 − 𝑚𝑖 ≥ 0
Similarly
2𝐾 ≥ 𝛽2 − 𝑚𝑖 ≥ 0
Department Of Mathematics
Uttarakhand Open University 152
Real Analysis MT(N)-201
Therefore
Therefore
𝜋
Problem 1. The function 𝑓(𝑥 ) = 𝑠𝑖𝑛𝑥 is integrable in [0, 2 ] and
𝜋
∫0 𝑠𝑖𝑛𝑥 𝑑𝑥 = 1.
2
Department Of Mathematics
Uttarakhand Open University 153
Real Analysis MT(N)-201
9.6 SUMMARY
continuous at 𝑥 = 𝑎.
9.7 GLOSSARY
integration
continuity
Functions
Limits
9.8 REFERENCES
Department Of Mathematics
Uttarakhand Open University 154
Real Analysis MT(N)-201
9.11 ANSWERS
CYQ 1. True
CYQ 2. (c)
CYQ 3. False
CYQ 4. True
CYQ 5. True
Department Of Mathematics
Uttarakhand Open University 155
Real Analysis MT(N)-201
10.1 Objectives
10.2 Introduction
10.7 Summary
10.8 Glossary
10.10 References
10.12 Answers
Department of Mathematics
Uttarakhand Open University 156
Real Analysis MT(N)-201
10.1 INTRODUCTION
During a century and a half of development and refinement of techniques,
calculus consisted of these paired operations and their applications,
primarily to physical problems.
10.2 OBJECTIVES
In this Unit, we will
𝒃
(ii) 𝑳(𝑷, 𝒇) > ∫−𝒂 𝒇 𝒅𝒙 − 𝜺
Department of Mathematics
Uttarakhand Open University 157
Real Analysis MT(N)-201
Proof. It is given that 𝑓 is bounded on [𝑎, 𝑏]. Hence there exists 𝛼 > 0
such that
Now
−𝑏
∫𝑎 𝑓 𝑑𝑥 = inf 𝑈 = inf {𝑈(𝑃, 𝑓): 𝑃 is a partition of [𝑎, 𝑏]}
𝜇 (𝑃) < 𝛿.
Therefore
≤ 𝑈 (𝑃 ′ , 𝑓 )
−𝑏 1
< ∫𝑎 𝑓 𝑑𝑥 + 2 𝜀 (Using eq (1))
Therefore
−𝑏 1
𝑈 (𝑃, 𝑓) < ∫𝑎 𝑓 𝑑𝑥 + 2 𝜀 + 2(𝑝 − 1)𝛼𝛿
𝑏
Similarly, we can prove that 𝐿(𝑃, 𝑓) > ∫−𝑎 𝑓 𝑑𝑥 − 𝜀
Department of Mathematics
Uttarakhand Open University 158
Real Analysis MT(N)-201
Note:
FIRST FORM
𝑏 1
𝐿(𝑃, 𝑓) > ∫−𝑎 𝑓 𝑑𝑥 − 2 𝜀 ……………………(2)
𝑏 1
⇒ −𝐿(𝑃, 𝑓) < − ∫−𝑎 𝑓 𝑑𝑥 + 2 𝜀………………………………….(3)
Department of Mathematics
Uttarakhand Open University 159
Real Analysis MT(N)-201
Sufficient Condition
Assume for every partition 𝑃 of [𝑎, 𝑏]with norm 𝜇 (𝑃) < 𝛿 and
𝑏 𝑏
𝐿(𝑃, 𝑓) ≤ ∫−𝑎 𝑓 𝑑𝑥 ⇒− ∫−𝑎 𝑓 𝑑𝑥 ≤ −𝐿(𝑃, 𝑓)………………………..(6)
Because 𝜀 is any arbitrary positive number and also we know that a non
negative number is less than every positive number.
−𝑏 𝑏
Therefore ∫𝑎 𝑓 𝑑𝑥 = ∫−𝑎 𝑓 𝑑𝑥 which implies that 𝑓 is integrable over
interval [𝑎, 𝑏].
SECOND FORM
𝑏 −𝑏
∫−𝑎 𝑓 𝑑𝑥 =supremum of lower sums and ∫𝑎 𝑓 𝑑𝑥 = infimum of upper
sums
𝑏 1
⇒ 𝑈 (𝑃′ , 𝑓) < ∫𝑎 𝑓 𝑑𝑥 + 2 𝜀 …………..(1)
𝑏 1
𝐿(𝑃′′ , 𝑓) > ∫−𝑎 𝑓 𝑑𝑥 − 2 𝜀
𝑏 1
⇒ 𝐿(𝑃′′ , 𝑓) > ∫𝑎 𝑓 𝑑𝑥 − 2 𝜀
𝑏 1
⇒ ∫𝑎 𝑓 𝑑𝑥 < 𝐿(𝑃′′ , 𝑓) + 𝜀 …………(2)
2
𝑃 = 𝑃′ ∪ 𝑃′′
Therefore
𝑏 1
𝑈 (𝑃, 𝑓) ≤ 𝑈 (𝑃′ , 𝑓) < ∫𝑎 𝑓 𝑑𝑥 + 2 𝜀 (using inequality (1))
1 1
⇒ 𝑈 (𝑃, 𝑓) < 𝐿(𝑃′′ , 𝑓) + 2 𝜀 + 2 𝜀 = 𝐿(𝑃′′ , 𝑓) + 𝜀
Sufficient Condition
𝑏 𝑏
𝐿(𝑃, 𝑓) ≤ ∫−𝑎 𝑓 𝑑𝑥 ⇒− ∫−𝑎 𝑓 𝑑𝑥 ≤ −𝐿(𝑃, 𝑓)………………………..(5)
Department of Mathematics
Uttarakhand Open University 161
Real Analysis MT(N)-201
−𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 − ∫−𝑎 𝑓 𝑑𝑥 < 𝜀
Because 𝜀 is any arbitrary positive number and also we know that a non
negative number is less than every positive number.
−𝑏 𝑏
Therefore ∫𝑎 𝑓 𝑑𝑥 = ∫−𝑎 𝑓 𝑑𝑥 which implies that 𝑓 is integrable over
interval [𝑎, 𝑏].
𝑃 = {𝑎 = 𝑥0 , 𝑥1 , 𝑥2 , … , 𝑥𝑛 = 𝑏}.
Let 𝑀𝑖′ and 𝑚𝑖′ are the upper and lower bound of 𝑓1 respectively and 𝑀𝑖′′
and 𝑚𝑖′′ are the upper and lower bound of 𝑓2 respectively in ∆𝑥𝑖 .
Therefore
Department of Mathematics
Uttarakhand Open University 162
Real Analysis MT(N)-201
It is given that 𝑓1 and 𝑓2 are integrable. Hence for any partition 𝑃 there
exists 𝛿 > 0 such that the norm 𝜇 (𝑃) < 𝛿, we have
1
𝑈(𝑃, 𝑓1 ) − 𝐿(𝑃, 𝑓1 ) < 𝜀………………………….(4)
2
1
𝑈 (𝑃, 𝑓2 ) − 𝐿(𝑃, 𝑓2 ) < 2 𝜀…………………………...(5)
Therefore
Using Darboux’s theorem, there exists 𝛿 > 0 such that for all partitions 𝑃
whose norm 𝜇(𝑃) < 𝛿, we have
𝑏 1
𝑈 (𝑃, 𝑓1 ) < ∫𝑎 𝑓1 𝑑𝑥 + 2 𝜀 ……………(6)
And
𝑏 1
𝑈(𝑃, 𝑓2 ) < ∫𝑎 𝑓2 𝑑𝑥 + 2 𝜀 ……………(7)
Department of Mathematics
Uttarakhand Open University 163
Real Analysis MT(N)-201
𝑏 𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 ≤ ∫𝑎 𝑓1 𝑑𝑥 + ∫𝑎 𝑓2 𝑑𝑥 ……………..(8)
𝑏 𝑏 𝑏
i.e. ∫𝑎 𝑓 𝑑𝑥 ≥ ∫𝑎 𝑓1 𝑑𝑥 + ∫𝑎 𝑓2 𝑑𝑥 …………..(9)
Let 𝑀𝑖′ and 𝑚𝑖′ are the upper and lower bound of 𝑓1 respectively and 𝑀𝑖′′
and 𝑚𝑖′′ are the upper and lower bound of 𝑓2 respectively in ∆𝑥𝑖 .
⇒ −𝑀𝑖′′ and −𝑚𝑖′′ are the upper and lower bound of (−𝑓2 ) respectively
in ∆𝑥𝑖 .
Therefore
Department of Mathematics
Uttarakhand Open University 164
Real Analysis MT(N)-201
It is given that 𝑓1 and 𝑓2 are integrable. Hence for any partition 𝑃 there
exists 𝛿 > 0 such that the norm 𝜇 (𝑃) < 𝛿, we have
1
𝑈(𝑃, 𝑓1 ) − 𝐿(𝑃, 𝑓1 ) < 2 𝜀 ……………….(4)
1
𝑈 (𝑃, 𝑓2 ) − 𝐿(𝑃, 𝑓2 ) < 𝜀 ………………...(5)
2
Therefore
Using Darboux’s theorem, there exists 𝛿 > 0 such that for all partitions 𝑃
whose norm 𝜇(𝑃) < 𝛿, we have
𝑏 1
𝑈 (𝑃, 𝑓1 ) < ∫𝑎 𝑓1 𝑑𝑥 + 2 𝜀 ……………(6)
And
𝑏 1
𝐿(𝑃, 𝑓2 ) > ∫𝑎 𝑓2 𝑑𝑥 + 2 𝜀
𝑏 1
⇒ −𝐿(𝑃, 𝑓2 ) < − ∫𝑎 𝑓2 𝑑𝑥 + 2 𝜀 ……………(7)
𝑏 𝑏 1 𝑏 1 𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 < ∫𝑎 𝑓1 𝑑𝑥 + 2 𝜀 − ∫𝑎 𝑓2 𝑑𝑥 + 2 𝜀 = ∫𝑎 𝑓1 𝑑𝑥 − ∫𝑎 𝑓2 𝑑𝑥 + 𝜀
𝑏 𝑏 𝑏
i.e. ∫𝑎 𝑓 𝑑𝑥 ≥ ∫𝑎 𝑓1 𝑑𝑥 − ∫𝑎 𝑓2 𝑑𝑥…………………………..(9)
From inequalities (2) and (3), we conclude that there exist 𝑥, 𝑦 ∈ [𝑎, 𝑏]
such that
1 1
𝑓 (𝑦 ) − 𝑓 (𝑧 ) > 𝑀 − 2 𝜀 − 𝑚 − 2 𝜀 = 𝑀 − 𝑚 − 𝜀
Department of Mathematics
Uttarakhand Open University 166
Real Analysis MT(N)-201
Proof. It is given that 𝑓 and 𝑔 are two bounded therefore there exists 𝛼
such tha
⇒ |𝑓𝑔(𝑥 )| = |𝑓(𝑥)||𝑔(𝑥 )| ≤ 𝛼. 𝛼 ≤ 𝛼 2
Let 𝑀𝑖′ and 𝑚𝑖′ are the upper and lower bound of 𝑓 respectively and 𝑀𝑖′′
and 𝑚𝑖′′ are the upper and lower bound of 𝑔 respectively in ∆𝑥𝑖 .
It implies that
Department of Mathematics
Uttarakhand Open University 167
Real Analysis MT(N)-201
Therefore there exists a positive number 𝛿 > 0 such that for any partition
𝑃 with norm 𝜇 (𝑃) < 𝛿
𝜀
𝑈 (𝑃, 𝑓) − 𝐿(𝑃, 𝑓) ≤ 2𝛼 …………………………………..(2) and
𝜀
𝑈 (𝑃, 𝑔) − 𝐿(𝑃, 𝑔) ≤ 2𝛼 …………………………………..(3)
Proof. It is given that 𝑓 and 𝑔 are two bounded therefore there exists 𝛼
such that
1 1 1
|𝑓 (𝑥 )| ≤ 𝛼 and 𝑘 ≤ |𝑔(𝑥 )| ≤ 𝛼 ⇒ ≥ ≥ 𝛼 for all 𝑥 ∈ [𝑎, 𝑏]
𝑘 |𝑔(𝑥)|
1 𝛼
⇒ |(𝑓/𝑔)(𝑥 )| = |𝑓 (𝑥 )|/|𝑔(𝑥 )| ≤ 𝛼. 𝑘 ≤ 𝑘
Department of Mathematics
Uttarakhand Open University 168
Real Analysis MT(N)-201
Let 𝑀𝑖′ and 𝑚𝑖′ are the upper and lower bound of 𝑓 respectively and 𝑀𝑖′′
and 𝑚𝑖′′ are the upper and lower bound of 𝑔 respectively in ∆𝑥𝑖 .
Assume 𝑀𝑖 and 𝑚𝑖 are the upper and lower bound of 𝑓/𝑔 respectively in
∆𝑥𝑖 .
𝑓(𝑥 ′ )𝑔(𝑥)−𝑓(𝑥)𝑔(𝑥)+𝑓(𝑥)𝑔(𝑥)−𝑓(𝑥)𝑔(𝑥 ′)
=| |
𝑔(𝑥)𝑔(𝑥 ′)
Hence
𝛼 𝛼
𝑀−𝑚 ≤ (𝑀 ′ − 𝑚 ′ ) + (𝑀′′ − 𝑚′′ ) ………(1)
𝑘2 𝑘2
Therefore, there exists a positive number 𝛿 > 0 such that for any partition
𝑃 with norm
𝜇 (𝑃 ) < 𝛿
𝜀𝑘 2
𝑈 (𝑃, 𝑓) − 𝐿(𝑃, 𝑓) ≤ ……..(2) and
2𝛼
𝜀𝑘 2
𝑈 (𝑃, 𝑔) − 𝐿(𝑃, 𝑔) ≤ ………..(3)
2𝛼
𝛼
⇒ ∑𝑛1=1 𝑀∆𝑥𝑖 − ∑𝑛1=1 𝑚∆𝑥𝑖 ≤ 𝑘 2 (∑𝑛1=1 𝑀′ ∆𝑥𝑖 − ∑𝑛1=1 𝑚′ ∆𝑥𝑖 ) +
𝛼
(∑𝑛1=1 𝑀′′ ∆𝑥𝑖 − ∑𝑛1=1 𝑚′′ ∆𝑥𝑖 )
𝑘2
𝛼 𝛼
⇒ 𝑈 (𝑃, 𝑓𝑔) − 𝐿(𝑃, 𝑓𝑔 ) ≤ 𝑘 2 (𝑈(𝑃, 𝑓) − 𝐿(𝑃, 𝑓)) + 𝑘 2 (𝑈(𝑃, 𝑔) −
𝐿(𝑃, 𝑔))
𝛼 𝜀𝑘 2 𝛼 𝜀𝑘 2
≤ 𝑘2 + 𝑘2
2𝛼 2𝛼
Let 𝑀𝑖 and 𝑚𝑖 are the upper and lower bound of 𝑓 respectively and 𝑀𝑖′
and 𝑚𝑖′ are the upper and lower bound of 𝑔 respectively in ∆𝑥𝑖 .
⇒ ∑𝑛1=1 𝑀𝑖′ ∆𝑥𝑖 − ∑𝑛1=1 𝑚𝑖′ ∆𝑥𝑖 ≤ ∑𝑛1=1 𝑀𝑖 ∆𝑥𝑖 − ∑𝑛1=1 𝑚𝑖 ∆𝑥𝑖
Department of Mathematics
Uttarakhand Open University 170
Real Analysis MT(N)-201
𝑈 (𝑃, |𝑓|) − 𝐿(𝑃, |𝑓|) < 𝜀 . Hence |𝑓| is integrable on [𝑎, 𝑏].
We Know that if 𝑓 and 𝑔 are bounded and integrable on [𝑎, 𝑏] such that
𝑓 ≥ 𝑔 then
𝑏 𝑏
∫𝑎 𝑓 𝑑𝑥 ≤ ∫𝑎 𝑔 𝑑𝑥 when 𝑏 ≤ 𝑎
𝑏 𝑏
Hence ∫𝑎 𝑓 𝑑𝑥 ≤ ∫𝑎 |𝑓| 𝑑𝑥
𝑏 𝑏 𝑏
and − ∫𝑎 𝑓 𝑑𝑥 = ∫𝑎 (−𝑓) 𝑑𝑥 ≤ ∫𝑎 |𝑓| 𝑑𝑥
𝑏 𝑏
⇒ |∫𝑎 𝑓 𝑑𝑥 | ≤ ∫𝑎 |𝑓| 𝑑𝑥
Note: The Converse of the above theorem is not true. For example, the
function
1, 𝑤ℎ𝑒𝑛 𝑥 𝑖𝑠 𝑟𝑎𝑡𝑖𝑜𝑛𝑎𝑙
𝑓 (𝑥 ) = {
−1, 𝑤ℎ𝑒𝑛 𝑥 𝑖𝑠 𝑖𝑟𝑟𝑎𝑡𝑖𝑜𝑛𝑎𝑙
−𝑏 −𝑏
Here ∫𝑎 𝑓 𝑑𝑥 = 𝑏 − 𝑎 but ∫𝑎 𝑓 𝑑𝑥 = 𝑎 − 𝑏
𝜀
i.e. (𝑥𝑟 − 𝑥𝑟−1 ) < for 𝑟 = 1, 2, … , 𝑛 ……. (1)
[𝑓(𝑎)−𝑓(𝑏)+1]
Department of Mathematics
Uttarakhand Open University 171
Real Analysis MT(N)-201
𝜀
Therefore, 𝑈 (𝑃, 𝑓) − 𝐿(𝑃, 𝑓) < ∑𝑛𝑖=1[𝑓(𝑥𝑛 ) − 𝑓(𝑥0 )]
[𝑓(𝑎)−𝑓(𝑏)+1]
𝜀
Therefore, 𝑈 (𝑃, 𝑓) − 𝐿(𝑃, 𝑓) < [𝑓(𝑎)−𝑓(𝑏)+1] ∑𝑛𝑖=1[𝑓(𝑏) − 𝑓(𝑎)]
If the function 𝑓 is positive on [𝑎, 𝑏], then the Riemann Sum is the sum of
the areas of 𝑛 rectangles whose bases are the subintervlas 𝐼1 = [𝑥𝑖−1 , 𝑥𝑖 ]
and whose heights are 𝑓(𝑡𝑖 ). See Fig 5.1.
Department of Mathematics
Uttarakhand Open University 172
Real Analysis MT(N)-201
𝑥0 = 𝑎 𝑡1 𝑥1 𝑡2 𝑥2 𝑡3 𝑥3 𝑡𝑛 𝑥𝑛 = 𝑏
𝑥𝑛−1
Department of Mathematics
Uttarakhand Open University 173
Real Analysis MT(N)-201
𝜀
Hence we shown that 0 ≤ 𝑡(𝑥 ) − 𝑠 (𝑥) < 𝑏−𝑎 for all 𝑥 ∈ [𝑎, 𝑏]
𝜀
Now compare the integrals of 𝑡 and 𝑠 and since 𝑡 ≤ 𝑠 + 𝑏−𝑎
𝑏 𝑏 𝜀 𝑏
Then ∫𝑎 𝑡(𝑥)𝑑𝑥 ≤ ∫𝑎 (𝑠(𝑥 ) + 𝑏−𝑎) 𝑑𝑥 = ∫𝑎 𝑠𝑑𝑥 + 𝜀.
As we know that
𝑏
𝑚(𝑏 − 𝑎) ≤ ∫𝑎 𝑓 𝑑𝑥 ≤ 𝑀(𝑏 − 𝑎)
Hence there exists a real number 𝛾 ∈ [𝑚, 𝑀] such that
𝑏
∫𝑎 𝑓 𝑑𝑥 = 𝛾(𝑏 − 𝑎)
Because 𝑓 is continuous on [𝑎, 𝑏], it attains every value between m and
M.
Hence, there exists a number 𝑘 ∈ [𝑎, 𝑏] such that 𝑓 (𝑘) = 𝛾.
𝑏
Therefore, ∫𝑎 𝑓 𝑑𝑥 = 𝑓(𝑘)(𝑏 − 𝑎)
Problem 1.
then
(a)
(b)
(c) .
Department of Mathematics
Uttarakhand Open University 175
Real Analysis MT(N)-201
10.7 SUMMARY
1. Darboux Theorem
𝑏
(ii) 𝐿(𝑃, 𝑓) > ∫−𝑎 𝑓 𝑑𝑥 − 𝜀
10.8 GLOSSARY
integration
continuity
Functions
Limits
10.9 REFERENCES
Department of Mathematics
Uttarakhand Open University 176
Real Analysis MT(N)-201
10.12 ANSWERS
CYQ 1. (c)
CYQ 2. False
CYQ 3. True
CYQ 4. True
CYQ 5. False
Department of Mathematics
Uttarakhand Open University 177
Real Analysis MT(N)-201
11.1 Introduction
11.2 Objectives
11.3 Sequence of functions
11.4 Pointwise Convergence
11.5 Refinement of partitions and tagged partitions
11.7 Continuous Limit Theorem
11.8 Uniform Convergence and Differentiation
11.9 Series of Functions
11.10 Criterion for Uniform Convergence of Series
11.11 Abel’s test
11.12 Dirichlet’s test
11.13 Summary
11.14 Glossary
11.15 Suggested Readings
11.16 References
11.17 Terminal Questions
11.18 Answers
Department of Mathematics
Uttarakhand Open University 178
Real Analysis MT(N)-201
11.1 INTRODUCTION
Mathematics allows us to create sequences and series not only
for real numbers but also for functions. This article will give you a deeper
understanding of how to construct sequences and series for real-valued
functions. We will also delve into the concept of convergence in
sequences and series of functions. To solidify these concepts, we will
include some solved problems on sequences and series of functions.
11.2 OBJECTIVES
In this Unit, we will Discussed about
Sequence of functions
Series of functions
Abel’s test
Dirichlet’s test
Department of Mathematics
Uttarakhand Open University 179
Real Analysis MT(N)-201
𝑥 2 + 𝑛𝑥 𝑥2
Example 1. 𝑓𝑛 (𝑥) = = +𝑥
𝑛 𝑛
𝑥2
lim ( + 𝑥) = 0 + 𝑥 = 𝑥.
n→∞ 𝑛
0, 0 ≤ x < 1
lim 𝑓𝑛 (𝑥) = lim 𝑥 𝑛 = f(𝑥) = { .
n→∞ n→∞ 1, 𝑥=1
In this case, the functions 𝑓𝑛 (𝑥) are continuous on [0, 1], but the limit
function f(𝑥) is not continuous at every point of [0, 1].
1
Example1: 𝑓𝑛 (𝑥) = √𝑥 2 + 𝑛2
1
Therefore, lim 𝑓𝑛 (𝑥) = lim √𝑥 2 + = |𝑥|.
n→∞ n→∞ 𝑛2
Let 𝜖 > 0 be given. Choose 𝑁 ∈ N large enough such that 1 𝑁 < 𝜖. Then
for any 𝑥 ∈ R and 𝑛 ≥ 𝑁 we have
1
|√𝑥 2+ 2 + |x||
1 1 𝑛
| 𝑓𝑛 (𝑥) − 𝑓 (𝑥)| = |√𝑥 2 + 𝑛2 − |x|| = |√𝑥 2 + 𝑛2 − |x|| ( 1
)
|√𝑥 2+ 2 + |x||
𝑛
Department of Mathematics
Uttarakhand Open University 180
Real Analysis MT(N)-201
1 1
𝑛2 𝑛2 1
= 1
≤ 1
=𝑛<𝜖
|√𝑥 2+ 2 + |x|| |√0 + 2 + 0|
𝑛 𝑛
This shows that (𝑓𝑛 ) → 𝑓 uniformly on R. Note that each 𝑓𝑛 (𝑥) is both
continuous and differentiable on R, but 𝑓 (𝑥) = |𝑥| is continuous on R and
not differentiable at 𝑥 = 0.
1
𝑛𝑥 𝑖𝑓 0 ≤ 𝑥 ≤ 1 𝑛
Example2: 𝑓𝑛 (𝑥) = {2 − 𝑛𝑥 𝑖𝑓 1
≤ 𝑥 ≤
2
𝑛 𝑛
0 𝑜𝑡ℎ𝑒𝑟𝑤𝑖𝑠𝑒
Therefore, lim 𝑓𝑛 (𝑥 ) = 𝑓(𝑥) = 0
n→∞
So, it is not true that for all 𝜖 > 0, there exist an 𝑁 ∈ ℕ large enough such
that 𝑛 ≥ 𝑁 implies | 𝑓𝑛 (𝑥𝑛 ) − 𝑓 (𝑥𝑛 )| < for all 𝑥.
Department of Mathematics
Uttarakhand Open University 181
Real Analysis MT(N)-201
(⇐) Conversely, assume that for every 𝜖 > 0 there exists an 𝑁 ∈ N such
that | 𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| < 𝜖 whenever 𝑚, 𝑛 ≥ 𝑁 and 𝑥 ∈ 𝐴. This
hypothesis implies that, for each 𝑥 ∈ 𝐴, ( 𝑓𝑛 (𝑥)) is a Cauchy sequence.
By Cauchy’s Criterion, this sequence converges to a point, which we
will call 𝑓 (𝑥). So, the uniformly Cauchy sequence converges pointwise
to the function 𝑓 (𝑥). We must show that the convergence is also
uniform. For the value of 𝜖 given above, we use the corresponding 𝑁.
Then for 𝑛, 𝑚 ≥ 𝑁 and all 𝑥 ∈ 𝐴,
If |𝑥 − 𝑐| < 𝛿, then
The first and third 𝜖/3 are due to uniform convergence and the choice of
𝑁. The second 𝜖/3 is due to the choice of 𝛿. This shows that 𝑓 is
continuous at 𝑐, as desired.
Department of Mathematics
Uttarakhand Open University 182
Real Analysis MT(N)-201
Proof: Fix 𝑐 ∈ [𝑎, 𝑏] and let 𝜖 > 0. We’ll show there exists 𝛿 > 0 such
that
Department of Mathematics
Uttarakhand Open University 183
Real Analysis MT(N)-201
𝑥𝑛
Examples: 𝑓 (𝑥) = ∑∞
𝑛=1 (This equals 𝑒 𝑥 for all 𝑥 ∈ R.)
𝑛!
Department of Mathematics
Uttarakhand Open University 184
Real Analysis MT(N)-201
(a) The infinite series ∑︁𝑓𝑛 (𝑥) = 𝑓1 (𝑥) + 𝑓2 (𝑥) + 𝑓3 (𝑥) + · · · converges
pointwise on 𝑨 to 𝒇 (𝒙) if the sequence of partial sums
(ii) Assume ∑∞ ′
𝑛=1 𝑓𝑛 (𝑥) converges uniformly to a limit 𝑔(𝑥) on 𝐴.
(iii) There exists a point 𝑥0 ∈ [𝑎, 𝑏] where ∑∞𝑛=1 𝑓𝑛 (𝑥0 ) converges. Then
∞
the series ∑𝑛=1 𝑓𝑛 (𝑥 ) converges uniformly to a differentiable function 𝑓
(𝑥) satisfying 𝑓 ′ (𝑥) = 𝑔(𝑥) on 𝐴. In other words,
𝑓 (𝑥) = ∑∞
𝑛=1 𝑓𝑛 (𝑥 ) and 𝑓 ′ (𝑥) = ∑∞ ′
𝑛=1 𝑓𝑛 (𝑥).
A series ∑∞
𝑛=1 𝑓𝑛 (𝑥 ) converges uniformly on 𝐴 ⊆ R if and only if for
every 𝜖 > 0 there exists an 𝑁 ∈ ℕ such that
2. Weierstrass 𝑀-Test:
Department of Mathematics
Uttarakhand Open University 185
Real Analysis MT(N)-201
cos 2𝑛 𝑥
by the Weierstrass 𝑀-test, the series ∑∞
𝑛=0 converges uniformly to
2𝑛
a continuous function
cos 2𝑛 𝑥
g(x) =∑∞
𝑛=0 .
2𝑛
𝑥 2𝑛
Examples 2. Define 𝑓 (𝑥) = ∑∞
𝑛=0 1+𝑥 2𝑛 . Find the values of 𝑥 where the
series converges and show that we get a continuous function on this set.
Sol. If |𝑥| < 1, then by the Comparison Test, the series converges as
follows:
Since
Department of Mathematics
Uttarakhand Open University 186
Real Analysis MT(N)-201
For 0 < 𝐾 < 1, we apply the Weierstrass 𝑀-test on the interval [−𝐾, 𝐾].
For 𝑥 ∈ [−𝐾, 𝐾],
The sum ∑∞ ∞
𝑛=0 𝑁𝑛 = ∑𝑛=0 𝑛𝐾
2𝑛−1
converges and by the Weierstrass 𝑀-
test the series of derivatives converges uniformly on the interval [−𝐾, 𝐾].
By the Differentiable Limit Theorem, 𝑓 ′ (𝑥) = 𝑔(𝑥) for 𝑥 ∈ [−𝐾, 𝐾].
Since 𝐾 was arbitrary, 𝑓 ′ (𝑥) = 𝑔(𝑥) for 𝑥 ∈ (−1, 1). That is,
on [𝑎, 𝑏]
And (ii) The sequence of functions (𝑔𝑛 (𝑥)) be monotonic for every 𝑥 ∈
(−1)𝑛−1𝑥 𝑛
Example: Prove that the series ∑∞
𝑛=1 is uniformly convergent
𝑛(1+𝑥 𝑛 )
on [0, 1].
Department of Mathematics
Uttarakhand Open University 187
Real Analysis MT(N)-201
𝑥𝑛
Sol. Let 𝑔𝑛 (𝑥 ) = (1+𝑥 𝑛) , 𝑥 ∈ [0, 1]
𝑥 𝑛(𝑥−1)
Then 𝑔𝑛+1 − 𝑔𝑛 = ≤ 0 for all 𝑥 ∈ [0, 1].
(1+𝑥 𝑛)(1+𝑥 𝑛+1 )
For each 𝑥 ∈ [0, 1], the sequence (𝑔𝑛 ) is monotonic and for all 𝑥 ∈
[0, 1], |𝑔𝑛 | < 1 for all 𝑛 ∈ ℕ.
(−1)𝑛−1
The series ∑∞
𝑛=1 is convergent series of real numbers and
𝑛
therefore it is uniformly convergent on [0, 1].
(−1)𝑛−1 𝑥 𝑛
By Abel’s test, the series ∑∞
𝑛=1 is uniformly convergent on
𝑛(1+𝑥 𝑛 )
[0, 1].
Let (i) the sequence of partial sums (𝑠𝑛 ) of the series of functions
∑∞
𝑛=1 𝑓𝑛 (𝑥 ) be uniformly bounded on [𝑎, 𝑏].
[𝑎, 𝑏] And
to 0 on [𝑎, 𝑏].
(−1)𝑛 (𝑥 2+𝑛)
Example: Prove that the series ∑∞
𝑛=1 is uniformly
𝑛2
convergent in any closed and bounded interval [0, 1].
(𝑥 2+𝑛)
Sol. Let 𝑓𝑛 (𝑥) = (−1)𝑛 , 𝑔𝑛 (𝑥) = , 𝑥 ∈ [𝑎, 𝑏] .
𝑛2
𝑥 2+𝑛+1 𝑥 2 +𝑛
Then 𝑔𝑛+1 − 𝑔𝑛 = (𝑛+1)2
− < 0 for all 𝑥 ∈ [𝑎, 𝑏].
𝑛2
Department of Mathematics
Uttarakhand Open University 188
Real Analysis MT(N)-201
(−1)𝑛 (𝑥 2+𝑛)
Therefore, by Dirichlet’s test ∑∞
𝑛=1 is uniformly convergent.
𝑛2
11.13 SUMMARY
on [𝑎, 𝑏]
And (ii) The sequence of functions (𝑔𝑛 (𝑥)) be monotonic for every 𝑥 ∈
Department of Mathematics
Uttarakhand Open University 189
Real Analysis MT(N)-201
11.14 GLOSSARY
sequence
series
11.15 REFERENCES
𝑛2 𝑥
Q 2. Prove that the sequence of functions 〈𝑓𝑛 〉 Where, 𝑓𝑛 (𝑥 ) = is
1+𝑛 2 𝑥 2
𝑛𝑥
Q 3. Prove that the sequence of functions 〈𝑓𝑛 〉 Where, 𝑓𝑛 (𝑥 ) = 1+𝑛2 𝑥 2 is
Department of Mathematics
Uttarakhand Open University 190
Real Analysis MT(N)-201
11.18 ANSWERS
CYQ 1. False
CYQ 2. True
CYQ 3. True
CYQ 4. True
Department of Mathematics
Uttarakhand Open University 191
Real Analysis MT(N)-201
12.1 Introduction
12.2 Objectives
12.3 Proper integral
12.4 Improper integral
12.5 Improper integral as limit of proper integral
12.6 Summary
12.7 Glossary
12.8 Suggested Readings
12.9 References
12.10 Terminal Questions
12.11 Answers
Department of Mathematics
Uttarakhand Open University 192
Real Analysis MT(N)-201
12.1 INTRODUCTION
In mathematical analysis, an improper integral is an extension
of the notion of a definite integral to cases that violate the usual
assumptions for that kind of integral. In the context of Riemann
integrals (or, equivalently, Darboux integrals), this typically involves
unboundedness, either of the set over which the integral is taken or of the
integrand (the function being integrated), or both. It may also involve
bounded but not closed sets or bounded but not continuous functions.
While an improper integral is typically written symbolically just like a
standard definite integral, it actually represents a limit of a definite
integral or a sum of such limits; thus improper integrals are said to
converge or diverge. If a regular definite integral (which
may metonymically be called a proper integral) is worked out as if it is
improper, the same answer will result. The concept of Riemann integrals
as developed in previous chapter requires that the range of integration is
finite and the integrand remains bounded on that domain. if either (or both)
of these assumptions is not satisfied it is necessary to attach a new
interpretation to the integral.
12.2 OBJECTIVES
In this Unit, we will Discussed about
Improper integral
Proper integral
Type of improper integral
Department of Mathematics
Uttarakhand Open University 193
Real Analysis MT(N)-201
∞ 𝑑𝑥 0
For example: ∫1 , ∫−∞ 𝑒 2𝑥 𝑑𝑥 are improper integral of the first kind.
√𝑥
𝑏
(ii) In the definite integral ∫𝑎 𝑓(𝑥 )𝑑𝑥, if both 𝑎 and 𝑏 are finite so that
the interval of integration is finite but 𝑓 has one or more point of infinite
𝑏
discontinuity i.e. 𝑓 is not bounded on [𝑎, 𝑏], then ∫𝑎 𝑓(𝑥 )𝑑𝑥 is called an
improper integral of the second kind.
2 1 2 1
For example: ∫1 𝑑𝑥 , ∫1 𝑑𝑥 are improper integral of second kind.
𝑥2 2−𝑥
𝑏
(iii) In the definite integral ∫𝑎 𝑓(𝑥 )𝑑𝑥, if the interval of integration is
𝑏
unbounded and 𝑓 is also unbounded, ∫𝑎 𝑓(𝑥 )𝑑𝑥 is called an improper
integral of the third kind.
∞ 𝑒 −𝑥
For example: ∫0 𝑑𝑥 is an improper integral of third kind.
√𝑥
∞
The improper integral ∫𝑎 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit
of right-hand side exists finitely and the integral is said to be divergent
if the limit is +∞ or −∞.
Department of Mathematics
Uttarakhand Open University 194
Real Analysis MT(N)-201
𝑏
The improper integral ∫−∞ 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit
of right-hand side exists finitely and the integral is said to be divergent
if the limit is +∞ or −∞.
∞ 𝑐 ∞
(iii) ∫−∞ 𝑓 (𝑥 )𝑑𝑥 =∫−∞ 𝑓 (𝑥 )𝑑𝑥 + ∫𝑐 𝑓 (𝑥 )𝑑𝑥 where c is any real number
𝑐 𝑡
= lim ∫𝑡 𝑓(𝑥 )𝑑𝑥 + lim ∫𝑐 2 𝑓(𝑥 )𝑑𝑥
𝑡1 ⟶−∞1 𝑡2 ⟶∞
∞
The improper integral ∫−∞ 𝑓(𝑥 )𝑑𝑥 is said to be convergent if both the
limits on the right-hand side exist finitely and independent of each other,
otherwise it is said to be divergent.
∞ 𝑐 𝑡
Note: ∫−∞ 𝑓(𝑥 )𝑑𝑥 ≠ lim [ ∫−𝑡 𝑓(𝑥 )𝑑𝑥 + ∫𝑐 𝑓 (𝑥)𝑑𝑥].
𝑡⟶∞
(b) When the improper integral is second kind, both 𝑎 and 𝑏 are finite
but 𝑓 has one points of infinite discontinuity on [𝑎, 𝑏].
𝑏
The improper integral ∫𝑎 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit on
the right- hand side exists finitely and the interval is said to be divergent
if the limit is +∞ or −∞.
𝑏
The improper integral ∫𝑎 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit on
the right- hand side exists finitely, otherwise it is said to be divergent.
Department of Mathematics
Uttarakhand Open University 195
Real Analysis MT(N)-201
𝑏
The improper integral ∫𝑎 𝑓(𝑥 )𝑑𝑥 is said to be convergent if both the
limits on the right- hand side exist finitely and independent of each
other, otherwise it is said to be divergent.
Note: (1) if 𝑓 (𝑥 ) has finite discontinuity at the end point of the interval
of integration, then the point of discontinuity is approached from within
the interval.
𝑏
(i) ∫𝑎 𝑘𝑓(𝑥 )𝑑𝑥 is convergent, 𝑘 ∈ ℝ,
𝑏 𝑐 𝑏
(ii) ∫𝑎 𝑓 (𝑥 )𝑑𝑥 = ∫𝑎 𝑓 (𝑥 )𝑑𝑥 + ∫𝑐 𝑓 (𝑥 )𝑑𝑥 where 𝑎 < 𝑐 < 𝑏 and each
interval or right-hand side is convergent.
𝑏 𝑏
If ∫𝑐 𝑓 (𝑥 )𝑑𝑥 is a proper integral, then the two integrals ∫𝑎 𝑓(𝑥 )𝑑𝑥 and
𝑐
∫𝑎 𝑓 (𝑥 )𝑑𝑥 converges or diverge together.
𝑏
Thus, while testing the interval ∫𝑎 𝑓 (𝑥 )𝑑𝑥 convergence at 𝑎 it may be
𝑐
replaced by ∫𝑎 𝑓(𝑥 )𝑑𝑥 for any convenient 𝑐 such that 𝑎 < 𝑐 < 𝑏.
ILLUSTRATIVE EXAMPLES
∞1 𝑡1
Sol. (i) By definition, ∫0 𝑑𝑥 = lim ∫0 𝑥 𝑑𝑥
𝑥 𝑡⟶∞
∞1
Therefore, ∫0 𝑑𝑥 is divergent.
𝑥
Department of Mathematics
Uttarakhand Open University 196
Real Analysis MT(N)-201
∞ 1 𝑡 1 𝑡
(ii) By definition, ∫1 𝑑𝑥 = lim ∫1 𝑑𝑥 = lim ∫1 𝑥 −1/2 𝑑𝑥
√𝑥 𝑡⟶∞ √𝑥 𝑡⟶∞
∞ 1
Therefore, ∫0 𝑑𝑥 is divergent.
√𝑥
∞ 1 𝑡
(iii) By definition, ∫1 𝑑𝑥 = lim ∫1 𝑥 −3/2 𝑑𝑥
𝑥 3/2 𝑡⟶∞
𝑡
𝑥 −1/2 −2 𝑡
= lim [ −1/2 ] = lim [ 𝑥 ]
𝑡⟶∞ 1 𝑡⟶∞ √ 1
−2
= lim ( + 2) = 0 + 2 = 2, which is finite.
𝑡⟶∞ √𝑡
∞ 1
Therefore, ∫1 𝑑𝑥 is convergent and its value is 2.
𝑥 3/2
∞ 1 𝑡 1
(iv) By definition, ∫0 𝑑𝑥 = lim ∫0 𝑑𝑥
1+𝑥 2 𝑡⟶∞ 1+𝑥 2
𝜋
= 2 which is finite.
∞ 1 𝜋
Therefore, ∫0 𝑑𝑥 is convergent and its value is 2 .
1+𝑥 2
1
= lim − 𝑚 (𝑒 −𝑚𝑡 − 1)
𝑡⟶∞
1 1
= − 𝑚 (0 − 1) = 𝑚 which is finite.
∞ 1
⟹ ∫0 𝑒 −𝑚𝑥 𝑑𝑥 is convergent and its value is 𝑚.
∞ 𝑥 𝑡 𝑥
(ii) By definition, ∫𝑎 𝑑𝑥 = lim ∫0 1+𝑥 2 𝑑𝑥
1+𝑥 2 𝑡⟶∞
𝑡1 2𝑥
= lim ∫0 2 (1+𝑥 2 )𝑑𝑥
𝑡⟶∞
Department of Mathematics
Uttarakhand Open University 197
Real Analysis MT(N)-201
1 𝑡
= lim (2 log(1 + 𝑥 2 ))
𝑡⟶∞ 𝑎
1
= lim 2 [log(1 + 𝑡 2 ) − log(1 + 𝑎2 )] = ∞
𝑡⟶∞
∞ 𝑥
Therefore, ∫𝑎 𝑑𝑥 is divergent.
1+𝑥 2
∞ 1 𝑡
(iii) By definition, ∫0 𝑑𝑥 = lim ∫0 (1 + 𝑥)−3 𝑑𝑥
(1+𝑥)3 𝑡⟶∞
𝑡
(1+𝑥)−2
= lim [ ]
𝑡⟶∞ −2 0
1 1 1 1
= lim − 2 [(1+𝑡)2 − 1] = − 2 (0 − 1) = 2 which is finite.
𝑡⟶∞
∞ 1 1
Therefore, ∫0 𝑑𝑥 is convergent and its value is 2.
(1+𝑥)3
∞ 𝑡
(iv) By definition, ∫0 𝑠𝑖𝑛𝑥 𝑑𝑥 = lim ∫0 𝑠𝑖𝑛𝑥 𝑑𝑥 = lim [−𝑐𝑜𝑠 𝑥 ]𝑡0
𝑡⟶∞ 𝑡⟶∞
= lim (1 − 𝑐𝑜𝑠𝑡)
𝑡⟶∞
Which does not exist uniquely since cost oscillates between -1 and +1
when 𝑡 ⟶ ∞.
∞
Therefore, ∫0 𝑠𝑖𝑛𝑥 𝑑𝑥 oscillates.
= lim [−𝑡𝑒 −𝑡 − 𝑒 −𝑡 + 𝑒 −1 + 𝑒 −1 ]
𝑡⟶∞
−𝑡 2
= lim ( 𝑒 𝑡 ) − lim (𝑒 −𝑡 ) + 𝑒 (applying L’ Hospital rule to first limit)
𝑡⟶∞ 𝑡⟶∞
−1 2 2 2
= lim ( 𝑒 𝑡 ) − 0 + 𝑒 = 0 + 𝑒 = 𝑒 which is finite.
𝑡⟶∞
∞ 2
Therefore, ∫1 𝑥𝑒 −𝑥 𝑑𝑥 is convergent and its value is 𝑒.
∞ 𝑡
(ii) ∫0 𝑥 2 𝑒 −𝑥 𝑑𝑥 = lim ∫0 𝑥 2 𝑒 −𝑥 𝑑𝑥
𝑡⟶∞
Department of Mathematics
Uttarakhand Open University 198
Real Analysis MT(N)-201
−𝑡 2 𝑡
= lim ( ) − 2 lim ( 𝑡 ) − 0 + 2 (Applying L’ Hospital rule)
𝑡⟶∞ 𝑒𝑡 𝑡⟶∞ 𝑒
−2𝑡 𝑡
= lim ( 𝑒 𝑡 ) − 2 lim (𝑒 𝑡 ) + 2
𝑡⟶∞ 𝑡⟶∞
∞
Therefore, ∫0 𝑥 2 𝑒 −𝑥 𝑑𝑥 is convergent and its value is 2.
0 0
Sol. (i) ∫−∞ 𝑒 2𝑥 𝑑𝑥 = lim ∫𝑡 𝑒 2𝑥 𝑑𝑥
𝑡⟶−∞
0
𝑒 2𝑥 1 1 1
= lim [ ] = lim (1 − 𝑒 2𝑡 ) = 2 (1 − 0) = 2 which is finite.
𝑡⟶−∞ 2 𝑡 𝑡⟶−∞ 2
0 1
Therefore, ∫−∞ 𝑒 2𝑥 𝑑𝑥 is convergent and its value is 2.
0 1 0 1
(ii) ∫−∞ 𝑝2 +𝑞2 𝑥 2 𝑑𝑥 = lim ∫𝑡 𝑑𝑥
𝑡⟶−∞ 𝑝2 +𝑞2 𝑥 2
0 1
= lim ∫𝑡 𝑝2
𝑑𝑥
𝑡⟶−∞ 𝑞2 ( 2 +𝑥 2 )
𝑞
1 1 𝑥 0
= lim [𝑞2 . 𝑝/𝑞 tan−1 𝑝/𝑞]
𝑡⟶−∞ 𝑡
1 𝑞𝑡 1 𝜋 𝜋
= lim [0 − tan−1 ] = − (− 2 ) = 2𝑝𝑞 which is finite.
𝑡⟶−∞ 𝑝𝑞 𝑝 𝑝𝑞
0 1 𝜋
Therefore, ∫−∞ 𝑝2 +𝑞2 𝑥 2 𝑑𝑥 is convergent and its value is 2𝑝𝑞 .
∞ 0 ∞
Sol. (i) ∫−∞ 𝑒 −𝑥 𝑑𝑥 = ∫−∞ 𝑒 −𝑥 𝑑𝑥 + ∫0 𝑒 −𝑥 𝑑𝑥
0 𝑡
= lim ∫𝑡 𝑒 −𝑥 𝑑𝑥 + lim ∫0 2 𝑒 −𝑥 𝑑𝑥
𝑡1 ⟶−∞
1 𝑡2 ⟶∞
𝑡
= lim [−𝑒 −𝑥 ]0𝑡1 + lim [−𝑒 −𝑥 ]02
𝑡1 ⟶−∞ 𝑡2 ⟶−∞
Department of Mathematics
Uttarakhand Open University 199
Real Analysis MT(N)-201
= (-1 + ∞) + (0 + 1) = ∞
∞
Therefore, ∫−∞ 𝑒 −𝑥 𝑑𝑥 is divergent to ∞.
∞ 1 0 1 ∞ 1
(ii) ∫−∞ 1+𝑥 2 𝑑𝑥 = ∫−∞ 1+𝑥 2 𝑑𝑥 + ∫0 𝑑𝑥
1+𝑥 2
0 1 𝑡 1
= lim ∫𝑡 𝑑𝑥 + lim ∫0 2 𝑑𝑥
1 1+𝑥 2
𝑡1 ⟶−∞ 1+𝑥 2 𝑡2 ⟶∞
𝑡
= lim [tan−1 𝑥 ]0𝑡1 + lim [tan−1 𝑥 ]02
𝑡1 ⟶−∞ 𝑡2 ⟶−∞
𝜋 𝜋
= − (− 2 ) + 2 = 𝜋 which is finite.
∞ 1
Therefore, ∫−∞ 1+𝑥 2 𝑑𝑥 is convergent and its value is 𝜋.
Sol. (i) 0 is only point of infinite discontinuity of the integrand on [𝑎, 𝑏].
1 1
Therefore, ∫0 𝑙𝑜𝑔𝑥 𝑑𝑥 = lim ∫0+𝜖(𝑙𝑜𝑔𝑥 ). 1𝑑𝑥
𝜖⟶0+
Integration by parts
1
Therefore, ∫0 𝑙𝑜𝑔𝑥 𝑑𝑥 is convergent and its value is −1.
1/𝑒 1 1/𝑒 1
Therefore, ∫0 𝑑𝑥 = lim ∫0+𝜖 (𝑙𝑜𝑔𝑥 )−2 𝑥 𝑑𝑥
𝑥(𝑙𝑜𝑔𝑥)2 𝜖⟶0+
1/𝑒
(𝑙𝑜𝑔𝑥)−1
= lim [ ]
𝜖⟶0+ −1 𝜖
Department of Mathematics
Uttarakhand Open University 200
Real Analysis MT(N)-201
1 1
= lim [ 1 − log 𝜖 ] = −[−1 − 0] = 1
𝜖⟶0+ log𝑒
which is finite.
1/𝑒 1
Therefore, ∫0 𝑑𝑥 is convergent and its value is 1.
𝑥(𝑙𝑜𝑔𝑥)2
12.6 SUMMARY
𝑏
1. In the definite integral ∫𝑎 𝑓 (𝑥 )𝑑𝑥, if either 𝑎 or 𝑏 or both 𝑎 and 𝑏 are
infinite so that the interval of integration is unbounded but 𝑓 is bounded,
𝑏
then ∫𝑎 𝑓 (𝑥 )𝑑𝑥 is called an improper integral of the first kind.
𝑏
2. In the definite integral ∫𝑎 𝑓 (𝑥 )𝑑𝑥, if both 𝑎 and 𝑏 are finite so that the
interval of integration is finite but 𝑓 has one or more point of infinite
𝑏
discontinuity i.e. 𝑓 is not bounded on [𝑎, 𝑏], then ∫𝑎 𝑓(𝑥 )𝑑𝑥 is called an
improper integral of the second kind.
Department of Mathematics
Uttarakhand Open University 201
Real Analysis MT(N)-201
𝑏
3. In the definite integral ∫𝑎 𝑓 (𝑥 )𝑑𝑥, if the interval of integration is
𝑏
unbounded and 𝑓 is also unbounded, ∫𝑎 𝑓(𝑥 )𝑑𝑥 is called an improper
integral of the third kind.
∞ 𝑡
4. (i) ∫𝑎 𝑓(𝑥 )𝑑𝑥 = lim ∫𝑎 𝑓 (𝑥 )𝑑𝑥, (𝑡 > 𝑎)
𝑡⟶∞
∞
The improper integral ∫𝑎 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit
of right-hand side exists finitely and the integral is said to be divergent
if the limit is +∞ or −∞.
𝑏
The improper integral ∫−∞ 𝑓(𝑥 )𝑑𝑥 is said to be convergent if the limit
of right-hand side exists finitely and the integral is said to be divergent
if the limit is +∞ or −∞.
∞ 𝑐 ∞
(iii) ∫−∞ 𝑓 (𝑥 )𝑑𝑥 =∫−∞ 𝑓 (𝑥 )𝑑𝑥 + ∫𝑐 𝑓 (𝑥 )𝑑𝑥 where c is any real number
𝑐 𝑡
= lim ∫𝑡 𝑓(𝑥 )𝑑𝑥 + lim ∫𝑐 2 𝑓(𝑥 )𝑑𝑥
𝑡1 ⟶−∞ 1 𝑡2 ⟶∞
∞
The improper integral ∫−∞ 𝑓(𝑥 )𝑑𝑥 is said to be convergent if both the
limits on the right-hand side exist finitely and independent of each other,
otherwise it is said to be divergent.
𝑏 𝑏
If ∫𝑐 𝑓 (𝑥 )𝑑𝑥 is a proper integral, then the two integrals ∫𝑎 𝑓(𝑥 )𝑑𝑥 and
𝑐
∫𝑎 𝑓 (𝑥 )𝑑𝑥 converges or diverge together.
𝑏
Thus, while testing the interval ∫𝑎 𝑓 (𝑥 )𝑑𝑥 convergence at 𝑎 it may be
𝑐
replaced by ∫𝑎 𝑓(𝑥 )𝑑𝑥 for any convenient 𝑐 such that 𝑎 < 𝑐 < 𝑏.
12.7 GLOSSARY
sequence
series
Department of Mathematics
Uttarakhand Open University 202
Real Analysis MT(N)-201
12.8 REFERENCES
∞ 1
Q 2. Examine for convergence of the integral ∫−∞ 𝑥 2 + 2𝑥+2 𝑑𝑥 .
1 1
Q 3. Examine for convergence of the integral ∫0 𝑑𝑥 .
𝑥 2−3𝑥+2
𝜋 1
Q 4. Examine for convergence of the integral ∫0 𝑑𝑥 .
𝑠𝑖𝑛𝑥
𝜋 1
Q 5. Examine for convergence of the integral ∫0 𝑑𝑥.
1+𝑐𝑜𝑠𝑥
Department of Mathematics
Uttarakhand Open University 203
Real Analysis MT(N)-201
12.11 ANSWERS
𝜋
TQ1. Convergent to 2 .
TQ2. Convergent to 𝜋.
TQ3. Divergent to ∞.
TQ4. Divergent to ∞.
TQ5. Divergent to ∞.
CYQ 1. True
CYQ 2. False
CYQ 3. True
CYQ 4. True
CYQ 5. True
Department of Mathematics
Uttarakhand Open University 204
Real Analysis MT(N)-201
13.1 Introduction
13.2 Objectives
b
13.3 Tests for convergence of ∫a f(𝑥 )d𝑥 at ‘a’
13.4 Comparison test I
13.5 Comparison test II (Limit form)
13.6 General test for convergence (Integrand may change sign)
13.7 Absolute convergence
13.8 convergence at ∞
13.9 Summary
13.10 Glossary
13.11 Suggested Readings
13.12 References
13.13 Terminal Questions
13.14 Answers
Department of Mathematics
Uttarakhand Open University 205
Real Analysis MT(N)-201
13.1 INTRODUCTION
13.2 OBJECTIVES
In this Unit, we will Discussed about
Improper integral
Test of convergence
Absolute integral
𝒃
13.3 TEST FOR CONVERGENCE OF ∫𝒂 𝒇(𝒙)𝒅𝒙
AT 𝒂
Let a be the only point of infinite discontinuity of 𝑓(𝑥) on [𝑎, 𝑏]. The
case when 𝑏 is the only point of infinite discontinuity can be dealt with
in the same way.
Without any loss of generality, we assume that 𝑓(𝑥) is positive (or non-
negative) on [𝑎, 𝑏].
Department of Mathematics
Uttarakhand Open University 206
Real Analysis MT(N)-201
Note: If for every M > 0 and some 𝜖 in (0, b - 𝑎). 𝐴(𝜖 ) > 𝑀, then
b
∫𝑎+𝜖 f(𝑥 )d𝑥 is not bounded above.
b
Therefore, ∫𝑎+𝜖 f(𝑥 )d𝑥 tend to +∞ as 𝜖 tend to 0+ and hence, the
b
improper integral ∫𝑎 f(𝑥 )d𝑥 diverges to +∞.
b b
(ii) ∫𝑎 f(𝑥)d𝑥 is divergent ⟹ ∫𝑎 g(𝑥)d𝑥 is divergent.
Department of Mathematics
Uttarakhand Open University 207
Real Analysis MT(N)-201
Note: let f and 𝑔 be two positive functions on (𝑎, 𝑏], 𝑎 being the only
point of infinite discontinuity. Then
𝑓(𝑥) b b
(i) lim = 0 and ∫𝑎 g(𝑥 )d𝑥 converges ⟹ ∫𝑎 f(𝑥 )d𝑥 is converges
𝑥⟶𝑎+ 𝑔(𝑥)
𝑓(𝑥) b b
(ii) lim = ∞ and ∫𝑎 g(𝑥 )d𝑥 diverges ⟹ ∫𝑎 f(𝑥 )d𝑥 is diverges.
𝑥⟶𝑎+ 𝑔(𝑥)
Note:
b 1
(i) The improper integral ∫𝑎 (𝑥−𝑎)𝑛
d𝑥 is convergent
Note:
ILLUSTRATIVE EXAMPLES:
Department of Mathematics
Uttarakhand Open University 208
Real Analysis MT(N)-201
1 1 2 1
(i) ∫0 d𝑥 (ii) ∫1 d𝑥
√𝑥 2 +𝑥 (1+𝑥)√2− 𝑥
1 1
Sol. (i) Here 𝑓 (𝑥 ) = =
√𝑥 2 + 𝑥 √ 𝑥 √𝑥 + 𝑥
b 1
(From, ∫𝑎 (𝑥−𝑎)𝑛
d𝑥 with a = 0 converges.
since n = ½ < 1)
1 1 1
Therefore, ∫0 𝑓(𝑥)d𝑥 = ∫0 d𝑥 is convergent.
√ 𝑥+1
1
(ii) Here 𝑓 (𝑥 ) = (1+𝑥)
√2− 𝑥
b 1
(From, ∫𝑎 (𝑏−𝑥)𝑛
d𝑥 with b = 2 converges.)
since n = ½ < 1)
2 1 1
Therefore, ∫1 𝑓(𝑥)d𝑥 = ∫0 d𝑥 is convergent.
(1+𝑥)√2− 𝑥
Department of Mathematics
Uttarakhand Open University 209
Real Analysis MT(N)-201
1
Sol. Here 𝑓 (𝑥) = 𝑥 3 ( 2+ 𝑥 2 )5
b 1
(From, ∫𝑎 (𝑥−𝑎)𝑛
d𝑥 with 𝑎 = 0 diverges.
since n = 3 > 1)
1 1 1
Therefore, ∫0 𝑓(𝑥)d𝑥 = ∫0 d𝑥 is divergent.
𝑥 3 ( 2+ 𝑥 2 )5
𝑙𝑜𝑔𝑥 𝑙𝑜𝑔𝑥
Sol. Since 1 + 𝑥 is negative on (0, 1], we take 𝑓(𝑥) = − 1 + 𝑥
1
Taking n between o and 1, the integral ∫0 𝑔(𝑥)d𝑥 is convergent.
1
Therefore, by comparison test, ∫0 𝑓(𝑥)d𝑥 is convergent.
Department of Mathematics
Uttarakhand Open University 210
Real Analysis MT(N)-201
1
Take 𝑓 (𝑥 ) = 𝑥 𝜇 then
𝑓(𝑥) 𝑠𝑖𝑛𝑥
lim = lim 𝑥 𝜇−𝑝 𝑠𝑖𝑛𝑥 = lim 𝑥 𝜇−𝑝+1 ( )
𝑥⟶0+ 𝑔(𝑥) 𝑥⟶0+ 𝑥⟶0+ 𝑥
= 1 if 𝜇 − 𝑝 + 1 = 0
= 0 if 𝜇 − 𝑝 + 1 > 0
= ∞ if 𝜇 − 𝑝 + 1 < 0
π/2 𝑠𝑖𝑛 𝑚 𝑥
Example 5: Show that ∫0 𝑑𝑥 exists if and only if 𝑛 < 𝑚 + 1.
𝑥𝑛
𝑠𝑖𝑛 𝑚 𝑥 𝑠𝑖𝑛𝑥 𝑛 1
Sol. Here 𝑓 (𝑥 ) = =( ) . 𝑥 𝑛−𝑚
𝑥𝑛 𝑥
0 𝑖𝑓 𝑛 − 𝑚 < 0
lim 𝑓(𝑥) = { 1 𝑖𝑓 𝑛 − 𝑚 = 0
𝑥⟶0+
∞ 𝑖𝑓 𝑛 − 𝑚 > 0
1
When 𝑛 − 𝑚 > 0, take 𝑔(𝑥 ) = 𝑥 𝑛−𝑚
𝑓(𝑥) 𝑠𝑖𝑛𝑥 𝑛
Therefore, lim = lim ( ) = 1 which is non zero and
𝑥⟶0+ 𝑔(𝑥) 𝑥⟶0+ 𝑥
finite.
Department of Mathematics
Uttarakhand Open University 211
Real Analysis MT(N)-201
π/2 π/2 1
Also ∫0 𝑔(𝑥) 𝑑𝑥 = ∫0 𝑑𝑥 is convergent iff 𝑛 − 𝑚 < 1 i.e.
𝑥 𝑛−𝑚
𝑛 < 𝑚 + 1.
𝑎+𝜆
|∫𝑎+𝜆 2 |𝑓(𝑥)|𝑑𝑥 | < 𝜀, ∀ 0 < 𝜆1 , 𝜆2 < 𝛿 ….. (1)
1
𝑎+𝜆 𝑎+𝜆
Also, we know that |∫𝑎+𝜆 2 𝑓(𝑥 )𝑑𝑥| ≤ |∫𝑎+𝜆 2 |𝑓(𝑥)|𝑑𝑥 | …… (2)
1 1
𝑎+𝜆
From (1) and (2), we have |∫𝑎+𝜆 2 𝑓 (𝑥 )𝑑𝑥| < 𝜀, , ∀0 < 𝜆1 , 𝜆2 < 𝛿
1
b
∴ By Cauchy’s test ∫𝑎 𝑓(𝑥) 𝑑𝑥 is exists.
Department of Mathematics
Uttarakhand Open University 212
Real Analysis MT(N)-201
1
sin
𝑥
Sol. Let f(x) =
√𝑥
1 1 1
But ∫0 𝑑𝑥 is convergent at 0. (Since 𝑛 = 2 < 1)
√𝑥
1
Therefore, by comparison test, ∫0 |𝑓(𝑥)|𝑑𝑥 is convergent at 0.
1
1 sin
Example 2. Show that ∫0 𝑥 𝑝𝑥 𝑑𝑥 , p > 0, converges absolutely for p < 1.
1
sin
Sol. Let 𝑓 (𝑥) = 𝑥
p>0
𝑥𝑝
1 1
Also ∫0 𝑑𝑥 is convergent iff p < 1.
𝑥𝑝
1
Therefore, by convergent test, ∫0 |𝑓(𝑥)|𝑑𝑥 converges if p < 1.
1
Hence ∫0 𝑓 (𝑥 )𝑑𝑥 converges absolutely for p < 1.
13.8 CONVERGENT AT ∞
Department of Mathematics
Uttarakhand Open University 213
Real Analysis MT(N)-201
Comparison test I.
If 𝑓 and 𝑔 are two functions such that
0 < 𝑓(𝑥) ≤ 𝑔(𝑥) ∀ 𝑥 ∈ [𝑎, ∞), then
∞ ∞
(i) ∫𝑎 𝑔(𝑥 )𝑑𝑥 is convergent ⟹ ∫𝑎 𝑓(𝑥 )𝑑𝑥 is
convergent
∞ ∞
(ii) ∫𝑎 𝑓(𝑥 )𝑑𝑥 is divergent ⟹ ∫𝑎 𝑔(𝑥 )𝑑𝑥 is
divergent.
Department of Mathematics
Uttarakhand Open University 214
Real Analysis MT(N)-201
∞ 𝑥3 ∞ 1
(i) ∫1 (1+𝑥)5
𝑑𝑥 (ii) ∫1 𝑑𝑥
(2+𝑥)√𝑥
𝑥3 𝑥3 1
Sol. (i) Let f(x) = (1+𝑥)5 = 1 5
= 1 5
𝑥 5 (1+ ) 𝑥 2(1+ )
𝑥 𝑥
1
Take g(x) = 𝑥 2
𝑓(𝑥) 1
Therefore, lim = lim 5 =1 which is non-zero and finite.
𝑥⟶∞ 𝑔(𝑥) 𝑥⟶∞ (1+1 )
𝑥
∞ ∞
By comparison test, the two integrals ∫1 𝑓 (𝑥 )𝑑𝑥 and ∫1 𝑔(𝑥 )𝑑𝑥
converge or diverge together.
∞ ∞ 1
But ∫1 𝑔(𝑥 )𝑑𝑥 = ∫1 𝑥2
𝑑𝑥 is convergent (since n = 2 >1)
∞ ∞ 𝑥3
Therefore, ∫1 𝑓 (𝑥 )𝑑𝑥 = ∫1 (1+𝑥)5
𝑑𝑥 is convergent.
1 1
(ii) Let f(x) = (2+𝑥) = 3
√𝑥 2
𝑥 2 (1+ )
𝑥
1
Take g(x) = 𝑥 3/2
𝑓(𝑥) 1
Therefore, lim = lim 2 =1 which is non-zero and finite.
𝑥⟶∞ 𝑔(𝑥) 𝑥⟶∞ 1+𝑥
∞ ∞
By comparison test, the two integrals ∫1 𝑓 (𝑥 )𝑑𝑥 and ∫1 𝑔(𝑥 )𝑑𝑥
converge or diverge together.
∞ ∞ 1 3
But ∫1 𝑔(𝑥 )𝑑𝑥 = ∫1 𝑥 3/2
𝑑𝑥 is convergent (since n = 2 > 1)
∞ ∞ 1
Therefore, ∫1 𝑓 (𝑥 )𝑑𝑥 = ∫1 𝑑𝑥 is convergent.
(2+𝑥)√𝑥
∞ 𝑥 2𝑚 𝑎 𝑥 2𝑚 ∞ 𝑥 2𝑚
Sol. ∫0 𝑑𝑥 = ∫0 𝑑𝑥 + ∫𝑎 𝑑𝑥 where, 𝑎 > 0
1 + 𝑥 2𝑛 1 + 𝑥 2𝑛 1 + 𝑥 2𝑛
𝑥 2𝑚 𝑥 2𝑚 1
Let 𝑓 (𝑥 ) = 1 + 𝑥 2𝑛 = 1 = 1
𝑥 2𝑛 (1+ 2𝑛 ) 𝑥 2𝑛−2𝑚 (1+ 2𝑛 )
𝑥 𝑥
Department of Mathematics
Uttarakhand Open University 215
Real Analysis MT(N)-201
1
Take 𝑔(𝑥 ) = 𝑥 2𝑛−2𝑚
𝑓(𝑥) 1
lim = lim 1 =1 (Since n > 0)
𝑥⟶∞ 𝑔(𝑥) 𝑥⟶∞ 1 + 2𝑛
𝑥
∞ 1
Therefore, ∫𝑎 𝑓(𝑥)𝑑𝑥 converges if and only if 𝑛 − 𝑚 > 2. Hence the
1
given integral converges if and only if 𝑛 − 𝑚 > 2.
13.9 SUMMARY
Department of Mathematics
Uttarakhand Open University 216
Real Analysis MT(N)-201
b b
(ii) ∫𝑎 f(𝑥)d𝑥 is divergent ⟹ ∫𝑎 g(𝑥)d𝑥 is divergent.
13.10 GLOSSARY
sequence
series
13.11 REFERENCES
∞ 𝑥 3+1
Q 3. Examine for convergence of the integral ∫0 𝑑𝑥.
𝑥4
∞ 𝑐𝑜𝑠𝑥
Q 4. Examine for convergence of the integral ∫0 𝑑𝑥.
1+𝑥 2
∞ 1
Q 5. Examine for convergence of the integral ∫𝑒 𝑑𝑥.
𝑥(𝑙𝑜𝑔𝑥)𝑛+1
13.14 ANSWERS
TQ3. Convergent.
TQ4. Convergent.
CYQ 1. False
CYQ 2. True
CYQ 3. True
CYQ 4. True
CYQ 5. True
Department of Mathematics
Uttarakhand Open University 218
Real Analysis MT(N)-201
Department of Mathematics
Uttarakhand Open University 219
Real Analysis MT(N)-201
14.1 INTRODUCTION
14.2 OBJECTIVES
In this Unit, we will Discussed about
Improper integral
Abel’s Test
Dirichlet’s Test
Or
Proof: Since 𝑔 is monotonic on [𝑎, ∞), it is integrable on [𝑎, 𝑡], for all
𝑡 ≥ 𝑎.
𝑡2 p 2 𝑡
∫𝑡1 f(𝑥 )g(𝑥)d𝑥 = 𝑔( 𝑡1 ) ∫𝑡1 f(𝑥)d𝑥 = 𝑔(𝑡2 ) ∫𝑝 f(𝑥 )d𝑥 ………. (1)
Where 𝑎 < 𝑡1 ≤ 𝑝 ≤ 𝑡2
Since 𝑔 is bounded on [𝑎, ∞), there exists a positive number 𝑘 such that
|𝑔(𝑥)| ≤ 𝑘 ∀ 𝑥 ≥ 𝑎
𝑡 𝜖
|∫𝑡 2 f(𝑥)d𝑥| ≤ ∀ 𝑡1 , 𝑡2 ≥ 𝑡0 ……… (3)
1 2𝑘
From (1), (2) and (4), it follows that a positive number 𝑡0 exists such
that for all 𝑡1 , 𝑡2 ≥ 𝑡0 .
𝑡 p 𝑡
|∫𝑡 2 f(𝑥)g(𝑥)d𝑥| = |𝑔(𝑡1 ) ∫𝑡 f(𝑥 )d𝑥 + 𝑔(𝑡2 ) ∫p 2 f(𝑥 )d𝑥|
1 1
p 𝑡 𝜖 𝜖
≤ |𝑔(𝑡1 )| |∫𝑡 f(𝑥 )d𝑥 | + |𝑔(𝑡2 )| |∫𝑝 2 f(𝑥 )d𝑥| < 𝑘. 2𝑘 + 𝑘. 2𝑘 = 𝜖
1
∞
Hence, by Cauchy’s test, ∫a f(𝑥 )g(𝑥)d𝑥 is convergent at ∞.
Or
Proof. Since g is monotonic on [𝑎, ∞), it is integrable on [𝑎, 𝑡], for all
Department of Mathematics
Uttarakhand Open University 221
Real Analysis MT(N)-201
𝑡 ≥ 𝑎.
Where 𝑎 < 𝑡1 ≤ 𝑝 ≤ 𝑡2
t
Since ∫a f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 𝑎, there exists a positive number
𝑘 such that
p
|∫𝑡 f(𝑥 )d𝑥| ≤ 𝑘 ∀ 𝑡 ≥ 𝑎 ……… (2)
1
p a p
Now, |∫𝑡 f(𝑥 )d𝑥 | = |∫𝑡 f(𝑥 )d𝑥 + ∫a f(𝑥 )d𝑥|
1 2
p 𝑡
= |∫a f(𝑥 )d𝑥 − ∫a 1 f(𝑥 )d𝑥|
p 𝑡
≤ |∫a f(𝑥 )d𝑥| + |∫a 1 f(𝑥 )d𝑥|
≤ 𝑘 + 𝑘 = 2𝑘 ∀ 𝑡1 , 𝑝 ≥ 𝑎 …….. (3)
𝑡
Similarly, |∫𝑝 2 f(𝑥 )d𝑥| ≤ 2𝑘 ∀ 𝑡2 , 𝑝 ≥ 𝑎 …….. (4)
𝜖
|𝑔(𝑥)| < ∀ 𝑥 ≥ 𝑡0
4𝑘
From (1), (3), (4) and (5) it follows that a positive number 𝑡0 exists such
that for all 𝑡1 , 𝑡2 ≥ 𝑡0
𝑡 p 𝑡
|∫𝑡 2 f(𝑥)g(𝑥)d𝑥| = |𝑔(𝑡1 ) ∫𝑡 f(𝑥 )d𝑥 + 𝑔(𝑡2 ) ∫p 2 f(𝑥 )d𝑥|
1 1
p 𝑡 𝜖 𝜖
≤ |𝑔(𝑡1 )| |∫𝑡 f(𝑥 )d𝑥 | + |𝑔(𝑡2 )| |∫𝑝 2 f(𝑥 )d𝑥| < 4𝑘 . 2𝑘 + 4𝑘 . 2𝑘 = 𝜖
1
∞
Hence, by Cauchy’s test, ∫a f(𝑥 )g(𝑥)d𝑥 is convergent at ∞.
Department of Mathematics
Uttarakhand Open University 222
Real Analysis MT(N)-201
∞ 𝑠𝑖𝑛𝑥
(iv) ∫a d𝑥 where a and m both are positive.
𝑥𝑚
𝑠𝑖𝑛𝑥
Sol. (i) Since lim = 1, therefore 0 is not a point of infinite
𝑥⟶∞ 𝑥
discontinuity.
∞ 𝑠𝑖𝑛𝑥 1 𝑠𝑖𝑛𝑥 ∞ 𝑠𝑖𝑛𝑥
Now, ∫0 d𝑥 = ∫0 d𝑥 + ∫1 d𝑥
𝑥 𝑥 𝑥
1 𝑠𝑖𝑛𝑥
Also ∫0 d𝑥 is a proper integral. Let us examine the convergence of
𝑥
∞ 𝑠𝑖𝑛𝑥
∫1 d𝑥 at ∞.
𝑥
1
Let 𝑓 (𝑥 ) = 𝑠𝑖𝑛𝑥 and 𝑔(𝑥 ) = 𝑥
t t
Since |∫1 f(𝑥 )d𝑥| = |∫1 sin 𝑥 d𝑥|
∞ 𝑠𝑖𝑛𝑥
Hence, from (1), ∫0 d𝑥 is convergent.
𝑥
𝑠𝑖𝑛𝑥 𝑠𝑖𝑛𝑥
(ii) Since lim = lim . √𝑥 = 1 × 0 = 0.
𝑥⟶∞ √𝑥 𝑥⟶∞ 𝑥
1 𝑠𝑖𝑛𝑥
Also ∫0 d𝑥 is a proper integral. So, let us examine the convergence
√𝑥
∞ 𝑠𝑖𝑛𝑥
of ∫1 𝑥 d𝑥 at ∞.
√
1
Let 𝑓(𝑥 ) = 𝑠𝑖𝑛𝑥 and 𝑔(𝑥 ) =
√𝑥
t
Since |∫1 f(𝑥 )d𝑥 | ≤ 2 [see part (i)]
t
Therefore, ∫1 f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 1.
Department of Mathematics
Uttarakhand Open University 223
Real Analysis MT(N)-201
∞ 𝑠𝑖𝑛𝑥
Hence, from (1), ∫0 d𝑥 is convergent.
√𝑥
1 𝑠𝑖𝑛𝑥
For the integral ∫0 d𝑥, 0 is a point of infinite discontinuity.
𝑥 3/2
𝑠𝑖𝑛𝑥 𝑠𝑖𝑛𝑥 1
Let 𝑓 (𝑥 ) = 𝑥 3/2 = .
𝑥 √𝑥
1
Take 𝑔(𝑥 ) =
√𝑥
𝑓(𝑥) 𝑠𝑖𝑛𝑥
Therefore, lim = lim = 1 which is non-zero and finite.
𝑥⟶0+ 𝑔(𝑥) 𝑥⟶0+ 𝑥
1 1 1
Since ∫0 𝑔(𝑥 )d𝑥 = ∫0 d𝑥 is convergent.
√𝑥
1 1 𝑠𝑖𝑛𝑥
∴ By comparison test, ∫0 𝑓(𝑥 )d𝑥 = ∫0 d𝑥 is convergent.
𝑥 3/2
∞ 𝑠𝑖𝑛𝑥
Convergence of ∫1 d𝑥 at ∞.
𝑥 3/2
1
Let 𝑓 (𝑥 ) = 𝑠𝑖𝑛𝑥 and 𝑔(𝑥 ) = 𝑥 3/2
t
Since |∫1 f(𝑥 )d𝑥| ≤ 2 [see part (i)]
t
∴ ∫1 f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 1.
∞ 𝑠𝑖𝑛𝑥
Hence, from (1), ∫0 d𝑥 is convergent.
𝑥 3/2
1
(iv) Let 𝑓 (𝑥) = 𝑠𝑖𝑛𝑥 and 𝑔(𝑥 ) = 𝑥 𝑚 , m > 0
t t
Since |∫𝑎 f(𝑥 )d𝑥 | = |∫𝑎 sin 𝑥 d𝑥 |
t
∴ ∫𝑎 f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 1.
∞ 1 ∞
Sol. (i) We have ∫0 sin 𝑥 2 d𝑥 = ∫0 sin 𝑥 2 d𝑥 + ∫1 sin 𝑥 2 d𝑥 …… (1)
1
But ∫0 sin 𝑥 2 d𝑥 is a proper integral and therefore convergent.
∞
Convergence of ∫𝟏 𝐬𝐢𝐧 𝒙𝟐 𝐝𝒙 at ∞.
∞ ∞ 1
∫1 sin 𝑥 2 d𝑥 = ∫1 (2𝑥 sin 𝑥 2 ). 2𝑥 d𝑥
1
Let 𝑓 (𝑥 ) = 2𝑥 sin 𝑥 2 and 𝑔(𝑥 ) = 2𝑥
t t
Since, |∫1 f(𝑥 )d𝑥| = |∫1 2𝑥 sin 𝑥 2 d𝑥 | = |{− cos 𝑥 2 }1𝑡 |
(ii) We have
∞ 𝑥
∫0 sin 𝑥 d𝑥
1+𝑥 2
Department of Mathematics
Uttarakhand Open University 225
Real Analysis MT(N)-201
1 𝑥 ∞ 𝑥
= ∫0 sin 𝑥 d𝑥 + ∫1 sin 𝑥 d𝑥 …… (1)
1+𝑥 2 1+𝑥 2
1 𝑥
But ∫0 sin 𝑥 d𝑥 is a proper integral and therefore convergent.
1+𝑥 2
∞ 𝒙
Convergence of ∫𝟏 𝐬𝐢𝐧 𝒙 𝐝𝒙 ∞.
𝟏+𝒙𝟐
𝑥
Let 𝑓 (𝑥 ) = 𝑠𝑖𝑛 𝑥 and 𝑔(𝑥 ) = 1+𝑥 2
t
Since |∫1 f(𝑥 )d𝑥| ≤ 2
t
∴ ∫1 f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 1.
𝑥
Also, lim 𝑔(𝑥) = lim =0
𝑥⟶∞ 𝑥⟶∞ 1+𝑥 2
𝑥
Hence, from (1) 1+𝑥 2 sin 𝑥 is convergent.
𝑠𝑖𝑛𝑥
Sol. (i) Let 𝑓 (𝑥 ) = and 𝑔(𝑥 ) = 𝑒 −𝑎𝑥 , 𝑎 ≥ 0.
𝑥
∞
Since ∫0 𝑓(𝑥)d𝑥 is convergent and 𝑔(𝑥 ) is bounded and monotonically
decreasing function of 𝑥 for 𝑥 > 0.
∞ ∞ 𝑠𝑖𝑛𝑥
∴ By Abel’s test, ∫0 𝑓 (𝑥 )𝑔(𝑥)d𝑥 = ∫0 𝑒 −𝑎𝑥 d𝑥 is convergent.
𝑥
𝑠𝑖𝑛𝑥
(ii) Let 𝑓 (𝑥 ) = and 𝑔(𝑥 ) = 𝑒 −𝑥
𝑥2
𝒔𝒊𝒏 𝒙 1 ∞ 1
Since |𝑓(𝑥)| = | |≤ and ∫a d𝑥 is convergent.
𝑥2 𝑥2 𝑥2
∞
Therefore, ∫a 𝑓 (𝑥 )d𝑥 is also convergent.
Department of Mathematics
Uttarakhand Open University 226
Real Analysis MT(N)-201
14.5 SUMMARY
∞
1. If ∫a f(𝑥 )d𝑥 is convergent at ∞ and 𝑔(𝑥) is bounded and monotonic
∞
for 𝑥 ≥ 𝑎, then ∫a f(𝑥 )𝑔(𝑥)d𝑥 is convergent at ∞. (This is Abel’s Test).
t
2. If ∫a f(𝑥 )d𝑥 is bounded for all 𝑡 ≥ 𝑎 and 𝑔(𝑥) is a bounded and
monotonic function for 𝑥 ≥ 𝑎, tending to 0 as 𝑥 ⟶ ∞, then
∞
∫a f(𝑥 )g(𝑥)d𝑥 is convergent at ∞. (This is Dirichlet’s Test).
14.6 GLOSSARY
Proper integral
Improper integral
14.7 REFERENCES
∞ log 𝑥 sin 𝑥
Q 3. Examine for convergence of the integral ∫𝑒 𝑑𝑥 .
𝑥
∞ 𝑐𝑜𝑠𝑥
Q 4. Test the convergence of the integral ∫𝑎 (1 − 𝑒 −𝑥 ). 𝑑𝑥 , 𝑎 > 0.
𝑥2
14.10 ANSWERS
TQ1. Convergent.
TQ3. Convergent.
TQ4. Convergent.
Department of Mathematics
Uttarakhand Open University 228
Real Analysis MT(N)-201
CYQ 1. False
CYQ 2. True
CYQ 3. False
CYQ 4. True
CYQ 5. False
Department of Mathematics
Uttarakhand Open University 229
REAL ANALYSIS MT(N) - 201
E-mail:info@uou.ac.in
Website: https://www.uou.ac.in/