Multiplicity of solutions for elliptic problems of p -Kirchhoff type with critical exponent

Chenxing Zhou; Yueqiang Song

doi:10.1186/s13661-015-0489-z

Research
Open Access

Multiplicity of solutions for elliptic problems of p-Kirchhoff type with critical exponent

Chenxing Zhou¹ and
Yueqiang Song²Email author

Boundary Value Problems20152015:223

https://doi.org/10.1186/s13661-015-0489-z

Received: 21 June 2015

Accepted: 19 November 2015

Published: 2 December 2015

Abstract

In this paper we consider a class of elliptic problems of p-Kirchhoff type with critical exponent in bounded domains and new results as regards the existence and multiplicity of solutions are obtained by using the concentration-compactness principle and variational method.

Keywords

p-Kirchhoff-type problem
critical growth
concentration-compactness principle
variational method

MSC

35J70
35B20

1 Introduction

In this paper we deal with the existence and multiplicity of solutions to the following p-Kirchhoff type with critical exponent:

$$ \left \{ \textstyle\begin{array}{l} - [g (\int_{\Omega}|\nabla u|^{p}\, dx ) ]\Delta_{p}u = \lambda h(x,u) + u^{p^{\ast}-2}u, \quad x \in\Omega, \\ u = 0, \quad x \in\partial\Omega, \end{array}\displaystyle \right . $$

(1.1)

where $1 < p < N$, λ is a positive parameter, $\Omega \subset\mathbb{R}^{N}$ is an open bounded domain with smooth boundary and λ is a positive parameter, $p^{\ast}= Np/(N-p)$ is the critical exponent according to the Sobolev embedding. $f:\overline{\Omega}\times\mathbb{R}\to\mathbb{R}$, $g:\mathbb{R}^{+}\to\mathbb{R}^{+}$ are continuous functions that satisfy the following conditions:

(G1)

There exists $\alpha_{0}>0$ such that $g(t)\geq\alpha_{0}$ for all $t\geq0$.
(G2)

There exists σ satisfied $1< \frac{p}{\sigma}< p^{\ast}$ and $G(t)\geq\sigma g(t)t$ for all $t\geq0$, where $G(t)=\int_{0}^{t}g(s)\, ds$.
(H1)

$h(x, u) \in C(\Omega\times\mathbb{R}, \mathbb{R})$, $h(x, -u) = -h(x, u)$ for all $u \in\mathbb{R}$.
(H2)

$\lim_{|u|\rightarrow\infty}\frac{h(x, u)}{|u|^{p^{\ast}- 1}} = 0 $ uniformly for $x \in\Omega$.
(H3)

$\lim_{|u|\rightarrow0^{+}}\frac{h(x, u)}{u^{p/\sigma-1}} = \infty$ uniformly for $x \in \Omega$.

Much interest has grown on 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 the minimax procedure. For more related results, we refer the interested reader to [4–9] and references therein.

On the one hand, for the special case of problem (1.1), equation (1.1) reduces to the following Dirichlet problem of Kirchhoff type:

$$ \left \{ \textstyle\begin{array}{l} - (a+b \int_{\Omega}|\nabla u|^{2}\, dx )\Delta u = f(x, u),\quad x\in \Omega, \\ u|_{\partial\Omega} = 0, \end{array}\displaystyle \right . $$

(1.2)

where $\Omega\subset\mathbb{R}^{N}$, problem (1.2) is a generalization of a model introduced by Kirchhoff [10]. More precisely, Kirchhoff proposed a model given by the equation

$$ \rho\frac{\partial^{2}u}{\partial t^{2}}- \biggl(\frac{\rho_{0}}{h} + \frac{E}{2L} \int_{0}^{L}\biggl\vert \frac{\partial u}{\partial x}\biggr\vert ^{2}\, dx \biggr)\frac{\partial^{2}u}{\partial x^{2}} = 0, $$

(1.3)

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

In [20], 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 [21], the author 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 [22] 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).

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

To the best of our knowledge, the existence and multiplicity of solutions to problem (1.1) has not ever 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_{0}^{1,p}(\Omega)$ into the space $L^{p^{\ast}}(\Omega)$, prevents 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 to the application of this kind of theory, are needed to be re-established. We mainly follow the idea of [22, 23]. Let us point out that although the idea was used before for other problems, the adaptation to the procedure to our problem is not trivial at all, since the appearance of non-local term, we must consider our problem for suitable space and so we need more delicate estimates.

Our main result in this paper is the following.

Theorem 1.1

Suppose that (G1)-(G2), (H1)-(H3) hold. There then exists $\lambda^{\ast}> 0$ such that, for any $\lambda\in(0, \lambda^{\ast})$, problem (1.1) has a sequence of non-trivial solutions $\{u_{n}\}$ and $u_{n} \rightarrow0$ as $n\rightarrow \infty$.

2 Preliminary lemmas

We consider the energy functional $J: W_{0}^{1,p}(\Omega)\to\mathbb{R}$ defined by

$$ J(u) = \frac{1}{p}G\bigl(\|u\|^{p}\bigr)-\lambda \int_{\Omega}H(x,u)\, dx-\frac{1}{p^{\ast}} \int_{\Omega}|u|^{p^{\ast}}\, dx, $$

where $W_{0}^{1,p}(\Omega)$ is the Sobolev space endowed with the norm $\|u\|^{p}=\int_{\Omega}|\nabla u|^{p}\, dx$. Standard arguments [24] show that a critical point of J is a weak solution of problem (1.1). We try to use a new version of the symmetric mountain-pass lemma due to Kajikiya [22]. But since the functional $J(u)$ is not bounded from below, we could not use the theory directly. So we follow [23] to consider a truncated functional of $J(u)$. Denote by $J' : E \rightarrow E^{\ast}$ the derivative operator of J in the weak sense. Then

$$\begin{aligned} \bigl\langle J'(u), v\bigr\rangle =& g \bigl(\|u\|^{p} \bigr) \int_{\Omega} \bigl(|\nabla u|^{p-2}\nabla u \cdot\nabla v \bigr)\, dx - \int_{\Omega}|u|^{p^{\ast}-2}uv \, dx \\ &{}- \lambda \int_{\Omega}h(x, u)v\, dx,\quad \forall u, v \in W_{0}^{1,p}(\Omega). \end{aligned}$$

To use variational methods, we give some results related to the Palais-Smale compactness condition. Recall that a sequence $(u_{n})$ is a Palais-Smale sequence of J at the level c, if $J(u_{n})\to c$ and $J'(u_{n})\to0$.

We recall the second concentration-compactness principle of Lions [25, 26].

Lemma 2.1

[25, 26]

Let $\{u_{n}\}$ be a weakly convergent sequence to u in $W_{0}^{1,p}(\Omega)$ such that $|u_{n}|^{p^{\ast}}\rightharpoonup\nu$ and $|\nabla u_{n}| \rightharpoonup\mu$ in the sense of measures. Then, for some at most countable index set I,

(i)

$\nu= |u|^{p^{\ast}} + \sum_{j \in I} \delta_{x_{j}}\nu_{j}$, $\nu_{j} > 0$,
(ii)

$\mu\geq |\nabla u|^{p} + \sum_{j \in I} \delta_{x_{j}}\mu_{j}$, $\mu_{j} > 0$,
(iii)

$\mu_{j} \geq S \nu_{j}^{p/p^{\ast}}$,

where S is the best Sobolev constant, i.e. $S = \inf \{ \int_{\mathbb{R}^{N}}|\nabla u|^{p}\, dx: \int_{\mathbb{R}^{N}}|u|^{p^{\ast}}\, dx = 1 \}$, $x_{j} \in\mathbb{R}^{N}$, $\delta_{x_{j}}$ are Dirac measures at $x_{j}$ and $\mu_{j}$, $\nu_{j}$ are constants.

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

$$ h(x, s)s = o \bigl(|s|^{p^{\ast}} \bigr), \qquad H(x, s) = o \bigl(|s|^{p^{\ast}} \bigr), $$

which means that, for all $\varepsilon> 0$, there exist $a(\varepsilon), b(\varepsilon) > 0$ such that

$$\begin{aligned}& \bigl\vert h(x,s)s\bigr\vert \leq a(\varepsilon) + \varepsilon|s|^{p^{\ast}}, \end{aligned}$$

(2.1)

$$\begin{aligned}& \bigl\vert H(x,s)\bigr\vert \leq b(\varepsilon) + \varepsilon|s|^{p^{\ast}}. \end{aligned}$$

(2.2)

Hence,

$$ H(x,s) - \frac{\sigma}{p}h(x, s)s \leq c(\varepsilon) + \varepsilon |s|^{p^{\ast}} $$

(2.3)

for some $c(\varepsilon) > 0$.

Lemma 2.2

Suppose that (G1)-(G2), (H1)-(H3) hold. Then, for any $\lambda> 0$, the functional J satisfies the local $(\mathit{PS})_{c}$ condition in

$$c \in \biggl(-\infty, \frac{p^{\ast}\sigma-p}{2pp^{\ast}}(\alpha_{0} S)^{N/p} - \lambda c \biggl(\frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda} \biggr)|\Omega| \biggr) $$

in the following sense: if

$$J(u_{n}) \rightarrow c < \frac{p^{\ast}\sigma-p}{2pp^{\ast}}(\alpha_{0} S)^{N/p} - \lambda c \biggl(\frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda} \biggr)|\Omega| $$

and $J'(u_{n}) \rightarrow0$ for some sequence in $W_{0}^{1,p}(\Omega)$, then $\{u_{n}\}$ contains a subsequence converging strongly in $W_{0}^{1,p}(\Omega)$.

Proof

Let $\{u_{n}\}$ be a sequence in $W_{0}^{1,p}(\Omega)$ such that

$$\begin{aligned}& J(u_{n}) = \frac{1}{p}G\bigl(\|u_{n} \|^{p}\bigr)-\lambda \int_{\Omega}H(x,u_{n})\, dx-\frac{1}{p^{\ast}} \int_{\Omega}|u_{n}|^{p^{\ast}}\, dx = c + o(1), \end{aligned}$$

(2.4)

$$\begin{aligned}& \bigl\langle J'(u_{n}), v\bigr\rangle = g \bigl(\|u_{n}\|^{p} \bigr) \int_{\Omega} \bigl(|\nabla u_{n}|^{p-2}\nabla u_{n} \cdot\nabla v \bigr)\, dx - \int_{\Omega}|u_{n}|^{p^{\ast}-2}u_{n}v \, dx \\& \hphantom{\bigl\langle J'(u_{n}), v\bigr\rangle ={}}{} - \lambda \int_{\Omega}h(x, u_{n})v\, dx = o(1)\|u_{n}\|. \end{aligned}$$

(2.5)

By (2.4) and (2.5), we have

$$\begin{aligned} c+ o(1)\|u_{n}\| =& J(u_{n}) - \frac{\sigma}{p}\bigl\langle J'(u_{n}), u_{n}\bigr\rangle \\ =&\frac{1}{p}G\bigl(\|u_{n}\|^{p}\bigr)- \frac{\sigma}{p}g \bigl(\|u_{n}\|^{p} \bigr) \|u_{n}\|^{p} + \biggl(\frac{\sigma }{p}-\frac{1}{p^{\ast}} \biggr) \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx \\ &{}- \lambda \int_{\Omega}H(x, u_{n})\,dx + \frac{\sigma}{p}\lambda \int _{\Omega}h(x, u_{n})u_{n} \,dx \\ \geq&\frac{p^{\ast}\sigma-p}{pp^{\ast}} \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx- \lambda \int_{\Omega}H(x, u_{n})\,dx \\ &{}+ \frac{\sigma}{p}\lambda \int_{\Omega}h(x, u_{n})u_{n} \,dx, \end{aligned}$$

i.e.

$$\begin{aligned} \frac{p^{\ast}\sigma-p}{pp^{\ast}} \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx \leq \lambda \int_{\Omega} \biggl(H(x, u_{n}) - \frac{\sigma}{p}h(x, u_{n})u_{n} \biggr)\,dx + c+ o(1)\|u_{n}\|. \end{aligned}$$

Then by (2.3), we have

$$ \biggl(\frac{p^{\ast}\sigma-p}{pp^{\ast}}- \lambda\varepsilon \biggr) \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx \leq\lambda c( \varepsilon)|\Omega| + c + o(1)\|u_{n}\|. $$

Setting $\varepsilon= \frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda}$, we get

$$ \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx \leq M + o(1) \|v_{n}\|, $$

(2.6)

where $o(1) \rightarrow0$ and M is a some positive number. On the other hand, by (2.2) and (2.6), we have

$$\begin{aligned} c + o(1)\|u_{n}\| =& J(u_{n}) \\ =& \frac{1}{p}G\bigl(\|u_{n}\|^{p}\bigr)-\lambda \int _{\Omega}H(x,u_{n})\,dx-\frac{1}{p^{\ast}} \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx \\ \geq& \frac{\alpha_{0}\sigma}{p}\|u_{n}\|^{p} -\lambda b( \varepsilon)|\Omega| - \biggl[\frac{1}{p^{\ast}} + \lambda\varepsilon \biggr] \int_{\Omega}|u_{n}|^{p^{\ast}}\,dx. \end{aligned}$$

(2.7)

Therefore, the inequalities (2.6) and (2.7) imply that $\{u_{n}\}$ is bounded in $W_{0}^{1,p}(\Omega)$. Hence, up to a subsequence, we may assume that

$$\begin{aligned}& u_{n}\rightharpoonup u \quad \text{weakly in } W_{0}^{1,p}(\Omega), \\& u_{n}\to u\quad \text{a.e. in }\Omega, \\& u_{n}\to u \quad \text{in }L^{s}(\Omega), 1\leq s< p^{\ast}, \\& |\nabla u_{n}|^{p}\rightharpoonup\mu \quad \bigl( \text{weak}^{*}\mbox{-sense of measures}\bigr), \\& |u_{n}|^{p^{\ast}}\rightharpoonup\nu \quad \bigl(\text{weak}^{*} \mbox{-sense of measures}\bigr), \end{aligned}$$

(2.8)

where μ and ν are a nonnegative bounded measures on Ω̅. Then, by the concentration-compactness principle due to Lions [25, 26], there exists some at most countable index set I such that

$$\begin{aligned}& \nu=|u|^{p^{\star}}+\sum_{j\in I}\nu_{j} \delta_{x_{j}} , \quad \nu_{j}>0, \\& \mu\geq|\nabla u|^{p}+\sum_{j\in I} \mu_{j}\delta_{x_{j}} ,\quad \mu_{j}>0, \\& S\nu_{j}^{p/p^{\star}}\leq\mu_{j}, \end{aligned}$$

where $\delta_{x_{j}}$ is the Dirac measure mass at $x_{j}\in\overline{\Omega}$. Let $\psi(x)\in C_{0}^{\infty}$ such that $0\leq\psi\leq1$,

$$ \psi(x)= \textstyle\begin{cases} 1&\text{if }|x|< 1, \\ 0&\text{if }|x|\geq2, \end{cases} $$

(2.9)

and $|\nabla\psi|_{\infty}\leq2$.

For $\varepsilon>0$ and $j\in I$, denote $\psi_{\varepsilon}^{j}(x)=\psi((x-x_{j})/\varepsilon)$. Since $J'(u_{n})\to 0$ and $(\psi_{\varepsilon}^{j}u_{n})$ is bounded, $\langle J'(u_{n}),\psi_{\varepsilon}^{j}u_{n}\rangle\to0$ as $n\to\infty$; that is,

$$\begin{aligned}& g\bigl(\|u_{n}\|^{p}\bigr) \int_{\Omega}|\nabla u_{n}|^{p} \psi_{\varepsilon}^{j}\,dx \\& \quad =-g\bigl(\|u_{n}\|^{p}\bigr) \int_{\Omega}u_{n}|\nabla u_{n}|^{p-2} \nabla u_{n}\nabla\psi_{\varepsilon}^{j}\,dx \\& \qquad {}+\lambda \int_{\Omega}h(x,u_{n})u_{n} \psi_{\varepsilon}^{j}\,dx + \int_{\Omega}|u_{n}|^{p^{\ast}}\psi_{\varepsilon}^{j} \,dx+o_{n}(1). \end{aligned}$$

(2.10)

By (2.8) and Vitali’s theorem, we see that

$$ \lim_{n\to\infty} \int_{\Omega}\bigl\vert u_{n}\nabla \psi_{\varepsilon}^{j}\bigr\vert ^{p} \,dx = \int_{\Omega}\bigl\vert u\nabla\psi_{\varepsilon}^{j} \bigr\vert ^{p} \,dx. $$

Hence, by Hölder’s inequality we obtain

$$\begin{aligned}& \limsup_{n\to\infty} \biggl\vert \int_{\Omega}u_{n}|\nabla u_{n}|^{p-2} \nabla u_{n}\nabla\psi_{\varepsilon}^{j}\,dx\biggr\vert \\& \quad \leq\limsup_{n\to\infty} \biggl( \int_{\Omega}|\nabla u_{n}|^{p}\,dx \biggr)^{(p-1)/p} \biggl( \int_{\Omega}\bigl\vert u_{n}\nabla \psi_{\varepsilon}^{j}\bigr\vert ^{p} \,dx \biggr)^{1/p} \\& \quad \leq C_{1} \biggl( \int_{B(x_{j},2\varepsilon)}|u|^{p}\bigl\vert \nabla \psi_{\varepsilon}^{j}\bigr\vert ^{p} \,dx \biggr)^{1/p} \\& \quad \leq C_{1} \biggl( \int_{B(x_{j},2\varepsilon)}\bigl\vert \nabla \psi_{\varepsilon}^{j} \bigr\vert ^{N}\,dx \biggr)^{1/N} \biggl( \int_{B(x_{j},2\varepsilon)}|u|^{p^{\ast}} \,dx \biggr)^{1/p^{\ast}} \\& \quad \leq C_{2} \biggl( \int_{B(x_{j},2\varepsilon)}|u|^{p^{\ast}} \,dx \biggr)^{1/p^{\ast}} \to0 \quad \text{as } \varepsilon\to0 . \end{aligned}$$

(2.11)

Since $\psi_{\varepsilon}^{j}$ has compact support, letting $n\to\infty$ in (2.10) we deduce from (2.10) and (2.11) that

$$\alpha_{0} \int_{\Omega}\psi_{\varepsilon}^{j}\, d\mu\leq C_{2} \biggl( \int_{B(x_{j},2\varepsilon)}|u|^{p^{\ast}} \,dx \biggr)^{1/ p^{\star}} + \lambda \int_{B(x_{j},2\varepsilon)} f(x,u)u\,dx+ \int_{\Omega}\psi_{\varepsilon}^{j}\, d\nu. $$

Letting $\varepsilon\to0$, we obtain $\alpha_{0}\mu_{j}\leq\nu_{j}$. Therefore,

$$ (\alpha_{0} S)^{N/p}\leq\nu_{j}. $$

(2.12)

We will prove that this inequality is not possible. Let us assume that $(\alpha_{0} S)^{N/p}\leq\nu_{j_{0}}$ for some $j_{0}\in I$. From (G2) we see that

$$ G\bigl(\|u_{n}\|^{p}\bigr)-\sigma g\bigl(\|u_{n} \|^{p}\bigr)\|u_{n}\|^{p}\geq0 \quad \text{for all }n. $$

Since

$$ c = J(u_{n})-\frac{\sigma}{p} \bigl\langle J'(u_{n}),u_{n} \bigr\rangle +o_{n}(1), $$

it follows that

$$\begin{aligned} c =& \lim_{n \rightarrow\infty} \biggl(J(u_{n}) - \frac{\sigma}{p}\bigl\langle J'(u_{n}), u_{n} \bigr\rangle \biggr) \\ \geq& \biggl(\frac{\sigma}{p}-\frac{1}{p^{\ast}} \biggr) \int_{\Omega }|u_{n}|^{p^{\ast}}\,dx - \lambda \int_{\Omega} \biggl[H(x, u_{n})-\frac{\sigma }{p}h(x,u_{n})u_{n} \biggr]\,dx \\ \geq& \biggl(\frac{p^{\ast}\sigma-p}{pp^{\ast}}-\lambda\varepsilon \biggr) \int_{\Omega}\psi_{\varepsilon}^{j_{0}}|u_{n}|^{p^{\ast}} \,dx- \lambda c(\varepsilon)|\Omega|. \end{aligned}$$

Letting $\varepsilon= \frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda}$ and $n\to\infty$, we obtain

$$\begin{aligned} \begin{aligned} c &\geq \frac{p^{\ast}\sigma-p}{2pp^{\ast}}\sum_{j\in J} \psi_{\varepsilon}^{j_{0}}(x_{j})\nu_{j} - \lambda c \biggl(\frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda} \biggr)|\Omega| \\ &\geq \frac{p^{\ast}\sigma-p}{2pp^{\ast}}(\alpha_{0} S)^{N/p} - \lambda c \biggl(\frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda} \biggr)|\Omega|. \end{aligned} \end{aligned}$$

This is impossible. Then $I = \emptyset$, and hence $u_{n}\to u$ in $L^{p^{\ast}}(\Omega)$.

Then, using (2.8) and the fact that $u_{n}\to u$ in $L^{p^{\ast}}(\Omega)$, we have

$$ \lim_{n\to\infty} \int_{\Omega}h(x,u_{n}) (u_{n}-u)\,dx=0 $$

(2.13)

and

$$ \lim_{n\to\infty} \int_{\Omega}|u_{n}|^{p^{\ast}-2}u_{n}(u_{n}-u) \,dx=0. $$

(2.14)

From $\langle J'(u_{n}),u_{n}-u\rangle=o_{n}(1)$, we deduce that

$$\begin{aligned} \bigl\langle J'(u_{n}),u_{n}-u\bigr\rangle =& g\bigl(\|u_{n}\|^{p}\bigr) \int_{\Omega}|\nabla u_{n}|^{p-2}\nabla u_{n}\nabla(u_{n}-u)\,dx \\ &{}-\lambda \int_{\Omega}h(x,u_{n}) (u_{n}-u)\,dx- \int_{\Omega}|u_{n}|^{p^{\ast}-2}u_{n}(u_{n}-u) \,dx =o_{n}(1). \end{aligned}$$

This, (2.13), and (2.14) imply

$$\lim_{n\to\infty} g\bigl(\|u_{n}\|^{p}\bigr) \int_{\Omega}|\nabla u_{n}|^{p-2}\nabla u_{n}\nabla(u_{n}-u)\,dx=0. $$

Since $u_{n}$ is bounded and g is continuous, up to subsequence, there is $t_{0}\geq0$ such that

$$g\bigl(\|u_{n}\|^{p}\bigr)\to g\bigl(t_{0}^{p} \bigr)\geq\alpha_{0}\quad \text{as } n\to\infty, $$

and so

$$\lim_{n\to\infty} \int_{\Omega}|\nabla u_{n}|^{p-2}\nabla u_{n}\nabla(u_{n}-u)\,dx=0. $$

Thus by the $(S_{+})$ property, $u_{n}\to u$ strongly in $W_{0}^{1,p}(\Omega)$. The proof is complete. □

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

$$\Sigma := \bigl\{ A \subset X \setminus\{0\}: A \mbox{ is closed in } X \mbox{ and symmetric with respect to the origin} \bigr\} . $$

For $A \in\Sigma$, we define genus $\gamma(A)$ as

$$\gamma(A) := \inf\bigl\{ m \in N: \exists \varphi\in C\bigl(A, \mathbb {R}^{m}\setminus\{0\}, -\varphi(x) = \varphi(-x)\bigr)\bigr\} . $$

If there is no mapping φ as above for any $m \in N$, then $\gamma(A) = +\infty$. Let $\Sigma_{k}$ denote the family of closed symmetric subsets A of X such that $0 \notin A$ and $\gamma(A) \geq k$. We list some properties of the genus (see [22, 27]).

Proposition 3.1

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

(1)

If there exists an odd continuous mapping from A to B, then $\gamma(A) \leq \gamma(B)$.
(2)

If there is an odd homeomorphism from A to B, then $\gamma(A) = \gamma(B)$.
(3)

If $\gamma(B) < \infty$, then $\gamma\overline {(A\setminus B)} \geq\gamma(A) - \gamma(B)$.
(4)

Then n-dimensional sphere $S^{n}$ has a genus of $n+1$ by the Borsuk-Ulam theorem.
(5)

If A is compact, then $\gamma(A) < +\infty$ and there exists $\delta> 0$ such that $U_{\delta}(A) \in\Sigma$ and $\gamma(U_{\delta}(A)) = \gamma(A)$, where $U_{\delta}(A) = \{x\in X: \|x - A\| \leq\delta\}$.

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

Lemma 3.1

Let E be an infinite-dimensional space and $J \in C^{1}(E, R)$ and suppose the following conditions hold.

(C₁):: $J(u)$ is even, bounded from below, $J(0) = 0$ and $J(u)$ satisfies the local Palais-Smale condition, i.e. for some $\bar{c} > 0$, in the case when every sequence $\{u_{k}\}$ in E satisfying $\lim_{k\rightarrow\infty}J(u_{k}) = c < \bar{c}$ and $\lim_{k\rightarrow\infty}\|J'(u_{k})\|_{E^{\ast}} = 0$ has a convergent subsequence.

(C₂):: For each $k \in N$, there exists an $A_{k} \in \Sigma_{k}$ such that $\sup_{u\in A_{k}}J(u) < 0$.

Then either (R₁) or (R₂) below holds.

(R₁):: There exists a sequence $\{u_{k}\}$ such that $J'(u_{k}) = 0$, $J'(u_{k}) < 0$, and $\{u_{k}\}$ converges to zero.

(R₂):: There exist two sequences $\{u_{k}\}$ and $\{v_{k}\} $ such that $J'(u_{k}) = 0$, $J(u_{k}) < 0$, $u_{k} \neq0$, $\lim_{k \rightarrow \infty}u_{k} = 0$, $J'(v_{k}) = 0$, $J(v_{k}) < 0$, $\lim_{k \rightarrow \infty}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}) \leq0$, $u_{k} \neq0$ and $\lim_{k\rightarrow\infty} u_{k} = 0$.

In order to get infinitely many solutions we need some lemmas. Let $\varepsilon= \frac{1}{p^{\ast}\lambda}$, from (2.4) we have

$$\begin{aligned} J(u) :=&\frac{1}{p}G\bigl(\|u\|^{p}\bigr)-\lambda \int_{\Omega}H(x,u)\,dx-\frac{1}{p^{\ast}} \int_{\Omega}|u|^{p^{\ast}}\,dx \\ \geq& \frac{\alpha_{0}\sigma}{p} \int_{\Omega}|\nabla u|^{p} \,dx - \biggl( \frac{1}{p^{\ast}}+\varepsilon\lambda \biggr) \int_{\Omega}|u|^{p^{\ast}}\,dx - \lambda b(\varepsilon)| \Omega| \\ =& \frac{\alpha_{0}\sigma}{p} \int_{\Omega}|\nabla u|^{p} \,dx - \frac{2}{p^{\ast}} \int_{\Omega}|u|^{p^{\ast}}\,dx - \lambda b \biggl( \frac{1}{p^{\ast}\lambda} \biggr)|\Omega| \\ \geq& L_{1} \|u\|^{p} - L_{2}\|u \|^{p^{\ast}} - L_{3}\lambda, \end{aligned}$$

where $L_{1}$, $L_{2}$, $L_{3}$ are some positive constants.

Let $Q(t) = L_{1}t^{p} - L_{2}t^{p^{\ast}} - L_{3}\lambda$. Then

$$ J(u) \geq Q\bigl(\Vert u\Vert \bigr). $$

Furthermore, there exists $\lambda_{\ast}:= \frac{pL_{1}}{NL_{3}} (\frac{pL_{1}}{p^{\ast}L_{2}} )^{(N-p)/p}$ such that for $\lambda\in(0, \lambda_{\ast})$, $Q(t)$ attains its positive maximum, that is, there exists

$$ R_{1} = \biggl( \frac{pL_{1}}{p^{\ast}L_{2}} \biggr)^{(N-p)/p^{2}} $$

such that

$$ e_{1} = Q(R_{1}) = \max_{t\geq0} Q(t) > 0. $$

Therefore, for $e_{0} \in(0, e_{1})$, we may find $R_{0} < R_{1}$ such that $Q(R_{0}) = e_{0}$. Now we define

$$ \chi(t) = \textstyle\begin{cases} 1, & 0 \leq t \leq R_{0}, \\ \frac{L_{1}t^{p} - \lambda L_{3} - e_{1}}{L_{2} t^{p^{\ast}}}, & t \geq R_{1}, \\ C^{\infty}, \quad \chi(t) \in[0, 1], & R_{0} \leq t \leq R_{1}. \end{cases} $$

Then it is easy to see $\chi(t) \in[0, 1]$ and $\chi(t)$ is $C^{\infty}$. Let $\varphi(u) = \chi(\|u\|)$ and consider the perturbation of $J(u)$:

$$ G(u) := \frac{1}{p}G\bigl(\|u\|^{p}\bigr) - \frac{1}{p^{\ast}}\varphi(u) \int_{\Omega}|u|^{p^{\ast}}\,dx - \lambda\varphi(u) \int_{\Omega}H(x, u)\,dx. $$

(3.1)

Then

$$ G(u) \geq L_{1} \|u\|^{p} - L_{2}\varphi(v)\|u \|^{p^{\ast}} - L_{3}\lambda = \overline{Q}\bigl(\Vert u\Vert \bigr), $$

where $\overline{Q}(t) = L_{1}t^{p} - L_{2}\chi(t)t^{p^{\ast}} - L_{3}\lambda$ and

$$ \overline{Q}(t) = \textstyle\begin{cases} Q(t), & 0 \leq t \leq R_{0}, \\ e_{1}, & t \geq R_{1}. \end{cases} $$

From the above arguments, we have the following.

Lemma 3.2

Let $G(u)$ is defined as in (3.1). Then:

(i)

$G \in C^{1}(W_{0}^{1,p}(\Omega), \mathbb{R})$ and G is even and bounded from below.
(ii)

If $G(u) < e_{0}$, then $\overline{Q}(\|u\|) < e_{0}$, consequently, $\|u\| < R_{0}$ and $J(u) = G(u)$.
(iii)

There exists $\lambda^{\ast}$ such that, for $\lambda\in(0, \lambda^{\ast})$, G satisfies a local $(\mathit{PS})_{c}$ condition for
$$c < e_{0} \in \biggl(0, \min \biggl\{ e_{1}, \frac{p^{\ast}\sigma-p}{2pp^{\ast}}(\alpha_{0} S)^{N/p} - \lambda c \biggl( \frac{p^{\ast}\sigma-p}{2pp^{\ast}\lambda} \biggr)|\Omega| \biggr\} \biggr). $$

Lemma 3.3

Suppose that (G1)-(G2), (H3) hold. Then, for any $k \in \mathbb{N}$, there exists $\delta= \delta(k) > 0$ such that $\gamma(\{u \in W_{0}^{1,p}(\Omega): G(u) \leq-\delta(k)\}\setminus \{0\}) \geq k$.

Proof

First of all, by (H3) of Theorem 1.1, for any fixed $u \in W_{0}^{1,p}(\Omega)$, $u \neq0$, we have

$$ H(x, \rho u) \geq M(\rho) (\rho u)^{\frac{p}{\sigma}} \quad \mbox{with } M(\rho) \rightarrow\infty \mbox{ as } \rho \rightarrow0. $$

On the other hand, by integrating (G2), we obtain

$$ G(t)\leq\frac{G(t_{0})}{t_{0}^{1/\sigma}}t^{1/\sigma} =C_{0}t^{1/\sigma} \quad \text{for all }t\geq t_{0}>0. $$

(3.2)

Second, given any $k \in N$, let $E_{k}$ be a k-dimensional subspace of $W_{0}^{1,p}(\Omega)$. There then exists a positive constant δ such that

$$ \|u\| \leq\delta|u|_{p/\sigma} \quad \mbox{for all } u \in E_{k}. $$

Therefore, for any $u \in E_{k}$ with $\|u\| = 1$ and ρ small enough, by (3.2) and (H3) we have

$$\begin{aligned} G(\rho u) =& \frac{1}{p}G\bigl(\|u\|^{p}\bigr) - \frac{1}{p^{\ast}}\varphi(u) \int_{\Omega}|u|^{p^{\ast}}\,dx - \lambda\varphi(u) \int_{\Omega}H(x, u)\,dx \\ \leq& \frac{C_{0}}{p}\rho^{\frac{p}{\sigma}} - \frac{\lambda M(\rho)}{\delta^{p/\sigma}} \rho^{\frac{p}{\sigma}} \\ \leq& \biggl(\frac{C_{0}}{p} - \frac{\lambda M(\rho)}{\delta^{p/\sigma}} \biggr)\rho^{\frac{p}{\sigma}} \\ =& -\delta(k) < 0, \end{aligned}$$

since $\lim_{|\rho|\rightarrow0}M(\rho) = +\infty$. That is,

$$\bigl\{ u \in E_{k}: \Vert u\Vert = \rho\bigr\} \subset\bigl\{ u \in W_{0}^{1,p}(\Omega): G(u) \leq-\delta(k)\bigr\} \setminus \{0\}. $$

This completes the proof. □

Now we give the proof of Theorem 1.1 as follows.

Proof of Theorem 1.1

Recall that

$$\Sigma_{k} = \bigl\{ A \in W_{0}^{1,p}(\Omega) \setminus\{0\}: A \mbox{ is closed and } A = -A, \gamma(A) \geq k\bigr\} $$

and define

$$ c_{k} = \inf_{A\in\Sigma_{k}}\sup_{u\in A} G(u). $$

By Lemma 3.2(i) and Lemma 3.3, we know that $-\infty< c_{k} < 0$. Therefore, assumptions (C₁) and (C₂) of Lemma 3.1 are satisfied. This means that G has a sequence of solutions $\{u_{n}\}$ converging to zero. Hence, Theorem 1.1 follows by Lemma 3.2(ii). □

4 A special case of problem (1.1)

We consider the following special case of problem (1.1):

$$ \begin{aligned} &- \biggl(\alpha+\beta \int_{\Omega}|\nabla u|^{p}\,dx \biggr) \Delta_{p} u =\lambda f(x,u)+|u|^{p^{\ast}-2}u \quad \text{in }\Omega, \\ &u=0 \quad \text{on }\partial\Omega, \end{aligned} $$

(4.1)

where Ω is a bounded smooth domain of $\mathbb{R}^{N}$, $1< p< N<2p$, α and β are positive constants.

Set $g(t)=\alpha+\beta t$. Then $g(t)\geq\alpha$ and

$$G(t)= \int_{0}^{1}g(s)\, ds=\alpha t+\frac{1}{2} \beta t^{2}\geq\frac{1}{2}(\alpha+\beta t)t=\sigma g(t)t, $$

where $\sigma=1/2$. Hence the conditions (G1) and (G2) are satisfied.

For this case, a typical example of a function satisfying the conditions (F1)-(F3) is given by

$$f(x,t)=\sum_{i=1}^{k}a_{i}(x)|t|^{q_{i}-2}t, $$

where $k\geq1$, $1 < q_{i} < \frac{p}{\sigma}$, and $a_{i}(x)\in C(\overline{\Omega})$. In view of Theorem 1.1, we have the following corollary.

Corollary 4.1

Suppose that (F1)-(F3) hold. There then exists $\lambda^{\ast}> 0$ such that for any $\lambda\in(0, \lambda^{\ast})$, problem (4.1) has a sequence of non-trivial solutions $\{u_{n}\}$ and $u_{n} \rightarrow0$ as $n\rightarrow\infty$.

Declarations

Acknowledgements

The authors are supported by NSFC (Grant No. 11301038).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

College of Mathematics, Changchun Normal University, Changchun, P.R. China

(2)

Scientific Research Department, Changchun Normal University, Changchun, P.R. China

References

Brezis, H, Nirenberg, L: Positive solutions of nonlinear elliptic equations involving critical exponents. Commun. Pure Appl. Math. 34, 437-477 (1983) View ArticleMathSciNetGoogle Scholar
Li, S, Zou, W: Remarks on a class of elliptic problems with critical exponents. Nonlinear Anal. 32, 769-774 (1998) View ArticleMathSciNetMATHGoogle Scholar
Chen, J, Li, S: On multiple solutions of a singular quasi-linear equation on unbounded domain. J. Math. Anal. Appl. 275, 733-746 (2002) View ArticleMathSciNetMATHGoogle Scholar
Chabrowski, J: On multiple solutions for the nonhomogeneous p-Laplacian with a critical Sobolev exponent. Differ. Integral Equ. 8, 705-716 (1995) MathSciNetMATHGoogle Scholar
Ferrero, A, Gazzola, F: Existence of solutions for singular critical growth semilinear elliptic equations. J. Differ. Equ. 177, 494-522 (2001) View ArticleMathSciNetMATHGoogle Scholar
Garcia Azorero, J, Peral, I: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 144, 441-476 (1998) View ArticleMathSciNetMATHGoogle Scholar
Ghoussoub, N, Yuan, C: Multiple solutions for quasi-linear PDEs involving the critical Sobolev and Hardy exponents. Trans. Am. Math. Soc. 352, 5703-5743 (2000) View ArticleMathSciNetMATHGoogle Scholar
He, XM, Zou, WM: Infinitely many arbitrarily small solutions for singular elliptic problems with critical Sobolev-Hardy exponents. Proc. Edinb. Math. Soc. 52, 97-108 (2009) View ArticleMathSciNetMATHGoogle Scholar
Silva, EA, Xavier, MS: Multiplicity of solutions for quasilinear elliptic problems involving critical Sobolev exponents. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 20, 341-358 (2003) View ArticleMathSciNetMATHGoogle Scholar
Kirchhoff, G: Mechanik. Teubner, Leipzig (1883) Google Scholar
Lions, JL: On some equations in boundary value problems of mathematical physics. In: Contemporary Developments in Continuum Mechanics and Partial Differential Equations. Proc. Internat. Sympos., Inst. Mat. Univ. Fed. Rio de Janeiro, Rio de Janeiro, 1977. North-Holland Math. Stud., vol. 30, pp. 284-346. North-Holland, Amsterdam (1978) Google Scholar
Corrêa, FJSA, Nascimento, RG: On a nonlocal elliptic system of p-Kirchhoff-type under Neumann boundary condition. Math. Comput. Model. 49, 598-604 (2009) View ArticleMATHGoogle Scholar
Corrêa, FJSA, Figueiredo, GM: On a elliptic equation of p-Kirchhoff type via variational methods. Bull. Aust. Math. Soc. 74, 263-277 (2006) View ArticleMATHGoogle Scholar
Hamydy, A, Massar, M, Tsouli, N: Existence of solutions for p-Kirchhoff type problems with critical exponent. Electron. J. Differ. Equ. 2011, 105 (2011) MathSciNetGoogle Scholar
He, X, Zou, W: Infinitely many positive solutions for Kirchhoff-type problems. Nonlinear Anal. 70, 1407-1414 (2009) View ArticleMathSciNetMATHGoogle Scholar
Ma, TF, Munoz Rivera, JE: Positive solutions for a nonlinear nonlocal elliptic transmission problem. Appl. Math. Lett. 16, 243-248 (2003) View ArticleMathSciNetMATHGoogle Scholar
Perera, K, Zhang, Z: Nontrivial solutions of Kirchhoff-type problems via the Yang index. J. Differ. Equ. 221, 246-255 (2006) View ArticleMathSciNetMATHGoogle Scholar
He, X, Zou, W: Multiplicity of solutions for a class of Kirchhoff type problems. Acta Math. Appl. Sin. 26, 387-394 (2010) View ArticleMathSciNetMATHGoogle Scholar
Wu, X: Existence of nontrivial solutions and high energy solutions for Schrödinger-Kirchhoff-type equations in $\mathbb{R}^{N}$. Nonlinear Anal., Real World Appl. 12, 1278-1287 (2011) View ArticleMathSciNetMATHGoogle Scholar
Dai, GW, Hao, RF: Existence of solutions for a $p(x)$-Kirchhoff-type equation. J. Math. Anal. Appl. 359, 275-284 (2009) View ArticleMathSciNetMATHGoogle Scholar
Liu, DC: On a p-Kirchhoff equation via fountain theorem and dual fountain theorem. Nonlinear Anal. 72, 302-308 (2010) View ArticleMathSciNetMATHGoogle Scholar
Kajikiya, R: A critical-point theorem related to the symmetric mountain-pass lemma and its applications to elliptic equations. J. Funct. Anal. 225, 352-370 (2005) View ArticleMathSciNetMATHGoogle Scholar
Garcia Azorero, J, Peral, I: Multiplicity of solutions for elliptic problems with critical exponent or with a nonsymmetric term. Trans. Am. Math. Soc. 323, 877-895 (1991) View ArticleMathSciNetMATHGoogle Scholar
Willem, M: Minimax Theorems. Birkhäuser Boston, Boston (1996) View ArticleMATHGoogle Scholar
Lions, PL: The concentration compactness principle in the calculus of variations. The locally compact case, part I. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 109-145 (1984) MATHGoogle Scholar
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 1, 223-283 (1984) MATHGoogle Scholar
Rabinowitz, PH: Minimax Methods in Critical-Point Theory with Applications to Differential Equations. CBME Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence (1986) View ArticleGoogle Scholar

Boundary Value Problems

Multiplicity of solutions for elliptic problems of p-Kirchhoff type with critical exponent

Abstract

Keywords

MSC

1 Introduction

Theorem 1.1

2 Preliminary lemmas

Lemma 2.1

Lemma 2.2

Proof

3 Existence of a sequence of arbitrarily small solutions

Proposition 3.1

Lemma 3.1

Remark 3.1

Lemma 3.2

Lemma 3.3

Proof

Proof of Theorem 1.1

4 A special case of problem (1.1)

Corollary 4.1

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright