Topology and Geometry of Manifolds Assignment #8 for Math 545, Winter 2000, Assignments of Geometry

Math 545 assignment #8 for the topology and geometry of manifolds course during the winter 2000 academic year. The assignment includes required and optional problems. Required problems involve showing that the tangent vector of a smooth curve lies in the subspace of the tangent space when the curve's image is in an embedded submanifold, proving that a diffeomorphism preserves invariant vector fields if and only if its flow commutes with the diffeomorphism, and proving lemma 5.12. Optional problems cover the existence, uniqueness, and smoothness of solutions for nonautonomous systems of ordinary differential equations.

Typology: Assignments

Pre 2010

Uploaded on 03/10/2009

koofers-user-aqh
koofers-user-aqh 🇺🇸

10 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 545 Topology and Geometry of Manifolds Winter 2000
Assignment #8
Due 3/3/2000
I. Required problems.
1. If NMis an embedded submanifold and γ:J Mis a smooth curve whose
image happens to lie in N, show that γ0(t) is in the subspace Tγ(t)Nof Tγ(t)Mfor
all tJ. Give a counterexample if Nis not embedded.
2. Let F:M Mbe a diffeomorphism, let Vbe a smooth vector field on M,and
let θbe the flow generated by V. Show that Vis invariant under Fif and only
if θcommutes with F, in the sense that θtF=Fθtwhenever either side is
defined. [Hint: use uniqueness of integral curves.]
3. Prove Lemma 5.12.
4. If Vis a vector field on a smooth manifold M,thesupport of Vis defined to be
the closure of the set {pM:Vp6=0}. Show that every smooth vector field with
compact support is complete.
II. Optional problems.
5. All the systems of differential equations that we have considered have been of the
form
γi0(t)=Vi(γ(t)),
in which the functions Vido not depend explicitly on the independent variable t.
(Such a system is said to be autonomous.) If instead Vis a function of (t, x)in
some subset of R×Rn, the resulting system is called nonautonomous;itcanbe
thought of as a “time-dependent vector field” on a subset of Rn. This problem
shows that local existence, uniqueness, and smoothness for a nonautonomous
system follow from the corresponding results for autonomous ones.
Suppose URnis an open set, JRis an open interval, and V:J×U Rnis
a smooth map. For any (t0,x
0)J×Uand any sufficiently small ε>0, show that
there exists a neighborhood U0of x0in Uand a smooth map θ:(t0ε, t0+ε)×U0
Usuch that for each xU0,thecurveγ(t)=θ(t, x) is the unique solution on
(t0ε, t0+ε) to the nonautonomous initial-value problem
γi0(t)=Vi(t, γ(t)),
γi(t0)=xi.
[Hint: replace this system of ODEs by an autonomous system in Rn+1.]

Partial preview of the text

Download Topology and Geometry of Manifolds Assignment #8 for Math 545, Winter 2000 and more Assignments Geometry in PDF only on Docsity!

Math 545 Topology and Geometry of Manifolds Winter 2000 Assignment # Due 3/3/

I. Required problems.

  1. If N ⊂ M is an embedded submanifold and γ : J −→ M is a smooth curve whose image happens to lie in N, show that γ′(t) is in the subspace Tγ(t)N of Tγ(t)M for all t ∈ J. Give a counterexample if N is not embedded.
  2. Let F : M −→ M be a diffeomorphism, let V be a smooth vector field on M, and let θ be the flow generated by V. Show that V is invariant under F if and only if θ commutes with F , in the sense that θt ◦ F = F ◦ θt whenever either side is defined. [Hint: use uniqueness of integral curves.]
  3. Prove Lemma 5.12.
  4. If V is a vector field on a smooth manifold M, the support of V is defined to be the closure of the set {p ∈ M : Vp 6 = 0}. Show that every smooth vector field with compact support is complete.

II. Optional problems.

  1. All the systems of differential equations that we have considered have been of the form

γi′(t) = V i(γ(t)),

in which the functions V i^ do not depend explicitly on the independent variable t. (Such a system is said to be autonomous.) If instead V is a function of (t, x) in some subset of R × Rn, the resulting system is called nonautonomous; it can be thought of as a “time-dependent vector field” on a subset of Rn. This problem shows that local existence, uniqueness, and smoothness for a nonautonomous system follow from the corresponding results for autonomous ones. Suppose U ⊂ Rn^ is an open set, J ⊂ R is an open interval, and V : J × U −→ Rn^ is a smooth map. For any (t 0 , x 0 ) ∈ J ×U and any sufficiently small ε > 0, show that there exists a neighborhood U 0 of x 0 in U and a smooth map θ : (t 0 −ε, t 0 +ε)×U 0 −→ U such that for each x ∈ U 0 , the curve γ(t) = θ(t, x) is the unique solution on (t 0 − ε, t 0 + ε) to the nonautonomous initial-value problem

γi′(t) = V i(t, γ(t)), γi(t 0 ) = xi.

[Hint: replace this system of ODEs by an autonomous system in Rn+1.]