Abstract
We are concerned with the following quasilinear Choquard equation:
where \(1< p<\infty\), \(\Delta_{p} u=\nabla\cdot(|\nabla u|^{p-2}\nabla u)\) is the p-Laplacian operator, the potential function \(V:\mathbb {R}^{N}\to(0,\infty)\) is continuous and \(F \in C^{1}(\mathbb {R}, \mathbb {R})\). Here, \(I_{\alpha}: {\mathbb {R}}^{N}\rightarrow {\mathbb {R}}\) is the Riesz potential of order \(\alpha\in(0,p)\). We study the existence of weak solutions for the problem above via the mountain pass theorem and the fountain theorem. Furthermore, we address the behavior of weak solutions to the problem near the origin under suitable assumptions for the nonlinear term f.
Similar content being viewed by others
1 Introduction
We are concerned with the following quasilinear Choquard equation:
where \(1< p< N\), \(\Delta_{p} u=\nabla\cdot(|\nabla u|^{p-2}\nabla u)\) is the p-Laplacian operator, the potential function \(V:\mathbb {R}^{N}\to(0,\infty)\) is continuous and \(F \in C^{1}(\mathbb {R}, \mathbb {R})\) with \(F(t)=\int_{0}^{t}f(s) \,ds\). Here, \(I_{\alpha}: {\mathbb {R}}^{N}\rightarrow {\mathbb {R}}\) is the Riesz potential of order \(\alpha\in(0,p)\) on the Euclidean space \({\mathbb {R}}^{N}\) of dimension \(N \geq1\), defined for each \(x\in {\mathbb {R}}^{N}\setminus\{0\}\) by
where \(\Gamma(\cdot)\) stands for a standard Gamma function. The Choquard equation was also introduced by Choquard in 1976 in the modeling of a one-component plasma [1]. It seems to originate from the Frohlich and Pekarí’s model of the polaron, which is a quasiparticle used in condensed matter physics to understand the interactions between electrons and atoms in a solid material [2, 3]. This equation is also known as the Schrödinger–Newton equation in models coupling the Schrödinger equation of quantum physics together with relativistic or nonrelativistic Newtonian gravity [4, 5]. Thus, they have become very significant in physics (see [6] for a review paper).
For this reason, many researchers have extensively studied the Choquard type equation in various ways; see [7–18] and the references therein.
Recently, the authors [19] dealt with the existence of positive solutions to the problem (P) on the whole space \(\mathbb{R}^{N}\), based on the assumption that the nonlinearity f satisfies the following Ambrosetti–Rabinowitz superlinear condition [20], which is commonly called the (AR)-condition:
where \(F(t)=\int_{0}^{t}f(s) \,ds\). It is well known that the (AR)-condition is quite natural and important not only to ensure that an Euler–Lagrangian functional has the mountain pass geometry, but also to guarantee that the Palais–Smale sequences of the functional are bounded. However, this condition is very restrictive and eliminates many nonlinearities. Thus, many researchers have tried to drop the (AR)-condition for elliptic equations involving the p-Laplacian; see e.g. [21–24].
The purpose of this paper is to study the existence of weak solutions for the problem (P) without the (AR)-condition as observing various assumptions for the nonlinear term f compare to result in [19]. In particular, following Remark 1.8 in [21], there are many examples which do not fulfill the condition of f given in [22, 23, 25]. On the other hand, in the case of the whole space \(\mathbb {R}^{N}\), the main difficulty of this problem is the lack of compactness for the Sobolev theorem and we introduce the potential V to the equation. To be precise, we prove the existence of weak solutions for the quasilinear Choquard equation (P) under the Cerami condition, as a weak version of the Palais–Smale condition. To do this, first, we use the uniform boundedness of the convolution part, \(\vert I_{\alpha}*F \vert < \infty\) for our analysis (see Section 3.1 for a detailed description) and thus the property of \((S_{+})\) type operator with this uniform estimate gives a lot of help when we choose Cerami sequences. Second, we show the multiplicity of weak solutions to the quasilinear Choquard equation (P) via the fountain theorem to obtain the infinitely many weak solutions. Third, we establish the existence of a sequence of weak solutions for the problem (P) converging to zero to obtain the \(L^{\infty}\)-bound of weak solutions to the problem (P) based on an iteration method. To the best of our knowledge, there were no such existence results for our problem in this situation.
2 Preliminaries
Let \(1< p< N\) and \(p^{*}:=Np/(N-p)\) denote the Sobolev conjugate of p. Suppose that
-
(V)
\(V\in C(\mathbb {R}^{N},\mathbb {R})\), \(\inf_{x\in\mathbb {R}^{N}}V(x):=V_{0}>0\), \(\operatorname{meas} \{x\in\mathbb {R}^{N}:V(x)\le M \} <+\infty\) for all \(M\in\mathbb {R}\).
Define the linear subspace
Then X is a reflexive separable Banach space with the norm
which is equivalent to the norm \(\Vert \cdot \Vert _{W^{1,p}({\mathbb {R}}^{N})}\) given by
We recall the well-known embedding results in [21, Lemma 2.1]; see also [26].
Lemma 2.1
The following statements hold:
-
(i)
There is a continuous embedding \(W^{1,p}({\mathbb {R}}^{N})\hookrightarrow L^{s}({\mathbb {R}}^{N})\) for any \(s \in [p, p^{*}]\).
-
(ii)
If V satisfies the assumption (V), then there is a compact embedding \(X\hookrightarrow L^{s}({\mathbb {R}}^{N})\) for any \(s \in[p, p^{*})\).
Throughout this paper, let X be the completion of \(C_{0}^{\infty}(\mathbb {R}^{N}, \mathbb {R})\), and \(X^{*}\) be a dual space of X. Furthermore, \(\langle\cdot,\cdot \rangle\) denotes the pairing of X and its dual \(X^{*}\). All generic constants will be denoted by C, which may vary from line to line.
Definition 2.2
We say that \(u\in X\) is a weak solution of the problem (P) if
for all \(v \in X\).
Let us define the functional \(\Phi: X \to\mathbb {R}\) by
Under the assumption (V), it is obvious that the functional Φ is well defined on X, \(\Phi\in C^{1}(X,\mathbb {R})\) and its Fréchet derivative is given by
We suppose that the following assumptions hold:
-
(F1)
\(F\in C^{1}({\mathbb {R}},{\mathbb {R}})\).
-
(F2)
There exist a constant \(\sigma>0\) and \(1< p< q_{1}\le q_{2}< \frac{\alpha p}{N-p}\) such that for all \(t \in\mathbb {R}\),
$$\bigl\vert f(t) \bigr\vert \le\sigma\bigl( \vert t \vert ^{q_{1}-1}+ \vert t \vert ^{q_{2}-1}\bigr). $$ -
(F3)
There exists \(\delta>0\) such that
$$F(t)\leq0\quad \text{and}\quad \vert t \vert < \delta. $$ -
(F4)
\(\lim_{ \vert t \vert \to\infty}{\frac {F(t)}{ \vert t \vert ^{ p}}}=\infty\).
-
(F5)
There exist \(c_{0}\ge0\), \(r_{0}\ge0\), and \(\kappa> \frac{N}{p}\) such that
$$\bigl\vert F(t) \bigr\vert ^{\kappa}\le c_{0} \vert t \vert ^{\kappa p}{\mathfrak {F}}(t) $$for all \(t\in\mathbb {R}\) and \(\vert t \vert \ge r_{0}\), where \({\mathfrak {F}}(t):=\frac{1}{p}f(t)t-\frac{1}{2}F(t)\ge0\).
-
(F6)
\(f(-t)=-f(t)\) holds for all \(t\in\mathbb {R}\).
To comment on the assumptions about the nonlinearity f, we would like to recall an important inequality due to [1].
Let \(s, r > 1\) and \(\alpha< p \) with \(1/s + (N-\alpha)/N + 1/r = 2\). Let \(g\in L^{s} (\mathbb {R}^{N})\) and \(h\in L^{r}(\mathbb {R}^{N})\). Then there exists a sharp constant \(C(s, N, \alpha, r)\), independent of g and h, such that
In particular, \(F(t) = |t|^{q_{1}}\) for some \(q_{1} > 0\). By the Hardy–Littlewood–Sobolev inequality,
is well defined if \(F\in L^{s} (\mathbb {R}^{N} )\) for \(s > 1\) is defined by
Since \(u \in W^{1,p}(\mathbb {R}^{N} )\), we must require that \(sq_{1}\in[p, p^{*}]\). For the subcritical case, we must assume
Next we define the functional \(\Psi:X\to\mathbb {R}\) by
Then it is easy to check that \(\Psi\in C^{1}(X,\mathbb {R})\) and its Fréchet derivative is
for any \(u,v \in X\). Also we define the functional \(\mathcal{I}_{\lambda}:X\to\mathbb {R}\) by
Then it follows that the functional \(\mathcal{I}_{\lambda}\in C^{1}(X,\mathbb {R})\) and its Fréchet derivative is
for any \(u,v\in X\).
According to similar arguments in [27, Theorem 4.1], the following lemma is easily checked, and thus we omit the proof. That is, the operator \(\Phi^{\prime}\) is of type \((S_{+})\); see [28].
Lemma 2.3
Assume that the assumption (V) holds. Then the functional \(\Phi:X\to\mathbb {R}\) is convex and weakly lower semicontinuous on X. Moreover, the operator \(\Phi^{\prime}\) is of type \((S_{+})\), i.e., if \(u_{n}\rightharpoonup u\) in X and \(\lim\sup_{n\to \infty} \langle\Phi^{\prime}(u_{n})-\Phi^{\prime}(u), u_{n}-u \rangle\le0\), then \(u_{n}\to u\) in X as \(n\to\infty\).
In our setting, we need the following lemma according to a similar argument in [29, Lemma 3.2]. We give a detailed proof for the convenience of the reader.
Lemma 2.4
Assume that (V) and (F1)–(F2) hold. Then Ψ and \(\Psi^{\prime}\) are weakly strongly continuous on X.
Proof
See the Appendix. □
3 Existence of weak solutions
In this section, we shall give the proof of the existence of nontrivial weak solutions for the problem (P), by applying the mountain pass theorem and the fountain theorem.
With the aid of Lemmas 2.3 and 2.4, we prove that the energy functional \(\mathcal{I}_{\lambda}\) satisfies the Cerami condition (\((C)_{c}\)-condition for short), i.e., for \(c\in\mathbb {R}\), any sequence \(\{u_{n} \}\subset X\) such that
has a convergent subsequence. This plays a key role in obtaining the existence of a nontrivial weak solution for the given problem.
Before investigating a crucial lemma, we note that following [19], there exists \(\mathcal{M}>0\), such that
Indeed, by the assumption (F2),
where we use the fact that \(p< q_{1}\leq q_{2}< p^{*}\). Choosing \(t_{1} \in(N/\alpha, Np/(N-p)q_{1})\) and \(t_{2} \in(N/\alpha, Np/(N-p)q_{2})\), it follows from Hölder’s inequality,
Similarly, we get
Since both \(N-1-\frac{t_{i}(N-\alpha)}{t_{i}-1} > -1\), for \(i= 1,2\), there is a constant \(C >0 \) such that
Hence this inequality implies the uniform boundedness (3.1) for the convolution part.
3.1 Existence of weak solutions: approach to the mountain pass theorem
We give the following result to show that the energy functional \(\mathcal{I}_{\lambda}\) satisfies the geometric conditions of the mountain pass theorem based on the idea of Lemma 3.2 in [30].
Lemma 3.1
Assume that (V) and (F1)–(F4) hold. Then the geometric conditions in the mountain pass theorem hold, i.e.,
-
(1)
\(u=0\) is a strict local minimum for \(\mathcal{I}_{\lambda}(u)\),
-
(2)
\(\mathcal{I}_{\lambda}(u)\) is unbounded from below on X.
Proof
In view of the assumption (F3), \(u=0\) is a strict local minimum for \(\mathcal{I}_{\lambda}(u)\). Next we show that the condition (2) holds. By the assumption (F4), we can take \(s_{0}\) such that \(F(s_{0})\neq0\) and we have to find
where \(B_{r}\) denotes the open ball centered at the origin with radius r and \(\mathbf{1}_{A}\) denotes the standard indicator function of a set A.
Due to the density theorem, there will be \(v_{0}\in X\) with
Now, for \(t>0\), we define a function \(v_{t}:\mathbb {R}^{N}\to\mathbb {R}\) for \(x\in\mathbb {R}^{N}\) by \(v_{t}(x):=v_{0} (\frac{x}{t} )\). This function verifies
for sufficiently large t. Therefore, we assert that \(\mathcal{I}_{\lambda}(v_{t})\to-\infty\) as \(t \to\infty\). Hence we conclude that the functional \(\mathcal{I}_{\lambda}\) is unbounded from below. This completes the proof. □
Lemma 3.2
Assume that (V), (F1)–(F2), and (F4)–(F5) hold. Then the functional \(\mathcal{I}_{\lambda}\) satisfies the \((C)_{c}\)-condition for any \(\lambda>0\).
Proof
For \(c\in\mathbb {R}\), let \(\{u_{n}\}\) be a \((C)_{c}\)-sequence in X, that is,
This says that
where \(o(1)\to0\) as \(n\to\infty\). It follows from Lemmas 2.3 and 2.4 that \(\mathcal{I}_{\lambda}^{\prime}\) is of type \((S_{+})\). Since \(\mathcal{I}_{\lambda}^{\prime}\) is of type \((S_{+})\) and X is reflexive, it suffices to prove that the sequence \(\{u_{n}\}\) is bounded in X. We argue by contradiction. Suppose that the sequence \(\{u_{n} \}\) is unbounded in X. Then we may assume that \(\Vert u_{n} \Vert _{X}>1\) and \(\Vert u_{n} \Vert _{X}\to\infty\) as \(n\to\infty\). Define a sequence \(\{w_{n} \}\) by \(w_{n}={u_{n}}/{ \Vert u_{n} \Vert _{X}}\). It is clear that \(\{w_{n} \} \subset X\) and \(\Vert w_{n} \Vert _{X}=1\). Hence, up to a subsequence, still denoted by \(\{w_{n} \}\), we obtain \(w_{n}\rightharpoonup w\) in X as \(n\to\infty\) and note that
for \(p\leq s< p^{*}\). According to (3.1), we obtain
Since \(\Vert u_{n} \Vert _{X}\to\infty\) as \(n\to\infty\), we have
In addition, it follows from Eq. (3.2) that
for sufficiently large n. The assumption (F4) implies that there exists \(t_{0}>1\) such that \({F(t)}>{ \vert t \vert ^{p}}\) for all \(\vert t \vert >t_{0}\). From the assumptions (F1) and (F2), there exists \(\mathcal{C}>0\) such that \(\vert F(t) \vert \leq \mathcal{C}\) for all \(t\in[-t_{0},t_{0}]\). Therefore we can choose a real number \(\mathcal{C}_{0}\) such that \(F(t)\geq\mathcal{C}_{0}\) for all \(t\in\mathbb {R}\), and thus
for all \(n\in\mathbb {N}\). Therefore there exists a real number \(\mathcal{C}_{1}\) such that
Set \(\Omega_{1}= \{ x\in\mathbb {R}^{N} : w(x)\neq0 \}\). By the convergence (3.3), we know that
for all \(x\in\Omega_{1}\). So then it follows from the assumption (F4) and Hölder’s inequality that, for all \(x\in\Omega_{1}\), we have
Hence we get \(\operatorname{meas}(\Omega_{1})=0\). Indeed, if \(\operatorname{meas}(\Omega_{1})\neq0\), according to (3.5)–(3.6) and Fatou’s lemma, we obtain
from which we deduce a contradiction. Thus \(w(x)=0\) for almost all \(x\in\mathbb {R}^{N}\). Using (3.2), we get
Let us define \(\Omega_{n}(a,b):=\{ x\in\mathbb {R}^{N} : a \le \vert u_{n}(x) \vert < b \}\) for \(a \geq0\). The convergence (3.3) means that
for \(p \leq r < p^{*}\). Hence by the relation (3.4) we get
On the other hand, from the assumption (F2) and Eq. (3.3), it follows that
due to \(p< q_{1}\leq q_{2}\). Set \(\kappa^{\prime}=\kappa/ (\kappa-1)\). Since \(\kappa> N / p\), we get \(p < \kappa^{\prime} p < p^{*}\). Hence, it follows from (F5), (3.7), and (3.8) that
Combining the estimates (3.10) with (3.11), we have
which contradicts (3.9). This completes the proof. □
Using Lemma 3.2, we prove the existence of a nontrivial weak solution for our problem under the assumptions.
Theorem 3.3
Assume that (V) and (F1)–(F5) hold. Then the problem (P) has a nontrivial weak solution for all \(\lambda>0\).
Proof
Note that \(\mathcal{I}_{\lambda}(0)=0\). In view of Lemma 3.1, the geometric conditions in the mountain pass theorem are fulfilled. And also, \(\mathcal{I}_{\lambda}\) satisfies the \((C)_{c}\)-condition for any \(\lambda>0\) by Lemma 3.2. Hence, the problem (P) has a nontrivial weak solution for all \(\lambda>0\). This completes the proof. □
3.2 Existence of a sequence of weak solutions: approach to the fountain theorem
In this subsection, applying the fountain theorem in [31, Theorem 3.6] with the oddity on f, we investigate infinitely many weak solutions for the problem (P). For this purpose, let W be a reflexive and separable Banach space. Then there are \(\{e_{n}\}\subseteq W\) and \(\{f_{n}^{*}\}\subseteq W^{*}\) such that
and
Let us denote \(W_{n}=\operatorname{span}\{e_{n}\}\), \(Y_{k}=\bigoplus_{n=1}^{k}W_{n}\), and \(Z_{k}= \overline{\bigoplus_{n=k}^{\infty}W_{n}}\).
Lemma 3.4
Let X be a real reflexive Banach space. Suppose that \(I \in C^{1}(X,\mathbb {R})\) satisfies the \({(C)_{c}}\)-condition for any \(c>0\) and I is even. If for each sufficiently large \(k \in\mathbb {N}\), there exist \(\rho_{k}> \delta_{k}>0\) such that the following conditions hold:
-
(1)
\(b_{k}:=\inf\{ I(u):u\in Z_{k}, \Vert u \Vert _{X}= \delta _{k}\}\to\infty\) as \(k\to\infty\);
-
(2)
\(a_{k}:=\max\{ I(u):u\in Y_{k}, \Vert u \Vert _{X}=\rho_{k}\} \le0\).
Then the functional I has an unbounded sequence of critical values, i.e., there exists a sequence \(\{u_{n}\}\subset X\) such that \(I^{\prime}(u_{n})=0\) and \(I(u_{n})\to\infty\) as \(n\to\infty\).
Theorem 3.5
Assume that (V), (F1)–(F2), and (F4)–(F6) hold. Then, for any \(\lambda>0\), the problem (P) possesses an unbounded sequence of nontrivial weak solutions \(\{u_{n}\}\) in X such that \(\mathcal{I}_{\lambda}(u_{n})\to\infty\) as \(n\to\infty\).
Proof
It is obvious that \(\mathcal{I}_{\lambda}\) is an even functional and satisfies the \((C)_{c}\)-condition. It suffices to show that there exist \(\rho_{k}> \delta_{k}>0\) such that
-
(1)
\(b_{k}:=\inf\{\mathcal{I}_{\lambda}(u):u\in Z_{k}, \Vert u \Vert _{X}= \delta_{k}\}\to\infty\) as \(k\to\infty\);
-
(2)
\(a_{k}:=\max\{\mathcal{I}_{\lambda}(u):u\in Y_{k}, \Vert u \Vert _{X}=\rho_{k}\}\le 0\) for k large enough.
Denote
Then we have \(\alpha_{k} \to0\) as \(k \to\infty\). In fact, assume to the contrary that there exist \(\varepsilon_{0}>0\), \(k_{0}\in\mathbb {N}\), and a sequence \(\{u_{k}\}\) in \(Z_{k}\) such that
for all \(k \ge k_{0}\). By the boundedness of the sequence \(\{u_{k}\}\) in X, we can find an element \(u \in X\) such that \(u_{k} \rightharpoonup u\) in X as \(k\to\infty\) and
for \(j=1,2,\ldots \) . Thus we deduce \(u=0\). However, we see that
which is a contradiction.
For any \(u \in Z_{k}\), we may suppose that \(\Vert u \Vert _{X}>1\). According to the assumption (F2), we obtain
where \(q_{i}\) is either \(q_{1}\) or \(q_{2}\). If we take
then \(\delta_{k}\to\infty\) as \(k\to\infty\) because \(p< q_{i}\) and \(\alpha_{k}\to0\) as \(k\to\infty\). Hence, if \(u \in Z_{k}\) and \(\Vert u \Vert _{X}=\delta_{k}\), then we conclude that
This implies that the condition (1) holds.
The proof of the condition (2) proceeds analogously as in the proof of Theorem 1.3 of [25]. For the reader’s convenience, we give the proof. Assume that the condition (2) is not true. Then, for some k there exists a sequence \(\{u_{n}\}\) in \(Y_{k}\) such that
Set \(w_{n}=u_{n}/ \Vert u_{n} \Vert _{X}\). Note that \(\Vert w_{n} \Vert _{X}=1\). Since \(\dim{Y_{k}}<\infty\), there exists \(w\in Y_{k}\setminus\{0\}\) such that up to a subsequence,
for almost all \(x\in\mathbb {R}^{N}\) as \(n\to\infty\). If \(w(x)\neq 0\), then \(\vert u_{n}(x) \vert \to\infty\) for all \(x\in\mathbb {R}^{N}\) as \(n\to\infty\). Hence we obtain by the assumption (F4) that
for all \(x\in\Omega_{2}:= \{ x\in\mathbb {R}^{N} : w(x)\neq0 \}\). A similar argument to (3.6) proves that
Therefore, we conclude that
which contradicts (3.12). This completes the proof. □
3.3 Existence of a sequence of weak solutions converging to zero
Now, we deal with the existence of a sequence of weak solutions converging to zero for the problem (P). First of all, we need the following additional assumptions for f:
-
(F7)
\(pF(t) - f(t)t > 0\) for \(t\neq0\).
-
(F8)
\(\lim_{ \vert t \vert \to0}{\frac {f(t)}{ \vert t \vert ^{p-2}t}}=+\infty\).
From the assumptions above, we show the existence of a sequence of solutions for the problem (P) converging to zero in the \(L^{\infty}\)-norm based on the iteration method in [32, Theorem 4.1]. Since the problem (P) contains the potential term V, more sophisticated analysis has to be carefully carried out in comparison to the result in [32] (compare to [33] for the bounded domain).
Proposition 3.6
Assume that (V) and (F1)–(F2) hold. If u is a weak solution of the problem (P), then \(u\in L^{\infty}({\mathbb {R}}^{N})\).
Proof
The proof is given in the Appendix. □
The following lemma is quoted from [34].
Lemma 3.7
Let \(I\in C^{1}(X,{\mathbb {R}})\) where X is a Banach space. Assume I satisfies the \((\mathit{PS})\)-condition, is even and bounded from below, and \(I(0)=0\). If for any \(n\in{\mathbb {N}}\), there exist an n-dimensional subspace \(X_{n}\) and \(\rho_{n}>0\) such that
where \(S_{\rho}:= \{ u \in X : \Vert u \Vert _{X}=\rho \}\), then I has a sequence of critical values \(c_{n}<0\) satisfying \(c_{n}\to 0\) as \(n \to\infty\).
The following lemmas are quoted from [28, 35].
Lemma 3.8
Let \(I\in C^{1}(X,{\mathbb {R}})\) where X is a Banach space. Assume that (F1)–(F2) and (F7) hold. Then
Lemma 3.9
Assume that (F1)–(F2) and (F7)–(F8) hold. Then there exist \(t_{0}>0\) and \(\tilde{f}\in C^{1}(\mathbb {R},{\mathbb {R}})\) such that \(\tilde{f}(t)\) is odd in t and satisfy
where \(\frac{\partial}{\partial t}\tilde{F}(t)=\tilde{f}(t)\).
Proof
Let us define a cut-off function \(\kappa\in C^{1}({\mathbb {R}}, {\mathbb {R}})\) satisfying \(\kappa(t)=1\) for \(|t|\le t_{0}\), \(\kappa(t)=0\) for \(|t| \ge2t_{0}\), \(|\kappa^{\prime}(t)|\le2/t_{0}\), and \(\kappa^{\prime}(t)t\le0\). So, we define
where \(\xi> 0\) is a constant. It is straightforward that
where \({\mathcal {F}}(t):=pF(t)-f(t)t\). For \(|t| \le t_{0}\) and \(|t| \ge2t_{0}\) the conclusion follows. Due to (F8), we choose a sufficiently small \(t_{0}>0\) such that \(F(t)\ge\xi t^{p}\) for \(t_{0} \le|t| \le2t_{0}\). By the assumption (F7) with the definition of κ, we get the conclusion. □
Now, for convenience of the reader, we prove the following result using Proposition 3.6 and Lemmas 3.7 and 3.9 (see e.g. [35, pp. 18–21]).
Theorem 3.10
Assume that (V), (F1)–(F2), and (F4)–(F8) hold. Then there exists a positive constant \(\lambda^{*}\) such that, for every \(\lambda\in[0,\lambda^{*})\), the problem (P) has a sequence of weak solutions \(u_{n}\) such that \(\Vert u_{n} \Vert _{L^{\infty }(\mathbb {R}^{N})}\to0\) as \(n\to\infty\).
Proof
First of all, we claim that \(\mathcal{I}_{\lambda}\) is coercive on X. Let \(u\in X\) and \(\Vert u \Vert _{X}>1\). For the given function f, we can modify and extend \({\tilde{f}}\in C^{1}(\mathbb {R},{\mathbb {R}})\) satisfying all properties listed in Lemma 3.9 with ξ such that \(\lambda pC\xi\le1 \). And also by Lemma 3.9, it is easy to show that \({\tilde{\mathcal{I}}_{\lambda}}\in C^{1}(X,{\mathbb {R}})\) and is even on X. Moreover, it follows from (F2) that, for \(|u(x)|\leq2t_{0}\) for a sufficiently small \(t_{0}\), there exists a positive constant \(M_{1}\) such that \(|F(u)|\le M_{1} |u|^{p}\).
Set \(\Omega_{3}:= \{ x\in\mathbb {R}^{N} : \vert u(x) \vert \le t_{0} \}\), \(\Omega_{4}:= \{ x\in\mathbb {R}^{N} : t_{0} \le|u(x)| \le 2t_{0} \}\), and \(\Omega_{5}:= \{ x\in\mathbb {R}^{N} : 2t_{0} \le |u(x)| \}\), where \(t_{0}\) is given in Lemma 3.9. From (F8), (3.13), and the conditions of κ, we have
If we set
then for every \(\lambda\in[0,\lambda^{*})\) we have \({\tilde{\mathcal{I}}}_{\lambda}\) is coercive, that is, \({\tilde{\mathcal{I}}_{\lambda}}(u)\to\infty\) as \(\Vert u \Vert _{X}\to\infty\). By a standard argument, \({\tilde{\mathcal{I}}_{\lambda}}\) satisfies the \((\mathit{PS})_{c}\)-condition. In order to apply Lemma 3.7, we only need to find for any \(n\in{\mathbb {N}}\), a subspace \(X_{n}\) and \(\rho_{n}>0\) such that \(\sup_{X_{n}\cap S_{\rho_{n}}}{{\tilde{\mathcal{I}}_{\lambda}}}<0\). For any \(n\in{\mathbb {N}}\) we find n independent smooth functions \(\phi_{i}\) for \(i=1,\ldots,n\), and define \(X_{n}:= \operatorname{span} \{ \phi_{1},\ldots,\phi_{n} \}\). Due to Lemma 3.9, when \(\Vert u \Vert _{X}<1\) we have
It follows from the assumption (F8) that, for a sufficiently large \(M_{2}>0\), there exists \(\delta_{0}>0\) such that \(\vert t \vert <\delta_{0}\) implies \(F(t)\ge\frac {M_{2}}{p} \vert t \vert ^{p}\) and
Combining this and the fact that all norms on \(X_{n}\) are equivalent, choosing a suitable constant C and sufficiently small \(\rho_{n}>0\), we can obtain by (3.14) that
By Lemma 3.7, we get a sequence \(c_{n}<0\) for \({\tilde{\mathcal{I}}_{\lambda}}\) satisfying \(c_{n}\to0\) when n goes to ∞. Then, for any \(u_{n}\in X\) satisfying \({{\tilde{\mathcal{I}}_{\lambda}}}(u_{n})=c_{n}\) and \({{\tilde{\mathcal{I}}_{\lambda}}}^{\prime}(u_{n})=0\), the sequence \(\{u_{n} \}\) is a \((\mathit{PS})_{0}\)-sequence of \({{\tilde{\mathcal{I}}_{\lambda}}}(u)\) and \(\{u_{n} \}\) has a convergent subsequence. Lemmas 3.8 and 3.9 imply that 0 is the only critical point with zero energy and the subsequence of \(\{u_{n} \}\) has to converge to 0. An indirect argument shows the sequence \(\{u_{n} \}\) has to converge to 0. On the other hand, we have \(u_{n} \in C(\mathbb {R}^{N},\mathbb {R})\) due to Proposition 3.6. Since \(\Vert u_{n} \Vert _{L^{\infty}(\mathbb {R}^{N})}\to0\), by Lemma 3.9 again, we deduce \(\Vert u_{n} \Vert _{C(\mathbb {R}^{N})}\le t_{0}\). Thus \(\{u_{n} \}\) are weak solutions of the problem (P). The proof is complete. □
4 Conclusion
In this paper, we obtain the existence of nontrivial weak solutions for a quasilinear Choquard equation on the whole space \(\mathbb{R}^{N}\) without (AR)-condition based on the uniform boundedness of the convolution part in the Choquard term driven by the Riesz potential. Moreover, the existence of infinitely many weak solutions is obtained via the fountain theorem. Lastly, we prove that our problem has a sequence of solutions converging to zero in the \(L^{\infty}\)-norm based on the iteration method.
Our arguments also allow one to prove Theorems 3.3 and 3.5 for the \(p(x)\)-Laplacian equation
where \(p:\mathbb {R}^{N}\rightarrow \mathbb {R}\) is Lipschitz continuous with \(1< p_{-} \le p_{+}< N\),
the potential V satisfying the assumption (V). Define the linear subspace
with the norm
which is equivalent to the following norm:
Under this circumstance, we introduce the functional \(\mathcal{J}_{\lambda}:X\to\mathbb {R}\) by
Then it follows that the functional \(\mathcal{J}_{\lambda}\in C^{1}(X,\mathbb {R})\) and its Fréchet derivative is
for any \(u,v\in X\). In order to show the boundedness of the Cerami sequence, we use the boundedness of the convolution part (3.1). For some properties of the variable exponent Sobolev space, we refer to [25]. And hence we omit the details proof.
References
Lieb, E.H., Loss, M.: Analysis, 2nd edn. Graduate Studies in Mathematics, vol. 14. Am. Math. Soc., Providence (2001)
Fröhlich, H.: Theory of electrical breakdown in ionic crystals. Proc. R. Soc. Lond. Ser. A 160, 230–241 (1937)
Hajaiej, H.: Schrödinger systems arising in nonlinear optics and quantum mechanics. Part I. Math. Models Methods Appl. Sci. 22(7), 1–27 (2012)
Moroz, I.M., Penrose, R., Tod, P.: Spherically-symmetric solutions of the Schrödinger–Newton equations. Class. Quantum Gravity 15(9), 2733–2742 (1998)
Rosenfeld, L.: On quantization of fields. Nucl. Phys. 40, 353–356 (1963)
Moroz, V., Van Schaftingen, J.: A guide to the Choquard equation. J. Fixed Point Theory Appl. 19(1), 773–813 (2017)
Alves, C.O.: Investigating the multiplicity and concentration behaviour of solutions for a quasi-linear Choquard equation via the penalization method. Proc. R. Soc. Edinb., Sect. A 146(1), 23–58 (2016)
Alves, C.O., Figueiredo, G.M., Yang, M.: Existence of solutions for a nonlinear Choquard equation with potential vanishing at infinity. Adv. Nonlinear Anal. 5(4), 331–345 (2016)
Alves, C.O., Nóbrega, A.B., Yang, M.: Multi-bump solutions for Choquard equation with deepening potential well. Calc. Var. Partial Differ. Equ. 55(3), Article 48 (2016)
Gao, F., Yang, M.: On nonlocal Choquard equations with Hardy–Littlewood–Sobolev critical exponents. J. Math. Anal. Appl. 448(2), 1006–1041 (2017)
Ghimenti, M., Van Schaftingen, J.: Nodal solutions for the Choquard equation. J. Funct. Anal. 271, 107–135 (2016)
Küpper, T., Zhang, Z., Xia, H.: Multiple positive solutions and bifurcation for an equation related to Choquard’s equation. Proc. Edinb. Math. Soc. 46(3), 597–607 (2003)
Lieb, E.H.: Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation. Stud. Appl. Math. 57(2), 93–105 (1976/77)
Lions, P.L.: The Choquard equation and related questions. Nonlinear Anal. 4(6), 1063–1072 (1980)
Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics. J. Funct. Anal. 265(2), 153–184 (2013)
Moroz, V., Van Schaftingen, J.: Existence of groundstates for a class of nonlinear Choquard equations. Trans. Am. Math. Soc. 367(9), 6557–6579 (2015)
Moroz, V., Van Schaftingen, J.: Semi-classical states for the Choquard equation. Calc. Var. Partial Differ. Equ. 52(1–2), 199–235 (2015)
Yang, M., Zhang, J., Zhang, Y.: Multi-peak solutions for nonlinear Choquard equation with a general nonlinearity. Commun. Pure Appl. Anal. 16(2), 493–512 (2017)
Alves, C.O., Minbo, Y.: Multiplicity and concentration of solutions for a quasilinear Choquard equation. J. Math. Phys. 55, 1–22 (2014)
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Lin, X., Tang, X.H.: Existence of infinitely many solutions for p-Laplacian equations in \(\mathbb {R}^{N}\). Nonlinear Anal. 92, 72–81 (2013)
Liu, S.B.: On ground states of superlinear p-Laplacian equations in \(\mathbb {R}^{N}\). J. Math. Anal. Appl. 361(1), 48–58 (2010)
Liu, S.B., Li, S.J.: Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sin. Chin. Ser. 46(4), 625–630 (2003)
Miyagaki, O.H., Souto, M.A.S.: Superlinear problems without Ambrosetti and Rabinowitz growth condition. J. Differ. Equ. 245(12), 3628–3638 (2008)
Alves, C.O., Liu, S.B.: On superlinear \(p(x)\)-Laplacian equations in \(\mathbb {R}^{N}\). Nonlinear Anal. 73(8), 2566–2579 (2010)
Bartsch, T., Wang, Z.-Q.: Existence and multiplicity results for some superlinear elliptic problems on \(\mathbb {R}^{N}\). Commun. Partial Differ. Equ. 20(9–10), 1725–1741 (1995)
Le, V.K.: On a sub-supersolution method for variational inequalities with Leray–Lions operators in variable exponent spaces. Nonlinear Anal. 71(7–8), 3305–3321 (2009)
Kim, Y.-H., Bae, J.-H., Lee, J.: The existence of infinitely many solutions for nonlinear elliptic equations involving p-Laplace type operators in \(\mathbb {R}^{N}\). J. Nonlinear Sci. Appl. 10(4), 2144–2161 (2017)
Fan, X.-L., Han, X.-Y.: Existence and multiplicity of solutions for \(p(x)\)-Laplacian equations in \(\mathbb {R}^{N}\). Nonlinear Anal. 59(1–2), 173–188 (2004)
Battaglia, L., Van Schaftingen, J.: Existence of groundstates for a class of nonlinear Choquard equations in the plane. Adv. Nonlinear Stud. 17(3), 581–594 (2017)
Willem, M.: Minimax Theorems, vol. 24. Birkhäuser, Boston (1996)
Drábek, P., Kufner, A., Nicolosi, F.: Quasilinear Elliptic Equations with Degenerations and Singularities. de Gruyter, Berlin (1997)
Lê, A.: Eigenvalue problems for the p-Laplacian. Nonlinear Anal. 64(5), 1057–1099 (2006)
Heinz, H.-P.: Free Ljusternik–Schnirelman theory and the bifurcation diagrams of certain singular nonlinear problems. J. Differ. Equ. 66(2), 263–300 (1987)
Wang, Z.-Q.: Nonlinear boundary value problems with concave nonlinearities near the origin. Nonlinear Differ. Equ. Appl. 8(1), 15–33 (2001)
Drábek, P., Milota, J.: Methods of Nonlinear Analysis: Applications to Differential Equations, 2nd edn. Birkhäuser, Basel (2013)
Acknowledgements
J. Lee was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (2009-0093827). J.-M. Kim was supported by BK21 PLUS SNU Mathematical Sciences Division and National Research Foundation of Korea Grant funded by the Korean Government (NRF-2016R1D1A1B03930422). J.-H. Bae was supported by BK21 PLUS SKKU Creative Mathematical Science Division and Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education(NRF-2017R1D1A1B03031104). K. Park was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Science, ICT and Future Planning (2017R1E1A1A03070225).
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.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
In this section, we give proofs of Lemma 2.4 and Proposition 3.6 for the reader’s convenience. In fact, these are well-known results in this area.
1.1 A.1 Proof of Lemma 2.4
Proof
Let \(\{u_{n}\}\) be a sequence in X such that \(u_{n}\rightharpoonup u\) in X as \(n\to\infty\). Then \(\{u_{n}\}\) is bounded in X and we know the embedding \(X\hookrightarrow L^{s}(\mathbb {R}^{N})\) is compact for \(p< s< p^{*}\). So we see that
Then we may suppose that \(u_{n}\to u\) in \(L^{q_{1}}(\mathbb {R}^{N})\cap L^{q_{2}}(\mathbb {R}^{N})\) as \(n\to\infty\). By the convergence principle, there exist a subsequence \(\{u_{n_{k}}\}\) such that \(u_{n_{k}}(x)\to u(x)\) as \(k\to\infty\) for almost all \(x\in\mathbb {R}^{N}\) and a function \(u_{0}\in L^{q_{1}}(\mathbb {R}^{N})\cap L^{q_{2}}(\mathbb {R}^{N})\) such that \(|u_{n_{k}}(x)|\leq u_{0}(x)\) for all \(k\in\mathbb {N}\) and for almost all \(x\in\mathbb {R}^{N}\).
First we prove that Ψ is weakly strongly continuous on X. Since \(F\in C^{1}(\mathbb {R},\mathbb {R})\), we see that \(F(u_{n_{k}})\to F(u)\) as \(k\to\infty\) for almost all \(x\in\mathbb {R}^{N}\) and so \((I_{\alpha}*F(u_{n_{k}}))F(u_{n_{k}})\to(I_{\alpha}*F(u))F(u)\) as \(k\to\infty\). From (F2), it follows that
Therefore, the Lebesgue convergence theorem tells us that
as \(k\to\infty\), which implies \(\Psi(u_{n_{k}}) \to\Psi(u)\) as \(k\to\infty\). Thus Ψ is weakly strongly continuous on X.
Next, we show that \(\Psi'\) is weakly strongly continuous on X. Since \(u_{n_{k}}(x)\to u(x)\) as \(k\to \infty\) for almost all \(x\in\mathbb {R}^{N}\), \(f(u_{n_{k}})\to f(u)\) for almost all \(x\in\mathbb {R}^{N}\) as \(k\to\infty\). Hence,
By (F2) and Hölder’s inequality, we obtain for any \(\varphi\in X\)
Combining this with the Lebesgue convergence theorem, we have
Therefore, we derive that \(\Psi'(u_{n_{k}})\to\Psi'(u)\) in \({X^{*}}\) as \(k\to\infty\). This completes the proof. □
1.2 A.2 Proof of Proposition 3.6
Following [36], we give the proof of Proposition 3.6.
Proof
Suppose that u is nonnegative. For a positive constant M, define
and choose \(v=v_{M}^{kp+1}\) (\(k\ge0\)) as a test function in (2.1). Then obviously \(v\in X\cap L^{\infty}(\mathbb {R}^{N})\) and it follows from (2.1) that
Due to Lemma 2.1, the left-hand side of (A.1) can be estimated as follows:
for some constant \(C_{1}>0\). By using the assumption (F2) and the Hölder inequality, the right-hand side of (A.1) can be formally estimated from above and we obtain
where \(s_{i}=\frac{pp^{*}}{p^{*}-(q_{i}-p)}\) for \(i=1,2\). Obviously \(p< s_{i}\le p^{*}\) and \(\frac{(q_{i}+1-p)s_{i}}{s_{i}-p}=p^{*}\) for \(i=1,2\), and hence (A.3) yields
for some constant \(C_{2}\), where \((q,s)\) is either \((q_{1},s_{1})\) or \((q_{2},s_{2})\). Now it follows from (A.1), (A.2), (A.4), and the Sobolev inequality that there exists a constant \(C_{3}>0\) (independent of M and \(k>0\)) such that
which implies
Equation (A.5) is a starting point for a bootstrap argument which plays an important role in \(L^{\infty}\)-estimates. Since \(u\in X\) and hence \(u\in L^{p^{*}}(\mathbb {R}^{N})\) we can choose \(k:=k_{1}\) in (A.5) such that \((k_{1}+1)s=p^{*}\), i.e. \(k_{1}=\frac{p^{*}}{s}-1\). Then we have
Due to \(u(x)= \lim_{M\rightarrow\infty}v_{M}(x)\) for almost every \(x\in\mathbb {R}^{N}\), the Fatou lemma and (A.6) imply
Thus, we can choose \(k=k_{2}\) in (A.5) such that \((k_{2}+1)s=(k_{1}+1)p^{*}=\frac{(p^{*})^{2}}{s}\) and repeating the same argument we get
By induction we obtain
for any \(n\in\mathbb {N}\), where \(k_{n}+1= (\frac{p^{*}}{s} )^{n}\). It follows from (A.7) and (A.8) that
Since \((k_{n}+1 )^{\frac{1}{k_{n}+1}}>1\) and \(\lim_{k_{n}\rightarrow \infty} (k_{n}+1 )^{\frac{1}{k_{n}+1}}=1\), there exists \(C_{4}>1\) (independent of \(k_{n}\)) such that
However, \(\sum_{j=1}^{n}\frac{1}{k_{j}+1}=\sum_{j=1}^{n} (\frac{s}{p^{*}} )^{nj}\) and \(\frac{s}{p^{*}}<1\). Hence it follows from (A.9) that there exists a constant \(C_{5}>0\) such that
for \(r_{n}=(k_{n}+1)p^{*}\rightarrow\infty\) when \(n\to\infty\). Let us assume that \(\Vert u \Vert _{L^{\infty}(\mathbb {R}^{N})}>C_{5} \Vert u \Vert _{L^{p^{*}}(\mathbb {R}^{N})}\). Then there exist \(\eta>0\) and a set A of positive measure in \(\mathbb {R}^{N}\) such that \(u(x)\ge C_{5} \Vert u \Vert _{L^{p^{*}}(\mathbb {R}^{N})}+\eta\) for \(x\in A\). It follows that
which contradicts (A.10). Therefore
for some constant \(C_{6}>0\).
If u changes sign, we set
Then it is clear that \(u^{+}\in X\) and \(u^{-}\in X\). Proceeding by a similar argument to above, we obtain \(u^{+}\in L^{\infty}({\mathbb {R}}^{N})\). Likewise, we get \(u^{-}\in L^{\infty}({\mathbb {R}}^{N})\). Therefore \(u = u^{+} + u^{-}\) is in \(L^{\infty}({\mathbb {R}}^{N})\). This completes the proof. □
Rights and permissions
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.
About this article
Cite this article
Lee, J., Kim, JM., Bae, JH. et al. Existence of nontrivial weak solutions for a quasilinear Choquard equation. J Inequal Appl 2018, 42 (2018). https://doi.org/10.1186/s13660-018-1632-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1632-z