Abstract
Keywords:
quasilinear elliptic system; positive solution; negative solution; perturbation method1 Introduction
Let us consider the following quasilinear elliptic system:
where , , , , , , is the critical Sobolev exponent and () is a bounded smooth domain. This system includes the following special class of system with , , i.e.,
which is referred to as the socalled modified nonlinear Schrödinger system.
Our assumptions on the functions and are as follows.
(A_{1}) The functions , , , , .
(A_{2}) There exist constants , , , satisfying , , and such that
(A_{3})
In recent years, much attention has been devoted to the quasilinear Schrödinger equation of the following form:
See, for example, [1] where Poppenberg et al. proved the existence of a positive ground state solution by using a constrained minimization argument. Using a change of variables, Liu et al.[2] used an Orlicz space to prove the existence of a soliton solution for equation (1.2) via the mountain pass theorem. Colin and Jeanjean [3] also made use of a change of variables but worked in the Sobolev space . They proved the existence of a positive solution for equation (1.2) from the classical results given by Berestycki and Lions [4]. Liu et al.[5] established the existence of both onesign and nodal ground states of solitontype solutions for equation (1.2) by the Nehari method. By using the Nehari manifold method and the concentration compactness principle (see [6]) in the Orlicz space, Guo and Tang [7] considered the following quasilinear Schrödinger system:
with , having a potential well and , , , and they proved the existence of a ground state solution for system (1.3) which localizes near the potential well for λ large enough. Guo and Tang [8] considered also ground state solutions of the single quasilinear Schrödinger equation corresponding to system (1.3) by the same methods and obtained similar results. In particular, by the perturbation method, Liu et al.[9] considered the existence and multiplicity of solutions for the following quasilinear equation of the form
under suitable assumptions.
It is worth pointing out that the existence of onebump or multibump bound state solutions for the related semilinear Schrödinger equation (1.2) for has been extensively studied. One can see Bartsch and Wang [10], Ambrosetti et al.[11], Ambrosetti et al.[12], Byeon and Wang [13], Cingolani and Lazzo [14], Cingolani and Nolasco [15], Del Pino and Felmer [16,17], Floer and Weinstein [18], Oh [19,20] and the references therein.
Motivated by the single equation (1.4), the purpose of this paper is to study the existence of both positive and negative solutions for the coupled quasilinear system (1.1). We mainly follow the idea of Liu et al.[9] to perturb the functional and obtain our main results. We point out that the procedure to system (1.1) is not trivial at all. Since the appearance of the quasilinear terms and , we need more delicate estimates.
The paper is organized as follows. In Section 2, we introduce a perturbation of the functional and give our main results (Theorem 2.1 and Theorem 2.2). In Section 3, we verify the PalaisSmale condition for the perturbed functional. Section 4 is devoted to some asymptotic behavior of the sequences and satisfying some conditions. Finally, our main results will be proved in Section 5.
Throughout this paper, we will use the same C to denote various generic positive constants, and we will use to denote quantities that tend to 0.
2 Perturbation of the functional and main results
In order to obtain the desired existence of solutions for system (1.1), in this section, we introduce a perturbation of the functional and give our main results.
The weak form of system (1.1) is
for all , which is formally the variational formulation of the following functional:
We may define the derivative of at in the direction of as follows:
We call a critical point of if , , and for all . That is, is a weak solution for system (1.1).
When we consider system (1.1) by using the classical critical point theory, we encounter the difficulties due to the lack of an appropriate working space. In general, it seems that there is no suitable space in which the variational functional possesses both smoothness and compactness properties. For smoothness, one would need to work in a space smaller than to control the term involving the quasilinear term in system (1.1), but it seems impossible to obtain bounds for sequence in this setting. Several ideas and approaches, such as minimizations [1,21], the Nehari method [5] and change of variables [2,3], have been used in recent years to overcome the difficulties. In this paper, we consider the perturbed functional
where is a parameter. Then it is easy to see that is a functional on . We can define also the derivative of at in the direction of as follows:
for all . The idea of this paper is to obtain the existence of the critical points of for small and establish suitable estimates for the critical points as so that we may pass to the limit to get the solutions for the original system (1.1).
Our main results are as follows.
Theorem 2.1Assume that (A_{1})(A_{3}) hold, , and. Letand letbe a sequence of critical points ofsatisfyingandfor someCindependent ofn. Then, up to a subsequence,
as, andis a critical point of.
Theorem 2.2Assume that (A_{1})(A_{3}) hold, , and. Thenhas a positive critical pointand a negative critical point, and (resp.,) converges to a positive (resp., negative) solution for system (1.1) as.
3 Compactness of the perturbed functional
In this section, we verify the PalaisSmale condition ( condition in short) for the perturbed functional . We have the following proposition.
Proposition 3.1Forfixed, the functionalsatisfiescondition for all. That is, any sequencesatisfying, for,
has a strongly convergent subsequence in, whereis the dual space of.
To give the proof of Proposition 3.1, we need the following lemma firstly.
Lemma 3.2Suppose that a sequencesatisfies (3.1) and (3.2). Then
Proof It follows from (3.1) and (3.2) that
Thus we have
This completes the proof of Lemma 3.2. □
Now we give the proof of Proposition 3.1.
Proof of Proposition 3.1 From Lemma 3.2 , we know that is bounded in . So there exists a subsequence of , still denoted by , such that
Now we prove that in . In (2.5), choosing , we have
We may estimate the terms involved as follows:
Returning to (3.3), we have
which implies that , i.e., in . This completes the proof of Proposition 3.1. □
4 Some asymptotic behavior
Proposition 3.1 enables us to apply minimax argument to the functional . In this section, we also study the behavior of the sequences and satisfying
The following proposition is the key of this section.
Proposition 4.1Assume that the sequencesandsatisfy (4.1)(4.3). Then, after extracting a sequence, still denoted byn, we have
and
Proof Similar to the proof of Lemma 3.2, by (4.1)(4.3), we have
Thus
for some C independent of n. Then, up to a subsequence, we have
and
5 Proof of main results
In this section, we give the proof of our main results. Firstly, we prove Theorem 2.1.
Proof of Theorem 2.1 Note that satisfies the following equation:
and
By Moser’s iteration, we have
Hence
for some C independent of n. To show that is a critical point of , we use some arguments in [22,23] (see more references therein). In (5.1), we choose , , where , , , and is a constant. Substituting into (5.1), we have
Note that , are positive for M large enough. By Fatou’s lemma, the weak convergence of and the fact that is bounded, we have
Let , . We may choose , such that , and . Then we obtain
Similarly, we may obtain an opposite inequality. Thus we have
for all . That is, is a critical point of and a solution for system (1.1). By doing approximations, we have in the place of of (5.7)
Using as , (5.8), (5.9) and lower semicontinuity, we obtain
In particular, we have
and
as . This completes the proof of Theorem 2.1. □
Next, we apply the mountain pass theorem to obtain the existence of critical points of . Set
Let us consider the functional
Here and in what follows, we denote . The functional satisfies condition. Similarly, we may verify that satisfies condition. By the εYoung inequality, for any , there exists such that
and
Then
for ε, ρ small. Thus we have
for and for small enough. Choose , and . Define a path by . When T is large enough, we have
and
Define
where
From the mountain pass theorem we obtain that
Let be a critical point corresponding to . We have . Thus is a positive critical point of by the strong maximum principle. In summary, we have the following.
Proposition 5.1There exist positive constantsρandmindependent ofμsuch thathas a positive critical pointsatisfying
Finally, we give the proof of Theorem 2.2.
Proof of Theorem 2.2 For a positive solution of system (1.1), the proof follows from Proposition 5.1 and Theorem 2.1. A similar argument gives a negative solution of system (1.1). This completes the proof of Theorem 2.2. □
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors were involved in carrying out this study. All authors read and approved the final manuscript.
Acknowledgements
This paper was finished while the first author was a visiting fellow at the School of Mathematical Sciences of Beijing Normal University, and the first author would like to express her gratitude for their hospitality during her visit. This work is supported by the National Science Foundation of China (11061031), Fundamental Research Funds for the Central Universities (31920130004) and Fundamental Research Funds for the Gansu University.
References

Poppenberg, M, Schmitt, K, Wang, Z: On the existence of soliton solutions to quasilinear Schrödinger equations. Calc. Var. Partial Differ. Equ.. 14, 329–344 (2002). Publisher Full Text

Liu, J, Wang, Y, Wang, Z: Soliton solutions for quasilinear Schrödinger equation, II. J. Differ. Equ.. 187, 473–493 (2003). Publisher Full Text

Colin, M, Jeanjean, L: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal.. 56, 213–226 (2004). Publisher Full Text

Berestycki, H, Lions, PL: Nonlinear scalar field equations, I. Arch. Ration. Mech. Anal.. 82, 313–346 (1983)

Liu, J, Wang, Y, Wang, Z: Solutions for quasilinear Schrödinger equations via the Nehari method. Commun. Partial Differ. Equ.. 29, 879–901 (2004). Publisher Full Text

Lions, PL: The concentrationcompactness principle in the calculus of variations. The locally compact case. Part I. Ann. Inst. Henri Poincaré, Anal. Non Linéaire. 1, 109–145 (1984)

Guo, Y, Tang, Z: Ground state solutions for the quasilinear Schrödinger systems. J. Math. Anal. Appl.. 389, 322–339 (2012). Publisher Full Text

Guo, Y, Tang, Z: Ground state solutions for the quasilinear Schrödinger equation. Nonlinear Anal.. 75, 3235–3248 (2012). Publisher Full Text

Liu, X, Liu, J, Wang, Z: Quasilinear elliptic equations via perturbation method. Proc. Am. Math. Soc.. 141, 253–263 (2013)

Bartsch, T, Wang, Z: Multiple positive solutions for a nonlinear Schrödinger equation. Z. Angew. Math. Phys.. 51, 366–384 (2000)

Ambrosetti, A, Badiale, M, Cingolani, S: Semiclassical states of nonlinear Schrödinger equations. Arch. Ration. Mech. Anal.. 140, 285–300 (1997). Publisher Full Text

Ambrosetti, A, Malchiodi, A, Secchi, S: Multiplicity results for some nonlinear Schrödinger equations with potentials. Arch. Ration. Mech. Anal.. 159, 253–271 (2001). Publisher Full Text

Byeon, J, Wang, Z: Standing waves with a critical frequency for nonlinear Schrödinger equations, II. Calc. Var. Partial Differ. Equ.. 18, 207–219 (2003). Publisher Full Text

Cingolani, S, Lazzo, M: Multiple positive solutions to nonlinear Schrödinger equations with competing potential functions. J. Differ. Equ.. 160, 118–138 (2000). Publisher Full Text

Cingolani, S, Nolasco, M: Multipeaks periodic semiclassical states for a class of nonlinear Schrödinger equations. Proc. R. Soc. Edinb.. 128, 1249–1260 (1998). Publisher Full Text

Del Pino, M, Felmer, P: Semiclassical states for nonlinear Schrödinger equations. Ann. Inst. Henri Poincaré. 15, 127–149 (1998). Publisher Full Text

Del Pino, M, Felmer, P: Multipeak bound states for nonlinear Schrödinger equations. J. Funct. Anal.. 149, 245–265 (1997). Publisher Full Text

Floer, A, Weinstein, A: Nonspreading wave packets for the cubic Schrödinger equation with a bounded potential. J. Funct. Anal.. 69, 397–408 (1986). Publisher Full Text

Oh, YG: On positive multibump bound states of nonlinear Schrödinger equations under multiple well potential. Commun. Math. Phys.. 131, 223–253 (1990). Publisher Full Text

Oh, YG: Existence of semiclassical bound states of nonlinear Schrödinger equations with potentials of class . Commun. Partial Differ. Equ.. 13, 1499–1519 (1988). Publisher Full Text

Liu, J, Wang, Z: Soliton solutions for quasilinear Schrödinger equations, I. Proc. Am. Math. Soc.. 131, 441–448 (2003). Publisher Full Text

Canino, A, Degiovanni, M: Nonsmooth critical point theory and quasilinear elliptic equations. (1995)

Liu, J, Wang, Z: Bifurcations for quasilinear Schrödinger equations, II. Commun. Contemp. Math.. 10, 723–743 (2008)