6
$\begingroup$

Let $(M, g)$ be a compact Riemannian manifold and $f: M \rightarrow \mathbb{R}$ be a Morse-Bott function, i.e. the set a critical points of $f$, $Crit(f)$, has connected components which are smooth manifolds and such that $T_x Crit(f) = \ker \nabla^2_x f$,

(where $\nabla^2_x f: T_x M \rightarrow T_xM$ is the linear operator obtained via $g$ from the hessian $f_{**,x} : T_x M \times T_x M \rightarrow \mathbb{R}$ defined as $f_{**,x}(v, w) = v(W(f))$ for $W \in \Gamma(TM)$ any extension of $w$ (this is well defined and symmetric at critical points) )

Let $\nabla f \in \Gamma(TM)$ be defined by $g(\nabla f, w) = w(f)$. Consider the flow of $-\nabla f$ denoted $\phi_t$.

How to prove that $\phi_t(y)$ converges when $t \rightarrow + \infty $ and it converges in the critical set of $f$?

Ps: This question appeared under bounty for 500 points here https://math.stackexchange.com/questions/4265927/the-flux-of-a-the-negative-gradient-flow-of-a-morse-bott-function-on-a-compact-m?noredirect=1#comment9393403_4265927 but didn't receive any answer so far.

$\endgroup$
1
  • 2
    $\begingroup$ I will comment in the MSE thread as the thread will likely be closed here as off-topic. $\endgroup$ Commented Jun 26, 2022 at 7:46

2 Answers 2

6
+400
$\begingroup$

I will assume that "converges in the critical set of $f$" is asking that if $f$ is MB then $\phi_t(y)$ (the flowlines) converge as $t\to\infty$ to $y_\infty$ a critical point (of course, depending on $y$).


For any function $f$ on $(M,g)$ a closed Riemannian manifold, note that $$ \tag{*} \frac{d}{dt} f(\phi_t(y)) = - |\nabla f|^2(\phi_t(y). $$ Since $f$ is bounded, we can integrate this from $0$ to $\infty$ to find that $$ \int_0^\infty |\nabla f|^2(\phi_s(y)) ds < \infty. $$

Claim: $|\nabla f|^2(\phi_s(y)) \to 0$ as $s\to\infty$.

One way to see this is to note that $$ \frac{d}{ds} |\nabla f|^2(\phi_s(y)) = 2 D^2 f(\nabla f,\nabla f)|_{\phi_s(y)} $$ is bounded and to prove that if $u \in L^2([0,\infty))$ has $|u'|\leq C$ then $u(s)\to 0$ as $s\to\infty$ (if $u$ is $>\epsilon$ far out at infinity, it will be $>\epsilon/2$ on a definite interval by the derivative estimate, this will contribute too much to the $L^2$ norm). This proves the claim.

In particular, for any sequence $t_i\to\infty$, we can pass to a subsequence (compactness of $M$) so that $\phi_{t_i}(y) \to y_\infty$. By the above claim, $|\nabla f|(y_\infty) = 0$.

Of course, well-known examples (the goat tracks) show that $y_\infty$ need not be the UNIQUE limit (without some further assumption on $f$).

The usual assumptions that would suffice are either Morse, Morse Bott, or real analytic.


Now, let us assume that $f$ is MB. There are several ways to conclude that $y_\infty$ is the limit of $\phi_t(y)$. A good tool is the MB lemma, which says that you can find coordinates where $f$ is exactly a quadratic form, with $+1,-1,0$ eigenvalues. (Note that the metric need not be Euclidean in these coordinates, so you can't conclude that the gradient of $f$ is as simple as one might expect).

There are various ways to argue, I will describe one below. My proof is based on the "Lojasiewicz method" (but is much simpler due to the Morse Bott assumption + the MB lemma). I am sure that it is possible to argue in a more direct manner, but it's a bit annoying to handle the various cases (e.g., $x_1\gg x_2$, etc) and this way is a bit smoother (although somewhat indirect).

For simplicity, let me assume that $n=3$ and in some neighborhood $U$ of $y_\infty$, we can choose coordinates $x_1,x_2,x_3$ so that $y_\infty$ corresponds to $(0,0,0)$ $$ f(x) = -x_1^2 + x_2^2. $$ Then, locally the critical set of $f$ is $x_1=x_2=0$. (The general case is essentially identical.)

In the coordinates with respect to the MB neighborhood, let me choose some constant $C$ so that the Riemannian metric satisfies $$ C^{-1}\delta \leq g \leq C \delta $$ for $\delta$ the Euclidean metric in these coordinates.

Then, we find that $|\nabla f|_g \geq C^{-1} |\nabla f|_\delta$, so indeed $$ |\nabla f|_g^2 \geq c(x_1^2+x_2^2). $$ Thus, we find that $$ \tag{**} |\nabla f|_g^2 \geq c|f|. $$

I claim that if $f$ satisfies (**) then the limit $y_\infty$ is unique. (Morse Bott will not be used again).

We compute $$ \frac{d}{dt} f(\phi_t(y)) = - |\nabla f|^2(\phi_t(y)) \leq - c f(\phi_t(y)) $$ (This is valid as long as $\phi_t(y)$ remains in $U$, the neighborhood where (**) holds.) We can assume that $\phi_0(y) \in U$ (just shift time). Below, we will assume that $\phi_0(y)$ is very close to $y_\infty$ (by a final shift in time).

Integrating the above ODE we find $$ f(\phi_t(y)) \leq C e^{-ct} $$ as long as $\phi_t(y)$ remains in $U$.

We can also compute differently: $$ \frac{d}{dt} f(\phi_t(y))^{1/2} = - \frac 12 f^{-1/2}|\nabla f|^2(\phi_t(y)) \leq -c|\nabla f|(\phi_t(y)). $$ In particular, $$ \textrm{length}(\phi_t(y)|_{[0,T]}) = \int_0^T |(\phi_t(y)'|_g = \int_0^T |\nabla f|_g(\phi_t) \leq - c \int_0^T \frac{d}{dt} f(\phi_t(y))^{1/2} \leq C (f(\phi_0(y))^{1/2} - f(\phi_T(y))^{1/2}) \leq C (f(\phi_0(y))^{1/2}. $$ This shows that as long as $f(\phi_0(y)$ is sufficiently close to $y_\infty=0$ (which we can arrange), $\phi_t(y)$ cannot travel far enough to leave the neighborhood $U$. Thus, the above analysis is valid for all times.

Repeating the same calculation, we find $$ \textrm{length}(\phi_t(y)|_{[t,\infty]}) \leq C f(\phi_t(y))^{1/2} \leq C e^{-ct/2}. $$ This proves that $y_\infty$ is the unique limit point. Indeed, assume that $y_\infty'$ is also a limit point. Then, the curve $\phi_t(y)|_{[t,\infty]}$ will have to pass infinitely many times between points close to $y_\infty$ and points close to $y'_\infty$. This will force the curve to have infinite length (but we proved it has finite length).

$\endgroup$
1
$\begingroup$

This might help, from Lectures on Morse Theory, by Banyaga and Hurtubise:

$\endgroup$
2
  • 4
    $\begingroup$ This only works if the critical points are isolated. You do get very quickly that for any $x\in M$ there is a sequence $t_k\rightarrow \infty$ such that $\varphi(x,t_k)$ goes to a critical point. However different sequences of $t_k\rightarrow \infty$ might converge to different critical points, which does happen in example if the Morse-Bott condition is not satisfied. The argument shows that the omega limit set of $x$ consists of critical points, and is contained in a connected component of a critical manifold. But we need to use the Morse-Bott condition. $\endgroup$
    – Thomas Rot
    Commented Aug 23, 2022 at 7:55
  • 1
    $\begingroup$ (cont) to get actual convergence. $\endgroup$
    – Thomas Rot
    Commented Aug 23, 2022 at 7:58

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .