Abstract
We study the asymptotic behaviour of positive groundstate solutions to the quasilinear elliptic equation
where \(1<p<N \), \(p<q<l<+\infty \) and \(\varepsilon > 0 \) is a small parameter. For \({\varepsilon }\rightarrow 0\), we give a characterization of asymptotic regimes as a function of the parameters q, l and N. In particular, we show that the behaviour of the groundstates is sensitive to whether q is less than, equal to, or greater than the critical Sobolev exponent \(p^{*} :=\frac{pN}{N-p}\).
Similar content being viewed by others
1 Introduction
The present paper is devoted to the study of positive solutions to the quasilinear elliptic equation
where
is the p-Laplacian operator, \(1<p<N\), \( p<q<l \) and \( \varepsilon > 0\) is a small parameter. Our main aim is to understand the behaviour of positive groundstate solutions to (\(P_{\varepsilon }\)) as \( \varepsilon \rightarrow 0\).
By a solution to (\(P_{\varepsilon }\)), we mean a weak solution \(u_{\varepsilon } \in W^{1,p}(\mathbb {R}^{N}) \cap L^{l}(\mathbb {R}^{N}) \). These solutions are constructed as critical points of the energy
where
and the expression \(\tilde{f}_{\varepsilon }\) is a suitable bounded truncation of
Throughout the paper by groundstate solution to (\(P_{\varepsilon }\)), we mean a positive weak solution which has the least energy \({\mathcal {E}_{\varepsilon }}\) amongst all the other non-trivial solutions.
In the first part of the paper, for all \(1<p<N\) and \( p<q<l \), we prove the existence of a radial groundstate solution \(u_{\varepsilon }\) of (\(P_{\varepsilon }\)) for all sufficiently small \( \varepsilon > 0, \) see Theorem 2.1, extending classical results of Berestycki and Lions [3] from the Laplacian \((p=2)\) to the p-Laplacian setting, for any \( 1<p<N\). As a by-product of the method [3] which is adapted to the present quasilinear context, the weak solutions to (\(P_{\varepsilon }\)) which are found, are essentially bounded and decay uniformly to zero as \(|x|\rightarrow \infty \). We recall that, as in the known case \(p=2\) treated in [3], the symmetry of the solutions is achieved as a limit of a suitable (minimizing) sequence of radially decreasing rearrangements constructed from a possibly non-radial minimizing sequence. Theorem 2.1 in Sect. 3.2 summarizes all the above results about the existence and basic properties of these groundstates to (\(P_{\varepsilon }\)).
We point out that for large \({\varepsilon }>0\) equation (\(P_{\varepsilon }\)) has no finite energy solutions, so the restriction on the size of \({\varepsilon }\) is essential for the existence of the groundstates. The uniqueness (up to translations) of a spherically symmetric groundstate of (\(P_{\varepsilon }\)) is rather delicate. For \(p\le 2\), Serrin and Tang [33, Theorem 4] proved that equation (\(P_{\varepsilon }\)) admits at most one positive groundstate solution. For \(p>2\) the uniqueness could be also expected but to the best of our knowledge this remains an open question. We do not study the question of uniqueness in this paper and none of our result rely on the information about the uniqueness of the groundstate to (\(P_{\varepsilon }\)).
The question of understanding the asymptotic behaviour of the groundstates \( u_{\varepsilon }\) of (\(P_{\varepsilon }\)) as \(\varepsilon \rightarrow 0,\) naturally arises in the study of various bifurcation problems, for which (\(P_{\varepsilon }\)) at least in the case \(p=2\) can be considered as a canonical normal form (see, e.g. [8, 40]). This problem may also be regarded as a bifurcation problem for quasilinear elliptic equations
whose nonlinearity \(f_{\varepsilon }\) has the leading term in the expansion around zero which coincides with the ones in (\(P_{\varepsilon }\)). Let us also mention that problem (\(P_{\varepsilon }\)) in the case \(p=2\) appears in the study of phase transitions [6, 25, 44], as well as in the study of the decay of false vacuum in quantum field theories [7].
Loosely speaking, to understand the asymptotic behaviour of the groundstates \( u_{\varepsilon }\) as \(\varepsilon \rightarrow 0 \), one notes that elliptic regularity implies that locally the solution \( u_{\varepsilon }\) converges as \(\varepsilon \rightarrow 0 \) to a radial solution of the limit equation (see Theorem 6.4)
It is known that (here and in the rest of the paper \(p^{*}:=\frac{pN}{N-p}\) is the critical Sobolev exponent): when \(q\le p^{*} \) equation (\(P_{0}\)) has no non-trivial finite energy solutions, by Pohožaev’s identity (3.1), whereas for \(q>p^{*}\) equation (\(P_{0}\)) admits a radial groundstate solution. Existence goes back to Berestycki–Lions [3] and Merle–Peletier [23] in the case \(p=2\) and, in the context of the present paper, it is proved in the general p-Laplacian case (see Theorem 4.3); uniqueness questions have been studied by Tang [38, Theorem 4.1], see also Remark 4.4 .
In Theorem 2.8 we prove using direct variational arguments that, as expected, for \(q>p^{*}\) solutions \( u_{\varepsilon }\) converge as \(\varepsilon \rightarrow 0 \) to a non-trivial radial groundstate solution to the formal limit equation (\(P_{0}\)). The fact that for \(q\le p^{*}\) equation (\(P_{0}\)) has no non-trivial positive solutions, suggests that for \(q\le p^{*} \) the solutions \( u_{\varepsilon }\) should converge almost everywhere, as \(\varepsilon \rightarrow 0 ,\) to the trivial zero solution of equation (\(P_{0}\)) (see estimate 2.2). This however does not reveal any information about the limiting profile of \( u_{\varepsilon }\). Therefore, instead of looking at the formally obtained limit equation (\(P_{0}\)), we are going to show that for \(q\le p^{*} \) solutions \( u_{\varepsilon }\) converge to a non-trivial limit after a rescaling. The limiting profile of \( u_{\varepsilon }\) will be obtained from the groundstate solutions of the limit equations associated with the rescaled equation (\(P_{\varepsilon }\)), where the choice of the associated rescaling and limit equation depends on the value of p and on the space dimension N in a highly non-trivial way.
The convergence of rescaled solutions \( u_{\varepsilon }\) to their limiting profiles will be proved using a variational analysis similar to the techniques developed in [24] in the case \(p=2\). Note that the natural energy space for equation (\(P_{\varepsilon }\)) is the usual Sobolev space
with the norm
while for \(q> p^{*} \) the natural functional setting associated with the limit equation (\(P_{0}\)) is the homogeneous Sobolev space \(D^{1,p}(\mathbb {R}^{N}) \) defined for \(1<p<N\) as the completion of \(C^{\infty }_{0}(\mathbb {R}^{N}) \) with respect to the norm \(||\nabla u||_{L^{p}} \). Since \(W^{1,p}(\mathbb {R}^{N})\varsubsetneq D^{1,p}(\mathbb {R}^{N}),\) it follows that no natural perturbation setting (suitable to apply the implicit function theorem or Lyapunov–Schmidt-type reduction methods) is available to analyse the family of equations (\(P_{\varepsilon }\)) as \(\varepsilon \rightarrow 0 \). In fact, even for \(p=2\) a linearization of (\(P_{0}\)) around the groundstate solution is not a Fredholm operator and has zero as the bottom of the essential spectrum in \( L^{2}(\mathbb {R}^{N})\). In the case of the p–Laplace equations, the difficulty in applying classical perturbation methods is even more striking, as for \(1<p<2\) the energy associated with the p-Laplacian is not twice Fréchet differentiable.
In order to understand the limiting profile of \( u_{\varepsilon }\) in the case \(q\le p^{*} \), we introduce the canonical rescaling associated with the lowest order nonlinear term in (\(P_{\varepsilon }\)):
Then (\(P_{\varepsilon }\)) reads as
from which we formally get, as \(\varepsilon \rightarrow 0,\) the limit problem
We recall that for \(q \ge p^{*} \) equation (\(R_{0}\)) has no non-trivial finite energy solutions, as a consequence of Pohožaev’s identity (3.1), whereas for \( p<q< p^{*} \) equation (\(R_{0}\)) possesses a unique radial groundstate solution. Existence was proved by Gazzola, Serrin and Tang [15] and uniqueness by Pucci–Serrin [29, Theorem 2]. The particular rescaling (1.2) allows to have, when \(p<q< p^{*} ,\) for both (\(R_{\varepsilon }\)) and the limit problem (\(R_{0}\)), a variational formulation on the same Sobolev space \(W^{1,p}(\mathbb {R}^{N}) \). This indicates that problem (\(R_{\varepsilon }\)) could be considered as a small perturbation of the limit problem (\(R_{0}\)). In particular in the case \(p=2\) the family of the groundstates \((v_{\varepsilon }) \) of problem (\(R_{\varepsilon }\)) could be rigorously interpreted as a perturbation of the groundstate solution of the limit problem (\(R_{0}\)) using the perturbation techniques and framework developed by Ambrosetti, Malchiodi et al., see [2] and references. However, for \(p\ne 2\) the Lyapunov–Schmidt reduction technique, in the spirit of [2] is not directly applicable. Instead, in this work, using a direct variational argument inspired by [24, Theorem 2.1] we prove (see Theorem 2.2) that for \(p<q<p^*\) groundstate solutions \((v_{\varepsilon }) \) of the rescaled problem (\(R_{\varepsilon }\)) converge to the (unique) radial groundstate of the limit problem (\(R_{0}\)).
In the critical case \(q=p^*\), the limit problem (\(R_{0}\)) has no non-trivial positive solutions. This means that in this case the canonical rescaling (1.2) does not accurately capture the behaviour of \((u_{\varepsilon }) \). In the present paper, extending the results obtained in [24] for \(p=2\), we show that for \(q=p^{*}\) the asymptotic behaviour of the groundstate solutions to (\(P_{\varepsilon }\)) after a rescaling is given by a particular solution of the critical Emden–Fowler equation
It is well known that equation (\(R_{*}\)) admits a continuum of radial groundstate solutions. We will prove that the choice of the rescaling (and a particular solution of (\(R_{*}\))) which provides the limit asymptotic profile for groundstate solutions to equation (\(P_{\varepsilon }\)) depends on the dimension N in a non-trivial way (see Theorem 2.3).
Wrapping up, we provide a characterization of the three asymptotic regimes occurring as \(\varepsilon \rightarrow 0 \), i.e. the subcritical case \(q<p^{*} \), the supercritical case \(q>p^{*} \) and the critical case \(q=p^{*},\) extending the results of [24, 25], to both a singular (\(p<2\)) and degenerate (\(p>2\)) quasilinear setting.
1.1 Asymptotic notation
Throughout the paper we will extensively use the following asymptotic notation. For \({\varepsilon }\ll 1\) and \(f({\varepsilon }), g({\varepsilon }) \ge 0\), we write \(f({\varepsilon }) \lesssim g({\varepsilon })\), \(f({\varepsilon }) \sim g({\varepsilon })\) and \(f({\varepsilon }) \simeq g({\varepsilon })\), implying that there exists \({\varepsilon }_0 > 0\) such that for every \(0 < {\varepsilon }\le {\varepsilon }_0\):
\(f({\varepsilon })\lesssim g({\varepsilon })\) if there exists \(C>0\) independent of \({\varepsilon }\) such that \(f({\varepsilon }) \le C g({\varepsilon })\);
\(f({\varepsilon })\sim g({\varepsilon })\) if \(f({\varepsilon })\lesssim g({\varepsilon })\) and \(g({\varepsilon })\lesssim f({\varepsilon })\);
\(f({\varepsilon })\simeq g({\varepsilon })\) if \(f({\varepsilon }) \sim g({\varepsilon })\) and \(\lim _{{\varepsilon }\rightarrow 0}\frac{f({\varepsilon })}{g({\varepsilon })}=1\).
We also use the standard Landau symbols \(f = O(g)\) and \(f = o(g)\), with the understanding that \(f \ge 0\) and \(g \ge 0\). As usual, \(C,c,c_1\), etc., denote generic positive constants independent of \({\varepsilon }\).
2 Main results
The following theorem summarizes the existence results for the equation (\(P_{\varepsilon }\)). The proof is a standard adaptation of the Berestycki and Lions method [3]. For completeness, we sketch the arguments in Sect. 3.2.
Theorem 2.1
Let \(N\ge 2\), \(1<p<N\) and \(p<q<l\). Then there exists \({\varepsilon }_*={\varepsilon }_*(p,q,l)>0\) such that for all \({\varepsilon }\in (0,{\varepsilon }_*)\), equation (\(P_{\varepsilon }\)) admits a groundstate \(u_{\varepsilon }\in W^{1,p}(\mathbb {R}^{N}) \cap L^{l}(\mathbb {R}^{N})\cap C^{1,\alpha }_\mathrm{{loc}}(\mathbb {R}^{N})\). Moreover, \(u_{\varepsilon }(x)\) is, by construction, a positive monotone decreasing function of |x| and
for some \( C, \delta > 0 \).
For \(p\le 2\), Serrin and Tang proved [33, Theorem 4] that equation (\(P_{\varepsilon }\)) admits at most one positive groundstate solution. For \(p>2\) the uniqueness to the best of our knowledge remains an open question. As anticipated earlier, none of our subsequent results rely on the uniqueness of groundstates of \((P_{\varepsilon })\). In what follows, \(u_{\varepsilon }\) always denotes a groundstate solution to (\(P_{\varepsilon }\)) constructed in Theorem 2.1 for an \({\varepsilon }\in (0,{\varepsilon }_*)\). When we say that groundstates \(u_{\varepsilon }\) converge to a certain limit (in some topology) as \({\varepsilon }\rightarrow 0\), we understand that for every \({\varepsilon }>0\) a groundstate of (\(P_{\varepsilon }\)) is selected, so that \((u_{\varepsilon })_{{\varepsilon }\in (0,{\varepsilon }_*)}\) is a branch of groundstates of (\(P_{\varepsilon }\)), which is not necessarily continuous in \({\varepsilon }\). In the present work, we study the limit behaviour of such a branch of groundstates when \({\varepsilon }\rightarrow 0\).
2.1 Subcritical case \(p<q< p^{*}\)
As anticipated earlier, since in the subcritical case the formal limit equation (\(P_{0}\)) has no groundstate solutions, the family of groundstates \(u_{\varepsilon }\) must converge to zero, uniformly on compact subsets. We describe the asymptotic behaviour of \( u_{\varepsilon }\) performing the rescaling (1.2) which transforms (\(P_{\varepsilon }\)) into equation (\(R_{\varepsilon }\)). In Sect. 7, using the variational approach developed in the main part of this work we prove the following result, which extends [24, Theorem 2.1] to the case \(p\ne 2\).
Theorem 2.2
Let \(N\ge 2\), \(1<p<N\), \(p<q<p^{*}\) and \((u_{\varepsilon })\) be a family of groundstates of \((P_{\varepsilon })\). As \(\varepsilon \rightarrow 0\), the rescaled family
converges in \( W^{1,p}(\mathbb {R}^{N})\), \(L^{l}(\mathbb {R}^{N})\) and \( C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\) to the unique radial groundstate solution \(v_{0}(x) \) of the limit equation (\(R_{0}\)). In particular,
2.2 Critical case \(q=p^{*}\)
In this case we show that after a suitable rescaling the correct limit equation for (\(P_{\varepsilon }\)) is given by the critical Emden–Fowler equation
It is well known by Guedda–Veron [16] that the only radial solution to (\(R_{*}\)) is given, by the family of rescalings
where
and where \( p':=\frac{p}{p-1} \) and \( \kappa :=\frac{N-p}{p-1} \). Recently in [12] it has been observed that \(\pm U_{\lambda }\) are the only nontrivial radial solutions to \(\Delta _pu+|u|^{p^*-2}u=0\) in \(D^{1,p}({{\mathbb {R}}}^N)\). Sciunzi [32] and Vétois [42], respectively in the ranges \(p>2\) and \(p<2,\) proved that any positive solution to (\(R_{*}\)) in \(D^{1,p}({{\mathbb {R}}}^N)\) is necessarily radial about some point; this combined with [16] gives a complete classification of the positive finite energy solutions to (\(R_{*}\)).
Our main result in this work is the following theorem, which extends [24, Theorem 2.5] to the case \(p\ne 2\).
Theorem 2.3
Let \(N\ge 2\), \(1<p<N\), \(p^{*}=q<l\) and \((u_{\varepsilon })\) be a family of groundstates of \((P_{\varepsilon })\). There exists a rescaling
such that as \(\varepsilon \rightarrow 0 \), the rescaled family
converges in \(D^{1,p}(\mathbb {R}^{N})\) to the radial groundstate solution \(U_{1}(x)\) of the Emden–Fowler equation (\(R_{*}\)). Moreover,
and
Remark 2.4
The lower bound (2.6) on \(\lambda _{\varepsilon }\) can be converted into an upper bound on the maximum of \(u_{\varepsilon }\),
see Corollary 5.20.
For \(1<p<\sqrt{N}\) lower bound (2.6) and upper bound (2.7) are equivalent and hence optimal. For \(\sqrt{N}\le p<N\), the upper bounds in (2.7) do not match the lower bounds (2.6). However, under some additional restrictions, we could obtain optimal two-sided estimates.
Theorem 2.5
Under the assumptions of Theorem 2.3, we additionally have
and
In the above cases \(v_{\varepsilon }\) converges to \(U_1(x)\) in \(L^{l}(\mathbb {R}^{N})\) and \(C^{1,\alpha } _\mathrm{{loc}}(\mathbb {R}^{N}).\)
Remark 2.6
In the case \(p=2\) and \(N\ge 3,\)two–sided asymptotics of the form (2.9) were derived in [25] using methods of formal asymptotic expansions. Later, two sided bounds of the form (2.9) were rigorously established for \(p=2\) in [24, Theorem 2.5]. The barrier approach developed in [24, Lemma 4.8] in order to refine upper bounds on \(\lambda _{\varepsilon }\) in the difficult case \(\sqrt{N}\le p<N\) cannot be fully extended to \(p\ne 2\), see Lemma 5.11. In this difficult case, the matching upper bounds of the form (2.6) are valid for \(\sqrt{N}\le p<\frac{N+1}{2}\) and \(N\ge 4\).
Remark 2.7
Theorem 2.5 leaves open the following cases, where matching lower and upper bounds are not available:
\(N\ge 4\) and \(\frac{N+1}{2}\le p <N\)
\(N=3\) and \(\sqrt{3}\le p<3\)
\(N=2\) and \(\sqrt{2}\le p<2\)
Note that the case \(N=3\) and \(p=2\) is not included in Theorem 2.5. However, matching bounds (2.9) and (2.10) remain valid in this case. This is one of the results in [24, Theorem 2.5]. We conjecture that the restriction \(p<\frac{N+1}{2}\) is merely technical and is due to the method we use.
2.3 Supercritical case \(q>p^{*}\)
Unlike the subcritical and critical cases, for \( q>p^{*}\) the formal limit equation (\(P_{0}\)) admits a nontrivial solution. Using a direct analysis of the family of constrained minimization problems associated with (\(P_{\varepsilon }\)), we prove the following result, which extends [24, Theorem 2.3] to the case \(p\ne 2\).
Theorem 2.8
Let \(N\ge 2\), \(1<p<N\), \(p^{*}<q<l\) and \((u_{\varepsilon })\) be a family of groundstates of \((P_{\varepsilon })\). As \(\varepsilon \rightarrow 0\), the family \(u_{\varepsilon } \) converges in \(D^{1,p}(\mathbb {R}^N)\), \(L^{l}(\mathbb {R}^N)\) and \(C^{1,\alpha }_\mathrm{{loc}} (\mathbb {R}^{N})\) to a groundstate solution \(u_{0}(x) \) of the limit equation (\(P_{0}\)), with
Moreover, it holds that
and that \(\varepsilon ||u_{\varepsilon }|_{p}^{p}\rightarrow 0. \)
2.4 Organisation of the paper
This paper is organized as follows. Section 3 is devoted to the existence and qualitative properties of groundstates \( u_{\varepsilon }\) to (\(P_{\varepsilon }\)); in Sect. 4 we deal with existence and qualitative properties of groundstates to the limiting PDEs (\(P_{0}\)), (\(R_{0}\)), (\(R_{*}\)). Both sections contain various facts about the equation \((P_{\varepsilon })\) and limiting equations which are involved in our analysis. In the rest of the paper we study the asymptotic behaviour of the groundstates \( u_{\varepsilon }\). In Sect. 5 we study the most delicate critical case \(q=p^{*} \) and prove Theorems 2.3 and 2.5. In Sect. 6 we consider the supercritical case \(q>p^{*} \) and prove Theorem 2.8. In Sect. 7 we consider the subcritical case \(q<p^{*}\) and prove Theorem 2.2. For the reader convenience we have collected in the sections A and B of Appendix some auxiliary results which have been used in the main body of the paper.
3 Groundstate solutions to (\(P_{\varepsilon }\))
3.1 Necessary conditions and Pohožaev’s identity
According to Pohožaev’s classical identity [26] for p-Laplacian equations, a solution to (\(P_{\varepsilon }\)) which is smooth enough, necessarily satisfies the identity
for \(1< p< N \). Identities of this type are classical, see for instance [28] for \(C^2\) solutions and [9] for bounded domains. In the present paper the following version of Pohožaev’s identity has been extensively used.
Proposition 3.1
Suppose \( f:\mathbb {R} \rightarrow \mathbb {R} \) is a continuous function such that \( f(0) = 0 \), and set \( F(t) = \int _{0}^{t} f(s) \mathrm{d}s \). Let
with u such that
holds in the sense of distributions. Then u satisfies (3.1).
Proof
We first assume that \(p\le 2.\) By the classical regularity result of Tolksdorf [39], see also Theorem 2.5 in [31], we have
Having checked the existence and local summability of the second weak derivatives in this case we argue as follows. Multiply the equation by \(x_i\partial _i u(x)\) and integrate over \(B_R=B(0,R)\) and denote by \(n(\cdot )\) the outer normal unit vector. Observe that the vector field
is such that \(v\in C({{\mathbb {R}}}^N,{{\mathbb {R}}}^N)\) and \(\text {div}\, v \in L^1_\mathrm{{loc}}({{\mathbb {R}}}^N).\) By the divergence theorem (see, e.g. Lemma 2.1 in [22]), we have
Write the last integral as \(A_{i}+B_{i},\) where
An integration by parts in \(B_{i}\) yields
On the other hand, we have also
Summing up on i we have
The right hand side is bounded by
Similarly as in Lemma 2.3 from [22], since \(F(u), |\nabla u|^p \in L^1({{\mathbb {R}}}^N)\), there exists a sequence \(R_k \rightarrow \infty \) such that \(M(R_k)\rightarrow 0.\) By using the monotone convergence theorem in \((*)\) we obtain the conclusion in the case \(p\le 2.\)
For \(p> 2\) a regularisation argument similar to [11, p. 833] (see also [12, 17, 20]) allows to work with a \(C_\mathrm{{loc}}^{1,\alpha }\)-approximation \(u_\varepsilon \in C^2\) which classically solves
The proof can be then carried out with obvious modifications of the proof given in the case \(p\le 2,\) performing the \(\varepsilon \)-limit before letting \(R \rightarrow +\infty \) along a suitable sequence \((R_k)_{k\in {\mathbb {N}}},\) and this concludes the proof. \(\square \)
3.2 Existence and variational characterization of the groundstates
To prove the existence of groundstates, we first observe that the method of Berestycki–Lions [3] although focused on the case \(p=2\) is applicable in the present quasilinear context, we sketch the proof referring to [3] for the details. In fact, observe that \(f_{\varepsilon }(s)=|s|^{q-2}s-|s|^{l-2}s -\varepsilon |s|^{p-2}s\) satisfies
- \( (f_{1}) \):
\( -\infty< \displaystyle \liminf \nolimits _{s \rightarrow 0^{+}} \frac{f_{\varepsilon }(s)}{s^{p-1}} \leqq \displaystyle \limsup \nolimits _{s \rightarrow 0^{+}}\frac{f_{\varepsilon }(s)}{s^{p-1}}= -\varepsilon < 0 \).
- \( (f_{2}) \):
\( -\infty \leqq \displaystyle \limsup \nolimits _{s\rightarrow +\infty } \frac{f_{\varepsilon }(s)}{s^{p^{*}-1}} \leqq 0 \), where \( p^{*}= \frac{pN}{N-p} \).
- \( (f_{3}) \):
There exists \(\varepsilon _*>0\) such that for all \(\varepsilon \in (0,\varepsilon _*)\) the following property holds: there exists \( \zeta > 0 \) such that \( F_{\varepsilon }(\zeta )= \int _{0}^{\zeta } f_{\varepsilon }(s) \mathrm{d}s > 0 \).
To prove the existence of an optimizer, one carries on with the constrained minimization argument as in [3], based on the truncation of the nonlinearity \(f_\varepsilon ,\) which allows to use \(W^{1,p}({{\mathbb {R}}}^N)\) for the functional setting. For all \(\varepsilon \in (0,\varepsilon _*)\) in the present context \(p\ne 2\) a suitable truncated function \( \tilde{f_{\varepsilon }}:\mathbb {R} \rightarrow \mathbb {R} \) is provided by:
Replacing in (\(P_{\varepsilon }\)) the nonlinearity with the above bounded truncation \(\tilde{f}_{\varepsilon }(u)\) makes the minimization problem
well-posed in \(W^{1,p}(\mathbb {R}^{N})\) even for supercritical \(l > p^{*}\). Standard compactness arguments using radially symmetric rearrangements of minimizing sequences allows to obtain a radially decreasing optimizer \(w_{\varepsilon },\) see also “Appendix A”. If \( w_{\varepsilon } \) is an optimizer for (\(S_{\varepsilon }\)) then a Lagrange multiplier \( \theta _{\varepsilon } \) exists such that
Note that by construction \( \tilde{f_{\varepsilon }} (u)\in L^{\infty } (\mathbb {R}^{N})\) and then by a classical result of DiBenedetto, see, e.g. Corollary p. 830 in [11], any solution \(u\in W^{1,p}(\mathbb {R}^{N})\) to the truncated problem with \(\tilde{f_{\varepsilon }}\) is regular, i.e. \(u\in C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\). Then the maximum principle implies that any solution for the truncated problem is strictly positive and solves the problem
involving the original nonlinearity. The exponential decay estimate (3.10) on \(w_{\varepsilon }\) follows by Gazzola–Serrin ( [14, Theorem 8]). As a consequence of the regularity and summability, \(w_{\varepsilon }\) satisfies both Nehari’s identity
and Pohožaev’s identity (3.1)
The latter immediately implies that
Then a direct calculation involving (3.7) shows that the rescaled function
is the radial groundstate of (\(P_{\varepsilon }\)), described in Theorem 3.2 below.
One more consequence of Pohožaev’s identity (3.6) is an expression for the total energy of the solution
(see [3, Corollary 2]), which shows that \(u_{\varepsilon }\) is indeed a groundstate, i.e. a nontrivial solution with the least energy. Another simple consequence of (3.6) is that (\(P_{\varepsilon }\)) has no nontrivial finite energy solutions for \(\varepsilon \ge \varepsilon _{*}\). The threshold value \({\varepsilon }_*\) is simply the smallest value of \({\varepsilon }> 0\) for which the energy \(\mathcal {E}_{\varepsilon }\) is nonnegative and can be computed explicitly.
To summarize, in the spirit of [3, Theorem 2] we have the following
Theorem 3.2
Let \(N\ge 2\), \(1<p<N\) and \(p<q<l\). Then there exists \({\varepsilon }_*={\varepsilon }_*(p,q,l)>0\) such that for all \({\varepsilon }\in (0,{\varepsilon }_*)\), the minimization problem (\(S_{\varepsilon }\)) has a minimizer \(w_{\varepsilon }\in W^{1,p}(\mathbb {R}^{N}) \cap L^{l}(\mathbb {R}^{N})\cap C^{1,\alpha }_\mathrm{{loc}}(\mathbb {R}^{N})\). The minimizer \(w_{\varepsilon }\) satisfies
Moreover, \(w_{\varepsilon }(x)\) is a positive monotone decreasing function of |x| and
for some \( C, \delta > 0 \). The rescaled function
is a groundstate solution to (\(P_{\varepsilon }\)).
In view of (3.2) and since we are interested only in positive solutions of \((P_{\varepsilon })\), in what follows, we always assume that the nonlinearity \(f_{\varepsilon }(u)\) in \((P_{\varepsilon })\) is replaced by its bounded truncation \(\tilde{f_{\varepsilon }}(u)\) from (3.2), without mentioning this explicitely.
Remark 3.3
Equivalently to (\(S_{\varepsilon }\)), we can consider minimizing the quotient
where
Setting \(w_{\lambda } (x) := w(\lambda x),\) it is easy to check that \(\mathcal {S}_{\varepsilon }(w_{\lambda })=\mathcal {S}_{\varepsilon }(w)\) for all \(\lambda > 0.\) Therefore it holds that
Moreover, the inclusion \( \mathcal {M}_{\varepsilon _{2}}\subset \mathcal {M}_{\varepsilon _{1}}\) for \( \varepsilon _{2}> \varepsilon _{1} > 0\), (3.11) implies that \(S_{\varepsilon }\) is a nondecreasing function of \(\varepsilon \in (0, \varepsilon _{*})\).
4 Limiting PDEs
4.1 Critical Emden–Fowler equation
In this section, we recall some old and new results for the critical Emden–Fowler equation
where \( 1<p<N \), \( p^{*}=pN/(N-p) \) is the critical exponent for the Sobolev embedding. We observe that any nontrivial nonnegative solution to (\(R_{*}\)) is necessarily positive as a consequence of strong maximum principle (see [41]). Solutions of (\(R_{*}\)) are critical points of the functional
By the Sobolev embedding \(D^{1,p}(\mathbb {R}^{N})\subset L^{p^{*}}(\mathbb {R}^{N}),\)\(\mathcal {J}\) is defined in \(D^{1,p}({{\mathbb {R}}}^N).\) Since by [18] all the minimizing sequences for
are relatively compact modulo translations and dilations, critical points for \(\mathcal {J}\) are provided by direct minimization, after suitable rescaling of positive solutions W to the Euler–Lagrange equation for \(S_*\)
Here since
it follows that \(S_{*}=\theta .\) Positive finite energy solutions to this equation are classified after the works of Guedda–Veron [16] and of Sciunzi [32] and Vétois [42] mentioned in the Introduction, which we recall in the following
Theorem 4.1
Let \( 1<p<N \). Then every radial solution U to (\(R_{*}\)) is represented as
for some \( \lambda >0 \), where \( p':=\frac{p}{p-1} \) and \( k:=\frac{N-p}{p-1} ,\) [16]. In fact, every solution U to (\(R_{*}\)) is radially symmetric about some points \(y\in {{\mathbb {R}}}^N\) and therefore it holds that
for some \( \lambda >0 \) and \( y\in \mathbb {R}^{N}, \) [32, 42].
In the case \( p=2 \) and \( N\ge 3 \) this result is classical, see [5]. Hence, the radial groundstate of (\(R_{*}\)) is given by rescaling the function
and moreover it holds that
see, e.g. [37]. In conclusion all the positive minimisers for (\(S_{*}\)) are translations of the radial family
4.2 Supercritical zero mass equation
This section is devoted to the supercritical equation
where \(1<p<N\) and \(p^*<q<l\).
Remark 4.2
Note that by Pohožaev’s identity (3.1), equation (\(P_{0}\)) has no solution in \(D^{1,p}({{\mathbb {R}}}^N)\cap C^{1,\alpha }_\mathrm{{loc}}({{\mathbb {R}}}^N)\)\(q\le p^{*}\).
We prove the following existence result in the spirit of Merle-Peletier [23] to the case \(p\ne 2\).
Theorem 4.3
Let \(N\ge 2\), \(1<p<N\) and \(p^*<q<l\). Equation (\(P_{0}\)) admits a groundstate solution \( u_{0} \in D^{1,p}(\mathbb {R}^{N})\cap L^{l}(\mathbb {R}^{N})\cap C^{1,\alpha }_\mathrm{{loc}}(\mathbb {R}^{N}),\) such that \(u_0(x)\) is a positive monotone decreasing function of |x| and
Remark 4.4
The uniqueness result of [38] is applicable to fast decay solutions to (\(P_{0}\)). However the regularity hypothesis H1 as stated at p. 155 in [38] would require \(p^*\ge 2\), namely \(p\ge \frac{2N}{N+2}\).
Proof
Following Berestycki–Lions [3] in the present zero-mass case context, we solve the variational problem in \(D^{1,p} (\mathbb {R}^{N})\) namely
where
and \({\tilde{f}}_0(s)\) is a bounded truncation of the nonlinearity
e. g.
The above bounded truncation makes the minimization problem well-posed in \(D^{1,p}(\mathbb {R}^{N})\). Arguing as for the positive mass case the existence of a radially decreasing optimizer u is standard.
The global boundedness of the truncation allows to use the classical result of DiBenedetto, see, e.g. Corollary p. 830 in [11], to show that \(u\in C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\). Then the maximum principle implies that any solution for the truncated problem solves in fact (\(P_{0}\)) and is strictly positive.
Note that by Ni’s inequality A.3 and the \(C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\) regularity it follows that \(u\in L^{\infty }({{\mathbb {R}}}^N).\) By interpolation with Sobolev’s inequality, this implies that \(u\in L^{l}({{\mathbb {R}}}^N)\) for all \(l>p^*.\) With the lemmas below on the asymptotic decay, we conclude the proof. \(\square \)
The following lemma about asymptotic properties of solutions is taken from [13].
Lemma 4.5
([13, Corollary 8.3.]) Let \(1<p<N \). Assume that
where \(g:\mathbb {R^{+}\rightarrow \mathbb {R^{+}}} \) is bounded and continuous and satisfies the following conditions:
- (C1):
\(\left| \int \limits _{1}^{\infty } \right| t^{1-N} \int \limits _{1}^{t} \frac{g(|x|)}{|x|^{p}} |x|^{N-1} \mathrm{d}|x| \left| ^{\frac{1}{p-1}}\mathrm{d}t\right| <\infty . \)
- (C2):
\(\left| \int \limits _{1}^{\infty } \frac{g(|x|)}{|x|}\mathrm{d}|x|\right| <\infty .\)
Assume that
admits a positive supersolution. Then (4.10) admits a solution which satisfies
Corollary 4.6
If
and c is sufficiently small then (4.10) admits a positive solution that satisfies (4.11)
Proof
We can take
Then (C1), (C2) are elementary to check. \(\square \)
The decay estimate (4.8) is proved in the following lemma.
Lemma 4.7
Let \( u_{0} \in D^{1,p}(\mathbb {R}^{N})\cap L^{l}(\mathbb {R}^{N})\) be a positive radial solution of (\(P_{0}\)). Then
Proof
Since \( u_{0} \in D^{1,p}(\mathbb {R}^{N})\cap L^{l}(\mathbb {R}^{N})\) is radial then by the Ni type inequality A.3, we have
and since \(l>p^{*}\) then we have for some \(\delta _{1}> 0 \)
implying
for sufficiently large constant C independent of x. Now set
and then we have
As a consequence, \(u_{0} \) is a supersolution of (4.10) and then by comparison principle (see Theorem B.1 in Appendix), we obtain
Similarly, we can set
and since \(q>p^{*} \) we have for some \(\delta _{2}>0, \)
implying
and hence
Now since \(u_{0}\in D_{rad}^{1,p}(\mathbb {R}^{N}) \) is a subsolution of (4.10), then by Lemma B.2\( u_{0}\) satisfies condition (S) and hence by comparison principle Theorem B.1, we have
and hence from (4.14) and(4.15) the conclusion follows. \(\square \)
5 Proof of Theorems 2.3 and 2.5: critical case \(q = p^{*}\)
In this section we analyse the behaviour of the groundstates \(u_{\varepsilon }\) of equation (\(P_{\varepsilon }\)) as \({\varepsilon }\rightarrow 0\) in the critical case \(q=p^*\) and prove Theorem 2.3. Although our approach follows the ideas of [24], the present p-Laplacian setting requires substantial modifications.
5.1 Variational estimates for \( S_{\varepsilon } \)
Equivalently to the Sobolev constant (\(S_{*}\)), we consider the Rayleigh type Sobolev quotient
which is invariant with respect to the dilations \(w_\lambda (x):=w(x/\lambda )\), so that
We define the gap
To estimate \( \sigma _{\varepsilon } \) in terms of \( \varepsilon \), we shall use the Sobolev minimisers \( W_{\mu } \) from (4.7) as test functions for (\(S_{\varepsilon }\)). Since \(W_{\lambda }\in L^{p}(\mathbb {R}^{N}) \) only if \(1<p<\sqrt{N}\), we analyse the higher and lower dimensions separately. It is easy to check that \( W_{\lambda } \in L^{s}(\mathbb {R}^{N}) \) for all \(s> \frac{N(p-1)}{N-p}\), with
and that, if \(1<p<\sqrt{N}\) then \(W_{\lambda } \in L^{p}(\mathbb {R}^{N} )\) it holds that
In the case of dimensions \(p=\sqrt{N} \) and \( \sqrt{N}<p<N \), given \( R\gg \mu \), we introduce a cutoff function \( \eta _{R} \in C^{\infty }_{0}(\mathbb {R})\) such that \( \eta _{R}(r)=1 \) for \( |r|<R \), \( 0<\eta _{R}<1 \) for \( R<|r|<2R \), \( \eta _{R}(r)=0 \) for \( |r|>2R \) and \( |\eta ^{'}_{R}(r)|\le 2/R \). We then compute as in, e.g. [35, Chapter III, proof of Theorem 2.1]
and
As a consequence of these expansions we get an upper estimate for \(\sigma _{\varepsilon }\) which plays a key role in what follows.
Lemma 5.1
It holds that
Hence, \( \sigma _{\varepsilon }\rightarrow 0 \) as \( \varepsilon \rightarrow 0 \).
Proof
We first observe that since
it follows that \( \sigma _{\varepsilon } > 0.\) We now obtain the upper bounds on \( \sigma _{\varepsilon } \).
Case \(1<p<\sqrt{N}\). Note that \( W_{\mu }\in {\mathcal {M}_{\varepsilon }} \) for all sufficiently small \( \varepsilon \) and sufficiently large \( \mu \), and we have
where
We now optimize the right hand side of the estimate (5.7) picking \(\mu \) such that the function
achieves its minimum. This occurs at
and we have
In the present case \(1<p<\sqrt{N}\), we may conclude that
and (5.8) is the value of \( \mu _{\varepsilon }\) such that the bound (5.6) is achieved on the function \( W_{\mu _{\varepsilon }} .\)
Case\( p>\sqrt{N} \). We assume here that \( R\gg \mu \). Using \( \eta _{R}W_{\mu } \) as test function and using the calculation in (5.2)–(5.5), we get
and hence as \(\frac{R}{\mu }\rightarrow \infty \), we have
and hence as \(\frac{R}{\mu }\rightarrow \infty \), we have
where
If in particular we choose
we then find that
and, similarly to the above case, the bound (5.6) is achieved on the test function \( \eta _{R_{\varepsilon }}W_{\mu _{\varepsilon }} \) provided \( \mu _{\varepsilon } \) and \( R_{\varepsilon } \) are as in (5.11).
Case\( p=\sqrt{N}\). Again we assume that \( R\gg \mu \). Testing again against \( \eta _{R}W_{\mu } \) and by(5.2)–(5.5) with \( p=\sqrt{N}\), we get
and then as \(\frac{R}{\mu }\rightarrow \infty \), we have
where
Choose
and hence
Thus the bound (5.6) is achieved by the test function \( \eta _{R_{\varepsilon }}W_{\mu _{\varepsilon }} \), where \( \mu _{\varepsilon } \) and \( R_{\varepsilon } \) are defined in (5.13). \(\square \)
5.2 Pohožaev estimates
For \({\varepsilon }\in (0,{\varepsilon }_*)\), let \(w_{\varepsilon }>0\) be a family of the minimisers for (\(S_{\varepsilon }\)) (or equivalently 3.11). This minimisers \(w_{\varepsilon }\) solve the Euler–Lagrange equation
with the original (untruncated) nonlinearity.
Our next step is to use Nehari’s identity combined with Pohožaev’s identity for (5.14) in order to obtain the following useful relations between the norms of \(w_{\varepsilon }\).
Lemma 5.2
For all \(1<p<N\), set \( k:=\frac{l(p^{*}-p)}{p(l-p^{*})}>0 \). Then, it holds that
Proof
Since \(w_{\varepsilon }\) is a minimizer of (\(S_{\varepsilon }\)), identities (3.5)–(3.6) read
An easy calculation yields the conclusion. \(\square \)
Lemma 5.3
For all \(1<p<N\), we have
Proof
Using that \( w_{\varepsilon } \) is a minimizer for (\(S_{\varepsilon }\)), by Lemma 5.2 it follows that
namely,
Setting \(\sigma _{\varepsilon }:=S_{\varepsilon }-S_{*}\), as \( \varepsilon \rightarrow 0 \) we obtain
and this concludes the proof. \(\square \)
We note that the above results allow us to understand the behaviour of the norms associated with the minimizer \( w_{\varepsilon } \) to (\(S_{\varepsilon }\)). In fact we have the following
Corollary 5.4
As \( \varepsilon \rightarrow 0 \), we have
5.3 Optimal rescaling
We are now in a position to introduce an optimal rescaling which captures the convergence of the minimisers \(w_{\varepsilon }\) to the limit Emden–Fowler optimizer \(W_1\).
Following [35, pp.38 and 44], consider the concentration function
where \( B_{\lambda }\) is the ball of radius \( \lambda \) centred at the origin. Note that \(Q_{\varepsilon }(\cdot )\) is strictly increasing, with
and
by Corollary 5.4. It follows that the equation \(Q_{\varepsilon }(\lambda )=Q_{*}\) with
has a unique solution \(\lambda =\lambda _{\varepsilon }> 0 \) for \(\varepsilon \ll 1,\) namely
By means of the value of \(\lambda _{\varepsilon } \) implicitly defined by (5.16), we set
and easily check that
namely \((v_{\varepsilon }) \) is a minimizing family for (\(S_{*}\)). Moreover
The following convergence lemma follows by the concentration–compactness principle of P.-L. Lions [35, Theorem 4.9].
Lemma 5.5
For all \(1<p<N\), it holds that
and
as \(\varepsilon \rightarrow 0.\)
Proof
By (5.18), for any sequence \(\varepsilon _{n}\rightarrow 0 \), there exists a subsequence \((\varepsilon _{\acute{n}}) \) such that \((v_{\varepsilon _{\acute{n}}}) \) converges weakly in \(D^{1,p}(\mathbb {R}^{N}) \) to some radial functions \(w_{0} \in D^{1,p}(\mathbb {R}^{N}) \). By the concentration–compactness Principle [35, Theorem 4.9] applied to \(||v_{\varepsilon } ||_{p^{*}}^{-1} v_{\varepsilon }\), we have in fact that \((v_{\varepsilon _{\acute{n}}}) \) converges to \(w_{0} \) strongly in \(D^{1,p}(\mathbb {R}^{N}) \) and \(L^{p^*}(\mathbb {R}^{N}) \). Hence, \( ||w_{0}||_{p^{*}}=1 \) and therefore \(w_{0} \) is a radial minimizer of (\(S_{*}\)), that is necessarily \(w_{0}\in \{W_{\lambda }\}_{\lambda >0} \). Note that it also holds
As a consequence \(w_{0}=W_{1}\). Since the sequence \((\varepsilon _n)\) was arbitrary, the whole sequence \( (v_{n})\) converges to \(W_{1}\) strongly in \(D^{1,p} (\mathbb {R}^{N})\) and \(L^{p^*}(\mathbb {R}^{N}), \) and this concludes the proof. \(\square \)
5.4 Rescaled equation estimates
Our next step is to obtain upper and lower estimates on the rescaling function \(\lambda _{\varepsilon }\), which is implicitly determined by (5.16).
The rescaled function \( v_{\varepsilon } \) introduced in (5.17) is such that
as (\(S_{\varepsilon }\)) is achieved by \(w_\varepsilon .\) By construction, for \(v_{\varepsilon }\) we obtain
Putting Lemmas 5.2 and 5.3together we then achieve the relation
which yields the following
Lemma 5.6
Let \(1<p<N \). Then
Proof
The statement will follow by (5.19) combined with the observation that
The former is a consequence of Lemma 5.5 and Hölder’s inequality, which yields \( L^{l}(B_{1}) \subset L^{p^{*}}(B_{1}) \) since \(l>p^{*},\) hence
Here \( \mathcal {X}_{B_{R}} \) is the characteristic function of \( B_{R}\). To show the latter, by the embedding \( L^{p^{*}}(B_{1}) \subset L^{p}(B_{1}) \) since \(p^{*}>p \), we obtain
and this concludes the proof. \(\square \)
By (5.6) and Lemma 5.6 we obtain both an estimate from below
and from above
We note that in the case \(1<p<\sqrt{N}\) the above lower and upper estimates are equivalent, therefore we have the following
Corollary 5.7
Let \(1<p<\sqrt{N}\). Then \(||v_{\varepsilon }||_{l}\) and \(||v_{\varepsilon }||_{p}\) are bounded.
Proof
This is an immediate consequence of (5.19)–(5.21). \(\square \)
In the case \(p\ge \sqrt{N}\) we take into account the growth of \(||v_{\varepsilon }||_{p}\) to obtain matching bounds. In this case instead of (5.21) we use the more explicit upper bound
which follows from (5.19) and (5.6).
5.5 A lower barrier for \(p\ge 2\)
To refine the upper bound (5.21) we shall construct a lower barrier for \(w_{\varepsilon }\) in the critical regimés \(\sqrt{N}\le p<N\). For \(p\ge 2\) this will be done using the following uniform estimate.
Lemma 5.8
Given \(\mu >0\) and \(\gamma >0\), set
Assume that \(p\ge 2\) and that \(N-1-2\gamma (p-1)\le 0\) and \(\gamma (N-p-\gamma (p-1))\le 0\). Then for all \(\mu >0\) and \(r>0\),
Remark 5.9
If \(p=2\) then (5.23) becomes an equality.
Proof
By direct calculations, we have
For all \(\mu >0\) and \(r>0\), by monotonicity we have
Therefore, assuming that \(N-1-2\gamma (p-1)\le 0\) and \(\gamma (N-p-\gamma (p-1))\le 0\) we can estimate,
uniformly for all \(\mu >0\) and \(r>0\). \(\square \)
Remark 5.10
In the case \(1<p<2\) by monotonicity, convexity and Taylor for all \(\mu >0\) and \(r>0\) we have
Similarly, we can estimate
or, alternatively,
Therefore, assuming that \(N-1-2\gamma (p-1)\le 0\) and \(\gamma (N-p-\gamma (p-1))\le 0\) we can estimate,
Both (5.24) and (5.25) introduce a large positive term in (5.26) which we cannot control.
To estimate the norm \( ||v_{\varepsilon }||_{p}\), we note that
where we have set
By the radial decay estimate (A.3) we have
By (5.18) and since \( \lambda _{\varepsilon }^{{-\frac{p(l-p^{*})}{(p^{*}-p)}} } \lesssim \sigma _{\varepsilon }\rightarrow 0 \) Lemmas 5.1 and 5.6 yield, for sufficiently small \( \varepsilon >0,\) the following decay estimate
where \(\delta :=\frac{N-p}{p}(l-p)-p>0\) and the constant \( C>0 \) does not depend on \( \varepsilon \) or x. Hence, for small \( \varepsilon >0 \) the rescaled functions \( v_{\varepsilon }>0 \) satisfy the homogeneous inequality
The following result provides a suitable lower barrier to (5.29) below.
Lemma 5.11
Assume \(N\ge 4\) and \(2\le p<\frac{N+1}{2}\). Then there exists \(R>0\), independent on \({\varepsilon }>0\), such that for all small \({\varepsilon }> 0\),
satisfies
Proof
By Lemma 5.8 with \(\gamma =\frac{N-p}{p-1}\) we conclude that there exists \(R>1\), independent of \({\varepsilon }>0\), such that
It is convenient to denote \(s:=l-p^*>0\). Taking into account that \(-\frac{N-p}{p}(l-p)+p=s(1-N/p)<0\), we can use the lower bound (5.20) on \(\lambda _\varepsilon \) to estimate
for all sufficiently small \({\varepsilon }>0\), provided that \(p<(N+1)/2\), which completes the proof. \(\square \)
Lemma 5.12
Assume \(N\ge 4\) and \(2\le p<\frac{N+1}{2}\). There exists \( R> 0 \) and \( c>0 \), independent on \({\varepsilon }>0\), such that for all small \( \varepsilon >0\),
Proof
Define the barrier
which satisfies
by Lemma 5.11.
Note that Lemma 5.5 and Lemma A.4 in Appendix imply
and hence
Hence for all sufficiently small \( \varepsilon >0, \) we have
Since \( h_{\varepsilon }(R) \) is a monotone decreasing function in \( \varepsilon \), then by a suitable choice of a uniform small constant \( c>0 \) we obtain
and hence
Then the homogeneity of (5.29) implies
for all small \( \varepsilon > 0 \). Define a function \( ch_{\varepsilon ,k} \) by
then
and
Now, since
then for k large enough there exists \( R_{k} > R \) such that
and since \( v_{\varepsilon } > 0\), then
As a consequence, from (5.29) and (5.30), using the comparison principle (see Theorem B.1 in Appendix) we obtain
which can be achieved for every k. Since \( R_{k} \rightarrow \infty \) as \(k\rightarrow \infty \), the assertion follows. \(\square \)
5.6 Critical dimensions \(N\ge 4\) and \( \sqrt{N}\le p<\frac{N+1}{2}\) completed
We now apply Lemma 5.12 to obtain matching estimates for the blowup of \( ||v_{\varepsilon } ||_{p}\) in dimensions \(N\ge 4\) and \( \sqrt{N}\le p<\frac{N+1}{2}\) .
Lemma 5.13
If \(N\ge 4\) and \( \sqrt{N}< p<\frac{N+1}{2}\), then \(||v_{\varepsilon }||_{p}^{p} > rsim \Big (\frac{1}{\root p \of {\varepsilon } \lambda _{\varepsilon }}\Big )^{\frac{p^{2}-N}{p-1}}\).
Proof
Since \( \sqrt{N}< p<\frac{N+1}{2}\), we directly calculate from Lemma 5.12:
and as \( \varepsilon \rightarrow 0\) (i.e. \( \frac{1}{\root p \of {\varepsilon } \lambda _{\varepsilon }}\rightarrow \infty \)), we have
and this completes the proof. \(\square \)
As an immediate consequence of the above result, by (5.22), we obtain an upper estimate of \(\lambda _{\varepsilon } \) which matches the lower bound of (5.20) in dimensions \(N\ge 4\) and \( \sqrt{N}< p<\frac{N+1}{2}\) .
Corollary 5.14
If \(N\ge 4\) and \( \sqrt{N}< p<\frac{N+1}{2}\), then \( \lambda _{\varepsilon } \lesssim \varepsilon ^{-\frac{1}{[(l-p^{*})(p-1)+p]}}\).
We now move to consider the case \(p=\sqrt{N}\).
Lemma 5.15
If \(N\ge 4\) and \( p=\sqrt{N}\) then it holds that \(||v_{\varepsilon }||_{p}^{p} > rsim \log (\frac{1}{\root p \of {\varepsilon } \lambda _{\varepsilon }})\).
Proof
Since \( p=\sqrt{N}\), by Lemma 5.12 we immediately get
and this concludes the proof. \(\square \)
Corollary 5.16
If \(N\ge 4\) and \( p=\sqrt{N}\) then it holds that \( \lambda _{\varepsilon } \lesssim \Big (\varepsilon (\log \frac{1}{\varepsilon })\Big )^{-\frac{(p^{*}-p)}{p(l-p)}}\).
Proof
Clearly,
for some \( \delta _{1,2}\ge 0 \) and \( \varepsilon \) small enough, by (5.20) and (5.21). It follows that
Hence,
and
and this concludes the proof. \(\square \)
5.7 Proofs
The sharp upper estimates on \(\lambda _{\varepsilon }\) yield the following
Corollary 5.17
Let either \(1<p<\sqrt{N}, \) or \(N\ge 4\) and \(\sqrt{N}\le p<\frac{N+1}{2}\). Then
The boundedness of the \(L^{l}\) norm also allows one to reverse the estimates of \(||v_{\varepsilon }||_{p}\) via (5.19).
Corollary 5.18
It holds that
We now prove that the \(L^{l}\) bound implies an \(L^{\infty }\) bound.
Lemma 5.19
Let either \(1<p<\sqrt{N}, \) or \(N\ge 4\) and \(\sqrt{N}\le p<\frac{N+1}{2}\). It holds that
Proof
We start observing that by (\(R^{*}_{\varepsilon }\)) \(v_{\varepsilon } \) is a positive solution to the inequality
with
By Lemma A.5 in Appendix, we obtain
which combined with Corollary 5.17 yields
for some uniform constant \( C_{*} >0\) independent on \(\varepsilon \) or x. Hence, \(v_{\varepsilon } \) is a positive solution to the inequality
with \( V_{*}(x)= C_{*} |x|^{-pp^{*}/l} \in L_\mathrm{{loc}}^{s} (\mathbb {R}^{N})\) for some \(s>N/p\), since \(l>p^{*}\). With these preliminaries in place, one can invoke here the result on local boundedness Theorem 7.1.1 in [30, p.154] for subsolutions of (5.33) to conclude. However, to make the proof self-contained, we provide a simple argument to justify (5.31).
Integrating the inequality (5.33) over a ball
and by the divergence theorem, taking into account the monotonicity of \( v_{\varepsilon }\) with respect to |x| we have
On the other hand
since \( -\frac{pp^{*}}{l}+N >0 \). Hence
for some \(C_{4},C_{5}>0\) independent of \(\varepsilon \) and x. Integrating again from 0 to \(x_{0} \) after writing (5.34) in this form
we have
for some \( C_{7} \) independent of \(\varepsilon \) and x. We pick A small enough such that for all \(|x_{0}|\le A \) we have
Then
where \(C_{8}= 1-C_{7}A^{\frac{p(l-p^{*})}{l(p-1)}}\). Hence by taking the power l and integrating we obtain
which by Corollary 5.17 immediately concludes the proof. \(\square \)
By elliptic estimates for the p-Laplacian, we have the following
Corollary 5.20
Let either \(1<p<\sqrt{N}, \) or \(N\ge 4\) and \(\sqrt{N}\le p<\frac{N+1}{2}\). It holds that \(v_{\varepsilon }\rightarrow W_{1}\) in \(C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N}) \) and \(L^{s} (\mathbb {R}^{N})\) for any \( s\ge p^{*} \). In particular,
Proof
As a consequence of the \(L^{\infty } \) bound of Lemma 5.19 and the convergence of \(v_{\varepsilon } \) to the Sobolev minimiser \(W_{1}\) in \(D^{1,p}(\mathbb {R}^{N})\) via the compactness result in Lemma A.5 we obtain the convergence in \(L^{s}(\mathbb {R}^{N}) \) for any \(s\ge p^{*} \).
Since we can write (\(R^{*}_{\varepsilon }\)) in the form
and by Lemma 5.19 we have
uniformly with respect to \(\varepsilon , \) then by [11, Theorem 2] we have
uniformly with respect to \(\varepsilon \). It follows that by the classical Arzelá–Ascoli theorem that for a suitable sequence \(\varepsilon \rightarrow 0 \) we have
where \(\alpha <\alpha ' \). \(\square \)
Proof of Theorem 2.3
The proof follows immediately from Lemmas 5.5 and 5.6, which yield the upper and lower estimates on \(\lambda _{\varepsilon }\). \(\square \)
Proof of Theorem 2.5
The proof follows from the sharp upper bound on \(\lambda _{\varepsilon }\) in Corollaries 5.14–5.16, and from Corollary 5.20. In particular, since from Corollary 5.20 and in view of (3.8), we have
then by the sharp estimate of \(\lambda _{\varepsilon } \) we have the exact rate of the groundstate \(u_{\varepsilon } (0)\) in the present critical case
\(\square \)
6 Proof of Theorem 2.8: supercritical case \(q>p^{*}\)
In this section, we consider the supercritical case \(q>p^*\) and prove Theorem 2.8 stated in Introduction, which essentially says that for \(q>p^{*}\) groundstate solutions \( u_{\varepsilon }\) converge as \(\varepsilon \rightarrow 0 \) to a non-trivial radial groundstate solution of the formal limit equation (\(P_{0}\)). This result extends [24, Theorem 2.3] to \(p\ne 2\).
6.1 The limiting PDE
From the results of Sect. 4 we know that for \(q>p^{*} \) the limit equation
admits positive radial groundstates solutions \( u_{0} \in D^{1,p}(\mathbb {R}^{N})\cap L^{l}(\mathbb {R}^{N})\), which are, since they are radial, fast decaying, namely such that
Note that by construction \(u_{0}\in C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\). Moreover \(u_{0} \) admits a variational charachterization in the Sobolev space \(D^{1,p} (\mathbb {R}^{N})\) via the rescaling
where \( w_{0}\) is a positive radial minimizer of the constrained minimization problem
where
and \({\tilde{f}}_0(s)\) is a truncation of the nonlinearity
as described in Sect. 4. Then the minimization problem (\(S_{0}\)) is well defined on \(D^{1,p}(\mathbb {R}^{N}) \). The minimizer \(w_{0}\) satisfies the Euler–Lagrange equation
Moreover, \(w_{0} \) satisfies Nehari’s identity
which yields
From the Pohožaev identity
we have
Hence from (6.2) and (6.3) we obtain the relation
from which we obtain the expressions
6.2 Energy estimates and groundstate asymptotics
The relations between \( \mathcal {S}_{\varepsilon }\) and \(\mathcal {S}_{0}\) is provided by introducing the convenient scaling-invariant quotient
where
Note that, by a rescaling argument, this is equivalent to (\(S_{0}\)) :
Lemma 6.1
For all \(1<p<N\), it holds that
Proof
To show that \(\mathcal {S}_{0}<\mathcal {S}_{\varepsilon }\), simply note that
To estimate \( S_{\varepsilon }\) from above we test (\(S_{\varepsilon }\)) with the minimizer \( w_{0}.\) By (6.1), we have \(w_{0}\in L^{p}(\mathbb {R}^{N})\) if and only if \(1<p<\sqrt{N}\). We break the proof by analysing the higher and lower dimensions separately.
Case \(1<p<\sqrt{N}\). Using \(w_0\) as a test function for (\(S_{\varepsilon }\)), we obtain
which proves the statement for \(1<p<\sqrt{N}\).
In the cases \(p=\sqrt{N} \) and \( \sqrt{N}<p<N \), given \(R>1\) we pick a cutoff function \( \eta _{R} \in C^{\infty }_{0}(\mathbb {R})\) such that \( \eta _{R}(r)=1 \) for \( |r|<R \), \( 0<\eta _{R}<1 \) for \( R<|r|<2R \), \( \eta _{R}=0 \) for \( |r|>2R \) and \( |\eta ^{'}_{R}|\le 2/R \). By (6.1), for \(s>\frac{N}{N-p}\) we obtain
Case\(p=\sqrt{N}\). Let \(R=\varepsilon ^{-1}\). Testing (\(S_{\varepsilon }\)) with \( \eta _{R}w_{0}\) and since \( q>p^{*}\), we get
from which the claim follows.
Case \(\sqrt{N}<p<N\). Let \(R=\varepsilon ^{-\frac{1}{p}}\). We test (\(S_{\varepsilon }\)) with \( \eta _{R}w_{0}\) and as \( q>p^{*}\), we obtain
which completes the proof. \(\square \)
Lemma 6.2
It holds that \(||w_{\varepsilon }||_{\infty }\le 1\) and \(||w_{\varepsilon }||_{s}\lesssim 1\) for all \(s>p^{*} \).
Proof
Note that by (3.8) we have
By Sobolev’s inequality and Lemma 6.1, we have
Hence for every \(s > p^{*}\),
which concludes the proof. \(\square \)
Lemma 6.3
For all \(1<p<N\), we have
Proof
Observing that \(w_{\varepsilon } \) is an optimizer to (\(S_{\varepsilon }\)), it follows that
Hence
If by contradiction we had \(\limsup _{\varepsilon \rightarrow 0} \varepsilon ||w_{\varepsilon }||^{p}_{p}=m>0,\) then by Lemma 6.1 for any sequence \( \varepsilon _{n}\rightarrow 0\), we would obtain
and this, as it is clearly a contradiction, concludes the proof. \(\square \)
Theorem 6.4
Let \(1<p<N\) and \(q> p^{*} \). As \(\varepsilon \rightarrow 0, \) the family of groundstates \( u_{\varepsilon }\) converges to a groundstate \( u_{0}\) in \(D^{1,p}(\mathbb {R}^{N}) \), \(L^{l} (\mathbb {R}^{N})\) and \( C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\) to (\(P_{0}\)). In particular
Furthermore \(u_0\) is fast decaying, namely
Proof
Since the family \(w_{\varepsilon }\) is bounded in \(D^{1,p}(\mathbb {R}^{N})\), then there exists a subsequence \({w_{\varepsilon _{n}}} \) such that
where \( \tilde{w} \in D^{1,p}(\mathbb {R}^{N})\) is a radial function. By Sobolev’s inequality, the sequence \((w_{\varepsilon _{n}} )\) is bounded in \( L^{p^{*}}(\mathbb {R}^{N})\). Using Lemma A.5 we conclude that
Taking into account Lemma 6.3 and (6.7) we also obtain
By the weak lower semicontinuity property of the norm we also have that
i.e. \(\tilde{w} \) is a minimizer for (\(S_{0}\)). We now claim that
and then by Brezis–Lieb Lemma [4], \( (w_{\varepsilon _{n}})\) converges strongly to \(\tilde{w} \) in \( D^{1,p}(\mathbb {R}^{N})\). In fact, arguing as in [22, Theorem 3.3] (see also [21, Proposition 2.3], define a bounded function
and consider a sequence \((B_{k})\) of open subsets of \(\mathbb {R}^{N} \) such that \(\bigcup \limits _{k=1}^{\infty }B_{k}= \mathbb {R}^{N} \). Then if
for every k, then
and hence by a Cantor diagonal argument, (6.8) is satisfied.
To show (6.9), we introduce a cutoff function
and since
then
as \(n\rightarrow \infty .\) In fact
by local compactness. Moreover, by Hölder’s inequality and since T is bounded and \(w_{\varepsilon _{n}}-\tilde{w}\rightarrow 0\) a.e. on \(\mathbb {R}^{N} \), then by dominated convergence theorem, we have
and hence (6.9) follows. As a consequence \( (w_{\varepsilon _{n}})\) converges to \( \tilde{w}\) in \( D^{1,p}(\mathbb {R}^{N})\) and in \( L^{s}(\mathbb {R}^{N})\) for any \( s\ge p^{*}\), where \( \tilde{w}\) is a minimizer of (\(S_{0}\)) satisfying the constraint. Similarly to the proof of Corollary 5.20, using Lemma 6.2, by uniform elliptic estimates we conclude that \((w_{\varepsilon _{n}})\) converges to \(\tilde{w}_{0}\) in \(C_\mathrm{{loc}}^{1,\alpha }(\mathbb {R}^{N})\). The decay follows from Lemma 4.7. This concludes the proof. \(\square \)
Proof of Theorem 2.8
The statement follows directly from Theorem 6.4 and Lemma 6.3. \(\square \)
7 Proof of Theorem 2.2: subcritical case \(p<q<p^{*}\)
In this section, we consider the subcritical case \(p<q<p^*\) and prove Theorem 2.2 showing that, after the canonical rescaling (1.2), the groundstate solutions \( u_{\varepsilon }\) converge as \(\varepsilon \rightarrow 0 \) to the unique non-trivial radial groundstate solution to the limit equation (\(R_{0}\)). This result extends [24, Theorem 2.1] to \(p\ne 2\).
Since by Pohožaev’s identity the equation (\(P_{0}\)) has no positive finite energy solutions, to understand the asymptotic behaviour of the groundstates \(u_{\varepsilon }\) we consider the rescaling in (1.2), which transforms (\(P_{\varepsilon }\)) into (\(R_{\varepsilon }\)), whose limit problem as \(\varepsilon \rightarrow 0\) is (\(R_{0}\)).
Pick \(G_{\varepsilon }:\mathbb {R}\rightarrow \mathbb {R}, \) a bounded truncated function such that
for \( 0<w\le \varepsilon ^{-\frac{1}{q-p}} \), \(G_{\varepsilon }(w)\le 0\) for \(w>\varepsilon ^{-\frac{1}{q-p}}\) and \(G_{\varepsilon }(w)=0\) for \(w\le 0\). For \( \varepsilon \in [0,\varepsilon ^{*}) \), we set
a well-defined family of constrained minimization problems, which share, together with the limit problem \( (S'_{0})\), the same functional setting \(W^{1,p}(\mathbb {R}^{N}) \). By Theorem 3.2, (\(S'_{\varepsilon }\)) possesses a radial positive minimizer \( w_{\varepsilon }\) for every \( \varepsilon \in [0,\varepsilon ^{*}) \). The rescaled function
is a radial groundstate of (\(R_{\varepsilon }\)).
We estimate (\(S'_{\varepsilon }\)) by means of the dilation invariant representation
where \(\mathcal {M}'_{\varepsilon }:=\{0 \le w \in W^{1,p}(\mathbb {R}^{N}),\int \limits _{\mathbb {R^{N}}}G_{\varepsilon }(w) \mathrm{d}x>0\}.\) We have
and for \(\varepsilon \) small enough we have
This follows by observing that as \(p^{*}\int \limits _{\mathbb {R}^{N}}G_{\varepsilon }(w_{\varepsilon }) \mathrm{d}x=1\) and \( G_{\varepsilon }(s)\) is a decreasing function of \(\varepsilon \) for each \( s>0\), we have \(w_{\varepsilon }\in \mathcal {M}'_{0} \), and the second inequality follows again by monotonicity. Observe that by continuity \(w_{0}\in \mathcal {M}'_{\varepsilon } \) for sufficiently small \(\varepsilon \). As a consequence, by testing(\(S'_{\varepsilon }\)) with \(w_0\), that for \(\varepsilon \) small enough, we have that
Hence \(S'_{\varepsilon } \rightarrow S'_{0} \).
Reasoning as in Lemma 5.2 , we obtain that
Inserting this identity into the definition of \(S'_{0}(w_{\varepsilon })\) and using the convergence of \(S'_{\varepsilon }\) to \(S'_{0}\), one can easily check that
Therefore \(p^{*}\int \limits _{\mathbb {R}^{N}}G_{0}(w_{\varepsilon }) \mathrm{d}x\rightarrow 1 \quad \text {as} \quad \varepsilon \rightarrow 0. \) We have then achieved that a rescaling \(\lambda _{\varepsilon }\rightarrow 1\) exists such that \(p^{*}\int \limits _{\mathbb {R}^{N}}G_{0}(\tilde{w}_{\varepsilon }) \mathrm{d}x= 1\) and \( \mathcal {S}'_{\varepsilon }(\tilde{w}_{\varepsilon }) \rightarrow S'_{0}\) with \(\tilde{w}_{\varepsilon }(x):=w_{\varepsilon }(\lambda _{\varepsilon }x). \) It follows that \((\tilde{w}_{\varepsilon }) \) is a minimizing one parameter family for \((S'_{0})\) that satisfies the constraint used in the method which yields Theorem 3.2. By Theorem 3.2 we conclude that for a suitable sequence \(\varepsilon _{n}\rightarrow 0 \), it holds \(\tilde{w}_{\varepsilon _{n}}\rightarrow \tilde{w}\) strongly in \(W^{1,p}(\mathbb {R}^{N})\), and since \(\lambda _{\varepsilon }\rightarrow 1,\) it holds that \(w_{\varepsilon _{n}}\rightarrow \tilde{w}\), where \( \tilde{w}\) is the minimizer of \( (S'_{0})\) satisfying the constraint. By the uniqueness of minimizer of (\(R_{0}\)), we have \( \tilde{w}=w_{0}.\) An obvious modification of the proof of Lemma 5.19, using \(||w_{\varepsilon }||_{p^{*}},\) yields that \(||w_{\varepsilon }||_{\infty }\lesssim 1\) as \(\varepsilon \rightarrow 0\). By uniform elliptic estimates we conclude that \( w_{\varepsilon }\) converges to \(w_{0} \) in \( L^{s}(\mathbb {R}^{N})\) for any \( s\ge p\) and in \(C^{1,\alpha }_\mathrm{{loc}} (\mathbb {R}^{N})\), and therefore the proof of Theorem 2.2 is complete.
References
Allegretto, W., Huang, Y.X.: A Picone’s identity for the \(p\)-Laplacian and applications. Nonlinear Anal. 32(7), 819–830 (1998)
Ambrosetti, A., Malchiodi, A.: Perturbation Methods and Semilinear Elliptic Problems on \(\mathbb{R}^{n}\), Progress in Mathematics, vol. 240. Birkhäuser Verlag, Basel (2006)
Berestycki, H., Lions, P.-L.: Nonlinear scalar field equations. I. Existence of a ground state. Arch. Ration. Mech. Anal. 82(4), 313–345 (1983)
Brézis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88(3), 486–490 (1983)
Caffarelli, L.A., Gidas, B., Spruck, J.: Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth. Commun. ure Appl. Math. 42(3), 271–297 (1989)
Cahn, J.W., Hilliard, J.E.: Free energy of a nonuniform system. III. Nucleation in a 2-component incompressible fluid. J. Chem. Phys. 31(3), 688–699 (1959)
Coleman, S.: Fate of the false vacuum: semiclassical theory. Phys. Rev. D 15(10), 2929 (1977)
Cross, M.C., Hohenberg, P.C.: Pattern formation outside of equilibrium. Rev. Mod. Phys. 65(3), 851–1112 (1993)
Degiovanni, M., Musesti, A., Squassina, M.: On the regularity of solutions in the Pucci–Serrin identity. Calc. Var. Partial Differ. Equ. 18(3), 317–334 (2003)
Díaz, J.I., Saá, J.E.: Existence et unicité de solutions positives pour certaines équations elliptiques quasilinéaires. C. R. Acad. Sci. Paris Sér. I Math. 305(12), 521–524 (1987)
DiBenedetto, E.: \(C^{1+\alpha }\) local regularity of weak solutions of degenerate elliptic equations. Nonlinear Anal. 7(8), 827–850 (1983)
Farina, A., Mercuri, C., Willem, M.: A Liouville theorem for the \(p\)-Laplacian and related questions. arXiv:1711.11552v2 (2017)
Fraas, M., Pinchover, Y.: Isolated singularities of positive solutions of \(p\)-Laplacian type equations in \(\mathbb{R}^d\). J. Differ. Equ. 254(3), 1097–1119 (2013)
Gazzola, F., Serrin, J.: Asymptotic behavior of ground states of quasilinear elliptic problems with two vanishing parameters. Ann. Inst. H. Poincaré Anal. Non Linéaire 19(4), 477–504 (2002)
Gazzola, F., Serrin, J., Tang, M.: Existence of ground states and free boundary problems for quasilinear elliptic operators. Adv. Differ. Equ. 5(1–3), 1–30 (2000)
Guedda, M., Véron, L.: Local and global properties of solutions of quasilinear elliptic equations. J. Differ. Equ. 76(1), 159–189 (1988)
Guedda, M., Véron, L.: Quasilinear elliptic equations involving critical Sobolev exponents. Nonlinear Anal. 13(1), 879–902 (1989)
Lions, P.-L.: The concentration-compactness principle in the calculus of variations. The limit case I. Rev. Mat. Iberoam. 1(1), 145–201 (1985)
Liskevich, V., Lyakhova, S., Moroz, V.: Positive solutions to nonlinear \(p\)-Laplace equations with Hardy potential in exterior domains. J. Differ. Equ. 232(1), 212–252 (2007)
Mercuri, C., Riey, G., Sciunzi, B.: A regularity result for the \(p\)-Laplacian near uniform ellipticity. SIAM J. Math. Anal. 48(3), 2059–2075 (2016)
Mercuri, C., Squassina, M.: Global compactness for a class of quasi-linear elliptic problems. Manuscr. Math. 140(1), 119–144 (2013)
Mercuri, C., Willem, M.: A global compactness result for the \(p\)-Laplacian involving critical nonlinearities. Discrete Contin. Dyn. Syst. 28(2), 469–493 (2010)
Merle, F., Peletier, L.A.: Asymptotic behaviour of positive solutions of elliptic equations with critical and supercritical growth. II. The nonradial case. J. Funct. Anal. 105(1), 1–41 (1992)
Moroz, V., Muratov, C.B.: Asymptotic properties of ground states of scalar field equations with a vanishing parameter. J. Eur. Math. Soc. (JEMS) 16(5), 1081–1109 (2014)
Muratov, C., Vanden-Eijnden, E.: Breakup of universality in the generalized spinodal nucleation theory. J. Stat. Phys. 114(3–4), 605–623 (2004)
Pohožaev, S.: On the eigenfunctions of the equation \(\Delta u + \lambda f/(u) = 0\). Dokl. Akad. Nauk SSSR 165, 36–39 (1965)
Poliakovsky, A., Shafrir, I.: A Comparison Principle for the \(p\)-Laplacian, Elliptic and Parabolic Problems (Rolduc/Gaeta, 2001), pp. 243–252 (2002)
Pucci, P., Serrin, J.: A general variational identity. Indiana Univ. Math. J. 35(3), 681–703 (1986)
Pucci, P., Serrin, J.: Uniqueness of ground states for quasilinear elliptic operators. Indiana Univ. Math. J. 47(2), 501–528 (1998)
Pucci, P., Serrin, J.: The Maximum Principle, Progress in Nonlinear Differential Equations and their Applications, vol. 73. Birkhäuser Verlag, Basel (2007)
Pucci, P., Servadei, R.: Regularity of weak solutions of homogeneous or inhomogeneous quasilinear elliptic equations. Indiana Univ. Math. J. 57(7), 3329–3363 (2008)
Sciunzi, B.: Classification of positive \(D^{1, p}(\mathbb{R}^{N})\)-solutions to the critical \(p\)-Laplace equation in \(\mathbb{R}^{N}\). Adv. Math. 291, 12–23 (2016)
Serrin, J., Tang, M.: Uniqueness of ground states for quasilinear elliptic equations. Indiana Univ. Math. J. 49(3), 897–923 (2000)
Shafrir, I.: Asymptotic behaviour of minimizing sequences for Hardy’s inequality. Commun. Contemp. Math. 2(2), 151–189 (2000)
Struwe, M.: Variational Methods Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Springer, Berlin (1990)
Su, J., Wang, Z.-Q., Willem, M.: Weighted Sobolev embedding with unbounded and decaying radial potentials. J. Differ. Equ. 238(1), 201–219 (2007)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) 110, 353–372 (1976)
Tang, M.: Existence and uniqueness of fast decay entire solutions of quasilinear elliptic equations. J. Differ. Equ. 164(1), 155–179 (2000)
Tolksdorf, P.: Regularity for a more general class of quasilinear elliptic equations. J. Differ. Equ. 51, 126–150 (1984)
van Saarloos, W., Hohenberg, P.C.: Fronts, pulses, sources and sinks in generalized complex Ginzburg–Landau equations. Phys. D 56(4), 303–367 (1992)
Vázquez, J.L.: A strong maximum principle for some quasilinear elliptic equations. Appl. Math. Optim. 12(3), 191–202 (1984)
Vétois, J.: A priori estimates and application to the symmetry of solutions for critical \(p\)-Laplace equations. J. Differ. Equ. 260, 149–161 (2016)
Willem, M.: Functional Analysis: Fundamentals and Applications. Cornerstones. Springer, New York (2013)
Unger, C., Klein, W.: Nucleation theory near the classical spinodal. Phys. Rev. B 29(5), 2698–2708 (1984)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Radial functions
We recall that for \( u \in L^{1}( \mathbb {R}^{N} ) \), the radially decreasing rearrangement of a function u is denoted by \( u^{*} \) and it is such that for any \( \alpha > 0 \) it holds that
where \( \big |\cdot \big | \) denotes the Lebesgue measure in \({{\mathbb {R}}}^N\). We recall that
for every continuous F such that F(u) is summable. The following fundamental properties of rearrangements can be found, e.g. in [43]:
Lemma A.1
Let \( 1 \le p < \infty \) and \( u,v \in L^{p}(\mathbb {R}^{N}) \). Then \( u^{*} ,v^{*} \in L^{p}(\mathbb {R}^{N}) \) and
Lemma A.2
Let \( 1<p<N \) and \( u \in D^{1,p}(\mathbb {R}^{N}) \) (respectively, in \( W^{1,p}(\mathbb {R}^{N})\)). Then \( u^{*} \) belongs to \( D^{1,p}(\mathbb {R}^{N})\) (respectively, in \( W^{1,p}(\mathbb {R}^{N}) \)), and we have
We will be frequently using the following well-known decay and compactness properties of radial functions on \(\mathbb {R}^{N}\).
Lemma A.3
[36] Assume that \( 1< p < N \). Then there exists \( C=C(N,p) > 0 \) such that for all \( u\in D_{r}^{1,p}(\mathbb {R}^{N}) \),
Lemma A.4
(Compactness of the radial embedding [36]) Let \( 1<p<N \). Then we have the following continuous embedding
for \( p \le q \le p^{*}:=\frac{pN}{N-p} \) when \( p^{*} <\infty \) and for \( p \le q < \infty \) when \( p^{*} =\infty \). Furthermore, the embedding is compact for \( p< q < p^{*} \).
Lemma A.5
-
(1)
Let \(s\ge 1\) and let \(u \in L^{s}(\mathbb {R}^{N})\) be a radial nonincreasing function. Then for every \(x\ne 0,\)
$$\begin{aligned} |u(x)|\le C |x|^{\frac{-N}{s}}||u||_{s}, \end{aligned}$$(A.3)where \(C=C(s,N)\), see, e.g. [3].
-
(2)
Let \(u_{n}\in D^{1,p}(\mathbb {R}^{N})\) be a sequence of radial functions such that \(u_{n}\rightharpoonup u\) in \(D^{1,p}(\mathbb {R}^{N})\). Then, passing if necessary to a subsequence, it holds that
$$\begin{aligned} u_{n}\rightarrow u \quad \text {in} \; L^{\infty }(\mathbb {R}^{N}\backslash B_{r}(0)) \quad \text {and}\quad \; L^{s}(\mathbb {R}^{N}\backslash B_{r}(0)) \quad \forall \; r>0, \;s>p^{*}. \end{aligned}$$
Proof
Since \((u_n)_{n\in {\mathbb {N}}}\in D^{1,p}({{\mathbb {R}}}^N)\) is a radial sequence, setting \(f_n(|x|)=u_n(x)\) from the fundamental theorem of calculus and Hölder’s inequality for all \(|x|>|y|>r>0\) it holds that
and as a consequence, since \(u_n \rightharpoonup u\) is bounded, for all \(x,y\in {{\mathbb {R}}}^N\setminus B_r(0)\) and a uniform constant \(C>0\) we have that
Namely, \((u_n)_{n\in {\mathbb {N}}}\) is bounded in \(C^{0,1/p'}({{\mathbb {R}}}^N\setminus B_r(0))\) and by the locally compact embedding it is strongly convergent to u in \(L^{\infty }_{\text {loc}}({{\mathbb {R}}}^N\setminus B_r(0)).\) This and Lemma A.3 yield the convergence in \(L^{s}({{\mathbb {R}}}^N\setminus B_r(0)).\)\(\square \)
Comparison principle for the p-Laplacian
Let \(G\subseteq {{\mathbb {R}}}^N\) be a domain. We say that \( 0\le v \in W_\mathrm{{loc}}^{1,p}(G) \) satisfies condition (S) if:
- (S):
there exists \((\theta _{n})_{n\in \mathbb {N}}\subset W_{c}^{1,\infty }(\mathbb {R}^{N}) \) such that \(0\le \theta _{n}\rightarrow 1 \; \text {a.e.}\; \text {in}\; \mathbb {R}^{N}\) and
$$\begin{aligned} \int \limits _{G} \mathcal {R}(\theta _{n}v,v) \rightarrow 0,\quad \text {as} \quad n\rightarrow +\infty . \end{aligned}$$
where \(\mathcal {R}\) is defined by
Notice that if G is bounded and \(v\in W^{1,p}(G) \) then condition (S) is trivially satisfied with \( \theta =1\) in G. In case of an unbounded domain G, condition (S) ensures that the subsolution v is sufficiently small at infinity, in order to respect the comparison principle (see [19]).
Using condition (S), we formulate a version of comparison principle for a p-Laplacian with a general negative potential (see, e.g. [19, 27, 34]).
Theorem B.1
(Comparison principle for p-Laplacian) Let \( 0< u\in W_\mathrm{{loc}}^{1,p}(G) \cap C(\bar{G})\) be a supersolution and \(v\in W_\mathrm{{loc}}^{1,p}(G) \cap C(\bar{G})\) a subsolution to the equation
where \(V\in L_\mathrm{{loc}}^{\infty }(G)\). If G is an unbounded domain, assume in addition that \( \partial G \ne \emptyset \) and \(v^{+} \) satisfies condition (S) . Then \(u\ge v \) on \(\partial G \) implies \( u\ge v \) in G.
Below we prove a simple sufficient condition for assumption (S) to hold.
Lemma B.2
If \(0\le v\in D_{rad}^{1,p}(\mathbb {R}^{N})\) then v satisfies (S).
Proof
and note that \(|\eta _{R}|\le 1\) a.e. in \(\mathbb {R}^{N}\) and \(|\eta '_{R}|\le \frac{c}{ \log R } r^{-1} \). We are going to show that
Using the Picone’s identity [1, 10] and inequalities [34, Lemma 7.4], it is straightforward to deduce the inequalities
Case \(1<p\le 2\). Using (B.3) and Ni’s decay estimate Lemma A.3 on \(v\in D_{rad}^{1,p}(\mathbb {R}^{N})\),
by a direct calculation we obtain
Case\(p>2\). By Hölder and (B.5) we conclude
Taking into account (B.4) and once again (B.5), the conclusion follows. \(\square \)
Remark B.3
While the statement of Lemma B.2 is sufficient for our purposes, it is far from optimal. See [19, Appendix B] for constructions of radial functions \(v\not \in D^{1,p}(\mathbb {R}^{N})\) which satisfy assumption (S).
Rights and permissions
About this article
Cite this article
Albalawi, W., Mercuri, C. & Moroz, V. Groundstate asymptotics for a class of singularly perturbed p-Laplacian problems in \({{\mathbb {R}}}^N\). Annali di Matematica 199, 23–63 (2020). https://doi.org/10.1007/s10231-019-00865-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00865-6