Home Ground State Solutions for Kirchhoff Type Quasilinear Equations
Article Open Access

Ground State Solutions for Kirchhoff Type Quasilinear Equations

  • Xiangqing Liu EMAIL logo and Junfang Zhao
Published/Copyright: December 21, 2018

Abstract

In this paper, we are concerned with quasilinear equations of Kirchhoff type, and prove the existence of ground state signed solutions and sign-changing solutions by using the Nehari method.

MSC 2010: 35J60; 35J20

1 Introduction

We consider the following quasilinear elliptic equation of Kirchhoff type:

(1.1) { ( a ( u ) Δ p u - ( 1 - 1 p ) a ( u ) | u | p ) + μ ( Ω b ( u ) | u | p d x ) α - 1 ( b ( u ) Δ p u - ( 1 - 1 p ) b ( u ) | u | p ) + f ( u ) = 0 in Ω , u = 0 on Ω ,

where ΩN (N3) is a bounded domain with smooth boundary, Δpu=div(|u|p-2u) is the p-Laplacian operator. We assume the following:

  1. 1 < p < N , μ>0, α>1, q>1, α(p+q)<p*=NpN-p.

  2. a C 1 ( , ) and satisfies the following conditions:

    1. There exists C0>0 such that for t

      C 0 - 1 ( 1 + | t | q ) a ( t ) C 0 ( 1 + | t | q ) ,
      C 0 - 1 ( 1 + | t | q ) a ( t ) + 1 p t a ( t ) C 0 ( 1 + | t | q ) .

    2. The function

      g a ( t ) = a ( t ) + 1 p t a ( t ) | t | q

      is increasing in (-,0) and decreasing in (0,).

  3. b C 1 ( , ) and satisfies the following conditions:

    1. There exists C0>0 such that for t

      C 0 - 1 ( 1 + | t | q ) b ( t ) C 0 ( 1 + | t | q ) ,
      C 0 - 1 ( 1 + | t | q ) b ( t ) + 1 p t b ( t ) C 0 ( 1 + | t | q ) .

    2. The function

      g b ( t ) = b ( t ) + 1 p t b ( t ) | t | q

      is increasing in (-,0) and decreasing in (0,).

    3. b is multiplicative convex, that is, for s,t, st0, it holds that

      b ( s t ) b ( s ) b ( t ) .

  4. f C ( , ) and satisfies the following conditions:

    1. lim t 0 f ( t ) | t | p - 1 = 0 .

    2. There exist C0>0, p+q<ν<(1+qp)p* such that for t

      | f ( t ) | C 0 ( 1 + | t | ν - 1 ) .

    3. lim | t | f ( t ) t | t | α ( p + q ) = + .

    4. The function f(t)t|t|α(p+q) is decreasing in (-,0) and increasing in (0,).

Set

X = { u | u W 0 1 , p ( Ω ) , Ω | u | q | u | p d x < + } .

A function uX is called a (weak) solution of (1.1) if, for all φC0(Ω), it holds that

(1.2) Ω ( a ( u ) | u | p - 2 u φ + 1 p a ( u ) | u | p φ ) d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u ) | u | p - 2 u φ + 1 p b ( u ) | u | p φ ) d x = Ω f ( u ) φ d x .

Formally, the problem (1.1) has a variational structure, given by the functional

I ( u ) = 1 p Ω a ( u ) | u | p d x + μ α p ( Ω b ( u ) | u | p d x ) α - Ω F ( u ) d x , u X ,

where F(t)=0tf(τ)dτ. Given uX, assume φX with the property that

Ω | u | q | φ | p d x < + , Ω | u | p | φ | q d x < + ,

for example, φC0(Ω) or φ=u,u+ and u-, where u+=max{u,0},u-=min{u,0}. We define the derivative of I in the direction φ at u, denoted by DI(u),φ as

D I ( u ) , φ = lim t 0 + 1 t ( I ( u + t φ ) - I ( u ) ) = Ω ( a ( u ) | u | p - 2 u φ + 1 p a ( u ) | u | p φ ) d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u ) | u | p - 2 u φ + 1 p b ( u ) | u | p φ ) d x - Ω f ( u ) φ d x .

Hence u is a weak solution of (1.1) if and only if the derivative DI(u),φ at u is zero for every direction φC0(Ω). If u is a weak solution of (1.1), we say that u is a critical point of I and c=I(u) is a critical value of I.

In this paper, we shall use the Nehari method. For uX, define

γ ( u ) = D I ( u ) , u = Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u ) + 1 p u b ( u ) ) | u | p d x - Ω f ( u ) u d x ,
γ + ( u ) = D I ( u ) , u + = Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u + ) + 1 p u + b ( u + ) ) | u + | p d x - Ω f ( u + ) u + d x ,
γ - ( u ) = D I ( u ) , u - = Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u - ) + 1 p u - b ( u - ) ) | u - | p d x - Ω f ( u - ) u - d x ,
S = { u u X , γ ( u ) = 0 , u 0 } ,
S * = { u u X , γ + ( u ) = 0 , u + 0 ; γ - ( u ) = 0 , u - 0 }

and

c S = inf u S I ( u ) , c S * = inf u S * I ( u ) .

Here are our main results.

Theorem 1.1.

Assume (N), (A), (B) and (F). Then the functional I assumes its infimum cS in S at a function u, which is a weak ground state signed solution of (1.1).

Theorem 1.2.

Assume (N),(A),(B) and (F). Then the functional I assumes its infimum cS* in S* at a function u*, which is a weak ground state sign-changing solution of (1.1), having exactly two nodal domains. Moreover, cS*>2cS holds.

Remark 1.1.

Condition (c) follows from

  1. The function tb(t)b(t) is decreasing in (-,0) and increasing in (0,).

Condition (c) says that

b ( s t ) b ( t ) b ( s ) for s , t , s t 0 .

We consider the case s>0, t>0. Let s=ex and t=ey. Then condition (c) can be rewritten as

ln b ( e 1 2 ( x + y ) ) 1 2 ( ln b ( e x ) + ln b ( e y ) ) .

That is, the function g(x)=lnb(ex), x, is convex. The sufficient and necessary condition is g′′0 or g is increasing. We have g(x)=exb(ex)b(ex); g is increasing in x if and only if tb(t)b(t) is increasing in t(0,+).

Remark 1.2.

A special example of functions a and b, satisfying conditions (A) and (B), is a(t)=c+dt2, b(t)=m+nt2, c,d,m,n>0, p=q=2. In general, let b(t)=i=0kbi|t|qi, where bi>0, i=0,1,,k, q0=0, 1<q1<<qk=q; then the function b satisfies (B). Condition (a) is obvious, and since

g b ( t ) = b ( t ) + 1 p t b ( t ) | t | q = i = 0 k b i ( 1 + q i p ) | t | q i - q ,

which is increasing in (-,0) and decreasing in (0,), (b) holds. By Cauchy’s inequality, for s,t, st0, we have

b ( s t ) = i = 0 k b i | s t | q i 2 ( i = 0 k b i | s | q i ) 1 2 ( i = 0 k b i | t | q i ) 1 2 = b ( s ) b ( t ) ,

and (c) holds.

Recently, the Kirchhoff problem, both on bounded domains and on the whole space N or both semilinear equations and quasilinear equations, has received increasing attention. First, the classical Kirchhoff type equation

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

which is related to the stationary analogue of the equation

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

proposed by Kirchhoff in [19] as an extension of the classical D’Alembert wave equations for free vibration of elastic strings. In the pioneering work of Lions [25], an abstract functional analysis framework was proposed to (1.4):

(1.5) { u t t - ( a + c 2 Ω | u | 2 d x ) Δ u = f ( x , u ) in Ω , u = 0 on Ω .

Kirchhoff’s model takes into account the changes in length of the string produced by transverse vibrations. Notice that, in (1.5), u denotes the displacement, f(x,u) is the external force and c2 is the initial tension while a is related to the intrinsic properties of the string, such as Young’s modulus. It is pointed out that the problem (1.5) models several physical and biological systems, where u describes a process that depends on the average of itself, for example, population density. For more physical background of this Kirchhoff problem, see [19, 3, 5, 9] and the references therein. Mathematically, (1.3) is a nonlocal problem as the appearance of the nonlocal term Ω|u|2dxΔu, which implies that (1.3) is not a pointwise identity. This leads to some mathematical difficulties, which attract the attention of many mathematicians. Recently, there have been a lot of results on this problem, and several methods have been developed, see [8, 15, 23, 28, 34]. Especially, the existence of positive solutions, multiple solutions, ground states and semiclassical states, sign-changing solutions for the Kirchhoff type problem have been established by the variational method; see, for example, [4, 1, 11, 24, 20, 26, 29, 27, 17, 31] for the bounded domain and [2, 16, 22, 30, 32, 10] for the whole space.

If p2, a,b are constants and f satisfies the subcritical growth condition. Guo and Nie [12] considered the equation

(1.6) { - ( a + b N | u | p d x ) p - 1 Δ p u + λ V ( x ) | u | p - 2 u = f ( x , u ) , x N , u W 1 , p ( N ) .

They obtained nontrivial weak solutions whenever λ>0 is sufficiently large by variational methods. Han, Ma and He [14] investigated the existence of sign-changing solutions of equation (1.6) for λ=1. In [33], the authors dealt with the existence, multiplicity and asymptotic behavior of solutions for critical Kirchhoff type p-Laplacian problems. Also, there are some papers on the existence of solutions for Kirchhoff type quasilinear equations; see [18, 13] and the references therein.

In addition, for related work, we can refer to [21, 7]. The authors considered the generalized quasilinear Schrödinger equation with a Kirchhoff type perturbation

(1.7) ( 1 + λ 3 g 2 ( u ) | u | 2 d x ) ( - div ( g 2 ( u ) u ) + g ( u ) g ( u ) | u | 2 ) + V ( x ) u = K ( x ) f ( u ) , x 3 ,

where λ>0, gC1(,+), V(x) and K(x) are both positive continuous functions. Under some suitable assumptions on V and K, by using a change of variables, the authors obtained the existence of both the ground state signed and the ground state sign-changing solutions for (1.7). Moreover, the convergence property and the nodal property for solutions were established in [7]. Notice that their method only can be used to treat one integral term Ωg(u)|u|2dx in the corresponding functional, so that they can make a change of variables as v=g12(u)u (or dv=g12(u)du); then Ωg(u)|u|2dx=Ω|v|2dx; thus the quasilinear equation is reduced to the semilinear equation. So, essentially, they discussed semilinear elliptic equations. If there is the integral term Ωi,j=1Naij(u)iujudx or two integral terms Ωg(u)|u|2dx and Ωf(u)|u|2dx in the corresponding functional, then the quasilinear equation cannot be reduced to the semilinear equation by applying the idea of change of variables.

In this paper, we will consider the existence of solutions of (1.1). Due to the appearance of two integral terms 1pΩa(u)|u|pdx and μαp(Ωb(u)|u|pdx)α at the same time, the problem (1.1) cannot be transformed into a semilinear equation by a change of variables. However, in the terms 12Ωg(u)|u|2dx and 14(Ωg(u)|u|2dx)2, g(u) is the same function in [21, 7]. Hence the quasilinear problem (1.1) is different from (1.7). So it is rather difficult to obtain the existence of solutions for the problem (1.1). We will utilize the Nehari method to directly treat the quasilinear equation of Kirchhoff type (1.1), obtain the existence of ground state signed solutions and sign-changing solutions and compare the critical values, corresponding to signed solutions and sign-changing solutions.

The paper is organized as follows: In Section 2, we prove Theorem 1.1; in Section 3, we prove Theorem 1.2. Finally, in Section 4, we consider what happens when the parameter μ0+ in equation (1.1) and prove some convergence property.

2 Ground State Signed Solutions

For presentation convenience, for uX, we define

I 1 ( u ) = 1 p Ω a ( u ) | u | p d x , I 2 ( u ) = μ α p ( Ω b ( u ) | u | p d x ) α , I 3 ( u ) = - Ω F ( u ) d x .

Then I(u)=I1(u)+I2(u)+I3(u).

Lemma 2.1.

For uX, s0, it holds that

(1) I 1 ( u ) - I 1 ( s u ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u = Ω ( 1 s τ p + q - 1 ( a ( u ) + 1 p u a ( u ) - a ( τ u ) + 1 p τ u a ( τ u ) τ q ) d τ ) | u | p d x .

Consequently,

(2.1) I 1 ( u ) - I 1 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 1 ( u ) , u = C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x + Ω ( 1 s τ p + q - 1 ( a ( u ) + 1 p u a ( u ) - a ( τ u ) + 1 p τ u a ( τ u ) τ q ) d τ ) | u | p d x ,

where C(s)=1p+q(1-sp+q)-1α(p+q)(1-sα(p+q)). Notice that C(1)=0, C(s)>0 for s0, s1.

(2) I 2 ( u ) - I 2 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 2 ( u ) , u = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u ) | ( s α u ) | p d x - ( Ω b ( s u ) | ( s u ) | p d x ) α ) + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 s τ α ( p + q ) - 1 ( b ( u ) + 1 p u b ( u ) - b ( τ α u ) + 1 p τ α u b ( τ α u ) τ α q ) d τ ) | u | p d x .
(3) I 3 ( u ) - I 3 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 3 ( u ) , u = Ω ( 1 s τ α ( p + q ) - 1 ( f ( τ u ) τ u τ α ( p + q ) - f ( u ) u ) d τ ) d x .

Proof.

By the definition of I1, for (1), we have

I 1 ( u ) - I 1 ( s u ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u = 1 p Ω a ( u ) | u | p d x - 1 p Ω a ( s u ) | ( s u ) | p d x - 1 p + q ( 1 - s p + q ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x = Ω ( 1 s d d τ ( 1 p a ( u ) - 1 p a ( τ u ) τ p - 1 p + q ( 1 - τ p + q ) ( a ( u ) + 1 p u a ( u ) ) ) d τ ) | u | p d x = Ω ( 1 s τ p + q - 1 ( a ( u ) + 1 p u a ( u ) - a ( τ u ) + 1 p τ u a ( τ u ) τ q ) d τ ) | u | p d x .

Consequently,

I 1 ( u ) - I 1 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 1 ( u ) , u = ( 1 p + q ( 1 - s p + q ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) ) D I 1 ( u ) , u + I 1 ( u ) - I 1 ( s u ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u = C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x + Ω ( 1 s τ p + q - 1 ( a ( u ) + 1 p u a ( u ) - a ( τ u ) + 1 p τ u a ( τ u ) τ q ) d τ ) | u | p d x .

For (2), we have

I 2 ( u ) - I 2 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 2 ( u ) , u
   = μ α p ( Ω b ( u ) | u | p d x ) α - μ α p ( Ω b ( s u ) | ( s u ) | p d x ) α
      - μ α ( p + q ) ( 1 - s α ( p + q ) ) ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u ) + 1 p u b ( u ) ) | u | p d x
   = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u ) | ( s α u ) | p d x - ( Ω b ( s u ) | ( s u ) | p d x ) α )
      + μ ( Ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 s d d τ ( 1 α p b ( u ) - 1 α p b ( τ α u ) τ α p - 1 α ( p + q ) ( 1 - τ α ( p + q ) ) ( b ( u ) + 1 p u b ( u ) ) d τ ) ) | u | p d x
   = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u ) | ( s α u ) | p d x - ( Ω b ( s u ) | ( s u ) | p d x ) α )
      + μ ( Ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 s τ α ( p + q ) - 1 ( ( b ( u ) + 1 p u b ( u ) ) - b ( τ α u ) + 1 p τ α u b ( τ α u ) τ α q ) d τ ) | u | p d x .

For (3), we have

I 3 ( u ) - I 3 ( s u ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 3 ( u ) , u
   = Ω F ( s u ) d x - Ω F ( u ) d x + 1 α ( p + q ) ( 1 - s α ( p + q ) ) Ω f ( u ) u d x
   = Ω d x 1 s d d τ ( F ( τ u ) - F ( u ) + 1 α ( p + q ) ( 1 - τ α ( p + q ) ) f ( u ) u ) d τ
   = Ω d x 1 s τ α ( p + q ) - 1 ( f ( τ u ) τ u τ α ( p + q ) - f ( u ) u ) d τ .

Lemma 2.2.

For uX, s0, we have the identity

I ( u ) = I ( s u ) + 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I ( u ) , u + R ( s , u ) ,

where

(2.2) R ( s , u ) = C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x + Ω ( 1 s τ p + q - 1 ( a ( u ) + 1 p u a ( u ) - a ( τ u ) + 1 p τ u a ( τ u ) τ q ) d τ ) | u | p d x + μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u ) | ( s α u ) | p d x - ( Ω b ( s u ) | ( s u ) | p d x ) α ) + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 s τ α ( p + q ) - 1 ( ( b ( u ) + 1 p u b ( u ) ) - b ( τ α u ) + 1 p τ α u b ( τ α u ) τ α q ) d τ ) | u | p d x + Ω d x 1 s τ α ( p + q ) - 1 ( f ( τ u ) τ u τ α ( p + q ) - f ( u ) u ) d τ .

Consequently, for uS, it holds that

(2.3) I ( u ) I ( s u ) + C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x > I ( s u ) 𝑓𝑜𝑟 s 0 , s 1 .

Proof.

Identity (2.2) follows from Lemma 2.1. By the convexity assumption (c) and Hölder’s inequality, we have

(2.4) ( Ω b ( s u ) | ( s u ) | p d x ) α ( Ω b 1 - 1 α ( u ) b 1 α ( s α u ) | ( s u ) | p d x ) α ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u ) | ( s α u ) | p d x .

For τ1, t, the monotonicity assumptions (b), (b) and (d) can be rewritten as

(2.5) a ( t ) + 1 p t a ( t ) a ( τ t ) + 1 p τ t a ( τ t ) τ q ,
(2.6) b ( t ) + 1 p t b ( t ) b ( τ t ) + 1 p τ t b ( τ t ) τ q ,
(2.7) f ( t ) t f ( τ t ) τ t τ α ( p + q ) .

By inequalities (2.4)–(2.7), all the terms in (2.2) of the definition of R(s,u) are nonnegative; hence inequality (2.3) follows. ∎

For τ1, t notice that we have another inequality

(2.8) b ( t ) b ( τ t ) τ q ,

which is useful later on. We prove (2.8) in the case t>0. Multiplying inequality (2.6) by ptp-1 and integrating in t over [0,t], we obtain tpb(t)tpb(τt)τq, that is, b(t)b(τt)τq.

Lemma 2.3.

Let uX, u0. Then there exists a unique s>0 such that suS.

Proof.

The uniqueness follows from Lemma 2.2, formula (2.3). To prove the existence of such a number, just notice that, by assumption (c), DI(Ru),Ru<0 for R large enough, and by assumption (a), DI(ru),ru>0 for r small enough; hence there exists s(r,R) such that DI(su),su=0, that is, suS. ∎

Lemma 2.4.

The infimum cS>0 is achieved.

Proof.

Let {un}S be a minimizing sequence, I(un)cS as n. By Lemma 2.2, formula (2.3) (with s=0) and assumption (a), for uS, we have

I ( u ) C ( 0 ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x C Ω ( 1 + | u | q ) | u | p d x > 0 .

We can assume

u n u in W 0 1 , p ( Ω ) , | u n | q p u n | u | q p u in L p ( Ω ) , u n u in L ν ( Ω ) , 1 ν < ( 1 + q p ) p * .

For uS, there exists β>0 such that

Ω | u | ν d x β , u S .

In fact, by assumptions (a) and (b), for ε>0, there exists Cε>0 such that

ε Ω | u | p d x + C ε Ω | u | ν d x Ω f ( u ) u d x = Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u ) + 1 p u b ( u ) ) | u | p d x C Ω ( 1 + | u | q ) | u | p d x 2 ε Ω | u | p d x + C ( Ω | u | ν d x ) p + q ν ,

where p+qν<1; hence Ω|u|νdxβ for some β>0. Since {un}S and unu in Lν(Ω), we have

(2.9) Ω | u | ν d x = lim n Ω | u n | ν d x β > 0 , u 0 .

By Lemma 2.3, there exists s>0 such that suS. By (2.3) and the lower semicontinuity, we obtain

c S = lim n I ( u n ) lim ¯ n ( I ( s u n ) + C ( s ) Ω ( a ( u n ) + 1 p u n a ( u n ) ) | u n | p d x ) I ( s u ) + C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x c S + C ( s ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x .

Hence s=1 and uS, cS=I(u)>0, u is a minimizer. ∎

Lemma 2.5.

The minimizer u is a ground state solution of (1.1).

Proof.

We prove that the minimizer u solves equation (1.2). Otherwise, there exist φC0(Ω) and m>0 such that

D I ( u ) , φ = - 2 m < 0 .

Choose δ>0, ε0>0 such that

(2.10) D I ( s u + ε φ ) , φ - m for | s - 1 | δ ,  0 ε ε 0 .

We have γ((1+δ)u)<0, γ((1-δ)u)>0. Choose ε so small that γ((1+δ)u+εφ)<0, γ((1-δ)u+εφ)>0. Then there exists s(1-δ,1+δ) such that γ(su+εφ)=0, that is, su+εφS. By Lemma 2.2 and (2.10), we obtain

c S I ( s u + ε φ ) I ( u ) + I ( s u + ε φ ) - I ( s u ) = c S + 0 1 D I ( s u + τ ε φ ) , ε φ d τ c S - m ε ,

which is a contradiction. ∎

Proof of Theorem 1.1.

We only need to prove that the minimizer uS is signed. Otherwise, u=u++u-, u+0, u-0. By Lemma 2.3, there exist s>0, t>0 such that su+S, tu-S. Since u is a solution of (1.2), DI(u),u+=0, DI(u),u-=0; hence uS*. By Lemma 3.2 of the next section, I(u)I(su++tu-), and we have

c S = I ( u ) I ( s u + + t u - ) > I ( s u + ) + I ( t u - ) 2 c S ,

which is a contradiction. ∎

3 Ground State Sign-Changing Solutions

In this section, we prove Theorem 1.2.

Lemma 3.1.

For uX, s0, t0, it holds that

(1) I 1 ( u ) - I 1 ( s u + + t u - ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u + - 1 p + q ( 1 - t p + q ) D I 1 ( u ) , u - = Ω ( 1 s τ p + q - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ u + ) + 1 p τ u + a ( τ u + ) τ q ) d τ ) | u + | p d x + Ω ( 1 t τ p + q - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ u - ) + 1 p τ u - a ( τ u - ) τ q ) d τ ) | u - | p d x .

Consequently,

I 1 ( u ) - I 1 ( s u + + t u - ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I ( u ) , u + - 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I ( u ) , u - = C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x + Ω ( 1 s τ p + q - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ u + ) + 1 p τ u + a ( τ u + ) τ q ) d τ ) | u + | p d x + Ω ( 1 t τ p + q - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ u - ) + 1 p τ u - a ( τ u - ) τ q ) d τ ) | u - | p d x ,

where the constants C(s),C(t) are defined as in (2.1).

(2) I 2 ( u ) - I 2 ( s u + + t u - ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 2 ( u ) , u + - 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I 2 ( u ) , u - = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u + + t α u - ) | ( s α u + + t α u - ) | p d x - ( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α ) + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 s τ α ( p + q ) - 1 ( b ( u + ) + 1 p u + b ( u + ) - b ( τ α u + ) + 1 p τ α u + b ( τ α u + ) τ α q ) d τ ) | u + | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 t τ α ( p + q ) - 1 ( b ( u - ) + 1 p u - b ( u - ) - b ( τ α u - ) + 1 p τ α u - b ( τ α u - ) τ α q ) d τ ) | u - | p d x .
(3) I 3 ( u ) - I 3 ( s u + + t u - ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 3 ( u ) , u + - 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I 3 ( u ) , u - = Ω d x 1 s τ α ( p + q ) - 1 ( f ( τ u + ) τ u + τ α ( p + q ) - f ( u + ) u + ) d τ + Ω d x 1 t τ α ( p + q ) - 1 ( f ( τ u - ) τ u - τ α ( p + q ) - f ( u - ) u - ) d τ .

Proof.

The proof is similar to that of Lemma 2.1. Here we prove Lemma 3.1 (1) and (2). For (1), we have

I 1 ( u ) - I 1 ( s u + + t u - ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u + - 1 p + q ( 1 - t p + q ) D I 1 ( u ) , u -
   = 1 p Ω a ( u ) | u | p d x - 1 p Ω a ( s u + + t u - ) | ( s u + + t u - ) | p d x
      - 1 p + q ( 1 - s p + q ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x
      - 1 p + q ( 1 - t p + q ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x
   = Ω ( 1 s d d τ ( 1 p a ( u + ) - 1 p a ( τ u + ) τ p - 1 p + q ( 1 - τ p + q ) ( a ( u + ) + 1 p u + a ( u + ) ) ) d τ ) | u + | p d x
      + Ω ( 1 t d d τ ( 1 p a ( u - ) - 1 p a ( τ u - ) τ p - 1 p + q ( 1 - τ p + q ) ( a ( u - ) + 1 p u - a ( u - ) ) ) d τ ) | u - | p d x
   = Ω ( 1 s τ p + q - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ u + ) + 1 p τ u + a ( τ u + ) τ q ) d τ ) | u + | p d x
      + Ω ( 1 s τ p + q - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ u - ) + 1 p τ u - a ( τ u - ) τ q ) d τ ) | u - | p d x .

Consequently,

I 1 ( u ) - I 1 ( s u + + t u - ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 1 ( u ) , u + - 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I 1 ( u ) , u -
   = ( 1 p + q ( 1 - s p + q ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) ) D I 1 ( u ) , u +
      + ( 1 p + q ( 1 - t p + q ) - 1 α ( p + q ) ( 1 - t α ( p + q ) ) ) D I 1 ( u ) , u -
      + I 1 ( u ) - I 1 ( s u + + t u - ) - 1 p + q ( 1 - s p + q ) D I 1 ( u ) , u + - 1 p + q ( 1 - t p + q ) D I 1 ( u ) , u -
   = C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x
      + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x
      + Ω ( 1 s τ p + q - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ u + ) + 1 p τ u + a ( τ u + ) τ q ) d τ ) | u + | p d x
      + Ω ( 1 t τ p + q - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ u - ) + 1 p τ u - a ( τ u - ) τ q ) d τ ) | u - | p d x .

For (2), we have

I 2 ( u ) - I 2 ( s u + + t u - ) - 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I 2 ( u ) , u + - 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I 2 ( u ) , u -
   = μ α p ( Ω b ( u ) | u | p d x ) α - μ α p ( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α
      - μ α ( p + q ) ( 1 - s α ( p + q ) ) ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u + ) + 1 p u + b ( u + ) ) | u + | p d x
      - μ α ( p + q ) ( 1 - t α ( p + q ) ) ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u - ) + 1 p u - b ( u - ) ) | u - | p d x
   = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u + + t α u - ) | ( s α u + + t α u - ) | p d x - ( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α )
      + μ ( Ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 s d d τ ( 1 α p b ( u + ) - 1 α p b ( τ α u + ) τ α p - 1 α ( p + q ) ( 1 - s α ( p + q ) ) ( b ( u + ) + 1 p u + b ( u + ) ) ) d τ ) | u + | p d x
      + μ ( Ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 t d d τ ( 1 α p b ( u - ) - 1 α p b ( τ α u - ) τ α p - 1 α ( p + q ) ( 1 - t α ( p + q ) ) ( b ( u - ) + 1 p u - b ( u - ) ) ) d τ ) | u - | p d x
   = μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u + + t α u - ) | ( s α u + + t α u - ) | p d x - ( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α )
      + μ ( Ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 s τ α ( p + q ) - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ α u + ) + 1 p τ α u + a ( τ α u + ) τ α q ) d τ ) | u + | p d x
      + μ ( ω b ( u ) | u | p d x ) α - 1
        Ω ( 1 t τ α ( p + q ) - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ α u - ) + 1 p τ α u - a ( τ α u - ) τ α q ) d τ ) | u - | p d x .

Lemma 3.2.

For u=u++u-X, s0, t0, we have the identity

I ( u ) = I ( s u + + t u - ) + 1 α ( p + q ) ( 1 - s α ( p + q ) ) D I ( u ) , u + + 1 α ( p + q ) ( 1 - t α ( p + q ) ) D I ( u ) , u - + R * ( s , t , u ) ,

where

(3.1) R * ( s , t , u ) = C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x + Ω ( 1 s τ p + q - 1 ( a ( u + ) + 1 p u + a ( u + ) - a ( τ u + ) + 1 p τ u + a ( τ u + ) τ q ) d τ ) | u + | p d x + Ω ( 1 t τ p + q - 1 ( a ( u - ) + 1 p u - a ( u - ) - a ( τ u - ) + 1 p τ u - a ( τ u - ) τ q ) d τ ) | u - | p d x + μ α p ( ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u + + t α u - ) | ( s α u + + t α u - ) | p d x - ( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α ) + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 s τ α ( p + q ) - 1 ( b ( u + ) + 1 p u + b ( u + ) - b ( τ α u + ) + 1 p τ α u + b ( τ α u + ) τ α q ) d τ ) | u + | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( 1 t τ α ( p + q ) - 1 ( b ( u - ) + 1 p u - b ( u - ) - b ( τ α u - ) + 1 p τ α u - b ( τ α u - ) τ α q ) d τ ) | u - | p d x + Ω d x 1 s τ α ( p + q ) - 1 ( f ( τ u + ) τ u + τ α ( p + q ) - f ( u + ) u + ) d τ + Ω d x 1 t τ α ( p + q ) - 1 ( f ( τ u - ) τ u - τ α ( p + q ) - f ( u - ) u - ) d τ .

Consequently, for u=u++u-S*, it holds that

(3.2) I ( u ) I ( s u + + t u - ) + C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x > I ( s u + + t u - ) 𝑓𝑜𝑟 s 0 , t 0 , ( s , t ) ( 1 , 1 ) .

Proof.

Identity (3.1) follows from Lemma 3.1. By the convexity assumption (c) and the Hölder inequality, we have

( Ω b ( s u + + t u - ) | ( s u + + t u - ) | p d x ) α
   = ( Ω ( b ( s u + ) s p | u + | p + b ( t u - ) t p | u - | p ) d x ) α
   ( Ω ( b 1 - 1 α ( u + ) b 1 α ( s α u + ) s p | u + | p + b 1 - 1 α ( u - ) b 1 α ( t α u - ) t p | u - | p ) d x ) α
   ( Ω ( b ( u + ) | u + | p + b ( u - ) | u - | p ) d x ) α - 1 Ω ( b ( s α u + ) s α p | u + | p + b ( t α u - ) t α p | u - | p ) d x
(3.3)    = ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( s α u + + t α u - ) | ( s α u + + t α u - ) | p d x .

By inequalities (3.3), (2.5), (2.6) and (2.7), all the terms in (3.1) are nonnegative; hence inequality (3.2) follows. ∎

Remark 3.1.

Lemma 3.2 can be extended to a more general case. Let uX; assume that u=i=1kvi and the sets Di=suppvi(i=1,,k) have mutually disjoint interiors: intDiintDj=, ij, i,j=1,,k. Firstly, we extend inequality (3.3). For si0, i=1,,k, by the convexity assumption (c) and the Hölder inequality, we have

(3.4) ( Ω b ( i = 1 k s i v i ) | ( i = 1 k s i v i ) | p d x ) α = ( Ω i = 1 k b ( s i v i ) s i p | v i | p d x ) α ( Ω i = 1 k b 1 - 1 α ( v i ) b 1 α ( s i α v i ) s i p | v i | p d x ) α ( Ω i = 1 k b ( v i ) | v i | p d x ) α - 1 Ω i = 1 k ( b ( s i α v i ) s i α p | v i | p ) d x = ( Ω b ( u ) | u | p d x ) α - 1 Ω b ( i = 1 k s i α v i ) | ( i = 1 k s i α v i ) | p d x .

Then we can extend (1), (2) and (3) of Lemma 3.1. By inequalities (3.4), (2.5), (2.6) and (2.7), we obtain

I ( u ) I ( i = 1 k s i v i ) + i = 1 k 1 α ( p + q ) ( 1 - s i α ( p + q ) ) D I ( u ) , v i + i = 1 k C ( s i ) Ω ( a ( v i ) + 1 p v i a ( v i ) ) | v i | p d x .

In particular, if DI(u),vi=0, i=1,,k, then

I ( u ) I ( i = 1 k s i v i ) for s i 0 ,

and the equality holds if and only if si=1, i=1,,k.

Lemma 3.3.

Let u=u++u-X, u+0, u-0. Then there exists a unique pair (s,t)R+2 such that

s u + + t u - S * .

Proof.

The uniqueness follows from Lemma 3.2, formula (3.2). To prove the existence of such a pair (s,t), we follow [6] by using a degree theory argument. Denote

D R , r = { ( s , t ) 2 0 < r s R ,  0 < r t R } .

For R large enough, by assumption (c), we have

γ + ( R u + + t u - ) = D I ( R u + + t u - ) , R u + < 0 for r t R ,
γ - ( s u + + R u - ) = D I ( s u + + R u - ) , R u - < 0 for r s R .

For r small enough, by assumption (a), we have

γ + ( r u + + t u - ) = D I ( r u + + t u - ) , r u + > 0 for r t R ,
γ - ( s u + + r u - ) = D I ( s u + + r u - ) , r u - > 0 for r s R .

By a degree theory argument, we find (s,t)DR,r such that

γ + ( s u + + t u - ) = 0 , γ - ( s u + + t u - ) = 0 and s u + + t u - S * .

Lemma 3.4.

The infimum cS* is achieved.

Proof.

Similar to formula (2.9), for uS*, there holds

(3.5) Ω u + ν d x β > 0 , Ω u - ν d x β > 0 .

Let {un}S* be a minimizing sequence I(un)cS*(n). By Lemma 3.2 and formula (3.2) (with s=0, t=0) for uS*, we get

I ( u ) C ( 0 ) Ω ( a ( u ) + 1 p u a ( u ) ) | u | p d x C Ω ( 1 + u q ) | u | p d x for u S * .

We can assume that

u n u * in W 0 1 , p ( Ω ) , | u n | q p u n | u * | q p u * in L p ( Ω ) , u n u * in L ν ( Ω ) , 1 ν < ( 1 + q p ) p * .

Let u*=u++u-; then

Ω u + ν d x = lim n Ω ( u n ) + ν d x β > 0 , Ω u - ν d x = lim n Ω ( u n ) - ν d x β > 0 , u + 0 , u - 0 .

By Lemma 3.3, there exist s>0, t>0 such that su++tu-S*. By (3.2) and the lower semicontinuity, we obtain

c S * = lim n I ( u n ) lim ¯ n ( I ( s ( u n ) + + t ( u n ) - ) + C ( s ) Ω ( a ( u n ) + + 1 p ( u n ) + a ( ( u n ) + ) ) | ( u n ) + | p d x + C ( t ) Ω ( a ( u n ) - + 1 p ( u n ) - a ( ( u n ) - ) ) | ( u n ) - | p d x ) I ( s u + + t u - ) + C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x c S * + C ( s ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + C ( t ) Ω ( a ( u - ) + 1 p u - a ( u - ) ) | u - | p d x .

Hence s=1, t=1 and u*=u++u-S*, I(u*)=cS*, u* is a minimizer. ∎

Lemma 3.5.

The minimizer u* is a ground state sign-changing solution of (1.1).

Proof.

We prove that the minimizer u* solves equation (1.2). Otherwise, there exist φC0(Ω) and m>0 such that

D I ( u ) , φ = - 2 m < 0 .

Choose δ>0, ε0>0 such that

(3.6) D I ( s u + + t u - + ε φ ) , φ - m for | s - 1 | δ , | t - 1 | δ , 0 ε ε 0 .

By using inequalities (2.5)–(2.8), for 1-δt1+δ, we have

(3.7) γ + ( ( 1 + δ ) u + + t u - ) = D I ( ( 1 + δ ) u + + t u - ) , ( 1 + δ ) u + D I ( ( 1 + δ ) u ) , ( 1 + δ ) u + < ( 1 + δ ) α ( p + q ) D I ( u ) , u + = 0

and

γ - ( ( 1 - δ ) u + + t u - ) = D I ( ( 1 - δ ) u + + t u - ) , ( 1 - δ ) u - D I ( ( 1 - δ ) u ) , ( 1 - δ ) u - > ( 1 - δ ) α ( p + q ) D I ( u ) , u - = 0 .

Similarly, for 1-δs1+δ, we have

γ - ( s u + + ( 1 + δ ) u - ) = D I ( s u + + ( 1 + δ ) u - ) , ( 1 + δ ) u - < 0 ,
γ - ( s u + + ( 1 - δ ) u - ) = D I ( s u + + ( 1 - δ ) u - ) , ( 1 - δ ) u - < 0 .

We give the proof of (3.7), and others are the same. By the definition of γ+, we have

(3.8) D I ( ( 1 + δ ) u + + t u - ) , ( 1 + δ ) u + = Ω ( a ( ( 1 + δ ) u + ) + 1 p ( 1 + δ ) u + a ( ( 1 + δ ) u + ) ) | ( ( 1 + δ ) u + ) | p d x + μ ( Ω b ( ( 1 + δ ) u + + t u - ) | ( ( 1 + δ ) u + + t u - ) | p d x ) α - 1 Ω ( b ( ( 1 + δ ) u + ) + 1 p ( 1 + δ ) u + b ( ( 1 + δ ) u + ) ) | ( ( 1 + δ ) u + ) | p d x - Ω f ( ( 1 + δ ) u + ) ( 1 + δ ) u + d x .

We estimate the terms of (3.8). By (2.5), we get

(3.9) Ω ( a ( ( 1 + δ ) u + ) + 1 p ( 1 + δ ) u + a ( ( 1 + δ ) u + ) ) | ( ( 1 + δ ) u + ) | p d x ( 1 + δ ) q Ω ( a ( u + ) + 1 p u + a ( u + ) ) | ( ( 1 + δ ) u + ) | p d x = ( 1 + δ ) p + q Ω ( a ( u + ) + 1 p u + a ( u + ) ) | ( u + ) | p d x < ( 1 + δ ) α ( p + q ) Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x .

Similarly, by (2.6), we have

(3.10) Ω ( b ( ( 1 + δ ) u + ) + 1 p ( 1 + δ ) u + b ( ( 1 + δ ) u + ) ) | ( ( 1 + δ ) u + ) | p d x ( 1 + δ ) p + q Ω ( b ( u + ) + 1 p u + b ( u + ) ) | u + | p d x ,

and by (2.7), we obtain

(3.11) Ω f ( ( 1 + δ ) u + ) ( 1 + δ ) u + d x ( 1 + δ ) α ( p + q ) Ω f ( u + ) u + d x .

Also, by (2.8),

Ω b ( ( 1 + δ ) u + + t u - ) | ( ( 1 + δ ) u + + t u - ) | p d x
   = Ω b ( ( 1 + δ ) u + ) | ( ( 1 + δ ) u + ) | p d x + Ω b ( t u - ) | ( t u - ) | p d x
   Ω ( 1 + δ ) q b ( u + ) | ( ( 1 + δ ) u + ) | p d x + Ω t q b ( u - ) | ( t u - ) | p d x
   ( 1 + δ ) p + q ( Ω b ( u + ) | u + | p d x + Ω b ( u - ) | u - | p d x )
(3.12)    = ( 1 + δ ) p + q Ω b ( u ) | u | p d x .

Combining (3.7)–(3.12), we obtain

D I ( ( 1 + δ ) u + + t u - ) , ( 1 + δ ) u + < ( 1 + δ ) α ( p + q ) { Ω ( a ( u + ) + 1 p u + a ( u + ) ) | u + | p d x + μ ( Ω b ( u ) | u | p d x ) α - 1 Ω ( b ( u + ) + 1 p u + b ( u + ) ) | u + | p d x - Ω f ( u + ) u + d x } = ( 1 + δ ) α ( p + q ) D I ( u ) , u + = 0 ,

that is, (3.7) holds. Choose ε>0 sufficiently small so that

{ γ + ( ( 1 + δ ) u + + t u - + ε φ ) < 0 , γ + ( ( 1 - δ ) u + + t u - + ε φ ) > 0 for r t R , γ - ( s u + + ( 1 + δ ) u - + ε φ ) < 0 , γ - ( s u + + ( 1 - δ ) u - + ε φ ) > 0 for r s R .

By a degree theory argument, there exists a pair (s,t) such that |s-1|δ, |t-1|δ and

γ + ( s u + + t u - + ε φ ) = 0 , γ - ( s u + + t u - + ε φ ) = 0 ,

that is, su++tu-+εφS*. Now, by Lemma 3.2 and (3.6), we have

c S * I ( s u + + t u - + ε φ ) I ( u * ) + I ( s u + + t u - + ε φ ) - I ( s u + + t u - ) = c S * + 0 1 D I ( s u + + t u - + τ ε φ ) , ε φ d τ c S * - m ε ,

which is a contradiction. ∎

Proof of Theorem 1.2.

Firstly, we prove that the minimizer u* has exactly two nodal domains. Otherwise, u* has more than two nodal domains, say D1,D2 positive nodal domains and D3 a negative nodal domain. Set vi=u*χ(Di). By Remark 3.1, we know I(u*)I(i=13sivi) for si0, i=1,2,3. By Lemma 2.3 and Lemma 3.3, there exist si>0, i=1,2,3, such that s1v1S, s2v2+s3v3S*. Then

c S * = I ( u * ) I ( i = 1 3 s i v i ) > I ( s 1 v 1 ) + I ( s 2 v 2 + s 3 v 3 ) c S + c S * ,

which is a contradiction.

Similarly, we prove cS*>2cS. Let u*=u++u-. By Lemma 2.3, there exist s>0, t>0 such that su+S, tu-S. By Lemma 3.2, we have

c S * = I ( u * ) I ( s u + + t u - ) > I ( s u + ) + I ( t u - ) 2 c S .

4 The Parameter Dependence

In this section, we consider the convergence property of the solutions as μ0+. To emphasize the parameter dependence, for μ(0,1], we denote

I μ ( u ) = 1 p Ω a ( u ) | u | p d x + μ α p ( Ω b ( u ) | u | p d x ) α - Ω F ( u ) d x ,
I 0 ( u ) = 1 p Ω a ( u ) | u | p d x - Ω F ( u ) d x ,
S μ = { u X D I μ ( u ) , u = 0 , u 0 } ,
S 0 = { u X D I 0 ( u ) , u = 0 , u 0 } ,
S μ * = { u X D I μ ( u ) , u + = 0 , u + 0 ; D I μ ( u ) , u - = 0 , u - 0 } ,
S 0 * = { u X D I 0 ( u ) , u + = 0 , u + 0 ; D I 0 ( u ) , u - = 0 , u - 0 }

and

c μ = inf u S μ I μ ( u ) , c μ * = inf u S μ * I μ ( u ) ,
c 0 = inf u S 0 I 0 ( u ) , c 0 * = inf u S 0 * I 0 ( u ) .

Let uμSμ, uμ*Sμ* be the minimizers, obtained in Theorem 1.1, Theorem 1.2, respectively, Iμ(uμ)=cμ, Iμ(uμ*)=cμ*.

Theorem 4.1.

The following statements hold:

  1. c 0 and c 0 * are achieved.

  2. lim μ 0 + c μ = c 0 . There exist a sequence μ n 0 + , the corresponding sequence of solutions u n = u μ n and a function u S 0 such that u n u in W 0 1 , p ( Ω ) , |un|qpun|u|qpu in Lp(Ω), u is a minimizer of I0 in S0 and I0(u)=c0.

  3. lim μ 0 + c μ * = c 0 * . There exist a sequence μ n 0 + , the corresponding sequence of solutions u n * = u μ n * and a function u * S 0 * such that u n * u * in W 0 1 , p ( Ω ) , |un*|qpun*|u*|qpu* in Lp(Ω) and u* is a minimizer of I0 in S0* and I0(u*)=c0*.

Proof.

Statement (1) can be proved as in Theorem 1.1 and Theorem 1.2. In the following, we prove (3). Let u1*=u++u-. By Lemma 3.3, for μ(0,1], there exist sμ>0, tμ>0 such that sμu++tμu-Sμ*. By Lemma 3.2, we have

c μ * = inf u S μ * I μ ( u ) I μ ( s μ u + + t μ u - ) I 1 ( s μ u + + t μ u - ) I 1 ( u 1 * ) = c 1 * .

By Lemma 3.2 and assumption (a), we obtain

c c μ * = I μ ( u μ * ) C ( 0 ) Ω ( a ( u μ * ) + 1 p u μ * a ( u μ * ) ) | u μ * | p d x C Ω ( 1 + | u μ * | q p ) | u μ * | p d x .

Choose a sequence μn0+. We assume

(4.1) u n * = u μ n * u * in W 0 1 , p ( Ω ) , | u n * | q p u n * | u * | q p u * in L p ( Ω ) , u n * u * in L ν ( Ω ) , 1 ν < ( 1 + q p ) p * ,

and

lim ¯ μ 0 + c μ * = lim n c μ n * .

Let u*=u+*+u-*. By (3.5), we have

Ω ( u + * ) ν d x = lim n Ω ( u n * ) + ν d x β , Ω | u - * | ν d x = lim n Ω | ( u n * ) - | ν d x β ,

so u+*0, u-*0. There exist s>0, t>0 such that su+*+tu-*S0* (the conclusion of Lemma 3.3 remains true for μ=0). By Lemma 3.2, we have

(4.2) lim ¯ μ 0 + c μ * = lim n c μ n * = lim n I μ n ( u n * ) lim ¯ n { I μ n ( s ( u n * ) + + t ( u n * ) - ) + C ( s ) Ω ( a ( ( u n * ) + ) + 1 p ( u n * ) + a ( ( u n * ) + ) | ( u n * ) + | p ) d x + C ( t ) Ω ( a ( ( u n * ) - ) + 1 p ( u n * ) - a ( ( u n * ) - ) | ( u n * ) - | p ) d x } I 0 ( s u + * + t u - * ) + C ( s ) Ω ( a ( u + * ) + 1 p u + * a ( u + * ) | u + * | p ) d x + C ( t ) Ω ( a ( u - * ) + 1 p u - * a ( u - * ) | u - * | p ) d x c 0 * + C ( s ) Ω ( a ( u + * ) + 1 p u + * a ( u + * ) | u + * | p ) d x + C ( t ) Ω ( a ( u - * ) + 1 p u - * a ( u - * ) | u - * | p ) d x .

We prove the opposite inequality. Let w=w++w-S0*. By Lemma 3.3, there exist sμ>0, tμ>0 such that sμw++tμw-Sμ*, Iμ(sμw++tμw-)cμ*. There exists M>0, independent of μ, such that Iμ(sw++tw-)0 for |s|+|t|M. Therefore, sμ+tμM. By Lemma 3.2, we have

(4.3) I 0 ( w ) = I μ ( w ) - μ α p ( Ω b ( w ) | w | p d x ) α I μ ( s μ w + + t μ w - ) + 1 α ( p + q ) ( 1 - s μ α ( p + q ) ) D I μ ( w ) , w + + 1 α ( p + q ) ( 1 - t μ α ( p + q ) ) D I μ ( w ) , w - - μ α p ( Ω b ( w ) | w | p d x ) α = I μ ( s μ w + + t μ w - ) + μ α ( p + q ) ( 1 - s μ α ( p + q ) ) ( Ω b ( w ) | w | p d x ) α - 1 Ω ( b ( w + ) + 1 p w + b ( w + ) ) | w + | p d x + μ α ( p + q ) ( 1 - t μ α ( p + q ) ) ( Ω b ( w ) | w | p d x ) α - 1 Ω ( b ( w - ) + 1 p w - b ( w - ) ) | w - | p d x - μ α p ( Ω b ( w ) | w | p d x ) α .

In the above, we have used the fact that DI0(w),w+=0, DI0(w),w-=0 and

I μ ( u ) = I 0 ( u ) + μ α p ( Ω b ( u ) | u | p d x ) α .

Let μ0+ in (4.3). We obtain

I 0 ( w ) lim ¯ μ 0 + I μ ( s μ w + + t μ w - ) lim ¯ μ 0 + c μ * , w S 0 * .

Therefore,

(4.4) c 0 * = inf w S 0 * I 0 ( w ) lim ¯ μ 0 + c μ * .

It follows from (4.2) and (4.4) that

lim μ 0 + c μ * = c 0 * , s = 1 , t = 1 , u * = u + * + u - * S 0 * .

So u*S0* is a minimizer of I0 in S0* and I0(u*)=c0*. Since

I μ n ( u n * ) I 0 ( u * ) , μ n ( Ω b ( u n * ) | u n * | p d x ) α 0

and

Ω F ( u n * ) d x Ω F ( u * ) d x as n ,

then we have

(4.5) Ω a ( u n * ) | u n * | p d x Ω a ( u * ) | u * | p d x as n .

The strong convergence un*u* in W01,p(Ω), |un*|qpun*|u*|qpu* follows from (4.5) and the weak convergence (4.1).

Notice that, as a byproduct, we have proved that the infimum c0* is achieved. ∎


Communicated by Paul Rabinowitz


Award Identifier / Grant number: 11761082

Award Identifier / Grant number: 11601493

Funding statement: Xiangqing Liu is supported by NSFC 11761082 and Yunnan Province, Young Academic and Technical Leaders’ Program (2015HB028). Junfang Zhao is supported by NSFC 11601493 FRFCU 2652015194 and Beijing Higher Education Young Elite Teacher Project.

References

[1] C. O. Alves, F. J. S. A. Corrêa and T. F. Ma, Positive solutions for a quasilinear elliptic equation of Kirchhoff type, Comput. Math. Appl. 49 (2005), no. 1, 85–93. 10.1016/j.camwa.2005.01.008Search in Google Scholar

[2] C. O. Alves and G. M. Figueiredo, Nonlinear perturbations of a periodic Kirchhoff equation in N, Nonlinear Anal. 75 (2012), no. 5, 2750–2759. 10.1016/j.na.2011.11.017Search in Google Scholar

[3] A. Arosio and S. Panizzi, On the well-posedness of the Kirchhoff string, Trans. Amer. Math. Soc. 348 (1996), no. 1, 305–330. 10.1090/S0002-9947-96-01532-2Search in Google Scholar

[4] A. Azzollini, The elliptic Kirchhoff equation in N perturbed by a local nonlinearity, Differential Integral Equations 25 (2012), no. 5–6, 543–554. 10.57262/die/1356012678Search in Google Scholar

[5] M. M. Cavalcanti, V. N. Domingos Cavalcanti and J. A. Soriano, Global existence and uniform decay rates for the Kirchhoff–Carrier equation with nonlinear dissipation, Adv. Differential Equations 6 (2001), no. 6, 701–730. 10.57262/ade/1357140586Search in Google Scholar

[6] G. Cerami, G. Devillanova and S. Solimini, Infinitely many bound states for some nonlinear scalar field equations, Calc. Var. Partial Differential Equations 23 (2005), no. 2, 139–168. 10.1007/s00526-004-0293-6Search in Google Scholar

[7] J. Chen, X. Tang, Z. Gao and B. Cheng, Ground state sign-changing solutions for a class of generalized quasilinear Schrödinger equations with a Kirchhoff-type perturbation, J. Fixed Point Theory Appl. 19 (2017), no. 4, 3127–3149. 10.1007/s11784-017-0475-4Search in Google Scholar

[8] B. Cheng, X. Wu and J. Liu, Multiple solutions for a class of Kirchhoff type problems with concave nonlinearity, NoDEA Nonlinear Differential Equations Appl. 19 (2012), no. 5, 521–537. 10.1007/s00030-011-0141-2Search in Google Scholar

[9] P. D’Ancona and S. Spagnolo, Global solvability for the degenerate Kirchhoff equation with real analytic data, Invent. Math. 108 (1992), no. 2, 247–262. 10.1007/BF02100605Search in Google Scholar

[10] Y. Deng, S. Peng and W. Shuai, Existence and asymptotic behavior of nodal solutions for the Kirchhoff-type problems in 3, J. Funct. Anal. 269 (2015), no. 11, 3500–3527. 10.1016/j.jfa.2015.09.012Search in Google Scholar

[11] G. M. Figueiredo, Existence of a positive solution for a Kirchhoff problem type with critical growth via truncation argument, J. Math. Anal. Appl. 401 (2013), no. 2, 706–713. 10.1016/j.jmaa.2012.12.053Search in Google Scholar

[12] Y. Guo and J. Nie, Existence and multiplicity of nontrivial solutions for p-Laplacian Schrödinger–Kirchhoff-type equations, J. Math. Anal. Appl. 428 (2015), no. 2, 1054–1069. 10.1016/j.jmaa.2015.03.064Search in Google Scholar

[13] W. Han and J. Yao, The sign-changing solutions for a class of p-Laplacian Kirchhoff type problem in bounded domains, Comput. Math. Appl. 76 (2018), no. 7, 1779–1790. 10.1016/j.camwa.2018.07.029Search in Google Scholar

[14] X. T. Han, X. Y. Ma and X. M. He, Existence of sign-changing solutions for a class of p-Laplacian Kirchhoff-type equations, Complex Var. Elliptic Equ. (2018), 10.1080/17476933.2018.1427078. 10.1080/17476933.2018.1427078Search in Google Scholar

[15] X. He and W. Zou, Existence and concentration behavior of positive solutions for a Kirchhoff equation in 3, J. Differential Equations 252 (2012), no. 2, 1813–1834. 10.1016/j.jde.2011.08.035Search in Google Scholar

[16] Y. He, G. Li and S. Peng, Concentrating bound states for Kirchhoff type problems in 3 involving critical Sobolev exponents, Adv. Nonlinear Stud. 14 (2014), no. 2, 483–510. 10.1515/ans-2014-0214Search in Google Scholar

[17] Y. Huang, Z. Liu and Y. Wu, On finding solutions of a Kirchhoff type problem, Proc. Amer. Math. Soc. 144 (2016), no. 7, 3019–3033. 10.1090/proc/12946Search in Google Scholar

[18] H. Jia and G. Li, Multiplicity and concentration behaviour of positive solutions for Schrödinger–Kirchhoff type equations involving the p-Laplacian in N, Acta Math. Sci. Ser. B (Engl. Ed.) 38 (2018), no. 2, 391–418. 10.1016/S0252-9602(18)30756-2Search in Google Scholar

[19] G. Kirchhoff, Mechanik, Teubner, Leipzig, 1883. Search in Google Scholar

[20] C.-Y. Lei, J.-F. Liao and C.-L. Tang, Multiple positive solutions for Kirchhoff type of problems with singularity and critical exponents, J. Math. Anal. Appl. 421 (2015), no. 1, 521–538. 10.1016/j.jmaa.2014.07.031Search in Google Scholar

[21] F. Li, X. Zhu and Z. Liang, Multiple solutions to a class of generalized quasilinear Schrödinger equations with a Kirchhoff-type perturbation, J. Math. Anal. Appl. 443 (2016), no. 1, 11–38. 10.1016/j.jmaa.2016.05.005Search in Google Scholar

[22] G. Li and H. Ye, Existence of positive ground state solutions for the nonlinear Kirchhoff type equations in 3, J. Differential Equations 257 (2014), no. 2, 566–600. 10.1016/j.jde.2014.04.011Search in Google Scholar

[23] Y. Li, F. Li and J. Shi, Existence of a positive solution to Kirchhoff type problems without compactness conditions, J. Differential Equations 253 (2012), no. 7, 2285–2294. 10.1016/j.jde.2012.05.017Search in Google Scholar

[24] Z. Liang, F. Li and J. Shi, Positive solutions to Kirchhoff type equations with nonlinearity having prescribed asymptotic behavior, Ann. Inst. H. Poincaré Anal. Non Linéaire 31 (2014), no. 1, 155–167. 10.1016/j.anihpc.2013.01.006Search in Google Scholar

[25] J.-L. Lions, On some questions in boundary value problems of mathematical physics, Contemporary Developments in Continuum Mechanics and Partial Differential Equations (Rio de Janeiro 1977), North-Holland Math. Stud. 30, North-Holland, Amsterdam (1978), 284–346. 10.1016/S0304-0208(08)70870-3Search in Google Scholar

[26] D. Naimen, Positive solutions of Kirchhoff type elliptic equations involving a critical Sobolev exponent, NoDEA Nonlinear Differential Equations Appl. 21 (2014), no. 6, 885–914. 10.1007/s00030-014-0271-4Search in Google Scholar

[27] D. Naimen, The critical problem of Kirchhoff type elliptic equations in dimension four, J. Differential Equations 257 (2014), no. 4, 1168–1193. 10.1016/j.jde.2014.05.002Search in Google Scholar

[28] K. Perera and Z. Zhang, Nontrivial solutions of Kirchhoff-type problems via the Yang index, J. Differential Equations 221 (2006), no. 1, 246–255. 10.1016/j.jde.2005.03.006Search in Google Scholar

[29] W. Shuai, Sign-changing solutions for a class of Kirchhoff-type problem in bounded domains, J. Differential Equations 259 (2015), no. 4, 1256–1274. 10.1016/j.jde.2015.02.040Search in Google Scholar

[30] J. Sun and T.-F. Wu, Ground state solutions for an indefinite Kirchhoff type problem with steep potential well, J. Differential Equations 256 (2014), no. 4, 1771–1792. 10.1016/j.jde.2013.12.006Search in Google Scholar

[31] X. H. Tang and B. Cheng, Ground state sign-changing solutions for Kirchhoff type problems in bounded domains, J. Differential Equations 261 (2016), no. 4, 2384–2402. 10.1016/j.jde.2016.04.032Search in Google Scholar

[32] J. Wang, L. Tian, J. Xu and F. Zhang, Multiplicity and concentration of positive solutions for a Kirchhoff type problem with critical growth, J. Differential Equations 253 (2012), no. 7, 2314–2351. 10.1016/j.jde.2012.05.023Search in Google Scholar

[33] L. Wang, K. Xie and B. Zhang, Existence and multiplicity of solutions for critical Kirchhoff-type p-Laplacian problems, J. Math. Anal. Appl. 458 (2018), no. 1, 361–378. 10.1016/j.jmaa.2017.09.008Search in Google Scholar

[34] Z. Zhang and K. Perera, Sign changing solutions of Kirchhoff type problems via invariant sets of descent flow, J. Math. Anal. Appl. 317 (2006), no. 2, 456–463. 10.1016/j.jmaa.2005.06.102Search in Google Scholar

Received: 2018-07-02
Revised: 2018-12-03
Accepted: 2018-12-05
Published Online: 2018-12-21
Published in Print: 2019-05-01

© 2019 Walter de Gruyter GmbH, Berlin/Boston

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 27.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ans-2018-2037/html
Scroll to top button