Skip to main content

Multiplicity of solutions for Kirchhoff-type problems involving critical growth

Abstract

In this paper, by using the concentration-compactness principle and the variational method, we obtain a multiplicity result for Kirchhoff-type problems involving critical growth in bounded domains.

MSC: 35J70, 35B20.

1 Introduction

In this paper we deal with the existence and multiplicity of solutions to the following Kirchhoff-type problems involving the critical growth:

{ ( a + b Ω | u | 2 d x ) Δ u a [ Δ ( u 2 ) ] u = u 2 ( 2 ) 1 + λ h ( x , u ) , x Ω , u = 0 , x Ω ,
(1.1)

where Ω R N (N3) is an open bounded domain with smooth boundary and λ is a positive parameter. The number 2 =2N/(N2) is the critical exponent according to the Sobolev embedding.

Much interest has arisen in problems involving critical exponents, starting from the celebrated paper by Brezis and Nirenberg [1]. For example, Li and Zou [2] obtained infinitely many solutions with odd nonlinearity. Chen and Li [3] obtained the existence of infinitely many solutions by using minimax procedure. For more related results, we refer the interested readers to [4]–[10] and references therein.

On the one hand, without a[Δ( u 2 )], (1.1) reduces to the following Dirichlet problem of Kirchhoff type:

{ ( a + b Ω | u | 2 d x ) Δ u = f ( x , u ) , x Ω , u | Ω = 0 ,
(1.2)

where Ω R N , problem (1.2) is a generalization of a model introduced by Kirchhoff [11]. More precisely, Kirchhoff proposed a model given by the equation

ρ 2 u t 2 ( ρ 0 h + E 2 L 0 L | u x | 2 d x ) 2 u x 2 =0,
(1.3)

where ρ, ρ 0 , h, E, L are constants, which extends the classical D’Alembert’s wave equation, by considering the effects of the changes in the length of the strings during the vibrations. Equation (1.2) is related to the stationary analog of problem (1.3). Problem (1.2) received much attention only after Lions [12] proposed an abstract framework to study the problem. Some important and interesting results can be found; see for example [13]–[17]. We note that results dealing with problem (1.2) with critical nonlinearity are relatively scarce [18]–[21].

In [22], by means of a direct variational method, the authors proved the existence and multiplicity of solutions to a class of p-Kirchhoff-type problem with Dirichlet boundary data. In [23], the authors showed the existence of infinite solutions to the p-Kirchhoff-type quasilinear elliptic equation. But they did not give any further information on the sequence of solutions. Recently, Kajikiya [24] established a critical point theorem related to the symmetric mountain-pass lemma and applied to a sublinear elliptic equation. However, there are no such results on Kirchhoff-type problems (1.1).

On the other hand, there are many papers concerned with the following quasilinear elliptic equations:

Δu+V(x)u [ Δ ( u 2 ) ] u=h(x,u),x R N .
(1.4)

Such equations arise in various branches of mathematical physics and they have been the subject of extensive study in recent years. In [25], by a change of variables the quasilinear problem was transformed to a semilinear one and an Orlicz space framework was used as the working space, and they were able to prove the existence of positive solutions of (1.4) by the mountain-pass theorem. The same method of a change of variables was used in [26], but the usual Sobolev space H 1 (Ω) framework was used as the working space and one studied a different class of nonlinearity. In [27], the existence of both one sign and nodal ground state-type solutions was established by the Nehari method.

Motivated by the reasons above, the aim of this paper is to show the existence of infinitely many soliton solutions of problem (1.1), and there exists a sequence of infinitely many arbitrarily small soliton solutions converging to zero by using a new version of the symmetric mountain-pass lemma due to Kajikiya [24].

Note that 2( 2 ) behaves like a critical exponent for the above equations; see [25]. For the subcritical case, the existence of solutions for problem (1.4) was studied in [25]–[28] and it was left open for the critical exponent case; see [25]. To the best of our knowledge, the existence of non-trivial radial solutions for (1.4) with h(u)=μ u 2 ( 2 ) 1 was firstly studied by Moameni [29], where the same Orlicz space as [25] was used. In [30], the authors showed the existence of multiple solutions for problems (1.1) with a=1 and b=0 by minimax methods and the Krasnoselski genus theory. For other interesting results see [31], [32].

To the best of our knowledge, the existence and multiplicity of soliton solutions to problem (1.1) has never been studied by variational methods. As we shall see in the present paper, problem (1.1) can be viewed as an elliptic equation coupled with a non-local term. The competing effect of the non-local term with the critical nonlinearity and the lack of compactness of the embedding of H 1 (Ω) into the space L p (Ω) prevent us from using the variational methods in a standard way. Some new estimates for such a Kirchhoff equation involving Palais-Smale sequences, which are key points in the application of this kind of theory, need to be established. We mainly follow the idea of [24], [33]. Let us point out that, although the idea was used before for other problems, the adaptation of the procedure to our problem is not trivial at all; because of the appearance of a non-local term, we must consider our problem for a suitable space and so we need more delicate estimates.

Our main result in this paper is the following.

Theorem 1.1

Suppose thath(x,u)satisfies the following conditions:

( H 1 ):h(x,u)C(Ω×R,R), h(x,u)=h(x,u)for alluR;

( H 2 ): lim | u | h ( x , u ) | u | 2 ( 2 ) 1 =0uniformly forxΩ;

( H 3 ): lim | u | 0 + h ( x , u ) u =uniformly forxΩ.

Then there exists λ >0such that for anyλ(0, λ ), problem (1.1) has a sequence of non-trivial solutions{ u n }and u n 0in H 0 1 (Ω)asn.

2 Preliminary lemmas

The energy functional corresponding to problem (1.1) is defined as follows:

J ( u ) : = a 2 Ω | u | 2 d x + b 4 ( Ω | u | 2 d x ) 2 + a Ω | u | 2 | u | 2 d x 1 2 ( 2 ) Ω | u | 2 ( 2 ) d x λ Ω H ( x , u ) d x = a 2 Ω ( 1 + 2 | u | 2 ) | u | 2 d x + b 4 ( Ω | u | 2 d x ) 2 1 2 ( 2 ) Ω | u | 2 ( 2 ) d x λ Ω H ( x , u ) d x ,

where H(x,s)= 0 s h(x,τ)dτ for (x,s) R N ×R. It should be pointed out that the functional J is not well defined in general, for instance, in H 0 1 (Ω). To overcome this difficulty, we employ an argument developed by Colin and Jeanjean [26]. We make the change of variables v= f 1 (u), where f is defined by

f (t)= 1 1 + 2 f 2 ( t ) andf(0)=0

on [0,+) and by f(t)=f(t) on (,0].

The following result is due to Colin and Jeanjean [26] (see also [34]).

Lemma 2.1

The function f satisfies the following properties:

(f0):f is uniquely defined C and invertible.

(f1):| f (t)|1for alltR.

(f2): f ( t ) t 1ast0.

(f3): f ( t ) t 2 1 4 ast.

(f4): 1 2 f(t)t f (t)f(t)for allt0.

(f5):|f(t)|tfor alltR.

(f6):|f(t)| 2 1 4 | t | 1 2 for alltR.

(f7):The function f 2 (t)is strictly convex.

(f8):There exists a positive constant C such that

| f ( t ) | { C | t | , | t | 1 , C | t | 1 2 , | t | 1 .

(f9):There exist positive constants C 1 and C 2 such that

|t| C 1 | f ( t ) | + C 2 | f ( t ) | 2 for all tR.

(f10):|f(t) f (t)| 1 2 for alltR.

So after this change of variables, we can write J(u) as

J ( v ) : = a 2 Ω | v | 2 d x + b 4 ( Ω | f ( v ) | 2 | v | 2 d x ) 2 1 2 ( 2 ) Ω | f ( v ) | 2 ( 2 ) d x λ Ω H ( x , f ( v ) ) d x .
(2.1)

Then J(v) is well defined on H 0 1 (Ω). Standard arguments [35], [36] show that J(v): H 0 1 (Ω)R is of class C 1 with

J ( v ) , w = a Ω v w d x Ω f 2 ( 2 ) 1 ( v ) f ( v ) w d x λ Ω h ( x , f ( v ) ) f ( v ) w d x + b 2 ( Ω | v | 2 1 + 2 f 2 ( v ) d x ) ( Ω 2 v w ( 1 + 2 f 2 ( v ) ) 4 | v | 2 f ( v ) f ( v ) w [ 1 + 2 f 2 ( v ) ] 2 d x ) ,

for v,w H 0 1 (Ω).

As in [26], we note that if v is a non-trivial critical point of J, then v is a non-trivial solution of the problem

aΔvb R N | f ( v ) | 2 | v | 2 dxη(v)=g(x,v),
(2.2)

where

η(v)= ( 2 f ( v ) f ( v ) | v | 2 + f 2 ( v ) Δ v + 2 f ( v ) f 5 ( v ) | v | 2 )

and

g(x,v)= f (v) ( λ h ( x , f ( v ) ) + f 2 ( 2 ) 1 ( v ) ) .

Therefore, let u=f(v) and since ( f 1 ) (t)= [ f ( f 1 ( t ) ) ] 1 = 1 + 2 t 2 , we conclude that u is a non-trivial solution of the problem

( a + b R N | u | 2 d x ) Δua [ Δ ( u 2 ) ] u= u 2 ( 2 ) 1 +λh(x,u).

The auxiliary result of this paper is as follows.

Theorem 2.1

Suppose thath(x,s)satisfies the following conditions:

(H1):h(x,s)C(Ω×R,R), h(x,s)=h(x,s)for allsR;

(H2): lim | s | h ( x , s ) | s | 2 ( 2 ) 1 =0uniformly forxΩ;

(H3): lim | u | 0 + h ( x , s ) s =uniformly forxΩ.

Then there exists λ >0such that for anyλ(0, λ ), problem (2.2) has a sequence of non-trivial solutions{ v n }and v n 0in H 0 1 (Ω)asn.

We recall the second concentration-compactness principle of Lions [37].

Lemma 2.2

Let{ v n } H 0 1 (Ω)be a weakly convergent sequence to v in H 0 1 (Ω)such that | v n | 2 νand | v n | 2 μin the sense of measures. Then, for some at most countable index set I,

  1. (i)

    ν= | v | 2 + j I δ x j ν j , ν j >0,

  2. (ii)

    μ | v | 2 + j I δ x j μ j , μ j >0,

  3. (iii)

    μ j S ν j 2 / 2 ,

where S is the best Sobolev constant, i.e. S=inf{ Ω | v | 2 dx: v 2 2 =1}, x j R N , δ x j are Dirac measures at x j and μ j , ν j are constants.

Under assumptions (H1) and (H2), we have

h(x,s)s=o ( | s | 2 ( 2 ) ) ,H(x,s)=o ( | s | 2 ( 2 ) ) ,

which means that, for all ε>0, there exist a(ε),b(ε)>0 such that

| h ( x , s ) s | a(ε)+ε | s | 2 ( 2 ) ,
(2.3)
| H ( x , s ) | b(ε)+ε | s | 2 ( 2 ) .
(2.4)

Hence,

H(x,s) 1 4 h(x,s)sc(ε)+ε | s | 2 ( 2 ) ,
(2.5)

for some c(ε)>0.

Lemma 2.3

Assume conditions (H1) and (H2) hold. Then for anyλ>0, the functional J satisfies the local (PS) c condition in

c ( , 1 2 N ( 2 1 a S ) N 2 λ c ( 1 4 N λ ) | Ω | )

in the following sense: if

J( v n )c< 1 2 N ( 2 1 a S ) N 2 λc ( 1 4 N λ ) |Ω|

and J ( v n )0for some sequence in H 0 1 (Ω), then{ v n }contains a subsequence converging strongly in H 0 1 (Ω).

Proof

Let { v n } be a sequence in H 0 1 (Ω) such that

J ( v n ) = a 2 Ω | v n | 2 d x + b 4 ( Ω | f ( v n ) | 2 | v n | 2 d x ) 2 1 2 ( 2 ) Ω | f ( v n ) | 2 ( 2 ) d x λ Ω H ( x , f ( v n ) ) d x = c + o ( 1 ) ,
(2.6)
J ( v n ) , w = a Ω v n w d x Ω f 2 ( 2 ) 1 ( v n ) f ( v n ) w d x λ Ω h ( x , f ( v n ) ) f ( v n ) w d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) × ( Ω 2 v n w ( 1 + 2 f 2 ( v n ) ) 4 | v n | 2 f ( v n ) f ( v n ) w [ 1 + 2 f 2 ( v n ) ] 2 d x ) = o ( 1 ) v n .
(2.7)

Choose w= w n = 1 + 2 f 2 ( v n ) f( v n ), we have w n H 0 1 (Ω) and

| w n |= ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n |.

Thus, we can deduce that w n c v n . By (2.7) we have

J ( v n ) , w n = a Ω ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n | 2 d x Ω f 2 ( 2 ) ( v n ) d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) 2 λ Ω h ( x , f ( v n ) ) f ( v n ) d x = o ( 1 ) v n .
(2.8)

By (2.6) and (2.8), we have

c + o ( 1 ) v n = J ( v n ) 1 4 J ( v n ) , w n = a 4 Ω | v n | 2 1 + 2 f 2 ( v n ) d x + ( 1 4 1 2 ( 2 ) ) Ω f 2 ( 2 ) ( v n ) d x λ Ω H ( x , f ( v n ) ) d x + λ 4 Ω h ( x , f ( v n ) ) f ( v n ) d x 1 2 N Ω f 2 ( 2 ) ( v n ) d x λ Ω H ( x , f ( v n ) ) d x + λ 4 Ω h ( x , f ( v n ) ) f ( v n ) d x ,

i.e.

1 2 N Ω f 2 ( 2 ) ( v n )dxλ Ω ( H ( x , f ( v n ) ) 1 4 h ( x , f ( v n ) ) f ( v n ) ) dx+c+o(1) v n .

Then by (2.5), we have

( 1 2 N λ ε ) Ω f 2 ( 2 ) ( v n )dxλc(ε)|Ω|+c+o(1) v n .

Setting ε=1/4Nλ, we get

Ω f 2 ( 2 ) ( v n )dxM+o(1) v n ,
(2.9)

where o(1)0 and M is a some positive number. On the other hand, by (2.4) and (2.6), we have

c + o ( 1 ) v n = J ( v n ) = a 2 Ω | v n | 2 d x + b 4 ( Ω | f ( v n ) | 2 | v n | 2 d x ) 2 1 2 ( 2 ) Ω | f ( v n ) | 2 ( 2 ) d x λ Ω H ( x , f ( v n ) ) d x a 2 v n 2 λ b ( ε ) | Ω | [ 1 2 ( 2 ) + λ ε ] Ω | f ( v n ) | 2 ( 2 ) d x .
(2.10)

Therefore, the inequalities (2.9) and (2.10) imply that { v n } is bounded in H 0 1 (Ω). Then {f( v n )} is also bounded in H 0 1 (Ω). Therefore we can assume that v n v in H 0 1 (Ω), v n v a.e. in Ω, since f C , then f 2 ( v n ) f 2 (v) a.e. in Ω and then f 2 ( v n ) f 2 (v) in H 0 1 (Ω). Thus, there exist measures μ and ν such that | f 2 ( v n ) | 2 μ, f 2 ( 2 ) ( v n )ν. Let x j be a singular point of the measures μ and ν. We define a function ϕ(x) C 0 ( R N ) such that ϕ(x)=1 in B( x j ,ϵ), ϕ(x)=0 in ΩB( x j ,2ϵ) and |ϕ|2/ϵ in Ω. Let w ˜ n = 1 + 2 f 2 ( v n ) f( v n )ϕ, then { w ˜ n } is bounded in H 0 1 (Ω). Obviously, J ( v n ), w ˜ n ϕ0, i.e.

lim ϵ 0 lim n [ a Ω 1 + 2 f 2 ( v n ) f ( v n ) v n ϕ d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) ( Ω f ( v n ) v n ϕ 1 + 2 f 2 ( v n ) d x ) ] = lim ϵ 0 lim n { a Ω ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n | 2 ϕ d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) × ( Ω | v n | 2 ϕ 1 + 2 f 2 ( v n ) d x ) Ω h ( x , f ( v n ) ) f ( v n ) ϕ d x Ω f 2 ( 2 ) ( v n ) ϕ d x } .
(2.11)

On the other hand, by the Hölder inequality and (f4) in Lemma 2.1, we have

0 lim ϵ 0 lim n | a Ω 1 + 2 f 2 ( v n ) f ( v n ) v n ϕ d x | C lim ϵ 0 lim n Ω | v n v n ϕ | d x C lim ϵ 0 lim n [ ( Ω | v n | 2 d x ) 1 2 ( Ω | v n ϕ | 2 d x ) 1 2 ] C lim ϵ 0 ( B ( x j , 2 ϵ ) | v | 2 d x ) 1 2 = 0 .
(2.12)

Similarly, we have

lim ϵ 0 lim n [ b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) ( Ω f ( v n ) v n ϕ 1 + 2 f 2 ( v n ) d x ) ] =0.
(2.13)

From the inequalities (2.11), (2.12), and (2.13), together with the following facts:

  1. (i)
    1 2 | f 2 ( v n ) | 2 ϕ = 2 | f ( v n ) | 2 | f ( v n ) | 2 | v n | 2 ϕ = 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) | v n | 2 ϕ ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n | 2 ϕ .
  1. (ii)

    Similar to the proof of (2.12), it follows that

    lim ϵ 0 lim n Ω h ( x , f ( v n ) ) f( v n )ϕdx=0.
  1. (iii)
    lim ϵ 0 lim n Ω | f 2 ( v n ) | 2 ϕdx= μ j and lim ϵ 0 lim n Ω f 2 ( 2 ) ( v n )ϕdx= ν j .

We get

0 = lim ϵ 0 lim n { a Ω ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n | 2 ϕ d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) × ( Ω | v n | 2 ϕ 1 + 2 f 2 ( v n ) d x ) Ω h ( x , f ( v n ) ) f ( v n ) ϕ d x Ω f 2 ( 2 ) ( v n ) ϕ d x } lim ϵ 0 lim n [ a 2 Ω ϕ | f 2 ( v n ) | 2 d x Ω h ( x , f ( v n ) ) f ( v n ) ϕ d x Ω f 2 ( 2 ) ( v n ) ϕ d x ] = a 2 μ j ν j .
(2.14)

Combining this with Lemma 2.2, we obtain ν j 2 1 aS ν j 2 2 . This result implies that

(I) ν j =0or(II) ν j ( 2 1 a S ) N 2 .

If the second case ν j ( 2 1 a S ) N 2 holds, for some jI, then by using the Hölder inequality, we have

c = lim n ( J ( v n ) 1 4 J ( v n ) , v n ) = lim n [ a 4 Ω | v n | 2 1 + 2 f 2 ( v n ) d x + ( 1 4 1 2 ( 2 ) ) Ω f 2 ( 2 ) ( v n ) d x λ Ω H ( x , f ( v n ) ) d x + λ 4 Ω h ( x , f ( v n ) ) f ( v n ) d x ] lim n [ 1 2 N Ω f 2 ( 2 ) ( v n ) d x λ Ω H ( x , f ( v n ) ) d x + λ 4 Ω h ( x , f ( v n ) ) f ( v n ) d x ] .

By using inequality (2.4), we get

c = lim n ( J ( v n ) 1 4 J ( v n ) , v n ) lim n [ ( 1 2 N λ ε ) Ω f 2 ( 2 ) ( v n ) d x λ c ( ε ) | Ω | ] = ( 1 2 N λ ε ) lim n Ω f 2 ( 2 ) ( v n ) d x λ c ( ε ) | Ω | .

Since 0ϕ1, it follows that

c= lim n ( J ( v n ) 1 4 J ( v n ) , v n ) ( 1 2 N λ ε ) lim n Ω f 2 ( 2 ) ( v n )ϕdxλc(ε)|Ω|.

By using f 2 ( 2 ) ( v n ) f 2 ( 2 ) (v) in the measure sense and Lemma 2.2(i), we have

c = lim n ( J ( v n ) 1 4 J ( v n ) , v n ) ( 1 2 N λ ε ) lim n Ω f 2 ( 2 ) ( v ) ϕ d x + ( 1 2 N λ ε ) j I δ x j ( ϕ ) ν j λ c ( ε ) | Ω | ( 1 2 N λ ε ) ν j λ c ( ε ) | Ω | 1 2 N ( 2 1 a S ) N 2 λ c ( 1 4 N λ ) | Ω | ,

where ε=1/4Nλ. This is impossible. Consequently, ν j =0 for all jI and hence

Ω f 2 ( 2 ) ( v n )dx Ω f 2 ( 2 ) (v)dx,as n+.

Thus, from the weak lower semicontinuity of the norm and f C we have

o ( 1 ) v n = J ( v n ) , w n = a Ω ( 1 + 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) ) | v n | 2 d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) 2 λ Ω h ( x , f ( v n ) ) f ( v n ) d x Ω f 2 ( 2 ) ( v n ) d x = a v n 2 + a Ω 2 f 2 ( v n ) 1 + 2 f 2 ( v n ) | v n | 2 d x + b ( Ω | v n | 2 1 + 2 f 2 ( v n ) d x ) 2 λ Ω h ( x , f ( v n ) ) f ( v n ) d x Ω f 2 ( 2 ) ( v n ) d x a v n v 2 + a v 2 + a Ω 2 f 2 ( v ) 1 + 2 f 2 ( v ) | v | 2 d x + b ( Ω | v | 2 1 + 2 f 2 ( v ) d x ) 2 λ Ω h ( x , f ( v ) ) f ( v ) d x Ω f 2 ( 2 ) ( v ) d x = a v n v 2 + o ( 1 ) v ,

since J (v)=0. Thus we prove that { v n } strongly converges to v in H 0 1 (Ω). □

3 Existence of a sequence of arbitrarily small solutions

In this section, we prove the existence of infinitely many solutions of (1.1) which tend to zero. Let X be a Banach space and denote

Σ:= { A X { 0 } : A  is closed in  X  and symmetric with respect to the origin } .

For AΣ, we define genus γ(A) as

γ(A):=inf { m N : φ C ( A , R m { 0 } , φ ( x ) = φ ( x ) ) } .

If there is no mapping φ as above for any mN, then γ(A)=+. Let Σ k denote the family of closed symmetric subsets A of X such that 0A and γ(A)k. We list some properties of the genus (see [24], [35]).

Proposition 3.1

Let A and B be closed symmetric subsets of X which do not contain the origin. Then the following hold.

  1. (1)

    If there exists an odd continuous mapping from A to B, then γ(A)γ(B).

  2. (2)

    If there is an odd homeomorphism from A to B, then γ(A)=γ(B).

  3. (3)

    If γ(B)<, then γ ( A B ) ¯ γ(A)γ(B).

  4. (4)

    Then n-dimensional sphere S n has a genus of n+1 by the Borsuk-Ulam theorem.

  5. (5)

    If A is compact, then γ(A)<+ and there exists δ>0 such that U δ (A)Σ and γ( U δ (A))=γ(A), where U δ (A)={xX:xAδ}.

The following version of the symmetric mountain-pass lemma is due to Kajikiya [24].

Lemma 3.1

Let E be an infinite-dimensional space andJ C 1 (E,R)and suppose the following conditions hold.

(C1):J(u)is even, bounded from below, J(0)=0andJ(u)satisfies the local Palais-Smale condition, i.e. for some c ¯ >0, in the case when every sequence{ u k }in E satisfying lim k J( u k )=c< c ¯ and lim k J ( u k ) E =0has a convergent subsequence.

(C2):For eachkN, there exists an A k Σ k such that sup u A k J(u)<0.

Then either (R1) or (R2) below holds.

(R1):There exists a sequence{ u k }such that J ( u k )=0, J( u k )<0and{ u k }converges to zero.

(R1):There exist two sequences{ u k }and{ v k }such that J ( u k )=0, J( u k )<0, u k 0, lim k u k =0, J ( v k )=0, J( v k )<0, lim k v k =0, and{ v k }converges to a non-zero limit.

Remark 3.1

From Lemma 3.1 we have a sequence { u k } of critical points such that J( u k )0, u k 0 and lim k u k =0.

In order to get infinitely many solutions we need some lemmas. Let ε= 1 2 ( 2 ) λ , from (2.4) we have

J ( v ) : = a 2 Ω | v | 2 d x + b 4 ( Ω | f ( v ) | 2 | v | 2 d x ) 2 1 2 ( 2 ) Ω | f ( v ) | 2 ( 2 ) d x λ Ω H ( x , f ( v ) ) d x a 2 Ω | v | 2 d x ( 1 2 ( 2 ) + ε λ ) Ω | f ( v ) | 2 ( 2 ) d x λ b ( ε ) | Ω | = a 2 Ω | v | 2 d x 1 2 Ω | f ( v ) | 2 ( 2 ) d x λ b ( 1 2 ( 2 ) λ ) | Ω | L 1 v 2 L 2 v 2 L 3 λ ,

where L 1 , L 2 , L 3 are some positive constants.

Let Q(t)= L 1 t 2 L 2 t 2 L 3 λ. Then

J(v)Q ( v ) .

Furthermore, there exists λ := 2 L 1 N L 3 ( 2 L 1 2 L 2 ) ( N 2 ) / 2 such that for λ(0, λ ), Q(t) attains its positive maximum, that is, there exists

R 1 = ( 2 L 1 2 L 2 ) ( N 2 ) / 4

such that

e 1 =Q( R 1 )= max t 0 Q(t)>0.

Therefore, for e 0 (0, e 1 ), we may find R 0 < R 1 such that Q( R 0 )= e 0 . Now we define

χ(t)= { 1 , 0 t R 0 , L 1 t 2 λ L 3 e 1 L 2 t 2 , t R 1 , C , χ ( t ) [ 0 , 1 ] , R 0 t R 1 .

Then it is easy to see χ(t)[0,1] and χ(t) is C . Let φ(v)=χ(v) and consider the perturbation of J(v):

G ( v ) : = a 2 Ω | v | 2 d x + b 4 ( Ω | f ( v ) | 2 | v | 2 d x ) 2 1 2 ( 2 ) φ ( v ) Ω | f ( v ) | 2 ( 2 ) d x λ φ ( v ) Ω H ( x , f ( v ) ) d x .
(3.1)

Then

G(v) L 1 v 2 L 2 φ(v) v 2 L 3 λ= Q ¯ ( v ) ,

where Q ¯ (t)= L 1 t 2 L 2 χ(t) t 2 L 3 λ and

Q ¯ (t)= { Q ( t ) , 0 t R 0 , e 1 , t R 1 .

From the above arguments, we have the following.

Lemma 3.2

LetG(v)is defined as in (3.1). Then

  1. (i)

    G C 1 ( H 0 1 (Ω),R) and G is even and bounded from below.

  2. (ii)

    If G(v)< e 0 , then Q ¯ (v)< e 0 , consequently, v< R 0 and I(v)=G(v).

  3. (iii)

    There exists λ such that, for λ(0, λ ), G satisfies a local (PS) c condition for

    c< e 0 ( 0 , min { e 1 , 1 2 N ( 2 1 a S ) N 2 λ c ( 1 4 N λ ) | Ω | } ) .

Lemma 3.3

Assume that (H3) of Theorem  1.1holds. Then for anykN, there existsδ=δ(k)>0such thatγ({v H 0 1 (Ω):G(v)δ(k)}{0})k.

Proof

Firstly, by (H3) of Theorem 1.1, for any fixed v D 0 1 , 2 (Ω), v0, we have

H(x,ρv)M(ρ) ( ρ v ) 2 with M(ρ) as ρ0.

Secondly, given any kN, let E k be a k-dimensional subspace of H 0 1 (Ω). Then there exists a constant σ k such that

v σ k | v | 2 ,v E k .

Therefore for any v E k with v=1 and ρ small enough, by (f1) in Lemma 2.1 we have

G ( ρ v ) = a ρ 2 2 Ω | v | 2 d x + b ρ 4 4 ( Ω | f ( ρ v ) | 2 | v | 2 d x ) 2 1 2 ( 2 ) φ ( ρ v ) Ω | f ( ρ v ) | 2 ( 2 ) d x λ φ ( ρ v ) Ω H ( x , f ( ρ v ) ) d x a ρ 2 2 + b ρ 4 4 λ M ( ρ ) φ ( ρ v ) σ k 2 ρ 2 ( a 2 + b ρ 2 4 λ M ( ρ ) φ ( ρ v ) σ k p ) ρ 2 = δ ( k ) < 0 ,

since lim | ρ | 0 M(ρ)=+. That is,

{ v E k : v = ρ } { v H 0 1 ( Ω ) : G ( v ) δ ( k ) } {0}.

This completes the proof. □

Now we give the proof of Theorem 1.1.

Proof of Theorem 2.1

Recall that

Σ k = { A H 0 1 ( Ω ) { 0 } : A  is closed and  A = A , γ ( A ) k }

and define

c k = inf A Σ k sup u A G(v).

By Lemmas 3.2(i) and Lemmas 3.3, we know that < c k <0. Therefore, assumptions (C1) and (C2) of Lemma 3.1 are satisfied. This means that G has a sequence of solutions { v n } converging to zero. Hence, Theorem 2.1 follows by Lemma 3.2(ii). □

Proof of Theorem 1.1

This follows from Theorem 2.1, since u m =f( v m ) u n =f( v n ) if v m v n and f C . □

References

  1. 1.

    Brezis H, Nirenberg L: Positive solutions of nonlinear elliptic equations involving critical exponents. Commun. Pure Appl. Math. 1983, 34: 437-477. 10.1002/cpa.3160360405

    MathSciNet  Article  Google Scholar 

  2. 2.

    Li S, Zou W: Remarks on a class of elliptic problems with critical exponents. Nonlinear Anal. 1998, 32: 769-774. 10.1016/S0362-546X(97)00499-9

    MathSciNet  Article  Google Scholar 

  3. 3.

    Chen J, Li S: On multiple solutions of a singular quasi-linear equation on unbounded domain. J. Math. Anal. Appl. 2002, 275: 733-746. 10.1016/S0022-247X(02)00398-0

    MathSciNet  Article  Google Scholar 

  4. 4.

    Chabrowski J: On multiple solutions for the nonhomogeneous p -Laplacian with a critical Sobolev exponent. Differ. Integral Equ. 1995, 8: 705-716.

    MathSciNet  Google Scholar 

  5. 5.

    Chabrowski J: Concentration-compactness principle at infinity and semilinear elliptic equations involving critical and subcritical Sobolev exponents. Calc. Var. 1995, 3: 493-512. 10.1007/BF01187898

    MathSciNet  Article  Google Scholar 

  6. 6.

    Ferrero A, Gazzola F: Existence of solutions for singular critical growth semilinear elliptic equations. J. Differ. Equ. 2001, 177: 494-522. 10.1006/jdeq.2000.3999

    MathSciNet  Article  Google Scholar 

  7. 7.

    Garcia Azorero J, Peral I: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 1998, 144: 441-476. 10.1006/jdeq.1997.3375

    MathSciNet  Article  Google Scholar 

  8. 8.

    Ghoussoub N, Yuan C: Multiple solutions for quasi-linear PDEs involving the critical Sobolev and Hardy exponents. Trans. Am. Math. Soc. 2000, 352: 5703-5743. 10.1090/S0002-9947-00-02560-5

    MathSciNet  Article  Google Scholar 

  9. 9.

    He XM, Zou WM: Infinitely many arbitrarily small solutions for singular elliptic problems with critical Sobolev-Hardy exponents. Proc. Edinb. Math. Soc. 2009, 52: 97-108. 10.1017/S0013091506001568

    MathSciNet  Article  Google Scholar 

  10. 10.

    Silva EA, Xavier MS: Multiplicity of solutions for quasilinear elliptic problems involving critical Sobolev exponents. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2003, 20: 341-358. 10.1016/S0294-1449(02)00013-6

    MathSciNet  Article  Google Scholar 

  11. 11.

    Kirchhoff G: Mechanik. Teubner, Leipzig; 1883.

    Google Scholar 

  12. 12.

    Lions JL: On some equations in boundary value problems of mathematical physics. In Contemporary Developments in Continuum Mechanics and Partial Differential Equations. North-Holland, Amsterdam; 1978:284-346. (Proc. Internat. Sympos., Inst. Mat. Univ. Fed. Rio de Janeiro, Rio de Janeiro, 1977)

    Google Scholar 

  13. 13.

    Corrêa FJSA, Nascimento RG: On a nonlocal elliptic system of p -Kirchhoff-type under Neumann boundary condition. Math. Comput. Model. 2009, 49: 598-604. 10.1016/j.mcm.2008.03.013

    Article  Google Scholar 

  14. 14.

    Corrêa FJSA, Figueiredo GM: On a elliptic equation of p -Kirchhoff type via variational methods. Bull. Aust. Math. Soc. 2006, 74: 263-277. 10.1017/S000497270003570X

    Article  Google Scholar 

  15. 15.

    He X, Zou W: Infinitely many positive solutions for Kirchhoff-type problems. Nonlinear Anal. 2009, 70: 1407-1414. 10.1016/j.na.2008.02.021

    MathSciNet  Article  Google Scholar 

  16. 16.

    Ma TF, Munoz Rivera JE: Positive solutions for a nonlinear nonlocal elliptic transmission problem. Appl. Math. Lett. 2003, 16: 243-248. 10.1016/S0893-9659(03)80038-1

    MathSciNet  Article  Google Scholar 

  17. 17.

    Perera K, Zhang Z: Nontrivial solutions of Kirchhoff-type problems via the Yang index. J. Differ. Equ. 2006, 221: 246-255. 10.1016/j.jde.2005.03.006

    MathSciNet  Article  Google Scholar 

  18. 18.

    Aouaoui S: Existence of multiple solutions to elliptic problems of Kirchhoff type with critical exponential growth. Electron. J. Differ. Equ. 2014., 2014: 10.1186/1687-1847-2014-107

    Google Scholar 

  19. 19.

    Figueiredo GM, Santos JR Jr.: Multiplicity of solutions for a Kirchhoff equation with subcritical or critical growth. Differ. Integral Equ. 2012, 25: 853-868.

    MathSciNet  Google Scholar 

  20. 20.

    Figueiredo GM: Existence of a positive solution for a Kirchhoff problem type with critical growth via truncation argument. J. Math. Anal. Appl. 2013, 401: 706-713. 10.1016/j.jmaa.2012.12.053

    MathSciNet  Article  Google Scholar 

  21. 21.

    Wang J, Tian L, Xu J, Zhang F: Multiplicity and concentration of positive solutions for a Kirchhoff type problem with critical growth. J. Differ. Equ. 2012, 253: 2314-2351. 10.1016/j.jde.2012.05.023

    MathSciNet  Article  Google Scholar 

  22. 22.

    Dai GW, Hao RF:Existence of solutions for a p(x)-Kirchhoff-type equation. J. Math. Anal. Appl. 2009, 359: 275-284. 10.1016/j.jmaa.2009.05.031

    MathSciNet  Article  Google Scholar 

  23. 23.

    Liu DC: On a p -Kirchhoff equation via Fountain theorem and dual fountain theorem. Nonlinear Anal. 2010, 72: 302-308. 10.1016/j.na.2009.06.052

    MathSciNet  Article  Google Scholar 

  24. 24.

    Kajikiya R: A critical-point theorem related to the symmetric mountain-pass lemma and its applications to elliptic equations. J. Funct. Anal. 2005, 225: 352-370. 10.1016/j.jfa.2005.04.005

    MathSciNet  Article  Google Scholar 

  25. 25.

    Liu JQ, ang YQW, Wang ZQ: Soliton solutions to quasilinear Schrödinger equations. II. J. Differ. Equ. 2003, 187: 473-493. 10.1016/S0022-0396(02)00064-5

    Article  Google Scholar 

  26. 26.

    Colin M, Jeanjean L: Solutions for a quasilinear Schrödinger equations: a dual approach. Nonlinear Anal. 2004, 56: 213-226. 10.1016/j.na.2003.09.008

    MathSciNet  Article  Google Scholar 

  27. 27.

    Liu JQ, Wang YQ, Wang ZQ: Solutions for quasilinear Schrödinger equations via the Nehari method. Commun. Partial Differ. Equ. 2004, 29(5/6):879-901. 10.1081/PDE-120037335

    Article  Google Scholar 

  28. 28.

    Liu JQ, Wang ZQ: Soliton solutions for quasilinear Schrödinger equations. I. Proc. Am. Math. Soc. 2003, 131: 441-448. 10.1090/S0002-9939-02-06783-7

    Article  Google Scholar 

  29. 29.

    Moameni A:Existence of soliton solutions for a quasilinear Schrödinger equation involving critical exponent in R N . J. Differ. Equ. 2006, 229: 570-587. 10.1016/j.jde.2006.07.001

    MathSciNet  Article  Google Scholar 

  30. 30.

    Wang YJ, Zhang YM, Shen YT: Multiple solutions for quasilinear Schrödinger equations involving critical exponent. Appl. Math. Comput. 2010, 216: 849-856. 10.1016/j.amc.2010.01.091

    MathSciNet  Article  Google Scholar 

  31. 31.

    He X, Zou W: Multiplicity of solutions for a class of Kirchhoff type problems. Acta Math. Appl. Sin. 2010, 26: 387-394. 10.1007/s10255-010-0005-2

    MathSciNet  Article  Google Scholar 

  32. 32.

    Poppenberg M, Schmitt K, Wang ZQ: On the existence of soliton solutions to quasilinear Schrodinger equations. Calc. Var. Partial Differ. Equ. 2002, 14: 329-344. 10.1007/s005260100105

    MathSciNet  Article  Google Scholar 

  33. 33.

    Garcia Azorero J, Peral I: Multiplicity of solutions for elliptic problems with critical exponent or with a nonsymmetric term. Trans. Am. Math. Soc. 1991, 323: 877-895. 10.1090/S0002-9947-1991-1083144-2

    MathSciNet  Article  Google Scholar 

  34. 34.

    do Ó JM, Severo U: Quasilinear Schrödinger equations involving concave and convex nonlinearities. Commun. Pure Appl. Anal. 2009, 8: 621-644.

    MathSciNet  Google Scholar 

  35. 35.

    Rabinowitz PH: Minimax Methods in Critical-Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence; 1986.

    Google Scholar 

  36. 36.

    Willem M: Minimax Theorems. Birkhäuser Boston, Boston; 1996.

    Book  Google Scholar 

  37. 37.

    Lions PL: The concentration compactness principle in the calculus of variations. The locally compact case. Part II. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1984, 1: 223-283.

    Google Scholar 

Download references

Acknowledgements

The authors would like to express their appreciation of the referees for their precious comments and suggestions as regards the original manuscript. The authors are supported by NSFC (Grant No. 11301038), Youth Foundation for Science and Technology Department of Jilin Province (20130522100JH), Research Foundation during the 12st Five-Year Plan Period of Department of Education of Jilin Province, China (Grant [2013] No. 252), The open project program of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University (Grant No. 93K172013K03).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Yueqiang Song.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

CZ carried out the theoretical studies, and participated in the sequence alignment and drafted the manuscript. YS participated in the design of the study and performed the statistical analysis. SL and FM conceived of the study, and participated in its design and coordination. All authors read and approved the final manuscript.

Rights and permissions

Open Access  This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.

The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.

To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhou, C., Miao, F., Liang, S. et al. Multiplicity of solutions for Kirchhoff-type problems involving critical growth. Bound Value Probl 2014, 210 (2014). https://doi.org/10.1186/s13661-014-0210-7

Download citation

Keywords

  • Kirchhoff-type problems
  • critical growth
  • concentration-compactness principle
  • variational method