1 Multiple solutions for a Neumann system involving subquadratic nonlinearities arxiv:1602.04148v1 [math.ap] 12 Feb 2016 Alexandru Kristály 1 Department of Economics, Babeş-Bolyai University, Str. Teodor Mihali, nr. 58-60, 400591 Cluj-Napoca, Romania Dušan Repovš Faculty of Mathematics and Physics, and Faculty of Education, University of Ljubljana, Jadranska 19, 1000 Ljubljana, Slovenia Abstract In this paper we consider the model semilinear Neumann system u+a(x)u = c(x)f u (u,v) in, v +b(x)v = c(x)f v (u,v) in, u ν = v ν = 0 on, (N ) where R N is a smooth open bounded domain, ν denotes the outward unit normal to, 0 is a parameter, a,b,c L +() \ {0}, and F C 1 (R 2,R) \ {0} is a nonnegative function which is subquadratic at infinity. Two nearby numbers are determined in explicit forms, and with 0 <, such that for every 0 <, system (N ) has only the trivial pair of solution, while for every >, system (N ) has at least two distinct nonzero pairs of solutions. Keywords: Neumann system, subquadratic, nonexistence, multiplicity. 1 Introduction Let us consider the quasilinear Neumann system p u+a(x) u p 2 u = c(x)f u (u,v) in, q v +b(x) v q 2 v = c(x)f v (u,v) in, (N u = v = 0 on, ν ν p,q ) where p,q > 1; R N is a smooth open bounded domain; ν denotes the outward unit normal to ; a,b,c L () are some functions; 0 is a parameter; and F u and F v denote the partial derivatives of F C 1 (R 2,R) with respect to the first and second variables, respectively. Recently, problem (N p,q ) has been considered by several authors. For instance, under suitable assumptions on a,b,c and F, El Manouni and Kbiri Alaoui [5] proved the existence of an interval A (0, ) such that (N p,q ) has at least three solutions whenever A and p,q > N. Lisei and Varga [8] also established the existence of at least three solutions for the system (N p,q ) with nonhomogeneous and nonsmooth Neumann boundary conditions. Di Falco [3] proved the 1 Research supported by CNCSIS grant PCCE-55/2008 Sisteme diferenţiale în analiza neliniară şi aplicaţii, by the János Bolyai Research Scholarship of the Hungarian Academy of Sciences, and by Slovenian Research Agency grants P1-0292-0101 and J1-2057-0101.
2 existence of infinitely many solutions for (N p,q ) when the nonlinear function F has a suitable oscillatory behavior. Systems similar to (N p,q ) with the Dirichlet boundary conditions were also considered by Afrouzi and Heidarkhani [1, 2], Boccardo and de Figueiredo [4], Heidarkhani and Tian [6], Li and Tang [7], see also references therein. The aim of the present paper is to describe a new phenomenon for Neumann systems when the nonlinear term has a subquadratic growth. In order to avoid technicalities, instead of the quasilinear system (N p,q ), we shall consider the semilinear problem u+a(x)u = c(x)f u (u,v) in, v +b(x)v = c(x)f v (u,v) in, u n n on. (N ) We assume that the nonlinear term F C 1 (R 2,R) satisfies the following properties: (F + ) 0 for every (s,t) R 2, F(0,0) = 0, and F 0; (F 0 ) lim (s,t) (0,0) F s(s,t) = lim (s,t) (0,0) F t(s,t) = 0; (F ) lim F s(s,t) = lim F t(s,t) = 0. Example 1.1 Atypical nonlinearitywhichfulfilshypotheses (F + ), (F 0 )and(f )is = ln(1+s 2 t 2 ). We also introduce the set Π + () = {a L () : essinf a > 0}. For a,b,c Π + () and for F C 1 (R 2,R) which fulfils the hypotheses (F + ), (F 0 ) and (F ), we define the numbers s F = 2 c L 1 max (s,t) (0,0) a L 1s 2 + b L 1t 2, and S F = max (s,t) (0,0) sf s (s,t)+tf t (s,t) c/a L s2 + c/b L t2. Note that these numbers are finite, positive and S F s F, see Proposition 2.1 (here and in the sequel, L p denotes the usual norm of the Lebesgue space L p (), p [1, ]). Our main result reads as follows. Theorem 1.1 Let F C 1 (R 2,R) be a function which satisfies (F + ), (F 0 ) and (F ), and a,b,c Π + (). Then, the following statements hold. (i) For every 0 < S F, system (N ) has only the trivial pair of solution. (ii) For every > s F, system (N ) has at least two distinct, nontrivial pairs of solutions (u i,vi ) H1 () 2, i {1,2}.
3 Remark 1.1 (a) A natural question arises which is still open: how many solutions exist for (N ) when [S F,s F ]? Numerical experiments show that s F and S F are usually not far from each other, although their origins are independent. For instance, if a = b = c, and F is from Example 1.1, we have s F 0.8046 and S F = 1. (b) Assumptions (F + ), (F 0 ) and (F ) imply that there exists c > 0 such that 0 c(s 2 +t 2 ) for all (s,t) R 2, (1.1) i.e., F has a subquadratic growth. Consequently, Theorem 1.1 completes the results of several papers where F fulfils the Ambrosetti-Rabinowitz condition, i.e., there exist θ > 2 and r > 0 such that 0 < θ sf s (s,t)+tf t (s,t) for all s, t r. (1.2) Indeed, (1.2)impliesthatforsomeC 1,C 2 > 0,onehas C 1 ( s θ + t θ )forall s, t > C 2. The next section contains some auxiliary notions and results, while in Section 3 we prove Theorem 1.1. First, a direct calculation proves (i), while a very recent three critical points result of Ricceri [9] provides the proof of (ii). 2 Preliminaries A solution for (N ) is a pair (u,v) H 1 () 2 such that { ( u φ+a(x)uφ)dx = c(x)f u(u,v)φdx for all φ H 1 (), ( v ψ +b(x)vψ)dx = c(x)f v(u,v)ψdx for all ψ H 1 (). (2.1) Let a,b,c Π + (). We associate to the system (N ) the energy functional I : H 1 () 2 R defined by where and ( u a = I (u,v) = 1 2 ( u 2 a + v 2 b ) F(u,v), ) 1/2 ( ) 1/2 u 2 +a(x)u 2 ; v b = v 2 +b(x)v 2, F(u,v) = c(x)f(u, v). It is clear that a and b are equivalent to the usual norm on H 1 (). Note that if F C 1 (R 2,R) verifies the hypotheses (F 0 ) and (F ) (see also relation (1.1)), the functional I is well-defined, of class C 1 on H 1 () 2 and its critical points are exactly the solutions for (N ). Since F s (0,0) = F t (0,0) = 0 from (F 0 ), (0,0) is a solution of (N ) for every 0. In order to prove Theorem 1.1 (ii), we must find critical points for I. In order to do this, we recall the following Ricceri-type three critical point theorem. First, we need the following notion: if X is a Banach space, we denote by W X the class of those functionals E : X R that possess the property that if {u n } is a sequence in X converging weakly to u X and liminf n E(u n ) E(u) then {u n } has a subsequence strongly converging to u.
4 Theorem 2.1 [9, Theorem 2] Let X be a separable and reflexive real Banach space, let E 1 : X R be a coercive, sequentially weakly lower semicontinuous C 1 functional belonging to W X, bounded on each bounded subset of X and whose derivative admits a continuous inverse on X ; and E 2 : X R a C 1 functional with a compact derivative. Assume that E 1 has a strict local minimum u 0 with E 1 (u 0 ) = E 2 (u 0 ) = 0. Setting the numbers τ = max { 0,limsup u E 2 (u) E 1 (u),limsup u u 0 E 2 (u) E 1 (u) }, (2.2) E 2 (u) χ = sup E 1 (u)>0 E 1 (u), (2.3) assume that τ < χ. Then, for each compact interval [a,b] (1/χ,1/τ) (with the conventions 1/0 = and 1/ = 0) there exists κ > 0 with the following property: for every [a,b] and every C 1 functional E 3 : X R with a compact derivative, there exists δ > 0 such that for each θ [0,δ], the equation E 1 (u) E 2 (u) θe 3 (u) = 0 admits at least three solutions in X having norm less than κ. We conclude this section with an observation which involves the constants s F and S F. Proposition 2.1 Let F C 1 (R 2,R) be a function which satisfies (F + ), (F 0 ) and (F ), and a,b,c Π + (). Then the numbers s F and S F are finite, positive and S F s F. Proof. It follows by (F 0 ) and (F ) and by the continuity of the functions (s,t) Fs(s,t), (s,t) Ft(s,t) away from (0,0), that there exists M > 0 such that F s (s,t) M() and F t (s,t) M() for all (s,t) R 2. Consequently, a standard mean value theorem together with (F + ) implies that We now prove that 0 2M(s 2 +t 2 ) for all (s,t) R 2. (2.4) lim (s,t) (0,0) = 0 and lim s 2 +t2 = 0. (2.5) s 2 +t2 By (F 0 ) and (F ), for every > 0 there exists δ (0,1) such that for every (s,t) R 2 with (0,δ ) (δ, ), one has F s (s,t) < 4 and F t(s,t) < 4. (2.6) By (2.6) and the mean value theorem, for every (s,t) R 2 with (0,δ ), we have = F(0,t)+F(0,t) F(0,0) 2 (s2 +t 2 )
5 whichgivesthefirstlimitin(2.5). Now, forevery(s,t) R 2 with > δ max{1, 8M/}, by using (2.4) and (2.6), we have ( ) δ = F s,t +F ( ) δ +F s, δ t 4 ()2 +2Mδ 2 (s 2 +t 2 ), ( ) ( δ δ s,t F ) s, δ t which leads us to the second limit in (2.5). The facts above show that the numbers s F and S F are finite. Moreover, s F > 0. We now prove that S F s F. To do this, let (s 0,t 0 ) R 2 \{(0,0)} be a maximum point of the function (s,t). In particular, its partial derivatives vanishes at (s a L 1s 2 + b L 1t 2 0,t 0 ), yielding From the two relations above we obtain that F s (s 0,t 0 )( a L 1s 2 0 + b L 1t 2 0) = 2 a L 1s 0 F(s 0,t 0 ); F t (s 0,t 0 )( a L 1s 2 0 + b L 1t2 0 ) = 2 b L 1t 0F(s 0,t 0 ). s 0 F s (s 0,t 0 )+t 0 F t (s 0,t 0 ) = 2F(s 0,t 0 ). On the other hand, since a,b,c Π + (), we have that c(x) c L 1 = c(x)dx = a(x) a(x)dx c a L a(x)dx = c a L 1, a L thus c/a L a L 1/ c L1 and in a similar way c/b L b L 1/ c L1. Combining these inequalities with the above argument, we conclude that S F s F. 3 Proof of Theorem 1.1 In this section we assume that the assumptions of Theorem 1.1 are fulfilled. Proof of Theorem 1.1 (i). Let (u,v) H 1 () 2 be a solution of (N ). Choosing φ = u and ψ = v in (2.1), we obtain that u 2 a + v 2 b = ( u 2 +a(x)u 2 + v 2 +b(x)v 2 ) = c(x)(f u (u,v)u+f v (u,v)v) S F c(x)( c/a L u2 + c/b L v2 ) S F (a(x)u 2 +b(x)v 2 ) S F ( u 2 a + v 2 b). Now, if 0 < S F, we necessarily have that (u,v) = (0,0), which concludes the proof.
6 Proof of Theorem 1.1 (ii). In Theorem 2.1 we choose X = H 1 () 2 endowed with the norm (u,v) = u 2 a + v 2 b, and E 1,E 2 : H 1 () 2 R defined by E 1 (u,v) = 1 2 (u,v) 2 and E 2 (u,v) = F(u,v). It is clear that both E 1 and E 2 are C 1 functionals and I = E 1 E 2. It is also a standard fact that E 1 is a coercive, sequentially weakly lower semicontinuous functional which belongs to W H 1 () 2, bounded on each bounded subset of H1 () 2, and its derivative admits a continuous inverseon(h 1 () 2 ).Moreover, E 2 hasacompactderivativesinceh 1 () L p ()isacompact embedding for every p (2,2 ). Now, we prove that the functional (u,v) E 2(u,v) E 1 (u,v) (s,t) s 2 +t 2. More precisely, we shall prove that has similar properties as the function E 2 (u) lim (u,v) 0 E 1 (u) = lim E 2 (u) = 0. (3.1) (u,v) E 1 (u) First, relation (2.5) implies that for every > 0 there exists δ (0,1) such that for every (s,t) R 2 with (0,δ ) (δ, ), one has 0 s 2 +t 2 < 4max{ c/a L, c/b L }. (3.2) Fix p (2,2 ). Note that the continuous function (s,t) is bounded on the set s p + t p {(s,t) R 2 : [δ,δ ]}. Therefore, for some m > 0, we have that in particular 0 4max{ c/a L, c/b L } (s2 +t 2 )+m ( s p + t p ) for all (s,t) R 2. Therefore, for each (u,v) H 1 () 2, we get 0 E 2 (u,v) = c(x)f(u,v) [ ] c(x) 4max{ c/a L, c/b L } (u2 +v 2 )+m ( u p + v p ) [ 4 (a(x)u2 +b(x)v 2 )+m c(x)( u p + v )] p 4 (u,v) 2 +m c L S p p( u p a + v p b ) 4 (u,v) 2 +m c L S p p (u,v) p, where S l > 0 is the best constant in the inequality u L l S l min{ u a, u b } for every u H 1 (), l (1,2 ) (we used the fact that the function α (s α + t α ) 1 α is decreasing, s,t 0). Consequently, for every (u,v) (0,0), we obtain 0 E 2(u,v) E 1 (u,v) 2 +2m c L S p p (u,v) p 2.
7 Since p > 2 and > 0 is arbitrarily small when (u,v) 0, we obtain the first limit from (3.1). Now, we fix r (1,2). The continuous function (s,t) is bounded on the set s r + t r {(s,t) R 2 : s + t [δ,δ ]}, where δ (0,1) is from (3.2). Combining this fact with (3.2), one can find a number M > 0 such that 0 4max{ c/a L, c/b L } (s2 +t 2 )+M ( s r + t r ) for all (s,t) R 2. The Hölder inequality and a similar calculation as above show that For every (u,v) (0,0), we have that 0 E 2 (u,v) 4 (u,v) 2 +2 1 r 2 M c L S r r (u,v) r. 0 E 2(u,v) E 1 (u,v) 2 +22 r 2 M c L S r r (u,v) r 2. Due to the arbitrariness of > 0 and r (1,2), by letting the limit (u,v), we obtain the second relation from (3.1). Note that E 1 has a strict global minimum (u 0,v 0 ) = (0,0), and E 1 (0,0) = E 2 (0,0) = 0. The definition of the number τ in Theorem 2.1, see (2.2), and the limits in (3.1) imply that τ = 0. Furthermore, since H 1 () contains the constant functions on, keeping the notation from (2.3), we obtain E 2 (u,v) χ = sup E 1 (u,v)>0 E 1 (u,v) 2 c L 1 max (s,t) (0,0) a L 1s 2 + b L 1t 2 = s F. Therefore, applying Theorem 2.1 (with E 3 0), we obtain that in particular for every (s F, ), the equation I (u,v) E 1(u,v) E 2(u,v) = 0 admits at least three distinct pairs of solutions in H 1 () 2. Due to condition (F 0 ), system (N ) has the solution (0,0). Therefore, for every > s F, the system (N ) has at least two distinct, nontrivial pairs of solutions, which concludes the proof. Remark 3.1 The conclusion of Theorem 2.1 gives a much more precise information about the Neumann system (N ); namely, one can see that (N ) is stable with respect to small perturbations. To be more precise, let us consider the perturbed system u+a(x)u = c(x)f u (u,v)+µd(x)g u (u,v) in, v +b(x)v = c(x)f v (u,v)+µd(x)g v (u,v) in, u n n on. (N,µ) where µ R, d L (), and G C 1 (R 2,R) is a function such that for some c > 0 and 1 < p < 2, max{ G s (s,t), G t (s,t) } c(1+ s p + t p ) for all (s,t) R 2. One can prove in a standard manner that E 3 : H 1 () 2 R defined by E 3 (u,v) = d(x)g(u, v)dx, is of class C 1 and it has a compact derivative. Thus, we may apply Theorem 2.1 inits generality to show that for small enoughvalues of µ system (N,µ ) still has three distinct pairs of solutions.
8 References [1] G.A. Afrouzi, S. Heidarkhani, Multiplicity theorems for a class of Dirichlet quasilinear elliptic systems involving the (p 1,...,p n )-Laplacian, Nonlinear Analysis 73 (2010), 2594-2602. [2] G.A. Afrouzi, S. Heidarkhani, Existence of three solutions for a class of Dirichlet quasilinear elliptic systems involving the (p 1,...,p n )-Laplacian, Nonlinear Analysis 70 (2009), 135-143. [3] A. G. Di Falco, Infinitely many solutions to the Neuman problem for quasilinear elliptic systems, Matematiche (Catania), 58 (2003), 117 130. [4] L. Boccardo, G. de Figueiredo, Some remarks on a system of quasilinear elliptic equations, NoDEA Nonlinear Differ. Equ. Appl. 9 (2002), 309-323. [5] S. El Manouni, M. Kbiri Alaoui, A result on elliptic systems with Neumann conditions via Ricceri s three critical points theorem, Nonlinear Analysis 71 (2009), 2343-2348. [6] S. Heidarkhani, Y. Tian, Multiplicity results for a class of gradient systems depending on two parameters, Nonlinear Analysis 73 (2010), 547-554. [7] C. Li, C.-L. Tang, Three solutions for a class of quasilinear elliptic systems involving the (p, q)-laplacian, Nonlinear Analysis 69 (2008), 3322-3329. [8] H. Lisei, Cs. Varga, Multiple solutions for gradient elliptic systems with nonsmooth boundary conditions, Mediterranean Journal of Mathematics, in press, DOI: 10.1007/s00009-010- 0052-1. [9] B. Ricceri, A further three critical points theorem, Nonlinear Analysis 71 (2009), 4151-4157.