Existence results of three weak solutions for a Dirichlet double eigenvalue quasilinear elliptic system involving the (p1,…,pn)-Laplacian operator, under suitable assumptions, are established. Our main tool is based on a recent three-critical-point theorem obtained by Ricceri. We also give some examples to illustrate the obtained results.
1. Introduction and Preliminaries
The aim of this paper is to investigate the existence of at least three weak solutions for the following Dirichlet double eigenvalue quasilinear elliptic system:
(1)-Δpiui=λFui(x,u1,…,un)+μGui(x,u1,…,un)inΩ,ui=0on∂Ω,
for 1≤i≤n, where Δpiui:=div(|∇ui|pi-2∇ui)is the pi-Laplacian operator, Ω⊂ℝN(N≥1) is a nonempty bounded open set with a boundary ∂Ω of class C1, λ and μ are positive parameters, and pi>N for 1≤i≤n. Here, F,G:Ω×ℝn→ℝ are measurable functions with respect to x∈Ω for every (t1,…,tn)∈ℝn and are C1 with respect to (t1,…,tn)∈ℝn for a.e. x∈Ω, and Fui and Gui denote the partial derivatives of F and G with respect to ui, respectively.
Moreover, F and G satisfy the following additional assumptions:
for every M>0 and every 1≤i≤n,
(2)sup|(t1,…,tn)|≤M|Fui(x,t1,…,tn)|∈L1(Ω);
F(x,0,…,0)=0 for a.e. x∈Ω;
for every M>0 and every 1≤i≤n,
(3)sup|(t1,…,tn)|≤M|Gui(x,t1,…,tn)|∈L1(Ω).
Here and in the following, we let X be the Cartesian product of the n Sobolev spaces W01,pi(Ω) for 1≤i≤n; that is, X=W01,p1(Ω)×W01,p2(Ω)×⋯×W01,pn(Ω) equipped with the norm
(4)∥u∥≔∑i=1n∥ui∥pi,u=(u1,u2,…,un),
where for 1≤i≤n,
(5)∥ui∥pi:=[∫Ω|∇ui(x)|pidx]1/pi.
Put
(6)c:=max{supui∈W01,pi(Ω)∖{0}maxx∈Ω¯|ui(x)|pi∥ui∥pipi:for1≤i≤n}.
Since pi>N for 1≤i≤n, X is compactly embedded in (C0(Ω¯))n, so that c<+∞. In addition, it is known (see [1, formula (6b)]) that
(7)supui∈W01,pi(Ω)∖{0}maxx∈Ω¯|ui(x)|∥ui∥pi≤N-1/piπ[Γ(1+N2)]1/N(pi-1pi-N)1-1/pi[m(Ω)]1/N-1/pi
for 1≤i≤n, where Γ denotes the Gamma function defined by
(8)Γ(t):=∫0+∞zt-1e-zdz,∀t>0,
and m(Ω) is the Lebesgue measure of the set Ω, and equality occurs when Ω is a ball.
Moreover, let
(9)D:=supx∈Ωdist(x,∂Ω).
Simple calculations show that there is x0∈Ω such that B(x0,D)⊆Ω, where B(x,r) stands for the open ball in ℝN of radius r centered at x.
Put
(10)κi:=2D[cπN/2(DN-(D/2)N)Γ(1+N/2)]1/pi
for 1≤i≤n.
By a (weak) solution of system (1), we mean any u=(u1,…,un)∈X such that
(11)∫Ω∑i=1n|∇ui(x)|pi-2∇ui(x)∇vi(x)dx-λ∫Ω∑i=1nFui(x,u1(x),…,un(x))vi(x)dx-μ∫Ω∑i=1nGui(x,u1(x),…,un(x))vi(x)dx=0
for all v=(v1,…,vn)∈X.
In the literature many papers (see, e.g., the papers [2–9] and references therein) deal with nonlinear elliptic problems. Motivated by the fact that such kind of problems is used to describe a large class of physical phenomena, many authors have studied the existence and multiplicity of solutions for (1).
The goal of this work is to establish some new criteria for system (1) to have at least three weak solutions in X, by means of a very recent abstract critical point result of Ricceri [10]. We first recall the following three-critical-point theorem that follows from a combination of [11, Theorem 3.6] and [10, Theorem 1].
Lemma 1.
Let X be a reflexive real Banach space; let Φ:X→ℝ be a continuously Gâteaux differentiable and sequentially weakly lower semicontinuous functional whose Gâteaux derivative admits a continuous inverse on X*, bounded on bounded subsets of X; Ψ:X→ℝ a continuously Gâteaux differentiable functional whose Gâteaux derivative is compact such that
(12)Φ(0)=Ψ(0)=0.
Assume that there exists r>0 and x¯∈X, with r<Φ(x¯), such that
(supΦ(x)≤rΨ(x)/r)<Ψ(x¯)/Φ(x¯);
for eachλ∈Λr:=]Φ(x¯)/Ψ(x¯),r/supΦ(x)≤rΨ(x)[, the functional Φ-λΨ is coercive.
Then, for each compact interval [a,b]⊆Λr, there exists ρ>0 with the following property: for every λ∈[a,b] and every C1 functional Γ:X→ℝ with compact derivative, there exists δ>0 such that, for each μ∈[0,δ], the equation
(13)Φ′(x)-λΨ′(x)-μΓ′(x)=0
has at least three solutions in X whose norms are less than ρ.
For other basic notations and definitions, we refer the reader to [12–14].
2. Main Result
In the present section we discuss the existence of multiple solutions for system (1). For any γ>0, we denote by K(γ) the set
(14){(t1,…,tn)∈ℝn:∑i=1n|ti|pipi≤γ}.
This set will be used in some of our hypotheses with appropriate choices of γ.
We formulate our main result as follows.
Theorem 2.
Assume that there exist two positive constants θ and δ with ∑i=1n((δκi)pi/pi)>(θ/∏i=1npi) such that
F(x,t1,…,tn)≥0 for a.e. x∈Ω∖B(x0,D/2) and all ti∈[0,δ] for 1≤i≤n;
Then, setting(17)Λ:=]∑i=1n((δκi)pi/pi)c∫B(x0,D/2)F(x,δ,…,δ)dx,θ(c∏i=1npi)∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx[, for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], system (1) admits at least three weak solutions in X whose norms are less than ρ.
Proof.
Our aim is to apply Lemma 1 to our problem. To this end, for each u=(u1,…,un)∈X, we let the functionals Φ,Ψ:X→ℝ be defined by
(18)Φ(u):=∑i=1n∥ui∥pipipi,Ψ(u):=∫ΩF(x,u1(x),…,un(x))dx.
Clearly, Φ is bounded on each bounded subset of X and it is known that Φ and Ψ are well-defined and continuously Gâteaux differentiable functionals whose derivatives at the point u=(u1,…,un)∈X are the functionals Φ′(u) and Ψ′(u) given by
(19)Φ′(u)(v)=∫Ω∑i=1n|∇ui(x)|pi-2∇ui(x)∇vi(x)dx,Ψ′(u)(v)=∫Ω∑i=1nFui(x,u1(x),…,un(x))vi(x)dx
for every v=(v1,…,vn)∈X, and Φ is sequentially weakly lower semicontinuous (see Proposition 25.20 of [14]). Also, Φ′:X→X* is a uniformly monotone operator in X (for more details, see (2.2) of [15]), and since Φ′ is coercive and hemicontinuous in X, by applying Minty-Browder theorem (Theorem 26.A of [14]), Φ′ admits a continuous inverse on X*.
We claim that Ψ′:X→X* is a compact operator. To this end, it is enough to show that Ψ′ is strongly continuous on X. For this, for fixed (u1,…,un)∈X, let(u1m,…,unm)→(u1,…,un) weakly in X as m→+∞. Then we have that (u1m,…,unm) converges uniformly to (u1,…,un) on Ω as m→+∞ (see [14]). Since F(x,·,…,·) is C1 in ℝn for every x∈Ω, the derivatives of F are continuous in ℝn for every x∈Ω, so fo 1≤i≤n, Fui(x,u1m,…,unm)→Fui(x,u1,…,un) strongly as m→+∞. By the Lebesgue control convergence theorem, Ψ′(u1m,…,unm)→Ψ′(u1,…,un) strongly as m→+∞. Thus we proved that Ψ′ is strongly continuous on X, which implies that Ψ′ is a compact operator by [14, Proposition 26.2]. Hence the claim is true.
Moreover, we have
(20)Φ(0)=Ψ(0)=0.
Next, put w(x)=(w1(x),…,wn(x)) such that for 1≤i≤n,
(21)wi(x):={0x∈Ω∖B(x0,D),2δD(D-∑j=1N(xj-xj0)2)x∈B(x0,D)∖B(x0,D/2),δx∈B(x0,D/2),
and r:=(θ/c∏i=1npi). Clearly w=(w1,…,wn)∈X and, in particular, one has for 1≤i≤n,(22)∥wi∥pipi=πN/2Γ(1+N/2)(DN-(D/2)N)(2δD)pi.
So
(23)Φ(w)=πN/2Γ(1+N/2)(DN-(D/2)N)∑i=1n1pi(2δD)pi.
Bearing in mind that ∑i=1n((δκi)pi/pi)>(θ/∏i=1npi) and that ∥wi∥pipi=((δκi)pi/c) for 1≤i≤n, one has Φ(w)>r.
Since 0≤wi(x)≤δ for each x∈Ω for 1≤i≤n, condition (b1) ensures that
(24)∫Ω∖B(x0,D)F(x,w1(x),…,wn(x))dx+∫B(x0,D)∖B(x0,D/2)F(x,w1(x),…,wn(x))dx≥0.
Hence
(25)∫ΩF(x,w1(x),…,wn(x))dx≥∫B(x0,D/2)F(x,δ,…,δ)dx.
Moreover, owing to assumption (b2), we have
(26)∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx<θ(∑i=1n((δκi)pi/pi))(∏i=1npi)∫B(x0,D/2)F(x,δ,…,δ)dx≤θc∫ΩF(x,w1(x),…,wn(x))dx∑i=1n(∏j=1j≠inpj)∥wi∥pipi.
Taking into account that for each ui∈W01,pi(Ω)(27)supx∈Ω|ui(x)|pi≤c∥ui∥pipi
for 1≤i≤n (see (6)), we have that
(28)supx∈Ω∑i=1n|ui(x)|pipi≤c∑i=1n∥ui∥pipipi=cΦ(u)
for every u=(u1,…,un)∈X, and taking into account (26) and (28), it follows that
(29)supu∈Φ-1(]-∞,r])Ψ(u)=supΦ(u)≤r∫ΩF(x,u1(x),…,un(x))dx≤∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx<θc∫ΩF(x,w1(x),…,wn(x))dx∑i=1n(∏j=1j≠inpj)∥wi∥pipi=θc∏i=1npi∫ΩF(x,w1(x),…,wn(x))dx∑i=1n(∥wi∥pipi/pi)=rΨ(w)Φ(w).
Therefore, assumption (a1) of Lemma 1 is satisfied.
Now, fixed λ∈Λ, due to (b3), there exist two constants γ,ϑ∈ℝ with
(30)0<γ<∏i=1npim(Ω)θ∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx
such that
(31)F(x,t1,…,tn)≤γ(∑i=1n|ti|pipi)+ϑ
for all x∈Ω and for all (t1,…,tn)∈ℝn. Fix u=(u1,…,un)∈X. Then
(32)F(x,u1(x),…,un(x))≤γ(∑i=1n|ui(x)|pipi)+ϑ
for all x∈Ω. So, for any fixed λ∈Λ, from (28) and (32), we have
(33)Φ(u)-λΨ(u)=∑i=1n∥ui∥pipipi-λ∫ΩF(x,u1(x),…,un(x))dx≥∑i=1n∥ui∥pipipi-λγ(∫Ω∑i=1n|ui(x)|pipidx)-λϑm(Ω)≥∑i=1n∥ui∥pipipi-λγ(cm(Ω)∑i=1n∥ui∥pipipi)-λϑm(Ω)≥(1-m(Ω)γθ(∏i=1npi)∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx)×∑i=1n∥ui∥pipipi-m(Ω)ϑθ(c∏i=1npi)∫Ωsup(t1,…,tn)∈K(θ/∏i=1npi)F(x,t1,…,tn)dx,
and thus
(34)lim∥u∥→+∞(Φ(u)-λΨ(u))=+∞,
which means that the functional Φ-λΨ is coercive. Then, also condition (a2) of Lemma 1 holds.
In addition, since G:Ω×ℝn→ℝ is a measurable function with respect to x∈Ω for every (t1,…,tn)∈ℝn and is C1 with respect to (t1,…,tn)∈ℝn for a.e. x∈Ω, satisfying condition (G), the functional
(35)Γ(u)=∫ΩG(x,u1(x),…,un(x))dx
is well defined and continuously Gâteaux differentiable on X with a compact derivative, and
(36)Γ′(u)(v)=∫Ω∑i=1nGui(x,u1(x),…,un(x))vi(x)dx
for all u=(u1,…,un), v=(v1,…,vn)∈X. Thus, all the hypotheses of Lemma 1 are satisfied. Also note that the solutions of the equation
(37)Φ′(u)-λΨ′(u)-μΓ′(u)=0
are exactly the weak solutions of (1). So, the conclusion follows from Lemma 1.
We now point out the following special case of Theorem 2 when F does not depend on x∈Ω.
Theorem 3.
Let F:ℝn→ℝ be a C1-function and assume that there exist two positive constants θ and δ with ∑i=1n((δκi)pi/pi)>(θ/∏i=1npi) such that
Then, setting(39)Λ:=]Γ(1+N/2)∑i=1n((δκi)pi/pi)cπN/2F(δ,…,δ)(2D)N,θ(c∏i=1npi)m(Ω)sup(t1,…,tn)∈K(θ/∏i=1npi)F(t1,…,tn)[,for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], the system
(40)-Δpiui=λFui(u1,…,un)+μGui(x,u1,…,un)inΩ,ui=0on∂Ω,
for 1≤i≤n, admits at least three weak solutions in X whose norms are less than ρ.
Proof.
Set F(x,t1,…,tn)=F(t1,…,tn) for all x∈Ω and ti∈ℝ for 1≤i≤n. Since ∫B(x0,D/2)F(δ,…,δ)dx=(πN/2/Γ(1+N/2))(D/2)NF(δ,…,δ), Theorem 2 ensures the conclusion.
Let κ=κ1 and p=p1. Then we have the following existence result.
Corollary 4.
Let f:ℝ→ℝ be a continuous function and let g:Ω×ℝ→ℝ be an L1-Carathéodory function. Put F(t)=∫0tf(ξ)dξ for each t∈ℝ and assume that there exist two positive constants θ and δ with (δκ)p>θ such that
Then, setting
(41)Λ:=]Γ(1+N/2)(δκ)p(pc)πN/2F(δ)(2D)N,θm(Ω)(pc)supt∈[-θp,θp]F(t)[,
for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], the problem
(42)-Δpu=λf(u)+μg(x,u)inΩ,u=0on∂Ω
admits at least three weak solutions in W01,p(Ω) whose norms are less than ρ.
Now, we want to point out a simple consequence of Corollary 4 in the case when N=1 and p=2. For simplicity, we fix Ω=(α,β) and note that in this situation, c=(β-α)/4 and κ=((β-α)/D)1/2.
Corollary 5.
Let f:ℝ→ℝ be a continuous function and g:(α,β)×ℝ→ℝ an L1-Carathéodory function. Put F(t)=∫0tf(ξ)dξ for each t∈ℝ and assume that there exist two positive constants θ and δ with (δ2(β-α)/D)>θ such that assumption (b7) in Corollary 4 holds, and
(θD)F(δ)-(δ2(β-α)2/D)supt∈[-θ,θ]F(t)>0;
limsup|t|→+∞(F(t)/t2)≤0.
Then, setting
(43)Λ:=]2δ2D2F(δ),2θ(β-α)2supt∈[-θ,θ]F(t)[,
for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], the problem
(44)-u′′=λf(u)+μg(x,u)in(α,β),u(α)=u(β)=0
admits at least three classical solutions in C2([α,β]) whose norms are less than ρ.
3. Examples
First, we present an example of the application of Theorem 3.
Example 1.
Let Ω={(x,y)∈ℝ2:x2+y2<4}. Consider the system
(45)-Δ3u1=λe1-u1u111(12-u1)+μGu1(x,y,u1,u2)inΩ,-Δ3u2=λe1-u2u213(14-u2)+μGu2(x,y,u1,u2)inΩ,u1=u2=0on∂Ω,
where G:Ω×ℝ2→ℝ is an arbitrary function which is measurable with respect to (x,y)∈Ω for every (t1,t2)∈ℝ2 and is C1 with respect to (t1,t2)∈ℝ2 for a.e. (x,y)∈Ω, satisfying
(46)sup|(t1,t2)|≤M|Gui(x,y,t1,t2)|∈L1(Ω)
for every M>0 and i=1,2. Taking into account c=4/π, picking x0=(0,0) and
(47)F(t1,t2)=e1-t1t112+e1-t2t214
for each (t1,t2)∈ℝ2, so that D=2 and κ1=κ2=123, by choosing δ=θ=3, we have F(t1,t2)≥0 for all (t1,t2)∈[0,3]×[0,3] and
(48)limsup(|t1|,|t2|)→(+∞,+∞)F(t1,t2)(1/3)|t1|3+(1/3)|t2|3=0.
We see that
(49)sup|t1|3+|t2|3≤1(e1-t1t112+e1-t2t214)≤sup|t1|≤1e1-t1t112+sup|t2|≤1e1-t2t214=2e2,
which gives that
(50)θπp1p2(D2)2F(δ,δ)-m(Ω)∑i=12(δκi)pipisup(t1,t2)∈K(θ/p1p2)F(t1,t2)≥π3F(3,3)-(4π)(23·33)×(sup|t1|≤1e1-t1t112+sup|t2|≤1e1-t2t214)=311·10πe2-(26·33·πe2)>0.
Hence, all the assumptions of Theorem 3, with p1=p2=3, are satisfied. So, setting
(51)Λ=]e239·5,125·3e2[,
for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], system (45) has at least three weak solutions in W01,3(Ω)×W01,3(Ω) whose norms are less than ρ.
The next example follows directly by Corollary 5.
Example 2.
Suppose f(t)=(1/10)t9e-t(10-t) for all t∈ℝ. Then one has F(t)=(1/10)t10e-t for all t∈ℝ. Now, consider the following two-point boundary value problem
(52)-u′′=λf(u)+μg(x,u)in(-1,1),u(-1)=u(1)=0,
where g:(-1,1)×ℝ→ℝ is an arbitrary L1-Carathéodory function. Note that, in this case, x0=0, D=1, c=1/2, and κ=2. In fact, by choosing θ=1 and δ=2, we have F(t)≥0 for all t∈[0,2]. Also
(53)(θD)F(δ)-δ2(β-α)2Dsupt∈[-θ,θ]F(t)=F(2)-16F(-1)=15(29e-2-8e)>0,
which shows that assumption (b10) is fulfilled. Furthermore, we have limsup|t|→+∞(F(t)/t2)=0. Thus, all hypotheses of Corollary 5 are satisfied. So, setting Λ=](5e2/27),(5/e)[, for each compact interval [a,b]⊆Λ, there exists ρ>0 with the following property: for every λ∈[a,b], there exists δ>0 such that, for each μ∈[0,δ], problem (52) has at least three classical solutions in C2([-1,1]) whose norms are less than ρ.
In particular, there exist two positive constants ρ and δ such that, for each μ∈[0,δ], the problem
(54)-u′′=f(u)+μg(x,u)in(-1,1),u(-1)=u(1)=0
admits at least three classical solutions in C2([-1,1]) whose norms are less than ρ.
TalentiG.WalterW.Some inequalities of Sobolev type on two-dimensional spheres198780Basel, SwitzerlandBirkhäuser401408International Series of Numerical MathematicsBonannoG.HeidarkhaniS.O'ReganD.Multiple solutions for a class of dirichlet quasilinear elliptic systems driven by a (p, q)-Laplacian operator2011201891002-s2.0-79959403469BonannoG.Molica BisciG.Three weak solutions for elliptic Dirichlet problems20113821182-s2.0-7995615023210.1016/j.jmaa.2011.04.026BonannoG.Molica BisciG.RdulescuV.Multiple solutions of generalized Yamabe equations on Riemannian manifolds and applications to Emden-Fowler problems2011125265626652-s2.0-7995790882510.1016/j.nonrwa.2011.03.012BonannoG.Molica BisciG.RǎdulescuV.Existence of three solutions for a non-homogeneous Neumann problem through Orlicz-Sobolev spaces20117414478547952-s2.0-7995791193210.1016/j.na.2011.04.049FelmerP.WangZ. Q.Multiplicity for symmetric indefinite functionals: application to Hamiltonian and elliptic systems199812207226GraefJ. R.HeidarkhaniS.KongL.A critical points approach for the existence of multiple solutions of a Dirichlet quasilinear system20123882126812782-s2.0-8485535867610.1016/j.jmaa.2011.11.019LiC.TangC.-L.Three solutions for a class of quasilinear elliptic systems involving the (p, q)-Laplacian20086910332233292-s2.0-5134911243210.1016/j.na.2007.09.021Molica BisciG.RdulescuV.Multiple symmetric solutions for a Neumann problem with lack of compactness20133511-2374210.1016/j.crma.2012.12.001RicceriB.A further refinement of a three critical points theorem20117418744674542-s2.0-8005280326410.1016/j.na.2011.07.064BonannoG.MaranoS. A.On the structure of the critical set of non-differentiable functions with a weak compactness condition20108911102-s2.0-7434910395710.1080/00036810903397438GherguM.RădulescuV.200837Oxford University PressOxford Lecture Series in Mathematics and Its ApplicationsKristályA.RădulescuV.VargaC.2010136Cambridge, UKCambridge University PressEncyclopedia of Mathematics and Its ApplicationsZeidlerE.1990New York, NY, USASpringerSimonJ.BénilanP.RobertJ.Régularite de la solution d’une équation non linéaire dans ℝN1978665205217Lecture Notes in Mathematics