EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

Similar documents
arxiv: v1 [math.ap] 24 Oct 2014

MULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL

MULTIPLE POSITIVE SOLUTIONS FOR KIRCHHOFF PROBLEMS WITH SIGN-CHANGING POTENTIAL

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

Bulletin of the. Iranian Mathematical Society

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

POSITIVE GROUND STATE SOLUTIONS FOR SOME NON-AUTONOMOUS KIRCHHOFF TYPE PROBLEMS

KIRCHHOFF TYPE PROBLEMS WITH POTENTIAL WELL AND INDEFINITE POTENTIAL. 1. Introduction In this article, we will study the Kirchhoff type problem

arxiv: v1 [math.ap] 16 Jan 2015

INFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER EQUATIONS

HOMOCLINIC SOLUTIONS FOR SECOND-ORDER NON-AUTONOMOUS HAMILTONIAN SYSTEMS WITHOUT GLOBAL AMBROSETTI-RABINOWITZ CONDITIONS

EXISTENCE AND MULTIPLICITY OF PERIODIC SOLUTIONS GENERATED BY IMPULSES FOR SECOND-ORDER HAMILTONIAN SYSTEM

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

EXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS

EXISTENCE OF POSITIVE GROUND STATE SOLUTIONS FOR A CLASS OF ASYMPTOTICALLY PERIODIC SCHRÖDINGER-POISSON SYSTEMS

INFINITELY MANY SOLUTIONS FOR A CLASS OF SUBLINEAR SCHRÖDINGER EQUATIONS. Jing Chen and X. H. Tang 1. INTRODUCTION

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

MULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN

Existence of Solutions for a Class of p(x)-biharmonic Problems without (A-R) Type Conditions

EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM

Existence and Multiplicity of Solutions for a Class of Semilinear Elliptic Equations 1

NONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction

POTENTIAL LANDESMAN-LAZER TYPE CONDITIONS AND. 1. Introduction We investigate the existence of solutions for the nonlinear boundary-value problem

On the Schrödinger Equation in R N under the Effect of a General Nonlinear Term

LEAST ENERGY SIGN-CHANGING SOLUTIONS FOR NONLINEAR PROBLEMS INVOLVING FRACTIONAL LAPLACIAN

SOLUTIONS TO SINGULAR QUASILINEAR ELLIPTIC EQUATIONS ON BOUNDED DOMAINS

GROUND STATE SOLUTIONS FOR CHOQUARD TYPE EQUATIONS WITH A SINGULAR POTENTIAL. 1. Introduction In this article, we study the Choquard type equation

EXISTENCE RESULTS FOR QUASILINEAR HEMIVARIATIONAL INEQUALITIES AT RESONANCE. Leszek Gasiński

EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS

A Caffarelli-Kohn-Nirenberg type inequality with variable exponent and applications to PDE s

BLOW-UP OF SOLUTIONS FOR VISCOELASTIC EQUATIONS OF KIRCHHOFF TYPE WITH ARBITRARY POSITIVE INITIAL ENERGY

SUPER-QUADRATIC CONDITIONS FOR PERIODIC ELLIPTIC SYSTEM ON R N

Nonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient

On periodic solutions of superquadratic Hamiltonian systems

Multiple positive solutions for a class of quasilinear elliptic boundary-value problems

EXISTENCE OF POSITIVE SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS

Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian

EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

A nodal solution of the scalar field equation at the second minimax level

MULTIPLE POSITIVE SOLUTIONS FOR A KIRCHHOFF TYPE PROBLEM

ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT

ON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT

MULTIPLE SOLUTIONS FOR A KIRCHHOFF EQUATION WITH NONLINEARITY HAVING ARBITRARY GROWTH

A Variational Analysis of a Gauged Nonlinear Schrödinger Equation

POSITIVE GROUND STATE SOLUTIONS FOR QUASICRITICAL KLEIN-GORDON-MAXWELL TYPE SYSTEMS WITH POTENTIAL VANISHING AT INFINITY

SYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS

Existence of Multiple Positive Solutions of Quasilinear Elliptic Problems in R N

arxiv: v1 [math.ap] 7 May 2009

COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS

SIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM

Nontrivial Solutions for Boundary Value Problems of Nonlinear Differential Equation

Existence of Positive Solutions to a Nonlinear Biharmonic Equation

arxiv: v3 [math.ap] 1 Oct 2018

Minimization problems on the Hardy-Sobolev inequality

HOMOLOGICAL LOCAL LINKING

A PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS

On semilinear elliptic equations with nonlocal nonlinearity

STEKLOV PROBLEMS INVOLVING THE p(x)-laplacian

arxiv: v1 [math.ap] 28 Mar 2014

Xiyou Cheng Zhitao Zhang. 1. Introduction

RADIAL SOLUTIONS FOR INHOMOGENEOUS BIHARMONIC ELLIPTIC SYSTEMS

MULTIPLE SOLUTIONS FOR THE p-laplace EQUATION WITH NONLINEAR BOUNDARY CONDITIONS

EXISTENCE OF SOLUTIONS TO P-LAPLACE EQUATIONS WITH LOGARITHMIC NONLINEARITY

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type

EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction

ELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES

Standing waves with large frequency for 4-superlinear Schrödinger-Poisson systems

Nonlinear elliptic systems with exponential nonlinearities

On the discrete boundary value problem for anisotropic equation

PERIODIC SOLUTIONS FOR NON-AUTONOMOUS SECOND-ORDER DIFFERENTIAL SYSTEMS WITH (q, p)-laplacian

SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction

ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz

A Dirichlet problem in the strip

INFINITELY MANY SOLUTIONS FOR KIRCHHOFF-TYPE PROBLEMS DEPENDING ON A PARAMETER

SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction

UNIFORM DECAY OF SOLUTIONS FOR COUPLED VISCOELASTIC WAVE EQUATIONS

Existence of a ground state and blow-up problem for a nonlinear Schrödinger equation with critical growth

ASYMMETRIC SUPERLINEAR PROBLEMS UNDER STRONG RESONANCE CONDITIONS

On nonexpansive and accretive operators in Banach spaces

WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY

UNIQUENESS OF SELF-SIMILAR VERY SINGULAR SOLUTION FOR NON-NEWTONIAN POLYTROPIC FILTRATION EQUATIONS WITH GRADIENT ABSORPTION

GROUND STATES FOR SUPERLINEAR FRACTIONAL SCHRÖDINGER EQUATIONS IN R N

On Chern-Simons-Schrödinger equations including a vortex point

Strongly nonlinear parabolic initial-boundary value problems in Orlicz spaces

Stability properties of positive solutions to partial differential equations with delay

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

Existence of Positive Solutions to Semilinear Elliptic Systems Involving Concave and Convex Nonlinearities

Non-radial solutions to a bi-harmonic equation with negative exponent

Symmetry and monotonicity of least energy solutions

BIFURCATION AND MULTIPLICITY RESULTS FOR CRITICAL p -LAPLACIAN PROBLEMS. Kanishka Perera Marco Squassina Yang Yang

A continuous spectrum for nonhomogeneous differential operators in Orlicz-Sobolev spaces

PERIODIC SOLUTIONS OF THE FORCED PENDULUM : CLASSICAL VS RELATIVISTIC

MULTIPLE SOLUTIONS FOR BIHARMONIC ELLIPTIC PROBLEMS WITH THE SECOND HESSIAN

EXISTENCE OF MULTIPLE SOLUTIONS TO ELLIPTIC PROBLEMS OF KIRCHHOFF TYPE WITH CRITICAL EXPONENTIAL GROWTH

Nonlinear scalar field equations with general nonlinearity

Compactness results and applications to some zero mass elliptic problems

NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction

Transcription:

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 WITH UNBOUNDED POTENTIAL YUELIANG DUAN, YINGGAO ZHOU Communicated by Paul H. Rabinowitz Abstract. In this article, we study the Kirchhoff type equation Z Z a + u 2 + b u 2 [ u + bu] = K(x) u p u, in, where a, b > 0, p (2, 5), 0 is a parameter, and K may be an unbounded potential function. By using variational methods, we prove the existence of nontrivial solutions for the above equation. A cut-off functional and some estimates are used to obtain the bounded Palais-Smale sequences.. Introduction In this article, we consider the Kirchhoff type problem ( ) a + u 2 + b u 2 [ u + bu] = K(x) u p u, in, u H r ( ), (.) where a > 0, b > 0, p (2, 5), 0 is a parameter and K(x) is a given potential satisfying the following conditions: (H) K : R is a nonnegative continuous function, K is radial (that is k(x) = k( x )) and K 0; (H2) there exists C 0 > 0 and 0 l < p 2 such that K(x) C 0 ( + x l ) for all x. When Ω is a bounded domain in R N, the Kirchhoff type problem ( a + b u 2) u = f(x, u), in Ω, Ω (.2) u = 0, on Ω, has attracted a lot of attention in recent years. Equation (.2) is a nonlocal problem because of the appearance of the term Ω u 2. This causes some mathematical difficulties but makes the study of (.2) very interesting. One can refer to [, 4, 3, 9, 5, 25, 27, 23, 28, 7, 8, 3] and references therein for the existence and multiplicity of positive solutions to (.2). Mao and Luan [2], Mao and Luan [20], 200 Mathematics Subject Classification. 35A5, 35A20, 35J20. Key words and phrases. Cut-off functional; Kirchhoff type problem; unbounded potential; variational method. c 207 Texas State University. Submitted March 7, 207. Published July 9, 207.

2 Y. DUAN, Y. ZHOU EJDE-207/84 Zhang and Perera [29] have investigated the existence of sign-changing solutions of (.2). When Ω = R N, the existence and multiplicity of solutions to (.2) have been treated in [6, 2, 4, 26, 6, 5]. In particular, Nie and Wu [22] have studied the Schrödinger-Kirchhoff type problem ( ) a + b u 2 u + V ( x )u = Q( x )f(u), R N (.3) u(x) 0, as x, where N 2, a, b > 0, f C(R, R), V and Q are both radial functions in R N. Under some conditions on V and Q, the existence of nontrivial solutions and a sequence of high energy solutions for problem (.3) has been proved by the Mountain Pass theorem and symmetric Mountain Pass theorem. From [22, Remarks and 2], we see that the potential Q is bounded in R N. In [7], Li, Li and Shi showed the existence of nontrivial solutions of the following problem with zero mass ( ) a + b u 2 u = K(x)f(u), in R N, R N u D,2 (R N ), where the potential function K(x) is a nonnegative continuous function, K [L s (R N ) L (R N )]\{0} for some s 2N/(N + 2) and x K(x) αk(x) for a.e. x R N and some α (0, 2). To be best of our knowledge, there is no result about the Kirchhoff type problems with unbounded potential at infinity. Motivated by the above work, in this article, we are lead to study problem (.) with unbounded potential K. Our main results are as follows: Theorem.. Assume (H) and (H2) hold. Then there exists 0 > 0 such that for any [0, 0 ), problem (.) has at least one nontrivial solution in H r ( ). Corollary.2. Assume (H) and (H2) hold. Then the local problem has at least one nontrivial solution in H r ( ). u + bu = K(x) u p u, in (.4) We remark that in [7], a cut-off functional and Pohozaev type identity are utilized to obtain the bounded Palais-Smale sequences. However, we find that when f(u) = u p u can be expressed explicitly, it is not necessary to establish the Pohozaev type identity. In the case that K is unbounded, we need the Radial Lemma (see Lemma 2.) to overcome the loss of compactness, which is different from [7]. The remaining of this paper is organized as follows. In Section 2, we give some notations and elementary lemmas which will be used in the paper. In Section 3, we are devoted to the proof of our main results. 2. Preliminaries In this paper, we shall use the following notation: C stands for different positive constants.

EJDE-207/84 EXISTENCE OF SOLUTIONS 3 For r > 0, B r (x) is an open ball in with radius r centered at x. H ( ) denotes the usual Sobolev space equipped with the inner product (u, v) = ( u v + buv)dx, and the corresponding norm u = (u, u) /2. Hr ( ) is the set of all radial functions in H ( ). For Ω and q <, L q (Ω) denotes the Lebesgue space with the norm u L q (Ω) = ( u q dx) q. When Ω =, we write u q = u L q ( ) for simplicity of notations. Furthermore, when q =, we write u = ess sup x u(x). H ( ) L q ( ) continuously for q [2, 6], while Hr ( ) L q ( ) compactly for q (2, 6). The dual space of Hr ( ) is denoted by Hr ( ). Let, be the duality pairing between Hr ( ) and Hr ( ). Before establishing the variational setting for (.), we need the following lemma. Lemma 2. ([2]). Let N 2. Then for any radial function u H r (R N ), u(r) C u r N 2, for r, where C is a positive constant and only depends on N. Remark 2.2. Since H ( ) L q ( ) continuously for q [2, 6], for any u Hr ( ), by (H) and (H2), we have 0 K(x) u p+ dx C 0 ( + x R l ) u p+ dx 3 = C 0 ( + x l ) u p+ dx + C 0 C( B (0) B (0) C u p+ + C u p+ dx + Ω \B (0) r l+2 u(r) p+ dr) r l+2 u(r) p+ dr. ( + x l ) u p+ dx Note that 0 l < p 2. Then by Lemma 2., we deduce r l+2 u(r) p+ dr C u p+ r l p+ C dr p 2 l u p+. Thus, 0 K(x) u p+ dx < C u p+. In view of Remark 2.2, we consider the Sobolev space Hr ( ). As usual, the energy functional J : Hr ( ) R associated with (.) is well defined by J (u) = 2 a u 2 + 4 u 4 K(x) u p+ dx. p +

4 Y. DUAN, Y. ZHOU EJDE-207/84 It is easy to check that J is C -functional, whose Gateaux derivative is given by J (u), v = a(u, v) + u 2 (u, v) K(x) u p uvdx u, v Hr ( ). In the weak sense, solutions to (.) correspond to the critical points of the functional J. 3. Proof of our main results In this section, we prove the existence of nontrivial solutions to (.). We first have the following lemma. Lemma 3.. If u is a nontrivial weak solution of (.), then u r for some r > 0. Proof. Since u is a nontrivial weak solution of (.), by Remark 2.2, we have a u 2 (a + u 2 ) u 2 = K(x) u p+ dx C u p+. Because p + > 2, there exists r > 0 such that u > r. To find a bounded Palais-Smale sequence for the energy functional J, by following [9, ] (also see [7, 8]), we introduce a cut-off function φ C (R +, R) such that φ(t) =, t [0, ], 0 φ(t), t (, 2), φ(t) = 0, φ 2. t [2, ), So we can define the functional J T : H r ( ) R by J T (u) = 2 a u 2 + 4 h T (u) u 4 K(x) u p+ dx, u Hr ( ), p + where for every T > 0, h T (u) = φ( u 2 T 2 ). Moreover, for every u, v H r ( ), we have (J T ) (u), v = a(u, v) + h T (u) u 2 (u, v) + 2T 2 φ ( u 2 T 2 ) u 4 (u, v) K(x) u p uvdx. (3.) It is easy to see that if u is a critical point of J T such that u T, then (J T ) (u), v = J (u), v. So the arbitrary of v yields J (u) = 0 and thus u is also a critical point of J. Next we recall a theorem, for which a corollary was proved by Struwe [24]. Theorem 3.2 ([0]). Let (X, ) be a Banach space and I R + an interval. Consider the family of C functional on X J µ (u) = A(u) µb(u), µ I,

EJDE-207/84 EXISTENCE OF SOLUTIONS 5 with B nonnegative and either A(u) or B(u) as u and such that J µ (0) = 0. For every µ I, we set Γ µ = {γ C([0, ], X) : γ(0) = 0, J µ (γ()) < 0}. If for every µ I, the set Γ µ is nonempty and c µ = inf γ Γ µ max J µ(γ(t)) > 0, t [0,] then for almost every µ I, there is a sequence {u n } X such that (i) {u n } is bounded; (ii) J µ (u n ) c µ ; (iii) J µ(u n ) 0 in the dual space X of X. In our case, X = H r ( ), A(u) = 2 a u 2 + 4 h T (u) u 4, B(u) = K(x) u p+ dx, p + and the associated perturbed functional we study is J,µ(u) T = 2 a u 2 + 4 h T (u) u 4 µ K(x) u p+ dx, u Hr ( ). p + It is clear that this functional is C -functional and for every u, v H r ( ), (J,µ) T (u), v = a(u, v) + h T (u) u 2 (u, v) + 2T 2 φ ( u 2 T 2 ) u 4 (u, v) µ K(x) u p uvdx. (3.2) Notice that J T,µ (0) = 0, B is nonnegative in H r ( ) and A(u) + as u. Next we shall prove the following two lemmas which show that the functional J T,µ satisfies the other conditions of Theorem 3.2. Lemma 3.3. We have Γ µ for all 0 and µ I := [ 2, ]. Proof. By (H), there exist R, C 2 > 0 and ϕ C 0 ( ) such that ϕ 0, ϕ =, supp(ϕ), K(x)ϕ p+ dx C 2. Then for t 2 2T 2, J,µ(tϕ) T = 2 at2 ϕ 2 + ϕ 2 4 φ(t2 T 2 )t 4 ϕ 4 µ p + t p+ K(x)ϕ p+ dx = 2 at2 µ p + t p+ K(x)ϕ p+ dx 2 at2 2(p + ) t p+ K(x)ϕ p+ dx (3.3)

6 Y. DUAN, Y. ZHOU EJDE-207/84 2 at2 C 2 2(p + ) t p+. Since p + > 2, we can choose t 0 > 0 large such that J T,µ (t 0ϕ) < 0. We set γ(t) = tt 0 ϕ, t [0, ]. So γ Γ µ and Γ µ. The proof is complete. Lemma 3.4. There exists a positive constant α such that c µ α for all µ I. Proof. For any µ I and u Hr ( ), by Remark 2.2, we have that J,µ(u) T = 2 a u 2 + 4 h T (u) u 4 µ K(x) u p+ dx p + 2 a u 2 µ p + C u p+ 2 a u 2 C p + u p+. Take ρ := ( ) ap+a p 4C and α := 2 aρ2 C p+ ρp+ > 0. Then J,µ T (u) > 0 for any µ I and 0 < u ρ. Moreover, J,µ T (u) α if u = ρ. By the definition of Γ µ, for each γ Γ µ, there is t (0, ) such that γ(t ) = ρ. Therefore, the arbitrary of µ I yields that c µ inf γ Γ µ J T,µ(γ(t )) α. The proof is complete. J T,µ Next we need some compactness on Palais-Smale sequences of the functional in order to prove our main results. Lemma 3.5. Assume 4T 2 < a. For any µ I, any bounded Palais-Smale sequence of J,µ T contains a convergent subsequence. Proof. Fix µ I. We assume {u n } be a bounded Palais-Smale sequence of J T,µ, namely {u n } and {J T,µ(u n )} are bounded, (J T,µ) (u n ) 0 in H r ( ). Up to a subsequence, there exists u H r ( ) such that u n u, in H r ( ), u n u, in L s ( ), s (2, 6), u n u, in L s loc( ), s [, 6), u n (x) u(x), a.e. x.

EJDE-207/84 EXISTENCE OF SOLUTIONS 7 For R >, from (H2) we obtain K(x) u n p u n (u n u)dx K(x) u n p u n u dx C 0 ( + x R l ) u n p u n u dx 3 = C 0 ( + x l ) u n p u n u dx + C 0 =: I + I 2. \ By Hölder s inequality, we have I = C 0 ( + x l ) u n p u n u dx C(R)( ( u n p+ dx) p p+ ( + x l ) u n p u n u dx ) u n u p+ p+ dx (3.4) (3.5) = C(R) u n p L p+ () u n u L p+ () C(R) u n p u n u L p+ (). Moreover, from Lemma 2. we deduce that I 2 = C 0 ( + x l ) u n p u n u dx 2C 0 \ \ C( u n p+ + u n p u ) x l ( u n p+ + u n p u )dx R r l p+ dr = C Rl p+2 p 2 l ( u n p+ + u n p u ). (3.6) Since 3 < p + < 6, u n u in L p+ (). Therefore, by (3.4)-(3.6), we can find R > large enough such that K(x) u n p u n (u n u)dx 0 as n. (3.7) Note that (J T,µ ) (u n ) 0. Then by (3.7), we deduce that So 0 (J T,µ) (u n ), u n u = a(u n, u n u) + h T (u n ) u n 2 (u n, u n u) + T 2 ) u n 4 (u n, u n u) µ K(x) u n p u n (u n u)dx = [a + h T (u n ) u n 2 + T 2 ) u n 4 ](u n, u n u) + o(). (a + h T (u n ) u n 2 + T 2 ) u n 4 )(u n, u n u) 0. (3.8)

8 Y. DUAN, Y. ZHOU EJDE-207/84 Next, we claim that (u n, u n u) 0 as n. (3.9) Note that if u n 2 > 2T 2, then h T (u n ) = 0 and φ ( un 2 T 2 ) = 0. If u n 2 2T 2, then φ ( u n 2 T 2 ) u n 4 8T 4. Since 4T 2 < a, we have and a + h T (u n ) u n 2 + a + h T (u n ) u n 2 + T 2 ) u n 4 a + T 2 ) u n 4 a + 2T 2 ( 8T 4 ) = a 4T 2 > 0 T 2 ) u n 4 a + u n 2 + T 2 ) u n 4 a + 2T 2 + = a + 6T 2 5a 2. 2T 2 (8T 4 ) This combined with (3.8) yields that (3.9) holds. Since u n u in H r ( ), we infer from the above claim that up to a subsequence, The proof is complete. u n u in H r ( ). Lemma 3.6. Let 4T 2 < a. For almost every µ I, there exists u µ H r ( )\{0} such that (J T,µ) (u µ ) = 0 and J T,µ(u µ ) = c µ. (3.0) Proof. By Lemma 3.3, Lemma 3.4 and Theorem 3.2, for almost every µ I, we can find a bounded sequence {u µ n} H r ( ) satisfying J T,µ(u µ n) c µ, (J T,µ) (u µ n) 0. Furthermore, by using Lemma 3.5, we conclude that there is u µ Hr ( ) such that u µ n u µ in Hr ( ). So the continuity of J,µ T and (J,µ T ) imply that (3.0) holds. This completes the proof. According to Lemma 3.6, we obtain that there exist sequences {µ n } I with µ n and {u n } H r ( ) such that J T,µ n (u n ) = c µn, (J T,µ n ) (u n ) = 0. (3.) In what follows, we shall show u n T, which is a critical key in the proof of existence of solutions to (.). Lemma 3.7. Assume {µ n } I with µ n and {u n } satisfies (3.). Then for T > 0 sufficiently large, there exists 0 = 0 (T ) with 4 0 T 2 < a such that for any [0, 0 ), up to a subsequence, u n T n.

EJDE-207/84 EXISTENCE OF SOLUTIONS 9 Proof. The proof consists of three steps. Step. By the definition of c µ and Lemma 3.4, we conclude that α c µn sup J,µ T n (tϕ) t [0, ) [ = sup t [0, ) 2 at2 + t2 φ( 4 T 2 )t4 µ n p + t p+ K(x)ϕ p+ dx ] R 3 [ max t [0, ) 2 at2 2(p + ) t p+ K(x)ϕ p+ dx ] t2 + sup φ( t [0, ) 4 T 2 )t4 a(p ) = 2(p + ) ( 2a K(x)ϕp+ dx ) 2 p + sup t2 =: A + sup φ( t [0, ) 4 T 2 )t4, where ϕ is defined in Lemma 3.3. t [0, ) t2 φ( 4 T 2 )t4 Step 2. It is easy to see that if t 2 2T 2, then φ( t2 T 2 ) = 0 and so while if t 2 < 2T 2, then sup t [ 2T, ) sup t [0, 2T ) This, combined with (3.2), yields t2 φ( 4 T 2 )t4 = 0, t2 φ( 4 T 2 )t4 < T 4. 0 < α c µn A + T 4. (3.2) Step 3. Note that and c µn = J T,µ n (u n ) = 2 a u n 2 + 4 h T (u n ) u n 4 µ n p + 0 = (J T,µ n ) (u n ), u n K(x) u n p+ dx = a(u n, u n ) + h T (u n ) u n 2 (u n, u n ) + T 2 ) u n 4 (u n, u n ) µ n K(x) u n p+ dx. Thus, we have that c µn = J T,µ n (u n ) p + (J T,µ n ) (u n ), u n = a( 2 p + ) u n 2 + ( 4 p + )h T (u n ) u n 4 2(p + )T 2 φ ( u n 2 T 2 ) u n 6. (3.3)

0 Y. DUAN, Y. ZHOU EJDE-207/84 We claim: there exists a subsequence of {u n } which is uniformly bounded by T. By way of contradiction, we distinguish two cases to prove the claim. Case. Up to a subsequence, u n 2 > 2T 2 for all n. It is easy to check that h T (u n ) = 0 and φ ( un 2 T ) = 0. Then we deduce from (3.3) and Step 2 that ( 2 2 ) a u n 2 = c µn A + T 4. p + Since 4T 4 < a, [( 2T 2 < u n 2 2 ) (A [( a] + T 4 ) p + 2 ) ] (A a a + p + 4 ), which contradicts with the assumption that T is sufficiently large. Case 2. Up to a subsequence, T 2 < u n 2 2T 2 for all n. By (3.3) and Step 2, we have c µn A + T 4. Furthermore, since p (2, 5), we obtain ( 2 p + )at 2 < ( 2 p + )a u n 2 = c µn + A + T 4 + 2(p + )T 2 φ ( u n 2 T 2 ) u n 6 ( 4 p + )h T (u n ) u n 4 φ 2(p + )T 2 ( u n 2 T 2 ) un 6 + ( 4 + p + )h T (u n ) u n 4 A + T 4 + 8 p + T 4 + ( 4 + p + ) 4T 4 A + a(p + 4) 4(p + ), which contradicts the assumption that T is sufficiently large. Then the claim holds and we complete the proof. Proof of Theorem.. We assume T, 0 are defined as in Lemma 3.7 and for each µ n I, u n is a critical point for J,µ T n at level c µn. By using Lemma 3.7, up to a subsequence, we can also assume u n T. Hence, h T (u n ) = and J,µ T n (u n ) = 2 a u n 2 + 4 u n 4 µ n K(x) u n p+ dx. p + Next, we claim that {u n } is a Palais-Smale sequence of J. Indeed, since u n is bounded for all n, we conclude that J (u n ) is bounded for all n. Moreover, we have J (u n ), v = (J,µ T n ) (u n ), v + (µ n ) K(x) u n p u n vdx, for any v Hr ( ). Note that (J,µ T n ) (u n ) = 0 and µ n. Then we obtain J (u n) 0 and the claim holds. By Lemma 3.5, {u n } has a convergent subsequence. We may assume that u n ū in Hr ( ). Therefore, J (ū) = 0 and by Lemma 3.4, J (ū) = lim n J (u n ) = lim n J T,µ n (u n ) = c µn α > 0. Consequently, ū is nontrivial solution of (.). The proof is complete.

EJDE-207/84 EXISTENCE OF SOLUTIONS Acknowledgments. This research was supported partially by the National Natural Science Foundation of China (Grant No. 5737). References [] Alves, C.; Corrêa, F.; Ma, T.; Positive solutions for a quasilinear elliptic equation of Kirchhoff type, Comput. Math. Appl. 49 (2005), 85-93. [2] Berestycki, H.; Lions, P.; Nonlinear scalar field equations, I existence of a ground state, Arch. Rational Mech. Anal., 82 (983), 33-345. [3] Cheng, B.; New existence and multiplicity of nontrivial solutions for nonlocal elliptic Kirchhoff type problems, J. Math. Anal. Appl., 394 (202), 488-495. [4] Cheng, B.; Wu, X.; Existence results of positive solutions of Krichhoff problems, Nonlinear Anal., 7 (2009), 4883-4892. [5] He, X.; Zou, W.; Existence and concentration behavior of positive solutions for a Kirchhoff equation in, J. Differential Equations 252 (202), 83-834. [6] He, X.; Zou, W.; Ground states for nonlinear Kirchhoff equations with critical growth, Ann. Mat. Pura Appl., 93 (204), 473-500. [7] He, X.; Zou, W.; Infinitely many positive solutions for Kirchhoff-type problems, Nonlinear Anal., 70 (2009), 407-44. [8] He, X.; Zou, W.; Multiplicity of solutions for a class of Kirchhoff type problems, Acta Math. Appl. Sin. Engl. Ser., 26 (200), 387-394. [9] Kikuchi, H.; Existence and stability of standing saves For Schrödinger-Poisson-Slater equation, Adv. Nonlinear Stud. 7 (2009), 403-437. [0] Jeanjean, L.; On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer-type problem set on R N, Proc. Roy. Soc. Edinburgh Sect. A 29 (999), 787-809. [] Jeanjean, L.; Coz, S.; An existence stability result for standing waves of nonlinear Schrödinger equations, Adv. Differential Equations (2006), 83-840. [2] Jin, J.; Wu, X.; Infinitely many radial solutions for Kirchhoff-type problems in R N, J. Math. Anal. Appl., 369 (200), 564-574. [3] Liu, D.; On a Kirchhoff equation via fountain theorem and dual fountain theorem, Nonlinear Anal. 72 (200), 302-308. [4] Liu, W.; He, X.; Multiplicity of high energy solutions for superlinear Kirchhoff equations, J. Appl. Math. Comput., 39 (202), 473-487. [5] Lei, C.; Liao, J.; Tang, C.; Multiple positive solutions for Kirchhoff type of problems with singularity and critical exponents, J. Math. Anal. Appl., 42 (205), 52-538. [6] Liu, J.; Liao, J.; Tang, C.; Positive solutions for Kirchhoff-type equations with critical exponent in R N, J. Math. Anal. Appl., 429 (205), 53-72. [7] Li, Y., Li, F.; Shi, J.; Existence of positive solutions to Kirchhoff type problems with zero mass, J. Math. Anal. Appl. 40 (204), 36-374. [8] Li, Y.; Li, F.; Shi, J.; Existence of a positive solution to Kirchhoff type problems without compactness conditions J. Differential Equations 253 (202), 2285-2294. [9] Liu, X.; Sun, Y.; Multiple positive solutions for Kirchhoff type problems with singularity. Commun. Pure Appl. Anal., 2 (203), 72-733. [20] Mao, A.; Luan, S.; Sign-changing solutions of a class of nonlocal quasilinear elliptic boundary value problems, J. Math. Anal. Appl. 383 (20), 239-243. [2] Mao, A.; Zhang, Z.; Sign-changing and multiple solutions of Kirchhoff type problems without the P.S. condition, Nonlinear Anal. 70 (2009), 275-287. [22] Nie, J.; Wu, X.; Existence and multiplicity of non-trivial solutions for Schrödinger-Kirchhofftype equations with radial potential, Nonlinear Anal. 75 (202), 3470-3479. [23] Perera, K.; Zhang, Z.; Nontrivial solutions of Kirchhoff-type problems via the Yang index, J. Differential Equations 22 (2006), 246-255. [24] Struwe, M.; Variational methods and their applications to nonlinear differential equations and Hamiltonian Systems, Springer-Verlag, Berlin, 990. [25] Sun, J.; Tang, C.; Existence and multiplicity of solutions for Kirchhoff type equations, Nonlinear Anal., 74 (20), 22-222. [26] Wu, X.; Existence of nontrivial solutions and high energy solutions for Schrödinger- Kirchhoff-type equations in R N, Nonlinear Anal. Real World Appl., 2 (20), 278-287.

2 Y. DUAN, Y. ZHOU EJDE-207/84 [27] Xie, Q.; Wu, X.; Tang, C.; Existence and multiplicity of solutions for Kirchhoff type problem with critical exponent, Commun. Pure Appl. Anal., 2 (203). 2773-2786 [28] Yang, Y.; Zhang, J.; Nontrivial solutions of a class of nonlocal problems via local linking theory, Appl. Math. Lett., 23 (200), 377-380. [29] Zhang, Z.; Perera, K.; Sign-changing solutions of Kirchhoff type problems via invariant sets of descent flow, J. Math. Anal. Appl. 37 (2006), 456-463. Yueliang Duan School of Mathematics and Statistics, Central South University, Changsha, Hunan 40083, China E-mail address: duanyl@csu.edu.cn Yinggao Zhou (corollaryresponding author) School of Mathematics and Statistics, Central South University, Changsha, Hunan 40083, China E-mail address: ygzhou@mail.csu.edu.cn