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 John Armstrong | Differential Topology, Topology

6 Comments »

[...] 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
[...] 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
[...] 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
[...] 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
[...] 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
[...] 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

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects
Archives

May 2011

M T W T F S S

« Apr Jun »

1

2 3 4 5 6 7 8

9 10 11 12 13 14 15

16 17 18 19 20 21 22

23 24 25 26 27 28 29

30 31
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider