Existence and multiplicity results for quasilinear elliptic exterior problems with nonlinear boundary conditions
Introduction
In this paper, we are concerned with the following quasilinear elliptic equations with a mixed nonlinear boundary condition It is assumed that is a smooth exterior domain in , that is, is the complement of a bounded domain with boundary is the unit outer normal to , and is a real parameter.
In recent years, existence, non-existence and multiplicity of solutions for problems involving the -Laplace operator were studied by several authors, in bounded domain, see e.g. [1], [2], [3], [4], [5], while in unbounded domains or the entire , see e.g. [6], [7], [8], [9], [10], [11] and the references therein. Problems of this type appear in many nonlinear diffusion problems, such as the mathematical model of non-Newtonian fluid [12], the chemotactic aggregation model introduced by Keller and Segel [13]. As pointed out in [14], [15], certain stationary waves in nonlinear Klein–Gordon or Schrodinger equations can be reduced to this form. For some physical motivation of such nonlinear boundary conditions, see [16]. From the point of view of mathematics, similar problems with nonlinear boundary condition appear in the study of the optimal constants for the Sobolev trace embeddings. See e.g. [1], [2], [8], [5].
In this paper, the weight functions and satisfy the following assumptions:
- (a)
;
- (b)
;
- (g)
with where , and is positive on a nonempty open subset of .
It is clear that problem (P) possesses a trivial solution for any . We are interested in the existence and multiplicity of weak solutions of (P).
By a weak nontrivial solution of (P), one means a nontrivial function verifying for all the identity where is the completion of the restriction on of functions of with respect to the norm and is a reflexive Banach space endowed with the norm Set . Under the assumptions (a),(b) and (g), we have the compact embedding for , which will be stated in Section 2, so all integrals in (1.1) are well-defined and converge. Define the functional by Then with its derivative Therefore the critical points of correspond to the weak solutions of (P).
The main feature of problem (P) is that the quasilinear differential operator is affected by a different perturbation which behaves like , where . The relation of the power with respect to the powers and affects the solvability of (P). In fact, this relation produces different competition between the different growths of the nonlinearities, which plays a crucial role in the study of geometrical feature of energy functional. In [17], the author studied (P) with Dirichlet boundary condition for and proved that (P) has a weak positive solution. Recently, in an interesting paper [18], under the same assumptions on and , the cases and with suitable parameter were treated and the existence of a weak solution for (P) was obtained via minimizing methods and mountain pass arguments. Motivated by the papers [18], [17], we look for the existence of ground state and multiple solutions of (P) and related problem with more general nonlinearity via minimax arguments. We note that a ground state is a nontrivial solution which has the least energy among all the nontrivial solutions.
The purpose of this paper is two-fold. One purpose is to find multiple weak solutions to (P). Another purpose is to consider the critical case of (P), that is, the right side nonlinearity grows with critical exponent. In this case, the compactness of the embedding fails, and it seems to be useless to impose hypothesis of (g) type for the critical term. To recover some sort of compactness, in spirit of [19], we consider a perturbation of the critical power. Namely, we study the problem under the same assumptions on weight functions.
Now we state the main theorems in this paper. As to problem (P), we have the following results. Theorem 1.1 Let . Then for each , problem (P) has a nonnegative ground state solution and infinitely many solutions in .
Theorem 1.2 Let . For each , (P) has a positive ground state solution and a sequence of solutions in with as .
Theorem 1.3 Let and . For each ,(P) has a nonnegative ground state and a sequence of solutions in with and . Let and . There exists a constant , depending on , such that for each ,(P) has a nonnegative ground state solution in .
As to problem (P∗), we have the following results. Theorem 1.4 Let and . There exists a constant depending on , such that if , (P∗) has at least a nontrivial solution in .
Theorem 1.5 Let and . There exists a constant depending on , such that for any , (P∗) has a sequence of solutions in with negative energy decreasing to zero as .
Remark 1.6 In the settings of Theorem 1.1, Theorem 1.2, Theorem 1.3, it is easy to see that (P) has no nontrivial solution for any . By the regularity results of [18], if , it follows from the strong maximum principle in Section 4.8 of [20] that any nonnegative solution is positive. In the cases of Theorem 1.1, Theorem 1.2, has mountain pass geometry. As a result, we get infinitely many solutions by symmetry mountain pass theorem [21] or the fountain theorem [22]. In the cases of Theorem 1.3, since the right side term is sublinear, we can show that is bounded from below and coercive, which is similar to the case discussed in [18]. By investigating the structure near zero of the functional, we obtain the multiplicity result. It is interesting that if the existence of infinitely many solutions remains true in the case of or the case of .
Our proofs are based on variational methods. There are two main difficulties. On the one hand, the lack of compactness of the Sobolev embeddings on unbounded domains renders variational techniques more delicate. To overcome this difficulty, some of the papers use special function space, such as the radially symmetric function space, which possesses compact embedding; see e.g. [10], [15]. In this paper, the integrality of and the main assumption ensure that the function space is compactly embedded in the weighted Lebesgue space . In critical case, we use the concentration compactness method of [23], [24] and follow ideas from [2], [19], [5]. On the other hand, when , it seems difficult to get the usual compactness condition, so called (PS) condition. We overcome this difficulty by verifying Cerami condition.
Throughout the paper, by , we mean a constant that may vary from line to line but remains independent of the relevant quantities. We denote by “ ⇀” weak convergence and by “ →” strong convergence.
The paper is organized as follows. In Section 2, we give preliminary lemmas concerning the embedding results, the compactness conditions and some abstract critical point theorems. In Section 3, we consider the subcritical case and give the proofs of Theorem 1.1, Theorem 1.2, Theorem 1.3. We consider the critical case and give the proofs of Theorem 1.4, Theorem 1.5 in the last section.
Section snippets
Preliminary results
We begin with the following result about space embeddings, which are stated in [18] for . Here we need to extend this result to and give the details of the proof for the reader’s convenience. Lemma 2.1 Assume that (a),(b) and (g) hold and . Then the embedding is continuous, the embedding is continuous, in particular there is such that the embedding is continuous, the embedding is compact.
Proof Let be the
The subcritical case
In this section, we consider the subcritical cases and give the proofs of Theorem 1.1, Theorem 1.2, Theorem 1.3. We have the following compactness conditions. Lemma 3.1 Assume that (a),(b),(g) hold and . If , then satisfies (C) condition in . If , then satisfies (PS) condition in .
Proof (i) Let be a Cerami sequence such that for some We first show that is bounded in . In fact, by , we have
The critical case
In this section, we deal with critical case, that is, problem (P∗), and give the proof of Theorem 1.4, Theorem 1.5. Therefore, the functional is written as
Let be the Sobolev space introduced in Section 2. By (a), we can use the equivalent norm . We need the following concentration compactness lemma which is mainly due to Lions [23], [24]; see also [27]. The following version for can be proved by using
Acknowledgments
The first author was supported by NSFC11001008. The third author was supported by KZ201010028027, PHR201106118 and NSFC11171204.
References (32)
- et al.
Existence results for the -Laplacian with nonlinear boundary conditions
J. Math. Anal. Appl.
(2001) - et al.
Existence, non-existence and regularity of radial ground states for -Laplacian equations with singular weights
Ann. Inst. H. Poincaré Anal. Non Linéaire
(2008) - et al.
Sobolev type embedding and quasilinear elliptic equations with radial potentials
J. Differential Equations
(2011) - et al.
Initiation of slime mold aggregation viewed as an instability
J. Theoret. Biol.
(1970) - et al.
On the strong maximum and compact support principles and some applications
Infinitely many solutions of a symmetric Dirichlet problem
Nonlinear Anal. TMA
(1993)- et al.
Semilinear Neumann problem in exterior domains
Nonlinear Anal. TMA
(1998) - et al.
Dual variational methods in critical point theory and applications
J. Funct. Anal.
(1973) - et al.
A concentration-compactness principle at infinity and positive solutions of some quasilinear elliptic equations in unbounded domains
J. Math. Anal. Appl.
(2005) - et al.
Combined effects of concave and convex nonlinearities in some elliptic problems
J. Funct. Anal.
(1994)
Multiple solutions for the -Laplacian equation with nonlinear boundary conditions
Electron. J. Differential Equations
Multiple solutions for quasilinear PDEs involving the critical Sobolev and Hardy exponents
Trans. Amer. Math. Soc.
Multiplicity results for -biharmonic problems via Morse theory
Commun. Appl. Anal.
Infinitely many weak solutions for a -Laplacian equation with nonlinear boundary conditions
Electron. J. Differential Equations
Existence of radial solutions for the -Laplacian elliptic equations with weights
Discrete Contin. Dyn. Syst.
Nonlinear eigenvalue problems for the -Laplacian in
Math. Nachr.
Cited by (1)
On the existence of solutions for quasilinear elliptic problems with radial potentials on exterior ball
2016, Mathematische Nachrichten