Multiplicity of positive solutions for quasilinear elliptic equations involving critical nonlinearity

https://doi.org/10.1515/anona-2020-0058 Received May 6, 2019; accepted December 1, 2019. Abstract:We are concerned with the following quasilinear elliptic equation −∆u − ∆(u2)u = μ|u|q−2u + |u|2·2 *−2u, u ∈ H1 0(Ω), (QSE) where Ω ⊂ RN is a bounded domain, N ≥ 3, qN < q < 2 ·2*, 2* = 2N/(N −2), qN = 4 for N ≥ 6 and qN = 2(N+2) N−2 forN = 3, 4, 5, and μ is a positive constant. By employing theNeharimanifold and the Lusternik-Schnirelman category theory, we prove that there exists μ* > 0 such that (QSE) admits at least catΩ(Ω) positive solutions when μ ∈ (0, μ*).


Introduction and main result . Background
Consider the following quasilinear elliptic equations of the form i∂ t z = −∆z + W(x)z − h(|z| )z − κ∆(l(|z| ))l (|z| )z, x ∈ Ω, (1.1) where κ ∈ R + , z : R × Ω → C, W : Ω → R is a given potential and l, h are real functions in R + . Of particular interest are solitary wave solutions of (1.1), i.e., z(t, x) = exp(−iEt)u(x), where E ∈ R, u is a real function and satis es the stationary quasilinear elliptic equation In particular, equation (1.2) is a special case of the following generalized quasilinear elliptic equations which is the well-known elliptic equation in the quantum mechanic and also arises in biological models and propagation of laser beams(Ref. [21,29]). If φ(s) = √ + κs , equation (1.3) can be rewritten as follows −∆u − κ∆(u )u + V(x)u = h(u), x ∈ Ω, (1.4) which is called the super uid lm equation in plasma physics and uid mechanics(Ref. [28,30]). If φ (s) = + κs ( +s ) , then one can get the following equation of the form (1.5) which models the self-channeling of a high-power ultrashort laser in matter(Ref. [30]). For the further physical background, we refer the readers to [15,31,33,41,45] and the reference therein.

. Motivation
In the last decades, quasilinear Schrödinger equations have received a considerable attention by numerous researchers. To the best of our knowledge, the rst existence results for quasilinear equations of the form of (1.4) with κ ≠ is due to [33,41], in which, the main existence results are obtained, through a constrained minimization argument. Actually, in these papers, they obtained solutions in H V of the problem with an unknown Lagrange multiplier λ: Here H V := u ∈ H (R N ) : R N V(x)u < ∞ . To investigate the case with any prescribed λ > in the variational setting, one can formulate this problem as follows: consider the formal energy functional However,Ĵ is not well de ned in H V , except for N = . To overcome this di culty, a change of variable v = f − (u)(see Section 2) was introduced in [31] andĴ can be rewritten in a new variable. Then this problem was resolved in an associated Orlicz space. Subsequently, a simpler and shorter proof of some results in [31] was given by M. Colin, L. Jeanjean [9]. Moreover, a dual approach was introduced in [9] so that problems of the form (1.4) can be dealt with in H (R N ) instead of the Orlicz space.
Initiated by M. Colin, L. Jeanjean, the dual approach introduced in [9] has been one of main tools in studying problem (1.4) by the variational approach and there have been the extensive results in the literature. By using such dual approach, J. M. do Ó, O. Miyagaki, S. M. Soares [12] considered problem (1.4) in R involving a critical growth of the Trudinger-Moser type(for instance see [10]). By using the mountain pass theorem and the concentration-compactness principle, a positive solution was obtained. For the semiclassical states of quasilinear problems, E. Gloss [23] considered the following problem in the subcritical case Under some sort of Berestycki and Lions conditions as in [5], in the framework of J. Byeon and L. Jeanjean [6], the author shows that (1.6) admits positive solutions. Moreover, there solutions exhibit a spike near local minimal points of the potential well V as ε → . Later, through the same dual approach, Y. Wang and W. Zou [52] considered the semiclassical states of the critical quasilinear Schrödinger equations (1.6). By the penalization argument by M. del Pino and P. Felmer [13], the authors proved the existence of positive bound states which concentrate around a local minimum point of V as ε → . By the Nehari approach and the dual approach above, X. He, A. Qian and W. Zou [25] considered the semiclassical ground states of the critical quasilinear Schröinger equations (1.6). Moreover, the multiplicity was considered by the Ljusternik-Schnirelmann theory as well. In this aspect, we also would like to cite [7,16,26,37,39,49,51]. For the generalized quasilinear equation Y. Shen and Y. Wang [45] reduced (1.3) to a semi-linear elliptic equation By virtue of the mountain pass theorem, positive solutions were obtained when the nonlinearity is subcritical. Subsequently, by adopting the same change of variable, Y. Deng, S. Peng and S. Yan [15] investigated the generalized quasilinear Schrödinger equations (1.3) involving critical growth. For more related results to quasilinear problems (1.3), we refer the readers to [3,24] for uniqueness of solutions, [48] for non-degeneracy of solutions, [3,35,36,38] for critical or supercritical exponent, [19,42] for ground state solutions, [17,20,44] for multiple solutions, [46] for quasilinear p-Laplacian problems, [47] for asymptotical problems and [2] for the case κ < .

. Our problem and main result
In the present paper, we mainly focus on the quasilinear elliptic equations with critical growth. Precisely, we investigate the problem where Ω ⊂ R N is a bounded domain, N ≥ and * = N/(N − ). In [32], it turns out that p = · * behaves as a critical exponent for the quasilinear elliptic equations. So problem (1.7) can be regarded as the counterpart of the Brézis-Nirenberg problem in the quasilinear case. The rst celebrated work is due to H. Brézis and L. Nirenberg [4]. They considered the well known Brézis-Nirenberg problem −∆u = µ|u| q− u + |u| · * − u in Ω, u = on ∂Ω. (1.8) In particular, they investigated the relation between the existence of positive solutions to (1.8) and µ, N, q. Precisely, they shows that problem (1.8) is solvable for any q ∈ ( , * ) and µ > if N ≥ . In contrast, in dimension , the situation is much delicate. They shows that if Ω ⊂ R is strictly starshaped about the origin, problem (1.8) with q ∈ ( , ] admits a positive solution if µ > large and no positive solution if µ > small. In [22], F. Gazzola and B. Ruf generalized some results in [4] to the semilinear critical elliptic problem with a wide class of lower order terms −∆u = g(x, u) + |u| * − u in Ω ⊂ R N . In particular, when N = , a similar hypothesis to [4]  Since the pioneering work [4], there have been extensive works on semilinear elliptic equations with critical exponent. Compared to the semilinear case, the quasilinear equation becomes more complicated. In [40], a mountain-pass technique in a suitable Orlicz space is used to prove the existence of soliton solutions to quasilinear Schrödinger equations involving critical exponent in R N . In [11], a positive solution was obtained by using the concentration-compactness principle and the mountain pass theorem when h(u) in (1.4) amounts to the sum of the two terms, |u| q− u and |u| p− u, one of which is critical and the other subcritical.
In [34], for a class of quasilinear Schrödinger equations with critical exponent, X. Liu, J. Liu, Z.-Q. Wang established the existence of both one-sign and nodal ground states by the Nehari method. It is established in [43] the existence of solutions for a class of asymptotically periodic quasilinear elliptic equations in R N with critical growth. For h(u) = λ|u| q− u + |u| · * − u, λ > , < q < · * . Y. Deng, S. Peng, J. Wang [14], they proved the existence of the nodal solution for problem (1.4) by using Nehari technique. In [35], X. Liu, J. Liu, Z.-Q. Wang considered a kind of more general quasilinear elliptic equations. Via a perturbation method, they obtained positive solutions in the critical case.
In [1], C. O. Alves and Y. Deng considered the Brézis-Nirenberg problem involving the p-Laplacian operator. They were concerned with the p-Laplacian problem . Through the Lusternik-Schnirelman category theory, the authors obtained at least cat Ω (Ω) positive solutions for µ > small and N ≥ p . Motivated by [1], our main purpose of this paper is to investigate the multiplicity of positive solutions to quasilinear problem (1.7). Precisely, our main result reads as Then there is µ * > such that for each µ ∈ ( , µ * ), problem (1.7) has at least cat Ω (Ω) distinct solutions.

Remark 1.1.
Here q N is only used to guarantee that the least energy cµ is below N S N (see Lemma 3.1 below and also [35]). Obviously, q N > if N ∈ { , , }. However, if Ω is strictly star-shaped about the origin and N ∈ { , , }, problem (1.7) admits no solutions for some q ∈ ( , q N ]. To illustrate this di erence between N ≥ and N ∈ { , , }, in the following, assume by contradiction that for any µ > small, uµ is a positive solution of (1.7) in the case N = and q = . Then by the change of variable(see Section 2), (1.9) Similar as in Theorem 2.4 in [4], by the Pohozaev's identity and Lemma 2.1, for some C > (independent of v, µ), we have By the maximum principle, v ≤ c| · | − * |∆v| in Ω, where c is an universal constant. Since the L -weak norm it follows from [8,Theorem 8.20

Thanks to Lemma 2.1-(3) and (7), f (t) ≤ t for any t and then µ
which is a contradiction if µ < C C C K − .

. Main di culties
In the following, we summarize some di culties caused by the quasilinear term ∆(u )u and critical term |u| · * − u in seeking solutions. The main di culties of the present paper are two-fold. First, due to the critical growth, the compactness does not hold in general. We adopt the Brézis-Nirenberg argument as in [4](see also [35]) to show that the least energy cµ is below N S N if q > q N , which yields the compactness. Second, the term ∆(u )u results in the lack of smoothness to the formal energy functional of problem (1.7) in H (Ω). To overcome the di culty, we use the dual approach introduced in [9] through a change of variable. But, due to the lack of homogeneity for the change of variable, the methods in [1] can not be applied in a direct way. So more delicate analyses and new tricks are needed.

. Outline of this paper
This paper is organized as follows. In Section 2, the variational setting is set up and some preliminaries are given. Section 3 is devoted to proving Theorem 1.1 via the Nehari manifold and the Lusternik-Schnirelman category theory.
Notation. C, C , C , . . . will denote di erent positive constants whose exact value is inessential. |A| is the Let us collect some properties of f , which have been proved in [9,52].

Lemma 2.1. The function f satis es the following properties:
( ) f is uniquely de ned, C ∞ and invertible; It is easy to see from the proofs in [52] that (9) is strictly increasing.
Therefore, after the change of variables, we consider the following functional which is well de ned in E and belongs to C . Moreover, for all v, w ∈ E and the critical points of I are the weak solutions of the Euler-Lagrange equation given by Obviously, if v ∈ E is a positive critical point of the functional Iµ , then u = f (v) ∈ E is a solution of (1.7), see [9].
We denote by S the best Sobolev constant of the embedding H (Ω) → L * (Ω) given by S := inf{ u : u ∈ H (Ω), |u| * = }. It is known that S is independent of Ω and is never achieved except when Ω = R N (see Proposition 1.43 in [50]).

Lemma 2.2. The Nehari manifold
Mµ is a C -manifold, and it is a natural constraint.
For t > , let
We obtain by , and then where o( ) → as n → ∞. The conclusion follows. Since Ω is a smooth bounded domain of R N , we choose r > small enough that  Taking the same argument as Proposition 1.43 in [50], we have c = c ,R N = N S N .