80 M. Francawith slow decay.Moreover, exploiting the existence of the G.S. with slow decay in the case q 2 =2(q 1 − 1) > 2 ∗ , Flores was able to prove the following result in [1].THEOREM 16. Assume that 2 ∗ < q 1 < 2 ∗ < q 2 and q 1 > 2 N+2√ N−1−2N+2 √ N−1−4 . Then,given any integer k ≥ 1, there is a number ǫ k > 0 such that, if |q 2 − 2(q 1 − 1)| < ǫ k ,then there are at least k radial G.S. with fast decay for (2). In particular if q 2 =2(q 1 − 1) there are infinitely many G.S. with fast decay.The condition q 1 > 2 N+2√ N−1−2N+2 √ guarantees that P(+∞) is a focus and thisN−1−4point is crucial for the proof.We think that all the Theorems of this section could be generalized to the casep ̸= 2 using the new change of coordinates (4). Moreover we think that these techniquescould be adapted to generalize Theorems 13, 14, 15 also to the spatial dependentcase, that is when f (u, r) = k 1 (r)u|u| q1−2 + k k (r)u|u| q2−2 , where k 1 and k 2 are actuallyfunctions. The last Theorem 16 crucially depends on the existence of the G.S. withslow decay, that seems to be structurally unstable. However we have been able to computethis solution also for the corresponding equation (1). So perhaps also Theorem 16can be extended to the case p ̸= 2.(q 1 −1)pp−1REMARK 8. Consider (1) where f (u, r) = u|u| q1−1 + u|u| q2−1 , where q 2 =and p ∗ < q 1 < p ∗ < q 2 . Then there is a radial G.S. with slow decaywhere A = [∣ ∣ pq 1 −pu(r) = A(∣ p−1 (n −p(q 1 −1))] 1q 1 −p1B + r pp−16. f negative for u small and positive for u large) p−1q 1 −pq 1 −pand B = ( n − p(q 1−1)q 1 −p)Aq 1 −1p−1 .In this section we will consider (3), assuming that f (u, r) is negative for u small andpositive for u large and r small. The prototypical non-linearity we are interested in isthe following(22) f (u, r) = −k 1 (r)u|u| q 1−2 + k 2 (r)u|u| q 2−2where the functions k i (r) are nonnegative and continuous. When p = q 1 = 2 (2)describes a Bose-Einstein condensate, and the G.S., if it exists, is the least energysolution. In order to have G.S. we need to have a balance between the gain of energydue to the negative terms and the loss of energy due to the positive terms. The strengthof the contribution is proportional to the corresponding value of |Ji+ (r)|, so it dependsstrongly on the exponent q i . When f is as in (22) and q 1 < p ∗ ≤ q 2 the contribution
Radial solutions for p-Laplace equation 81given by the positive term is not strong enough, while when q 1 ≥ p ∗ the contributionof the positive term is too strong. When q 1 < q 2 < p ∗ we expect to find a richerscenario, similar to the one depicted in Theorem 5 (3), where G.S. with slow decay arereplaced by oscillatory solutions.Also in this situation, roughly speaking, solutions u(r) which are positive forr large can have two different behaviour: either they converge to 0, usually with fastdecay (see Proposition 1 and Corollary 1), or they are uniformly positive, and typicallythey oscillate indefinitely between two values c 2 , c 1 where 0 < c 1 < c 2 < ∞.Also in this case radial solutions are particularly important, since in many casesG.S. in the whole R n , S.G.S. and solutions of the Dirichlet problem in the ball for(1) have to be radial. This fact was proved when p = 2 and f is as in (22) and thefunctions −k 1 (r) and k 2 (r) are decreasing by Gidas, Ni, Nirenberg in [24], [25] usingthe moving plane method and the maximum principle. Afterwards this results havebeen extended to the case 1 < p ≤ 2 in [9], [10], and finally in [42] to the case p > 1,and to more general spatial independent nonlinearities f (u): they simply assume thatf (0) = 0, f is negative in a right neighborhood of u = 0 and it is positive for u large.Once again the Pohozaev identity proves to be an important tool to face theproblem of looking for positive solutions. In fact it was used by Ni and Serrin in [38]to construct obstructions for the existence of G.S. in the spatial independent case.THEOREM 17. Consider (3) where f has the following form(23) f (u) = −N∑k i u|u| qi−2 +i=1M∑i=N+1k i u|u| q i−2q i < q i+1where k i > 0 are constants for any i = 1,..., M, q N+1 ≥ p ∗ , M > N ≥ 1. Thenthere are no crossing solutions neither G.S.Note that when N = 1 and M = 2 (23) reduces to (22). Recall that in such acase all the G.S. of (1) and also all the solutions of the Dirichlet problem in a ball haveto be radial. Therefore the non existence result holds globally for the PDE (1).When k i (r) behave like powers at r = 0 or at r = ∞, using the concept ofnatural dimension explained in the appendix (see [20] and [17]), it is possible to reducethe problem to an equivalent one in which the functions are uniformly positive andbounded either for r small, or for r large, or for both.In [13] we have discussed a problem similar to the one of Theorem 17, but inthe spatial dependent framework, using again dynamical techniques combined with thePohozaev identity. In [13] we have analyzed functions f of the form (22), but theproofs work also when f is as in (23) and satisfies:F0 q N ≤ p ∗ ≤ q N+1 ; k i (r) is a positive, continuous function for r > 0, for anyi ≤ M. Jj + (t) ≤ 0 ≤ Ji + (t) for any t and j ≤ N < i and ∑ Mi=1 |Ji + (t)| ̸≡ 0.REMARK 9. Assume that F0 holds and that there is s ≥ p ∗ such that the limitslim t→−∞ φ i (t)e α s(p ∗ −q i )t= A i ≥ 0 exists and are finite for i ≤ M, and that