Abstract
Classical Sturm non-oscillation and comparison theorems as well as the Sturm theorem on zeros for solutions of second order differential equations have a natural symplectic version, since they describe the rotation of a line in the phase plane of the equation. In the higher dimensional symplectic version of these theorems, lines are replaced by Lagrangian subspaces and intersections with a given line are replaced by non-transversality instants with a distinguished Lagrangian subspace. Thus the symplectic Sturm theorems describe some properties of the Maslov index. Starting from the celebrated paper of Arnol’d on symplectic Sturm theory for optical Hamiltonians, we provide a generalization of his results to general Hamiltonians. We finally apply these results for detecting some geometrical information about the distribution of conjugate and focal points on semi-Riemannian manifolds and for studying the geometrical properties of the solutions space of singular Lagrangian systems arising in Celestial Mechanics.
Similar content being viewed by others
1 Introduction
Symplectic Sturm theory has a lot of predecessor, like Morse, Lidskii, Bott, Edwards, Givental who proved the Lagrangian nonoscillation of the Picard-Fuchs equation for hyperelliptic integrals. The classical Sturm theorems on oscillation, non-oscillation, alternation and comparison for a second-order ordinary differential equation have a symplectic nature. They, in fact, describe the rotation of a straight line through the origin of the phase plane of the equation. A line through the origin is a special 1-dimensional subspace of the phase plane: it is, in fact a Lagrangian subspace.
Starting from this observation, as clearly observed and described by Arnol’d in [2], the higher-dimensional symplectic generalization of the Sturm theory has been obtained by replacing lines by Lagrangian subspaces and instants of intersections between lines, by instants of non-transversality. Such instants in the terminology of Arnol’d has been termed moments of verticality. Thus, in higher dimension, the rotation of a straight line through the origin has been replaced by the evolution of a Lagrangian subspace through the phase flow of the linear Hamiltonian system in the phase space. The phase flow defines, in this way, a curve of Lagrangian subspaces and moments of verticality correspond to the intersection instants between this curve and a hypersurface (with singularities) in the Lagrangian Grassmannian manifold, called (in the Arnol’d terminology), the train of a distinguished Lagrangian subspace. Such a train is a transversally oriented variety and by using such an orientation, it is possible to define an integer-valued intersection index, called Maslov index. Generically, in a local chart of the Lagrangian Grassmannian manifold, the contribution to the Maslov index of a \(\mathscr {C}^1\)-Lagrangian curve, is through the signature of a quadratic form, the so-called crossing form. In some particular cases it can actually happen that the signature coincides with the coindex, namely with the positive inertia index of the crossing form. If this property holds at each crossing, the Lagrangian curve is called positive curve or plus curve. This property strongly depends upon the choice of the distinguished Lagrangian subspace in the sense that a curve could be a plus curve with respect to a Lagrangian subspace \(L_0\) but not respect to a different \(L_1\). Often, in the applications, such a distinguished Lagrangian subspace \(L_0\) is uniquely determined by the boundary conditions imposed on the problem.
As already observed, Arnol’d proved Sturm nonoscillation, alternation and comparison theorems in the case of optical or positively twisted Hamiltonians, namely Hamiltonian functions such that the flow lines of the lifted Hamiltonian flow on the Lagrangian Grassmannian manifold level are positive curves with respect to a distinguished Lagrangian. This kind of Hamiltonians often occur in applications. It is well-known, in fact, that Legendre convex Hamiltonians in the cotangent bundle with the canonical symplectic form are optical with respect to the vertical section.
However, in many interesting applications, the lifted Hamiltonian flow at the Lagrangian Grassmannian level is not a positive curve with respect to a fixed Lagrangian subspace or, otherwise said, the Hamiltonians are not optical with respect to a distinguished section of the cotangent bundle. This is for instance the case of the evolution of a Lagrangian subspace through the phase flow induced by the Jacobi deviation equation along a spacelike geodesic in a Lorentzian manifold or more generally of a geodesic of any causal character on a semi-Riemannian manifold having non-trivial signature. (Cfr. [12, 22, 23, 25] and references therein).
Surprisingly, Sturm alternation and comparison theorems still hold in the case of not optical Hamiltonians. Sturm alternation theorem actually gives an estimate between the difference of the Maslov indices computed with respect to two different Lagrangians. By using the transition functions of the atlas of the Lagrangian Grassmannian, authors in [15, Proposition 3.3 & Corollary 3.4] proved an estimate on the difference of Maslov indices and then applied this estimate in order to obtained some comparison results between conjugate and focal points in the semi-Riemannian world. Inspired by [15], in this paper we prove, among others, a sharper estimate of the difference between two Maslov indices with respect to two different Lagrangian subspaces (see Theorem 2.9). The main idea in order to provide this estimates mainly relies on the Hörmander index whose vocation is precisely to measure such a difference.
By using this estimate together with the Bott-Long type iteration formula we provide, in Proposition 2.20, an estimate between the Conley-Zehnder index of an iterated periodic orbit of a Hamiltonian system and the Conley-Zehnder index of the orbit on its prime period. Furthermore we give an estimate between the Conley-Zehnder index and the Maslov index with respect to a distinguished Lagrangian L of a Lagrangian curve constructed by letting evolving L under the phase flow of a Hamiltonian system. The interest for this study is mainly related to the following fact. In the case of symmetric periodic orbits it is possible to associate in a natural fashion the Conley-Zehnder index as well as the Maslov index with respect to a fixed Lagrangian subspace. In the case of autonomous Hamiltonian systems with discrete symmetries (e.g. reversible Hamiltonian systems) the (symmetric) periodic solutions can be interpreted either as periodic orbits or as Lagrangian intersection points and hence they have both indices naturally associated.
Another interesting result of the present paper is Theorem 3.10 which is nothing but the Sturm nonoscillation theorem. This result is somehow hybrid and has in its own the Lagrangian and the Hamiltonian nature of the problem. If the Hamiltonian is natural (meaning that it is the sum of the kinetic and the potential energy) in which the kinetic part is a positive quadratic form in the momentum variables and the potential part is a non-positive definite quadratic form in the configuration variables, then the moment of non-transversality between the Lagrangian curve induced by the lifted phase flow at Lagrangian Grassmannian level and the Dirichlet Lagrangian is less or equal than the number of degrees of freedom. We observe that these assumptions on the kinetic and potential energy, don’t insure that the induced Lagrangian curve is a plus curve with respect to any Lagrangian subspace different from the Dirichlet (which is the Lagrangian corresponding to the coordinate plane of vanishing configuration variables). However, these signature assumptions, insure that the Lagrangian function is non-negative. This is a pretty important information and gives deep insight on the spectral analytic properties of the problem. In fact, up to a shifting constant (discussed in Section 1) that is bounded by the number of degrees of freedom, the Maslov index coincides with the Morse index. Now, under the signature assumptions on the kinetic and potential energy, it follows that the Morse index is zero and hence the the Maslov index is bounded by the number of degrees of freedom. This, however, is not the end of the story, since the bound on the Maslov index doesn’t imply, in general, a bound on the total number of crossing instants. However, in the case of plus curve, it does. This is why in the theorem the Maslov intersection index is considered with respect to the Dirichlet Lagrangian (and in fact such a Hamiltonian is Dirichlet optical, being Legendre convex).
An extremely useful result in applications is Theorem 4.1: a generalized version of the Sturm comparison theorem. In this case, on the contrary, is not important to work with plus Lagrangian curves. This fact, has been already recognized by the third author in [23]. Loosely speaking, the monotonicity between Hamiltonian vector fields implies an inequality on the Maslov index and if the Hamiltonian system is induced by a second order Lagrangian system \(\mathscr {C}^2\)-convex in the velocity, this implies an inequality on the Morse indices. From a technical viewpoint the proof of this result is essentially based upon the homotopy invariance of the Maslov index. An essential ingredient in the proof is provided by a spectral flow formula for paths of unbounded self-adjoint first order (Fredholm) operators with dense domain in \(L^2\).
Finally in the last section we provide some applications essentially in differential topology and classical mechanics. More precisely, we prove some interesting new estimates about the conjugate and focal points along geodesics on semi-Riemannian manifolds, improving the estimates provided by authors in [15, Section 4]. We stress on the fact that classical comparison theorems for conjugate and focal points in Riemannian manifolds and more generally on Lorenzian manifolds but for timelike geodesics, requires curvature assumptions or Morse index arguments. On general semi-Riemannian manifolds having non-trivial signature, the curvature is never bounded and the index form has always infinite Morse index and co-index. The second application we provide is based upon an application of the Sturm comparison theorem to the Kepler problem in the plane with fixed (negative) energy.
Considerable effort has been focused on improving the readability of the manuscript and on explaining the main ideas and involved techniques.
1.1 Notation
For the sake of the reader, we introduce some notation that we shall use henceforth without further reference throughout the paper.
-
We denote by V, W finite dimensional real vector spaces; \(\mathscr {L}(V,W)\) and \(\mathscr {B}(V,W)\) respectively the vector spaces of all linear operators \(T: V \rightarrow W\) and of bilinear forms \(B: V\times W \rightarrow \mathbb {R}\); by \(V^*\) we denote the dual space of V, i.e. \(V^*=\mathscr {L}(V, \mathbb {R})\). In shorthand notation we set \(\mathscr {L}(V):=\mathscr {L}(V,V)\) and \(\mathscr {B}(V):=\mathscr {B}(V,V)\). \(\mathscr {L}^{{{\text {sa}}}}(V)\) denotes the subset of \(\mathscr {L}(V)\) of all linear self-adjoint operators on V. There is a canonical isomorphism
$$\begin{aligned}&\mathscr {L}(V, W^*) \ni T \rightarrow B_T \in \mathscr {B}(V,W) \text { such that } \\&B_T(v,w) :=T(v)(w), \quad \forall \, v \in V,\, \forall \, w \in W. \end{aligned}$$\(\mathrm {Id}_V\) or in shorthand notation just \(\mathrm {Id}\) denotes the identity;
-
For \(T \in \mathscr {L}(V, W)\), we define the pull-back of \(C \in \mathscr {B}(W)\) through the map T as
$$\begin{aligned} T^*: \mathscr {B}(W) \rightarrow \mathscr {B}(V) \text { given by } T^*(C):=C(T\cdot , T\cdot ) \end{aligned}$$and if T is an isomorphism we define the push-forward of \(B \in \mathscr {B}(V)\) through T as the map:
$$\begin{aligned} T_*: \mathscr {B}(V) \rightarrow \mathscr {B}(W) \text { given by } T_*(B):=B(T^{-1}\cdot , T^{-1}\cdot ). \end{aligned}$$Given a linear operator \(T:V \rightarrow V\), we denote by \(\mathrm {Gr\,}(T)\subset V^2\) its graph. If \(T=\mathrm {Id}\), its graph coincide with the diagonal subspace \(\Delta \subset V\times V\).
-
\(\mathrm {B}_{{{\text {sym}}}}(V)\) is the vector space of all symmetric bilinear forms on V. For any \(B\in \mathrm {B}_{{{\text {sym}}}}(V)\), we denote by \(\mathrm {n}_-\,(B)\), \(\mathrm {n}_0\,(B)\) and \(\mathrm {n}_+\,(B)\) respectively speaking the index, the nullity and the coindex of B. The signature of B is the difference \({{\,\mathrm{sgn}\,}}(B):=\mathrm {n}_+\,(B)-\mathrm n_-(B)\) B is termed non-degenerate if \(\mathrm {n}_0\,(B)=0\).
-
\((V, \omega )\) denotes a 2n-dimensional (real) symplectic vector space and J denotes a complex structure on V; \(\mathrm {Sp}(V, \omega )\) the symplectic group ; \(\mathfrak {sp}(V,\omega )\) denotes the symplectic Lie algebra. \(\mathrm {GL}(V)\) denotes the general linear group. The symplectic group of \((\mathbb {R}^{2n}, \omega )\) is denoted by \(\mathrm {Sp}(2n)\) and its Lie algebra simply by \(\mathfrak {sp}(2n)\). We refer to a matrix in \(\mathfrak {sp}(2n)\) as the set of Hamiltonian matrices.
-
\(\mathcal {P}_T({V,\omega }):=\{\psi \in \mathscr {C}^0\big ([0,T], \mathrm {Sp}(V,\omega )\big )| \psi (0)=\mathrm {Id}\} \) where \(\mathcal {P}_T({V,\omega })\) is equipped with the topology induced from \((V, \omega )\). \(\mathcal {P}_T({2n})\) denotes the set \(\mathcal {P}_T({V,\omega })\) in the case in which \((V, \omega )= (T^*\mathbb {R}^n,\omega _0)\).
-
\(\Lambda (V,\omega )\) denotes the Lagrangian Grassmannian of \((V,\omega )\) whereas \(\Lambda (n)\) denotes the Lagrangian Grassmannian of the standard 2n-dimensional symplectic space.
2 Variational framework and an Index Theorem
This section is devoted to recall some basic definitions and results about the Lagrangian and Hamiltonian dynamics that we shall need later on. The main result in this section is a Morse-type index theorem given at Theorem 1.7 relating the Morse index of a critical point x of the Lagrangian action functional with the Maslov-type index of \(z_x\) corresponding to x through the Legendre transform. Our basic references are [3, 9, 13].
Let \(T\mathbb {R}^n\cong \mathbb {R}^n \oplus \mathbb {R}^n\) be the tangent space of \(\mathbb {R}^n\) endowed with coordinates (q, v). Given \(T>0\) and the Lagrangian function \(L \in \mathscr {C}^2([0,T]\times T\mathbb {R}^n, \mathbb {R})\), we assume that the following two assumptions hold
- (L1):
-
L is \(\mathscr {C}^2\)-convex with respect to v, that is the quadratic form
$$\begin{aligned} \langle \partial _{vv} L(t,q,v) \cdot , \cdot \rangle \quad \text { is positive definite } \quad \forall \, t\in [0,T],\ \ \forall \, (q,v)\in T\mathbb {R}^n \end{aligned}$$ - (L2):
-
L is exactly quadratic in the velocities v meaning that the function L(t, q, v) is a polynomial of degree at most 2 with respect to v.
Under the assumption (L1) the Legendre transform defined by
is a \(\mathscr {C}^1\) (local) diffeomorphism.
Remark 1.1
The assumption (L2) is in order to guarantee that the action functional is twice Frechét differentiable. It is well-known, in fact, that the smoothness assumption on the Lagrangian is in general not enough. The growth condition required in (L2) is related to the regularity of the Nemitski operators. For further details we refer to [28] and references therein.
We denote by \(H:=W^{1,2}([0,T], \mathbb {R}^n)\) be the space of paths having Sobolev regularity \(W^{1,2}\) and we define the Lagrangian action functional \(A: H\rightarrow \mathbb {R}\) as follows
Let \(Z \subset \mathbb {R}^n \oplus \mathbb {R}^n\) be a linear subspace and let us consider the linear subspace
Notation 1.2
In what follows we shall denote by \(A_Z\) the restriction of the action A onto \(H_Z\); thus in symbols we have \(A_Z:=A\big \vert _{H_Z}\).
It is well-know that critical points of the functional A on \(H_Z\) are weak (in the Sobolev sense) solutions of the following boundary value problem
where \(Z^\perp \) denotes the orthogonal complement of Z in \(T^*\mathbb {R}^n\) and up to standard elliptic regularity arguments, classical (i.e. smooth) solutions.
Remark 1.3
We observe, in fact, that there is an identification of \(Z\times Z^\perp \) and the conormal subspace of Z, namely \(N^*(Z)\) in \(T^*\mathbb {R}^n\). For further details, we refer the interested reader to [3].
We assume that \(x \in H_Z\) is a classical solution of the boundary value problem given in Eq. (1.1). We observe that, by assumption (L2) the functional A is twice Fréchet differentiable on H. Being the evaluation map from \(H_Z\) into H a smooth submersion, also the restriction \(A_Z\) is twice Fréchet differentiable and by this we get that the Gateaux second differential \(d^2A_Z(x)\) coincides with the Fréchet second differential \(D^2A_Z(x)\).
By computing the second variation of \(A_{Z}\) at x we get, for any \(\xi , \eta \in H_{Z}\)
Now, by linearizing the ODE given in Eq. (1.1) at x, we finally get the (linear) Morse-Sturm boundary value problem defined as follows
We observe that u is a weak (in the Sobolev sense) solution of the boundary value problem given in Eq. (1.2) if and only if \(u \in \ker I\). Moreover, by elliptic bootstrap it follows that u is a smooth solution.
Let us now consider the standard symplectic space \(T^*\mathbb {R}^n\cong \mathbb {R}^n \oplus \mathbb {R}^n\) endowed with the canonical symplectic form
Denoting by \(J_0\) the (standard) complex structure namely the automorphism \(J_0:T^*\mathbb {R}^n\rightarrow T^*\mathbb {R}^n\) defined by \( J_0(p,q)=(-q, p) \) whose associated matrix is given by
it immediately follows that \(\omega _0 (z_1,z_2):=\langle J_0 z_1, z_2\rangle \) for all \(z_1,z_2 \in T^*\mathbb {R}^n \).
Notation 1.4
In what follows, \(T^*\mathbb {R}^n\) is endowed with a coordinate system \(z=(p,q)\), where \(p=(p_1, \dots , p_n)\in \mathbb {R}^n\) and \(q=(q_1, \dots , q_n)\in \mathbb {R}^n\). we shall refer to q as configuration variables and to p as the momentum variables.
By setting \(z(t):={\big (P(t)u'(t)+Q(t)u(t), u(t)\big )}^\mathsf {T}\), the Morse-Sturm equation reduces to the following (first order) Hamiltonian system in the standard symplectic space
We now define the double standard symplectic space \((\mathbb {R}^{2n}\oplus \mathbb {R}^{2n}, -\omega _0 \oplus \omega _0)\) and we introduce the matrix \(\widetilde{J}_0:={{\,\mathrm{diag}\,}}(-J_0,J_0)\) where \({{\,\mathrm{diag}\,}}(*,*)\) denotes the \(2 \times 2\) diagonal block matrix. In this way, the subspace \(L_Z\) given by
is thus Lagrangian.
Notation 1.5
The following notation will be used throughout the paper. If x is a solution of (1.1) we denote by \(z_x\) the corresponding function defined by
Definition 1.6
Let x be a critical point of A. We denote by \(\iota _{ Z}(x)\) the Morse index of x namely
Let \(z_x\) be defined in Eq. (1.5). We define the Maslov index of \(z_x\) as the integer given by
where \(\psi \) denotes the fundamental solution of the Hamiltonian system given in Eq. (1.3).
Theorem 1.7
Under the previous notation and if assumptions (L1) & (L2) are fulfilled the functional \(A:H_Z \rightarrow \mathbb {R}\) is of regularity class \(\mathscr {C}^2\).
If x is a critical point of \(A_Z\), then \(\iota _{Z}(x)\) is finite. Moreover there exists a non-negative integer \(c(Z) \in \{0,\ldots ,n\}\) such that the following equality holds
Proof
For the proof of this result we refer the reader to [13, Theorem 3.4 & Theorem 2.5]. \(\square \)
Remark 1.8
The integer c(Z) depend upon the boundary conditions. However the authors in [13, Section 3], computed c(Z) in some interesting cases.
-
(Periodic) \(Z:=\Delta \subset \mathbb {R}^n \oplus \mathbb {R}^n\) (where \(\Delta \) denotes the graph of the identity in \(\mathbb {R}^n\)) and \(c(Z)=n\)
-
(Dirichlet) \(Z:=Z_1\oplus Z_2=(0)\oplus (0)\) and \(c(Z)=n\)
-
(Neumann) \(Z:=\mathbb {R}^n\times \mathbb {R}^n\) and \(c(Z)=0\)
We observe that in the case of separate boundary conditions, i.e. \(Z= Z_1 \oplus Z_2\), then we get that \(c(Z)=\dim (Z_1^\perp \cap Z_2^\perp )\). (Cfr. [13, Equation (3.28)] for further details).
Remark 1.9
It is not surprising that in the Dirichlet case and in the Neumann we get the n and 0. In fact the Morse index of a critical point \(x \in H\) of the action A get its largest possible value with respect to Neumann boundary conditions and the smallest possible value with respect to Dirichlet boundary conditions.
The last result of this section provides a bound on the Maslov index of \(z_x\) when x is a minimizer.
Proposition 1.10
Let x be a minimizer for \(A_Z\). Then
Proof
Being x minimizer, it follow that \(\iota _{Z}(x)=0\) and by Theorem 1.7, we get that
The conclusion now follows from the fact that \(c(Z)\in \{0,\ldots ,n\}\). \(\square \)
A direct consequence of Proposition 1.10 in the case of natural Lagrangian, namely Lagrangian of the form
where as usually K(v) and V(q) denote respectively the kinetic and the potential function, is the following result.
Corollary 1.11
Let L be a \(\mathscr {C}^2\)-natural Lagrangian having a \(\mathscr {C}^2\)-concave potential energy and let \(x \in H_Z\) be a critical point of \(A_Z\). Then
Proof
Being \(L(t,q,v)=K(v)-V(q)\), we get that the Lagrangian function L is \(\mathscr {C}^2\)-convex. Let \(x\in H\) be a critical point of A. By the \(\mathscr {C}^2\)-convexity of the Lagrangian, we get that \(\iota _{}(x)=0\) on H and in particular \(\iota _{Z}(x)=0\) for every \(Z\subset \mathbb {R}^n\oplus \mathbb {R}^n\). By Theorem 1.7
and the conclusion now follows by using Proposition 1.10. \(\square \)
Remark 1.12
A common Z, often occurring in the applications, is represented by \(Z:=Z_1 \oplus (0)\) where \(Z_1\) is a linear subspace of \( \mathbb {R}^n\). This subspace directly appears in the classical Sturm non-oscillation theorem [2, Section 1].
3 Sturm theory and symplectic geometry
The aim of this section is to provide a generalization of the Sturm Alternation and Comparison Theorems proved by Arnol’d in [2] in the case of optical Hamiltonian. The abstract idea behind these results relies on a careful estimates of the Hörmander (four-fold) index which is used for comparing and estimating the difference of the Maslov indices with respect to two different Lagrangian subspaces. Our basic reference for this section is [34, Section 3] and references therein. We stress on the fact that, even in the (classical) case of optical Hamiltonians, we provide new and sharper estimates. For the sake of the reader, we refer to Section A for the main definitions and properties of the intersection indices as well as for the basic properties of the Lagrangian Grassmannian \(\Lambda (V,\omega )\) of the symplectic space \((V,\omega )\).
3.1 A generalization of Sturm Alternation theorem
In the 2n-dimensional symplectic space \((V,\omega )\), let us consider \(\lambda \in \mathscr {C}^0\big ([a,b], \Lambda (V,\omega )\big )\) and \(\mu _1, \mu _2 \in \Lambda (V,\omega )\). We now define the two non-negative integers \(k_1, k_2\) given by
and we let \(k:=\max \{k_1,k_2\}\). We are in position to state and to prove the first main result of this section.
Theorem 2.1
Under the previous notation, the following inequality holds:
Proof
The proof of this result is a consequence of Proposition A.14, Equation (A.12) and Remark A.11. First of all, we start to observe that
For \(i=1,2\), we denote by \(\pi _{\epsilon _i}\) (resp. \(\pi _{\delta _i}\)) the projection onto the symplectic reduction mod \(\epsilon _i\) (resp. \(\delta _i\)). So, we have
Since \(\dim V_{\epsilon _i}= 2(n-\dim \epsilon _i)\) (resp. \(\dim V_{\delta _i}= 2(n-\dim \delta _i)\)), it follows that \(Q_{\epsilon _i}\) (resp. \(Q_{\delta _i}\)) are quadratic forms on \(n-\dim \epsilon _i\) (resp. \(n-\dim \delta _i\)) vector space. So, the inertia indices are integers between 0 and \(n-\dim \epsilon _i\) (resp. \(n-\dim \delta _i\)). In conclusion, we get that
By using these inequalities together with Eq. (2.1), we get that
Putting the inequalities given in Formula 2.1 all together, we get
where \(k=\max \{k_1,k_2\}\). This concludes the proof. \(\square \)
Remark 2.2
Loosely speaking, by Theorem 2.1, we can conclude that the smaller is the difference of a Lagrangian path with respect to two Lagrangian subspaces the higher is the intersection between them.
Corollary 2.3
Under the notation of Theorem 2.1 and assuming that \(\lambda \cap \mu _1= \lambda (b)\cap \mu _2 = \emptyset \), we get
where \(I:=\lambda (a)\cap \lambda (b)\). In particular, if \(\lambda \) is a closed path, then we get that
Proof
We observe that
By this, we get that \(n-k\leqslant n-k_1\) is less or equal than \( n - \dim I\). This concludes the proof of the first claim.
The second claim readily follows by observing that for loops of Lagrangian subspaces, we have \(\dim I=n\). \(\square \)
Remark 2.4
It is worth noticing that in the case of Lagrangian loops, the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index is actually independent on the vertex of the train. This property was already pointed out by Arnol’d in his celebrated paper [1].
Corollary 2.5
Under notation of Theorem 2.1 and if \(\mu _1\cap \lambda (a)=\mu _1 \cap \lambda (b)=\emptyset \), then we have
where \(J:=\mu _1 \cap \mu _2\).
Proof
We observe that
By this, we get that \(n-k \leqslant n-k_2\) is less or equal than \( n - \dim J\). \(\square \)
Remark 2.6
We observe that if the four Lagrangians \(\lambda (a), \lambda (b), \mu _1, \mu _2\) are mutually transversal, then \(k=0\). Thus in this case the modulus of the difference of the Maslov indices computed with respect to two (distinguished) Lagrangian is bounded by n.
Remark 2.7
We observe that Corollary 2.3 and Corollary 2.5 are well-known. More precisely Corollary 2.3 agrees with [15, Corollary 3.4] and Corollary 2.5 corresponds to [15, Proposition 3.3]. As by-product of the previous arguments we get that the inequalities proved by authors in aforementioned paper were not sharp.
It is worth noticing that the proof provided by authors is completely different from the one given in the present paper and it mainly relies on a careful estimate of the inertial indices of symmetric bilinear forms obtained by using the atlas of the Lagrangian Grassamannian and its transition functions.
Theorem 2.8
Let \( L_0, L_1, L_2 \in \Lambda (V,\omega )\), \( \psi \in \mathcal {P}_T({V, \omega })\) and for every \( t \in [0,T]\), we let
Thus, we have
where \(k:=\min \{\dim \epsilon _a,\dim \epsilon _b\}\) and where \(\epsilon _a:=L_1 \cap L_2 + L_2 \cap L_0 \) while \(\epsilon _b:=L_1 \cap L_2 + L_2 \cap \mu _0(b).\)
Proof
By taking into account the symplectic invariance of the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index, we get
and
Moreover
The proof now immediately follows by theorem 2.1. \(\square \)
By restricting Theorem 2.1 to curves of Lagrangian subspaces induced by the evolution of a fixed Lagrangian under the phase flow of a linear Hamiltonian system we get a generalization of the Sturm Alternation Theorem proved by Arnol’d in [2]. More precisely, let us consider the linear Hamiltonian system
Then the following result holds.
Theorem 2.9
(Sturm Alternation Theorem) Let \(L,L_1,L_2\in \Lambda (n)\) and we set \( \ell (t):=\phi (t)L\) where \(\phi \) denotes the fundamental solution of Eq. (2.2). Then we get
where \(k:=\max \{k_1,k_2\}\) and
Remark 2.10
We stress on the fact that in the aforementioned paper, Arnol’d proved the Alternation Theorem for the class of quadratic Hamiltonian functions that are optical with respect to the two distinguished Lagrangian subspaces \(L_1\) and \(L_2\). In the classical formulation, author provides a bound on the difference of non-transversality moments of the evolution of a Lagrangian path with respect to two distinguished Lagrangian subspaces.
3.2 Iteration inequalities for periodic boundary conditions
In this section we provide some simple estimates on the Conley-Zehnder index ofwhich can be obtained directly from Theorem 2.1.
Given a symplectic space \((V,\omega )\), we consider the direct sum \(V^2:=V \oplus V\), endowed with the symplectic form \(\omega ^2:=-\omega \oplus \omega \), defined as follows
and we recall that
and \(\Delta \) is the diagonal subspace of \(V\oplus V\).
Definition 2.11
Let \(\psi \in \mathscr {C}^0\big ([a,b], \mathrm {Sp}(V,\omega )\big )\). The generalized Conley-Zehnder index of \(\psi \) is the integer \(\iota ^{\scriptscriptstyle {\mathrm {CZ}}}(\psi )\) defined as follows
Remark 2.12
We observe that the Conley-Zehnder index was originally defined for symplectic paths having non-degenerate final endpoint meaning that \(\mathrm {Gr\,}\psi (b) \cap \Delta =\{0\}\). We emphasize that, for curves having degenerate endpoints with respect to \(\Delta \) there are several conventions for how the endpoints contribute to the Maslov index. For other different choices we refer the interested reader to [8, 20, 29] and references therein.
Lemma 2.13
Let \(L_1,L_2 \in \Lambda (V,\omega )\) and \(\psi \in \mathscr {C}^0\big ([a,b], \mathrm {Sp}(V, \omega )\big )\). Then
Proof
The proof of this result follows by [29, Theorem 3.2] and Eq. (A.7) \(\square \)
Theorem 2.14
Let \((V,\omega )\) be a 2n-dimensional symplectic space, \(L, L_0 \in \Lambda (V, \omega )\), \(\psi \in \mathcal {P}_T({V,\omega })\) and let \(\ell \in \mathscr {C}^0\big ([0,T], \Lambda (V,\omega )\big ) \) be pointwise defined by \(\ell (t):=\psi (t)\, L\). Then the following inequality holds
where \(\epsilon \) is the subspace defined by \(\epsilon :=\mathrm {Gr\,}P \cap \Delta + \Delta \cap (L\oplus L_0)\) with \(P=\psi (T)\).
Before proving this result, we observe that the maximal dimension of the isotropic subspace \(\epsilon \) is a number less or equal than 2n. This is for instance the case in which \(P=\mathrm {Id}\).
Proof
We start noticing that \(\Omega =-\omega \oplus \omega \) is a symplectic structure on \(V\oplus V\) and on \((V\oplus V,\Omega )\), by invoking Lemma 2.13, we get that
and by Definition 2.11, we know that \(\iota ^{\scriptscriptstyle {\mathrm {CZ}}}(\psi (t); t \in [0,T])= \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (\Delta , \mathrm {Gr\,}\psi (t); t \in [0,T]\big )\). Summing up, we get
where in the last equality we used Lemma A.13, (I). We observe that \(\iota \big (\mathrm {Gr\,}P, \Delta , L\oplus L_0\big )\) is equal to the extended coindex of a quadratic form on a Lagrangian subspace of the reduced space \(V_\epsilon :=\epsilon ^\Omega /\epsilon \) (see Equations (A.12)). Thus the sum of all inertia indices is bounded from above by \(1/2 \dim V_\epsilon \) which is equal to \(2n-\dim \epsilon \). \(\square \)
Remark 2.15
For an explicit computation of the term \(\iota \big (L\oplus L , \Delta , \mathrm {Gr\,}(P)\big )\), we refer the interested reader to [10, 27] and references therein.
Definition 2.16
Given \(L \in \Lambda (V,\omega )\), we term the L-Maslov index the integer given by
As direct consequence of Theorem 2.14 and Definition 2.16 we get the following.
Lemma 2.17
Under notation of Theorem 2.14, the following inequality holds:
where \(W:=\mathrm {Gr\,}P \cap \Delta + (L\oplus L) \cap \Delta \).
Proof
The proof of the first inequality in Eq. (2.3) comes directly by Theorem 2.14. The second inequality follows by observing that \(W \supseteq (L\oplus L) \cap \Delta \) and thus \(\dim W \geqslant n\). \(\square \)
Typically in concrete applications, one is faced with the problem of estimating the difference of the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-indices of two different Lagrangian curves with respect to a distinguished Lagrangian subspace. These Lagrangian curves are nothing but the evolution under the phase flow of two distinguished Lagrangians.
We set
Then for any \(\omega \in \mathbb {U}\), let us consider the hypersurface in \(\mathrm {Sp}(2n)\) defined as
As proved by Long (cf. [19] and references therein), for any \(M \in \mathrm {Sp}(2n)_\omega ^0\), we define a co-orientation of \(\mathrm {Sp}(2n)_\omega ^0\) at M by the positive direction \(\frac{d}{dt}|_{t=0} M e^{tJ}\) of the path \( M e^{tJ}\) with \(t \geqslant 0\) sufficiently small. Let
Given \(\xi , \eta \in \mathscr {C}^0\big ([0,T], \mathrm {Sp}(2n,\mathbb {R})\big )\) with \(\xi (T)=\eta (0)\), we define the concatenation of the two paths as
For any \(n \in \mathbb {N}\), we define the following special path \(\xi _n \in \mathcal {P}_T({2n})\) as follows
where \(\diamond \) denotes the diamond product of matrices. (Cf. [19] for the definition).
Definition 2.18
For any \(\omega \in \mathbb {U}\) and \(\psi \in \mathcal {P}_T({2n})\), we define
and the \(\omega \)-Maslov type index \(\iota _\omega (\psi )\) given by setting
that is the intersection index between the path \(e^{-\varepsilon J}\psi *\xi _n\) and the transversally oriented hypersurface \(\mathrm {Sp}_\omega ^0(2n)\).
We now set, for any \(\psi \in \mathcal {P}_T({2n})\),
where \(P:=\psi (T)\) and we define the m-th iteration \(\psi ^m \in \mathscr {C}^0\big ([0,mT], \mathrm {Sp}(2n,\mathbb {R})\big )\) of \(\psi \) as follows
Based on the index function \(\iota _\omega \), Long established (cfr. [19] and references therein) a Bott-type iteration formula for any path \(\psi \in \mathcal {P}_T({2n})\) that reads as follows
Lemma 2.19
For any \(\psi \in \mathcal {P}_T({2n})\), we have
where \(\Delta _\omega :=\mathrm {Gr\,}(\omega \mathrm {Id})\).
Proof
For the proof of this result, we refer the interested reader to [20, Corollary 2.1]. \(\square \)
Given \(L \in \Lambda (V,\omega )\) and \(\psi \in \mathcal {P}_T({2n})\), we define the continuous curve \(\ell ^m: [0,m T ]\rightarrow \Lambda (n)\) as
By the affine scale invariance of the Maslov index, for any given \(L \in \Lambda (n)\), we get
By taking into account the additivity property of the Maslov index under concatenations of paths and Lemma 2.13, we infer
In particular, if L is P-invariant (namely \(PL \subseteq L\)), then we have
Proposition 2.20
Let \(\psi \in \mathcal {P}_T({2n})\) and \(m \in \mathbb {N}\). Then
where \(k_i =\dim (\mathrm {Gr\,}P^i\cap \Delta )\).
Proof
By invoking the Bott type iteration formula given in Equation (2.4), Definition 2.11 and Lemma 2.19, we get
For every \(\omega \in \mathbb {U}\), using Lemma A.13, we have
Summing up, we finally get
Now, for every root of unit \(\omega _i\), by using analogous arguments as given in the proof of Theorem 2.1, we get that the triple index \(\iota \big (\mathrm {Gr\,}P, \Delta , \Delta _{\omega _i}\big )\) is equal to the extended coindex of a quadratic form on a \((2n-\dim \epsilon _i)\)-dimensional vector space where \(\epsilon _i:=\Delta \cap \Delta _{\omega _i} + \Delta \cap \mathrm {Gr\,}P=\Delta \cap \mathrm {Gr\,}P\). Set \(k_1=(\dim \Delta \cap \mathrm {Gr\,}P)\) , then we get that
Furthermore, use (A.10), we have \(\iota \big (\mathrm {Gr\,}P, \Delta , \Delta _\omega \big )\ge \dim (\Delta _{\omega }\cap \mathrm {Gr\,}(P))\). It follows that
This concludes the proof. \(\square \)
Remark 2.21
For an analogous estimate, we refer the interested reader to [8, Corollary 3.7, Equation (12)]. We remark that the estimate provided in Proposition 2.20 coincides with the one proved by authors in [19, Equation (19), Theorem 3, pag.213] with completely different methods once observed that \(\iota ^{\scriptscriptstyle {\mathrm {CZ}}}(\psi (y), t \in [0,T]=i_1(\psi )+n\) where \(i_1\) is the index appearing in the aforementioned book of Long.
4 Optical Hamiltonian and Lagrangian plus curves
This section is devoted to discuss a monotonicity property of the crossing forms for a path of Lagrangian subspaces with respect to a distinguished Lagrangian subspace \(L_0\); such a property is usually termed \(L_0\)-positive (respectively \(L_0\)-negative) or \(L_0\)-plus (respectively \(L_0\)-minus) property. We start with the following definition.
Definition 3.1
Let \(L_0\in \Lambda (V,\omega )\). A curve \(\ell :[a,b] \rightarrow \Lambda (V,\omega )\) is termed a \(L_0\)-plus curve or \(L_0\) -positive curve if, at each crossing instant \(t_0\in [a,b]\), the crossing form \(\Gamma (\ell (t), L_0, t_0)\) is positive definite.
If \(\ell \) is a \(L_0\)-plus and if \(t_0 \in [a,b]\) is a crossing instant, we define the multiplicity of the crossing instant \(t_0\), the positive integer
Remark 3.2
We observe that an analogous definition holds for \(L_0\)-minus curves just by replacing plus by minus.
Remark 3.3
We stress on the fact that the plus condition strongly depends on the train \(\Sigma (L_0)\). In fact, as we shall see later, a curve of Lagrangian subspaces could be a plus curve with respect to a train but not with respect to another (or even worse with respect to any other).
Thus for \(L_0\)-plus curves we get the following result.
Lemma 3.4
Let \(\ell \in \mathscr {C}^1\big ([a,b], \Lambda (V,\omega ))\) be a \(L_0\) -plus curve. Then we have:
Proof
We observe that if \(\ell \) is a \(L_0\)-plus curve then
Since \(\ell \) is a plus curve, each crossing instant is non-degenerate and in particular isolated. So, on a compact interval are in finite number. We conclude the proof using Equation (A.5). \(\square \)
In this paragraph we provide sufficient conditions on the Hamiltonian function in order the lifted Hamiltonian flow at the Lagrangian Grassmannian level is a plus curve with respect to a distinguished Lagrangian subspace.
On the symplectic space \((\mathbb {R}^{2n}, \omega _0)\), let \(H:[0,T] \times \mathbb {R}^{2n} \rightarrow \mathbb {R}\) be a (smooth) Hamiltonian and let us consider the first order Hamiltonian system given by
(\(\omega _0\) and \(J_0\) have been introduced at page 5). By linearizing Equation (3.1) along a solution \(z_0\), we get the system
where
We denote by \(\psi \) the fundamental solution of the Hamiltonian system given at Eq. (3.2).
Remark 3.5
We observe that if H is quadratic and t-independent, the linear Hamiltonian vector field in Eq. (3.2) is t-independent, i.e. \(B(t)=B\). In this particular case, we get \(\psi (t)= \exp (tJ_0 S)\).
Definition 3.6
Let \(L_0, L \in \Lambda (n)\) and let \(\ell : [0,T]\rightarrow \Lambda (n)\) be defined by \(\ell (t):=\psi (t)\,L\). The Hamiltonian H is termed \(L_0\)-optical or \(L_0\)-positively twisted if the curve \(t \mapsto \ell (t)\) is a \(L_0\)-plus curve.
Some important special classes of \(L_0\)-optical Hamiltonians where \(L_0\) is the Dirichlet (resp. Neumann) Lagrangian is represented by Hamiltonian having some convexity properties with respect to the momentum (resp. configuration) variables.
Proposition 3.7
Let \(H:\mathbb {R}^{2n}\rightarrow \mathbb {R}\) be a \(\mathscr {C}^2\)-convex Hamiltonian and let \(z_0\) be a solution of the Hamiltonian system given in Equation (3.1). Then we get that H with respect to the
-
1.
momentum variables is \(L_D\)-optical
-
2.
configuration variables is \(L_N\)-optical.
Proof
We prove only the first statement, being the second completely analogous. Given \(L \in \Lambda (n)\), let us consider the Lagrangian curve pointwise defined by \(\ell (t):=\psi (t)L\). Let \(t_0\) be a crossing instant for \(\ell \) with respect to the Dirichlet Lagrangian \(L_D\). By using equations (A.9) and (3.3), we get that
Since H is \(\mathscr {C}^2\) convex in the p-variables, it follows that the crossing form \(\Gamma \) given in Equation (3.4) is positive definite. The conclusion now follows by the arbitrarily of \(t_0\). \(\square \)
Corollary 3.8
Let \(H:\mathbb {R}^{2n}\rightarrow \mathbb {R}\) be a \(\mathscr {C}^2\)-strictly convex Hamiltonian function and let \(z_0\) be a solution of the Hamiltonian system given in Eq. (3.1). Then H is \(L_0\)-optical with respect to every \( L_0\in \Lambda (n)\).
Proof
In fact, since H is \(\mathscr {C}^2\)-strictly convex, this in particular implies that \(B(t)=D^2H\big (t, z_0(t)\big )\) is positive definive and hence every restriction is positive definite. The conclusion now follows directly by using once again Equation (A.9). \(\square \)
Remark 3.9
We consider the Hessian of H along a solution \(z_0\) of the Hamiltonian system given in Eq. (3.1), given by Eq. (3.3) and we observe that in terms of the block matrices entering in the Hessian of H, the condition for H to be \(\mathscr {C}^2\)-strictly convex is equivalent to
-
1.
\(H_{pp}(t)\) is positive definite (in particular invertible);
-
2.
\( H_{qq}(t)- H_{qp}(t)H_{pp}(t)^{-1}H_{pq}(t) \) is positive definite.
The equivalence readily follows by the characterization of positive definiteness of a block matrices in terms of the Schur’s complement. Thus, in general, if the Lagrangian L given in Definition (3.6) is not in a special position with respect to \(L_D\) and \(L_N\), the opticality property strongly depends upon the all blocks appearing in the Hessian of H.
We are now in position to prove the Sturm non-oscillation theorem.
Theorem 3.10
(Sturm Non-Oscillation) Let \(H: [0,T] \oplus \mathbb {R}^{2n} \rightarrow \mathbb {R}\) be a \(\mathscr {C}^2\) Legendre convex natural quadratic Hamiltonian of the form
where \(A,B : [0,T] \rightarrow \mathrm {Sym}(n)\) (with B(t) positive definite for every \(y \in [0,T]\)). Let \(\psi \) be the fundamental solution of the linearized system given in Eq. (3.2), \(L_0 \in \Lambda (n)\), and \(\ell _0(t):=\psi (t)L_0\). Setting \(\mathrm {mul\,}(t_0):=\dim \big (\ell (t_0)\cap L_D\big )\), then we get that
Proof
Let x be the critical point (with Dirichlet boundary conditions) of the action functional corresponding to the solution \(z_0\). Then the Morse index of x is 0, since the (natural) Lagrangian L corresponding to the Hamiltonian H is \(\mathscr {C}^2\) convex. In particular by Theorem 1.7, we have
Here \(Z= (0) \oplus (0)\), \(L_Z=L_D\), and by taking into account Remark 1.8 we get that \(c(Z)=n\). Then \( \iota _{L_Z}(z_0) = n \) and by Definition 1.6 we have
Note that \(L_D\cap (\psi (0)L_D )=n\) and the Hamiltonian is \(L_D\)-optical . By lemma 3.4, we have
From Definition A.9 and Proposition A.14 we get
By [14, Equation (1.17)], we have
where the last equality follows by [34, Corollary 3.14]. By Eqs. (A.10) and (3.6), we have
We get
By this inequality and by Eq. (3.5), we get that
The thesis follows by observing that in the case of positive curves, it holds that
\(\square \)
Remark 3.11
It is worth noticing that, in fact
Now, since the natural Hamiltonian is \(\mathscr {C}^2\) Legendre convex, as direct consequence of Proposition 3.7, we get that the curve \(t\mapsto \ell _0(t)\) is \(L_D\)-plus and by using Lemma 3.4, the local contribution to the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index is through the multiplicity. This concludes the proof.
Remark 3.12
By using the suggestive original Arnol’d language, the Sturm non-oscillation theorem given in Theorem 3.10 could be rephrased by stating that
Nonoscillation Theorem. If the potential energy is nonpositive, then the number of moments of verticality does not exceed the number n of degrees of freedom.
The non-positivity of the potential energy implies that the quadratic Lagrangian is strictly positive and hence the Morse index of associated Lagrangian action functional vanished identically.
Let \(L \in \Lambda (n)\) and for \(i=1,2\), we denote by \(\nu (L_i, [0,T]) \) the total sum of all non-transversality instants (counted according their own multiplicities) between the curve \(t\mapsto \ell (t):=\psi (t)L\) and the Lagrangian subspaces \(L_i\in \Lambda (n)\) on the interval [0, T].
Theorem 3.13
(Sturm Alternation Theorem for plus-curves) Under the above notation, the following holds:
where \(k:=\max \{k_1,k_2\}\) and
Proof
The idea of the proof is similar wit h theorem 2.9 but it needs more precise estimate. Note that \(\nu (L_i,[0,T])=\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_i,\ell (t);t\in [0,T])+\dim \ell (T)\cap L_i \) since \(t\mapsto l(t)\) is \(L_i\)-plus curve for \(i=1,2\). Then we have
Then by theorem A.14, we get
By using Eqs. (A.10) and (3.7), we get that
Moreover, for arbitrary Lagrangian subspaces \(\alpha ,\beta ,\gamma \), we have
Then by (3.8) it follows that
By using Eqs. (3.9) and (3.10), we get the thesis arguing precisely as given in Theorem 2.9 . \(\square \)
Remark 3.14
We observe that the estimates provided in Theorem 3.13 is, in general, sharper than the one proved by Arnol’d for which the difference was bounded by n.
The next result represents a generalization of [2, Theorem on Zeros].
Theorem 3.15
(Sturm Theorem on Zeros) Under the notation of Theorem 3.13, we get that for any interval \([\alpha , \beta ]\subset [0,T]\),
-
if \(\big \vert \nu \big (L_2,[\alpha ,\beta ])\big \vert >n-k\), then there is at least one crossing instant of \(\ell \) with \(L_1\);
-
if \(\big \vert \nu \big (L_1,[\alpha ,\beta ])\big \vert >n-k\), then there is at least one crossing instant of \(\ell \) with \(L_2\).
Proof
The proof follows immediately by using triangular inequality and Theorem 3.13. \(\square \)
5 Sturm comparison principles
In this section we provide some new comparison principles as well as a generalization of the classical Sturm comparison principle. Our first result is a generalization of the comparison principle which was proved by third named author in [24, Section 5].
Theorem 4.1
(Comparison Principle) Let \(L_1, L_2, L_3 \in \Lambda (V,\omega )\), \(\psi \in \mathcal {P}_T({V,\omega })\) and for \(i=1,2\) we set \(\ell _i(t):=\psi (t)L_i\). We assume that
-
1.
\(t\mapsto \ell _2(t)\) is \(L_3\)-plus curve
-
2.
\(\iota (L_1,L_2,L_3)=n-\dim (L_1\cap L_2)\)
-
3.
\(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _1(t); t \in [0,T])=0\).
Then \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _2(t);t \in [0,T])=0\).
Remark 4.2
Before proving this result, we observe that assumption 2. corresponds to require that the triple index is as large as possible. In fact, by assumption 1. the term \(\dim (L_1\cap L_2 \cap L_3)\) drops down. This assumption, somehow replaces the condition on \(Q(L_1,L_2;L_3)\) to be positive definite in this (maybe degenerate) situation.
Proof
We start to observe that by assumption 3. \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _1(t); t \in [0,T])=0\) by assumption 1., \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _2(t); t \in [0,T])\) is non-negative. Thus, we get
where the last inequality follows from Eq. (A.10). In fact,
being \(-\dim (L_2 \cap \psi (T)^{-1}L_3)+ \dim (L_1\cap L_2 \cap \psi (T)^{-1}L_3)\leqslant 0\). So, since \(0 \leqslant \iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3,\ell _2(t); t \in [0,T])\leqslant 0\), we get that \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _2(t); t \in [0,T])= 0\). This concludes the proof. \(\square \)
A direct consequence of the Theorem 4.1, we get the following result which is in the form appearing in [24, Theorem 5.1].
Corollary 4.3
(Comparison Principle) Let \(L_1, L_2, L_3 \in \Lambda (V,\omega )\), \(\psi \in \mathcal {P}_T({V,\omega })\) and for \(i=1,2\) we set \(\ell _i(t):=\psi (t)L_i\). We assume that
-
1.
\(t\mapsto \ell _2(t)\) is \(L_3\)-plus curve
-
2.
\(\iota (L_1,L_2,L_3)=n-\dim (L_1\cap L_2)\)
-
3.
\(t\mapsto \ell _1(t)\in \Lambda ^0(L_3)\).
Then \(t\mapsto \ell _2(t)\in \Lambda ^0(L_3)\).
Proof
By means of assumption 1., we only need to prove that \(\ell _2(T)\cap L_3=\{0\}\). In the proof of Theorem 4.1, we get
Note that \(\iota (L_1, L_2, \psi (T)^{-1}L_3)\le n-\dim (L_1\cap L_2+L_2\cap \psi (T)^{-1}L_3)\).
It follows that \(L_2\cap \psi (T)^{-1}L_3\subset L_1\cap L_2\subset L_1\). Then we have \(\psi (T)L_2\cap L_3\subset \psi (T)L_1\), and it follows that \( \psi (T)L_2\cap L_3\subset \psi (T)L_1\cap L_3=\{0\}\). \(\square \)
Remark 4.4
Corollary 4.3 provides a generalization of [24, Theorem 5.1] which was proved for paths of symplectic matrices arising as fundamental solutions of Hamiltonian systems. Moreover we removed the Legendre convexity condition as well as the transversality condition between the Lagrangian subspaces \(L_1\) and \(L_2\), which, in concrete applications such a conditions are pretty difficult to be checked.
Theorem 4.5
Under the notation of Theorem 4.1, we assume that
-
1.
\(t\mapsto \ell _2(t)\) is \(L_3\)-plus curve
-
2.
\(\iota (L_1,L_2,L_3)=n-\dim (L_1\cap L_2)\)
-
3.
\(\dim (L_3 \cap L_2)=k\)
-
4.
\(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3, \ell _1(t); t \in [a,b])=k\) for some \( k \in \mathbb {N}\)
Then \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}( L_3,\ell _2(t); t \in [a,b])=k\).
Proof
We start to observe that by assumption 3. and assumption 1. we get that
Thus \(0 \leqslant \iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3,\ell _2(t); t \in [0,T]) -\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_3,\ell _1(t);t \in [0,T])\leqslant 0\) where the last inequality follows by arguing precisely as in Theorem 4.1. By this the conclusion readily follows. \(\square \)
The last result of this section is a generalized version of the Sturm comparison theorem proved by Arnol’d in the case of optical Hamiltonians. The proof of this result is essentially based on spectral flow techniques and for the sake of the reader we refer to Appendix B for the basic definitions, notation and properties. Now, for \(i=1,2\) let us consider the Hamiltonians \(H_i:[0,T] \oplus \mathbb {R}^{2n}\rightarrow \mathbb {R}\) and the induced Hamiltonian systems
By linearizing Eq. (4.1) at a common equilibrium point \(z_0\), we get
where \(B_i(t) = D^2 H_i(t,z_0(t))\). For \(i=1,2\), we denote by \(\psi _i\) the fundamental solution of the corresponding linearized Hamiltonian system (4.2). For \(s \in [0,1]\), we define the two-parameter family of symmetric matrices as follows
Given \(L \in \Lambda (2n)\), we denote by D(T, L) the subspace of \(W^{1,2}\) paths defined by
and we define the two parameter family of first order linear operators:
It is well-known that for every \((s,r)\in [0,1]\oplus [0,1]\), the linear operator \(\mathcal {A}_{(s,r)}\) is unbounded self-adjoint in \(L^2\) with dense domain D(T, L). We also observe that being the domain independent on (s, r) the linear operator \(\mathcal {A}_{(s,r)}:D(T,L) \rightarrow L^2([0,T], \mathbb {R}^{2n})\) is bounded.
Theorem 4.6
(First Comparison theorem) Let \(L \in \Lambda (2n)\) and under the notation above, we assume
-
(C1)
\(B_1(t)\leqslant B_2(t), \qquad \forall \, t \in [0,T]\).
Then we get
where \(\mathcal {A}_1:=\mathcal {A}_{(0,r)}\) and \(\mathcal {A}_2:=\mathcal {A}_{(1,r)}\).
Before proving the result, we observe that the assumption (C1) guarantees that the curve \(s \mapsto \mathcal {A}_{(s,r)}\) is a plus-curve.
Proof
The proof of this result is based upon the homotopy invariance of the spectral flow. Let us consider the two parameter family of operators \( \mathcal {A}_{(s,r)}\) defined above, and we observe that, as direct consequence of the homotopy invariance (since the rectangle R is contractible), we get that
We now observe that the first term \({{\,\mathrm{sf}\,}}\left( \mathcal {A}_{(s,0)}, s \in [0,1]\right) =0\). This follows by the fact that \(\mathcal {A}_{(s,0)}\) is a fixed operator. Let us now consider the second term in the right-hand side of Eq. (4.4), namely \({{\,\mathrm{sf}\,}}\left( \mathcal {A}_{(s,1)}, s \in [0,1]\right) \). By Lemma B.5 we can assume that for \(\delta >0\) sufficiently small the path
where \(\mathrm {Id}\) denotes the identity on \(L^2\), has only regular crossings. So, by the homotopy invariance of the spectral flow we get that
and by the assumption (C1) it follows that the local contribution to the spectral flow for the path \(s\mapsto \mathcal {A}_s^\delta \) at each crossing instant is negative, i.e.
Summing up Eqs. (4.4), (4.5) and finally Eq. (4.6), we finally get that
\(\square \)
In order to relate the spectral flow for a path of Hamiltonian operators with the Maslov index of the induced Lagrangian curve, we need to use a spectral flow formula.
Let us now consider the path \(s \mapsto \mathcal {L}_s\) of unbounded Hamiltonian operators that are selfadjoint in \(L^2\) and defined on the domain D(T, L) given in Eq. (4.3)
where \(s \mapsto E_s(t)\) is a \(\mathscr {C}^1\) path of symmetric matrices such that \(E_0(t)=0_{2n}\) and \(E_1(t)=E(t)\), where we denoted by \(0_{2n}\) the \(2n \oplus 2n\) zero matrix.
Proposition 4.7
(Spectral flow formula) Under the above notation, the following equality holds
where \(\psi \) denotes the solution of
Proof
For the proof of this result, we refer the interested reader to [13, Theorem 2.5, Equation (2.7) & Equation (2.19)]. \(\square \)
Remark 4.8
The basic idea behind the proof of Proposition 4.7 is to perturb the path \(s\mapsto \mathcal {L}_s\) in order to get regular crossing (which it is possible as consequence of the fixed endpoints homotopy invariance). Once this has been done, for concluding, it is enough to prove that the local contribution at each crossing instant to the spectral flow is the opposite of the local contribution to the Maslov index. This can be achieved by comparing the crossing forms as in [13, Lemma 2.4] and to prove that the crossing instants for the path \(s\mapsto \mathcal {L}_s\) are the same as the crossing instants of the path \(s\mapsto \mathrm {Gr\,}\psi _s\) and at each crossing \(s_0\) the kernel dimension of the operator \(\mathcal {L}_{s_0}\) is equal to the \(\dim (L\cap \mathrm {Gr\,}\psi _{s_0})\). The conclusion follows once again by using the homotopy properties of the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index and the spectral flow.
Theorem 4.9
(Second Comparison theorem) Under the notation above, we assume
-
(C1)
\(B_1(t)\leqslant B_2(t), \qquad \forall \, t \in [0,T]\).
Then we get
Proof
The proof readily follows by Theorem 4.6 and Proposition 4.7. \(\square \)
As direct consequence of Theorem 4.5 we get the following useful result.
Corollary 4.10
(Oscillation Theorem) Let \(H: [0,T] \oplus \mathbb {R}^{2n}\rightarrow \mathbb {R}\) be a \(\mathscr {C}^1\) natural quadratic Hamiltonian of the form
such that
Then, we get
In particular, this number growth unboundedly as \(T\rightarrow +\infty \).
Proof
The proof follows as direct application of Theorem 4.9, in the case in which \(L=\Delta \) and of [17, Equation (3.8)]. \(\square \)
Remark 4.11
An analogous of Corollary 4.10 already appears in [2, Corollary 2 (Oscillation Theorem]. In this result, however, author estimates from below the moments of verticality, namely the Maslov index with respect to the Dirichlet Lagrangian. We also observe that the opposite inequality appearing in Corollary 4.10 with respect to the aforementioned Arnol’d result is due essentially to the fact that in that paper author considered Lagrangian paths ending in the vertex of the train, whereas we are considering Lagrangian paths starting at the vertex of the train.
We close this section with a comparison theorem for Morse-Sturm systems. For \(i=1,2\), let us consider the natural quadratic Hamiltonians \(H_i:\mathbb {R}^{2n}\rightarrow \mathbb {R}\) of the form
where \(t\mapsto P_i(t)\) and\(t\mapsto R_i(t)\) are \(\mathscr {C}^1\)-paths symmetric matrices and \(P_i(t)\) is positive definite for all \(t \in [0,T]\). Thus the Hamiltonian system given in Eq. (1.3) reduces to
Let \(Z\subset \mathbb {R}^{n}\oplus \mathbb {R}^n\) be a linear subspace, \(L_Z \in \Lambda (2n)\) be the Lagrangian subspace defined by Equation (1.4) and, for \(i=1,2\), we denote by \(\iota _{Z}(B_i)\) the Morse-index of the index form of the Morse-Sturm system corresponding to \(B_i\).
Proposition 4.12
Under the above notation, we assume that
-
(S1)
\(P_1(t)^{-1}\leqslant P_2(t)^{-1}\) for every \(t \in [0,T]\);
-
(S2)
\(R_1(t) \geqslant R_2(t)\) for every \(t \in [0,T]\);
Then we get
Proof
Under (S1) & (S2), it follows that \(B_1(t) \leqslant B_2(t)\) for all \(t \in [0,T]\). Thus as direct consequence of Theorem 4.9, we get
By Theorem 1.7 we infer that \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_Z,\mathrm {Gr\,}\psi _i(t); t \in [0,T]) = \iota _{Z}(B_i)+C(Z)\) and so the thesis follows. This concludes the proof. \(\square \)
6 Some applications in geometry and classical mechanics
The aim of this final section is to give some applications in differential geometry and in classical mechanics. Inspired by [15] from which we borrow some notation, in Sect. 5.1 we shall prove some comparison results between the conjugate and focal points along a geodesic on semi-Riemannian manifold. In Sect. 5.2 some applications to the planar Kepler problem where provided.
6.1 Comparison theorems in semi-Riemannian geometry
Let (M, g) be semi-Riemannian n-dimensional manifold, and let D be the covariant derivative of the Levi-Civita connection of the metric tensor g. We denote by R the Riemannian curvature tensor, chosen according to the following sign convention \(R(\xi ,\eta ):=[D_\xi , D_\eta ]-D_{[\xi ,\eta ]}\). Given a geodesic \(\gamma :[a,b] \rightarrow M\) the Jacobi (deviation) equation along \(\gamma \) is given by
The Jacobi equation is a linear second order differential equation whose flow \(\Phi \) defines a family of isomorphisms
defined by \(\Phi _t(v,w):=\big (J_{v,w}(t), (D/dt)J_{v,w}(t)\big )\) where \(J_{v,w}\) is the unique Jacobi field along \(\gamma \) satisfying \(J(a)=v\) and \((D/dt)J(a)=w\).
On the space \(V:=T_{\gamma (a)}M \oplus T_{\gamma (a)}M\), let us consider the symplectic form given by
and for all \(t \in [a,b]\) we define \(L_0^t=\{0\}\oplus T_{\gamma (t)}M \subset V\) and we set \(\ell (t):=\Phi _t^{-1}(L_0^t)\). It is easy to check that in this way we get a smooth curve \(\ell :[a,b] \rightarrow \Lambda (V,\omega )\). We set \(L_0:=\ell (a)=L_0^a\).Footnote 1 Now, consider a smooth connected submanifold P of M, with \(\gamma (a) \in P\) and \(\gamma '(a) \in T_{\gamma (a)}P^\perp \) (where \(\perp \) is the orthogonal with respect to g) and we assume that the restriction of g to \(T_{\gamma (a)}P\) is non-degenerate. (This condition is always true if M is either Riemannian or Lorentzian and \(\gamma \) is timelike). Let S be the second fundamental form of P at \(\gamma (a)\) in the normal direction \(\gamma '(a)\), seen as a g-symmetric operator \(S: T_{\gamma (a)}P \rightarrow T_{\gamma (a)}P\).
Definition 5.1
A P-Jacobi field is a solution \(\xi \) of Equation (5.1) such that \(\xi (a) \in T_{\gamma (a)}P\) and \((D/dt)\xi (a)+ S[\xi (a)]\in T_{\gamma (a)}P^\perp \).
An instant \(t_0\in (a,b]\) is P-focal if there exists a nonzero P-Jacobi field vanishing at \(t_0\). The multiplicity of a mechanical P-focal instant is the multiplicity of the P-Jacobi fields vanishing at \(t_0\). To every submanifold P of M, we associate a Lagrangian subspace \(L_P\subset V\) defined by
It is worth noticing that, if the submanifold P reduces to the point \(\gamma (a)\), then the induced Lagrangian defined in Equation (5.2) reduces to \(L_0:=T_{\gamma (a)}M\oplus \{0\}\) and we term a P-focal point just a conjugate point. Then, an instant \(t \in ]a,b]\) is P-focal along \(\gamma \) if and only if \(\ell (t)\cap L_P\ne \{0\}\) and the dimension of the intersection coincides with the multiplicity of the P-focal point. We also observe that \(L_0\cap L_P= T_{\gamma (a)}P^\perp \oplus \{0\}\) and hence \(\dim (L_0\cap L_P)= \mathrm {codim}\,P\)
For all \(t \in ]a,b]\), we define the space
whilst for \(t=a\) we set \(A_P[a]= T_{\gamma (a)}P^\perp \). We observe that \(\dim A_P[t] = \dim \ell (t)\cap L_P\). If P is just a point for all \(t \in ]a,b]\), we set
whilst for \(t=a\) we set \(A_0[a]= T_{\gamma (a)}M\). As direct application of Theorem 2.9, we get the following comparison between conjugate and focal points.
Proposition 5.2
Under the previous notation, the following inequality holds
where \(k= \dim \big (\ell (b) \cap L_0 + L_0 \cap L_P)\).
Remark 5.3
The last inequality appearing in Proposition 5.2 coincide with that one proved by authors in [15, Proposition 4.3].
As direct consequence of the triangular inequality and Proposition 5.2, we get the following.
Corollary 5.4
Under the notation of Proposition 5.2, we get that, for any interval \([\alpha , \beta ]\subset [a,b]\),
-
if \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t);t \in [a,b]\big )>n-k\) then there is at least one mechanical P-focal instant in \([\alpha ,\beta ]\)
-
if \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_P, \ell (t);t \in [a,b]\big )>n-k\) then there is at least one mechanical P-conjugate instant in \([\alpha ,\beta ]\)
The last result of this paragraph is quite useful in the applications. Loosely speaking, claims that the absence of conjugate (respectively focal instants gives an upper bound on the number of focal (respectively conjugate) instants
Proposition 5.5
If \(\gamma \) has no conjugate instant, then
for \(k= \dim \big (\ell (b) \cap L_0 + L_0 \cap L_P)\) and for every \([\alpha , \beta ] \subset ]a,b]\). Similarly, if \(\gamma \) has no P-focal instants, then
Proof
If \(\gamma \) has no conjugate instants, then \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t);t \in [a,b]\big )=0\). The result directly follows by applying Proposition 5.2. Similarly for the second claim. \(\square \)
Let now consider two smooth connected submanifold P, Q of M, with \(\gamma (a) \in P \cap Q\) and \(\gamma '(a) \in T_{\gamma (a)}P^\perp \cap T_{\gamma (a)}Q^\perp \) (where \(\perp \) is the orthogonal with respect to g) and we assume that the restriction of g to \(T_{\gamma (a)}P\) and to \(T_{\gamma (a)}Q\) are non-degenerate. We set
where \(S_P\) and \(S_Q\) denote the shape operators of P and Q, respectively.
Proposition 5.6
Let L be either \(L_P\) or \(L_Q\). Then we have
where \(k=\max \{k_P, k_Q\}\) for
and \(d:=\max \{\dim P, \dim Q\}\).
6.2 Simple mechanical systems and mechanical focal points
This final section is devoted to study the so-called P-kinetic focal and conjugate points in the case of simple mechanical systems and to derive some interesting estimates relating the qualitative and variational behavior of orbits in some singular Lagrangian systems.
In this paragraph we stall by recalling some well-known facts and to fix our notation. The main references are [26, 31, 32] and references therein.
Definition 5.7
Let (M, g) be a finite dimensional Riemannian manifold and \(V:M \rightarrow \mathbb {R}\) be a smooth function. The triple (M, g, V) is called a simple mechanical system. The manifold M is called the configuration space and its tangent bundle TM is usually called the state space. A point in TM is a state of the mechanical system which gives the position and the velocity. The kinetic energy K of the simple mechanical system is the function
The smooth function V is called the potential energy (function) of the system and finally the total energy function
Notation 5.8
Everywhere in the paper we shall denote by V the potential energy and by U the potential function and we recall that \(V=-U\).
Example 5.9
(The n-body problem) Consider n point masses particles (bodies) with masses \(m_1, \ldots ,m_n \in \mathbb {R}^+\) moving in the d-dimensional Euclidean space \(E^d\). So the positions of the bodies is described by the vector \(q=(q_1, \ldots , q_n)\in (E^d)^n\). The kinetic energy is
Clearly the kinetic energy is induced by the Riemannian metric \(\langle cdot, \cdot \rangle _M \) on \((E^d)^n\) defined by
The n-bodies moves under the influence of the Newtonian potential energy defined by
The function V is singular at the collision set defined by
Then V is a smooth function on \(M:=(E^d)^n{\setminus } \Delta \) thus defining a simple dynamical system (M, K, V).
Definition 5.10
A physical path (orbit, trajectory) of a simple mechanical system (M, g, V) is a smooth path \(\gamma \) in M satisfying the Newton Equation
where D/dt denotes the covariant derivative relative of the Levi-Civita connection D of the Riemannian metric g and where \(\nabla _g\) denotes the gradient defined by g.
Remark 5.11
If \(V=0\) then the physical path are just geodesics of the Riemannian manifold. Moreover if g is the Euclidean metric, then the left-hand side of Eq. (5.3) reduces to \(\gamma ''\) and the gradient \(\nabla _g\) appearing in the right-hands side of that equation is the usual gradient.
By the conservation law of the total energy function along a physical path and since in the Riemannian world the kinetic energy is non-negativeFootnote 2 a physical path of total energy \(h \in \mathbb {R}\) must lie in the set
where \(\overline{M}\) denotes the topological closure of the set
usually called the h-configuration space or the Hill’s region. If h is a regular value of V, then \(\overline{M}\) is a smooth manifold with boundary
The Jacobi metric g corresponding to the value h of a simple mechanical system (M, g, V) is given by
Remark 5.12
We observe that g defines a honest Riemannian metric on M which degenerate on \(\partial M\).
The next result, which relates the physical paths of energy h and the geodesics on the Hill’s region with respect to the Jacobi metric, goes back to Jacobi.
Proposition 5.13
(Jacobi) The physical paths of (M, g, V) of total energy h are, up to time re-parametrization, geodesics of the Riemannian manifold (M, g).
We now consider the configuration space M to be the Euclidean plane \(E^2\) endowed with a polar coordinate system \((r,\theta )\). Take the origin to be the center of central force so that the potential energy V of the problem depends only upon r (thus is \(\theta \) independent). We assume that the particle has mass \(m=1\) so that the kinetic energy is \(K(q,v)=\left\| v \right\| ^2/2\) for all \(v \in E^2\). The Jacobi metric of this simple mechanical system in polar coordinates is given by
The mechanical Gaussian curvature can be easily computed (cfr. [26, Proposition 2.1]) and it is given by
Assuming that h is a regular value of V meaning that \(V'\ne 0\) on the boundary ring
then by continuity it readily follows the following result.
Lemma 5.14
[26, Proposition 2.1 & Proposition 2.2] Suppose h is a regular value of V and that the boundary ring \(\partial M \ne \emptyset \). Then there is an annulus region of the boundary \(\partial M\) on which the mechanical Gaussian curvature is positive. Moreover \(\mathcal {K}(q) \rightarrow +\infty \) as \(q \rightarrow \partial M \).
6.2.1 The planar Kepler problem
In polar coordinates the Jacobi metric for the planar Kepler problem is
Remark 5.15
As recently observed by Montgomery in [21, Section 4], in the particular case of zero energy \(h=0\) it reduces to
and by setting \(\rho =2r^{1/2}\) it can be written as follows
which is the metric of cone over a circle of radius 1/2.
In the standard planar Kepler problem, the mechanical Gaussian curvature is
In particular we get that
In the two dimensional case the mechanical Jacobi field, reduces to
where s denotes the Jacobi arc-length. Since \(|\mathcal {K}|\geqslant |h|/4\), and as a direct consequence of Proposition 4.12, we get the following.
Theorem 5.16
Let \(\gamma \) be a Keplerian ellipse. Then the first conjugate point occurs at Jacobi distance less than
Proof
In fact, since \(|\mathcal {K}(s)| \geqslant \dfrac{|h|}{4}\), by setting \(R_1(s)=|\mathcal {K}(s)|\) and \(R_2(s):=|h|\mathrm {Id}\) and by using Proposition 4.12, we get that the associated block diagonal matrices \(B_1\) and \(B_2\) are ordered, meaning that pointwise we have \(B_1(s) \leqslant B_2(s)\) for every \(s \in [0,1]\). Thus, by invoking once again Proposition 4.12 and Theorem 1.7, we have
Since crossing instants (or a verticality moments) correspond to conjugate points. (Cfr. [22] and references therein for further details), the result follows once observed that \(|\mathcal {K}|\geqslant |h|/4\) and |h|/4 is the Gaussian curvature of the sphere of radius \(2/\sqrt{|h|}\). This concludes the proof. \(\square \)
Notes
We observe that even if the local chart of the atlas of the Lagrangian Grassmannian manifold is the opposite with respect to that one defined by authors in [15], there is no sign changing involved, since our symplectic form is the opposite of the symplectic form defined by authors in the aforementioned paper and the two minus signs cancel each other.
This fact is not longer true, in general, on semi-Riemannian manifolds having non trivial signature (for instance Lorentzian manifolds).
We observe that this map coincides, up to a sign with, the one defined in [9, Equation 2.3] or with the local chart \(\varphi _{L_0,L_1}(L)\) given by authors in [8, Section 2] or in [15, Section 2]. However our choice is coherent with the crossing forms defined through Q in [29, Section 1], [34, Equation 2 & Remark 3.1] with [20, Section 3] and [6].
References
Arnol’d, V.I.: On a characteristic class entering into conditions of quantization. (Russ.) Funkcional. Anal. i Prilozhen. 1, 1–14 (1967)
Arnol’d, V.I.: Sturm theorems and symplectic geometry. (Russ.) Funktsional. Anal. i Prilozhen. 19(4), 1–10 (1985). 95
Abbondandolo, A., Portaluri, A., Schwarz, M.: The homology of path spaces and Floer homology with conormal boundary conditions. J. Fixed Point Theory Appl. 4(2), 263–293 (2008)
Barutello, V., Jadanza, R.D., Portaluri, A.: Morse index and linear stability of the Lagrangian circular orbit in a three-body-type problem via index theory. Arch. Ration. Mech. Anal. 219(1), 387–444 (2016)
Bialy, M., Polterovich, L.: Hamiltonian diffeomorphisms and Lagrangian distributions. Geom. Funct. Anal. 2(2), 173–210 (1992)
Cappell, S.E., Lee, R., Miller, E.Y.: On the Maslov index. Comm. Pure Appl. Math. 47(2), 121–186 (1994)
Contreras, G., Gambaudo, J.-M., Iturriaga, R., Paternain, G.P.: The asymptotic Masloc index and its applications. Ergod. Theory Dyn. Syst. 23, 1415–1443 (2003)
De Gosson, M., De Gosson, S., Piccione, P.: On a product formula for the Conley-Zehnder index of symplectic paths and its applications. Ann. Global Anal. Geom. 34(2), 167–183 (2008)
Duistermaat, J.J.: On the Morse index in variational calculus. Adv. Math. 21(2), 173–195 (1976)
Frauenfelder, U., van Koert, O.: The Hörmander index of symmetric periodic orbits. Geom. Dedicata 168, 197–205 (2014)
Fitzpatrick, P.M., Pejsachowicz, J., Recht, L.: Spectral flow and bifurcation of critical points of strongly-indefinite functionals. I. Gener. Theory. J. Funct. Anal. 162(1), 52–95 (1999)
Giambò, R., Piccione, P., Portaluri, A.: Computation of the Maslov index and the spectral flow via partial signatures. C. R. Math. Acad. Sci. Paris 338(5), 397–402 (2004)
Hu, X., Sun, S.: Index and stability of symmetric periodic orbits in Hamiltonian systems with application to figure-eight orbit. Comm. Math. Phys. 290, 737–777 (2009)
Hu, X., Wu, L., Yang, R.: Morse index theorem of lagrangian systems and stability of brake orbit. J. Dynam. Differential Equations 32(1), 61–84 (2020). https://doi.org/10.1007/s10884-018-9711-x
Javaloyes, M.A., Piccione, P.: Comparison results for conjugate and focal points in semi-Riemannian geometry via Maslov index. Pac. J. Math. 243(1), 43–56 (2009)
Kato, T.: Perturbation Theory for Linear Operators. Grundlehren der Mathematischen Wissenschaften, vol. 132. Springer, Berlin (1980)
Kavle, H., Offin, D., Portaluri, A.: Keplerian orbits through the Conley-Zehnder index. Qual. Theory Dyn. Syst. (2021). https://doi.org/10.1007/s12346-020-00430-0https://arxiv.org/pdf/1908.00075.pdf
Lion, G., Vergne, M.: The Weil Representation, Maslov Index and Theta Series. Progress in Mathematics, vol. 6. Birkhäuser, Boston (1980)
Long, Y.: Index Theory for Symplectic Paths with Applications. Progress in Mathematics, vol. 207. Birkhäuser, Basel (2002)
Long, Y., Zhu, C.: Maslov-type index theory for symplectic paths and spectral flow. I. Chin. Ann. Math. Ser. E 21(4), 89–108 (2000)
Montgomery, R.: Metric cones, N-body collisions, and Marchal’s lemma. (2018). https://arxiv.org/pdf/1804.03059.pdf
Musso, M., Pejsachowicz, J., Portaluri, A.: A Morse index theorem for perturbed geodesics on semi-Riemannian manifolds. Topol. Methods Nonlinear Anal. 25(1), 69–99 (2005)
Musso, M., Pejsachowicz, J., Portaluri, A.: Morse index and bifurcation of \(p\)-geodesics on semi Riemannian manifolds. ESAIM Control Optim. Calc. Var. 13(3), 598–621 (2007)
Offin, D.: Hyperbolic minimizing geodesics. Trans. Am. Math. Soc. 352(7), 3323–3338 (2000)
Piccione, P., Portaluri, A., Tausk, D.V.: Spectral flow, Maslov index and bifurcation of semi-Riemannian geodesics. Ann. Global Anal. Geom. 25(2), 121–149 (2004)
Pin, O.C.: Curvature and mechanics. Adv. Math. 15, 269–311 (1975)
Portaluri, A.: Maslov index for Hamiltonian systems. Electron. J. Differ. Equ. 2008, 9 (2008)
Portaluri, A., Wu, L., Yang, R.: Linear instability for periodic orbits of non-autonomous Lagrangian systems. (2018). https://arxiv.org/pdf/1907.05864.pdf
Robbin, J., Salamon, D.: The Maslov index for paths. Topology 32(4), 827–844 (1993)
Robbin, J., Salamon, D.: The spectral flow and the Maslov index. Bull. Lond. Math. Soc. 27(1), 1–33 (1995)
Smale, S.: Topology and mechanics. I. Invent. Math. 10, 305–331 (1970)
Smale, S.: Topology and mechanics. II. The planar n-body problem. Invent. Math. 11, 45–64 (1970)
Waterstraat, N.: Spectral flow, crossing forms and homoclinics of Hamiltonian systems. Proc. Lond. Math. Soc. (3) 111(2), 275–304 (2015)
Zhou, Y., Wu, L., Zhu, C.: Hörmander index in finite-dimensional case. Front. Math. China 13(3), 725–761 (2018)
Acknowledgements
The third name author wishes to thank all faculties and staff at the Queen’s University (Kingston) for providing excellent working conditions during his stay and especially his wife, Annalisa, that has been extremely supportive of him throughout this entire period and has made countless sacrifices to help him get to this point.
Funding
Open Access funding provided by Universitá degli Studi di Torino
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A. Portaluri: The first and third authors are partially supported by Prin 2015 “Variational methods, with applications to problems in mathematical physics and geometry” No. 2015KB9WPT_001.
L. Wu: The author is partially supported by NSFC Nos. 12071255, 11790271 and 11425105.
Appendices
Appendix: A Symplectic excursion on the Maslov index
The purpose of this Section is to provide the basic definitions, properties and symplectic preliminaries used in the paper. We recall the basic definition, the main properties of the intersection number for curves of Lagrangian subspaces with respect to a distinguished one and we fix our notation. Our basic references are [4, 6, 13, 20, 22, 23, 28, 29].
1.1 Symplectic preliminaries and the Lagrangian Grassmannian
A finite dimensional (real) symplectic vector space, is a pair \((V, \omega )\), where V is a (real, even dimensional) vector space, and \(\omega : V \times V \rightarrow \mathbb {R}\) is an antisymmetric non-degenerate bilinear form on V. A complex structure on the real vector space V is an automorphism \(J: V \rightarrow V\) such that \(J^2=-\mathrm {Id}\). With such a structure V becomes a complex vector space. We denote by \(\mathrm {Sp}(V, \omega )\) the symplectic group of \((V,\omega )\) which is the closed Lie subgroup of the general linear group \(\mathrm {GL}(V)\) consisting of all isomorphisms that preserve \(\omega \). The Lie algebra \(\mathfrak {sp}(V,\omega )\) of \(\mathrm {Sp}(V, \omega )\) consists of all endomorphisms \(X: V \rightarrow V\) such that \(\omega (X\cdot , \cdot )\) is a symmetric bilinear form on V, i.e. \( \omega (Xv, w)=\omega (Xw,v)\), for all \(v, w\, \in V\). Here and throughout, unless different stated, \((V,\omega )\) denotes a 2n-dimensional (real) symplectic space.
We start by recalling some classical definition and notation that we will use throughout the paper. First of all, a (linear) subspace \(I \subset V\) is termed isotropic if the restriction of \(\omega \) on I vanishes identically. Now, given an isotropic subspace I of the symplectic Euclidean space \((V, \langle \cdot , \cdot \rangle , \omega )\) and denoting by \(I^\omega \) the symplectic orthogonal, we shall identify the quotient space \(I^\omega /I\) with the orthogonal complement \(V_I\) of I in \(I^\omega \) and we call \(V_I\) the symplectic reduction of V modulo I. Thus, by definition:
Notice that if I is isotropic, also JI is isotropic. Moreover \(V_I \, = \, V_{JI}.\) This follows from Eq. (A.1) and the orthogonality relations between \(\omega \) and \(\perp .\) Moreover
We observe that \(V_I\) is a symplectic space since \(V_I\cap V_I^\omega =\{0\}\). Thus, we get the symplectic decomposition of V: \( V=V_I \oplus V_I^\perp .\) A special class of isotropic subspaces is played by the so-called Lagrangian subspaces. More precisely, a maximal (with respect to the inclusion) isotropic subspace of \((V,\omega )\) is termed a Lagrangian subspace. We denote by \(\Lambda (V, \omega )\) (or in shorthand notation by \(\Lambda \)) the collection of all Lagrangian subspaces of V. So, if \((V,\omega )\) is a 2n-dimensional (real) symplectic space, a Lagrangian subspace of V is an n-dimensional subspace \(L \subset V\) such that \(L = L^\omega \). We denote by \( \Lambda = \Lambda (V,\omega )\) the Lagrangian Grassmannian of \((V,\omega )\), namely the set of all Lagrangian subspaces of \((V, \omega )\); thus \(\Lambda (V,\omega ):=\{L \subset V| L= L^{\omega }\}.\)
Notation A.1
Here and throughout the Lagrangian Grassmannian of the standard symplectic space will be denoted by \(\Lambda (n)\). Moreover, we set
and we shall refer to \(L_D\) as the Dirichlet (or horizontal) Lagrangian subspace whilst to \(L_N\) as the Neumann (vertical) Lagrangian subspace.
In this subsection we recall some basic facts on the differentiable structure of \(\Lambda (V,\omega )\). We start to observe that \(\Lambda (V,\omega )\) has the structure of a compact real-analytic submanifold of the Grassmannian of all n-dimensional subspaces of V. Moreover the dimension of \(\Lambda (V,\omega )\) is \(\frac{1}{2} n(n+1)\) and an atlas on \(\Lambda \) is given as follows.
Given a Lagrangian decomposition of \((V, \omega )\) namely a pair \((L_0, L_1)\) of Lagrangian subspaces of V with \(V=L_0 \oplus L_1\), we denote by \(\Lambda ^0(L_1)\) the open and dense subset of \(\Lambda (V, \omega )\) consisting of all Lagrangian subspaces of V that are transversal to \(L_1\). To any Lagrangian decomposition \((L_0, L_1)\) of V it remains a well-defined bijection
where \(T: L_0 \rightarrow L_1\) is the unique linear map whose graph in V is represented by L.Footnote 3 We also observe that \( \ker \big (Q(L_0,L_1;L)\big )= L \cap L_0,\) for all \(L \in \Lambda ^0(L_1)\). Moreover, as proved by the author in [9, Proposition 2.1], the collection of all \(Q(L_0,L_1)\) where the pair \((L_0, L_1)\) runs all over the Lagrangian decomposition of \((V,\omega )\) form a differentiable atlas for \(\Lambda (V,\omega )\). For any distinguished \(L_0 \in \Lambda \), let \( \Lambda ^k(L_0) :=\{L \in \Lambda (V,\omega ) | \dim \big (L \cap L_0\big ) =k \} \qquad k=0,\dots ,n.\) We recall that \(\Lambda ^k(L_0)\) is a real compact, connected submanifold of codimension \(k(k+1)/2\). The topological closure of \(\Lambda ^1(L_0)\) is the Maslov cycle that can be also described as follows.
Definition A.2
We term Maslov cycle with vertex at \(L_0\) or train with vertex \(L_0\) (by using Arnol’d terminology [2, Section 2]), the algebraic (stratified) variety defined by
The top-stratum \(\Lambda ^1(L_0)\) is co-oriented meaning that it has a transverse orientation. To be more precise, for each \(L \in \Lambda ^1(L_0)\), the path of Lagrangian subspaces \((-\delta , \delta ) \mapsto e^{tJ} L\) cross \(\Lambda ^1(L_0)\) transversally, and as t increases the path points to the transverse direction. Thus the Maslov cycle is two-sidedly embedded in \(\Lambda (V,\omega )\) and, based on the topological properties of the Lagrangian Grassmannian manifold, it is possible to define a fixed endpoints homotopy invariant \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-which is a generalization of the classical notion of Maslov index for paths of Lagrangian subspaces.
1.2 On the CLM-index: definition and computation
Our basic references for this subsection are the beautiful papers [6, 20, 29].
We let \(\mathscr {P}([a,b]; \mathbb {R}^{2n})\) the space of continuous maps
equipped with the compact-open topology and we recall the following definition.
Definition A.3
The CLM-index is the unique integer valued function
which satisfies Properties I-(VI) in [6].
For further reference we refer the interested reader to [6] and references therein. Following authors in [20, Section 3], and references therein, let us now introduce the notion of crossing form that gives an efficient way for computing the intersection indices in the Lagrangian Grassmannian context.
Let \(\ell \) be a \(\mathscr {C}^1\)-curve of Lagrangian subspaces such that \(\ell (0)= L\) and \(\dot{\ell }(0)=\widehat{L}\). Now, if W is a fixed Lagrangian subspace transversal to L. For \(v \in L\) and small enough t, let \(w(t) \in W\) be such that \(v+w(t) \in \ell (t)\). Then the form
is independent on the choice of W.
Definition A.4
Let \(t \mapsto \ell (t)=(\ell _1(t), \ell _2(t))\) be a map in \(\mathscr {P}([a,b]; \mathbb {R}^{2n})\). For \(t \in [a,b]\), the crossing form is a quadratic form defined by
A crossing instant for the curve \(t \mapsto \ell (t)\) is an instant \(t \in [a,b]\) such that \(\ell _1(t)\cap \ell _2(t)\ne \{0\}\) nontrivially. A crossing is termed regular if the \(\Gamma (\ell _1, \ell _2, t)\) is non-degenerate.
We observe that if t is a crossing instant, then \( \Gamma (\ell _1, \ell _2,t)= - \Gamma (\ell _2, \ell _1, t).\) If \(\ell \) is regular meaning that it has only regular crossings, then the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index can be computed through the crossing forms, as follows
where the summation runs over all crossings \(t \in (a,b)\) and \(\mathrm {n}_+\,, \mathrm n_-\) are the dimensions of the positive and negative spectral spaces, respectively and \({{\,\mathrm{sgn}\,}}:=\mathrm {n}_+\,-\mathrm n_-\) is the signature. (We refer the interested reader to [20] and [13, Equation (2.15)]).
Let \(L_0\) be a distinguished Lagrangian and we assume that \(\ell _1(t)\equiv L_0\) for every \(t \in [a,b]\). In this case we get that the crossing form at the instant t provided in Eq. (A.4) actually reduce to
and hence
Remark A.5
As authors proved in [20] for regular curves of Lagrangian subspaces the Robbin and Salamon index \(\iota ^{{{\text {RS}}}}\) for path of Lagrangian pairs defined in [29, Section 3] is related to the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index as follows the half-integer valued function given by
Thus, we have:
where \(h_{12}(t):=\dim [\ell _1(t)\cap \ell _2(t)]\). We refer the interested reader to [20, Theorem 3.1] for a proof of Eq. (A.7).
Remark A.6
For the sake of comparison with the results proven in [15] we remark that \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_0, \ell _2)\) can be defined by using the Seifert Van Kampen theorem for groupoids as the unique \(\mathbb {Z}\)-valued homomorphism that it is locally defined as difference of the coindices as in [15, Equation (2-3)]. It is worth noticing that in that respect the local chart we are considering here is the opposite of the one considered in that paper.
A particular interesting situation which often occurs in the applications is the one in which \(\ell (t):=\psi (t)L\) where \(\psi \in \mathscr {C}^1\big ([a,b], \mathrm {Sp}(2n)\big )\). Usually, in fact, such a \(\psi \) is nothing but the fundamental solution of a linear Hamiltonian system.
In this situation, in fact, as direct consequence of Eqs. (A.3) and (A.6), we get that for such a path
Assuming that \(\psi \) is the fundamental solution of the linear Hamiltonian system
where \(t \mapsto B(t)\) is a path of symmetric matrices, then by Eq. (A.8), we get that
Example A.7
In this example we compute the crossing form with respect to the Dirichlet and Neumann Lagrangian for a special curve of Lagrangian subspaces in the symplectic space \((\mathbb {R}^{2n}, \omega _0)\) by using the fact that for any \(L \in \Lambda (V,\omega )\), the map \(\delta _L: \mathrm {Sp}(V, \omega ) \rightarrow \Lambda (V, \omega )\) defined by \(\delta _L(A):=AL\) is a real-analytic fibration.
Let \(L_0\) be either the Dirichlet or the Neumann Lagrangian, \(\ell :[a,b] \rightarrow \Lambda (n)\) be a smooth curve having a crossing instant with \(\Sigma (L_0)\) at the instant \(t_0 \in (a,b)\).
First case: \(L_0=L_D\). We assume that \(\ell (t_0)\) is transverse to \(L_N\) (otherwise it is enough to consider a different Lagrangian decomposition). By the local description of the atlas of the Lagrangian Grassmannian, \(\ell (t_0)\) is a graph of a (symmetric) linear map \(A:\mathbb {R}^n \rightarrow \mathbb {R}^n\), namely \(\ell (t_0)=\{(p,q)\in \mathbb {R}^n \times \mathbb {R}^n| q= Ap\}\) and hence
There exists \(\varepsilon >0\) sufficiently small and \(\psi : (t_0-\varepsilon , t_0+\varepsilon )\rightarrow \mathrm {Sp}(2n)\) with \(\psi (t_0)=\mathrm {Id}\) such that \(\ell (t)=\psi (t)\ell (t_0)\). With respect to the Lagrangian decomposition \(L_D \oplus L_N = \mathbb {R}^{2n}\) we can write \(\psi (t)\) in the block form as follows
By an immediate computation, it follows that the crossing form is given by
where \(p \in \ker A\) is the unique vector in \(\mathbb {R}^n\) such that \(\xi =(p,0)\).
Second case: \(L_0=L_N\). We assume that \(\ell (t_0)\) is transverse to \(L_D\); thus in this case, we can assume that \(\ell (t_0)=\{(p,q)\in \mathbb {R}^n \times \mathbb {R}^n| p= Bq\}\) and hence
Under the above notation, it follows that the crossing form is given by
where \(q \in \ker B\) is the unique vector in \(\mathbb {R}^n\) such that \(\eta =(0,q)\).
Remark A.8
Before closing this section, one more comment on the Maslov intersection index defined by author in the quoted paper. We observe that, for a general Lagrangian path, the (intersection) Maslov index defined by Arnol’d in [2, Section 2] (namely \(\iota ^{{{\text {Ar}}}}\)) differ from \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\) because of the contribution of the endpoints. In the aforementioned paper, author only considered paths of Lagrangian subspaces such that the starting point doesn’t belong to the train of a distinguished Lagrangian \(L_0\) whereas the final endpoint coincides with the vertex. However, if we restrict on this particular class of Lagrangian paths and assuming that the Hamiltonian defining these paths through the lifting to the Lagrangian Grassmannian is \(L_0\)-optical, then we have \( \iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_0, \ell (t); t \in [0,T])= \iota ^{{{\text {Ar}}}}(L_0, \ell (t), t \in [0,T])-n\) where \(\iota ^{{{\text {Ar}}}}\) denotes the Maslov index defined in [2, Section 2]. This fact easily follows by observing that the local contribution given by the endpoints to the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\) index is through the coindex at the final point and the index of the starting point.
We also observe that the Lagrangian paths defined by the evolution of a Lagrangian subspace under the phase flow, have in general, degenerate starting point. Thus, in order to fit with the class of Lagrangian paths defined by Arnol’d it is natural to parametrize the paths in the opposite direction. However, since the contribution at the end points is different, in the definition of \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index such a re-parametrization changes the Maslov index not only for a sign changing but also for a correction term which depends upon the endpoints. This fact is pretty much put on evidence in the Sturm-type comparison theorems.
We close this section by recalling some useful properties of the \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\)-index.
-
Property I (Reparametrization invariance) Let \(\psi :[a,b] \rightarrow [c,d]\) be a continuous and piecewise smooth function with \(\psi (a)=c\) and \(\psi (b)=d\), then
$$\begin{aligned} \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t);t \in [c,d]\big )= \iota ^{\scriptscriptstyle {\mathrm {CLM}}}(L_0, \ell (\psi (t));t \in [a,b]\big ). \end{aligned}$$ -
Property II (Homotopy invariance with respect to the ends) For any \(s \in [0,1]\), let \(s\mapsto \ell (s,\cdot )\) be a continuous family of Lagrangian paths parametrised on [a, b] and such that \(\dim \big (\ell (s,a)\cap L_0\big )\) and \(\dim \big (\ell (s,b)\cap L_0\big )\) are constants, then
$$\begin{aligned} \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (0,t);t \in [a,b]\big )=\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (1,t); t \in [a,b]\big ). \end{aligned}$$ -
Property III (Path additivity) If \(a<c<b\), then
$$\begin{aligned} \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t);t \in [a,b]\big )=\iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t); t \in [a,c]\big )+ \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t); t \in [c,b]\big ) \end{aligned}$$ -
Property IV (Symplectic invariance) Let \(\Phi :[a,b] \rightarrow \mathrm {Sp}(2n, \mathbb {R})\). Then
$$\begin{aligned} \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (L_0, \ell (t);t \in [a,b]\big )= \iota ^{\scriptscriptstyle {\mathrm {CLM}}}\big (\Phi (t)L_0, \Phi (t)\ell (t); t \in [a,b]\big ). \end{aligned}$$
1.3 On the triple and Hörmander index
A crucial ingredient which somehow measure the difference of the relative Maslov index with respect to two different Lagrangian subspaces is given by the Hörmader index. Such an index is also related to the difference of the triple index and to its interesting generalization provided recently by the last author and his co-authors in [34]. For, we start with the following definition of the Hörmander index.
Definition A.9
([34, Definition 3.9]) Let \(\lambda , \mu \in \mathscr {C}^0\big ([a,b], \Lambda (V,\omega )\big )\) such that
Then the Hörmander index is the integer given by
Compare [34, Equation (17), pag. 736] once observing that we observe that \(\iota ^{\scriptscriptstyle {\mathrm {CLM}}}(\lambda ,\mu )\) corresponds to \(\text {Mas}\{\mu ,\lambda \}\) in the notation of [34].
Properties of the Hörmander index We briefly recall some well-useful properties of the Hörmander index.
-
\(s(\lambda _1,\lambda _2; \mu _1, \mu _2) = -s(\lambda _1,\lambda _2; \mu _2, \mu _1)\)
-
\(s(\lambda _1,\lambda _2; \mu _1, \mu _2) = -s(\mu _1, \mu _2;\lambda _1,\lambda _2) + \sum _{j,k \in \{1,2\}}(-1)^{j+k+1}\dim (\lambda _j \cap \mu _k)\).
-
If \(\lambda _j\cap \mu _k =\{0\}\) then \(s(\lambda _1,\lambda _2; \mu _1, \mu _2) = -s(\mu _1, \mu _2;\lambda _1,\lambda _2)\).
The Hörmander index is computable as difference of two indices each one involving three different Lagrangian subspaces. This index is defined in terms of the local chart representation of the atlas of the Lagrangian Grassmannian manifold, given in Equation (A.2).
Definition A.10
Let \(\alpha ,\beta ,\gamma \in \Lambda (V,\omega )\), \(\epsilon :=\alpha \cap \beta + \beta \cap \gamma \) and let \(\pi :=\pi _\epsilon \) be the projection in the symplectic reduction of V mod \(\epsilon \). We term triple index the integer defined by
Remark A.11
Definition A.10 is well-posed and we refer the interested reader to [9, Lemma 2.4] and [34, Corollary 3.12 & Lemma 3.13] for further details). It is worth noticing that \(Q(\pi \alpha , \pi \beta ; \pi \gamma )\) is a quadratic form on \(\pi \alpha \). Being the reduced space \(V_\epsilon \) a \(2(n-\dim \epsilon )\) dimensional subspace, it follows that inertial indices of \(Q(\pi \alpha , \pi \beta ; \pi \gamma )\) are integers between \(\{0, \ldots ,n-\dim \epsilon \}\).
Remark A.12
It is worth noticing that for arbitrary Lagrangian subspaces \(\alpha ,\beta ,\gamma \) , \(Q(\alpha ,\beta ,\gamma )\) is well-defined and it is a quadratic form on \(\alpha \cap (\beta +\gamma )\). Furthermore, we have \(n_+Q(\alpha ,\beta ,\gamma )=n_+ Q(\pi \alpha ,\pi \beta ,\pi \gamma )\). So we can also define the triple index as
Authors in [34, Lemma 3.2] give a useful property for calculating such a quadratic form.
We observe that if \((\alpha ,\beta )\) is a Lagrangian decomposition of \((V,\omega )\) and \(\beta \cap \gamma =\{0\}\) then \(\pi \) reduces to the identity and both terms \(\dim (\alpha \cap \gamma )\) and \(\dim (\alpha \cap \beta \cap \gamma )\) drop down. In this way the triple index is nothing different from the the quadratic form Q defining the local chart of the atlas of \(\Lambda (V,\omega )\) given in Equation (A.2). It is possible to prove (cfr. [34, proof of the Lemma 3.13]) that
where we denoted by \(\mathrm {n}_0\,Q\) the nullity (namely the kernel dimension of the quadratic form Q). By summing up Eqs. (A.10) and (A.11), we finally get
where denotes the so-called extended coindex or generalized coindex (namely the coindex plus the nullity) of the quadratic form Q. (Cfr. [9, Lemma 2.4] for further details).
Lemma A.13
Let \(\lambda \in \mathscr {C}^1\big ([a,b], \Lambda (V,\omega )\big )\). Then, for every \(\mu \in \Lambda (V, \omega )\), we have
- (I) :
-
\(s\big (\lambda (a), \lambda (b); \lambda (a), \mu \big )= -\iota \big (\lambda (b), \lambda (a),\mu \big )\leqslant 0\),
- (II) :
-
\(s\big (\lambda (a), \lambda (b); \lambda (b), \mu \big )= \iota \big (\lambda (a), \lambda (b),\mu \big )\geqslant 0\).
Proof
For the proof, we refer the interested reader to [34, Corollary 3.16]. \(\square \)
The next result, which is the main result of [34], allows to reduce the computation of the Hörmander index to the computation of the triple index.
Proposition A.14
[34, Theorem 1.1] Let \((V,\omega )\) be a 2n-dimensional symplectic space and let \(\lambda _1, \lambda _2, \mu _1, \mu _2 \in \Lambda (V,\omega )\). Under the above notation, we get
Remark A.15
We emphasize that no transversality conditions are assumed on the four Lagrangian subspaces in Proposition A.14
Appendix B: On the Spectral Flow
Let \(\mathcal {W}, \mathcal {H}\) be real separable Hilbert spaces with a dense and continuous inclusion \(\mathcal {W} \hookrightarrow \mathcal {H}\). In what follows we use the following notation. \(\mathcal {B}(\mathcal {W},\mathcal {H})\) denotes the Banach space of all linear bounded operators; \(\mathcal {B}^{sa}(\mathcal {W}, \mathcal {H})\) denotes the set of all linear bounded selfadjoint operators when regarded as operators on \(\mathcal {H}\). \(\mathcal {BF}^{sa}(\mathcal {W}, \mathcal {H})\) denotes the set of all linear and bounded selfadjoint Fredholm operators. Let now \(T \in \mathcal {BF}^{sa}(\mathcal {W},\mathcal {H})\), then either 0 is not in \(\sigma (T)\) or it is in \(\sigma _{disc}(T)\) and, as a consequence of the Spectral Decomposition Theorem (cf. [16, Theorem 6.17, Chapter III]), the following orthogonal decomposition holds \( \mathcal {W} = E_-(T) \oplus \ker T \oplus E_+(T),\) with the property
Definition B.1
Let \(T \in \mathcal {BF}^{sa}(\mathcal {W},\mathcal {H})\). If \(\dim E_-(T)<\infty \) (resp. \(\dim E_+(T)<\infty \)), we define its Morse index (resp. Morse co-index) as the integer denoted by \(\mathrm n_-(T)\) (resp. \(\mathrm {n}_+\,(T)\)) and defined as \( \mathrm n_-(T) :=\dim E_-(T)\qquad \big (\text {resp. } \mathrm {n}_+\,(T):=\dim E_+(T)\big ).\)
We are now in position to introduce the spectral flow. Given a \(\mathscr {C}^1\)-path \(L:[a,b]\rightarrow \mathcal {BF}^{sa}(\mathcal {W}, \mathcal {H})\), the spectral flow of L counts the net number of eigenvalues crossing 0.
Definition B.2
An instant \(t_0 \in (a,b)\) is called a crossing instant (or crossing for short) if \(\ker L_{t_0} \ne \{0\}\). The crossing form at a crossing \(t_0\) is the quadratic form defined by
where we denoted by \(\dot{L}_{t_0}\) the derivative of L with respect to the parameter \(t \in [a,b]\) at the point \(t_0\). A crossing is called regular, if \(\Gamma ( L, t_0)\) is non-degenerate. If \(t_0\) is a crossing instant for L, we refer to \(m(t_0)\) the dimension of \(\ker L_{t_0}\).
Remark B.3
It is worth noticing that regular crossings are isolated, and hence, on a compact interval are in a finite number.
In the case of regular curve (namely a curve having only regular crossings) we introduce the following Definition.
Definition B.4
Let \(L:[a,b]\rightarrow \mathcal {BF}^{sa}(\mathcal {H})\) be a \(\mathscr {C}^1\)-path and we assume that it has only regular crossings. Then
where the sum runs over all regular (and hence in a finite number) strictly contained in [a, b].
We recall the following well-known result.
Lemma B.5
There exists \(\varepsilon > 0\) such that
-
\(A + \delta \mathrm {Id}\) is a path in \(\mathcal {BF}^{sa}(\mathcal {W}, \mathcal {H})\) for all \(|\delta | \leqslant \varepsilon \);
-
\(A + \delta \mathrm {Id}\) has only regular crossings for almost every \(\delta \in (-\varepsilon , \varepsilon )\).
Definition B.6
The \(\mathscr {C}^1\)-path \(L:[a,b]\ni t \mapsto L_t\in \mathcal {BF}^{sa}(\mathcal {H})\) is termed positive or plus path, if at each crossing instant \(t_*\) the crossing form \(\Gamma (L, t_*)\) is positive definite.
Remark B.7
We observe that in the case of a positive path, each crossing is regular and in particular the total number of crossing instants on a compact interval is finite. Moreover the local contribution at each crossing to the spectral flow is given by the dimension of the intersection. Thus given a positive path L, the spectral flow is given by
Definition B.8
The path \(L:[a,b]\rightarrow \mathcal {BF}^{sa}(\mathcal {H})\) is termed admissible provided it has invertible endpoints.
For paths of bounded self-adjoint Fredholm operators parametrized on [a, b] which are compact perturbation of a fixed operator, the spectral flow given in Definition B.4, can be characterized as the relative Morse index of its endpoints. More precisely, the following result holds.
Proposition B.9
Let us consider the path \(L: [a,b] \rightarrow \mathcal {BF}^{sa}(\mathcal {H})\) and we assume that for every \(t \in [a,b]\), the operator \(L_t- L_a\) is compact. Then
Moreover if \(L_a\) is essentially positive, then we have
and if furthermore \(L_b\) is positive definite, then
Proof
The proof of the equality in Eq. (B.1) is an immediate consequence of the fixed end homotopy properties of the spectral flow. For, let \(\varepsilon >0 \) and let us consider the two-parameter family \(L:[0,1]\times [a,b] \rightarrow \mathcal {BF}^{sa}(\mathcal {H}) \text { defined by } L(s,t):=L_t+ s \,\varepsilon \, \mathrm {Id}. \) By the homotopy property of the spectral flow, we get that
where the last equality in Eq. (B.3) is consequence if the positivity of all the involved paths. By choosing a maybe smaller \(\varepsilon >0\) the path \(t\mapsto L_t+\varepsilon \mathrm {Id}\) is admissible (in the sense of Definition B.8). The conclusion, now readily follows by applying [11, Proposition 3.3] (the minus sign appearing is due to a different choosing convention for the spectral flow.
In order to prove the second claim, it is enough to observe that if \(L_a\) is essentially positive, then L is a path entirely contained in the (path-connected component) \(\mathcal {BF}_+^{sa}(\mathcal {H})\). The proof of the equality in Eq. (B.2) is now a direct consequence of equation the previous argument and [11, Proposition 3.9]. The last can be deduced by Equation (B.2) once observed that \(\mathrm n_-(L_b)=0\). This concludes the proof. \(\square \)
Remark B.10
We observe that a direct proof of Eq. (B.2) can be easily conceived as direct consequence of the homotopy properties of \(\mathcal {BF}_+^{sa}(\mathcal {H})\).
Remark B.11
We observe that the definition of spectral flow for bounded selfadjoint Fredholm operators given in Definition B.4 is slightly different from the standard definition given in literature in which only continuity is required on the regularity of the path. (For further details, we refer the interested reader to [30, 33] and references therein). Actually Definition B.4 represents an efficient way for computing the spectral flow even if it requires more regularity as well as a transversality assumption (the regularity of each crossing instant). However, it is worth to mentioning that, the spectral flow is a fixed endpoints homotopy invariant and for admissible paths (meaning for paths having invertible endpoints) is a free homotopy invariant. By density arguments, we observe that a \(\mathscr {C}^1\)-path always exists in any fixed endpoints homotopy class of the original path.
Remark B.12
It is worth noting, as already observed by author in [33], that the spectral flow can be defined in the more general case of continuous paths of closed unbounded selfadjoint Fredholm operators that are continuous with respect to the (metric) gap-topology. However in the special case in which the domain of the operators is fixed, then the closed path of unbounded selfadjoint Fredholm operators can be regarded as a continuous path in \(\mathcal {BF}^{sa}(\mathcal {W}, \mathcal {H})\). Moreover this path is also continuous with respect to the aforementioned gap-metric topology.
The advantage to regard the paths in \(\mathcal {BF}^{sa}(\mathcal {W}, \mathcal {H})\) is that the theory is straightforward as in the bounded case and, clearly, it is sufficient for the applications studied in the present manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Barutello, V.L., Offin, D., Portaluri, A. et al. Sturm theory with applications in geometry and classical mechanics. Math. Z. 299, 257–297 (2021). https://doi.org/10.1007/s00209-020-02686-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02686-3