Citation: Zhenluo Lou, Jian Zhang. On general Kirchhoff type equations with steep potential well and critical growth in R2[J]. AIMS Mathematics, 2024, 9(8): 21433-21454. doi: 10.3934/math.20241041
[1] | Shuwen He, Xiaobo Wen . Existence and concentration of solutions for a Kirchhoff-type problem with sublinear perturbation and steep potential well. AIMS Mathematics, 2023, 8(3): 6432-6446. doi: 10.3934/math.2023325 |
[2] | Canlin Gan, Weiwei Wang . Existence result for the critical Klein-Gordon-Maxwell system involving steep potential well. AIMS Mathematics, 2023, 8(11): 26665-26681. doi: 10.3934/math.20231364 |
[3] | Xianyong Yang, Qing Miao . Asymptotic behavior of ground states for a fractional Choquard equation with critical growth. AIMS Mathematics, 2021, 6(4): 3838-3856. doi: 10.3934/math.2021228 |
[4] | Fugeng Zeng, Peng Shi, Min Jiang . Global existence and finite time blow-up for a class of fractional $ p $-Laplacian Kirchhoff type equations with logarithmic nonlinearity. AIMS Mathematics, 2021, 6(3): 2559-2578. doi: 10.3934/math.2021155 |
[5] | Jun Lei, Hongmin Suo . Multiple solutions of Kirchhoff type equations involving Neumann conditions and critical growth. AIMS Mathematics, 2021, 6(4): 3821-3837. doi: 10.3934/math.2021227 |
[6] | Lulu Tao, Rui He, Sihua Liang, Rui Niu . Existence and multiplicity of solutions for critical Choquard-Kirchhoff type equations with variable growth. AIMS Mathematics, 2023, 8(2): 3026-3048. doi: 10.3934/math.2023156 |
[7] | Jin-Long Zhang, Da-Bin Wang . Existence of least energy nodal solution for Kirchhoff-type system with Hartree-type nonlinearity. AIMS Mathematics, 2020, 5(5): 4494-4511. doi: 10.3934/math.2020289 |
[8] | Zhongxiang Wang, Gao Jia . Existence of solutions for modified Kirchhoff-type equation without the Ambrosetti-Rabinowitz condition. AIMS Mathematics, 2021, 6(5): 4614-4637. doi: 10.3934/math.2021272 |
[9] | Weichun Bu, Tianqing An, Guoju Ye, Yating Guo . Nonlocal fractional $ p(\cdot) $-Kirchhoff systems with variable-order: Two and three solutions. AIMS Mathematics, 2021, 6(12): 13797-13823. doi: 10.3934/math.2021801 |
[10] | Xinyi Zhang, Jian Zhang . On Schrödinger-Poisson equations with a critical nonlocal term. AIMS Mathematics, 2024, 9(5): 11122-11138. doi: 10.3934/math.2024545 |
The Kirchhoff-type problem appears as a model of several physical phenomena. For example, it is related to the stationary analog of the equation:
ρ∂2u∂t2−(P0h+E2L∫L0|∂u∂x|2dx)∂2u∂x2=0, | (1.1) |
where u is the lateral displacement at x and t, E is the Young modulus, ρ is the mass density, h is the cross-section area, L is the length, and P0 is the initial axial tension. For more background, see [1,20] and the references therein. In this paper, we study the following Kirchhoff-type equation with steep potential well and exponential critical nonlinearity:
M(∫R2(|∇u|2+u2)dx)(−Δu+u)+μV(x)u=K(x)f(u) in R2, | (1.2) |
where M∈C(R+,R+), V∈C(R2,R+) with Ω=int(V−1(0)) having k connected components, μ>0 is a parameter. Because of the presence of the nonlocal term M(∫R2(|∇u|2+u2)dx), Eq (1.2) is no longer a pointwise identity, which causes additional mathematical difficulties. The motivation of the present paper arises from results for Schrödinger equations with steep potential well. In [6], Bartsch and Wang studied the following equation with steep potential well:
−Δu+(1+μV(x))u=up−1 in RN, | (1.3) |
where N≥3 and 2<p<2∗=2NN−2. Under appropriate conditions on V, the authors obtained the existence of positive ground state solutions for large μ and the concentration behavior of solutions as μ→+∞. If p is close to 2∗−1, the authors also obtained multiple positive solutions. In [13], Ding and Tanaka constructed multi-bump positive solutions to Schrödinger equations with steep potential well. In [23], Sato and Tanaka obtained multiple positive and sign-changing solutions. For the critical case, Clapp and Ding [11] considered the following equation with steep potential well:
−Δu+μV(x)u=λu+u2∗−1 in RN. | (1.4) |
When N≥4, λ>0 is small and μ>0 is large, the authors obtained the existence and multiplicity of positive solutions. In [17,18], Guo and Tang constructed multi-bump solutions of (1.4) in the case that the potential is definite and indefinite. For other related results, see [4,5,12,24,25,26] and the references therein.
There are relatively few results about Kirchhoff-type equations with steep potential well. In [19], Jia studied the ground-state solutions of the following equation with sign-changing potential well:
−(a+b∫R3|∇u|2dx)Δu+λV(x)u=|u|p−2u in R3, | (1.5) |
where 3<p<6. When V≥0 and 2<p<6, Zhang and Du [27] used the truncation technique to obtain the existence of solutions of (1.5). For the critical case, we [29] obtained the existence, multiplicity and concentration behavior of solutions to the following equation:
−(a+b∫R3|∇u|2dx)Δu+μV(x)u=λf(u)+(u+)5 in R3. | (1.6) |
To the best of our knowledge, there are no results about the existence and concentration behavior of Kirchhoff-type equations with steep potential wells and exponential critical growth nonlinearity in dimension two, especially when the zero set of the steep potential well admits more than one isolated connected component. This is the main motivation of the present paper. Here we say the nonlinearity f has exponential subcritical growth if for any α>0,
limu→+∞f(u)e−αu2=0 | (1.7) |
and the nonlinearity f has exponential critical growth if there exists α0>0 such that
limu→+∞f(u)eαu2={0,∀α>α0,+∞,∀α<α0. | (1.8) |
In this paper, we study (1.2) and prove the existence of solutions trapped on one connected component of the potential well.
To study the existence and concentration behavior of solutions, the main difficulty lies in the exponential critical growth of nonlinearity. The Trudinger–Moser inequality plays an important role in dealing with critical nonlinearity. When using this inequality, it is crucial to control the uniform H1-norm of the sequence. Compared with the classical Schrödinger equation, the nonlocal term of the Kirchhoff type equation prevents us from using the upper bound on energy and the Ambrosetti–Rabinowitz type condition to deduce the desired H1 norm estimate. If we use the Pohozaev identity, we must impose additional restrictions on V and K. In [3,22], the authors studied nonlinear scalar field equations in dimension two. We notice that the compactness lemma of Strauss in [7] plays an important role and cannot be used in a non-radial setting. In [10,16], the authors studied Kirchhoff-type equations with exponential critical growth in a bounded domain. To deal with the critical nonlinearity, a compactness lemma (Lemma 2.1 in [14]) was used. However, this lemma cannot be applied to study a non-radial problem in the whole space. In this paper, we give a compactness lemma restricted to a bounded domain (Lemma 2.5 in Section 2), which is motivated by Lemma 2.1 in [14]. Because this lemma cannot be applied to deal with the non-radial problem in the whole space and the coefficient of the nonlinearity may be unbounded above, we study the problem by penalizing the nonlinearity.
When N=2, to deal with the exponential critical nonlinearity, we need to estimate an upper bound on the energy. In [3], the authors used the following condition:
(f′) There exist λ>0 and q>2 such that
f(u)≥λuq−1, ∀ u≥0. |
When λ>0 is large, the upper bound on the energy can be controlled. In [14], the authors considered the following Dirichlet problem:
−Δu=f(x,u) in Ω, u=0 on ∂Ω, |
and introduced the following more natural condition:
(f″) There exists β>43α0d2 such that
limu→+∞f(x,u)ueα0u2≥β, |
where d is the radius of the largest open ball in Ω.
By using the Moser sequence of functions, the authors deduced the desired upper bound. Related results can be found in [22,28] for nonlinear scalar field equations and in [10,16,28] for Kirchhoff type equations. Motivated by the above results, we use a direct argument to get the desired upper bound on the energy.
Now we state our results. We assume the following conditions:
(M1) M∈C(R+,R+), infR+M:=M0>0, and M(t) is strictly increasing for t∈R+.
(M2) There exist θ, ε0>0 such that M(t)−ε0tθ is decreasing for t>0.
(M3) There exists ε′0>0 such that ˆM(t)−1θ+1M(t)t−ε′0t is increasing for t∈R+, where ˆM(t)=∫t0M(s)ds.
(V1) V∈C(R2,R+).
(V2) Ω=int(V−1(0)) is non-empty with smooth boundary and ˉΩ=V−1(0).
(V3) Ω consists of k connected components: Ω=∪ki=1Ωi and ¯Ωi∩¯Ωj=∅ for all i≠j.
(V4) There exists V0>0 such that |{x∈R2:V(x)≤V0}|<∞.
(K1) K∈C(R2,R+) and k0:=infR2K>0.
(K2) There exist k1, α>0 such that K(x)≤k1eα|x| for x∈R2.
(f1) f∈C(R+,R+) and there exists l>1 such that limu→0+f(u)ul<+∞.
(f2) There exists α0>0 such that
limu→+∞f(u)eαu2−1={0,∀α>α0,+∞,∀α<α0. |
(f3) There exists β>0 such that
β≤limu→+∞f(u)ueα0u2<+∞. |
(f4) There exists σ>2(θ+1) such that f(u)uσ−1 is increasing for u∈R+∖{0}.
(f5) There exist u0, L0>0 such that F(u)≤L0f(u) for u≥u0, where F(u)=∫u0f(s)ds.
Theorem 1.1. Assume that (M1)–(M3), (V1)–(V4), (K1)–(K2) and (f1)–(f5) hold. Let i0∈{1,2,…,k}. If β>2M(4πα0)k0r2α0er22−1, where r is the radius of an open ball contained in Ωi0, then there exists μ0>0 such that for μ>μ0, Eq (1.2) has a positive solution uμ. Moreover, there exist r0, c1, c2>0 independent of μ>0 large such that Ωdi0⊂Br0(0) and
uμ(x)≤c2e−c1√μ(|x|−r0), ∀ |x|≥r0. | (1.9) |
Besides, for any sequence μn→+∞, there exists u0∈H10(Ωi0) such that uμn→u0 in H1(R2) as n→∞, where u0∈H10(Ωi0) is a positive solution to the limiting problem:
M(∫Ωi0(|∇u|2+u2)dx)(−Δu+u)=K(x)f(u) in Ωi0. | (1.10) |
Remark 1.1. If limu→+∞f(u)ueα0u2=A∈(0,+∞), then there exists R>0 such that
A2u−1eα0u2≤f(u)≤3A2u−1eα0u2, ∀ u≥R. |
Moreover,
limu→+∞F(u)f(u)≤limu→+∞∫R0f(s)ds+3A2∫uRs−1eα0s2dsA2u−1eα0u2=0, |
from which we get f satisfies (f5). If A=∞, one can prove it by the L′Hospital rule and the definition of ϵ−N.
Remark 1.2. Let f1(u)=β(α0u2−1)eα0u2α0u3, where u>0. Then there exists u1>0 such that f1(u1)=uσ−11. Define f(u)=uσ−1 for u∈[0,u1] and f(u)=f1(u) for u>u1. Obviously, f satisfies (f1)–(f3). We note that
(f1(u)uσ−1)′=βeα0u2α0u3+σ[2α20u4−(σ+2)α0u2+σ+2]. |
If σ≤6, then f1(u)uσ−1 is increasing for u≥u1. Moreover, f satisfies (f4). By Remark 1.1, we get f satisfies (f5).
The outline of this paper is as follows: In Section 2, we study the truncated problem; in Section 3, we turn to the original problem and prove Theorem 1.1.
We give some definitions. Denote C as universal positive constant (possibly different). Define ‖u‖s:=(∫R2|u(x)|sdx)1s, where s∈[1,∞). Define H1(R2) the Hilbert space with the norm ‖u‖H1:=(‖∇u‖22+‖u‖22)12. It is well known that the embedding H1(R2)↪Lt(R2) is continuous for all t≥2. Let μ>0. Define
Xμ:={u∈H1(R2):∫R2V(x)u2dx<∞} |
the Hilbert space equipped with the norm
‖u‖μ:=(‖∇u‖22+∫R2(1+μV(x))u2dx)12. |
Obviously, the embedding Xμ↪H1(R2) is continuous. We give the following Trudinger–Moser inequality:
Lemma 2.1. ([15,21,22]) If u∈H1(R2) and α>0, then
∫R2(eαu2−1)dx<∞. |
Moreover, for any fixed τ>0, there exists a constant C>0 such that
supu∈H1(R2):‖∇u‖22+τ‖u‖22≤1∫R2(e4πu2−1)dx≤C. |
Since we look for positive solutions, we assume that f(u)=0 for u≤0. For any d>0, define Ωd:={x∈R2:dist(x,Ω)<d}. By (V3), we can choose d>0 small such that Ω2di∩Ω2dj=∅ for all i≠j. Let i0∈{1,2,…,k}. Define
χ(x)={1, x∈Ωdi0,0, x∈R2∖Ωdi0. |
By (V4), we know that Ωdi0 is bounded. Let τ∈(0,1). For any x∈R2∖Ωdi0, define
ˆf(x,u)=min{K(x)f(u),κu+}, |
where u+=max{u,0} and κ∈(0,min{ε0,(θ+1)ε′0θ,M0(1−τ)}). Define
g(x,u)=χ(x)K(x)f(u)+(1−χ(x))ˆf(x,u). | (2.1) |
Then
G(x,u)=∫u0g(x,s)ds=χ(x)K(x)F(u)+(1−χ(x))ˆF(x,u), |
where ˆF(x,u)=∫u0ˆf(x,s)ds. By (f4) and the structure of ˆf, we derive that for all (x,u)∈R2×R,
K(x)f(u)u−σK(x)F(u)≥0, ˆf(x,u)u−2ˆF(x,u)≥0. | (2.2) |
Instead of studying (1.2), we consider the following truncated problem:
M(‖u‖2H1)(−Δu+u)+μV(x)u=g(x,u) in R2. | (2.3) |
The functional associated with (2.3) is
ˆIμ(u)=12ˆM(‖u‖2H1)+μ2∫R2V(x)u2dx−∫R2G(x,u)dx, u∈Xμ. | (2.4) |
Obviously, ˆIμ∈C1(Xμ,R), and the critical points of ˆIμ are weak solutions of (2.3).
Lemma 2.2. Let l(t)=ˆIμ(tu), where t≥0 and u∈Xμ with |suppu∩Ωdi0|>0. Then there exists a unique t0>0 such that l′(t0)=0, l′(t)>0 for t∈(0,t0), and l′(t)<0 for t>t0.
Proof. Obviously, l(0)=0. Let α>α0 and q>2. By (K1) and (f1)-(f2), for any ε>0, there exists Cε>0 such that
|g(x,u)|≤(ε+κ)|u|+Cε|u|q−1(eαu2−1), ∀ (x,u)∈R2×R. | (2.5) |
Then
|G(x,u)|≤ε+κ2|u|2+Cεq|u|q(eαu2−1), ∀ (x,u)∈R2×R. | (2.6) |
By (2.6) and Lemma 2.1, we can choose ρ>0 small such that for ‖u‖μ≤ρ,
|∫R2G(x,u)dx|≤ε+κ2‖u‖22+Cεq‖u‖q2q[∫R2(e2αu2−1)dx]12≤ε+κ2‖u‖22+C‖u‖q2q. | (2.7) |
By (M1), we get ˆM(s)≥M0s for s∈R+. Together with (2.7), the choice of κ and the Sobolev embedding theorem, we derive that l(t)>0 for t>0 small. Let s0>0. By (M1)-(M2), there exists C1>0 such that
M(s)≤C1+M(s0)sθ0sθ, s∈R+. | (2.8) |
Let p>2θ+1. By (f1)-(f2), there exist c1, c2>0 such that
f(u)≥c1up−c2u, ∀ u∈R. | (2.9) |
By (2.8)-(2.9), we get l(t)<0 for t>0 large. Thus, maxt≥0l(t) is attained at t0>0 and l′(t0)=0. Let
y(t)=[ε0‖u‖22+μ∫R2V(x)u2dx−∫R2∖Ωdi0ˆf(x,tu)utdx]+[(M(t2‖u‖2H1)−ε0)‖u‖22+M(t2‖u‖2H1)‖∇u‖22−t2θ∫Ωdi0K(x)f(tu)ut2θ+1dx]. |
Then y(t0)=0. Moreover, from the structure of g, we derive that for t>0,
ε0‖u‖22+μ∫R2V(x)u2dx−∫R2∖Ωdi0ˆf(x,tu)utdx>0,(M(t2‖u‖2H1)−ε0)‖u‖22+M(t2‖u‖2H1)‖∇u‖22−t2θ∫Ωdi0K(x)f(tu)ut2θ+1dx<0. |
By (M2), we know (M(t2‖u‖2H1)−ε0)‖u‖22+M(t2‖u‖2H1)‖∇u‖22t2θ is decreasing for t>0. By (f4), we know ∫R2∖Ωdi0ˆf(x,tu)utdx is increasing for t>0 and ∫Ωdi0K(x)f(tu)ut2θ+1dx is strictly increasing for t>0. Then y(t)>0 for t<t0 and y(t)<0 for t>t0. Moreover, l′(t)>0 for t∈(0,t0) and l′(t)<0 for t>t0.
We consider the Moser sequence of functions
ˉωn(x)=1√2π{(logn)12, 0≤|x|≤1n,log1|x|(logn)12, 1n≤|x|≤1,0, |x|≥1. |
It is well known that ‖∇ˉωn‖22=1 and ‖ˉωn‖22=14logn+o(1logn). Choose x0∈Ωi0 and r>0 such that Br(x0)⊂Ωi0, where r is the radius of an open ball contained in Ωi0. Define the functions ωn(x)=ˉωn(x−x0r). Then, ‖∇ωn‖22=1. Define the functional I0 as follows:
I0(u)=12ˆM(∫Ωi0|∇u|2+u2dx)−∫Ωi0K(x)F(u)dx, u∈H10(Ωi0). |
Lemma 2.3. maxt≥0ˆIμ(tωn)=maxt≥0I0(tωn)<12ˆM(4πα0) for n large.
Proof. Obviously, we have maxt≥0ˆIμ(tωn)=maxt≥0I0(tωn). By Lemma 2.2, we derive that maxt≥0ˆIμ(tωn) is attained at a tn>0. By (ˆI′μ(tωn),tnωn)=0 and (K1),
M(t2n+t2n‖ωn‖22)(t2n+t2n‖ωn‖22)=∫ΩK(x)f(tnωn)tnωndx≥k0r2∫B1(0)f(tnˉωn)tnˉωndx. | (2.10) |
If limn→∞tn=0, then limn→∞ˆIμ(tnωn)=0. So we assume that limn→∞tn=l∈(0,+∞]. By a direct calculation, we have
limt→+∞F(t)t−2eα0t2=limt→+∞f(t)2α0t−1eα0t2(1−α−10t−2)=limt→+∞f(t)2α0t−1eα0t2. |
So by (f3), for any δ>0, there exists tδ>0 such that for t≥tδ,
f(t)t≥(β−δ)eα0t2, F(t)t2≥β−δ2α0eα0t2. | (2.11) |
Since limn→∞tn√2π(logn)12=+∞, by (2.10)-(2.11), we derive that
M(t2n+r2t2n(14logn+o(1logn)))(t2n+r2t2n(14logn+o(1logn)))≥k0(β−δ)r2πn−2eα02πt2nlogn=k0(β−δ)r2πe(α02πt2n−2)logn. |
If limn→∞tn=+∞, by (M2), we get a contradiction. So limn→∞tn=l∈(0,+∞). Moreover, l∈(0,√4πα0]. If l∈(0,√4πα0), then
limn→∞ˆIμ(tnωn)≤12limn→∞ˆM(t2n‖ωn‖2H1)<12ˆM(4πα0). | (2.12) |
Now we assume limn→∞tn=√4πα0. Let
An:={x∈Br(x0):tnωn(x)≥tδ}. |
By (K1) and (2.11), we have
∫ΩK(x)F(tnωn)dx≥(β−δ)k02α0∫Ant−2nω−2neα0t2nω2ndx. |
Let s∈(0,12). Then, for n large, we have
tnωn(x)≥tδ, ∀ |x−x0|≤rns. |
Moreover,
∫ΩK(x)F(tnωn)dx≥(β−δ)k0r22α0∫B1ns(0)t−2nˉω−2neα0t2nˉω2ndx. | (2.13) |
By direct calculation, we obtain
∫B1ns(0)t−2nˉω−2neα0t2nˉω2ndx=∫|x|≤1n2πnα0t2n2πt2nlogndx+∫1n≤|x|≤1ns2πlogneα0t2n2πlognlog2|x|t2nlog2|x|dx=2π2t2nnα0t2n2π−2logn+4π2lognt2n∫1ns1nxeα0t2n2πlognlog2xlog2xdx. | (2.14) |
Let Cn=α0t2n2π. Then
∫1ns1nxeα0t2n2πlognlog2xlog2xdx=Cnlogn∫CnsCnn−2xCn+x2Cnx−2dx≥1logn∫1sn−2x+Cnx2dx. | (2.15) |
Here
∫1sn−2x+Cnx2dx≥∫12πα0t2nn(α0t2nπ−2)x−α0t2n2πdx+∫2πα0t2nsn−2xdx=n−α0t2n2π(α0t2nπ−2)logn(nα0t2nπ−2−n2−4πα0t2n)+12logn(n−2s−n−4πα0t2n). | (2.16) |
By (2.13)–(2.16), we derive that there exists C′>0 such that
∫ΩK(x)F(tnωn)dx≥(β−δ)k0π2r2α0t2nnα0t2n2π−2logn+(β−δ)k0π2r2α0t2n1logn(n−2s−n−4πα0t2n)+2(β−δ)k0π2r2α0t2nn−α0t2n2π(α0t2nπ−2)logn(nα0t2nπ−2−n2−4πα0t2n)≥(β−δ)k0π2r2α0t2n−2πnα0t2n2π−2logn+C′n−2slogn. | (2.17) |
Together with (M1), we have
ˆIμ(tnωn)≤12ˆM(t2n+r2t2n4logn)+o(1logn)−(β−δ)k0π2r2α0t2n−2πnα0t2n2π−2logn−C′n−2slogn. | (2.18) |
By limn→∞tn=√4πα0, we obtain that for any ε>0, there exists N1 such that α0t2n≤4π+ε for n>N1. Let
ln(t)=12ˆM(t2+r2t24logn)−(β−δ)k0π2r22π+εnα0t22π−2logn. |
Then
ˆIμ(tnωn)≤supt≥0ln(t)+o(1logn). | (2.19) |
Obviously, there exists t′n>0 such that supt≥0ln(t)=ln(t′n). Then (l′n(t′n),t′n)=0, from which we get
M((t′n)2+r2(t′n)24logn)(1+r24logn)=(β−δ)k0πr2α02π+εnα0(t′n)22π−2. | (2.20) |
By (2.19)-(2.20), we have
ˆIμ(tnωn)≤12ˆM((t′n)2+r2(t′n)24logn)+o(1logn)−πα0lognM((t′n)2+r2(t′n)24logn)(1+r24logn). | (2.21) |
By (2.20) and (M1), we get limn→∞α0(t′n)2=4π. Moreover,
(t′n)2=4πα0+2πα0log(2π+ε)M((t′n)2+r2(t′n)24logn)(1+r24logn)(β−δ)k0πr2α0logn:=4πα0+An, | (2.22) |
where An=O(1logn). If An+r2(t′n)24logn≥0, by (2.22) and (M2), we have
ˆM((t′n)2+r2(t′n)24logn)=ˆM(4πα0)+∫(t′n)2+r2(t′n)24logn4πα0M(s)ds≤ˆM(4πα0)+1θ+1M(4πα0)(4πα0)θ[(4πα0+An+r2(t′n)24logn)θ+1−(4πα0)θ+1]. | (2.23) |
If An+r2(t′n)24logn<0, by (2.22) and (M1), we have
ˆM((t′n)2+r2(t′n)24logn)≤ˆM(4πα0). | (2.24) |
By (2.21)–(2.24), we obtain that
ˆIμ(tnωn)≤12ˆM(4πα0)+o(1logn)+12M(4πα0)(An+πr2α0logn)−πα0lognM(4πα0+An+r2(t′n)24logn). | (2.25) |
Since β>2M(4πα0)k0r2α0er22−1, by choosing δ, ε small and n large, we can derive from (2.25) that ˆIμ(tnωn)<12ˆM(4πα0).
Lemma 2.4. (Mountain pass geometry) There exist ρ, η>0 independent of μ such that ˆIμ(u)≥η for ‖u‖μ=ρ. Also, there exists a non-negative function v∈Xμ with ‖v‖μ>ρ such that ˆIμ(v)<0.
Proof. By (M1), we get ˆM(s)≥M0s for s∈R+. Thus, by choosing ε>0 small, we can derive from (2.7) and the Sobolev embedding theorem that ˆIμ(u)≥η for ‖u‖μ=ρ. By (2.8)-(2.9), we get limt→+∞ˆIμ(tv)=−∞.
Define
cμ:=infγ∈Γmaxt∈[0,1]ˆIμ(γ(t)), |
where Γ:={γ∈C([0,1],Xμ):γ(0)=0,Iμ(γ(1))<0}. By Lemmas 2.3-2.4 and the mountain pass lemma in [2], there exist {un}⊂Xμ and n0 such that
limn→∞ˆIμ(un)=cμ∈[η,maxt≥0I0(tωn0)], limn→∞ˆI′μ(un)=0. | (2.26) |
Moreover,
maxt≥0I0(tωn0)<12ˆM(4πα0). | (2.27) |
Now we give a compactness result.
Lemma 2.5. Suppose Ω is a bounded domain in R2. Assume that h satisfies the following conditions:
(h1) h∈C(¯Ω×R,R) and limu→0h(x,u)u=0 uniformly in x∈Ω.
(h2) There exists α0>0 such that for α>α0, limu→+∞h(x,u)eαu2−1=0 uniformly in x∈Ω.
If ‖un‖H1(Ω), ∫Ω|h(x,un)un|dx are bounded and un(x)→u(x) a.e. x∈Ω, then limn→∞∫Ω|h(x,un)−h(x,u)|dx=0.
Proof. Let α>α0 and q>2. By (h1)-(h2), for any ε>0, there exists Cε>0 such that
|h(x,u)|≤ε|u|+Cε|u|q−1(eαu2−1), ∀ (x,u)∈R2×R. |
Then
∫Ω|h(x,u)|2dx≤C∫Ω|u|2dx+C∫Ω|u|2(q−1)(e2αu2−1)dx≤C∫Ω|u|2dx+C(∫Ω|u|4(q−1)dx)12[∫Ω(e4αu2−1)dx]12. |
Together with Lemma 2.1, we get h(x,u)∈L2(Ω). Since ‖un‖H1(Ω) is bounded, we get ∫Ωu2ndx is bounded. Let M>0. Then
∫{|un|≥M}∩Ω|h(x,un)−h(x,u)|dx≤1M∫{|un|≥M}∩Ω|h(x,un)un−h(x,u)un|dx≤CM. | (2.28) |
Since ‖un‖H1(Ω) is bounded and un(x)→u(x) a.e. x∈Ω, we get un→u in Lp(Ω) for any p>2. Thus, by the generalized Lebesgue- dominated convergence theorem, we derive that
limn→∞∫{|un|≤M}∩Ω|h(x,un)−h(x,u)|dx=limn→∞∫Ω|h(x,un)−h(x,u)|χ{|un|≤M}(x)dx=0. | (2.29) |
By (2.28)-(2.29), we obtain the result.
Corollary 2.1. If, ‖un‖H1(Ωdi0), ∫Ωdi0|K(x)f(un)un|dx are bounded and un(x)→u(x) a.e. x∈Ωdi0, then limn→∞∫Ωdi0|K(x)f(un)−K(x)f(u)|dx=0.
Proof. Let h(x,u)=K(x)f(u), where (x,u)∈¯Ωdi0×R. By (K1) and (f1), we get h∈C(¯Ωdi0×R,R) and limu→0h(x,u)u=0 uniformly in x∈Ωdi0. By (K1) and (f2), we get limu→+∞h(x,u)eαu2−1=0 uniformly in x∈Ωdi0. Then, by Lemma 2.5, we get the result.
Lemma 2.6. Let μ>0. If {un}⊂Xμ is a sequence such that ˆIμ(un)→cμ∈(0,12ˆM(4πα0)) and ˆI′μ(un)→0, then {un} converges strongly in Xμ up to a subsequence.
Proof. By (2.2) and the structure of g, we have
cμ+on(1)+on(1)‖un‖μ=ˆIμ(un)−12(θ+1)(ˆI′μ(un),un)≥12ˆM(‖un‖2H1)−12(θ+1)M(‖un‖2H1)‖un‖2H1+θ2(θ+1)∫R2μV(x)u2ndx−θκ2(θ+1)∫R2∖Ωdi0u2ndx+(12(θ+1)−1σ)∫Ωdi0K(x)f(un)undx. | (2.30) |
Since κ<(θ+1)ε′0θ, by (M3), we get ‖un‖μ is bounded. Assume that un⇀uμ weakly in Xμ.
We consider two cases.
Case 1. un⇀0 weakly in Xμ.
By (2.30), we get ∫Ωdi0K(x)f(un)undx is bounded. So by Corollary 2.1, we have limn→∞∫Ωdi0K(x)f(un)dx=0. Together with (K1), (f5), and the generalized Lebesgue-dominated convergence theorem, we obtain that
limn→∞∫Ωdi0K(x)F(un)dx=0. |
By (M1), we get
ˆM(t+s)≥ˆM(t)+M0s, ∀ t,s≥0. |
Thus,
cμ≥12ˆM(limn→∞‖∇un‖22+τlimn→∞‖un‖22)+M0(1−τ)2limn→∞‖un‖22−κ2limn→∞∫R2∖Ωdi0u2ndx≥12ˆM(limn→∞‖∇un‖22+τlimn→∞‖un‖22). |
By (M1), we have
limn→∞(‖∇un‖22+τ‖un‖22)<4πα0. | (2.31) |
Define ψ∈C∞0([0,∞)) such that ψ(r)=1 on [1,∞), ψ(r)=0 on [0,12] and 0≤ψ(r)≤1 on [0,∞). Define ψR(x):=ψ(|x|R), where Ωdi0⊂BR2(0). By (ˆI′μ(un),ψ2Run)=on(1), we derive that
∫R2[M(‖un‖2H1)(|∇un|2ψ2R+2∇un∇ψRunψR+u2nψ2R)+μV(x)u2nψ2R]dx=∫R2g(x,un)unψ2Rdx+on(1)≤κ∫R2|unψR|2dx+on(1). |
We note that
∫R2|un|2|∇ψR|2dx≤‖∇ψR‖2L∞(R2)∫R2|un|2dx≤CR2. |
Together with (M1), we obtain that
limR→∞limn→∞∫|x|≥R[|∇(unψR)|2+(1+μV(x))|unψR|2]dx=0. | (2.32) |
Let A=limn→∞M(‖un‖2H1). Define the functional
Jμ(u)=A2‖u‖2H1+μ2∫R2V(x)u2dx−∫R2G(x,u)dx, u∈Xμ. |
Then J′μ(un)=on(1). Let P(x,t)=g(x,t)t and Q(t)=t(eαt2−1), where α>α0. By (K1) and (f2), we have
limt→∞P(x,t)Q(t)=0 uniformly in x∈R2. | (2.33) |
Also,
limn→∞P(x,un(x))=P(x,uμ(x)) a.e. x∈R2. | (2.34) |
By (2.31), we can choose q>1(close to 1) and α>α0(close to α0) such that qα(‖∇un‖22+τ‖un‖22)<4π for n large. Let q′=qq−1. By Lemma 2.1, we derive that for n large,
∫R2Q(un)dx≤‖un‖q′[∫R2(eqαu2n−1)dx]1q≤C. | (2.35) |
By (2.33)–(2.35) and Lemma 1.2 in [9], we have limn→∞∫BR(0)g(x,un)undx=0. Together with (2.32), we derive that
limn→∞∫R2g(x,un)undx=0. | (2.36) |
Since (J′μ(un),un)=on(1), by (2.36) and (M1), we get un→0 in Xμ, a contradiction with cμ>0.
Case 2. un⇀uμ≠0 weakly in Xμ.
By ˆI′μ(un)=on(1), we get J′μ(un)=on(1). Then J′μ(uμ)=0. We claim that limn→∞‖un‖2H1=‖uμ‖2H1. Otherwise, ‖uμ‖2H1<limn→∞‖un‖2H1. By (M1), we get (ˆI′μ(uμ),uμ)<0. Since uμ≠0, we get |suppuμ∩Ωdi0|>0. By Lemma 2.2, there exists a unique tμ>0 such that (ˆI′μ(tμuμ),tμuμ)=0. Moreover, tμ∈(0,1). By the structure of g, for x∈R2∖Ωdi0,
ε′02u2n+[12(θ+1)ˆf(x,un)un−ˆF(x,un)]≥0. | (2.37) |
By (2.2), (2.37), (M3), and Fatou's lemma, we derive that
cμ=ˆIμ(un)−12(θ+1)(ˆI′μ(un),un)+on(1)≥12ˆM(‖uμ‖2H1)−12(θ+1)M(‖uμ‖2H1)‖uμ‖2H1+μθ2(θ+1)∫R2V(x)u2μdx+∫R2∖Ωdi0[12(θ+1)ˆf(x,uμ)uμ−ˆF(x,uμ)]dx+∫Ωdi0[12(θ+1)K(x)f(uμ)uμ−K(x)F(uμ)]dx+on(1). | (2.38) |
By (f4), we get f(u)u2θ+1 is strictly increasing for u≥0. Then for any x∈Ωdi0 and u>v≥0,
12(θ+1)K(x)f(u)u−K(x)F(u)>12(θ+1)K(x)f(v)v−K(x)F(v). | (2.39) |
By (f4), we get f(u)u is strictly increasing for u≥0. Together with (K1) and (f1)-(f2), we derive that for any x∈R2∖Ωdi0, there exists a unique ux>0 such that K(x)f(u)=κu for u=ux, K(x)f(u)<κu for u<ux and K(x)f(u)>κu for u>ux. Then, for any x∈R2∖Ωdi0 and u>v≥0,
ε′02u2+12(θ+1)ˆf(x,u)u−ˆF(x,u)>ε′02v2+12(θ+1)ˆf(x,v)v−ˆF(x,v). | (2.40) |
By (2.38)–(2.40), (M3), Lemma 2.2, and the definition of cμ, we have
cμ>12ˆM(t2μ‖uμ‖2H1)−12(θ+1)M(t2μ‖uμ‖2H1)t2μ‖uμ‖2H1+μθ2(θ+1)∫R2V(x)t2μu2μdx+∫R2∖Ωdi0[12(θ+1)ˆf(x,tμuμ)tμuμ−ˆF(x,tμuμ)]dx+∫Ωdi0[12(θ+1)K(x)f(tμuμ)tμuμ−K(x)F(tμuμ)]dx=ˆIμ(tμuμ)=maxt≥0ˆIμ(tuμ)≥cμ, | (2.41) |
a contradiction. So limn→∞‖un‖2H1=‖uμ‖2H1. Moreover, ˆI′μ(uμ)=0, from which we derive that
cμ=limn→∞ˆIμ(un)−12(θ+1)limn→∞(ˆI′μ(un),un)≥ˆIμ(uμ)−12(θ+1)(I′μ(uμ),uμ)=ˆIμ(uμ)=maxt≥0ˆIμ(tuμ)≥cμ. | (2.42) |
By (2.42), we get limn→∞∫R2V(x)|un−uμ|2dx=0. Then limn→∞‖un−uμ‖μ=0.
By (2.26)-(2.27) and Lemma 2.6, we get the following result:
Lemma 2.7. There exists uμ∈Xμ such that ˆIμ(uμ)=cμ∈[η,maxt≥0I0(tωn0)] and ˆI′μ(uμ)=0, where η>0 is independent of μ.
Define the functional J on H10(Ωi0) by
J(u)=12ˆM(∫Ωi0(|∇u|2+|u|2)dx)−∫Ωi0K(x)F(u)dx. |
Lemma 3.1. For any sequence {μn} with μn→∞ as n→∞, if ˆIμn(uμn)=cμn∈[η,maxt≥0I0(tωn0)] and ˆI′μn(uμn)=0, then uμn→u0 in H1(R2) as n→∞, where u0∈H10(Ωi0) is a positive solution of the equation
M(∫Ωi0(|∇u|2+u2)dx)(−Δu+u)=K(x)f(u) in Ωi0. | (3.1) |
Proof. Similar to (2.30), we derive that ‖uμn‖H1 is bounded. Assume that uμn⇀u0 weakly in H1(R2). By Fatou's lemma, we get ∫R2V(x)u20dx=0. Moreover, ∫R2∖Ωu20dx=0. Then u0(x)=0 a.e. x∈R2∖Ω. By u0∈H1(R2), u0(x)=0 a.e. x∈R2∖Ω with Ω having a smooth boundary and Proposition 9.18 in [8], we get u0∈H10(Ω).
Let E=limn→∞M(‖uμn‖2H1). Define the functional ˜Iμ on Xμ by
˜Iμ(u)=E2‖u‖2H1+μ2∫R2V(x)u2dx−∫R2G(x,u)dx. |
Then ˜I′μn(uμn)=on(1). For all φj∈H10(Ωj) with j≠i0, we get
E∫Ωj(∇u0∇φj+u0φj)dx=∫Ωjg(x,u0)φjdx. |
Since u0∈H10(Ω), we have u0|Ωj∈H10(Ωj). Then
E∫Ωj(|∇u0|2+|u0|2)dx=∫Ωjg(x,u0)u0dx. | (3.2) |
By the structure of g, we get u0|Ωj=0. Then u0∈H10(Ωi0).
We claim that limn→∞‖uμn‖2H1>0. Otherwise, uμn→0 in H1(R2). Choose q>1(close to 1) and α>α0(close to α0) such that qα‖uμn‖2H1<4π for n large. Let t>2. By (f1)-(f2), for any ε>0, there exists Cε>0 such that
∫Ωdi0f(uμn)uμndx≤ε‖uμn‖22+Cε∫Ωdi0|uμn|t(eαu2μn−1)dx. | (3.3) |
By Lemma 2.1, we have
limn→∞∫Ωdi0|uμn|t(eαu2μn−1)dx≤limn→∞(∫Ωdi0|uμn|tqq−1dx)q−1q[∫Ωdi0(eqαu2μn−1)dx]1q≤Climn→∞(∫Ωdi0|uμn|tqq−1dx)q−1q=0. | (3.4) |
Since (ˆI′μ(uμn),uμn)=0, by (3.3)-(3.4) and (M1), we get limn→∞‖uμn‖μn=0. So limn→∞cμn≤0, a contradiction. Let D=limn→∞ˆM(‖uμn‖2H1)‖uμn‖2H1. Define the functional ˉIμ on Xμ by
ˉIμ(u)=D2‖u‖2H1+μ2∫R2V(x)u2dx−∫R2G(x,u)dx. |
Define the functionals ˉJ and ˜J on H10(Ωi0) by
ˉJ(u)=D2∫Ωi0(|∇u|2+|u|2)dx−∫Ωi0K(x)F(u)dx,˜J(u)=E2∫Ωi0(|∇u|2+|u|2)dx−∫Ωi0K(x)F(u)dx. |
Then ˜J′(u0)=0. By (M3), we have ˉJ(u0)≥0. Let wμn=uμn−u0. Then wμn⇀0 weakly in H1(R2) and
cμn=ˉJ(u0)+ˉIμn(wμn)+on(1), (˜I′μn(wμn),wμn)=on(1). | (3.5) |
Similar to the argument in (2.30), we get ∫Ωdi0K(x)f(wμn)wμndx is bounded. Together with Corollary 2.1 and the generalized Lebesgue-dominated convergence theorem, we derive that
limn→∞∫Ωdi0K(x)F(wμn)dx=0. | (3.6) |
By (3.5)-(3.6), the structure of g and ˆM(t+s)≥ˆM(t)+M0s for all t, s≥0, we have
maxt≥0I0(tωn0)≥limn→∞cμn≥12limn→∞ˆM(‖∇wμn‖22+τ‖wμn‖22). |
Together with (2.27), we get limn→∞(‖∇wμn‖22+τ‖wμn‖22)<4πα0. By (3.5) and (M1), we have
M0‖wμn‖2μn≤∫Ωdi0K(x)f(wμn)wμndx+κ∫R2∖Ωdi0w2μndx+on(1). | (3.7) |
Choose q>1(close to 1) and α>α0(close to α0) such that qα(‖∇wμn‖22+τ‖wμn‖22)<4π for n large. By (K1), (f1)-(f2) and Lemma 2.1, we have
limn→∞∫Ωdi0K(x)f(wμn)wμndx=0. |
Together with (3.7), we get limn→∞‖wμn‖μn=0. So J′(u0)=0. Since limn→∞cμn≥η, we have u0≠0. The maximum principle shows that u0 is positive.
Lemma 3.2. There exists μ′>0 such that for μ>μ′,
‖uμ‖L∞(R2∖Ωdi0)≤C0‖uμ‖H1(R2∖Ωi0), | (3.8) |
where C0>0 is a constant independent of μ.
Proof. For i≥2, let ri=2+2−i4r1, where r1∈(0,min{d,1}). For y∈R2∖Ωdi0, define ηi∈C∞0(Bri(y)) such that ηi(x)=1 for x∈Bri+1(y), 0≤ηi(x)≤1 for x∈R2, and |∇ηi|≤2ri−ri+1 for x∈R2. Let ulμ=min{uμ,l} and βi>1. By (I′μ(uμ),η2i|ulμ|2(βi−1)uμ)=0 and (M1), we get
M0∫R2[|∇uμ|2|ulμ|2(βi−1)η2i+2(βi−1)|∇ulμ|2|ulμ|2(βi−1)η2i]dx+M0∫R2|uμ|2|ulμ|2(βi−1)η2idx≤∫R2g(x,uμ)uμ|ulμ|2(βi−1)η2idx+C∫R2|∇uμ||∇ηi||ηi||ulμ|2(βi−1)|uμ|dx. | (3.9) |
Let t≥2. By (2.5), (3.9), and Young's inequality, we have
∫R2[|∇uμ|2|ulμ|2(βi−1)η2i+2(βi−1)|∇ulμ|2|ulμ|2|ulμ|2(βi−1)η2i]dx+∫R2|uμ|2|ulμ|2(βi−1)η2idx≤C∫R2|∇ηi|2|uμ|2|ulμ|2(βi−1)dx+C∫R2|uμ|t(eαu2μ−1)|ulμ|2(βi−1)η2idx. | (3.10) |
We note that
∫R2|uμ|t(eαu2μ−1)|ulμ|2(βi−1)η2idx=∫R2|uμ|t(eαη21u2μ−1)|ulμ|2(βi−1)η2idx. | (3.11) |
By a direct calculation,
‖η1uμ‖2H1≤2∫Br1(y)|∇uμ|2dx+(1+2‖∇η1‖2L∞(R2))∫Br1(y)|uμ|2dx. | (3.12) |
By (3.12) and Lemma 3.1, we can choose μ′>0 large such that ‖η1uμ‖2H1<4πα0 for μ>μ′. Choose q>1(close to 1) and α>α0(close to α0) such that qα‖η1uμ‖2H1<4π. Then, by Lemma 2.1, there exists C>0 independent of μ such that
∫R2(eαη21u2μ−1)qdx≤∫R2(eqαη21u2μ−1)dx≤C. | (3.13) |
Let t=2 and p>2q′ with q′=qq−1. By (3.10)-(3.11), (3.13), and the Sobolev embedding theorem, we obtain that there exists Cp>0 such that
‖ηiuμ(ulμ)βi−1‖2p≤Cp∫R2[|∇[ηiuμ(ulμ)βi−1]|2+|ηiuμ(ulμ)βi−1|2]dx≤2Cp∫R2[|∇uμ|2|ulμ|2(βi−1)η2i+(βi−1)2|∇ulμ|2|ulμ|2(βi−1)η2i]dx+2Cp∫R2|∇ηi|2|uμ|2|ulμ|2(βi−1)dx+Cp∫R2|uμ|2|ulμ|2(βi−1)η2idx≤Cβ2i∫R2|∇ηi|2|uμ|2|ulμ|2(βi−1)dx+Cβ2i‖ηiuμ(ulμ)βi−1‖22q′. | (3.14) |
By direct calculation, we obtain
1ri−ri+1=4r12i+1>1. | (3.15) |
Let δ0=2q′p and βi=δ−i0. Then, by (3.14)-(3.15), we have
‖uμ(ulμ)βi−1‖Lp(Bri+1(y))≤Cβiri−ri+1‖uμ(ulμ)βi−1‖Lpδ0(Bri(y)). | (3.16) |
Let l→∞, we obtain
‖uμ‖Lpβi(Bri+1(y))≤(Cβiri−ri+1)1βi‖uμ‖Lpβi−1(Bri(y)). | (3.17) |
By (3.17), we derive that
‖uμ‖Lpβi(Bri+1(y))≤i∏j=2(Cβjrj−rj+1)1βj‖uμ‖Lpβ1(Br2(y))=i∏j=2[8Cr1(2δ0)j]δj0‖uμ‖Lpβ1(Br2(y)). |
Let i→∞, we have
‖uμ‖L∞(B12r1(y))≤C‖uμ‖Lpβ1(Br2(y))≤C0‖uμ‖H1(R2∖Ωi0). | (3.18) |
Since y∈R2∖Ωdi0 is arbitrary, we finish the proof.
Lemma 3.3. There exist r0, c1, c2, μ″>0 such that Ωdi0⊂Br0(0) and for all μ>μ″,
uμ(x)≤c2e−c1√μ(|x|−r0), ∀ |x|≥r0, | (3.19) |
where r0, c1, c2 are independent of μ.
Proof. By (M1) and the structure of g, we obtain that for any x∈R2∖Ωdi0,
−M(‖uμ‖2H1)Δuμ+μV(x)uμ+(M0−κ)uμ≤0. |
Similar to (2.30), we can derive from Lemma 2.7 to obtain that ‖uμ‖H1 is bounded. By (V4), there exist r0, c0>0 independent of μ such that Ωdi0⊂Br0(0) and
−Δuμ+c0μuμ≤0, ∀ |x|≥r0. | (3.20) |
By Lemma 3.2, there exists c2>0 such that uμ(x)≤c2 for |x|=r0, where c2>0 is independent of μ>μ′. Let vμ(x)=c2e−c1√μ(|x|−r0). By choosing c1>0 as small, we obtain
−Δvμ+c0μvμ≥0, ∀ |x|≥r0. | (3.21) |
By (3.20)-(3.21) and the comparison principle, we obtain that uμ(x)≤vμ(x) for |x|≥r0.
Proof of Theorem 1.1. By Lemma 2.7, there exists uμ∈Xμ such that ˆIμ(uμ)=cμ∈[η,maxt≥0I0(tωn0)] and ˆI′μ(uμ)=0. Let q>2. By (K2) and (f1)-(f2), there exists C>0 such that
K(x)f(uμ)uμ≤Ceα|x|[ul−1μ+|uμ|q−2(eαu2μ−1)]. | (3.22) |
By (3.22) and Lemma 3.3, we derive that there exists μ″>0 such that for μ≥μ″,
K(x)f(uμ)uμ≤κ, ∀ |x|≥2r0. | (3.23) |
By (3.22) and Lemmas 3.1-3.2, we derive that there exists μ‴>0 such that for μ≥μ‴,
K(x)f(uμ)uμ≤κ, ∀ x∈B2r0(0)∖Ωdi0. | (3.24) |
By (3.23)-(3.24), we know that uμ is the nonnegative solution of (1.2). The maximum principle shows that uμ is positive. Together with Lemma 3.1, we obtain the result.
In this paper, we study the Kirchhoff type of elliptic equation, and we assume the nonlinear terms as K(x)f(u), where K is permitted to be unbounded above and f has exponential critical growth. By using the truncation technique and developing some approaches to deal with Kirchhoff-type equations with critical growth in the whole space, we get the existence and concentration behavior of solutions, where the solution satisfies the mountain pass geometry. The results are new even for the case M≡1.
Prof. Zhang firstly have the idea of this paper and complete the part of introduction, he also provided the main references. Dr. Lou performed the calculation, and revised the final format of the paper.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work is supported by NSFC (No.12101192) and NSF of Shandong province (No.ZR2023MA037). The authors would like to thank the editors and referees for their useful suggestions and comments.
The authors declare no conflicts of interest in this paper.
[1] |
M. Al-Gwaiz, V. Benci, F. Gazzola, Bending and stretching energies in a rectangular plate modeling suspension bridges, Nonlinear Anal., 106 (2014), 18–34. http://dx.doi.org/10.1016/j.na.2014.04.011 doi: 10.1016/j.na.2014.04.011
![]() |
[2] |
A. Ambrosetti, P. H. Rabinowitz, Dual variational methods in critical point theory and applications, J. Funct. Anal., 14 (1973), 349–381. http://dx.doi.org/10.1016/0022-1236(73)90051-7 doi: 10.1016/0022-1236(73)90051-7
![]() |
[3] | C. O. Alves, M. A. S. Souto, M. Montenegro, Existence of a ground state solution for a nonlinear scalar field equation with critical growth, Calc. Var. Partial Differential Equations., 43 (2012), 537–554. http://dx.doi.org/10.1007/s00526-011-0422-y |
[4] |
T. Bartsch, A. Pankov, Z. Q. Wang, Nonlinear Schrödinger equations with steep potential well, Commun. Contemp. Math., 3 (2001), 549–569. http://dx.doi.org/10.1142/S0219199701000494 doi: 10.1142/S0219199701000494
![]() |
[5] |
T. Bartsch, Z. Q. Wang, Existence and multiplicity results for some superlinear elliptic problems on RN, Comm. Partial Differential Equations., 20 (1995), 1725–1741. http://dx.doi.org/10.1080/03605309508821149 doi: 10.1080/03605309508821149
![]() |
[6] |
T. Bartsch, Z. Q. Wang, Multiple positive solutions for a nonlinear Schrödinger equation, Z. Angew. Math. Phys., 51 (2000), 366–384. http://dx.doi.org/10.1007/PL00001511 doi: 10.1007/PL00001511
![]() |
[7] |
H. Berestycki, P. L. Lions, Nonlinear scalar field equations I. Existence of a ground state, Arch. Rational Mech. Anal., 82 (1983), 313–345. http://dx.doi.org/10.1007/BF00250555 doi: 10.1007/BF00250555
![]() |
[8] | H. Brezis, Functional analysis, Sobolev spaces and partial differential equations, New York: Springer, 2011. http://dx.doi.org/10.1007/978-0-387-70914-7 |
[9] | J. Chabrowski, Weak convergence methods for semilinear elliptic equations, Sigapore: World Scientific, 1999. http://dx.doi.org/10.1142/4225 |
[10] |
S. T. Chen, X. H. Tang, J. Y. Wei, Improved results on planar Kirchhoff-type elliptic problems with critical exponential growth, Z. Angew. Math. Phys., 72 (2021), 38. http://dx.doi.org/10.1007/s00033-020-01455-w doi: 10.1007/s00033-020-01455-w
![]() |
[11] |
M. Clapp, Y. H. Ding, Positive solutions of a Schrödinger equation with critical nonlinearity, Z. Angew. Math. Phys., 55 (2004), 592–605. http://dx.doi.org/10.1007/s00033-004-1084-9 doi: 10.1007/s00033-004-1084-9
![]() |
[12] |
Y. H. Ding, A. Szulkin, Bound states for semilinear Schrödinger equations with sign-changing potential, Calc. Var. Partial Differential Equations., 29 (2007), 397–419. http://dx.doi.org/10.1007/s00526-006-0071-8 doi: 10.1007/s00526-006-0071-8
![]() |
[13] |
Y. H. Ding, K. Tanaka, Multiplicity of positive solutions of a nonlinear Schrödinger equation, Manuscripta Math., 112 (2003), 109–135. http://dx.doi.org/10.1007/s00229-003-0397-x doi: 10.1007/s00229-003-0397-x
![]() |
[14] |
D. G. de Figueiredo, O. H. Miyagaki, B. Ruf, Elliptic equations in R2 with nonlinearities in the critical growth range, Calc. Var. Partial Differential Equations., 3 (1995), 139–153. http://dx.doi.org/10.1007/BF01205003 doi: 10.1007/BF01205003
![]() |
[15] | J. M. B. do Ó, N-Laplacian equations in RN with critical growth, Abstr. Appl. Anal., 2 (1997), 301–315. |
[16] |
G. M. Figueiredo, U. B. Severo, Ground state solution for a Kirchhoff problem with exponential critical growth, Milan J. Math., 84 (2016), 23–39. http://dx.doi.org/10.1007/s00032-015-0248-8 doi: 10.1007/s00032-015-0248-8
![]() |
[17] |
Y. X. Guo, Z. W. Tang, Multi-bump solutions for Schrödinger equation involving critical growth and potential wells, Discrete Contin. Dyn. Syst., 35 (2015), 3393–3415. http://dx.doi.org/10.3934/dcds.2015.35.3393 doi: 10.3934/dcds.2015.35.3393
![]() |
[18] |
Y. X. Guo, Z. W. Tang, Sign changing bump solutions for Schrödinger equations involving critical growth and indefinite potential wells, J. Differential Equations., 259 (2015), 6038–6071. http://dx.doi.org/10.1016/j.jde.2015.07.015 doi: 10.1016/j.jde.2015.07.015
![]() |
[19] |
H. F. Jia, Ground state solutions for the nonlinear Kirchhoff type equations with lower term, J. Math. Phys., 61 (2020), 111506. http://dx.doi.org/10.1063/5.0015454 doi: 10.1063/5.0015454
![]() |
[20] | G. Kirchhoff, Mechanik, Teubner, Leipzig, 1883. |
[21] |
B. Ruf, A sharp Trudinger-Moser type inequality for unbounded domains in R2, J. Funct. Anal., 219 (2005), 340–367. http://dx.doi.org/10.1016/j.jfa.2004.06.013 doi: 10.1016/j.jfa.2004.06.013
![]() |
[22] | B. Ruf, F. Sani, Geometric properties for parabolic and elliptic PDE's, New York: Springer, 2013, 251–268. http://dx.doi.org/10.1007/978-88-470-2841-8 |
[23] |
Y. Sato, K. Tanaka, Sign-changing multi-bump solutions for nonlinear Schrödinger equations with steep potential wells, Trans. Am. Math. Soc., 361 (2009), 6205–6253. http://dx.doi.org/10.1090/S0002-9947-09-04565-6 doi: 10.1090/S0002-9947-09-04565-6
![]() |
[24] |
C. A. Stuart, H. S. Zhou, Global branch of solutions for non-linear Schrödinger equations with deepening potential well, Proc. London Math. Soc., 92 (2006), 655–681. http://dx.doi.org/10.1017/S0024611505015637 doi: 10.1017/S0024611505015637
![]() |
[25] |
F. A. van Heerden, Z. Q. Wang, Schrödinger type equations with asymptotically linear nonlinearities, Differ. Integral Equ., 16 (2003), 257–280. http://dx.doi.org/10.57262/die/1356060671 doi: 10.57262/die/1356060671
![]() |
[26] |
F. A. van Heerden, Multiple solutions for a Schrödinger type equation with an asymptotically linear term, Nonlinear Anal., 55 (2003), 739–758. http://dx.doi.org/10.1016/j.na.2003.08.008 doi: 10.1016/j.na.2003.08.008
![]() |
[27] |
F. B. Zhang, M. Du, Existence and asymptotic behavior of positive solutions for Kirchhoff type problems with steep potential well, J. Differential Equations., 269 (2020), 10085–10106. http://dx.doi.org/10.1016/j.jde.2020.07.013 doi: 10.1016/j.jde.2020.07.013
![]() |
[28] |
J. J. Zhang, D. G. Costa, J. Marcos do Ó, Existence and concentration of positive solutions for nonlinear Kirchhoff-type problems with a general critical nonlinearity, Proc. Edinburgh Math. Soc., 61 (2018), 1023–1040. http://dx.doi.org/10.1017/s0013091518000056 doi: 10.1017/s0013091518000056
![]() |
[29] |
J. Zhang, Z. L. Lou, Existence and concentration behavior of solutions to Kirchhoff type equation with steep potential well and critical growth, J. Math. Phys., 62 (2021), 011506. http://dx.doi.org/10.1063/5.0028510 doi: 10.1063/5.0028510
![]() |