Multiplicity results for generalized quasilinear critical Schr\"odinger equations in R^N

Multiplicity results are proved for solutions both with positive and negative energy, as well as nonexistence results, of a generalized quasilinear Schr\"odinger potential free equation in the entire R^N involving a nonlinearity which combines a power-type term at a critical level with a subcritical term, both with weights. The equation has been derived from models of several physical phenomena such as superfluid film in plasma physics as well as the self-channelling of a high-power ultra-short laser in matter. Proof techniques, also in the symmetric setting, are based on variational tools, including concentration compactness principles, to overcome lack of compactness, and the use of a change of variable in order to deal with a well defined functional.


Introduction
In this paper, we are interested in multiplicity results for nontrivial weak solutions, both with negative and positive energy of the following generalized quasilinear Schrödinger equation involving a critical term (1.1) where ∆ m u = div(|Du| m−2 Du) is the m-Laplacian of u, α > 1, β, λ > 0, N ≥ 3, 1 < p < N , p * = N p/(N −p) is the critical Sobolev's exponent, the exponent k is such that α < k < αp * and the weights are nontrivial and satisfy In particular, we emphasize that the weight K can change sign.Actually, in the last section of the paper, we deal also with the singular case, given by 0 < α < 1, and, in particular, thanks to a technique used to attach the case α > 1, we succeed in extending some previous results proved in [7].Our multiplicity results are a first contribution in the study of critical generalized quasilinear Schrödinger equations involving p-Laplacian and general α > 1.To the best of our knowledge, they are new even in the Laplacian case.
Solutions of problems of type (1.1) are related to the existence of standing wave solutions for Schrödinger equations of the form (1.4) i∂ where ψ : R × R N → C, W is a given potential, κ ∈ R and ϕ, real functions of mainly pure power form.By using the well known energy methods, the semilinear subcase κ = 0 of (1.4) was studied deeply in [19], see also and the references therein.Equation (1.4), according to different types of , has been derived from models of several physical phenomena.For instance, when (s) = s, then (1.4) is interpreted as the superfluid film equation in plasma physics, while if (s) = (1 + s) 1/2 , equation (1.4) models the selfchannelling of a high-power ultra short laser in matter.We refer to [25], for applications, in the theory of Heisenberg ferromagnets and magnons and to [8], where models for binary mixtures of ultracold quantum gases are treated.
It is worth pointing out that there are many difficulties in treating this class of generalized critical quasilinear Schrödinger equations (1.1) in R N , such as lack of compactness, the presence of the term ∆ p (|u| α )|u| α−2 u which prevents us from working directly in a classical working space, to manage weights and finally to deal with an "apparently" supercritical term K(x)|u| αp * −2 u.In light of this, challenging tasks, tricky to be managed, appear.
Actually, when α > 1, the exponent αp * plays the role of the critical exponent, differently from the case 0 < α < 1 in which p * behaves like the critical exponent, as it appears in the critical equation (7.1) below.In particular, Section 2 is aimed to justify the appearance of the new critical exponent αp * in terms of the compactness of a suitable embedding and of the nonexistence of solutions beyond αp * .In the spirit of Theorem 2.11 in [2], where the semilinear version (p = 2) of (1.1) is investigated.We refer also to [17], [18] and [35].
In addition, the choice of the parameter α gives rise to a different nature of the equation under consideration since for α > 1, the term ∆ p (|u| α )|u| α−2 u, p > 1, is degenerate at u = 0, while for 0 < α < 1 it becomes singular when u = 0.
In literature, critical Schrödinger equations in R N are mainly studied in their physical relevance, corresponding to the situation p = 2 and when a potential term is involved.The degenerate case, α > 1, is mostly studied when α = 2, see [33], where existence results can be deduced by applying the Mountain Pass Theorem in the superlinear subcritical case 4(= αp) < k < 2 • 2 * of (1.1).As for equations where the reaction combines the multiple effects generated by a singular term and a critical term even with nonhomogeneous operators and in bounded domains, we refer to the recent works [21] and [29].While multiplicity results for fractional magnetic nonlinear Schrödinger equations, both in the critical case and in the supercritical case, are considered in the recent paper [4].
For existence results in the critical semilinear case when α > 1 in (1.1) very few is known in the entire interval α < k < αp * .Nonlinearities only subcritical are studied in [1] when 2 * < k < 2 * α, while [24] deals with the case 2 ≤ k < 2 * α.In the critical case, see also [32], [17] where a general nonlinearity is included.For quasilinear critical Schrödinger equations with α = 2, a potential and involving a Choquard term, we refer to [22].
Passing to the general quasilinear case, 1 < p < N , with α > 1, it seems that there are no multiplicity results for quasilinear critical Schrödinger problems on R N when a potential term is not involved in the equation and the growth rate of the subcritical term is less than αp.Motivated by this observation and with the sake of completing the picture started in [7], where the singular case 0 < α < 1 in (1.1) is treated, in this paper we investigate the case α < k < p in the following theorem, where E λ stands for the standard energy functional associated to equation (1.1), see Section 2.
2) and (1.3), respectively.Then, (i) For any λ > 0, there exists β * > 0 such that for any 0 < β < β * , then equation (1.1) has infinitely many nontrivial solutions For any β > 0, there exists λ * > 0 such that for any 0 < λ < λ * , then equation (1.1) has infinitely many nontrivial solutions The proof of the above multiplicity result relies on the concentration compactness principle, the truncation of the energy functional and the theory of Krasnosel'skii genus.In particular, we cannot manage directly the energy functional E λ associated with (1) since it might be not well defined, but we need to perform a suitable change of variables, in the spirit of [16], to achieve a nice functional.This causes some further obstacles in recovering in some sense compactness beyond p * , since, as noted above, αp * > p * .While the behaviour of the norm of the solutions follows from the application of the symmetric Mountain Pass Theorem, see [3,15,20,34].
Moreover, we also need to restrict the entire sublinear interval α < k < αp to α < k < p due to the shape of the transformed energy functional which yields tricky estimates, cfr.Remark 3. As far as we know, in [36] there is an attempt to cover the entire interval α < k < αp when K ≡ 1, by using an inequality which seems difficult to be verified.
In the second part of our paper, we study equation (1.1) in a symmetric setting related to a subgroup T of the group O(N ) of orthogonal linear transformations in R N .In turn, it is possible to define where A pioneering paper about critical symmetric problems in the entire R N is [10] by Bianchi, Chabrowskii and Szulkin, where existence and multiplicity results are obtained for p = 2 under appropriate assumptions on the single weight involved and on the group T , no subcritical terms are included.In this context, we mention also [14] where the symmetry of solutions is shown by applying the improved "moving plane" method.
Differently from Theorem 1, where no assumptions on the sign for the weight K are required, in the next result, nonnegativity for the weight K is needed.Furthermore, we consider solutions with positive energy, with no additional restrictions on α, p, k, indeed the range for α and k is the largest possible.
where K(∞) = lim sup |x|→∞ K(x).Then, for all λ, β > 0 equation (1.1) possesses infinitely many solutions The main ingredient used in the proof of Theorem 2 is the Fountain Theorem, which requires the Palais Smale property for the functional at any positive level.This is in force by virtue of the crucial assumption (1.5).
The paper is structured as follows.The description of the functional setting, the reformulation of the problem by a suitable change of variable and motivations on the critical exponent αp * are contained in Section 2. Section 3 encloses compactness properties thanks to which we overcome the lack of compactness, while in Section 4 we perform a deep analysis on the possible behaviours of the energy functional and of its truncated version, this latter introduced to restore the boundedness from below.The proof of Theorem 1 is disclosed in Section 5, whereas in Section 6 we deal with solutions with positive energy and we develop the proof Theorem 2 in the symmetric setting described before.Finally, Section 7, by using some ideas given in Section 3, is devoted to extending Theorem 1.1 in [7], relative to the singular case 0 < α < 1, covering the entire interval 1 < k < αp.

Preliminaries
In this section, we introduce the main notations and we present preliminary results useful for the proof of the main theorems of the paper, given in Sections 5, 6.
Let D 1,p (R N ) be the closure of C ∞ 0 (R N ) with respect to the norm u D 1,p = Du p , where • p is the L p norm in R N .In particular, we can define the reflexive Banach space The Euler Lagrange functional associated with equation (1.1) is the following Due to the appearance of the coercive term g, indeed g(t) → ∞ as |t| → ∞, when α > 1, the functional E λ may be not well defined in D 1,p (R N ), so we cannot apply variational methods or nonsmooth critical point theory to deal directly with (2.1).For example, from [31], if we consider u e (x) = |x| −(N −p)/2p , x ∈ B 1 \ {0} then u e ∈ D 1,p (R N ) but g(u e ) p |Du e | p / ∈ L 1 (R N ) for any α ≥ 2. To overcome this difficulty, we make a change of variables developed in [16], following an idea in [25], precisely In particular, the function g defined in (2.2) is an even function in R, g(0) = 1, g is increasing in R + and decreasing in R − .For any α > 0 and t ∈ R, we have Thus, G is well defined and continuous in R.Moreover, G is a strictly increasing function being g ≥ 1, G(0) = 0 and lim |t|→∞ G(t) = ∞.So, we can define G −1 , an invertible, odd and C 1 function such that G −1 (s) ≥ 0 for any s ≥ 0. Thanks to the change of variables described above, the energy functional E λ can be written by the following functional (2.5) ).The proof of the regularity of F λ takes the following steps, starting with the properties of g and G. Especially, the following lemma holds.
Lemma 1.Let α > 1.Then, it holds a) lim s→0 Then the following hold for every t ∈ R.
If ℘ > α then ℘−α g(t) < (℘−1)g(t)−tg (t) Proof.Since G −1 is odd, we only consider the case s ≥ 0. Property a) is trivial by Hospital's rule, being t = G −1 (s) so that G (t) = g(t) with g(0) = 1.Also b) follows immediately again from Hospital's rule since where we have used also that Condition c) follows since g(t) > 1 for all t > 0, thus G(t) = t 0 g(z)dz ≥ t for every t ≥ 0. To prove d), since g is increasing in R + and positive, we have To get e), multiply d) by g(t) > 0 and integrate so that In turn, inequality e) follows taking s = G(t).For the proof of f ), it is enough to multiply d) by −1/g(t) and then add (℘ − 1)/g(t) so that yielding f ) depending on the case.In order to prove g) and h) take > 0, for s ≥ 0 from e).Consequently, |G −1 (s)| α /s is strictly increasing and by b) its limit at infinity is 2 1/p , thus g) follows immediately.In addition, we get |G −1 (s)| α > |G −1 (1)| α s for s ≥ 1 and h) holds by virtue of symmetry.Finally, i) follows from G −1 (0) = 0 and (2.6).
Remark 1.Note that, by definition, we have Dv so, by using (2.7), we obtain In addition, since g ≥ 1, then we have On the other hand, if we take v ∈ D 1,p (R N ), by using the definition of g in (2.2), we have (2.9) In what follows we make use of the next crucial lemma, for its proof we refer to Lemma 2.2 in [7] where we consider Actually, as described in the Introduction, equation (1.1) is critical since the corresponding critical exponent in the nonlinearity is αp * , as soon as α > 1.For the Laplacian case p = 2, we refer to [2] where a detailed discussion in this direction is conducted, see also [35], [17].In order to justify this assumption, we first prove nonexistence beyond αp * , and then we recover continuity and local compactness until αp * .
In the following theorem, by the celebrated variational identity by Pucci and Serrin in [30], we immediately get that for k ≥ αp * nonexistence follows at all, generalizing the result in [26] where the authors studied the case p = α = 2 provided nonexistence of solutions in Proof.By using the following Pucci and Serrin variational identity, [30], in Choosing h(x) = x and a(x) = N/αp * we arrive to which yields to a contradiction when (2.10) holds since the left hand side of (2.11) is positive being k ≥ αp * , λ > 0 and thanks also to Lemma 1-d), while the right hand side of (2.11) is non positive.
Moreover, in what follows we will prove the compactness of the inverse map of G defined in (2.3) in some sense until αp * , taking into account similar results in [18,25].
Proof.Take v ∈ D 1,p (R N ) and, by using (2.9) and Sobolev's inequality, we have where so that we get continuity for q = p * .To prove continuity for q < p * , consider x, y > 1 with 1 < x < q and use Hölder's inequality with exponents y and y > 1 where we have used Lemma 1-g), (2.14) and the continuity of embedding Finally, from (2.15), by using an increasing sequence of compact sets whose union is R N and a diagonal argument, we get (2.12).
In order to prove the regularity of F λ , we need to analyze the regularity of , so that by Hölder inequality with exponents r = αp * /(αp * − k) and r = αp * /k we have (2.17) Since V ∈ L r (R N ), by (2.12) and (2.17), the latter applied with v n instead of v, we get the weakly continuity of J, thanks to Lebesgue convergence Theorem, that is In order to prove the Fréchet differentiability, that is J ∈ C 1 , it is enough to show that J is Gâteaux differentiable and has a continuous Gâteaux derivative on D 1,p (R N ).First, consider v, ψ ∈ D 1,p (R N ) and 0 < |t| < 1, so that Using the mean value theorem, there exists δ ∈ (0, 1) such that (2.20) with c > 0, where we have used, for the first inequality, the following condition which holds for on bounded sets in R + 0 by using Lemma 1-g), i) .While, the last inequality in (2.20) follows from the elementary formula (a + b) r ≤ C(a r + b r ), a, b, r > 0 and C > 0. Now, by applying Hölder's inequality twice with exponents r, αp * /(k − α), p * and r, αp * /k, we get The right hand side of the above inequality is finite thanks to the suitable summabilities of the functions V, ψ, v. Thus, by letting t → 0 in (2.19) using (2.20), from the Lebesgue dominated convergence theorem, J is Gâteaux differentiable.
Proof.The proof relies on the one of Lemma 3 but with some adjustments.First, note that here there are no conditions on the exponent k.Trivially, the functional is well defined and weakly continuous on D 1,p (R N ).In order to prove the Gâteaux differentiability of H, we use again the Mean Value Theorem but, instead of (2.20), we have where we have used Lemma 1-g), i) and the elementary formula (a + b) r ≤ C(a r + b r ), a, b, r > 0 and C > 0. Concerning the well definition of H on [D 1,p (R N )] , we get where, for the integral near C 1 we use that g ≥ 1 and Hölder's inequality with exponents αp * and αp * /(αp * − 1), while for the integral with C 2 we use in Lemma 1-i) and Hölder's inequality with exponents p * and p * /(p * − 1).
Finally, the continuity of the Gâteaux derivative follows by defining W instead of W as ) and from the following Since the first term of F λ is a norm with exponent p > 1, and thanks to Lemmas 3 and 4 with 1 < α < k, then we get F λ ∈ C 1 (D 1,p (R N )), and We say that v ∈ D 1,p (R N ) is a (weak) solution of equation (1.1) if Clearly, (weak) solutions of (1.1) are exactly critical points of the Euler-Lagrange functional E λ , or equivalently F λ , associated with (1.1).Moreover, every critical point of F λ correspond to a solution of the following equation (2.24) As a consequence, Theorems 7 and 2, whose statements are given in the Introduction in terms of u satisfying (1.1), can be stated in terms of v = G(u) solutions of (2.24).
A key role in the proof of our results is the concentration compactness principles by Lions.For a detailed discussion on them, we refer to [5] and [6].In particular, we are interested in the second concentration compactness principle, which regards a possible concentration only at finite points and where two different types (since we are in unbounded domains) of convergences are considered: the tight convergence of measures, whose symbol is * , and the "weak" convergence, denoted with .Precisely, < ∞, where (x j ) j∈J are distinct points in Ω, δ x is the Diracmass of mass 1 concentrated at x ∈ Ω.
Since the tight convergence excludes a possible concentration at infinity, by using the lemma above, in order to get compactness, it remains only to show that concentration around points, described by ν j , cannot occur.However, the proof of tightness by definition as well as using the first concentration compactness principle leads to rather cumbersome and tricky calculations.To overcome these difficulties, Chabrowskii presented a version at infinity of the second principle, cfr.Proposition 2 in [13], see also Bianchi et al. in [10] for the Laplacian case.In this principle Chabrowskii manages to enclose the concentration at infinity in the parameter ν ∞ , in according to the ν j s in Lemma 5 so that the non concentration at infinity occurs if one proves that ν ∞ = 0. Later Ben-Naoum et al. in [9] obtain a version for the p-Laplacian, here reported for completeness.
Proposition 1. (Proposition 3.3, [9]) Let (u n ) n be a bounded sequence in D 1,p (R N ) and define Then, the quantities ν ∞ and µ ∞ exist and satisfy where ν and µ are as in (i) and (ii) in Lemma 5 and such that (iii) holds.
Another key tool in proving the multiplicity result of solutions with positive energy, namely Theorem 2, is the Fountain Theorem.However, before its statement, we briefly report the setting needed.For some well-known basic definitions of actions, invariant functions, we refer to [6].(A1) The compact group G acts isometrically on the space M = j∈N M j , which is a Banach space, where the spaces M j are G-invariant and there exists a finite dimensional space W such that, for every j ∈ N, M j W and the action of G on W is admissible.From the decomposition of the Banach space M in (A1), we define Y m and Z m as follows Remark 2. In our setting, as done in [6], ) is a separable Banach space, there is a linearly independent sequence (e j ) j such that the decomposition in (A1) holds with M j = X j := span {e j }.Note that X j are trivially G-invariant and isomorphic to R. Thus, condition (A1) is satisfied with W = R.
Finally, a crucial ingredient when a symmetric setting is involved is the following principle of symmetric criticality due to Palais, cfr.[27], [28], which states that any critical point of F λ restricted on D 1,p T (R N ), is a critical point of the same functional on D 1,p (R N ).For further details, we refer to [6].

On Palais Smale sequences
We start this section by giving the definition of (PS) c sequence.
Definition 1.Let Y be a Banach space and E : Y → R be a differentiable functional.A sequence Moreover, we say that E satisfies the (PS) c condition if every (PS) c sequence for E has a converging subsequence in Y .
As standard, we need to deal with bounded (PS) c sequences for the functional F λ in (2.5).In addition, a useful inequality holds only if α < k < αp is proved in the next lemma.
Lemma 7. Assume α < k < αp * and the further condition In particular, if α < k < αp and c < 0, it holds , where S is Sobolev's constant.
Now we disjoint the proof in two cases.Case α < k < αp: using (3.2), thanks to Lemma 1-c), e), (2.13) and Hölder's inequalities with exponents r and r we get Thus, since k < αp < αp * , we conclude that Dv n p should be bounded.
Case αp < k < αp * : arguing as in (3.3), with 1/αp * replaced by 1/k, since K(x) ≥ 0 in R N , we obtain The conclusion follows immediately since k > αp.For the proof of inequality (3.1), as in Lemma 4 in [5], it is enough to observe that if c < 0, then (3.3) gives from which (3.1) follows immediately.
In the lemma below we prove the validity of (PS) c condition of F λ , that is the point in which the lack of compactness becomes manifest.Lemma 8. Suppose (1.2), (1.3), α < k < αp, c < 0 and define c 1 , c 2 as follows

Then
(I) For any λ > 0, there exists β * P S > 0 defined as follows such that for every β ∈ (0, β * P S ), then F λ satisfies (PS) c condition.(II) For any β > 0, there exists λ * P S > 0 defined as follows such that for every λ ∈ (0, λ * P S ), then F λ satisfies (PS) c condition.Proof.Let (v n ) n be a (PS) c sequence, by Lemma 7, then (v n ) n is bounded in D 1,p (R N ) and by Banach-Alaoglu's Theorem, there exists v ∈ D 1,p (R N ) such that, up to subsequences, we get v n v in D 1,p (R N ).On the other hand, By Lemma 2, follows that In addition, Theorem 4 gives (2.12).Applying in Proposition 1, there exist µ, ν, ν ∞ , µ ∞ bounded nonnegative measures on R N such that where Moreover, there exists at most countable set J, a family (x j ) j∈J of distinct points in R N and two families (ν j ) j∈J , (µ j ) j∈J ∈]0, ∞[ so that Following an idea in [7], where now we use (2.9) and that V ∈ L r (R N ) with r is given in (1.2), it holds (3.9) 2βK(x j )ν j ≥ µ j .
Inequality (3.9) establishes that concentration of the measure µ cannot occur at points in which K(x j ) ≤ 0 being the right hand side positive.Consequently, K(x j ) > 0 for all j ∈ J.
We claim that J = ∅.Indeed, combining (3.8) 1 and (3.9), we arrive to (3.10) To reach the claim, we show that (3.10) cannot occur for λ or β belonging to a suitable interval.As in [5], assumption (3.10) forces that In particular, since |Dψ ε | ≤ C/ε in the entire R N , by Lemma 1-e), Lemma 7 and using Hölder's inequality twice with exponents p, p and N/(N − p), N/p respectively, we obtain In turn, applying Hölder's inequality with exponents r, r and (2.13) we arrive to as n → ∞.Now, thanks to (2.9) and (3.1), from (3.11), we get where C * is given in (3.1), so that, letting n → ∞, ε → 0 and using (3.8) and (3.10), we arrive to where we have replaced the value of C * and c 1 , c 2 are defined in (3.4).To obtain the required contradiction we need to have Consequently, since k < αp, if we choose any β > 0, then there exists λ * P S , defined in (3.6), such that for every λ ∈ (0, λ * P S ], inequality (3.12) is verified.Similarly, for any λ > 0 fixed, there exists β * P S , defined in (3.5), such that for every β ∈ (0, β * P S ], inequality (3.12) holds.Thus J = ∅, concluding the proof of the claim.
On the other hand, following the idea of Chabrowski in [13] and Ben-Naoum et.al in [9], also a possible concentration at infinity is refused.
Consequently, (3.7) gives 12), then Brezis Lieb Lemma in [12], implies as n → ∞.Thus, by (3.13), the right hand side tends to 0, so that Dv n p → Dv p as n → ∞.Consequently, since D 1,p (R N ) is uniformly convex and by Dv n Du in R N , by Proposition 3.32 in [11], we immediately get

The truncated functional F ∞
In this section, we introduce F ∞ , the truncated functional of F λ , which has the very useful property to be bounded from below, differently from F λ .
Taking into account Theorem 4, in particular (2.14), Hölder's inequality and by using (2.5), for all v ∈ D 1,p (R N ) we have where c V = (2/S) k/αp V r /k and c K = (2/S) p * /p K ∞ /αp * are positive constants.For simplicity, just to describe some qualitative properties of F λ , we define the auxiliary function h(t) = t p /p − λc V t k/α − βc K t p * in R + 0 .Indeed, even if h is smaller than F λ , it will appear in the proof of Theorem 1 that the behaviour of F λ will be roughly the same of h near 0. Following the same argument of Section 4 in [7], we write h(t) = t k/α ĥ(t), ĥ(t with ĥ(0) < 0, ĥ(t) → −∞ as t → ∞ and there is a unique point T M > 0 such that ĥ (T M ) = 0, , ĥ (t) > 0 for 0 < t < T M .
Hence, the maximum value of the function ĥ is given by In turn, since ĥ and h have the same zeros and the same sign in R + , if ĥ(T M ) ≥ 0, then there exists T 0 ∈ (0, T M ) such that ĥ(T 0 ) = h(T 0 ) = 0 so that ĥ(t) < 0 in (0, T 0 ) and consequently h(t) < 0 in (0, T 0 ), cfr. Figure 1a and Figure 1b.
In conclusion, there is always a right neighborhood of 0, say (0, P 0 ), with P 0 ∈ (0, ∞) opportune, in which h is negative.Now, consider a cutoff function τ ∈ C ∞ (R + 0 ), nonincreasing and such that τ (t) = 1, if 0 ≤ t ≤ P 0 and τ (t) = 0 if t ≥ P 1 , for some real positive number P 1 > P 0 and P 0 given above.For instance, in the case in which ĥ(T M ) > 0, we can choose P 0 = T 0 and P 1 = T 1 , respectively the first and the second zero of h, whose existence is guaranteed by the behavior of h, cfr. Figure 1a.Differently, if ĥ(T M ) = 0, then h(T M ) = h (T M ) = 0, and we can choose P 0 = T M , while P 1 any point in (T M , ∞), cfr. Figure 1b.
Finally, if ĥ(T M ) < 0 we can choose P 0 and P 1 in R + without any restriction, cfr. Figure 1c.We point out that, by (4.1), this latter case occurs roughly either if λ > 0 arbitrary and β large or if β > 0 arbitrary and λ large.Precisely, define λ * T and β * T as follows Consequently, ĥ(T M ) < 0 holds either for all λ > 0 and β > β * T or for all β > 0 and λ > λ * T .This property will appear crucial in the proof of Theorem 1.
By virtue of the cut-off function τ it is possible to define the truncated functional As above, we associate the real function h(t) = 1 p t p − λc V t k/α − βc K t p * τ (t), t ∈ R + 0 , whose behaviour, can be represented for instance by cfr. Figure 2a if P 0 = T 0 , P 1 = T 1 and by Figures 2b, 2c for the corresponding cases to Figures 1b, 1c.In particular, we have p ≤ P 0 .Moreover, by the regularity both of the cut-off τ and of F λ , we get with λ * P S , β * P S given in (3.6), (3.5), while λ * T , β * T defined in (4.2), (4.3).Choosing either λ or β small is equivalent to fall in the cases described in Figures 1a-2a and 1b-2b.Lemma 9. Let F ∞ be the truncated functional of F λ .

Proof of Theorem 1
This section is devoted to the proof of Theorem 1.Before stating the symmetric Mountain Pass Theorem, we need the notion of the genus.
with Y a real Banach space.Let A ∈ Σ, the genus γ (A) of A is defined as the smallest integer N such that there exists Φ ∈ C Y, R N \ {0} such that Φ is odd and Φ (x) = 0 for all x ∈ A. We set γ (∅) = 0 and γ (A) = ∞ if there are no integers with the above property.
For an even functional on a Banach space, the symmetric Mountain Pass Theorem due to Ambrosetti-Rabinowitz [3], Rabinowitz [34] and Clark [15], as follows.Theorem 6.Let (Y, • Y ) be an infinite dimensional Banach space and E ∈ C 1 (Y, R) satisfying the following assumptions.(C1) E is even, bounded from below, E(0) = 0 and E satisfies the Palais-Smale condition.(C2) For each j ∈ N, there exists an A j ∈ Σ j such that sup u∈A j E(u) < 0.
Then each c j is a critical value of E with c j ≤ c j+1 < 0 for j ∈ N and (c j ) j converges to zero.Moreover, if Thus, for an even functional on an infinite dimensional Banach space, the symmetric Mountain Pass Theorem gives a sequence of critical values which converges to zero.Under the same assumptions on the functional, Kajikiya in [20] establishes the following critical point theorem which provides a sequence of critical points converging to zero.
• There exists a sequence • There exist two sequences (u k ) k and (v k ) k such that: Proof of Theorem 1.In order to get our multiplicity result, we need to prove conditions (C1) and (C2) of Theorem 6, as well as Theorem 7, for the functional F ∞ .In particular, F ∞ is even, bounded from below and satisfies the (PS) c condition for all c < 0, see Section 4, thus (C1) is proved.In order to prove (C2) consider 0 defined in Theorem 6 and take m ∈ N + .For 1 ≤ j ≤ m let c j and Σ j as in Theorem 6.Our claim consists in proving that (5.1) c j < 0 for all j ≥ 1.
To reach (5.1) it is enough to prove that for all j ∈ N, there exists an ε j = ε(j) > 0 s.t. (5.2) Let Ω V ⊂ R N , |Ω V | > 0, be a bounded open set where V > 0 and extend functions in D 1,p 0 (Ω V ) by 0 outside Ω V , where . Take W j a j-dimensional subspace of D 1,p 0 (Ω V ), thus all the norms in W j are equivalent.For every v ∈ W j \ {0}, we write v = r j w with w ∈ W j and w D 1,p 0 (Ω V ) = 1.In what follows we specify the choice of r j .Note that there exists d j > 0 such that (5.3) By Lemma 1-a), for ε > 0 there exists σ = σ(ε) sufficiently small such that (5.4) Thus, since α < k < p, by (5.3) and (5.4), we get Consequently, by Lemma 1-g), the following holds where C > 0. Consequently, for every v ∈ W j , v = 0, we can choose r j ∈ (0, P 0 ) sufficiently small such that v = r j and, since α < k < p, we obtain In particular, applying Theorem 7, we get a sequence of solutions with negative energy of problem (1.1) such that, in both cases, either u n → 0 or u n → c = 0 and E λ (u n ) → 0 as n → ∞.In addition, in the latter case, there is also another sequence of nontrivial solutions (ū n ) n such that E λ (ū n ) = 0 and ūn → 0 as n → ∞.This concludes the proof.Remark 3. The case p < k < αp is not covered in Theorem 1 because of some considerable difficulties.Indeed, to prove (5.1) we need that F ∞ has to be negative near 0. Unfortunately, if p < k it holds the opposite condition.Indeed, for any v = r j w ∈ W j with w D 1,p 0 (Ω V ) = 1 and r j positive suitable, using Lemma 1-c), g) and Hölder's inequality with exponents p * /k and p * /(p * − k), we have and Ω V is bounded, see the proof of Theorem 1. Consequently, if r j is sufficiently small, say r j < P 0 , and k > p, then, by definition, On the other hand, as it will be clear from the proof of Theorem 2 below, assuming K ≥ 0 in R N , then one can obtain F λ (v) < 0 for r j sufficiently large, since p, k/α < p * .This choice of r j fits with the behaviour of the functions h, h given in Figure 1c and 2c, see Section 4 for details, namely when h is nonincreasing.However, this latter case cannot occur since (PS) c property for F λ follows from Lemma 8 by requiring either λ fixed and β small or viceversa, in turn ĥ(T M ) ≥ 0 by (4.1), that are situations described in Figures 1a-2a and 1b-2b.

Proof of Theorem 2
This section is devoted to the proof of the result under a symmetric setting.In particular, Theorem 2, whose statement is given in the Introduction, gives infinitely many solutions for problem (1) with no assumptions on the parameters λ and β.Indeed, thanks to the symmetric environment considered, by the corollary below, the (PS) c condition for the energy functional F λ holds in a very general setting.
Corollary 1.Let α < k < αp * .If (1.5) holds, then the functional F λ satisfies (PS) c condition in D 1,p T (R N ) for every c ∈ R. For the proof of the result above we refer to Corollary 1 in [6].
Remark 4. Unfortunately, we cannot improve Theorem 1 in a symmetric setting in view of the new property given by Corollary 1, since Lemma 9 seems difficult to be extended to any λ, β > 0. Indeed, in the proof of Lemma 9 we deduce the validity of (PS) c condition for the truncated energy functional E ∞ from property (h).This latter property is easily obtained for the cases 2a, 2b, valid roughly for either λ or β small, but, for the case in Figure 2c Now we are ready to prove Theorem 2, by using the Fountain Theorem.Proof of Theorem 2. The proof consists in applying Theorem 5 with G = Z/2 and M = D 1,p T (R N ).Note that, by Remark 2, assumption (A1) is verified.The energy functional F λ , from Corollary 1, satisfies the (PS) c condition for every c ∈ R, so that also (A4) of Theorem 5 holds.Since 0 ≡ K ≥ 0 in R N and K ∈ C(R N ), there exists an open bounded subset Ω K of R N with K > 0 in Ω K .By the T -symmetry of K, then also Ω K is T -symmetric, in turn we can define D 1,p T (Ω K ).Now, extending functions in D 1,p T (Ω K ) by 0 outside Ω K , we By Lemma 1-b), for all ε > 0 there exists M > 0 large enough, such that |G −1 (t)| α ≥ p −1/p * |t| for |t| ≥ M choosing ε = 2 1/p − p −1/p * , so that, thanks to Lemma 1-g), (6.1) and since K, V ≥ 0, the following holds .This proves (A2) of Theorem 5. Condition (A3) follows exactly as in [6], taking into account the properties of v. Then applying Theorem 5, the energy functional F λ has unbounded sequence of critical values in D 1,p T (R N ), so that Theorem 2 is proved.
7. Further results in the singular case: 0 < α < 1 In this section we extend Theorem 1.1 in [7] where the so called singular version of equation (1.1), i.e. 0 < α < 1, is considered, and for which the critical exponent is p * , (7.1) where 1 < k < p * .This case is known as "singular" since the function g(t) in (2.2) is singular for t = 0, differently from the case α > 1 where g is coercive at ∞.The natural energy functional associated with equation (7.1) is while, the functional we have to deal with, after the same change of variable described in Section 2, is the following To manage the singular case, we have to take care of the different growth of G −1 at 0 and at ∞ respect to the case α > 1. Multiplicity results for solutions of (7.1) with negative energy in the singular case are obtained using the same technique as for Theorem 1 but under the more restrictive condition 2 < k < αp.Here, we enlarge the interval for k, p up to consider 1 < k < αp and we add properties on the behaviour of solutions, as follows.
The smaller interval 2 < k < αp in [7] follows from the application of Lemma 3.3 in [7], which is crucial in order to obtain the validity of (PS) c condition for Fλ .We point out that the restriction 2 < k < αp is not required in proving that concentration around points and at infinity cannot occur.On the other hand, Lemma 3.3 in [7] cannot be applied in the case α > 1 since the critical exponent becomes αp * > p * so different arguments are required.Surprisingly, these last tools, applied to the singular case, allow us to cover the entire interval 1 < k < αp.In particular, it holds the following., such that for every λ ∈ (0, λ], then Fλ satisfies (PS) c condition.
Proof.Let (v n ) n be a (PS) c sequences for the functional Fλ (v).We now repeat word by word up the proof of Lemma 3.4 in [7] until formula (3.28) obtained thanks to the application of the Brezis Lieb Lemma, precisely At this point, using that Fλ (v n ) → Fλ (v) = c by weak continuity of the functional, we have as n → ∞.Thus, by (7.2) and Hölder's inequality, the right hand side of the above equation tends to 0 as n → ∞, so that Dv n p → Dv p as n → ∞.Consequently, since D 1,p (R N ) is uniformly convex and by Dv n Dv in R N , by Proposition 3.32 in [11], we get the strong convergence in L p (R N ) of the sequence (Dv n ) n .
Proof of Theorem 8.It is enough to follow the proof Theorem 1 in [7] where, in place of Lemma 3.4, we use Lemma 10 above.In addition, to obtain the asymptotic behaviours we refer to Theorems 6, 7 given in Section 5.
As described in Remark 4 it seems difficult to extend the above theorem for every λ, β > 0 in the symmetric setting of Theorem 2, while for the corresponding multiplicity result for solutions with positive energy we refer to Theorem 1.3 in [7].
. We make use of T -symmetric functions f : Ω → R N , i.e. f (τ x) = f (x) for all τ ∈ T and x ∈ Ω, with Ω open T -symmetric subset of R N (i.e. if x ∈ Ω, then τ x ∈ Ω for all τ ∈ T ).For example, even functions are T -symmetric functions with T = {id, −id}, thus |T | = 2, and radially symmetric functions are T -symmetric functions with T = O(N ), thus |T | = ∞.Then, we denote with D 1,p T (R N ) the subspace of D 1,p (R N ) consisting of all T -symmetric functions, cfr.Section 2.