Existence and multiplicity results are established for quasilinear elliptic problems with nonlinear boundary conditions in an exterior domain. The proofs combine variational methods with a fibering map, due to the competition between the different growths of the nonlinearity and nonlinear boundary term.
1. Introduction
Consider the following quasilinear elliptic problem:
(1)-div(a(x)|∇u|p-2∇u)+b(x)|u|p-2u=h(x,u),inΩ,a(x)|∇u|p-2∂u∂n+g(x)|u|p-2u=0,onΓ=∂Ω,
where Ω is a smooth exterior domain in ℝN, 1<p<N, and n is the unit vector of the outward normal on the boundary Γ=∂Ω.
Equations of the type (1) arise in many and diverse contexts like differential geometry [1], nonlinear elasticity [2], non-Newtonian fluid mechanics [3], glaciology [4], and mathematical biology [5]. As a result, questions concerning the solvability of problem (1) have received great attention; see [6–10].
For h(x,u)=c(x)|u|q-2u-d(x)|u|s-2u-e(x)|u|t-2u with q,s∈(1,p*), t>p*, by using the fibering method, Kandilakis and Lyberopoulos [6] studied the existence of nonnegative solutions for problem (1) in unbounded domains with a noncompact boundary. When h(x,u)=c(x)|u|q-2u-d(x)|u|s-2u with q,s∈(1,p*), Lyberopoulos [7] studied the existence versus absence of nontrivial weak solutions for problem (1). Similar consideration can be found in Kandilakis and Magiropoulos [8]. In [9], Filippucci et al. established existence and nonexistence results for problem (1) via variational methods combined with the geometrical feature, where h(x,u)=λg(x)|u|r-2u-|u|q-2u. Recently, Chen et al. [10] considered the existence and multiple of solutions for problem (1) by the variational principle and the mountain pass lemma.
Motivated by these findings, we consider the following quasilinear elliptic problem:
(2)-div(a(x)|∇u|p-2∇u)+b(x)|u|p-2u=f(x)|u|q-2u,inΩ,a(x)|∇u|p-2∂u∂n+g(x)|u|r-2u=0,onΓ=∂Ω,
where Ω is a smooth exterior domain in ℝN and n is the unit vector of the outward normal on the boundary Γ=∂Ω. Since r≠p, problem (2) is essentially different from problem (1). Using the Nehari manifold and fibering map, Wu [11] considered problem (2) for p=2; Afrouzi and Rasouli [12] considered problem (2) for 1<p<N.
Throughout this paper, we make the following assumptions.
1<p<N, 1<q<p*, and 1<r<p*, where p*=Np/(N-p) and p*=(N-1)p/(N-p).
The function a(x)≥a0>0 and a(x)∈L∞(Ω).
The function b(x)≥b0>0 and b(x)∈L∞(Ω).
The function f(x) satisfies Ωf+:={x∈Ω:f(x)>0}≠∅ and f(x)∈Lδ(Ω) with p/(p-q)≥δ>q0=p*/(p*-q).
The function g(x)≥0, g(x)≢0 in Γ and g(x)∈Lσ(Γ) with p/(p-r)≥σ>r0=p*/(p*-r).
The purpose of this paper is to find existence and multiplicity of nonnegative solutions to problem (2). Our proofs are based on the variational method. The main difficulty is the lack of compactness of the Sobolev embeddings in unbounded domains. To overcome this difficulty, we impose the integrality conditions (H4)-(H5) on f and g to establish compact Sobolev embedding theorems (see Lemmas 3 and 4).
The rest of the paper is organized as follows. In Section 2, we set up the variational framework of the problem and give some preliminaries. Section 3 is devoted to the existence results for problem (2). The multiplicity of nonnegative solutions for problem (2) is considered in the last section.
2. Variational Framework and Some Preliminaries
In this section, we set up the variational framework and give some preliminaries.
Define the weighted Sobolev space E as the completion of C0∞(ℝN) under the norm
(3)∥u∥Ep=∫Ω(|a(x)∇u|p+b(x)|u|p)dx,
which is equivalent to the standard one under assumptions (H2)-(H3). Moreover, denote by Lq(Ω;|f|) and Lr(Γ;g) the weighted Lebesgue spaces equipped with the norm:
(4)∥u∥Lq(Ω;|f|)q=∫Ω|f(x)||u|qdx,∥u∥Lr(Γ;g)r=∫Γg(x)|u|rdS,
respectively. The definition of the weak solution of problem (2) reads as follows.
Definition 1.
One says u∈E is a weak solution of problem (2) if
(5)∫Ωa(x)|∇u|p-2∇u∇vdx+∫Ωb(x)|u|p-2uvdx+∫Γg(x)|u|r-2uvdS=∫Ωf(x)|u|q-2uvdx
holds for all v∈E.
The energy functional corresponding to problem (2) is
(6)J(u)=1p∥u∥Ep+1rG(u)-1qF(u),
where G(u)=∫Γg(x)|u|rdS, F(u)=∫Ωf(x)|u|qdx. It is well known that the weak solutions of (2) are the critical points of the energy functional J(·). If u is a critical point of J(·), then necessarily u belongs to the Nehari manifold:
(7)𝒩={u∈E∖{0}:〈J′(u),u〉=0},
where
(8)〈J′(u),u〉=∥u∥Ep+G(u)-F(u).
For all u∈𝒩, we have u∈F+, where
(9)F+={F(u)>0}.
The variational framework that we adopt is based on the so-called one-dimensional fibering method proposed by Pohozaev [13]. The central idea of this strategy consists in embedding the original variational problem into the “wider” space E1:=ℝ×E and then investigating the conditional solvability of the new problem in E1 under an appropriately imposed constraint. To this end, we define the extended functional ϕ:[0,∞)×E→ℝ by setting for any v∈E(11)ϕ(t,v)=J(tv)=tpp∥v∥Ep+trrG(v)-tqqF(v),t≥0.
If u=tv is a critical point of J(·), then necessarily ϕt(t,v)=0; that is,
(12)tp-1∥v∥Ep+tr-1G(v)-tq-1F(v)=0.
In particular, if t≠0, then (12) is equivalent to
(13)ψ(t,v)=∥v∥Ep,
where
(14)ψ(t,v)=tq-pF(v)-tr-pG(v).
Now, suppose that t=t(v)≥0 solves (13) for all v∈E∖{0}; then t∈C1(E). Furthermore, if t(v)>0 exists and is unique for all v∈E∖{0}, then (13) generates a bijection between E∖{0} and 𝒩. Moreover, the following proposition holds.
Lemma 2 (see [13]).
If v is a conditional critical point of Φ(·), under the constraint ∥v∥E=1, then u=t(v)v is a critical point of J(·), where Φ(v)=J(t(v)v) and t(v) is a nonnegative solution of (13).
In view of Lemma 2, the problem of finding solutions of (2) will be reduced to that of locating the critical point of Φ(·) under the constraint ∥v∥E=1.
The following compact embedding theorems play an important role in the proof of our main results.
Lemma 3.
Assume (H2)–(H4). Then the embedding E↪Lq(Ω;|f|) is compact.
Proof.
Let u∈E. Since p/(p-q)≥δ>q0, it follows that p≤qδ′=qδ/(δ-1)<p*. Let W1,p(Ω) be the standard Banach space endowed with the norm ∥u∥W1,p(Ω)p=∫Ω(|∇u|p+|u|p)dx. By assumptions (H2)-(H3), E~W1,p(Ω). Similar to the proof of [10, Lemma 2] (see also the proof of [14, Theorem 7.9]), we can prove that W1,p(Ω)↪Lqδ′(Ω) is compact and so is E↪Lqδ′(Ω). Let S1 be the best trace embedding constant; that is,
(15)S1=infu∈E,u≠0∥u∥Ep∥u∥Lqδ′(Ω)p.
By Hölder's inequality, we have
(16)∫Ω|f(x)||u|qdx≤(∫Ω|f|δdx)1/δ(∫Ω|u|qδ′dx)1/δ′≤S1-q/p∥|f|∥Lδ(Ω)∥u∥Eq.
This shows that the embedding E↪Lq(Ω;|f|) is continuous.
Assume {un} is a bounded sequence in E. Then by the compact embedding E↪Lqδ′(Ω), there exist u∈E and a subsequence of {un} (not relabelled) such that un→u strongly in Lqδ′(Ω).
By Hölder's inequality again, we infer
(17)∫Ω|f(x)||un-u|qdx≤(∫Ω|f|δdx)1/δ(∫Ω|un-u|qδ′dx)1/δ′⟶0≤(∫Ω|f|δdx)1δ(∫Ω|f|δdx)1δ1asn⟶∞.
This completes the proof.
Lemma 4.
Assume (H2)-(H3) and (H5). Then the embedding E↪Lr(Γ;g) is compact.
Proof.
Let u∈E. Since p/(p-r)≥σ>r0, it follows that p≤rσ′=rσ/(σ-1)<p*. Hence the embedding E↪Lrσ′(Γ) is compact (see [15, 16]). Let S2 be the best trace embedding constant; that is,
(18)S2=infu∈E,u≠0∥u∥Ep∥u∥Lrσ′(Γ)p.
By Hölder's inequality, we have
(19)∫Γg(x)|u|rdS≤(∫ΓgσdS)1/σ(∫Γ|u|rσ′dS)1/σ′≤S2-r/p∥g∥Lσ(Γ)∥u∥Er.
This shows that the embedding E↪Lr(Γ;g) is continuous.
Assume {un} is a bounded sequence in E. Then by the compact embedding E↪Lrσ′(Γ), there exist u∈E and a subsequence of {un} (not relabelled) such that un→u strongly in Lrσ′(Γ).
By Hölder's inequality again, we infer
(20)∫Γg(x)|un-u|rdS≤(∫ΓgσdS)1/σ(∫Γ|un-u|rσ′dS)1/σ′⟶0asn⟶∞.
This completes the proof.
We also need the following mountain pass lemma (see [17, 18]).
Lemma 5.
Let E be a real Banach space and J∈C1(E,ℝ) with J(0)=0. Suppose
there are ρ,α>0 such that J(u)≥α for ∥u∥E=ρ;
there is e∈E,∥e∥E>ρ such that J(e)<0.
Define
(21)Γ0={γ∈C1([0,1],E)∣γ(0)=0,γ(1)=e}.
Then
(22)c=infγ∈Γ0max0≤t≤1J(γ(t))≥α
is finite and J(·) possess a (PS)c sequence at level c. Furthermore, if J satisfies the (PS) condition, then c is a critical value of J.
To get multiplicity results, we need the following fountain theorem due to Bartsch [19] and a critical point theorem in [20, 21].
Let X be a reflexive and separable Banach space. It is well known that there exist ej∈X and ej*∈X* (j=1,2,…) such that
〈ei,ej*〉=δij, where δij=1 for i=j and δij=0 for i≠j,
X=span{e1,e2,…}¯ and X*=span{e1*,e2*,…}¯.
For convenience, we write
(23)Xj=span{ej},Yk=⨁j=1kXj,Zk=⨁j=k∞Xj¯,j,k=1,2,….
Lemma 6 (fountain theorem [19]).
Assume J∈C1(X,ℝ1) is an even functional that satisfies the (PS)c condition. If for every k∈ℕ there exist ρk>rk>0 such that
ak:=infu∈Zk,∥u∥X=rkJ(u)→∞ as k→∞,
bk:=maxu∈Yk,∥u∥X=ρkJ(u)≤0,
then J has a sequence of critical points {uk} with J(uk)→∞.
Lemma 7 (see [20, 21]).
Let J∈C1(X,ℝ1), where X is a Banach space. Assume that J satisfies the (PS)c condition and is even and bounded from below, and J(0)=0. If for any k∈ℕ there exists a k-dimensional subspace Yk and ρk>0 such that
(24)supu∈Yk,∥u∥X=ρkJ(u)<0,
then J has a sequence of critical values ck<0 satisfying ck→0 as k→∞.
3. Existence of Nonnegative Solutions
In this section, the existence results are established for problem (2). The proofs combine variational methods with a fibering map. Since J(u)=J(|u|), we may suppose that the solution to problem (2) is nonnegative throughout this paper.
Theorem 8.
Let (H1)–(H5) hold with either q<min{p,r} or q>max{p,r}. Then problem (2) admits a nonnegative nontrivial weak solution u∈E∖{0} which is also a ground state.
Proof.
Suppose q<min{p,r}. Rewriting (13) as
(25)tp-q∥v∥Ep+tr-qG(v)=F(v),
we immediately see that for every v∈F+ (where F+ is defined by (9)) there exists a unique t(v)>0 satisfying (25). Moreover, it can be easily checked that
(26)μt(μv)=t(v),forμ>0,v∈F+,(27)Φ(v)=(1p-1q)(t(v))p∥v∥Ep+(1r-1q)(t(v))rG(v)<0∀v∈F+.
Consider now the variational problem
(28)M:=infv∈F+,∥v∥E=1Φ(v)<0.
Let {vn} be a minimizing sequence in F+ with ∥vn∥E=1. Then there exists v0∈E such that vn⇀v0 in E. By Lemmas 3 and 4, we have F(vn)→F(v0)≥0 and G(vn)→G(v0)≥0.
We first assert that v0∈F+. Suppose the contrary; then F(v0)=0. In view of (25),
(29)F(vn)≥(t(vn))p-q.
Letting n→∞, it follows that t(vn)→0. Thus
(30)Φ(vn)=(1p-1q)(t(vn))p∥vn∥Ep+(1r-1q)(t(vn))rG(vn)⟶0,asn⟶∞,
which contradicts M<0.
Next, we prove ∥v0∥E=1. If not, then ∥v0∥E<liminfn→∞∥vn∥E=1. So, there exists μ>1 such that ∥μv0∥E=1. From (25), we have
(31)(t(μv0))p-q+(t(μv0))r-qG(μv0)=F(μv0).
This and (26) yield
(32)μ-p(t(v0))p-q+(t(v0))r-qG(v0)=F(v0).
On the other hand, it follows from (29) that {t(vn)} is bounded and so there exists a subsequence (not relabelled) such that t(vn)→t0>0. Thus by (25), we have
(33)t0p-q+t0r-qG(v0)=F(v0).
Hence t0<t(v0). Notice that
(34)Ψ(t)=(1p-1q)tp∥v0∥Ep+(1r-1q)trG(v0)
is strictly decreasing for all t>0; we have
(35)M=liminfn→∞Φ(vn)≥Ψ(t0)>Ψ(t(v0))=Φ(v0),
which is a contradiction. So, ∥v0∥E=1 and v0 is a critical point of Φ(·). By Lemma 2, u=t(v0)v0 is a nontrivial solution of problem (2). Since t=t(v) is a unique solution of (25), then (25) generates a bijection between E∖{0} and 𝒩 and so the obtained solution is actually a ground state.
The case q>max{p,r} can be treated in a similar way.
Remark 9.
Afrouzi and Rasouli [12] consider the following problem:
(36)-div(|∇u|p-2∇u)+b(x)|u|p-2u=λf(x)|u|q-2u,inΩ,|∇u|p-2∂u∂n=g(x)|u|r-2u,onΓ=∂Ω,
where Ω is a bounded domain in ℝN and 1<q<p<r<p*=(N-1)p/(N-p). The functions f and g are continuous functions which change sign in Ω¯. Using the Nehari manifold and fibering map, they proved that problem (36) has at least two nontrivial nonnegative solutions if |λ| is sufficiently small. In fact, by slight modification, we can prove that the result they established is still true if Ω is a smooth exterior domain or the parameters satisfy 1<r<p<q<p*=Np/(N-p). But for g(x)≥0, we can prove that problem (36) has at least one nontrivial nonnegative solution for |λ| is sufficiently small via the method used in [12]. Notice that our result (Theorem 8) does not need |λ| to be small.
Theorem 10.
Let (H1)–(H5) hold with r<q<p. Then problem (2) has a nonnegative nontrivial weak solution.
Proof.
From Lemma 3, we have
(37)F(u)≤S1-q/p∥f∥Lδ(Ω)∥u∥Eq.
Thus
(38)J(u)≥1p∥u∥Ep-1qS1-q/p∥f∥Lδ(Ω)∥u∥Eq.
So J(u) is coercive by p>q.
By Lemmas 3 and 4, it is easy to verify that J is weakly lower semicontinuous. So J has a minimum point u in E and u is a weak solution of (2).
In the following, we prove infu∈EJ(u)<0. Let v∈W01,p(Ω)∩F+. Then
(39)J(tv)=1ptp∥v∥Ep-1qtqF(v).
Thus J(tv)<0 for t>0 is sufficiently small. Notice that W01,p(Ω)∩F+⊂E; we obtain
(40)infv∈EJ(v)≤infv∈W01,p(Ω)∩F+J(v)<0.
Thus the minimum point of J is nontrivial.
Theorem 11.
Let (H1)–(H5) hold with p<q<r. Then problem (2) has a nonnegative nontrivial weak solution in W01,p(Ω)∩F+.
Proof.
Let u∈W01,p(Ω)∩F+. Then
(41)J(tu)=tpp∥u∥Ep-tqqF(u).
Thus J(tu)≥α>0 for t small and J(tu)<0 for t large.
Let {un}⊂W01,p(Ω)∩F+ satisfy J(un)→c in E and J′(un)→0 in E*. Then
(42)c+1≥J(un)-1q〈J′(un),un〉=(1p-1q)∥un∥Ep.
This shows that ∥un∥E is bounded in E. Up to a subsequence, we obtain un⇀u in E. Thus
(43)∫Ωa(x)|∇u|p-2∇u∇(un-u)dx+∫Ωb(x)|u|p-2u(un-u)dx⟶0.
It follows from Lemmas 3 and 4 that
(44)un⟶uinLq(Ω;|f|),Lr(Γ;g).
Hence
(45)∫Ωf(x)|u|q-2u(un-u)dx⟶0,∫Γg(x)|un|r-2un(un-u)dS⟶0,Bn:=∫Ωf(x)(|un|q-2un-|u|q-2u)(un-u)dx⟶0,Cn:=∫Γg(x)(|un|r-2un-|u|r-2u)(un-u)dS⟶0.
Then (45) give that 〈J′(u),un-u〉→0. Notice that J′(un)→0; we have
(46)〈J′(un)-J′(u),un-u〉=An+Bn-Cn⟶0,
where
(47)An=∫Ωa(x)(|∇un|p-2∇un-|∇u|p-2∇u)∇(un-u)dx+∫Ωb(x)(|un|p-2un-|u|p-2u)(un-u)dx.
Using the standard inequality in ℝN given by
(48)〈|ξ|p-2ξ-|η|p-2η,ξ-η〉≥Cp|ξ-η|p,p≥2,〈|ξ|p-2ξ-|η|p-2η,ξ-η〉≥Cp|ξ-η|2(|ξ|+|η|)p-2,1<p<2,
we have from (46) that un→u in E. Thus J(·) satisfies (PS) condition. Then the assertion of this theorem follows from Lemma 5.
Next, we seek for a solution in E∖W01,p(Ω) with p<q<r. In this case, we find it necessary to strengthen our hypothesis by assuming that the function g(·) is positive. That is, (H5) will be replaced by
the function g(x)>0 and g(x)∈Lσ(Γ) with p/(p-r)≥σ>r0=p*/(p*-r).
Theorem 12.
Let (H1)–(H4) and (H5′) hold with p<q<r. Suppose also
(49)ℳ:={(F(v))r-p>ξ(G(v))q-p∥v∥Ep(r-q)}≠∅,
where ξ=(r-p)r-p/((q-p)q-p(r-q)r-q)(r/p)r-q. Then problem (2) has a nonnegative nontrivial weak solution in E/W01,p(Ω).
Proof.
Define
(50)ℒv0={v∈ℳ:G(v∥v∥E)≥G(v0∥v0∥E)}.
Fix v0 with ℒv0≠∅. In view of assumption (H5′), we have G(v0)>0. For all u∈ℒv0, there exist t>0 and v∈ℒv0 with ∥v∥E=1 such that u=tv. Moreover, G(v)≥G(v0/∥v0∥E)>0. Thus
(51)J(u)=tpp∥v∥Ep+trrG(v)-tqqF(v)⟶∞,
as t→∞. Hence J(·) is coercive in ℒv0. By Lemmas 3 and 4, it is easy to verify that J is weakly lower semicontinuous. So J has a minimum point u in ℒv0 and u is a weak solution of (2).
In the following, we prove that infu∈ℒv0J(u)<0. Notice that ψ(t,v)=0 as t→0, ψ(t,v)=-∞ as t→+∞, and ψt′(t,v)=(q-p)tq-p-1F(v)-(r-p)tr-p-1G(v); we infer that ψ(t,v) attain its maximum at tM(v), where
(52)tM(v)=(q-pr-pF(v)G(v))1/(r-q).
If 0<∥v∥Ep<ψ(tM(v),v), then (13) has exactly two solutions t1(v) and t2(v) with 0<t1(v)<tM(v)<t2(v). Let t(v)=t2(v). We have from (11) and (12) that
(53)J(t(v)v)=q-ppq(t(v))p∥v∥Ep-r-qqr(t(v))rG(v).
Let v∈ℒv0. It follows that
(54)(t(v))r-p>(tM(v))r-p>r(q-p)∥v∥Epp(r-q)G(v),
which ensures J(t(v)v)<0. Thus infu∈ℒv0J(u)<0. This implies that the weak solution of (2) is nontrivial.
Remark 13.
Condition (49) may be viewed as grading the “strength” of interaction induced by F(u) and G(u). Hence, qualitatively speaking, one may rephrase Theorem 12 as saying that if p<q<r, then problem (2) admits a nontrivial weak solution provided that F(·) “prevails” over G(·).
4. Multiplicity of Nonnegative Solutions
In this section, we establish multiplicity results for the cases q>max{p,r} and q<min{p,r} by Lemmas 6 and 7, respectively. To this purpose, the assumption (H4) will be replaced by the following:
the function f(x) satisfies f(x)>0 in Ω and f(x)∈Lδ(Ω) with p/(p-q)≥δ>q0=p*/(p*-q).
Theorem 14.
Let (H1)–(H3), (H4′), and (H5) hold with q>max{p,r}. Then problem (2) has a sequence of solutions uk in E with J(uk)→∞ as k→∞.
Proof.
We will prove this theorem by fountain theorem. The proof is divided into three steps.
(1) Let Yk and Zk be defined by (23) and βk=supu∈Zk,∥u∥E=1∥u∥Lq(Ω;f). Then it follows that βk→0 (see [22]). Therefore, we have
(55)J(u)≥1p∥u∥Ep-1qF(u)≥1p∥u∥Ep-1qβkq∥u∥Eq.
Choosing rk=(q/(2pβkq))1/(q-p), we obtain that if u∈Zk,∥u∥E=rk, then
(56)J(u)≥12prkp⟶+∞.
Thus (B1) in Lemma 6 is proved.
(2) Since in the finite dimensional space Yk all norms are equivalent, there exist C>0 such that F(u)≥C∥u∥Eq hold for all u∈Yk. Thus by (19),
(57)J(u)≤1p∥u∥Ep+1rS2-r/p∥g∥Lσ(Γ)∥u∥Er-1qC∥u∥Eq,∀u∈Yk.
Therefore (B2) in Lemma 6 is satisfied for every ρk:=∥u∥E>0 large enough.
(3) Let {un} be a (PS)c sequence of J. Then we have
(58)c+1≥J(un)-1q〈J′(un),un〉=(1p-1q)∥un∥Ep+(1r-1q)G(u)≥(1p-1q)∥un∥Ep.
Therefore {un} is bounded in E. Similar to the proof of Theorem 11, we can verify that J(·) satisfies (PS) condition.
Obviously, J(·) is an even functional and J(0)=0. Thus the assertion of Theorem 14 follows from Lemma 6.
Theorem 15.
Let (H1)–(H3), (H4′), and (H5) hold with q<min{p,r}. Then problem (2) has a sequence of solutions uk in E with J(uk)<0 and J(uk)→0 as k→∞.
Proof.
Since
(59)J(u)=1p∥u∥Ep+1rG(u)-1qF(u)≥1p∥u∥Ep-1qS1-q/p∥f∥Lδ(Ω)∥u∥Eq
and q<p, J(·) is coercive and bounded from below. As before, we can verify that (PS) condition holds.
Let Yk be defined by (23) and u∈Yk. Since Yk is a finite dimensional space and q<min{p,r}, we can choose ρk>0 small enough such that
(60)supu∈Yk,∥u∥E=ρkJ(u)≤1p∥u∥Ep+1rS2-r/p∥g∥Lσ(Γ)∥u∥Er-1qC∥u∥Eq<0.
We obtain a sequence of solutions uk by Lemma 7.
Acknowledgment
This work is supported by the Fundamental Research Funds for the Central Universities (2013B09914).
KazdanJ. L.198557Providence, RI, USAAmerican Mathematical SocietyCBMS Regional Conference Series in MathematicsMR787227CiarletP. G.198820Amsterdam, The NetherlandsNorth-HollandStudies in Mathematics and Its ApplicationsMR936420DíazJ. I.1985106Boston, Mass, USAPitmanResearch Notes in MathematicsMR853732PélissierM.-C.ReynaudL.Étude d'un modèle mathématique d'écoulement de glacier1974279531534MR0363423ZBL0327.73085AronsonD. G.WeinbergerH. F.Multidimensional nonlinear diffusion arising in population genetics1978301337610.1016/0001-8708(78)90130-5MR511740ZBL0407.92014KandilakisD. A.LyberopoulosA. N.Indefinite quasilinear elliptic problems with subcritical and supercritical nonlinearities on unbounded domains2006230133736110.1016/j.jde.2006.03.008MR2270556ZBL1134.35037LyberopoulosA. N.Existence and Liouville-type theorems for some indefinite quasilinear elliptic problems with potentials vanishing at infinity2009257113593361610.1016/j.jfa.2009.07.010MR2572262ZBL1181.35101KandilakisD. A.MagiropoulosM.Existence results for a p-Laplacian problem with competing nonlinearities and nonlinear boundary conditions20119516MR2832271FilippucciR.PucciP.RădulescuV.Existence and non-existence results for quasilinear elliptic exterior problems with nonlinear boundary conditions2008334–670671710.1080/03605300701518208MR2424374ZBL1147.35038ChenC.LiuS.YaoH.Existence of solutions for quasilinear elliptic exterior problem with the concave-convex nonlinearities and the nonlinear boundary conditions2011383111111910.1016/j.jmaa.2011.05.006MR2812721ZBL1222.35090WuT.-F.A semilinear elliptic problem involving nonlinear boundary condition and sign-changing potential2006131115MR2255246ZBL1128.35350AfrouziG. A.RasouliS. H.A variational approach to a quasilinear elliptic problem involving the p-Laplacian and nonlinear boundary condition2009717-82447245510.1016/j.na.2009.01.090MR2532772PohozaevS. I.On the fibering method for the solution of nonlinear boundary value problems1992192157173KuzinI.PohozaevS.1997Basel, SwitzerlandBirkhäuserProgress in Nonlinear Differential Equations and their Applications, 33MR1479168FariaL. F. O.MiyagakiO. H.PereiraF. R.Existence results for quasilinear elliptic exterior problems involving convection term and nonlinear Robin boundary conditions2010368257858610.1016/j.jmaa.2010.02.055MR2643825ZBL1194.35150AdamsR. A.1975New York, NY, USAAcademic PressMR0450957AmbrosettiA.RabinowitzP. H.Dual variational methods in critical point theory and applications197314349381MR0370183ZBL0273.49063StruweM.2000343rdNew York, NY, USASpringerMR1736116BartschT.Infinitely many solutions of a symmetric Dirichlet problem199320101205121610.1016/0362-546X(93)90151-HMR1219237ZBL0799.35071WangZ.-Q.Nonlinear boundary value problems with concave nonlinearities near the origin200181153310.1007/PL00001436MR1828946ZBL0983.35052HeinzH.-P.Free Ljusternik-Schnirelman theory and the bifurcation diagrams of certain singular nonlinear problems198766226330010.1016/0022-0396(87)90035-0MR871998ZBL0607.34012WillemM.1996Boston, Mass, USABirkhäuserProgress in Nonlinear Differential Equations and their Applications, 2410.1007/978-1-4612-4146-1MR1400007