- Research
- Open access
- Published:
Existence and multiplicity of solutions for Schrödinger–Kirchhoff type problems involving the fractional \(p(\cdot )\)-Laplacian in \(\mathbb{R}^{N}\)
Boundary Value Problems volume 2020, Article number: 121 (2020)
Abstract
We are concerned with the following elliptic equations with variable exponents:
where \([u]_{s,p(\cdot,\cdot)}:=\int_{\mathbb {R}^{N}}\int_{\mathbb {R}^{N}} \frac{|u(x)-u(y)|^{p(x,y)}}{p(x,y)|x-y|^{N+sp(x,y)}} \,dx \,dy\), the operator \(\mathcal{L}\) is the fractional \(p(\cdot)\)-Laplacian, \(p, r: {\mathbb {R}^{N}} \to(1,\infty)\) are continuous functions, \(M \in C(\mathbb {R}^{+})\) is a Kirchhoff-type function, the potential function \(\mathcal {V}:\mathbb {R}^{N} \to(0,\infty)\) is continuous, and \(h:\mathbb {R}^{N}\times\mathbb {R} \to\mathbb {R}\) satisfies a Carathéodory condition. Under suitable assumptions on h, the purpose of this paper is to show the existence of at least two non-trivial distinct solutions for the problem above for the case of a combined effect of concave–convex nonlinearities. To do this, we use the mountain pass theorem and variant of the Ekeland variational principle as the main tools.
1 Introduction
In the last two decades an increasing deal of attention has been paid to the investigation on problems of differential equations and variational problems with nonstandard growth conditions because they can be corroborated as a model for many physical phenomena which arise in the research of elastic mechanics, electro-rheological fluid (“smart fluids”) and image processing, etc. We refer the reader to [6, 11, 17, 24, 34, 42, 44] and the references therein.
On the other hand, in recent years the study of fractional Sobolev spaces and the corresponding nonlocal equations has received a great amount of attention because of their occurrence in many different applications such as optimization, fractional quantum mechanics, the thin obstacle problem, phase transition phenomena, image process, game theory and Lévy processes; see [14, 23, 28, 36, 39, 45] and the references therein for more details.
In this direction it is a natural question to see which results can be recovered when we replace the local \(p(\cdot)\)-Laplacian, defined as \(-\operatorname{div}(|\nabla u|^{p(x)-2}\nabla u)\), with the nonlocal fractional \(p(\cdot)\)-Laplacian. Very recently, many authors in [1, 5, 7, 8, 18, 19, 29, 33] have investigated elliptic problems involving the fractional \(p(\cdot )\)-Laplacian. A new class of fractional Sobolev spaces with variable exponents that takes into account a fractional variable exponent operator has been introduced by Kaumann et al. [33]. The authors in [8] particular presented further primary properties both on this function space and the related nonlocal operator. As applications, they gave the existence of at least one solution for equations involving the fractional \(p(\cdot)\)-Laplacian. Based on this recent work, Ho and Kim [29] provided fundamental embeddings for the fractional Sobolev space with variable exponent and their applications such as a priori bounds and multiplicity of solutions of the fractional \(p(\cdot)\)-Laplacian problems.
In this paper, we are concerned with a Schrödinger–Kirchhoff type problem driven by the non-local fractional \(p(\cdot)\)-Laplacian as follows:
where \([u]_{s,p(\cdot,\cdot)}:=\int_{\mathbb {R}^{N}}\int_{\mathbb {R}^{N}} \frac{|u(x)-u(y)|^{p(x,y)}}{p(x,y)|x-y|^{N+sp(x,y)}} \,dx \,dy\), \(p, r: {\mathbb {R}^{N}} \to(1,\infty)\) are continuous functions with \(1<\inf_{x\in\mathbb{R}^{N}}{r}(x)\leq\sup_{x\in\mathbb{R}^{N}}{p}(x)\), \(M \in C(\mathbb {R}^{+})\) is a Kirchhoff type function, the potential function \(\mathcal{V}:\mathbb {R}^{N} \to(0,\infty)\) is continuous, and \(h:{\mathbb {R}^{N}}\times\mathbb {R}\to\mathbb {R}\) satisfies a Carathéodory condition satisfying the subcritical and \(p(\cdot)\)-superlinear nonlinearity, and \(\mathcal{L}\) is the fractional \(p(\cdot)\)-Laplacian operator defined as
where \(s \in(0,1)\) and \(B_{\varepsilon}(x):=\{y\in\mathbb {R}^{N}: |y-x|\leq\varepsilon\}\). Here, \(p(x)={p}(x,x)\) for all \(x\in\mathbb {R}^{N}\) with \({p}\in C(\mathbb{R}^{N}\times\mathbb{R}^{N})\) satisfying \({p}(x,y)={p}(y,x)\) for all \(x,y\in\mathbb{R}^{N}\) and \(1<\inf_{(x,y)\in\mathbb{R}^{N}\times\mathbb{R}^{N}}{p}(x,y)\leq\sup_{(x,y)\in\mathbb{R}^{N}\times\mathbb{R}^{N}}{p}(x,y)<\frac{N}{s}\).
Let us first assume that a Kirchhoff function \(M:\mathbb{R}_{0}^{+} \to\mathbb{R}^{+}\) satisfies the following conditions:
-
(M1)
\(M\in C(\mathbb{R}_{0}^{+}, \mathbb{R}^{+})\) satisfies \(\inf_{t\in\mathbb{R}_{0}^{+}} M(t) \geq m_{0} > 0\), where \(m_{0}\) is a constant,
-
(M2)
There exists \(\vartheta\in[1,\frac{N}{N-sp_{+}})\) such that \(\vartheta\mathcal{M}(t)=\vartheta\int_{0}^{t} M(\tau)\,d \tau \geq M(t)t \) for any \(t\geq0\).
A typical example for M is given by \(M(t)=b_{0} +b_{1}t^{n}\) with \(n>0\), \(b_{0}>0\) and \(b_{1}\geq0\). The Kirchhoff type problem was primarily introduced in [37] as a generalization of the classical D’Alembert wave equation for free vibrations of elastic strings. Some interesting researches by variational methods can be found in [20, 21, 40, 41, 43, 49] for Kirchhoff type problems. Recently, Pucci et al. [43] studied the existence of nontrivial solutions for the Schrödinger–Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb {R}^{N}\); see [49] for problems with Dirichlet boundary data. In [40], the authors showed that a \(p(x)\)-Kirchhoff type problem admits at least two nontrivial different solutions by employing abstract critical point theorems which is based on a generalization of Ekeland’s variational principle [25]. The primary strategy for obtaining this is to observe the relationship between the mountain pass geometry and the existence of a local minima for an appropriate functional.
The main aim of the present paper is to establish the existence of at least two nontrivial distinct solutions for Schrödinger–Kirchhoff type problems in the case where the nonlinear term is concave–convex, by employing the mountain pass theorem (see [4]) and a variant of the variational principle of Ekeland (see [6]). This type of nonlinearity has been extensively investigated since the seminal work of Ambrosetti, Brezis and Cerami [3] for the Laplacian problem
where
For elliptic equations with the concave–convex nonlinearity, we also infer the reader to [12, 15, 16, 22, 30, 47, 48, 50] and the references therein. Especially, the existence of multiple solutions for an elliptic problem of a nonhomogeneous fractional p-Kirchhoff type involving concave–convex nonlinearities has been established in [50]. In [30], the authors built the existence of two nontrivial nonnegative solutions and infinitely many solutions for the following \(p(x)\)-Laplacian equations involving concave–convex type nonlinearities with two parameters:
where \(\varOmega\subset\mathbb {R}^{N}\) is a bounded domain with a smooth boundary ∂Ω, \(p, q, h \in C(\overline{\varOmega}, (1,\infty))\) with \(q(x)< p(x)< h(x)\) for all \(x\in\varOmega\), w, a, b are measurable functions on Ω that are positives a.e. in Ω, and λ, μ are real parameters. Very recently, Biswas and Tiwari [10] studied problem (\(P_{\lambda }\)) in a bounded domain, which is subject to Dirichlet boundary conditions with \(M\equiv 1\), \(\mathcal{V}\equiv0\) and \(\rho\equiv1\). In order to obtain the multiplicity result, they considered two aspects: one is to assume the condition by Ambrosetti and Rabinowitz [4] (see [2, 26] for elliptic equations with variable exponents), and the other is to apply the mountain pass theorem and Ekeland’s variational principle. In that sense, the first purpose of this article is to show the existence of two nontrivial distinct solutions for the problem (\(P_{\lambda }\)) for the case of a combined effect of concave–convex nonlinearities when h fulfils the condition of Ambrosetti–Rabinowitz type, that is, there exists a constant \(\theta>0\) such that \(\theta> \vartheta\sup_{x\in\mathbb{R}^{N}}{p}(x)\) and
As is well known, this condition is essential in ensuring the boundedness of a Palais–Smale sequence of the Euler–Lagrange functional corresponding to the problem (\(P_{\lambda }\)). However, in comparison with [2, 10, 11, 26], it is not easy to obtain this compactness condition because the Kirchhoff function M is not convex and the given problem has the concave–convex nonlinearity. The second one is to establish the existence of multiple solutions to (\(P_{\lambda }\)), provided that the nonlinear growth h fulfils a weaker condition than condition (1.1), which will be specified later. Roughly speaking, by utilizing analogous arguments to the first main aim we attempt to establish this multiplicity result when for h one has mild and different assumptions from condition (1.1) which is originally given in [31]. In order to obtain this, we give a sufficient condition for the modified function M which is not a Kirchhoff function as in the original work due to Kirchhoff [37]. As seen before, the main tools are the mountain pass theorem and a variant of the Ekeland variational principle for an energy functional with the compactness condition of the Palais–Smale type, namely the Cerami condition; see Lemma 2.9 in [32] and Corollary 3.2 in [6], respectively. To the best of our knowledge, the present paper is the first to study the existence of at least two nontrivial distinct solutions for Schrödinger–Kirchhoff type problems with the concave–convex nonlinearity in these situations even in the case of \(M\equiv1\) or constant exponents.
This paper is designed as follows. In Sect. 2, we briefly review the definitions and collect some preliminary results for the Lebesgue spaces with variable exponents and the variable exponent Lebesgue–Sobolev space of fractional type. In Sect. 3, we give the existence results of multiple solutions to the problem (\(P_{\lambda }\)) by employing as the main tools the variational principle.
2 Preliminaries
In this section, we briefly introduce some useful definitions and well-known properties of the variable exponent Lebesgue–Sobolev space of fractional type \(W^{s, p(\cdot,\cdot)}\) which will be treated in the next sections.
Set
For any \(f\in C_{+}(\mathbb {R}^{N})\), we define
For any \(p\in C_{+}(\mathbb {R}^{N})\), we introduce the variable exponent Lebesgue space
endowed with the Luxemburg norm
The dual space of \(L^{p(\cdot)}(\mathbb {R}^{N})\) is \(L^{p^{\prime}(\cdot)}(\mathbb {R}^{N})\), where \(1/p(x) + 1/p^{\prime}(x)=1\).
Let \(0< s<1\) and let \(p\in C(\mathbb{R}^{N}\times\mathbb{R}^{N}, (1,\infty))\) be such that p is symmetric, i.e., \(p(x,y) = p(y, x)\) for all \(x,y\in\mathbb{R}^{N}\) and
For \(p \in C_{+}(\mathbb{R}^{N})\), define
and we set
Then \(W^{s, p(\cdot), p(\cdot,\cdot)}(\mathbb{R}^{N})\) endowed with the norm
is a separable reflexive Banach space (see [7, 8, 33]). It is immediate that
is an equivalent norm of \(\|\cdot\|_{s,p,\mathbb{R}^{N}}\) with the relation
Throughout this paper, for brevity, we write \(p(x)\) instead of \(p(x,x)\) for some cases and hence, \(p\in C_{+}(\mathbb{R}^{N})\). Furthermore, we write \(W^{s,p(\cdot,\cdot)}(\mathbb{R}^{N})\) instead of \(W^{s,p(\cdot ),p(\cdot,\cdot)}(\mathbb{R}^{N})\).
Lemma 2.1
The space\(L^{p(\cdot)}(\mathbb {R}^{N})\)is a separable, uniformly convex Banach space, and its conjugate space is\(L^{p^{\prime}(\cdot)}(\mathbb {R}^{N})\)where\(1/p(x)+1/p^{\prime }(x)=1\). For any\(u\in L^{p(\cdot)}(\mathbb {R}^{N})\)and\(v\in L^{p^{\prime}(\cdot)}(\mathbb {R}^{N})\), we have
Lemma 2.2
([27])
Denote
Then
-
(1)
\(\rho(u)>1\) (=1; <1) if and only if\(\|u\|_{L^{p(\cdot )}(\mathbb {R}^{N})}>1\) (=1; <1), respectively;
-
(2)
if\(\|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}>1\), then\(\|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}^{p_{-}}\le\rho(u)\le \|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}^{p_{+}}\);
-
(3)
if\(\|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}<1\), then\(\|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}^{p_{+}}\le\rho(u)\le \|u\|_{L^{p(\cdot)}(\mathbb {R}^{N})}^{p_{-}}\).
Proposition 2.3
([29])
Denote
On\(W^{s,p(\cdot,\cdot)}(\mathbb {R}^{N})\)we have:
-
(i)
for\(u\in W^{s,p(\cdot,\cdot)}(\mathbb {R}^{N})\setminus \{0\}\), \(\lambda=\|u\|_{s,p,\mathbb {R}^{N}}\)if and only if\(\widetilde {\rho}(\frac{u}{\lambda})=1\);
-
(ii)
\(\widetilde{\rho}(u)>1\) (=1; <1) if and only if\(\|u\|_{s,p}>1\) (=1; <1), respectively;
-
(iii)
if\(\|u\|_{s,p,\mathbb {R}^{N}}\geq1\), then\(\|u\|_{s,p,\mathbb {R}^{N}}^{p^{-}}\le\widetilde{\rho}(u)\le \|u\|_{s,p,\mathbb {R}^{N}}^{p^{+}}\);
-
(iv)
if\(\|u\|_{s,p,\mathbb {R}^{N}}<1\), then\(\|u\|_{s,p,\mathbb {R}^{N}}^{p^{+}}\le\widetilde{\rho}(u)\le \|u\|_{s,p,\mathbb {R}^{N}}^{p^{-}}\).
We recall the embedding theorem for the fractional Sobolev space with variable exponent as follows.
Lemma 2.4
(Subcritical embeddings, [29])
We have:
-
(1)
\(W^{s,p(\cdot,\cdot)}(\varOmega)\hookrightarrow \hookrightarrow L^{r(\cdot)}(\varOmega)\), ifΩis a bounded Lipschitz domain and\(r\in C_{+}(\overline {\varOmega})\)such that\(r(x)<\frac {Np(x)}{N-sp(x)}=:p^{*}_{s}(x)\)for all\(x\in \overline{\varOmega}\);
-
(2)
\(W^{s,p(\cdot,\cdot)}(\mathbb {R}^{N})\hookrightarrow L^{r(\cdot)}(\mathbb{R}^{N})\)for any uniformly continuous function\(r\in C_{+}(\mathbb{R}^{N})\)satisfying\(p(x)\leq r(x)\)for all\(x\in\mathbb {R}^{N}\)and\(\inf_{x\in\mathbb{R}^{N}}(p_{s}^{\ast}(x)-r(x))>0\);
-
(3)
\(W^{s,p(\cdot,\cdot)}(\mathbb {R}^{N})\hookrightarrow \hookrightarrow {L_{loc}^{r(\cdot)}}(\mathbb {R}^{N})\)for any\(r\in C_{+}(\mathbb {R}^{N})\)satisfying\(r(x)< p_{s}^{\ast}(x)\)for all\(x\in\mathbb {R}^{N}\).
Next, we consider the case that the potential function \(\mathcal{V}\) satisfies
-
(V)
\(\mathcal{V}\in C(\mathbb {R}^{N})\), \(\inf_{x\in\mathbb {R}^{N}} \mathcal{V}(x)>0\), and meas\(\{x\in\mathbb {R}^{N}:\mathcal{V}(x)\le \mathcal{V}_{0} \}<+\infty\) for all \(\mathcal{V}_{0}\in\mathbb {R}\).
On the linear subspace
we endow the norm
Then \((E, \|\cdot\|_{E})\) is continuously embedded into \(W^{s,p(\cdot ,\cdot)}\) as a closed subspace. Therefore, \((E, \|\cdot\|_{E})\) is also a separable reflexive Banach space. Let \(E^{*}\) be a dual space of E. Furthermore, \(\langle\cdot,\cdot \rangle\) denotes the pairing of E and its dual \(E^{*}\).
With the aid of Lemma 2.4, the proof of the following assertion is essentially the same as in those of Lemma 2.6 in [2].
Lemma 2.5
If the potential function\(\mathcal{V}\)satisfies the assumption (V), then:
-
(1)
we have a compact embedding\(E\hookrightarrow L^{p(\cdot )}(\mathbb {R}^{N})\);
-
(2)
for any measurable function\(q:\mathbb {R}^{N}\to\mathbb {R}\)with\(p(x)< q(x)\)for all\(x\in \mathbb {R}^{N}\), there is a compact embedding\(E\hookrightarrow L^{q(\cdot)}(\mathbb {R}^{N})\)if\(\inf_{x\in\mathbb {R}^{N}}(p^{*}(x)-q(x))>0\).
3 Existence of solutions
In this section, the existence of nontrivial weak solutions for (\(P_{\lambda }\)) is shown by applying the mountain pass theorem and a variant of Ekeland variational principle under suitable assumptions.
Definition 3.1
We say that \(u\in E\) is a weak solution of (\(P_{\lambda }\)) if
for any \(w \in E\), where
Let us define the functional \(\varPhi: E \to\mathbb {R}\) by
The following lemma can be proved by using arguments as in [43, Lemma 2].
Lemma 3.2
If (V) and (M1) hold, then the functional\(\varPhi:E\to\mathbb {R}\)is of class\({C}^{1}(E,\mathbb {R})\)and
for any\(u, w \in E\). Moreover, Φis weakly lower semi-continuous inE.
Proof
It is not difficult to prove that Φ has Fréchet derivative in E and (3.1) holds for any \(u, w \in E\). Now, let \(\{ z_{n} \}_{n} \subset E \) and \(z \in E \) satisfy \(z_{n} \to z\) strongly in E as \(n \to\infty\). Without loss of generality, we assume that \(z_{n} \to z\) a.e. in \(\mathbb {R}^{N}\). Then the sequence
is bounded in \(L^{p^{\prime}(\cdot,\cdot)}(\mathbb{R}^{N}\times \mathbb{R}^{N})\), as well as a.e. in \(\mathbb{R}^{N}\times\mathbb{R}^{N} \)
Thus, the Brezis–Lieb lemma (see [9]) implies
The fact that \(z_{n} \rightarrow z \) strongly in E yields
Moreover, the continuity of M implies that
From (3.2) it follows that
Similarly,
Combining (3.3)–(3.5) with the Hölder inequality, we have
as \(n \rightarrow\infty\). Hence, \(\varPhi\in C^{1} (E, \mathbb {R} )\). Finally, notice that the map \(w \mapsto[w]_{s,p(\cdot,\cdot)}\) is lower semi-continuous in the weak topology of \(W^{s,p(\cdot,\cdot )}(\mathbb{R}^{N}) \) and \(\mathcal{M}\) is nondecreasing and continuous on \(\mathbb{R}_{0}^{+}\), so that \(w \mapsto\mathcal{M} ( [w]_{s,p(\cdot,\cdot)} )\) is lower semi-continuous in the weak topology of \(W^{s,p(\cdot,\cdot)}(\mathbb{R}^{N}) \). Indeed, we can define \(\gamma: W^{s,p(\cdot,\cdot)}(\mathbb{R}^{N}) \rightarrow\mathbb {R}\) as follows:
It is easy to see that \(\gamma\in C^{1} ( W^{s,p(\cdot,\cdot )}(\mathbb{R}^{N}) )\) and γ is a convex functional in \(W^{s,p(\cdot,\cdot)}(\mathbb{R}^{N})\). By Corollary 3.8 in [13], we obtain \(\gamma(w) \leq\lim\inf_{n \rightarrow\infty} \gamma( w_{n} ) \). Hence, it is easy to see that Φ is weakly lower semi-continuous in E (see [46], Lemma 3.3 for more details). □
Let \(H(x,t)=\int_{0}^{t}h(x,s)\,ds\). Assume that:
-
(A1)
\(p, q, r\in C_{+}(\mathbb {R}^{N})\) and \(1< r_{-}\leq r_{+}< p_{-}\le p_{+}< q_{-}\le q_{+}< p_{s}^{*}(x)\) for all \(x\in\mathbb {R}^{N}\).
-
(A2)
\(0\leq\rho\in L^{\frac{p(\cdot)}{p(\cdot)- r(\cdot )}}(\mathbb {R}^{N})\cap L^{\infty}(\mathbb {R}^{N})\) with meas\(\{x\in \mathbb {R}^{N}:\rho(x)\neq0 \}>0\).
-
(H1)
\(h: \mathbb {R}^{N}\times\mathbb {R} \to\mathbb {R}\) satisfies the Carathéodory condition.
-
(H2)
There exists nonnegative function \(\sigma\in L^{\infty }(\mathbb {R}^{N})\) such that
$$\bigl\lvert h(x,t) \bigr\rvert \le\sigma(x) \lvert t \rvert^{q(x)-1}, $$for all \((x,t)\in\mathbb {R}^{N}\times\mathbb {R}\).
-
(H3)
There exists a positive constant θ such that \(\theta> \vartheta p^{+}\) and
$$0< \theta H(x,t)\le h(x,t)t, \quad\text{for all } t \in\mathbb {R}\setminus\{0\} \text{ and } x \in\mathbb {R}^{N}, $$where ϑ is given in (M2).
-
(H4)
\(H(x,t)\geq0\) for all \((x,t)\in\mathbb {R}^{N}\times\mathbb {R}\).
Let the functional \(\varPsi_{\lambda}:E\to\mathbb {R}\) be defined by
Then it is easy to check that \(\varPsi_{\lambda} \in C^{1}(E,\mathbb {R})\), and its Fréchet derivative is
for any \(u,w \in E\). Subsequently, the functional \(I_{\lambda}:E\to\mathbb {R}\) is defined by
Then according to Lemma 3.2, it follows that the functional \(I_{\lambda}\in C^{1}(E,\mathbb {R})\), and its Fréchet derivative is
for any \(u,w\in E\).
Lemma 3.3
Assume that (A1)–(A2) and (H1)–(H2) hold. Then\(\varPsi _{\lambda}\)and\(\varPsi_{\lambda}^{\prime}\)are weakly strongly continuous onEfor any\(\lambda>0\).
Proof
Let \(\{z_{n}\}\) be a sequence in E such that \(z_{n}\rightharpoonup z\) in E as \(n\to\infty\). Since \(\{z_{n}\}\) is bounded in E, Lemma 2.5 guarantees that there exists a subsequence such that
First we prove that \(\varPsi_{\lambda}\) is weakly strongly continuous in E. By the convergence principle, there exists a function \(g\in L^{p(\cdot)}(\mathbb {R}^{N}) \cap L^{q(\cdot)} (\mathbb {R}^{N})\) such that \(|z_{n_{k}}(x)|\leq g(x)\) for all \(k\in\mathbb {N}\) and for almost all \(x\in\mathbb {R}^{N}\). Therefore from (H2) and Lemma 2.1, it follows from the Young inequality that
for some positive constant \(C_{0}\), and so the integral at the left-hand side is dominated by an integrable function. Since the function h satisfies the Carathéodory condition by (H1), it follows from (3.7) that
for almost all \(x\in\mathbb {R}^{N}\). Therefore, Lebesgue’s dominated convergence theorem tells us that
that is, \(\varPsi_{\lambda}(z_{n_{k}}) \to\varPsi_{\lambda} (z)\) as \(k\to \infty\). Thus \(\varPsi_{\lambda}\) is weakly strongly continuous in E.
Next, we show that \(\varPsi_{\lambda}^{\prime}\) is weakly strongly continuous in \(E^{*}\). First of all, we note that
for some positive constants \(C_{1}\), \(C_{2}\). Due to (H2) and Lemma 2.1, we obtain
for some positive constants \(C_{3}\), \(C_{4}\). Invoking (3.7)–(3.9) and the convergence principle, one has
and
for almost all \(x\in\mathbb {R}^{N}\) and for some \(f_{1}, f_{2} \in L^{1}(\mathbb {R}^{N})\), and thus \(\rho(x)|z_{n_{k}}|^{r(x)-2}z_{n_{k}}\to \rho (x)|z|^{r(x)-2}z\) and \(h(x,z_{n_{k}})\to h(x,z)\) as \(k\to\infty\) for almost all \(x\in\mathbb {R}^{N}\). This together with the Lebesgue dominated convergence theorem yields
as \(k\to\infty\). Consequently, we derive that \(\varPsi_{\lambda }^{\prime}(z_{n_{k}})\to\varPsi_{\lambda}^{\prime}(z)\) in \({E^{*}}\) as \(k\to\infty\). This completes the proof. □
Combining Lemmas 3.2 and 3.3, we see that \(I_{\lambda} \in{C}^{1}(E,\mathbb {R})\) and \(I_{\lambda}\) is weakly semi-continuous in E. Before going to the proofs of our main results, we consider some useful lemmas and consequences presented below. The following assertion means that \(I_{\lambda}\) satisfies the geometric condition in the mountain pass theorem.
Lemma 3.4
Assume that (V), (M1)–(M2), (A1)–(A2) and (H1)–(H4) hold. Let\(I_{\lambda}\)be defined as in (3.6). Then we have the followings:
-
(1)
There exists a positive constant\(\lambda^{*}\)such that for any\(\lambda\in(0, \lambda^{*} )\)we can choose\(R>0\)and\(0<\delta <1\)such that\(I_{\lambda}(u) \geq R >0\)for all\(u \in E\)with\(\|u\| _{E} = \delta\);
-
(2)
there exists\(\phi\in E\), \(\phi>0 \)such that\(I_{\lambda }(t\phi) \to- \infty\)as\(t \to+\infty\);
-
(3)
there exists\(\psi\in E\), \(\psi>0 \)such that\(I_{\lambda }(t\psi) <0 \)as\(t \to0^{+}\).
Proof
Let us prove condition (1). By Lemma 2.5, there exists a positive constant \(C_{5}\) such that \(\|u\|_{L^{\gamma(\cdot)}(\mathbb {R}^{N})}\le C_{5}\|u\|_{E}\) for \(p(x) \leq\gamma(x) < p_{s}^{\ast}(x)\). Assume that \(\|u\|_{E}<1\). Then it follows from (H2), Proposition 2.3, and Lemmas 2.1, 2.2(2) and 2.5 that
for positive constants \(C_{6}\), \(C_{7}\). Let us define the function \(g_{\lambda}:(0,\infty) \to\mathbb {R} \) by
Then it is clear that \(g_{\lambda}\) has a local minimum at the point \(t_{0}= ({\lambda\frac{p_{+}-r_{-}}{q_{-}-p_{+}}\cdot\frac {q_{+}}{r_{+}}\cdot\frac{2C_{6}}{C_{7}}} )^{\frac{1}{q_{+}-r_{+}}}\) and so
Thus there is \(\lambda^{\ast}>0\) such that for each \(\lambda\in (0,\lambda^{\ast})\), there exist \(R>0\) small enough and \(\delta>0\) such that \(I_{\lambda}(u)\ge\delta>0\) for any \(u \in E\) with \(\|u\| _{E} = R\).
Next we show condition (2). Note that condition (H3) implies
for all \(\eta\in\mathbb {R}\), \(x \in\mathbb {R}^{N}\), and \(s \ge1\).
Take \(\phi\in E\) with \(\phi>0\). Since \(\mathcal{M}(\tau)\leq \mathcal{M}({1}) \tau^{\vartheta}\) for any \(\tau\geq1\), it follows from (3.11) that
for sufficiently large \(t\ge1\). Since \(\theta>\vartheta p^{+}>r_{+}\), we see that \(I_{\lambda}(t \phi)\to-\infty\) as \(t\to\infty\).
Finally it remains to prove condition (3). Choose \(\psi\in E \) such that \(\psi>0\). Let λ be fixed. For \(t \in(0,1)\) small enough, from (H4) and Lemma 2.2, we obtain
Since \(p^{-}>r_{+}\), we see that \(I_{\lambda}(t\psi)<0\) as \(t\to 0^{+}\), as claimed. □
With the aid of Lemma 3.3, we will give that the energy functional \(I_{\lambda}\) satisfies the Palais–Smale condition (\((PS)\)-condition for short). This plays a key role in obtaining the existence of a nontrivial weak solution for the given problem. The basic idea of the proof of this assertion comes from [43].
Definition 3.5
We say that \(I_{\lambda}\) satisfies the \((PS)\)-condition in E, if any \((PS)\)-sequence \(\{z_{n}\} \subset E\), namely, \(\{I_{\lambda }(z_{n})\}\) is bounded and \(I^{\prime}_{\lambda}(z_{n})\to0\) as \(n\to\infty\), admits a strongly convergent subsequence in E.
Lemma 3.6
If (V), (M1)–(M2), (A1)–(A2), and (H1)–(H4) hold, then the functional\(I_{\lambda}\)satisfies the\((PS)\)-condition for any\(\lambda>0\).
Proof
Let \(\{z_{n}\}\) be a \((PS)\)-sequence in E, i.e., there exists \(K>0\) such that \(| \langle I^{\prime}_{\lambda }(z_{n}),z_{n} \rangle| \leq K {\|z_{n}\|}_{E} \) and \(| I_{\lambda}(z_{n})|\leq K\). It is first verified that the sequence \(\{z_{n}\}\) is bounded in E. Suppose to the contrary that \(\|z_{n}\|_{E} \to\infty\), in the subsequence sense, as \(n \to\infty \). By assumption (M2), we deduce that
where θ is the positive constant from (H3). Combining this with conditions (M1) and (H3), we have
For n large enough, we may assume that \(\|z_{n}\|_{E}>1\). Then it follows from (H3), Proposition 2.3 and Lemma 2.4(1) that
Since \(\theta> \vartheta p^{+} > p_{+}>1\) and \(p_{-}>r_{+} >1\), this is a contradiction. Hence the sequence \(\{z_{n}\}\) is bounded in E. Passing to the limit, if necessary, to a subsequence, by Lemma 2.4, we have
as \(n\to\infty\). To prove that \(\{z_{n}\}\) converges strongly to z in E, let \(\varphi \in E\) be fixed and let \(\tilde{\varPhi}_{\varphi}\) denote the linear functional on E defined by
for all \(w\in E\). Obviously, by the Hölder inequality, \(\tilde {\varPhi}_{\varphi}\) is also continuous, as
for any \(w\in E\), where \(\tilde{p}_{1}\) is either \(p^{+} -1 \) or \(p^{-}-1\) and \(\tilde{p}_{2}\) is either \(p^{+}\) or \(p^{-}\). Hence, Eq. (3.12) yields
because the sequence \(\{M ( [z_{n} ]_{s,p(\cdot,\cdot )} )-M ( [z]_{s,p(\cdot,\cdot)} ) \}\) is bounded in \(\mathbb {R}\). Using (H2) and Lemma 2.2, it follows that
Then, due to (3.12), one has
Because \(z_{n}\rightharpoonup z\) in E and \(I_{\lambda}'(z_{n})\to0\) in \(E^{*}\) as \(n\to\infty\), we have
Hence, Eqs. (3.12)–(3.14) yield as \(n\to\infty\)
that is,
By convexity, (M1), (V), and (H2) we have in particular
and
It follows that
and
It should be noted that we have the well-known useful inequalities
for all \(\xi,\eta\in\mathbb {R}^{N}\), where \(C_{9} \) and \(C_{10}\) are positive constants depending only on \(p(\cdot,\cdot)\), \(\Delta_{1}=\{(x, y) \in\mathbb {R}^{N} \times\mathbb {R}^{N}: p(x,y)\ge 2\}\), and \(\Delta_{2}=\{(x,y) \in\mathbb {R}^{N} \times\mathbb {R}^{N} : 1< p(x,y)<2\} \); see [35, Proposition 3.3].
It is now assumed that \((x,y) \in\Delta_{1}\). Then, by (3.15) and (3.18) as \(n\to\infty\),
Similarly, utilizing (V), (3.16) and (3.18) as \(n\to \infty\),
Subsequently, the case \((x, y) \in\Delta_{2}\) is considered. As \(\{ z_{n}\}\) is bounded in E, there exists \(K_{0} >0\) such that
for all \(n\in\mathbb {N}\). By (3.15), (3.18) and Lemma 2.1, we have
where \(C_{11} =2C_{10}(2K)^{\beta}\), α is either \(p^{-} /2\) or \(p^{+} /2\), and β is either \((2- p^{+} )/2\) or \((2- p^{-} )/2\). Similarly, by invoking (3.12), there is a positive constant L such that \(\int_{\mathbb {R}^{N}}\mathcal{V}(x) \lvert z_{n} \rvert ^{p(x)}\,dx\le L\) for all \(n\in\mathbb {N}\). Moreover, by Lemma 2.1, (3.16) and (3.18) as \(n\to\infty\),
where \(C_{12}=4C_{10}(2L)^{\beta}\). From (3.19) and (3.20), we obtain
Therefore, \(\|z_{n}-z\|_{E} \to0\) as \(n\to\infty\). Hence, \(I_{\lambda}\) satisfies the \((PS)\)-condition. This completes the proof. □
The proof of the following theorem can be found in [10, 30, 43], however, we will give the proof for the reader’s convenience.
Theorem 3.7
Let (V), (M1)–(M2), (A1)–(A2), and (H1)–(H4) hold. Then there exists a positive constant\(\lambda^{*}\)such that for any\(\lambda\in(0, \lambda^{*} )\), the functional\(I_{\lambda}\)admits at least two nontrivial different solutions inE.
Proof
Thanks to Lemmas 3.4 and 3.6, there exists \(\lambda ^{*}>0\) such that for all \(\lambda\in(0, \lambda^{*})\), \(I_{\lambda }\) satisfies the mountain pass geometry and \((PS)\)-condition. By employing the mountain pass theorem, we infer that there exists a critical point \(u_{0} \in E \) of \(I_{\lambda}\) with \(I_{\lambda }(u_{0})= \overline{d}>0=I_{\lambda}(0)\). Hence \(u_{0}\) is a nontrivial weak solution of the problem (\(P_{\lambda }\)). Let us denote \(d:=\inf_{u \in\overline{B}_{r}}{I_{\lambda}(u)}\) where \({B}_{r} := \{ u \in E : \|u\|_{E} < r \}\) with a boundary \(\partial{B}_{r}\). Then by (3.10) and Lemma 3.4(3), we have \(-\infty< d < 0\). Putting \(0< \epsilon< \inf_{u \in\partial{B}_{r}}{I_{\lambda }(u)}-d\), by Theorem 1.1 in [25] (see also [30]), we can find \(u_{\epsilon} \in\overline{B}_{r}\) such that we have the well-known useful inequalities
This implies that \(u_{\epsilon} \in{B}_{r}\) since \(I_{\lambda}( u_{\epsilon} ) \leq d + \epsilon< \inf_{u \in\partial {B}_{r}}{I_{\lambda}(u)}\). From these facts we see that \(u_{\epsilon}\) is a local minimum of \(\widetilde{I}_{\lambda}( u ) = I_{\lambda}(u) + \epsilon\| u-u_{\epsilon} \|_{E}\). Now by taking \(u = u_{\epsilon} +tw \) for \(w \in{B}_{1}\) and sufficiently small \(t>0\), from (3.21), we deduce
Therefore, letting \(t \rightarrow0+ \), we get
Replacing w by −w in the argument above, we have
Thus, one has
for any \(w \in\overline{B}_{1}\). Hence
Using (3.21) and (3.22), we can choose a sequence \(\{ z_{n} \} \subset B_{r} \) such that
Thus, \(\{ z_{n} \} \) is a bounded \((PS)\)-sequence in the reflexive Banach space E. According to Lemma 3.6, \(\{ z_{n} \} \) has a subsequence \(\{ z_{n_{k}} \} \) such that \(z_{n_{k}} \to u_{1} \) in E as \(k \to\infty\). This together with (3.23) yields \(I_{\lambda }( u_{1} ) =d\) and \(I_{\lambda}^{\prime}( u_{1} )=0\). Hence \(u_{1}\) is a nontrivial nonnegative solution of the given problem with \(I_{\lambda }( u_{1} )<0\) which is different from \(u_{0}\). This completes the proof. □
The existence of nontrivial solutions for the problem is now investigated if (H3) is replaced with the following condition:
-
(H5)
There exists a constant \(\theta\ge1\) such that
$$\theta{\mathcal {H}}(x,t) \ge{\mathcal {H}}(x,st) ,$$for \((x,t)\in\mathbb {R}^{N}\times\mathbb {R}\) and \(s\in[0,1]\), where \({\mathcal {H}}(x,t)=h(x,t)t-p_{+}\vartheta H(x,t)\) and ϑ is given in (M2).
This condition originally comes from the work of Jeanjean [31]. As is well known, this is weaker condition than (1.1).
Definition 3.8
We say that \(I_{\lambda}\) satisfies the Cerami condition (\((C)\)-condition for short) in E, if any \((C)\)-sequence \(\{z_{n}\} _{n} \subset E\), i.e. \(\{I_{\lambda}(z_{n})\}\) is bounded and \(\| I_{\lambda}^{\prime}(z_{n})\|_{E^{*}}(1+\|z_{n}\|_{E})\to0\) as \(n\to\infty\), has a convergent subsequence in E.
Lemma 3.9
It is assumed that (V), (M1)–(M2), (A1)–(A2), (H1)–(H2), and (H4)–(H5). hold. Furthermore, assume that
-
(M3)
\(M:\mathbb{R}^{+} \to\mathbb{R}^{+}\)is a differentiable and decreasing function.
Then, the functional\(I_{\lambda}\)satisfies the\((C)\)-condition for any\(\lambda>0\).
Proof
Let \(\{z_{n}\}\) be a \((C)\)-sequence in E, i.e., \(\sup |I_{\lambda}(z_{n})|\leq K_{1}\) and \(\langle I^{\prime}_{\lambda }(z_{n}),z_{n} \rangle=o(1) \to0\), as \(n\to\infty\), and \(K_{1}\) is a positive constant. In view of Lemma 3.6, it needs only to be proved that \(\{z_{n}\}\) is bounded in E. To this end, arguing by contradiction, it is assumed that \(\|z_{n}\|_{E}>1\) and \(\|z_{n}\|_{E}\to\infty\) as \(n\to\infty\), and a sequence \(\{\omega_{n} \}\) is defined by \(\omega_{n}={z_{n}}/{\|z_{n}\|_{E}}\). Then, up to a subsequence, still denoted by \(\{\omega_{n} \}\), we obtain \(\omega_{n}\rightharpoonup\omega\) in E as \(n\to\infty\), and by Lemma 2.5,
as \(n \to\infty\), where \(p(x)< r(x)<{p_{s}}^{*}(x)\) for all \(x\in \mathbb {R}^{N}\).
Let \(\varOmega_{2}= \{ x\in\mathbb {R}^{N} : \omega(x)\neq0 \}\). By the same argument as in Lemma 3.6, \(\lvert\varOmega_{2} \rvert=0\); thus, \(\omega(x)=0\) for almost all \(x\in \mathbb {R}^{N}\). As \(I_{\lambda}(tz_{n})\) is continuous in \(t\in[0,1]\), for each \(n\in\mathbb {N}\), there exists \(t_{n}\in[0,1]\) such that
Let \(\{\ell_{k} \}\) be a positive sequence of real numbers such that \(\lim_{k\to\infty}{\ell_{k}}=\infty\) and \(\ell_{k}>1\) for any k. Then, it is clear that \(\|\ell_{k}\omega_{n}\|_{E}=\ell_{k}>1\) for any k and n. Let k be fixed. Because \(\omega_{n}\to0\) strongly in \(L^{q(\cdot)}(\mathbb {R}^{N})\) as \(n\to\infty\), it follows from the continuity of the Nemytskii operator that \(H(x,\ell_{k}\omega_{n})\to0\) in \(L^{1}(\mathbb {R}^{N})\) as \(n\to\infty\). Hence,
Because \(\|z_{n}\|_{E}\to\infty\) as \(n\to\infty\), we have \(\|z_{n}\|_{E}>\ell_{k}\) for sufficiently large n. Thus, by (M2), (3.24), and Proposition 2.3 we have
for sufficiently large n and \(p^{-}>r_{+} >1\). Then, letting n and k tend to infinity, it follows that
Because \(I_{\lambda}(0)=0\) and \(|I_{\lambda}(z_{n})| \leq K_{1} \) as \(n\to \infty\), it is obvious that \(t_{n}\in(0,1)\) and \(\langle I_{\lambda}^{\prime}(t_{n}z_{n}), t_{n}z_{n} \rangle=0\). Note that there is a positive constant \(\mathcal{K}\) such that
for any \(z\in E\) and \(s\in[0,1]\), where θ and ϑ come from (H5) and (M2), respectively. Therefore, by (M2), (M3), (H5) and (3.26), for all n large enough, we have
which contradicts (3.25). This completes the proof. □
We give an example on the function M that fulfils the assumptions (M1)–(M3); see [40].
Example 3.10
Let us consider
Then, it follows from direct calculations that this function M satisfies the assumptions (M1)–(M3).
In the rest of the present paper we establish the existence of at least two distinct nontrivial solutions to the problem (\(P_{\lambda }\)) under the condition on h which is weaker than (H3). In order to obtain this assertion we need to employ the following variational principle of Ekeland’s type in [6, 40], initially developed by Zhong [51].
Lemma 3.11
LetEbe a Banach space and\(x_{0}\)be a fixed point ofE. Suppose that\(h:{E}\rightarrow\mathbb{R}\cup\{+\infty\}\)is a lower semi-continuous function, not identically +∞, bounded from below. Then, for every\({\varepsilon }>0\)and\(y\in E\)such that
and every\(\lambda>0\), there exists some point\(z\in E\)such that
and
Theorem 3.12
Let (V), (M1)–(M3), (A1)–(A2), (H1)–(H2), and (H4)–(H5) hold. In addition, assume that
-
(H6)
\(\lim_{ \lvert t \rvert\to\infty}{\frac {H(x,t)}{ \lvert t \rvert^{\vartheta p_{+}}}}=\infty\)uniformly for almost all\(x\in\mathbb {R}^{N}\).
Then there exists a positive constant\(\lambda^{*}\)such that for any\(\lambda\in(0, \lambda^{*} )\), the functional\(I_{\lambda}\)admits at least two nontrivial different solutions inE.
Proof
To apply Lemma 3.4, we first show condition (2) in this lemma. By the assumption (H6), for any \(M_{0}>0\), there exists a constant \(\delta>0\) such that
for \(\lvert t \rvert>\delta\) and for almost all \(x \in \mathbb {R}^{N}\). Take \(w\in E\setminus \{0 \}\). Then, for large enough \(t>1\), Eq. (3.27) implies that
where ϑ was given in (M2), because \(\mathcal{M}(\tau )\le \mathcal{M}(1)\tau^{\vartheta}\) for \(\tau\ge1\). If \(M_{0}\) is large enough, then we deduce that \(I_{\lambda}(tw)\to-\infty\) as \(t \to \infty\), as required.
Thanks to Lemmas 3.4 and 3.9, there exists a positive number \(\lambda^{*}\) such that for all \(\lambda\in(0, \lambda ^{*})\), \(I_{\lambda}\) satisfies the mountain pass geometry and \((C)\)-condition. By employing the mountain pass theorem, we infer that there exists a critical point \(z_{0} \in E \) of \(I_{\lambda}\) with \(I_{\lambda}(z_{0})= \overline{d}>0=I_{\lambda}(0)\). Hence \(z_{0}\) is a nontrivial weak solution of the problem (\(P_{\lambda }\)). Let us denote \(d:=\inf_{z \in\overline{B}_{r}}{I_{\lambda}(z)}\) where \({B}_{r} := \{ z \in E : \|z\|_{E} < r \}\) with a boundary \(\partial{B}_{r}\). Then by (3.10) and Lemma 3.4(3), we have \(-\infty< d < 0\). Putting \(0< \epsilon< \inf_{z \in\partial{B}_{r}}{I_{\lambda }(z)}-d\), by Lemma 3.11, we can choose \(z_{\epsilon} \in \overline{B}_{r}\) such that
This implies that \(z_{\epsilon} \in{B}_{r}\) since \(I_{\lambda}( z_{\epsilon} ) \leq d + \epsilon< \inf_{z \in\partial {B}_{r}}{I_{\lambda}(z)}\). From these facts we see that \(z_{\epsilon}\) is a local minimum of \(\widetilde{I}_{\lambda}( z ) = I_{\lambda}(z) + \frac{\epsilon }{1+ \|z_{\epsilon}\|_{E} } \|z-z_{\epsilon} \|_{E}\). Now by taking \(z = z_{\epsilon} +tw \) for \(w \in{B}_{1}\) and sufficiently small \(t>0\), from (3.28), we deduce
Therefore, letting \(t \rightarrow0+ \), we get
Replacing w by −w in the argument above, we have
Thus, one has
for any \(w \in\overline{B}_{1}\). Hence we have
Using (3.28) and (3.29), we can choose a sequence \(\{ z_{n} \} \subset B_{r} \) such that
Thus, \(\{ z_{n} \} \) is a bounded Cerami sequence in the reflexive Banach space E. According to Lemma 3.9, \(\{ z_{n} \} \) has a subsequence \(\{ z_{n_{k}} \} \) such that \(z_{n_{k}} \to z_{1} \) in E as \(k \to\infty\). This together with (3.30) shows that \(I_{\lambda }( z_{1} ) =d\) and \(I_{\lambda}^{\prime}(z_{1})=0\). Hence \(z_{1}\) is a nontrivial nonnegative solution of the given problem with \(I_{\lambda }( z_{1} )<0\) which is different from \(z_{0}\). This completes the proof. □
References
Ali, K.B., Hsini, M., Kefi, K., Chung, N.T.: On a nonlocal fractional \(p(\cdot,\cdot)\)-Laplacian problem with competing nonlinearities. Complex Anal. Oper. Theory 13, 1377–1399 (2019)
Alves, C.O., Liu, S.B.: On superlinear \(p(x)\)-Laplacian equations in \(\mathbb {R}^{N}\). Nonlinear Anal. 73, 2566–2579 (2010)
Ambrosetti, A., Brezis, H., Cerami, G.: Combined effects of concave and convex nonlinearities in some elliptic problems. J. Funct. Anal. 122, 519–543 (1994)
Ambrosetti, A., Rabinowitz, P.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Ayazoglu, R., Sarac, Y., Sener, S.S., Alisoy, G.: Existence and multiplicity of solutions for a Schrödinger–Kirchhoff type equation involving the fractional \(p(\cdot,\cdot)\)-Laplacian operator in \(\mathbb {R}^{N}\). Collect. Math. (2020). https://doi.org/10.1007/s13348-020-00283-5
Bae, J.-H., Kim, Y.-H.: Critical points theorems via the generalized Ekeland variational principle and its application to equations of \(p(x)\)-Laplace type in \(\mathbb {R}^{N}\). Taiwan. J. Math. 23, 193–229 (2019)
Bahrouni, A.: Comparison and sub-supersolution principles for the fractional \(p(x)\)-Laplacian. J. Math. Anal. Appl. 458, 1363–1372 (2018)
Bahrouni, A., Rădulescu, V.: On a new fractional Sobolev space and applications to nonlocal variational problems with variable exponent. Discrete Contin. Dyn. Syst., Ser. S 11, 379–389 (2018)
Barrios, B., Colorado, E., De Pablo, A., Sanchez, U.: On some critical problems for the fractional Laplacian operator. J. Differ. Equ. 252, 6133–6162 (2012)
Biswas, R., Tiwari, S.: Multiplicity and uniform estimate for a class of variable order fractional \(p(x)\)-Laplacian problems with concave–convex nonlinearities (2019). arXiv:1810.12960v3
Boureanu, M.-M., Preda, F.: Infinitely many solutions for elliptic problems with variable exponent and nonlinear boundary conditions. Nonlinear Differ. Equ. Appl. 19, 235–251 (2012)
Brändle, C., Colorado, E., de Pablo, A., Sánchez, U.: A concave–convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb. 143, 39–71 (2013)
Brézis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Universitext. Springer, New York (2001)
Caffarelli, L.: Non-local equations, drifts and games. In: Nonlinear Partial Differential Equations. Abel Symposia, vol. 7, pp. 37–52. Springer, Berlin (2012)
Carvalho, M.L.M., da Silva, E.D., Goulart, C.: Quasilinear elliptic problems with concave–convex nonlinearities. Commun. Contemp. Math. 19, Article ID 1650050 (2017)
Chen, W., Deng, S.: The Nehari manifold for nonlocal elliptic operators involving concave–convex nonlinearities. Z. Angew. Math. Phys. 66, 1387–1400 (2014)
Choi, E.B., Kim, J.-M., Kim, Y.-H.: Infinitely many solutions for nonlinear elliptic equations of \(p(x)\)-Laplace type without the Ambrosetti and Rabinowitz condition. Proc. R. Soc. Edinb. 148, 1–31 (2018)
Chung, N.T.: Eigenvalue problems for fractional \(p(x,y)\)-Laplacian equations with indefinite weight. Taiwan. J. Math. 23, 1153–1173 (2019)
Chung, N.T., Toan, H.Q.: On a class of fractional Laplacian problems with variable exponents and indefinite weights. Collect. Math. 71, 223–237 (2020)
Colasuonno, F., Pucci, P.: Multiplicity of solutions for \(p(x)\)-polyharmonic elliptic Kirchhoff equations. Nonlinear Anal. 74, 5962–5974 (2011)
Dai, G.W., Hao, R.F.: Existence of solutions of a \(p(x)\)-Kirchhoff-type equation. J. Math. Anal. Appl. 359, 275–284 (2009)
de Figueiredo, D.G., Gossez, J.P., Ubilla, P.: Local superlinearity and sublinearity for indefinite semilinear elliptic problems. J. Funct. Anal. 199, 452–467 (2003)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Diening, L., Harjulehto, P., Hästö, P., Ru̇žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics, vol. 2017. Springer, Berlin (2011)
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47, 324–353 (1974)
Fan, X.L., Zhang, Q.H.: Existence of solutions for \(p(x)\)-Laplacian Dirichlet problem. Nonlinear Anal. 52, 1843–1852 (2003)
Fan, X.L., Zhao, D.: On the spaces \(L^{p(x)}(\varOmega)\) and \(W^{m,p(x)}(\varOmega)\). J. Math. Anal. Appl. 263, 424–446 (2001)
Gilboa, G., Osher, S.: Nonlocal operators with applications to image processing. Multiscale Model. Simul. 7, 1005–1028 (2008)
Ho, K., Kim, Y.-H.: A-priori bounds and multiplicity of solutions for nonlinear elliptic problems involving the fractional \(p(\cdot)\)-Laplacian. Nonlinear Anal. 188, 179–201 (2019)
Ho, K., Sim, I.: Existence and multiplicity of solutions for degenerate \(p(x)\)-Laplace equations involving concave–convex type nonlinearities with two parameters. Taiwan. J. Math. 19, 1469–1493 (2015)
Jeanjean, L.: On the existence of bounded Palais–Smale sequences and application to a Landsman–Lazer type problem set on \(\mathbb {R}^{N}\). Proc. R. Soc. Edinb. A 129, 787–809 (1999)
Juárez Hurtado, E., Miyagaki, O.H., Rodrigues, R.S.: Existence and multiplicity of solutions for a class of elliptic equations without Ambrosetti–Rabinowitz type conditions. J. Dyn. Differ. Equ. 30, 405–432 (2018)
Kaufmann, U., Rossi, J.D., Vidal, R.: Fractional Sobolev spaces with variable exponents and fractional \(p(x)\)-Laplacians. Electron. J. Qual. Theory Differ. Equ. 2017, Article ID 76 (2017)
Kim, I.H., Kim, Y.-H.: Positivity of the infimum eigenvalue for equations of \(p(x)\)-Laplace type in \(\mathbb {R}^{N}\). Bound. Value Probl. 2013, Article ID 214 (2013)
Kim, I.H., Kim, Y.-H.: Mountain pass type solutions and positivity of the infimum eigenvalue for quasilinear elliptic equations with variable exponents. Manuscr. Math. 147, 169–191 (2015)
Kim, J.-M., Kim, Y.-H., Lee, J.: Existence of weak solutions to a class of Schrödinger type equations involving the fractional p-Laplacian in \(\mathbb {R}^{N}\). J. Korean Math. Soc. 56, 1441–1461 (2019)
Kirchhoff, G.: Vorlesungen über Mechanik. Teubner, Leipzig (1883)
Kováčik, O., Rákosník, J.: On spaces \(L^{p(x)}\) and \(W^{k,p(x)}\). Czechoslov. Math. J. 41, 592–618 (1991)
Laskin, N.: Fractional quantum mechanics and Levy path integrals. Phys. Lett. A 268, 298–305 (2000)
Lee, J., Kim, J.-M., Kim, Y.-H.: Existence and multiplicity of solutions for Kirchhoff–Schrödinger type equations involving \(p(x)\)-Laplacian on the entire space \({\mathbb {R}}^{N}\). Nonlinear Anal., Real World Appl. 45, 620–649 (2019)
Liu, D.C.: On a \(p(x)\)-Kirchhoff-type equation via fountain theorem and dual fountain theorem. Nonlinear Anal. 72, 302–308 (2010)
Mihăilescu, M., Rădulescu, V.: A multiplicity result for a nonlinear degenerate problem arising in the theory of electrorheological fluids. Proc. R. Soc. Ser. A 462, 2625–2641 (2006)
Pucci, P., Xiang, M., Zhang, B.: Multiple solutions for nonhomogeneous Schrödinger–Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785–2806 (2015)
Ru̇žička, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Lecture Notes in Mathematics, vol. 1748. Springer, Berlin (2000)
Servadei, R., Valdinoci, E.: Mountain pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 389, 887–898 (2012)
Willem, M.: Minimax Theorems. Birkhäuser, Basel (1996)
Wu, T.-F.: On semilinear elliptic equations involving concave–convex nonlinearities and sign-changing weight function. J. Math. Anal. Appl. 318, 253–270 (2006)
Wu, T.-F.: Multiple positive solutions for a class of concave–convex elliptic problems in \(\mathbb {R}^{N}\) involving sign-changing weight. J. Funct. Anal. 258, 99–131 (2010)
Xiang, M., Zhang, B., Ferrara, M.: Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 424, 1021–1041 (2015)
Xiang, M., Zhang, B., Ferrara, M.: Multiplicity results for the non-homogeneous fractional p-Kirchhoff equations with concave–convex nonlinearities. Proc. R. Soc. A 471, Article ID 20150034 (2015)
Zhong, C.-K.: A generalization of Ekeland’s variational principle and application to the study of relation between the weak P.S. condition and coercivity. Nonlinear Anal. 29, 1421–1431 (1997)
Acknowledgements
The authors gratefully thank the referee for the constructive comments and recommendations, which definitely help to improve the readability and quality of the paper.
Availability of data and materials
Not applicable.
Funding
The first author was supported by the Incheon National University Research Grant in 2016.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kim, I.H., Kim, YH. & Park, K. Existence and multiplicity of solutions for Schrödinger–Kirchhoff type problems involving the fractional \(p(\cdot )\)-Laplacian in \(\mathbb{R}^{N}\). Bound Value Probl 2020, 121 (2020). https://doi.org/10.1186/s13661-020-01419-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01419-z