Real Analysis
Real Analysis
MATHEMATICS
FIRST YEAR -SEMESTER-II
REAL ANALYSIS
https://mkuniversity.ac.in/dde/
PMAT22
REAL ANALYSIS
WELCOME
Dear Students,
Unit- II: The Weierstrauss theorem for algebraic polynomials- The Stone -
Weierstrauss Theorem – Power series - The Exponential and Logarithmic
Functions - The Trigonometric Functions – Fourier Series - The Weierstrauss
theorem for the Trigonometric polynomials - The Gamma Functions.
Unit- IV: The inverse function Theorem - The Implicit Function Theorem - The
Rank Theorem – Determinants.
Reference Books:
Dr. T. Asir
Assistant Professor and Head i/c
Department of Mathematics-DDE, Madurai Kamaraj University, Madurai.
Space for Hints
UNIT – 1
Introduction
Definition 1.1:
𝑓𝑛 .
To say that 𝑓 is continuous at 𝑥meanslim𝑡→𝑥 𝑓 𝑡 = 𝑓(𝑥).
1
Space for Hints
We shall now show by means of several examples that limit processes cannot
in general be interchanged without affecting the result.
Example 1.2:
𝑚
For 𝑚 = 1,2, . . ., and 𝑛 = 1,2, . . ., let𝑠𝑚 ,𝑛 = 𝑚 +𝑛 .
Then, foreveryfixed 𝑛,
1
lim𝑛→∞ 𝑠𝑚 ,𝑛 = lim 𝑛 = 1.
𝑛 →∞ 1+𝑚
So thatlim𝑛→∞ lim 𝑠𝑚 ,𝑛 = 1
𝑚 →∞
On the other hand, for every fixed𝑚, lim𝑛→∞ 𝑠𝑚 ,𝑛 = 0 so that
lim lim 𝑠𝑚 ,𝑛 = 0.
𝑚 →∞ 𝑛→∞
Example 1.3:
𝑥2
Let 𝑓𝑛 (𝑥) (x real; n=0,1,2,...),and consider
1+𝑥 2 𝑛
∞ 𝑥2
𝑓(𝑥) = 𝑓𝑛 (𝑥) = 𝑛=1 1+𝑥 2 𝑛 (1)
0 𝑥=0
Hence 𝑓 𝑥 = 2
1+𝑥 𝑥 ≠0
𝑓𝑛 is a convergent series of continuous functions and have a discontinuous
sum.
Example 1.4:
For rational 𝑥, say 𝑥 = 𝑝/𝑞, where 𝑝 and 𝑞 are integers, we see that 𝑚! 𝑥
is an integer if 𝑚 ≥ 𝑞, so that 𝑓(𝑥) = 1.
0 𝑥 𝑖𝑟𝑟𝑎𝑡𝑖𝑜𝑛𝑎𝑙
Hence lim𝑚 →∞ lim𝑛→∞ 𝐶𝑜𝑠 𝑚! 𝜋𝑥 2𝑛 =
1 𝑥 𝑟𝑎𝑡𝑖𝑜𝑛𝑎𝑙
That is an everywhere discontinuous limit function, which is not Riemann-
integrable.
Example 1.5:
𝑛𝑥
Let 𝑓𝑛 𝑥 = 𝑠𝑖𝑛 √𝑛 (𝑥 real; 𝑛 = 1,2,3, . . . ), and𝑓 𝑥 = lim𝑛 →∞ 𝑓𝑛 𝑥 .
Then 𝑓‘(𝑥) = 0, and 𝑓𝑛′ 𝑥 = √𝑛𝑐𝑜𝑠 𝑛𝑥, so that {𝑓𝑛‘} does notconverge
to𝑓‘.For instance𝑓𝑛 ′(0) = √𝑛 → +∞ as 𝑛 → ∞ , whereas 𝑓’(0) = 0.
Example 1.6:
Let 𝑓𝑛 𝑥 = 𝑛2 𝑥 1 − 𝑥 2 𝑛
(0 ≤ 𝑥 ≤ 1, 𝑛 = 1,2,3, . . . ) (1)
Therefore the limit of the integral need notbe equal to the integral of the limit,
even if both are finite.
CYP Questions:
1. Give more examples for the limit of the integral need not be equal
Note 1
3
Space for Hints
Proof:
Since 𝑓𝑚 (𝑥) → 𝑓(𝑥) as 𝑚 → ∞, this gives |𝑓𝑛 (𝑥) – 𝑓(𝑥)| ≤ 𝜀 for every
𝑛 ≥ 𝑁 and every 𝑥 ∈ 𝐸.
Therefore {𝑓𝑛} converges uniformly to 𝑓 on 𝐸.
Theorem 1.8:
4
Space for Hints
Proof:
Suppose 𝑓𝑛 → 𝑓 uniformly on 𝐸.
By definition, for every 𝜀 > 0 there is an integer 𝑁 such that 𝑛 ≥ 𝑁 implies
|𝑓𝑛 (𝑥) – 𝑓(𝑥)| ≤ 𝜀 for all 𝑥 ∈ 𝐸.
Therefore sup𝑥∈ 𝐸 |𝑓𝑛 (𝑥) − 𝑓(𝑥) | ≤ 𝜀
That is 𝑀𝑛 ≤ 𝜀 if 𝑛 ≥ 𝑁.That is𝑀𝑛 → 0 as 𝑛 → ∞.
Conversely, suppose 𝑀𝑛 → 0 as 𝑛 → ∞.
Then, given 𝜀 > 0 there is an integer 𝑁 such that 𝑛 ≥ 𝑁 ⇒ 𝑀𝑛 ≤ 𝜀.
That is 𝑛 ≥ 𝑁 sup𝑥 ∈ 𝐸 |𝑓𝑛 (𝑥) − 𝑓(𝑥)| ≤ 𝜀 ⇒ |𝑓𝑛(𝑥) − 𝑓(𝑥)| ≤ 𝜀 for
every 𝑥 ∈ 𝐸.
Therefore 𝑓𝑛 → 𝑓 uniformly on 𝐸.
Theorem 1.9:
Suppose{𝑓𝑛 }isasequenceof functions defined on 𝐸, and suppose
|𝑓𝑛 (𝑥)| ≤ 𝑀𝑛 (𝑥 ∈ 𝐸, 𝑛 = 1,2,3, . ).
Then 𝛴𝑓𝑛 convergence uniformly on 𝐸 if 𝛴 𝑀𝑛 converges.
Proof:
Suppose 𝛴𝑀𝑛 converges.
Then,forarbitrary𝜀 > 0, 𝑚 𝑚
𝑖=𝑛 fi x ≤ 𝑖=𝑛 Mi ≤ ε ( x ∈ E )
provided 𝑚 and 𝑛 are large enough.
That is there is an integer 𝑁 such that 𝑛 ≥ 𝑁, 𝑚 ≥ 𝑁, 𝑥 ∈ 𝐸 implies
|𝑓𝑛 (𝑥)– 𝑓𝑚 (𝑥)| ≤ 𝜀.
By theorem 1.7, 𝛴 𝑓𝑛 convergence uniformly on 𝐸.
Theorem 1.10:
5
Space for Hints
Theorem 1.11:
(Corollary to theorem 1.10) If {𝑓𝑛 }is a sequence of continuous functions on 𝐸,
and if 𝑓𝑛 → 𝑓 uniformly on 𝐸, then 𝑓 is continuous on 𝐸.
Proof:
Since {𝑓𝑛 } is a sequence of continuous functions on 𝐸, for every𝑛, we have
lim𝑡→𝑥 𝑓𝑛 (𝑡) = 𝑓𝑛 (𝑥)By theorem 1.10, we have
lim lim 𝑓𝑛 (𝑡) = lim lim 𝑓𝑛 (𝑡)
𝑡→𝑥 𝑛 →∞ 𝑛 →∞ 𝑡→𝑥
𝑖. 𝑒 lim𝑡→𝑥 𝑓𝑛 (𝑡) = lim 𝑓𝑛 (𝑥) = 𝑓(𝑥) since 𝑓𝑛 → 𝑓 uniformly on 𝐸 . 𝑛 →
∞ 𝑓(𝑡) = 𝑓(𝑥)
By definition of continuous function, 𝑓 is continuous on 𝐸.
Example 1.12:
𝑓𝑛 (𝑥) = 𝑛2 𝑥 1 – 𝑥 2 𝑛 (0 ≤ 𝑥 ≤ 1, 𝑛 = 1,2,3, . )
Theorem 1.13:
We havetoprovethat𝑓𝑛 → 𝑓 uniformly on 𝐾.
That is to prove that 𝑔𝑛 → 0 uniformly on 𝐾.
Let 𝜀 > 0 be given.
Let 𝐾𝑛 = {𝑥 ∈ 𝐾 \ 𝑔𝑛 (𝑥) ≥ 𝜀. }
That is 𝐾𝑛 = {𝑥 ∈ 𝐾 \ 𝑔𝑛 (𝑥) ∈ [𝜀, ∞)}.
That is 𝐾𝑛 = {𝑥 ∈ 𝐾 \ 𝑥 ∈ 𝑔𝑛 –1 ([𝜀, ∞))}.
That is 𝐾𝑛 = 𝑔𝑛 –1 ([𝜀, ∞)).
Since 𝑔𝑛 is continuous and [𝜀, ∞) is closed,𝐾𝑛 is closed ,and hence 𝐾𝑛 is
compact (since closed subsets are compact).
Let 𝑥 ∈ 𝐾𝑛+1 . Then 𝑔𝑛+1 (𝑥) ≥ 𝜀. Since 𝑔𝑛 (𝑥) ≥ 𝑔𝑛+1 (𝑥) ≥ 𝜀, 𝑥 ∈ 𝐾𝑛.
Then 𝐾𝑛 ⊇ 𝐾𝑛+1 ∀ 𝑛.
Fix 𝑥 ∈ 𝐾. Since 𝑔𝑛 (𝑥) → 0 point wise, we see that 𝑥 ∉ 𝐾𝑛 if 𝑛 is
sufficiently large. Thus 𝑥 ∉∩ 𝐾𝑛 .
In other words, ∩ 𝐾𝑛 is empty.
Therefore 𝐾𝑛 is empty for some 𝑁. It follows that 0 ≤ 𝑔𝑛 (𝑥) < 𝜀, ∀𝑥 ∈
𝐾&∀𝑛 ≥ 𝑁. Therefore | 𝑔𝑛 (𝑥) – 0| < 𝜀 for all 𝑥 ∈ 𝐾 and for all 𝑛 ≥ 𝑁.
That is 𝑔𝑛 → 0 uniformly on 𝐾.That is 𝑓𝑛 → 𝑓 uniformly on 𝐾.
Definition 1.14:
If 𝑋 is a metric space, 𝐶(𝑋) will denote the set of all complex valued,
continuous, bounded functions with domain 𝑋. 𝐶(𝑋)consistsofall complex
Continuousfunctions on𝑋if𝑋 iscompact.
We associate with each 𝑓 ∈ 𝐶(𝑋) its supremum norm
𝑓 = 𝑠𝑢𝑝 𝑓 𝑥 , 𝑥 ∈ 𝐸.
Since 𝑓 is bounded, ||𝑓|| < ∞. Also ||𝑓|| = 0 ⇔ 𝑓(𝑥) = 0 for every
𝑥 ∈ 𝑋.
That is ||𝑓|| = 0 ⇔ 𝑓 = 0.
If = 𝑓 + 𝑔, then |(𝑥)| = |𝑓(𝑥) + 𝑔(𝑥)| ≤ |𝑓(𝑥)| + |𝑔(𝑥)| ≤ ||𝑓|| +
||𝑔|| for all 𝑥 ∈ 𝑋. Hence ||𝑓 + 𝑔|| = |||| ≤ ||𝑓|| + ||𝑔||.
Also 𝐶(𝑋) is a metric space with the metric 𝑑(𝑓, 𝑔) = ||𝑓 – 𝑔||.
Theorem 1.15:
Proof:
7
Space for Hints
Questions
1. If {𝑓𝑛 } and {𝑔𝑛 } converge uniformly on a set 𝐸, prove that
{𝑓𝑛 + 𝑔𝑛 } converges uniformly on 𝐸.
2. If {𝑓𝑛 } and {𝑔𝑛 } converge uniformly on a set 𝐸 and if {𝑓𝑛 } and {𝑔𝑛 }are
sequences of bounded functions, prove that {𝑓𝑛 𝑔𝑛 } converges
uniformly on 𝐸.
8
Space for Hints
Theorem 1.16
Let 𝛼 be monotonically increasing on 𝑎, 𝑏 . Suppose 𝑓𝑛 ∈ ℜ(𝛼) on 𝑎, 𝑏 , and
𝑏 𝑏
∫𝑎 𝑓𝑑𝛼 = lim𝑛→∞ ∫𝑎 𝑓𝑛 𝑑𝛼 .
Proof:
Put 𝜀𝑛 = sup 𝑓𝑛 𝑥 − 𝑓 𝑥 , the supremum being taken over 𝑎 ≤ 𝑥 ≤ 𝑏.
Then 𝑓𝑛 𝑥 − 𝑓 𝑥 ≤ 𝜀𝑛 .
That is −𝜀𝑛 ≤ 𝑓 − 𝑓𝑛 ≤ 𝜀𝑛 . (1)
That is 𝑓𝑛 − 𝜀𝑛 ≤ 𝑓 ≤ 𝑓𝑛 + 𝜀𝑛 .
𝑏 𝑏 𝑏 𝑏
(𝑓𝑛 − 𝜀𝑛 ) 𝑑𝛼 ≤ 𝑓𝑑𝛼 ≤ 𝑓𝑑𝛼 ≤ (𝑓𝑛 + 𝜀𝑛 )𝑑𝛼
𝑎 𝑎 𝑎 𝑎
𝑏 𝑏 𝑏 𝑏
(𝑓𝑛 − 𝜀𝑛 ) 𝑑𝛼 ≤ 𝑓𝑑𝛼 ≤ 𝑓𝑑𝛼 ≤ (𝑓𝑛 + 𝜀𝑛 )𝑑𝛼
𝑎 𝑎 𝑎 𝑎
𝑏 𝑏 𝑏 𝑏
0 ≤ 𝑓𝑑𝛼 − 𝑓𝑑𝛼 ≤ (𝑓𝑛 + 𝜀𝑛 )𝑑𝛼 − (𝑓𝑛 − 𝜀𝑛 )𝑑𝛼
𝑎 𝑎 𝑎 𝑎
𝑏 𝑏
≤ ∫𝑎 𝑓𝑛 + 𝜀𝑛 − 𝑓𝑛 + 𝜀𝑛 𝑑𝛼 = 2 ∫𝑎 𝜀𝑛 𝑑𝛼 = 2𝜀𝑛 [𝛼(𝑏) − 𝛼(𝑎)] (2)
By theorem 1.2.2,𝜀𝑛 → 0 as 𝑛 → ∞. (𝑓𝑛 → 𝑓 uniformly on [𝑎, 𝑏])
𝑏 𝑏
From(1), 0 ≤ ∫𝑎 𝑓𝑑𝛼 − ∫𝑎 𝑓𝑑𝛼 → 0 𝑎𝑠 𝑛 → ∞
𝑏 𝑏
Therefore ∫𝑎 𝑓𝑑𝛼 = ∫𝑎 𝑓𝑑𝛼 (3)
That is 𝑓 ∈ ℛ 𝛼 on [𝑎, 𝑏].
𝑏 𝑏 𝑏 𝑏
Using(3) in (1), we get− ∫𝑎 𝜀𝑛 𝑑𝛼 ≤ ∫𝑎 𝑓𝑑𝛼 − ∫𝑎 𝑓𝑛 𝑑𝛼 ≤ ∫𝑎 𝜀𝑛 𝑑𝛼
𝑏 𝑏
𝜀𝑛 [𝛼(𝑏) − 𝛼(𝑎)] ≤ 𝑓𝑑𝛼 − 𝑓𝑛 𝑑𝛼 ≤ 𝜀𝑛 [𝛼(𝑏) − 𝛼(𝑎)]
𝑎 𝑎
𝑏 𝑏
That is ∫𝑎 𝑓𝑑𝛼 − ∫𝑎 𝑓𝑛 𝑑𝛼 ≤ 𝜀𝑛 𝛼 𝑏 − 𝛼 𝑎 → 0 as 𝑛 → ∞.
𝑏 𝑏
Therefore ∫𝑎 𝑓𝑑𝛼 = lim𝑛→∞ ∫𝑎 𝑓𝑛 𝑑𝛼.
CYP Questions:
∞
1. If𝑓𝑛 ∈ ℛ(𝛼).on 𝑎, 𝑏 andif𝑓(𝑥) = 𝑛=1 𝑓𝑛 (𝑥) (𝑎 ≤ 𝑥 ≤ 𝑏),
𝑏
theseries converging uniformly on [𝑎, 𝑏], then ∫𝑎 𝑓𝑑𝛼 =
∞ 𝑏
𝑛 ∫𝑎 𝑓𝑛 𝑑𝛼
9
Space for Hints
Theorem 1.17:
Suppose {𝑓𝑛 } is a sequence of functions, differentiable on [𝑎, 𝑏] and such that
{𝑓𝑛 (𝑥0 )} converges for some point 𝑥0 on [𝑎, 𝑏]. If {𝑓𝑛 ′} converges uniformly
on [𝑎, 𝑏], then{𝑓𝑛 } converges uniformly on [𝑎, 𝑏],toafunction𝑓,and
𝑓 ′ 𝑥 = lim 𝑓𝑛 ′(𝑥) (𝑎 ≤ 𝑥 ≤ 𝑏)
𝑛→∞
Proof:
Let 𝜀 > 0 be given.Since {𝑓𝑛 (𝑥0 )}converges for some point 𝑥0 on [𝑎, 𝑏], and
every convergent sequence is Cauchy, choose 𝑁 such that 𝑛 ≥ 𝑁, 𝑚 ≥
𝜀
𝑁, 𝑡 ∈ 𝐸 implies 𝑓𝑛 𝑥0 − 𝑓𝑚 𝑥0 ≤ 2 (1)
Also, since {𝑓𝑛 ′} converges uniformly on [𝑎, 𝑏], say to 𝑓‘, we have
𝜀
|𝑓𝑛 ′(𝑡) − 𝑓𝑚 ′(𝑡)| < 2 𝑏−𝑎 (𝑎 ≤ 𝑡 ≤ 𝑏) (2)
𝑓𝑛 𝑥 − 𝑓𝑛 𝑡 𝑓𝑚 𝑥 − 𝑓𝑚 𝑡 𝜀
That is − <2
𝑡−𝑥 𝑡−𝑥 𝑏−𝑎
𝜀
That is |𝜙𝑛 (𝑡) − 𝜙𝑚 (𝑡)| < 2 𝑏−𝑎
The above equation shows that {𝜙𝑛 } converges uniformly to 𝜙 for 𝑡 ≠ 𝑥.
Apply theorem 1.10 to {𝜙𝑛}, we get
lim lim 𝜙𝑛 (𝑡) = lim lim 𝜙𝑛 (𝑡).
𝑡→𝑥 𝑛→∞ 𝑛 →∞ 𝑡→𝑥
That islim𝑡→𝑥 𝜙𝑛 (𝑡) = lim𝑛→∞ 𝑓𝑛 ′(𝑥)(by(5) and (6)).
Therefore 𝑓 ′ 𝑥 = lim𝑛 →∞ 𝑓𝑛 ′(𝑥)(by(7)).
Theorem 1.18:
There exists a real continuous function on the real line which is nowhere
differentiable.
Proof:
Define 𝜙(𝑥) = |𝑥|( − 1 ≤ 𝑥 ≤ 1) (1)
Extend the definition of 𝜙(𝑥) to all real 𝑥 by requiring that
𝜙 𝑥+2 = 𝜙 𝑥 . (2)
Then,for all 𝑠 and 𝑡,we have |𝜙(𝑠) − 𝜙(𝑡)| = |𝑠| − |𝑡| ≤ |𝑠 − 𝑡|. (3)
In particular, 𝜙 is continuous on 𝑅1 .
∞ 3 𝑛
Define 𝑓 𝑥 = 𝑛=0 4 𝜙 4𝑛 𝑥 .
∞ 3 𝑛 ∞ 3 𝑛
Since 0 ≤ 𝜙 ≤ 1, we have |𝑓(𝑥)| = 𝑛=0 4 𝜙 4𝑛 𝑥 ≤ 𝑛=0 =
4
∞ 3 𝑛
𝑛=0 4
∞ 3 𝑛 3
Since 𝑛=0 4 is a geometric serieswiththecommonratio < 1 and
4
3 𝑛
∞ 1
hence 𝑛=0 4 converges in 𝑅 .
3 𝑛
Bytheorem1.2.3, theseries ∞𝑛=0 4 𝜙 4𝑛 𝑥
Convergesuniformly𝑜𝑛 𝑅1 . By theorem1.11, 𝑓is continuous on 𝑅1 .
1
Fix a real number 𝑥 and a positiveinteger𝑚. Put𝛿𝑚 = ± 2 . 4−𝑚 where the
sign is so chosen that no integer lies between 4𝑚 𝑥 and 4𝑚 (𝑥 + 𝛿𝑚 ). This
can be done , since 4𝑚 𝑥 + 𝛿𝑚 – 4𝑚 𝑥 = 4𝑚 𝛿𝑚 = 4𝑚 𝛿𝑚 =
1 1 1
4𝑚 ± 2 4−𝑚 = 4𝑚 4−𝑚 2 = 2 .
𝜙 (4 𝑛 (𝑥+𝛿 𝑚 )) − 𝜙(4 𝑛 𝑥)
Define 𝛾𝑚 = .
𝛿𝑚
1 1 1
When 𝑛 > 𝑚, 4 𝛿𝑚 = 4𝑛 ± 2 . 4−𝑚 = ± 2 . 4𝑛 −𝑚 = ± 2 . 22(𝑛−𝑚 ) =
𝑛
22 𝑛 −𝑚 −1
= even integer.
11
Space for Hints
We conclude that
∞ 3 𝑛 3 𝑛
𝑓(𝑥+𝛿 𝑚 ) − 𝑓(𝑥) 𝑛 =0 4 𝜙 4 𝑛 𝑥+𝛿 𝑚 − ∞
𝑛 =0 𝜙 4𝑛 𝑥 3 𝑛
4 ∞
= = 𝑛=0 4 𝛾𝑛 =
𝛿𝑚 𝛿𝑚
𝑚 3 𝑛
𝑛=0 4 𝛾𝑛 (Since 𝛾𝑛 = 0 𝑤𝑒𝑛 n>m)
3 𝑚 𝑛 3 𝑚 𝑛
𝑚 −1 3 𝑚 −1 3
≥ 𝛾𝑚 − 𝑛=0 4 𝛾𝑛 ≥ 4 4𝑚 − 𝑛 =0 4 𝛾𝑛 (by (5))
4
3 𝑚 𝑚 −1 3
𝑛
≥ 4𝑚 − 𝑛=0 4 4𝑛 (by (4))
4
𝑚 −1
𝑚
3𝑚 − 1 2. 3𝑚 − 3𝑚 − 1 3𝑚 + 1
≥3 − 3𝑛 ≥ 3𝑚 − ≥ =
3−1 2 2
𝑛=0
As 𝑚 → ∞, 𝛿𝑚 → 0
It follows that 𝑓 is not differentiable at 𝑥.
Definition 1.19
Definition1.20
If 𝑎 ∈ ℂ, we write lim𝑝,𝑞→∞ 𝑓 ( 𝑝, 𝑞) = 𝑎 and we say that the double
sequence 𝑓 converges to 𝑎, provided that the following condition is satisfied:
For every 𝜖 > 0, there exists an 𝑁 such that |𝑓(𝑝, 𝑞) − 𝑎| < 𝜀
whenever both 𝑝 > 𝑁and𝑞 > 𝑁.
To distinguish lim𝑝,𝑞→∞ 𝑓(𝑝, 𝑞)from lim𝑝→∞ ( lim 𝑓(𝑝, 𝑞)), the first is called
𝑞→∞
a double limit, the second an iterated limit.
Theorem 1.22
Assume that lim𝑝,𝑞→∞ 𝑓(𝑝, 𝑞) = 𝑎. For each fixed 𝑝, assume that the limit
lim𝑝,𝑞→∞ 𝑓(𝑝, 𝑞) exists. Then the lim𝑝→∞ ( lim 𝑓(𝑝, 𝑞)) also exists and has
𝑞→∞
the value a.
12
Space for Hints
Proof
(Note that 𝑁2 depends on pas well as one.) For each 𝑝 > 𝑁1 choose. 𝑁2 , and
then choose a fixed q greater than both 𝑁𝑖 and 𝑁2 . Then both (20) and (21)
hold and hence
|𝐹 𝑝 − 𝑎| < 𝜖,
Therefore, 𝑙𝑖𝑚𝑝→∞ 𝑓(𝑝) = 𝑎.
Example 1.23.
Let
𝑝𝑞
𝑓(𝑝, 𝑞) = 2 (𝑝 = 1, 2, . .. , 𝑞 = 1, 2, . .. ).
𝑝 + 𝑞2
Then lim 𝑓(𝑝, 𝑞) = 0 and hence lim lim 𝑓(𝑝, 𝑞) = 0. But 𝑓(𝑝, 𝑞) =
𝑞→∞ 𝑝→∞ 𝑞→∞
½ when 𝑝 = 𝑞 and 𝑓(𝑝, 𝑞) = ¾ when 𝑝 = 2𝑞, and hence it is clear that
the double limit cannot exist in this case.
Double series
Definition 1.24
Let 𝑓 be a double sequence and let s be the double sequence defined by the
equation
𝑝 𝑞
𝑠 𝑝, 𝑞 = 𝑓(𝑚, 𝑛)
𝑚 =1 𝑛=1
13
Space for Hints
The pair (𝑓, 𝑠) is called a double series and is denoted by the symbol
𝑚 ,𝑛 𝑓(𝑚, 𝑛) or, more briefly, by 𝑓(𝑚, 𝑛). The double series is said to
converge to the sum a if
lim 𝑠(𝑝, 𝑞) = 𝑎
𝑝,𝑞→∞
Each number 𝑓(𝑚, 𝑛) is called a term of the double series and each 𝑠(𝑝, 𝑞) is
a partial sum. If 𝑓(𝑚, 𝑛) has only positive terms, it is easy to show that it
con- verges if, and only if, the set of partial sums is bounded. We say
𝑓(𝑚, 𝑛) converges absolutely if 𝑓 𝑚, 𝑛 converges.
Definition 1.25
Example 1.26:
2𝜋
ByLebesgue'stheorem, lim ∫0 sin 𝑛𝑘 𝑥 − sin 𝑛𝑘+1 𝑥 2 𝑑𝑥 = 0 (1)
𝑘 →∞
But
2𝜋
∫0 sin 𝑛𝑘 𝑥 − sin 𝑛𝑘+1 𝑥 2 𝑑𝑥 = 2𝜋, which contradicts (1)
0
14
Space for Hints
𝑥2
For example𝑓 𝑥 = 𝑥 2 + (0 ≤ 𝑥 ≤ 1, 𝑛 = 1,2,3, )
1 − 𝑛𝑥 2
Then | 𝑓𝑛(𝑥) | ≤ 1 so that {𝑓𝑛 }is uniformly bounded on [0,1].
Definition 1.27:
Theorem 1.28:
Proof:
15
Space for Hints
We now go down the diagonal of the arrays; that is, we consider the
sequence 𝑆: 𝑓1,1 𝑓2,2 𝑓3,3 𝑓4,4 . . . . . . ..
By (c), the sequence 𝑆 (except possibly its first 𝑛 – 1 terms) is a subsequence
of 𝑆𝑛 , for 𝑛 = 1,2,3, . . . . ..Hence (b) implies that{𝑓𝑛,𝑛 (𝑥𝑖 )} converges as
𝑛 → ∞,forevery 𝑥𝑖 ∈ 𝐸.
Theorem 1.29:
Proof:
Let 𝜀 > 0 be given.Since {𝑓𝑛} converges uniformly, there is an integer 𝑁
such that 𝑛 > 𝑁 implies ||𝑓𝑛 – 𝑓𝑁 || < 𝜀. Since continuous functions are
uniformly continuous on compact sets, there is a 𝛿 > 0 such that
|𝑓𝑖 (𝑥)– 𝑓𝑖 (𝑦)| < 𝜀 if 1 ≤ 𝑖 ≤ 𝑁 and 𝑑(𝑥, 𝑦) < 𝛿.
If 𝑛 > 𝑁 and 𝑑(𝑥, 𝑦) < 𝛿, it follows that
|𝑓𝑛 (𝑥) − 𝑓𝑛 (𝑦)| ≤ |𝑓𝑛 (𝑥) − 𝑓𝑁 (𝑥) + 𝑓𝑁 (𝑥) − 𝑓𝑁 (𝑦) + 𝑓𝑁 (𝑦) − 𝑓𝑛 (𝑦)|
≤ |𝑓𝑛 (𝑥) − 𝑓𝑁 (𝑥)| + |𝑓𝑁 (𝑥) − 𝑓𝑁 (𝑦)| + |𝑓𝑁 (𝑦) − 𝑓𝑛 (𝑦)|
≤ ‖ 𝑓𝑛 − 𝑓𝑁 ‖ + |𝑓𝑁 (𝑥) − 𝑓𝑁 (𝑦)| + ‖ 𝑓𝑁 − 𝑓𝑛 ‖
< 𝜀 + 𝜀 + 𝜀 = 3𝜀.
Theorem 1.30:
16
Space for Hints
17
Space for Hints
Our setting is a compact metric space 𝑋 which you can, if you wish, take to
be a compact subset of ℝ𝑛 , or even of the complex plane (with the Euclidean
metric, of course). Let 𝐶(𝑋) denote the space of all continuous functions on
𝑋 with values in ℂ (equally well, you can take the values to lie in ℝ). In
𝐶(𝑋) we always regard the distance between functions f and g in 𝐶(𝑋) to
be
𝑑𝑖𝑠𝑡 (𝑓, 𝑔) = 𝑚𝑎𝑥{|𝑓 (𝑥) − 𝑔(𝑥)| ∶ 𝑥 ∈ 𝑋}.
It is easy to check that ―dist‖ is a metric (henceforth: the ―max-metric‖) on
𝐶(𝑋), in which a sequence is convergent iff it converges uniformly on 𝑋.
Similarly, a sequence in 𝐶(𝑋) is Cauchy iff it is Cauchy uniformly on 𝑋. Thus
the max-metric, which from now on we always assume to be part of the
definition of 𝐶(𝑋), makes that space complete. These notes prove the
fundamental theorem about compactness in 𝐶(𝑋):
Example 1.31
18
Space for Hints
In this statement,
(a) “𝐹 ⊂ 𝐶(𝑋) is bounded” means that there exists a positive constant
𝑀 < ∞ such that |𝑓(𝑥)| ≤ 𝑀 for each 𝑥 ∈ 𝑋 and each 𝑓 ∈ 𝐹, and
(b) “𝐹 ⊂ 𝐶(𝑋) is equicontinuous” means that: for every 𝜀 > 0 there exists
𝛿 > 0 (which depends only on 𝜀) such that for 𝑥, 𝑦 ∈ 𝑋:
𝑑(𝑥, 𝑦) < 𝛿 ⇒ |𝑓 (𝑥) − 𝑓 (𝑦)| < 𝜀 ∀𝑓 ∈ 𝐹 ,
where 𝑑 is the metric on 𝑋.
19
Space for Hints
CYP QUESTIONS:
UNIT 2
20
Space for Hints
Unit Structure:
Section 2.1: The Stone - Weierstrauss Theorem
Section 2.2: Power series
Section 2.3: The exponential and logarithmic functions
Section 2.4: The trigonometric functions
Section 2.5: Fourier Series
Section 2.6: The Gamma Functions
Theorem 2.1:
We may assume, without loss of generality, that [𝑎, 𝑏] = [0,1]. We may also
assume that 𝑓(0) = 𝑓(1) = 0. For if the theorem is proved for this case,
consider 𝑔(𝑥) = 𝑓(𝑥) – 𝑓(0)– 𝑥[𝑓(1) – 𝑓(0)] (0 ≤ 𝑥 ≤ 1). Here
𝑔(0) = 𝑔(1) = 0, and if 𝑔 can be obtained as the limit of a uniformly
convergent sequence of polynomials, it is clear that the same is true for 𝑓,
since 𝑓 – 𝑔 is a polynomial.
Furthermore, we define 𝑓(𝑥) = 0 for 𝑥 outside [0,1]. Then 𝑓 is uniformly
continuous on the whole line.
We put 𝑄𝑛 (𝑥) = 𝑐𝑛 1 − 𝑥2 𝑛 (𝑛 = 1,2,3, . . . . ), (1)
1
where 𝑐𝑛 is chosen so that ∫−1 𝑄𝑛 (𝑥) 𝑑𝑥 = 1(𝑛 = 1,2,3, . . . ) (2)
1
1 1
Now ∫−1 1 − 𝑥 2 𝑛
𝑑𝑥 = 2 ∫0 1 − 𝑥 2 𝑛 √n
𝑑𝑥 ≥ 2 ∫0 1 − 𝑥2 𝑛
𝑑𝑥
≥ 2 ∫0√n 1 − 𝑛𝑥 2 𝑛
𝑑𝑥(by binomial theorem)
21
Space for Hints
1
𝑛𝑥 3 √𝑛
≥ 2 𝑥−
3 0
1 3
1 𝑛 1 1 4 1
√𝑛
=2 − −0 =2 − = ≥
√𝑛 3 √𝑛 3√𝑛 3 √𝑛 √𝑛
1 𝑛
Equation (2) implies that ∫−1 𝑐𝑛 1 – 𝑥 2 𝑑𝑥
1
⇒ 𝑐𝑛 1 − 𝑥2 𝑛
𝑑𝑥 = 1
−1
1
⇒ 1 > 𝑐𝑛 ⇒ 𝑐𝑛 < √𝑛 (3)
√𝑛
For any 𝛿 > 0 (1) and (3) implies that 𝑄𝑛(𝑥) < √𝑛(1 − 𝛿2)𝑛 where
𝛿 ≤ |𝑥| ≤ 1 (4)
∴ 𝑄𝑛 (𝑥) → 0 uniformly in 𝛿 ≤ |𝑥| ≤ 1.
1
Now set 𝑃𝑛 (𝑥) = ∫−1 𝑓 𝑥 + 𝑡 𝑄𝑛 (𝑡) 𝑑𝑡 (5)
−𝑥 1−𝑥
𝑃𝑛 (𝑥) = 𝑓 𝑥 + 𝑡 𝑄𝑛 (𝑡) 𝑑𝑡 + 𝑓 𝑥 + 𝑡 𝑄𝑛 (𝑡) 𝑑𝑡
−1 −𝑥
1
+ 𝑓 𝑥 + 𝑡 𝑄𝑛 (𝑡) 𝑑𝑡
1−𝑥
1 1
𝑃𝑛 𝑥 − 𝑓 𝑥 = ∫−1 𝑓 𝑥 + 𝑡 𝑄𝑛 𝑡 𝑑𝑡 − 𝑓 𝑥 ∫−1 𝑄𝑛 𝑡 𝑑𝑡 (by (2) and (5))
22
Space for Hints
1 1
≤ 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 𝑄𝑛 𝑡 𝑑𝑡 ≤ | 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 𝑄𝑛 𝑡 𝑑𝑡|
−1 −1
−𝛿 𝛿
≤ 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 𝑄𝑛 𝑡 𝑑𝑡 + 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 𝑄𝑛 𝑡 𝑑𝑡
−1 −𝛿
1
+ 𝑓 𝑥 + 𝑡 − 𝑓 𝑥 𝑄𝑛 𝑡 𝑑𝑡
𝛿
−𝛿
≤ | 𝑓 𝑥 + 𝑡 + 𝑓 𝑥 | 𝑄𝑛 𝑡 𝑑𝑡
−1
𝛿 −𝛿
+ | 𝑓 𝑥+𝑡 − 𝑓 𝑥 𝑀 + 𝑀 𝑄𝑛 (𝑡)𝑑𝑡 𝑄𝑛 (𝑡) 𝑑𝑡
−𝛿 −1
−𝛿 1
< ∫−1 𝑀 + 𝑀 𝑄𝑛 (𝑡) 𝑑𝑡 + ∫𝛿 𝑀 + 𝑀 𝑄𝑛 (𝑡) 𝑑𝑡(by(7))
−𝛿
2
𝜀 𝛿
≤ 2𝑀 √𝑛 1 − 𝛿 𝑑𝑡 + 𝑄 𝑡 𝑑𝑡
1 2 −𝛿 𝑛
1
+ 2𝑀 √𝑛 (1 − 𝛿 2 ) 𝑑𝑡 (𝑏𝑦(4))
𝛿
𝜀
< 2𝑀 𝑛 1 − 𝛿 2 + 2 1 + 2𝑀√𝑛 1 − 𝛿 2 𝑛 1 − 𝛿 (by(2))
𝑛
𝜀
< 4𝑀√𝑛 1 − 𝛿 2 𝑛 + . .
𝜀 𝜀
2
< 2 + 2 , for large enough 𝑛
=𝜀
Therefore lim𝑛→∞ 𝑃𝑛 (𝑥) = 𝑓(𝑥) uniformly on[𝑎, 𝑏].
Corollary 2.2:
Proof:
By the above theorem, there exists a sequence {𝑃𝑛∗ } of real polynomials which
converges uniformly to |𝑥| on [– 𝑎, 𝑎]. In particular, 𝑃𝑛∗ (0) → 0 as 𝑛 → ∞.
The polynomials 𝑃𝑛 (𝑥) = 𝑃𝑛∗ (𝑥) − 𝑃𝑛∗ (0) for 𝑛 = 1,2,3,. .have the desired
properties.
Defintion 2.3:
Afamily𝐴 of complexfunctions defined on a set 𝐸 is said to be analgebra if
(i) 𝑓 + 𝑔 ∈ 𝐴 (𝑖𝑖)𝑓𝑔 ∈ 𝐴 (𝑖𝑖𝑖) 𝑐𝑓 ∈ 𝐴
𝐴 for all 𝑓 ∈ 𝐴, 𝑔 ∈ 𝐴 and for allcomplex constants 𝑐, that is, if 𝐴 is closed
under addition, multiplication, and scalar multiplication. For the algebra of
real functions , we have to consider (iii) for all real 𝑐.
23
Space for Hints
Let ℬ be the set of all functions which are limits of uniformly convergent
sequence of members of 𝐴 . Then ℬ is called the uniform closure of 𝐴.
Theorem 2.4:
Let ℬ be the uniform closure of an algebra 𝐴 of boundedfunctions. Then ℬ is a
uniformly closed algebra.
Proof:
If 𝑓 ∈ ℬ and 𝑔 ∈ ℬ,there exist uniformly convergent sequences{𝑓𝑛 }, {𝑔𝑛 }such
that 𝑓𝑛 → 𝑓 , 𝑔𝑛 → 𝑔 and 𝑓𝑛 ∈ ℬ , 𝑔𝑛 ∈ ℬ . Since the functions are bounded,
we have 𝑓𝑛 + 𝑔𝑛 → 𝑓 + 𝑔, 𝑓𝑛 𝑔𝑛 → 𝑓𝑔, 𝑐𝑓𝑛 → 𝑐𝑓, where 𝑐 is anyconstant,
the convergence is uniform in each case.
Hence 𝑓 + 𝑔 ∈ ℬ , 𝑓𝑔 ∈ ℬ and 𝑐𝑓 ∈ ℬ
Definition 2.5:
Let 𝐴 be a family of functions on a set 𝐸. Then A is said to separate points on
𝐸 if to everypair of distinct point 𝑥1 , 𝑥2 ∈ 𝐸 therecorresponds a function
𝑓 ∈ 𝐴 , such that 𝑓(𝑥1 ) ≠ 𝑓(𝑥2 ).
Theorem 2.6:
Proof:
24
Space for Hints
𝑐 𝑣 𝑐 𝑢
Let 𝑓 = 𝑣 1𝑥 + 𝑢 2𝑥
1 2
𝑐1 𝑣 𝑥1 𝑐2 𝑢 𝑥1
𝑇𝑒𝑛 𝑓 𝑥1 = +
𝑣 𝑥1 𝑢 𝑥2
𝑐 𝑣 𝑥 𝑐 𝑢 𝑥
= 𝑐1 + 0 = 𝑐1 and𝑓 𝑥2 = 1𝑣 𝑥 2 + 2𝑢 𝑥 2
1 2
= 0 + 𝑐2 = 𝑐2
We now have all the material needed for Stone's generalization of the
Weierstrass theorem.
Theorem 2.7:
Let A be an algebra of real continuous functions on a compact set 𝐾. If A
separates points on 𝐾 and if A vanishes at no point of 𝐾, then the uniform
closure ℬ of A consists of allreal continuous functions on 𝐾.
Proof
By the corollary to the Stone- Weierstrass theorem, there exist real numbers
𝑐1 , 𝑐2 , . . . . , 𝑐𝑛 such that
𝑛 𝑖
𝑖=1 𝑐𝑖 𝑦 − 𝑦 < 𝜀, 𝑦 ∈ [−𝑎, 𝑎]. (2)
Proof:
𝑓+𝑔 |𝑓−𝑔|
Considertheidentities𝑚𝑎𝑥 𝑓, 𝑔 = +
2 2
25
Space for Hints
𝑓+𝑔 |𝑓−𝑔|
and 𝑚𝑖𝑛(𝑓, 𝑔) = 2 + 2
Since ℬ is an algebra and 𝑓 ∈ ℬ and 𝑔 ∈ ℬ , we have
𝑓 + 𝑔, 𝑓 − 𝑔 ∈ 𝐵. Also 𝑓 + 𝑔, |𝑓 − 𝑔| ∈ 𝐵
Therefore 𝑚𝑎𝑥(𝑓, 𝑔) and 𝑚𝑖𝑛(𝑓, 𝑔) ∈ ℬ
By iteration, the result can be extended to any finite set of functions, That is
if 𝑓1 , 𝑓2 , . . . , 𝑓𝑛 ∈ ℬthen𝑚𝑎𝑥(𝑓1 , 𝑓2 , . . . , 𝑓𝑛 ) ∈ ℬ and𝑚𝑖𝑛(𝑓1 , 𝑓2 , . . . , 𝑓𝑛 ) ∈ ℬ
Proof:
By hypothesis ℬ ⊂ 𝐴 , and A satisfies the hypothesis of theorem 2.6, ℬ
also satisfies the hypothesis of theorem 2.6.
Hence, for every 𝑦 ∈ 𝐾, we can find a function 𝑦 ∈ ℬ such that
𝑦 𝑥 = 𝑓 𝑥 , 𝑦 = 𝑓(𝑦) (refer theorem 2.6) (3)
By Step 2, ∈ ℬ.
By Step 3, (𝑡) > 𝑓(𝑡) – 𝜀. (𝑡 ∈ 𝐾).
(6) and (7) implies that (𝑡) < 𝑓(𝑡) + 𝜀. (𝑡 ∈ 𝐾).
That is 𝑓(𝑡) – 𝜀 < (𝑡) < 𝑓(𝑡) + 𝜀 (𝑡 ∈ 𝐾).
That is– 𝜀 < (𝑡) – 𝑓(𝑡) < 𝜀 (𝑡 ∈ 𝐾).
That is |(𝑡) – 𝑓(𝑡)| < 𝜀 (𝑡 ∈ 𝐾).
26
Space for Hints
Theorem 2.8:
CYP QUESTIONS:
1. Prove that the set 𝐶 (𝑋) of all complex valued, continuous, bounded
functions with domain 𝑋, with 𝑑(𝑓, 𝑔) = ||𝑓 – 𝑔|| is a metric space.
2. Distinguish between uniformly convergent and point wise convergent.
∞ 𝑛
or more generally𝑓(𝑥) = 𝑛=0 𝑐𝑛 𝑥−𝑎
These are called analytic functions. We shall discuss the power series only
for real values of 𝑥. Instead of circles of convergence we shall encounter
intervals of convergence.
∞ 𝑛
The series 𝑛=0 𝑐𝑛 𝑥 convergesfor all 𝑥 in (– ℝ , ℝ), for some ℝ.
If the series ∞ 𝑛
𝑛 =0 𝑐𝑛 𝑥 − 𝑎 converges for |𝑥 – 𝑎 | < 𝑅, then 𝑓 is said
to be expanded in a power series about the point 𝑥 = 𝑎.
27
Space for Hints
Theorem 2.9:
∞ 𝑛
Supposetheseries 𝑛=0 𝑐𝑛 𝑥 converges for |𝑥| < 𝑅, and define
∞ 𝑛 ∞ 𝑛
𝑓(𝑥) = 𝑛 =0 𝑐𝑛 𝑥 (|𝑥| < 𝑅) . Then theseries 𝑛=0 𝑐𝑛 𝑥
Proof:
Since 𝑓′ 𝑥 = ∞ 𝑛 =1 𝑛𝑐𝑛 𝑥
𝑛 −1
is a powerseries, it converges uniformly in
[– 𝑅 + 𝜀 , 𝑅 – 𝜀], for every 𝜀 > 0 we can apply theorem 2.5.1( for series
But, given any 𝑥 such that |𝑥| < 𝑅, we can find an 𝜀 > 0 such that |𝑥| < 𝑅
∞ 𝑛 −1
– 𝜀.This shows that 𝑓′ 𝑥 = 𝑛=1 𝑛𝑐𝑛 𝑥 holds for |𝑥| < 𝑅.
28
Space for Hints
Corollary 2.10:
Under the hypothesis of the above theorem, 𝑓 has derivatives of all orders in
(– 𝑅 , 𝑅), which are given by
Proof:
∞ 𝑛
By the above theorem from 𝑓(𝑥) = 𝑛=0 𝑐𝑛 𝑥 we get
∞
𝑓′ 𝑥 = 𝑛𝑐𝑛 𝑥 𝑛 −1
𝑛 =1
Abel's Theorem
Theorem 2.11:
∞ 𝑛
Suppose𝛴𝑐𝑛 converges. Put𝑓(𝑥) = 𝑛=1 𝑐𝑛 𝑥 ( − 1 < 𝑥 < 𝑅)
∞
Then lim𝑥→1 𝑓 𝑥 = 𝑛=1 𝑐𝑛
Proof:
29
Space for Hints
Let 𝑠𝑛 = 𝑐0 + 𝑐1 + . . . . + 𝑐𝑛 , 𝑠– 1 = 0.
∞ 𝑛 ∞
Then 𝑛 =0 𝑐𝑛 𝑥 = 𝑛=0 𝑠𝑛 − 𝑠𝑛−1 𝑥 𝑛
= 𝑠0 − 𝑠−1 𝑥 0 + 𝑠1 − 𝑠0 𝑥1 + 𝑠2 − 𝑠1 𝑥 2 + . . . + 𝑠𝑚 − 𝑠𝑚 −1 𝑥 𝑚
= 𝑠01 + 𝑠1 𝑥1 − 𝑠0 𝑥1 + 𝑠2 𝑥 2 − 𝑠1 𝑥 2 − 𝑠𝑚 −1 𝑥 𝑚 −1 + 𝑠𝑚 𝑥 𝑚
= 1 − 𝑥 𝑠0 + 1 − 𝑥 𝑠1 𝑥1 + 1 − 𝑥 𝑠2 𝑥 2 1 − 𝑥 𝑠𝑚 −1 𝑥 𝑚 −1
+ 𝑠𝑚 𝑥 𝑚
𝑚 −1
= 1−𝑥 𝑠𝑛 𝑥 𝑛 + 𝑠𝑚 𝑥 𝑚
𝑛=0
∞ 𝑛 𝑚 𝑛
For 𝑥 < 1, let 𝑚 → ∞, we get 𝑛=0 𝑐𝑛 𝑥 = (1 − 𝑥) 𝑛=0 𝑠𝑛 𝑥
∞ 𝑛
That is 𝑓(𝑥) = (1 − 𝑥 𝑛=0 𝑠𝑛 𝑥
That islim𝑛→ ∞ 𝑠𝑛 = 𝑠.
∞ ∞
𝑛 𝑛
≤ 1 − 𝑥 𝑠𝑛 − 𝑠 𝑥 + 1 − 𝑥 𝑠𝑛 − 𝑠 𝑥
𝑛 𝑛=𝑁+1
30
Space for Hints
∞ ∞
𝑛
𝜀 𝑛
≤ 1 − 𝑥 𝑠𝑛 − 𝑠 𝑥 + 1 − 𝑥 𝑥 (𝑏𝑦(1))
2
𝑛=0 𝑛 =𝑁+1
𝑁 𝑛
< 1 − 𝑥 𝑛=0 𝑠𝑛 − 𝑠 𝑥 + 𝜀 . (3)
Note:
+. . . . + 𝑎𝑛 𝑏0 , then 𝐶 = 𝐴𝐵.
Theorem 2.12:
Proof:
∞
Let 𝑗 =1 |𝑎𝑖𝑗 | = 𝑏𝑖 (𝑖 = 1,2,3, . . . . ) (1)
∞
𝑓𝑖 (𝑥0 ) = 𝑗 =1 𝑎𝑖𝑗 (𝑖 = 1,2,3, . . . ) (2)
∞
𝑓𝑖 (𝑥𝑛 ) = 𝑗 =1 𝑎𝑖𝑗 (𝑖, 𝑛 = 1,2,3, . . . ) (3)
∞
𝑔(𝑥) = 𝑖=1 𝑎𝑖𝑗 𝑓𝑖 (𝑥) ( 𝑥∈𝐸) (4)
31
Space for Hints
𝑓𝑖 (𝑛) = 𝑎𝑖𝑗
𝑗 =1
∞
𝑗 =1 𝑎𝑖𝑗 = 𝑓𝑖 (𝑥0 ) as 𝑛 → ∞
= 𝑔(𝑥0 ) (by(4))
= lim 𝑔(𝑥𝑛 )
𝑛→ ∞
∞
lim 𝑖=1 𝑓𝑖 (𝑥𝑛 )(by(4))
𝑛→ ∞
∞ ∞
∞ ∞ ∞ ∞
Therefore 𝑖=1 𝑗 =1 𝑎𝑖𝑗 = 𝑗 =1 𝑖=1 𝑎𝑖𝑗
Taylor's theorem
Theorem 2.13:
32
Space for Hints
Suppose 𝑓(𝑥) = ∞ 𝑛
𝑛=0 𝑐𝑛 𝑥 , the seriesconverging in |𝑥| < 𝑅. If – 𝑅 <
𝑎 < 𝑅, then 𝑓 can be expanded in a power series about the point 𝑥 = 𝑎
whichconverges in | 𝑥 – 𝑎 | < 𝑅 – |𝑎|, and
∞
𝑓𝑛 𝑎
𝑓(𝑥) = 𝑥 − 𝑎 𝑛 (|𝑥 − 𝑎| < 𝑅 − |𝑎|)
𝑛!
𝑛 =0
Proof:
∞ 𝑛
We have 𝑓(𝑥) = 𝑛=0 𝑐𝑛 𝑥
∞
= 𝑛=0 𝑐𝑛 (x − a + a)𝑛
∞ 𝑛 n
= 𝑛=0 𝑐𝑛 (Σ𝑚=0 an−m (x − a)𝑚
m
Therefore 𝑓(𝑥) can be extended in the form of power series about the point
𝑥=a.
∞ 𝑛 𝑛 n ∞
But 𝑛 =0 𝑚 =0 |𝑐𝑛 (Σ𝑚=0 an−m x − a 𝑚
|= 𝑛=0 𝑐𝑛 𝑥−𝑎 + 𝑎 𝑛
m
𝑓 𝑘 (0) = 𝑘! 𝑐𝑘 . (𝑘 = 0,1,2, … ).
𝑓𝑘 0
That is𝑐𝑘 = (𝑘 = 0,1,2, . . . )
𝑘!
𝑛
∞ 𝑓 𝑎 𝑛
Therefore𝑓 𝑥 = 𝑛=0 𝑛! 𝑥−𝑎 𝑥−𝑎 < 𝑅− 𝑎 .
Theorem 2.14:
33
Space for Hints
Proof:
Put𝑐𝑛 = 𝑎𝑛 – 𝑏𝑛 and
∞
𝑓 𝑥 = 𝑐𝑛 𝑥 𝑛 (𝑥 ∈𝑆)
𝑛 =0
∞
= 𝑛=0 𝑎𝑛 − 𝑏𝑛 𝑥 𝑛 = 0 for 𝑥 ∈ 𝑆. (by hypothesis)
Let 𝐴 be the set of all limit points of 𝐸 in 𝑆. Let 𝐵 be the set of all other points
of 𝑆.
Let 𝑥0 ∈ 𝐴.
By theabovetheorem,
∞
𝑛
𝑓(𝑥) = 𝑑𝑛 𝑥 − 𝑥0 (|𝑥 − 𝑥0 | < 𝑅 − |𝑥0 |)
𝑛 =0
34
Space for Hints
That is in a neighborhood of 𝑥0 .
Therefore 𝐴 is open.That is𝐴 and 𝐵 are disjoint open sets. That is𝐴 and 𝐵 are
separated.Since 𝑆 = 𝐴 ∪ 𝐵 and 𝑆 is connected,
𝑓𝑛 0
𝑐𝑛 = = 0 (𝑛 = 0,1,2, … )
𝑛!
Therefore𝑎𝑛 = 𝑏𝑛 for 𝑛 = 0,1,2,3, . ..
∞ 𝑛 ∞ 𝑛
Therefore 𝑛=0 𝑎𝑛 𝑥 = 𝑛=0 𝑏𝑛 𝑥 holds for all 𝑥 ∈ 𝑆
Definition 2.15:
𝑛
∞ 𝑧
The exponential function, 𝐸(𝑧) = 𝑛=0 𝑛!
35
Space for Hints
∞ 𝑛 ∞
1 𝑛 𝑘 𝑛 −𝑘 (𝑧 + 𝑤)𝑛
= 𝑧 𝑤 =
𝑛! 𝑘 𝑛!
𝑛=0 𝑘=0 𝑛 =0
By the definition, 𝐸(𝑥) > 0 if 𝑥 > 0 and 𝐸(𝑥) > 0 for all real 𝑥.
Also 0 < 𝑥 < 𝑦 implies 𝐸(𝑥) < 𝐸(𝑦) and 𝐸(– 𝑦) < 𝐸(– 𝑥).
𝐸 𝑧+ −𝐸 𝑧 𝐸 −1
lim = 𝐸(𝑧) lim = 𝐸(𝑧).1 = 𝐸(𝑧)
=0 =0
By iteration of the addition formula gives
𝑚
𝐸 𝑝 = 𝐸(𝑚𝑝) = 𝐸(𝑛) = 𝑒 𝑛 , so that
Theorem 2.16:
𝑛
∞𝑥
Let 𝑒𝑥 be definedon𝑒 𝑥 = 𝐸 𝑥 = 0 𝑛!
Proof:
𝑥 𝑛 +1
> !for x>0
𝑛+1
𝑥𝑛 𝑥
That is𝑒 𝑥 > 𝑛+1 !
𝑛+1 !
⇒ 𝑒 −𝑥 <
𝑥𝑛 𝑥
𝑛+1 !
⇒ 𝑒 −𝑥 𝑥 𝑛 < → 0 𝑎𝑠 𝑥 → +∞;
𝑥
Note:
CYP Questions:
1
𝑒− 1 + 𝑥 𝑥
i. 𝑙𝑖𝑚𝑥→0 𝑥
ii. 𝑙𝑖𝑚𝑛 → ∞ 𝑛/ log 𝑛 [𝑛1/𝑛 − 1]
37
Space for Hints
Letusdefine
1 1
𝐶 𝑥 = 2 [𝐸(𝑖𝑥) + 𝐸(−𝑖𝑥)] and 𝑆 𝑥 = 2𝑖 [𝐸(𝑖𝑥) − 𝐸(−𝑖𝑥)]
2
𝐸 𝑖𝑥 = 𝐸(𝑖𝑥)𝐸(𝑖𝑥) = 𝐸(𝑖𝑥)𝐸(−𝑖𝑥) = 1, so that
Now to show that there exist a positive real number 𝑥 such that 𝐶(𝑥) = 0.
Suppose 𝐶(𝑥) ≠ 0 for all 𝑥.Since 𝐶(0) = 1, we have 𝐶(𝑥) > 0 for all
𝑥 > 0.
Since 𝑆(0) = 0 and 𝑆′(𝑥) = 𝐶(𝑥), we have 𝑆′(𝑥) > 0 for all 𝑥 > 0.
∴ [𝐶(𝑥) – 𝐶(𝑦)] ≤ 2.
That is𝑆(𝑥) (𝑦 – 𝑥) ≤ 2.
Since 𝑆(𝑥) > 0 this inequality cannot be true for large values of 𝑦 , we get a
contradiction.
Theorem 2.17:
Proof:
c. Suppose 0 < 𝑡 < 𝜋/2 and 𝐸(𝑖𝑡) = 𝑥 + 𝑖𝑦, where 𝑥 & 𝑦 are real.
– 62 𝑦 2 + 𝑦 4 + 4𝑖𝑥𝑦(𝑥 2 – 𝑦 2 )
Since 𝑥 2 + 𝑦 2 = 1,
2𝑥 2 = 1 ⇒ 𝑥 2 = ½ and 𝑦 2 = ½.
2 2 2 2
1 1 1 1
∴ 𝐸(4𝑖𝑡) = –6 + + 4𝑖𝑥𝑦(0)
2 2 2 2
∴ 𝐸(𝑖𝑡) ≠ 1.
On [0, 𝜋/2], 𝐶 decreases from 1 to 0.Hence 𝐶(𝑡) = 𝑥 for some 𝑡 ∈ [0, 𝜋/2].
–1
Suppose 0 ≤ 𝑡1 < 𝑡2 < 2𝜋, 𝐸(𝑖𝑡2 )[𝐸 𝑖𝑡1 = 𝐸(𝑖(𝑡2 – 𝑡1 )) ≠ 1( by (c))
CYP Questions:
𝜋 2 𝑠𝑖𝑛𝑥
1. If 0 < 𝑥 < 2 , prove that 𝑛 < < 1.
𝑥
40
Space for Hints
Definition 2.18:
1 1
𝐶 𝑥 = 𝐸 𝑖𝑥 + 𝐸 −𝑖𝑥 𝑎𝑛𝑑 𝑆 𝑥 = [𝐸(𝑖𝑥) − 𝐸(−𝑖𝑥)], 𝑓(𝑥)
2 2𝑖
can also be written in the form
𝑁
𝜋
1 1 𝑖𝑓 𝑛 = 0
𝑒 𝑖𝑛𝑥 𝑑𝑥 =
2𝜋 −𝜋
0 𝑖𝑓 𝑛 = ±1, ±2, . . .
𝑁 𝑖𝑛𝑥
Note 3: The trigonometric polynomial𝑓(𝑥) = −𝑁 𝑐𝑛 𝑒 is real iff
𝑐−𝑛 = 𝑐𝑛 for 𝑛 = 0,1, . . . , 𝑁.
𝑐𝑛 𝑒 𝑖𝑛𝑥
−𝑁
Note 5:
Definition 2.19:
Example 2.20:
1
−
The functions 2𝜋 2 𝑒 𝑖𝑛𝑥 formanorthonormal system on [– 𝜋, 𝜋].
𝑏
Note: If {𝜙𝑛 } is orthonormal on [𝑎, 𝑏]andif𝑐𝑛 = ∫𝑎 𝑓(𝑡)𝜙𝑛 (𝑡) 𝑑𝑡 𝑛 =
1,2, . .. we call 𝑐𝑛 the 𝑛𝑡Fouriercoefficientsof𝑓 relative to {𝜙𝑛 }.
∞
We write 𝑓(𝑥) ∼ 1 𝑐𝑛 𝜙𝑛 (𝑥) and call thisseries the Fourier series of 𝑓.
Theorem2.21:
42
Space for Hints
𝑛
Let{ 𝜙𝑛 } be orthonormal on [𝑎, 𝑏].Let 𝑠𝑛 (𝑥) = 𝑚 =1 𝑐𝑚 𝜙𝑚 (𝑥) be the
𝑛𝑡partial sum of the Fourier series of𝑓,
andsuppose𝑡𝑛 (𝑥) = 𝑛𝑚 =1 𝛾𝑚 𝜙𝑚 𝑥 .
𝑏 2 𝑏 2
Then∫𝑎 𝑓 − 𝑠𝑛 𝑑𝑥 ≤ ∫𝑎 𝑓 − 𝑡𝑛 𝑑𝑥 and
Proof:
Let ∫ denote the integral over [𝑎, 𝑏], 𝛴 the sum from 1 to 𝑛.
𝑏 2 𝑏
Put in 𝛾𝑚 = 𝑐𝑚 (1), we get ∫𝑎 𝑓 − 𝑡𝑛 𝑑𝑥 = ∫𝑎 𝑓 2 𝑑𝑥 − 𝑐𝑚 2
𝑏 2 𝑏
Since ∫𝑎 𝑓 − 𝑡𝑛 𝑑𝑥 ≥ 0, ∫𝑎 𝑓 2 𝑑𝑥 − 𝑐𝑚 2
≥ 0
𝑏
∴ 𝑓 2 𝑑𝑥 ≥ 𝑐𝑚 2
𝑎
43
Space for Hints
𝑛
2 2 2
∫ 𝑠𝑛 𝑥 𝑑𝑥 = 𝑐𝑚 ≤ ∫ 𝑓 𝑥 𝑑𝑥
𝑚 =1
Theorem 2.22:
In particular lim𝑛 →∞ 𝑐𝑛 = 0.
Proof:
Letting 𝑛 → ∞, we get
𝑛
2 2
𝑐𝑚 ≤ ∫ 𝑓 𝑥 𝑑𝑥
𝑚 =1
Also lim𝑛→∞ 𝑐𝑛 = 0.
Trigonometric series:
We shall consider functions 𝑓 that have period 2𝜋 and that are Riemann-
integrable on [ – 𝜋, 𝜋]. The Fourier series of 𝑓is given by
∞ 𝑖𝑛𝑥 1 𝜋
𝑓(𝑥) = −∞ 𝑐𝑛 𝑒 where 𝑐𝑛 = 2𝜋 ∫−𝜋 𝑓(𝑥) 𝑒 −𝑖𝑛𝑥 𝑑𝑥
44
Space for Hints
𝜋 𝑁 𝜋
1 2 2
1 2
∴ 𝑆𝑁 𝑥 𝑑𝑥 = 𝑐𝑛 ≤ 𝑓 𝑥 𝑑𝑥
2𝜋 𝜋 2𝜋 −𝜋
𝑛=−𝑁
Since
1 𝜋 𝑁
𝑐𝑛 = 2𝜋 ∫−𝜋 𝑓 𝑥 𝑒 −𝑖𝑛𝑥 𝑑𝑥, 𝑆𝑁 𝑓; 𝑥 = −𝑁 𝑐𝑛 𝑒
𝑖𝑛𝑥
=
𝑁 1 𝜋
−𝑁 2𝜋 ∫−𝜋 𝑓 𝑡 𝑒 −𝑖𝑛𝑡 𝑑𝑡 𝑒 𝑖𝑛𝑥
𝑁 𝜋
1
= 𝑓 𝑡 𝑒 𝑖𝑛 (𝑥−𝑡) 𝑑𝑡
2𝜋 −𝜋
−𝑁
𝜋 𝑁
1
𝑓 𝑡 𝑒 𝑖𝑛 (𝑥−𝑡) 𝑑𝑡
2𝜋 𝜋 −𝑁
𝜋
1
= 𝑓(𝑡) 𝐷𝑁 (𝑥 − 𝑡)𝑑𝑡
2𝜋 𝜋
𝜋
1
= 𝑓(𝑥 − 𝑡) 𝐷𝑁 (𝑡)𝑑𝑡
2𝜋 𝜋
Theorem 2.23:
If, for some 𝑥, there are constants 𝛿 > 0 and 𝑀 < ∞such that
|𝑓(𝑥 + 𝑡) − 𝑓(𝑥)| ≤ 𝑀|𝑡| for all 𝑡 ∈ (−𝛿, 𝛿), then lim𝑁 → ∞ 𝑆𝑁 (𝑓; 𝑥) =
𝑓(𝑥)
45
Space for Hints
Proof:
𝑓 𝑥−𝑡 − 𝑓 𝑥
Define 𝑔 𝑡 = 𝑡 for 0 < |𝑡| < 𝜋, and put 𝑔(0) = 0
𝑠𝑖𝑛
2
1 𝜋 1 𝜋 𝑁 𝑖𝑛𝑥
Now ∫ 𝐷 (𝑥) 𝑑𝑥 =
2𝜋 𝜋 𝑁
∫
2𝜋 𝜋 𝑛=−𝑁 𝑒 𝑑𝑥
𝑁 𝜋 𝑁
1
= 𝑒 𝑖𝑛𝑥 𝑑𝑥 = 𝑒 𝑖𝑛𝑥
2𝜋 𝜋
−𝑁 𝑛=−𝑁
𝜋
1 1 𝑖𝑓 𝑛 = 0
(∵ 𝑒 𝑖𝑛𝑥 𝑑𝑥 = )
2𝜋 −𝜋
0 𝑖𝑓 𝑛 = ±1, ± 2, . . .
𝜋
1
∴ 𝑆𝑁 𝑓; 𝑥 − 𝑓 𝑥 = 𝑓 𝑥 − 𝑡 𝐷𝑁 𝑡 𝑑𝑡 − 𝑓 𝑥
2𝜋 −𝜋
𝜋
1
= 𝑓 𝑥 − 𝑡 𝐷𝑁 𝑡 𝑑𝑡 − 𝑓 𝑥 . 1
2𝜋 −𝜋
𝜋 𝜋
1 1
= 𝑓 𝑥 − 𝑡 𝐷𝑁 𝑡 𝑑𝑡 − 𝑓 𝑥 . 𝐷𝑁 𝑡 𝑑𝑡
2𝜋 −𝜋 2𝜋 −𝜋
𝜋
1
= (𝑓 𝑥 − 𝑡 − 𝑓 𝑥 ) 𝐷𝑁 𝑡 𝑑𝑡
2𝜋 −𝜋
𝜋
1 𝑡
= 𝑔 𝑡 𝑠𝑖𝑛 𝐷 (𝑡) 𝑑𝑡
2𝜋 −𝜋 2 𝑁
1
1 𝜋
𝑡 𝑠𝑖𝑛 𝑁 + 2 𝑡 1 𝜋
1
= 𝑔 𝑡 𝑠𝑖𝑛 𝑡
𝑑𝑡 = 𝑔 𝑡 𝑠𝑖𝑛 𝑁 + 𝑑𝑡
2𝜋 −𝜋 2 𝑠𝑖𝑛 2 2𝜋 −𝜋 2
𝜋
1 𝑡 𝑡
𝑔 𝑡 [𝑠𝑖𝑛 𝑁𝑡 𝑐𝑜𝑠 + 𝑐𝑜𝑠 𝑁𝑡 𝑠𝑖𝑛 ]𝑑𝑡
2𝜋 −𝜋 2 2
46
Space for Hints
𝜋 𝜋
1 𝑡 1 𝑡
= [𝑔 𝑡 𝑐𝑜𝑠 ]𝑠𝑖𝑛 𝑁𝑡 𝑑𝑡 + [𝑔 𝑡 𝑠𝑖𝑛 ]𝑐𝑜𝑠 𝑁𝑡 𝑑𝑡
2𝜋 −𝜋 2 2𝜋 −𝜋 2
Theorem 2.24:
Proof:
Definition 2.25
∞
For 0 < 𝑥 < ∞, 𝛤 𝑥 ∫0 𝑡 𝑥 −1 𝑒 −𝑡 𝑑𝑡The integral converges for 𝑥 ∈ 0, ∞ .
Theorem 2.26:
47
Space for Hints
Proof:
∞ ∞
𝑥 −𝑡
𝛤 𝑥+1 = 𝑡 𝑒 𝑑𝑡 = 𝑡 𝑥 𝑑(𝑒 −𝑡 )
0 0
∞ ∞
∞
= − 𝑡 𝑥 𝑒 −𝑡 0 + 𝑥𝑡 𝑥 −1 𝑒 −𝑡 𝑑𝑡 = 0 + 𝑥 𝑡 𝑥 −1 𝑒 −𝑡 𝑑𝑡 = 𝑥𝛤(𝑥)
0 0
= 𝑛 𝑛 − 1 𝑛 − 2 ⋯ (1)𝛤(1)
∞ ∞ ∞
b. 𝛤 1 = ∫0 𝑡1−1 𝑒 −𝑡 𝑑𝑡 = ∫0 𝑡 0 𝑒 −𝑡 𝑑𝑡 = ∫0 𝑒 −𝑡 𝑑𝑡 = 1
𝑥 𝑦 𝑥 𝑦 1 1
𝑥 𝑦 ∞ + −1 ∞ + −( + ) 1 1
Now 𝛤(𝑝 + 𝑞 ) = ∫0 𝑡 𝑝 𝑞 𝑒 −𝑡 𝑑𝑡 = ∫0 𝑡 𝑝 𝑞 𝑝 𝑞 𝑒 −𝑡 (𝑝 + 𝑞 )𝑑𝑡
∞ 𝑥 1 𝑦 1 𝑡 𝑡 ∞ 𝑥 −1 𝑡 𝑦 −1 𝑡
− + − − − − −
= 𝑡 𝑝 𝑝 𝑞 𝑞 𝑒 𝑝 𝑞 𝑑𝑡 = 𝑡 𝑝 𝑒 𝑝 𝑡
𝑞 𝑒 𝑞 𝑑𝑡
0 0
1 1
∞ 𝑝 ∞ 𝑞
≤ 𝑡 𝑥−1 𝑒 −𝑡 𝑑𝑡 }. 𝑡 𝑦 −1 𝑒 −𝑡 𝑑𝑡
0 0
(by Holder's inequality)
1 1
= 𝛤 𝑥 𝑝 𝛤 𝑥 𝑞
c.
48
Space for Hints
1 1
∞ ∞
𝑥 𝑦 𝑝 𝑞
𝛤( + ) ≤ 𝑡 𝑥 −1 𝑒 −𝑡 𝑑𝑡 }. 𝑡 𝑦 −1 𝑒 −𝑡 𝑑𝑡
𝑝 𝑞 0 0
1 1
= log 𝛤 𝑥 𝑝 + log 𝛤 𝑦 𝑞
1 1
= 𝑙𝑜𝑔𝛤 𝑥 + 𝑙𝑜𝑔𝛤(𝑦)
𝑝 𝑞
1 1 1
𝑃𝑢𝑡 𝜆 = . 𝑇𝑒𝑛 1 − 𝜆 = 1 − =
𝑝 𝑝 𝑞
49
Space for Hints
UNIT- 3
FUNCTIONS OF SEVERAL VARIABLES
Unit Structure:
Section 3.1: Linear Transformation
Section 3.2: Differentiation
Section 3.3: The Contraction Principle
Definitions 3.1
(a) A nonempty set X ⊂ 𝑅 𝑛 is a vector space if x + y ∈ X and cx ∈ X for all
x ∈X, y ∈ X, and for all scalars c.
(b) If 𝑥1 , … . 𝑥𝑘 ∈ 𝑅 𝑛 and 𝑐1 , … . . 𝑐𝑘 are scalars, the vector is called a linear
combination of𝑥1 , … . 𝑥𝑘 . If S ⊂ 𝑅 𝑛 and if E is the set of all linear
combinations of elements of S, we say that S spans E, or that E is the span of
S. Observe that every span is a vector space.
(c) A set consisting of vectors 𝑥1 , … . 𝑥𝑘 (we shall use the notation {𝑥1 , … . 𝑥𝑘 }
for such a set) is said to be independent if the relation 𝑐1 𝑥1 + ⋯ + 𝑐𝑘 𝑥𝑘 = 0
implies that 𝑐1 = ⋯ 𝑐𝑘 = 0.
Otherwise { 𝑥1 , … . 𝑥𝑘 } is said to be dependent. Observe that no independent
set contains the null vector.
50
Space for Hints
Theorem 3.2
Let r be a positive integer. If a vector space X is spanned by a set of r vectors,
then dim X≤ r.
Proof
If this is false. there is a vector space X which contains an independent set
Q = { 𝑦1 , … . 𝑦𝑟+1 } and which is spanned by a set 𝑆𝑜 consisting of r vectors.
Suppose 0 < i < r. and suppose a set 𝑆𝑖 has been constructed which spans X
and which consists of all 𝑦𝑖 with 1 < j < i plus a certain collection of r – i
members of 𝑆𝑜 , say 𝑦1 , … . 𝑦𝑟 . (In other words, 𝑆𝑖 is obtained from 𝑆𝑜 by
replacing i of its elements by members of Q, without altering the span.) Since
𝑆𝑖 spans X, 𝑦𝑖+1 is in the span of 𝑆𝑖 ; hence there are scalars 𝑎1 ,. . . 𝑎𝑖+1 ,
𝑏𝑖 ,…𝑏𝑟−𝑖 with 𝑎𝑖+1 = 1, such that,
𝑖+1 𝑟−𝑖
𝑎𝑗 𝑦𝑗 + 𝑏𝑘 𝑥𝑘 = 0
𝑗 =1 𝑘=1
51
Space for Hints
Corollary
dim Rn = n.
Proof
Since {𝑒1 , … 𝑒𝑛 } spans 𝑅 𝑛 , the theorem shows that dim 𝑅 𝑛 ≤ n. Since
{ 𝑒1 , … 𝑒𝑛 } is independent, dim 𝑅 𝑛 ≥ n.
Theorem 3.3
Suppose X is a vector space and dim X= n.
(a) A set E of n vectors in X spans X if and only if E is independent.
(b) X has a basis, and every basis consists of n vectors.
(c) If 1 ≤ r ≤ n and { 𝑦1 , … . 𝑦𝑟 } is an independent set in X, then X has a basis
containing { 𝑦1 , … . 𝑦𝑟 }.
Proof
Suppose E = { 𝑥1 , … . 𝑥𝑛 }. Since dim X= n, the set { 𝑥1 , … . 𝑥𝑛 . y} is
dependent, for every y ∈ X. If E is independent, it follows that y is in the span
of E; hence E spans X. Conversely, if E is dependent, one of its members can
be removed without changing the span of E. Hence E cannot span X, by
Theorem 3.2. This proves (a).
52
Space for Hints
Since dim X= n, X contains an independent set of n vectors, and (a) shows that
every such set is a basis of X: (b) now follows from 3. 1 (d) and 3.2.
To prove (c). let { 𝑥1 , … . 𝑥𝑛 } be a basis of X. The set
S = { 𝑦1 , … . 𝑦𝑟 , 𝑥1 , … . 𝑥𝑛 }
spans X and is dependent, since it contains more than n vectors. The argument
used in the proof of Theorem 3.2 shows that one of the 𝑥𝑖 ′s is a linear
combination of the other members of S. If we remove this 𝑥𝑖 from S, the
remaining set still spans X. This process can be repeated r times and leads to a
basis of X which contains { 𝑦1 , … . 𝑦𝑟 }. by (a).
Definitions 3.4
A mapping A of a vector space X into a vector space Y is said to be a linear
transformation if
A(𝑥1 + 𝑥2 ) = A𝑥1 + 𝐴𝑥2 , A(cx) = cAx for all x, 𝑥1 , 𝑥2 ∈ X and all scalars c.
Note that one often writes Ax instead of A(x) if A is linear.
Observe that A0 = 0 if A is linear. Observe also that a linear transformation A
of X into Y is completely determined by its action on any basis: If { 𝑥1 , … . 𝑥𝑛 }
is a basis of X, then every x ∈ X has a unique representation of the form and
the linearity of A allows us to compute Ax from the vectors 𝐴𝑥1 , … . 𝐴𝑥𝑛 . and
the coordinates 𝑐1 , … . 𝑐𝑛 by the formula
𝑛
Ax = 𝑖=1 𝑐𝑗 𝐴𝑥𝑖
53
Space for Hints
Theorem 3.5
A linear operator A on a finite-dimensional vector space X is one-to-one if
and only if the range of A is all of X.
Proof
Let {𝑥1 , … . 𝑥𝑛 } be a basis of X. The linearity of A shows that its range ℜ(A) is
the span of the set Q = {𝐴𝑥1 , … . 𝐴𝑥𝑛 }· We therefore infer from Theorem
3.3(a) that ℜ (A) = X if and only if Q is independent. We have to prove that
this happens if and only if A is one-to-one.
Suppose A is one-to-one and 𝑐𝑖 𝐴𝑥𝑖 = 0. Then A( 𝑐𝑖 𝐴𝑥𝑖 ) = 0, hence
𝑐𝑖 𝑥𝑖 = 0, hence 𝑐1 = ⋯ = 𝑐𝑛 = 0, and we conclude that Q is independent.
Conversely, suppose Q is independent and A( 𝑐𝑖 𝑥𝑖 ) = 0. Then 𝑐𝑖 𝐴𝑥𝑖 = 0,
hence 𝑐1 = ⋯ = 𝑐𝑛 = 0, and we conclude: Ax = 0 only if x = 0. If now Ax =
Ay, then A(x - y) = Ax - Ay = 0, so that x - y = 0, and this says that A is one-
to-one.
Definitions 3.6
(a) Let L(X, Y) be the set of all linear transformations of the vector space X
into the vector space Y. Instead of L(X, X), we shall simply write L(X).
If 𝐴1 , 𝐴2 ∈ L(X, Y) and if 𝑐1 , 𝑐2 are scalars, define 𝑐1 𝐴1 + 𝑐2 𝐴2 by
(𝑐1 𝐴1 + 𝑐2 𝐴2 )x = 𝑐1 𝐴1 𝑥 + 𝑐2 𝐴2 𝑥 (x ∈ X). It is then clear that𝑐1 𝐴1 +
𝑐2 𝐴2 ∈ L(X, Y).
(b) If X, Y, Z are vector spaces, and if A ∈ L(X, Y) and B ∈ L(Y, Z), we
define their product BA to be the composition of A and B:
(BA)x = B(Ax) (x ∈ X).
Then BA ∈ L(X, Z).
Note that BA need not be the same as A B, even if X = Y = Z.
(c) For A ∈ L(𝑅 𝑛 , 𝑅 𝑚 ), define the norm ∥ 𝐴 ∥ of A to be the sup of all
numbers |Ax|, where x ranges over all vectors 𝑅 𝑛 in with |x| < 1. Observe that
the inequality
54
Space for Hints
Theorem 3.7
(a) If A ∈∥ 𝐴 ∥ L(𝑅 𝑛 ,𝑅 𝑚 ,), then ∥ 𝐴 ∥<∞ and A is a uniformly continuous
mapping of 𝑅 𝑛 into 𝑅 𝑚 . (b) If A, B ∈L(𝑅 𝑛 ,𝑅 𝑚 ) and c is a scalar, then
∥ 𝐴 + 𝐵 ∥ ≤ ∥ 𝐴 ∥ +∥ 𝐵 ∥, ∥ 𝑐𝐴 ∥ = |𝑐| ∥ 𝐴 ∥
With the distance between A and B defined as ∥ 𝐴 − 𝐵 ∥, L(𝑅 𝑛 ,𝑅 𝑚 ) is a
metric space.
(c) If A ∈ L(𝑅 𝑛 ,𝑅 𝑚 ), and B ∈ L(𝑅 𝑛 ,𝑅 𝑚 ), then ∥ 𝐵𝐴 ∥ ≤ ∥ 𝐵 ∥∥ 𝐴 ∥
Proof
(a) Let { 𝑒1 , … . 𝑒𝑛 } be the standard basis in 𝑅 𝑛 and suppose x = 𝑐𝑖 𝑒𝑖 , |x|
< 1, so that |𝑐𝑖 | < 1for i = 1, . . . n. Then,
|Ax | = | 𝑐𝑖 𝐴𝑒𝑖 | ≤ |𝑐𝑖 | |𝐴𝑒𝑖 | ≤ |𝐴𝑒𝑖 |
so that
𝑛
∥ 𝐴 ∥≤ |𝐴𝑒𝑖 | ≤ ∞.
𝑖=1
55
Space for Hints
Theorem 3.8
Let Ω be the set of all invertible linear operators on 𝑅 𝑛 .
(a) If A𝜖 Ω, B 𝜖 L(𝑅 𝑛 ). and ∥ 𝐵 − 𝐴 ∥ ∥ 𝐴−1 ∥ < 1 ' then B 𝜖 Ω.
(b) Ω is a11 open subset of L(𝑅 𝑛 ), and the mapping A ⟶ 𝐴−1 is
continuous on Ω (Th is mapping is also obviously a 1- 1 mapping of Ω
onto Ω, which is its own inverse.)
Proof
1
(a) Put ∥ 𝐴−1 ∥ =𝑥 , put ∥ 𝐵 − 𝐴 ∥ = 𝛽. Then 𝛽<𝛼. For every, x 𝜖𝑅 𝑛 ,
Definition(Matrices) 3.9
Suppose {𝑥1 , … . 𝑥𝑛 } and {𝑦1 , … . 𝑦𝑚 } are bases of vector spaces X and Y,
respectively. Then every A 𝜖 L( X, Y) determines a set of numbers 𝑎𝑖𝑗 such
that
𝑚
(3 ) 𝐴𝑥𝑗 = 𝑖=1 𝑎𝑖𝑗 𝑦𝑗 (1 < j < n). It is convenient to visualize these
numbers in a rectangular array of m rows and n columns, called an m by n
matrix :
𝑎11 ⋯ 𝑎1𝑛
𝐴 = ⋮ ⋱ ⋮
𝑎𝑚1 ⋯ 𝑎𝑚𝑛
Observe that the coordinates 𝑎𝑖𝑗 of the vector 𝐴𝑥𝑗 (with respect to the
basis{𝑦1 , … . 𝑦𝑚 }) appear in the jth column of [A ]. The vectors𝐴𝑥𝑗 are
therefore sometimes called the column vectors of [A ]. With the terminology
the range of A is spanned by the column vectors of [A ].
If x = 𝑐𝑗 𝑥𝑗 . the linearity of A, combined with (3). shows that
𝑚 𝑛
(4) Ax = 𝑖=1( 𝑗 =1 𝑎𝑖𝑗 𝑐𝑗 )𝑦𝑖
57
Space for Hints
Thus
1
(6) ∥ 𝐴 ∥≤ { 𝑖,𝑗 𝑎𝑖𝑗 2 } 2
3.2 Differentiation
Definitions 3.10
In order to arrive at a definition of the derivative of a function whose domain
is 𝑅 𝑛 (or an open subset of 𝑅 𝑛 ), let us take another look at the familiar case n =
58
Space for Hints
1, and let us see how to interpret the derivative in that case in a way which will
naturally extend to n > 1.
If f is a real function with domain (a, b) ⊂ 𝑅1 and if x ∈ (a, b), then 𝑓 ′ (x) is
usually defined to be the real number
𝑓 𝑥+ −𝑓(𝑥)
(7) lim→0
Note that (8) expresses the difference f(x + h) - f(x) as the sum of the linear
function that takes h to f'(x)h. plus a small remainder. We can therefore regard
the derivative off at x, not as a real number, but as the linear operator on 𝑅1
that takes h to f'(x)h. [Observe that every real number 𝛼 gives rise to a linear
operator on 𝑅1 ; the operator in question is simply multiplication by 𝛼.
Conversely, every linear function that carries 𝑅1 to 𝑅1 is multiplication by
some real number. It is this natural 1-1 correspondence between 𝑅1 and L(𝑅1 )
which motivates the preceding statements .]
Let us next consider a function f that maps (a, b) ⊂ 𝑅1 into 𝑅 𝑚 . In that case, f
'(x) was defined to be that vector y ∈ 𝑅 𝑚 (if there is one) for which
𝑓 𝑥+ −𝑓(𝑥)
(10) lim→0 { − 𝑦} = 0
or, equivalently,
|𝑓 𝑥+ −𝑓 𝑥 −𝑓 ′ 𝑥 |
(13) lim→0 =0
||
Definition 3.11
Suppose E is an open set in 𝑅 𝑛 , f maps E into 𝑅 𝑚 , and x ∈ E. If there exists a
linear transformation A of 𝑅 𝑛 into 𝑅 𝑚 such that
|𝑓 𝑥+ −𝑓 𝑥 −𝐴|
(14) lim→0 = 0,
Theorem 3.12
Suppose E and f are as in Definition 3. 1 1 , x ∈ E and ( 1 4) holds with A =𝐴1
and with A = 𝐴2 . Then 𝐴1 = 𝐴2 ( 1 6)
Proof
60
Space for Hints
Remarks 3.13
(a) The relation (14) can be rewritten in the form
(17) f( x + h) - f(x) = f'(x)h + r(h) where the remainder r(h)
satisfies
|𝑟 |
lim =0
→0 ||
We may interpret (17) as in Sec. 3. 1 0, by saying that for fixed x and small h,
the left side of (17) is approximately equal to f '(x)h. that is to the value of a
linear transformation applied to h.
(b) Suppose f and E are as in definition 3. 11, and f is differentiable in E. For
every x ∈ E, f '(x) is then a function, namely, a linear transformation of𝑅 𝑛 into
Rm. But f' is also a function : f' maps E into L(𝑅 𝑛 , 𝑅 𝑚 ).
(c) A glance at (17) shows that f is continuous at any point at which f is
differentiable.
(d) The derivative defined by (14) or (17) is often called the differential of f at
x, or the total derivative of f at x, to distinguish it from the partial derivatives
that will occur later.
Example 3.14
We have defined derivatives of functions carrying 𝑅 𝑛 to 𝑅 𝑚 to be linear
transformations of 𝑅 𝑛 into 𝑅 𝑚 . What is the derivative of such a linear
transformationA The answer is very simple. If A ∈ L(𝑅 𝑛 , 𝑅 𝑚 ) and if x∈ 𝑅 𝑛 ,
then
61
Space for Hints
(19) A '(x) = A.
Note that x appears on the left side of (19), but not on the right. Both sides of
(19) are members of L(𝑅 𝑛 ,𝑅 𝑚 ), whereas Ax ∈ 𝑅 𝑚 . The proof of (19) is a
triviality, since
(20) A(x + h) - Ax = Ah, by the linearity of A.
With f (x) = Ax, the numerator in (14) is thus 0 for every h ∈ 𝑅 𝑛 .
In (17), r(h) = 0.
We now extend the chain rule (Theorem 5.5) to the present situation.
Theorem 3.15
Suppose E is an open set in 𝑅 𝑛 , f maps E into ∈ 𝑅 𝑚 , f is differentiable at
𝑥0 ∈ 𝐸, g maps an open set containing f (E) into 𝑅 𝑘 , and g is differentiable at
f(x0). Then the mapping F of E into 𝑅 𝑘 defined by
F(x) = g(f (x)) is differentiable at 𝑥0 , and
(2 1) F'(𝑥0 ) = g'(f(𝑥0 ))f '(𝑥0 ).
On the right side of (21), we have the product of two linear transformations, as
defined in Sec. 3.6.
Proof
Put 𝑦𝑜 = 𝑓(𝑥0 )A = f '(𝑥0 ), B = g'(𝑦𝑜 ), and define
u(h) = f (𝑥𝑜 + h) - f(𝑥𝑜 ) - Ah,
v(k) = g(𝑦𝑜 + k) - g(𝑦𝑜 ) - Bk,
for all h ∈ 𝑅 𝑛 , and k ∈ 𝑅 𝑚 , for which f(𝑥𝑜 + h) and g(𝑦𝑜 + k) are defined.
Then
(22) | u(h) |= 𝜀(h)|h|, |v(k)| = 𝜂(k) |k|,
where 𝜀(h) →0 as h ⟶ 0 and 𝜂(k)⟶ 0 as k⟶0.
Given h, put k = f(𝑥𝑜 + h) - f (𝑥𝑜 ). Then,
(23) |k|= |Ah + u(h)| ≤ [ ∥A∥+𝜀(h)]|h|,
and F(𝑥𝑜 + h) - F(𝑥𝑜 ) - BAh = g(𝑦𝑜 + k) - g(𝑦𝑜 ) - BAh
= B(k - Ah) + v(k) = Bu(h) + v(k).
62
Space for Hints
Theorem 3.17
Suppose f maps an open set E ⊂ 𝑅 𝑛 into 𝑅 𝑚 , and f is differentiable at a point
𝑥 ∈ 𝐸 .Then the partial derivatives 𝐷𝑗 𝑓𝑖 (x) exist, and
𝑚
(27) f '(x)𝑒𝑗 = 𝑖=1 𝐷𝑗 𝑓𝑖 𝑥 𝑢𝑖 (1 ≤ j ≤ n)
63
Space for Hints
Example 3.18
Let 𝛾 be a differentiable mapping of the segment (a, b) ⊂ 𝑅1 into an open set
E ⊂ 𝑅 𝑛 , in other words, 𝛾 is a differentiable curve in E. Let f be a real-valued
differentiable function with domain E. Thus f is a differentiable mapping of E
into 𝑅1 . Define
64
Space for Hints
(31) g(t) = f(𝛾( t)) .(a < t < b). The chain rule asserts
then that
(32) g'(t) = f'(𝛾 (t))𝛾 '(t) (a < t < b).
Since 𝛾'(t) ∈ L(𝑅1 , 𝑅 𝑛 ) and f'(𝛾 (t))∈ L(𝑅 𝑛 , 𝑅1 ) (32) defines g'(t) as a linear
operator on 𝑅1 . This agrees with the fact that g maps (a, b) into 𝑅1 However
g'(t) can also be regarded as a real number. (This was discussed in Sec. 3. 1 0.)
This number can be computed in terms of the partial derivatives of f and the
derivatives of the components of 𝛾, as we shall now see. With respect to the
standard basis {𝑒1 , 𝑒2 , … … 𝑒𝑛 } of 𝑅 𝑛 [𝛾 '( t)] is the 1 by n matrix (a "column
matrix‖) which has 𝛾𝑖 ′(t) in the 𝑖 𝑡 row, where {𝛾1 , 𝛾2 , … . . 𝛾𝑛 } n are the
components of y. For every 𝑥 ∈ E. [f‘(x)] is the 1 by n matrix (a "row matrix")
which has (𝐷𝑗 𝑓)(x) in the jth column. Hence [g'(t)] is the 1 by 1 matrix whose
only entry is the real number.
𝑛
(33) g'(t) = 𝑖=1(𝐷𝑖 𝑓)(𝛾 𝑡 )𝛾 ′ 𝑖 (𝑡)
This is a frequently encountered special case of the chain rule. It can be
rephrased in the following manner. Associate with each x ∈ E a vector, the so-
called "gradient" of f at x, defined by,
𝑛
(34) ∇f x = 𝑖=1 𝐷𝑖 𝑓(𝑥)𝑒𝑖
Since,
𝑛 ′
(35) 𝛾'(t) = 𝑖=1 𝛾 𝑖 (𝑡)𝑒𝑖
Since,
(33) can be written in the form
(36) g '(t) = (∇f)(𝛾(t)). 𝛾′(𝑡)
the scalar product of the vectors (∇f)(𝛾(t)) and 𝛾 ′ 𝑡 .
Let us now fix an x ∈ E. let u ∈ 𝑅 𝑛 be a unit vector (that is |u| = 1) and
specialize 𝛾 so that
(37) 𝛾(t) = x + tu ( −∞< t <∞ ). Then 𝛾 '(t) = u for every t.
Hence (36) shows that
65
Space for Hints
Theorem 3.19
Suppose f maps a convex open set E⊂ 𝑅 𝑛 into𝑅 𝑚 , f is differentiable in E, and
there is a real number M such that
∥ 𝑓′(𝑥) ∥≤ 𝑀
for every x ∈ E. Then
|f(b) – f(a)| ≤ 𝑀|𝑏 − 𝑎|
for all a ∈ E, b ∈ E.
Proof
Fix a ∈ E, b ∈ E. Define
𝛾(t) = (1 - t)a + tb for all t ∈ 𝑅1 such that 𝛾 (t) ∈ E. Since E is convex, 𝛾(t) ∈ E
if 0 ≤ t ≤ 1. Put g(t) = f(𝛾(t)).
Then g'(t) = f '(𝛾(t))𝛾 '(t)) = f '(𝛾 (t))(b - a), so that
|g' ( t)| <∥ f ' ( 𝛾 ( t)) ∥b – a| < M | b – a| for all t ∈ [0, 1 ]. By
Theorem 5. 1 9, |g(l) - g(0)| < M |b – a|.
66
Space for Hints
But g(0) = f(a) and g(l) = f(b). This completes the proof.
Corollary
If, in addition, f '(x) = 0 for all x ∈ 𝐸then f is constant.
Proof
To prove this, note that the hypotheses of the theorem hold now with
M = 0.
Definition 3.20
A differentiable mapping f of an open set E ⊂ 𝑅 𝑛 into 𝑅 𝑚 is said to be
continuously differentiable in E if f' is a continuous mapping of E into L(𝑅 𝑛 ,
𝑅 𝑚 ). More explicitly, it is required that to every x ∈ 𝐸 and to every 𝜀 > 0
corresponds 𝛿 > 0 such that
ll f '(y) - f '(x)ll <𝜀 if y ∈ E and |x - y | <𝛿 If this is so, we also say
that f is a ℭ′ -mapping, or that f ∈ ℭ′(𝐸)
Theorem 3.21
Suppose f maps an open set E ⊂ 𝑅 𝑛 into 𝑅 𝑚 . Then f ∈ ℭ′(𝐸)if and only if the
partial derivatives exist and are continuous on E for 1 ≤ i ≤m, 1 ≤ i ≤n
Proof
Assume first that f ∈ ℭ′ 𝐸 . By (27),
(𝐷𝑗 𝑓𝑖 )(x) = (f '(x)𝑒𝑗 )𝑢𝑖
for all i, j and for all. Hence,
(𝐷𝑗 𝑓𝑖 (y) - (𝐷𝑗 𝑓𝑖 )(x) = {[f '(y) - f '(x)]𝑒𝑗 }𝑢𝑖 ,
and since |𝑢𝑖 | = |𝑒𝑗 | = 1, it follows that
𝜀
|𝐷𝑗 𝑓𝑖 (y) - (𝐷𝑗 𝑓𝑖 )(x)| < 𝑛 (y ∈ 𝑆, 1 ≤ 𝑗 ≤ 𝑛)
Hence, 𝐷𝑗 𝑓𝑖 is continuous.
For the converse, it suffices to consider the case m = 1. Fix x ∈ E and 𝜀> 0.
67
Space for Hints
Since E is open, there is an open ball S ⊂ E, with center at x and radius r, and
the continuity of the functions𝐷𝑗 𝑓shows that r can be chosen so that
(y ∈ S, 1 ≤ j ≤ n).
Suppose h = 𝑗 𝑒𝑗 . |h| < r, put 𝑣𝑜 = 0 and 𝑣𝑘 =1 𝑒1 + ⋯ … . . +𝑘 𝑒𝑘 , for 1 ≤
k ≤ n. Then,
𝑛
f(x + h) -f(x) = 𝑗 =1[𝑓(𝑥 + 𝑣𝑗 ) − 𝑓 𝑥 + 𝑣𝑗 −1 )
Since |𝑣𝑘 |< r for 1 ≤ k ≤ n and since S is convex, the segments with end
points x + 𝑣𝑗 −1 and x +𝑣𝑗 lie in S. Since,𝑣𝑗 = 𝑣𝑗 −1 + 𝑗 𝑒𝑗 the mean value
theorem (5. 1 0) shows that the 𝑗 𝑡 summand in (42) is equal to
𝑗 (𝐷𝑗 𝑓)(𝑥 + 𝑣𝑗 −1 + 𝜃𝑗 𝑗 𝑒𝑗
for some 𝜃𝑗 ∈ (0, 1 ), and this differs from 𝑗 (𝐷𝑗 𝑓)(𝑥 )by less than ||𝑗 | 𝜀 𝑛
using (41). By ( 42 ), it follows that
𝑛 1 𝑛
|f(x+h) -f(x) - 𝑗 =1 𝑗 (𝐷𝑗 𝑓)(𝑥 )|≤ 𝑛 𝑗 =1 |𝑗 |𝜀 ≤ ||𝜀
Definition 3.22
68
Space for Hints
Theorem 3.23
If X is a complete metric space, and if 𝜑 is a contraction of X into X, then
there exists one and only one x ∈ X such that 𝜑 𝑥 = 𝑥.
In other words, 𝜑 has a unique fixed point. The uniqueness is a triviality for if
𝜑 𝑥 = 𝑥 and 𝜑 𝑦 = 𝑦, then (43) gives 𝑑 𝑥, 𝑦 ≤ 𝑐 𝑑(𝑥, 𝑦) which can only
happen when d(x, y) = 0.
The existence of a fixed point of 𝜑 is the essential part of the theorem. The
proof actually furnishes a constructive method for locating the fixed point.
Proof
Pick 𝑥0 ∈ 𝑋 arbitrarily, and define {𝑥𝑛 } recursively, by setting
(44) 𝑥𝑛+1 = 𝜑 𝑥𝑛 𝑛 = 0,1,2, … .
Choose 𝑐 < 1 so that (43) holds. For 𝑛 ≥ 1 we then have
𝑑 𝑥𝑛+1 , 𝑥𝑛 = 𝑑 𝜑 𝑥𝑛 , 𝜑 𝑥𝑛−1 ≤ 𝑐 𝑑(𝑥𝑛 , 𝑥𝑛−1 ) .
Hence induction gives
(45) 𝑑 𝑥𝑛+1 , 𝑥𝑛 ≤ 𝑐 𝑛 𝑑 𝑥1 , 𝑥0 𝑛 = 0,1,2, … .
𝑑 𝑥𝑛 , 𝑥𝑚 ≤ 𝑑(𝑥𝑖 , 𝑥𝑖−1 )
𝑖=𝑛+1
𝑛 𝑛+1
≤ (𝑐 + 𝑐 + ⋯ + 𝑐 𝑚 −1 𝑑(𝑥1 , 𝑥0 )
≤ [(1 − 𝑐)−1 𝑑 𝑥1 , 𝑥0 ]𝑐 𝑛 .
69
Space for Hints
CYP QUESTIONS:
70
Space for Hints
UNIT- 4
THE INVERSE FUNCTION THEOREM
Unit Structure:
Section 4.1: The inverse function Theorem
Section 4.2: The Implicit Function Theorem
Section 4.3: The Rank Theorem
Section 4.4: Determinants
Theorem 4.1
Suppose f is a 𝒞′-mapping of an open set 𝐸 ⊂ 𝑅 𝑛 into 𝑅 𝑛 . f’(a) is invertible
for some 𝒂 ∈ 𝐸 and 𝒃 = 𝒇(𝒂). Then
(a) there exists open sets U and V in 𝑅 𝑛 such that 𝒂 ∈ 𝑈, 𝒃 ∈ 𝑉. f is one
to one on U, and f(U) = V;
(b) if g is the inverse of f [which exists by (a)], defined in V by
g(f(x))=x (𝒙 ∈ 𝑈).
then 𝒈 ∈ 𝓒′(𝑽)
Writing the equation y=f(x) in component form. We arrive at the following
interpretation of the conclusion of the theorem: The system of n equations
𝑦𝑖 = 𝑓𝑖 𝑥1 , … … . , 𝑥𝑛 1 ≤ 𝑖 ≤ 𝑛
can be solved for 𝑥1 , … … , 𝑥𝑛 in terms of 𝑦1 , … … 𝑦𝑛 if we restrict x and y to
small enough neighbourhoods of a and b; the solutions are unique and
continuously differentiable.
71
Space for Hints
Proof
(a) Put 𝒇′ 𝒂 = 𝑨, and choose 𝜆 so that
(46) 2𝜆‖𝐴−1 ‖ = 1.
Since 𝑓 ′ is continuous at a. there is an open ball 𝑈 ⊂ 𝐸, with centre at a such
that
(47) ‖𝑓 ′ 𝑥 − 𝐴‖ < 𝜆 𝑥∈𝐸 .
We associate to each 𝑦 ∈ 𝑅 𝑛 a function 𝜑, defined by
(48) 𝜑 𝑥 = 𝑥 + 𝐴−1 𝑦 − 𝑓 𝑥 (𝑥 ∈ 𝐸)
Note that f(x) = y if and only if x is a fixed point of 𝜑.
Since 𝜑 ′ 𝑥 = 𝐼 − 𝐴−1 𝑓′(𝑥) = 𝐴−1 (𝐴 − 𝑓 ′ 𝑥 ), (46) and (47) imply that
1
(49) ‖𝜑 ′ 𝑥 ‖ < 𝑥 ∈ 𝑈
2
Hence
1
(50) 𝜑 𝑥1 − 𝜑(𝑥2 ) ≤ 𝑥1 − 𝑥2 𝑥1 , 𝑥2 ∈ 𝑈 .
2
by Theorem 3.13. It follows that 𝜑 has at most one fixed point in U. so that
f(x) = y for at most one 𝑥 ∈ 𝑈.
Thus f is 1-1in U.
Next, put V=f(U), and pick 𝑦0 ∈ 𝑉. Then 𝑦0 = 𝑓(𝑥0 ) for some 𝑥0 ∈ 𝑈. Let B
be an open ball with centre at 𝑥0 and radius r >0, so small that its closure 𝐵
lies in U. We will show that 𝑦 ∈ 𝑉 whenever 𝑦 − 𝑦0 < 𝜆𝑟. This proves, of
course that V is open.
Fix y, 𝑦 − 𝑦0 < 𝜆𝑟. With 𝜑 as in (48).
𝑟
𝜑 𝑥 − 𝑥0 = 𝐴−1 (𝑦 − 𝑦0 ) < ‖𝐴−1 ‖ 𝜆𝑟 =
2
If 𝑥 ∈ 𝐵, it therefore follows from (50) that
𝜑 𝑥 − 𝑥0 ≤ 𝜑 𝑥 − 𝜑 𝑥0 + 𝜑 𝑥0 − 𝑥0
1 𝑟
< 𝑥 − 𝑥0 + ≤ 𝑟 ;
2 2
hence 𝜑 𝑥 ∈ 𝐵. Note that (50) holds if 𝑥1 ∈ 𝐵 , 𝑥2 ∈ 𝐵.
Thus 𝜑 is a contraction of 𝐵 into 𝐵. Being a closed subset of 𝑅 𝑛 .
72
Space for Hints
73
Space for Hints
the continuity of 𝑓′ at just the point a. In this connection, we refer to the article
by A. Nijenhuis in Amer Math Monthly vol 81,1974, pp. 969-980.
The following is an immediate consequence of part (a) of the inverse function.
Theorem 4.2
If f is a 𝒞‘- mapping of an open set 𝐸 ⊂ 𝑅 𝑛 into 𝑅 𝑛 and if 𝑓′(𝑥) is invertible
for every 𝑥 ∈ 𝐸, then f(W) is an open subset of 𝑅 𝑛 foe every open set W⊂ E.
In other words, f is an open mapping of E into 𝑅 𝑛 .
The hypotheses made in this theorem ensure that each point x ∈ E has a
neighbourhood in which f is 1-1. This may be expressed by saying that f is
locally one-to-one in E. But f need not be 1-1 in E under these circumstances.
The preceding very informal statement is the simplest case (the case m = n = I
of Theorem 4.5) of the so-called "implicit function theorem." Its proof makes
strong use of the fact that continuously differentiable transformations behave
locally very much like their derivatives. Accordingly, we first prove Theorem
4.4, the linear version of Theorem 4.5.
Notation 4.3
If x = (𝑥1 , … … , 𝑥𝑛 ) ∈ 𝑅 𝑛 and y = (𝑦1 , … … 𝑦𝑚 ) ∈ 𝑅 𝑛 , let us write (x, y) for the
point (or vector)
74
Space for Hints
Theorem 4.4
If 𝐴 ∈ 𝐿 𝑅 𝑛+𝑚 , 𝑅 𝑛 and if 𝐴𝑥 is invertible, then there corresponds to
every 𝑘 ∈ 𝑅 𝑚 a unique ∈ 𝑅 𝑛 such that 𝐴 , 𝑘 = 0.
This h can be computed from k by the formula
(55) = −(𝐴𝑥 )−1 𝐴𝑦 𝑘
Proof
By (54). A(h, k) = 0 if and only if
𝐴𝑥 + 𝐴𝑦 𝑘 = 0,
which is the same as (55) when 𝐴𝑥 is invertible.
The conclusion of Theorem 4.4 is, in other words, that the equation A(h , k) =
0 can be solved (uniquely) for h if k is given, and that the solution h is a linear
function of k. Those who have some acquaintance with linear algebra will
recognize this as a very familiar statement about systems of linear equations.
Theorem 4.5
Let f be a 𝒞 ′ mapping of an open set 𝐸 ⊂ 𝑅 𝑛+𝑚 𝑖𝑛𝑡𝑜 𝑅 𝑛 , such that f(a. b) = 0
for some point (a, b) 𝜖 𝐸.
Put A = f '(a, b) and assume that 𝐴𝑥 is invertible.
75
Space for Hints
Then there exist open sets 𝑈 ⊂ 𝑅 𝑛+𝑚 𝑎𝑛𝑑 𝑊 ⊂ 𝑅 𝑚 , with (a, b) ∈U and
b ∈W, having the following property:
To every y ∈ W corresponds a unique x such that
(56) (x, y) ∈U and f{x, y) = 0.
If this x is defined to be g(y), then g is a 𝒞‘ mapping of W into 𝑅 𝑛 , g(b) = a,
Type equation here.
(57) f(g(y), y) = 0 (y ∈ W),
and
(58) 𝑔′ 𝑏 = −(𝐴𝑥 )−1 𝐴𝑦
The function g is "implicitly" defined by (57). Hence the name of the theorem.
The equation f(x, y) = 0 can be written as a system of n equations in n + m
variables:
(59) 𝑓1 𝑥1 , … . . 𝑥𝑛 , 𝑦1 , … . . . 𝑦𝑚 = 0
………………………………….
𝑓𝑛 𝑥1 , … . . 𝑥𝑛 , 𝑦1 , … . . . 𝑦𝑚 = 0
The assumption that 𝐴𝑥 is invertible means that the n by n matrix
𝐷1 𝑓1 ⋯ 𝐷𝑛 𝑓1
⋮ ⋱ ⋮
𝐷1 𝑓𝑛 ⋯ 𝐷𝑛 𝑓𝑛
evaluated at (a, b) defines an invertible linear operator in 𝑅𝑛 ; in other words,
its column vectors should be independent, or, equivalently, its determinant
should be ≠ 0. (See Theorem 4.13.) If, furthermore, (59) holds when x =a and
y = b, then the conclusion of the theorem is that (59) can be solved for
𝑥1 , … . . 𝑥𝑛 in terms of 𝑦1 , … . . . 𝑦𝑚 , for every y near b, and that these solutions
are continuously differentiable functions of y.
Proof
Define F by
(60) F(x, y) = (f(x, y), y) ((x, y) e E).
76
Space for Hints
or
𝑛
𝜕𝑓𝑖 𝜕𝑔𝑗 𝜕𝑓𝑖
= −( )
𝜕𝑥𝑗 𝜕𝑦𝑘 𝜕𝑦𝑘
𝑗 =1
where 1 ≤ i ≤ n, 1 ≤ k ≤ m.
𝜕𝑔
For each k, this is a system of n linear equations in which the derivatives𝜕𝑦 𝑗 ,
𝑘
Example 4.6
Take n = 2, m = 3, and consider the mapping f = (𝑓1 , 𝑓2 ) of 𝑅 5 into 𝑅 2 given by
𝑓1 𝑥1 , 𝑥2 , 𝑦1 , 𝑦2 , 𝑦3 = 2𝑒 𝑥 1 + 𝑥2 𝑦1 − 4𝑦2 + 3
𝑓2 𝑥1 , 𝑥2 , 𝑦1 , 𝑦2 , 𝑦3 = 𝑥2 cos 𝑥1 − 6𝑥1 + 2𝑦1 − 𝑦3
If a = (0, 1) and b = (3, 2, 7), then f(a, b) = 0.
With respect to the standard bases, the matrix of the transformation A = f '(a,
b) is
78
Space for Hints
2 3 1 −4 0
𝐴 =
−6 1 2 0 −1
Hence
2 3 1 −4 0
𝐴𝑥 = , 𝐴𝑦 = .
−6 1 2 0 −1
We see that the column vectors of 𝐴𝑥 are independent. Hence 𝐴𝑥 is
invertible and the implicit function theorem asserts the existence of a 𝒞' -
mapping g, defined in a neighborhood of (3, 2, 7), such that g(3, 2, 7) = (0, 1)
and f (g(y), y) = 0.
We can use (58) to compute g'(3, 2, 7) : Since
1 1 −3
(𝐴𝑥 )−1 = 𝐴𝑥 −1
=
20 6 2
(58) gives
1 1 −3
1 1 −3 1 −4 0
𝑔′(3,2,7) = − = 4 5 20
20 6 2 2 0 −1 −1 6 1
2 5 10
In terms of partial derivatives, the conclusion is that
1 1 −3
𝐷1 𝑔1 = 𝐷2 𝑔1 = 𝐷3 𝑔1 =
4 5 20
−1 6 1
𝐷1 𝑔2 = 𝐷2 𝑔2 = 𝐷3 𝑔2 =
2 5 10
at the point (3, 2, 7).
79
Space for Hints
Definitions 4.7
Suppose X and Y are vector spaces, and A ∈ L( X, Y), as in Definition 3.6.
The null space of A, Ɲ(A), is the set of all x ∈ X at which Ax = 0. It is clear
that Ɲ(A) is a vector space in X.
Likewise, the range of A, R(A), is a vector space in Y.
The rank of A is defined to be the dimension of R(A).
For example, the invertible elements of L(𝑅 𝑛 ) are precisely those whose rank
is n. This follows from Theorem 3.5.
If A ∈ L(X, Y) and A has rank 0, then Ax = 0 for all x ∈A, hence Ɲ(A) = X.
Definition(Projections)4.8
80
Space for Hints
Theorem 4.9
Suppose m, n, r are nonnegative integers, m ≥ r. n ≥r, F is a 𝒞' -mapping of an
open set E ⊂𝑅 𝑛 into 𝑅 𝑛 , and F'(x) has rank r for every x ∈ 𝐸.
Fix a ∈ 𝐸, put A = F'(a), let 𝑌1 be the range of A. and let P be a projection in
𝑅 𝑚 whose range is 𝑌1 . Let 𝑌2 be the null space of P.
Then there are open sets U and V in 𝑅 𝑛 , ·with a ∈ U, U ⊂ E, and there is a 1-
1 𝒞'-mapping H of V onto U (whose inverse is also of class 𝒞') such that
(66) F(H(x)) = Ax + 𝜑(Ax) (x ∈ V)
where cp is a 𝒞' -mapping of the open set A(V) ⊂𝑌1 into 𝑌2 .
After the proof we shall give a more geometric description of the information
that (66) contains.
Proof
If r = 0, Theorem 3. 19 shows that F(x) is constant in a neighborhood U of a,
and (66) holds trivially, with V = U, H(x) = x, 𝜑(0) = F(a).
From now on we assume r > 0. Since dim 𝑌1 = r, 𝑌1 has a basis {𝑦1 , … 𝑦𝑟 }.
Choose 𝑧𝑖 ∈ 𝑅 𝑛 so that 𝐴𝑧𝑖 = 𝑦𝑖 (1≤ i ≤ r ), and define a linear mapping S of
𝑌1 into 𝑅 𝑛 by setting
(67) S(𝑐1 𝑦1 + ⋯ + 𝑐𝑟 𝑦𝑟 ) = 𝑐1 𝑧1 + ⋯ + 𝑐𝑟 𝑧𝑟
for all scalars 𝑐1 , … 𝑐𝑟 .
Then 𝐴𝑆𝑦𝑖 = 𝐴𝑧𝑖 = 𝑦𝑖 𝑓𝑜𝑟 1 ≤ 𝑖 ≤ 𝑟. Thus
(68) ASy =y (y ∈ 𝑌1 )
81
Space for Hints
83
Space for Hints
surface" with precisely one point "over" each point of A( V). We may also
regard F( U) as the graph of 𝜑.
If Φ(x) = F(H(x)), as in the proof, then (66) shows that the level sets of
Φ(these are the sets on which Φ attains a given value) are precisely the level
sets of A in V. These are ― flat‖ since they are intersections with V of
translates of the vector space Ɲ(A). Note that dim Ɲ(A) = n - r.
The level sets of F in U are the images under H of the flat level sets of Φ in V.
They are thus "(n - r)-dimensional surfaces" in U.
4.4 Determinants
Determinants are numbers associated to square matrices, and hence to the
operators represented by such matrices. They are 0 if and only if the
corresponding operator fails to be invertible. They can therefore be used to
decide whether the hypotheses of some of the preceding theorems are
satisfied.
Definition 4.10
If (𝑗1 , … 𝑗𝑛 ) is an ordered n-tuple of integers, define
(82) s(𝑗1 , … 𝑗𝑛 ) = 𝑝<𝑞 𝑠𝑔𝑛 (𝑗𝑞 − 𝑗𝑝 ),
Where sgn x = 1 if x > 0, sgn x = -1 if x<0, sgn x = 0 if x = 0. Then s(𝑗1 , … 𝑗𝑛 )
= 1, - 1, or 0, and it changes sign if any two of the j's are interchanged.
Let [A] be the matrix of a linear operator A on 𝑅 𝑛 . relative to the standard
basis {𝑒1 , … 𝑒𝑛 }, with entries a(i,j) in the ith row and jth column. The
determinant of [A] is defined to be the number
(83) det 𝐴 = 𝑠 𝑗1 , … 𝑗𝑛 𝑎(1, 𝑗1 )𝑎 2, 𝑗2 … 𝑎 𝑛, 𝑗𝑛 .
The sum in (83) extends over all ordered n-tuples of integers (𝑗1 , … 𝑗𝑛 ) with
1 ≤ 𝑗𝑟 ≤ 𝑛.
The column vectors 𝑥 𝑖 of [A] are
𝑛
(84) 𝑥𝑗 = 𝑖=1 𝑎(𝑖, 𝑗)𝑒𝑖 (1 ≤ 𝑗 ≤ 𝑛)
84
Space for Hints
Theorem 4.11
(a) If I is the identity operator on 𝑅 𝑛 , then
det [I] = det (𝑒1 , … 𝑒𝑛 ) = 1.
(b) det is a linear function of each of the column vectors 𝑥𝑗 , if the others are
held fixed.
(c) If [A]1 is obtained from [A] by interchanging two columns, then
det [A]1 = - det [A ].
(c) If [A ] has two equal columns, then det [A] = 0.
Proof
If A = I, then a(i, i) = I and a(i,j) = 0 for i ≠j. Hence
det [I] = s( 1, 2, . . . , n) = 1,
which proves (a). By (82), s(𝑗1 , … 𝑗𝑛 ) = 0 if any two of the j's are equal . Each
of the remaining n! products in (83) contains exactly one factor from each
column. This proves (b). Part (c) is an immediate consequence of the fact that
s(𝑗1 , … 𝑗𝑛 ) changes sign if any two of the j's are interchanged, and (d) is a
corollary of (c).
Theorem 4.12
1f [A] and [B] are n by n matrices, then
det ([B][A]) = det [B] det [A ].
Proof
If 𝑥1 , … 𝑥𝑛 are the columns of [A], define
∆𝐵 𝑥1 , … 𝑥𝑛 = ∆𝐵 𝐴 = det 𝐵 𝐴 .
85
Space for Hints
∆𝐵 𝐴 = ∆𝐵 ( 𝑎 𝑖, 1 𝑒𝑖 , 𝑥2 , … 𝑥𝑛 ) = 𝑎 𝑖, 1 ∆𝐵 (𝑒𝑖 , 𝑥2 , … 𝑥𝑛 )
𝑖 𝑖
Theorem 4.13
A linear operator A on 𝑅 𝑛 is invertible if and only if det [A]≠ 0.
Proof
If A is invertible, Theorem 4.12 shows that
det [A ] det [𝐴−1 ] ] = det [A ] = det [I] = 1, so that det [A] ≠ 0. If A is not
invertible, the columns 𝑥1 , … . . 𝑥𝑛 of [A] are dependent (Theorem 3.5); hence
there is one, say, 𝑥𝑘 , such that
(90) 𝑥𝑘 + 𝑗 ≠𝑘 𝑐𝑗 𝑥𝑗 = 0 for certain scalars 𝑐𝑗 .
By 4.11 (b) and (d), 𝑥𝑘 can be replaced by 𝑥𝑘 + 𝑐𝑗 𝑥𝑗 without altering the
determinant, if j ≠ k. Repeating, we see that 𝑥𝑘 can be replaced by the left side
86
Space for Hints
of (90), that is , by 0, without altering the determinant. But a matrix which has
0 for one column has determinant 0. Hence det [A] = 0.
Remark 4.14
Suppose {𝑒1 , … … . 𝑒𝑛 } and {𝑢1 , … … . 𝑢𝑛 } are bases in 𝑅 𝑛 . Every linear
operator A on𝑅 𝑛 determines matrices [A ] and [A ]u , with entries 𝑎𝑖𝑗 and 𝛼𝑖𝑗
, given by
and also to
AB𝑒𝑗 = 𝐴 𝑘 𝛼𝑘𝑗 𝑖 𝑏𝑖𝑘 𝑒𝑖 = 𝑖( 𝑘 𝑏𝑖𝑘 𝛼𝑘𝑗 )𝑒𝑖
Thus 𝑏𝑖𝑘 𝛼𝑘𝑗 = 𝑎𝑖𝑘 𝑏𝑘𝑗 , 𝑜𝑟
(91) [B][A ]u = [A ] [B].
Since B is invertible, det [B] ≠ 0. Hence (91), combined with
Theorem 4.12, shows that
(92) det [A ]u = det [A ].
The determinant of the matrix of a linear operator does therefore not depend
on the basis which is used to construct the matrix. It is thus meaningful to
speak of the determinant of a linear operator, without having any basis in
mind.
Definition(Jacobians )4.15
If f maps an open set E ⊂ 𝑅 𝑛 into 𝑅 𝑛 , and if f is differentiable at a point x∈ 𝐸
the determinant of the linear operator f '(x) is called the Jacobian of f at x.
In symbols,
(93) 𝐽𝑓 𝑥 = 𝑑𝑒𝑡𝑓′(𝑥)
we shall also use the notation
87
Space for Hints
𝜕(𝑦 1 ,……𝑦 𝑛 )
(94) 𝜕(𝑥 1 ,….𝑥 𝑛 )
For 𝐽𝑓 𝑥 if 𝑦1 , … … 𝑦𝑛 = 𝑓(𝑥1 , … . 𝑥𝑛 )
In terms of Jacobians, the crucial hypothesis in the inverse function theorem is
that𝐽𝑓 (𝑎) ≠ 0 (compare Theorem 4. 36). If the implicit function theorem is
stated in terms of the functions (59), the assumption made there on A amounts
to
𝜕(𝑓1 , … … 𝑓𝑛)
≠0
𝜕(𝑥1 , … . 𝑥𝑛 )
Definition 4.16
Suppose f is a real function defined in an open set E⊂ 𝑅 𝑛 , with partial
derivatives 𝐷1 𝑓, … . 𝐷𝑛 𝑓. If the functions 𝐷𝑖 𝑓 are themselves differentiable,
then the second-order partial derivatives of f are defined by
𝐷𝑖𝑗 𝑓 =𝐷𝑖 𝐷𝑗 𝑓 (i, j = 1 . . . , n ) .
If all these functions 𝐷𝑖𝑗 𝑓 are continuous in E, we say that f is of class ℭ in E,
or that f 𝜖 ℭ′′ (E). A mapping f of E into 𝑅 𝑚 is said to be of class ℭ′′ if each
component of f is of class ℭ ".
It can happen that 𝐷𝑖𝑗 𝑓 ≠ 𝐷𝑗𝑖 𝑓at some point, although both derivatives exist.
However, we shall see below that𝐷𝑖𝑗 𝑓 = 𝐷𝑗𝑖 𝑓 whenever these derivatives are
continuous. For simplicity (and without loss of generality) we state our next
two theorems for real functions of two variables. The first one is a mean value
theorem.
Theorem 4.17
Suppose f is defined in an open set E⊂ 𝑅 2 , and 𝐷1 𝑓and 𝐷2 𝑓exist at every
point of E. Suppose Q⊂ 𝐸 is a closed rectangle with sides parallel to the
coordinate axes, having (a, b) and (a + h, b + k) as opposite vertices (h ≠0, k ≠
0). Put
88
Space for Hints
Note the analogy between (95) and theorem 5.10; the area of q is hk.
Proof
Put u(t) = f(t, b+k) – f(t, b). two applications of theorem 5.10 show that there
is an x between and that there is a y between b and b+k such that,
∆ (f, Q) = u(a+h) – u(a)
= 𝑢′ 𝑥
= [(𝐷1 𝑓) 𝑥, 𝑏 + 𝑘 − 𝐷(1 𝑓)(𝑥, 𝑏)
= 𝑘(𝐷21 𝑓)(𝑥, 𝑦)
Theorem 4.18
Suppose f is defined in an open set E ⊂ 𝑅 2 , suppose that 𝐷1 𝑓, 𝐷21 𝑓and
𝐷2 𝑓exist at every point of E, and 𝐷21 𝑓 is continuous at some point (a, b) ∈ 𝐸.
Then, 𝐷12 𝑓 exists at (a, b) and
(96 ) (𝐷12 𝑓) 𝑎, 𝑏 = (𝐷21 𝑓)(𝑎, 𝑏)
Corollary
(𝐷21 𝑓) =(𝐷12 𝑓) if f ∈ ℭ′′ 𝐸
Proof
Put A = (𝐷21 𝑓)(𝑎, 𝑏). Choose 𝜀 >0. If Q is a rectangle as in Theorem 4.17,
and if h and k are sufficiently small, we have
|A – (𝐷21 𝑓) 𝑥, 𝑦 | < 𝜀
For all (x, y) ∈ 𝑄. Thus,
∆ 𝑓, 𝑄
−𝐴 <𝜀
𝑘
89
Space for Hints
by (95). Fix h, and let k → 0. Since 𝐷2 𝑓 exists in E, the last inequality implies
that
𝐷2 𝑓 𝑎+, 𝑏 −( 𝐷2 𝑓(𝑎,𝑏)
(97) −𝐴 ≤𝜀
Since, 𝜀 was arbitrary, and since (97) holds for all sufficiently small h≠
0, it follows that (𝐷12 𝑓) 𝑎, 𝑏 = 𝐴. This gives (96).
Differentiation of integrals
Suppose 𝜑 is a function of two variables which can be integrated with respect
to other. Under what conditions will the result be the same if these two limit
processes are carried out in the opposite orderA To state the question more
precisely: under what conditions on 𝜑 can one prove that the equation
𝑑 𝑏 𝑏 𝜕𝜑
(98) ∫ 𝜑 𝑥, 𝑡 𝑑𝑥 = ∫𝑎 𝑥, 𝑡 𝑑𝑥
𝑑𝑡 𝑎 𝜕𝑡
is trueA
It will be convenient to use the notation
(99) 𝜑 ′ 𝑥 = 𝜑 𝑥, 𝑡
Thus 𝜑 ′ is for each t, a function of one variable.
Theorem 4.19
Suppose
a) 𝜑 𝑥, 𝑡 𝑖𝑠 𝑑𝑒𝑓𝑖𝑛𝑒𝑑 𝑓𝑜𝑟 𝑎 ≤ 𝑥 ≤ 𝑏, 𝑐 ≤ 𝑡 ≤ 𝑑;
b) 𝛼 𝑖𝑠 𝑎𝑛 𝑖𝑛𝑐𝑟𝑒𝑎𝑠𝑖𝑛𝑔 𝑓𝑢𝑛𝑐𝑡𝑖𝑜𝑛 𝑜𝑛 𝑎, 𝑏 ;
c) 𝜑 ′ 𝜖 ℜ 𝑥 𝑓𝑜𝑟 𝑒𝑣𝑒𝑟𝑦 𝑡 𝜖 𝑐, 𝑑 ;
d) 𝑐 < 𝑠 < 𝑑, 𝑎𝑛𝑑 𝑡𝑜 𝑒𝑣𝑒𝑟𝑦 𝜀 > 0 𝑐𝑜𝑟𝑟𝑒𝑠𝑝𝑜𝑛𝑑𝑠 𝑎 𝛿 > 0 𝑠𝑢𝑐 𝑡𝑎𝑡
|(𝐷2 𝜑 𝑥, 𝑡 − (𝐷2 𝜑(𝑥, 𝑠)| < 𝜀
𝑓𝑜𝑟 𝑎𝑙𝑙 𝑥 𝜖 𝑎, 𝑏 and for all t 𝜖 𝑠 − 𝛿, 𝑠 + 𝛿 .
𝐷𝑒𝑓𝑖𝑛𝑒
𝑏
(100) 𝑓 𝑡 = ∫𝑎 𝜑 𝑥, 𝑡 𝑑𝛼(𝑥) (c≤ 𝑡 ≤ 𝑑)
Then (𝐷2 𝜑)𝑠 𝜖 ℜ 𝛼 , 𝑓 ′ 𝑠 𝑒𝑥𝑖𝑠𝑡𝑠, 𝑎𝑛𝑑
90
Space for Hints
𝑏
(101) 𝑓 ′ 𝑠 = ∫𝑎 𝐷2 𝜑 𝑥, 𝑠 𝑑𝛼 𝑥 .
Note that (c) simply asserts the existence of the integrals (100) for all t 𝜖 𝑐, 𝑑 .
Note also that (d) certainly holds whenever 𝐷2 𝜑 is continuous on the rectangle
on which 𝜑 is defined.
Proof
Consider the difference quotients
𝜑 𝑥,𝑡 −𝜑(𝑥,𝑠)
(101) 𝜓 𝑥, 𝑡 = 𝑡−𝑠
for 0 <|t-s| <𝛿. By theorem 5.10 there corresponds to each (x, t) a number u
between s and t
𝜓 𝑥, 𝑡 = 𝐷2 𝜑 𝑥, 𝑢
Hence d implies that
(102)
𝜓 𝑥, 𝑡 − (𝐷2 𝜑 𝑥, 𝑠 | < 𝜀 𝑎 ≤ 𝑥 ≤ 𝑏, 0 < 𝑡 − 𝑠 < 𝛿
Note that
𝑓 𝑡 −𝑓(𝑠) 𝑏
(103) = ∫𝑎 𝜓 𝑥, 𝑡 𝑑𝛼(𝑥)
𝑡−𝑠
Example 4.20
One can of course prove analogues of theorem 4.19 with (−∞, ∞) in place of
[a,b]. Instead of doing this, let us simply look at an example. Define
∞ 2
(104) 𝑓 𝑡 = ∫−∞ 𝑒 −𝑥 cos 𝑥𝑡 𝑑𝑥
∞ −2
(105) g(t) = − ∫−∞ 𝑥𝑒 −𝑥 sin 𝑥𝑡 𝑑𝑥
for −∞ < 𝑡 < ∞. Both integrals exist (they converge absolutely) since the
absolute values of the integrals are at most exp(-𝑥 2 ) and |x| exp(-𝑥 2 )
respectively
91
Space for Hints
Thus t f(t) = -2 g(t), and (106) implies now that f satisfies the differential
equation
(110) 2f‘(t) + tf(t) = 0
If we solve this differential equation and use the fact that
f(0) = √𝜋 (𝑠𝑒𝑒 sec 8.21), we find that
𝑡2
(111) f(t) = √𝜋 exp − 4
92
Space for Hints
93
Space for Hints
UNIT – 5
INTEGRATION OF DIFFERENTIAL FORMS
Unit Structure:
Section 5.1: Integrations of Differential forms
Section 5.2: Primitive mappings
Section 5.3: partition of unity
Section5.4: change of variables
Section 5.5: differential forms
Section 5.6: Simplexes and chains
Section 5.7: Stoke‘s theorem
Definition 5.1
Suppose 𝐼 𝑘 is a k-cell in ℝ𝑘 , consisting of all
𝑥 = (𝑥1 , … , 𝑥𝑘 )
such that
𝑎𝑖 ≤ 𝑥𝑖 ≤ 𝑏𝑖 (𝑖 = 𝐼, . . . , 𝑘), (1 )
𝑏𝑘
𝑓𝑘−1 𝑥1 , … , 𝑥𝑘−1 = 𝑓𝑘 𝑥1 , … , 𝑥𝑘−1 , 𝑥𝑘 𝑑𝑥𝑘 .
𝑎𝑘
The uniform continuity of 𝑓𝑘 on 𝐼 𝑘 shows that 𝑓𝑘−1 is continuous on
𝐼 𝑘−𝑡 .Hence we can repeat this process and obtain functions𝑓𝑗 , continuous on
𝐼 𝑗 such that 𝑓𝑗 −1 is the integral of with respect to 𝑥𝑗 , over [𝑎𝑗 , 𝑏𝑗 ]. After 𝑘 steps
we arrive at a number 𝑓0 , which we call the integral of𝑓 over 𝐼 𝑘 ;we write it in
the form
94
Space for Hints
∫𝐼 𝑘 𝑓(𝑥) 𝑑𝑥 or ∫𝐼 𝑘 𝑓. (2)
A priori, this definition of the integral depends on the order in which the 𝑘
integrations are carried out. However, this dependence is only apparent. To
prove this, let us introduce the temporary notation 𝐿(𝑓) for the integral and
𝐿′(𝑓) for the result obtained by carrying out the 𝑘 integrations in some other
order.
Theorem 5.2
For every 𝑓 ∈ 𝒞(𝐼 𝑘 ), 𝐿(𝑓) = 𝐿′(𝑓).
Proof If 𝑥 = 1 𝑥1 … 𝑘 (𝑥𝑘 ), where 𝑖 ∈ 𝒞([𝑎𝑗 , 𝑏𝑗 ]), then
𝑘 𝑏𝑖
𝐿() = 𝑖 𝑥𝑖 𝑑𝑥𝑖 = 𝐿′().
𝑖=1 𝑎𝑖
Definition 5.3
The support of a (real or complex) function 𝑓 on 𝑅 𝑘 is the closure of the set of
all points 𝑥 ∈ 𝑅 𝑘 at which 𝑓 𝑥 ≠ 0. If 𝑓 is a continuous function with
compact support, let 𝐼 𝑘 be any 𝑘 −cell which contains the support of𝑓, and
define
∫𝑅 𝑘 𝑓 = ∫𝐼 𝑘 𝑓. (3)
95
Space for Hints
Example 5.4
Let ℚ𝑘 be the 𝑘 − simp1ex which consists of all points
𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑘 )in 𝑅 𝑘 for which 𝑥1 + ⋯ + 𝑥𝑘 ≤ 1 and 𝑥𝑖 ≥
𝑘
0for 𝑖 = 1, … , 𝑘. If𝑘 = 3,for example, ℚ is a tetrahedron, with vertices
at 0, 𝑒1 , 𝑒2 , 𝑒3 . If 𝑓 ∈ 𝒞(ℚ𝑘 ), extend 𝑓 to a function on 𝐼 𝑘 by setting 𝑓(𝑥) =
0 off ℚ𝑘 , and define
∫ℚ𝑘 𝑓 = ∫𝐼 𝑘 𝑓 . (4)
Here 𝐼 𝑘 is the ―unit cube‖ defined by
0 ≤ 𝑥𝑖 ≤ 1 1≤𝑖≤𝑘 .
Since 𝑓 may be discontinuous on 𝐼 𝑘 , the existence of the integral on the left of
(4) needs proof. We also wish to show that this integral is independent of the
order in which the 𝑘 single integrations are carried out.
To do this. suppose0 < 𝛿 < 1 put
1 (𝑡 ≤ 1 − 𝛿))
1−𝑡
𝜙 𝑡 = (1 − 𝛿 < 𝑡 ≤ 1) (5)
𝛿
0 1<𝑡 ,
and define
𝐹 𝑥 = 𝜙 𝑥1 + ⋯ + 𝑥𝑘 𝑓 𝑥 𝑥 ∈ 𝐼 𝑘 . (6)
Then𝐹 ∈ 𝒞 𝐼 𝑘 .
Put 𝑦 = (𝑥1 , . . . , 𝑥𝑘−1 ), 𝑥 = (𝑦, 𝑥𝑘 ). For each ∈ 𝐼 𝑘−1 , , the set of all 𝑥𝑘 such
that 𝐹 𝑦, 𝑥𝑘 ≠ 𝑓(𝑦; 𝑥𝑘 ) is either empty or is a segment whose length
does not exceed 𝛿.Since0 ≤ 𝜙 ≤ 1, it follows that
𝐹𝑘−1 𝑦 − 𝑓𝑘−1 𝑦 ≤ 𝛿‖𝑓‖ 𝑦 ∈ 𝐼 𝑘−1 , (7)
This proves the existence of the integral (4). Moreover, (7) shows that
Note that (8) is true, regardless of the order in which the 𝑘single integrations
are carried out. Since𝐹 ∈ 𝒞(𝐼 𝑘 ), ∫ 𝐹 is unaffected by any change in this order.
Hence (8) shows that the same is true of∫ 𝑓.
This completes the proof.
96
Space for Hints
Our next goal is the change of variables formula. To facilitate its proof, we
first discuss so-called primitive mappings, and partitions of unity. Primitive
mappings will enable us to get a clearer picture of the local action of a
𝒞 −mapping with invertible derivative, and partitions of unity are a very
useful device that makes it possible to use local informat ion in a global
setting.
Definition 5.4
If G maps an open set 𝐸 ∈ ℝ𝑛 into 𝑅 𝑛 , and if there is an integer 𝑚 and a real
function 𝑔 with domain 𝐸 such that
𝐺 𝑥 = Σ𝑖≠𝑚 𝑥𝑖 𝑒𝑖 + 𝑔 𝑥 𝑒𝑚 (𝑥 ∈ 𝐸),
then we call𝐺primitive. A primitive mapping is thus one that changes at most
one coordinate. Note that (9) can also be written in the form
𝐺(𝑥) = 𝑥 + 𝑔 𝑥 − 𝑥𝑚 𝑒𝑚 . (10)
If 𝑔 is differentiable at some point 𝑎 ∈ 𝐸, £, so is 𝐺.The matrix [𝛼𝑖𝑗 ] of the
operator 𝐺′(𝑎) has
𝐷1 𝑔 𝑎 , . . . , (𝐷𝑚 𝑔)(𝑎), . . . , ( 𝐷𝑛 𝑔)(𝑎) (11)
as its 𝑚 th row. For 𝑗 ≠ 𝑚, we have 𝛼𝑗𝑗 = 1 and 𝛼𝑖𝑗 = 0 0 if 𝑖 ≠ 𝑗. The
Jacobian of 𝐺 at 𝑎 is thus given by
𝐽𝐺 (𝑎) = 𝑑𝑒𝑡[𝐺′(𝑎)] = (𝐷𝑚 𝑔)(𝑎), (12)
and we know that 𝐺′(𝑎) is invertible ifand only if 𝐷𝑚 𝑔 𝑎 ≠ 0.
Definition 5.5
A linear operator 𝐵 on ℝ𝑛 that interchanges some pair of members of the
standard basis and leaves the others fixed will be called a flip.
For example, the flip 𝐵 on ℝ4 that interchanges 𝑒 2 and 𝑒 4 has the form
𝐵(𝑥1 𝑒1 + 𝑥2 𝑒2 + 𝑥3 𝑒3 + 𝑥4 𝑒4 ) = 𝑥1 𝑒1 + 𝑥2 𝑒4 + 𝑥3 𝑒3 + 𝑥4 𝑒2 (13)
or, equivalently,
𝐵(𝑥1 𝑒1 + 𝑥2 𝑒2 + 𝑥3 𝑒3 + 𝑥4 𝑒4 ) = 𝑥1 𝑒1 + 𝑥4 𝑒2 + 𝑥3 𝑒3 + 𝑥2 𝑒4 . (14)
Hence 𝐵 can also be thought of asinterchanging two of the coordinates, rather
than two basis vectors.
In the proof that follows, we shall use the projections 𝑃0 , 𝑃1 , … , 𝑃𝑛 ,in ℝ𝑛 ,,
defined by 𝑃0 𝑥 = 0 and
𝑃𝑚 𝑥 = 𝑥1 𝑒1 + 𝑥2 𝑒2 + ⋯ + 𝑥𝑚 𝑒𝑚 (1 5)
for 1 ≤ 𝑚 ≤ 𝑛. Thus 𝑃𝑚 is the projection whose range and nullspace are
spanned by {𝑒1 , … , 𝑒𝑚 } and { 𝑒𝑚+1 , … , 𝑒𝑛 }respectively.
97
Space for Hints
Theorem 5.6
Suppose F is a 𝒞-mapping of an open set 𝐸 ⊂ ℝ𝑛 into ℝ𝑛 ,0 ∈ 𝐸,
𝐹 0 = 0, and 𝐹 ′ (0) is in rertible.
Then there is a neighborhood of· 0 in R'' in which a representation
𝑛
(18)𝐹𝑚 𝑥 = 𝑃𝑚 −1 𝑥 + 𝑖=𝑚 𝛼𝑖 𝑥 𝑒𝑖 ,
𝑛
(19)𝐹 ′ 𝑚 0 𝑒𝑚 = 𝑖=𝑚 (𝐷𝑚 𝛼𝑖 ) 0 𝑒𝑖 .
Since 𝐹′𝑚 (0) is invertible, the left side of (19) is not 0, and therefore there is
a 𝑘 such that 𝑚 ≤ 𝑘 ≤ 𝑛 and 𝐷𝑚 𝛼𝑘 0 ≠ 0.
Let 𝐵𝑚 be the flip that interchanges 𝑚 and this 𝑘 (if 𝑘 = 𝑚, 𝐵𝑚 is the identity)
and define
(20) 𝐺𝑚 𝑥 = 𝑥 + 𝛼𝑘 𝑥 − 𝑥𝑚 𝑒𝑚 𝑥 ∈ 𝑉𝑚 .
(22) 𝑃𝑚 𝐹𝑚 +1 𝐺𝑚 𝑥 = 𝑃𝑚 𝐵𝑚 𝐹𝑚 (𝑥)
= 𝑃𝑚 𝑃𝑚 −1 𝑥 + 𝛼𝑘 𝑥 𝑒𝑚 + ⋯
= 𝑃𝑚 −1 𝑥 + 𝛼𝑘 𝑥 𝑒𝑚
= 𝑃𝑚 𝐺𝑚 (𝑥)
so that
(23) 𝑃𝑚 𝐹𝑚 +1 𝑦 = 𝑃𝑚 𝑦 𝑦 ∈ 𝑉𝑚 +1 .
Our induction hypothesis holds therefore with 𝑚 + 1in place of 𝑚.
[In (22), we first used (21 ), then (18) and the definition of 𝐵𝑚 , then the
definition of 𝑃𝑚 and finally (20).]
Since 𝐵𝑚 𝐵𝑚 = I, (21), with 𝑦 = 𝐺𝑚 𝑥 is equivalent to
(24) 𝐹𝑚 𝑥 = 𝐵𝑚 𝐹𝑚 +1 (𝐺𝑚 𝑥 )𝑥 ∈ 𝑈𝑚 .
If we apply this with 𝑚 = 1, … , 𝑛 − 1,we successively obtain
𝐹 = 𝐹1 = 𝐵1 𝐹2 ° 𝐺1
= 𝐵1 𝐵2 𝐹3 ° 𝐺2 ° 𝐺1 = …
= 𝐵1 … 𝐵𝑛−1 𝐹𝑛 ° 𝐺𝑛−1 ° … ° 𝐺1
Theorem 5.7
(a) 0 ≤ 𝜓𝑖 ≤ 1 𝑓𝑜𝑟 1 ≤ 𝑖 ≤ 𝑠;
Corrollary
99
Space for Hints
𝑠
𝑓= 𝑖=1 𝜓𝑖 𝑓 (25)
𝐵 𝑥 ⊂ 𝑊 𝑥 ⊂ 𝑊 𝑥 ⊂ 𝑉𝛼(𝑥) (26)
𝐾 ⊂ 𝐵 𝑥1 ∪ … ∪ 𝐵 𝑥𝑠 (27)
for 𝑖 = 1, … , 𝑠 − 1.
𝜓1 + ⋯ + 𝜓𝑠 = 1 − 1 − 𝜑1 … 1 − 𝜑𝑖 (29)
is trivial for 𝑖 = 1. If (29) holds for some 𝑖 < 𝑠, addition of (28) and (29)
yields (29) with 𝑖 + 1 in place of 𝑖. It follows that
𝑠 𝑠
𝑖=1 𝜓𝑖 𝑥 = 1− 𝑖=1 1 − 𝜑𝑖 𝑥 (30)
100
Space for Hints
Theorem 5.8
∫𝑅 𝑘 𝑓 𝑦 𝑑𝑦 = ∫𝑅 𝑘 𝑓 𝑇 𝑥 𝐽𝑇 𝑥 𝑑𝑥 (31)
∫𝑅 𝑘 𝑓 𝑦 𝑑𝑦 = ∫𝑅 𝑘 𝑓 𝑇 𝑥 𝑇 ′ 𝑥 𝑑𝑥 (32)
by Theorem 6.19 and 6.17, for all continuous 𝑓 with compact support. But if 𝑇
decreases, then 𝑇 ′ 𝑥 < 0; and if 𝑓 is positive in the interior of its support, the
left side of (32) is positive and the right side is negative. A correct equation is
obtained if 𝑇 ′ is replaced by 𝑇 ′ in (32).
The point is that the integrals we are now considering are integrals of
functions over subsets of 𝑅 𝑘 , and we associate no direction or orientation with
101
Space for Hints
Proof It follows form the remarks just made that (31) is true if 𝑇 is a primitive
𝒞- mapping (see Definition 10.5), and (31) is true if 𝑇 is a linear mapping
which merely interchanges two coordinates.
∫ 𝑓 𝑧 𝑑𝑧 = ∫ 𝑓 𝑃 𝑦 𝐽𝑃 𝑦 𝑑𝑦
= ∫𝑓 𝑃 𝑄 𝑥 𝐽𝑃 𝑄 𝑥 𝐽𝑄 𝑥 𝑑𝑥
= ∫𝑓 𝑆 𝑦 𝐽𝑆 𝑥 𝑑𝑥
𝐽𝑄 𝑄 𝑋 𝐽𝑄 𝑥 = det 𝑃′ (𝑄 𝑥 ) det 𝑄 ′ 𝑥
= det 𝑃′ 𝑄 𝑥 𝑄′ 𝑥 = det 𝑆 ′ 𝑥 = 𝐽𝑆 𝑥
by the multiplication theorem for determinants and the chain rule. Thus the
theorem is also ture for 𝑆.
102
Space for Hints
where each 𝜓𝑖 is continuous, and each 𝜓𝑖 has its support in some 𝑉𝑦 . Thus
(31) holds for each 𝜓𝑖 𝑓 and hence also for their sum 𝑓.
We shall now develop some of the machinery that is needed for the 𝑛 -
dimensional version of the fundamental theorem of calculus which is usually
called Stoke‘s theorem. The original form Stokes theorem arose in application
of vector analysis to electromagnetism and was stated in terms of the curl of a
vector field. Green‘s theorem and the divergence theorem are other special
cases.
Definition 5.9
103
Space for Hints
𝜕 𝑥 𝑖 1 ,…,𝑥 𝑖 𝑘
∫Φ 𝜔 = ∫D 𝑎𝑖1 ,…𝑖𝑘 Φ 𝑢 𝜕 𝑢 1 ,…,𝑢 𝑘
𝑑𝑢 (35)
104
Space for Hints
𝑢1 , … , 𝑢𝑘 → 𝜙𝑖1 𝑢 , … , 𝜙𝑖𝑘 𝑢
∫Φ 𝜔.
5.11 Examples
𝜔 = 𝑥𝑑𝑦 + 𝑦𝑑𝑥.
Then
𝜔= 𝛾1 𝑡 𝛾2′ 𝑡 + 𝛾1 𝑡 𝛾1′ 𝑡 𝑑𝑡 = 𝛾1 1 𝛾2 1 − 𝛾1 0 𝛾2 0
𝛾 0
105
Space for Hints
𝛾 𝑡 = 𝑎 cos 𝑡 , 𝑏 sin 𝑡 0 ≤ 1 ≤ 2𝜋
2𝑥
whereas
2𝑥
0 ≤ 𝑟 ≤ 1, 0 ≤ 𝜃 ≤ 𝜋, 0 ≤ 𝜑 ≤ 2𝜋
Define Φ 𝑟, 𝜃, 𝜑 = 𝑥, 𝑦, 𝑧 , where
𝑥 = 𝑟 sin 𝜃 cos 𝜑
𝑦 = 𝑟 sin 𝜃 sin 𝜑
𝑧 = 𝑟 cos 𝜃
Then
𝜕 𝑥, 𝑦, 𝑧
𝐽Φ 𝑟, 𝜃, 𝜑 = = 𝑟 2 sin 𝜃
𝜕 𝑟, 𝜃, 𝜑
106
Space for Hints
Hence
4𝜋
∫Φ 𝑑𝑥⋀𝑑𝑦⋀𝑑𝑧 = ∫D 𝐽Φ = 3
(36)
Noete that Φ maps 𝐷 onto the closed unit ball of 𝑅 3 , that the mapping
is 1-1 in the interior of 𝐷 (but certain boundary points are identified by Φ),
and that the integral (36) is equal to the volue of Φ D .
Proof Let 𝐷 be the parameter domain of Φ (hence also of 𝑇Φ) and define ∆.
𝜔= 𝜔TΦ = 𝜔T Φ = 𝜔T
TΦ ∆ ∆ Φ
Definition(Affine simplexes)5.12
𝑓 𝑥 = 𝑓 0 + 𝐴𝑥 (73)
for some 𝐴 ∈ 𝐿 𝑋, 𝑌 .
𝑘
𝑢= 𝑖=1 𝛼𝑖 𝑒𝑖 (74)
107
Space for Hints
𝜎 = 𝑃0 , 𝑃1 , … , 𝑃𝑘 (75)
𝑘
𝜎 𝛼1 𝑒1 + ⋯ + 𝛼𝑘 𝑒𝑘 = 𝑃0 + 𝑖=1 𝛼𝑖 𝑃𝑖 − 𝑃0 (76)
𝜎 0 = 𝑃0 𝜎 𝑒𝑖 = 𝑃𝑖 (for 1 ≤ 𝑖 ≤ 𝑘) (77)
and that
𝜎 𝑢 = 𝑃0 + 𝐴𝑢 (𝑢 ∈ 𝑄 𝑘 ) (78)
𝜎 = 𝑠 𝑖0 , 𝑖1 , … , 𝑖𝑘 𝜎 (80)
equivalence relation, not an equality. However, for our purposes the notation
is justified by Theorem 5.13.
𝑓 = 𝜀𝑓 𝑃0
𝜎
5.13 Theorem
∫𝜎 𝜔 = 𝜀 ∫𝜎 𝜔
(81)
109
Space for Hints
𝜎 𝑢 = 𝑃𝑗 + 𝐵𝑢 𝑢 ∈ 𝑄𝑘
𝑥1 − 𝑥𝑗 , … , 𝑥𝑗 −1 − 𝑥𝑗 , 𝑥𝑗 +1 , … , 𝑥𝑘 − 𝑥𝑗
If we subtract the 𝑗th column from each of the others, none of the determinants
in (35) are affected, and we obtain columns 𝑥1 , … , 𝑥𝑗 −1 − 𝑥𝑗 , 𝑥𝑗 +1 , … , 𝑥𝑘 .
These differ from those of 𝐴 only in the sign of the 𝑗th column. Hence (81)
holds for this case.
110
Space for Hints
𝑟
∫Γ 𝜔 = 𝑖=1 ∫𝜎 𝑖 𝜔 (82)
Γ = 𝜎1 + ⋯ + 𝜎𝑟 (83)
𝑟
Γ= 𝑖=1 𝜎𝑖 (84)
Definition(Boundaries) 5.15
111
Space for Hints
𝜎 = 𝑃0 , 𝑃1 , … , 𝑃𝑘
𝑘 𝑗
𝜕𝜎 = 𝑗 =0 −1 𝑃0 , … , 𝑃𝑗 −1 , 𝑃𝑗 +1 , … , 𝑃𝑘 (85)
𝜕𝜎 = 𝑃1 , 𝑃2 − 𝑃0 , 𝑃2 + 𝑃0 , 𝑃1 = 𝑃0 , 𝑃1 + 𝑃1 , 𝑃2 + 𝑃2 , 𝑃0
𝜎𝑗 𝑢 = 𝑃0 + 𝐵𝑢 𝑢 ∈ 𝑄 𝑘−1 (86)
𝐵𝑒𝑖 = 𝑃𝑖 − 𝑃0 𝑖𝑓 1 ≤ 𝑖 ≤ 𝑗 − 1
𝐵𝑒𝑖 = 𝑃𝑖+1 − 𝑃0 𝑖𝑓 𝑗 ≤ 𝑖 ≤ 𝑘 − 1
The simples
𝜎0 = 𝑃0 , 𝑃1 , … , 𝑃𝑘
𝜎0 = 𝑃1 + 𝐵𝑢
112
Space for Hints
𝑟
∫Ψ 𝜔 = 𝑖=1 ∫Φ 𝑖 𝜔 (87)
𝑇 𝜎𝑖 = T𝜎𝑖 (88)
𝜕Φ = T 𝜕𝜎 (89)
𝜕Ψ = 𝜕Φ𝑖 (90)
113
Space for Hints
𝑒1 , 𝑒2 , 𝑒3 − 0, 𝑒2 , 𝑒3 + 0, 𝑒1 , 𝑒3 − 0, 𝑒1 , 𝑒2
𝜕Φ = T 𝜕𝜎0
𝜔= 𝜔
𝜕𝑇1 𝜕𝑇2
114
Space for Hints
hold for every 𝑛 − 1 -form 𝜔? The answer is yes, but we shall omit the
proof.
Ω = 𝐸1 ∪ … ∪ 𝐸𝑟
where 𝐸𝑖 = 𝑇𝑖 𝑄 𝑛 , each 𝑇𝑖 has the properties that 𝑇 had above, and the
interiors of the sets 𝐸𝑖 are pairwise disjoint. Then the 𝑛 − 1 -chain
𝜕𝑇1 + ⋯ + 𝜕𝑇𝑟 = 𝜕Ω
𝜎1 𝑢 = 𝑢, 𝜎1 𝑢 = 𝑒1 + 𝑒2 − 𝑢
𝜎1 = 0, 𝑒1 , 𝑒2 , 𝜎2 = 𝑒1 + 𝑒2 , 𝑒2 , 𝑒1
we have
𝜕𝜎1 = 𝑒1 , 𝑒2 − 0, 𝑒2 + 0, 𝑒1
𝜕𝜎2 = 𝑒2 , 𝑒1 − 𝑒1 + 𝑒2 , 𝑒1 + 𝑒1 + 𝑒2 , 𝑒2
𝜕𝐼 2 = 0, 𝑒1 − 𝑒1 , 𝑒1 + 𝑒2 + 𝑒1 + 𝑒2 , 𝑒2 + 𝑒2 , 0
Φ ∘ 𝜎1 + Φ ∘ 𝜎2
Thus
𝜕Φ = 𝜕 Φ ∘ 𝜎1 + 𝜕 Φ ∘ 𝜎2
= Φ 𝜕𝜎1 + Φ 𝜕𝜎2 = Φ 𝜕𝐼 2
Example 5.18
𝜕 = 𝜕𝐷 = 𝛾1 + 𝛾2 + 𝛾3 + 𝛾4
where
𝛾1 𝑢 = 𝑢, 0 = sin 𝑢 , 0, cos 𝑢
𝛾2 𝑢 = 𝜋, 𝑣 = 0, 0, −1
𝛾3 𝑢 = 𝜋 − 𝑢, 2𝜋 = sin 𝑢 , 0, − cos 𝑢
𝛾4 𝑢 = 0,2𝜋 − 𝑣 = 0, 0, 1
Since 𝛾2 and 𝛾4 are constant, their derivatives are 0, hence the integral
of any 1-form over 𝛾2 or 𝛾4 is 0. [See Example 1.12 (a).]
116
Space for Hints
𝜔=− 𝜔
𝛾3 𝛾1
Theorem 5.19
∫Ψ 𝑑𝜔 = ∫𝜕Ψ 𝜔 (91)
∫Φ 𝑑𝜔 = ∫𝜕Φ 𝜔 (92)
117
Space for Hints
𝜎 = 𝑒0 , 𝑒1 , … , 𝑒𝑘
𝑑𝜔 = 𝑑𝜔 𝑇 = 𝑑 𝜔 𝑇
T𝜎 𝜎 𝜎
𝑑𝜔 = 𝑑𝜔 𝑇 = 𝑑 𝜔 𝑇
𝜕 T𝜎 𝑇 𝜕𝜎 𝜕𝜎
for the special simplex (93) and for every 𝑘 − 1 -form 𝜆 of class 𝒞 ′ in 𝐸.
1
∫0 𝑓 ′ 𝑢 = 𝑓 1 − 𝑓 0 (95)
118
Space for Hints
𝜎 = 𝑒0 , 𝑒1 , … , 𝑒𝑘 + −1 𝑖 𝜏𝑖
𝑖=1
where
𝜏𝑖 = 0, 𝑒1 , … , 𝑒𝑖−1 , 𝑒𝑖+1 , … 𝑒𝑘
for 1 = 1, … , 𝑘. put
𝜏0 = 𝑒𝑟 , 𝑒1 , … , 𝑒𝑟−1 , 𝑒𝑟+1 , … 𝑒𝑘
𝑟−1 𝑘
𝜕𝜎 = −1 𝜏0 + 𝑖=1 −1 𝑖 𝜏𝑖 (97)
If 1 ≤ 𝑖 ≤ 𝑘, 𝑢 ∈ 𝑄 𝑘−1 , then
𝑢𝑗 1 ≤ 𝑗 ≤ 𝑟 ,
𝑥𝑗 = 1 − 𝑢1 + ⋯ + 𝑢𝑘−1 𝑗 = 𝑟 , (98)
𝑢𝑗 −1 𝑖 < 𝑗 ≤ 𝑘 .
𝑢𝑗 1 ≤ 𝑗 ≤ 𝑟 ,
𝑥𝑗 = 0 𝑗 = 𝑟 , (99)
𝑢𝑗 −1 𝑖 < 𝑗 ≤ 𝑘 .
induced by 𝜏𝑖 . When 𝑖 = 0 and when = 𝑟 , (98) and (99) show that (100) is the
identity mapping. Thus 𝐽0 = 1, 𝐽𝑟 = 1. For other 𝑖, the fact that 𝑥𝑖 = 0 in (99)
shows that 𝐽𝑖 has a row of zeros, 𝐽𝑖 = 0. Thus
∫𝜏 𝜆 = 0 𝑖 ≠ 0, 𝑖 ≠ 𝑟 (101)
𝑖
𝑟−1 𝑟−1
∫𝜕𝜎 𝜆 = −1 ∫𝜏 𝜆 + −1 ∫𝜏 𝜆 (102)
0 𝑟
𝑟−1
= −1 ∫ 𝑓 𝜏0 𝑢 − 𝑓 𝜏𝑟 𝑢 𝑑𝑢
𝑟−1
= −1 𝐷𝑟 𝑓 𝑥 𝑑𝑥1 ⋀ … ⋀𝑑𝑥𝑘
so that
𝑟−1
∫𝜎 𝑑𝜆 = −1 ∫𝑄 𝑘 𝐷𝑟 𝑓 𝑥 𝑑𝑥 (103)
120
Space for Hints
Definition 5.20
Remarks 5.21
𝑛
𝜔= 𝑖=1 𝑓𝑖 𝑥 𝑑𝑥𝑖 (104)
𝐷𝑖 𝑓𝑖 𝑥 = 𝐷𝑖 𝑓𝑖 𝑥 (105)
CYP QUESTIONS:
1. Show that the simplex 𝑄 𝑘 is the sn1al lest convex subset of 𝑅 𝑘 that
contains0, 𝑒1 , … , 𝑒𝑘 .
121
Space for Hints
122