- Research
- Open access
- Published:
Existence of solutions for perturbed fractional equations with two competing weighted nonlinear terms
Boundary Value Problems volume 2018, Article number: 154 (2018)
Abstract
This paper deals with a perturbed nonlocal equation of fractional Laplacian type involving two competing nonlinear terms with weights f and h. Under two kinds of integrability conditions on the ratio of f to h, we show some different existence results in this setting by using variational methods. Our results are extension of some problems studied by Carboni and Mugnai (J. Differ. Equ. 262(3):2393–2413, 2017) and Xiang et al. (J. Differ. Equ. 260(2):1392–1413, 2016).
1 Introduction and main results
The aim of this paper is to derive the existence and multiplicity of nontrivial solutions for the following one-parameter perturbed nonlocal problem:
where \(\lambda\in\mathbb{R}\), \(0< s<1\), \(\Omega\subset\mathbb{R}^{N}\) is a bounded domain with Lipschitz boundary, \(N>2s\). Here \((-\Delta)^{s}\) is the fractional Laplacian operator defined, up to a normalization factor, by
along any rapidly decaying function u of class \(C^{\infty}(\mathbb {R}^{N})\); see [2]. Such operators arise in a quite natural way in many different contexts, such as the thin obstacle problem, optimization, finance, probability, and materials science (see [3–6]).
In recent years, great attention has been focused on the study of the problems involving fractional operators, both for pure mathematical research and for concrete applications. Here we only collect some results for problems with two competing nonlinear terms. Local problems with combined effect of convex and concave nonlinearities have been widely investigated in the past decades; see, for example, [7–12]. In particular, Alama and Tarantello [10] considered the convex–concave Dirichlet problem
where \(2< q< r\), and f and h are nonnegative weights. They first proved that the existence and multiplicity of solutions depend both on λ and the integrability of a certain ratio of f to h. Related problems with a perturbed term in the whole space were treated by Autuori and Pucci [12], who studied the following quasilinear equation:
where \(\max\{2,p\}< q<\min \{r,\frac{pN}{N-p} \}\), and the weights f and h are related by the integrability condition \((\frac{f^{r}}{h^{q}} )^{\frac{1}{r-q}}\in L^{1}(\mathbb{R}^{N})\). After that, in [13], they extended these results to a nonlocal problem involving the fractional Laplacian and indicated that it is still an open problem when the integrability condition on f and h is replaced by the weaker assumption \((\frac{f^{r-2}}{h^{q-2}} )^{\frac{1}{r-q}}\in L^{\frac {N}{2s}}(\mathbb{R}^{N})\). Xiang et al. [1] gave a positive answer to this open problem in the setting of fractional p-Laplacian in \(\mathbb{R}^{N}\). In these papers, to obtain the existence of solutions, the authors assume that perturbed weights \(a(x)\) are bounded below by positive constants or positive functions.
All these problems involve convex–concave nonlinearities. Rǎdulescu and Repovš [11] dealt with the concave–concave Dirichlet problem without perturbed term in a bounded domain:
Assuming that \(1< q<2<r<\frac{2N}{N-2}\) and \(f,h\in L^{\infty}\) are such that \(\operatorname{ess}\inf_{x\in\Omega} f(x)>0\) and \(\operatorname{ess}\inf_{x\in \Omega} h(x)>0\), they proved the nonexistence and multiplicity of solutions with respect to the different range of λ. When \(f(x)\equiv1\) in Ω, a nonlocal version of problem (1.1) involving the square root of Laplacian (\(s=\frac{1}{2}\)) was studied in [14] with \(1< q< r<2_{s}^{*}=\frac{2N}{N-2s}\), \(h\in L^{\frac {q}{q-r}}(\Omega)\), and \(h\in L^{\sigma}(\Omega)\), \(\sigma>\frac {2_{s}^{*}}{2_{s}^{*}-r}\).
The equation considered in problem (\({P}_{\lambda }\)) is in spirit of the previous papers, even if most of them deal with problem not directly comparable to ours. The nonlinear terms in (\({P}_{\lambda }\)) are related to the main elliptic part by requesting that:
- (H1):
-
g is a Carathéodory function, and there exist two positive constants \(b_{1}\) and \(b_{2}\) such that
$$ b_{1}|t|^{r}\leq g(x,t)t\leq b_{2}|t|^{r}\quad \mbox{for a.e. } x\in\Omega \mbox{ and all } t\in\mathbb{R}, $$(1.2)where \(1< q< r<2_{s}^{*} \), and \(2^{*}_{s}= \frac{2N}{N-2s}\) is the Sobolev fractional critical exponent;
- (H2):
-
\(f,h:\Omega\rightarrow\mathbb{R}_{+}\) are positive weights satisfying \(f\in L^{\frac{2_{s}^{*}}{2_{s}^{*}-q}}(\Omega)\) and \(h\in L^{\frac{2_{s}^{*}}{2_{s}^{*}-r}}(\Omega)\). Moreover, \(f(x)\) and \(h(x)\) are related by the condition
$$ \biggl(\frac{f^{r}}{h^{q}} \biggr)^{\frac {1}{r-q}}\in L^{1}(\Omega); $$(1.3) - (H3):
-
\(v:\Omega\rightarrow\mathbb{R}\) is a perturbed weight such that \(v(x)\geq0\) for a.e. \(x\in\Omega\).
We now state our main results. Our first result covers both convex–concave and concave–concave cases.
Theorem 1.1
Suppose that assumptions (H1)–(H3) are satisfied. Then there exist three numbers \(\lambda^{*}\geq\lambda _{*}\geq\lambda_{0}\geq0\) such that problem (\({P}_{\lambda }\)) has
-
(i)
only the trivial solution if \(\lambda<\lambda_{0}\);
-
(ii)
at least one nontrivial solution of definite sign if \(\lambda>\lambda_{*}\);
-
(iii)
at least two nontrivial solutions if \(\lambda>\lambda^{*}\); one them is positive, and one is negative.
As \(q>2\), we replace (1.3) by the assumption
Note that thanks to \(q<2^{*}_{s}\), by the Hölder’s inequality we have
which means that requirement (1.4) is weaker than (1.3) (see also [1, 13]). In this situation, we relabel (H2) as (\(\mathrm{H}_{2}'\)). We state some improved results as follows.
Theorem 1.2
Let \(2< q< r<2_{s}^{*}\) and suppose that (1.2), (\(\mathrm{H}_{2}'\)), and (H3) hold. Then
-
(i)
the results of Theorem 1.1 still hold, and the number \(\lambda_{0}>0\);
-
(ii)
if \(\lambda=\lambda_{0}\), then problem (\({P}_{\lambda }\)) has at least one nontrivial solution; if \(\lambda=\lambda_{*}\), then problem (\({P}_{\lambda }\)) has at least one nontrivial solution of definite sign; if \(\lambda=\lambda^{*}\), then problem (\({P}_{\lambda }\)) has at least two nontrivial solutions; one of them is positive, and one is negative;
-
(iii)
there exist a number \(\tilde{\lambda }\geq\lambda^{*}\) such that problem (\({P}_{\lambda }\)) has at least four nontrivial solutions for every \(\lambda\geq\tilde{\lambda }\); two of them are positive, and two are negative.
Our work are an extension of problems studied in [14], where \(s=\frac{1}{2}\), \(f(x)\equiv1\), and \(v(x)\equiv0\). Even in this case, our assumptions on \(h(x)\) are weaker than those in [14] since \(h\in L^{\frac{2_{s}^{*}}{2_{s}^{*}-r}}(\Omega)\), which is allowed to satisfy condition (1.4) here. On the other hand, the problem studied in this paper covers both convex–concave and concave–concave cases, and owing to the different approach used here, the assumptions on perturbed weight can be relaxed to be nonnegative. From this point, our results extend some results of [1]. In addition, using variational methods, we present more complete results in the convex–concave case by describing the problem at all threshold values \(\lambda_{0}\), \(\lambda _{*}\), \(\lambda^{*}\), and λ̃.
Many other types of fractional and nonlocal problems are also actively studied in recent years. For example, we refer to [15–21] for fractional Kirchhof-type problems. Studies of fractional Schrödinger problems can be found in [22–24]. Fractional problems with special nonlinearities have been considered in [25–27]. Results on the Brézis–Nirenberg problem for a fractional operator were presented in [28, 29].
The remaining of this paper is organized as follows. In Sect. 2, we recall some preliminary results and main embedding results for fractional Sobolev spaces. In Sect. 3 and 4, we prove Theorems 1.1 and 1.2, respectively.
2 Preliminaries
In this section, we recall some necessary definitions and properties of the fractional Laplacian operator. For further details, we refer to [2, 30, 31] and references therein.
We denote by \(H^{s}(\mathbb{R}^{N})\) the classical fractional Sobolev space with the Gagliardo norm
For a detailed account on the properties of \(H^{s}(\mathbb{R}^{N})\), we refer to [2]. In this paper, we consider the closed linear subspace
with the norm
which is equivalent to its general norm (see [2], Theorem 7.1). Then \(X_{0}^{s}(\Omega)\) is a Hilbert space. Let the space E denote the completion of \(C_{0}^{\infty}({\Omega})\) with respect to the norm
It is readily seen that E is a convex Banach space with scalar product
and has the following embedding property.
Lemma 2.1
Let \(1\leq\theta\leq2^{*}_{s}\). Then we have the continuous embedding
and there exists constants \(C_{\theta}\) such that
In particular, for \(\theta\in[1,2^{*}_{s})\), the embedding is compact.
Proof
It is easy to see that the embedding \(E\hookrightarrow X_{0}^{s}(\Omega)\) is continuous with \(\|u\|_{X_{0}^{s}(\Omega)}\leq\| u\|_{E}\). By Theorem 7.1 in [2] the embedding \(X_{0}^{s}(\Omega )\hookrightarrow L^{\theta}(\Omega)\) is continuous for all \(1\leq\theta\leq2^{*}_{s}\) with
where \(C_{\theta}\) is a positive constant. Moreover, the embedding is compact when \(\theta\in[1,2^{*}_{s})\). So, we get the claim. □
On the other hand, for any \(r,q\geq1\), we introduce the Banach spaces
equipped with the norms
and
equipped with the norm
Lemma 2.2
Assume that \(1\leq r, q<2^{*}_{s}\), \(f\in L^{\frac {2_{s}^{*}}{2_{s}^{*}-q}}(\Omega)\), and \(h\in L^{\frac {2_{s}^{*}}{2_{s}^{*}-r}}(\Omega)\). Then we have the compact embeddings
and
and there exist constants \(C_{h}\) and \(C_{f}\) such that
and
The lemma can be proved similarly as Theorem 2.1 in [1], which we will not repeat here.
Now, in view of the previous considerations, we have the definition of weak solution to problem (\({P}_{\lambda }\)).
Definition 2.1
We say that \(u\in E\) is a weak solution to problem (\({P}_{\lambda }\)) if
for every \(\varphi\in E\).
Finally, let us recall an inequality that we will use afterward.
Lemma 2.3
(see [1])
For any \(k_{1}>0\), \(k_{2}>0\), and \(0<\eta<\beta\), we have
3 Proof of Theorem 1.1
The weak solutions of (\({P}_{\lambda }\)) correspond to the critical points of the energy functional \(\Psi:E\rightarrow\mathbb{R}\) given by
where
By condition (H1) we deduce
3.1 Nonexistence of solutions
Let \(\lambda_{0}=\inf\{\lambda\in\mathbb{R}: \mbox{problem (${P}_{\lambda }$) admits at least a nontrivial solution}\}\). Then \(\lambda_{0}\) exists (see Sect. 3.2), and \(\lambda_{0}\geq0\). Indeed, assuming that \(u\in E\) is a nontrivial solution of problem (\({P}_{\lambda }\)) and taking the test function \(\varphi=u\) in (2.1), we have
which implies \(\lambda>0\). Thus \(\lambda_{0}\geq0\), and the proof of (i) is completed.
3.2 Existence of solutions
From now on, assume that \(\lambda>0\) and denote \(u^{+}=\max\{u,0\}\) and \(u^{-}=\max\{-u,0\}\). We consider the following “positive” and “negative” truncations of the functional Ψ:
and
for \(u\in E\).
Obviously, if u is a critical point of functional \(\Psi_{+}\), then for all \(\varphi\in E\), we have
whereas if u is a critical point of \(\Psi_{-}\), then for all \(\varphi \in E\), we have
Step 1. We prove that there exist a nonnegative critical point \(u_{1}\) for the functional \(\Psi_{+}\) and a nonpositive critical point \(u_{2}\) for the functional \(\Psi_{-}\).
Let us first focus on the functional \(\Psi_{+}\). We have the following lemma.
Lemma 3.1
The functional \(\Psi_{+}\) is coercive and weakly lower semicontinuous in E.
Proof
For any \(u\in E\), from (3.2) we have that
Taking \(k_{1}=\frac{\lambda f(x)}{q}\), \(k_{2}=\frac{b_{1}h(x)}{r}\), \(\eta =q\), \(\beta=r\), and \(t=u^{+}\) in Lemma 2.3 and integrating over Ω, we obtain
It follows from (1.3) that
where \(C_{1}=C_{1}(\lambda,r,q,f,h)\) is a constant. Hence \(\Psi_{+}(u)\geq\frac{1}{2}\|u\|^{2}_{E}-C_{1}\), that is, \(\Psi_{+}\) is coercive in E.
On the other hand, let \(\{u_{n}\}\subset E\) and \(u\in E\) satisfy \(u_{n}\rightarrow u\) in E as \(n\rightarrow\infty\). The compact embeddings \(E\hookrightarrow L^{q}_{f}(\Omega),L^{r}_{h}(\Omega)\) and (3.2) yield
and
as \(n\rightarrow\infty\), which imply that \(\Psi_{+}\) is a continuous functional from E to \(\mathbb{R}\). The convexity of \(\Psi_{+}\) is trivial. Therefore \(\Psi_{+}\) is weakly lower semicontinuous in E. □
By the Weierstrass theorem we deduce that the functional \(\Psi_{+}\) has a global minimizer in E, say \(u_{1}\), that is,
Then, \(u_{1}\) satisfies the definition of weak solution (3.3). Choosing \(u_{1}^{-}\in E\) as a test function, we find
By the elementary inequality
from (3.6) we have that
which implies that \(u_{1}^{-}=0\), that is, \(u_{1}\geq0\) a.e. in Ω. Hence \(u_{1}\) is a weak solution of (\({P}_{\lambda }\)).
We may apply similar arguments to prove that the functional \(\Psi_{-}\) has a minimizer in E, that is, that there exists \(u_{2}\in E\) such that \(\Psi_{-}(u_{2})=\inf_{u\in E}\Psi_{-}(u)\). Moreover, we can proceed with \(\varphi=u_{2}^{+}\) similarly as in (3.4). Noting that \((a-b)(a^{+}-b^{+})\geq(a^{+}-b^{+})^{2}\), we get that \(u_{2}\leq 0\) a.e. in Ω and that \(u_{2}\) is also a weak solution of (\({P}_{\lambda }\)).
Step 2. We show that if λ is large enough, then \(u_{1}\) and \(u_{2}\) are nontrivial with \(\Psi(u_{1})<0\) and \(\Psi(u_{2})<0\).
Define
Let \(\lambda>\lambda_{+}\). Then there exists a function \(u_{0}\in E\) with \(\|u^{+}_{0}\|_{f,q}=1\) such that
This inequality implies that
and consequently
in other words, \(u_{1}\) is nontrivial.
In the same way, define
If \(\lambda>\lambda_{-}\), then it follows that \(u_{2}\) is nontrivial with \(\Psi(u_{2})=\Psi_{-}(u_{2})<0 \). So far, by the previous steps, we have showed that, for any \(\lambda >\lambda_{+}\), problem (\({P}_{\lambda }\)) has a nontrivial positive solution \(u_{1}\), whereas for any \(\lambda>\lambda_{-}\), problem (\({P}_{\lambda }\)) has a nontrivial negative solution \(u_{2}\).
Step 3. Now, let
Clearly, \(0\leq\lambda_{+}^{*}\leq\lambda_{+}\).
Lemma 3.2
For any \(\lambda>\lambda_{+}^{*}\), (\({P}_{\lambda }\)) admits at least one nontrivial positive solution.
Proof
Fix \(\lambda>\lambda_{+}^{*}\). By the definition of \(\lambda_{+}^{*}\), there exists \(\mu\in(\lambda_{+}^{*},\lambda)\) such that (\(P_{\mu}\)) has a nontrivial solution \(u_{\mu}\in E\) with \(u_{\mu}>0\) in Ω. Obviously, \(u_{\mu}\) is a sub-solution of (\({P}_{\lambda }\)).
On the other hand, consider the minimization problem
where \(K(u_{\mu})=\{u\in E:u\geq u_{\mu}\}\). Note that \(K(u_{\mu})\) is closed and convex and in turn also weakly closed. By Theorem 6.11 of [32], \(\Psi(u)\) attains its infimum in \(K(u_{\mu})\), that is, there exists \(\tilde{u}\geq u_{\mu}\) such that \(\Psi(\tilde{u})=\inf_{u\in K(u_{\mu})}\Psi(u)\), which also solves the variational inequality
Choosing \(\zeta=\tilde{u}+\varphi\) with \(\varphi\geq0\) in E, we obtain
that is, ũ is a supersolution to problem (\({P}_{\lambda }\)) that dominates \(u_{\mu}\).
Thus by the maximum principle (see [33], Lemma 5.2) we get the existence of a nontrivial positive solution u of (\({P}_{\lambda }\)) with \(u_{\mu}\leq u\leq\tilde{u}\). □
Let
We can proceed similarly to prove that, for any \(\lambda>\lambda _{-}^{*}\), (\({P}_{\lambda }\)) admits at least one nontrivial negative solution.
Now, set
and
We can see that \(\lambda_{0}\) exists and \(\lambda^{*}\geq\lambda_{*}\geq \lambda_{0}\geq0\), which completes the proof of the last two statements.
4 Proof of Theorem 1.2
4.1 The proof of statement (i)
First, if \(q>2\), under the weaker assumption (\(\mathrm{H}_{2}'\)), the number \(\lambda_{0}>0\). In fact, if \(u\in E\) is a nontrivial solution of problem (\({P}_{\lambda }\)), then taking \(\varphi=u\) in (2.1), from (1.2) we have that
Letting \(k_{1}=\lambda f(x)\), \(k_{2}=b_{1}h(x)\), \(\eta=q-2\), \(\beta=r-2\), and \(t=u\) in Lemma 2.3, we get that
Then it follows from (4.1), (4.2), and Lemma 2.1 that
Thus
which implies that
Then \(\lambda_{0}\geq M_{0}>0\).
In addition, since (H2) is replaced by a weaker assumption (\(\mathrm{H}_{2}'\)), the proof of Theorem 1.1 becomes more complicated. The treatment of coercivity of the functional \(\Psi _{\pm}\) has to be adapted. Indeed, for any \(\delta>0\) and \(M>0\), we can decompose \(\Omega=X\cup Y\cup Z\) with measurable sets X, Y, Z defined as follows:
In Lemma 2.3, setting \(t=u^{+}\), \(k_{1}=\frac{\lambda f(x)}{q}\), \(k_{2}=\frac {b_{1}h(x)}{r}\), \(\eta=q\), and \(\beta=r\) and integrating over X, we have
where \(C_{2}=C_{2}(M,\delta,\Omega,\lambda)\) is a constant.
Meanwhile, we apply (2.2) with \(\eta=q-2\) and \(\beta=r-2\) and integrate over \(Y\cup Z\) to derive
Since \(f,h\in L^{1}_{\mathrm{loc}}(\Omega)\), this results in that \(|Z|\rightarrow0\) as \(M\rightarrow\infty\) and, for fixed M, \(|Y|\rightarrow0\) as \(\delta\rightarrow0\). Thus, for any \(\varepsilon >0\), we can choose M sufficiently large and then δ sufficiently small such that
Combining (4.3)–(4.5), we have
Since \(u^{+}=\frac{|u|+u}{2}\), we get
Furthermore, since \(\int_{\Omega}v(x) |u^{+}(x)|^{2}\,dx\leq\int_{\Omega}v(x) |u(x)|^{2}\,dx\), it follows that
Taking \(\varepsilon=\frac{1}{4}\) in (4.6) and using (4.7), we obtain
Thus \(\Psi_{+}(u)\) is coercive in E. In the same way, \(\Psi_{-}(u)\) is also coercive in E.
So far, all the necessary conditions are satisfied, and we can follow the same lines as in Sect. 3 to get the results of Theorem 1.1.
4.2 The cases \(\lambda=\lambda_{0},\lambda_{*},\lambda^{*}\)
For \(\lambda=\lambda_{0}\), let \(\{\lambda_{n}\}\) be a decreasing sequence converging to \(\lambda_{0}\), and let \(\{u_{n}\}\) be a corresponding sequence of solutions to problems \(\{P_{\lambda_{n}}\}\). By (4.6) we get
where \(C_{2n}=C_{2}(M,\delta,\Omega,\lambda_{n})>0\). Then
Setting \(\varepsilon=\frac{1}{2q}\), we obtain
Since \(\{\lambda_{n}\}\) is bounded, it follows that \(C_{2n}\) is bounded by a constant independent of n. Thus by Lemma 2.1 and 2.2, there exist a subsequence of \(\{u_{n}\}\), still denoted by \(\{u_{n}\}\), and \(u_{\lambda_{0}}\in E\) such that
Since \(u_{n}\) are solutions of (\(P_{\lambda_{n}}\)), for all \(\varphi\in E\), we have
Passing to the limit as \(n\rightarrow\infty\), we deduce that \(u_{\lambda _{0}}\) solves problem (\(P_{\lambda_{0}}\)).
We finally claim that \(u_{\lambda_{0}}\not\equiv0\). Indeed, taking \(\varphi=u_{\lambda_{0}}\) in the definition of weak solution for \(u_{\lambda_{0}}\), we have from (1.2) and Lemma 2.2 that
Taking into account that \(q>2\), we obtain
which implies \(u_{\lambda_{0}}\not\equiv0\). Hence problem (\(P_{\lambda_{0}}\)) admits at least one nontrivial solution.
For \(\lambda=\lambda_{*}\), without loss of generality, we can assume that \(\lambda_{*}=\lambda_{+}^{*}<\lambda_{-}^{*}\). Then there also exists a decreasing sequence \(\{\lambda_{n}\}\) converging to \(\lambda _{*}\). Let \(u_{n}\in E\) be a nontrivial positive solution of problem (\(P_{\lambda_{n}}\)). It suffices to repeat the previous arguments to conclude that (\(P_{\lambda_{*}}\)) has at least one nontrivial positive solution.
For \(\lambda=\lambda^{*}\), assuming that \(\lambda^{*}=\lambda _{+}^{*}>\lambda_{-}^{*}\), \(\{P_{\lambda_{*}}\}\) admits at least one nontrivial positive solution. Furthermore, since \(\lambda ^{*}>\lambda_{-}^{*}\), we deduce that \(\{P_{\lambda_{*}}\}\) also admits a nontrivial negative solution. So, the second statement of Theorem 1.2 follows.
4.3 The case \(\lambda\geq\tilde{\lambda}\)
Let
For \(\lambda>\tilde{\lambda}\), we already know that Ψ has two nontrivial critical points \(u_{1}\geq0\) and \(u_{2}\leq0\). Now let us show that if \(q>2\), then (\({P}_{\lambda }\)) has two additional nontrivial solutions.
Lemma 4.1
There exist \(\rho\in(0,\|u_{1}\|_{E})\) and \(\alpha>0\) such that \(\Psi _{+}(u)\geq\alpha\) for all \(u\in E\) with \(\|u\|_{E}=\rho\).
Proof
Since \(h(x)G(x,\cdot)\geq0\) in Ω, we have
From Lemma 2.2 we see that
Take \(0<\rho<\min \{ \Vert u_{1} \Vert _{E}, (\frac {q}{2C_{f}\lambda} ) ^{\frac{1}{q-2}} \}\). Then
satisfies the statement. □
Next, we prove that the Palais–Smale condition holds for every sequence \(\{u_{n} \}\subset E\).
Lemma 4.2
Assume that a sequence \(\{u_{n} \}\subset E\) such that \(\{\Psi _{+}(u_{n})\}\) is bounded and \(\Psi'_{+}(u_{n})\rightarrow0\) in \(E^{*}\) as \(n\rightarrow\infty\). Then \(\{u_{n}\}\) has a convergent subsequence in E.
Proof
Since \(\Psi_{+}\) is coercive, we have that \(\{u_{n} \}\) is bounded in E. It is possible to extract a sequence, still relabeled by \(\{u_{n}\}\), such that \(\{u_{n}\}\) converges weakly to some u in E. By Lemma 2.2 we obtain
Then \(\{u_{n}\}\) is bounded in \(L^{q}_{f}(\Omega)\) and \(L^{r}_{h}(\Omega )\) with \(\|u_{n}\|_{f,q}\leq C_{3}\) and \(\|u_{n}\|_{h,r}\leq C_{4}\). Observe that
where \(j(x,u_{n}^{+})=\lambda f(x) \vert u_{n}^{+} \vert ^{q-2}u_{n}^{+}-h(x)g(x,u_{n}^{+})\). First, note that
In addition, using Hölder’s inequality and claim (4.8), we have
Since \(\Psi_{+}'(u_{n})(u_{n}-u)\rightarrow0\) as \(n\rightarrow\infty \), passing to the limit in (4.9), we obtain \(\Vert u_{n} \Vert _{E}\rightarrow \Vert u \Vert _{E}\) as \(n\rightarrow\infty\). Therefore
as \(n\rightarrow\infty\). Then the Palais–Smale condition holds. □
As a consequence, the mountain pass theorem guarantees the existence of a critical point \(u_{3}\) for \(\Psi_{+}\) with \(\Psi_{+}(u_{3})\geq\alpha >0\), which implies that \(u_{3}\) is nontrivial and different from \(u_{1}\) and \(u_{2}\). Moreover, working as we did for \(u_{1}\), we can show that \(u_{3}\geq0\). So, \(u_{3}\) is a critical point of Ψ. The third nontrivial solution of problem (\({P}_{\lambda }\)) is obtained.
Similarly, we apply the mountain pass theorem to \(\Psi_{-}\) to prove the existence of the fourth nontrivial weak solution of problem (\({P}_{\lambda }\)) having negative sign and different from the previous ones. Thus, when \(\lambda>\tilde{\lambda}\), four nontrivial solutions have been obtained.
If \(\lambda=\tilde{\lambda}\), then we can assume that \(\tilde {\lambda}=\lambda_{+}>\lambda_{-}\). Let \(\lambda_{n}=\tilde{\lambda }+\frac{1}{n}\). Then \(\lambda_{n}\rightarrow\tilde{\lambda}\) as \(n\rightarrow\infty\) and \(\lambda_{n}>\tilde{\lambda}\) for \(n\in\mathbb{N}_{+}\). So, for every \(n\in\mathbb{N}_{+}\), there exist two nontrivial positive solutions \(u_{n_{1}}\) and \(u_{n_{2}}\) of problem (\(P_{\lambda_{n}}\)) with \(\Psi(u_{n_{1}})<0\) and \(\Psi(u_{n_{2}})\geq\alpha>0\). Proceeding as in Sect. 4.2, we get that there exist \(u_{\tilde{\lambda}_{1}}\geq0\) and \(u_{\tilde {\lambda}_{2}}\geq0\) such that \(u_{n_{1}}\rightharpoonup u_{\tilde {\lambda}_{1}}\) in E and \(u_{n_{2}}\rightharpoonup u_{\tilde {\lambda}_{2}}\) in E. Furthermore, we can verify that \(u_{\tilde {\lambda}_{1}}\) and \(u_{\tilde{\lambda}_{2}}\) are two weak solutions of problem (\(P_{\tilde{\lambda}}\)) with \(\Psi ({u_{\tilde{\lambda}_{1}}})<0\) and \(\Psi({u_{\tilde{\lambda }_{2}}})\geq\alpha>0\), which implies that \(u_{\tilde{\lambda }_{1}}\neq u_{\tilde{\lambda}_{2}}\). On the other hand, since \(\tilde{\lambda}>\lambda_{-}\), (\(P_{\tilde{\lambda}}\)) admits two different nontrivial negative solutions. Thus, for \(\lambda=\tilde{\lambda}\), (\(P_{\tilde{\lambda}}\)) has at least four nontrivial solutions.
References
Xiang, M.Q., Zhang, B.L., Rǎdulescu, V.: Existence of solutions for perturbed fractional p-Laplacian equations. J. Differ. Equ. 260(2), 1392–1413 (2016)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Applebaum, D.: Lévy Processes and Stochastic Calculus, 2nd edn. Cambridge Studies in Advanced Mathematics, vol. 116. Cambridge University Press, Cambridge (2009)
Bertoin, J.: Lévy Processes. Cambridge Tracts in Mathematics, vol. 121. Cambridge University Press, Cambridge (1996)
Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268(4), 298–305 (2000)
Metzler, R., Klafter, J.: The restaurant at the end of random walk: recent developments in the description of anomalous transport by fractional dynamics. J. Phys. A 37(3), 161–208 (2004)
Ambrosetti, A., Brézis, H., Cerami, G.: Combined effects of concave and convex nonlinearities in some elliptic problems. J. Funct. Anal. 122(2), 519–543 (1994)
Charro, F., Colorado, E., Peral, I.: Multiplicity of solutions to uniformly elliptic fully nonlinear equations with concave–convex right-hand side. J. Differ. Equ. 246(11), 4221–4248 (2009)
Colorado, E., Peral, I.: Semilinear elliptic problems with mixed Dirichlet–Neumann boundary conditions. J. Funct. Anal. 199(2), 468–507 (2003)
Alama, S., Tarantello, G.: Elliptic problems with nonlinearities indefinite in sign. J. Funct. Anal. 141, 159–215 (1996)
Rǎdulescu, V., Repovš, D.: Combined effects in nonlinear problems arising in the study of anisotropic continuous media. Nonlinear Anal. 75(3), 1524–1530 (2012)
Autuori, G., Pucci, P.: Existence of entire solutions for a class of quasilinear elliptic problems. NoDEA Nonlinear Differ. Equ. Appl. 20(3), 977–1009 (2013)
Autuori, G., Pucci, P.: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255(8), 2340–2362 (2013)
Carboni, G., Mugnai, D.: On some fractional equations with convex–concave and logistic-type nonlinearities. J. Differ. Equ. 262(3), 2393–2413 (2017)
Xiang, M.Q., Zhang, B.L., Rǎdulescu, V.: Multiplicity of solutions for a class of quasilinear Kirchhoff system involving the fractional p-Laplacian. Nonlinearity 29, 3186–3205 (2016)
Pan, N., Zhang, B.L., Cao, J.: Degenerate Kirchhoff-type diffusion problems involving the fractional p-Laplacian. Nonlinear Anal., Real World Appl. 27, 56–70 (2017)
Pucci, P., Xiang, M.Q., Zhang, B.L.: Existence and multiplicity of entire solutions for fractional p-Kirchhoff equations. Adv. Nonlinear Anal. 5, 27–55 (2016)
Liang, S.H., Repovš, D., Zhang, B.L.: On the fractional Schrödinger–Kirchhoff equations with electromagnetic fields and critical nonlinearity. Comput. Math. Appl. 75(5), 1778–1794 (2018)
Xiang, M., Zhang, B., Zhang, X.: A nonhomogeneous fractional p-Kirchhoff type problem involving critical exponent in \(\mathbb{R}^{N}\). Adv. Nonlinear Stud. 17, 611–640 (2017)
Xiang, M.Q., Molica Bisci, G., Tian, G.H., Zhang, B.L.: Infinitely many solutions for the stationary Kirchhoff problems involving the fractional p-Laplacian. Nonlinearity 29, 357–374 (2016)
Caponi, M., Pucci, P.: Existence theorems for entire solutions of stationary Kirchhoff fractional p-Laplacian equations. Ann. Mat. Pura Appl. 195, 2099–2129 (2016)
Zhang, X., Zhang, B.L., Xiang, M.Q.: Ground states for fractional Schrödinger equations involving a critical nonlinearity. Adv. Nonlinear Anal. 5(3), 293–314 (2016)
Zhang, X., Zhang, B.L., Repovš, D.: Existence and symmetry of solutions for critical fractional Schrödinger equations with bounded potentials. Nonlinear Anal. 142, 48–68 (2016)
Díaz, J.I., Gómez-Castro, D., Vázquez, J.L.: The fractional Schrödinger equation with general nonnegative potentials. The weighted space approach. Nonlinear Anal. (to appear). https://doi.org/10.1016/j.na.2018.05.001
Giacomoni, J., Mukherjee, T., Sreenadh, K.: Positive solutions of fractional elliptic equation with critical and singular nonlinearity. Adv. Nonlinear Anal. 6(3), 327–354 (2017)
Giacomoni, J., Kumar Mishra, P., Sreenadh, K.: Fractional elliptic equations with critical exponential nonlinearity. Adv. Nonlinear Anal. 5(1), 57–74 (2016)
Abatangelo, N.: Very large solutions for the fractional Laplacian: towards a fractional Keller–Osserman condition. Adv. Nonlinear Anal. 6(4), 383–405 (2017)
Mosconi, S., Perera, K., Squassina, M., Yang, Y.: The Brézis–Nirenberg problem for the fractional p-Laplacian. Calc. Var. Partial Differ. Equ. 55, 1–25 (2016)
Faria, L., Miyagaki, O., Pereira, F., Squassina, M., Zhang, C.: The Brézis–Nirenberg problem for nonlocal systems. Adv. Nonlinear Anal. 5(1), 85–103 (2016)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32(8), 1245–1260 (2007)
Molica Bisci, G., Rǎdulescu, V., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications, vol. 162. Cambridge University Press, Cambridge (2016)
Berger, M.: Nonlinearity and Functional Analysis. Academic Press, New York (1977)
Brändle, C., Colorado, E., De Pablo, A.: A concave–convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 143(1), 39–71 (2013)
Acknowledgements
The authors would like to thank the referees for their useful suggestions.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
This work is supported by National Natural Science Foundation of China (Grant Nos. 11501333, 11571208).
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tian, Y., Zhao, S. Existence of solutions for perturbed fractional equations with two competing weighted nonlinear terms. Bound Value Probl 2018, 154 (2018). https://doi.org/10.1186/s13661-018-1074-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1074-z