Closed geodesics in stationary manifolds with strictly convex boundary 1
|
|
- Theresa Booth
- 5 years ago
- Views:
Transcription
1 Differential Geometry and its Applications 13 (2) North-Holland Closed geodesics in stationary manifolds with strictly convex boundary 1 A.M. Candela and A. Salvatore Dipartimento di Matematica, via E. Orabona 4, 7125 Bari, Italy Communicated by M. Willem Received 2 May 1999 Abstract: Let (M,, L ) be a non-compact Lorentzian manifold. If the metric, L is stationary and M has a strictly space-convex boundary, then variational tools allow to prove the existence of at least one closed spacelike geodesic in it. Keywords: Stationary Lorentzian manifolds, closed geodesics, Ljusternik Schnirelmann category, spaceconvex boundary. MS classification: 53C5, 58E5, 58E1. 1. Introduction The aim of this paper is to look for closed geodesics in a special class of Lorentzian manifolds with boundary. Let us recall that if (M,, L ) is a Lorentzian manifold, a smooth curve z :[a, b] M is a geodesic if D s ż(s) = for all s [a, b], where ż is the tangent field along z and D s ż is the covariant derivative of ż along z induced by the Levi-Civita connection of, L. It is well known that, if z is a geodesic, then there exists a constant E z, named energy of z, such that E z = ż(s), ż(s) L for all s [a, b] ; hence z is called spacelike, respectively lightlike or timelike, if E z is positive, respectively null or negative. This classification is called causal character of geodesics and comes from General Relativity (cf. [12, 15]). We say that a geodesic z :[a, b] M is closed if z(a) = z(b), ż(a) =ż(b). The research of closed geodesics with prescribed causal character is useful above all in order to have more information about the geometry of a Lorentzian manifold. Some existence results 1 Supported by M.U.R.S.T. (research funds ex 4% and 6%) and E.E.C., Program Human Capital Mobility (Contract ERBCHRXCT 94494) //$ see frontmatter c 2 Published by Elsevier Science B.V. All rights reserved PII S ()33-4
2 252 A.M. Candela, A. Salvatore for closed non-spacelike geodesics have been stated if M is compact (cf. [8, 9, 18]) while the existence of a closed spacelike geodesic holds, for example, if M = M S 1 is compact and of splitting type (cf. [1]). Anyway in [9] an example of a compact Lorentzian manifold without spacelike closed geodesics makes interesting to investigate more about the existence of spacelike closed geodesics in non-compact Lorentzian manifolds. To this aim, let us introduce the following definition. Definition 1.1. A Lorentzian manifold (M,, L ) is stationary if there exists a smooth connected finite-dimensional Riemannian manifold (M,, ) such that M = M R while, L has the following form: ζ,ζ L = ξ,ξ + δ(x ),ξ τ + δ(x ),ξ τ β(x ) ττ, (1.1) for any z = (x, t) M = M R and ζ = (ξ, τ), ζ = (ξ,τ ) T z M T x M R, where δ : M T M and β : M ], + [ are smooth. In particular, the metric (1.1) is called static if δ(x). It is easy to see that a closed geodesic on a stationary Lorentz manifold can never be timelike while it is lightlike only if it is reduced to a single point. On the other hand, the existence of closed spacelike geodesics has been proved in a stationary Lorentzian manifold if M is compact (cf. [13]). Here, we want to extend this result to stationary manifolds with strictly space-convex boundary (cf. Definition 1.5). First of all let us recall the following definition (cf. [14]). Definition 1.2. Let M be an open connected subset of a Lorentzian manifold M. We say that M has a strictly space-convex boundary M if any spacelike geodesic z :[a, b] M M is such that z(]a, b[) M. Remark 1.3. Let M be strictly space-convex and z :[a, b] M M be a closed spacelike geodesic. It is easy to see that, by extending z to a bigger interval by periodicity, there results z([a, b]) M. Remark 1.4. If M has a smooth boundary M, there exists a smooth function : M R such that (z) = z M, (z) > z M, (1.2) L (z) if z M (such a function can be defined by using the distance from the boundary). It is known that, if M is strictly space-convex too, then there results H L (z)[ζ, ζ] (1.3) for any z M and ζ T z M spacelike, where HL (z) : T z M T zm R denotes the Hessian of at the point z (cf. [14, Proposition 4.1.3]). Vice versa if H L (z)[ζ, ζ] < for all z M and ζ T z M spacelike, (1.4)
3 Closed geodesics in stationary manifolds 253 then M is strictly space-convex. Indeed, suppose that z :[a, b] M M is a spacelike geodesic such that there exists s ]a, b[ with z(s ) M. Then s is a minimum point of the C 2 function z; hence, d2 ds z(s 2 ) = H L (z(s ))[ż(s ), ż(s )] in contradiction with (1.4). From now on, let M be a stationary Lorentzian manifold. Definition 1.5. We say that (M,, L ), M = M R, is a stationary manifold with strictly space-convex boundary if there exists (M, g ) stationary Lorentzian manifold, M = M R, such that M is an open connected subset of M and g M =, L. Moreover (H 1 ) M is a C 2 submanifold of M ; (H 2 ) M M is complete with respect to the Riemannian structure on M (i.e., any geodesic x :]a, b[ M can be extended to a continuous curve x :[a, b] M M ); (H 3 ) M = M R is strictly space-convex. Remark 1.6. As M is a C 2 submanifold of M then there exists a C2 function φ : M R such that M = {x M : φ(x ) > }, M = {x M : φ(x ) = } (1.5) and φ(x ) for any x M, where φ denotes the gradient of φ with respect to the Riemannian structure on M.Ifweset there results (z) = φ(x ) for any z = (x, t ) M, (1.6) L (z) = ( φ(x ), ), where L denotes the gradient of with respect to the Lorentzian structure on M. It is easy to prove that satisfies (1.2); moreover by (H 3 ) it follows that satisfies (1.3), too. Theorem 1.7. Let (M,, L ), M = M R, be a stationary manifold with strictly spaceconvex boundary such that M is not contractible in itself and its fundamental group π 1 (M ) is finite or it has infinitely many conjugacy classes. Suppose that there exist ν, N > such that ν β(x ) N for all x M. (1.7) Assume that there exist x M, U C 2 (M, R + ) and some positive constants R, ρ, λ, such that x M, d(x, x ) R H U R (x )[ξ,ξ] λ ξ,ξ for all ξ T x M (1.8) and x M, d(x, x ) R φ(x ) ρ, (1.9)
4 254 A.M. Candela, A. Salvatore where d(, ) is the distance in M and HR U (x)[ξ,ξ] denotes the Hessian of the function U at x in the direction ξ both induced by the Riemannian structure, on M.Hereφ defines the boundary M as in (1.5). Furthermore, let us suppose that lim δ(x ),δ(x) =, (1.1) d(x,x ) + sup x M U(x ) δ (x ) < +, sup x M U(x ) β(x ) < +, (1.11) where 2 =, and δ (x) = sup{ δ (x)[v] : v T x M, v =1}. Then there exists at least one spacelike closed geodesic in M. Remark 1.8. If δ(x), Theorem 1.7 implies the existence of closed geodesics in static manifolds with strictly space-convex boundary. Let us point out that z = (x, t) is a closed geodesic in a static manifold if and only if t is constant and x is a closed geodesic in M (see, e.g., [13, Remark 2.9]). Consequently, the study of closed geodesics in static Lorentzian manifolds can be reduced to the research of closed geodesics in Riemannian manifolds; in particular, by [6, Theorem 1.2] it follows the existence of closed geodesics in static manifolds with non-smooth convex boundary. Remark 1.9. It is easy to see that if z = (x, t) is a closed geodesic, then for any c R z c = (x, t + c) is a closed geodesic, too. 2. Variational setting In this section we want to introduce a suitable functional whose critical points can be led back to closed geodesics. From now on, let (M,, L ) be a stationary Lorentzian manifold such that M = M R while its metric, L is given in (1.1). Assume [a, b] = [, 1] = I. For all n N, define the Hilbert space { H 1 (S 1, R n ) = γ L 2 ( I, R n ) : γ is absolutely continuous, } γ 2 ds < +, γ() = γ(1) equipped with the norm γ 2 = γ γ 2 2 = γ (s) 2 ds + γ (s) 2 ds, where 2 is the usual norm in L 2 (I, R n ). By Nash Embedding Theorem we can assume that M is a submanifold of an Euclidean space R N and its Riemannian metric, is just the Euclidean metric on R N ; hence, the following definition can be stated: 1 = 1 (M ) = { x H 1 (S 1, R N ) : x(s) M for all s I }.
5 Closed geodesics in stationary manifolds 255 It is well known that 1 is a submanifold of H 1 (S 1, R N ) and for any x 1 the tangent space to 1 at x is such that T x 1 { ξ H 1 (S 1, R N ) : ξ(s) T x(s) M for all s I }. Assume Z = 1 H 1 (S 1, R). Clearly Z is a Hilbert manifold such that at any z Z the tangent space is T z Z T x 1 H 1 (S 1, R); moreover, on such a manifold the action integral f : z = (x, t) Z f (z) R is defined by setting f (z) = 1 ż, ż 2 L ds = 1 ( 2 ẋ, ẋ +2 δ(x ), ẋ ṫ β(x )ṫ 2 ) ds. Standard arguments allow to prove that f is a C 1 functional and for any z = (x, t) Z and ζ = (ξ, τ) T z Z, there results f (z)[ζ ] = ẋ, ξ ds δ(x ), ξ ṫds+ δ (x )[ξ ], ẋ ṫds β(x ),ξ ṫ 2 ds δ(x ), ẋ τ ds β(x ) ṫ τ ds. (2.1) It is easy to see that if z is a closed geodesic in M then z Z is a critical point of f ; moreover, the vice versa can be proved. Proposition 2.1. If z = (x, t) is a critical point of f in Z then it is a closed geodesic in M. Proof. Let z = (x, t) Z be a critical point of f. Then by (2.1) it is f (z)[(, τ)] = δ(x ), ẋ τ ds for all τ C (I, R); hence, a constant c R exists such that δ(x ), ẋ β(x ) ṫ = c almost everywhere in I. β(x ) ṫ τ ds = (2.2) By integrating, there results ( δ(x), ẋ /β(x)) ds c = K (x ) = (1/β(x)) ds R ; (2.3) whence ṫ = δ(x), ẋ K (x) β(x) almost everywhere in I. (2.4) So, arguing as in [13], it can be proved that x C 2 (I, R N ), t C 2 (I, R) and z is a closed geodesic in M. Now our problem is to find critical points of f in Z. More precisely, by Remark 1.9 we have just to look for critical points of f in Z = 1 H 1, with H 1 ={t H 1 (S 1, R) : t() = t(1) = }.
6 256 A.M. Candela, A. Salvatore But, unlike the Riemannian case, the action functional f is unbounded from above and from below in Z, so to overcome this difficulty we introduce a new functional, bounded from below, whose critical points can be related to those ones of f. Proposition 2.2. Let : x 1 (x) H 1 be the C1 function such that s δ(x ), ẋ K (x ) (x )(s) = dσ for all s I. (2.5) β(x ) The following assumptions are equivalent: (i) z Z is a critical point of f ; (ii) z = (x, t) is such that x 1 is a critical point of the functional J(x ) = 1 δ(x), ẋ 2 ( ẋ, ẋ + K 2 ) (x) ds 2 (2.6) β(x) β(x) and t = (x). Moreover, if (i) or (ii) holds, it is f (x, (x )) = J(x ). (2.7) Proof. Since f is a C 1 functional on Z, let us consider the partial derivatives of f in z = (x, t) given by f x (z)[ξ ] = f (z)[(ξ, )] for all ξ T x 1, f t (z)[τ ] = f (z)[(, τ)] for all τ H 1. Clearly, the critical points of f in Z have to be in the set N = {z Z : f t (z) }. It is obvious that (2.2) and (2.4) imply z = (x, t ) N t = (x ) ; (2.8) whence, N is the graph of the C 1 map and a smooth submanifold of Z. So the functional J in (2.6) is just the restriction of f to N; hence, it is a C 1 functional such that there results J (x )[ξ ] = f x (x, (x ))[ξ ] for every x 1,ξ T x 1. (2.9) Let z = (x, t) Z. As for any (ξ, τ) T z Z it is f (z)[(ξ, τ)] = f x (z)[ξ ] + f t (z)[τ ], then (2.8) and (2.9) complete the proof. Lemma 2.3. For any x 1 there results J(x ) 1 2 Hence, J(x) and ẋ, ẋ ds. (2.1) J(x ) = x is constant.
7 Closed geodesics in stationary manifolds 257 Proof. By (2.3) and the Hölder inequality it follows that K 2 (x ) then (2.1) holds. 1 β(x) ds δ(x),ẋ 2 β(x) ds, As already remarked in Section 1, by Proposition 2.2 and Lemma 2.3 it follows that any non-trivial closed geodesic in M has to be spacelike. In order to prove the existence of critical points of J let us introduce some results of the Ljusternik Schnirelman theory (for more details, see, e.g., [16, 17]). Definition 2.4. Let X be a topological space. Given A X, the Ljusternik Schnirelman category of A in X, denoted by cat X (A), is the least number of closed and contractible subsets of X covering A. If it is not possible to cover A with a finite number of such sets it is cat X (A) =+. We assume cat(x) = cat X (X). In order to state the classical Ljusternik Schnirelman Multiplicity Theorem we need the following definition. Definition 2.5. Let be a Riemannian manifold and g : R a C 1 functional. We say that a sequence (x n ) n N is a Palais Smale sequence, briefly (PS) sequence, if sup g(x n ) < + and lim n N n + g (x n ) = (here g (x n ) goes to in the norm induced on the cotangent bundle by the Riemannian metric on ). Moreover, g satisfies the Palais Smale condition, briefly (PS), ifany(ps) sequence has a convergent subsequence. Theorem 2.6. Let be a smooth Riemannian manifold and g : R ac 1 functional which satisfies (PS). Let us assume that is complete or every sublevel of g in is complete. If k N, k >, let us define Ɣ k = { A : cat ( A) k}, c k = inf sup A Ɣ k x A g(x ). If Ɣ k and c k R, then c k is a critical value of g. (2.11) Remark 2.7. Let and g be as in Theorem 2.6. If g is bounded from below, then for any c R it is cat (g c ) < +, where g c ={x : g(x) c}. The following result, due to Fadell and Husseini (cf. [7]), allows to evaluate the Ljusternik Schnirelman category of the space of loops 1.
8 258 A.M. Candela, A. Salvatore Proposition 2.8. Let M be a connected finite-dimensional manifold which is not contractible in itself. Suppose that its fundamental group π 1 (M ) is not infinite with finitely many conjugacy classes. Then cat( 1 ) =+ and 1 has compact subsets of arbitrarily high category. 3. Penalization arguments Let (M,, L ), M = M R, be a stationary manifold with strictly space-convex boundary. Since M is not complete and, eventually, not bounded, the functional J does not satisfy the (PS) condition. Indeed we can consider a sequence (x n ) n N of constant curves in 1 such that x n x M or d(x n, x ) + as n + for a certain x M (when M is not bounded, too): (x n ) n N is a (PS) sequence without subsequences converging in 1. Thus we will introduce a family of penalized functionals ( f ε ) ε> in such a way that every J ε, associated to f ε, satisfies the (PS) condition. Here and in the following, we assume that M is not bounded and there exists U C 2 (M, R + ) such that (1.8) holds (otherwise the proof of Theorem 1.7 is simpler). Fixed ε>, let ψ ε : R + R + be a C 2 cut-function defined as follows: if s 1 ε, ψ ε (s) = + µ n ( s 1 ) n if s > 1 (3.1) n! ε ε, n=3 where µ = max{1,λ}, λ given in (1.8). It is easy to prove that ψ ε (s) µψ ε (s) for any s R +, (3.2) ψ ε (s) ψ ε (s) for any ε ε, s R +. (3.3) For any x M, define ( ) 1 φ ε (x ) = ψ ε, φ 2 (x) U ε (x ) = ψ ε (U(x )), (3.4) where φ is as in Remark 1.6. Let us penalize the action functional f in the following way f ε (z) = f (z) + φ ε (x ) ds + U ε (x ) ds, z = (x, t ) Z. By standard arguments f ε is of class C 1 ; moreover, arguing as in Proposition 2.1, any critical point z ε of f ε is C 2 and solves the following boundary problem D s ż ε = 2ψ ε ż ε () =ż ε (1), ( 1 2 (z ε ) ) L (z ε ) 3 (z ε ) ψ ε ( U (z ε )) L U (z ε ), (3.5)
9 Closed geodesics in stationary manifolds 259 where is as in (1.6) and U(z) = U(x) if z = (x, t). Remark 3.1. Since the penalization terms do not depend on the variable t, there results f ε (z)[(,τ)] = f (z)[(,τ)] for all τ H 1. Then, Proposition 2.2 holds for the functionals f ε and J ε by using the same map, where J ε (x ) = J(x ) + φ ε (x ) ds + Moreover, since ψ ε is positive, (2.1) implies J ε (x ) 1 2 U ε (x ) ds, x 1. ẋ, ẋ ds for all x 1. (3.6) In order to relate the critical points of J ε to those ones of J we need the following technical lemma. Lemma 3.2. Let U C 2 (M, R + ), λ>, R > and x M be such that (1.8) holds and {x M : d(x, x ) R} is complete. Then there exist some positive constants c 1, c 2, c 3 such that for any x M there results U(x ), U(x ) 1/2 λ d(x, x ) c 1, U(x ) 1 2 λ d2 (x, x ) c 2 d(x, x ) c 3. Proof. See [4, Lemma 2.2]. Remark 3.3. The function U satisfying (1.8) is introduced in order to give a control on M at infinity; hence, it is not restrictive to assume that U is bounded on bounded sets and it is possible to choose Clearly, there results U sup { U(x ) : x M, d(x, x ) R + 1 }. U(x ) > U d(x, x ) R + 1. Proposition 3.4. Let (M,, L ) be a stationary manifold with strictly space-convex boundary such that the hypotheses (1.7) (1.11) hold. Taken L, M >, there exists ε = ε (L, M) > such that for every ε ],ε [ if x ε 1 satisfies J ε (x ε ) =, L J ε (x ε ) M, (3.7) then J(x ε ) = J ε (x ε ), J (x ε ) =. Proof. It is enough to prove that there exist ε 1, ε 2 > such that any x ε 1 which satisfies (3.7) is such that sup U(x ε (s)) < 1 s I ε if ε ε 1, (3.8) inf s I φ2 (x ε (s)) >ε if ε ε 2. (3.9)
10 26 A.M. Candela, A. Salvatore First, let us prove (3.8). Arguing by contradiction, assume that there exist ε n (x n ) n N 1 such that and J ε n (x n ) =, L J εn (x n ) M for all n N (3.1) and sup U(x n (s)) 1. s I ε n As U is bounded on bounded sets (see Remark 3.3) it follows that sup { d(x n (s), x ) : s I, n N } =+. (3.11) On the other hand, (3.6) and (3.1) imply ( ) ẋ n, ẋ n ds is bounded ; (3.12) thus (3.11) and (3.12) give n N inf d(x n (s), x ) + as n +. (3.13) s I Clearly, by (1.9) and (3.13) there exists n 1 N such that for n n 1 it is inf s I φ(x n (s)) ρ> εn ; whence, (3.1) and (3.4) imply φ εn (x n (s)) = φ ε n (x n (s)) = for all s I. (3.14) Let us consider n n 1. By (3.1) and Remark 3.1, defined t n = (x n ), z n = (x n, t n ) is a C 2 critical point of f εn, where by (3.14) it is f εn (z) = f (z) + U ε n (x) ds for all z = (x, t) Z. In particular, for any ξ T xn 1 it results = f ε n (z n )[(ξ, )] = + δ(x n ), ξ ṫ n ds 1 2 ẋ n, ξ ds + δ (x n )[ξ ], ẋ n ṫ n ds β(x n ),ξ ṫ 2 n ds + U εn (x n ),ξ ds ; whence, (2.5) and simple calculations prove that x n is a C 2 solution of the following equation D s ẋ n + δ(x n ),Dsẋn β(x n ) δ(x n ) = δ (x n )[ẋ n ], ẋ n β(x n ) + ( δ(x n ), ẋ n K(x n ) ) β(x n ),ẋ n β 2 (x n ) ( + ṫ n δ (x n ) δ (x n ) ) [ẋ n ] 1 2 ṫ 2 n β(x n ) + ψ ε n (U(x n )) U(x n ), δ(x n ) δ(x n ) (3.15) where δ (x n ) is the adjoint of δ (x n ). Taken x M, let us define the linear operator A(x ) : v T x M A(x )[v] = δ(x),v β(x) δ(x ) T x M.
11 Closed geodesics in stationary manifolds 261 Clearly, it is δ(x ) 2 A(x ) for any x M β(x ), (3.16) with h(x) = sup { h(x)[v] : v T x M, v =1} for any linear and continuous operator h(x) : T x M T x M ; hence, by (1.7), (1.1) and (3.16) it is lim A(x ) = d(x,x ) + which implies the existence of R 1 R such that, taken x M verifying d(x, x ) R 1, the operator I + A(x) is invertible. Let B(x) = (I + A(x)) 1 be its inverse. In particular, by (3.13) there exists n 2 N, n 2 n 1, such that for n n 2 and for all s I there results d(x n (s), x ) R 1 R (3.17) and B(x n (s)) is well defined. Thus (3.15) becomes D s ẋ n = δ (x n )[ẋ n ], ẋ n B(x β(x n ) n )[δ(x n )] + ( δ(x n ), ẋ n K(x n ) ) β(x n ),ẋ n B(x β 2 (x n ) n )[δ(x n )] + ṫ n B(x n ) [ (δ (x n ) δ (x n ))[ẋ n ] ] 1 2 ṫ 2 n B(x n )[ β(x n )] + ψ ε n (U(x n )) B(x n )[ U(x n )]. Let us define u n (s) = U(x n (s)). By (3.5) it is u n () = u n (1), then by (1.8) and (3.17) the previous equation implies ( = ü n (s) ds = H U R (x n )[ẋ n, ẋ n ] + U(x n ), D s ẋn ) ds We claim that λ = λ lim n ẋ n, ẋ n ds + ẋ n, ẋ n ds 1 ṫ 2 2 n + ṫ 2 n U(x n ), D s ẋ n ds δ (x n )[ẋ n ], ẋ n β(x n ) ( δ(xn ), ẋ n K(x n ) ) β(x n ), ẋ n β 2 (x n ) ṫ n U(xn ), B(x n ) [ (δ (x n ) δ (x n ))[ẋ n ] ] ds U(xn ), B(x n )[ β(x n )] ds ψ ε n (U(x n )) U(x n ), B(x n )[ U(x n )] ds. U(xn ), B(x n )[δ(x n )] ds U(xn ), B(x n )[δ(x n )] ds ds =. (3.18)
12 262 A.M. Candela, A. Salvatore In fact, (1.7), (1.1) and (3.12) imply δ(x n ), ẋ n β(x n ) ds = o(1), δ(x n ), ẋ n 2 β(x n ) ds = o(1), then K (x n ) = o(1) by definition (2.3); hence, (3.18) follows by (2.5) (here o(1) is any infinitesimal sequence). Then the definition of J εn and (3.1) give δ(x ẋ n, ẋ n ds = 2J εn (x n ) n ), ẋ n 2 ds β(x n ) + K (x n ) β(x n ) ds 2 U εn (x n ) ds 2L 2 U εn (x n ) ds + o(1). Moreover, by using also the hypotheses (1.11) and arguing as in [5, Appendix], it can be proved that δ (x n )[ẋ n ], ẋ n U(xn ), B(x β(x n ) n )[δ(x n )] ds = o(1), ( δ(xn ), ẋ n K(x n ) ) β(x n ), ẋ n U(xn ), B(x β 2 (x n ) n )[δ(x n )] ds = o(1), ṫ 2 n ṫ n U(xn ), B(x n ) [ (δ (x n ) δ (x n ))[ẋ n ] ] ds = o(1), U(xn ), B(x n )[ β(x n )] ds = o(1), U(xn ), B(x n )[ U(x n )] 2 for n large enough. By (3.2) and the previous formulas there results λ ẋ n, ẋ n ds + 2 ψ ε n (U(x n )) ds + o(1) ( 2λL + 2 ψ ε n (U(x n )) λψ εn (U(x n )) ) ds + o(1) 2λL + o(1) which gives a contradiction. Whence, (3.8) holds and for n large enough it is U εn (x n (s)) = for all s I. (3.19) Now suppose that (3.9) does not hold, then there exist ε n and (x n ) n N in 1 such that (3.1) is satisfied and inf φ(x n (s)) ε n. (3.2) s I By the first part of this proof, if n is large enough (3.19) holds; hence, z n = (x n, (x n )) is a C 2
13 Closed geodesics in stationary manifolds 263 critical point of f εn satisfying the following equation ( ) 1 D s ż n = 2ψ L (z n ) ε n 2 (z n ) 3 (z n ). Arguing as in [1, Lemma 4.7] it is possible to prove that (x n ) n N converges in H 1 (S 1, R N ) to a curve x 1 (M M ) and z = (x, (x)) solves the equation D s ż(s) = γ (s) L (z(s)), where γ L 2 (I, R). Moreover, as in the proof of [1, Theorem 5.1] (see also [11, Lemma 3.8]), the condition (1.3) implies that z is a closed geodesic in M M. Let us remark that by [1, Remark 4.5] it is lim n + ( ) 1 ψ εn ds =, φ 2 (x n ) then J εn (x n ) J(x) as n + ; hence, by (2.7) and (3.1), z is a spacelike geodesic. Since (3.2) implies that z touches the boundary M, Definition 1.2 and Remark 1.3 give a contradiction. 4. Proof of the main theorem Let M = M R be a stationary manifold with strictly space-convex boundary such that the hypotheses of Theorem 1.7 hold. Lemma 4.1. Let φ be as in Remark 1.6 and assume that (1.9) holds. If (x n ) n N is a sequence in 1 such that ( ) ẋ n, ẋ n ds is bounded n N and there exists (s n ) n N I such that then lim n + φ(x n (s n )) =, 1 lim ds =+. n + φ 2 (x n ) Proof. Cf. [2, Lemma 3.2]. Lemma 4.2. Let ε> be fixed. For any c R the sublevel J c ε = {x 1 : J ε (x ) c} is a complete metric space; moreover, J ε satisfies the (PS) condition.
14 264 A.M. Candela, A. Salvatore Proof. Let ε>and c R be fixed. Clearly, the sets { } { ẋ, ẋ ds : x J c 1 ε, φ ε (x )ds : x J c ε } and { } U ε (x )ds : x J c ε are bounded, then by Lemmas 4.1 and 3.2 it can be easily deduced that there exist r, µ> such that J c ε 1 ( B r,µ ), B r,µ = { x M : d(x, x ) r, φ(x ) µ }. Since B r,µ is a compact subset of M, then 1 (B r,µ ) is complete which implies that the closed subset Jε c is complete, too. Let us prove, now, that J ε verifies the (PS) condition. Let (x n ) n N 1 be a (PS) sequence, i.e., ( J ε (x n )) n N is bounded, (4.1) lim J n + ε (x n ) =. (4.2) By (4.1) and the previous remark there exist r, µ>such that x n 1 ( B r,µ ) for any n N and whence, ( ) ẋ n, ẋ n ds n N is bounded ; (x n ) n N is bounded in H 1 (S 1, R N ) (4.3) and there exists x 1 (B r,µ ) such that x n x weakly in H 1 (I, R N ) and uniformly in I up to subsequences. By [3, Lemma 2.1] it follows that there exist two bounded sequences (ξ n ) n N and (ν n ) n N in H 1 (I, R N ) such that x n x = ξ n + ν n, ξ n T xn 1 for any n N, ξ n weakly in H 1 ( I, R N ) and ν n strongly in H 1 ( I, R N ). (4.4) Moreover, taken t n = (x n ), by (2.5) and (4.3) the sequence (t n ) n N is bounded in H 1 (I, R), then, up to subsequences, t n t weakly in H 1 (I, R). By (4.2), (2.8) and (2.9) imply o(1) = J ε (x n )[ξ n ] = f ε (z n )[(ξ n, τ n )], (4.5) where z n = (x n, t n ) and τ n = t n t. By the definition of f ε, (4.5) becomes o(1) = ẋ n, ξ n ds + + δ (x n )[ξ n ], ẋ n ṫ n ds + δ(x n ), ξ n ṫ n ds δ(x n ), ẋ n τ n ds 1 β 2 (x n )[ξ n ] ṫ 2 n ds + β(x n ) ṫ n τ n ds φ ε (x n )[ξ n ] ds + U ε (x n )[ξ n ] ds.
15 Closed geodesics in stationary manifolds 265 Clearly, by (4.3) and (4.4) it follows that φ ε (x n )[ξ n ] ds = o(1), U ε (x n )[ξ n ] ds = o(1). Then, arguing as in [13, Lemma 3.2], it is possible to prove that ξ n inh 1 (I, R N ); whence, x n x strongly. Lemma 4.3. For any c R it results Proof. Setting cat 1( J c ) < +. F(x ) = ẋ, ẋ ds, by (2.1) it is J c F 2c ; moreover, since cat 1(F k )<+ for all k R (see [6, Lemma 4.1]), the monotonicity property of the Ljusternik Schnirelmann category gives the conclusion. Proof of Theorem 1.7. Let L > be fixed. Lemma 4.3 implies that there exists k N such that B J L for all B Ɣ k, where Ɣ k is defined as in (2.11) and J L ={x 1 : J(x) >L}. Since J L J ε,l for all ε>, it is B J ε,l for all B Ɣ k ; hence, L c ε,k, where c ε,k = inf sup J ε (x ). (4.6) B Ɣ k x B By Proposition 2.8 there exists a compact set K 1 such that cat 1(K ) k. By (3.3) it is J ε (x) J 1 (x) for all x 1 if ε 1, then by (4.8) for all ε 1 it follows L c ε,k M, where M = max J 1 (x ). (4.7) x K Since for all ε 1 Lemma 4.2 and Theorem 2.6 imply the existence of at least one critical point x ε of J ε such that J ε (x ε ) = c ε,k satisfies (4.9), Proposition 3.4 implies that, if ε is small enough, x ε is a critical point of J. Whence, z ε = (x ε, (x ε )) is a closed geodesic in M such that f (z ε ) = J(z ε ) L. Remark 4.4. Clearly, for any L > ifε is small enough there exists a closed geodesic z ε such that f (z ε ) L. In particular, there exists at least a closed spacelike geodesic. Unluckily, we have not a multiplicity result since the found geodesics may not be geometrically distinct. References [1] F. Antonacci and R. Sampalmieri, Closed geodesics on compact Lorentzian manifolds of splytting type, Proc. Roy. Soc. Edinburgh Sect. A 128 (1998) [2] V. Benci, Normal modes of a Lagrangian system constrained in a potential well, Ann. Inst. H. Poincaré Anal. Non Linéaire 1 (1984) [3] V. Benci and D. Fortunato, On the existence of infinitely many geodesics on space time manifolds, Adv. Math. 15 (1994) 1 25.
16 266 A.M. Candela, A. Salvatore [4] V. Benci, D. Fortunato and F. Giannoni, On the existence of periodic trajectories in static Lorentz manifolds with singular boundary, in: A. Ambrosetti and A. Marino, eds., Nonlinear Analysis, a Tribute in Honour of G. Prodi, Quaderni (Scuola Norm. Sup., Pisa, 1991) [5] A.M. Candela, Lightlike periodic trajectories in space-times, Ann. Mat. Pura Appl. 171 (1996) [6] A.M. Candela and A. Salvatore, Closed geodesics in Riemannian manifolds with convex boundary, Proc. Roy. Soc. Edinburgh A 124 (1994) [7] E. Fadell and S. Husseini, Category of loop spaces of open subsets in Euclidean space, Nonlinear Anal. 17 (1991) [8] G.J. Galloway, Closed timelike geodesics, Trans. Amer. Math. Soc. 285 (1984) [9] G.J. Galloway, Compact Lorentzian manifolds without closed nonspacelike geodesics, Proc. Amer. Math. Soc. 98 (1986) [1] F. Giannoni and A. Masiello, On the existence of geodesics on stationary Lorentz manifolds with convex boundary, J. Funct. Anal. 11 (1991) [11] F. Giannoni and A. Masiello, Morse relations for geodesics on stationary Lorentzian manifolds with boundary, Topol. Methods Nonlinear Anal. 6 (1995) 1 3. [12] S.W. Hawking and G.F. Ellis, The Large Scale Structure of Space-Time (Cambridge Univ. Press, London,1973). [13] A. Masiello, On the existence of a closed geodesic in stationary Lorentz manifolds, J. Differential Equations 14 (1993) [14] A. Masiello, Variational Methods in Lorentzian Geometry, Pitman Res. Notes Math. Ser. 39 (Longman Sci. Tech., Harlow, 1994). [15] B. O Neill, Semi-Riemannian Geometry with Applications to Relativity (Academic Press, New York, 1983). [16] R.S. Palais, Lusternik Schnirelman theory on Banach manifolds, Topology 5 (1966) [17] M. Struwe, Variational Methods. Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems (Springer, Berlin, 199). [18] F.J. Tipler, Existence of closed timelike geodesics in Lorentz spaces, Proc. Amer. Math. Soc. 11 (1979)
arxiv: v1 [math-ph] 13 Aug 2014
Periodic Solutions for N-Body-Type Problems Fengying Li 1 Shiqing Zhang 1 School of Economic and Mathematics,Southwestern University of Finance and Economics, arxiv:148.31v1 [math-ph] 13 Aug 14 Chengdu,
More informationPERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC
LE MATEMATICHE Vol. LXV 21) Fasc. II, pp. 97 17 doi: 1.4418/21.65.2.11 PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC JEAN MAWHIN The paper surveys and compares some results on the
More informationMULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 2006(2006), No. 37, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) MULTIPLE
More informationAN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS. Vieri Benci Donato Fortunato. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume, 998, 83 93 AN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS Vieri Benci Donato Fortunato Dedicated to
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationMULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN
Electronic Journal of Differential Equations, Vol. 016 (016), No. 97, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIONS
More informationNONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 34, 29, 327 338 NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS Shouchuan Hu Nikolas S. Papageorgiou
More informationEXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM
EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM JENICĂ CRÎNGANU We derive existence results for operator equations having the form J ϕu = N f u, by using
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationVariational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian
Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian An Lê Mathematics Sciences Research Institute, 17 Gauss Way, Berkeley, California 94720 e-mail: anle@msri.org Klaus
More informationMULTIPLE SOLUTIONS FOR A KIRCHHOFF EQUATION WITH NONLINEARITY HAVING ARBITRARY GROWTH
MULTIPLE SOLUTIONS FOR A KIRCHHOFF EQUATION WITH NONLINEARITY HAVING ARBITRARY GROWTH MARCELO F. FURTADO AND HENRIQUE R. ZANATA Abstract. We prove the existence of infinitely many solutions for the Kirchhoff
More informationPeriodic Orbits of Weakly Exact Magnetic Flows
Nonl. Analysis and Differential Equations, Vol. 1, 213, no. 2, 93-1 HIKARI Ltd, www.m-hikari.com Periodic Orbits of Weakly Exact Magnetic Flows Osvaldo Osuna Instituto de Física y Matemáticas, Universidad
More informationSOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES
ARCHIVUM MATHEMATICUM (BRNO) Tomus 42 (2006), 167 174 SOME PROPERTIES ON THE CLOSED SUBSETS IN BANACH SPACES ABDELHAKIM MAADEN AND ABDELKADER STOUTI Abstract. It is shown that under natural assumptions,
More informationComputations of Critical Groups at a Degenerate Critical Point for Strongly Indefinite Functionals
Journal of Mathematical Analysis and Applications 256, 462 477 (2001) doi:10.1006/jmaa.2000.7292, available online at http://www.idealibrary.com on Computations of Critical Groups at a Degenerate Critical
More informationEXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system
Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE
More informationOn periodic solutions of superquadratic Hamiltonian systems
Electronic Journal of Differential Equations, Vol. 22(22), No. 8, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) On periodic solutions
More informationHOMOLOGICAL LOCAL LINKING
HOMOLOGICAL LOCAL LINKING KANISHKA PERERA Abstract. We generalize the notion of local linking to include certain cases where the functional does not have a local splitting near the origin. Applications
More informationEXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 98, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) EXISTENCE
More informationEXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński
DISCRETE AND CONTINUOUS Website: www.aimsciences.org DYNAMICAL SYSTEMS SUPPLEMENT 2007 pp. 409 418 EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE Leszek Gasiński Jagiellonian
More informationOn m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry
On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationEXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS VIA SUSPENSIONS
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 172, pp. 1 11. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF CONJUGACIES AND STABLE MANIFOLDS
More informationTechnische Universität Dresden
Technische Universität Dresden Als Manuskript gedruckt Herausgeber: Der Rektor Existence of a sequence of eigensolutions for the 1-Laplace operator Z. Milbers and F. Schuricht Institut für Analysis MATH-AN-04-2008
More informationNon-radial solutions to a bi-harmonic equation with negative exponent
Non-radial solutions to a bi-harmonic equation with negative exponent Ali Hyder Department of Mathematics, University of British Columbia, Vancouver BC V6TZ2, Canada ali.hyder@math.ubc.ca Juncheng Wei
More informationA TWO PARAMETERS AMBROSETTI PRODI PROBLEM*
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper
More informationCURVATURE VIA THE DE SITTER S SPACE-TIME
SARAJEVO JOURNAL OF MATHEMATICS Vol.7 (9 (20, 9 0 CURVATURE VIA THE DE SITTER S SPACE-TIME GRACIELA MARÍA DESIDERI Abstract. We define the central curvature and the total central curvature of a closed
More informationA nodal solution of the scalar field equation at the second minimax level
Bull. London Math. Soc. 46 (2014) 1218 1225 C 2014 London Mathematical Society doi:10.1112/blms/bdu075 A nodal solution of the scalar field equation at the second minimax level Kanishka Perera and Cyril
More informationExistence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1
Journal of Mathematical Analysis and Applications 257, 321 331 (2001) doi:10.1006/jmaa.2000.7347, available online at http://www.idealibrary.com on Existence and Multiplicity of Solutions for a Class of
More informationA CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE
Journal of Applied Analysis Vol. 6, No. 1 (2000), pp. 139 148 A CHARACTERIZATION OF STRICT LOCAL MINIMIZERS OF ORDER ONE FOR STATIC MINMAX PROBLEMS IN THE PARAMETRIC CONSTRAINT CASE A. W. A. TAHA Received
More informationNONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian
More informationarxiv: v1 [math.dg] 13 Nov 2012
arxiv:1211.371v1 [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
More informationGeneralized metric properties of spheres and renorming of Banach spaces
arxiv:1605.08175v2 [math.fa] 5 Nov 2018 Generalized metric properties of spheres and renorming of Banach spaces 1 Introduction S. Ferrari, J. Orihuela, M. Raja November 6, 2018 Throughout this paper X
More informationStrongly nonlinear parabolic initial-boundary value problems in Orlicz spaces
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 203 220. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationExistence of Multiple Positive Solutions of Quasilinear Elliptic Problems in R N
Advances in Dynamical Systems and Applications. ISSN 0973-5321 Volume 2 Number 1 (2007), pp. 1 11 c Research India Publications http://www.ripublication.com/adsa.htm Existence of Multiple Positive Solutions
More informationPeriodic solutions of weakly coupled superlinear systems
Periodic solutions of weakly coupled superlinear systems Alessandro Fonda and Andrea Sfecci Abstract By the use of a higher dimensional version of the Poincaré Birkhoff theorem, we are able to generalize
More informationSCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze V. BENCI D. FORTUNATO F. GIANNONI On the existence of geodesics in static Lorentz manifolds with singular boundary Annali della Scuola Normale
More informationON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 3 1999 ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT M. Guedda Abstract: In this paper we consider the problem u = λ u u + f in, u = u
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More informationA local characterization for constant curvature metrics in 2-dimensional Lorentz manifolds
A local characterization for constant curvature metrics in -dimensional Lorentz manifolds Ivo Terek Couto Alexandre Lymberopoulos August 9, 8 arxiv:65.7573v [math.dg] 4 May 6 Abstract In this paper we
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationBrownian Motion and lorentzian manifolds
The case of Jürgen Angst Institut de Recherche Mathématique Avancée Université Louis Pasteur, Strasbourg École d été de Probabilités de Saint-Flour juillet 2008, Saint-Flour 1 Construction of the diffusion,
More informationON A MEASURE THEORETIC AREA FORMULA
ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel
More informationNonlinear elliptic systems with exponential nonlinearities
22-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 9, 22, pp 139 147. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationConvergence rate estimates for the gradient differential inclusion
Convergence rate estimates for the gradient differential inclusion Osman Güler November 23 Abstract Let f : H R { } be a proper, lower semi continuous, convex function in a Hilbert space H. The gradient
More informationarxiv: v1 [math.ap] 16 Jan 2015
Three positive solutions of a nonlinear Dirichlet problem with competing power nonlinearities Vladimir Lubyshev January 19, 2015 arxiv:1501.03870v1 [math.ap] 16 Jan 2015 Abstract This paper studies a nonlinear
More informationEXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS
Electronic Journal of Differential Equations, Vol. 2014 (2014), o. 28, pp. 1 10. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTECE OF SOLUTIOS
More informationp-laplacian problems with critical Sobolev exponents
Nonlinear Analysis 66 (2007) 454 459 www.elsevier.com/locate/na p-laplacian problems with critical Sobolev exponents Kanishka Perera a,, Elves A.B. Silva b a Department of Mathematical Sciences, Florida
More informationA Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s
A Caffarelli-Kohn-Nirenberg type ineuality with variable exponent and applications to PDE s Mihai Mihăilescu a,b Vicenţiu Rădulescu a,c Denisa Stancu-Dumitru a a Department of Mathematics, University of
More informationEXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 05, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE OF NONTRIVIAL
More informationOn Ekeland s variational principle
J. Fixed Point Theory Appl. 10 (2011) 191 195 DOI 10.1007/s11784-011-0048-x Published online March 31, 2011 Springer Basel AG 2011 Journal of Fixed Point Theory and Applications On Ekeland s variational
More informationCOMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS
Dynamic Systems and Applications 22 (203) 37-384 COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS VICENŢIU D. RĂDULESCU Simion Stoilow Mathematics Institute
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationSEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT
Electronic Journal of Differential Equations, Vol. 2012 (2012), No. 139, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SEMILINEAR ELLIPTIC
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationObstacle problems and isotonicity
Obstacle problems and isotonicity Thomas I. Seidman Revised version for NA-TMA: NA-D-06-00007R1+ [June 6, 2006] Abstract For variational inequalities of an abstract obstacle type, a comparison principle
More informationIn this paper we are concerned with the following nonlinear field equation:
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 17, 2001, 191 211 AN EIGENVALUE PROBLEM FOR A QUASILINEAR ELLIPTIC FIELD EQUATION ON R n V. Benci A. M. Micheletti
More informationSOME QUALITATIVE PROPERTIES OF THE SOLUTIONS OF AN ELLIPTIC EQUATION VIA MORSE THEORY. Giuseppina Vannella. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 9, 1997, 297 312 SOME QUALITATIVE PROPERTIES OF THE SOLUTIONS OF AN ELLIPTIC EQUATION VIA MORSE THEORY Giuseppina
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationHOMOCLINIC SOLUTIONS FOR SECOND-ORDER NON-AUTONOMOUS HAMILTONIAN SYSTEMS WITHOUT GLOBAL AMBROSETTI-RABINOWITZ CONDITIONS
Electronic Journal of Differential Equations, Vol. 010010, No. 9, pp. 1 10. ISSN: 107-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu HOMOCLINIC SOLUTIONS FO
More informationCounting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary
Counting geodesic arcs in a fixed conjugacy class on negatively curved surfaces with boundary Mark Pollicott Abstract We show how to derive an asymptotic estimates for the number of closed arcs γ on a
More informationGENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction
ACTA MATHEMATICA VIETNAMICA 205 Volume 29, Number 2, 2004, pp. 205-216 GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE HANDAN BALGETIR AND MAHMUT ERGÜT Abstract. In this paper, we define
More informationMultiple Solutions for Parametric Neumann Problems with Indefinite and Unbounded Potential
Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 8, Number 2, pp. 281 293 (2013) http://campus.mst.edu/adsa Multiple Solutions for Parametric Neumann Problems with Indefinite and Unbounded
More informationOn the simplest expression of the perturbed Moore Penrose metric generalized inverse
Annals of the University of Bucharest (mathematical series) 4 (LXII) (2013), 433 446 On the simplest expression of the perturbed Moore Penrose metric generalized inverse Jianbing Cao and Yifeng Xue Communicated
More informationMEAN CURVATURE FLOW OF ENTIRE GRAPHS EVOLVING AWAY FROM THE HEAT FLOW
MEAN CURVATURE FLOW OF ENTIRE GRAPHS EVOLVING AWAY FROM THE HEAT FLOW GREGORY DRUGAN AND XUAN HIEN NGUYEN Abstract. We present two initial graphs over the entire R n, n 2 for which the mean curvature flow
More informationOn Total Convexity, Bregman Projections and Stability in Banach Spaces
Journal of Convex Analysis Volume 11 (2004), No. 1, 1 16 On Total Convexity, Bregman Projections and Stability in Banach Spaces Elena Resmerita Department of Mathematics, University of Haifa, 31905 Haifa,
More informationA PROJECTED HESSIAN GAUSS-NEWTON ALGORITHM FOR SOLVING SYSTEMS OF NONLINEAR EQUATIONS AND INEQUALITIES
IJMMS 25:6 2001) 397 409 PII. S0161171201002290 http://ijmms.hindawi.com Hindawi Publishing Corp. A PROJECTED HESSIAN GAUSS-NEWTON ALGORITHM FOR SOLVING SYSTEMS OF NONLINEAR EQUATIONS AND INEQUALITIES
More informationA NOTE ON THE EXISTENCE OF TWO NONTRIVIAL SOLUTIONS OF A RESONANCE PROBLEM
PORTUGALIAE MATHEMATICA Vol. 51 Fasc. 4 1994 A NOTE ON THE EXISTENCE OF TWO NONTRIVIAL SOLUTIONS OF A RESONANCE PROBLEM To Fu Ma* Abstract: We study the existence of two nontrivial solutions for an elliptic
More informationMultiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type
Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationMultiplication Operators with Closed Range in Operator Algebras
J. Ana. Num. Theor. 1, No. 1, 1-5 (2013) 1 Journal of Analysis & Number Theory An International Journal Multiplication Operators with Closed Range in Operator Algebras P. Sam Johnson Department of Mathematical
More informationThe uniformly accelerated motion in General Relativity from a geometric point of view. 1. Introduction. Daniel de la Fuente
XI Encuentro Andaluz de Geometría IMUS (Universidad de Sevilla), 15 de mayo de 2015, págs. 2934 The uniformly accelerated motion in General Relativity from a geometric point of view Daniel de la Fuente
More informationA global solution curve for a class of free boundary value problems arising in plasma physics
A global solution curve for a class of free boundary value problems arising in plasma physics Philip Korman epartment of Mathematical Sciences University of Cincinnati Cincinnati Ohio 4522-0025 Abstract
More informationTHE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS
THE MULTIPLICATIVE ERGODIC THEOREM OF OSELEDETS. STATEMENT Let (X, µ, A) be a probability space, and let T : X X be an ergodic measure-preserving transformation. Given a measurable map A : X GL(d, R),
More informationON A PROBLEM OF ELEMENTARY DIFFERENTIAL GEOMETRY AND THE NUMBER OF ITS SOLUTIONS
ON A PROBLEM OF ELEMENTARY DIFFERENTIAL GEOMETRY AND THE NUMBER OF ITS SOLUTIONS JOHANNES WALLNER Abstract. If M and N are submanifolds of R k, and a, b are points in R k, we may ask for points x M and
More informationarxiv:math/ v3 [math.dg] 8 Nov 1999
arxiv:math/9905136v3 [math.dg] 8 Nov 1999 A NOTE ON THE MORSE INDEX THEOREM FOR GEODESICS BETWEEN SUBMANIFOLDS IN SEMI-RIEMANNIAN GEOMETRY PAOLO PICCIONE AND DANIEL V. TAUSK ABSTRACT. The computation of
More informationTopology of the set of singularities of a solution of the Hamilton-Jacobi Equation
Topology of the set of singularities of a solution of the Hamilton-Jacobi Equation Albert Fathi IAS Princeton March 15, 2016 In this lecture, a singularity for a locally Lipschitz real valued function
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationarxiv: v1 [math.ca] 5 Mar 2015
arxiv:1503.01809v1 [math.ca] 5 Mar 2015 A note on a global invertibility of mappings on R n Marek Galewski July 18, 2017 Abstract We provide sufficient conditions for a mapping f : R n R n to be a global
More informationParameter Dependent Quasi-Linear Parabolic Equations
CADERNOS DE MATEMÁTICA 4, 39 33 October (23) ARTIGO NÚMERO SMA#79 Parameter Dependent Quasi-Linear Parabolic Equations Cláudia Buttarello Gentile Departamento de Matemática, Universidade Federal de São
More informationThe effects of a discontinues weight for a problem with a critical nonlinearity
arxiv:1405.7734v1 [math.ap] 9 May 014 The effects of a discontinues weight for a problem with a critical nonlinearity Rejeb Hadiji and Habib Yazidi Abstract { We study the minimizing problem px) u dx,
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationThai Journal of Mathematics Volume 14 (2016) Number 1 : ISSN
Thai Journal of Mathematics Volume 14 (2016) Number 1 : 53 67 http://thaijmath.in.cmu.ac.th ISSN 1686-0209 A New General Iterative Methods for Solving the Equilibrium Problems, Variational Inequality Problems
More informationExistence of at least two periodic solutions of the forced relativistic pendulum
Existence of at least two periodic solutions of the forced relativistic pendulum Cristian Bereanu Institute of Mathematics Simion Stoilow, Romanian Academy 21, Calea Griviţei, RO-172-Bucharest, Sector
More informationAW -Convergence and Well-Posedness of Non Convex Functions
Journal of Convex Analysis Volume 10 (2003), No. 2, 351 364 AW -Convergence Well-Posedness of Non Convex Functions Silvia Villa DIMA, Università di Genova, Via Dodecaneso 35, 16146 Genova, Italy villa@dima.unige.it
More informationABSOLUTE CONTINUITY OF FOLIATIONS
ABSOLUTE CONTINUITY OF FOLIATIONS C. PUGH, M. VIANA, A. WILKINSON 1. Introduction In what follows, U is an open neighborhood in a compact Riemannian manifold M, and F is a local foliation of U. By this
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationNONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction
Electronic Journal of Differential Equations, Vol. 014 (014), No. 59, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NONLINEAR SCHRÖDINGER
More informationStrictly convex functions on complete Finsler manifolds
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 126, No. 4, November 2016, pp. 623 627. DOI 10.1007/s12044-016-0307-2 Strictly convex functions on complete Finsler manifolds YOE ITOKAWA 1, KATSUHIRO SHIOHAMA
More informationMULTIPLE POSITIVE SOLUTIONS FOR A KIRCHHOFF TYPE PROBLEM
Electronic Journal of Differential Equations, Vol. 205 (205, No. 29, pp. 0. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE POSITIVE SOLUTIONS
More informationSteepest descent method on a Riemannian manifold: the convex case
Steepest descent method on a Riemannian manifold: the convex case Julien Munier Abstract. In this paper we are interested in the asymptotic behavior of the trajectories of the famous steepest descent evolution
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationANISOTROPIC EQUATIONS: UNIQUENESS AND EXISTENCE RESULTS
ANISOTROPIC EQUATIONS: UNIQUENESS AND EXISTENCE RESULTS STANISLAV ANTONTSEV, MICHEL CHIPOT Abstract. We study uniqueness of weak solutions for elliptic equations of the following type ) xi (a i (x, u)
More informationFrom the Brunn-Minkowski inequality to a class of Poincaré type inequalities
arxiv:math/0703584v1 [math.fa] 20 Mar 2007 From the Brunn-Minkowski inequality to a class of Poincaré type inequalities Andrea Colesanti Abstract We present an argument which leads from the Brunn-Minkowski
More informationSome unified algorithms for finding minimum norm fixed point of nonexpansive semigroups in Hilbert spaces
An. Şt. Univ. Ovidius Constanţa Vol. 19(1), 211, 331 346 Some unified algorithms for finding minimum norm fixed point of nonexpansive semigroups in Hilbert spaces Yonghong Yao, Yeong-Cheng Liou Abstract
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More information