Lecture 6. Differential Equations

Similar documents
The theory of manifolds Lecture 2

PICARD S THEOREM STEFAN FRIEDL

Solutions to Problem Set 5 for , Fall 2007

Lecture 8. Connections

0.1 Diffeomorphisms. 0.2 The differential

Sobolev Spaces. Chapter 10

Vector fields Lecture 2

Math 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech

Metric Spaces and Topology

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

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

Stochastic Differential Equations.

Lecture 7. Lie brackets and integrability

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Vector fields and one forms. v : M TM

GEOMETRY MID-TERM CLAY SHONKWILER

The Inverse Function Theorem via Newton s Method. Michael Taylor

Exercises from other sources REAL NUMBERS 2,...,

Richard S. Palais Department of Mathematics Brandeis University Waltham, MA The Magic of Iteration

The wave front set of a distribution

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Coordinate Systems and Canonical Forms

LECTURE 15: COMPLETENESS AND CONVEXITY

Homework 27. Homework 28. Homework 29. Homework 30. Prof. Girardi, Math 703, Fall 2012 Homework: Define f : C C and u, v : R 2 R by

NOTES ON EXISTENCE AND UNIQUENESS THEOREMS FOR ODES

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

THE INVERSE FUNCTION THEOREM

Math 328 Course Notes

Notes on uniform convergence

The theory of manifolds Lecture 3

Lecture 11. Geodesics and completeness

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

Existence and Uniqueness

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

Lecture Notes on Metric Spaces

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech. Integration on Manifolds, Volume, and Partitions of Unity

LMI Methods in Optimal and Robust Control

A crash course the geometry of hyperbolic surfaces

Exercises for Multivariable Differential Calculus XM521

Section 2.8: The Existence and Uniqueness Theorem

MATH DIFFERENTIAL GEOMETRY. Contents

Non-linear wave equations. Hans Ringström. Department of Mathematics, KTH, Stockholm, Sweden

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

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

Riemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,

Introductory Analysis 2 Spring 2010 Exam 1 February 11, 2015

1. For each statement, either state that it is True or else Give a Counterexample: (a) If a < b and c < d then a c < b d.

8 Change of variables

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

2 Sequences, Continuity, and Limits

Math 201 Handout 1. Rich Schwartz. September 6, 2006

Integration on Measure Spaces

1.4 The Jacobian of a map

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

Problem List MATH 5143 Fall, 2013

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

the convolution of f and g) given by

Lecture 2. Smooth functions and maps

SMSTC (2017/18) Geometry and Topology 2.

Inverse Function Theorem

An introduction to Mathematical Theory of Control

Hopf-Rinow and Hadamard Theorems

Takao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...

MAT389 Fall 2016, Problem Set 11

Riemann integral and Jordan measure are generalized to unbounded functions. is a Jordan measurable set, and its volume is a Riemann integral, R n

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

SOLVING DIFFERENTIAL EQUATIONS

4 Uniform convergence

Math 127: Course Summary

Ordinary Differential Equation Introduction and Preliminaries

Lecture 4: Completion of a Metric Space

INTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM

Cauchy Sequences. x n = 1 ( ) 2 1 1, . As you well know, k! n 1. 1 k! = e, = k! k=0. k = k=1

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

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

MA108 ODE: Picard s Theorem

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Spaces with Ricci curvature bounded from below

Math 225A: Differential Topology, Final Exam

The Arzelà-Ascoli Theorem

MAS331: Metric Spaces Problems on Chapter 1

Lecture 5. Lie Groups

1 Math 241A-B Homework Problem List for F2015 and W2016

Complex Analysis Problems

Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

CALCULUS ON MANIFOLDS

Local semiconvexity of Kantorovich potentials on non-compact manifolds

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

Picard s Existence and Uniqueness Theorem

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

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

4 Divergence theorem and its consequences

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

Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit

Measure and Integration: Solutions of CW2

Econ Lecture 14. Outline

Transcription:

Lecture 6. Differential Equations Our aim is to prove the basic existence, uniqueness and regularity results for ordinary differential equations on a manifold. 6.1 Ordinary differential equations on a manifold. Any vector field on a differentiable manifold M is naturally associated with adifferential equation: If V X(M), and x M, the basic problem of ODE theory is to find a smooth map γ : I M for some interval I containing, such that γ (t) =V γ(t) for all t I, and γ() = x. This is the general initial value problem. We would like to known several things about this problem: First, that solutions exist; second, that they are unique; and third, that the solutions depend in a smooth way on the initial point x M. The following proposition incorporates all three aspects: Proposition 6.1.1 Let V X(M) and x M. Then there exists δ>, a neighbourhood U of x in M, and a unique smooth map Ψ : U ( δ, δ) M which satisfies 4 t Ψ(y, t) =V Ψ(y,t) Ψ(y, ) = y for all y U and t ( δ, δ). Foreach t (δ, δ), the map Ψ t : U M defined by Ψ t (y) =Ψ(y, t) is a local diffeomorphism, and whenever both sides are defined. Ψ t Ψ s = Ψ s+t 4 Note that There is a natural vector field t defined on on U ( δ, δ)by( tf)(x) = s f(x, t + s) s=. The ODE means that D (y,t) Ψ( t)=v Ψ(y,t) for all y and t.

5 Lecture 6. Differential Equations The smoothness of Ψ as a function of y amounts to smooth dependence of solutions on their initial conditions, and we get the added bonus that the maps Ψ t ( called the (local) flow of V for time t) are local diffeomorphisms, and they form a local group : Ψ t Ψ s = Ψ s+t as one would expect for a group of diffeomorphisms, but this might hold only on a rather restricted domain. Example 6.1.1: Problems with V. This example demonstrates why we may only be able to define the flow of a vector field locally, as in the proposition: Take M = R, and take V to be the vector field V x = x 2 x. Then for each x R we want to solve the equation x y (t) =y(t) 2 ; y() = x. This gives Ψ(x, t) =y(t) = 1 tx,onthe time interval (1/x, ) ifx<, or (, 1/x) ifx> (or (, ) inx =). Thus the flow of the vector field cannot be defined on R (δ, δ) for any δ>, and cannot be defined on U R for any open subset U of R. Here the problem seems to arise because the vector field V is not bounded. Example 6.1.2: Problems with M. Next consider the example M =(, 1) with the vector field V x = x :Nowwe have the flow Ψ(x, t) =x + t which is defined on the region {(x, t) : t ( x, 1 x)}. Again, this flow cannot be defined on M ( δ, δ) for any δ>, or on U R for any U M. Here the problem seems to arise because the domain manifold has edges. Remark. In fact the distinction between these types of difficulties is not so clear. The two situations are in some sense the same, since a diffeomorphism can take a bounded interval to an unbounded region, mapping a bounded vector field to an unbounded one: For example, the map x cot(πx) maps (, 1) to R and sends the bounded vector field x to the unbounded vector field π/ sin 2 (πx) x. When we come to add some further structure to our manifolds in the form of metrics, we will have some notion of when a vector field is unbounded and when a manifold has a boundary, but without this the notions are not meaningful. To begin the proof of Proposition 5.1.1, we will first reduce the problem to an ordinary differential equation on R n,bylooking at the flow of the vector field through a chart:

6.1 Ordinary differential equations on a manifold. 51 M j Proposition 6.1.2 Let V X(M), and suppose Ψ : U ( δ, δ) M satisfies t Ψ(y, t) =V Ψ(y,t) ; (6.1) Ψ(y, ) = y; for each (y, t) U ( δ, δ). Letϕ : W Z R n be a chart for M such that Ψ(U ( δ, δ)) W. Then u(z,t) =ϕ Ψ(ϕ 1 (z),t) defines a map u : ϕ(u) ( δ, δ) Z which satisfies t u k (z 1,...,z n,t)=ṽ k (u 1 (z 1,...,z n,t),...,u n (z 1,...,z n,t)) u k (z 1,...,z n, ) = z k, (6.2) for k =1,...,n and all (z 1,...,z n ) ϕ(u) and t (δ, δ). Here V ( ϕ 1 (z 1,...,z n ) ) = n Ṽ k (z 1,...,z n ) k. Conversely, if u satisfies (6.2) then Ψ(y, t) =ϕ 1 (u(ϕ(y),t)) defines a solution of (6.1). Proof. We have D (z,t) u( t )=D Ψ(ϕ 1 (z),t)ϕ D (ϕ 1 (z),t)ψ( t )=D ϕ (V ). By definition Dϕ( j )=e j for j =1,...,n,soifV = Ṽ k k, then Dϕ(V )= Ṽ k e k. We will prove Proposition 6.1.1 by constructing a unique solution for the ODE (6.2) on a region of R n. k=1

52 Lecture 6. Differential Equations 6.2 Initial value problems. We begin the proof of Proposition 6.1.1 by constructing solutions of initial value problems: Proposition 6.2.1 Let F : Z R n be smooth, where Z is an open set of R n. Assume sup Z F = M <, and sup Z DF = M 1 <. Letz Z. Then there exists a unique smooth γ :( δ, δ) Z satisfying d dt γi (t) =F (γ 1 (t),...,γ n (t)); γ() = z (6.3) for i =1,...,n. Here δ = d(z, Z) M. The curves constructed in this proposition are called the integral curves of the vector field F i i. Proof. We use the method of successive approximations, or Picard iteration. Begin with some approximation to the solution, say γ () (t) =z for all t ( δ, δ). Then we try to improve this approximation by iteration: Suppose we have an approximation γ (k). Then produce a new approximation by the formula t ( ) γ (k+1) (t) =z + F γ (k) (s) ds. This is based on the following observation: The approximation γ (k+1) satisfies the differential equation d dt γ(k+1) = F (γ (k) ), so we are using the kth approximation to tell us the direction of motion for the (k+1)st approximation. If this iteration converges to a limit, the required ODE must be satisfied. Note that this iteration makes sense, because we have γ (k) (t) z t M <δm = d(z, Z) so γ (k) (t) isalways an element of Z. To show that the iteration converges, consider the difference between successive approximations: We will prove that γ (k+1) (t) γ (k) (t) M M k 1 t k+1 (n + 1)! (6.4) for all k and t ( δ, δ). This is true for k =,since γ (1) γ () = t F (z)ds t M.Weproceed by induction: Suppose the inequality holds for k 1. Then

6.2 Initial value problems. 53 γ (k+1) (t) γ (k) t (t) = F (γ (k) (s)) F (γ (k 1) (s)) ds t γ M (k) 1 (s) γ (k 1) (s) ds t M M1 k 1 s k M 1 ds k! M M1 k t k+1. (k + 1)! This implies that the sequence {γ (k) } is a Cauchy sequence in the complete space of continuous maps with respect to uniform convergence, and so converges to a continuous limit γ. The continuity of F and the dominated convergence theorem then imply that γ(t) =z + t F (γ(s)) ds (6.5) for all t ( δ, δ), so that γ is differentiable and satisfies the equation γ (t) =F (γ(t)) for each t, and the initial condition γ() = z. Smoothness follows, since γ C (k) implies γ C k+1 by the identity (6.5) and the smoothness of F. This establishes the existence of a solution. To prove uniqueness, suppose γ and σ are two solutions of the initial value problem. Then t γ(t) σ(t) = F (γ(s)) F (σ(s)) ds t (6.6) M 1 γ(s) σ(s) ds Let C = sup γ σ. Then an induction similar to that above shows that γ(t) σ(t) CMk 1 t k for any k. Taking k gives γ σ. k!

54 Lecture 6. Differential Equations 6.3 Smooth dependence on initial conditions. The result of the previous section produced the unique flow Ψ of the vector field V, but did not address the smoothness of Ψ except in the t direction. Since smoothness is measured by reference to charts, it is enough to show smoothness of the map u from Proposition 6.1.2: Proposition 6.3.1 The function u which takes a pair (z,t) to the solution γ(t) of the initial value problem (6.3) is smooth on the open set S = {(z,t) Z R : t <d(z, Z)/M }. Proof. I will show that u is the C k limit of a family of smooth functions for any k: Define u () (z,t) =z, and successively approximate using u (k+1) (z,t) =z + t F ( ) u (k) (z,s) ds. (6.7) Clearly u (k) maps S to Z for each k, u (k) is smooth for each k, and by (6.4) we have u (k+1) (z,t) u (k) (z,t) M M1 k t k+1. (k + 1)! Differentiating (6.7) with t fixed gives D z u (k+1) t t = I+ DF D z u (k) s which gives by induction D z u (k) t k j= ( t ) ds 1+M 1 D z u s (k) ds M j 1 t j j! e M1 t independent of k. Wealso have t u (k) M for all k, so{u (k) } is uniformly bounded in C 1. Similar arguments with higher derivatives give uniform bounds on {u (k) } in C j for every j. Exercise 6.3.2 Show that a sequence of functions {u (k) } which converges in C and is bounded in C j converges in C m for m =1,...,j 1 [Hint: The key tothis is the following interpolation inequality: Forany C j function u, and any l {1,...,j 1}, there is a constant C such that D l u C C u 1 l/j C D j u l/j C. Prove this by first proving the case l =1,j =2,and then applying this successively to get the other cases. Then apply the estimate to differences u (k) u (k ) ].

6.6 Global flow. 55 This completes the proof of Proposition 6.3.1, since Exercise 6.3.2 shows that u = lim u (k) is in C j for every j. Remark. It is possible to show more explicitly that the approximations u (k) converge in C j for every j,bydifferentiating the formula u (k+1) u (k) j times. 6.4 The local group property. Next we show that the flow Ψ we have constructed satisfies the local group property Ψ t Ψ s = Ψ t+s whenever both sides of this equation make sense. This is very easy: Ψ t Ψ s and Ψ t+s both satisfy the same differential equation t Ψ = V Ψ, and have the same initial condition at t =.Hence by the uniqueness part of Proposition 6.2.1, they are the same. 6.5 The diffeomorphism property. We need to show that DΨ t is non-singular. Again, this is very easy: It is true for t small (uniformly in space) since Ψ is smooth and DΨ =I.But by the local group property, Ψ t = ( Ψ t/m ) m,sodψt is a composition of m non-singular maps, and hence is non-singular. This completes the proof of Proposition 6.1.1. 6.6 Global flow. Proposition 6.1.1 gives the existence of the flow of a vector field locally, and we have seen that there are examples which show that one cannot in general expect better than this. However there are some very important situations where we can do better: Proposition 6.6.1 Let V X(M) be a vector field with compact support that is, assume that suppv = {x M : V (x) } is a compact subset of M. Then there exists a unique smooth map Ψ : M R M satisfying t Ψ = V Ψ; Ψ(x, ) = x. The maps {Ψ t } form a one-parameter group of diffeomorphisms of M.

56 Lecture 6. Differential Equations Fig. 6.2: A vector field supported in the unit disk. Proof. Cover suppv by sets of the form ϕα 1 (B rα/2()) where ϕ α : W α Z α is a chart for M and B rα () Z α.bycompactness there is a finite subcover {ϕ 1 i (B ri/2())} N i=1. Let r = inf i=1,...,n r i /2 >. Proposition 6.1.1 gives a local flow Ψ i on each region ϕ 1 ( δ, δ), where δ = inf i=1,...,n r sup Zi Ṽi i (B ri/2()) >. The uniqueness of solutions implies that these local flows agree on the overlaps of these sets, so they combine to give a local flow on the set M ( δ, δ) (by taking Ψ to be the identity map away from suppv ). The local group property implies that these maps are diffeomorphisms, since Ψt 1 = Ψ t for t <δ. Finally, for any t R, define Ψ t = ( ) m, Ψ t/m where m is sufficiently large to ensure that t /m < δ. Then Ψ satisfies the required differential equation and is defined on M R. In particular, a smooth vector field on a compact manifold M always has a globally defined flow. Exercise 6.6.1 Show that the exponential map on a Lie group G is a smooth map defined on all of T e G [Hint: First prove existence in a neighbourhood of the origin. Then use the one-parameter subgroup property to extend to the whole of T e G]. An important feature of flows of vector fields (i.e. of solving differential equations) is the possibility of substituting new variables in a differential equation. We will formalise this as follows:

6.6 Global flow. 57 Fig. 6.3: Images of a standard grid at a sequence of times under the flow of the vector field from Fig. 6.2 Definition 6.6.1 Let F : M N be smooth. Vector fields X X(M) and Y X(N) are F -related if, for every x X, D x F (X x )=Y F (x). In particular, if F is a diffeomorphism, every X X(M) has a unique F - related N X(N), which we denote F (X), the push forward of X by F. Proposition 6.6.2 Let F : M N be smooth, and X X(M), Y X(N) F -related. Let Ψ be the local flow of X, and Φ the local flow of Y. Then Φ(F (y),t)=f Ψ(y, t) for all y sufficiently close to x and t sufficiently small. Proof. The uniqueness of solutions of initial value problems applies, since t (F Ψ)(y, t) =D Ψ(y,t) F (X Ψ(y,t) )=Y F Ψ(y,t) and F Ψ(y, ) = F (y).