Abstract

We are concerned with the following modified nonlinear Schrödinger system: ,  ,  ,  ,  ,  ,  , where ,  ,  ,   is the critical Sobolev exponent, and    is a bounded smooth domain. By using the perturbation method, we establish the existence of both positive and negative solutions for this system.

1. Introduction

Let us consider the following modified nonlinear Schrödinger system: where , , , is the critical Sobolev exponent, and is a bounded smooth domain.

Solutions for the system (1) are related to the existence of the standing wave solutions of the following quasilinear Schrödinger equation: where is a given potential, is a real constant, and , are real functions. We would like to mention that (2) appears more naturally in mathematical physics and has been derived as models of several physical phenomena corresponding to various types of . For instance, the case was used for the superfluid film equation in plasma physics by Kurihara [1] (see also [2]); in the case of , (2) was used as a model of the self-changing of a high-power ultrashort laser in matter (see [36] and references therein).

In recent years, much attention has been devoted to the quasilinear Schrödinger equation of the following form: See, for example, by using a constrained minimization argument, the existence of positive ground state solution was proved by Poppenberg et al. [7]. Using a change of variables, Liu et al. [8] used an Orlicz space to prove the existence of soliton solution for (3) via mountain pass theorem. Colin and Jeanjean [9] also made use of a change of variables but worked in the Sobolev space ; they proved the existence of positive solution for (3) from the classical results given by Berestycki and Lions [10]. Liu et al. [11] established the existence of both one-sign and nodal ground states of soliton type solutions for (3) by the Nehari method. In particular, in [12], by using Nehari manifold method and concentration compactness principle (see [13]) in the Orlicz space, Guo and Tang considered the following quasilinear Schrödinger system: with , having a potential well and , , where is the critical Sobolev exponent, and they proved the existence of a ground state solution for the system (4) which localizes near the potential well for large enough. Guo and Tang [14] also considered ground state solutions of the single quasilinear Schrödinger equation corresponding to the system (4) by the same methods and obtained similar results.

It is worth pointing out that the existence of one-bump or multibump bound state solutions for the related semilinear Schrödinger equation (3) for has been extensively studied. One can see Bartsch and Wang [15], Ambrosetti et al. [16], Ambrosetti et al. [17], Byeon and Wang [18], Cingolani and Lazzo [19], Cingolani and Nolasco [20], Del Pino and Felmer [21, 22], Floer and Weinstein [23], and Oh [24, 25] and the references therein.

The system (1) is a kind of “limit” problem of the system (4) as . The existence of solutions for the system (1) has important physical interest. The purpose of this paper is to study the existence of both positive and negative solutions for the system (1). We mainly follow the idea of Liu et al. [26] to perturb the functional and obtain our main results. We point out that the procedure to the system (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 (Theorems 1 and 2). In Section 3, we verify the Palais-Smale condition for the perturbed functional. Section 4 is devoted to some asymptotic behavior of sequence and satisfying some conditions. Finally, our main results will be proved in Section 5.

Throughout this paper, we will use the same to denote various generic positive constants, and we will use to denote quantities that tend to .

2. Perturbation of the Functional and Main Results

In order to obtain the desired existence of solutions for the system (1), in this section, we introduce a perturbation of the functional and give our main results.

The weak form of the system (1) is 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 that is a critical point of if , , and for all . That is, is a weak solution for the system (1).

When we consider the system (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 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 the system (1), but it seems impossible to obtain bounds for sequence in this setting. There have been several ideas and approaches used in recent years to overcome the difficulties such as by minimizations [7, 27], the Nehari method [11], and change of variables [8, 9]. In this paper, we consider a perturbed functional where is a parameter. Then it is easy to see that is a -functional on . We also can define the derivative of   at in the direction of as follows: for all . The idea is to obtain the existence of the critical points of for small and to 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).

Our main results are as follows.

Theorem 1. Assume that , and . Let and let be a sequence of satisfying and for some independent of . Then, up to a subsequence as and is a critical point of  .

Using Theorem 1, we have the following existence result.

Theorem 2. Assume that , and . Then has a positive critical point and a negative critical point , and (resp., ) converges to a positive (resp., negative) solution for the system (1) as .

Notation. We denote by the norm of and by the norm of .

3. Compactness of the Perturbed Functional

In this section, we verify the Palais-Smale condition ( condition in short) for the perturbed functional . We have the following proposition.

Proposition 3. For fixed, the functional satisfies condition for all . That is, any sequence satisfying, for , has a strongly convergent subsequence in , where is the dual space of  .

For giving the proof of Proposition 3, we need the following lemma firstly.

Lemma 4. Suppose that a sequence satisfies (11). Then

Proof. It follows from (11) that Thus we have This completes the proof of Lemma 4.

Now we give the proof of Proposition 3.

Proof of Proposition 3. From Lemma 4, we know that is bounded in . So there exists a subsequence of , still denoted , such that Now we prove that in . In (9), choosing , we have We may estimate the terms involved as follows: Returning to (16), we have which implies that , that is, in . This completes the proof of Proposition 3.

4. Some Asymptotic Behavior

Proposition 3 enables us to apply minimax argument to the functional . In this section, we also study the behavior of sequence and satisfying

The following proposition is the key of this section.

Proposition 5. Assume sequence and satisfy (19). Then after extracting a sequence, still denoted by , one has as .

Proof. Similar to the proof of Lemma 4, by (19), we have Thus for some independent of . Then, up to a subsequence, we have as . This completes the proof of Proposition 5.

5. Proof of Main Results

In this section, we give the proof of our main results. Firstly, we prove Theorem 1.

Proof of Theorem 1. Note that satisfies the following equation: for all . Since By Moser’s iteration, we have Hence, for some independent of . To show that is a critical point of we use some arguments in [28, 29] (see more references therein). In (24) we choose , , where , , . Substituting into (24), we have Note that , . By Fatou’s Lemma, the weak convergence of and the fact that is bounded, we have Let , . We may choose a sequence of nonnegative functions such that in , a.e. and is uniformly bounded in . Then by approximations in (29) we may obtain for all , .
Similarly, we may obtain an opposite inequality. Thus we have for all . That is, is a critical point of and a solution for the system (1). By doing approximations again, we have in the place of of (31) Setting in (24), we have Using as , (32), (33), and lower semicontinuity, we obtain as .
In particular, we have as . This completes the proof of Theorem 1.

Next, we apply the mountain pass theorem to obtain existence of critical points of . Set for .

Let us consider the functional Here and in the following we denote . The functional satisfies condition. Similarly, we may verify that satisfies condition. By -Young inequality, for any , there exists such that Since Then for small. Thus we have for and for small enough. Choose , and . Define a path : by . When is large enough, we have for some independent of .

Define where From the mountain pass theorem we obtain that is a critical value of .

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 6. There exist positive constants and independent of such that has a positive critical point satisfying

Finally, we give the proof of Theorem 2.

Proof of Theorem 2. For a positive solution of the system (1), the proof follows from Proposition 6 and Theorem 1. A similar argument gives a negative solution of the system (1). This completes the proof of Theorem 2.

Acknowledgments

This paper was finished while Y. Jiao visited School of Mathematical Sciences of Beijing Normal University as a visiting fellow, and she would like to express her gratitude for their hospitality during her visit. Y. Jiao is supported by the National Science Foundation of China (11161041 and 31260098) and Fundamental Research Funds for the Central Universities (zyz2012074).