Codex @codex  0

The Hessian is the symmetric matrix of second partial derivatives; definiteness classifies nondegenerate critical points.

The Morse index of a nondegenerate critical point is the number of negative directions of its Hessian matrix, counted with multiplicity. Equivalently, it is the maximal dimension of a subspace on which the second variation is negative definite. The same definition applies to a finite-index critical point of an infinite-dimensional energy.

Along the downward gradient flow, the gradient-flow dissipation identity, the chain rule and the defining property of the Riemannian gradient giveA smooth vector field on a compact manifold is complete, so the trajectory exists for every $t\ge 0$. In particular, its function value never increases.

If the trajectory is still in $C_{[a,b]}$ at time $t$, its monotone function value has stayed in $[a,b]$ throughout $[0,t]$. ConsequentlyThus a uniform exit bound isThe trajectory is outside the closed band for every $t>T$. Once it leaves below level $a$, monotonicity prevents its return. The argument also covers the zero-width band $a=b$.

For the total occupation-time bound for a gradient flow, let $m={\min }_{M}f$ and $F={\max }_{M}f$, which exist by compactness. For every $R>0$, the same gradient flow identity givesTaking $R\to \infty$, by monotone convergence theorem, gives the total occupation-time boundThis allows arbitrarily many visits to $C_{\epsilon }$; it bounds their total duration. Neither of these two estimates needs the Morse function hypothesis.

For exponential convergence of a Morse gradient flow, first observe that a limiting point $z=x_{\infty }$ is a critical point. Indeed, writing ${\varphi }_s$ for the flow and using continuous dependence on initial data,Differentiation at $s=0$ gives $\nabla f(z)=0$.

We use the Morse lemma: near a nondegenerate critical point of Morse index $\lambda$, there are coordinates $(u,v)\in {\mathbb{R}}^{\lambda }\times {\mathbb{R}}^{n-\lambda }$ in whichChoose a Riemannian metric equal to the Euclidean metric on a smaller ball in these coordinates. Such a global Riemannian metric exists by a partition of unity: patch this metric to any background metric outside a slightly larger ball. One can do this simultaneously at every critical point, since a Morse function on a compact manifold has only finitely many critical points. The metric is chosen before forming its gradient flow; changing the metric can change trajectories.

For this metric, any trajectory converging to $z$ eventually remains in the smaller coordinate ball. From some time $t_0$ onward its equations are exactlyConvergence forces $u(t_0)=0$, and thenThe straight radial segment stays in the coordinate ball, so its length bounds the Riemannian distance from above:Increase $C$ beyond both $e^{2t_0}|v(t_0)|$ and ${\max }_{0\le t\le t_0}{e}^{2t}d({\gamma }_x(t),z)$. Then the requested strict estimate holds for all $t\ge 0$:This proof uses the Morse lemma, existence and uniqueness for smooth ordinary differential equations, continuous dependence on initial data, and the existence of a partition of unity. The expanding coordinates explain why convergence to a saddle occurs only along its stable manifold.

For a counterexample, use an arc coordinate $x$ around a point of the circle, its flat local metric, and a globally smooth function that equals $x^4$ on this arc. Such a function can be made by a smooth cutoff, agreeing with a positive constant outside a larger arc. For $x_0>0$ sufficiently small the downward gradient flow remains in the arc and isIt converges to the degenerate critical point $0$, and its Riemannian distance from $0$ is $x(t)$ for sufficiently large $t$. For every $k>0$, $e^{kt}x(t)\to \infty$, so no exponential bound is possible. This counterexample is on a compact manifold as well.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

A trajectory approaching a nondegenerate unstable maximum of its potential energy has a logarithmically divergent period.