Abstract
In this work, we are concerned with a class of fractional equations of Kirchhoff type with potential. Using variational methods and a variant of quantitative deformation lemma, we prove the existence of a least energy sign-changing solution. Moreover, the existence of infinitely many solution is established.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main result
Consider the following fractional Kirchhoff equation
where \([u]_\alpha =\left( \int _{\mathbb {R}^N}\left( |(-\Delta _x)^{\frac{\alpha }{2}}u|^2+|\nabla _yu|^2\right) \mathrm{d}x\mathrm{d}y\right) ^{\frac{1}{2}}\), \(\alpha \in (0,1),\,n,m\ge 1,\,(-\Delta _x)^\alpha \) denotes the fractional Laplacian in x which is defined via the Fourier transform by \(\widehat{(-\Delta _x)^\alpha u}(X,Y)=|X|^{2\alpha }\widehat{u}(X,Y),\) where \(\widehat{u}\) is the Fourier transform of u; if u is sufficiently smooth, it can be expressed by
with \(C_{N,\alpha }\) is a normalization constant and P.V. stands for the Cauchy principal value; and V, f are a functions satisfying some conditions which will be specified later.
The presence of the nonlocal term \([u]_\alpha ^2\) in (1.1) causes some mathematical difficulties and so the study of such a class of equations is of much interest. Moreover, Eq. (1.1) is a fractional version related to the following hyperbolic equation
which was proposed by Kirchhoff [22] as an extension of the classical D’Alembert’s wave equation by considering the changes in the length of the strings produced by transverse vibrations.
On the other hand, when \(b=0,\) \(V\equiv 1\) and \(f(u)=u^p\), equation (1.1) appears in the study of solitary waves of the generalized Benjamin–Ono–Zakharov–Kuznetsov equation
see [28] for some local and global well-posedness results on this equation with \(m=n=1\). The anisotropic operator \((-\Delta _x)^\alpha u-\Delta _yu\) is observed in the study of toy models parabolic equations for which local diffusions occur only in certain directions and nonlocal diffusions. It models diffusion sensible to the direction in the Brownian and Lévy-Itô processes. For some regularity and rigidity properties of this operator, the readers can refer to [6, 17].
Recently, Esfahani [15] considered Eq. (1.1) with \(b=0.\) Under suitable assumptions on \(f\in C^1(\mathbb {R},\mathbb {R}),\) by adapting some arguments developed in [7,8,9] and using a variant of deformation lemma, the author shows that the equation admits a least energy sign-changing solution.
It is interesting to note that the fractional Laplacian (isotropic operator) problems have attracted a great attention by various study on the existence and multiplicity of solutions; see, e.g., [19, 20, 25, 33]. This interest comes from its significant applications in several areas such as physics, biology, chemistry and finance; see, e.g., [5, 11, 12, 18, 23]. We also refer to [10] for more applications specifically to an audience of mathematicians. We point out that the variational methods leading to existence theories in the fractional setting were introduced in [30].
In [18], Fiscella and Valdinoci first introduced a stationary Kirchhoff variational equation, which models the nonlocal aspect of the tension arising from nonlocal measurements of the fractional length of the string. After that, the fractional Kirchhoff problems have been investigated by many researchers, we cite here [2, 3, 13, 14, 21, 26, 27, 31]. However, to the best of our knowledge, there are no result about existence of solutions for a Kirchhoff-type equation with an operator containing local and nonlocal diffusions except [24]. Inspired by the results mentioned above, especially [1, 4, 15, 21], in the present paper, we will prove the existence of sign-changing solutions and infinitely many solutions for Eq. (1.1). To this aim, we need a compact embedding which is appropriate to our equation and some technical lemmas related to the minimization method on the nodal Nehari manifold.
We assume that \(V:\mathbb {R}^N\rightarrow \mathbb {R}\) is continuous and satisfies:
- \((V_0)\):
-
\(V(x,y)>0\) for all \((x,y)\in \mathbb {R}^N\) and \(V^{-1}\in L^\infty (\mathbb {R}^N).\)
For the nonlinearity f, we assume that \(f\in C^1(\mathbb {R},\mathbb {R})\) and
- \((\mathrm{f}_1)\):
-
\(\lim _{t\rightarrow 0}\frac{f(t)}{t}=0;\)
- \((\mathrm{f}_2)\):
-
\(\lim _{|t|\rightarrow \infty }\frac{f(t)}{|t|^{p^*-1}}=0,\) where \(p^*=\frac{2(n+m\alpha )}{n+(m-2)\alpha };\)
- \((\mathrm{f}_3)\):
-
\(\lim _{|t|\rightarrow \infty }\frac{F(t)}{t^4}=+\infty ,\) where \(F(t)=\int _0^tf(\tau )\mathrm{d}\tau \ge 0\) for all \(t\in \mathbb {R};\)
- \((\mathrm{f}_4)\):
-
the function \(t\mapsto \frac{f(t)}{|t|^3}\) is increasing on \(\mathbb {R}\backslash \{0\}.\)
Before stating what we think our main result, we recall our working Sobolev space. Let \(\mathcal {H}^\alpha (\mathbb {R}^N)\) be the fractional Sobolev–Liouville space
with the norm
The homogeneous fractional Sobolev–Liouville space \(\mathcal {D}^\alpha (\mathbb {R}^N)\) is defined by
where
We search the solutions in the following subspace
endowed with the inner product
and its related norm
A function \(u\in E_\alpha \) is called weak solution of (1.1) if
A sign-changing solution of (1.1) is a weak solution \(u\in E_\alpha \) satisfying \(u^\pm \ne 0,\) where
The main result can be described by the following theorem.
Theorem 1.1
Assume that \((V_0)\) and \((\mathrm{f}_1)\)–\((\mathrm{f}_4)\) hold. Then, Eq. (1.1) admits a least energy sign-changing solution. Furthermore, if f is odd, then (1.1) has infinitely many solutions.
Remark 1.2
This result is known for the isotropic case with \(N=3\) and the nonlinear term \(f(x,u)=K(x)f(u),\) please refer to [21].
2 Auxiliary results and proof of main theorem
In this section, we give some preliminary results for the proof of Theorem 1.1.
Lemma 2.1
(Cf.[16]) The fractional Sobolev–Liouville space \(\mathcal {H}^\alpha (\mathbb {R}^N)\) is continuously embedded into \(L^q(\mathbb {R}^N)\) for \(q\in [2,p^*];\) and is compactly embedded into \(L^q(\mathbb {R}^N)\) for \(q\in (2,p^*).\)
According to Lemma 2.1, we have the next result (see [15, Lemma 2.1]).
Lemma 2.2
(Cf.[15]) Assume that \((V_0)\) holds. Then, \(E_\alpha \) is continuously embedded into \(L^q(\mathbb {R}^N)\) for \(q\in [2, p^*];\) and compactly embedded into \(L^q(\mathbb {R}^N)\) for \(q\in [2, p^*);\)
Obviously, the energy functional associated to (1.1) defined on \(E_\alpha \) by
is of class \(C^1\) and its critical points are solutions of (1.1).
To discus the existence of sign-changing solutions, we follow some arguments developed in [7,8,9, 32]. More precisely, we will minimize the functional I on the nodal set
where
Denote \(S_1=\{u\in E_\alpha :||u||_{E_\alpha }=1\}.\) For all fixed \(u\in E_\alpha \backslash \{0\},\) we set
Lemma 2.3
Assume that \((V_0)\) and \((\mathrm{f}_1)\)–\((\mathrm{f}_4)\) hold. Then
-
(i)
there exists an unique \(t_u>0\) such that
$$\begin{aligned} g_u'(t_u)=0,\quad g_u'>0 \text{ on } (0,t_u)\quad {and}\quad g_u'<0 \text { on } (t_u,\infty ); \end{aligned}$$ -
(ii)
\(\rho :=\inf _{u\in S_1}g_u(t_u)>0.\) Furthermore, for each compact \(\Lambda \subset S_1,\) there exists \(C_\Lambda >0\) such that
$$\begin{aligned} t_u\le C_\Lambda \,\, \text{ for } \text{ all } \,\, u\in \Lambda ; \end{aligned}$$ -
(iii)
let \(\overline{\Phi }:E_\alpha \backslash \{0\}\rightarrow \mathcal {N}\) and \(\Phi :S_1\rightarrow \mathcal {N}\) be the mappings defined by
$$\begin{aligned} \overline{\Phi }(u)=t_uu\quad \text{ and }\quad \Phi =\overline{\Phi }|_{S_1}. \end{aligned}$$Then, \(\overline{\Phi }\) is continuous and \(\Phi \) is a homeomorphism. Moreover, the inverse of \(\Phi \) is given by \(\Phi ^{-1}(u)=\frac{u}{||u||_{E_\alpha }}.\)
Proof
(i) By \((\mathrm{f}_1)\)–\((\mathrm{f}_2),\) for given \(\varepsilon >0\) there exists \(C_\varepsilon >0\) such that
Therefore, by Lemma 2.2, for all \(t>0,\)
Choosing \(\varepsilon <\frac{1}{2||V^-1||_\infty },\) for \(t_*\) small enough,
Let \(\Omega _0=\{(x,y)\in \mathbb {R}^N:u(x,y)\ne 0\}\), we have
It follows from Fatou’s lemma and \((\mathrm{f}_3),\)
Hence, for some \(T>0\) large enough,
By the continuity of \(g_u,\) (2.2) and (2.4), there is \(t_u>0\) such that \(\displaystyle g_u(t_u)=\max _{t\ge 0}g_u(t).\) Then \(t_uu\in \mathcal {N}.\) Moreover, using \((\mathrm{f}_4),\) it easy to see that \(t_u\) is the unique number satisfying \(g_u'(t_u)=0,\) and hence (i) follows.
(ii) Let \(\displaystyle \rho =\inf _{u\in S_1}g_u(t_u).\) Then \(\rho >0.\) Indeed, by (2.1), we can find \(\underline{t}>0\) such that
Thus \(\rho >0.\)
Now, let \(\Lambda \subset S_1\) be a compact set. Suppose by contradiction that there exists \(\{u_n\}\subset \Lambda \) such that \(t_{u_n}\rightarrow +\infty .\) Then, up to subsequence, \(u_n\rightarrow u\) for some \(u\in \Lambda .\) By (2.3), we have
Exploiting \((\mathrm{f}_4),\) we can infer that the function \(t\mapsto \frac{1}{4}tf(t)-F(t)\) is increasing on \((0,\infty )\) and decreasing on \((-\infty ,0).\) Therefore
Since \(\langle I'(t_{u_n}u_n),t_{u_n}u_n\rangle =0\) for all \(n\in \mathbb {N},\)
This contradicts with (2.5).
(iii) By (i), \(\overline{\Phi }\) is well defined. Let \(v\in \mathcal {N},\) then equation \(t_uu=v\) with \(||u||_{E_\alpha }=1\) has an unique solution \(u=\frac{v}{||v||_{E_\alpha }}\) with \(t_u=||v||_{E_\alpha }.\) Therefore \(\Phi \) is invertible and \(\Phi ^{-1}(v)=\frac{v}{||v||_{E_\alpha }}.\) We notice that \(\Phi ^{-1}\) is continuous. Now, we prove that \(\overline{\Phi }\) is continuous. Let \(u_n\rightarrow u\) in \(E_\alpha \backslash \{0\}.\) By definition of \(t_{u_n},\) we have \(t_{\left( \frac{u_n}{||u_n||_{E_\alpha }}\right) }=t_{u_n}||u_n||_{E_\alpha }.\) Since \(\left\{ \frac{u_n}{||u_n||_{E_\alpha }}\right\} \subset S_1,\) it follows from (ii) that \(t_{u_n}||u_n||_{E_\alpha }\rightarrow l_0>0.\) Thereby \(t_{u_n}\rightarrow \frac{l_0}{||u||_{E_\alpha }}.\) Recall that
Letting n goes to infinity, we obtain
which yields that \(\frac{l_0u}{||u||_{E_\alpha }}\in \mathcal {N}\) and \(t_u=\frac{l_0}{||u||_{E_\alpha }}.\) Consequently \(\overline{\Phi }(u_n)\rightarrow \overline{\Phi }(u),\) and so \(\overline{\Phi }\) is continuous. The proof of Lemma 2.3 is completed. \(\square \)
Consider the functionals \(\overline{\Psi }:E_\alpha \backslash \{0\}\rightarrow \mathbb {R}\) and \(\Psi :S_1\rightarrow \mathbb {R}\) given by
In view of Lemma 2.3 and with the help of [32], we have the following result.
Lemma 2.4
Assume that \((V_0)\) and \((\mathrm{f}_1)\)–\((\mathrm{f}_4)\) hold. Then,
-
(i)
\(\overline{\Psi }\in C^1(E_\alpha \backslash \{0\},\mathbb {R})\) and for all \(u\in E_\alpha \backslash \{0\},\,v\in E_\alpha \)
$$\begin{aligned} \langle \overline{\Psi }'(u),v\rangle =\frac{||\overline{\Phi }(u)||_{E_\alpha }}{||u||_{E_\alpha }}\langle I'(\overline{\Phi }(u)),v\rangle ; \end{aligned}$$ -
(ii)
\(\Psi \in C^1(S_1,\mathbb {R})\) and \(\langle \Psi '(u),v\rangle =||\Phi (u)||_{E_\alpha }\langle I'(\Phi (u)),v\rangle \) for all \(v\in T_uS_1\), where
$$\begin{aligned} T_uS_1:=\{v\in E_\alpha :(u,v)_{E_\alpha }=0\}; \end{aligned}$$ -
(iii)
If \(\{u_n\}\) is a (PS) sequence for \(\Psi ,\) then \(\{\Phi (u_n)\}\) is a (PS) sequence for I. Moreover, if \(\{u_n\}\subset \mathcal {N}\) is a bounded (PS) for I, then \(\{\Phi ^{-1}(u_n)\}\) is a (PS) sequence for \(\Psi ;\)
-
(iv)
u is a critical point of \(\Psi \) if and only if \(\Phi (u)\) is a nontrivial critical point for I. Moreover, the corresponding critical values coincide and
$$\begin{aligned} \inf _{u\in S_1}\Psi (u)=\inf _{u\in \mathcal {N}}I(u). \end{aligned}$$
Proof
The proof is similar to that of [32, Proposition 9, Corollary 10]. \(\square \)
Remark 2.5
We notice that
For \(u\in E_\alpha \) with \(u^\pm \ne 0,\) we define the function \(\varphi _u:[0,\infty )\times [0,\infty )\rightarrow \mathbb {R}\) by
Its gradient is given by
Lemma 2.6
Assume that \((V_0)\) and \((\mathrm{f}_1)\)–\((\mathrm{f}_4)\) hold. Then
-
(i)
The pair (t, s) with \(t,s>0\) is a critical point of \(\varphi _u\) if and only if \(tu^++su^-\in \mathcal {M};\)
-
(ii)
The function \(\varphi _u\) has an unique critical point \((t_+,s_-)=(t_+(u),s_-(u))\in (0,\infty )^2,\) which is its unique global maximum;
Proof
(i) By (2.7), for all \(t,s>0,\) \(\nabla \varphi _u(t,s)=0\) if and only if
j So that, \(tu^++su^-\in \mathcal {M}.\)
(ii) Let \(s\ge 0\) be fixed. Consider the function \(\psi _1\) defined on \([0,\infty )\) by
Similar to Lemma 2.3, there exists an unique \(t(u,s)>0\) satisfying
Then, the function \(\xi _1:[0,\infty )\rightarrow (0,\infty )\) given by \(\xi _1(s)=t(u,s)\) is well defined. For all \(s\ge 0,\) we have
Thus from (2.7),
Note that
and
where
So, from (2.10) we entail
\(\square \)
Claim 2.7
The function \(\xi _1\) satisfies the following properties:
- (a\(_1\)):
-
\(\xi _1\) is continuous;
- (a\(_2\)):
-
\(\xi _1(s)< s\) for s large.
.
Proof of the Claim 2.7
(a\(_1)\) Let \(s_n\rightarrow s_0\) in \([0,\infty ).\) Then \(\{\xi _1(s_n)\}\) is bounded. Suppose by contradiction up to a subsequence \(\xi (s_n)\rightarrow +\infty .\) From (2.11)-(2.12), we can write
Combining (2.13) and (2.14), we get
Thereby,
According to \((\mathrm{f}_3)\)–\((\mathrm{f}_4),\) Fatou’s lemma and taking account that \(\xi _1(s_n)\rightarrow \infty ,\) and \(s_n\rightarrow s_0<\infty ,\) passing to the limit as \(n\rightarrow \infty \) in (2.16), we obtain
which is impossible and hence \(\{\xi _1(s_n)\}\) is bounded. Then, up to a subsequence \(\xi _1(s_n)\rightarrow t_0.\) By (2.13), we have
Letting \(n\rightarrow \infty ,\)
which implies \(\psi _1'(t_0)=\frac{\partial \varphi _u}{\partial t}(t_0,s_0)=0,\) and by the uniqueness of \(\xi _1(s_0)\), we deduce \(\xi _1(s_0)=t_0.\) The continuity of \(\xi _1\) is achieved.
(a\(_2)\) For s large enough, we have \(\xi _1(s)< s.\) If not, there is \(s_n\rightarrow \infty \) such that \(\xi _1(s_ n)\ge s_n\) for all n. Then \(\xi _1(s_ n)\rightarrow \infty .\) Therefore, using (2.16), we arrive at a contradiction and consequently (a\(_2)\) follows. The claim is proved. \(\square \)
In the same way, for \(t\ge 0\) fixed, we define \(\psi _2\) on \([0,\infty )\) by \(\psi _2(s)=\varphi _u(t,s),\) and so we can find \(\xi _2:[0,\infty )\rightarrow (0,\infty )\) satisfying \((\mathrm{a}_1){-}(\mathrm{a}_2)\) and
In view of \((\mathrm{a}_2),\) there exists \(A_1>0\) such that for all \(t,s\ge A_1,\)
Set
and \(A=\max \{A_1,A_2\}.\) Let \(\xi :[0,A]\times [0,A]\rightarrow (0,\infty )^2\) defined by
Obviously, \(\xi \) is continuous since \(\xi _1\) and \(\xi _2\) are continuous by Claim 2.7. Moreover, we have
Applying Brouwer’s fixed point theorem, there exists \((t_+,s_-)\in [0,A]^2\) such that
Since \(\xi _1\) and \(\xi _2\) are positive functions, \(t_+,s_->0.\) In addition, \(\nabla \varphi _u(t_+,s_-)=0,\) hence \((t_+,s_-)\) is a critical point of \(\varphi _u.\)
Let us now prove the uniqueness of the critical points of \(\varphi _u\).
Claim 2.8
For all \(v\in \mathcal {M},\) we have (1, 1) is a critical point of \(\varphi _v.\) Moreover, if \((t_0,s_0)\) with \(t_0,s_0>0\) is a critical point of \(\varphi _v,\) then \(t_0=s_0=1.\)
Proof of the Claim 2.8
Since \(v=v^++v^-\in \mathcal {M},\) \(\nabla \varphi _u(1,1)=0.\) Thus (1, 1) is a critical point of \(\varphi _v.\) Let \((t_0,s_0)\) be a critical point of \(\varphi _v.\) Without loss of generality, we may assume that \(0<t_0\le s_0.\) Then
The first part of (2.18) can be written
Dividing by \(t_0^4,\) we obtain
We have \(0<t_0\le s_0\) and \(Z(v^+,v^-)\ge 0,\) thus
On the other hand, \(v^++v^-\in \mathcal {M}\) implies
From (2.19) to (2.20), we deduce
If \(t_0<1,\) by \((\mathrm{f}_4)\) and (2.21) we derive a contradiction. Then \(s_0\ge t_0\ge 1.\)
Similarly, using the second part of (2.18), we get
This and \((\mathrm{f}_4)\) imply \(t_0\le s_0\le 1.\) So, we conclude that \(t_0=s_0=1.\) The claim is proved. \(\square \)
Proof
Now, we turn to prove (ii). Let \((t_1,s_1)\) and \((t_2,s_2)\) be two critical points of \(\varphi _u\) with \(t_1,s_1,t_2,s_2>0.\) By (i), we have
Then \(v_1^\pm \ne 0\) and
Therefore, as a consequence of (i), \(\left( \frac{t_2}{t_1},\frac{s_2}{s_1}\right) \) is a critical point of \(\varphi _{v_1}.\) From Claim 2.8, we obtain \(\frac{t_2}{t_1}=\frac{s_2}{s_1}=1,\) that is \(t_1=t_2\) and \(s_1=s_2,\) and hence the uniqueness is achieved.
Next, we will show that \(\varphi _u\) admits a global maximum. Let \(\Omega _0^\pm :=\{(x,y)\in \mathbb {R}^N:u^\pm (x,y)\ne 0\}.\) Then \(|\Omega _0^\pm |>0\) and
Thus
Observing that
it follows from (2.23), \((\mathrm{f}_3)\) and Fatou’s Lemma that
and
Hence, \(\varphi _u(t,s)\rightarrow -\infty \) as \(|(t,s)|\rightarrow \infty .\) So, by the continuity, we conclude that \(\varphi _u\) admits a global maximum \((\hat{t},\hat{s})\in [0,\infty )^2.\) We notice that \([tu^+]_\alpha ^2+[su^-]_\alpha ^2\le [tu^++su^-]_\alpha ^2\) and
Therefore
This together with the fact that \( \max _{t\ge 0} \varphi _u(t,0),\max _{s\ge 0}\varphi _u(0,s)>0\) leads to
which shows that \(\hat{t},\hat{s}>0.\) Consequently \((\hat{t},\hat{s})\) is a critical point with positive coordinates. By the uniqueness of \((t_+,s_-),\) we deduce that \((\hat{t},\hat{s})=(t_+,s_-),\) and hence \((t_+,s_-)\) is an unique global maximum. This finishes the proof of Lemma 2.6. \(\square \)
Lemma 2.9
Let \(\{u_n\}\subset \mathcal {M}.\) If \(u_n\rightharpoonup u\) weakly in \(E_\alpha ,\) then \(u^\pm \ne 0.\)
Proof
For all \(v\in \mathcal {M},\) we have
Therefore, using \((\mathrm{f}_1)\)–\((\mathrm{f}_2)\) and Lemma 2.2, for \(\varepsilon >0,\) there exists \(C_\varepsilon ,\) such that
Letting \(\varepsilon <\frac{1}{||V^{-1}||_\infty },\) we get
Let \(u_n\rightharpoonup u\) weakly in \(E_\alpha .\) It follows from (2.24) that
By \((\mathrm{f}_1)\)–\((\mathrm{f}_2)\), we have
Then
which implies that \(u^\pm \ne 0.\) \(\square \)
Remark 2.10
We have
being \(\mathcal {M}\subset \mathcal {N}.\)
Proof of Theorem 1.1
Let \(\{u_n\}\subset \mathcal {M}\) be a minimizing sequence of I, that is
Let us first prove that \(\{u_n\}\) is bounded in \(E_\alpha .\) Suppose that up to a subsequence \(||u_n||_{E_\alpha }\rightarrow \infty \) and set \(v_n=\frac{u_n}{||u_n||_{E_\alpha }}.\) Then \(\{v_n\}\) is bounded in \(E_\alpha .\) So, in view of Lemma 2.2, we may assume that
Since \(||u_n||_{E_\alpha }v_n^++||u_n||_{E_\alpha }v_n^-=u_n\in \mathcal {M},\) by Lemma 2.6,
Therefore, for all \(t>0\) and \(n\in \mathbb {N},\)
If \(v=0,\) then (2.27)–(2.29) imply
which is a contradiction. Consequently \(v\ne 0.\) Then, \(|\Omega _0|>0,\) where \(\Omega _0=\{(x,y):v(x,y)\ne 0\}.\)
Dividing \(I(u_n)\) by \(||u_n||_{E_\alpha }^4\) and using (2.28), \((\mathrm{f}_3)\) and Fatou’s lemma, we get
This is impossible and hence \(\{u_n\}\) is bounded in \(E_\alpha .\) Then \(u_n\rightharpoonup u\) in \({E_\alpha }.\) From Lemma 2.9, we infer that \(u^\pm \ne 0.\) Applying Lemma 2.6, there exist \(t_+,s_->0\) such that \(t_+u^++s_-u^-\in \mathcal {M}\) and
Since \(u_n\rightharpoonup u\) and \(u_n\in \mathcal {M}\), it follows from (2.25) and Fatou’s lemma that
Similar to the proof of Claim 2.8, we see that \(t_+,s_-\le 1.\) It follows from \((\mathrm{f}_4)\) and (2.25)–(2.26) that
This yields \(I(t_+u^++s_-u^-)=c_\infty ^\mathcal {M}.\) Arguing as in the proof of Claim 2.8, we derive that \(t_+=s_-=1,\) and so
Now, we show that \(I'(u)=0.\) Suppose by contradiction that \(I'(u)\ne 0.\) Then, by the continuity of \(I',\) there exist \(\nu ,\varrho >0\) such that
Let \(0<\mathrm{a}_1<1<\mathrm{a}_2\) with \(\mathrm{a}_2-\mathrm{a}_1<\frac{\varrho }{\sqrt{2}||u||_{E_\alpha }},\) and \(D=(\mathrm{a}_1,\mathrm{a}_2)\times (\mathrm{a}_1,\mathrm{a}_2).\) Define the function \(\gamma _u:\overline{D}\rightarrow {E_\alpha }\) by
Then \(I(\gamma _u(1,1))=c_\infty ^\mathcal {M},\) and by Lemma 2.6(ii), \(I(\gamma _u(t,s))<c_\infty ^\mathcal {M}\) for all \((t,s)\in \overline{D}\backslash \{(1,1)\}.\) Therefore
In view of (2.31) and [34, Lemma 2.3], for \(\varepsilon <\min \left\{ \frac{\nu \varrho }{8},\frac{c_\infty ^\mathcal {M}-\varpi }{2}\right\} ,\) there exists \(\eta \in C([0,1]\times {E_\alpha },{E_\alpha })\) verifying
- \(\eta _1)\):
-
\(\eta (t,v)=v\) if \(v\not \in I^{-1}([c_\infty ^\mathcal {M}-2\varepsilon ,c_\infty ^\mathcal {M}+2\varepsilon ]);\)
- \(\eta _2)\):
-
\(I(\eta (1,v))\le c_\infty ^\mathcal {M}-\varepsilon \) for all \(v\in E_\alpha \) with \(||v-u||_{E_\alpha }\le \varrho \) and \(I(v)\le c_\infty ^\mathcal {M}+\varepsilon ; \)
- \(\eta _3)\):
-
\(I(\eta (1,v))\le I(\eta (0,v))=I(v)\) for all \(v\in {E_\alpha }.\)
We claim that
Indeed, by Lemma 2.6,
On the other hand, we have
thus \(||\gamma _u(t,s)-u||_{E_\alpha }<\varrho \) for all \((t,s)\in \overline{D}.\) Therefore, \((\eta _2)\) implies \(I(\eta (1,\gamma _u(t,s)))\le c_\infty ^\mathcal {M}-\varepsilon ,\) and hence (2.33) holds.
Now, we show that
Let
and
By direct computation
and
From \(\langle I'(u^++u^-),u^+\rangle =0,\) we entail
By \((\mathrm{f}_4),\) we see that
Combining (2.35) and (2.37)–(2.38), we obtain
Similarly, we have
and
From (2.36) and (2.39)–(2.41), we deduce
Therefore,
Note that (1, 1) is the unique pre-image of (0, 0) by \(\phi _0,\) thus (1, 1) is the unique regular point of \(\phi _0.\) By the Brouwer degree theory,
By (2.32) for all \((t,s)\in \partial D\),
This together with \((\eta _1)\) gives \(\eta (1,\gamma _u(t,s)))=\gamma _u(t,s)\) for all \((t,s)\in \partial D.\) Hence
which implies \(\phi _1(t_0,s_0)=(0,0)\) for some \((t_0,s_0)\in D.\) Consequently
but this contradicts (2.33). We conclude that u is a critical point of I and so it is a sign-changing solution of (1.1).
If f is odd, then I is even. In view of Lemma 2.4 and Remark 2.5, \(\Psi \) is bounded below in \(S_1.\) By standard arguments and Lemma 2.3, we see that \(\Psi \) satisfies (PS) condition on \(S_1.\) According to [29, Theorem 8.10] and Lemma 2.4, we deduce that I has infinitely many critical points, which completes the proof of Theorem 1.1. \(\square \)
References
Ambrosio, V.; Figueiredo, G.M.; Isernia, T.; Molica Bisci, G.: Sign-changing solutions for a class of zero mass nonlocal Schrödinger equations. Adv. Nonlinear Stud. 19(1), 113–132 (2019)
Ambrosio, V.; Isernia, T.: Concentration phenomena for a fractional Schödinger–Kirchhoff type equation. Math. Methods Appl. Sci. 41(2), 615–645 (2018)
Ambrosio, V.; Isernia, T.: A multiplicity result for a fractional Kirchhoff equation in \({\mathbb{R}}^{N}\) with a general nonlinearity. Commun. Contemp. Math. 20(5), 1750054 (2018)
Ambrosio, V.; Isernia, T.: Sign-changing solutions for a class of Schrödinger equations with vanishing potentials. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29(1), 127–152 (2018)
Applebaum, D.: Lévy processes from probability to finance and quantum groups. Not. Am. Math. Soc. 51, 1336–1347 (2004)
Barles, G.; Chasseigne, E.; Imbert, C.: Hölder continuity of solutions of second-order nonlinear elliptic integro-differential equations. J. Eur. Math. Soc. 13, 1–26 (2011)
Bartsch, T.; Weth, T.: Three nodal solutions of singularly perturbed elliptic equations on domains without topology. Ann. Inst. Henri Poincaré Anal. Non Linéaire 22(3), 259–281 (2005)
Bartsch, T.; Weth, T.; Willem, M.: Partial symmetry of least energy nodal solutions to some variational problems. J. Anal. Math. 96, 1–18 (2005)
Bartsch, T.; Liu, Z.; Weth, T.: Sign changing solutions of superlinear Schrödinger equations. Commun. Partial Differ. Equ. 29(1–2), 25–42 (2004)
Bucur, C., Valdinoci, E.: Nonlocal diffusion and applications. Lecture Notes of the Unione Matematica Italiana, vol. 20, pp. xii+155. Unione Matematica Italiana, Bologna. ISBN: 978-3-319-28738-6; 978-3-319-28739-3 (2016)
Caffarelli, L.: Some nonlinear problems involving non-local diffusions. In: ICIAM 07-6th International Congress on Industrial and Applied Mathematics, Eur. Math. Soc. Zürich, pp. 43–56 (2009)
Caffarelli, L.: Nonlocal diffusions, drifts and games. Nonlinear Partial Differ. Equ. Abel Symp. 7, 37–52 (2012)
Chang, K., Gao, Q.: Sign-changing solutions for the stationary Kirchhoff problems involving the fractional Laplacian in \({\mathbb{R}}^{N}\). arXiv:1701.03862 (2017)
Chen, S., Tang, X., Liao, F.: Existence and asymptotic behavior of sign-changing solutions for fractional Kirchhoff-type problems in low dimensions. NoDEA Nonlinear Differ. Equ. Appl. 25(5), Art. 40, 23 (2018)
Esfahani, A.: Existence of solutions of class of nonlinear nonlocal problems involving the potential. Chaos Solitons Fractals 119, 1–7 (2019)
Esfahani, A.: Anisotropic Gagliardo-Nirenberg inequality with fractional derivatives. Z. Angew. Math. Phys. 66, 3345–3356 (2015)
Farina, A.; Valdinoci, E.: Regularity and rigidity theorems for a class of anisotropic nonlocal operators. Manuscr. Math. 153, 53–70 (2017)
Fiscella, A.; Valdinoci, E.: A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 94, 156–170 (2014)
Frank, R.L.; Lenzmann, E.: Uniqueness and nondegeneracy of ground states for \((-\Delta )^sq+q-q^{\alpha +1}=0\) in \(\mathbb{R}\). Acta Math. 210, 261–318 (2013)
Gou, T.X.; Sun, H.R.: Solutions of nonlinear Schrödinger equation with fractional Laplacian without the AR condition. Appl. Math. Comput. 257, 409–416 (2015)
Isernia, T.: Sign-changing solutions for a fractional Kirchhoff equation. Nonlinear. Anal. 190, 111623 (2020)
Kirchhoff, G.: Vorlesungen uber Mechanik, 3rd edn. Teubner, Leipzig (1883)
Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. 268, 298–305 (2000)
Massar, M.: Infinitely many radial solutions for a nonlocal equation involving an anisotropic operator. J. Nonlinear Funct. Anal. 5, 6 (2020). https://doi.org/10.23952/jnfa.2020.29
Massar, M.; Talbi, M.: On a class of p-fractional Laplacian equations with potential depending on parameter. Math. Methods. Appl. Sci. 43, 2721–2734 (2020)
Mingqi, X.; Rǎdulescu, V.D.; Zhang, B.L.: Combined effects for fractional Schrödinger–Kirchhoff systems with critical nonlinearities. ESAIM Control Optim. Calc. Var. 24, 1249–1273 (2018)
Pan, N.; Zhang, B.; Cao, J.: Degenerate Kirchhoff-type diffusion problems involving the fractional p-Laplacian. Nonlinear Anal. Real World Appl. 37, 56–70 (2017)
Ribaud, F.; Vento, S.: Local and global well-posedness results for the Benjamin–Ono–Zakharov–Kuznetsov equation. Discrete Contin. Dyn. Syst. 37, 449–483 (2017)
Rabinowitz, P.H.: Minimax methods in critical point theory with applications to differential equations. In: CBMS Reg. Conf. Ser. Math., vol. 65. American Mathematical Society, Providence (1986)
Servadei, R.; Valdinoci, E.: Variational methods for non-local operators of elliptic type. Discrete Contin. Dyn. Syst. 33(5), 2105–2137 (2013)
Shao, L.; Chen, H.: Existence and concentration result for a class of fractional Kirchhoff equations with Hartree-type nonlinearities and steep potential well. C. R. Acad. Sci. Paris Ser. I(356), 489–497 (2018)
Szulkin, A.; Weth, T.: The method of Nehari manifold. In: Gao, D.Y., Montreanu, D. (eds.) Handbook of Nonconvex Analysis and Applications, pp. 597–632. International Press, Boston (2010)
Wei, Y.; Su, X.: Multiplicity of solutions for non-local elliptic equations driven by the fractional Laplacian. Calc. Var. Partial Differ. Equ. 52, 95–124 (2015)
Willem, M.: Minimax Theorems. Birkhäuser, Basel (1996)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no conflict of interest regarding the publication of this paper.
Funding
Not applicable.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Massar, M. On a class of Kirchhoff equations involving an anisotropic operator and potential. Arab. J. Math. 10, 185–199 (2021). https://doi.org/10.1007/s40065-020-00304-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-020-00304-y