7
$\begingroup$

I would like to know if gradient flows of Morse-Bott functions on a Riemannian manifold always converge towards a unique critical point, provided that the flow line is bounded.

To be more precise, a Morse-Bott function on a Riemannian manifold $(M,g)$ is a smooth map $f:M \longrightarrow \mathbb R$ such that the set of critical points $Crit f \subset M$ is a submanifold and $T_x Crit f = ker Hess f_x$ for all $x \in Crit f$. It might be more convenient to express this by using the linear map $A_x:T_xM \longrightarrow T_xM$ given by $g_x(A_xv,w) = Hess f_x(v,w)$ for $v,w \in T_xM$. I am interested in the behaviour of maps $x:\mathbb R_+ \longrightarrow M$ satisfying $\dot x(t) = -\nabla f(x(t))$. Does $lim_{t \to \infty} x(t)$ exist?

An easy computation shows that $df_{x(s)} \longrightarrow 0$ for $s \to \infty$. So if $x$ is bounded (e.g. if $M$ is compact) $x$ has to "converge" towards $Crit f$. Unfortunately, this does not rule out that $x$ has several limits in $Crit f$. (This can not happen for Morse functions, since in this case the critical points are isolated).

  1. The simplest case is the case where $M$ is finite dimensional. As far as I can see, the answer is already given by Austin and Braam in their paper "Morse-Bott theory and equivariant cohomology", 1995. In particular Theorem A.9 is important, stating that the stable manifold of a connected component $C \subset Crit f$, given by $W^s(C) = \{x \in M | \phi_t(x) \to C\}$ where $\phi$ is the flow of the negative gradient, is indeed a submanifold.

  2. The second case is the case where $M$ is a Hilbert manifold (infinite dimensional) endowed with a complete metric on the tangent bundle. Although I could only find a paper dealing with this question in the Morse case (see Abbondandolo, Majer: "A Morse complex for infinite dimensional manifolds", Appendix C), I assume that it should be not to hard to extend the result to the Morse-Bott case. The important point here is that the operator $A_x$ mentioned above is symmetric and defined on the whole tangent space, so it has to be bounded.

  3. The last case is the one I am particularly interested in. We start again with a Hilbert manifold $M$, but now endowed with an incomplete Riemannian metric (in my case, I have a Sobolev space $W^{1,2}$ which is only endowed with the $L^2$ metric). Let $H$ denote the complete Hilbert space where $T_xM \subset H$ is dense. Then the operator $A$ is unfortunately of the form $A_x:T_xM \subset H \longrightarrow H$. Now $A_x$ is unbounded, but at least still symmetric and even essentially self-adjoint. However, here I am failing to apply the results from case 2, which strongly used the boundedness of $A$. I would be very content if a similar result could be shown at least for the case, where $Crit f$ is finite dimensional.

A remark: In the infinite dimensional case, one might have problems with the flow, since it might not be defined for all times. However, I start with a flow line which is already defined for all $t$. Furthermore, I am only interested in the case where the flow line really "converges" towards $Crit f$ since in my set up, this has already been proven with completely different methods.

I would also be thankful for counterexamples where the gradient flow does not have a unique limit. But I expect those examples not to contain Morse-Bott functions.

$\endgroup$

1 Answer 1

3
$\begingroup$

Not sure if it applies exactly to your case 3, but I think you might find some answers in the papers by Feehan and Maridakis:

https://arxiv.org/abs/1510.03817

https://arxiv.org/pdf/1803.11319.pdf

where it is shown that Morse-Bott functions satisfy a Lojasiewicz-Simon gradient inequality.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.