- Research
- Open access
- Published:
Nehari-type ground state solutions for asymptotically periodic fractional Kirchhoff-type problems in \(\mathbb{R}^{N}\)
Boundary Value Problems volume 2018, Article number: 3 (2018)
Abstract
In this paper, we studied the following fractional Kirchhoff-type equation:
where a, b are positive constants, \(\alpha\in(0,1)\), \(N\in (2\alpha,4\alpha)\), \((-\triangle)^{\alpha}\) is the fractional Laplacian operator, \(V(x)\) and \(f(x,u)\) are periodic or asymptotically periodic in x. Under some weaker conditions on the nonlinearity, we obtain the existence of ground state solutions for the above problem in periodic case and asymptotically periodic case, respectively. In particular, our results unify both asymptotically cubic and super-cubic nonlinearities, which are new even for \(\alpha=1\).
1 Introduction
In this paper, we studied the following fractional Kirchhoff-type problem:
where \(\alpha \in (0,1]\), a, b are positive constants. The fractional Laplacian operator \((-\triangle)^{\alpha}\) is defined as:
which can be viewed as the infinitesimal generators of a Lévy stable diffusion processes [1]. In order to reduce our statements, we first assume that the potential V and nonlinearity f satisfy the following basic assumptions:
- (V):
-
\(V \in \mathcal{C}(\mathbb{R}^{N})\cap L^{\infty}(\mathbb {R}^{N})\) and \(\inf_{\mathbb{R}^{N}}V(x)>0\);
- (F1):
-
\(f \in \mathcal{C}(\mathbb{R}^{N}\times\mathbb {R},\mathbb{R})\) and there exist constants \(C>0\) and \(2< p<2^{\ast }_{\alpha}:=\frac{2N}{N-2\alpha}\) such that
$$\begin{aligned} \bigl\vert f(x,t) \bigr\vert \leq C\bigl(1+ \vert t \vert ^{p-1}\bigr),\quad\forall(x,t) \in \mathbb{R}^{N}\times\mathbb {R}; \end{aligned}$$ - (F2):
-
\(f(x,t)=o( \vert t \vert )\) as \(t\rightarrow0\) uniformly in \(x\in\mathbb{R}^{N}\);
- (F3):
-
\(\lim_{ \vert t \vert \rightarrow\infty }\frac{\int_{0}^{t}f(x,s)\,\mathrm{d}s}{ \vert t \vert ^{4+N-4\alpha}}=\infty\) uniformly in \(x \in \mathbb{R}^{N}\);
- (F4):
-
there exists a constant \(\theta_{0} \in (0,1)\) such that for any \(x \in \mathbb{R}^{N}\), \(t>0\) and \(\tau\neq0\)
$$\begin{aligned} \biggl[\frac{f(x,\tau)}{\tau^{3}}-\frac{f(x,t\tau)}{(t\tau )^{3}} \biggr] \operatorname{sign}(1-t)+\theta_{0}V(x)\frac{ \vert 1-t^{2} \vert }{(t\tau)^{2}}\geq0. \end{aligned}$$
In the recent years, fractional and nonlocal operators arise in the description of various phenomena in the pure mathematical research and concrete real-world applications, such as fractional quantum mechanics [2, 3], physics and chemistry [4], obstacle problems [5], optimization and finance [6], conformal geometry and minimal surfaces [7] and so on.
If \(\alpha=1\), Problem (1.1) formally reduces to the well-known Kirchhoff Dirichlet equation:
which is related to the stationary analog of the equations
Equations of this type were first proposed by Kirchhoff [8] to describe the transversal oscillations of a stretched string. For more details in physical aspects, we refer the reader to [7, 9, 10]. Particularly, after Lions [11] introduced an abstract functional analysis framework to (1.2), the Kirchhoff-type problems received increasingly more attention by various authors. There are many existence and multiplicity results for (1.2), for example, Zhang and Zhang [12] proved the existence of Nehari-type ground state solutions for asymptotically periodic Kirchhoff-type problem when f satisfies (F1), (F2) and the following conditions:
- (F3′):
-
\(\lim_{ \vert t \vert \rightarrow\infty }\frac{\int_{0}^{t}f(x,s)\,\mathrm{d}s}{ \vert t \vert ^{4}}=\infty\) uniformly in \(x\in\Omega\);
- (F4′):
-
\(\frac{f(x,t)}{ \vert t \vert ^{3}}\) is nondecreasing in t on \(\mathbb{R}\setminus\{0\}\) for every \(x \in \mathbb{R}^{N}\).
For more recent results concerning Kirchhoff-type problems, see e.g. [13–22].
When \(a=1\) and \(b=0\), then (1.1) reduces to the following fractional Schrödinger problem:
Since \((-\triangle)^{\alpha}\) is a nonlocal operator, the usual analysis tools for elliptic PDEs are invalid for (1.4). This causes some mathematical difficulties which make the study of such a problem particularly interesting. After Caffarelli and Silvestrein transformed the nonlocal problem into a local problem by the extension theorem in [23], there have been a large number of works focused on the study of fractional Schrödinger equations. Recently, Secchi [24] obtained the existence of positive solutions by using the Nehari manifold method. Chang [25] proved the existence of a positive ground state solution of (1.4) when \(f(x,t)\) is asymptotically linear with respect to t at infinity. Zhang, Zhang and Mi [26] established the existence of solutions for (1.4) in periodic case and asymptotically periodic case via variational methods. We refer the reader to [27–32] and the references therein.
Although the fractional Schrödinger equations have been widely studied, to the best of our knowledge, there are few papers concerning on the fractional Kirchhoff-type problems like (1.1) in the literature. Recently, under decay assumptions on V, Liu, Marco and Zhang [33] considered (1.1) where \(N=2\) with \(\alpha\in (\frac{1}{2},1)\) or \(N=3\) with \(\alpha\in(\frac{3}{4},1)\) and \(f(x,t)=f(t)\) satisfies:
- (H1):
-
\(f\in\mathcal{C}^{1}(\mathbb{R}^{+},\mathbb{R})\) and \(\lim_{t\rightarrow0}\frac{f(t)}{t}=0\);
- (H2):
-
there are \(D>0\) and \(2< q<2^{*}_{\alpha}\) such that \(f(t)\geq t^{t^{2^{*}_{\alpha}}-1}+Dt^{q-1}\) for any \(t\geq0\).
We point out that they obtained the existence of ground state solutions for (1.1) when D large enough in (H2). Note that \(2^{*}_{\alpha }>4\) when \(N=2\) with \(\alpha\in(\frac{1}{2},1)\) or \(N=3\) with \(\alpha\in(\frac{3}{4},1)\), which means f satisfies super-cubic condition (F3′). In fact, under (F1) and (F3′), it is easy to verify the Mountain Pass geometry for energy functional. Different from their work, we assume that f is non-autonomous and satisfies (F3) which implies (F3′). Evidently, (F1) and (F3) suggest that \(N\in (2\alpha,4\alpha)\) with \(\alpha\in(0,1)\) and that is what we are concerned about in this paper. Our results can be regarded as the complementary work of [33]. We also cite [34–41] for related results.
In this paper, we are concerned with the existence of ground state solutions for the asymptotically periodic fractional Kirchhoff-type problems (1.1) involving asymptotically cubic or super-cubic nonlinearities. To this end, we must overcome three main difficulties: (I) when f is asymptotically cubic (i.e. \(\lim_{ \vert t \vert \rightarrow\infty}\frac{ \vert f(x,t) \vert }{ \vert t \vert ^{3}}=V_{\infty}\geq\ (\not\equiv )\ 0\)), there is no Mountain-Pass structure for (1.1) and the standard variational methods cannot be used on Nehari manifold; (II) when \(V (x)\) and \(f(x,u)\) are asymptotically periodic in x, many effective methods for periodic problems are invalid for asymptotically periodic ones; (III) when f is not differentiable, Nehari manifold may not be a \(\mathcal{C}^{1}\) manifold, so it is difficult to prove the minimizer of the variational functional over Nehari manifold is a critical point. To overcome these difficulties, we will introduce some new methods and analytical techniques in this paper.
In order to precisely state our result we denote by \(\mathcal{H}\) the class of functions \(h\in\mathcal{C}(\mathbb{R}^{N},\mathbb{R})\cap L^{\infty}(\mathbb{R}^{N},\mathbb{R})\) such that, for every \(\epsilon>0\), the set \(\{x\in\mathbb{R}^{N}: \vert h(x) \vert \geq\epsilon\}\) has finite Lebesgue measure. Moreover, for the potential V and the nonlinear term f, we suppose that:
- (V0):
-
\(V \in\mathcal{C}(\mathbb{R}^{N}, (0,\infty))\) and \(V(x)\) is 1-periodic in x;
- (F0):
-
\(f(x,t)\) is 1-periodic in x;
- (V0′):
-
\(V(x)=V_{0}(x)+V_{1}(x)\), \(V_{0},V_{1} \in\mathcal {C}(\mathbb{R}^{N}, \mathbb{R}^{N})\), and \(V_{0}(x)\) is 1-periodic in x, \(V_{1}(x)\leq0\) for \(x \in\mathbb{R}^{N}\), and \(V_{1}\in\mathcal{H}\);
- (F0′):
-
\(f(x,t) = f_{0}(x,t) + f_{1}(x,t)\), \(f_{0}\in\mathcal {C}(\mathbb{R}^{N}\times\mathbb{R}^{N}, \mathbb{R})\), \(f_{0}(x,t)\) is 1-periodic in x, and for any \(x \in\mathbb{R}^{N}\), \(t>0\) and \(\tau\neq0\),
$$\begin{aligned} \biggl[\frac{f_{0}(x,\tau)}{\tau^{3}}-\frac{f_{0}(x,t\tau)}{(t\tau )^{3}} \biggr] \operatorname{sign}(1-t)+ V_{0}(x)\frac{ \vert 1-t^{2} \vert }{(t\tau)^{2}}\geq0; \end{aligned}$$(1.5)\(f_{1}\in\mathcal{C}(\mathbb{R}^{N}\times\mathbb{R}, \mathbb{R})\), satisfies
$$\begin{aligned} \bigl\vert f_{1}(x,t) \bigr\vert \leq h(x) \bigl( \vert t \vert + \vert t \vert ^{q-1}\bigr), \quad f_{1}(x,t)t\geq0, \end{aligned}$$(1.6)where \(F_{1}(x,t)=\int_{0}^{t}f_{1}(x,s)\,\mathrm{d}s\), \(q\in (2,2^{\ast}_{\alpha})\) and \(h\in\mathcal{H}\).
Inspired by the previously mentioned work, especially [21, 42, 43], we seek definite answers to overcome the above three difficulties. Firstly, we use a new trick to show the following set:
is not empty (see Lemma 2.4), and construct a new minimax characterization (see Lemma 2.6) under (F3). Secondly, for the asymptotically periodic case, we adopt a technique introducing in [21] by combining the quantitative deformation lemma and degree theory, to overcome the difficulties caused by the dropping of periodicity of \(V(x)\) and \(f(x,u)\) in x (see Section 4). Thirdly, because the argument based on Nehari manifold approach (see Szulkin and Weth [44]) becomes invalid under condition (F4) instead of (F4′), we will use the non-Nehari manifold approach developed in [42, 43]. It relies on finding a minimizing Cerami sequence for variational functional related to (1.1) outside the Nehari manifold by using the diagonal method (see Lemma 2.8). Note that (F3) implies (F3′), which covers the asymptotically cubic and super-cubic nonlinearities due to \(N\in (2\alpha,4\alpha)\).
Now, we state the main results of this paper. In the periodic case, we establish the following theorem.
Theorem 1.1
Assume that V and f satisfy (V0) and (F0)-(F4). Then Problem (1.1) has a ground state solution \(u_{0} \in E\) such that \(\Phi(u_{0})=\inf_{\mathcal{N}}\Phi>0\). Moreover,
In the asymptotically periodic case, we establish the following theorem.
Theorem 1.2
Assume that V and f satisfy (V0′), (F0′) and (F1)-(F4). Then Problem (1.1) has a ground state solution \(u_{0} \in E\) such that \(\Phi(u_{0})=\inf_{\mathcal{N}}\Phi>0\). Moreover,
Remark 1.3
Since the term \(\Vert (-\triangle)^{\frac{\alpha}{2}}u \Vert ^{4}_{2}\) is homogeneous of degree 4, the greatest part of the literature focuses on the study of (1.1) with f satisfying the super-cubic condition (F3′). However, there are few papers consider f satisfies asymptotically cubic. In order to treat asymptotically cubic or super-cubic nonlinearities in a unified way, we use a weaker condition (F3) instead of (F3′) where \(N\in(2\alpha,4\alpha)\) with \(\alpha\in(0,1)\). Our results strongly improve the previous results on the existence of ground state solutions for (1.1), which are new even for \(\alpha=1\). Furthermore, we reduce the usual Nehari-type monotonic condition to a weaker condition (F4). In fact, there are many functions satisfying (F1)-(F4), but not satisfying (F3′) and (F4′), and some typical examples are introduced in [21].
Throughout this paper, we denote the norm of \(L^{s}(\mathbb{R}^{N})\) by \(\Vert u \Vert _{s}\) for \(s\geq2\), \(B_{r}(x)=\{y \in \mathbb{R}^{N} : \vert y-x \vert < r\}\), and C are various positive constants.
2 Preliminaries
First, we give some notations. A complete introduction to fractional Sobolev spaces can be found in [45]; we offer in the succeeding discussion a short review. We define the homogeneous fractional Sobolev space \(\mathcal{D}^{\alpha,2}(\mathbb{R}^{N})\) as follows:
which is the completion of \(\mathcal{C}^{\infty}_{0}(\mathbb {R}^{N})\) under the norm
Moreover, the embedding \(\mathcal{D}^{\alpha,2}(\mathbb {R}^{N})\hookrightarrow L^{2^{\ast}_{\alpha}}(\mathbb{R}^{N})\) is continuous and for any \(\alpha \in (0,1)\), there exists a best constant \(S_{\alpha}\) such that
The fractional Sobolev space \(H^{\alpha}(\mathbb{R}^{N})\) can be described by
endowed with the natural norm
It is well known that \(H^{\alpha}(\mathbb{R}^{N})\) is continuously embedded into \(L^{q}(\mathbb{R}^{N})\), and compactly embedded into \(L^{q}_{\mathrm{loc}}(\mathbb{R}^{N})\) for \(2\leq q \leq2_{\alpha }^{\ast} :=\frac{2N}{N-2\alpha}\).
Under assumption (V), we see that
is a Hilbert space equipped with the norm
Let
From (F1) and (F2), it is easy to see that \(\Phi \in \mathcal {C}^{1}(E,\mathbb{R})\) as a functional, and that
Clearly, any critical point of Φ is a weak solution of (1.1). Set
Lemma 2.1
Assume that (V), (F1), (F2) and (F4) hold. Then
Proof
For any \(x \in \mathbb{R}^{N}\), \(t\geq0\), \(\tau \in \mathbb{R}\setminus\{0\}\), (F4) yields
By (2.1), (2.2) and (2.5), we have
This shows that (2.4) holds. □
Corollary 2.2
Assume that (V), (F1), (F2) and (F4) hold. Then, for an \(u\in\mathcal{N}\),
Corollary 2.3
Assume that (V), (F1), (F2) and (F4) hold. Then, for any \(u\in\mathcal{N}\),
Under (F3), to show \(\mathcal{N}\neq\emptyset\) in our situation, we have to overcome the competing effect of \(\int_{\mathbb{R}^{N}} \vert (-\triangle)^{\frac{\alpha}{2}}u \vert ^{2}\,\mathrm{d}x\). To this end, we define a set \(\mathcal{E}\) as follows:
Lemma 2.4
Assume that (V) and (F1)-(F4) hold. Then \(\mathcal{E}\neq\emptyset\). Moreover, \(\mathcal{N} \subset \mathcal{E}\).
Proof
For any fixed \(u \in E\) with \(u\neq0\), set \(u_{t}(x)=tu(t^{-1} x)\) for \(t>0\). By (V), one has
Note that, for \(u\neq0\), \(F(tx,tu)/ \vert tu \vert ^{4+N-4\alpha}\rightarrow+\infty\) as \(t\rightarrow+\infty\) by (F3), where \(F(x,t)=\int_{0}^{t}f(x,s)\,\mathrm{d}s\). From (2.5) with \(t=0\), one has
then we have
For \(N\in(2\alpha,4\alpha)\), thus from (2.9) and (2.11), one has
Thus, taking \(v=u_{T}\) for T large, we have \(v \in \mathcal{E}\). From (2.2), it is easy to see that and \(\mathcal{N}\subset \mathcal{E}\). □
Lemma 2.5
Assume that (V) and (F1)-(F4) hold. If \(u \in \mathcal{E}\), then there exists a unique \(t(u)>0\) such that \(t(u) \in \mathcal{N}\).
Proof
First, we prove the existence of \(t(u)\). In view of Lemma 2.4, let \(u\in\mathcal{E}\) be fixed and define a function \(g(t)=\langle\Phi'(tu), tu \rangle\) on \([0,+\infty)\). By (F4), one has
Since \(u \in \mathcal{E}\), (2.12) yields
It follows from (2.1) and (2.13) that
For (F1), (F2) and (2.14), it is easy to verify that \(g(0)=0\), \(g(t)>0\) for \(t>0\) small and \(g(t)<0\) for t large because of \(u\in \mathcal{E}\). Therefore, there exists \(t_{0}=t(u)>0\) so that \(g(t_{0})=0\) and \(t(u)u \in \mathcal{N}\).
Next, we prove the uniqueness. For any given \(u \in \mathcal{E}\), let \(t_{1}, t_{2}>0\) such that \(g(t_{1})={g(t_{2})=0}\). Jointly with (2.6), one has
and
Both (2.15) and (2.16) imply \(t_{1}=t_{2}\). Hence, \(t(u)>0\) is unique for any \(u \in \mathcal{E}\). □
Lemma 2.6
Assume that (V) and (F1)-(F4) hold. Then
Proof
Corollary 2.3 and Lemma 2.5 imply that \(c = \inf_{u\in\mathcal{E},u\neq0} \max_{t\geq0}\Phi(t u)\). From Lemma 2.1, it is easy to see that \(c> 0\). □
Lemma 2.7
Assume that (V) and (F1)-(F4) hold. Then there exist a constant \(c_{\ast} \in (0,c]\) and a sequence \({u_{n}}\subset E\) satisfying
Proof
We use the non-Nehari manifold approach developed in [42, 43] to show (2.17). From (F1), (F2) and (2.1), we know that there exist \(\delta_{0}>0\) and \(\rho_{0}>0\) such that
Choose \(v_{k}\in\mathcal{N}\subset\mathcal{E}\) such that
For Lemma 2.1, it is easy to see that \(\Phi(tv_{k})<0\) for large \(t>0\). In fact, if \(\Phi(tv_{k})\geq0\) for large \(t>0\). By (2.4) and \(v_{k} \in \mathcal{N}\), we have
which contradicts (2.19). From the mountain pass lemma, there exists a sequence \(\{u_{k,n}\}_{n\in\mathbb{N}}\subset E\) satisfying
where \(c_{k} \in [\rho_{0},\sup_{t\geq0}\Phi(tv_{k})]\). By (2.7) and (2.19), one has
Therefore, by (2.21) and (2.22), for \(k \in \mathbb{N}\), one has
In view of (2.23), for \(k=1\), there exists \(n_{1}>0\) large enough such that
for \(k=2\), there exists \(n_{2}>n_{1}>0\) large enough such that
In this way, we can choose a sequence \(\{n_{k}\}\subset\mathbb{N}\) with \(n_{k}\rightarrow\infty\) as \(k\rightarrow\infty\) such that
Let \(u_{k}=u_{k,n_{k}}\), \(k \in \mathbb{N}\). Then, going if necessary to a subsequence, we conclude from (2.26) that
 □
Lemma 2.8
Assume that (V) and (F1)-(F4) hold. Then any sequence \(\{u_{n}\}\subset E\) satisfying (2.17) is bounded in E.
Proof
By (2.2), (2.10) and (2.17), one has
This shows that the sequence \(\{u_{n}\}\) is bounded in E. □
Next, we prove the minimizer of the constrained problem is a critical point, which plays a crucial role in the asymptotically periodic case.
Lemma 2.9
Assume that (V) and (F1)-(F4) hold. If \(u_{0}\in \mathcal{N}\) and \(\Phi(u_{0})=c\), then \(u_{0}\) is a critical point of Φ.
Proof
Analogous to the proof of [21], it is easy to show this lemma by combining the quantitative deformation lemma and degree theory. □
3 The periodic case
Proof of Theorem 1.1
Lemma 2.7 implies the existence of a sequence \(\{u_{n}\}\subset E\) satisfying (2.17), then
By Lemma 2.8, \(\{u_{n}\}\) is bounded in E. Thus, there exists \(C>0\) such that \(\Vert u_{n} \Vert _{2}\leq C\). If
then by Lion’s concentration compactness principle [46], we have \(u_{n}\rightarrow0\) in \(L^{q}(\mathbb{R}^{N})\) for \(2< q<2^{\ast}_{\alpha }\). By (F1) and (F2), for \(\varepsilon=c_{*}/2C^{2}\), there exists \(C_{\varepsilon}>0\) such that
From (2.1), (2.2), (3.1) and (3.3), one has
This contradiction shows \(\delta>0\).
Going if necessary to a subsequence, we may assume the existence of \(k_{n} \in \mathbb{Z}^{N}\) such that
Let \(v_{n}(x)=u_{n}(x+k_{n})\), then
Since \(V(x)\) and \(f(x,u)\) are periodic on x, we have
Passing to a subsequence, we have \(v_{n}\rightharpoonup\bar{v}\) in E, \(v_{n}\rightarrow\bar{v}\) in \(L^{q}_{\mathrm{loc}}(\mathbb{R}^{N})\) for \(2< q<2^{*}_{\alpha}\) and \(v_{n}\rightarrow\bar{v}\) a.e. on \(\mathbb {R}^{N}\). Thus, (3.5) implies that \(\bar{v}\neq0\). Let \(l:=\lim_{n\rightarrow\infty} \Vert (-\triangle)^{\frac{\alpha}{2}}\bar {v}_{n} \Vert _{2}\), then the weakly lower semi-continuous of the norm implies that \(\Vert (-\triangle)^{\frac{\alpha}{2}}\bar {v} \Vert _{2}\leq l\). It is easy to check that
Since \(\mathcal{C}_{0}^{\infty}(\mathbb{R}^{N})\) is dense in E, (3.7) implies \(\langle\Phi'(\bar{v}), \varphi\rangle\leq0\). We claim that \(\langle\Phi'(\bar{v}), \bar{v}\rangle=0\). In fact, if \(\langle\Phi'(\bar{v}), \bar{v}\rangle<0\), together with \(\langle \Phi'(t\bar{v}), t\bar{v}\rangle>0\) for small \(t>0\), then there exists \(t_{1} \in (0,1)\) such that \(\langle\Phi'(t_{1}\bar{v}), t_{1}\bar {v}\rangle=0\) and \(\Phi(t_{1}\overline{v})\geq c\). Using (F4), we have
Note that (2.5) implies
Combining (3.8) and (3.9), we have
Then by (2.1), (2.2), (3.6) and (3.10), the weakly lower semi-continuity of the norm and Fatou’s lemma, we have
which is impossible. Thus, we get \(\bar{v} \in \mathcal{N}\) and \(\Phi(\bar{v})\geq c\). Jointly with (3.7), we have \(\lim_{n\rightarrow\infty} \Vert (-\triangle)^{\frac{\alpha}{2}}v_{n} \Vert _{2}= \Vert (-\triangle)^{\frac{\alpha}{2}}\bar {v} \Vert _{2}\) and \(\Phi'(\bar{v})=0\). On the other hand, from (2.10), (3.6), the weakly lower semi-continuous of norm and Fatou’s lemma, one has
This shows that \(\Phi(\bar{v})\leq c\) and so \(\Phi(\bar{v})= c=\inf_{\mathcal{N}}\Phi>0\). □
4 The asymptotically periodic case
In this section, we have \(V(x)=V_{0}(x)+V_{1}(x)\) and \(f(x,u)=f_{0}(x,u)+f_{1}(x,u)\). Define the functional \(\Phi_{0}\) as follows:
where \(F_{0}(x,u):=\int_{\mathbb{R}^{N}}f_{0}(x,s)\,ds\). By (V0′), (F0′), (F1) and (F2), we have \(\Phi_{0} \in \mathcal{C}^{1}(E,\mathbb{R})\) and
By a standard argument, we have the following lemma.
Theorem 4.1
Assume that (V0′), (F0′), (F1) and (F2) hold. If \(u_{n}\rightharpoonup0\) in E, then
Proof of Theorem 1.2
Lemma 2.7 implies the existence of a sequence \(\{u_{n}\}\subset E\) satisfying (2.17), then
By Lemma 2.8, \(\{u_{n}\}\) is bounded in E. Thus, there exists \(C>0\) such that \(\Vert u_{n} \Vert _{2}\leq C\). Passing to a subsequence, we have \(u_{n}\rightharpoonup\bar{u}\) in E, \(u_{n}\rightarrow\bar{u}\) in \(L^{q}_{\mathrm{loc}}(\mathbb{R}^{N})\) for \(2\leq q<2^{*}_{\alpha}\) and \(u_{n}\rightarrow\bar{u}\) a.e. on \(\mathbb{R}^{N}\). There are two possible cases: (i) \(\bar{u}=0\); (ii) \(\bar{u}\neq0\).
Case i). \(\bar{u}=0\). Then \(u_{n}\rightharpoonup0\) in E, \(u_{n}\rightarrow0\) in \(L^{q}_{\mathrm{loc}}(\mathbb{R}^{N})\) for \(2\leq q<2^{*}_{\alpha}\) and \(u_{n}\rightarrow0\) a.e. on \(\mathbb{R}^{N}\). Note that
and
By (2.17), (4.3), (4.4), (4.6)-(4.8), one has
Analogous to the proof of (3.4), there exists \(k_{n} \in \mathbb {Z}^{N}\), going if necessary to a subsequence, such that
Let us define \(v_{n}(x)=u_{n}(x+k_{n})\). Then
Since \(V(x)\) and \(f(x,u)\) are periodic on x, we have
Passing to a subsequence, we have \(v_{n}\rightharpoonup\bar{v}\) in E, \(v_{n}\rightarrow\bar{v}\) in \(L^{q}_{\mathrm{loc}}(\mathbb{R}^{N})\) for \(2\leq q <2^{*}_{\alpha}\) and \(v_{n}\rightarrow\bar{v}\) a.e. on \(\mathbb{R}^{N}\). Thus, (4.10) implies that \(\bar{v}\neq0\). Similar to Corollary 2.3 and Lemma 2.6, by (2.4), (4.7) and (4.8), we can deduce that
where
In view of Theorem 1.1, there exists \(v_{0} \in \mathcal {N}_{0} \subset\mathcal{E}_{0}\) such that \(c_{0}=\Phi(v_{0})\). Then, from (F0′), (4.7) and (4.13), we get
Similar to (3.7), we have \(\langle\Phi'_{0}(\bar{v}), \bar {v}\rangle\leq0\). If \(\langle\Phi'_{0}(\bar{v}), \bar{v}\rangle <0\), together with \(\langle\Phi'_{0}(t\bar{v}), t\bar{v}\rangle>0\) for small \(t>0\), we see that there exists \(t_{2} \in (0,1)\) such that \(\langle\Phi'_{0}(t_{2}\bar{v}), t_{2}\bar{v}\rangle=0\) and \(\Phi (t_{2}\overline{v})\geq c_{0}\). By (F0′), we have
and
Combining (4.15) and (4.16), we have
It follows from (4.16) with \(t=0\) that
Since \(t_{2} \in (0,1)\), from (4.1), (4.2), (4.12), (4.14), (4.17) and (4.18), the weakly lower semi-continuity of the norm and Fatou’s lemma, we have
which is impossible. Thus, we get \(\langle\Phi_{0}'(\bar{v}), \bar{v} \rangle=0\) and \(\Phi_{0}(\bar{v})\geq c_{0}\). By a standard argument, we have \(\Phi'_{0}(\bar{v})=0\). On the other hand, from (4.1), (4.2), (4.12) and (4.18), the weakly lower semi-continuity of the norm and Fatou’s lemma, we obtain
This implies that \(\Phi_{0}(\bar{v})\leq c\). By (F0′), we have \(\langle\Phi'(\bar{v}),\bar{v}\rangle\leq \langle\Phi'_{0}(\bar{v}),\bar{v}\rangle=0\), which implies \(\bar {v} \in \mathcal{E}\). Then, by Lemma 2.5, there exists \(t_{0}=t(\bar{v})\) such that \(t_{0}\bar{v}\in\mathcal{N}\geq c\), and so \(\Phi(t_{0}\bar{v})\geq c\). Now we prove that \(\Phi(t_{0}\bar{v})=c\). Arguing indirectly, we assume that \(\Phi(t_{0}\bar{v})>c\). Then by (V0′), (F0′), (4.1), (4.2) and (4.16), we have
This contradiction shows that \(\Phi(t_{0}\bar{v})=c\).
Let \(u_{0}=t_{0}\bar{v}\). Then \(u_{0}\in\mathcal{N}\) and \(\Phi(u_{0})=c\). In view of Lemma 2.9, we have \(\Phi'(u_{0})=0\). This shows that \(u_{0}\in E\) is a solution for (1.1) with \(\Phi(u_{0})=\inf_{\mathcal{N}}\Phi>0\).
Case ii). \(\bar{u}\neq0\). By the same fashion as the last part of the proof of Theorem 1.1, we can prove that \(\Phi'(\bar{u})=0\) and \(\Phi(\bar{u})=c=\inf_{\mathcal{N}}\Phi\). This shows that \(\bar{u} \in E\) is a solution for (1.1) with \(\Phi(\bar {u})=\inf_{\mathcal{N}}\Phi\). □
5 Conclusion
In this paper, by using the variational methods and some weaker conditions, the existence of Nehari-type solutions to equation (1.1) is established. We consider periodic or asymptotically periodic fractional Kirchhoff problems with more general nonlinearity f in \(\mathbb{R}^{N}\), where \(2\alpha< N<4\alpha\) and \(\alpha\in(0,1)\), especially f unifies asymptotically cubic and super-cubic nonlinearity, which generalizes and improves the previous results. Meanwhile, (1.1) is a nonlocal problem, so we need to overcome some new difficulties, which involves some new approaches and analytical techniques in our paper.
References
Lévy, AD: Processes from probability to finance and quantum groups. Not. Am. Math. Soc. 51, 1336-1347 (2004)
Laskin, N: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298-305 (2000)
Laskin, N: Fractional Schrödinger equation. Phys. Rev. E 66, 056108 (2002)
Metzler, R, Klafter, J: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1-77 (2000)
Silvestre, L: Regularity of the obstacle problem for a fractional power of the Laplace operator. Commun. Pure Appl. Math. 60, 67-112 (2007)
Cont, R, Tankov, P: Financial Modeling with Jump Processes. Chapman Hall/CRC Financial Mathematics Series. Chapman & Hall/CRC Press, Boca Raton (2004)
Chang, SYA, del Mar González, M: Fractional Laplacian in conformal geometry. Adv. Math. 226, 1410-1432 (2011)
Kirchhoff, G: Mechanik. Teubner, Leipzing (1883)
Arosio, A, Panizzi, S: On the well-posedness of the Kirchhoff string. Trans. Am. Math. Soc. 348, 305-330 (1996)
Bernstein, S: Sur une class d’ équations fonctionnelles aux dérivées partielles. Bull. Acad. Sci. URSS, Ser. Math. (Izv. Akad. Nauk SSSR) 4, 17-26 (1940)
Lions, J: On some questions in boundary value problems of mathematical physics. In: Contemporary Developments in Continuum Mechanics and Partial Differential Equations. Proc. Internat. Sympos. Inst. Mat. Univ. Fed. Rio de Janeiro, (1997). North-Holland Math. Stud., vol. 30, pp. 284-346 (1997)
Zhang, H, Zhang, FB: Ground states for the nonlinear Kirchhoff type problems. J. Math. Anal. Appl. 423, 1671-1692 (2015)
Cheng, BT, Tang, XH: Ground state sign-changing solutions for asymptotically 3-linear Kirchhoff-type problems. Complex Var. Elliptic Equ. 62, 1093-1116 (2017)
Chen, ST, Tang, XH: Ground state solutions of Nehari-Pohozaev type for Kirchhoff-type problems with general potentials. Calc. Var. Partial Differ. Equ. 56, 110 (2017)
Li, Y, Li, F, Shi, J: Existence of a positive solution to Kirchhoff type problems without compactness conditions. J. Differ. Equ. 253, 2285-2294 (2012)
Qin, DD, He, YB, Tang, XH: Ground state solutions for Kirchhoff type equations with asymptotically 4-linear nonlinearity. Comput. Math. Appl. 71, 1524-1536 (2016)
Wu, X: Existence of nontrivial solutions and high energy solutions for Schrödinger-Kirchhoff-type equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 12, 1278-1287 (2011)
Mao, A, Zhang, Z: Sign-changing and multiple solutions of Kirchhoff type problems without the P.S. condition. Nonlinear Anal. 70, 1275-1287 (2009)
Nie, J, Wu, X: Existence and multiplicity of non-trivial solutions for Schrödinger-Kirchhoff-type equations with radial potentials. Nonlinear Anal. 75, 3470-3479 (2012)
Perera, K, Zhang, ZT: Nontrivial solutions of Kirchhoff-type problems via the Yang index. J. Differ. Equ. 221, 246-255 (2006)
Tang, XH, Cheng, BT: Ground state sign-changing solutions for Kirchhoff type problems in bounded domains. J. Differ. Equ. 261, 2384-2402 (2016)
Zhang, J, Tang, XH, Zhang, W: Existence of multiple solutions of Kirchhoff type equation with sign-changing potential. Appl. Math. Comput. 242, 491-499 (2014)
Caffarelli, L, Silvestre, L: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245-1260 (2007)
Secchi, S: Ground state solutions for nonlinear fractional Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 54, 031501 (2013)
Chang, X: Ground state solutions of asymptotically linear fractional Schrödinger equations. J. Math. Phys. 54, 061 (2013)
Zhang, W, Zhang, J, Mi, HL: On fractional Schrödinger equation with periodic and asymptotically periodic conditions. Comput. Math. Appl. 74(6), 1321-1332 (2017). http://dx.doi.org/10.1016/j.camwa.2017.06.017
Chen, ST, Peng, JW, Tang, XH: Ground state solutions for asymptotically periodic fractional Schrödinger-Poisson problems with asymptotically cubic or super-cubic nonlinearities. Math. Methods Appl. Sci. 40, 4948-4961 (2017)
Chen, ST, Tang, XH: Ground state sign-changing solutions for a class of Schrödinger-Poisson type problems in \(\mathbb{R}^{3}\). Z. Angew. Math. Phys. 67, 1-18 (2016)
Chen, ST, Tang, XH: Ground state solutions of Nehari-Pohozaev type for Schrödinger-Poisson problems with general potentials. Discrete Contin. Dyn. Syst. 37, 4973-5002 (2017)
Felmer, P, Quaas, A, Tan, JG: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb. A 142, 1237-1262 (2012)
Liu, Z, Ouyang, Z: Existence of positive ground state solutions for fractional Schrödinger equations with a general nonlinearity. Appl. Anal. (2017, in press). http://dx.doi.org/10.1080/00036811
Teng, K: Multiple solutions for a class of fractional Schrödinger equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 21, 76-86 (2015)
Liu, ZS, Squassina, M, Zhang, J: Ground states for fractional Kirchhoff equations with critical nonlinearity in low diension. Nonlinear Differ. Equ. Appl. 24, 50 (2017)
Autuori, G, Pucci, P: Elliptic problems in involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 255, 2340-2362 (2013)
Mingqi, X, Bisci, GM, Tian, G, Zhang, B: Infinitely many solutions for the stationary Kirchhoff problems involving the fractional p-Laplacian. Nonlinearity 29, 357-374 (2016)
Bisci, GM, Repovš, D: On doubly nonlocal fractional elliptic equations. Atti Accad. Naz. Lincei, Rend. Lincei, Mat. Appl. 26, 161-176 (2015)
Bisci, GM, Tulone, F: An existence result for fractional Kirchhoff-type equations. Z. Anal. Anwend. 35, 181-197 (2016)
Bisci, GM, Vilasi, L: On a fractional degenerate Kirchhoff-type problem. Commun. Contemp. Math. 19, 1550088 (2017)
Pucci, P, Xiang, M, Zhang, B: Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional p-Laplacian in \(\mathbb{R}^{N}\). Calc. Var. Partial Differ. Equ. 54, 2785-2806 (2015)
Figueiredo, GM, Bisci, GM, Servadei, R: On a fractional Kirchhoff-type equation via Krasnoselskii’s genus. Asymptot. Anal. 94, 347-361 (2015)
Bisci, GM, Tulone, F: An existence result for fractional Kirchhoff type equations. Z. Anal. Anwend. 35, 181-197 (2016)
Tang, XH: Non-Nehari manifold method for asymptotically linear Schrödinger equation. J. Aust. Math. Soc. 98, 104-116 (2015)
Tang, XH: Non-Nehari manifold method for asymptotically periodic Schrödinger equation. Sci. China Math. 58, 715-728 (2015)
Szulkin, A, Weth, T: The method of Nehari manifold. In: Handbook of Nonconvex Analysis and Applications, pp. 597-632 (2010)
Di Nezza, E, Palatucci, G, Valdinoci, E: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521-573 (2012)
Willem, M: Minimax Theorems. Birkhäuser, Boston (1996)
Acknowledgements
The authors are grateful to the anonymous referees for their valuable suggestions and comments. This work is partially supported by supported by the Fundamental Research Funds for the Central Universities of Central South University (No: 502211712) and the National Natural Science Foundation of China (No: 11571370).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there are no competing interests regarding the publication of this article.
Additional information
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
Peng, J., Tang, X. & Chen, S. Nehari-type ground state solutions for asymptotically periodic fractional Kirchhoff-type problems in \(\mathbb{R}^{N}\). Bound Value Probl 2018, 3 (2018). https://doi.org/10.1186/s13661-017-0922-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0922-6