Course 224: Geometry - Continuity and Differentiability

Similar documents
NOTES ON MULTIVARIABLE CALCULUS: DIFFERENTIAL CALCULUS

Nonlinear equations. Norms for R n. Convergence orders for iterative methods

Functions of Several Variables (Rudin)

SMSTC (2017/18) Geometry and Topology 2.

THE INVERSE FUNCTION THEOREM

Course Summary Math 211

1. Bounded linear maps. A linear map T : E F of real Banach

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

1 Solutions to selected problems

Introduction to Topology

Math 421, Homework #9 Solutions

Metric Spaces Lecture 17

Mathematical Analysis Outline. William G. Faris

Analysis-3 lecture schemes

Implicit Functions, Curves and Surfaces

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

MAT 257, Handout 13: December 5-7, 2011.

Several variables. x 1 x 2. x n

Math 361: Homework 1 Solutions

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

M311 Functions of Several Variables. CHAPTER 1. Continuity CHAPTER 2. The Bolzano Weierstrass Theorem and Compact Sets CHAPTER 3.

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Solutions to Problem Set 5 for , Fall 2007

INVERSE FUNCTION THEOREM and SURFACES IN R n

Math 600 Day 1: Review of advanced Calculus

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

5 Integration with Differential Forms The Poincare Lemma Proper Maps and Degree Topological Invariance of Degree...

The Inverse Function Theorem 1

1 The Local-to-Global Lemma

1.4 The Jacobian of a map

Course 212: Academic Year Section 1: Metric Spaces

Solutions to Tutorial 7 (Week 8)

Functional Analysis Exercise Class

APPLICATIONS OF DIFFERENTIABILITY IN R n.

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

Math 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).

BROUWER FIXED POINT THEOREM. Contents 1. Introduction 1 2. Preliminaries 1 3. Brouwer fixed point theorem 3 Acknowledgments 8 References 8

Chapter 3. Differentiable Mappings. 1. Differentiable Mappings

Inverse Function Theorem writeup for MATH 4604 (Advanced Calculus II) Spring 2015

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

Multivariable Calculus

The Contraction Mapping Principle

March 25, 2010 CHAPTER 2: LIMITS AND CONTINUITY OF FUNCTIONS IN EUCLIDEAN SPACE

Defn 3.1: An n-manifold, M, is a topological space with the following properties:

Maths 212: Homework Solutions

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

Topology Homework Assignment 1 Solutions

Exercise Sheet 1.

Changing coordinates to adapt to a map of constant rank

Vectors, dot product, and cross product

1.1. The category of Banach spaces. A Banach space E over F is a complete normed vector space where F = R or C. This means that

Assignment 1: Functions of several variables.

B. Appendix B. Topological vector spaces

1 Euclidean space R n

1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0

NORMS ON SPACE OF MATRICES

4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40

MA2AA1 (ODE s): The inverse and implicit function theorem

Metric Spaces and Topology

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Math 225A: Differential Topology, Final Exam

2.2. Show that U 0 is a vector space. For each α 0 in F, show by example that U α does not satisfy closure.

We denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,

Real Analysis. Joe Patten August 12, 2018

2. Metric Spaces. 2.1 Definitions etc.

The theory of manifolds Lecture 3. Tf : TR n TR m

Math 147, Homework 5 Solutions Due: May 15, 2012

Polynomial mappings into a Stiefel manifold and immersions

Chapter 2 Metric Spaces

ANALYSIS WORKSHEET II: METRIC SPACES

Sections 2.1, 2.2 and 2.4: Limit of a function Motivation:

Metric spaces and metrizability

The Contraction Mapping Theorem and the Implicit Function Theorem

Exam 2 extra practice problems

The Contraction Mapping Theorem and the Implicit and Inverse Function Theorems

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Analysis Comprehensive Exam Questions Fall 2008

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

Math 147, Homework 1 Solutions Due: April 10, 2012

CHAPTER 1. Metric Spaces. 1. Definition and examples

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014

CHAPTER 7. Connectedness

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

Nonlinear Programming Algorithms Handout

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

C -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6

0.1 Diffeomorphisms. 0.2 The differential

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

Iowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions

Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7

Vector Functions & Space Curves MATH 2110Q

Inverse Function Theorem

D(f/g)(P ) = D(f)(P )g(p ) f(p )D(g)(P ). g 2 (P )

Transcription:

Course 224: Geometry - Continuity and Differentiability Lecture Notes by Prof. David Simms L A TEXed by Chris Blair 1 Continuity Consider M, N finite dimensional real or complex vector spaces. What does it mean to say that a map M X f Y N is continuous? Let a, x X M, and f(a), f(x) Y N, then we can make f(x) arbitrarily close to f(a) by taking x sufficiently close to a. To make this precise, we choose norms on M, N. Definition: (Norm) A norm or length function on M is a function such that M R x x such that: i) x + y x + y (triangle inequality), ii) αx = α x, iii) x 0 with equality if and only if x = 0. Definition: (Normed Vector Space) A real or complex vector space with a chosen norm is called a normed vector space. From now on, M, N etc. are normed spaces. Definition: (Ball) Let X M, a X, r > 0, then the ball in X of radius r, centred at a is B X (a, r) = {x X x a < r} Definition: (Open) A set V X is called open in X if for each a V there exists an r > 0 such that B X (a, r) V, ie each point of V is an interior point. Theorem 1.1. B X (a, r) is open in X. Proof. Let b B X (a, r). Then b a < r r b a > 0. Let s > 0 be less than r b a, then x B X (b, s) x b < s < r b a x b + b a < r x a < r x B X (a, r) using the triangle inequality. Hence B X (b, s) B X (a, r) as required. 1

Definition: (Continuity) A map M X f Y N is called continuous at a X if for each ε>0 δ > 0 such that f [B X (a, δ)] B Y (f(a), ε)) We call f continuous if it is continuous at a for every a X. Theorem 1.2. Let M X f Y N, then f is continuous at a for each V open in Y such that f(a) V there exists W open in X such that fw V. Proof. i) Let f be continuous at a, and let V open in Y such that f(a) V. V is open, so there exists ε>0 such that B Y (f(a), ε) V. f is continuous, so therefore there exists δ >0 such that fb X (a, δ) B Y (f(a), ε), where B X (a, δ) is open in X as required. ii) Let V be open in Y such that f(a) V there exists W open in X such that a W and fw V. V is open so there exists ε > 0 such that B Y (f(a), ε) open in Y, f(a) B Y (f(a), ε). Therefore there exists W open in X such that a W and fw B Y (f(a), ε). W is open in X, so there exists δ > 0 such that B X (a, δ) fw B Y (f(a), ε), hence f is continuous at a as required. This theorem shows that the continuity at a of X f Y depends only on the open sets of X and Y. Definition: (Usual Topology) The collection of open sets of X, where X is a subset of a finite dimensional real or complex vector space, is called the usual topology on X, and is independent of the choice of norm. Definition: (Topology on X) Let X be a set. A topology on X is a collection of subsets of X, called the open sets of the topology, such that i), X open ii) If {V i } i I a collection of sets V i open in X then their union V i is open in X iii) If V 1... V k a finite collection of sets V i open in X, then their intersection V 1 V 2 V k is open in X Definition: (Topological Space) A set X together with a topology on X is called a topological space. Definition: (Continuous at a) Let X f Y, X, Y topological spaces, and a X. Then f is continuous at a if for each V open in Y such that f(a) V there exists W open in X such that a W and fw V. f is continuous if it is continuous at a for all a X. Note: If X a topological space and if V X, and if for each a V there exists open W such that a W a V, then V is open. Proof. V = W a is a union of open sets and is therefore open. Theorem 1.3. Let X f Y, X, Y topological spaces, then f is continuous V open in Y f 1 V open in X. Proof. i) Let f be continuous, and V be open in Y. Let a f 1 V, then there exists W a open in X such that a W a f 1 V (as f continuous). f 1 V = W a a union of open sets, hence f 1 V is open. 2

ii) Let V be open in Y f 1 V open in X. Let a X, and let V open in Y be such that f(a) V. Therefore a f 1 V open in X, and f [ f 1 V ] V. f 1 V is open, so then f is continuous at a for all a X, and so f is continuous. Theorem 1.4. Let f X.. Y gf.... g Z then f, g continuous gf continuous. Proof. Let V be open in Z, then (gf) 1 V = f 1 [ g 1 V ], and g 1 V is open as g is continuous, and f 1 g 1 V is open as f is continuous, hence gf is continuous. Thus we have a category top, whose objects are topological spaces X, Y, Z... and whose morphisms X f Y are continuous maps. We consider, in calculus, the category whose objects are open subsets V, U, W... of finite dimensional real or complex vector spaces, and whose morphisms are continuous maps V f W The isomorphisms in these categories are called homeomorphisms, hence we could ask 2 Differentiability Wherefore art thou homeomorphism? Definition: (Differentiable) Let M V f W N, where V, W are open subsets of real or complex vector spaces M, N. Let a V, then f is differentiable at a if there exists a linear operator M f (a) N called the derivative of f at a, such that f(a + h) = f(a) + f (a)h + φ(h) where f (a)h is a linear approximation to the change in f when a changes by h, and φ(h) is a remainder term such that φ(h) 0 as 0 i.e. for each open V, 0 V, in R there exists open W, 0 W, in M such that φ(h) V for all h W, h 0. Or equivalently, for any chosen norm, for each ε > 0 there exists δ > 0 such that φ(h) <ε <δ, h 0. 3

Theorem 2.1. Let M V f W N be differentiable at a V. Then the derivative f (a) is uniquely determined by the formula Proof. f (a)h which 0 as t 0, as required. = lim t 0 f(a + th) f(a) t = d dt f(a + th) t=0 = the directional derivative of f at a along h f(a + th) = f(a) + f (a)th + φ(th) f(a + th) f(a) f (a)h t = φ(th) th Definition: (Function of n independent variables) Let R n V called a real-valued function of n independent variables. f R, V open in R n, then f is Definition: (Partial Derivative) If a = (a 1,..., a n ) V, and x = (x 1,..., x n ), f(x) = f(x 1,..., x n ), then we define (a) = xj x j (a 1,..., a n ) f(a 1,..., a j + t,..., a n ) f(a 1,..., a j,... a n ) = lim t 0 t f(a + te j ) f(a) = lim t 0 t = d dt f(a + te j) t=0 = directional derivative of f at a along e j called the partial derivative of f at a with respect to the j th usual coordinate function x j. Theorem 2.2. Let R n V f R m be differentiable, V open, where f(x) = (f 1 (x),..., f m (x)), f i (x) = f i (x 1,..., x n ). Then the derivative R n f (a) R m is the m n matrix ( f i ) (a) (a) = x j Proof. The j th column of f (a) = f (a)e j = d dt as required. i = 1... m, j = 1... n f(a + te j ) = t=0 (a) x = j 1 (a) x,..., m (a) j x j Definition: (Operator Norm) Let M T N be a linear operator on M, N finite dimensional normed vector spaces. We write T = sup T u u =1 4

called the operator norm of T. This satisfies: i) S + T S + T ii) αt = α T iii) T x T x iv) ST S T v) T 0 with equality if and only if T = 0 Proof. eg. iii) T x = x T x x T since x x x iv) ST = sup ST u u =1 using iii). sup S T u u =1 sup S T u u =1 = S T a unit vector. Theorem 2.3. (Chain Rule For Functions on Finite Dimensional Real or Complex Vector Space) Let U g V f W and U f g W where U, V, W are open subsets of finite dimensional real or complex vector spaces. Let g be differentiable at a, f differentiable at g(a), then f g is differentiable at a and Proof. f g(a + h) Now, [ ] = f g(a) + g (a)h + φ(h) [ ] = f g(a) + y = f g(a) + f g(a) y + ψ(y) = f g(a) + f g(a) g (a)h ( f g) = f g(a) g (a) where φ(h) 0 as 0 where y = g (a)h + φ(h) + f g(a) φ(h) + y θ(y) where θ(y) = ) f (g(a) φ(h) + y θ(y) f φ(h) g(a) y g (a) + φ(h) y g (a) + φ(h) where ψ(y) 0 as y 0 y + y θ(y) which 0 as 0 (since θ(y) 0 as y 0 as 0), hence result. { ψ(y) y y 0 0 y = 0 5

] Example. Consider d dt [g f 1 (t),..., g n (t), where with g differentiable on U, and R U g V R n ( ) t g(t) = g 1 (t),..., g n (t) R n V f R (x 1,..., x n ) f(x 1,..., x n ) so that R U f g R. Then, d [ ] dt f g 1 (t),..., g n (t) = d f g (t) dt ( (t) = f g) (1 1 matrix) = f g(t) g (t) (n 1 and 1 n matrices) (g(t)) d = x i dt gi (t) = g(t) d n x i dt gi (t) i=1 illustrating the chain rule. = (g(t)) x 1 dg 1 (t) + dt + (g(t)) x n dg n (t) dt Example. Consider f(x, y), then d [ ] dt f g(t), g(t) = [ ] dg(t) x 1 g(t), g(t) + [ ] dg(t) dt x 2 g(t), g(t) dt Definition: (C r ) If f differentiable and f continuous, we say that f is C 1. If f differentiable and f (2) = (f ) continuous, we say that f is C 2. If the r th derivative exists and is continuous, we say that f is C r. If the r th derivative f (r) exists for all r we say that f is C or smooth. For each r we have a category whose objects are open subsets of finite dimensional real or complex vector spaces, and whose morphisms are C r functions, such that f, g C r f g C r. The isomorphisms in this category are called C r diffeomorphisms. V, W are C r diffeomorphic if V W, f V f 1 W, f, f 1 both C r. Now consider R n V f W R m. We have that [ ] f(x 1,..., x n ) = f 1 (x 1,..., x n ),..., f m (x 1,..., x n ) ( i and then f C 1 f = (m n matrix) exists and is continuous, which implies i x j exist and are continuous. We want to show the converse. x j ) all 6

Theorem 2.4. (Just the one component case) Let R n V continuous for all i. f R, V open, then f is C 1 x i exists and is Proof. Have already proved implication. We will prove the case for n = 2 only, i.e. let then x, where the remainder is R 2 V f R (x, y) f(x, y) exist and are continuous. To prove this, let a V, then [ f(a + h) = f(a) + x, ] [ ] h 1 h 2 + φ(h) φ(h) = f(a + h) f(a + h 2 e 2 ) x h1 + f(a + h 2 e 2 ) f(a) h2 = x (m 1)h 1 x (a)h1 + (m 2)h 2 (a)h2 using the Mean Value Theorem, for some m 1 on [a + h 2 e 2, a + h] and some m 2 on [a, a + h 2 e 2 ]. Hence, φ(h) h1 x (m 1) x (a) (m 2) (a) + h2 which 0 as 0. Therefore f exists, and is Now let m 2 M V f N 1 N m ( ) f(x) = f 1 (x),..., f m (x) = f j (x) (1 m matrix) a + h 2 e 2 a m 1 [ ] x,. be an m component function on open subset V, where M, N i are finite dimensional real or complex vector spaces. For any norm on M, N i, take a norm on N 1 N m as (y 1,..., y m ) = y 1 + + y m Then if a V, f(a + h) = f j (a + h) ( ) = f j (a) + f j(a)h + ψ j (h) = f j (a) + f j(a)h + ψ j (h) a + h 7

so ψ(h) = ψ 1(h) + + ψ m(h) which goes to zero as 0 if and only if ψj(h) 0 as 0 for all j = 1,..., m. Therefore f is differentiable at a with derivative f (a) such that f (a)h = f j(a)h if and only if f j is differentiable at a with derivative f j (a) for all j = 1,..., m. We have that f continuous f j continuous j, and so f is C1 f j is C 1 j. Example. Let R n V f R. Then, f is C 1 f = f is C 2 f = ( f is C 3 f = Theorem 2.5. If R n V f R, V open, is C 2, then ( x j ) 2 f x i x j exists and is continuous ) 3 f x i x j x k exists and is continuous f is C all partial derivatives exist. 2 f x i x j = 2 f x j x i exists and is continuous Proof. We will prove the case n = 2 only, i.e. let R 2 V f R, then = x x Let (a, b) V. Let h 0, k 0 be such that the closed rectangle (a, b), (a + h, b), (a + h, b + h), (a, b + k) is contained in V. b + k (a + h, b + k) d V b (a, b) a c a + h Put g(x) = f(x, b + k) f(x, b) 8

then f(a + h, b + h) f(a + h, b) f(a, b + k) + f(a, b) = g(a + h) g(a) = hg (c) [ ] = h (c, b + k) (c, b) x x [ ] = hk (c, d) x using the Mean Value Theorem first for some a c a + h and then for some b d b + k. Similarly, by defining g(x) = f(a + h, y) f(a, y) we have f(a + h, b + h) f(a + h, b) f(a, b + k) + f(a, b) = g(b + k) g(b) say, and so cancelling the h and k we get 2 f x (c, d) = 2 f x (c, d ) = k g (d ) [ = k (a + h, d ) ] (a, d ) [ ] = hk (c, d ) x We now let (h, k) (0, 0), so (c, d) (a, b) and (c, d ) (a, b). Hence by continuity of the second derivative we find that 2 f x (a, b) = 2 f (a, b) x Theorem 2.6. (Mean Value Theorem for Functions on Finite Dimensional Normed Spaces) Let M V be C 1. Let x, y V such that f N [x, y] = {tx + (1 t)y 0 t 1} V Let f [tx + (1 t)y] k 0 t 1 then f(x) f(y) k x y 9

Proof. We have that as required. f(x) f(y) = = 1 0 1 0 1 f(x) f(y) k x y dt 0 = k x y d f [tx + (1 t)y] dt dt f [tx + (1 t)y] (x y)dt Theorem 2.7. (Inverse Function Theorem) Let M V f N be a C r function on open V, with M, N finite dimensional real or complex vector spaces. Let a V at which M f (a) N is invertible, then there exists an open neighbourhood W of a such that is a C r diffeomorphism onto open f(w ) in N. Proof. i) Let T be the inverse of f (a), and put so W f f(w ) F (x) = T f(x + a) T f(a) F (0) = T f(a) T f(a) = 0 F (0) = T f (a) + 0 = 1 We will prove that F maps an open neighbourhood U of 0 onto an open neighbourhood F (U) of 0 by a C r diffeomorphism. It will then follow that f maps U + a onto f(u + a) by a C r diffeomorphism. Choose a closed ball B, centre 0, radius r > 0 such that, by continuity of F then, using u v u v, 1 M F (x) 1 2 det F (x) 0 } x B x, y B, x y F (x) F (y) (1 F )x (1 F )y by the Mean Value Theorem. Therefore 1 x y 2 F (x) F (y) 1 x y 2 10

so F (x) = F (y) x = y, so F is injective on B. Also, F (x) F (y) x y, so F 1 is continuous. Hence is a homeomorphism. B F F (B) ii) We will now show 1 2 B F (B). Take a 1 2B. Put then so and therefore g(x) = x F (x) + a g (x) = 1 F (x) + 0 g (x) 1 2 x B g(x) g(y) 1 x y x, y B 2 by the Mean Value Theorem, and so g is a contraction. Also, g(x) = g(x) g(0) + a g(x) g(0) + a 1 2 x + 1 2 r since g(0) = a by MVT 1 2 r + 1 2 r = r x B Therefore x B g(x) B, so B g B, and is a contraction. Consider now a sequence of points x 0, x 1, x 2... in B where g(x 0 ) = x 1, g(x 1 ) = x 2 and so on, or x r = g r (x 0 ). Let hence z is a fixed point. Therefore lim x r = z B r g(z) = g lim r x r = lim r g(x r) = lim r x r+1 = z so a F (B). z = z F (z) + a F (z) = a iii) Now let B 0 be the interior of B, and let U = B 0 F 1 ( 1 2 B0), all open sets, then U F F (U) is a C r homeomorphism of open U onto open F (U). We want to show that the inverse map U G F (U) is C r. Let x, x+h F (U), then G(x) = y, G(x + h) = y + l, say. Then F (y + l) = F (y) + Sl + φ(l) 11

where S = F (y) and φ(l) l 0 as l 0, and l (as F (x) F (y) 1 2 x y ), so l 0 as 0. Therefore, so and x + h = x + Sl + φ(l) l = S 1 h S 1 φ(l) G(x + h) = y + l = G(x) + S 1 h S 1 φ(l) S 1 φ(l) S 1 φ(l) l l with l 2, so this all goes to zero as 0, hence G is differentiable at x and [ ] 1 [ ] 1 G (x) = S 1 = F (y) = F (G(x)) therefore if G is C s for some 0 s r, then G is the composition of the C s functions G, F and [ ] 1, and hence is C s G is C s+1. So G C s G C s+1 0 s r, therefore G is C r as required. 3 Exercises 1. Let f be a constant function. Show f (a) is zero a M. Solution: Let f(x) = c x M. Then and therefore f (a) = 0 x M f(a + h) = c = f(a) + 0h + 0 2. Let f be a linear function. Show that f (a) is equal to f x M. Show f (a) = 0 x M. Solution: f(a + h) = f(a) + f(h) + 0, so therefore f (a) = f x M f = constant f (a) = 0 x M. 3. Let f : R n n R n n be defined by f(a) = A 2. Prove that f is differentiable and find its derivative. Solution: f(a + H) = A 2 + AH + HA + H 2 and H 2 = H H hence f is differentiable, with derivative given by f (A)H = AH + HA 0 as 0 4. Let B be a fixed n n matrix. Let f : R n n R n n be defined by f(a) = ABA. Prove that f is differentiable and find its derivative. Solution: f(a + H) = (A + H)B(A + H) = ABA + ABH + HBA + HBH and HBH B 12 0 as 0

hence f is differentiable, with derivative given by f (A)H = ABH + HBA 5. Let f : R n n R n n be defined by f(a) = A t A. Prove that f is differentiable and find its derivative. Prove that if A is an orthogonal matrix then the image of the linear operator f (A) is the space of real symmetric n n matrices. Solution: f(a + H) = (A + H) t (A + H) = A t A + A t H + H t A + H t H and H t H Ht hence f is differentiable, with derivative given by 0 as 0 f (A)H = A t H + H t A If A orthogonal, we need to show that there exists H R n n such that f (A)H = S, ie such that A t H + H t A = S and such a matrix H is given by H = 1 2 AS. 6. Let V be the space of real non-singular n n matrices. Let f : V R n n be given by f(a) = A 1. Find f (A). Solution: We want f(a + H) = (A + H) 1 = A 1 + linear in H+ remainder. Now, (A + H) 1 A 1 = (A + H) 1[ I (A + H)A 1] = (A + H) 1( HA 1) A 1 HA 1 for small H. The remainder term is then then as required, hence φ(h) = (A + H) 1 A 1 + A 1 HA 1 = (A + H) 1[ I (A + H)A 1 + (A + H)A 1 HA 1] = (A + H) 1[ HA 1 HA 1] φ(h) (A + H) 1 2 f (A)H = A 1 HA 1 A 1 2 0 as 0 7. A function F of n real variables is called homogeneous of degree r if it satisfies F (tx 1,..., tx n ) = t r F (x 1,..., x n ) By differentiation with respect to t show that such a function F is an eigenfunction of the operator x 1 x 1 + + x n x n and find the eigenvalue. Solution: Fix x 1,..., x n and differentiate with respect to t, hence x 1 x 1 F (tx 1,..., tx n ) + + x n x n F (tx 1,..., tx n ) = rt r 1 F (x 1,..., x n ) 13

Let t = 1, then ( x 1 ) x 1 + + x n x n F = rf hence F an eigenfunction of the the operator x 1 x + + x 1 n x with eigenvalue r. n 8. Let f : R 2 R be the function Show that at (0, 0). Solution: We have that and away from the origin = f = ( 2 ) [ f = x (0,0) x [ 2x 3 y 2xy 3 ] x 2 + y 2 {2xy x2 y 2 x 2 +y 2 (x, y) (0, 0) 0 (x, y) = 0 2 f x 2 f x ] = lim t 0 (0,0) [ (t, 0) t ] (0, 0) = (x2 + y 2 )(2x 3 6xy 2 ) (2x 3 y 2xy 3 )(2y) (x 2 + y 2 ) 2 (t, 0) = 2t and as f(x, y) = 0 at (0, 0) and along the y-axis, then (0, 0) = 0. Hence By symmetry, at (0, 0). 9. Let f : R 2 R be the function ( 2 ) f 2t = lim x t 0 (0,0) t = 2 2 f x = 2, hence (0,0) f = 2 f x 2 f x { 2xy 2 x 2 +y 4 (x, y) (0, 0) 0 (x, y) = 0 Calculate x and at (0, 0). Calculate d dtf(ta, tb) at t = 0 for a, b R. Deduce that the chain rule does not hold at (0, 0). 14

Solution: As f(x, y) = 0 along the x and y axes and at the origin, we have (0, 0) = (0, 0) = 0 x We also have d dtf(ta, tb) = a x (ta, tb) + b (ta, tb). Now, away from the origin f is C, so the chain rule holds and d f(ta, tb) f(0, 0) f(ta, tb) = lim dt t 0 t t=0 while the chain rule would give d f(ta, tb) dt 2ab 2 t 3 = lim t 0 t(a 2 t 2 + b 4 t 4 ) { 2b 2 = a a 0 0 a = 0 = a x t=0 (0, 0) + b (0, 0) = 0 so the chain rule does not hold at (0, 0) and indeed f is not differentiable at (0, 0). 15