arxiv: v1 [math.dg] 13 Nov 2012

Transcription

1 arxiv: v1 [math.dg] 13 Nov 212 ADDENDUM TO MORSE THEORY OF CAUSA GEODESICS IN A STATIONARY SPACETIME VIA MORSE THEORY OF GEODESICS OF A FINSER METRIC, ANN. INST. H. POINCARÉ ANA. NON INÉAIRE, 27 (21) ERASMO CAPONIO, MIGUE ÁNGE JAVAOYES, AND ANTONIO MASIEO ABSTRACT. We give the details of the proof of equality (29) in [3] 1. INTRODUCTION In [3, Eq. (29)], we claim that the relative homology groups H (Ẽ c X Õ,Ẽ c X Õ \{}) and H (Ẽ c Õ,Ẽ c Õ \ {}) are isomorphic, where, we recall, X = C 1 ([,1],U ), U is a neighbourhood of R n, Ẽ : H 1([,1],U ) R, Ẽ(x)= 1 G(s, x, ẋ)ds, H 1 ([,1],U ) is a non-degenerate critical point of Ẽ, c = Ẽ(), Ẽ c = {x H 1([,1],U ) Ẽ(x) c} and Õ is a neighbourhood of in H 1 ([,1],U ). For this we refer to the following result by Palais [12, Theorem 16]: Theorem 1.1 (Palais, [12]). et V 1 and V 2 be two locally convex topological vector spaces, f be a continuous linear map from V 1 onto a dense linear subspace of V 2 and let O be an open subset of V 2 and Õ = f 1 (O). If V 1 and V 2 are metrizable then f = f : Õ O is a Õ homotopy equivalence. As a consequence, if E is a Banach space which is dense and continuously immersed in a Hilbert space H and (A,B) is a pair of open subsets of H with B A, then the relative homology groups H (A,B) and H (Ã, B ), where Ã= A E and B = B E, are isomorphic. In this addendum we would like to make clear how the above result can be applied to get H (Ẽ c X Õ,Ẽ c X Õ \ {}) = H (Ẽ c Õ,Ẽ c Õ \ {}). Although it is not difficult to find some open subsets which are homotopically equivalent, with respect to the H 1 topology, to the ones involved in the computations of the critical groups (cf., for example, [5, Ch. III, Corollary 1.2]), it is not trivial to ensure, after applying Palais result, that the intersections of these subsets with X continue to be homotopically equivalent in the C 1 topology. Actually, the equality between the critical groups of a Dirichlet functional with respect to the H 1 and C 1 topology is not a novelty (cf. [5, 6, 1]). Anyway, there are some issues for the functional Ẽ that we would like to point out. First, Ẽ is not C 2 with respect to the H 1 topology (this is a very general phenomenon for smooth, at most quadratic in the velocities agrangians cf. [1, Prop. 3.2]); moreover, as G is not everywhere twice differentiable, Ẽ is also not twice Gateaux differentiable at any non- G-regular curve (see Definition 2.1). Secondly, although its flow is well defined on X, the gradient of Ẽ is not of the type identity plus a compact operator, thus we cannot immediately state that it possesses the retractible property in [4, III], which ensures that the deformation retracts involved in the computation of the critical groups are also continuous in X, where the Palais-Smale condition does not hold. To overcome this problem, we extend a result in 1

2 2 E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO [1], constructing a smooth vector field, which is a pseudo-gradient in U \ B(,r ), where U is a neighbourhood of in H 1 ([,1],U ) and B(,r ) is the closure of a ball, and whose flow satisfies the retractible property. The proof we give in the next section (without emma 2.3, which becomes superfluous) also holds for any smooth agrangian on [,1] TM, where M is a finite dimensional manifold, which is fiberwise strongly convex and has at most quadratic growth in each fibre. We can also consider, with minor modifications, more general boundary conditions as the curves joining two given submanifolds in M. The agrangian action functional will be then defined on the Hilbert manifold of the H 1 curves between the two submanifolds. As we have already mentioned above, such functional is in general not C 2. Assuming that at least one of the submanifolds is compact and that all the critical points are non-degenerate, we can obtain, as in [3, Theorem 9], the Morse relations for the solutions of the corresponding agrangian system. In this case, the number of the conjugate instants along a geodesic, counted with their multiplicity, is replaced by the number of the focal instants with respect to one of the two submanifold (counted with multiplicities) along a solution plus the index of a bilinear symmetric form related to the other submanifold, [7]. We recall that a Morse complex for the action functional of such kind of agrangian, whose homology is isomorphic to the singular homology of the path space between the two submanifolds, has been obtained in [1]. 2. PROOF OF THE ISOMORPHISM BETWEEN THE CRITICA GROUPS IN H 1 AND C 1 We recall that the agrangian G : [,1] U R n [,+ ) is given by G(t, q, y)=f 2 (ϕ(t, q),dϕ(t, q)[(1, y)]), where F is a Finsler metric on the n-dimensional smooth manifold M and ϕ: [,1] U M is defined as ϕ(t, q)=exp γ (t) P t (q); here, exp is the exponential map with respect to any auxiliary Riemannian metric h on M, γ is the geodesic of (M,F ) in which we want to compute the critical groups, P t : U T γ (t)m is given by P t (q 1,..., q n )= n i=1 q i E i (t), where {E i } i {1,...,n} are n-orthonormal smooth vector fields along γ and U is the Euclidean ball of radius ρ/2, where ρ is the minimum of the injectivity radii (with respect to the metric h) at the points γ(t), t [,1]. The set Z where G is not twice differentiable is defined by the equation dϕ(t, q)[1, y] = and then it corresponds to the subset of [,1] U R n where the agrangian G(t, q, y)= F 2 (ϕ(t, q),dϕ(t, q)[(1, y)] vanishes. We recall also that for each (t, q) [,1] U there is only one y R n such that dϕ(t, q)[(1, y)] =. Indeed, dϕ(t, q)[(1, y)] = t ϕ(t, q)+ q ϕ(t, q)[y] and, as q ϕ(t, q) is one-to-one, y R n is the only vector such that q ϕ(t, q)[y]= t ϕ(t, q). We recall also that the map ϕ defines a smooth injective map ϕ : H 1 ([,1],U ) Ω p,q (M), ϕ (x)(t)=ϕ(t, x(t)), such that Ẽ = E ϕ, where E is the energy functional of F, i.e. E(γ)= F 2 (γ, γ)dt andω p.q is the Hilbert manifold of the H 1 curves on M between p and q. Observe that the curve of constant value is mapped by ϕ to the geodesic γ (hence is a critical point of Ẽ). From the fact that F 2 is fiberwise positively homogeneous of degree 2 and ϕ is a smooth map, it follows that there exists a constant c 1, depending only on U, such that G qq (s, q, y) c 1 (1+ y 2 ), G q y (s, q, y) c 1 (1+ y ), G y y (s, q, y) c 1, (1) for every (s, q, y) [,1] U R n \ Z, where and are, respectively, the euclidean norm and the norm of bilinear forms on R n.

3 ADDENDUM TO MORSE THEORY OF CAUSA GEODESICS 3 Moreover, since F 2 is fiberwise strongly convex, there exists a positive constant c 2 such that G y y (s, q, y)[w, w] c 2 w 2, (2) for each (s, q, y) [,1] U R n \ Z and w R n. Definition 2.1. A curve x H 1 ([,1],U ) is said G-regular if the set of points t [,1] where (t, x(t), ẋ(t)) Z is negligible. et α: R n R be a smooth function such that α U = 1, α U C =, where U is an open subset of R n such that U and Ū U. Consider the agrangian : R R n R n R, (t, q, y) = α(q) G(t, q, y)+(1 α(q)) y 2. Clearly, by the definition of α, is also a critical point of the action functional A (x)= (s, x, ẋ)ds. Notice also that, like Ẽ, A : H 1([,1],Rn ) R is a C 1 functional with locally ipschitz differential. et B be a closed ball in H 1([,1],Rn ), centred in and containing curves that have support in U. As = G on R U R n, we have that A B = Ẽ B. Since Ẽ satisfies the Palais-Smale condition (see [2]), we also have that A satisfies the Palais-Smale condition in B. Moreover, from (1) it follows that Ẽ is twice Gateaux differentiable at any G-regular curve x H 1 ([,1],U ) and then the same property is satisfied by A. Observe that, as the endpoints of the geodesic γ are not conjugate, then we can assume that B is an isolating neighbourhood of the critical point. Moreover, the nonconjugacy assumption implies also that is a non-degenerate critical point of Ẽ, that is, the kernel of the operator A, which represents the second Gateaux differential at of both Ẽ and A, with respect to the scalar product, in H 1([,1],Rn ), is empty. The following proposition has been obtained in [1, emma 4.1 and formula (4.8)] for the action functional of a C 2, time-dependent, fiberwise strongly convex, at most quadratic in the velocities, agrangian on T M. Proposition 2.2. There exist a neighbourhood U of in H 1 ([,1],Rn ) (that we can assume it is contained in B) and a positive constant µ, such that the linear vector field x U Ax, satisfies the inequality for each x U. da (x)[ax] µ A (x) 2, (3) Here is the H 1 norm. In our setting, the agrangian is not twice differentiable on Z T M and this leads to some differences between the proof of [1, emma 4.1] and ours, which we outline in lemmata 2.3, 2.6 and 2.7. emma 2.3. et x be a smooth curve (non necessarily G-regular ) in H 1 ([,1],U ). Then the curves t [,1] sx(t) can be non- G-regular for s in a subset of [,1] which is at most countable. Proof. We recall that w H 1 ([,1],U ), w = w(t), is not G-regular if (t, w(t), ẇ(t)) Z for each t in a subset of positive ebesgue measure in [,1]. Now, for x : [,1] U, smooth and x() = x(1) =, let us consider the map f : [,1] [,1] M defined as f (s, t) = ϕ(t, sx(t)). Observe that for each t [,1], s f (s, t) is the affinely parametrized geodesic σ t of the Riemannian metric h defined by σ t (s)=ϕ( t, sx( t ))=exp γ( t) (sx( t)) (for t = and t = 1 the geodesics are constant) while, for each s [,1], t f ( s, t) is the curve γ s corresponding to sx by the map ϕ (for s = and s = 1, we get respectively γ, the geodesic of (M,F ), and the curve γ 1 = ϕ (x)). Thus f = f (s, t) defines a geodesic congruence and, then, s J t (s)= t f (s, t) = γ s (t) defines a Jacobi field along σ t for each

4 4 E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO t (,1) where x(t). Observe that at the instants t where x( t)= (if they exist), σ t is constant and equal to γ ( t). Since there is only one y R n such that ( t,, y) Z and such y cannot be equal to (otherwise =dϕ( t,)[1,]= t ϕ( t,)+ q ϕ( t,)[]= t ϕ( t,)= γ ( t) ), there can be at most one s (,1] such that ( t, sx( t ), sẋ( t))=( t,, sẋ( t)) Z. Now let us assume that for s, s (,1], s s, the curves sx and s x are not G-regular. From what we have recalled above, this is equivalent to the fact that the curve γ s and γ s have velocity vector fields vanishing on, respectively, Z s [,1] and Z s [,1] with Z s, Z s >. We claim that Z s Z s =. Indeed, if there exists t Z s Z s, then x( t ) must be different from and this implies that the Jacobi field J t is well defined and equal to at the instants s and s. Thus the points σ t (s) and σ t (s ) are conjugate along σ t, but this is impossible (see, e.g., [8, Prop. 2.2, p. 267]) because such geodesic has length less than the injectivity radius at γ ( t). Therefore the set Z of s [,1] such that Z s > is at most countable. Indeed, by contradiction, assume that Z is uncountable and consider the set A h = {s (,1] : Z s > 1 h }. Since h N A h = Z, there must exist at least one k N such that A k is uncountable. Thus, for infinitely many s [,1], we would have disjoint subsets Z s [,1] having measure greater than 1 h, which is impossible. Remark 2.4. From emma 2.3 it also follows that any smooth non- G-regular curve x H 1([,1],U ) is the limit, in the H 1 topology, of some sequence (x k ) H 1 ([,1],U ) of smooth G-regular curves. Indeed, it is enough to consider a sequence (s n ) [,1] such that s n 1 and s n x is G-regular. Remark 2.5. From (2), the second Gateaux differential of Ẽ at a G-regular curve x is represented by a linear bounded self-adjoint operator on H 1 ([,1],Rn ) of the type A x = B x + K x where B x is a strictly positive definite operator and K x is compact. Moreover from (1), if a sequence of G-regular curves {x n } converges to a G-regular curve x in the H 1 topology then K xn converges to K x in the norm topology of the bounded operators and B xn converges strongly to B x, i.e. B xn [ξ] B x [ξ] for each ξ H 1 ([,1],Rn ) (cf. claim 1 and 2 of the proof of emma 4.1 in [1]). We recall that from [3, emma 2], A A is given by I + K (that is, B is the identity operator). The following two results are the analogous of, respectively, Eq. (4.5) and Claim 3 in [1]. emma 2.6. et (x n ) H 1([,1],U ) be a sequence of smooth G-regular curves such that x n in the H 1 topology. Then dẽ(x n )[Ax n ]= 1 (B 1/2 sx n + K sxn ) 2 x n, x n ds+ o( xn 2 ), as n. Proof. Eqs. (1)-(2) imply that G(t, q, y) satisfies assumptions (1 ) and (2 ) at page 65 of [1], for each (t, q, y) [,1] U R n \ Z. Hence the lemma follows arguing as in [1, emma 4.1], taking into account that dẽ(x)[ax]= Ẽ(x), x+ K (x) ( 1 d = ) Ẽ(sx), x+ K (x) ds ds = 1 (B sx + K sx )x, x+ K (x) ds. (4) d In fact, ds Ẽ(sx)=(B sx + K sx )[x] at the points s where the curve t [,1] sx(t) is Gregular. From emma 2.3, the set of points s [, 1] where sx is not G-regular is at most countable.

5 ADDENDUM TO MORSE THEORY OF CAUSA GEODESICS 5 The next lemma follows as in Claim 3 of [1, emma 4.1], recalling Remark 2.5 and the fact that is a non-degenerate critical point of Ẽ. emma 2.7. There exist a number µ > and a neighbourhood U of in H 1([,1],U ) such that, for each smooth and G-regular curve x U, the spectrum of the self-adjoint operator Bx 1/2 + K x is disjoint from [ µ,µ]. Proof of Proposition 2.2. Since A B = Ẽ B, it is enough to prove the proposition for the functional Ẽ. From emmata 2.6 and 2.7, we get that there exists a positive constant µ 1, such that dẽ(x)[ax] µ 1 x 2, (5) for each smooth G-regular curve x U. From Remark 2.4 and the continuity of dẽ and A with respect to the H 1 topology, inequality (5) can be extended to any smooth curve in U and then, since smooth curves are dense in H 1 ([,1],U ), to any x U. As Ẽ is a locally ipschitz field and Ẽ()=, we get dẽ(x)[ax] µ Ẽ(x) 2, for some positive constant µ and for all x in some neighbourhood U of. Now let η : H 1 ([,1],Rn ) [,1] be a smooth bump function such that supp η U and η (x) = 1, for all x U, where U is an open neighbourhood of in H 1 ([,1],Rn ) with U U. et us consider the vector field on H 1 ([,1],Rn ) defined as Y (x)= η (x)ax ( 1 η (x) ) A (x). We point out that we cannot state that Y is a pseudo-gradient vector field because we are not able to prove that Ax µ 2 da (x), (6) for some constant µ 2 > µ and all x in some neighbourhood of. 1 Anyway (3) implies that Y satisfies the inequality da (x)[y (x)] µ A (x) 2, (7) for each x H 1([,1],Rn ), where µ=min{µ,1}. As we will show in emma 2.8, inequality (7) (together with the remark in footnote 1) is enough to get a deformation result as in [11, emma 8.3]. For all x H 1([,1],Rn ), let (ω (x),ω + (x)) be the maximal interval of definition of the solution of { ψ=y (ψ), (8) ψ()= x. Observe that this problem is well-defined because Y is a locally ipschitz vector field in H 1([,1],Rn ), since A and A are. Furthermore, (7) implies that A is decreasing along the flow of Y and as, Y U = A= I K, such flow is given by ψ(x, t)=e t x e t+s K (ψ(x, s))ds (9) for x U, whereas ψ(x, t) U. The following lemma is an adaptation of emma 8.1 in [11] to the flow of the vector field Y. 1 Actually using that A satisfies the Palais-Smale condition and is an isolated critical point of A, we can prove that Y satisfies (6) in any open subset U \ B(,r ), where B (,r ) is an open ball strictly contained in U, for a constant µ 2 depending on U \ B(,r ).

6 6 E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO emma 2.8. et V be a closed neighbourhood of contained in U. Then there exist ε> and an open neighbourhood O V of in H 1 ([,1],Rn ) such that if x O, then the solution ψ(x, ) of (8) either stays in V for all t [,+ ) or it stays in V at least until A (ψ(x, t)) becomes less than c ε, (where c = A ()=Ẽ()). Proof. Observe that, since Y V = A, ψ(x, ) is defined for all times until it lies in V. et B(,ρ) be the ball of radius ρ centred at such that B(,ρ) V and let C = {x H 1 ([,1],Rn ) : ρ 2 x ρ}. Since C B, it is free of critical points and then δ= inf x C A (x) >, (1) because A satisfies the Palais-Smale condition on C. Moreover Y (x) = Ax ρ A ρ A A (x), (11) δ for each x C. et ν := ρ A δ and O µδρ c+ 4ν = B(,ρ/2) A. If x O is such that ψ(x, t ) does not belong to V for some t >, then there exist < < t 2 < ω + (x) such that ψ(x, t) C,for all t (, t 2 ) and ψ(x, ) = ρ/2, ψ(x, t 2 ) = ρ. It follows that A (ψ(x, t 2 ))=A (ψ(x, ))+ 2 da (ψ(x, t))[y (ψ(x, t))]dt 2 A (x) µ A (ψ(x, t)) 2 dt (12) c+ µδρ 4ν µδ c+ µδρ 4ν µδ ν 2 2 A (ψ(x, t)) dt Y (ψ(x, t)) dt c+ µδρ 4ν µδ ν ( ψ(x, t 2) ψ(x, ) ) = c+ µδρ 4ν µδρ µδρ = c 2ν 4ν. In the first inequality above, we have used the fact that A is decreasing in the flow of (8) and inequality (7); in the second one, the fact that x O µδρ c+ 4ν A and (1); in the third one, inequality (11); in the last one, the following chain of inequalities: 2 Y (ψ(x, t)) dt = 2 ψ(x, t)) dt Thus the conclusion follows with ε= µδρ 4ν. 2 ψ(x, t)dt ψ(x, t 2 ) ψ(x, ). et V be the subset of H 1([,1],Rn ) given as V = ψ(x,[,ω + (x)), where O is the x O neighbourhood of associated to V by emma 2.8. Since O is open, from standard results in ODE theory (cf. for example [9, Corollary 4.2.1]), V is also an open subset of H 1([,1],Rn ). From emma 2.8, A 1 ( ) (c ε,c+ ε) V \ {} is contained in V U and it is free of critical points.

7 ADDENDUM TO MORSE THEORY OF CAUSA GEODESICS 7 emma 2.9. For every x A 1 ( ) [c,c+ε) V, either there exists a unique T (x) [,ω + (x)) ( ) such that A ψ(x,t (x)) = c or ω + (x) = + and ψ(x, t), in H 1([,1],Rn ), as t +. Proof. If A (ψ(x, t)) > c, for all t [,ω + (x)), then from emma 2.8, ω + (x) =+ and ψ(x, t) V, for each t [,+ ). From inequality (12), + A (ψ(x, t)) 2 dt 1 µ (A (x) c)<+, hence lim inf t + A (ψ(x, t)) 2 = and the Palais-Smale condition implies the existence of a sequence {t n } converging to+ such that ψ(x, t n ). Hence the conclusion follows from emma 2.8. By emmata 2.8 and 2.9, as in [11, emma 8.3], we get that A c V is a strong deformation retract of V. Analogously, A c ε V is a strong deformation retract of A c ε/2 both A c V \ {} and V. Using that, for A B C, if B is a strong deformation retract of C, then H (B, A) = H (C, A) and if A is a strong deformation retract of B, then H (C, A) = H (C,B) (for the last property, see for example [13, Property H 6 β]), we obtain H (A c V,A c V \ {}) = H ( V, A c ε/2 V ). (13) et O = ϕ (O ) and γ = ϕ (), then C (E,γ )= H (E c O,E c O \ {γ }) = H ((E ϕ ) c O,(E ϕ ) c O \ {}) = H (Ẽ c O,Ẽ c O \ {})=H (A c O,A c O \ {}) = H (A c V,A c V \ {}), (14) last equivalence, by the excision property of the singular relative homology groups. By Palais theorem above we get H ( V, V ) = H ( A c ε/2 ([,1],R n ) V, A c ε/2 The above equivalence, together with (13) and (14), implies that C (E,γ ) = H ( ([,1],R n ) V, A c ε/2 ([,1],R n ) ([,1],R n ) V ). V ). It remains to prove that these last relative homology groups are isomorphic to the critical groups in X = C 1 ([,1],U ). To this end, let us consider the Cauchy problem (8), with x C 1 ([,1],R n ) A 1 ( ) ( ) (c ε/2,c+ε/2) V. Since A 1 (c ε/2,c+ε/2) V V U, it holds (9) and the orbit ψ(x, ), defined by x, is also in C 1([,1],Rn ). As a consequence, the strong deformation retracts that we have considered above are well defined in C 1([,1],Rn ) [,1] and by the continuity of the flow (9) with respect to the C 1 topology, we immediately deduce that they are also continuous at each point different from (, 1). Clearly, the continuity at the point (, 1) with respect to the product topology of C 1 ([,1],Rn ), with the C 1 topology, and R, with the standard one, comes into play only for the deformation map η: V [,1] A c+ε/2 V of V in A c V, which is given by { ( ) ρ x, t t 1 if t [,1), η(x, t)= ρ(x, s) if t = 1, lim s +

8 8 E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO where ρ : V [,+ ) A c+ε/2 V is the map defined as follows: if A (x)>c ( ) and there exists T (x)> such that A ψ(x,t (x)) = c, then { ψ(x, t) if t [,T (x)], ρ(x, t)= ψ(x,t (x)) if t (T (x),+ ), if ψ(x, t) c as t +, then ρ(x, t)=ψ(x, t) and if A (x) c, then ρ(x, t)=x, for all t [,+ ). Since the flow ψ 1 of the linear vector field x Ax = I x K x is given by (9) and K is bounded from H 1([,1],Rn ) to C 1([,1],Rn ), we have e t+s K (ψ 1 (x, s))ds C 1 e t e s K (ψ 1 (x, s)) C 1 ds Ce t e s ψ 1 (x, s) ds. Thus, if ψ(x, t) in H 1, as t +, then, from emmata 2.8 and 2.9, ψ(x, t)=ψ 1 (x, t). Hence, for every ε>, there exists t > such that for all t > t, ψ(x, t) < ε and then the last function in the above inequalities can be estimated, for t > t, as t e t e s ψ(x, s) ds= e t e s ψ(x, s) ds+ e t e s ψ(x, s) ds t t e t e s ψ(x, s) ds+ ε(1 e t e t ). Thus ψ(x, t) also with respect to the C 1 topology, giving the continuity of the map η at the point (,1) also with respect to the product of such a topology and the Euclidean one on the interval [,1]. In conclusion we have that the following groups are isomorphic H ( ([,1],R n ) V, A c ε/2 ([,1],R n ) V ) = = H (A c ([,1],Rn ) V,A c ([,1],Rn ) V \ {}). By excision, these last relative homology groups are isomorphic to H (A c ([,1],Rn ) O,A c ([,1],Rn ) O \ {}) and then, since the curves in O have their support in U, to H (Ẽ c ([,1],U ) O,Ẽ c ([,1],U ) O \ {}). REFERENCES [1] A. ABBONDANDOO AND M. SCHWARZ, A smooth pseudo-gradient for the agrangian action functional, Advanced Nonlinear Studies, 9 (29), pp [2] E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO, On the energy functional on Finsler manifolds and applications to stationary spacetimes, Math. Ann., 351 (211), pp [3] E. CAPONIO, M. A. JAVAOYES, AND A. MASIEO, Morse theory of causal geodesics in a stationary spacetime via Morse theory of geodesics of a Finsler metric, Ann. Inst. H. Poincaré Anal. Non inéaire, 27 (21), pp [4] K.-C. CHANG, A variant mountain pass lemma, Sci. Sinica Ser. A, 26 (1983), pp [5] K.-C. CHANG, Infinite-Dimensional Morse Theory and Multiple Solution Problems, Birkhäuser,Boston, MA, [6] K.-C. CHANG, H 1 versus C 1 isolated critical points, C. R. Acad. Sci. Paris Sér. I Math., 319 (1994), pp [7] M. CRAMPIN, The Morse index theorem for general end conditions, Houston J. Math., 27 (21), pp [8] M. P. DO CARMO, Riemannian Geometry, Birkhäuser,Boston, MA, [9] S. ANG, Differential and Riemannian manifolds, Graduate Texts in Mathematics, Springer-Verlag, New York, 1995.

9 ADDENDUM TO MORSE THEORY OF CAUSA GEODESICS 9 [1] C. I, S. I AND J. IU, Splitting theorem, Poincaré-Hopf theorem and jumping nonlinear problems, J. Funct. Anal., 221 (25), pp [11] J. MAWHIN AND M. WIEM, Critical point theory and Hamiltonian systems, Applied Mathematical Sciences, Springer-Verlag, New York, [12] R. S. PAAIS, Homotopy theory of infinite dimensional manifolds, Topology, 5 (1966), pp [13] E. H. ROTHE, Morse theory in Hilbert space, Rocky Mountain J. Math., 3 (1973), pp DIPARTIMENTO DI MECCANICA, MATEMATICA E MANAGMENT. POITECNICO DI BARI, VIA ORABONA 4, 7125, BARI, ITAY address:caponio@poliba.it DEPARTAMENTO DE MATEMÁTICAS. UNIVERSIDAD DE MURCIA, CAMPUS DE ESPINARDO, 31 ESPINARDO, MURCIA, SPAIN address:majava@um.es DIPARTIMENTO DI MECCANICA, MATEMATICA E MANAGMENT. POITECNICO DI BARI, VIA ORABONA 4, 7125, BARI, ITAY address:masiello@poliba.it