The Unapologetic Mathematician

Mathematics for the interested outsider

The Maximal Flow of a Vector Field

Given a smooth vector field X\in\mathfrak{X}M we know what it means for a curve c to be an integral curve of X. We even know how to find them by starting at a point p and solving differential equations as far out as we can. For every p\in M, let I_p be the maximal open interval containing 0 on which we can define the integral curve \Phi_p with \Phi_p(0)=p.

Now, I say that there is a unique open set W\subseteq\mathbb{R}\times M and a unique smooth map \Phi:W\to M such that W\cap(\mathbb{R}\times\{p\})=I_p\times\{p\} — the set W cuts out the interval I_p from the copy of \mathbb{R} at p — and further \Phi(t,p)=\phi_p(t) for all (t,p)\in W. This is called the “maximal flow” of X.

Since there is some integral curve through each point p\in M, we can see that \{0\}\times M\subseteq W. Further, it should be immediately apparent that \Phi is also a local flow. What needs to be proven is that W is open, and that \Phi is smooth.

Given a p\in M, let I\subseteq I_p be the collection of t for which there is a neighborhood of (t,p) contained in W on which \Phi is differentiable. We will show that I is nonempty, open, and closed in I_p, meaning that it must be the whole interval.

Nonemptiness is obvious, since it just means that p is contained in some local flow, which we showed last time. Openness also follows directly from the definition of I.

As for closedness, let t_0 be any point in \bar{I}, the closure of I. We know there exists some local flow \Phi':I'\times V'\to M with 0\in I' and \Phi_p(t_0)\in V'. Now pick an t_1\in I close enough to t_0 so that t_0-t_1\in I' and \Phi_p(t_1)\in V' — this is possible since t_0 is in the closure of I and \Phi_p is continuous. Then choose an interval I_0 around t_0 so that t-t_1\in I' for each t\in I_0. And finally the continuity of \Phi at (t_1,p) tells us that there is a neighborhood V of p so that \Phi(t_1\times V)\subseteq V'.

Now, \Phi is defined and differentiable on I_0\times V, showing that t_0\in I. Indeed, if t\in I_0 and q\in V, then t-t_1\in I' and \Phi(t_1,q)\in V', so \Phi'(t-t_1,\Phi(t_1,q)) is defined. The curve s\mapsto\Phi'(s-t_1,\Phi(t_1,q)) is an integral curve of X, and it equals \Phi(t_1,q) at t_1. Uniqueness tells us that \Phi(t,q)=\Phi'(t-t_1,\Phi(t_1,q)) is defined, and \Phi is thus differentiable at (t,q).

About these ads

May 30, 2011 - Posted by | Differential Topology, Topology

6 Comments »

  1. [...] we define a vector field by then is a flow for this vector field. Indeed, it’s a maximal flow, since it’s defined for all time at each [...]

    Pingback by One-Parameter Groups « The Unapologetic Mathematician | May 31, 2011 | Reply

  2. [...] gives us a “derivative” of smooth functions . If is a smooth vector field it has a maximal flow which gives a one-parameter family of diffeomorphisms, which we can think of as “moving [...]

    Pingback by The Lie Derivative « The Unapologetic Mathematician | June 15, 2011 | Reply

  3. [...] we want a characterization of -invariance in terms of the flow of . I say that is -invariant if and only if for all . That is, the flow should commute with [...]

    Pingback by Invariance and Flows « The Unapologetic Mathematician | June 17, 2011 | Reply

  4. [...] mean? It turns out that the bracket of two vector fields measures the extent to which their flows fail to [...]

    Pingback by Brackets and Flows « The Unapologetic Mathematician | June 18, 2011 | Reply

  5. [...] let be the flow of , and let be a small enough neighborhood of that we can define [...]

    Pingback by Building Charts from Vector Fields « The Unapologetic Mathematician | June 22, 2011 | Reply

  6. [...] defined the Lie derivative of one vector field by another, . This worked by using the flow of to compare nearby points, and used the derivative of the flow to translate [...]

    Pingback by The Lie Derivative on Forms « The Unapologetic Mathematician | July 13, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 392 other followers

%d bloggers like this: