Top Banner
Calculus on Manifolds A Solution Manual for Spivak (1965) Jianfei Shen School of Economics, The University of New South Wales Sydney, Australia 2010
63

Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

Aug 02, 2018

Download

Documents

phamkhue
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

Calculus on Manifolds

A Solution Manual for Spivak (1965)

Jianfei Shen

School of Economics, The University of New South Wales

Sydney, Australia 2010

Page 2: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales
Page 3: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

Contents

1 Functions on Euclidean Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.1 Norm and Inner Product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2 Subsets of Euclidean Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.3 Functions and Continuity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Differentiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2.2 Basic Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

2.3 Partial Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

2.4 Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

2.5 Inverse Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

2.6 Implicit Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

3 Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

3.1 Basic Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

3.2 Measure Zero and Content Zero . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

3.3 Fubini’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

4 Integration on Chains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

4.1 Algebraic Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

iii

Page 4: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales
Page 5: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

1FUNCTIONS ON EUCLIDEAN SPACE

1.1 Norm and Inner Product

I Exercise 1 (1-1�). Prove that kxk 6PniD1

ˇ̌̌xiˇ̌̌.

Proof. Let x D�x1; : : : ; xn

�. Then0@ nX

iD1

ˇ̌̌xiˇ̌̌1A2 D nX

iD1

�xi�2C

Xi¤j

ˇ̌̌xixj

ˇ̌̌>

nXiD1

�xi�2D kxk

2 :

Taking the square root of both sides gives the result. ut

I Exercise 2 (1-2). When does equality hold in Theorem 1-1 (3)�kx C yk 6 kxk C kyk

�?

Proof. We reprove thatˇ̌hx;yi

ˇ̌6 kxk � kyk for every x;y 2 Rn. Obviously, if

x D 0 or y D 0, then hx;yi D kxk � kyk D 0. So we assume that x ¤ 0 and y ¤ 0.

We first find some w 2 Rn and ˛ 2 R such that hw; ˛yi D 0. Write w D x � ˛y .

Then

0 D hw; ˛yi D hx � ˛y; ˛yi D ˛ hx;yi � ˛2 kyk2

implies that

˛ D hx;yiıkyk

2 :

Then

kxk2D kwk

2C k˛yk

2 > k˛yk2D

�hx;yi

kyk

�2:

Hence,ˇ̌hx;yi

ˇ̌6 kxk � kyk. Particularly, the above display holds with equality if

and only if kwk D 0, if and only if w D 0, if and only if x � ˛y D 0, if and only

if x D ˛y .

Since

kx C yk2D hx C y;x C yi D kxk

2C kyk

2C 2 hx;yi 6 kxk2 C kyk2 C 2 kxk � kyk

D�kxk C kyk

�2;

1

Page 6: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

2 CHAPTER 1 FUNCTIONS ON EUCLIDEAN SPACE

equality holds precisely when hx;yi D kxk�jjyjj, i.e., when one is a nonnegative

multiple of the other. ut

I Exercise 3 (1-3). Prove that kx � yk 6 kxk C kyk. When does equality hold?

Proof. By Theorem 1-1 (3) we have kx � yk D kx C .�y/k 6 kxk C k�yk D

kxkC kyk. The equality holds precisely when one vector is a non-positive mul-

tiple of the other. ut

I Exercise 4 (1-4). Prove thatˇ̌kxk � kyk

ˇ̌6 kx � yk.

Proof. We have kx � yk2DPniD1

�xi � yi

�2D kxk

2C kyk

2� 2

PniD1 xiyi >

kxk2C kyk

2� 2 kxk kyk D

�kxk � kyk

�2. Taking the square root of both sides

gives the result. ut

I Exercise 5 (1-5). The quantity ky � xk is called the distance between x and y .

Prove and interpret geometrically the “triangle inequality”: kz � xk 6 kz � ykC

ky � xk.

Proof. The inequality follows from Theorem 1-1 (3):

kz � xk D k.z � y/C .y � x/k 6 kz � yk C ky � xk :

Geometrically, if x, y , and z are the vertices of a triangle, then the inequality

says that the length of a side is no larger than the sum of the lengths of the

other two sides. ut

I Exercise 6 (1-6). If f and g be integrable on Œa; b�.

a. Prove thatˇ̌̌R baf � g

ˇ̌̌6�R baf 2� 1

2

�R bag2� 1

2

.

b. If equality holds, must f D �g for some � 2 R? What if f and g are continu-

ous?

c. Show that Theorem 1-1 (2) is a special case of (a).

Proof.

a. Theorem 1-1 (2) implies the inequality of Riemann sums:ˇ̌̌̌ˇ̌Xi

f .xi / g .xi /�xi

ˇ̌̌̌ˇ̌ 6

0@Xi

f .xi /2�xi

1A1=20@Xi

g .xi /2�xi

1A1=2 :Taking the limit as the mesh approaches 0, one gets the desired inequality.

b. No. We could, for example, vary f at discrete points without changing

the values of the integrals. If f and g are continuous, then the assertion

is true. In fact, suppose that for each � 2 R, there is an x 2 Œa; b� with

Page 7: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 1.1 NORM AND INNER PRODUCT 3�f .x/ � �g .x/

�2> 0. Then the inequality holds true in an open neighbor-

hood of x since f and g are continuous. SoR ba

�f � �g

�2> 0 since the in-

tegrand is always non-negative and is positive on some subinterval of Œa; b�.

Expanding out givesR baf 2 � 2�

R baf � g C �2

R bag2 > 0 for all �. Since the

quadratic has no solutions, it must be that its discriminant is negative.

c. Let a D 0, b D n, f .x/ D xi and g .x/ D yi for all x 2 Œi � 1; i/ for i D 1; : : : ; n.

Then part (a) gives the inequality of Theorem 1-1 (2). Note, however, that

the equality condition does not follow from (a). ut

I Exercise 7 (1-7). A linear transformation M W Rn ! Rn is called norm pre-

serving if kM xk D kxk, and inner product preserving if hM x;M yi D hx;yi.

a. Prove that M is norm preserving if and only if M is inner product preserving.

b. Prove that such a linear transformation M is 1-1 and M�1 is of the same sort.

Proof.

(a) If M is norm preserving, then the polarization identity together with the

linearity of M give:

hM x;M yi DkM x CM yk

2� kM x �M yk

2

4

DkM .x C y/k2 � kM .x � y/k2

4

Dkx C yk

2� kx � yk

2

4

D hx;yi :

If M is inner product preserving, then one has by Theorem 1-1 (4):

kM xk DphM x;M xi D

phx;xi D kxk :

(b) Take any M x;M y 2 Rn with M x D M y . Then M x �M y D 0 and so

0 D hM x �M y;M x �M yi D hx � y;x � yi I

but the above equality forces x D y ; that is, M is 1-1.

Since M 2 L.Rn/ and M is injective, it is invertible; see Axler (1997, Theorem

3.21). Hence, M�1 2 L.Rn/ exists. For every x;y 2 Rn, we have

kM�1 xk D

M �M�1 x

� D kxk ;and D

M�1 x;M�1 yED

�M�M�1 x

�;M

�M�1 y

��D hx;yi :

Therefore, M�1 is also norm preserving and inner product preserving. ut

Page 8: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

4 CHAPTER 1 FUNCTIONS ON EUCLIDEAN SPACE

I Exercise 8 (1-8). If x;y 2 Rn are non-zero, the angle between x and y ,

denoted † .x;y/, is defined as arccos�hx;yi

ıkxk � kyk

�, which makes sense by

Theorem 1-1 (2). The linear transformation T is angle preserving if T is 1-1, and

for x;y ¤ 0 we have † .Tx;Ty/ D † .x;y/.

a. Prove that if T is norm preserving, then T is angle preserving.

b. If there is a basis .x1; : : : ;xn/ of Rn and numbers �1; : : : ; �n such that Txi D

�ixi , prove that T is angle preserving if and only if all j�i j are equal.

c. What are all angle preserving T W Rn ! Rn?

Proof.

(a) If T is norm preserving, then T is inner product preserving by the previous

exercise. Hence, for x;y ¤ 0,

† .Tx;Ty/ D arccos

�hTx;Tyi

kTxk � kTyk

�D arccos

�hx;yi

kxk � kyk

�D † .x;y/ :

(b) We first suppose that T is angle preserving. Since .x1; : : : ;xn/ is a basis of

Rn, all xi ’s are nonzero. Since

†�Txi ;Txj

�D arccos

˝Txi ;Txj

˛kTxik �

Txj !D arccos

˝�ixi ; �jxj

˛k�ixik �

�jxj !

D arccos

�i�j

˝xi ;xj

˛j�i j �

ˇ̌�jˇ̌� kxik � kxj k

!D †

�xi ;xj

�;

it must be the case that

�i�j Dj�i j �ˇ̌�jˇ̌:

Then �i and �j have the same signs. ut

I Exercise 9 (1-9). If 0 6 � < � , let T W R2 ! R2 have the matrix

A D

cos � sin �

� sin � cos �

!:

Show that T is angle preserving and if x ¤ 0, then † .x;Tx/ D � .

Proof. For every�x; y

�2 R2, we have

T�x; y

�D

cos � sin �

� sin � cos �

! x

y

!D

x cos � C y sin �

�x sin � C y cos �

!:

Therefore, T �x; y� 2 D x2 C y2 D �x; y� 2 Ithat is, T is norm preserving. Then it is angle preserving by Exercise 8 (a).

Page 9: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 1.1 NORM AND INNER PRODUCT 5

Let x D .a; b/ ¤ 0. We first have

hx;Txi D a .a cos � C b sin �/C b .�a sin � C b cos �/ D�a2 C b2

�cos �:

Hence,

† .x;Tx/ D arccos

�hx;Txi

kxk � kTxk

�D arccos

�a2 C b2

�cos �

a2 C b2

!D �: ut

I Exercise 10 (1-10�). If M W Rm ! Rn is a linear transformation, show that

there is a number M such that kM hk 6M khk for h 2 Rm.

Proof. Let M’s matrix be

A D

�a11 � � � a1m:::

: : ::::

an1 � � � anm

˘

´

�a1

:::

an

˘

:

Then

M h D Ah D

� ˝a1;h

˛:::

han;hi

˘

;

and so

kM hk2D

nXiD1

Dai ;h

E26

nXiD1

�kaik � khk

�2D

0@ nXiD1

kaik2

1A � khk2 ;that is,

kM hk 6

0B@p

nXiD1

kaik

1CA � khk :

Let M D

pnXiD1

kaik and we get the result. ut

I Exercise 11 (1-11). If x;y 2 Rn and z;w 2 Rm, show that h.x; z/ ; .y;w/i D

hx;yi C hz;wi and k.x; z/k Dqkxk

2C kzk

2.

Proof. We have .x; z/ ; .y;w/ 2 RnCm. Then

h.x; z/ ; .y;w/i D

nXiD1

xiyi C

mXjD1

zjwj D hx;yi C hz;wi ;

and

k.x; z/k2 D h.x; z/ ; .x; z/i D hx;xi C hz; zi D kxk2 C kzk2 : ut

Page 10: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

6 CHAPTER 1 FUNCTIONS ON EUCLIDEAN SPACE

I Exercise 12 (1-12�). Let .Rn/� denote the dual space of the vector space Rn. If

x 2 Rn, define 'x 2 .Rn/� by 'x .y/ D hx;yi. Define M W Rn ! .Rn/� by M x D 'x .

Show that M is a 1-1 linear transformation and conclude that every ' 2 .Rn/� is

'x for a unique x 2 Rn.

Proof. We first show M is linear. Take any x;y 2 Rn and a; b 2 R. Then

M .ax C by/ D 'axCby D a'x C b'y D aM x C bM y;

where the second equality holds since for every z 2 Rn,

'axCby .z/ D hax C by; zi D a hx; zi C b hy; zi D a'x .z/C b'y .z/ :

To see M is 1-1, we need only to show that ıM D f0g, where ıM is the null set

of M. But this is clear and so M is 1-1. Since dim .Rn/� D dim Rn, M is also onto.

This proves the last claim. ut

I Exercise 13 (1-13�). If x;y 2 Rn, then x and y are called perpendicular (or

orthogonal) if hx;yi D 0. If x and y are perpendicular, prove that kx C yk2D

kxk2C kyk

2.

Proof. If hx;yi D 0, we have

kx C yk2D hx C y;x C yi D kxk

2C 2 hx;yi C kyk2 D kxk2 C kyk2 : ut

1.2 Subsets of Euclidean Space

I Exercise 14 (1-14�). Simple. Omitted.

I Exercise 15 (1-15). Prove that˚x 2 Rn W kx � ak < r

is open.

Proof. For any y 2˚x 2 Rn W kx � ak < r

µ B.aI r/, let " D r�ka;yk. We show

that B.yI "/ � B.aI r/. Take any z 2 B.yI "/. Then

ka; zk 6 ka;yk C ky; zk < ka;yk C " D r: ut

I Exercise 16 (1-16). Simple. Omitted.

I Exercise 17 (1-17). Omitted.

Page 11: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 1.2 SUBSETS OF EUCLIDEAN SPACE 7

I Exercise 18 (1-18). If A � Œ0; 1� is the union of open intervals .ai ; bi / such

that each rational number in .0; 1/ is contained in some .ai ; bi /, show that @A D

Œ0; 1� X A.

Proof. Let X ´ Œ0; 1�. Obviously, A is open since A DSi .ai ; bi /. Then X X A

is closed in X and so X X A D X X A. Since @A D xA \ X X A D xA \ .X X A/, it

suffices to show that

X X A � xA: (1.1)

But (1.1) holds if and only if xA D X . Now take any x 2 X and any open nhood

U of x in X . Since Q is dense, there exists y 2 U . Since there exists some i such

that y 2 .ai ; bi /, we know that U \ .ai ; bi / ¤ ¿, which means that U \ A ¤ ¿,

which means that x 2 xA. Hence, X D xA, i.e., A is dense in X . ut

I Exercise 19 (1-19�). If A is a closed set that contains every rational number

r 2 Œ0; 1�, show that Œ0; 1� � A.

Proof. Take any r 2 .0; 1/ and any open interval r 2 I � .0; 1/. Then there

exists q 2 Q\ .0; 1/ such that q 2 I . Since q 2 A, we know that r 2 xA D A. Since

0; 1 2 A, the claim holds. ut

I Exercise 20 (1-20). Prove the converse of Corollary 1-7: A compact subset of

Rn is closed and bounded.

Proof. To show A is closed, we prove that Ac is open. Assume that x … A,

and let Gm D˚y 2 Rn W kx � yk > 1=m

, m D 1; 2; : : :. If y 2 A, then x ¤ y ;

hence, kx � yk > 1=m for some m; therefore y 2 Gm (see Figure 1.1). Thus,

A �S1mD1Gm, and by compactness we have a finite subcovering. Now observe

that the Gm for an increasing sequence of sets: G1 � G2 � � � � ; therefore, a

finite union of some of the Gm is equal to the set with the highest index. Thus,

K � Gs for some s, and it follows that B.xI 1=s/ � Ac . Therefore, Ac is open.

1=m

xA

Figure 1.1. A compact set is closed

Let A be compact. We first show that A is bounded. Let

Page 12: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

8 CHAPTER 1 FUNCTIONS ON EUCLIDEAN SPACE

O D˚.�i; i/n W i 2 N

be an open cover of A. Then there is a finite subcover

˚.�i1; i1/

n ; : : : ; .�im; im/n

of A. Let i 0 D max fi1; : : : ; img. Hence, A ���i 0; i 0

�; that is, A is bounded. ut

I Exercise 21 (1-21�).

a. If A is closed and x … A, prove that there is a number d > 0 such that

ky � xk > d for all y 2 A.

b. If A is closed, B is compact, and A \ B D ¿, prove that there is d > 0 such

that ky � xk > d for all y 2 A and x 2 B .

c. Give a counterexample in R2 if A and B are closed but neither is compact.

Proof.

(a) A is closed implies that Ac is open. Since x 2 Ac , there exists an open ball

B.xI d/ with d > 0 such that x 2 B.xI d/ � Ac . Then ky � xk > d for all y 2 A.

(b) For every x 2 B , there exists dx > 0 such that x 2 B.xI dx=2/ � Ac and

ky � xk > dx for all y 2 A. Then the family fB.xI dx=2/ W x 2 Bg is an open

cover of B . Since B is compact, there is a finite set fx1; : : : ; xng such that˚B.x1I dx1

=2/; : : : ;B.xnI dxn=2/

covers B as well. Now let

d D min˚dx1

=2; : : : ; dxn=2.2:

Then for any x 2 B , there is an open ball B.xi I xi=2/ containing x and ky � xik >di . Hence,

ky � xk > ky � xik � kxi � xk > di � di=2 D di=2 > d:

(c) See Figure 1.2.

0

Figure 1.2.ut

Page 13: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 1.3 FUNCTIONS AND CONTINUITY 9

I Exercise 22 (1-22�). If U is open and C � U is compact, show that there is a

compact set D such that C � DB and D � U .

Proof. ut

1.3 Functions and Continuity

I Exercise 23 (1-23). If f W A ! Rm and a 2 A, show that limx!a f .x/ D b if

and only if limx!a fi .x/ D bi for i D 1; : : : ; m.

Proof. Let f W A! Rm and a 2 A.

If: Assume that limx!a fi .x/ D bi for i D 1; : : : ; m. Then for every "=

pm > 0,

there is a number ıi > 0 such that f i .x/ � bi < "=

pm for all x 2 A which

satisfy 0 < kx � ak < ıi , for every i D 1; : : : ; m. Put

ı D min fı1; : : : ; ımg :

Then for all x 2 A satisfying 0 < kx � ak < ı, f i .x/ � bi < "pm; i D 1; : : : ; m:

Therefore, for every x 2 A which satisfy 0 < kx � ak < ı,

kf .x/ � bk D

pmXiD1

�f i .x/ � bi

�2<

pmXiD1

�"2=m

�D "I

that is, limx!a f .x/ D b.

Only if: Now suppose that limx!a f .x/ D b. Then for every number " > 0

there is a number ı > 0 such that kf .x/ � bk < " for all x 2 A which satisfy

0 < kx � ak < ı. But then for every i D 1; : : : ; m, f i .x/ � bi 6 kf .x/ � bk < ";i.e. limx!a f

i .x/ D bi . ut

I Exercise 24 (1-24). Prove that f W A ! Rm is continuous at a if and only if

each f i is.

Proof. By definition, f is continuous at a if and only if limx!a f .x/ D

f .a/; it follows from Exercise 23 that limx!a f .x/ D f .a/ if and only if

limx!a fi .x/ D f i .a/ for every i D 1; : : : ; m; that is, if and only if f i is contin-

uous at a for each i D 1; : : : ; m. ut

I Exercise 25 (1-25). Prove that a linear transformation T W Rn ! Rm is con-

tinuous.

Page 14: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

10 CHAPTER 1 FUNCTIONS ON EUCLIDEAN SPACE

Proof. Take any a 2 Rn. Then, by Exercise 10 (1-10), there exists M > 0 such

that

Tx � Ta D T .x � a/ 6M kx � ak :

Hence, for every " > 0, let ı D "=M . Then Tx � Ta < " when x 2 Rn and

0 < kx � ak < ı D "=M ; that is, limx!a Tx D Ta, and so T is continuous. ut

I Exercise 26 (1-26). Let A Dn�x; y

�2 R2 W x > 0 and 0 < y < x2

o.

a. Show that every straight line through .0; 0/ contains an interval around .0; 0/

which is in R2 X A.

b. Define f W R2 ! R by f .x/ D 0 if x … A and f .x/ D 1 if x 2 A. For h 2 R2

define gh W R! R by gh .t/ D f .th/. Show that each gh is continuous at 0, but

f is not continuous at .0; 0/.

Proof.

(a) Let the line through .0; 0/ be y D ax. If a 6 0, then the whole line is in

R2 XA. If a > 0, then ax intersects x2 at�a; a2

�and .0; 0/ and nowhere else; see

Figure 1.3.

0 x

y

yDx2

yDax

A

Figure 1.3.

(b) We first show that f is not continuous at 0. Clearly, f .0/ D 0 since 0 … A.

For every ı > 0, there exists x 2 A satisfying 0 < kxk < ı, butjf .x/ � f .0/j D 1.

We next show gh .t/ D f .th/ is continuous at 0 for every h 2 R2. If h D 0,

then g0 .t/ D f .0/ D 0 and so is continuous. So we now assume that h ¤ 0. It

is clear that

gh .0/ D f .0/ D 0:

The result is now from (a) immediately. ut

Page 15: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 1.3 FUNCTIONS AND CONTINUITY 11

I Exercise 27 (1-27). Prove that˚x 2 Rn W kx � ak < r

is open by considering

the function f W Rn ! R with f .x/ D kx � ak.

Proof. We first show that f is continuous. Take a point b 2 Rn. For any " > 0,

let ı D ". Then for every x satisfying kx � bk < ı, we have

jf .x/ � f .b/j Dˇ̌kx � ak � kb � ak

ˇ̌6 kx � ak � kb � ak 6 kx � bk < ı D ":

Hence,˚x 2 Rn W kx � ak < r

D f �1 .�1; r/ is open in Rn. ut

I Exercise 28 (1-28). If A � Rn is not closed, show that there is a continuous

function f W A! R which is unbounded.

Proof. Take any x 2 @A. Let f .y/ D 1= ky � xk for all y 2 A. ut

I Exercise 29 (1-29). Simple. Omitted.

I Exercise 30 (1-30). Let f W Œa; b�! R be an increasing function. If x1; : : : ; xn 2

Œa; b� are distinct, show thatPniD1 o

�f; xi

�< f .b/ � f .a/.

Proof. ut

Page 16: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales
Page 17: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

2DIFFERENTIATION

2.1 Basic Definitions

I Exercise 31 (2-1�). Prove that if f W Rn ! Rm is differentiable at a 2 Rn, then

it is continuous at a.

Proof. Let f be differentiable at a 2 Rn; then there exists a linear map � W Rn !

Rm such that

limh!0

kf .aC h/ � f .a/ � �.h/k

khkD 0;

or equivalently,

f .aC h/ � f .a/ D �.h/C r.h/; (2.1)

where the remainder r.h/ satisfies

limh!0kr.h/k

ıkhk D 0: (2.2)

Let h! 0 in (2.1). The error term r.h/! 0 by (2.2); the linear term �.h/ aslo

tends to 0 because if h DPniD1 hiei , where .e1; : : : ; en/ is the standard basis of

Rn, then by linearity we have �.h/ DPniD1 hi�.ei /, and each term on the right

tends to 0 as h! 0. Hence,

limh!0

�f .aC h/ � f .a/

�D 0I

that is, limh!0 f .aC h/ D f .a/. Thus, f is continuous at a. ut

I Exercise 32 (2-2). A function f W R2 ! R is independent of the second vari-

able if for each x 2 R we have f .x; y1/ D f .x; y2/ for all y1; y2 2 R. Show that f

is independent of the second variable if and only if there is a function g W R! R

such that f .x; y/ D g.x/. What is f 0.a; b/ in terms of g0?

Proof. The first assertion is trivial: if f is independent of the second variable,

we can let g be defined by g.x/ D f .x; 0/. Conversely, if f .x; y/ D g.x/, then

f .x; y1/ D g.x/ D f .x; y2/.

If f is independent of the second variable, then

13

Page 18: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

14 CHAPTER 2 DIFFERENTIATION

lim.h;k/!0

ˇ̌f .aC h; b C k/ � f .a; b/ � g0.a/h

ˇ̌k.h; k/k

D lim.h;k/!0

ˇ̌g.aC h/ � g.a/ � g0.a/h

ˇ̌k.h; k/k

6 limh!0

ˇ̌g.aC h/ � g.a/ � g0.a/h

ˇ̌jhj

D 0I

hence, f 0.a; b/ D .g0.a/; 0/. ut

I Exercise 33 (2-3). Define when a function f W R2 ! R is independent of the

first variable and find f 0.a; b/ for such f . Which functions are independent of

the first variable and also of the second variable?

Proof. We have f 0.a; b/ D .0; g0.b// with a similar argument as in Exercise 32.

If f is independent of the first and second variable, then for any .x1; y1/,

.x2; y2/ 2 R2, we have f .x1; y1/ D f .x2; y1/ D f .x2; y2/; that is, f is con-

stant. ut

I Exercise 34 (2-4). Let g be a continuous real-valued function on the unit

circle˚x 2 R2 W kxk D 1

such that g.0; 1/ D g.1; 0/ D 0 and g.�x/ D �g.x/.

Define f W R2 ! R by

f .x/ D

˚kxk � g

�xıkxk

�if x ¤ 0;

0 if x D 0:

a. If x 2 R2 and h W R ! R is defined by h.t/ D f .tx/, show that h is differen-

tiable.

b. Show that f is not differentiable at .0; 0/ unless g D 0.

Proof. (a) If x D 0 or t D 0, then h.t/ D f .0/ D 0; if x ¤ 0 and t > 0,

h.t/ D f .tx/ D t kxk � g

�tx

t kxk

�D

hkxk � g

�x= kxk

�i� t D f .x/t I

finally, if x ¤ 0 and t < 0,

h.t/ D f .tx/ D �t kxk � g

�tx

�t kxk

�D �t kxk � g

��x= kxk

�D

hkxk � g

�x= kxk

�i� t

D f .x/t:

Therefore, h.t/ D f .x/t for every given x 2 R2, and so is differentiable: Dh D h.

(b) Since g.1; 0/ D 0 and g.�x/ D �g.x/, we have g.�1; 0/ D g.�.1; 0// D

�g.1; 0/ D 0. If f is differentiable at .0; 0/, there exists a matrix .a; b/ such that

Df .0; 0/.h; k/ D ahC bk. First consider any sequence .h; 0/! .0; 0/. Then

Page 19: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.1 BASIC DEFINITIONS 15

0 D limh!0

jf .h; 0/ � f .0; 0/ � ahj

jhjD limh!0

ˇ̌̌jhj � g

�h=jhj ; 0

�� ah

ˇ̌̌jhj

D limh!0

ˇ̌jhj � g .˙1; 0/ � ah

ˇ̌jhj

Djaj

implies that a D 0. Next let us consider .0; k/! .0; 0/. Then

0 D limk!0

jf .0; k/ � f .0; 0/ � bkj

jkjD limk!0

ˇ̌̌jkj � g

�0; k=jkj

�� bk

ˇ̌̌jkj

Djbj

forces that b D 0. Therefore, f 0.0; 0/ D .0; 0/ and Df .0; 0/.x; y/ D 0. If g.x/ ¤ 0,

then

limx!0

jf .x/ � f .0/ � 0j

kxkD lim

x!0

ˇ̌̌kxk � g

�x= kxk

�ˇ̌̌kxk

D limx!0

ˇ̌̌g�x= kxk

�ˇ̌̌¤ 0;

and so f is not differentiable.

Of course, if g.x/ D 0, then f .x/ D 0 and is differentiable. ut

I Exercise 35 (2-5). Let f W R2 ! R be defined by

f .x; y/ D

�x jyj

�qx2 C y2 if .x; y/ ¤ 0;

0 if .x; y/ D 0:

Show that f is a function of the kind considered in Exercise 34, so that f is not

differentiable at .0; 0/.

Proof. If .x; y/ ¤ 0, we can rewrite f .x; y/ as

f .x; y/ Dx �jyjqx2 C y2

Dx �jyj

k.x; y/kD k.x; y/k �

�x

k.x; y/k�jyj

k.x; y/k

�: (2.3)

If we let g W˚x 2 R2 W kxk D 1

! R be defined as g.x; y/ D x �jyj, then (2.3) can

be rewritten as

f .x; y/ D k.x; y/k � g..x; y/= k.x; y/k/:

It is easy to see that

g.0; 1/ D g.1; 0/ D 0; and g.�x;�y/ D �xj�yj D �xjyj D �f .x; y/I

that is, g satisfies all of the properties listed in Exercise 34. Since g.x/ ¤ 0

unless x D 0 or y D 0, we know that f is not differentiable at 0. A direct proof

can be found in Berkovitz (2002, Section 1.11). ut

I Exercise 36 (2-6). Let f W R2 ! R be defined by f .x; y/ Dpjxyj. Show that

f is not differentiable at .0; 0/.

Page 20: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

16 CHAPTER 2 DIFFERENTIATION

Proof. It is clear that

limh!0

jf .h; 0/j

jhjD 0 D lim

k!0

jf .0; k/j

jkjI

hence, if f is differentiable at .0; 0/, it must be that Df .0; 0/.x; y/ D 0 since

derivative is unique if it exists. However, if we let h D k > 0, and take a

sequence f.h; h/g ! .0; 0/, we have

lim.h;h/!.0;0/

jf .h; h/ � f .0; 0/ � 0j

k.h; h/kD lim.h;h/!.0;0/

ph2

k.h; h/kD

1p2¤ 0:

Therefore, f is not differentiable. ut

I Exercise 37 (2-7). Let f W R2 ! R be a function such that jf .x/j 6 kxk2. Show

that f is differentiable at 0.

Proof. jf .0/j 6 k0k2 D 0 implies that f .0/ D 0. Since

limx!0

jf .x/ � f .0/j

kxkD lim

x!0

jf .x/j

kxk6 lim

x!0kxk D 0;

Df .0/.x; y/ D 0. ut

I Exercise 38 (2-8). Let f W R ! R2. Prove that f is differentiable at a 2 R if

and only if f 1 and f 2 are, and that in this case

f 0.a/ D

.f 1/0.a/

.f 2/0.a/

!:

Proof. Suppose that f is differentiable at a with f 0.a/ D

c1

c2

!. Then for i D

1; 2,

0 6 limh!0

ˇ̌̌f i .aC h/ � f i .a/ � ci � h

ˇ̌̌jhj

6 limh!0

kf .aC h/ � f .a/ � Df .a/.h/k

jhjD 0

implies that f i is differentiable at a with .f i /0.a/ D ci .

Now suppose that both f 1 and f 2 are differentiable at a, then by Exercise 1,

0 6kf .aC h/ � f .a/ � Df .a/.h/k

jhj6

2XiD1

ˇ̌̌f i .aC h/ � f i .a/ � .f i /0.a/ � h

ˇ̌̌jhj

implies that f is differentiable at a with f 0.a/ D

.f 1/0.a/

.f 2/0.a/

!. ut

I Exercise 39 (2-9). Two functions f; g W R! R are equal up to n-th order at a

if

Page 21: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.1 BASIC DEFINITIONS 17

limh!0

f .aC h/ � g.aC h/

hnD 0:

a. Show that f is differentiable at a if and only if there is a function g of the

form g.x/ D a0C a1.x � a/ such that f and g are equal up to first order at a.

b. If f 0.a/; : : : ; f .n/.a/ exist, show that f and the function g defined by

g.x/ D

nXiD0

f .i/.a/

i Š.x � a/i

are equal up to n-th order at a.

Proof. (a) If f is differentiable at a, then by definition,

limh!0

f .aC h/ ��f .a/C f 0.a/ � h

�h

D 0;

so we can let g.x/ D f .a/C f 0.a/ � .x � a/.

On the other hand, if there exists a function g.x/ D a0 C a1.x � a/ such that

limh!0

f .aC h/ � g.aC h/

hD limh!0

f .aC h/ � a0 � a1h

hD 0;

then a0 D f .a/, and so f is differentiable at a with f 0.a/ D a1.

(b) By Taylor’s Theorem1 we rewrite f as

f .x/ D

n�1XiD0

f .i/.a/

i Š.x � a/i C

f .n/.y/

nŠ.x � a/n;

where y is between a and x. Thus,

limx!a

f .x/ � g.x/

.x � a/nD limx!a

f .n/.y/nŠ

.x � a/n � f .n/.a/nŠ

.x � a/n

.x � a/n

D limx!a

f .n/.y/ � f .n/.x/

D 0: ut

1 (Rudin, 1976, Theorem 5.15) Suppose f is a real function on Œa; b�, n is a positive integer,f .n�1/ is continuous on Œa; b�, f .n/ exists for every t 2 .a; b/. Let ˛, ˇ be distinct points ofŒa; b�, and define

P.t/ D

n�1XkD0

f .k/.˛/

kŠ.t � ˛/k :

Then there exists a point x between ˛ and ˇ such that

f .ˇ/ D P.ˇ/Cf .n/.x/

nŠ.ˇ � ˛/n:

Page 22: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

18 CHAPTER 2 DIFFERENTIATION

2.2 Basic Theorems

I Exercise 40 (2-10). Use the theorems of this section to find f 0 for the follow-

ing:

a. f .x; y; z/ D xy .

b. f .x; y; z/ D .xy ; z/.

c. f .x; y/ D sin.x siny/.

d. f .x; y; z/ D sin�x sin.y sin z/

�.

e. f .x; y; z/ D xyz.

f. f .x; y; z/ D xyCz .

g. f .x; y; z/ D .x C y/z .

h. f .x; y/ D sin.xy/.

i. f .x; y/ D�sin.xy/

�cos3.

j. f .x; y/ D�sin.xy/; sin

�x siny

�; xy

�.

Solution. Compare this with Exercise 47.

(a) We have f .x; y; z/ D xy D elnxyD ey lnx D exp B.�2 � ln�1/.x; y; z/. It

follows from the Chain Rule that

f 0.a; b; c/ D exp0h.�2 ln�1/.a; b; c/

i�

��2 ln�1

�0.a; b; c/

D exp.b ln a/ �h.ln�1/.�2/0 C �2.ln�1/0

i.a; b; c/

D ab �h�0; ln a; 0

�C�b=a; 0; 0

�iD

�ab�1b ab ln a 0

�:

(b) By (a) and Theorem 2-3(3), we have

f 0.a; b; c/ D

ab�1b ab ln a 0

0 0 1

!:

(c) We have f .x; y/ D sin B.�1 sin.�2//. Then, by the chain rule,

f 0.a; b/ D sin0h.�1 sin.�2//.a; b/

i�

h�1 sin.�2/

i0.a; b/

D cos .a sin b/ �h.sin�2/.�1/0 C �1.sin�2/0

i.a; b/

D cos .a sin b/ ��sin b .1; 0/C a .0; cos b/

�D

�cos .a sin b/ � sin b a � cos .a sin b/ � cos b

�:

(d) Let g.y; z/ D sin.y sin z/. Then

Page 23: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.2 BASIC THEOREMS 19

f .x; y; z/ D sin�x � g.y; z/

�D sin.�1 � g.�2; �3//:

Hence,

f 0.a; b; c/ D sin0�ag .b; c/

�� .�1g.�2; �3//0.a; b; c/

D cos�ag .b; c/

��

hg .b; c/ .�1/0 C ag0.�2; �3/

i.a; b; c/

D cos�ag .b; c/

��

h�g .b; c/ ; 0; 0

�C ag0.�2; �3/.a; b; c/

i:

It follows from (c) that

g0.�2; �3/.a; b; c/ D�0 cos .b sin c/ � sin c b � cos .b sin c/ � cos c

�:

Therefore,

f 0.a; b; c/

D cos�a sin .b sin c/

� �sin .b sin c/ a cos .b sin c/ sin c ab cos .b sin c/ cos c

�:

(e) Let g.x; y/ D xy . Then

f .x; y; z/ D xg.y;z/ D g�x; g.y; z/

�D g

��1; g.�2; �3/

�:

Then

Df .a; b; c/ D Dg�a; g .b; c/

�B

hD�1;Dg.�2; �3/

i.a; b; c/:

By (a),

Dg�a; g .b; c/

�.x; y; z/ D

�ag.b;c/g .b; c/ =a ag.b;c/ ln a 0

�0B@xyz

1CADab

cbc

ax C

�ab

c

ln a�y;

D�1.a; b; c/.x; y; z/ D x;

and

Dg.�2; �3/.a; b; c/.x; y; z/ D Dg .b; c/ B�D�2;D�3

�.a; b; c/.x; y; z/

Dbcc

by C

�bc ln b

�z:

Hence,

Df .a; b; c/.x; y; z/ Dab

cbc

ax C

�ab

c

ln a� �bcc

by C

�bc ln b

�z

�;

and

Page 24: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

20 CHAPTER 2 DIFFERENTIATION

f 0.a; b; c/ D�ab

c

bcıa ab

c

bcc ln aıb ab

cbc ln a ln b

�:

(f) Let g.x; y/ D xy . Then f .x; y; z/ D xyCz D g�x; y C z

�D g

��1; �2 C �3

�.

Hence,

Df .a; b; c/.x; y; z/ D Dg .a; b C c/ B�D�1;D�2 C D�3

�.a; b; c/.x; y; z/

D Dg .a; b C c/ B�x; y C z

�DabCc .b C c/

ax C

�abCc ln a

� �y C z

�;

and

f 0.a; b; c/ D�abCc.bCc/

aabCc ln a abCc ln a

�:

(g) Let g.x; y/ D xy . Then

f .x; y; z/ D .x C y/z D g�x C y; z

�D g

��1 C �2; �3

�:

Hence,

Df .a; b; c/.x; y; z/ D Dg .aC b; c/ BhD�1 C D�2;D�3

i.a; b; c/.x; y; z/

D Dg .aC b; c/ B�x C y; z

�D.aC b/c c

.aC b/.x C y/C

�.aC b/c ln .aC b/

�z;

and

f 0.a; b; c/ D�.aCb/cc.aCb/

.aCb/cc.aCb/

.aC b/c ln .aC b/�:

(h) We have f .x; y/ D sin.xy/ D sin B��1�2

�. Hence,

f 0.a; b/ D .sin/0 .ab/ �hb.�1/0.a; b/C a.�2/0.a; b/

iD cos .ab/ �

�b .1; 0/C a.0; 1/

�D cos .ab/ � .b; a/

D

�b � cos .ab/ a � cos .ab/

�:

(i) Straightforward.

(j) By Theorem 2-3 (3), we have

f 0.a; b; c/ D

0BB@�sin.xy/

�0.a; b; c/h

sin�x siny

�i0.a; b; c/

Œxy �0 .a; b; c/

1CCAD

0B@ b � cos .ab/ a � cos .ab/

cos .a sin b/ � sin b a � cos .a sin b/ � cos b

ab�1b ab ln a

1CA : ut

I Exercise 41 (2-11). Find f 0 for the following (where g W R! R is continuous):

Page 25: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.2 BASIC THEOREMS 21

a. f .x; y/ DR xCya

g.

b. f .x; y/ DR xyag.

c. f .x; y; z/ DR sin

�x sin.y sin z/

�xy g.

Solution. (a) Let h.t/ DR tag. Then f .x; y/ D

�h B .�1 C �2/

�.x; y/, and so

f 0.a; b/ D h0 .aC b/ �h.�1 C �2/0.a; b/

iD g .aC b/ � .1; 1/

D

�g .aC b/ g .aC b/

�:

(b) Let h.t/ DR tag. Then f .x; y/ D

R xyag D h.xy/ D

hh B

��1 � �2

�i.x; y/.

Hence,

f 0.a; b/ D h0 .ab/ �hb � .�1/0.a; b/C a � .�2/0.a; b/

iD g .ab/ � .b; a/

D

�b � g .ab/ a � g .ab/

�:

(c) We can rewrite f .x; y; z/ as

f .x; y; z/ D

Z a

xy

g C

Z sin.x sin.y sin z//

a

g D

Z sin.x sin.y sin z//

a

g �

Z xy

a

g:

Let .x; y; z/ D sin�x sin.y sin z/

�, k.x; y; z/ D

R .x;y;z/a

g, and h.x; y; z/ DR xyag.

Then f .x; y; z/ D k.x; y; z/ � h.x; y; z/, and so

f 0.a; b; c/ D k0.a; b; c/ � h0.a; b; c/:

It follows from Exercise 40 (d) that

k0.a; b; c/ D k0� .a; b; c/

�� 0.a; b; c/:

The other parts are easy. ut

I Exercise 42 (2-12). A function f W Rn � Rm ! Rp is bilinear if for x;x1;x2 2

Rn, y;y1;y2 2 Rm, and a 2 R we have

f .ax;y/ D af .x;y/ D f .x; ay/ ;

f .x1 C x2;y/ D f .x1;y/C f .x2;y/ ;

f .x;y1 C y2/ D f .x;y1/C f .x;y2/ :

a. Prove that if f is bilinear, then

lim.h;k/!0

kf .h;k/k

k.h;k/kD 0:

Page 26: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

22 CHAPTER 2 DIFFERENTIATION

b. Prove that Df .a;b/.x;y/ D f .a;y/C f .x;b/.

c. Show that the formula for Dp.a;b/ in Theorem 2-3 is a special case of (b).

Proof. (a) Let�en1 ; : : : ; e

nn

�and

�em1 ; : : : ; e

mm

�be the stand bases for Rn and Rm,

respectively. Then for any x 2 Rn and y 2 Rm, we have

x D

nXiD1

xiein; and y D

mXjD1

yj ejm:

Therefore,

f .x;y/ D f

0@ nXiD1

xiein;

mXjD1

yj ejm

1A D nXiD1

f

0@xiein; mXjD1

yj ejm

1AD

nXiD1

mXjD1

f�xiein; y

j ejm

D

nXiD1

mXjD1

xiyjf�ein; e

jm

�:

Then, by letting M DPi;j

f �ein; ejm

� , we have

kf .x;y/k D

Xi;j

xiyjf�ein; e

jm

� 6Xi;j

ˇ̌̌xiyj

ˇ̌̌ f �ein; ejm

� 6M

"maxi

�ˇ̌̌xiˇ̌̌�

maxj

�ˇ̌̌yjˇ̌̌�#

6M kxk kyk :

Hence,

lim.h;k/!0

kf .h;k/k

k.h;k/k6 lim.h;k/!0

M khk kkk

k.h;k/k

D lim.h;k/!0

M khk kkkpXi;j

��hi�2C

�kj�2�

D lim.h;k/!0

M khk kkkqkhk

2C kkk

2

:

Now

khk kkk 6

˚khk

2 if kkk 6 khkkkk

2 if khk 6 kkk :

Hence khk kkk 6 khk2 C kkk2, and so

Page 27: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.2 BASIC THEOREMS 23

lim.h;k/!0

M khk kkkqkhk

2C kkk

2

6 lim.h;k/!0

M

qkhk

2C kkk

2D 0:

(b) We have

lim.h;k/!0

kf .aC h;bC k/ � f .a;b/ � f .a;k/ � f .h;b/k

k.h;k/k

D lim.h;k/!0

kf .a;b/C f .a;k/C f .h;b/C f .h;k/ � f .a;b/ � f .a;k/ � f .h;b/k

k.h;k/k

D lim.h;k/!0

kf .h;k/k

k.h;k/k

D 0

by (a); hence, Df .a;b/.x;y/ D f .a;y/C f .x;b/.

(c) It is easy to check that p W R2 ! R defined by p.x; y/ D xy is bilinear.

Hence, by (b), we have

Dp.a; b/.x; y/ D p�a; y

�C p .x; b/ D ay C xb: ut

I Exercise 43 (2-13). Define IP W Rn � Rn ! R by IP.x;y/ D hx;yi.

a. Find D .IP/ .a;b/ and .IP/0 .a;b/.

b. If f; g W R ! Rn are differentiable and h W R ! R is defined by h.t/ D

hf .t/; g.t/i, show that

h0.a/ DDf 0.a/T; g.a/

EC

Df .a/; g0.a/T

E:

c. If f W R! Rn is differentiable and kf .t/k D 1 for all t , show thatDf 0.t/T; f .t/

ED

0.

d. Exhibit a differentiable function f W R ! R such that the function jf j defined

by jf j .t/ Djf .t/j is not differentiable.

Proof. (a) It is evident that IP is bilinear; hence, by Exercise 42 (b), we have

D .IP/ .a;b/.x;y/ D IP .a;y/C IP .x;b/

D ha;yi C hx;bi

D hb;xi C ha;yi ;

and so .IP/0 .a;b/ D .b; a/.

(b) Since h.t/ D IP B�f; g

�.t/, by the chain rule, we have

Dh.a/ .x/ D D .IP/�f .a/; g.a/

�B�Df .a/ .x/ ;Dg.a/ .x/

�D hg.a/;Df .a/ .x/i C hf .a/;Dg.a/ .x/i

D˝g.a/; f 0.a/

˛x C

˝f .a/; g0.a/

˛x:

(c) Let h.t/ D hf .t/; f .t/i with kf .t/k D 1 for all t 2 R. Then

Page 28: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

24 CHAPTER 2 DIFFERENTIATION

h.t/ D kf .t/k2 D 1

is constant, and so h0.a/ D 0; that is,

0 DDf 0.a/T; f .a/

EC

Df .a/; f 0.a/T

ED 2

Df 0.a/T; f .a/

E;

and soDf 0.a/T; f .a/

ED 0.

(d) Let f .t/ D t . Then f is linear and so is differentiable: Df D t . However,

limt!0C

jt j

tD 1; lim

t!0�

jt j

tD �1I

that is, jf j is not differentiable at 0. ut

I Exercise 44 (2-14). Let Ei , i D 1; : : : ; k be Euclidean spaces of various

dimensions. A function f W E1 � � � � � Ek ! Rp is called multilinear if for

each choice of xj 2 Ej , j ¤ i the function g W Ei ! Rp defined by g.x/ D

f .x1; : : : ;xi�1;x;xiC1; : : : ;xk/ is a linear transformation.

a. If f is multilinear and i ¤ j , show that for h D .h1; : : : ;hk/, with h` 2 E`, we

have

limh!0

f �a1; : : : ;hi ; : : : ;hj ; : : : ; ak� khk

D 0:

b. Prove that

Df .a1; : : : ; ak/ .x1; : : : ;xk/ DkXiD1

f .a1; : : : ; ai�1;xi ; aiC1; : : : ; ak/ :

Proof.

(a) To light notation, define

a�i�j ´�a1; : : : ; ai�1; aiC1; : : : ; aj�1; ajC1; : : : ; ak

�:

Let g W Ei�Ej ! Rp be defined as g�xi ;xj

�D f

�a�i�j ;xi ;xj

�. Then g is bilinear

and so

limh!0

g �a�i�j ;hi ;hj � khk

6 limh!0

g �a�i�j ;hi ;hj � �hi ;hj � D 0

by Exercise 42 (a).

(b) It follows from Exercise 42 (b) immediately. ut

I Exercise 45 (2-15). Regard an n � n matrix as a point in the n-fold product

Rn � � � � � Rn by considering each row as a member of Rn.

a. Prove that det W Rn � � � � � Rn ! R is differentiable and

Page 29: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.2 BASIC THEOREMS 25

D�det

�.a1; : : : ; an/ .x1; : : : ;xn/ D

nXiD1

det

0BBBBBBBB@

a1:::

xi:::

an

1CCCCCCCCA:

b. If aij W R! R are differentiable and f .t/ D det�aij .t/

�, show that

f 0.t/ D

nXjD1

det

0BBBBBBBB@

a11.t/ � � � a1n.t/:::

: : ::::

a0j1.t/ � � � a0jn.t/:::

: : ::::

an1.t/ � � � ann.t/

1CCCCCCCCA:

c. If det�aij .t/

�¤ 0 for all t and b1; : : : ; bn W R ! R are differentiable, let

s1; : : : ; sn W R ! R be the functions such that s1.t/; : : : ; sn.t/ are the solutions

of the equationsnX

jD1

aj i .t/sj .t/ D bi .t/; i D 1; : : : ; n:

Show that si is differentiable and find s0i .t/.

Proof.

(a) It is easy to see that det W Rn � � � � � Rn ! R is multilinear; hence, the con-

clusion follows from Exercise 44.

(b) By (a) and the chain rule,

f 0.t/ D�det

�0 �aij .t/

�B�a01.t/; : : : ; a

0n.t/

D

nXjD1

det

0BBBBBBBB@

a11.t/ � � � a1n.t/:::

: : ::::

a0j1.t/ � � � a0jn.t/:::

: : ::::

an1.t/ � � � ann.t/

1CCCCCCCCA:

(c) Let

A D

[email protected]/ � � � an1.t/:::

: : ::::

a1n.t/ � � � ann.t/

1CCA ; s D

[email protected]/:::

sn.t/

1CCA ; and b D

[email protected]/:::

bn.t/

1CCA :Then

As D b;

Page 30: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

26 CHAPTER 2 DIFFERENTIATION

and so

si .t/ Ddet .Bi /

det .A/;

where Bi is obtained from A by replacing the i -th column with the b. It follows

from (b) that si .t/ is differentiable. Define f .t/ D det .A/ and gi .t/ D det .Bi /.

Then

f 0.t/ D

nXjD1

det

0BBBBBBBB@

a11.t/ � � � an1.t/:::

: : ::::

a01j .t/ � � � a0nj .t/:::

: : ::::

a1n.t/ � � � ann.t/

1CCCCCCCCA;

and

g0i .t/ D

nXjD1

0BBBBBBBB@

a11.t/ � � � ai�1;1.t/ b1.t/ aiC1;1.t/ � � � an1.t/:::

: : ::::

::::::

: : ::::

a01j .t/ � � � a0i�1;j .t/ b0j .t/ a0iC1;j .t/ � � � a0nj .t/:::

: : ::::

::::::

: : ::::

a1n.t/ � � � ai�1;n.t/ bn.t/ aiC1;n.t/ � � � ann.t/

1CCCCCCCCA:

Therefore,

s0i .t/ Df 0.t/g0i .t/ � f .t/g

0i .t/

f 2.t/: ut

I Exercise 46 (2-16). Suppose f W Rn ! Rn is differentiable and has a differen-

tiable inverse f �1 W Rn ! Rn. Show that�f �1

�0.a/ D

hf 0�f �1.a/

�i�1.

Proof. We have f B f �1.x/ D x. On the one hand D�f B f �1

�.a/ .x/ D x since

f B f �1 is linear; on the other hand,

D�f B f �1

�.a/ .x/ D

�Df

�f �1 .a/

�B Df �1 .a/

�.x/:

Therefore, Df �1 .a/ DhDf

�f �1 .a/

�i�1. ut

2.3 Partial Derivatives

I Exercise 47 (2-17). Find the partial derivatives of the following functions:

a. f .x; y; z/ D xy .

b. f .x; y; z/ D z.

c. f .x; y/ D sin.x siny/.

d. f .x; y; z/ D sin�x sin.y sin z/

�.

Page 31: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.3 PARTIAL DERIVATIVES 27

e. f .x; y; z/ D xyz.

f. f .x; y; z/ D xyCz .

g. f .x; y; z/ D .x C y/z .

h. f .x; y/ D sin.xy/.

i. f .x; y/ D�sin.xy/

�cos3.

Solution. Compare this with Exercise 40.

(a) D1f .x; y; z/ D yxy�1, D2f .x; y; z/ D xy ln x, and D3f .x; y; z/ D 0.

(b) D1f .x; y; z/ D D2f .x; y; z/ D 0, and D3f .x; y; z/ D 1.

(c) D1f .x; y/ D�siny

�cos

�x siny

�, and D2f .x; y/ D x cosy cos

�x siny

�.

(d) D1f .x; y; z/ D sin.y sin z/ cos�x sin.y sin z/

�,

D2f .x; y; z/ D cos�x sin.y sin z/

�x cos.y sin z/ sin z, and

D3f .x; y; z/ D cos�x sin.y sin z/

�x cos.y sin z/y cos z.

(e) D1f .x; y; z/ D yzxyz�1, D2f .x; y; z/ D xy

zzyz�1 ln x, and D3f .x; y; z/ D

yz lny�xy

zln x

�.

(f) D1f .x; y; z/ D�y C z

�xyCz�1, and D2f .x; y; z/D3f .x; y; z/ D xyCz ln x.

(g) D1f .x; y; z/ D D2f .x; y; z/ D z.x C y/z�1, and

D3f .x; y; z/ D .x C y/z ln.x C y/.

(h) D1f .x; y/ D y cos.xy/, and D2f .x; y/ D x cos.xy/.

(i) D1f .x; y/ D cos 3�sin.xy/

�cos3�1y cos.xy/, and

D2f .x; y/ D cos 3�sin.xy/

�cos3�1x cos.xy/. ut

I Exercise 48 (2-18). Find the partial derivatives of the following functions

(where g W R! R is continuous):

a. f .x; y/ DR xCya

g.

b. f .x; y/ DR xyg.

c. f .x; y/ DR xyag.

d. f .x; y/ DR .R y

bg/

ag.

Solution.

(a) D1f .x; y/ D D2f .x; y/ D g.x C y/.

(b) D1f .x; y/ D g.x/, and D2f .x; y/ D �g�y�.

(c) D1f .x; y/ D yg.xy/, and D2f .x; y/ D xg.xy/.

Page 32: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

28 CHAPTER 2 DIFFERENTIATION

(d) D1f .x; y/ D 0, and D2f .x; y/ D g�y�� g�R ybg�. ut

I Exercise 49 (2-19). If

f .x; y/ D xxxxy

C�ln x

�0@arctan

arctan

�arctan

�sin

�cos xy

�� ln.x C y/

��!1Afind D2f

�1; y

�.

Solution. Putting x D 1 into f .x; y/, we get f�1; y

�D 1. Then D2f

�1; y

�D

0. ut

I Exercise 50 (2-20). Find the partial derivatives of f in terms of the deriva-

tives of g and h if

a. f .x; y/ D g.x/h�y�.

b. f .x; y/ D g.x/h.y/.

c. f .x; y/ D g.x/.

d. f .x; y/ D g�y�.

e. f .x; y/ D g.x C y/.

Solution.

(a) D1f .x; y/ D g0 .x/ h�y�, and D2f .x; y/ D g.x/h0

�y�.

(b) D1f .x; y/ D h�y�g.x/h.y/�1g0 .x/, and D2f .x; y/ D h0

�y�g.x/h.y/ lng.x/.

(c) D1f .x; y/ D g0 .x/, and D2f .x; y/ D 0.

(d) D1f .x; y/ D 0, and D2f .x; y/ D g0�y�.

(e) D1f .x; y/ D D2f .x; y/ D g0.x C y/. ut

I Exercise 51 (2-21�). Let g1; g2 W R2 ! R be continuous. Define f W R2 ! R by

f .x; y/ D

Z x

0

g1 .t; 0/ dt C

Z y

0

g2 .x; t/ dt:

a. Show that D2f .x; y/ D g2.x; y/.

b. How should f be defined so that D1f .x; y/ D g1.x; y/?

c. Find a function f W R2 ! R such that D1f .x; y/ D x and D2f .x; y/ D y. Find

one such that D1f .x; y/ D y and D2f .x; y/ D x.

Proof.

Page 33: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.3 PARTIAL DERIVATIVES 29

(a) D2f .x; y/ D 0C g2.x; y/ D g2.x; y/.

(b) We should let

f .x; y/ D

Z x

0

g1�t; y

�dt C

Z y

0

g2 .a; t/ dt;

where t 2 R is a constant.

(c) Let

� f .x; y/ D�x2 C y2

�=2.

� f .x; y/ D xy. ut

I Exercise 52 (2-22�). If f W R2 ! R and D2f D 0, show that f is independent

of the second variable. If D1f D D2f D 0, show that f is constant.

Proof. Fix any x 2 R. By the mean-value theorem, for any y1; y2 2 R, there

exists a point y� 2�y1; y2

�such that

f�x; y2

�� f

�x; y1

�D D2f

�x; y�

� �y2 � y1

�D 0:

Hence, f�x; y1

�D f

�x; y2

�; that is, f is independent of y.

Similarly, if D1f D 0, then f is independent of x. The second claim is then

proved immediately. ut

I Exercise 53 (2-23�). Let A D˚.x; y/ 2 R2 W x < 0, or x > 0 and y ¤ 0

.

a. If f W A! R and D1f D D2f D 0, show that f is constant.

b. Find a function f W A! R such that D2f D 0 but f is not independent of the

second variable.

Proof.

(a) As in Figure 2.1, for any .a; b/; .c; d/ 2 R2, we have

f .a; b/ D f .�1; b/ D f .�1; d/ D f .c; d/ :

(b) For example, we can let

f .x; y/ D

˚0 if x < 0 or y < 0

x otherwise.ut

I Exercise 54 (2-24). Define f W R2 ! R by

f .x; y/ D

˚xy x

2�y2

x2Cy2 .x; y/ ¤ 0;

0 .x; y/ D 0:

a. Show that D2f .x; 0/ D x for all x and D1f�0; y

�D �y for all y.

Page 34: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

30 CHAPTER 2 DIFFERENTIATION

.a; b/ .�1; b/

.�1; d/ .c; d/

x

y

Figure 2.1. f is constant

b. Show that D1;2f .0; 0/ ¤ D2;1f .0; 0/.

Proof.

(a) We have

D2f .x; y/ D

�x.x4�y4�4x2y2/

.x2Cy2/2 .x; y/ ¤ 0;

0 .x; y/ D 0;

and

D1f .x; y/ D

��y.y4�x4�4x2y2/

.x2Cy2/2 .x; y/ ¤ 0;

0 .x; y/ D 0:

Hence, D2f .x; 0/ D x and D1f�0; y

�D �y.

(b) By (a), we have D1;2f .0; 0/ D D2�D1f

�0; y

��.0/ D �1; but D2;1f .0; 0/ D

D1�D2 .x; 0/

�.0/ D 1. ut

I Exercise 55 (2-25�). Define f W R! R by

f .x/ D

˚e�x

�2x ¤ 0

0 x D 0:

Show that f is a C1 function, and f .i/ .0/ D 0 for all i .

Proof. Figure 2.2 depicts f .x/. We first show that f 2 C1.

Let pn�y�

be a polynomial with degree n with respect to y. For x ¤ 0 and

k 2 N, we show that f .k/ .x/ D p3k�x�1

�e�x

�2. We do this by induction.

Step 1 Clearly, f 0 .x/ D 2x�3e�x�2

.

Step 2 Suppose that f .k/ .x/ D p3k�x�1

�e�x

�2.

Step 3 Then by the chain rule,

Page 35: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.3 PARTIAL DERIVATIVES 31

0 x

y

−2 −1 1 2

Figure 2.2.

f .kC1/ .x/ Dhf .k/ .x/

i0D p03k

�x�1

��

��x�2

�� e�x

�2

C p3k

�x�1

�� 2x�3 � e�x

�2

D

�p03k

�x�1

��

��x�2

�C p3k

�x�1

�� 2x�3

�� e�x

�2

D

�q3kC1

�x�1

�C q3kC3

�x�1

��� e�x

�2

D p3.kC1/

�x�1

�� e�x

�2

;

where q3kC1 and q3kC3 are polynomials.

Therefore, f .x/ 2 C1 for all x ¤ 0. It remains to show that f .k/ .x/ is

defined and continuous at x D 0 for all k.

Step 1 Obviously,

f 0 .0/ D limx!0

f .x/ � f .0/

xD limx!0

e�x�2

xD limx!0

2x�3e�x�2

D 0

by L’Hôpital’s rule.

Step 2 Suppose that f .k/ .0/ D 0.

Step 3 Then,

f .kC1/ .0/ D limx!0

f .k/ .x/ � f .k/ .0/

x

D limx!0

p3kC1

�x�1

�e�x

�2

D limx!0

p3kC1�x�1

�ex�2

:

Hence, if we use L’Hôpital’s rule 3k C 1 times, we get f .kC1/ .0/ D 0.

A similar computation shows that f .k/ .x/ is continuous at x D 0. ut

I Exercise 56 (2-26�). Let

f .x/ D

˚e�.x�1/

�2

� e�.xC1/�2

x 2 .�1; 1/ ;

0 x … .�1; 1/ :

Page 36: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

32 CHAPTER 2 DIFFERENTIATION

a. Show that f W R ! R is a C1 function which is positive on .�1; 1/ and 0

elsewhere.

b. Show that there is a C1 function g W R ! Œ0; 1� such that g.x/ D 0 for x 6 0and g.x/ D 1 for x > ".

c. If a 2 Rn, define g W Rn ! R by

g.x/ D f

x1 � a1

"

!� � � f

�xn � an

"

�:

Show that g is a C1 function which is positive on�a1 � "; a1 C "

�� � � � �

�an � "; an C "

�and zero elsewhere.

d. If A � Rn is open and C � A is compact, show that there is a non-negative

C1 function f W A ! R such that f .x/ > 0 for x 2 C and f D 0 outside of

some closed set contained in A.

e. Show that we can choose such an f so that f W A ! Œ0; 1� and f .x/ D 1 for

x 2 C .

Proof.

(a) If x 2 .�1; 1/, then x � 1 ¤ 0 and x C 1 ¤ 0. It follows from Exercise 55 that

e�.x�1/�2

2 C1 and e�.xC1/�2

2 C1. Then it is straightforward to check that

f 2 C1. See Figure 2.3

0 x

y

−1 1

Figure 2.3.

(b) By letting z D xC 1, we derive a new function j W R! R from f as follows:

j .z/ D

˚e�.z�2/

�2

� e�z�2

z 2 .0; 2/ ;

0 z … .0; 2/ :

By letting w D "z=2, we derive a function k W R! R from j as follows:

k .w/ D

˚e�.2w="�2/

�2

� e�.2w="/�2

w 2 .0; "/ ;

0 w … .0; "/ :

Page 37: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.3 PARTIAL DERIVATIVES 33

0 x

y

1 2

j

0 x

yk

Figure 2.4.

It is easy to see that k 2 C1, which is positive on .0; "/ and 0 elsewhere. Now

let

g.x/ D

�Z x

0

k .x/

�,�Z "

0

k .x/

�:

Then g 2 C1; it is 0 for x 6 0, increasing on .0; "/, and 1 for x > ".

(c) It follows from (a) immediately.

(d) For every x 2 C , let Rx ´ .�"; "/n be a rectangle containing x, and Rx is

contained in A (we can pick such a rectangle since A is open and C � A).

Then fRx W x 2 C g is an open cover of C . Since C is compact, there exists

fx1; : : : ; xmg � C such that˚Rx1

; : : : ; Rxm

covers C . For every xi , i D 1; : : : ; n,

we define a function gi W Rxi! R as

gi .x/ D f

x1i � a

1i

"

!� � � f

�xni � a

ni

"

�;

where�a1i ; : : : ; a

ni

�2 Rn is the middle point of Rxi

.

Finally, we define g W Rx1[ � � � [Rxm

! R as follows:

g.x/ D

mXiD1

gi .x/ :

Then g 2 C1; it is positive on C , and 0 outside Rx1[ � � � [Rxm

.

(e) Follows the hints. ut

I Exercise 57 (2-27). Define g; h W˚x 2 R2 W kxk 6 1

! R3 by

g.x; y/ D

�x; y;

q1 � x2 � y2

�;

h.x; y/ D

�x; y;�

q1 � x2 � y2

�:

Show that the maximum of f on˚x 2 R3 W kxk D 1

is either the maximum of

f B g or the maximum of f B h on˚x 2 R2 W kxk 6 1

.

Proof. Let A ´˚x 2 R2 W kxk 6 1

and B ´

˚x 2 R3 W kxk D 1

. Then B D

g .A/ [ h .A/. ut

Page 38: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

34 CHAPTER 2 DIFFERENTIATION

2.4 Derivatives

I Exercise 58 (2-28). Find expressions for the partial derivatives of the follow-

ing functions:

a. F.x; y/ D f�g.x/k

�y�; g.x/C h

�y��

.

b. F.x; y; z/ D f�g.x C y/; h

�y C z

��.

c. F.x; y; z/ D f�xy ; yz ; zx

�.

d. F.x; y/ D f�x; g.x/; h.x; y/

�.

Proof.

(a) Letting a´ g.x/k�y�; g.x/C h

�y�, we have

D1F.x; y/ D D1f .a/ � g0 .x/ � k

�y�C D2f .a/ � g

0 .x/ ;

D2F.x; y/ D D1f .a/ � g.x/ � k0�y�C D1f .a/ � h

0�y�:

(b) Letting a´ g.x C y/; h�y C z

�, we have

D1F.x; y; z/ D D1f .a/ � g0.x C y/;

D2F.x; y; z/ D D1f .a/ � g0.x C y/C D2f .a/ � h

0�y C z

�;

D3F.x; y; z/ D D2f .a/ � h0�y C z

�:

(c) Letting a´ xy ; yz ; zx , we have

D1F.x; y; z/ D D1f .a/ � yxy�1C D3f .a/ � z

x ln z;

D2F.x; y; z/ D D1f .a/ � xy ln x C D2f .a/ � zy

z�1;

D3F.x; y; z/ D D2f .a/ � yz lny C D3f .a/ � xz

x�1:

(d) Letting a´ x; g.x/; h.x; y/, we have

D1F.x; y/ D D1f .a/C D2f .a/ � g0 .x/C D3f .a/ � D1h.x; y/

D2F.x; y/ D D3f .a/ � D2h.x; y/: ut

I Exercise 59 (2-29). Let f W Rn ! R. For x 2 Rn, the limit

limt!0

f .aC tx/ � f .a/

t;

if it exists, is denoted Dxf .a/, and called the directional derivative of f at a, in

the direction x.

a. Show that Deif .a/ D Dif .a/.

b. Show that Dtxf .a/ D tDxf .a/.

Page 39: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.4 DERIVATIVES 35

c. If f is differentiable at a, show that Dxf .a/ D Df .a/.x/ and therefore

DxCyf .a/ D Dxf .˛/C Dyf .a/.

Proof.

(a) For ei D .0; : : : ; 0; 1; 0; : : : ; 0/, we have

Deif .a/ D lim

t!0

f .aC tei / � f .a/

t

D limt!0

f .a1; : : : ; ai�1; ai C t; aiC1; : : : ; an/ � f .a/

t

D Dif .a/

by definition.

(b) We have

Dtxf .a/ D lims!0

f .aC stx/ � f .a/

sD limst!0

tf .aC stx/ � f .a/

stD tDxf .a/:

(c) If f is differentiable at a, then for any x ¤ 0 we have

0 D limt!0

jf .aC tx/ � f .a/ � Df .a/.tx/j

ktxk

D limt!0

jf .aC tx/ � f .a/ � t � Df .a/.x/j

jt j�1

kxk

D limt!0

ˇ̌̌̌f .aC tx/ � f .a/

t� Df .a/.x/

ˇ̌̌̌�1

kxk;

and so

Dxf .a/ D limt!0

f .aC tx/ � f .a/

tD Df .a/.x/:

The case of x D 0 is trivial. Therefore,

DxCyf .a/ D Df .a/ .x C y/

D Df .a/.x/C Df .a/ .y/

D Dxf .a/C Dyf .a/: ut

I Exercise 60 (2-30). Let f be defined as in Exercise 34. Show that Dxf .0; 0/

exists for all x, but if g ¤ 0, then DxCyf .0; 0/ ¤ Dxf .0; 0/ C Dyf .0; 0/ for all

x;y .

Proof. Take any x 2 R2.

limt!0

f .tx/ � f .0; 0/

tD lim

t!0

jt j � kxk � g

�tx.�jt j � kxk

��t

:

Therefore, Dxf .0; 0/ exists for any x.

Now let g ¤ 0; then, D.0;1/f .0; 0/ D D.1;0/f .0; 0/ D 0, but D.1;0/C.0;1/f .0; 0/ D

D.1;1/f .0; 0/ ¤ 0. ut

Page 40: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

36 CHAPTER 2 DIFFERENTIATION

I Exercise 61 (2-31). Let f W R2 ! R be defined as in Exercise 26. Show that

Dxf .0; 0/ exists for all x, although f is not even continuous at .0; 0/.

Proof. For any x 2 R2, we have

limt!0

f .tx/ � f .0/

tD lim

t!0

f .tx/

tD 0

by Exercise 26 (a). ut

I Exercise 62 (2-32).

a. Let f W R! R be defined by

f .x/ D

˚x2 sin 1

xx ¤ 0

0 x D 0:

Show that f is differentiable at 0 but f 0 is not continuous at 0.

b. Let f W R2 ! R be defined by

f .x; y/ D

‚ �x2 C y2

�sin 1q

x2 C y2.x; y/ ¤ 0

0 .x; y/ D 0:

Show that f is differentiable at .0; 0/ but Dif is not continuous at .0; 0/.

Proof.

(a) We have

limx!0

f .x/ � f .0/

xD limx!0

x2 sin 1x

xD limx!0

x sin1

xD 0:

Hence, f 0 .0/ D 0. Further, for any x ¤ 0, we have

f 0 .x/ D 2x sin1

x� cos

1

x:

It is clear that limx!0 f0 .x/ does not exist. Therefore, f 0 is not continuous at

0.

(b) Since

lim.x;y/!.0;0/

�x2 C y2

�sin 1q

x2 C y2qx2 C y2

D lim.x;y/!.0;0/

qx2 C y2 sin

1qx2 C y2

D 0;

we know that f 0.0; 0/ D .0; 0/. Now take any .x; y/ ¤ .0; 0/. Then

D1f .x; y/ D 2x sin1q

x2 C y2� 2x cos

1qx2 C y2

:

Page 41: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.4 DERIVATIVES 37

0

Figure 2.5.

As in (a), limx!0 D1f .x; 0/ does not exist. Similarly for D2f . ut

I Exercise 63 (2-33). Show that the continuity of D1f j at a may be eliminated

from the hypothesis of Theorem 2-8.

Proof. It suffices to see that for the first term in the sum, we have, by letting�a2; : : : ; an

�µ a�1,

limh!0

ˇ̌̌f�a1 C h1; a�1

�� f .a/ � D1f .a/ � h1

ˇ̌̌khk

6 limh1!0

ˇ̌̌f�a1 C h1; a�1

�� f .a/ � D1f .a/ � h1

ˇ̌̌ˇ̌h1ˇ̌ D 0:

See aslo Apostol (1974, Theorem 12.11). ut

I Exercise 64 (2-34). A function f W Rn ! R is homogeneous of degree m if

f .tx/ D tmf .x/ for all x. If f is also differentiable, show that

nXiD1

xiDif .x/ D mf .x/:

Proof. Let g.t/ D f .tx/. Then, by Theorem 2-9,

g0.t/ D

nXiD1

Dif .tx/ � xi : (2.4)

On the other hand, g.t/ D f .tx/ D tmf .x/; then

g0.t/ D mtm�1f .x/: (2.5)

Combining (2.4) and (2.5), and letting t D 1, we then get the result. ut

I Exercise 65 (2-35). If f W Rn ! R is differentiable and f .0/ D 0, prove that

there exist gi W Rn ! R such that

Page 42: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

38 CHAPTER 2 DIFFERENTIATION

f .x/ D

nXiD1

xigi .x/:

Proof. Let hx.t/ D f .tx/. ThenZ 1

0

h0x.t/dt D hx .1/ � hx .0/ D f .x/ � f .0/ D f .x/:

Hence,

f .x/ D

Z 1

0

h0x.t/dt D

Z 1

0

f 0.tx/dt D

Z 1

0

24 nXiD1

xiDif .tx/

35 dt

D

nXiD1

xiZ 1

0

Dif .tx/dt

D

nXiD1

xigi .x/;

where gi .x/ DR 10

Dif .tx/dt . ut

2.5 Inverse Functions

For this section, Rudin (1976, Section 9.3 and 9.4) is a good reference.

I Exercise 66 (2-36�). Let A � Rn be an open set and f W A! Rn a continuously

differentiable 1-1 function such that det�f 0.x/

�¤ 0 for all x. Show that f .A/ is

an open set and f �1 W f .A/ ! A is differentiable. Show also that f .B/ is open

for any open set B � A.

Proof. For every y 2 f .A/, there exists x 2 A such that f .x/ D y . Since f 2

C 0 .A/ and det�f 0.x/

�¤ 0, it follows from the Inverse Function Theorem that

there is an open set V � A containing x and an open set W � Rn containing y

such that W D f .V /. This proves that f .A/ is open.

Since f W V ! W has a continuous inverse f �1 W W ! V which is differen-

tiable, it follows that f �1 is differentiable at y ; since y is chosen arbitrary, it

follows that f �1 W f .A/! A is differentiable.

Take any open set B � A. Since f�B 2 C 0 .B/ and det��f�B

�0.x/

�¤ 0 for

all x 2 B � A, it follows that f .B/ is open. ut

I Exercise 67 (2-37).

a. Let f W R2 ! R be a continuously differentiable function. Show that f is not

1-1.

Page 43: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.5 INVERSE FUNCTIONS 39

b. Generalize this result to the case of a continuously differentiable function

f W Rn ! Rm with m < n.

Proof.

(a) Let f 2 C 0. Then both D1f and D2f are continuous. Assume that f is 1-1;

then both D1f and D2f cannot not be constant and equal to 0. So suppose that

there is�x0; y0

�2 R2 such that D1f

�x0; f0

�¤ 0. The continuity of D1f implies

that there is an open set A � R2 containing�x0; y0

�such that D1f .x/ ¤ 0 for

all x 2 A.

Define a function g W A! R2 with

g.x; y/ D�f .x; y/; y

�:

Then for all .x; y/ 2 A,

g0.x; y/ D

D1f .x; y/ D2f .x; y/

0 1

!;

and so det�g0.x; y/

�D D1f .x; y/ ¤ 0; furthermore, g 2 C 0 .A/ and g is 1-1. Then

by Exercise 66, we know that g .A/ is open. We now show that g .A/ cannot be

open actually.

Take a point�f�x0; y0

�; zy�2 g .A/ with y ¤ y0. Then for any .x; y/ 2 A, we

must have

g.x; y/ D�f .x; y/; y

�D

�f�x0; y0

�; zy�H) .x; y/ D

�x0; y0

�I

that is, there is no .x; y/ 2 A such that g.x; y/ D�f�x0; y0

�; zy�. This proves

that f cannot be 1-1.

(b) We can write f W Rn ! Rm as f D�f 1; : : : ; f m

�, where f i W Rn ! R for every

i D 1; : : : ; m. As in (a), there is a mapping, say, f 1, a point a 2 Rn, and an open

set A containing a such that D1f 1.x/ ¤ 0 for all x 2 A. Define g W A! Rm as

g�x1;x�1

�D

�f .x/;x�1

�;

where x�1´�x2; : : : ; xn

�. Then as in (a), it follows that f cannot be 1-1. ut

I Exercise 68 (2-38).

a. If f W R! R satisfies f 0.a/ ¤ 0 for all a 2 R, show that f is 1-1 (on all of R).

b. Define f W R2 ! R2 by f .x; y/ D�ex cosy; ex siny

�. Show that det

�f 0.x; y/

�¤

0 for all .x; y/ but f is not 1-1.

Proof.

Page 44: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

40 CHAPTER 2 DIFFERENTIATION

(a) Suppose that f is not 1-1. Then there exist a; b 2 R with a < b such that

f .a/ D f .b/. It follows from the mean-value theorem that there exists c 2 .a; b/

such that

0 D f .b/ � f .a/ D f 0 .c/ .b � a/ ;

which implies that f 0 .c/ D 0. A contradiction.

(b) We have

f 0.x; y/ D

Dxex cosy Dyex cosy

Dxex siny Dyex siny

!

D

ex cosy �ex siny

ex siny ex cosy

!:

Then

det�f 0.x; y/

�D e2x

�cos2 y C sin2 y

�D e2x ¤ 0:

However, f .x; y/ is not 1-1 since f .x; y/ D f�x; y C 2k�

�for all .x; y/ 2 R2 and

k 2 N.

This exercise shows that the non-singularity of Df on A implies that f is

locally 1-1 at each point of A, but it does not imply that f is 1-1 on all of A.

See Munkres (1991, p. 69). ut

I Exercise 69 (2-39). Use the function f W R! R defined by

f .x/ D

˚x2C x2 sin 1

xx ¤ 0

0 x D 0

to show that continuity of the derivative cannot be eliminated from the hypoth-

esis of Theorem 2-11.

Proof. If x ¤ 0, then

f 0 .x/ D1

2C 2x sin

1

x� cos

1

xI

if x D 0, then

f 0 .0/ D limh!0

h=2C h2 sin�1=h

�h

D1

2:

Hence, f 0 .x/ is not continuous at 0. It is easy to see that f is not injective for

any neighborhood of 0 (see Figure 2.6).

2.6 Implicit Functions

I Exercise 70 (2-40). Use the implicit function theorem to re-do Exercise 45 (c).

Proof. Define f W R � Rn ! Rn by

Page 45: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.6 IMPLICIT FUNCTIONS 41

0

Figure 2.6.ut

f i .t; s/ D

nXjD1

aj i .t/sj� bi .t/;

for i D 1; : : : ; n. Then

0BB@D2f 1 .t; s/ � � � D1Cnf 1 .t; s/

:::: : :

:::

D2f n .t; s/ � � � D1Cnf n .t; s/

1CCA [email protected]/ � � � an1.t/:::

: : ::::

a1n.t/ � � � ann.t/

1CCA ;and so det .M/ ¤ 0.

It follows from the Implicit Function Theorem that for each t 2 R, there is a

unique s.t/ 2 Rn such that f�t; s.t/

�D 0, and s is differentiable. ut

I Exercise 71 (2-41). Let f W R�R! R be differentiable. For each x 2 R define

gx W R! R by gx�y�D f .x; y/. Suppose that for each x there is a unique y with

g0x�y�D 0; let c .x/ be this y.

a. If D2;2f .x; y/ ¤ 0 for all .x; y/, show that c is differentiable and

c0 .x/ D �D2;1f

�x; c .x/

�D2;2f

�x; c .x/

� :b. Show that if c0 .x/ D 0, then for some y we have

D2;1f .x; y/ D 0;

D2f .x; y/ D 0:

c. Let f .x; y/ D x�y logy � y

�� y log x. Find

Page 46: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

42 CHAPTER 2 DIFFERENTIATION

max1=26x62

"min

1=36y61f .x; y/

#:

Proof.

(a) For every x, we have g0x�y�D D2f .x; y/. Since for every x there is a unique

y D c .x/ such that D2f�x; c .x/

�D 0, the solution c .x/ is the same as ob-

tained from the Implicit Function Theorem; hence, c .x/ is differentiable, and

by differentiating D2f�x; c .x/

�D 0 with respect to x, we have

D2;1f�x; c .x/

�C D2;2f

�x; c .x/

�� c0 .x/ D 0I

that is,

c0 .x/ D �D2;1f

�x; c .x/

�D2;2f

�x; c .x/

� :(b) It follows from (a) that if c0 .x/ D 0, then D2;1f

�x; c .x/

�D 0. Hence, there

exists some y D c .x/ such that D2;1f .x; y/ D 0. Furthermore, by definition,

D2�x; c .x/

�D D2f .x; y/ D 0.

(c) We have

D2f .x; y/ D x lny � ln x:

Let D2f .x; y/ D 0 we have y D c .x/ D x1=x . Also, D2;2f .x; y/ D x=y > 0 since

x; y > 0. Hence, for every fixed x 2�1=2; 2

�,

minyf .x; y/ D f

�x; c .x/

�:

0

x

y

0.5 1 1.5 2

0.5

1

1.5 c .x/

Figure 2.7.

It is easy to see that c0 .x/ > 0 on�1=2; 2

�, c .1/ D 1, and c.a/ D 1=3 for some

a > 1=2 (see Figure 2.7). Therefore,

min1=36y61

f�x; y

�D f

�x; y� .x/

�;

where (see Figure 2.8)

Page 47: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 2.6 IMPLICIT FUNCTIONS 43

y� .x/ D

„1=3 if 1=2 6 x 6 ac .x/ D x1=x if a < x 6 11 if 1 < x 6 2:

0

x

y

0.5 1 1.5 2

0.5

1

1.5

y� .x/

Figure 2.8.

1=2 6 x 6 a In this case, our problem is

max1=26x6a

f�x; 1=3

�D �

�1C ln 3

3

�x �

1

3ln x:

It is easy to see that x� D 1=2, and so f�x�; 1=3

�D ln

�4=3e

�=6.

a < x 6 1 In this case, our problem is

maxa<x61

f�x; x1=x

�D �x1C1=x :

It is easy to see that the maximum of f occurs at x� D a and y��x��D 1=3.

1 < x 6 2 In this case, our problem is

max1<x62

f .x; 1/ D �x � ln x:

The maximum of f occurs at x� D 1.

Now, as depicted in Figure 2.9, we have x� D 1=2, y� D 1=3, and f�x�; y�

�D

ln�4=3e

�=6. ut

Page 48: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

44 CHAPTER 2 DIFFERENTIATION

0

xf�x; y� .x/

�0.5 1 1.5 2

−2.5

−2

−1.5

−1

−0.5

Figure 2.9.

Page 49: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

3INTEGRATION

3.1 Basic Definitions

I Exercise 72 (3-1). Let f W Œ0; 1� � Œ0; 1�! R be defined by

f�x; y

�D

˚0 if 0 6 x < 1=21 if 1=2 6 x 6 1:

Show that f is integrable andRŒ0;1��Œ0;1�

f D 1=2.

Proof. Consider a partition P D .P1; P2/ with P1 D P2 D�0; 1=2; 1

�. Then

L�f; P

�D U

�f; P

�D 1=2. It follows from Theorem 3-3 (the Riemann condition)

that f is integrable andRŒ0;1��Œ0;1�

f D 1=2. ut

I Exercise 73 (3-2). Let f W A! R be integrable and let g D f except at finitely

many points. Show that g is integrable andRAf D

RAg.

Proof. Fix an " > 0. It follows from the Riemann condition that there is a

partition P of A such that

U�f; P

�� L

�f; P

�<"

2:

Let P 0 be a refinement of P such that:

� for every x 2 A with g .x/ ¤ f .x/, it belongs to 2n subrectangles of P 0, i.e.,

x is a corner of each subrectangle.

� for every subrectangle S of P 0,

v .S/ <"

2nC1d .u � `/;

where

45

Page 50: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

46 CHAPTER 3 INTEGRATION

d Dˇ̌̌˚

x W f .x/ ¤ g .x/ˇ̌̌;

u D supx2A

fg .x/g � infx2Aff .x/g ;

` D infx2Afg .x/g � sup

x2A

ff .x/g :

x

Figure 3.1.

With such a choice of partition of A, we have

U�g; P 0

�� U

�f; P 0

�D

dXiD1

24 2nXjD1

hMSij

�g��MSij

�f�iv�Sij�35

6 d2nuv;

where v ´ supS2P 0 fv .S/g is the least upper bound of the volumes of the

subrectangles of P 0. Similarly,

L�g; P 0

�� L

�f; P 0

�D

dXiD1

24 2nXjD1

hmSij

�g��mSij

�f�iv�Sij�35

> d2n`v:

Therefore,

U�g; P 0

�� L

�g; P 0

�6hU�f; P 0

�C d2nuv

i�

hL�f; P 0

�C d2n`v

i6"

2C d2n .u � `/ v

D"

2C d2n .u � `/

"

2nC1d .u � `/

D "I

that is, g is integrable. It is easy to see now thatRAg D

RAf . ut

I Exercise 74 (3-3). Let f; g W A! R be integrable.

a. For any partition P of A and subrectangle S , show that mS�f�C mS

�g�6

mS�f C g

�and MS

�f C g

�6 MS

�f�C MS

�g�

and therefore L�f; P

�C

L�g; P

�6 L

�f C g; P

�and U

�f C g; P

�6 U

�f; P

�C U

�g; P

�.

Page 51: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 3.1 BASIC DEFINITIONS 47

b. Show that f C g is integrable andRA

�f C g

�DRAf C

RAg.

c. For any constant c, show thatRAcf D c

RAf .

Proof.

(a) We show that mS�f�C mS

�g�

is a lower bound ofn�f C g

�.x/ W x 2 S

o. It

is clear that mS�f�6 f .x/ and mS

�g�6 g .x/ for any x 2 S . Then for every

x 2 S we have

mS�f�CmS

�g�6 f .x/C g .x/ D

�f C g

�.x/ :

Hence, mS�f�CmS

�g�6 mS

�f C g

�.

Similarly, for every x 2 S we have MS

�f�> f .x/ and MS

�g�> g .x/;

hence,�f C g

�.x/ D f .x/ C g .x/ 6 MS

�f�C MS

�g�

and so MS

�f C g

�6

MS

�f�CMS

�g�.

Now for any partition P of A we have

L�f; P

�C L

�g; P

�D

XS2P

mS�f�v .S/C

XS2P

mS�g�

D

XS2P

hmS

�f�CmS

�g�iv .S/

6XS2P

mS�f C g

�v .S/

D L�f C g; P

�;

(3.1)

and

U�f; P

�C U

�g; P

�D

XS2P

MS

�f�v .S/C

XS2P

MS

�g�v .S/

D

XS2P

hMS

�f�CMS

�g�iv .S/

>XS2P

MS

�f C g

�v .S/

D U�f C g; P

�:

(3.2)

(b) It follows from (3.1) and (3.2) that for any partition P ,

U�f C g; P

�� L

�f C g; P

�6hU�f; P

�C U

�g; P

�i�

hL�f; P

�C L

�g; P

�iD

hU�f; P

�� L

�f; P

�iC

hU�g; P

�� L

�g; P

�i:

Since f and g are integrable, there exist P 0 and P 00 such that for any " > 0,

we have U�f; P 0

��L

�f; P 0

�< "=2 and U

�g; P 00

��L

�g; P 00

�< "=2. Let xP refine

both P 0 and P 00. Then

U�f; xP

�� L

�f; xP

�<"

2and U

�g; xP

�� L

�g; xP

�<"

2:

Hence,

Page 52: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

48 CHAPTER 3 INTEGRATION

U�f C g; xP

�� L

�f C g; xP

�< ";

and so f C g is integrable.

Now, by definition, for any " > 0, there exists a partition P (by using a

common refinement partition if necessary) such thatRAf < L

�f; P

�C "=2,R

Ag < L

�g; P

�C"=2, U

�f; P

�<RAf C"=2, and U

�g; P

�<RAgC"=2. Therefore,Z

A

f C

ZA

g � " < L�f; P

�C L

�g; P

�6 L

�f C g; P

�6ZA

�f C g

�6 U

�f C g; P

�6 U

�f; P

�C U

�g; P

�<

ZA

f C

ZA

g C ":

Hence,RA

�f C g

�DRAf C

RAg.

(c) First, suppose that c > 0. Then for any partition P and any subrectangle

S , we have mS�cf�D cmS

�f�

and MS

�cf�D cMS

�f�. But then L

�cf; P

�D

cL�f; P

�and U

�cf; P

�D cU

�f; P

�. Since f is integrable, for any " > 0 there

exists a partition P such that U�f; P

�� L

�f; P

�< "=c. Therefore,

U�cf; P

�� L

�cf; P

�D c

hU�f; P

�� L

�f; P

�i< "I

that is, cf is integrable. Further,

c

ZA

f �"

c< cL

�f; P

�D L

�cf; P

�6ZA

cf 6 U�cf; P

�D cU

�f; P

�< c

ZA

f C"

c;

i.e.,RAcf D c

RAf .

Now let c < 0. Then for any partition P of A, we have mS�cf�D cMS

�f�

and MS

�cf�D cmS

�f�. Hence L

�cf; P

�D cU

�f; P

�and U

�cf; P

�D cL

�f; P

�.

Since f is integrable, for every " > 0, choose P such that U�f; P

�� L

�f; P

�<

�"=c. Then

U�cf; P

�� L

�cf; P

�D �c

hU�f; P

�� L

�f; P

�i< "I

that is, cf is integrable. Furthermore,

�c

ZA

f C"

c< �cL

�f; P

�D �U

�cf; P

�6 �

ZA

cf 6 �L�cf; P

�D �cL

�f; P

�< �c

ZA

f �"

c;

i.e.,RAcf D c

RAf . ut

Page 53: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 3.1 BASIC DEFINITIONS 49

I Exercise 75 (3-4). Let f W A! R and let P be a partition of A. Show that f is

integrable if and only if for each subrectangle S the function f�S is integrable,

and that in this caseRAf D

PS

RSf�S .

Proof. Let P be a partition of A, and S be a subrectangle with respect to P .

Only if: Suppose that f is integrable. Then there exists a partition P1 of A

such that U�f; P1

�� L

�f; P1

�< " for any given " > 0. Let P2 be a common

refinement of P and P1. Then

U�f; P2

�� L

�f; P2

�6 U

�f; P1

�� L

�f; P1

�< ";

and there are rectangles˚S12 ; : : : ; S

n2

µ �2 .S/ with respect to P2, such that

S DSniD1 S

i2. Therefore,

U�f; P2

�� L

�f; P2

�D

XS2

hMS2

�f��mS2

�f�iv .S2/

>X

S22�2.S/

hMS2

�f��mS2

�f�iv .S2/

D U�f�S;P2

�� L

�f�S;P2

�I

that is, f�S is integrable.

0

x

y

a b

c

d

Figure 3.2.

If: Now suppose that f �S is integrable for each S . For each partition P 0, letˇ̌P 0ˇ̌

be the number of subrectangles induced by P 0. Let PS be a partition such

that

U�f�S;PS

�� L

�f�S;PS

�<

"

2jP j:

Let P 0 be the partition of A obtained by taking the union of all the sub-

sequences defining the partitions of the PS ; see Figure 3.2. Then there are

Page 54: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

50 CHAPTER 3 INTEGRATION

refinements P 0S of PS whose rectangles are the set of all subrectangles of P 0

which are contained in S . Hence,XS

ZS

f�S � " <XS

L�f�S;PS

�6XS

L�f�S;P 0S

�D L

�f; P 0

�6 U

�f; P 0

�D

XS

U�f�S;P 0S

�6XS

U�f�S;PS

�<XS

ZS

f�S C ":

Therefore, f is integrable, andRAf D

PS

RSf�S . ut

I Exercise 76 (3-5). Let f; g W A ! R be integrable and suppose f 6 g. Show

thatRAf 6

RAg.

Proof. Since f is integrable, the function �f is integrable by Exercise 74 (c);

then g � f is integrable by Exercise 74 (b). It is easy to seeRA

�g � f

�> 0

since g > f . It follows from Exercise 74 thatRA

�g � f

�DRA

�g C

��f

��DR

Ag C

RA

��f

�DRAg �

RAf ; hence,

RAf 6

RAg. ut

I Exercise 77 (3-6). If f W A! R is integrable, show that jf j is integrable andˇ̌RAfˇ̌6RAjf j.

Proof. Let f C D max ff; 0g and f � D max f�f; 0g. Then

f D f C � f � and jf j D f C C f �:

It is evident that for any partition P of A, both U�f C; P

�� L

�f C; P

�6

U�f; P

��L

�f; P

�and U

�f �; P

��L

�f �; P

�6 U

�f; P

��L

�f; P

�; hence, both

f C and f � are integrable if f is. Further,ˇ̌̌̌ZA

f

ˇ̌̌̌D

ˇ̌̌̌ZA

�f C � f �

�ˇ̌̌̌D

ˇ̌̌̌ZA

f C �

ZA

f �ˇ̌̌̌

6ZA

f C C

ZA

f �

D

ZA

�f C C f �

�D

ZA

jf j : ut

I Exercise 78 (3-7). Let f W Œ0; 1� � Œ0; 1�! R be defined by

Page 55: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 3.3 FUBINI’S THEOREM 51

f�x; y

�D

„0 x irrational

0 x rational, y irrational

1=q x rational, y D p=q is lowest terms.

Show that f is integrable andRŒ0;1��Œ0;1�

f D 0.

Proof. ut

3.2 Measure Zero and Content Zero

I Exercise 79 (3-8). Prove that Œa1; b1�� � � � � Œan; bn� does not have content 0 if

ai < bi for each i .

Proof. Similar to the Œa; b� case. ut

I Exercise 80 (3-9).

a. Show that an unbounded set cannot have content 0.

b. Give an example of a closed set of measure 0 which does not have content 0.

Proof.

(a) Finite union of bounded sets is bounded.

(b) Z or N. ut

I Exercise 81 (3-10).

a. If C is a set of content 0, show that the boundary of C has content 0.

b. Give an example of a bounded set C of measure 0 such that the boundary of

C does not have measure 0.

Proof. ut

3.3 Fubini’s Theorem

I Exercise 82 (3-27). If f W Œa; b� � Œa; b�! R is continuous, show thatZ b

a

Z y

a

f�x; y

�dx dy D

Z b

a

Z b

x

f�x; y

�dy dx:

Proof. As illustrated in Figure 3.3,

Page 56: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

52 CHAPTER 3 INTEGRATION

C Dn�x; y

�2 Œa; b�2 W a 6 x 6 y and a 6 y 6 b

oD

n�x; y

�2 Œa; b�2 W a 6 x 6 b and x 6 y 6 b

o:

0

x

y

0

x

y

a b

a

byDx

C

y first

x first

Figure 3.3. Fubini’s Theoremut

I Exercise 83 (3-30). Let C be the set in Exercise 17. Show thatZŒ0;1�

ZŒ0;1�

1C�x; y

�dx

!dy D

ZŒ0;1�

ZŒ0;1�

1C�x; y

�dy

!dx D 0:

Proof. There must be typos. ut

I Exercise 84 (3-31). If A D Œa1; b1�� � � � � Œan; bn� and f W A! R is continuous,

define F W A! R by

F .x/ D

ZŒa1;x1������Œan;xn�

f:

What is DiF .x/, for x 2 int.A/?

Solution. Let c 2 int.A/. Then

Page 57: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

SECTION 3.3 FUBINI’S THEOREM 53

DiF .c/ D limh!0

F�c�i ; ci C h

�� F .c/

h

D limh!0

RŒa1;c1������Œai ;c

iCh������Œan;cn� f � F .c/

h

D limh!0

R ciCh

ai

�RŒa1;c1������Œai�1;x

i�1��ŒaiC1;ciC1������Œan;cn� f

�dxi � F .c/

h

D limh!0

R ciCh

ci

�RŒa1;c1������Œai�1;c

i�1��ŒaiC1;ciC1������Œan;cn� f

�dxi

h

D

ZŒa1;c1������Œai�1;c

i�1��ŒaiC1;ciC1������Œan;cn�

f�x�i ; ci

�: ut

I Exercise 85 (3-32�). Let f W Œa; b� � Œc; d � ! R be continuous and suppose

D2f is continuous. Define F�y�DR baf�x; y

�dx. Prove Leibnitz’s rule: F 0

�y�DR b

aD2f

�x; y

�dx.

Proof. We have

F 0�y�D limh!0

F�y C h

�� F

�y�

h

D limh!0

R baf�x; y C h

�dx �

R baf�x; y

�dx

h

D limh!0

Z b

a

f�x; y C h

�� f

�x; y

�h

dx:

By DCT, we have

F 0�y�D

Z b

a

"limh!0

f�x; y C h

�� f

�x; y

�h

#dx

D

Z b

a

D2f�x; y

�dx: ut

I Exercise 86 (3-33). If f W Œa; b� � Œc; d �! R is continuous and D2f is contin-

uous, define F�x; y

�DR xaf�t; y

�dt .

a. Find D1F and D2F .

b. If G .x/ DR g.x/a

f .t; x/ dt , find G0 .x/.

Solution.

(a) D1F�x; y

�D f

�x; y

�, and D2F D

R xa

D2f�t; y

�dt .

(b) It follows that G .x/ D F�g .x/ ; x

�. Then

G0 .x/ D g0 .x/D1F�g .x/ ; x

�C D2F

�g .x/ ; x

�D g0 .x/ f

�g .x/ ; x

�C

Z g.x/

a

D2f .t; x/ dt: ut

Page 58: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales
Page 59: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

4INTEGRATION ON CHAINS

4.1 Algebraic Preliminaries

I Exercise 87 (4-1�). Let e1; : : : ; en be the usual basis of Rn and let '1; : : : ; 'nbe the dual basis.

a. Show that 'i1 ^ � � � ^ 'ik .ei1 ; : : : ; eik / D 1. What would the right side be if the

factor .k C `/Š=kŠ`Š did not appear in the definition of ^?

b. Show that 'i1 ^ � � � ^ 'ik .v1; : : : ; vk/ is the determinant of the k � k minor of�v1:::

vk

˘

obtained by selecting columns i1; : : : ; ik .

Proof.

(a) Since 'ij 2 T .Rn/, for every j D 1; : : : ; k, we have

'i1 ^ � � � ^ 'ik .ei1 ; : : : ; eik / DkŠ

1Š � � � 1ŠAlt

�'i1 ˝ � � � ˝ 'ik

�.ei1 ; : : : ; eik /

D

X�2Sk

.sgn.�//'i1.e�.i1// � � �'ik .e�.ik//

D 1:

If the factor .k C `/Š=kŠ`Š did not appear in the definition of ^, then the

solution would be 1=kŠ.

(b) ut

I Exercise 88 (4-9�). Deduce the following properties of the cross product in

R3.

a.e1 � e1 D 0 e2 � e1 D �e3 e3 � e1 D e2

e1 � e2 D e3 e2 � e2 D 0 e3 � e2 D �e1

e1 � e3 D �e2 e2 � e3 D e1 e3 � e3 D 0

Proof.

55

Page 60: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

56 CHAPTER 4 INTEGRATION ON CHAINS

(a) We just do the first line.

hw; zi D

e1

e1

w

D 0 H) z D e1 � e1 D 0;

hw; zi D

e2

e1

w

D �w3 H) e2 � e1 D �e3;

hw; zi D

e3

e1

w

D w2 H) e3 � e1 D e2:

ut

Page 61: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

References

[1] Apostol, Tom M. (1974) Mathematical Analysis: Pearson Education, 2nd

edition. [37]

[2] Axler, Sheldon (1997) Linear Algebra Done Right, Undergraduate Texts

in Mathematics, New York: Springer-Verlag, 2nd edition. []

[3] Berkovitz, Leonard D. (2002) Convexity and Optimization in Rn, Pure

and Applied Mathematics: A Wiley-Interscience Series of Texts, Mono-

graphs and Tracts, New York: Wiley-Interscience. [15]

[4] Munkres, James R. (1991) Analysis on Manifolds, Boulder, Colorado:

Westview Press. [40]

[5] Rudin, Walter (1976) Principles of Mathematical Analysis, New York:

McGraw-Hill Companies, Inc. 3rd edition. [17, 38]

[6] Spivak, Michael (1965) Calculus on Manifolds: A Modern Approach to

Classical Theorems of Advanced Calculus, Boulder, Colorado: Westview

Press. [i]

57

Page 62: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales
Page 63: Calculus on Manifolds - Jianfei Shen 行到水窮處 ... · Calculus on Manifolds A Solution Manual forSpivak(1965) Jianfei Shen School of Economics, The University of New South Wales

Index

Directional derivative, 24

59