ASYMMETRIC SUPERLINEAR PROBLEMS UNDER STRONG RESONANCE CONDITIONS
|
|
- Earl Fields
- 5 years ago
- Views:
Transcription
1 Electronic Journal of Differential Equations, Vol. 07 (07), No. 49, pp. 7. ISSN: URL: or ASYMMETRIC SUPERLINEAR PROBLEMS UNDER STRONG RESONANCE CONDITIONS LEANDRO RECOVA, ADOLFO RUMBOS Abstract. We study the existence and multiplicity of solutions of the problem u = λ u + g(x, u), in ; u = 0, on, where is a smooth bounded domain in R N (N ), u denotes the negative part of u: R, λ is the first eigenvalue of the N-dimensional Laplacian with Dirichlet boundary conditions in, and g : R R is a continuous function with g(x, 0) = 0 for all x. We assume that the nonlinearity g(x, s) has a strong resonant behavior for large negative values of s and is superlinear, but subcritical, for large positive values of s. Because of the lack of compactness in this kind of problem, we establish conditions under which the associated energy functional satisfies the Palais-Smale condition. We prove the existence of three nontrivial solutions of problem () as a consequence of Ekeland s Variational Principle and a variant of the mountain pass theorem due to Pucci and Serrin [4]. (). Introduction Let denote a bounded, connected, open subset of R N, for N, with smooth boundary. We are interested in the existence and multiplicity of solutions of the semilinear elliptic boundary value problem (BVP): u = λ u + g(x, u), in ; u = 0, on, (.) where u denotes the negative part of u: R, λ is the first eigenvalue of the N- dimensional Laplacian with Dirichlet boundary conditions in, and g : R R and its primitive G(x, s) = s satisfy the following conditions: (A) g C( R, R) and g(x, 0) = 0 for all x. (A) lim s g(x, s) = 0, uniformly for a.e. x. 0 g(x, ξ)dξ, for x and s R, (.) 00 Mathematics Subject Classification. 35J0. Key words and phrases. Strong resonance; Palais-Smale condition; Ekeland s principle. c 07 Texas State University. Submitted February 9, 07. Published June 3, 07.
2 L. RECOVA, A. RUMBOS EJDE-07/49 (A3) There exists a constant σ such that σ < (N + )/(N ) for N 3, or σ < for N =, and g(x, s) lim s + s σ = 0, uniformly for a.e. x. (A4) There are constants µ > max {, N+} Nσ and so > 0 such that 0 < µg(x, s) sg(x, s), for s s o and x. (A5) lim s G(x, s) G, uniformly in x, where G R. Writing we assume further that q(x, s) = λ s + g(x, s), for (x, s) R, (.3) (A6) q C ( R, R) and q(x, 0) = 0; and (A7) q s (x, 0) = a, for all x, where a > λ. We determine conditions under which the BVP in (.) has nontrivial solutions. By a solution of (.) we mean a weak solution; i.e, a function u H0 () satisfying u v dx + λ u v dx g(x, u)v dx = 0, for all v H0 (), (.4) where H0 () is the Sobolev space obtained through completion of Cc () with respect to the metric induced by the norm ( /, u = u dx) for all u H 0 (). The weak solutions of (.) are the critical points of the functional J : H0 () R given by J(u) = u dx λ (u ) dx G(x, u(x)) dx, (.5) for u H0 (). Indeed, the functional J given in (.5) is in C (H0 (), R) with Fréchet derivative at every u H0 () given by J (u)v = u v dx + λ u v dx g(x, u)v dx, for all v H0 (). (.6) Thus, comparing (.4) with (.6), we see that critical points of J are weak solutions of (.). In many problems, the following condition, known as the Palais-Smale condition, is usually needed to prove the existence of critical points of a functional. Definition. (Palais-Smale Sequence). Let J C (X, R), where X is a Banach space with norm. A sequence (u m ) in X satisfying J(u m ) c and J (u m ) 0 as m, is said to be a Palais-Smale sequence for J at c. If (u m ) is a sequence satisfying (i) J(u m ) M for all m =,, 3,... and some M > 0; (ii) J (u m ) 0 as m, we say that (u m ) is a Palais-Smale sequence for J.
3 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 3 Definition. (Palais-Smale Condition). A functional J C (X, R), where X is a Banach space with norm, is said to satisfy the the Palais-Smale condition at c, denoted (PS) c, if every Palais-Smale sequence for J at c has a convergent subsequence. In particular, if J has a Palais-Smale sequence at c, and J satisfies the (PS) c condition, then c is a critical value of J. We say that J satisfies the (PS) condition if every (PS) sequence for J has a convergent subsequence. It follows from condition (A) and (.3) that q(x, s) lim = λ, for all x. (.7) s s The condition in (.7) makes the BVP in (.) into a problem at resonance. Existence for problems at resonance is sometimes obtained by imposing a Landesman- Lazer type condition on the nonlinearity. The authors of this article obtained existence and multiplicity for the BVP (.) in [5] for the case in which exists for all x, and lim g(x, s) = g (x) s g (x)ϕ (x) dx > 0, (.8) where ϕ is an eigenfunction of the N-dimensional Laplacian over corresponding to the eigenvalue λ, with ϕ (x) > 0 for all x. In the case in which the Landesman-Lazer condition (.8) holds, the authors were able to prove that the functional J defined in (.5) satisfies the (PS) condition. Note that the assumption in (A) prevents condition (.8) from holding true. So that, a Landesman-Lazer type condition does not hold for the problem at hand. As a consequence, we will not be able to prove that the functional J satisfies the (PS) condition. We will, however, be able to show that J satisfies the (PS) c condition at values of c that are not in an exceptional set, Λ. In the case in which conditions (A) (A5) hold true, we will prove in the next section that the functional J C (H0 (), R) given in (.5) satisfies the (PS) c condition provided that c G, (.9) where denotes the Lebesgue measure of ; thus, the exceptional set in this case is Λ = { G }. (.0) It is not hard to see that the functional J defined in (.5) does not satisfy the (PS) c condition at c = c G. Indeed, the sequence of functions (u m ) given by u m = mϕ, for m =,, 3,..., is a (PS) c sequence, as a consequence of assumptions (A) and (A5). However, u m+ u m = ϕ, for all m =,, 3,... ; so that (u m ) has no convergent subsequence. This lack of compactness is typical of problems at strong resonance. The term strong resonance refers to the situation described by the assumptions in (A) and (A5) and was introduced by Bartolo, Benci and Fortunato in [3]. In [3], the authors
4 4 L. RECOVA, A. RUMBOS EJDE-07/49 consider problems similar to (.) in which g is bounded, and in which the exceptional set is a singleton as in (.0); more precisely, the authors of [3] consider the class of BVPs of the form u = q k (u), in ; (.) u = 0, on, where q k (s) = λ k s g(s), with λ k an eigenvalue of the Laplacian, and g : R R a bounded, continuous function with lim sg(s) = 0. s Furthermore, the authors of [3] assume that the function G(s) = s g(ξ) dξ is defined for all s R, and satisfies G(s) 0 for all s R, and lim G(s) = 0. s The authors of [3] proved existence of weak solutions of BVP (.) by introducing a compactness condition (Condition (C)) that replaces the (PS) condition, and using the new condition to prove a variant of the deformation lemma. In [7] and [8], Costa and Silva are able to obtain some of the existence and multiplicity results of Bartolo, Benci and Fortunato [3] by establishing that the associated functional J satisfies the (PS) c condition for values of c that are not in an exceptional set. More recently, Hirano, Li and Wang [] have used Morse Theory to obtain multiplicity results for this type of problems with strong resonance. In [], the exceptional set, Λ, consists of a finite number of values. They are able to compute critical groups around the values in Λ; that is, critical groups are computed at values where the (PS) condition fails. These critical groups are then incorporated into a new version of the Morse inequality, which allowed the authors of [] to obtain multiplicity results. In all the articles cited so far, the nonlinearity g is assumed to be bounded. In the present work, we relax that assumption by allowing g(x, s) to grow superlinearly, but subcritically, in s, for positive values of s (see (A3) and (A4)), while g(x, s) is bounded for negative values of s (see (A)). For additional information on problems at strong resonance in the context of critical point theory, the reader is referred to the works of Arcoya and Costa [], Li [3], and Chang and Liu [6], and the bibliographies found in those papers. After establishing that the functional J defined in (.5) satisfies the (PS) c condition for c G in Section, under assumptions (A) (A6), we then proceed to show in Section 3 that J has a local minimizer distinct from 0, provided that (A5) holds with G 0, and (A7) also holds. In subsequent sections, we introduce an additional condition on the nonlinearity that will allow us to prove the existence of more critical point of J. In particular, we will assume the following: (A8) there exists s > 0 such that g(x, s ) = 0 for all x. In Section 4, we prove that if, in addition to (A) (A5), with G 0, (A6) and (A7), we also assume (A8), then J has a second local minimizer distinct from 0. Finally, in Section 5, we prove the existence of a third nontrivial critical point of J
5 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 5 by means of a variant of the mountain-pass theorem proved by Pucci and Serrin in [4].. Proof of the Palais-Smale Condition In this section we prove that the functional J defined in (.5), where g and its primitive G satisfy the conditions in (A) (A5), satisfies the (PS) c condition provided that c G. Proposition.. Assume that g and G satisfy (A) (A5), and define J as in (.5). Then, J satisfies the (P S) c for c G. Proof. Assume that c G and let (u m ) be a sequence in H 0 () satisfying J(u m ) c and J (u m ) 0 as m. (.) Thus, according to (.5) and (.6), u m dx λ (u m) dx G(x, u m (x)) dx c, as m, (.) and u m v dx + λ u mv dx g(x, u m )v dx ε m v, (.3) for all m and all v H0 (), where (ε m ) is a sequence of positive numbers that tends to 0 as m. We will show that (u m ) has a subsequence that converges in H0 (). It follows from (A) that there exists s > 0 such that Consequently, and g(x, s), for s < s, and all x. (.4) s sg(x, s) s, for s < s, and all x, (.5) C s G(x, s) C + s, for s < s, and all x, (.6) for some positive constant C. Combining (.5) and (.6), and using the continuity of g, we can find a positive constant C such that C 3 s sg(x, s) G(x, s) C + 3 s, for s 0, and all x. (.7) Similarly, we obtain from (A3) that there exists a positive constant C 3 such that g(x, s) C 3 + s σ, for s 0 and x. (.8) Finally, we obtain from (A4) that there exist positive constants C 4 and C 5 such that G(x, s) C 4 s µ C 5, for s 0 and x. (.9) Now, it follows from (.) that there exists a positive constant C 6 such that u m dx λ (u m) dx G(x, u m (x)) dx C 6, for all m. (.0) Taking v = u m in (.3), we obtain u m dx λ (u m) dx for all m. g(x, u m (x))u m (x) dx ε m u m, (.)
6 6 L. RECOVA, A. RUMBOS EJDE-07/49 Combining (.0) and (.) we then obtain that [g(x, u m (x))u m (x) G(x, u m (x))] dx C 6 + ε m u m, for all m. (.) Next, define the sets m = {x u m (x) < 0}; + m = {x u m (x) 0}; o m = {x 0 u m (x) s o }; so m = {x u m (x) > s o }. Then, using the estimate in (.7), [g(x, u m (x))u m (x) G(x, u m (x))] dx C + 3 u m L, for all m. (.3) m Note: From this point on in this paper, the symbol C will be used to represent any positive constant. Thus, C might represent different constants in various estimates, even within the same inequality. It follows from (.) and (.3) that [g(x, u m (x))u m (x) G(x, u m (x))] dx C + ε m u m + 3 u m L, (.4) + m for all m. Using the continuity of g and G we deduce the existence of a positive constant C such that [g(x, u m (x))u m (x) G(x, u m (x))] dx C, for all m. (.5) o m On the other hand, using (A4) we obtain that (µ ) G(x, u m (x)) dx [g(x, u m (x))u m (x) G(x, u m (x))] dx, so m so m for all m; so that, using this estimate in conjunction with (.5), (.3), (.) and the assumption that µ >, we obtain that so m G(x, u m (x)) dx C + 3 u m L + ε m u m, for all m. (.6) Noting that + m = o m so m, we obtain from (.6) that G(x, u m (x)) dx C + 3 u m L + ε m u m, for all m. (.7) and + m Next, we take v = u m in (.3) to obtain u m dx λ (u m) dx g(x, u m )u m dx ε m u m, (.8) m We get from (.5) and (.6) that g(x, u m (x))u m (x) dx C + u m L, for all m, (.9) m m G(x, u m (x)) dx C + u m L, for all m. (.0)
7 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 7 Taking v = u + m in (.3) we then get u + m dx g(x, u m )u m dx ε m u + m, for all m. (.) + m It follows from (.), (.7) and (.4) that u + m dx C + ε m u + m + ε m u m + 6 u m L, for all m, which can be rewritten as u + m dx C + 3ε m u + m + ε m u m + 6 u m L, for all m, (.) by the triangle inequality. We claim that, if (.9) holds true, then (u m) is bounded. We argue by contradiction. Suppose, passing to a subsequence if necessary, that u m, as m. (.3) It follows from (.), the Cauchy-Schwarz inequality, and the Poincaré inequality that u + m C + C + u m, for all m. (.4) Combining (.4) and (.3) we then deduce that Next, define u + lim m m u = 0. (.5) m v m = u m u, for all m; (.6) m so that v m = for all m. We may therefore extract a subsequence (v mk ) of (v m ) such that v mk v (weakly) as k, (.7) for some v H0 (). necessary, that We may also assume, passing to further subsequences if v mk vin L () as k, (.8) v mk (x) v(x) for a.e. x as k. (.9) Now, it follows from (.3) and the fact that u mk = u + m k u m k that u m k v dx + λ u m k v dx ε mk v + u + m k v dx + g(x, u mk (x)) v dx, (.30) for all k and all v H0 (). Using the Cauchy-Schwarz inequality, we can rewrite the estimate in (.30) as u m k v dx λ u m k v dx (.3) ε mk v + u + m k v + g(x, u mk (x)) v dx, for all k and all v H 0 ().
8 8 L. RECOVA, A. RUMBOS EJDE-07/49 Next, we estimate the last integral on the right-hand side of (.3) by first writing g(x, u mk (x)) v dx (.3) = g(x, u mk (x)) v dx + g(x, u mk (x)) v dx, m k + m k for all k and all v H0 (). To estimate the first integral on the right-hand side of (.3), we use (.4), the Cauchy-Schwarz inequality, and the Poincaré inequality to get that g(x, u mk (x)) v dx C v, for all k and all v H 0 (). (.33) m k To estimate the second integral in the right-hand side of (.3), apply Hölder s inequality with p = N/(N + ) and q = N/(N ) for N 3. If N =, take p µ/σ, which can be done because (A4) implies that pσ < µ. Then, g(x, u mk ) v dx ( ) /p ( g(x, u mk ) p + m k + m k v q) /q ; so that, in view of (.8) and the Sobolev embedding theorem, g(x, u mk ) v dx ( /p v, C (C + u + m + k σ ) dx) p (.34) m k for all k and all v H0 (). We then obtain from (.34) and Minkowski s inequality that g(x, u mk ) v dx C( + u + m + k σ Lpσ) v, (.35) m k for all k and all v H0 (). Combining (.3) with the estimates in (.33) and (.35), we then obtain that g(x, u mk (x)) v dx C( + u + m k σ Lpσ) v, (.36) for all k and all v H0 (). Finally, combining the estimates in (.3) and (.36), u m k v dx λ u m k v dx C( + u + m k + u + m k σ Lpσ) v, (.37) for all k and all v H0 (). Next, divide on both sides of (.37) by u m k and use (.6) to get v mk v dx λ v mk v dx ( C for all k and all v H 0 (). We will show next that u m k + u+ m k u m k + u+ m k σ Lpσ u m k u + m lim k σ L pσ k u m k ) v, (.38) = 0. (.39)
9 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 9 Using the estimates in (.9) and (.7) we obtain (u + m k ) µ dx C + C u m k + ε mk u mk, for all k, (.40) where we have also used the Cauchy-Schwarz and Poincaré inequalities. It then follows from (.40) that u + m k L µ C( + u m k /µ + u mk /µ ), for all k. (.4) Next, dividing on both sides of (.4) by u m k /σ and using the fact that u mk u + m k + u m k we obtain u + m k ( L µ u m k C /σ u m k + u m k /µ /σ u m k + u+ m k /µ ) /σ u, for all k, m k /σ which we can rewrite as u + m k ( L µ u m k C /σ u m k + ( u + /σ u m k + mk ) /µ ) /σ /µ u m k u, (.4) m k /σ /µ for all k. Now, in view of (A4) we see that µ > σ; we then obtain from (.3) and (.5), in conjunction with (.4), that lim k u + m k L µ u = 0. (.43) m k /σ Next, using the condition µ > pσ in (A4) to apply Hölder s inequality with p = µ/pσ and p its conjugate exponent we obtain u + m k pσ L = (u + pσ m k ) pσ dx ( (u + m k ) µ dx ) pσ/µ /p ; so that, u + m k σ L pσ C u+ m k σ L µ, for all k, and, dividing on both sides by u m k, u + m k σ ( L u + pσ u C mk ) L µ σ, for all k. (.44) m k u m k /σ It then follows from (.43) and (.44) that u + m lim k σ L pσ k u m k = 0, which is (.39). Using (.3), (.5) and (.39), we obtain from (.38) that lim v mk v dx λ v mk v dx = 0, for all v H0 (). (.45) k It then follows from (.6), (.7) and (.45) that v v dx λ vv dx = 0, for all v H0 (); so that, v is a weak solution of the BVP u = λ u, in ; u = 0, on. (.46)
10 0 L. RECOVA, A. RUMBOS EJDE-07/49 Now, it follows from (.8) that u m k dx λ (u m k ) dx ε mk u m k + g(x, u mk )u mk dx, (.47) m k for all k; where, according to (.9), g(x, u mk (x))u mk (x) dx C( + u mk ), for all k. (.48) m Thus, combining (.47) and (.48), u m k dx λ (u m k ) dx C( + u m k ), for all k. (.49) Next, divide on both sides of (.49) by u m k and use (.6) to obtain λ (v mk ) dx ( C u m k + ) u, for all k. (.50) m k It then follows from (.3), (.8) and (.50) that λ (v) dx =, from which we conclude that v is a nontrivial solution of BVP (.46). Consequently, since v m 0 for all m, according to (.6), we obtain that v = ϕ, (.5) where ϕ is the eigenfunction for the BVP (.46) corresponding to the eigenvalue λ with ϕ > 0 in and ϕ =. We therefore obtain from (.5) that v < 0 in. (.5) Furthermore, v > 0 on, (.53) ν where ν denotes the outward unit normal vector to. We can then conclude from (.5), (.9), in conjunction with (.5) and (.53), that u mk (x) for a.e. x. (.54) Thus, using (A5) and the Lebesgue dominated convergence theorem, we obtain from (.54) that lim G(x, u mk (x)) dx = G. (.55) k It then follows from (.55) and the first assertion in (.) that ( lim u mk dx λ ) (u m k k ) dx = c + G. (.56) Next, we go back to the estimate in (.3) and set v = u + m k to obtain u + m k dx g(x, u + m k )u + m k dx ε mk u + m k, for all k,
11 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE or, dividing by u + m k, u + m k Now, it follows from (.54) that g(x, u + m k ) u+ m k u + m k dx εmk, for all k. (.57) u + m k 0 a.e. as k. Therefore, it follows from the assumption that g(x, 0) = 0 in (A), together with the Lebesgue dominated convergence theorem and the estimate in (.57), that lim k u+ m k = 0. (.58) Next, set V = span{ϕ } and W = V ; so that, H0 () = V W. Write u m k = v k + w k, for each k, where v k V and w k W. Once again, use the estimate in (.3), this time with v = w k, to obtain w k dx λ wk dx g(x, u mk (x))w k dx ε mk w k, (.59) for all k. Now, since w k W, we have that λ wk dx w k dx, for all k, (.60) where λ denotes the second eigenvalue of the N-dimensional Laplacian over with Dirichlet boundary conditions. Consequently, ( λ ) wk w k dx λ wk dx, for all k. (.6) λ Thus, setting α = λ λ in (.6), we obtain from (.6) and (.59) that α w k ε mk w k + g(x, u mk (x))w k dx, for all k, (.6) where α > 0. Next, we divide on both sides of (.6) by w k to get α w k ε mk + g(x, u mk (x)) w k, w k dx for all k. (.63) Now, it follows from (.63), (.54), assumption (A), and the Lebesgue dominated convergence theorem that lim w k = 0. (.64) k Next, we observe that u mk dx = u + m k dx + v k dx + w k dx, for all k, and (u m k ) dx = vk dx + wk dx, for all k; consequently, u mk dx λ (u m k ) dx = u+ m k + w k dx λ w k dx, (.65)
12 L. RECOVA, A. RUMBOS EJDE-07/49 for all k, where we have used the fact that v k V for all k. It follows from (.58), (.64), (.60) and (.65) that ( lim u mk dx λ ) (u m k k ) dx = 0. (.66) Combining (.56) and (.66) we obtain G + c = 0, which is in direct contradiction with (.9). We therefore conclude that (u m) is bounded. Since, (u m) is bounded, it follows from (.) that (u + m) is also bounded. Consequently, (u m ) is bounded. We will next proceed to show that (u m ) has a subsequence that converges strongly in H0 (). To see why this is the case, first write the functional J : H0 () R defined in (.5) in the form J(u) = u dx Q(x, u(x)) dx, for all u H0 (), where Q(x, s) = s 0 q(x, ξ) dξ, for all x and s R, where q is as given in (.3). It follows from (.3) and the assumptions in (A) and (A3), that q(x, s) has subcritical growth in s, uniformly in x ; so that, the derivative map of J, J : H0 () H0 (), is of the form where Q: H0 () H0 (), given by Q(u), v = g(x, u(x))v(x) dx, J = I Q, (.67) for u, v H 0 (), is a compact operator. Now, it follows from the second condition in (.) and (.67) that u m Q(u m ) 0, as m. (.68) Since we have already seen that the (PS) c sequence (u m ) is bounded, we can extract a subsequence, (u mk ), of (u m ) that converges weakly to some u H 0 (). Therefore, given that the map Q: H 0 () H 0 () is compact, we have that Thus, combining (.68) and (.69), we obtain that lim Q(u m k ) = Q(u). (.69) k lim u m k = Q(u). k We have therefore shown that (u m ) has a subsequence that converges strongly in H0 (), and the proof of the fact that J satisfies that (PS) c condition, provided that c G, is now complete.
13 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 3 3. Existence of a local minimizer Assume that g and G satisfy conditions (A) (A7) hold. In this section, we will use Ekeland s Variational Principle and a cutoff technique similar to that used by Chang, Li and Liu in [5] to prove the existence of a nontrivial solution of problem (.) for the case in which G 0 in (A5). To do that, we first define g C( R, R) by { g(x, s), for s < 0, g(x, s) = (3.) 0, for s 0. Define a corresponding functional J : H0 () R by J(u) = u dx λ (u ) dx G(x, u) dx, u H0 (), (3.) where G(x, s) = s 0 g(x, ξ) dξ, for x and s R. (3.3) Then, J C (H 0 (), R). We claim that J is bounded below. In fact, by condition (A5) and (3.), it follows that G(x, s) M o, for all x and s R, (3.4) for some M o > 0. Then, using (3.) and (3.4), we can write J(u) = u dx λ (u ) dx G(x, u)dx, u+ + u λ (3.5) u L M o, for all u H0 (). It then follows from (3.5) and the Poincaré inequality that J(u) M o, for all u H 0 (); so that J is bounded below. Thus, the infimum of J over H0 () exists; we can, therefore define c = inf J(u). (3.6) u H0 () Notice that, since J(0) = 0, we must have c 0. In fact, we presently show that, if (A6) and (A7) hold, then c < 0. (3.7) To do this, first use (.3) and (A7) to compute so that g(x, s) lim = a λ ; s 0 s g(x, s) lim > 0, s 0 s for all x, by the assumption on a in (A7). Consequently, there exists s < 0 such that g(x, s) < 0, for s < s < 0, and all x. It then follows from the definition of G in (3.3) that G(x, s) > 0 for s < s < 0, and all x. (3.8)
14 4 L. RECOVA, A. RUMBOS EJDE-07/49 Next, let ε > 0 be small enough so that We then have that s < εϕ (x) < 0, for all x. (3.9) G(x, εϕ(x)) dx > 0, (3.0) by (3.8) and (3.9). It then follows from the definition of J in (3.) and (3.0) that J( εϕ ) = G(x, εϕ(x)) dx < 0. Consequently, in view of the definition of c in (3.6), we obtain that c < 0, which is (3.7). We now use (3.6) and a consequence of Ekeland s Variational Principle (see [0, Theorem 4.4]) to obtain, for each positive integer m, u m H 0 () such that and J(u m ) inf J(u) +, for all m, (3.) u H0 () m J (u m ), for all m; m we therefore obtain a (PS) c sequence for c = c. Consequently, if J happens to satisfy the (PS) c condition at c = c, we would conclude that c is a critical value of J. We will show shortly that this is the case if we assume that G given in (A5) satisfies G 0. (3.) We will first establish that J satisfies the (P S) c provided that c G. Proposition 3.. Assume that g and G satisfy (A), (A) and (A5), and define J as in (3.), where G is given in (3.3) and (3.). Then, J satisfies the (P S)c condition for c G. Proof. Assume that c G and let (u m ) be a (P S) c sequence for J; that is, u m dx λ (u m) dx G(x, u m ) dx c, as m +, (3.3) and, u m ϕ dx + λ u mϕ dx g(x, u m )ϕ dx ε m ϕ, (3.4) for all m and all ϕ H0 (), where (ε m ) is a sequence of positive numbers such that ε m 0 as m. Write u m = u + m u m. We will show that (u + m) and (u m) are bounded sequences. First, let s see that (u + m) is bounded. Setting ϕ = u + m in (3.4) we have u + m dx g(x, u m )u + m dx ε m u + m for all m. (3.5) By (3.) and the assumption in (A), it can be shown that g(x, u m ) is bounded for all x. Then, using Hölder and Poincaré s inequalities, we obtain that g(x, u m )u + m dx C u + m, (3.6)
15 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 5 for some constant C > 0. Then, from (3.5) and (3.6), we obtain that u + m (C + ε m ) u + m, for all m, which shows that (u + m) is a bounded sequence. Next, let us show that (u m) is a bounded sequence. Suppose that this is not the case; then, passing to a subsequence if necessary, we may assume that Define u m as m. (3.7) v m = u m u, for all m. (3.8) m Then, since v m = for all m, passing to a further subsequences if necessary, we may assume that there is v H0 () such that v m v (weakly) in H 0 (), as m ; (3.9) v m v in L (), as m ; (3.0) v m (x) v(x) for a.e. xin, as m. (3.) Now, writing u m = u + m u m in (3.4) we have u + m ϕ dx u m ϕ dx + λ u mϕ dx g(x, u m )ϕ dx ε m ϕ, for all ϕ H0 () and all m, from which we obtain that u m ϕ dx+λ u mϕ dx g(x, u m )ϕ dx (ε m +C u + m ) ϕ, (3.) for all ϕ H0 (), all m, and some constant C > 0, by the Cauchy-Schwarz and Poincaré inequalities. Now, we divide both sides of (3.) by u m and use (3.8) to obtain v m ϕ dx λ v m ϕ dx g(x, u m ) u m ϕ dx ( εm + C u + m u m ) ϕ, (3.3) for all ϕ H 0 () and all m. Since g is bounded, by condition (A) and (3.), we obtain from (3.7) that g(x, u m (x)) lim m + u = 0, for a. e. x. m It then follows from the Lebesgue dominated convergence theorem that g(x, u m (x)) lim m + u ϕ dx = 0, for all ϕ H0 (). (3.4) m Therefore, using (3.9), (3.0), (3.4), (3.7), the fact that the sequence (u + m) is bounded, and letting m in (3.3), we obtain v ϕ dx λ vϕ dx = 0, for all ϕ H0 (); so that, v is a weak solution of the BVP u = λ u, in ; u = 0, on. (3.5)
16 6 L. RECOVA, A. RUMBOS EJDE-07/49 Next, we set ϕ = v m in (3.3) to get λ vm g(x, u m ) dx u m v m dx ε m + C u + m u, for all m, (3.6) m where we have also used the definition of v m in (3.8). Now, using the Cauchy-Schwarz and Poincaré inequalities, we obtain that g(x, u m ) u m v m dx C u, for all m, (3.7) m for some positive constant C, since g is bounded. We then get from (3.7) and (3.7) that g(x, u m ) lim m u m v m dx = 0. (3.8) Thus, letting m in (3.6) and using (3.0), (3.8), and (3.7), we obtain that λ v dx =, which shows that v is a nontrivial solution of (3.5). Now, it follows from (3.8) and (3.) that v(x) 0, for a. e. x. Consequently, since v is nontrivial, it must be the case that v = ϕ, (3.9) where ϕ is the eigenfunction of the BVP problem (3.5) corresponding to the eigenvalue λ with ϕ > 0, ϕ =. Thus, v < 0 and v/ ν > 0 on, where ν is the outward unit normal vector to. Next, we write u m = u + m u m and use (3.8) to get u m u m = u+ m u m + v m, for all m; so that, by the fact that (u + m) is bounded and (3.7), we may assume, passing to a further subsequence if necessary, that u m (x) u m ϕ (x), for a. e. x, as m, (3.30) where we have also used (3.) and (3.9). It then follows from (3.30) that u m (x) for a. e. x, as m. (3.3) Then, using condition (A5) and the Lebesgue dominated convergence theorem, we conclude from (3.3) that ( lim u m dx λ ) (u m m) dx = c + G. (3.3) Next, we divide both sides of (3.5) by u + m to obtain u + g(x, u m ) m u + m u+ m dx ε m, for all m. (3.33) Notice that g(x, u m ) u + m u+ m dx = g(x, u + m) u+ m u + dx, for all m; m
17 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 7 so that, using the Cauchy-Schwarz and Poincaré inequalities, g(x, u m ) u + m u+ m dx C g(x, u + m(x)) dx, for all m, (3.34) and some positive constant C. Now, it follows from (3.3) that u + m(x) 0 for a.e x, as m ; consequently, using the assumption (A) along with the Lebesgue dominated convergence theorem, we obtain from (3.34) that g(x, u m ) lim m u + m u+ m dx = 0. (3.35) Therefore, letting m tend to in (3.33) and using (3.35) we obtain that lim m u+ m = 0. (3.36) Thus, combining (3.3) and (3.36) we can then write ( lim u m m dx λ ) (u m) dx = c + G. (3.37) We may now proceed as in the proof of Proposition. in Section to show that ( lim u m m dx λ ) (u m) dx = 0. Hence, in view of (3.37), we obtain that c + G = 0, which contradicts the assumption that c G. We therefore conclude that (u m) must be a bounded sequence. Thus, since we have already seen that (u + m) is bounded, we see that (u m ) is bounded. We have therefore shown that any (PS) c sequence with c G must be bounded. The remainder of this proof now proceeds as in the proof of Proposition. presented in Section, using in this case the fact that g is bounded. Now, if we assume that the value G given in (A5) satisfies the condition in (3.), then we would have that G 0. Consequently, in view of (3.7), we see that the value of c given in (3.6) is such that c < G ; therefore, J satisfies the (PS)c condition at c = c. Hence, by the discussion preceding the statement of Proposition 3., c is a critical value of J. Thus, there exists u H 0 () that is a global minimizer for J. We note that u 0 in by (3.7). Now, since the function g defined in (3.) is locally Lipschitz (refer to assumption in (A6)), it follows that u is a classical solution of the problem u = λ u + g(x, u), in ; u = 0, on, (3.38) (see Agmon []). Let + = {x u (x) > 0}. Then, by the definition of g in (3.), u solves the BVP u = 0, in + ; (3.39) u = 0, on,
18 8 L. RECOVA, A. RUMBOS EJDE-07/49 which has only the trivial solution u 0. Thus, + = and therefore u 0 in. Before we state the main result of this section, though, we will discuss some properties of the critical point u. Since we have already seen that u 0 in, it follows from the definition of g in (3.) that u is also a solution of the BVP (.); consequently, u is also a critical point of J. We will show shortly that u is a local minimizer for J. Since u is a solution of the BVP (3.38), then u is also a solution of the BVP where u p(x)u = λ u g (x, u (x)), in ; p(x) = u = 0, on, { g + (x,u (x)) u (x), if u (x) < 0; 0, if u (x) = 0. (3.40) (3.4) Now, it follows from (3.40) and the fact that u (x) 0 for all x that u solves u p(x)u 0, in ; u = 0, on. (3.4) Thus, since p(x) 0, according to (3.4), we can apply the Hopf s Maximum Principle (see, for instance, [, Theorem 4, p. 333]) to conclude that since u is nontrivial, and u (x) < 0, for all x, (3.43) u (x) > 0, for x, (3.44) ν where ν denotes the outward unit normal vector to the surface. We can then use (3.43) and (3.44), and the assumption that is bounded to show that there exists δ > 0 such that, if u C () H 0 () is such that then u u C () < δ, u(x) < 0, for all x. Consequently, if u is in a δ-neighborhood of u in the C () topology, then J(u) = J(u) J(u ) = J(u ); so that u is a local minimizer of J in the C () topology. It then follows from a result of Brezis and Nirenberg in [4] that u is also a local minimizer for J in the H 0 () topology. We have therefore demonstrated the following theorem. Theorem 3.. Assume that g and G satisfy conditions (A) (A4). Assume also that (A6) and (A7) are satisfied. If (A5) holds true with G 0, then the BVP (.) has a nontrivial solution, u, that is a local minimizer of the functional J : H 0 () R defined in (.5). In the next section, we will provide additional conditions on the nonlinearity, g, that will allow us to show that the functional J defined in (.5) has another local minimizer.
19 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 9 4. Existence of a second local minimizer In addition to (A) (A5), with G 0, and (A6) (A7), we will assume (A8) there exists s > 0 such that g(x, s ) = 0 for all x. In this case, we consider the truncated nonlinearity g : R R given by { g(x, s), for 0 s s, g(x, s) = (4.) 0, elsewhere. The corresponding primitive, is then given by G(x, s) = s 0 g(x, ξ) dξ, for all x and s R, 0, if s 0; G(x, s) = G(x, s), if 0 < s s ; G(x, s ), if s > s, (4.) where G is as given in (.). In view of the definitions of g and G in (4.) and (4.), respectively, we see that g and G are bounded functions. Thus there exist positive constants M and M such that g(x, s) M, for all x and s R, (4.3) G(x, s) M, for all x and s R. The corresponding truncated functional, J : H0 () R is then given by J(u) = u dx λ (u ) dx G(x, u) dx, u H0 (), (4.4) where G is given in (4.). We then get that J is Fréchet differentiable with continuous derivative given by J(u), ϕ = u ϕ dx + λ u ϕ dx g(x, u)ϕ dx, (4.5) for all u and ϕ in H0 (). Next, we show that J satisfies the (PS) c condition for c Λ, where the exceptional set, Λ, in this case is Λ = {0}. Proposition 4.. Assume that g and G satisfy (A), (A) and (A8), and define J as in (4.4), where G is given in (4.). Then, J satisfies the (P S) c for c 0. Proof. Let (u m ) be a (PS) c sequence for J, where so that, according to (4.4) and (4.5) u m dx λ (u m) dx and u m ϕ dx + λ c 0; (4.6) u mϕ dx G(x, u m ) dx c, as m, (4.7) g(x, u m )ϕ dx ε m ϕ, (4.8)
20 0 L. RECOVA, A. RUMBOS EJDE-07/49 for all m and all ϕ H0 (), where (ε m ) is a sequence of positive numbers that tends to 0 as m. Writing u m = u + m u m for all m, and taking ϕ = u + m in (4.8) we obtain u + m g(x, u + m)u + m dx ε m u + m, for all m. (4.9) Using (4.3) we then estimate g(x, u + m)u + m dx C u + m, for all m, (4.0) where we have also used the Cauchy-Schwarz and Poincaré inequalities. Combing (4.9) and (4.0) we then get that u + m C u + m, for all m, (4.) where we have used the fact that ε m 0 as m. It follows from (4.) that the sequence (u + m) is bounded in H 0 (). Next, we show that (u m) is also bounded in H 0 (). If this is not the case, we may assume, passing to a subsequence if necessary, that Define Then, since u m as m. (4.) v m = u m u, for all m. (4.3) m v m =, for all m, (4.4) passing to a further subsequences if necessary, we may assume that there is v H 0 () such that v m v (weakly) in H 0 (), as m ; (4.5) v m v in L (), as m ; (4.6) v m (x) v(x) for a.e. xin, as m. (4.7) Now, writing u m = u + m u m in (4.8) we have u m ϕ dx + λ u mϕ dx g(x, u m )ϕ dx (ε m + C u + m ) ϕ, (4.8) for all m and all ϕ H0 (), where we have also used the Cauchy-Schwarz and Poincaré inequalities. Next, divide both sides of (4.8) by u m and use (4.3) to obtain v m ϕ dx λ v m ϕ dx g(x, u m ) u m ϕ dx ( εm + C u + m u m ) ϕ, (4.9) for all ϕ H0 () and all m. Using the estimate in (4.3) and (4.) we obtain g(x, u m ) lim m u m ϕ dx = 0, for all ϕ H 0 (). (4.0) Combining (4.9) and (4.0) we then get lim v m ϕ dx λ v m ϕ dx = 0, for all ϕ H (), (4.) m
21 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE where we have used (4.) and the facts that (u + m) is bounded in H0 () and ε m 0 as m. Now, it follows from (4.5), (4.6) and (4.) that v ϕ dx λ vϕ dx = 0, for all ϕ H0 (); (4.) so that, v is a weak solution of the BVP u = λ u, in ; u = 0, on. Next, we take ϕ = v m in (4.9) and use (4.4) to obtain λ vm g(x, u m ) dx u m v m dx ε m + C u + m u, m for all m, (4.3) where, by (4.3), (4.) and (4.6), lim m g(x, u m ) u m v m dx = 0. (4.4) Thus, using (4.), and the facts that (u + m) is a bounded sequence and ε m 0 as m, we obtain from (4.3) and (4.4) that lim λ vm dx = 0; so that, in view of (4.6), m λ v dx =, (4.5) from which we conclude that v 0. Thus, v is an eigenfunction of with Dirichlet boundary conditions over. It follows from this observation and (4.), in conjunction with (4.5), that v =. Consequently, we obtain from the definition of v m in (4.3) and from (4.7) that v = ϕ. (4.6) Recall that we have chosen ϕ so that ϕ > 0 in and ϕ =. Next, writing u m = u + m u m and using (4.3), we obtain u m u m = u+ m u m + v m, for all m; so that, by the fact that (u + m) is bounded and (4.), we may assume, passing to a further subsequence if necessary, that u m (x) u m ϕ (x), for a. e. x, as m, (4.7) where we have also used (4.7) and (4.6). It then follows from (4.7) that u m (x) for a. e. x, as m. (4.8) Then, using the definition of G in (4.) and the Lebesgue dominated convergence theorem, we conclude from (4.8) that G(x, u m (x)) dx = 0; lim m
22 L. RECOVA, A. RUMBOS EJDE-07/49 so that, in conjunction with (4.7), ( lim u m dx λ m ) (u m) dx = c. (4.9) We may now proceed as in the proof of Proposition. and show that ( lim u m dx λ ) (u m m) dx = 0. (4.30) Note that (4.9) and (4.30) are in contradiction with (4.6). Consequently, (u m) is also bounded in H0 (). Therefore, as in the last portion of the proof of Proposition., we can show that (u m ) has a convergent subsequence. We have therefore established the fact that J satisfies the (PS) c condition, provided that c 0. It follows from the definition of J in (4.5) and the estimate in (4.4) that J is bounded from below in H 0 (). Indeed, we obtain the estimate J(u) u+ + u λ u L M, for all u H 0 (); so that, using the Poincaré inequality, J(u) u+ M, for all u H 0 (), from which we obtain that Set J(u) M, c = We will show that, if (A6) and (A7) hold, then Indeed, for compute so that 0 < t < J(tϕ ) = J(tϕ ) = t d [ J(tϕ ) ] = t dt d dt [ J(tϕ ) ] = for all u H 0 (). inf J(v). (4.3) v H0 () c < 0. (4.3) s max x ϕ (x), G(x, tϕ (x)) dx, g(x, tϕ (x))ϕ (x) dx, g s (x, tϕ (x))(ϕ (x)) dx. It then follows from (4) and (A6) and (A7) that d lim t 0 + dt [J(tϕ )] = a ϕ dx, or d lim t 0 + dt [J(tϕ )] = a < 0, λ since a > λ according to (A7). Consequently, there exists t > 0 such that J(t ϕ ) < 0.
23 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 3 Thus, in view of (4.3), the assertion in (4.3) follows. In view of (4.3) and the result in Proposition 4. we see that J satisfies the (PS) c condition. Thus, given the definition of c in (4.3), the argument invoking Ekeland s Variational Principle leading to Theorem 3. in Section 3 can now be used to obtain a minimizer, u, of J. Furthermore, as was done in Section 3, we can use the Maximum Principle to conclude that 0 < u (x) < s, for all x ; so that, u is also a critical point of J. Indeed, u is a local minimizer of J by the Brézis and Nirenberg result in [4]. We have therefore established the following multiplicity result. Theorem 4.. Assume that g and G satisfy conditions (A) (A5), with G 0, and (A6) (A8). Let J : H 0 () R be the C functional defined in (.5). In addition to the local minimizer, u, of J given by Theorem 3., which is a negative solution of the BVP (.), there exists another local minimizer, u, of J that yields a positive solution of the BVP (.). 5. Existence of a third nontrivial critical point In the previous section we saw that, if g and G satisfy conditions (A) (A5), with G 0, and (A6) (A8)), then the functional J defined in (.5) has two local minimizers distinct from 0. In this section we prove the existence of a third, nontrivial, critical point of J. This will follow from following variant of the Mountain-Pass Theorem first proved by Pucci and Serrin in 985, [4]. Theorem 5. ([4, Theorem ]). Let X be a real Banach space with norm and J : X R be a C functional. Let u o and u be distinct points in X. Assume that there are real numbers r and R such that and a real number a such that Put and let 0 < r < u u o < R, J(u o ) a J(u ) a, J(v) a for all v such that r < v u o < R. Γ = {γ C([0, ], X) γ(0) = u o, γ() = u }, (5.) c = inf max J(γ(t)). (5.) γ Γ t [0,] Assume further that any sequence (u n ) n= in X such that J(u n ) c as n, J (u n ) 0, as n possesses a convergent subsequence. Then, there exists a critical point u in X different from u o and u, corresponding to the critical value c given in (5.). In [4], Pucci and Serrin apply the result in Theorem 5. to the case in which u o and u are two distinct local minima of the functional J. Thus, according to Theorem 5., if the functional J satisfies the (PS) c condition, where c is as given in (5.), we would obtain a third critical point of J distinct from the two minimizers.
24 4 L. RECOVA, A. RUMBOS EJDE-07/49 We summarize this observation in the following corollary to the Pucci-Serrin result in Theorem 5.. Corollary 5.. [4, Corollary ] Suppose that J has two distinct local minimizers, u o and u. Let c be as given in (5.) and suppose that J satisfies the (PS) c condition. Then, J possesses a third critical point. According to Proposition., we will be able to apply Corollary 5. to our problem provided we can show that c G. Since we are also assuming that G 0, we will be able to obtain a third nontrivial critical point of J if we can prove that c given by (5.) is negative. This can be achieved if we can show that there is some path γ in Γ defined in (5.), connecting the two local minimizers, such that J(γ(t)) < 0 for all t [0, ]. To do this, we borrow an idea used by Courant [9] in the proof of the so called Finite Dimensional Mountain-Pass Theorem. With these observations in mind, we are ready to prove the main result of this section. Theorem 5.3. Let J satisfies the conditions (A) (A5), with G 0, and (A6) (A8). Let J : H 0 () R be the C functional defined in (.5), and u and u be the two local minimizers of J given by Theorem 4.. Then, J has a third nontrivial critical point. Consequently, the BVP (.) has three nontrivial weak solutions. Proof. Let u and u denote the two local minimizers of J given by Theorem 4.. We then have that u and u are nontrivial and u u. Furthermore, Define and put J(u ) < 0 and J(u ) < 0. (5.3) Γ = {γ C([0, ], H 0 ()) γ(0) = u, γ() = u }, (5.4) c = inf max J(γ(t)). (5.5) γ Γ t [0,] Arguing by contradiction, assume that u, u and 0 are the only critical points of J. Then, certainly, there is a path γ o Γ that does not contain 0. Then, u and u are the only critical points of J along γ o. Set γ o ([0, ]) = M N, where M = {γ o (t) H 0 () : t [0, ] and J(γ o (t)) 0} and N = γ o ([0, ])\M. We will consider two cases M = and M separately. If M =, then J(γ o (t)) < 0 for all t [0, ]. Hence, in view of the definition of c in (5.5), c < 0. Consequently, by Proposition. and the assumption that G 0, J satisfies the (P S) c condition. Thus, we can apply Corollary 5. with X = H 0 () to conclude that J has a critical point, u, distinct from u and u. Furthermore, u 0, since c < 0. This would contradict the initial assumption that there are no critical point of J other than 0, u and u. Next, assume that M. Observe that u, u / M in view of (5.3). Then, M contains no critical points of J; consequently, J(γ o (t)) 0 for all t [0, ] such that γ o (t) M, where J is the gradient of J obtained by the Riesz Representation Theorem for Hilbert spaces. In particular, since M is compact, there exists δ > 0 such that J(u) δ, for all u M. (5.6)
25 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 5 It then follows from that assumption that J is C that there exists ε > 0 such that J(v) δ for all v M ε = {v H 0 () dist(v, M) < ε}. (5.7) Notice that M ε is an open neighborhood of M which does not contain u and u because they are local minimizers of J. Next, let ρ C c (H 0 (), R) denote a function with supp(ρ) M ε such that ρ(u) = A, for u M, and 0 ρ(u) A for all u H 0 (), where A a positive constant to be chosen shortly. Define the following deformation η : H 0 () R H 0 () given by η(u, t) = u tρ(u) J(u), for u H 0 () and t R. (5.8) It then follows that d dt J(η(u, t)) = J(η(u, t)), η t(u, t) = J(η(u, t)), ρ(u) J(η(u, t)) = ρ(u) J(η(u, t)), (5.9) for u H 0 () and t R. In particular, it follows from (5.9) and (5.8) that d dt J(η(u, t)) t=0 = ρ(u) J(u), for all u H 0 (). (5.0) Note that, for points u H 0 () such that ρ(u) > 0, it follows from (5.6) and (5.7) that ρ(u) J(η(u, t)) > ρ(u) δ > 0. (5.) 4 Hence, by (5.0) and the assumption that J C (H0 (), R), we obtain that, for each u H0 () such that ρ(u) > 0, there exists a neighborhood U of u and T u > 0 such that d J(η(u, t)) < ρ(u) dt J(u), for u U and t < T u. (5.) On the other hand, if ρ(u) = 0, it follows from the definition of η in (5.8) that η(u, t) = u for all t R so that Therefore, d [η(u, t)] = 0, for t R. dt d J(η(u, t)) = 0, for all t [0, ], u X with ρ(u) = 0. (5.3) dt Since supp(ρ) is compact, it follows from (5.), (5.) and (5.3) that there exists T > 0 such that Consequently, d J(η(u, t)) ρ(u) dt 8 δ, for u H0 () and t < T. J(η(u, T )) J(u) ρ(u) 8 δ T, for all u H 0 (). (5.4)
26 6 L. RECOVA, A. RUMBOS EJDE-07/49 Next, define γ(t) = η(γ o (t), T ), for all t [0, ]. Note that γ Γ. Indeed, since u / M ε and u / M ε, we have, by the properties of ρ and the definition of η in (5.8), that η(u i, T ) = u i, for i =,. Now, if v N, it follows from (5.4) that J(η(v, T )) < 0, for all u N. (5.5) On the other hand, for v M, using (5.4), we obtain that J(η(v, T )) L A 8 δ T, for all u M, (5.6) where we have set L = max t [0,] J(γ o (t)). Choose A = L δ T. Then, it follows from (5.6) that J(η(v, T )) L < 0, for v M. (5.7) Therefore, by combining (5.5), (5.7) and the choice of A, we conclude that J(η(γ o (t), T )) < 0, for all t [0, ]. Therefore, the path γ = η(γ o, T ) connecting the two local minimizers u and u is such that J(γ(t)) < 0, for all t [0, ]. Consequently, by the definition of c in (5.5) and (5.4), c < 0. It then follows, by the result of Proposition. and the assumption that G 0, that J satisfies the (P S) c condition. We can therefore apply Corollary 5., with X = H0 (), to obtain a critical point u of J different from u and u and such that u 0. However, this contradicts the assumption that 0, u and u are the only critical points of J. We therefore obtain the existence of a third nontrivial critical point of J. Remark: We provide an example of a function g that satisfies the conditions (A) (A8), and to which the results in Theorem 5.3 will apply. In this example we assume that N 3. Let s denote a positive real number; r be a real number satisfying max ( N, ) < r < N + (N ) ; and a a real number with a > λ. To construct g, let g 0 : R R be a continuous function satisfying the following conditions: (a) g 0 (x, 0) = 0 and g 0 (x, s) = 0 for all x and s s ; (b) the derivative of g 0 has a jumping discontinuity at 0 prescribed by g 0 (x, s) g 0 (x, s) lim = a λ and lim = a + s r s 0 s s 0 +, s uniformly for a.e x ; (c) lim s g 0 (x, s) = 0; (d) lim s G 0 (x, s) = G where G 0 (x, s) = s g(x, ξ)dξ, for x, s R. 0 Then, the function g : R R given by g(x, s) = g 0 (x, s) + (s + ) r s r s +, for x, and s R, where s + denotes the positive part of s, satisfies the conditions (A) (A8).
27 EJDE-07/49 SUPERLINEAR PROBLEM UNDER STRONG RESONANCE 7 Acknowledgments. The authors would like to thank Professor Alfonso Castro for very helpful conversations during the time they worked on the problems discussed in this paper. The authors also appreciate the referee s careful reading of the manuscript and very helpful suggestions and corrections. References [] S. Agmon; The L p approach to the Dirichlet problem, Ann. Scuola Norm. Sup. Pisa 3 (959), [] D. Arcoya and D. G. Costa; Nontrivial solutions for a strong resonant problem, Differential and Integral Equations (995), [3] P. Bartolo, V. Benci, D Fortunato; Abstract critical point theorems and applications to some nonlinear problems with strong resonance at infinity, Nonlinear Analysis, Theory, Methods and Applications 7 (983), [4] H. Brézis, L. Nirenberg; H versus C local minimizers, C. R. Acad. Sci. Paris 37 (993), [5] K. C. Chang, S. J. Li, J. Liu; Remarks on multiple solutions for asymptotically linear elliptic boundary value problems, Topological Methods in Nonlinear Analysis 3 (994), [6] K. C. Chang, J.Q. Liu; A strong resonant problem, Chinese Ann. Math. (990), 9 0. [7] D. G. Costa and E. Silva, The Palais Smale condition versus coercivity, Nonlinear Analysis: Theory, Methods and Applications 6 (99), [8] D. G. Costa and E. Silva; Existence of solutions for a class of resonant elliptic problems, Journal of Mathematics Analysis and Applications 75 (993), [9] Richard Courant; Dirichlet s Principle, Conformal Mapping, and Minimal Surfaces, first ed., Interscience Publishers, Inc., New York, N.Y., 950. [0] D. G. de Figueiredo; The ekeland variational principle with applications and detours, Tata Institute of Fundamental Research, Bombay, 989. [] L. C. Evans; Partial differential equations, Graduate Studies in Mathematics, vol. 9, American Mathematical Society, 998. [] N. Hirano, S. Li, Z-Q. Wang; Morse Theory without (PS) condition at isolated values and strong resonance problems, Calculus of Variations 0 (000), [3] Shujie Li; A new Morse theory and strong resonance problems, Topological Methods in Nonlinear Analysis (003), [4] Patrizia Pucci, James Serrin; A mountain pass theorem, Journal of Differential Equations 60 (985), [5] L. Recôva, A. Rumbos; An asymmetric superlinear elliptic problem at resonance, Nonlinear Analysis (05), Leandro L. Recova Ericsson Inc., Irvine, California 9609, USA address: leandro.recova@ericsson.com Adolfo J. Rumbos Department of Mathematics, Pomona College, Claremont, California 97, USA address: arumbos@pomona.edu
EXISTENCE 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 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 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 informationPOTENTIAL LANDESMAN-LAZER TYPE CONDITIONS AND. 1. Introduction We investigate the existence of solutions for the nonlinear boundary-value problem
Electronic Journal of Differential Equations, Vol. 25(25), No. 94, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) POTENTIAL
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 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 informationEXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS
Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC
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 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 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 informationMULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2015 (2015), o. 274, pp. 1 9. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIOS
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 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 informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationRemarks on Multiple Nontrivial Solutions for Quasi-Linear Resonant Problems
Journal of Mathematical Analysis and Applications 258, 209 222 200) doi:0.006/jmaa.2000.7374, available online at http://www.idealibrary.com on Remarks on Multiple Nontrivial Solutions for Quasi-Linear
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 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 informationSOLUTIONS TO SINGULAR QUASILINEAR ELLIPTIC EQUATIONS ON BOUNDED DOMAINS
Electronic Journal of Differential Equations, Vol. 018 (018), No. 11, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu SOLUTIONS TO SINGULAR QUASILINEAR ELLIPTIC EQUATIONS
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 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 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 informationMultiplicity of solutions for resonant elliptic systems
J. Math. Anal. Appl. 39 006) 435 449 www.elsevier.com/locate/jmaa Multiplicity of solutions for resonant elliptic systems Marcelo F. Furtado,, Francisco O.V. de Paiva IMECC-UNICAMP, Caixa Postal 6065,
More informationRNDr. Petr Tomiczek CSc.
HABILITAČNÍ PRÁCE RNDr. Petr Tomiczek CSc. Plzeň 26 Nonlinear differential equation of second order RNDr. Petr Tomiczek CSc. Department of Mathematics, University of West Bohemia 5 Contents 1 Introduction
More informationFIRST CURVE OF FUČIK SPECTRUM FOR THE p-fractional LAPLACIAN OPERATOR WITH NONLOCAL NORMAL BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 208 (208), No. 74, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu FIRST CURVE OF FUČIK SPECTRUM FOR THE p-fractional
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 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 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 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 informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
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 informationCritical Point Theory 0 and applications
Critical Point Theory 0 and applications Introduction This notes are the result of two Ph.D. courses I held at the University of Florence in Spring 2006 and in Spring 2010 on Critical Point Theory, as
More informationElliptic equations with one-sided critical growth
Electronic Journal of Differential Equations, Vol. 00(00), No. 89, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Elliptic equations
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 informationA CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION
A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION JORGE GARCÍA-MELIÁN, JULIO D. ROSSI AND JOSÉ C. SABINA DE LIS Abstract. In this paper we study existence and multiplicity of
More informationNONHOMOGENEOUS ELLIPTIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT AND WEIGHT
Electronic Journal of Differential Equations, Vol. 016 (016), No. 08, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NONHOMOGENEOUS ELLIPTIC
More informationMultiple positive solutions for a class of quasilinear elliptic boundary-value problems
Electronic Journal of Differential Equations, Vol. 20032003), No. 07, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu login: ftp) Multiple positive
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
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 informationarxiv: v1 [math.ap] 24 Oct 2014
Multiple solutions for Kirchhoff equations under the partially sublinear case Xiaojing Feng School of Mathematical Sciences, Shanxi University, Taiyuan 030006, People s Republic of China arxiv:1410.7335v1
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 informationOn a Bi-Nonlocal p(x)-kirchhoff Equation via Krasnoselskii s Genus
On a Bi-Nonlocal p(x-kirchhoff Equation via Krasnoselskii s Genus Francisco Julio S.A. Corrêa Universidade Federal de Campina Grande Centro de Ciências e Tecnologia Unidade Acadêmica de Matemática e Estatística
More informationCRITICAL POINT METHODS IN DEGENERATE ANISOTROPIC PROBLEMS WITH VARIABLE EXPONENT. We are interested in discussing the problem:
STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LV, Number 4, December 2010 CRITICAL POINT METHODS IN DEGENERATE ANISOTROPIC PROBLEMS WITH VARIABLE EXPONENT MARIA-MAGDALENA BOUREANU Abstract. We work on
More informationElliptic Kirchhoff equations
Elliptic Kirchhoff equations David ARCOYA Universidad de Granada Sevilla, 8-IX-2015 Workshop on Recent Advances in PDEs: Analysis, Numerics and Control In honor of Enrique Fernández-Cara for his 60th birthday
More informationNonvariational problems with critical growth
Nonlinear Analysis ( ) www.elsevier.com/locate/na Nonvariational problems with critical growth Maya Chhetri a, Pavel Drábek b, Sarah Raynor c,, Stephen Robinson c a University of North Carolina, Greensboro,
More informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem
More informationON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz
Opuscula Mathematica Vol. 32 No. 3 2012 http://dx.doi.org/10.7494/opmath.2012.32.3.473 ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM Paweł Goncerz Abstract. We consider a quasilinear
More informationMULTIPLE POSITIVE SOLUTIONS FOR KIRCHHOFF PROBLEMS WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 015 015), No. 0, pp. 1 10. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE POSITIVE SOLUTIONS
More informationNonlinear Maxwell equations a variational approach Version of May 16, 2018
Nonlinear Maxwell equations a variational approach Version of May 16, 018 Course at the Karlsruher Institut für Technologie Jarosław Mederski Institute of Mathematics of the Polish Academy of Sciences
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationSemilinear Elliptic PDE 2 Prof. Dr. Thomas Østergaard Sørensen summer term 2016
Semilinear Elliptic PDE 2 Prof. Dr. Thomas Østergaard Sørensen summer term 2016 Marcel Schaub July 8, 2016 1 CONTENTS Contents 0 Introduction 3 1 Notation, repetition, generalisations 4 1.1 Repetition
More informationBulletin of the. Iranian Mathematical Society
ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 42 (2016), No. 1, pp. 129 141. Title: On nonlocal elliptic system of p-kirchhoff-type in Author(s): L.
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 informationCritical Groups in Saddle Point Theorems without a Finite Dimensional Closed Loop
Math. Nachr. 43 00), 56 64 Critical Groups in Saddle Point Theorems without a Finite Dimensional Closed Loop By Kanishka Perera ) of Florida and Martin Schechter of Irvine Received November 0, 000; accepted
More informationEXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 69 4 (217 271 28 December 217 research paper originalni nauqni rad EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM Saeid Shokooh and Ghasem A.
More informationA Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators
A Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators Lei Ni And I cherish more than anything else the Analogies, my most trustworthy masters. They know all the secrets of
More informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationBLOW-UP AND EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION EQUATION WITH HOMOGENEOUS NEUMANN BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 016 (016), No. 36, pp. 1 10. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu BLOW-UP AND EXTINCTION OF SOLUTIONS TO A FAST
More informationINFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER EQUATIONS
Journal of Applied Analysis and Computation Volume 8, Number 5, October 018, 1475 1493 Website:http://jaac-online.com/ DOI:10.11948/018.1475 INFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER
More informationSTEKLOV PROBLEMS INVOLVING THE p(x)-laplacian
Electronic Journal of Differential Equations, Vol. 204 204), No. 34, pp.. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu STEKLOV PROBLEMS INVOLVING
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 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 informationELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 76, 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) ELLIPTIC
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationSYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS
Electronic Journal of Differential Equations, Vol. 2009(2009), No. 149, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMETRY IN REARRANGEMENT
More informationA REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 2004, 199 207 A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL Olaf Torné (Submitted by Michel
More informationExistence of Solutions for a Class of p(x)-biharmonic Problems without (A-R) Type Conditions
International Journal of Mathematical Analysis Vol. 2, 208, no., 505-55 HIKARI Ltd, www.m-hikari.com https://doi.org/0.2988/ijma.208.886 Existence of Solutions for a Class of p(x)-biharmonic Problems without
More informationExistence and multiplicity results for Dirichlet boundary value problems involving the (p 1 (x), p 2 (x))-laplace operator
Note di atematica ISSN 23-2536, e-issn 590-0932 Note at. 37 (207) no., 69 85. doi:0.285/i5900932v37np69 Existence and multiplicity results for Dirichlet boundary value problems involving the (p (x), p
More informationOn the Schrödinger Equation in R N under the Effect of a General Nonlinear Term
On the Schrödinger Equation in under the Effect of a General Nonlinear Term A. AZZOLLINI & A. POMPONIO ABSTRACT. In this paper we prove the existence of a positive solution to the equation u + V(x)u =
More informationarxiv: v1 [math.ap] 7 May 2009
Existence of solutions for a problem of resonance road space with weight arxiv:0905.1016v1 [math.ap] 7 May 2009 Antonio Ronaldo G. Garcia, Moisés D. dos Santos and Adrião D. D. Neto 2 Abstract Universidade
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationNOTE ON THE NODAL LINE OF THE P-LAPLACIAN. 1. Introduction In this paper we consider the nonlinear elliptic boundary-value problem
2005-Oujda International Conference on Nonlinear Analysis. Electronic Journal of Differential Equations, Conference 14, 2006, pp. 155 162. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
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 informationEigenvalue Problems for Some Elliptic Partial Differential Operators
Eigenvalue Problems for Some Elliptic Partial Differential Operators by Mihai Mihăilescu Submitted to Department of Mathematics and its Applications Central European University In partial fulfilment of
More informationCONDITIONS FOR HAVING A DIFFEOMORPHISM BETWEEN TWO BANACH SPACES
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 99, pp. 1 6. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu CONDITIONS FOR
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 informationExistence of solutions to a superlinear p-laplacian equation
Electronic Journal of Differential Equations, Vol. 2001(2001), No. 66,. 1 6. ISSN: 1072-6691. URL: htt://ejde.math.swt.edu or htt://ejde.math.unt.edu ft ejde.math.swt.edu (login: ft) Existence of solutions
More informationSIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM
Electronic Journal of Differential Euations, Vol. 22 (22), No. 26, pp. 9. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SIMULTANEOUS AND NON-SIMULTANEOUS
More informationON THE SCHRÖDINGER EQUATION INVOLVING A CRITICAL SOBOLEV EXPONENT AND MAGNETIC FIELD. Jan Chabrowski Andrzej Szulkin. 1.
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 25, 2005, 3 21 ON THE SCHRÖDINGER EQUATION INVOLVING A CRITICAL SOBOLEV EXPONENT AND MAGNETIC FIELD Jan Chabrowski
More informationOn the discrete boundary value problem for anisotropic equation
On the discrete boundary value problem for anisotropic equation Marek Galewski, Szymon G l ab August 4, 0 Abstract In this paper we consider the discrete anisotropic boundary value problem using critical
More informationOBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 27 (27, No. 6, pp. 2. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS
More informationGENERATORS WITH INTERIOR DEGENERACY ON SPACES OF L 2 TYPE
Electronic Journal of Differential Equations, Vol. 22 (22), No. 89, pp. 3. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu GENERATORS WITH INTERIOR
More informationGROUND STATES FOR SUPERLINEAR FRACTIONAL SCHRÖDINGER EQUATIONS IN R N
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 41, 2016, 745 756 GROUND STATES FOR SUPERLINEAR FRACTIONAL SCHRÖDINGER EQUATIONS IN Vincenzo Ambrosio Università degli Studi di Napoli Federico
More informationEXISTENCE OF POSITIVE SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
Electronic Journal of Differential Equations, Vol. 013 013, No. 180, pp. 1 8. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE OF POSITIVE
More informationNonlinear Analysis 72 (2010) Contents lists available at ScienceDirect. Nonlinear Analysis. journal homepage:
Nonlinear Analysis 72 (2010) 4298 4303 Contents lists available at ScienceDirect Nonlinear Analysis journal homepage: www.elsevier.com/locate/na Local C 1 ()-minimizers versus local W 1,p ()-minimizers
More informationON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS
Chin. Ann. Math.??B(?), 200?, 1 20 DOI: 10.1007/s11401-007-0001-x ON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS Michel CHIPOT Abstract We present a method allowing to obtain existence of a solution for
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 informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationResonant nonlinear Neumann problems with indefinite weight
Resonant nonlinear Neumann problems with indefinite weight Dimitri Mugnai Dipartimento di Matematica e Informatica Università di Perugia Via Vanvitelli 1, 06123 Perugia - Italy tel. +39 075 5855043, fax.
More informationSUPER-QUADRATIC CONDITIONS FOR PERIODIC ELLIPTIC SYSTEM ON R N
Electronic Journal of Differential Equations, Vol. 015 015), No. 17, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SUPER-QUADRATIC CONDITIONS
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
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 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 informationSEQUENCES OF SMALL HOMOCLINIC SOLUTIONS FOR DIFFERENCE EQUATIONS ON INTEGERS
Electronic Journal of Differential Equations, Vol. 2017 (2017, No. 228, pp. 1 12. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu SEQUENCES OF SMALL HOMOCLINIC SOLUTIONS
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
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 informationEXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY
Electronic Journal of Differential Equations, Vol. 216 216), No. 329, pp. 1 22. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN
More informationWELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 13, pp. 1 15. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL
More informationBlow up points of solution curves for a semilinear problem
Blow up points of solution curves for a semilinear problem Junping Shi Department of Mathematics, Tulane University New Orleans, LA 70118 Email: shij@math.tulane.edu 1 Introduction Consider a semilinear
More information