Abstract
We prove existence results in all of \({\mathbb {R}}^N\) for an elliptic problem of (p, q)-Laplacian type involving a critical term, nonnegative weights and a positive parameter \(\lambda \). In particular, under suitable conditions on the exponents of the nonlinearity, we prove existence of infinitely many weak solutions with negative energy when \(\lambda \) belongs to a certain interval. Our proofs use variational methods and the concentration compactness principle. Towards this aim we give a detailed proof of tight convergence of a suitable sequence.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we are interested in nontrivial weak solutions in \(D^{1,p}({\mathbb {R}}^N)\cap D^{1,q}({\mathbb {R}}^N)\) of the following nonlinear elliptic problem of (p, q)-Laplacian type involving a critical term
where \(\Delta _{m}u=\text{ div }(|Du|^{m-2}D u)\) is the m-Laplacian of u, \(1<q<p<N\), \(p^{*}=\frac{Np}{N-p}\) is the critical Sobolev’s exponent, the parameter \(\lambda \) is positive, the exponent k is such that \(1<k<p^*\) and the weights are nontrivial and satisfy
and
In particular, by using variational methods and concentration compactness principles, we prove multiplicity results for solutions of \(({\mathcal {P}})\) with negative energy when
Towards this aim, we have to deal with a particular property for a sequence of measures called “tightness”, following a probabilistic terminology, required in the second concentration compactness principle by Lions [27,28,29,30]. We faced this delicate point in Lemma 7 below for all k with \(1<k<p^*\).
We recall that a first serious problem on unbounded domains is the loss of compactness of the Sobolev’s embeddings, which renders variational techniques more delicate.
In addition, critical problems in \({\mathbb {R}}^N\) represent one of the most dramatic cases of loss of compactness and have been studied intensively in the last 25 years, starting with the pioneering paper by Brezis and Nirenberg [6] for the Laplacian. Later, the p-Laplacian case in the entire \({\mathbb {R}}^N\) was investigated by many authors, we refer to [2, 12, 13, 16, 23, 42] in exterior domains, [17] with double critical nonlinearities, [15, 20] and the references therein. Among these papers, we mention that by Swanson and Yu [42], in which they consider morally the subcase of \(({\mathcal {P}})\) with \(p<k<p^*\) and \(\lambda =1\), that is with no parameter.
The single p-Laplacian case of \(({\mathcal {P}})\) in a bounded domain without weights is completely described for all parameter \(\lambda >0\) by Garcia Azorero and Peral in [3], where they obtain, among other results, two positive values \(\lambda _0, \, \lambda _1\) such that existence of a nontrivial solution holds for \(\lambda \ge \lambda _0\) if \(1<p<k<p^*\), while existence of infinitely many solution holds if \(1<k<p\) for \(\lambda \in (0,\lambda _1)\).
Critical Dirichlet problems for (p, q)-Laplacian on bounded domains are studied in [26] where the authors extend partially the multiplicity result due to [3], again without weights, for \(1<k<p\), then in [21] where it is proved that the analogous result given in [26] holds when weights are included if k satisfies further restrictions beyond \(p<k<p^*\). Furthermore, in [43] the case \(1<q<p<k<p^*\) is treated obtaining the existence of a nontrivial solution for \(\lambda \ge \lambda _0>0\) (see also [14] for \(p>q\ge 2\)).
Among papers on bounded domains, we mention that by Cherfils and Il’yasov [10], in which, in the subcritical case, nonexistence of solutions for \(\lambda \) small and existence for \(\lambda \) large can be deduced by using a suitable nonlinear spectral analysis. In this direction, we quote the papers by Papageorgiu et al. [36, 38]; in particular, in the first they study existence of ground state solutions for a differential operator given by the sum of a p-Laplacian and of a weighted q-Laplace operator with a positive \(L^\infty \) weight not bounded away from zero, while in [36] they give existence of a continuous spectrum for the Dirichlet problem with a differential operator given by a linear combination of p and q-Laplacian, so that existence of solutions occurs. For a detailed theory on the subject we refer to the book [37].
Moving to the unbounded case, the situation is fairly delicate. Furthermore, condition \(({\mathcal {P}})\) is new, since only the cases \(1<k<q<p\) or \(1<q<p<k<p^*\) are partially investigated in literature, respectively in [9, 22] and in [31], as far as we know.
The (p, q)-Laplacian problem \(({\mathcal {P}})\) comes from a general reaction-diffusion system
The system has wide range of applications in physics and related sciences, such as biophysics, chemical reaction and plasma physics. In such applications, the function u describes a concentration, the p and q Laplacian terms in (4) correspond to the diffusion where the diffusion coefficient is \(|D u|^{p-2}+|D u|^{q-2}\), whereas the term c(x, u) is the reaction and relates to sources and loss processes. Typically, in chemical and biological applications, the reaction term c(x, u) has a polynomial form with respect to the concentration u.
The case \(q=2\), that is (p, 2)-Laplacian, recently was studied by Papageorgiou et al. in [33, 34] and [35], where they prove existence and multiplicity theorems by using a variational approach and Morse theory with \(p>2\). In particular, in [33], they consider parametric equations when the parameter \(\lambda \) is near to the principal eigenvalue \(\lambda _{1}(p)>0\) of \((-\Delta _{p},W_{0}^{1,p}(\Omega ))\), while in [34] and [35], they consider equations where the reaction term satisfies particular conditions which imply the resonance of problem at \(\pm \infty \) and at \(0^{\pm }\).
Another important example, widely studied, in which a subcase of problem \(({\mathcal {P}})\) appears, is the study of solitary waves or solitons which are special solutions whose profile remains unchanged under the evolution in time, of the nonlinear Schrödinger equation see [7, 10, 41], of the typical form
where i is the imaginary unit and the function U is the potential. In particular, a function \(\psi (x,t)=e^{-i\omega t}u(x)\) is a standing-wave solution of (5), where \(\omega \in {\mathbb {R}}\) is the energy, if and only if the function u satisfies
The subcase of (5) when \(q=2\) and a cubic nonlinearity, \(k=3\), is involved is called the Gross–Pitaevskii equation.
A strategy to prove multiplicity of solutions of \(({\mathcal {P}})\), is to apply the result of multiple critical points for the energy functional \(E_\lambda \) associated to \(({\mathcal {P}})\), given by
In particular, we make use of the classical multiplicity result by Rabinowitz in [39] for even functionals, so that 0 is a critical point and critical points occur in antipodal pairs. Under further conditions, the functional possesses additional critical points. Precisely, we apply Theorem 1.9 in [39] in which the Krasnoselskii genus is involved with its properties and furthermore the standard and crucial compactness condition (PS)\(_c\) is required to be satisfied by \(E_\lambda \), for \(c<0\). This is a delicate point, indeed for critical problems in all of \({\mathbb {R}}^N\) this compactness condition is often loss, for this reason some of the papers treating problems on unbounded domains use special function spaces where the compactness is preserved, such as spaces of radially symmetric functions or weighted Sobolev spaces.
In our setting, we have to face with the well known loss of compactness by concentration, which occurs in every problem with critical growth, even on bounded domains. Indeed, one of the hard part in the proof of the main result of the paper will be devoted to a careful analysis of Palais Smale sequences to understand the consequences of spreading or concentration of mass. For this aim, as discussed before, in order to recover compactness, in the spirit of the celebrated first concentration compactness principle by Lions [27,28,29,30], we have to deal with tight convergence (see also [4]). Roughly speaking, “tightness” tells that the values of the functions should belong, in a suitable integral sense, to some compact set, see Lemma I.1 in [27]. As a consequence, in the second concentration compactness principle it is required the notion of tight convergence for a sequence of measures, which is the weak star convergence of measures in the dual space of bounded functions. We point out that the unbounded case is sensibly more complicated than the bounded case since, only in the latter case, tight convergence of a sequence of measures reduces morally to standard convergence of measures, which is the weak star convergence of measures in the dual space of functions vanishing at infinity. Generally, tight convergence is stronger than standard convergence of measures. For details in this direction, we refer to Sect. 4 based on the book by Fonseca and Leoni [18]. In this context, Lemma 7 is completely new since it contains the proof of the tight convergence in \({\mathbb {R}}^N\) of a sequence of measures connected to \((PS)_c\) sequences for every \(c<0\), in the spirit of the nice paper by Swanson and Yu in [42] devoted to the p-Laplacian and essentially with no parameter. In particular, in Lemma 7 we prove tight convergence for all \(\lambda >0\) when \(p<k<p^*\), while for \(\lambda \) small, when \(1<k<p\), provided that the weight K is nonnegative.
We are now ready to state our main result, which completes and extends Theorem 1.1 in [22] to the new case (3).
Theorem 1
Let \(N\ge 3\) and \(1<q<k<p<N\). Assume that V satisfies (1) and furthermore \(V>0\) on some open subset \(\Omega _V\subset {\mathbb {R}}^{N}\), with \(|\Omega _V|>0\).
Let K verify (2). If \(\Vert K\Vert _{\infty }\) is sufficiently small, then there exist \(\lambda _{*}, \lambda ^{*}>0\), with \(\lambda _{*}<\lambda ^{*}\), such that, for all \(\lambda \in (\lambda _{*},\lambda ^{*})\), problem \(({\mathcal {P}})\) has a sequence of weak solutions with negative energy, that is \(E_{\lambda }(u)<0\).
We observe that condition \(\Vert K\Vert _{\infty }\) sufficiently small guarantees that \(\Vert K\Vert _{\infty }\) satisfies a certain inequality given in (70) so that \(\lambda _{*}<\lambda ^{*}\). In particular, since \(\lambda ^*=C/\Vert V\Vert _r\cdot \Vert K\Vert _\infty ^{(p-k)/(p^*-p)}\), for some \(C=C(p,k,N)>0\), then \(\lambda ^*\rightarrow \infty \) when \(\Vert K\Vert _{\infty }\rightarrow 0\).
The proof of Theorem 1 is based on concentration compactness principle, on the use of the truncated energy functional and on the theory of Krasnoselskii genus, introduced in [24]. As a standard procedure, we have first to prove the boundedness of (PS)\(_c\) sequences, \(c\in {\mathbb {R}}\), for \(E_\lambda (u)\), which we obtain in Lemma 4 for all k such that \(1<k<p^*\). Then, we have to face to the main difficulty of the paper which consists in verifying the compactness Palais Smale condition at level c for \(E_\lambda (u)\) when the critical values c are negative, the point were the lack of compactness becomes manifest. To solve this problem, as described before, we have to deal with tight convergence of \((|u_n|^{p^*})_n\). We emphasize that, due to the new condition (3), the qualitative behavior of \(E_\lambda (u)\) is completely different with respect to the case treated in [9] and in [22].
The paper is organized as follows. In Sect. 2, we recall some classical definitions as well as some regularity results on \(E_\lambda (u)\), while in Sect. 3 we prove some properties of Palais Smale sequences. In Sect. 4 we state the two concentration compactness principles due to Lions in [27] and [29] and, following the book of Fonseca and Leoni [18], we discuss with all details the relation between tight convergence and standard convergence of sequences of measures, including also the statement of Prohorov Theorem; in addition Sect. 4 contains Lemmas 7 and 8, which are the two crucial lemmas for the proof of the main theorem of the paper. The truncated functional is introduced in Sect. 5 and its properties are listed. Finally, the proof of Theorem 1 is developed in Sect. 6 together with the statement of classical theorems useful in the proof, such as Deformation Lemma and some well known properties of the Krasnoselskii genus.
2 Preliminaries
In this section we state some preliminary results, as well as some notations, useful in the proofs of the main theorem of the paper, given in the Sect. 6.
In what follows, we denote with X the reflexive Banach space \(D^{1,p}({\mathbb {R}}^N)\cap D^{1,q}({\mathbb {R}}^N)\), where \(D^{1,p}({\mathbb {R}}^N)=\{u\in L^{p^{*}}({\mathbb {R}}^N): Du\in L^{p} ({\mathbb {R}}^N)\}\), endowed with the norm
where \(\Vert \cdot \Vert _{p}\) is the \(L^p\) norm in \({\mathbb {R}}^N\). Furthermore, we denote by S the Sobolev’s constant, i.e
We recall that the value S is achieved in \(D^{1,p}({\mathbb {R}}^N)\), for details we refer to Appendix A in [17].
Of course, the functional \(E_\lambda \) is well defined in X, indeed if \(u\in X\), by Hölder’s inequality with the exponents \(r=p^*/(p^*-k)\), \(r'=p^*/k\), we have
The proof of the regularity of \(E_\lambda \) is almost standard, but for completeness we include it. Obviously, it is enough to study the regularity of the functionals
Now, we first analyze the regularity of J.
Lemma 1
If \(V\in L^{r}\left( {\mathbb {R}}^N\right) \), then J(u) is weakly continuous on \(D^{1,p}({\mathbb {R}}^N)\). Moreover, J(u) is continuously differentiable and \(J': D^{1,p}({\mathbb {R}}^N)\rightarrow [D^{1,p}({\mathbb {R}}^N)]'\) is given by
for all \(\psi \in D^{1,p}({\mathbb {R}}^N)\).
Proof
Let \((u_{n})_{n}\in D^{1,p}({\mathbb {R}}^N)\) such that \(u_n \rightharpoonup u\) in \(D^{1,p}({\mathbb {R}}^N)\), thus \(u_{n}\rightharpoonup u \,\ \text {in} \,\ L^{p^{*}}({\mathbb {R}}^N)\) and \((u_{n})_{n}\) is bounded in \(D^{1,p}({\mathbb {R}}^N)\), in \(L^{p^{*}}({\mathbb {R}}^N)\) and also \((|u_n|^k)_n\) in \(L^{p^{*}/k}({\mathbb {R}}^N)\) since we have \(\Vert |u_{n}|^{k}\Vert _{p^{*}/k}=\Vert u_{n}\Vert ^{k}_{p^{*}}\). Furthermore, by the compactness of the embedding,
Consequently, by using an increasing sequence of compact sets whose union is \({\mathbb {R}}^N\) and a diagonal argument, we also have
In turn, by Hölder’s inequality, \(\Vert V |u_{n}|^{k}\Vert _1\le C\Vert V\Vert _r<\infty \) by (1) so that using Lebesgue dominated convergence Theorem we have
namely, weak continuity holds. In order to prove \(J\in C^{1}\) it is enough to show that J has continuous Gâteaux derivative. Let \(u, \psi \in D^{1,p}({\mathbb {R}}^N)\) and \(0<|t|<1\), it follows
By the mean value Theorem there exists \(\lambda \in (0,1)\) such that
We now use Hölder’s inequality twice with exponents r, \(p^{*}/(k-1)\), \(p^{*}\) and r, \(p^*/k\) respectively, so that
that is \(V\bigl (|u|^{k-1}|\psi |+|\psi |^{k}\bigr )\in L^1({\mathbb {R}}^N)\), thus, by letting \(t\rightarrow 0\) in (11), thanks to the Lebesgue dominated convergence Theorem, we have that J is Gâteaux differentiable and (9) holds with \('\) in the Gâteaux sense.
In order to check the differentiability of J, it remains to prove continuity of the Gâteaux derivative. Let \(u_{n}\rightarrow u\) in \(D^{1,p}({\mathbb {R}}^N)\) then, up to subsequences, by (10), \(u_n(x)\rightarrow u(x)\) a.e. in \({\mathbb {R}}^N\), furthermore there exists \(U\in L^{p^{*}}({\mathbb {R}}^N)\) such that \(|u_n(x)|\le U(x)\) a.e. in \({\mathbb {R}}^N\). For simplicity let \(W(u)=V|u|^{k-2}u\) and we show that \(W(u)\in L^{(p^*)'}({\mathbb {R}}^N)\), indeed
where in the last inequality we have applied Young’s inequality with exponents \(r/(p^{*})'\) and \((p^*-1)/(k-1)\). Thus,
so that by Lebesgue dominated convergence Theorem, we get
since, \(W(u_n(x))\rightarrow W(u(x))\) a.e. in \({\mathbb {R}}^N\), by continuity of W.
Finally, by Hölder’s inequality, for all \(\psi \in D^{1,p}({\mathbb {R}}^N)\), we have
consequently,
as \(n\rightarrow \infty \) thanks to (12). Actually, we have proved that for every sequence \(u_n\rightarrow u\) in \(D^{1,p}({\mathbb {R}}^N)\), there is a subsequence respect to which \(J'\) is sequentially continuous, from this it is an elementary exercise to conclude that \(J'\) is sequentially continuous in all of \([D^{1,p}({\mathbb {R}}^N)]'\). In turn, \(J\in C^{1}\). \(\square \)
Analogously, it holds the following.
Lemma 2
If \(K\in L^{\infty }({\mathbb {R}}^N)\), then H(u) is continuously differentiable in \(D^{1,p}({\mathbb {R}}^N)\) and its derivative \(H': D^{1,p}({\mathbb {R}}^N)\rightarrow [D^{1,p}({\mathbb {R}}^N)]'\) is given by
for all \(\psi \in D^{1,p}({\mathbb {R}}^N)\).
Finally, using the continuity of the embedding \(D^{1,p}({\mathbb {R}}^N)\hookrightarrow L^{p^{*}}({\mathbb {R}}^N)\), so that if \(u_n\rightarrow u\) in X, that is \(u_n\rightarrow u\) \(D^{1,p}({\mathbb {R}}^N)\) and in \(D^{1,q}({\mathbb {R}}^N)\), then
Since the first two terms of \(E_{\lambda }\) are norms with exponents \(p,q>1\), and thanks to Lemmas 1 and 2, then immediately \(E_{\lambda }\in C^{1}(X)\), with \(E'_\lambda : X\rightarrow X'\) and it results
for all \(\psi \in X\).
A weak solution of problem \(({\mathcal {P}})\) is a function \(u\in X\) such that
that is u is a critical point of the functional \(E_{\lambda }\) or equivalently, by (13), u satisfies the weak formulation of problem \(({\mathcal {P}})\), namely
for all \(\psi \in X\).
Now, we present a results about convergence that is also needed in our discussion.
Lemma 3
(Lemma 2.7, [25]) Let \(\Omega \) be an open set in \({\mathbb {R}}^N\), \(\alpha , \beta \) positive numbers and \(a(x,\xi )\) in \(C(\Omega \times {\mathbb {R}}^N,{\mathbb {R}}^N)\) such that
-
(1)
\(\alpha |\xi |^{s}\le a(x,\xi )\xi \) for all \((x,\xi )\in \Omega \times {\mathbb {R}}^N\);
-
(2)
\(|a(x,\xi )|\le \beta |\xi |^{s-1}\) for all \((x,\xi )\in \Omega \times {\mathbb {R}}^N\);
-
(3)
\((a(x,\xi )-a(x,\eta ))(\xi ,\eta )>0\) for all \((x,\xi )\in \Omega \times {\mathbb {R}}^N\) with \(\xi \ne \eta \).
Consider \((u_{n})_{n}, u\in W^{1,s}(\Omega )\), \(s>1\), then \(D u_{n}\rightarrow D u\) in \(L^{s}(\Omega )\) if and only if
3 On Palais Smale sequences
First, we briefly recall the basic definitions.
Definition 1
Let Y be a Banach space and \(E: Y\rightarrow {\mathbb {R}}\) be a differentiable functional. A sequence \((u_{n})_{n}\subset Y\) is called a \((PS)_{c}\) sequence for E if \(E(u_{k})\rightarrow c\) and \(E'(u_{k})\rightarrow 0\) as \(k\rightarrow \infty \). Moreover, we say that E satisfies the \( (PS)_{c}\) condition if every \((PS)_{c}\) sequence for E has a converging subsequence in Y.
In the next result, we prove the first main property for \((PS)_{c}\) sequences for the functional \(E_{\lambda }(u)\) defined in (6). We point out that here the value k does not satisfies (3), but simply \(1<k<p^*\).
Lemma 4
Assume \(1<k<p^*\), \(1<q<p\). Let (1) and (2) be verified and let \((u_{n})_{n}\subset X\) be a \((PS)_{c}\) sequence for \(E_{\lambda }(u)\) defined in (6) for all \(c\in {\mathbb {R}}\). Then \((u_{n})_{n}\) is bounded in X.
In particular, if \(1<k<p\) and \(c<0\), it holds
where S is the Sobolev’s constant.
Proof
Let \((u_{n})_{n}\subset X\) be a \((PS)_{c}\) sequence of \(E_{\lambda }(u)\) for all \(c\in {\mathbb {R}}\) namely, by Definition 1,
so that \(|E'_{\lambda }(u_{n})(u_{n})|\le \Vert u_{n}\Vert \) for n large. Now we divide the proof in two cases.
Case \(1<k<p\): by (13), thanks to (8) and Hölder’s inequality with exponents r and \(r'\) we have
where we have used that \(V\in L^{r}({\mathbb {R}}^N)\) and \(\Vert u\Vert _{p^{*}}S^{1/p}\le \Vert D u\Vert _{p}\) for all \(u\in D^{1,p}({\mathbb {R}}^N)\). Consequently, writing explicitly \(\Vert \cdot \Vert \) given in (7), we get
where \(c_{1}, c_{2}, c_{3}\) are positive constants independent of n. From (16) it immediately follows that \(\Vert u_n\Vert \) should be bounded, indeed if \(\Vert u_{n}\Vert _{D^{1,q}}\rightarrow \infty \) and \((\Vert u_{n}\Vert _{D^{1,p}})_n\) bounded, then by letting \(n\rightarrow \infty \) in (16) we obtain a contradiction since the left hand side goes to \(-\infty \), being \(q>1\) while the right term is bounded. If \(\Vert u_{n}\Vert _{D^{1,p}}\rightarrow \infty \) as \(n\rightarrow \infty \) and \((\Vert u_{n}\Vert _{D^{1,q}})_{n}\) is bounded, then by letting \(n\rightarrow \infty \) in (16) we obtain a contradiction since the right hand side goes to \(\infty \), being \(p>1\) and \(p>k\), while the left term is bounded. Finally if \(\Vert u_{n}\Vert _{D^{1,p}}, \Vert u_{n}\Vert _{D^{1,q}}\rightarrow \infty \) then the left hand side of (16) goes to \(-\infty \) while the right goes to \(\infty \). This last contradiction concludes the proof of the first case.
Case \(p\le k<p^*\): arguing as in (15), with \(1/p^*\) replaced by 1/k, since \(K(x)\ge 0\) in \({\mathbb {R}}^N\), we obtain
where \(c'_{1}, c'_{2}\) are positive constants independent of n. From (17), using a similar argument as in the first case, it follows that \(\Vert u_n\Vert \) should be bounded in X.
To obtain (14), it is enough to observe that using the boundedness of \((u_n)_n\), from (15), being \(c<0\), it follows, for n large, that
so that
which yields (14) by virtue of Sobolev’s inequality and for \(1<k<p\).
Thus, the proof is completed. \(\square \)
4 Concentration compactness
Before stating the first concentration compactness lemma due to Lions in [27], we recall, for completeness, some well known notions, following [18]. Let Y be a locally compact Hausdorff space and let \(M(Y, {\mathbb {R}})\) be the space of all finite signed Radon measures (cfr. Definitions 1.5, 1.166 and 1.55 in [18]). In this setting, we have
where \(C_0(Y)\) is the space of all continuous functions that vanish at infinity or, equivalently, it is the completion of \(C_c(Y)\), i.e. the space of all functions whose support is compact, relative by the supremum norm \(\Vert \cdot \Vert _\infty \). First, we recall the definition of the (standard) convergence of measures, also called in some works, [29, 30] and [32], weak convergence of measures.
Definition 2
A sequence of measures \((\mu _n)_n\in M(Y, {\mathbb {R}})\) converges (standard) to a measure \(\mu \in M(Y, {\mathbb {R}})\), that is \(\mu _n \rightharpoonup \mu \), if for every \(\varphi \in C_0(Y)\)
Equivalently, the (standard) convergence of measures is the weak star convergence of measures respect to \((C_0(Y))'\).
Now, let \(C_b(Y)\) be the space of real bounded functions defined in Y and we report the definition of tight convergence of measures in the same setting as above.
Definition 3
A sequence of measures \((\mu _n)_n\in M(Y, {\mathbb {R}})\) converges tightly to a measure \(\mu \in M(Y, {\mathbb {R}})\), that is \(\mu _n\overset{*}{\rightharpoonup } \mu \), if for every \(\varphi \in C_b(Y)\)
Equivalently, the tight convergence of measures is the weak star convergence respect to \((C_b(Y))'\).
Remark 1
It is known that the dual spaces of \(C_c(Y)\) and \(C_0(Y)\) coincide, up to isomorphisms, while \((C_b(Y))'\) is larger. Thus, the tight convergence is stronger than the (standard) convergence of measures, unless Y is compact, since in this case \(C_0(Y)=C_c(Y)=C_b(Y)\) so that \((C_b(Y))'\) is still the set of signed Radon measures. Of course if Y is only bounded, the above equalities hold for \({\overline{Y}}\). If Y is unbounded, then the dual of \(C_b(Y)\) is the space of regular finitely additive signed measures (see Sections 1.3.3 and 1.3.4 in [18]).
Now we are ready to present the first concentration compactness lemma.
Lemma 5
(Lemma I.1, [27]) Let \((\rho _n)_n\) be a sequence in \(L^1({\mathbb {R}}^N)\) satisfying
where \(\Lambda >0\) is fixed. Indeed, up to a subsequence, one of the following three situations hold:
-
(a)
(Compactness) There exists a sequence \((y_n)_{n}\) in \({\mathbb {R}}^N\) such that \(\rho _n(\cdot +y_n)\) is tight that is for any \(\varepsilon >0\) there exists \(0<R_\varepsilon <\infty \) for which
$$\begin{aligned} \int _{B_{R_\varepsilon }(y_n)}\rho _n(x) dx \ge \Lambda -\varepsilon \quad \hbox { for all }n\in {\mathbb {N}}\hbox { large}. \end{aligned}$$ -
(b)
(Vanishing) For all \(R>0\) there holds
$$\begin{aligned} \lim _{n\rightarrow \infty }\left( \sup _{y\in {\mathbb {R}}^N}\int _{B_R(y)}\rho _n(x) dx\right) =0. \end{aligned}$$ -
(c)
(Dichotomy) There exists \(\ell \in (0,\Lambda )\) such that for any \(\varepsilon >0\) there exists \(n_0\ge 1\) and \(0\le \rho _n^1, \rho _n^2\in L^1({\mathbb {R}}^N)\) satisfying for \(n\ge n_0\)
$$\begin{aligned}&\int _{{\mathbb {R}}^N} [\rho _n(x)-(\rho _n^1(x)+\rho _n^2(x))]dx\le \varepsilon \\&\biggl | \int _{{\mathbb {R}}^N} \rho _n^1(x) dx -\ell \biggr |\le \varepsilon \\&\biggl | \int _{{\mathbb {R}}^N} \rho _n^2(x) dx -(\Lambda -\ell ) \biggr |\le \varepsilon \\&\text {dist}\bigl (\hbox {Supp}(\rho _n^1), \hbox {Supp}(\rho _n^2)\bigr )\rightarrow \infty \quad \text {as} \quad n\rightarrow \infty . \end{aligned}$$
The following theorem gives a sufficient condition to obtain the tight convergence for a sequence of bounded Borel measures.
Theorem 2
((Prohorov) Theorem 1.208, [18]) Let Y be a metric space and let \((\mu _n)_n\) be a sequence of bounded Borel measure. Assume that for all \(\varepsilon >0\) there exists a compact set \(K_\varepsilon \subset Y\) such that
Then there exist a subsequence \((\mu _{n_k})_k \subset (\mu _n)_n\) and a Borel measure \(\mu \) such that \(\mu _{n_k}\overset{*}{\rightharpoonup } \mu \).
Remark 2
From Proposition 1.202 in [18], any sequence of bounded measures admits a subsequence which converges in the sense of Definition 2. Thus, from Theorem 2, to obtain the tight convergence in the sense of Definition 3 we need, in addition to the boundedness of the sequence, that for all \(\varepsilon >0\) there exists a compact set \(K_\varepsilon \) such that (18) holds. From Lemma 5, the compactness condition (a) assert that, for the translated measures \(\mu _n:=\rho _n(y_n+\cdot )\) condition (18) is satisfied, therefore, the sequence of translated measures \((\mu _n)_n\) admits a subsequence which converges tightly.
Now we are ready to state the second concentration compactness lemma.
Lemma 6
(Lemma I.1, [29]) Assume \(1\le p< N/m\), \(m\ge 1\) and \(p^*_m=Np/(N-mp)\), with \(p^*_1=p^*\). Let \((u_{n})_{n}\) be a bounded sequence in \(D^{m,p}({\mathbb {R}}^N)\) converging weakly to some u and such that \(|D^{m}u_{n}|^{p}\) converges weakly to \(\mu \) and \(|u_{n}|^{p^*_m}\) converges tightly to \(\nu \) where \(\mu \), \(\nu \) are bounded nonnegative measures on \({\mathbb {R}}^N\). Then we have:
-
(i)
There exist some at most countable set J and two families \((x_{j})_{j\in J}\) of distinct points in \({\mathbb {R}}^N\) and \((\nu _{j})_{j\in J}\) of a positive numbers such that
$$\begin{aligned} \nu =|u|^{p^*_m}+ \sum _{j\in J}\nu _{j}\delta _{x_{j}}. \end{aligned}$$where \(\delta _{x}\) is the Dirac-mass of mass 1 concentrated at \(x\in {\mathbb {R}}^{N}\).
-
(ii)
In addition we have
$$\begin{aligned} \mu \ge |D^{m}u|^{p}+\sum _{j\in J}\mu _{j}\delta _{x_{j}} \end{aligned}$$for some \(\mu _{j}>0\) satisfying \(S\nu _{j}^{p/p^*_m}\le \mu _{j},\) for all j and with S the Sobolev’s constant, hence
$$\begin{aligned} \sum _{j\in J}\nu _{j}^{p/p^*_m}<\infty . \end{aligned}$$
Thus, to apply Lemma 6, we need that \(|u_{n}|^{p^{*}}\overset{*}{\rightharpoonup }\nu \), with \(\nu \) bounded nonnegative measure. This property, up to subsequences, follows immediately if we consider a bounded sequence \((u_n)_n\) in \(D^{1,p}(\Omega )\) with \(\Omega \) bounded, indeed by standard extensions theorems we may assume, without loss of generality that \((u_n)_n\subset D^{1,p}({\mathbb {R}}^N)\) and \(|u_{n}|^{p^{*}}\overset{*}{\rightharpoonup }\nu \), by Remarks 1 and 2. Contrarily, in the case of a bounded sequence \((u_n)_n\) in \(D^{1,p}({\mathbb {R}}^N)\), to obtain the tight convergence, we need to exclude Vanishing and Dicothomy in Lemma 5.
The following two lemmas are crucial in the proof of Theorem 1, given in Sect. 6.
Lemma 7
Let \(1<q<p\). Assume that V and K satisfy (1) and (2). Define, for \(1<k<p\),
where S is the Sobolev’s constant. If \(c<0\) and either \(p<k<p^*\) and \(\lambda \in (0,\infty )\) or
then every \((PS)_c\) sequence, \((u_n)_n\), for \(E_{\lambda }\) is such that, up to subsequences,
where \(\nu \) is a bounded nonnegative measure.
Proof
Let \((u_{n})_n\) be a (PS)\(_{c}\) sequence. Thus, as \(n\rightarrow \infty \),
and
where \(o_n(1)\rightarrow 0\) as \(n\rightarrow \infty \) and \(\Vert \cdot \Vert \) is the norm given in (7). Using Lemma 4, the sequence \((u_{n})_n\) is bounded in X. By Banach Alaoglu Theorem, since X is a reflexive space, there exists \(u\in X\) such that, up to subsequences, \(u_{n}\rightharpoonup u\) in X,
Moreover, (10) is in force, namely
Consider the auxiliary sequence of functions \((z_n)_n\), \(z_n(x)\ge 0\) in \({\mathbb {R}}^N\) for all \(n\in {\mathbb {N}}\), given by
Define \(\eta _n=z_n dx\). We claim that \(\eta _n\) converges tightly to a bounded nonnegative measure \(\eta \) on \({\mathbb {R}}^N\), that is, \(z_n\overset{*}{\rightharpoonup } \eta \). First, we prove that there is \(\Lambda >0\) such that
Indeed, by weak convergence, the sequences \((\Vert Du_n\Vert _p)_n\), \((\Vert u_n\Vert _{p^*})_n\), \((\Vert Du_n\Vert _q)_n\) are bounded so that, by the Bolzano-Weiestrass Theorem, up to subsequences, there exist L, M, \(Q \ge 0\) such that
Actually \(L,M>0\). Indeed, using (1), (2) and Hölder’s inequality with exponents r and \(p^*/k\), we have
Hence, if \(M=0\), then, by letting \(n\rightarrow \infty \), thanks to (20), we arrive to \(0\le L/p \le c<0\) which is a contradiction. Thus, \(M>0\) and Sobolev’s inequality gives \(L>0\).
The continuity of the functional J in \(L^{p^*}({\mathbb {R}}^N)\), J given in Lemma 1, implies the existence of the following limit
Clearly \(H\ge 0\). We claim that \(H>0\). Multiplying (20) by \(p^*\) and then subtracting (21), we obtain, as \(n\rightarrow \infty \),
By letting \(n\rightarrow \infty \), since \((u_n)_n\) is bounded in X, we get
since \(p, \,q,\, k<p^*\), \(\lambda >0\), \(L>0\) and \(Q\ge 0\), necessarily \(H>0\) being \(c<0\). Consequently, condition (22) holds with \(\Lambda =L+Q+M+\lambda H>0\). We can apply Lemma 5 to the sequence \((z_n)_n\). Hence, up to a subsequence, three situations can occur: Compactness, Vanishing or Dichotomy. In particular, thanks to Theorem 2 (cfr. Remark 2), Compactness is equivalent to tightness so that we have to exclude Vanishing and Dichothomy for the sequence \((z_n)_n\).
We immediately see that Vanishing cannot occur. Indeed from (22), we can assume that there exists \(R_1\in (0,\infty )\) such that \(\int _{B_{R_1}(0)}z_n(x) dx\ge \Lambda /2>0\), in turn (b) in Lemma 5 fails.
To prove that Dichotomy cannot hold, we argue by contradiction and we assume that there exists \(\ell \in (0,\Lambda )\) such that for all \(\varepsilon >0\), there exist \(R>0\), \(\ell \in (0,\Lambda )\), \((R_n)_n\), with \(2R<R_n\rightarrow \infty \) and \((y_n)_n\) in \({\mathbb {R}}^N\) such that, for all n large, we get
Let \(\varphi \in C_c^\infty ({\mathbb {R}}^N)\) be such that \(0\le \varphi \le 1\) in \({\mathbb {R}}^N\), \(\varphi _{|B_1(0)}\equiv 1\) and \(\varphi _{|B_2(0)^c}\equiv 0\). We define \(u_n^1=\varphi ^1_n u_n\) and \(u_n^2=(1-\varphi ^2_n) u_n\), where
for all \(x\in {\mathbb {R}}^N\) and all \(n\in {\mathbb {N}}\). Then, \(\hbox {Supp}(u_n^1)=\{x\in {\mathbb {R}}^N : |x-y_n|\le 2R\}\) and \(\hbox {Supp}(u_n^2)=\{x\in {\mathbb {R}}^N : |x-y_n|\ge R_n\}\) are disjoint sets for every \(n\in {\mathbb {N}}\). In addition, \(\text{ dist }\bigl (\hbox {Supp}(u_n^1),\,\hbox {Supp}(u_n^2)\bigl )\rightarrow \infty \). In particular, it follows
and
So that, by (24) and the facts that \(\Vert D\varphi ^1_n\Vert _\infty \le c/R\), \(\Vert D\varphi ^2_n\Vert _\infty \le c/R_n\), this yields
where \(o_\varepsilon (1)\rightarrow 0\) as \(\varepsilon \rightarrow 0\). Similar formulas hold for \(\int _{{\mathbb {R}}^N}|D u_n^i|^q dx\), \(i=1,2\). Furthermore, by Hölder’s inequality and (24), we get
Similar formulas hold for \(\int _{{\mathbb {R}}^N}K|u_n^i|^{p^{*}} dx\), \(i=1,2\). Consequently, (20), (21), (24) give, respectively,
and
where we first let \(n\rightarrow \infty \) and then \(\varepsilon \rightarrow 0\). As above, eventually passing to subsequences, there exist nonnegative limits \(\alpha _i, \beta _i\), \(i=1,2\), defined by
Now, replacing the values of \(\alpha _i\), \(\beta _i\) in (26) we obtain as \(n\rightarrow \infty \)
Multiplying (25) by q and p, respectively, and then subtracting (26), both evaluated in \(u_n^i\), we obtain
and
from which we deduce, for \(n\rightarrow \infty \) e since \(\Vert u_n^i\Vert \) is bounded,
and
as \(\varepsilon \rightarrow 0\). In particular, since \(q<p\) and using that the left hand side is nonnegative, then (27) and (28) give, respectively,
and
If \(q<p<k<p^*\), then (29) is trivial, while (30) cannot occur since \(c<0\) but the right hand side is positive being \(p<k\). This contradiction proves that, in this case, Compactness holds.
We claim that inequality (30) cannot occur also when \(1<k<p\), so that we have covered both cases \(q<k<p\) and \(1<k\le q<p\). At this aim note that, from (24), it follows either \(\alpha _1=0\) or \(\alpha _2=0\) depending whether \((y_n)_n\) is unbounded or not. Indeed, if \((y_n)_n\) is unbounded then \(\hbox {Supp}(u_n^1)\) reduces to the empty set when \(n\rightarrow \infty \), consequently, from
where C is the constant obtained from the boundedness of the (PS)\(_c\) sequence and thanks to the continuity of the embedding of \(D^{1,p}({\mathbb {R}}^N)\) in \(L^{p^*}({\mathbb {R}}^N)\), then, thanks to (1) we can apply Lebesgue dominated convergence Theorem to the function \(\chi _{B_R(y_n)}V^r\), obtaining
by virtue of \(|B_R(y_n)|\rightarrow \emptyset \) when \(n\rightarrow \infty \) since \(y_n\rightarrow \infty \).
On the other hand, if \((y_n)_n\) is bounded, then arguing as above and noting that in this case \(\hbox {Supp}(u_n^2)\) becomes the empty set for \(n\rightarrow \infty \), we get \(\alpha _2=0\).
First, consider the case \(\alpha _2=0\), of course \(\alpha _1>0\) since
From (26) with \(i=2\), by the definition of \(\beta _2\) and Sobolev’s inequality we get, as in [42],
yielding
Inserting (32) in (30) and using that \(\beta _1\ge 0\), we have
which is a contradiction since \(c<0\) while the right hand side is nonnegative if \(\lambda \) satisfies (19)\(_2\) thanks to
where we have used Sobolev’s inequality and (14). In the case \(\alpha _1=0\), we can repeat the argument above to reach the required contradiction. The proof of the claim is so concluded, in other words, Compactness holds also in case (19).
Consequently, the first concentration compactness principle guarantees that there exists a sequence \((y_n)_n\) in \({\mathbb {R}}^N\) such that \(z_n(\cdot +y_n)\) is tight in the sense of Lemma 5, that is for arbitrary \(\varepsilon > 0\) there exists \(R=R(\varepsilon )\in (0,\infty )\) with
so that
from the definition of \((z_n)_n\). It must be that \((y_n)_n\) is a bounded sequence otherwise if \(y_n\rightarrow \infty \) then
thus, combining the above limit with (34), we arrive to
contradicting \(H>0\) in (23).
Hence, we can replace \(y_n\) by 0 in (33) to obtain the tightness of \(z_n \). Moreover, since
where \(B_R\) is the ball centered at the origin and radius R, we obtain the tightness of \(|u_n|^{p^*}\). Finally, we define for all \(n\in {\mathbb {N}}\) the measure \(\nu _n=|u_n|^{p^*}dx\) on \({\mathbb {R}}^N\) which is nonnegative, bounded since \(M>0\), and such that verifies all the assumptions of Theorem 2 thus, it admits a subsequence which converges tightly (cfr. Remark 2) to \(\nu \), a bounded non negative measure on \({\mathbb {R}}^N\), that is \(\nu _n\overset{*}{\rightharpoonup } \nu \) as claimed. The proof is complete. \(\square \)
Lemma 8
Let \(1<k<p\). If \(c<0\) then there exists \({\hat{\lambda }}^*>0\) such that \(E_{\lambda }\) satisfies (PS)\(_{c}\) condition for all \(\lambda \in (0,{\hat{\lambda }}^*]\), where \({\hat{\lambda }}^*\) is defined as follows
Proof
Let \((u_{n})_n\) be a (PS)\(_{c}\) sequence, clearly \((u_{n})_n\) is bounded in X by Lemma 4. Furthermore, since \({\hat{\lambda }}^{*}<{\overline{\lambda }}^{*}\), then Lemma 7 implies that there exists \(u\in X\) such that, up to subsequences, we get
-
(I)
\(u_{n}\rightharpoonup u\) in X,
-
(II)
Since \(Du_{n}\rightharpoonup Du\) in \(L^{p}({\mathbb {R}}^N)\) and \(Du_{n}\rightharpoonup Du\) in \(L^{q}({\mathbb {R}}^N)\), then the sequence of measures \((|Du_n|^pdx+|Du_n|^q dx)_n\) is bounded, thus we have
$$\begin{aligned} |Du_{n}|^{p}dx+|Du_{n}|^{q}dx\rightharpoonup \mu , \end{aligned}$$ -
(III)
\((|u_n|^{p^*}dx)_n\) converges tightly to \(\nu \),
where \(\mu , \nu \) are bounded nonnegative measures on \({\mathbb {R}}^N\). Applying (i) of Lemma 6, there exist at most countable set J, a family \((x_j)_{j\in J}\) of distinct points in \({\mathbb {R}}^N\) and two families \((\nu _j)_{j\in J}, \,(\mu _j)_{j\in J}\in ]0,\infty [\) such that
where \(\delta _x\) is the Dirac-mass of mass 1 concentrated at \(x\in {\mathbb {R}}^N\), with \(\nu _j\) and \(\mu _j\) satisfying
Take a standard cut-off function \(\psi \in C_{c}^{\infty }({\mathbb {R}}^N)\), such that \(0\le \psi \le 1\) in \({\mathbb {R}}^N\), \(\psi =0\) for \(|x|>1\), \(\psi =1\) for \(|x|\le 1/2\). For each index \(j\in J\) and each \(0<\varepsilon <1\), define
Since \(E'_{\lambda }(u_{n})\psi \rightarrow 0\) for all \(\psi \in X\) being \((u_{n})_n\) a \((PS)_c\) sequence, choosing \(\psi =\psi _{\varepsilon }u_{n}\) in (13) we have, as \(n\rightarrow \infty \)
Now, being \((u_{n})_n\) bounded in \(L^{p^{*}}({\mathbb {R}}^N)\) then also \((|u_{n}|^{k})_n\) is bounded in \(L^{{p^*}/k}({\mathbb {R}}^N)\). Furthermore, since \(D^{1,p}({\mathbb {R}}^N)\hookrightarrow \hookrightarrow L^{{p^{*}}/k}(\omega )\) for \(\omega \Subset {\mathbb {R}}^N\), being \(p^*/k<p^*\), taking for instance \(\omega ={\overline{B}}_{\varepsilon }(x_{j})\) and using (10), we have, up to subsequences, \(|u_{n}|^{k}\rightarrow |u|^k\) in \(L^{{p^{*}}/k}(\omega )\) , \(|u_{n}(x)|^{k}\rightarrow |u(x)|^{k}\) a.e. in \(\omega \) and there exists \(w_1\in L^{{p^{*}}/k}(\omega )\) such that \(|u_{n}(x)|^k\le w_1(x)\) a.e. in \(\omega \). Thus, \(V|u_{n}|^{k}\psi _{\varepsilon }\le V w_1\in L^{1}(\omega )\) a.e. in \(\omega \) and in turn by the Lebesgue dominated convergence Theorem, we get
Consequently, using (II), (III) and (39) in (38), we obtain
From Hölder’s inequality, we have
Furthermore, arguing as above and since \(D^{1,p}({\mathbb {R}}^N)\hookrightarrow \hookrightarrow L^{p}(\omega )\) for \(\omega \Subset {\mathbb {R}}^N\), being \(p<p^*\), then taking for instance \(\omega ={\overline{B}}_{\varepsilon }(x_{j})\), we have \(u_n\rightarrow u\) in \(L^{p}(\omega )\), \(u_n(x)\rightarrow u(x)\) a.e. in \(\omega \), up to subsequences, and there exists \(w_2\in L^p(\omega )\) such that \(|u_{n}(x)|\le w_2(x)\) a.e. in \(\omega \). Thus, \(|u_n(x) D\psi _{\varepsilon }(x)|\le C w_2(x)\) a.e. in \(\omega \), as well as in \({\mathbb {R}}^N\), and in turn, Lebesgue dominated convergence Theorem gives
Consequently, passing to the limit for \(n\rightarrow \infty \) in (41), using the boundedness of \((u_n)_n\), Hölder’s inequality with exponents \(N/(N-p)\) and N/p, we obtain, thanks to (42),
where in the last inequality we have used the properties of \(\psi _{\varepsilon }\). Similarly, by replacing p with q, we gain
In turn, by letting \(\varepsilon \rightarrow 0\) and then \(n\rightarrow \infty \), being \(u\in L^{p^{*}}({\mathbb {R}}^N)\cap L^{q^{*}}({\mathbb {R}}^N)\), we obtain
and, arguing as in (31),
Hence, from (40), if \(\varepsilon \rightarrow 0\) we deduce
This equality establishes that the concentration of the measure \(\mu \) cannot occur at points where \(K(x_{j})=0\), moreover, combining (44) and (37), then \(S\nu _j^{p/p^*-1}\le K(x_j)\), in particular, \(\nu _{j}=0\) if \(K(x_{j})=0\), so that the measure \(\nu \) cannot concentrate in those points. Hence the set \(X_J:=\{x_j: j\in J\}\) does not contain the points \(x_{j}\) which are zeros for K.
Let \(J_2:=\{j\in J: K(x_j)>0\}\), we claim that \(J_2=\emptyset \). From (37) and (44), it follows,
To prove the claim, we show that (45) cannot occur for \(\lambda \) belonging to a suitable interval. We first note that condition (45) forces that \(|J_2|<\infty \) being \(\nu \) a bounded measure, indeed, integrating (36), we get, thanks to (45),
On the other hand, \(q<p\) forces \(1/q-1/p^*>1/N\) and using that \(0\le \psi _\varepsilon \le 1\), thanks to (14) and (15), we get
so that, letting \(n\rightarrow \infty \) and using (II), (44) and (45), we arrive to
where
If \(\lambda \in (0,{\hat{\lambda }}^*]\), then (46) produces the required contradiction, so that \(J_2=\emptyset \), concluding the proof of the claim.
On the other hand, a possible concentration at infinity is refused by tightness but, for completeness, we give the proof of it following the idea of Chabrowski in [8] and Ben-Naoum et. al in [4]. Let \(R>0\) and define
It is clear that \(\nu _{\infty }\) and \(\mu _{\infty }\) both exist and are finite. Now we claim that the analogous of (37) holds, precisely
Take, as before, another cut off function \(\psi _{R}\in C^{\infty }({\mathbb {R}}^N)\) such that \(0\le \psi _{R}\le 1\) in \({\mathbb {R}}^{N}\), \(\psi _R(x)=0\) for \(|x|<R\) and \(\psi _{R}(x)=1\) for \(|x|>2R\). By (8) we can write
where we used \((a+b)^{\alpha }\le c(a^{\alpha }+b^{\alpha })\) first with \(\alpha =p>1\) and then with \(\alpha =1/p<1\).
On the other hand, by the properties of \(\psi _R\), we obtain
and similar inequalities hold for \(|D u_{n}|^q\) and \(|u_{n}|^{p^{*}}\) for all \(n\in {\mathbb {N}}\). Consequently, by using the definitions of \(\nu _\infty \) and \(\mu _\infty \), we immediately deduce
and
while, from \(\hbox {Supp}(D\psi _{R})=B_{2R}{\setminus } B_R\), we get
In turn, replacing in (48), inequalities (49), (50) and (51), we arrive to (47).
Then, from \(E'_{\lambda }(u_{n})\psi \rightarrow 0\) for all \(\psi \in X\) as \(n\rightarrow \infty \) being \((u_{n})_{n}\) a \((PS)_c\) sequence, choosing \(\psi =\psi _R u_n\) in (13), we get
as \(n\rightarrow \infty \). Similarly to the proof of (43), we have
and
so that, using that \(u\in L^{p^*}({\mathbb {R}}^N)\cap L^{q^*}({\mathbb {R}}^N)\), from (52) we obtain
Furthermore, we have
being \((u_n)_n\) bounded in \(L^{p^{*}}({\mathbb {R}}^N)\) and by definition of \(\nu _\infty \), we gain
Thanks to (47), (53), (54) and (55) we have so obtained
Reasoning as above, we deduce that concentration at infinity cannot occur if \(\lambda \in (0,\hat{\lambda ^*}]\).
Consequently
Furthermore, since \(u_n(x)\rightarrow u(x)\) a.e. in \({\mathbb {R}}^N\) from (10), then Brezis Lieb Lemma in [5], implies
thus
since \((u_{n})_{n}\) is bounded in X and
A similar argument shows that
Now we define
for all \(u,\varphi \in X\). Using (13) with \(\psi =u_n-u\), we have
Using the monotonicity of \(A_{q}\), see [19], we have
thus, applying the limsup to both terms and using (58) we get
Since \(u_{n}\rightharpoonup u\) in \(D^{1,q}({\mathbb {R}}^N)\), then \(\langle A_q(u), u_{n}-u \rangle \rightarrow 0\) as \(n\rightarrow \infty \), in turn (59) gives
On the other hand, using the monotonicity of \(A_{p}\) and the definition of weak convergence, we obtain, thanks to (60),
which gives
The same argument holds for \(A_{q}\). Thus, by virtue of Lemma 3 applied with \(a(x,\xi )=|\xi |^{p-2}\xi \), condition (61) is equivalent to
that is the strong convergence in \(L^p({\mathbb {R}}^N)\) and in \(L^q({\mathbb {R}}^N)\) of the sequence \((D u_n)_n\). In turn, by Sobolev Gagliardo Niremberg’s inequality, we obtain the required property, namely \(E_\lambda (u)\) satisfies \((PS)_c\) condition for every \(c<0\). The proof is complete. \(\square \)
5 The truncated functional
In this section, for all \(1<k<p\), we define \(E_\infty \), the truncated functional of \(E_\lambda \). First, by Hölder’s and Sobolev’s inequalities we have, for all \(u\in X\),
where \(c_1=S^{-k/p}\Vert V\Vert _r/k\) and \(c_2=S^{-p^*/p}\Vert K\Vert _\infty /p^*\).
Define \(h(t)=t^{p}/p-\lambda c_{1}t^{k}-c_{2}t^{p^{*}}\) in \({\mathbb {R}}_0^+\) and write
in turn \({\hat{h}}(0)<0\), \({\hat{h}}(t)\rightarrow -\infty \) as \(t\rightarrow \infty \) and \({\hat{h}}'(t)>0\) for \(t>0\) close to 0. Thus, there exists \(T>0\) such that
If \({\hat{h}}(T)>0\), there exist \(T_{0}\) and \(T_{1}\), with \(0<T_{0}<T<T_{1}\) such that \({{\hat{h}}}(T_{0})={{\hat{h}}}(T_{1})=0\). Let
then if \(\lambda <\lambda ^*\), it holds
so that, since \(h(T_{0})=h(T_{1})=0\), being \(h(t)=t^k{\hat{h}}(t)\), we have
cfr. Figure 1. In particular, we have \(\lambda ^*<{\hat{\lambda }}^*\), with \({\hat{\lambda }}^*\) given in (35), since
which is equivalent to
but \(N(p^*-p)/p^* p=1\), hence the above inequality reduces to \({p^*(p-k)}/{p(p^*-k)}<1\) which trivially holds, being \(p^*>p\).
Next, take a cutoff function \(\tau \in C^{\infty }({\mathbb {R}}_0^+)\), nonincreasing and such that \(\tau (t)=1\) if \(0\le t\le T_{0}\) and \(\tau (t)=0\) if \(t\ge T_{1}\). We consider the truncated functional
and define
then \({\overline{h}}(t)\rightarrow \infty \) as \(t\rightarrow \infty \) and \({\overline{h}} (t)\ge h(t)\) for all \(t\ge 0\) so that
furthermore, \({\overline{h}}(t)>0\) in \((T_{1},\infty )\) since, for \(t\ge T_1\), it holds \({\overline{h}}(t)=t^k\kappa (t)\) with \(\kappa (t)=\frac{1}{p}t^{p-k}-\lambda c_{1}\) which is strictly increasing and positive in \((T_{1},\infty )\), cfr. Fig. 2.
Thus, \(E_{\infty }(u)\ge {\overline{h}}\left( \Vert u\Vert _{D^{1,p}}\right) \) for all \(u\in X\) and
Furthermore, by the regularity both of \(\tau \) and of \(E_\lambda \) it follows that \(E_{\infty }(u)\in C^{1}(X,{\mathbb {R}})\).
Lemma 9
Let \(E_{\infty }\) be the truncated functional of \(E_\lambda \).
-
(a)
If \(E_{\infty }(u)<0\), then \(\Vert u\Vert _{D^{1,p}}<T_{0}\) and \(E_{\lambda }(v)=E_{\infty }(v)\) for all v in a small enough neighborhood of u.
-
(b)
For all \(\lambda \in (0,\lambda ^{*})\), \(E_{\infty }(u)\) satisfies the \((PS)_{c}\) condition for \(c<0\).
Proof
We prove (a) by contradiction. If \(\Vert u\Vert _{D^{1,p}}\in [T_{0},\infty )\), by the above analysis we see that
This contradicts \(E_{\infty }(u)<0\), thus \(\Vert u\Vert _{D^{1,p}}<T_{0}\) and the last part of (a) is a consequence of the continuity of \(E_{\infty }\) and (63)\(_1\).
About claim (b), if \(c<0\) and \((u_n)_n\subset X\) is a \((PS)_{c}\) sequence of \(E_{\infty }\), then we may assume that \(E_{\infty }(u_n)<0\) and \(E'_{\infty }(u_n)\rightarrow 0\) as \(n\rightarrow \infty \). By (a), we have \(\Vert u_n\Vert _{D^{1,p}}<T_0\), so that \(E_{\infty }(u_n)=E_{\lambda }(u_n)\) and \(E'_{\infty }(u_n)=E'_{\lambda }(u_n)\). By Lemma 8, since \(\lambda ^*<\hat{\lambda ^*}\), \(E_{\lambda }\) satisfies \((PS)_{c}\) condition for \(c<0\), thus there is a convergent subsequence \((u_n)_n\) in X. In other words, \(E_{\infty }\) satisfies \((PS)_{c}\) condition for every \(c<0\). The proof is complete. \(\square \)
6 Proof of Theorem 1
In this section we prove the main existence Theorem 1, whose statment is given in the Introduction, but, first, we recall briefly the definition of the genus inspired by [1]. Let Y be a real Banach space and let
Let \(A\in \Sigma \), the genus \(\gamma \left( A\right) \) of A is defined as the smallest integer N such that there exists \(\Phi \in C\left( Y,{\mathbb {R}}^N\backslash \left\{ 0\right\} \right) \) such that \(\Phi \) is odd and \(\Phi \left( x\right) \ne 0\) for all \(x\in A\). We set \(\gamma \left( \emptyset \right) =0\) and \(\gamma \left( A\right) =\infty \) if there are no integers with the above property.
The main properties of genus will be listed in the next proposition.
Proposition 1
Let \(A,B\in \Sigma \), then
-
a)
If there exists \(f\in C(A,Y)\) odd, then \(\gamma (A)\le \gamma (f(A))\);
-
b)
If \(A\subset B\) then \(\gamma (A)\le \gamma (B)\);
-
c)
If there exists an odd homeomorphism between A and B, then \(\gamma (A)=\gamma (B)\);
-
d)
If \(S^{N-1}\) is the unit sphere in \({\mathbb {R}}^N\) then \(\gamma (S^{N-1})=N\);
-
e)
\(\gamma (A\cup B)\le \gamma (A)+\gamma (B)\);
-
f)
If \(\gamma (B)<\infty \) then \(\gamma (\overline{A{\setminus } B})\ge \gamma (A)-\gamma (B)\);
-
g)
If A is compact then \(\gamma (A)<\infty \) and there exists a \(\delta >0\) such that \(\gamma (A)=\gamma (N_{\delta }(A))\), where \(N_{\delta }(A)=\left\{ x\in Y: d(x,A)\le \delta \right\} \);
-
h)
If W is a subspace of X with codimension k and \(\gamma (A)>k\) then \(A\cap W\ne \emptyset \).
Remark 3
In particular, as emphasized by Struwe in Observation 5.5 in [40], if \(A\in \Sigma \) is a finite collection of antipodal pairs \(u_i\) and \(-u_i\), then \(\gamma (A)=1\).
For completeness, we recall the classical Deformation Lemma (see [39]).
Lemma 10
Let Y be a Banach space and consider \(f\in C^{1}(Y,{\mathbb {R}})\) satisfying the (PS) condition. If \(c\in {\mathbb {R}}\) and N is any neighborhood of
then there exist \(\eta (t,u)=\eta _{t}(u)\in C(\left[ 0,1\right] \times Y,Y)\) and constants \({\overline{\varepsilon }}>\varepsilon >0\) such that
-
(1)
\(\eta _{0}(u)=u\) for all \(u\in Y\);
-
(2)
\(\eta _{t}(u)=u\) for all \(u\notin f^{-1}\left[ c-{\overline{\varepsilon }}, c+{\overline{\varepsilon }}\right] \);
-
(3)
\(\eta _{t}(u)=u\) is a homeomorphism of Y onto Y, for all \(t\in [0,1]\);
-
(4)
\(f(\eta _{t}(u))\le f(u)\) for all \(t\in [0,1]\) and for all \(u\in Y\);
-
(5)
\(\eta _{1}(f^{c+\varepsilon }\backslash N)\subset f^{c-\varepsilon }\), where \(f^{c}=\left\{ u\in Y: f(u)\le c\right\} \), for all \(c\in {\mathbb {R}}\);
-
(6)
if \(K_{c}=\emptyset \), \(\eta _{1}(f^{c+\varepsilon })\subset f^{c-\varepsilon }\);
-
(7)
if f is even, \(\eta _{t}\) is odd in u.
Note that, following Remark 3.5 in [40], it is enough to assume that (PS) condition holds at level c. Now, we are ready to prove our main result, that is the existence Theorem 1, whose statement is given in the Introduction.
Proof of Theorem 1.
Proof
Let \(K_c=K_{c, E_{\infty }}=\left\{ u\in X:\, E_{\infty }(u)=c, \,\,E'_{\infty }(u)=0\right\} \,\) and take \(m\in {\mathbb {N}}^+\). For \(1\le j\le m\) define
where
We claim that
To reach the claim it is enough to prove that for all \(j\in {\mathbb {N}}\), there is an \(\varepsilon _{j}=\varepsilon (j)>0\) such that
Let \(\Omega \subset {\mathbb {R}}^N\), \(|\Omega |>0\), be a bounded open set in which \(V>0\), eventually \(\Omega \subset \Omega _V\) where \(\Omega _V\) is given in the hypothesis. Extending functions u in \(D^{1,p}_{0}(\Omega )\) by 0 outside \(\Omega \), where \(D_{0}^{1,p}(\Omega )\) is the closure of \(C^{\infty }_{0}(\Omega )\) in the norm \(\Vert u\Vert _{D^{1,p}_{0}(\Omega )} =\Vert D u\Vert _{L^p(\Omega )}\), then \(u\in D^{1,p}({\mathbb {R}}^N)\) and we can assume that \(D^{1,p}_{0}(\Omega )\subset X\). Let \(W_{j}\) be a j-dimensional subspace of \(D^{1,p}_{0}(\Omega )\). For every \(v\in W_{j}\) with \(\Vert v\Vert _{D^{1,p}_{0}(\Omega )}=1\), from the assumptions of V it is easy to see that there exists a \(d_{j}>0\) such that
Since \(W_{j}\) is a finite-dimensional space, all the norms in \(W_{j}\) are equivalent. Thus, we can define
On the other hand, for \(t\in (0,T_{0})\), by (64) and since \(K(x)\ge 0\) in \({\mathbb {R}}^N\), we arrive to
for every \(v\in W_{j}\) with \(\Vert v\Vert _{D^{1,p}_{0}(\Omega )}=1\). Now we obtain, thanks to (67) and (68),
Let
with positive constants given by \(c_3={a_{j}}/q\), \(c_4=d_{j}(k-q)/k\) and \(c_5=(p-q)/p\), cfr. Fig. 3.
We prove first that there exists \(T^{*}>0\) such that for all \(\lambda >0\)
First, we observe that \(\eta (0)=c_3>0\), \(\eta (t)\rightarrow \infty \) when \(t\rightarrow \infty \) and \(\eta '(t)<0\) when \(t\rightarrow 0^{+}\), since \(\eta '(t)=t^{k-q-1}\bigl (-\lambda c_4+c_5 t^{p-k}\bigr )\) and \(p>k\). Moreover, from \(\eta '(t)/t^{k-q-1}\) is strictly increasing, we deduce that there exists a unique \(T^{*}>0\) such that \(\eta '(T^*)=0\), with \(T^{*}\) minimum for \(\eta \), precisely \(T^{*}=(\lambda c_4/c_5)^{1/(p-k)}\) and
In particular, \(\eta (T^{*})<0\) if and only if \(\lambda >\lambda _*\), where
It holds \(\lambda _*<\lambda ^*\), with \(\lambda ^*\) defined in (62), if
say for \(\Vert K\Vert _\infty \) sufficiently small.
Finally, we prove that \(T^*\in (0,T_0)\) if \(\lambda <\lambda ^*\). From \(h(t)\le E_\lambda (tv)\le t^q\eta (t)\) for all \(t>0\) and \(v\in W_j\) with \(\Vert v\Vert _{D^{1,p}_0}=1\), we deduce \(h(T^*)<0\) so that \(T^*\in (0,T_0)\) or \(T^*>T_1\). Assume by contradiction that \(T^*>T_1\), then \(T^*>T\) or equivalently, using the explicit values of \(T^*\) and T,
Since \(\lambda <\lambda ^*\), then
but, by (67), we have \(d_j \le \Vert V\Vert _r \Vert v\Vert _{p^*}^k\le S^{-k/p}\Vert V\Vert _r\) being \(\Vert v\Vert _{D^{1,p}_0}=1\), so that (71) produces the required contradiction since \(S^{-k/p}{\Vert V\Vert _r}/{d_j}\ge 1\). Consequently, \(T^*\in (0,T_0)\).
Thus, (69) is verified for \(T^*\in (0,T_0)\) and with \(\eta (T^*)<0\) if \(\lambda \in (\lambda _{*},\lambda ^{*})\), consequently
Denote \(S_{T^*}=\left\{ v \in X: \Vert v\Vert _{D^{1,p}_{0}(\Omega )}=T^*\right\} ,\) then \(S_{T^*}\cap W_{j}\subset E_{\infty }^{-\varepsilon _{j}}\). By Proposition 1,
which proves (66). Consequently, \(E_{\infty }^{-\varepsilon _{j}}\in \Sigma _{j}\), in turn
Furthermore, \(E_{\infty }\) is bounded from below, hence \(c_{j}>-\infty \) (that is why we consider \(E_{\infty }\) instead of \(E_{\lambda }\)), thus the proof of claim (65) is concluded.
By [11] and [39], it follows from (65) that \(c_j\), \(j\in {\mathbb {N}}\), is a critical value for \(E_\infty \). Then, from Lemma 9, we see that \(E_{\infty }\) satisfies the \((PS)_{c_j}\) condition for all \(c_j<0\) and this implies that \(K_{c_j}\) is a compact set, hence \(\gamma (K_{c_j})<\infty \) by virtue of Proposition 1.
We claim that, if for some \(j\in {\mathbb {N}}\) there is an \(i\ge 1\) such that if
In particular, as a consequence of Remark 3 (cfr. Lemma 5.6 Chapter II in [40]), if \(\gamma (K_{c})>1\) then \(K_{c}\) is infinite.
The proof is almost standard, but for completeness we enclose it. We proceed by contradiction. If \(\gamma (K_{c})\le i\), there exists a closed and symmetric set U with \(K_{c}\subset U\) and \(\gamma (U)\le i\), since \(c<0\), we can also assume that the closed set \(U\subset E_{\infty }^{0}\). Using Lemma 10-(5), there is an odd homeomorphism \(\eta :[0,1]\times X\rightarrow X\) such that \(\eta _1(E_{\infty }^{c+\delta }\backslash U)\subset E_{\infty }^{c-\delta }\) for some \(\delta \in (0,-c)\). From definition of \(c=c_{j+i}\), there exists an \(A\in \Sigma _{j+i}\) for which \(\sup _{u\in A} E_{\infty }(u)<c+\delta \). Thus, from Proposition 10, (2) and (5) respectively,
which means
But Proposition 1-(a),(b) and (f) being \(\gamma (U)<\infty \) and since \(A{\setminus } U\) is closed, reveals that
Hence \(\overline{\eta _1(A\backslash U)}\in \Sigma _{j}\), so that by definition of \(c_j\) and thanks to (73),
This contradiction proves claim (72).
To complete the proof, we observe that for all \(j\in {\mathbb {N}}^+\), we have
If all \(c_{j}\) are distinct, then \(\gamma (K_{c_{j}})\ge 1\), so that \(K_{c_{j}}\ne \emptyset \) and thus \((c_{j})_j\) is a sequence of distinct negative critical values of \(E_{\infty }\), thus a sequence of solutions with negative energy is obtained, as required.
If for some \(j_{0}\), there exists an \(i\ge 1\) such that
from (72) we have \(\gamma (K_{c_{j_{0}}})\ge i+1>1\), which shows that \(K_{c_{j_{0}}}\) has infinitely many distinct elements. Also in this case we arrive to a sequence of solutions with negative energy.
By Lemma 9, then \(E_{\lambda }(u)=E_{\infty }(u)\) when \(E_{\infty }(u)<0\), so that the functional \(E_{\lambda }(u)\), being even, possesses at least m pairs of critical nonzero points of with negative critical values. Therefore, problem \(({\mathcal {P}})\) has at least 2m weak nontrivial solutions with negative energy. \(\square \)
References
Ambrosetti, A., Malchiodi, A.: Nonlinear analysis and semilinear elliptic problems, vol. 104. Cambridge University Press, Cambridge (2007)
Autuori, G., Pucci, P.: Existence of entire solutions for a class of quasilinear elliptic equations. NoDEA Nonlinear Differ. Equ. Appl. 20, 977–1009 (2013)
Azorero, J.G., Alonso, I.P.: Multiplicity of solutions for elliptic problems with critical exponent or with a nonsymmetric term. Trans. Am. Math. Soc 323, 877–895 (1991)
Ben-Naoum, A.K., Troestler, C., Willem, M.: Extrema problems with critical Sobolev exponents on unbounded domains. Nonlinear Anal. 26, 823–833 (1996)
Brezis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486–490 (1983)
Brezis, H., Nirenberg, L.: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Comm. Pure Appl. Math. 36, 437–477 (1983)
Byeon, J., Wang, Z.: Standing waves with critical frequency for nonlinear Schrödinger equations. Arch. Ration. Mech. Anal. 165, 295–316 (2002)
Chabrowski, J.: Concentration-compactness principle at infinity and semilinear elliptic equations involving critical and subcritical Sobolev exponents. Calc. Var. Partial Differ. Equ. 3, 493–512 (1995)
Chaves, M.F., Ercole, G., Miyagaki, O.: Existence of a nontrivial solutions for a (\(p, q\))-Laplacian and \(p\) critical exponent in \({\mathbb{R}}^N\). Bound. Value Probl. 236, (2014) https://doi.org/10.1186/s13661-014-0236-x
Cherfils, L., Il’yasov, Y.: On the stationary solutions of generalized reaction diffusion equations with (\(p, q\))-Laplacian. Commun. Pure Appl. Anal. 4, 9–22 (2005)
Clark, D.C.: A variant of the Ljusternik–Schnirelmann theory. Indiana Univ. Math. J. 22, 65–74 (1972)
de Silva, E.A.B., Soares, S.H.M.: Quasilinear Dirichlet problems in \({\mathbb{R}}^N\) with critical growth. Nonlinear Anal. 43, 1–20 (2001)
Drábek, P., Huang, Y.X.: Multiplicity of positive solutions for some quasilinear elliptic equation in \({\mathbb{R}}^N\) with critical Sobolev exponent. J. Differ. Equ. 140, 106–132 (1997)
Figueiredo, G.M.: Existence and multiplicity of solutions for a class of (\(p,q\)) elliptic problems with critical exponent. Math. Nachr. 286, 1129–1141 (2013)
Figueiredo, G.M., Radulescu, V.D.: Nonhomogeneous equations with critical exponential growth and lack of compactness. Opusc. Math. 40, 71–92 (2020)
Filippucci, R., Pucci, P., Radulescu, V.D.: Existence and non-existence results for quasilinear elliptic exterior problems with nonlinear boundary conditions. Commun. Partial Differ. Equ. 33, 706–717 (2008)
Filippucci, R., Pucci, P., Robert, F.: On a \(p\)-Laplace equation with multiple critical nonlinearities. J. Math. Pures Appl. 91, 156–177 (2009)
Fonseca, I., Leoni, G.: Modern methods in the calculus of variations: \(L^p\) spaces. Springer monographs in mathematics. Springer, New York (2007)
Gasinski, L., Papageorgiou, N.S.: A pair of positive solutions for (\(p, q\))-equations with combined nonlinearities. Commun. Pure Appl. Anal. 13, 203–215 (2014)
Ge, B., Radulescu, V.D.: Infinitely many solutions for a non-homogeneous differential inclusion with lack of compactness. Adv. Nonlinear Stud. 19, 625–637 (2019)
Hsu, T.-S., Lin, H.-L.: Multiplicity of positive solutions for a (\(p, q\))-Laplacian type equation with critical nonlinearities. Abst. Appl. Anal. 75, pp 9 (2014)
Huang, C., Jia, G., Zhang, T.: Multiplicity of solutions for a quasilinear elliptic equation with (\(p, q\))-Laplacian and critical exponent on \({\mathbb{R}}^N\). Bound. Value Probl. 147, pp 18 (2018)
Huang, Y.: On multiple solutions of quasilinear equations involving the critical Sobolev exponent. J. Math. Anal. Appl. 231, 142–160 (1999)
Krasnoselskii, M.A.: Topological methods in the theory of nonlinear integral equations. A Pergamon Press Book. The Macmillan Co., New York (1964)
Li, G.B., Martio, O.: Stability in obstacle problem. Math. Scand. 75, 87–100 (1994)
Li, G., Zhang, G.: Multiple solutions for the (\(p, q\))-Laplacian problem with critical exponent. Acta Math. Sci. Ser. B 29, 903–918 (2009)
Lions, P.L.: The concentration-compacteness principle in the calculus of variations. The locally compact case. I. Ann. Inst. H. Poincaré Anal. Non Linéaire 1, 109–145 (1984)
Lions, P.L.: The concentration-compacteness principle in the calculus of variations. The locally compact case. II. Ann. Inst. H. Poincaré Anal. Non Linéaire 1, 223–283 (1984)
Lions, P.L.: The concentration-compacteness principle in the calculus of variations. The limit case. I. Rev. Mat. Iberoam. 1, 145–201 (1985)
Lions, P.L.: The concentration-compacteness principle in the calculus of variations. The limit case. II. Rev. Mat. Iberoam. 1, 45–121 (1985)
Marano, S.A., Marino, G., Papageorgiou, N.S.: On a Dirichlet problem with (\(p, q\))-Laplacian and parametric concave–convex nonlinearity. J. Math. Anal. Appl. 475, 1093–1107 (2019)
Mosconi, S., Squassina, M.: Nonlocal problems at nearly critical growth. Nonlinear Anal. 136, 84–101 (2016)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: On a class of parametric (\(p,2\))-equations. Appl. Math. Optim. 75, 193–228 (2017)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: (\(p,2\))-equations asymmetric at both zero and infinity. Adv. Nonlinear Anal. 7, 327–351 (2018)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Existence and multiplicity of solutions for resonant (\(p,2\))-equations. Adv. Nonlinear Stud. 18, 105–129 (2018)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Double-phase problems and a discontinuity property of the spectrum. Proc. Am. Math. Soc. 147, 2899–2910 (2019)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Nonlinear analysis—theory and methods. Springer monographs in mathematics. Springer, Cham (2019)
Papageorgiou, N.S., Radulescu, V.D., Repovs, D.D.: Ground state and nodal solutions for a class of double phase problems. Z. Angew. Math. Phys. 71, 15 (2020). (Paper No. 15)
Rabinowitz, P. H.: Minimax methods in critical point theory with application to differential equations. In: CBMS Regional Conference Series in Mathematics, vol. 65. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (1986)
Struwe, M.: Variational Methods. Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 34, 3rd edn. Springer, Berlin (2000)
Su, J., Wang, Z., Willem, M.: Nonlinear Schrödinger equations with unbounded and decaying radial potentials. Commun. Contemp. Math. 9, 571–583 (2007)
Swanson, C.A., Yu, L.S.: Critical \(p\)-Laplacian problems in \({\mathbb{R}}^N\). Ann. Mat. Pura Appl. 169, 233–250 (1995)
Yin, H., Yang, Z.: Multiplicity of positive solutions to a (\(p,q\))-Laplacian equation involving critical nonlinearity. Nonlinear Anal. 75, 3013–3035 (2012)
Acknowledgements
The authors are very grateful to professor Giovanni Leoni for many useful discussions and suggestions during the preparation of the paper. LB and RF are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). RF was partly supported by Fondo Ricerca di Base di Ateneo Esercizio 2017-19 of the University of Perugia, named Problemi con non linearità dipendenti dal gradiente and by INdAM-GNAMPA Project 2020 titled Equazioni alle derivate parziali: problemi e modelli (Prot_U-UFMBAZ-2020-000761).
Funding
Open access funding provided by Universitá degli Studi di Perugia within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by O. Savin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Baldelli, L., Brizi, Y. & Filippucci, R. Multiplicity results for (p, q)-Laplacian equations with critical exponent in \({\mathbb {R}}^N\) and negative energy. Calc. Var. 60, 8 (2021). https://doi.org/10.1007/s00526-020-01867-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-020-01867-6