Abstract
We reprove the \(\lambda \)-Lemma for finite dimensional gradient flows by generalizing the well-known contraction method proof of the local (un)stable manifold theorem. This only relies on the forward Cauchy problem. We obtain a rather quantitative description of (un)stable foliations which allows to equip each leaf with a copy of the flow on the central leaf—the local (un)stable manifold. These dynamical thickenings are key tools in our recent work (Weber in Topol Methods Nonlinear Anal, to appear. arXiv:1410.0995). The present paper provides their construction.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
Throughout \((M^n,g)\) denotes a Riemannian manifold of finite dimension n and f is a function on M of class \(C^{r+1}\) with \(r\ge 1\). We assume further that the downward gradient equation
for curves \(u:[0,\infty )\rightarrow M\) generates a complete forward flow \(\varphi =\{\varphi _t\}_{t\ge 0}\). This holds true, for instance, whenever f is exhaustive, that is whenever all sublevel sets \(M^a=\{f\le a\}\) are compact. By x we denote throughout a non-degenerate critical point of f of Morse index \(k=\mathrm{ind}(x)\) with \(1\le k\le n-1\); for \(k\in \{0,n\}\) there is no \(\lambda \)-Lemma. In the following we give an overview of the contents of this paper. Definitions and proofs are given in subsequent sections.
The \(\lambda \)-LemmaFootnote 1 was proved by Palis [12, 13] in the late 60’s. Its backward version asserts that, given a hyperbolic singularity x of a \(C^1\) vector field X on a finite dimensional manifold, the corresponding backward flow applied to any \((n-k)\)-dimensional disk D transverse to the unstable manifold \(W^u(x)\) converges in \(C^1\) and locally near x to the stable manifold of x; cf. [14, Ch. 2 §7] and Fig. 2. Since the \(\lambda \)-Lemma is a local result we pick convenient coordinates about x.
Definition 1.1
(Local coordinates and notation—Fig. 1)
- (H1) :
-
Associated to the Hessian operator \(A=D(\nabla f)_x\) there is the spectral splitting \(X:=T_xM=E^-\oplus E^+\) in (7) with spectral projections \(\pi _\pm \) and where \(E^{-/+}=T_xW^{u/s}(x)\). Consider the spectral gap \(d>0\) of A, see (6), and fix a constant \(\lambda \in (0,d)\)—which will become the rate of exponential decay. Consider the constants \(0<\delta <\mu <d\) defined by Fig. 7.
- (H2) :
-
Express the downward gradient Eq. (1) via exponential coordinates in the form of the ODE (12) on a ball \(B_{\rho _0}\subset X:=T_xM\) whose radius \(\rho _0\le 1\) satisfies (14). In these coordinates the origin represents x and the local flow will be denoted by \(\phi =\{\phi _t\}\). The non-linearity h of this ODE, also shown in (12), satisfies the Lipschitz estimates of Lemma 2.5.
Notation The notation of coordinate representatives of global objects such as \(W^s(x)\subset M\) will be the global notation without the x such as \(W^s\).
- (H3) :
-
By Remark 3.9 we take our local model of the form \(V=D^-\times D^+\) where \(V \subset B_{\rho _0}\) and \(D^{-/+}=W^{u/s}_{2\varsigma }\subset E^\mp \) represent de/a/scending disks, see (18) and Remark 3.6, whose parameter \(2\varsigma \) is determined by the inclusions (25). In this local model the graph maps (20) and (23) of the local un/stable manifolds take on the rather simple form
$$\begin{aligned} {\mathcal {F}}^\infty =(id,0):D^-\rightarrow D^-\times D^+,\qquad {\mathcal {G}}^\infty =(0,id):D^+\rightarrow D^-\times D^+. \end{aligned}$$ - (H4) :
-
Suppose \({\varepsilon }\in (0,\varsigma )\) and consider the descending sphere \(S^u_{\varepsilon }={\partial }W^u_{\varepsilon }\) contained in \(W^u_{2\varsigma }=D^-\). Pick a constant \(\varkappa \in (0,1]\) such that the radius \(\varkappa \) ball \(B_\varkappa ^+\subset E^+\) lies in the ascending disk \(W^s_{\varsigma }\subset W^s_{2\varsigma }=D^+\). Consequently the hypersurface \({\mathcal {D}}:=S^u_{\varepsilon }\times B_\varkappa ^+\) is contained in the interior of V. The fiber \({\mathcal {D}}_{\alpha }:=\{{\alpha }\}\times B_\varkappa ^+\) over \({\alpha }\in S^u_{\varepsilon }\) is a translated ball of codimension k.
Theorem 1.2
(Backward \(\lambda \) -Lemma) Given the local model on \(V=W^u_{2\varsigma }\times W^s_{2\varsigma }\subset E^-\oplus E^+=T_x M\) provided by Definition 1.1 nearby a non-degenerate critical point x of a function \(f:M\rightarrow {\mathbb {R}}\), pick \({\varepsilon }\in (0,\varsigma )\). Then the following is true. There is a ball \(B^+\subset E^+\) about the origin of some radius \(\frac{\rho }{2}>0\), a constant \(T_0>0\), and a Lipschitz continuous map
defined by (36) below which is of class \(C^r\) in \({z_-}\) and \(z_+\). It satisfies the identity \({\mathcal {G}}^T_{z_-}(0)=\phi _{-T}({z_-})\) and the graph of \(G^T_{z_-}\) consists of those \(z\in V\) which satisfy \(\pi _+ z\in B^+\) and reach the fiber \({\mathcal {D}}_{z_-}=\{{z_-}\}\times B^+_\varkappa \) at time T, that is
Moreover, the graph map \({\mathcal {G}}^T_{z_-}\) converges uniformly in \(C^1\), as \(T\rightarrow \infty \), to the local stable manifold graph map \({\mathcal {G}}^\infty \) as illustrated by Fig. 2. More precisely,
for all \(T\ge T_0\), \({z_-}\in S^u_{\varepsilon }\), \(z_+\in B^+\), and \(v\in E^+\) where \(c_*>0\) is a constant. Estimate two requires \(f\in C^{2,1}\) near x in which case \(T\mapsto \frac{d}{dT}{\mathcal {G}}(T,z_-,z_+)\) is also Lipschitz continuous.Footnote 2
Remark 1.3
(Contraction method proof of \(\lambda \) -Lemma) The contraction method proof presented below has its own dis/advantages. On the worrying side, for \(f\in C^2\), that is \(X=-\nabla f\in C^1\), we only obtain \(C^0\) convergence so far, whereas we do get \(C^1\) convergence if f is of class \(C^{2,1}\) near x, e.g. if \(f\in C^3\). On the bright side, we get rather useful quantitative control on each of the involved variables such as time t, the variable describing the dislocated disks, and their dependence on the base point; for details see Theorem 1.2. Most importantly, this quantitative control lends itself to construct foliations around critical points, foliations associated to global objects, namely sublevel sets, and to equip each leaf with its own semi-flow; see [22, 26] for first applications.
Remark 1.4
Theorem 1.2 is a family backward \(\lambda \)-Lemma, namely for the family of disks \({\mathcal {D}}=S^u_{\varepsilon }\times B^+_\varkappa \). Given a general hypersurface \({\mathcal {D}}^\prime \) whose intersection with the unstable manifold is transverse and equal to \(S^u_{\varepsilon }\), one needs to change coordinates to bring \({\mathcal {D}}^\prime \) into the required normal form \(S^u_{\varepsilon }\times B^+_\varkappa \). To achieve this apply the parametrized Implicit Function Theorem to construct a \(C^r\) diffeomorphism of V which is the identity outside a small neighborhood U of the compact intersection locus \(S^u_{\varepsilon }\) and maps the part of \({\mathcal {D}}^\prime \) near \(S^u_{\varepsilon }\) to \(S^u_{\varepsilon }\times B^+_\varkappa \) for some \(\varkappa \).
We substituted the backward flow of the disk \({\mathcal {D}}_{z_-}\) by its pre-image \({\phi _T}^{-1}{\mathcal {D}}_{z_-}\), because there are interesting situations, cf. [7], with only a forward semi-flow. For instance, the heat flow on the loop space of a closed Riemannian manifold [20] is just a forward semi-flow. Surprisingly, although there is no backward flow, there is a backward \(\lambda \)-Lemma [25] under which the hypersurface \({\mathcal {D}}\) moves backward in time and foliates an open set. Furthermore, it is even still possible to construct a non-trivial Morse complex [24, 26]. Consequently the—in finite dimensions—common situation of a genuine forward and backward flow with stable and unstable manifolds, all being finite dimensional, allows for (too) many choices. In order to emphasize the necessary elements and, at the same time, to introduce the reader tacitly to the infinite dimensional heat flow scenario, we subject ourselves to the following convention.
Convention 1.5
(No backward Cauchy problem) We shall use existence of a solution to the Cauchy problem only in forward time and ignore the backward Cauchy problem alltogether. However, on the unstable manifold there is still a natural procedure to define a backward flow; see Definition 3.3. Since there is no Cauchy problem involved, we will (and need to) use this so-called algebraic backward flow; this is coherent with the infinite dimensional case cited above. In finite dimensions the algebraic backward flow coincides with the one obtained via the Cauchy problem. So we do use a backward flow, but without solving the backward Cauchy problem and only along the unstable manifold. To put things positively, our self-imposed lack of mathematical structure eliminates the possibility of choices and therefore reveals those elements which are essential to define a Morse complex—or even just an unstable manifold.
The simple but far reaching idea, see [25, 26], which avoids any backward Cauchy problem is to look at the pre-image under the time-T-map of a given disk \({\mathcal {D}}_q(x)\) transverse at q to the unstable manifold \(W^u(x)\). The obvious but non-trivial problem is then to show that these sets are in fact submanifolds of M. To show this we shall write them locally near x as graphs over the stable tangent space \(E^+=T_x W^s(x)\) using the contraction method which in this case consists of interpreting the backward Cauchy problem as a “mixed Cauchy problem”. The latter can be reformulated in terms of the fixed point of a contraction, both depending on parameters. Thereby we obtain a new proof of the \(\lambda \)-Lemma in finite dimensions; see [25] for the infinite dimensional semi-flow case of a parabolic PDE where this program has been carried out first. A key point of interest will be to control how the pre-images depend on time T.
Stable foliations
Borrowing from [18] we define for each choice of constants \({\varepsilon },\tau >0\) a pair
where \(\{\ldots \}_x\) denotes the path connected component that contains x, and
Figure 3 shows a typical such pair, illustrates what is called the exit set property of \(L_x^s\), and indicates hypersurfaces which are characterized by the fact that each point reaches the level set \(\{f=c-{\varepsilon }\}\) in the same time. The points on the stable manifold never reach level \(c-{\varepsilon }\), so they are assigned the time label \(\infty \). By the backward \(\lambda \)-Lemma, Theorem 1.2, these hypersurfaces foliate some neighborhood of x. However, the neighborhood and so the leaves have no global meaning so far. It is the content of Theorem 5.1 that the pairs \((N_x^s,L_x^s)\) which are defined in terms of level sets are foliations; for a first application see [22].
Remark 1.6
(Forward \(\lambda \) -Lemma and unstable foliations) Since the backward \(\lambda \)-Lemma as well as the stable foliations \((N_x^s,L_x^s)\) with respect to f are of local nature at x one can simply obtain the forward version of Theorem 1.2 and the unstable foliations \((N_x^u,L_x^u)\) with respect to f by taking the former ones with respect to \(-f\). (If necessary, cut off \(-f\) to obtain a complete forward flow.)
2 Preliminaries
Throughout we denote by \(\nabla =\nabla ^g\) the Levi-Civita connection associated to the Riemannian metric g on M which we also denote by \(\langle \cdot ,\cdot \rangle \). Given a singularity p of a vector field X on M we denote by \(DX_p\) linearization \(dX_p:T_pM\rightarrow T_{X(p)}TM\cong T_pM\oplus T_pM\) followed by projection onto the second component. The isomorphism is natural, because \(X(p)=0\). There is the identity \(DX_p=(\nabla {}_{\cdot } X)_p\).
2.1 Hessian and spectrum
By \(\mathrm{Crit}\,f\) we denote the set of critical point of f. Given \(p\in \mathrm{Crit}\,f\), in other words a singularity of \(X=\nabla f\), then there is a linear symmetric operator \(A=A_p:T_pM\rightarrow T_pM\) uniquely determined by the identity
for all \(v,w\in T_pM\). The bilinear form \(\mathrm {Hess}_p\, f\) is defined in local coordinates in terms of the (symmetric) matrix with entries \(({\partial }^2 f/{\partial }x^i{\partial }x^j)(p)\). It holds that \(Av=D(\nabla f)_pv=(\nabla {}_{\tilde{v}}\nabla f)_p\) where \(\tilde{v}\) is a vector field on M with \(\tilde{v}_p=v\).
By symmetry the spectrum of the Hessian operator A is real. If it does not contain zero, then p is called a non-degenerate critical point of f.
Suppose x is a non-degenerate critical point of f. Then by the spectral theorem for symmetric operators the spectrum of \(A=A_x\) is given by n reals
counting multiplicities. The distance \(d>0\) between 0 and the spectrum of A is called the spectral gap of A. The number k of negative eigenvalues is called the Morse index of the critical point x and denoted by \(\mathrm{ind}(x)\). Denote by \(E^-\) and \(E^+\) the span of all eigenvectors associated to negative and positive eigenvalues, respectively. Then there is the orthogonal splitting
with associated orthogonal projections \(\pi _-:T_xM\rightarrow E^-\) and \(\pi _+:T_xM\rightarrow E^+\). Since A preserves \(E^-\) and \(E^+\) it restricts to linear operators \(A^-:=A\circ \pi _-\) and \(A^+:=A\circ \pi _+\) on \(E^-\) and \(E^+\), respectively. If \(0<k<n\), then \(\lambda _1<0<\lambda _n\).
2.2 Linearized equation and linearized flow
Linearizing the downward gradient Eq. (1) at a constant solution \(u(t)\equiv p\in \mathrm{Crit}\,f\) in direction of a vector field \(\xi :{\mathbb {R}}\rightarrow T_pM\) along u leads to the linear autonomous ODE
for \(\xi \) where \(A=A_p\) is the Hessian operator determined by (5).
Interpreting \(-A:T_p M\rightarrow T_pM\) in (8) as a vector field on the manifold \(T_pM\) it is easy to see that the flow generated by \(-A\) is the 1-parameter family \(\{\Phi _t\}_{t\in {\mathbb {R}}}\) of invertible linear operators on \(T_pM\) given by
If the spectrum of A is given by \(\{\lambda _1, \ldots ,\lambda _n\}\subset {\mathbb {R}}\), then \(\{e^{-t\lambda _1}, \ldots ,e^{-t\lambda _n}\}\subset (0,\infty )\) is the spectrum of \(e^{-tA}\). We will use \(\Phi _t=e^{-tA}=e^{-tA^-}\oplus e^{-tA^+}\) only for \(t\ge 0\). However, the part \(e^{-tA^-}\) will be needed for all \(t\in {\mathbb {R}}\). Since this part acts on the (linear) unstable manifold \(E^-\) and is defined by a matrix exponential—thus without employing any backward Cauchy problem—there is no conflict with Convention 1.5.
Lemma 2.1
(Linearized flow satisfies linearized equation) Given \(p\in \mathrm{Crit}\,f\), then the family of linearizations \(\{d\varphi _t(p)\}_{t\ge 0}\) coincides with the time-t-maps \(\{\Phi _t\}_{t\ge 0}\) associated to the linearized vector field \(-A=-D(\nabla f)_p\) on \(T_pM\).
Proof
See e.g. [23, Le. 2.5]. \(\square \)
Proposition 2.2
(Exponential estimates) Consider the Hessian operator \(A=A^-\oplus A^+\) associated to a non-degenerate critical point x of Morse index k and with induced splitting \(T_xM=E^-\oplus E^+\) provided by (7). Fix a constant \(\mu \) in the spectral gap [0, d] of A. In this case there are the estimates
for every \(t\ge 0\) and
for every \(t\le 0\). Thus \( \Vert e^{-tA}\Vert \le \max \{e^{-t\lambda _{k+1}}, e^{-t\lambda _1}\} \le \max \{e^{-t\mu }, e^{-t\lambda _1}\} \) whenever \(t\ge 0\) and \( \Vert e^{-tA}\Vert \le \max \{e^{-t\lambda _n}, e^{-t\lambda _k}\} \le \max \{e^{-t\lambda _n}, e^{t\mu }\} \) whenever \(t\le 0\).
Proof
Eigenvectors associated to \(\lambda _j\) and \(e^{-t\lambda _j}\) can be chosen equal. \(\square \)
2.3 Exponential map
Given any point q of our Riemannian manifold M, we denote by \(\exp _q:T_qM\supset {\mathcal {O}}_{\iota _q}\rightarrow M\) the associated exponential map. Here \({\mathcal {O}}_{\iota _q}\) is the open ball whose radius \(\iota _q>0\) is the injectivity radius of \(\exp \) at the point q. The infimum \(\iota \ge 0\) of \(\iota _q\) over M is called the injectivity radius of \({\mathbf {M}}\). The map
is called the exponential map of the Riemannian manifold. It is a piece of mathematical folklore that one can introduce global maps \(E_1\) and \(E_2\) which can be viewed as partial derivatives of the exponential map in the direction of M and in the fiber direction, respectively. Also derivatives \(E_{ij}\) of second and higher order can be introduced; see e.g. [25, §2.1].
Theorem 2.3
Given \(u\in M\) and \(\xi \in {\mathcal {O}}_{\iota _u}\subset T_uM\), then there are linear maps
for \(i,j\in \{1,2\}\) such that the following is true. If \(u:{\mathbb {R}}\rightarrow M\) is a smooth curve and \(\xi ,\eta \) are smooth vector fields along u such that \(\xi (s)\in {\mathcal {O}}_{\iota _{u(s)}}\) for every s, then the maps \(E_i\) and \(E_{ij}\) are characterized Footnote 3 by the identities
These maps satisfy the identities
2.4 Tangent coordinates near critical point
Lemma 2.4
Pick \(p\in \mathrm{Crit}\,f\) and let \(\iota _p>0\) be its injectivity radius. Then in the neighborhood \(\exp _p{\mathcal {O}}_{\iota _p}\) of p in M the solutions to \({\dot{u}}=-(\nabla f)\circ u\) correspond via the identity \(u(t)=\exp _p\xi (t)\) precisely to the solutions of the ODE
where \(\xi \) takes values in the open ball \({\mathcal {O}}_{\iota _p}\subset T_p M\) and \(h(\xi )\) abbreviates \(h(\xi (t))\).
Proof
Given any smooth curve \(\xi \) in \({\mathcal {O}}_{\iota _p}\), set \(u(t)=\exp _p\xi (t)\). Take the derivative to get that \({\dot{u}}=E_2(p,\xi )\dot{\xi }\) pointwise in t. Thus we obtain that
pointwise in t and where the last step is by adding zero. \(\square \)
2.5 Lipschitz continuity of the non-linearity
Lemma 2.5
(Lipschitz near \(p\in \mathrm{Crit}\,f\) ) Recall that \(f\in C^{r+1}(M,{\mathbb {R}})\) for \(r\ge 1\). Fix \(p\in \mathrm{Crit}\,f\) and let \(\iota _p\) be its injectivity radius. Set \(\rho _0:=\iota _p/4\). Then there is a continuous and non-decreasing function \(\kappa :[0,\rho _0]\rightarrow [0,\infty )\) vanishing at 0 such that the following is true. The non-linearity \(h:B_{\rho _0}\rightarrow T_pM\) given by (12) is of class \(C^r\). It satisfies \(h(0)=0\) and \(dh(0)=0\) and the Lipschitz estimate
and its consequence
whenever \(\Vert \xi \Vert ,\Vert \eta \Vert \le \rho \le \rho _0\) and \(v\in T_pM\). If f is of class \(C^{2,1}\) locally near p, then there is a constant \(\kappa _*>0\) such that dh satisfies the Lipschitz estimate
whenever \(\Vert \xi \Vert ,\Vert \eta \Vert \le \rho \le \rho _0\) and \(v\in T_pM\).
Proof of the Lipschitz Lemma 2.5
That \(f\in C^{r+1}\) implies \(h\in C^r\) follows immediately from the definition of h; see (12). Pick \(\xi ,\eta \in B_{\rho _0}\) and set \(X:=\eta -\xi \). It is useful to view \(\xi \) as being fixed and \(\eta (X)=\xi +X\) as depending on X. Consider the map defined by
and note that \(I(0)=0\). Moreover, for any \(v\in T_pM\) it holds that
where brackets \([\dots ]\) indicate (multi)linearity. Thus we obtain that
where for instance \(E_2\) abbreviates \(E_2(p,\cdot )\) and \(L^\infty \) denotes the sup-norm. Moreover, existence of some constant \(\sigma \in [0,1]\) is asserted by Taylor’s theorem. That the function \(\kappa (\rho )\) is non-decreasing is due to the fact that the supremum is taken over the closed ball of radius \(3\rho \). Indeed the supremum is obviously non-decreasing if it is taken over larger balls, that is if \(\rho \) grows. For \(\rho =0\) all maps are evaluated at the origin of \(T_pM\), thus \(\kappa (0)=0\) sinceFootnote 4 \(E_{22}(p,0)=0\) and \(E_2(p,0)=\mathbbm {1}\) by (11) and since \(D(\nabla f)_p-A=0\). This proves the Lipschitz estimate. Concerning its consequence recall that \(dh(\xi )v=\lim _{\tau \rightarrow 0}\frac{h(\xi +\tau v)-h(\xi )}{\tau }\) and apply the Lipschitz estimate.
Concerning the Lipschitz estimate for dh note that by (12) we get that
Since by assumption \(D(\nabla f)_{\exp _p(\cdot )}\) is locally Lipschitz near the origin, so is dh. \(\square \)
2.6 Cauchy problem and integral equation
Proposition 2.6
Given a non-degenerate critical point \(x\in \mathrm{Crit}\,f\), let \(\iota _x\) be its injectivity radius and consider the ODE (12) in \(T_xM\) with non-linearity h. Fix a radius
sufficiently small such that the image \(\exp _x B_{\rho _0}\subset M\) of the closed ball \(B_{\rho _0}\subset T_xM\) contains no critical point of f other than x. Pick \(T\ge 0\) and assume that \(\xi :[0,T]\rightarrow T_xM\) is a map bounded by \(\rho _0\). Then the following are equivalent.
-
(a)
The map \(\xi :[0,T]\rightarrow T_xM\) of class \(C^1\) is the (unique) solution of the Cauchy problem given by the localized downward gradient flow Eq. (12) with initial value \(\xi (0)\).
-
(b)
The map \(\xi :[0,T]\rightarrow T_xM\) is continuous and satisfies the integral equation or representation formula
$$\begin{aligned} \xi (t)= & {} e^{-tA}\pi _+ \xi (0) +\int _0^t e^{-(t-\sigma )A} \pi _+h(\xi (\sigma ))\, d\sigma \nonumber \\&+\,e^{-(t-T)A^-}\pi _- \xi (T) -\int _t^T e^{-(t-\sigma )A^-} \pi _-h(\xi (\sigma ))\, d\sigma \end{aligned}$$(15)for every \(t\in [0,T]\). In the limit \(T\rightarrow \infty \) term three in the sum disappears.
Proof
Essentially variation of constants; cf. [21, §9.2] or [9, §7.3]. \(\square \)
3 Invariant manifolds
Suppose \(x\in M\) is a hyperbolic singularity of the vector field \(X=-\nabla f\), that is a non-degenerate critical point of f. The stable manifold of the flow-invariant set \(\{x\}\) is defined by
In case of a genuine complete flow one simply considers the limit \(t\rightarrow -\infty \) to define the unstable manifold \(W^u(x)\). Note that—despite the naming—these sets are, at this stage, nothing but sets. They are invariant under the flow though. A common strategy to endow them with a differentiable structure is to represent them locally near x as graphs of differentiable maps and then use the flow and flow invariance to transport the resulting coordinate charts to any location on the un/stable manifold. To carry out the graph construction one introduces in an intermediate step what is called local un/stable manifolds.
3.1 Unstable manifold theorem
In view of our Convention 1.5 to ignore the backward Cauchy problem, already defining \(W^u(x)\) by the analogue of (16) is not possible. A way out is to consider an asymptotic boundary value problem instead: Consider the set of all forward semi-flow lines that emanate at time \(-\infty \) from the non-degenerate critical point x, then evaluate each such solution at time zero and define \(W^u(x)\) to be the set of all these evaluations. In symbols, the unstable manifold of x is defined by
It is non-empty since the constant trajectory \(u\equiv x\) contributes the element x.
Theorem 3.1
(Unstable manifold theorem) Non-degeneracy of x together with \(\varphi \) being a gradient flow implies that the unstable manifold \(W^u(x)\) is an embedded submanifold of M of class \(C^r\) tangent at x to the vector subspace \(E^-\subset T_xM\) of dimension \(k=\mathrm{ind}(x)\) and diffeomorphic to \(E^-\).
Corollary 3.2
(Descending disks) Given \(x\in \mathrm{Crit}\,f\) non-degenerate, then there is a constant \({\varepsilon }_x>0\) such that the following is true.
-
(a)
Each descending disk defined by
$$\begin{aligned} W^u_{\varepsilon }(x):=W^u(x)\cap \{f\ge f(x)-{\varepsilon }\},\qquad {\varepsilon }\in (0,{\varepsilon }_x], \end{aligned}$$(18)is \(C^r\) diffeomorphic, as a manifold-with-boundary, to the closed unit disk \({\mathbb {D}}^k\subset {\mathbb {R}}^k\) where \(k=\mathrm{ind}(x)\). The boundary
$$\begin{aligned} S^u_{\varepsilon }(x)=W^u(x)\cap \{f= f(x)-{\varepsilon }\} \end{aligned}$$of a descending disk is called a descending sphere.
-
(b)
Each open neighborhood of x in M, thus each open neighborhood of x in \(W^u(x)\), contains a descending disk.
Suggestion for proof
Apply Theorem 3.1 and the version of the Transversality Theorem for manifolds-with-boundary, see [8, Ch. 1 §4], to obtain the \(C^r\) manifold structure of the descending disk. Use the Morse Lemma [8], which causes loss of regularity, only to control the locus. \(\square \)
The proof of the unstable manifold Theorem 3.1 is a Corollary of the local unstable manifold Theorem 3.4 below. The standard argument is to use the forward flow to move the coordinate charts provided by Theorem 3.4 near x to any point of \(W^u(x)\). This shows that \(W^u(x)\) is injectively immersed. Now exploit the gradient flow property. To prove Theorem 3.4 we need a backward flow, but only on the unstable manifold, which is coherent with Convention 1.5.
Definition 3.3
(Algebraic Footnote 5 backward flow on unstable manifold) Given \(u(0)\in W^u(x)\), set \(q:=u(0)\) and define \(\psi _{-t} q:=u(-t)\) for \(t\ge 0\). Note that \(\psi _{-t}\psi _{-s} =\psi _{-t-s}\) and that \(\psi _{-t} q\) solves the backward time Cauchy problem (1) with initial value q. Therefore it doesn’t violate Convention 1.5 if, for any \(q\in W^u(x)\), we use the notation \(\varphi _tq\) for any time t, positive or negative.
While \(W^u(x)\) is obviously backward and forward flow invariant, a descending disk still is backward invariant since its boundary lies in a level set.
Local unstable manifold theorem
We wish to prove that \(W^u(x)\) carries locally near x the structure of a manifold.
Theorem 3.4
(Local unstable manifold, Hadamard–Perron [6, 15]) Assuming (H1–H2) in Definition 1.1 there is a constant \(\rho =\rho (\lambda )\in (0,\frac{\rho _0}{2})\) such that the following is true. A neighborhood of 0 in the local unstable manifold
is a graph over the radius \(R=\frac{\rho }{2}\) ball \(B^-_R\subset E^-\) and this graph is tangent to \(E^-\) at 0. More precisely, there is a \(C^r\) map
whose image is a neighborhood of 0 in \(W^u(0,B_{\rho _0})\). Moreover, it holds that \( \left\| \phi _t\eta _0\right\| \le \rho e^{t\lambda } \) for every \(t\le 0\) and uniformly in \(\eta _0\in {\mathcal {F}}^\infty (B^-_R)\); see Fig. 4.Footnote 6
We sketch the proof of the theorem by the contraction method. Pick an element \(z_-\in E^-\) near the origin. Our object of interest is a backward flow line \(\eta :(-\infty ,0]\rightarrow B_{\rho _0}\) whose value at time zero projects to \(z_-\) under \(\pi _-\) and which emanates from the origin asymptotically at time \(t=-\infty \). For any sufficiently small constant \(\rho \in (0,\frac{\rho _0}{2})\) the complete metric space
carries the contraction given by
Its (unique) fixed point \(\eta _{z_-}\) is the desired flow line. Define the graph map by \(F^\infty (z_-):=\pi _+(\eta _{z_-}(0))\) as illustrated by Fig. 4 and denote by \(B^-_R\subset E^-\) the ball of radius \(R=\frac{\rho }{2}<\frac{\rho _0}{4}\) about 0.
3.2 Stable manifold theorem
Whereas the stable manifold is easier to define—given only a forward flow—than the unstable manifold, the step from local to global is not obvious any more, given Convention 1.5. We shall use this oportunity to promote Henry’s [7], widely unkown as it seems, argument to pull back the local coordinate charts near x in the backward time direction utilizing only the forward flow.
Theorem 3.5
(Stable manifold theorem) Non-degeneracy of x together with \(\varphi \) being a gradient flow implies that the stable manifold \(W^s(x)\) defined by (16) is an embedded submanifold of \(M^n\) of class \(C^r\) tangent at x to the vector subspace \(E^+\subset T_xM\). Thus \(\dim W^s(x)\) is equal to the Morse co-index \(n-k\) of x.
Remark 3.6
The ascending disk \(W^s_{\varepsilon }(x)\) and the ascending sphere \(S^s_{\varepsilon }(x)\) are defined as in Corollary 3.2, just replace the superlevel set \(\{f\ge f(x)-{\varepsilon }\}\) by the sublevel set \(\{f\le f(x)+{\varepsilon }\}\). They also have analogous properties, in the assertions just replace k by \(n-k\) where \(n=\dim M\).
Theorem 3.7
(Local stable manifold, Hadamard–Perron [6, 15]) Assuming (H1–H2) in Definition 1.1 there is a constant \(\rho =\rho (\lambda )\in (0,\frac{\rho _0}{2})\) such that a neighborhood of 0 in the local stable manifold
is a graph over the radius \(R=\frac{\rho }{2}\) ball \(B^+_R\subset E^+\) and this graph is tangent to \(E^+\) at 0. More precisely, there is a \(C^r\) map
whose image is a neighborhood of 0 in \(W^s(0,B_{\rho _0})\). Moreover, it holds that \( \left\| \phi _t\xi _0\right\| \le \rho e^{-t\lambda } \) for every forward time \(t\ge 0\) and uniformly in \(\xi _0\in {\mathcal {G}}^\infty (B^+_R)\).
The proof of Theorem 3.7 is by the contraction method. In fact, our proof of the Backward \(\lambda \)-Lemma, Theorem 1.2, presented below generalizes the contraction method proof from invariant manifolds, which is well known, to invariant foliations. The details missing in the following sketch of proof can be easily recovered by formally setting \(T=\infty \) in the proof of Theorem 1.2.
Pick \(z_+\in E^+\) near 0. Our object of interest is a flow line \(\xi :[0,\infty )\rightarrow B_{\rho _0}\) whose initial value projects to \(z_+\) under \(\pi _+\) and which converges to 0, as \(t\rightarrow \infty \). For any sufficiently small constant \(\rho \in (0,\frac{\rho _0}{2})\) the complete metric space
carries a contraction defined by
Moreover, by the representation formula (15) for \(T=\infty \) the (unique) fixed point \(\xi _{z_+}\) is our object of interest. For \(R=\frac{\rho }{2}<\frac{\rho _0}{4}\) the map
has the properties asserted by Theorem 3.7; see also [5, Sec. 3.6].
Remark 3.8
Further methods to prove the local (un)stable manifold theorems:
-
Graph transform method: A geometrically appealing method, nicely sketched in [14, p. 80]; for details see [19].
-
Irwin’s space of sequences: See former two references. Another excellent reference for those who care about details is Zehnder’s recent book [27].
Proof of the stable manifold Theorem 3.5
(Henry [7, Thm. 6.1.9]) By Theorem 3.7 the stable manifold is locally near x a \(C^r\) submanifold of M of dimension \(n-k\) where k is the Morse index of x and \(n=\dim M\). Thus there is a neighborhood \(\Sigma \) of x in \(W^s(x)\) which is represented as a zero set \(\{y\in U\mid h(y)=0\}\) where U is an open set in M and \(h:U\rightarrow {\mathbb {R}}^k\) is a \(C^r\) map such that \(dh_y:T_yM\rightarrow {\mathbb {R}}^k\) is surjective at each point
Note that here only the first identity is part of the submanifold property of \(\Sigma \). To obtain the second identity choose U smaller, if necessary, and use the fact that a flow line of a gradient flow cannot come back to itself asymptotically.
Nearby arbitrary elements \(q_0\) of \(W^s(x)\) one obtains local submanifold charts as follows. Pick \(T\ge 0\) such that \(\varphi _Tq_0\in \Sigma \) and consider the \(C^r\) map
whose zero set is \(U_T\cap W^s(x)\); see Fig. 5. The pre-image \(U_T\) is an open neighborhood of \(q_0\) in M since U is open and \(\varphi _T\) is continuous. By the regular value theorem it remains to show that the map
is surjective whenever \(q\in (h\circ \varphi _T)^{-1}(0)=U_T\cap W^s(x)\). Since \(dh_{\varphi _Tq}\) is surjective it suffices to show that \(d(\varphi _T)_q\) is surjective.Footnote 7 The following argument avoids backward flows. In finite dimensions surjectivity of \(d(\varphi _T)_q\) is equivalent to dense range which itself is equivalent, even in the general Banach space case, to injectivity of the adjoint (or transposed) operator \((d\varphi _T|_q)^*\). But the latter is equivalent to backward uniqueness of the (forward Cauchy problem associated to the) adjoint equation. In our case \(A=A^*\) so the adjoint equation is just the linearized equation itself. But an ODE associated to a Lipschitz continuous vector field exhibits forward and backward uniqueness; see e.g. [1]. \(\square \)
3.3 Convenient coordinates
Suppose the local setup of (H1–H2) in Definition 1.1. Namely fix a constant \(\lambda \) in the spectral gap (0, d) and recall that the local flow \(\phi _t\) acting on the ball \(B_{\rho _0}\) in \(T_xM=X=E^-\oplus E^+\) is generated by the ODE \( \dot{\zeta }+A\zeta =h(\zeta ) \) where the non-linearity h is given by (12). Consider the balls \(B^-_R\subset E^-\) and \(B^+_R\subset E^+\) of radius \(R(x,\rho _0,\lambda )=\frac{\rho }{2}<\frac{\rho _0}{4}\) with \(B^-_R\times B^+_R\subset B_{\rho _0/2}\) and the \(C^r\) graph maps \(F^\infty :B^-_R\rightarrow E^+\) and \(G^\infty :B^+_R\rightarrow E^-\) provided by the local (un)stable manifold Theorems 3.4 and 3.7. Use the fact that the graph \({\mathcal {F}}^\infty (B^-_R)\) is tangent to \(E^-\) at 0, similarly for \({\mathcal {G}}^\infty (B^+_R)\), to see that choosing the radius \(R>0\) smaller, if necessary, one can arrange that both graphs simultaneously satisfy inclusions
On the other hand, by Corollary 3.2 and Remark 3.6 there is a (small) constant \(2\varsigma >0\) such that there are inclusions of descending and ascending disks
Set
Then by the graph property of \({\mathcal {F}}^\infty \) and \({\mathcal {G}}^\infty \) it holds that \( {\mathcal {F}}^\infty (D^-)=W^u_{2\varsigma } \) and \( {\mathcal {G}}^\infty (D^+)=W^s_{2\varsigma } \) as illustrated by the left part of Fig. 6. Consequently \(D^\pm \) is a disk, that is a set diffeomorphic to a closed ball. Note that
by negative and positive invariance under \(\phi \) of \(W^u_{2\varsigma }\) and \(W^s_{2\varsigma }\), respectively. Following Palis and de Melo [14, Ch. 2 §7] observe that the \(C^r\) map
defined on \(B^-_R\times B^+_R\) satisfies \(\vartheta (0)=0\) and \(d\vartheta (0)=\mathbbm {1}\). In particular, it is a diffeomorphism locally near the fixed point 0. Choosing R and \(2\varsigma \) smaller, if necessary, we assume without loss of generality that \(\vartheta \) is a diffeomorphism onto its image. Note that \(\vartheta (x,0)=(x,-F^\infty (x))\) and \(\vartheta (0,y)=(-G^\infty (y),y)\). Consequently the map \(\vartheta \) diffeomorphically maps \({\mathcal {F}}^\infty (D^-)=W^u_{2\varsigma }\) to the disk \(D^-\) and similarly for \(W^s_{2\varsigma }\) and \(D^+\); see Fig. 6. Our new local model will be the product of disks \(V:=D^-\times D^+\) acted upon by the new local flow \(\vartheta _*\phi _t=\phi _t\circ \vartheta \circ {\phi _t}^{-1}\) (denoted again by \(\phi _t\) in Remark 3.9) whose local unstable and stable manifolds are \(D^-\) and \(D^+\), respectively. Note that the latter represent the descending disk \(W^u_{2\varsigma }(x)\) and the ascending disk \(W^s_{2\varsigma }(x)\) in this new local model. The ODE which generates the flow \(\vartheta _*\phi _t\) arises by re-doing Lemma 2.4 starting from the “Ansatz” \(u(t)=\exp _x\left( {\vartheta }^{-1}\xi (t)\right) \) for \(\xi \). Obviously the new ODE is similar to (12) involving, in addition, the diffeomorphism \(\vartheta \) and its linearization. Since \(\vartheta \) is of class \(C^r\) and defined on the compact set V it admits uniform \(C^r\)-bounds. Therefore relevant estimates for the new and the old ODE are equivalent up to constants. This justifies to simplify notation as follows.
Remark 3.9
(Coordinates with flattened local manifolds) By the discussion above and in order to simplify notation we will, without loss of generality, continue to work with the ODE (12), that is we omit \(\vartheta \) in our formulas, and assume that the local (un)stable manifolds \(W^u_{2\varsigma }\) and \(W^s_{2\varsigma }\) for the (new) local flow \(\phi \) on V are disks \(D^-\subset E^-\) and \(D^+\subset E^+\). To summarize we assume that
as illustrated by Fig. 1 and where \(\varsigma >0\) has been fixed according to (25).
4 Proof of backward \(\lambda \)-Lemma
Suppose \(\mathrm{ind}(x)=k\in \{1,\dots ,n-1\}\), so the smallest and largest eigenvalue of the Hessian operator \(A=A_x\) satisfy \(\lambda _1<0<\lambda _n\). Consider the continuous function \(\kappa (\rho )\) with \(\kappa (0)=0\) and the Lipschitz constant \(\kappa _*>0\) of the non-linearity h provided by Lemma 2.5. Pick an exponential decay rate \(\lambda \in (0,d)\) for the elements of the complete metric space \(Z^T\) to be defined below and consider the two constants \( \delta \in \left( 0,\min \{1,\tfrac{d-\lambda }{2}\}\right) \) and \( \mu \in \left( \lambda ,\tfrac{d+\lambda }{2}\right) \subset (\lambda ,d) \) defined in Fig. 7. To ensure the second of the two endpoint conditions in (32) set
Fix \(\rho =\rho (\lambda )\in (0,1)\) sufficiently small such that
and such that the closed \(\rho \)-neighborhood \(U_\rho (W^u_\varsigma )\) in X of the descending disk is contained in \(V=D^-\times D^+\subset B_1\); see (28). Observe that in this case the radius \(\frac{\rho }{2}\) ball \(B^+\subset E^+\) is contained in \(D^+\). Fix \(T_2=T_2(\mu )>0\) such that \(e^{-T_2 \mu /4}\le 1/8\); this will be used in Step 5. Set
Remark 4.1
(Mixed Cauchy problem) The key observation to represent the pre-image \({\phi _T}^{-1}{\mathcal {D}}_{z_-}\) under the time-T-map \(\phi _T\) as a graph over the stable tangent space \(E^+\) is the fact that there is a well posed mixed Cauchy problem. Namely, instead of prescribing precisely the endpoint, by the representation formula (15) it makes sense to prescribe only the (\(\pi _+\))-part of the initial point, but in addition the (\(\pi _-\))-part of the endpoint. This way one circumvents using a general backward flow—only the (by Convention 1.5 legal) algebraic one on the unstable manifold is used; cf. [25, Rmk. 3].
We prove below that for each \(z_+\in E^+\) with \(\Vert z_+\Vert \le \rho /2\) there is precisely one flow line \(\xi =\xi _{z_-,z_+}^T\) with initial condition \(\pi _+ \xi (0)=z_+\) and endpoint condition \(\xi (T)\in {\mathcal {D}}_{z_-}\). The latter is equivalent to
The key step to determine the unique semi-flow line \(\xi \) associated to the triple \((T,{z_-},z_+)\) is to set up a strict contraction \(\Psi ^T\) on a complete metric space \(Z^T\) whose (unique) fixed point is \(\xi \). More precisely, define
where \({z_-^T}:=\phi _{-T}({z_-})\) and
and consider the operator \(\Psi ^T=\Psi ^T_{{z_-},z_+}\) defined for \(\xi \in Z^T\) by
for every \(t\in [0,T]\). The fixed points of \(\Psi ^T\) correspond to the desired flow trajectories by Proposition 2.6. In Step 1 and Step 2 below we show that \(\Psi ^T\) is a strict contraction on \(Z^T\). Hence by the Banach-Cacciopoli Fixed Point Theorem, see e.g. [5, §2.2], it admits the unique fixed point \(\xi _{{z_-},z_+}^T\) and we define the map
For latter use we calculate for \(t\in [0,T]\) and \(\alpha >0\) the integrals
The proof takes six steps. Fix \({z_-}\in S^u_{\varepsilon }\) and \(z_+\in B^+\). Abbreviate \(\Psi ^T=\Psi _{{z_-},z_+}^T\).
Step 1. For \(T>0\) the set \(Z^T\) equipped with the exp norm metric is a complete metric space, any \(\xi \in Z^T\) takes values in \(V\subset B_1\), and \(\Psi ^T\) acts on \(Z^T\).
Proof
For the compact domain [0, T] the space \(C^0([0,T],X)\) is complete with respect to the sup norm, hence with respect to the exp norm as both norms are equivalent by compactness of [0, T]. By its definition the subset \(Z^T\) of \(C^0([0,T],X)\) is closed with respect to the exp norm. Since \(U_\rho (W^u_{\varepsilon })\subset U_\rho (W^u_\varsigma )\subset V\) by our choice of \(\rho \), the elements of \(Z^T\) take values in \(V\subset B_1\).
To see that \(\Psi ^T\) acts on \(Z^T\) we need to verify that \(\Psi ^T\xi \) is continuous and satisfies the exponential decay condition whenever \(\xi \in Z^T\). By definition \(\Psi ^T\xi \) is a sum of four terms each of which is continuous as a map \([0,T]\rightarrow X\). For terms one and three continuity, in fact smoothness, follows from definition (9) of the exponential as a power series. Continuity of both integral terms, terms two and four, uses the same argument. Denote term two by F(t) from now on. Continuity of \(F:[0,T]\rightarrow X\) and the fact that \(F(0)=0\) (used in Step 3 below) both follow from continuity and boundedness of the map \(\tilde{h}:=\pi _+\circ h\circ \xi :[0,T]\rightarrow E^+\) which holds true since \(\xi :[0,T]\rightarrow X\) is continuous and bounded by definition of \(Z^T\) and so is the non-linearity h by the Lipschitz Lemma 2.5.
We prove exponential decay. For \(t\in [0,T]\) consider the flow trajectory given by \(\phi _t z_-^T\) where \({z_-^T}:=\phi _{-T}({z_-})\). By the representation formula (15) it satisfies
Here we used that \({z_-}\in S^u_{\varepsilon }={\partial }W^u_{\varepsilon }\), thus \({z_-^T}=\phi _{-T}{z_-}\), lies in the (backward flow invariant) descending disk \(W^u_{\varepsilon }\subset D^-\). Hence \(\pi _+{z_-^T}=0\) and \(\pi _-\phi _T {z_-^T}=\pi _-{z_-}={z_-}\). By (35) and (38) we get for \(t\in [0,T]\) the estimate
where we used the exponential decay estimates in Proposition 2.2. To the non-linearity h we applied the Lipschitz Lemma 2.5 to bring in the constant \(\kappa (\rho )\). We also used the fact that the norm of a projection is bounded by 1. Moreover, we multiplied both integrands by \(e^{-\sigma \lambda } e^{\sigma \lambda }\) to obtain the exp norms which are bounded by \(\rho \) by definition of \(Z^T\). Inequality three uses that \(z_+\in B^+\) and the integral estimates in (37). The final step is by smallness (30) of \(\rho \). \(\square \)
Step 2. For \(T>0\) the map \(\Psi ^T\) is a contraction on \(Z^T\). Each image point \(\Psi ^T\xi \) satisfies the initial condition \(\pi _+\left( \Psi ^T\xi \right) (0) =z_+\) and for \(T\ge T_1\) also the endpoint conditions (32), i.e. it hits \({\mathcal {D}}_{z_-}=\{{z_-}\}\times B^+_\varkappa \) at time T.
Proof
Pick \(\xi _1,\xi _2\in Z^T\). Then similarly to (39) we obtain that
for every \(t\in [0,T]\). Use smallness (30) of \(\rho \) and take the maximum over \(t\in [0,T]\) to get that \(\Vert \Psi ^T\xi _1-\Psi ^T\xi _2\Vert _{\exp } \le \frac{1}{2}\Vert \xi _1-\xi _2\Vert _{\exp }\).
To obtain the identities \(\pi _+\left( \Psi ^T\xi \right) (0)=z_+\) and \(\pi _-\left( \Psi ^T\xi \right) (T)={z_-}\) just set \(t=0\) in the definition (35) of \(\Psi ^T\) and use the identities \(\pi _+\pi _-=\pi _-\pi _+=0\), continuity of the exponential series (9), and continuity and boundedness of both integrands. Concerning the second endpoint condition in (32) assume \(T\ge T_1\) and evaluate estimate (39) at \(t=T\) to get that
where the last step is by \(\rho \le \rho _0/2\le 1\) and definition (29) of \(T_1\). \(\square \)
Step 3. For \(T>0\) For the map \(G^T:S^u_{\varepsilon }\times B^+\rightarrow E^-\) For defined by (36) For is of class \(C^r\) For and, for each \({z_-}\in S^u_{\varepsilon }\), For the map \(G^T_{z_-} :=G^T({z_-},\cdot ):B^+\rightarrow E^-\) For satisfies
Proof
By Step 2 and its proof the map
is a uniform contraction on \(Z^T\) with contraction factor \(\tfrac{1}{2}\). (Strictly speaking \(Z^T\) depends on \({z_-}\), but the complete metric spaces associated to different \({z_-}\)’s are naturally isomorphic.) Observe that \(\Psi ^T\) is linear, hence smooth, in \({z_-}\) and in \(z_+\) and of class \(C^r\) in \(\xi \), because h is of class \(C^r\) by the Lipschitz Lemma 2.5. Hence by the uniform contraction principle, see e.g. [5, §2.2], the map
which assigns to \(({z_-},z_+)\) the unique fixed point of \(\Psi ^T_{{z_-},z_+}\) is of class \(C^r\) and so is its composition with the (linear) evaluation map \(ev_0:Z^T\rightarrow X\), \(\xi \mapsto \xi (0)\), and the (linear) projection \(\pi _-:X\rightarrow E^-\). But the composition of these maps is \(G^T\) by its definition (36). So \(G^T\), thus \({\mathcal {G}}\), is of class \(C^r\) in \({z_-}\) and \(z_+\).
Consider the flow trajectory \(\eta :[0,T]\rightarrow X\), \(t\mapsto \phi _t{z_-^T}\), which runs from \({z_-^T}\) to \({z_-}\) inside the (backward invariant) descending disk \(W^u_{\varepsilon }\subset D^-\). Hence \(\pi _+\eta (0)=0\) and \(\pi _-\eta (T)=\eta \). Thus \(\eta =\xi ^T_{{z_-},0}\) by uniqueness of the fixed point. Hence \( G^T_{z_-}(0) :=\pi _-\xi ^T_{{z_-},0}(0) =\pi _-\eta (0) =\pi _-{z_-^T} ={z_-^T} \). To get the desired representation of \(\mathrm {graph}\, G^T_{z_-}\) observe that
by Definition (36). The first identity also uses the fixed point property and the initial condition from Step 2. The final identity is by \(\pi _-\oplus \pi _+=\mathbbm {1}_X\). \(\square \)
Step 4. The map \(T\mapsto {\mathcal {G}}(T,{z_-},z_+)\) is Lipschitz continuous. If f is of class \(C^{2,1}\) near x, then the derivative \(T\mapsto \frac{d}{dT}{\mathcal {G}}(T,{z_-},z_+)\) is also Lipschitz continuous.
Proof
We prove that \({\mathcal {G}}\) is Lipschitz continuous in T. Fix \(T\ge T_0>0\), \({z_-}\in S^u_{\varepsilon }\), and \(z_+\in {B^+}\). Consider the fixed point \(\xi ^T=\xi ^T_{{z_-},z_+}\) of the strict contraction \(\Psi ^T=\Psi ^T_{z_-,z_+}\) defined by (35). The fixed point of \(\Psi ^{T+\tau }\) is given by
For \(t\in [0,T]\) and \(\tau \ge 0\) we obtain, similarly to (39), the estimate
Inequality two uses the Lipschitz Lemma 2.5 for f and the exponential estimates in Proposition 2.2. Moreover, we used the fact that \(e^{-s\mu }\le 1\) to obtain
The identity
follows by definition (9) of the exponential as a series. Together with the exponential estimates in Proposition 2.2 we get that
Coming back to inequality two, it remains to explain the estimate for term four. Here we used that \(\xi ^{T+\tau }\in Z^{T+\tau }\) takes values in \(B_1\) by Step 1.
Inequality three uses (37) for the integrals and the fact that \(\Vert {z_-}\Vert \le 1\). Inequality four uses estimate (43) and the smallness assumption (30) on \(\rho \) by which \(\kappa (\rho )\le 1\). Now take the supremum over \(t\in [0,T]\) to obtain that
with constant \({c_1}=2(|\lambda _1|+1)\). By (41) this shows that
for all \(T\ge T_0\) and \(\tau \ge 0\). In other words, the map \(T\mapsto {\mathcal {G}}(T,{z_-},z_+)={\mathcal {G}}^T_{z_-}(z_+)\) is Lipschitz. The difference \(\xi ^{T+\tau }-\xi ^T\) is illustrated by [25, Fig. 5].
We prove that the map \(T\mapsto \frac{d}{dT}{\mathcal {G}}(T,{z_-},z_+)\) is Lipschitz continuous. Set
for every \(t\in [0,T]\). Calculation shows that this derivative is given by
Since \(\frac{d}{dT}{\mathcal {G}}(T,{z_-},z_+)=\Theta ^T(0)\) by (41), it remains to show that the map \(T\mapsto \Theta ^T(0)\in X\) is Lipschitz continuous. By definition of \(\Theta ^T\) we get the identity
for all \(t\in [0,T]\) and \(\tau \ge 0\). To obtain lines one and two add zero; similarly for lines four and five and lines six and seven. Abbreviate the \(C^0([0,T],X)\) norm by \(\Vert \cdot \Vert _{C^0_T}\). Combine line one with line six and line two with line seven to obtain, similarly as above and again abbreviating \({c_1}=2(|\lambda _1|+1)\), the estimate
for all \(t\in [0,T]\) and \(\tau \ge 0\). Inequality one uses the exponential estimates in Proposition 2.2 and the Lipschitz Lemma 2.5 for dh. To obtain line three we used (45) and we added zero in the form of h(0), thus bringing in \(\kappa (\rho )\).
Inequality two uses the following arguments. Estimate the first pair of integrals by \(\frac{2}{\mu }\) using (37); similarly for the second pair. Apply estimate (46) and recall that \({z_-}\in B_1\) by our local setup. Use again (46) to conclude that
whenever \(t\in [0,T]\). Thus \( \Vert \Theta ^T\Vert _{C^0_T}\le {c_1} \) and, of course, the same is true when T is replaced by \(T+\tau \). By Step 1 the elements of the complete metric spaces \(Z^T\) (and \(Z^{T+\tau }\)) take values in \(B_1\). We also used that \(\kappa (\rho )\le 1\) by (30) and that \(e^{(t-T)\mu }\le 1\). The estimate for the difference \(\xi ^{T+\tau }(T+\tau )-\xi ^T(T)\in X\) in line four will be carried out separately below; see (51) for the result.
Inequality three uses the smallness assumptions (30) on \(\rho \) and estimate (43).
Now take the supremum over \(t\in [0,T]\) to get the estimate
for all \(T\ge T_0\) and \(\tau \ge 0\) and where \(C=C(\lambda _1,\lambda _n,\kappa _*,\mu ^{-1})\) is a constant. So
which means that the map \(T\mapsto \frac{d}{dT}{\mathcal {G}}(T,{z_-},z_+)\) is Lipschitz continuous.
As mentioned above it remains to estimate the norm of the difference:
Note that we added zero to obtain terms II and III in this sum I+II+III+IV of four. We proceed by estimating each of the four terms individually.
I. Concerning term one the identity for \(A^+\) corresponding to (44) shows that
where the last step uses (43) and \(\lambda _n\) is the largest eigenvalue of A; see (6). It might be interesting to see how the in infinite dimensions infinite quantity \(\Vert A^+\Vert \) can be avoided, also in III) below; cf. [25, p. 954].
II. For term two we get the estimate
where we used (46) and smallness (30) of \(\rho \).
III. Term three requires similar techniques as term one and we obtain that
where we used once more that \(\Vert \xi ^T(\sigma )\Vert _X\le 1\) by Step 1. We also applied (43).
IV. For term four we get the estimate
where we used once more the estimates \(\kappa (\rho )\le 1\) and (43).
To summarize, the above estimates show that
for every \(\tau \ge 0\). This concludes the proof of (50) and therefore of Step 4. \(\square \)
Step 5. (Exponential \(C^0\) convergence) Given \({z_-}\in S^u_{\varepsilon }\) and \(z_+\in B^+\), then it holds that \( \Vert {\mathcal {G}}^\infty (z_+) -{\mathcal {G}}_{z_-}^T(z_+)\Vert \le e^{-T\frac{\lambda }{8}} \) for every \(T\ge T_2\).
Proof
Assumption \(T\ge T_2\) will be used in (52). Fix \(z_+\in B^+\) and \({z_-}\in S^u_{\varepsilon }\) and consider the fixed point \(\xi ^T=\xi ^T_{{z_-},z_+}\) of \(\Psi _{{z_-},z_+}^T\) on \(Z^T\) and the fixed point \(\xi =\xi _{z_+}\) of \(\Psi _{z_+}\) on Z; cf. proof of Theorem 3.7. Since \({\mathcal {G}}^T_{z_-}(z_+)=\xi ^T(0)\) by (41) and \({\mathcal {G}}^\infty (z_+)=\xi (0)\) it remains to estimate the difference \(\xi (0)-\xi ^T(0)\). Motivated by [25, Fig. 6] the key idea is to suitably decompose the interval [0, T]. The decomposition is illustrated by [25, Fig. 5] which is surrounded by ample explication. Set
Pick \(t\in [0,\frac{T}{2}]\), use the representation formulae for \(\xi \) and \(\xi ^T\), the Lipschitz Lemma 2.5, and add several times zero to get that
The domain of integration \(\int _{T/2}^\infty \) in the last line is not a misprint.
To continue the estimate consider the last three lines. Now we explain how to get to the corresponding three lines in (53) below. Concerning line one note that \( e^{(t-T)\mu }\le e^{-T\mu /2}\) since \(t\in [0,T/2]\). Now use the choice of \(T_2\) and for the two integrals use (37). In line two use that \(e^{(t-\sigma )\mu }\le 1\), that \( \Vert \xi ^T(\sigma ) -\phi _\sigma ({z_-^T})\Vert \le \rho e^{-\sigma \lambda } \) by definition of \(Z^T\), and that
Here the identity is by the change of variables \(t:=-\sigma +\frac{7}{8}T\). Set \(z_-^*:=z_-^{T/8}\). To see the inequality consider the trajectory \(\eta (\tau ):=\phi _{\tau -T/8}({z_-}) =\phi _\tau (z_-^*)\) defined for \(\tau \in (-\infty ,0]\). Observe that \(\eta (\tau )\rightarrow 0\), as \(\tau \rightarrow -\infty \), because \({z_-}\) lies in the descending sphere \(S^u_{\varepsilon }={\partial }W^u_{\varepsilon }\) by assumption, thus \(z_-^*\) lies in the backward flow invariant set \(\phi _{-T/8}W^u_{\varepsilon }\). Consequently the whole image of \(\eta \) is contained in \(\phi _{-T/8}W^u_{\varepsilon }\subset W^u_{\varepsilon }\subset D^-\subset E^-\). Note that \(\pi _-\eta (0)=z_-^*\) and consider the unique fixed point \(\eta _{z_-^*}\) of the contraction \(\Phi _{z_-^*}\) on \(Z^-\) defined by (21). Backward uniqueness then implies that \(\eta =\eta _{z_-^*}\). Thus \(\eta \in Z^-\), so \(\Vert \eta (\tau )\Vert \le \rho e^{\tau \lambda } \le e^{\tau \lambda }\) for every \(\tau \le 0\) and this proves the inequality (52). To summarize, line two is bounded from above by
Concerning line three note that \(\Vert \xi ^T(\sigma )\Vert \le 1\) since the elements of \(Z^T\) take values in \(B_1\) and that \(\Vert \xi \Vert _{\exp }\le \rho \le 1\) by definition (24) of Z. Now calculate both integrals (in the second one use \(e^{(t-\sigma )\mu }\le 1\)).
Overall we get that
for every \(t\in [0,T/2]\). Here the last inequality uses the estimate \(\mu =\lambda +\delta \ge \lambda \) and smallness (30) of \(\rho \). Take the supremum over \(t\in [0,T/2]\) to obtain that
Since \( \Vert {\mathcal {G}}^\infty (z_+)-{\mathcal {G}}^T_{z_-}(z_+)\Vert =\Vert \xi (0)-\xi ^T(0)\Vert \le \Vert \xi -\xi ^T\Vert _{C^0_{T/2}} \) this proves Step 5. \(\square \)
Step 6. (Exponential \(C^1\) convergence) Pick \({z_-}\in S^u_{\varepsilon }\), \(z_+\in B^+\), \(v\in E^+\), then
for some constant \(c_*(\kappa _*,1/\delta ,1/\lambda )\) and every \(T\ge T_0\) whenever f is of class \(C^{2,1}\) near x.
Proof
One would expect that the proof of convergence of the linearized graph maps should use convergence of the graph maps themselves. Indeed estimate (54) above is a key ingredient. Fix \(T\ge T_0\), \({z_-}\in S^u_{\varepsilon }\), \(z_+\in B^+\), and \(v\in E^+\). We proceed in three steps. Step I and Step II are preliminary.
I. For \(\tau \ge 0\) small consider the unique fixed point \(\xi ^T_\tau :=\xi ^T_{{z_-},z_++\tau v}\in Z^T\) of the contraction \(\Psi ^T_{{z_-},z_++\tau v}\) defined by (35). Set \(\xi ^T:=\xi ^T_0 =\xi ^T_{{z_-},z_+}\). By (35)
for every \(t\in [0,T]\). By the proof of Step 3 the composition of maps
is of class \(C^1\). Therefore the linearization
is well defined. For every \(t\in [0,T]\) it satisfies the integral equation
and therefore by straighforward calculation the estimate
for every \(t\in [0,T]\). Use (41) to see that
II. Concerning the local stable manifold observe the following. For \(\tau \ge 0\) small consider the unique fixed point \(\xi _{z_++\tau v}\) of \(\Psi _{z_++\tau v}\) on Z defined by (24). It satisfies the integral equation
for every \(t\ge 0\). Hence the linearization
satisfies for every \(t\ge 0\) the integral equation
and therefore by straightforward calculation the estimate
for every \(t\ge 0\). Since \({\mathcal {G}}^\infty (z_+)=\xi _{z_+}(0)\) we get that
III. Abbreviate \(\xi ^T:=\xi ^T_{{z_-},z_+}\) and \(\xi :=\xi _{z_+}\). To estimate the difference \(X^T_v-X_v\) consider the corresponding integral equations (57) and (61). Add zero and apply the Lipschitz Lemma 2.5 for dh to obtain that
for every \(\sigma \in [0,T]\). Here we applied estimate (13) to get that
Pick \(t\in [0,\frac{T}{2}]\) and apply estimates (54), (58), and (62) to obtain
where \(c_*:=2\kappa _*(\frac{1}{\delta }+\frac{1}{\lambda })+1/4\). In inequality three we calculated the integrals and estimated \(\frac{1}{\mu }\le \frac{1}{\lambda }\). The final inequality is by smallness (30) of \(\rho \). Now take the supremum over \(t\in [0,T/2]\) and use the resulting estimate to continue
This concludes the proof of Step 6 and Theorem 1.2. \(\square \)
5 Invariant stable foliations and induced flow
Given \(x\in \mathrm{Crit}\,f\) non-degenerate, set \(c:=f(x)\). Consider the local model on \(V=W^u_{2\varsigma }\times W^s_{2\varsigma }\subset T_xM\) provided by (H3) in Definition 1.1 and recall that the assertions of the backward \(\lambda \)-Lemma, Theorem 1.2, hold true for each \({\varepsilon }\in (0,\varsigma )\).
5.1 Invariant stable foliations
Theorem 5.1
(Invariant stable foliation) Given \(x\in \mathrm{Crit}\,f\) non-degenerate, set \(k=\mathrm{ind}(x)\) and \(c=f(x)\). Then for every sufficiently small \({\varepsilon }>0\) the following is true. Pick a tubular neighborhood \({\mathcal {D}}(x)\) (associated to a radius \(\varkappa \) normal disk bundle) over the descending sphere \(S^u_{\varepsilon }(x)\) in the level hypersurface \(\{f=c-{\varepsilon }\}\). Denote the fiber over \(q\in S^u_{\varepsilon }(x)\) by \({\mathcal {D}}_q(x)\); see Fig. 3. Then the following holds for every sufficiently large \(\tau >1\).
- (Foliation) :
-
The subset \(N_x^s\) of M is compact and contains no critical points except x. Moreover, it carries the structure of a continuous codimension k foliationFootnote 8 whose leaves are parametrized by the k disk \(\varphi _{-\tau } W^u_{\varepsilon }(x)=N^s_x\cap W^u(x)\). The leaf \(N_x^s(x)\) over x is the ascending disk \(W^s_{\varepsilon }(x)\). The other leaves are the codimension k disks given by
$$\begin{aligned} N_x^s(q^T) =\left( {\varphi _T}^{-1}{\mathcal {D}}_q (x)\cap \{f\le c+{\varepsilon }\}\right) _{q^T} ,\qquad q^T:=\varphi _{-T}q, \end{aligned}$$whenever \(T\ge \tau \) and \(q\in S^u_{\varepsilon }(x)\).
- (Invariance) :
-
Leaves and semi-flow are compatible in the sense that
$$\begin{aligned} p\in N_x^s(q^T) \quad \Rightarrow \quad \varphi _\sigma p\in N_x^s(\varphi _\sigma q^T) \quad \forall \sigma \in [0,T-\tau ). \end{aligned}$$ - (Contraction onto ascending disk) :
-
The leaves converge uniformly to the ascending disk in the sense that
$$\begin{aligned} \mathrm{dist}\left( N_x^s(q^T),W^s_{\varepsilon }(x)\right) \le e^{-T\frac{\lambda }{8}} \end{aligned}$$(66)for all \(T\ge \tau \) and \(q\in S^u_{\varepsilon }(x)\).Footnote 9 If U is a neighborhood of \(W^s_{\varepsilon }(x)\) in M, then \(N_x^s({\varepsilon },\tau _*)\subset U\) for some constant \(\tau _*\).
- (Shrink to critical point) :
-
Assume U is a neighborhood of x in M. Then there are constants \({\varepsilon }_*\) and \(\tau _*\) such that \(N_x^s({\varepsilon }_*,\tau _*)\subset U\).
Theorem 5.1 is illustrated by Fig. 8. Theorem 1.2 asserts that some neighborhood of x is the union of images of \((n-k)\)-disks. The first step (Corollary 5.3) is to show that these images are disjoint and compatible with the flow. The actual proof of Theorem 5.1 coincides word by word with the infinite dimensional version [26, Thm. C]. To see this coincidence set \(R=\frac{\rho }{4}\) and impose on \({\varepsilon }>0\) the condition \(W^s_{{\varepsilon }}\subset B^+_R\). Note that \(B^+_{2R}=B^+\subset D^+\).
Local non-intrinsic foliation
Definition 5.2
A set \({\mathcal {D}}\) has the no return property with respect to a forward flow \(\phi \) if \({\mathcal {D}}\cap {\phi _t}^{-1}{\mathcal {D}}=\emptyset \), equivalently \(\phi _t {\mathcal {D}}\cap {\mathcal {D}}=\emptyset \), whenever \(t>0\).
Clearly any subset of a level set has the no return property with respect to a gradient semi-flow. Recall that \({\mathcal {G}}^\infty \) denotes the stable manifold graph map provided by Theorem 3.7 and \({\mathcal {G}}\) is the graph map which appears in the backward \(\lambda \)-Lemma, Theorem 1.2.
Corollary 5.3
(to the Backward \(\lambda \) -Lemma) Under the assumptions of Theorem 1.2 and with the additional assumption that \((D,\phi )\) has the no return property the following is true. The subset
of \(X=T_x M\) carries the structure of a continuous foliation of codimension \(k=\mathrm{ind}(x)\).Footnote 10 The leaf over the singularity 0 is given by the subset \(F(0):={\mathcal {G}}^\infty (B^+)\) of the ascending disk \(W^s_{2\varsigma }=D^+\) and the leaf over the points
are given by the graphs \(F({\alpha ^T}):={\mathcal {G}}^T_{\alpha }(B^+)\). Leaves and flow are compatible in the sense that
whenever the flow trajectory from z to \(\phi _\sigma z\) remains inside F.
Proof of Corollary 5.3
By Theorem 1.2 it remains to check that the sets \(F({\alpha ^T})\) and \(F(\beta ^S)\) are disjoint whenever \({\alpha ^T}\not =\beta ^S\), that is \((T,{\alpha })\not = (S,\beta )\). Assume by contradiction that \({\mathcal {G}}^T_{\alpha }(z_+)={\mathcal {G}}^S_\beta (z_+)=:z\) for some \(z_+\in B^+\). Then by (41) the point z is the initial value of a flow trajectory \(\xi ^T\) ending at time T on the fiber \({\mathcal {D}}_{\alpha }\) and also of a flow trajectory \(\xi ^S\) ending at time S on \({\mathcal {D}}_{\beta }\). By uniqueness of the solution to the Cauchy problem with initial value z the two trajectories coincide until time \(\min \{T,S\}\). If \(T=S\), then \({\alpha }=\beta \) and we are done. Now assume without loss of generality that \(T<S\), otherwise rename. Hence \(\xi ^S\) meets \({\mathcal {D}}_{\alpha }\) at time T and \({\mathcal {D}}_\beta \) at the later time S. But this contradicts the no return property of D.
We prove compatibility of leaves and flow. The fixed point 0 is flow invariant. Its neighborhood F(0) in the ascending disk is trivially flow invariant in the required sense, namely up to leaving F(0). Pick \(z\in F({\alpha ^T}):={\mathcal {G}}^T_{\alpha }(B^+)\). By (41) the point z is the initial value of a flow trajectory \(\xi ^T\) ending at time T on the fiber \({\mathcal {D}}_{\alpha }\). Assume the image \(\xi ^T([0,T])=\phi _{[0,T]} z\) is contained in \(F:=\mathrm{im\, }{\mathcal {G}}\cup \mathrm{im\, }{\mathcal {G}}^\infty \) and pick \(\sigma \in [0,T-T_0]\). This implies that \(z_+:=\pi _+\phi _\sigma z\in B^+\). The flow line \(\phi _{[0,T-\sigma ]}\phi _\sigma z\) runs from \(\phi _\sigma z\) to \(\phi _T z\in {\mathcal {D}}_{\alpha }\). Thus by uniqueness this flow line coincides with the fixed point \(\xi _{{\alpha },z_+}^{T-\sigma }\) of the strict contraction \(\Psi _{{\alpha },z_+}^{T-\sigma }\). But \(\phi _\sigma z=\xi _{{\alpha },z_+}^{T-\sigma }(0)\) is equal to \({\mathcal {G}}^{T-\sigma }_{\alpha }(z_+)\) again by (41). Thus
by definition of F and \({\alpha }^{T-\sigma }\). \(\square \)
5.2 Induced flow—dynamical thickening
Theorem 5.4
(Strong deformation retract) Consider a pair of spaces \((N^s_x,L^s_x)\) as defined by (3–4). Then the following is true for all pair parameters \({\varepsilon }>0\) sufficiently small and \(\tau >1\) sufficiently large. Firstly, the pair strongly deformation retracts onto its part in the unstable manifold, that is onto
Moreover, this pair consists of the closed disk \(D=\varphi _{-\tau } W^u_{\varepsilon }(x)\) whose dimension k is the Morse index of x and an annulus A which arises by removing from D the smaller open disk \(\mathrm{int\, }\varphi _{-2\tau } W^u_{\varepsilon }(x)\); see Fig. 3.
Corollary 5.5
For any pair of spaces in Theorem 5.4 it holds that
To construct a deformation to prove Theorem 5.4 there is the immediate temptation to use the already present forward flow \(\varphi _t\). Unfortunately and obviously, this only works along the stable manifold where indeed the flow moves any point into the unstable manifold, as time \(t\rightarrow \infty \). Along the complement of the stable manifold this does not work at all.Footnote 11 However, given the foliation in Theorem 5.1 of \(N_x^s\) in terms of graphs, it is then a natural idea to turn this foliation into a dynamical foliation in the sense that each leaf will be endowed with its own flow. The natural candidate for these flows is our given flow \(\varphi _t\) on the ascending disk \(W^s_{\varepsilon }(x)=N^s_x\cap W^s(x)\) transported to any leaf via conjugation by the corresponding graph map; see Figs. 8 Footnote 12 and 9. This way the set \(N_x^s\) turns into a disjoint union of copies of the dynamical system \((W^s_{\varepsilon }(x),\varphi )\). So one could call this procedure a dynamical thickening of the stable manifold; see [22] for an application to a classical theorem.
Proof of Theorem 5.4
Throughout we work in the local model provided by Definition 1.1. In particular, we will use these notation conventions in our construction of a strong deformation retraction \(\theta \) of N onto its part D in the unstable manifold. As pointed out above on the stable manifold the forward flow \(\{\phi _t\}_{t\in [0,\infty ]}\) itself does the job. Indeed \(\phi _\infty \) pushes the whole leaf N(0), that is the ascending disk \(W^s_{\varepsilon }\) by Theorem 5.1, into the origin—which lies in the unstable manifold. Since \(\phi _t\) restricted to the origin is the identity, the origin is a strong deformation retract of N(0). If the Morse index k is zero, then \(N=N(0)\) and we are done; similarly for \(k=n\). Assume from now on \(1\le k\le n-1\). The main idea is to use the graph maps \({\mathcal {G}}^\infty \) and \(G^T_\alpha \) provided by Theorems 3.7 and 1.2, respectively, and their left inverse \(\pi _+\) to extend the good retraction properties of \(\phi _t\) on the ascending disk N(0) to all the other leaves \(N(\alpha ^T)\) provided by Theorem 5.1.
Definition 5.6
(Induced semi-flow—dynamical thickening) By Theorem 5.1 each \(z\in N=N^{{\varepsilon },\tau }\) lies on a leaf \(N(\alpha ^T)\) for some \(T\ge \tau \) and some \(\alpha \) in the ascending disk \(S^u_{\varepsilon }\) and where \(\alpha ^T:=\phi _{-T}\alpha \). Then the continuous map \(\theta :[0,\infty ]\times N\rightarrow X\) defined by
is called the induced semi-flow on \({\mathbf {N}}\); see Fig. 9. It is of class \(C^r\) away from the stable manifold. Here (68) simplifies as \({\mathcal {G}}^\infty =(0,id)\) and \(\pi _+|_{E^+}=\mathbbm {1}\).
Observe that while \(\theta \) apriori only takes values in the image \(F\supset N\) of the graph maps, it does preserve the leaves of F; see Corollary 5.3. Now continuity on \([0,\infty )\times N\) follows from continuity of the maps involved. Given \(z\in N(\alpha ^T)\), set \(z_+:=\pi _+ z\). Since \(z_+\) lies in the stable manifold by construction of our “flat” coordinates, we obtain that \(z_+(t):=\phi _t z_+\rightarrow 0\), as \(t\rightarrow \infty \). So firstly the limit
exists and lies in the unstable manifold indeed. Here we used continuity of \({\mathcal {G}}^T_\alpha \) and the final identity holds by Theorem 1.2. Secondly \(\theta _t z\rightarrow \theta _\infty z\), as \(t\rightarrow \infty \). This shows, firstly, that the map
is a retraction and, secondly, that the map \(\theta \) extends continuously to \([0,\infty ]\times N\). The fact that the origin is a fixed point of \(\pi _+\) and \(\phi _t\) implies that
Hence \(\theta _t|_D=id_D\), for every \(t\in [0,\infty ]\). It remains to show that \(\theta _t\) actually preserves N. It suffices to show that \(\theta _t\) preserves each leaf of the foliation
In contrast to the infinite dimensional case [26] a simple compactness argument will do. Note that any leaf, other than \(N(0)=W^s_{\varepsilon }\), is of the form
whereas \(N(0)={\mathcal {G}}^\infty (B^+)\cap \{f\le c+{\varepsilon }\}=W^s_{\varepsilon }\) and \({\partial }N(0)=S^s_{\varepsilon }\). Now since the boundary of \(N(\alpha ^T)\) lies in a level set of f and \(\theta _s\) preserves the graph of \({\mathcal {G}}^T_\alpha \) we only need to show that there is a constant \(-\mu <0\) such that
This means that the \(\theta \) flow is inward pointing along the boundary of each leaf and then we are done. But (70) holds true for some constant, call it \(-2\mu \), along the (compact) boundary \(S^s_{\varepsilon }\) of the leaf N(0), just because \(\theta _t=\phi _t\) on N(0) and f strictly decreases along its downward gradient flow—unless there is a critical point which it isn’t on \(S^s_{\varepsilon }\). Compactness of the leaf space D and of the boundary of each leaf, together with continuity of the maps whose composition is \(\frac{d}{dt}\theta _t\), then implies that (70) holds true for all nearby leaves. To restrict to nearby leaves just fix \({\varepsilon }>0\) sufficiently small and \(\tau >1\) sufficiently large. \(\square \)
Global foliation
To extend the foliation of the neighborhood \(N_x^s\) of x all along the stable manifold \(W^s(x)\), that is in the backward time direction, according to Convention 1.5, that is without using the backward flow, is an interesting open problem—even more so in heat flow situations such as [26].
Notes
The naming inclination or \(\varvec{\lambda }\) -Lemma is due to the fact that it asserts \(C^1\) convergence of a family of disks to a given one in the (un)stable manifold, so the inclination of suitable tangent vectors converges. In [13] these inclinations were denoted by \(\lambda _\ell \).
The condition \(f\in C^{2,1}\) near x (satisfied for \(r\ge 2\)) hinges on the Lipschitz Lemma 2.5.
Uniquely determined.
In fact, we don’t even need to use the identity \(E_{22}(p,0)=0\) since anyway \((\nabla f)_p=0\).
The wording “algebraic” backward flow is only meant to indicate that no backward Cauchy problem is involved in its definition. It arises naturally along the unstable manifold each of whose points has a past by definition. Thus along \(W^u(x)\) it turns into a genuine flow.
Uniform exponential decay: The theorem shows that all backward trajectories which remain forever in backward time in a certain neighborhood of the fixed point 0 not only converge to 0, but they do so exponentially—even uniformly at the same rate of decay.
In infinite dimensions [7] the operator \(d\varphi _T|q\) is not surjective in general, but still admits dense image. This suffices to show surjectivity of the composition since k is finite.
For the precise degrees of smoothness away from \(W^s_{\varepsilon }(x)\) see Theorem 1.2.
Here \(\mathrm{dist}\) denotes the infimum over all Riemannian distances of any two points and the constant \(\lambda \in (0,d)\) has been fixed in (H2).
This is known as discontinuity of the flow end point map on unstable manifolds and obstructs simple geometric proofs of a number of desirable results such as the one that the unstable manifolds of a Morse-Smale gradient flow on a closed manifold naturally provide a CW decomposition; see e.g. [2–4, 11, 17].
In Fig. 8 we use simultaneously global and local coordinate notation for illustration.
References
Agarwal, R.P., Lakshmikantham, V.: Uniqueness and Nonuniqueness Criteria for Ordinary Differential Equations, Volume 6 of Series in Real Analysis. World Scientific Publishing Co., Inc., River Edge, NJ (1993)
Burghelea, D., Friedlander, L., Kappeler, T.: On the Space of Trajectories of a Generic Vector Field (2011). arXiv:1101.0778
Banyaga, A., Hurtubise, D.: Lectures on Morse Homology, Volume 29 of Kluwer Texts in the Mathematical Sciences. Kluwer Academic Publishers Group, Dordrecht (2004)
Bott, R.: Morse theory indomitable. Inst. Hautes Études Sci. Publ. Math. 68, 99–114 (1988)
Chow, S.N., Hale, J.K.: Methods of Bifurcation Theory, Volume 251 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science]. Springer, Berlin (1982)
Hadamard, J.: Sur l’itération et les solutions asymptotiques des équations différentielles. Bull. Soc. Math. Fr. 29, 224–228 (1901)
Henry, D.: Geometric Theory of Semilinear Parabolic Equations, Volume 840 of Lecture Notes in Mathematics. Springer, Berlin (1981)
Hirsch, M.W.: Differential Topology. Springer, Heidelberg (1976). Graduate Texts in Mathematics, No. 33
Jost, J.: Riemannian Geometry and Geometric Analysis. Universitext, 6th edn. Springer, Heidelberg (2011)
Lawson Jr, H.B.: Foliations. Bull. Am. Math. Soc. 80, 369–418 (1974)
Nicolaescu, L.: An Invitation to Morse Theory. Universitext, 2nd edn. Springer, New York (2011)
Palis Jr, J.: On Morse-Smale Diffeomorphisms. PhD thesis, UC Berkeley (1967)
Palis Jr, J.: On Morse-Smale dynamical systems. Topology 8, 385–404 (1969)
Palis Jr, J., de Melo, W.: Geometric Theory of Dynamical Systems. Springer, New York. An introduction. Translated from the Portuguese by A. K, Manning (1982)
Perron, O.: Über Stabilität und asymptotisches Verhalten der integrale von differentialgleichungssystemen. Math. Z. 29, 129–160 (1928)
Pesin, Y.B.: Lectures on Partial Hyperbolicity and Stable Ergodicity. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich (2004)
Qin, L.: An Application of Topological Equivalence to Morse Theory (2011). arXiv:1102.2838
Salamon, D.: Morse theory, the Conley index and Floer homology. Bull. Lond. Math. Soc. 22(2), 113–140 (1990)
Shub, M.: Global Stability of Dynamical Systems. Springer, New York (1987). With the collaboration of Albert Fathi and Rémi Langevin, Translated from the French by Joseph Christy
Salamon, D., Weber, J.: Floer homology and the heat flow. Geom. Funct. Anal. 16(5), 1050–1138 (2006)
Teschl, G.: Ordinary Differential Equations and Dynamical Systems, Volume 140 of Graduate Studies in Mathematics. Online edition, authorized by American Mathematical Society, Providence, RI (2012)
Weber, J.: Classical Morse theory revisited I—-backward \(\lambda \)-Lemma and homotopy type. Topol. Methods Nonlinear Anal. (to appear). arXiv:1410.0995
Weber, J.: The Morse–Witten complex via dynamical systems. Expo. Math. 24(2), 127–159 (2006)
Weber, J.: Morse homology for the heat flow. Math. Z. 275(1–2), 1–54 (2013)
Weber, J.: A backward \(\lambda \)-lemma for the forward heat flow. Math. Ann. 359(3–4), 929–967 (2014)
Weber, J.: Stable Foliations and Semi-Flow Morse Homology. Submitted (2014). arXiv:1408.3842
Zehnder, E.: Lectures on Dynamical Systems. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
Financial support FAPESP Grant 2013/20912-4, FAEPEX Grant 1135/2013, and CNPq, Conselho Nacional de Desenvolvimento Científico e Tecnológico—Brasil.
Rights and permissions
About this article
Cite this article
Weber, J. Contraction method and Lambda-Lemma. São Paulo J. Math. Sci. 9, 263–298 (2015). https://doi.org/10.1007/s40863-015-0014-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40863-015-0014-4