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:
(5.1)
for all . Since
and
By Moser’s iteration, we have
(5.2)
Hence
(5.3)
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
(5.4)
Note that , are positive for M large enough. By Fatou’s lemma, the weak convergence of and the fact that is bounded, we have
(5.5)
Let , . We may choose , such that , and . Then we obtain
(5.6)
for all , .
Similarly, we may obtain an opposite inequality. Thus we have
(5.7)
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)
(5.8)
Setting in (5.1), we have
(5.9)
Using as , (5.8), (5.9) and lower semi-continuity, we obtain
as .
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
for .
Let us consider the functional
(5.10)
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
for some m 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 5.1
There exist positive constants
ρ
and
m
independent of
μ
such that
has a positive critical point
satisfying
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. □