Existence of infinitely many solutions for a p-Kirchhoff problem in RN

We consider the existence of multiple solutions of the following singular nonlocal elliptic problem: {−M(∫RN|x|−ap|∇u|p)div(|x|−ap|∇u|p−2∇u)=h(x)|u|r−2u+H(x)|u|q−2u,u(x)→0as |x|→∞,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\begin{aligned} \textstyle\begin{cases} -M(\int _{\mathbb{R} ^{N}}{ \vert x \vert ^{-ap} \vert \nabla u \vert ^{p}})\operatorname{div}( \vert x \vert ^{-ap} \vert \nabla u \vert ^{p-2}\nabla u)= h(x) \vert u \vert ^{r-2}u+H(x) \vert u \vert ^{q-2}u, \\ u(x)\rightarrow 0 \quad \text{as } \vert x \vert \rightarrow \infty , \end{cases}\displaystyle \end{aligned}$$ \end{document} where x∈RN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$x\in \mathbb{R} ^{N}$\end{document}, and M(t)=α+βt\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$M(t)=\alpha +\beta t$\end{document}. By the variational method we prove that the problem has infinitely many solutions when some conditions are fulfilled.


Introduction and main results
In this paper, we consider the existence of multiple solutions for the following singular elliptic problem: ⎧ ⎪ ⎪ ⎨ ⎪ ⎪ ⎩ -M( R N |x| -ap |∇u| p ) div(|x| -ap |∇u| p-2 ∇u) = h(x)|u| r-2 u + H(x)|u| q-2 u, x ∈ R N , u(x) → 0 as |x| → ∞, (1.1) where M(t) = α +βt with parameters α, β > 0, a < N-p p , h(x) and H(x) are nonnegative functions in R N , and further assumptions will be listed later. It is well known that problem like (1.1) originally comes from Kirchhoff 's important work [1], and Kirchhoff-type equations received much attention only after the paper by Lions [2]; see [3][4][5][6][7][8] and the references therein. Zhang and Perera [6] considered the following problem: u(x) = 0 on ∂Ω, (1.2) where Ω is a bounded domain of R N . By the variational method the authors proved that problem (1.2) has a positive solution, a negative solution, and a sign-changing solution.
We note that the function f (x, t) in (1.2) is required to meet the condition uf (x, u) ≥ vF (x, u), v > 4, ∀x ∈ R N , ∀u ∈ R. (1.3) Condition like (1.3) also appears in [9]. In our paper, f (x, u) = h(x)|u| r-2 u + H(x)|u| q-2 u. If r < p < q or min{r, q} < p, then f (x, u) does not satisfy (1.3) even for p = 2. Therefore the methods applied in [6] cannot be simply extended to p-Kirchhoff problem (1.1). In [10] the authors considered the following Kirchhoff-type equation in R 3 : (1.4) By applying the symmetric mountain pass theorem, the authors proved the existence of infinitely many high-energy solutions for (1.4). The authors in [11] studied the following superlinear Kirchhoff equation: Under some new superlinear hypotheses on f (x, u), the authors proved the existence and nonexistence of solutions for (1.5). The results show that the existence of solutions is closely related to the parameters λ and a. Particularly, the authors proved that one solution blows up as the nonlocal term vanishes. In recent years, Kirchhoff-type equations with p-Laplacian operator have been an interesting topic; see [12][13][14][15][16]. When a = 0, in [16] the authors studied the following critical Kirchhoff problem with p-Laplacian on a bounded domain: (1.6) By the genus theorem the authors proved the existence of multiple solutions of (1.6). The function f (x, u) in (1.6) satisfies the following condition: (f 1 ) there exist constants Q 1 and Q 2 such that for all t ≥ 0 and x ∈ Ω, where q ∈ (p, p * = Np/ (Np)). In the present paper, however, it is not difficult to check that when max{r, q} < p, the function f (x, u) in (1.1) does not satisfy condition (1.7). Thus problem (1.6) does not include our problem (1.1). Chen and Chen [17] considered a class of more general Kirchhof-type equations Under appropriate assumptions, the authors proved that there exists λ 0 > 0 such that (1.8) has infinitely many high-energy solutions for λ ∈ [0, λ 0 ). Particularly, when β = 0 and α = 1, problems like (1.1) reduce to elliptic equation without nonlocal term. This class of problems have been investigated by many authors; we refer to [18][19][20][21] and the references therein. Motivated by the references mentioned, we consider the existence of multiple solutions of singular problem (1.1) by variational methods and the genus theorem. To our best knowledge, there are few results on singular problem (1.1). We prove that problem (1.1) has infinitely many solutions when some certain conditions are fulfilled. Note that our problem (1.1) is considered in the whole space R N ; the loss of compactness of the Sobolev embedding renders the variational technique more delicate.
The natural space in this paper is the weighted Sobolev space The following weighted Sobolev-Hardy inequality is due to Caffarelli et al. [22], which is called the Caffarelli-Kohn-Nirenberg inequality: There exist constants S 1 , S 2 > 0 such that In this paper, we make the following assumptions: Assumptions (A 1 )-(A 4 ) mean that all the integrals in (1.11) are well defined and converge.
Our main result is the following: Theorem 1 Assume that one of the following cases holds: and (A 4 ). Then problem (1.1) has infinitely many solutions. Particularly, if (A 2 ) and (A 3 ) hold and α > 0 is small enough, then problem (1.1) also has infinitely many solutions.
This paper is organized as follows. In Sect. 2, we give some basic definitions and set up the variational framework. Particularly, we prove some compact embedding theorems. In Sect. 3, by the variational methods and the genus theorem we consider the multiplicity results and prove Theorem 1.

Preliminary results
It is clear that problem (1.1) has a variational structure. Let J(u) : X → R 1 be the corresponding Euler functional of problem (1.1) defined by Then J(u) ∈ C 1 (X, R 1 ), and for any ϕ ∈ X, we have Particularly, we have It is well known that the weak solution of problem (1.1) is the critical point of J(u). Thus, to prove the existence of infinitely many weak solutions for problem (1.1), it is sufficient to show that J(u) admits a sequence of critical points. Our proof is based on the variational method, and one important aspect of applying this method is showing that the functional J(u) satisfies the condition (PS) c , which is introduced in the following definition. contains a convergent subsequence in X.
The following embedding theorem is an extension of the classical Rellich-Kondrachov compactness theorem, see [23].
is an open bounded domain with C 1 boundary and 0 ∈ Ω, and let 1 < p < N and a < (Np)/p. Then the embedding W We further give some embedding theorems, which play an important role in the paper.

Lemma 2.2 Assume (A 3 ) or (A 4 ). Then the embedding X → L q (R N , H) is compact.
Proof We divide the proof into two cases.
Thus μ 1 , μ 2 > 1 and 1 μ 1 + 1 μ 2 = 1. From (1.9) and the Hölder inequality it follows that where q 1 and f 1 are defined in (A 3 ). Then (2.5) yields that the embedding is continuous. Next, we will prove that the embedding is compact. Let B R be the ball with center at the origin and radius R > 0. Denote We choose α = 0 in Lemma 2.1. Then there exist u ∈ Y (B R ) and a subsequence, still denoted by {u n }, such that u nu Y (B R ) → 0 as n → ∞. We claim that where B c R = R N \B R . In fact, from (2.5) we obtain that In view of (2.6), we get that for any ε > 0, there exists R ε > 0 large enough such that On the other hand, due to the compact embedding X( for n > N 0 . Then from (2.10) and (2.12) it follows that (2.13) which implies that u n → u strongly in Y (R N ). Case 2. 1 < q < p. By (1.10) and (A 4 ) we get that (2.14) which implies that the embedding X → L q (R N , H) is continuous. Furthermore, proceeding in a similar manner to Case 1, we can also prove that the embedding is compact.
In an analogous manner, we can prove the following result. We now prove that J(u) satisfies the condition (PS) c .

Lemma 2.4 Assume that the hypotheses in Theorem 1 hold. Then J(u) satisfies the condition (PS) c for any c ∈ R.
Proof Let {u n } ⊂ X be a (PS) c sequence such that (2.4) holds. We divide the proof into four cases. We only prove Case 1, Case 1. 1 < max{r, q} < p. Firstly, we prove that {u n } is bounded in X. Choosing θ > 2p, from (A 1 ), (A 4 ), and (2.4) it follows that for large n, which means that { u n X } is bounded. Secondly, we prove that {u n } converges strongly in X. Since X is a separable Banach space, there exists a subsequence, still denoted by {u n }, such that u n u 0 in X. The compact embeddings in Lemmas 2.2 and 2.3 give that (2.16) Furthermore, the Brezis-Leib lemma shows that Then from the Hölder inequality and (2.17) it follows that H(x)|u n | q-2 u n (u nu 0 ) dx. (2.19) Note that J (u n ) → 0. Therefore from (2.18) and (2.19) we get that R N |x| -ap |∇u n | p-2 ∇u n · ∇(u nu 0 ) dx → 0 as n → +∞. (2.20) On the other hand, from the weak convergence u n u 0 it follows that Consequently, relations (2.20) and (2.21) yield that Furthermore, by the standard inequalities (see [24]) that is, u n → u 0 strongly in X. Case 2. 1 < p < min{r, q} and max{r, q} < 2p. We choose θ = 2p. Since r, q < 2p, from (A 2 ) and (A 3 ) it follows that which implies that { u n X } is bounded in X. The remaining proofs are similar to those of (2.16)-(2.23). Case 3. 1 < r < p < q < 2p. Using (A 1 ) and (A 3 ), we can similarly prove that that J(u) satisfies the conditions (PS) c .

Existence of solutions
In this section, we use the minimax procedure to prove the existence of infinitely many solutions for problem (1.1). Let A denotes the class of A ⊂ X\{0} such that A is closed in X and symmetric with respect to the origin. For A ∈ A, the genus γ (A) is defined by We say that γ (A) = ∞ if there no such mapping for any m ∈ N . Particularly, γ (∅) = 0.
The following proposition gives some main properties of the genus; see [25,26]. Proof Given m ∈ N + , let X m be an m-dimensional subspace of X. Similarly to Lemma 2.4, we will proceed the discussion according to the relationship of p, q, r. Case 1. 1 < r, q < p. Without loss of generality, we assume that r < q. Then by (2.1) Note that since X m is a finite-dimensional space, all norms on this space are equivalent. Therefore for all u ∈ X m , for some constant c > 0. Then there exist small ρ 1 > 0 and ε > 0 such that J(u) < -ε for u ∈ X m and u X = ρ 1 . Set S ρ 1 = u ∈ X m : u X m = ρ 1 . Then S ρ 1 is a sphere centered at the origin with radius of ρ 1 , and S ρ 1 ⊂ u ∈ X : J(u) ≤ -ε J -ε . (3.4) Therefore Proposition 3.1 shows that γ (J -ε ) ≥ γ (S ρ 1 ) = m.
Proof Lemma 2.4 shows that J(u) satisfies the conditions (PS) c in X. Then by the standard argument in [25][26][27] we obtain from Lemma 3.3 that J(u) has infinitely many critical points, that is, problem (1.1) has infinitely many weak solutions in X. Therefore we complete the proof of Theorem 1.