- Research
- Open access
- Published:
Multiplicity results for the Kirchhoff type equation via critical groups
Boundary Value Problems volume 2018, Article number: 184 (2018)
Abstract
In this paper, we will compute critical groups at zero for the Kirchhoff type equation using the property that critical groups are invariant under homotopies preserving isolatedness of critical points. Using this results, we can get more nontrivial solutions when the functional of this equation is coercive.
1 Introduction
Let Ω be a bounded domain of \({\mathbb{R} }^{N}\) with sufficiently regular boundary ∂Ω, and we study the following Kirchhoff type equation:
where \(a,b>0\) are real constants. The problem (1.1) is related to the Kirchhoff’s model, we refer to [8, 10] for details and further references.
Moreover, if we assume that
- (\(f_{0}\)):
-
\(f \in\mathcal{C}^{1}(\overline{\Omega} \times\mathbb {R},\mathbb {R})\), \(f(x,0)=0\) and there is \(c>0\) such that
$$ \bigl\vert f'(x,u) \bigr\vert \leq c\bigl(1+ \vert u \vert ^{\gamma-2}\bigr), \quad \text{for some } 2\leq\gamma< 2^{*}= \textstyle\begin{cases} +\infty, &N=1,2, \\ \frac{2N}{N-2},&N\geq3, \end{cases} $$
then weak solutions of Eq. (1.1) correspond to critical points of the \(\mathcal{C}^{2}\) functional \(I: H_{0}^{1}(\Omega)\to\mathbb{R}\) defined by
where \(F(x,u)=\int_{0}^{u}f(x,t)\,dt\), and \(H_{0}^{1}(\Omega)\) is the Hilbert space endowed with the norm
In the sequel, we assume
are the eigenvalues of −Δ in \(H_{0}^{1}(\Omega)\).
In recent years, there have been many papers which have studied the Kirchhoff type problems by variational methods. When the nonlinearity f is superlinear, the existence results of solutions can be found in [13, 18, 19, 26], and for the case where the nonlinearity is asymptotically linear, we refer to [4, 15, 24, 26] for details and further references. For example, by using the condition
where \(0\leq p(x)\in L^{\infty}(\Omega )\) and \(\|p(x)\|_{\infty}<\lambda _{1}\), one shows [4] that 0 is a local minimizer of I. Moreover, the authors in [19] assume
where δ, \(C_{1}\), \(C_{2}\) are positive constants, and they show that the functional I has a local linking at zero.
In particular, using the Yang index, the authors in [15] consider the eigenvalue problem
and get an unbounded sequence of eigenvalues
Furthermore, using this sequence of eigenvalues, when the nonlinearity f is superlinear near zero but asymptotically 4-linear at infinity, in [18] one computes the relevant critical groups and obtains nontrivial solutions.
In this paper, the main aim is to give some results on the critical groups estimates at zero for I and its applications to the existence and multiplicity results for equation (1.1) by Morse theory. Therefore, we recall the following notions (see [2, 14]). We assume that \(u_{0}\) is an isolated critical point of I, U is an isolated neighborhood of \(u_{0}\), and \(I(u_{0})=c\in\mathbb{R}\), the group
is called the ∗th critical group of the functional I at \(u_{0}\), where \(I^{c}=\{u\in H_{0}^{1}(\Omega): I(u)\leq c\}\), and \(H_{*}(\cdot,\cdot)\) are the singular relative homological groups with a coefficient group \({\mathbb{F}}\).
We impose on f the following non-resonance and resonance conditions:
- (\(f_{1}\)):
-
there exists \(\lambda \in\mathbb{R}\) such that
$$\lim_{|u|\to0}\frac{f(x,u)}{au}=\lambda ,\quad \text{uniformly in } x \in \Omega ; $$ - (\(f_{2}\)):
-
there exists \(\alpha>0\) such that
$$ug(x,u)\leq0, \quad \text{for } |u|\leq\alpha, x\in\Omega, $$where \(g(x,u)=f(x,u)-a\lambda _{1}u\).
Our results read as follows.
Theorem 1.1
Assume that (\(f_{0}\)) and (\(f_{1}\)) hold. If \(\lambda \in(\lambda _{k},\lambda _{k+1})\), then \(u=0\) is an isolated critical point of I such that
Theorem 1.2
Assume that (\(f_{0}\)), (\(f_{1}\)) and (\(f_{2}\)) hold. If \(\lambda =\lambda _{1}\), then \(u=0\) is an isolated critical point of I such that
Remark 1
Note that, for the semilinear elliptic equation, i.e., \(b=0\), Theorem 1.1 can be found in [2], now we can generalize the same results to Eq. (1.1) with any \(b>0\). However, we cannot directly use the methods in [2], because there are many difficulties to get the critical group estimates for the functional I. For example, although we can get a space decomposition according to the eigenfunctions which is the basis of linking theorem by (\(f_{1}\)), the second derivative of I in each critical point is complex, so that we are not sure that the generalized Morse splitting lemma can be used. In spite of these difficulties, we can obtain critical groups estimates at zero by using the basic properties of critical groups (see [3]), that is, critical groups are invariant under homotopies preserving isolatedness of critical points.
Remark 2
Obviously, (\(f_{2}\)) is known as one of the sign conditions in resonance problems. For the results of sign conditions with \(b=0\) we refer to [9, 11, 16, 17] for details and further references.
Using Theorem 1.1, we can also obtain some multiplicity results for Eq. (1.1). We make the following assumption:
- (\(f_{3}\)):
-
there exist \(M>0\) and \(\beta<\frac{a\lambda _{1}}{2}\) such that
$$F(x,u)-\frac{b}{4}\mu_{1}|u|^{4} \leq\beta u^{2},\quad \text{for } |u|\geq M, x\in \Omega , $$
and our next result reads as follows.
Theorem 1.3
Assume that \(N\leq3\), (\(f_{0}\)), (\(f_{1}\)) and (\(f_{3}\)) hold. If \(\lambda \in(\lambda _{k},\lambda _{k+1})\) with \(k\geq2\), then Eq. (1.1) has at least three nontrivial solutions.
Remark 3
Using similar conditions, the paper [25] has studied the Kirchhoff type equations involving the nonlocal fractional p-Laplacian and can get at least two nontrivial solutions by the three-critical point theorem (see [12, Theorem 2.1]). Because of the exact calculations of the critical groups at zero, our theorem can get more nontrivial solutions. Then our result is new.
Remark 4
For the semilinear elliptic equation, if the condition
holds, then the functional I with \(b=0\) is coercive ([7]). For Eq. (1.1), because of the existence of Laplacian operator, we can also prove that the functional I with \(b>0\) is coercive with (\(f_{3}\)). For other results of (1.1) we refer to [5, 7, 20,21,22,23, 25] and references therein.
This paper is organized as follows. The proofs of Theorems 1.1–1.3 are given in Sects. 2–4, respectively. In the sequel, we use the letter C to denote a suitable positive constant whose value may change from line to line.
2 Proof of Theorem 1.1
We first recall some notions and results for Morse theory (see, e.g., [2]). By (\(f_{1}\)), the functional I is a \(C^{2}\) functional with Fréchet derivatives
for all \(u,w\in H_{0}^{1}(\Omega)\).
Definition 2.1
If every sequence \(\{u_{n}\}\subset H_{0}^{1}(\Omega)\) with
possesses a convergent subsequence, then the functional I is said to satisfy the Palais–Smale (for short \((P.S)\)) condition.
Proposition 2.2
([3])
Assume \(\tau\in[0,1]\), let \(\Phi_{\tau}\in C^{1}(H_{0}^{1}(\Omega))\) and
If \(U\subset H_{0}^{1}(\Omega)\) is a closed neighborhood of \(u_{0}\) such that
-
(i)
\(\Phi_{\tau}\) satisfies the \((P.S)\) condition in U for all \(\tau\in[0,1]\),
-
(ii)
\(K(\Phi_{\tau})\cap U=\{u_{0}\}\) for all \(\tau\in[0,1]\),
-
(iii)
the mapping \(\tau\to\Phi_{\tau}\) is continuous between \([0,1]\) and \(C^{1}(U)\),
then we have
Lemma 2.3
Assume that (\(f_{0}\)) and (\(f_{1}\)) hold. If \(\lambda \in(\lambda _{k},\lambda _{k+1})\) then \(u=0\) is an isolated critical point of I.
Proof
Clearly, by \(f(x,0)=0\) we have \(u=0\) is a critical point of I. To see that \(u=0\) is isolated, we argue by contradiction: assume that there exists a sequence \((u_{n})\) in \(H_{0}^{1}(\Omega) \setminus \{0\}\) such that
Now, we set for all \(n\geqslant1\), \(v_{n}=u_{n}/\|u_{n}\|\), and passing to a further subsequence we can assume that
From (2.1), for all \(n\geqslant1\) and \(w\in H_{0}^{1}(\Omega )\), we have
By (\(f_{1}\)) we have
so the sequence\((\frac{f(x,u_{n})}{a\|u_{n}\|})\) is bounded in \(L^{2}(\Omega )\).
Choosing \(w=v_{n}-v\) in (2.3) and using the Hölder inequality we get
and the latter tends to 0 as \(n \to\infty\). Therefore we have \(v_{n}\to v\) in \(H_{0}^{1}(\Omega) \) and in particular \(\|v\|=1\).
Since \(\|u_{n}\|\to0\) (\(n\to\infty\)) and (2.2) holds, when we pass to the limit in (2.3) again and using (2.4), we get
which implies that λ is an eigenvalue of −Δ with v as an associated eigenfunction, contrary to the assumption \(\lambda \in(\lambda _{k},\lambda _{k+1})\). The proof is completed. □
Proof of Theorem 1.1
From Lemma 2.3, we know that \(u=0\) is an isolated critical point of I. Next, we will use Proposition 2.2 to compute the critical groups of zero.
(1) First we define the \(C^{2}\) functional
then, by (\(f_{1}\)) with \(\lambda \in(\lambda _{k},\lambda _{k+1})\), we know that \(u=0\) is an isolated nondegenerate critical point of \(I_{a}\) such that (see [2])
(2) Now define a homotopy by setting for \(u\in H_{0}^{1}(\Omega)\),
Then, by (\(f_{0}\)), \(J_{s}\in C^{1}(H_{0}^{1}(\Omega), \mathbb{R})\) and satisfies (P.S) condition on the bounded domain in \(H_{0}^{1}(\Omega )\) for any \(s\in[0,1]\). Clearly, \(u=0\) is a critical point for all \(s\in[0,1]\). We claim that there is a neighborhood U of 0 such that \(u=0\) is the only critical point of \(J_{s}\) in U for all \(s\in[0,1]\).
By contradiction, we assume that there exist sequences \(s_{n}\in[0,1]\) and \((u_{n})\) in \(H_{0}^{1}(\Omega)\setminus \{0\}\) such that
If we set \(v_{n}=u_{n}/\|u_{n}\|\), then passing to a further subsequence we can assume that
For any \(w\in H_{0}^{1}(\Omega)\), using (2.6) and (2.7) we get
Using the methods in the proof of Lemma 2.3, we deduce that \(v_{n}\to v\) in \(H_{0}^{1}(\Omega) \) and \(\|v\|=1\). Passing to the limit in (2.8) again we get a contradiction.
(3) Now, by the homotopy invariance of the critical groups in Proposition 2.2, we have
The proof is completed. □
3 Proof of Theorem 1.2
Now, we give the proof of Theorem 1.2.
Lemma 3.1
Assume that (\(f_{0}\)), (\(f_{1}\)) and (\(f_{2}\)) hold. If \(\lambda =\lambda _{1}\), then \(u=0\) is an isolated critical point of I.
Proof
By contradiction, assume that \(\|u_{n}\| \to0\), \({I}'(u_{n})=0\) and \(u_{n}\not\equiv0\), then by the elliptic estimates we have
this together with (\(f_{2}\)) and \(u_{n}\not\equiv0\) gives
which is a contradiction. Then \(u=0\) is an isolated critical point of the functional I. □
Assume that \(\theta\in C^{1}(\mathbb{R},[-\alpha,\alpha])\) is a non-decreasing mapping with
where α is defined in \((f_{2})\). We define a functional \(\Phi_{\tau}\in C^{1}(H_{0}^{1}(\Omega),\mathbb{R})\) by setting (see for example [6, Lemma 4.4])
where \(G(x,u)=\int_{0}^{u}g(x,t)\,dt\), and \(\tau\in[0,1]\). Moreover, for any \(\tau\in[0,1]\), by \((f_{0})\) we also know that \(\Phi_{\tau}(u)\) satisfies (P.S) condition on any bounded domain in \(H_{0}^{1}(\Omega)\).
Proof of Theorem 1.2
By Lemma 3.1, we know that \(u=0\) is an isolated critical point of I.
(1) First, we want to prove that there is a ball \(\overline {B}_{\varepsilon}(0)\) with \(\varepsilon>0\) small enough such that
By contradiction, we assume there exist sequences \(\tau_{n}\in[0,1]\) and \(u_{n}\in H_{0}^{1}(\Omega)\setminus \{0\}\) such that
By the elliptic estimates we have
which implies that, for n big enough,
then \(\theta(u_{n})=u_{n}\) and \(\Phi_{0}(u_{n})=\Phi_{\tau_{n}}(u_{n})\) by definition (3.1). Now, for n big enough, we get
which is a contradiction with the fact that \(u=0\) is an isolated critical point of I in Lemma 3.1. Then (3.2) is true.
(2) Next, we want to prove
Indeed, from (3.1), we know \(|\theta(u)|\leq\alpha\) for \(u\in H_{0}^{1}(\Omega)\), then (\(f_{2}\)) gives
which implies that 0 is a local minimizer of \(\Phi_{1}\), so (3.3) is true.
(3) Now, by (3.2), (3.3) and the homotopy invariance of the critical groups in Proposition 2.2, we have
The proof is completed. □
4 Proof of Theorem 1.3
We introduce two truncated energy functionals by setting
where \(F_{\pm}(x,u)=\int_{0}^{u}f_{\pm}(x,s)\,ds \) and
Clearly \(I_{\pm}\in C^{1}(H_{0}^{1}(\Omega), \mathbb{R})\). Obviously, a nonzero critical point \(u_{\pm}\) of \(I_{\pm}\) is a nontrivial non-negative (non-positive) solution of problem (1.1). Indeed, for any \(w\in H_{0}^{1}(\Omega)\) we have
Choosing \(w=u_{+}^{-}=\min\{u_{+},0\}\), we get \(\|u_{+}^{-}\|=0\). Therefore, \(u_{+}\geq0\) for a.e. \(x\in \Omega \). The case for \(I_{-}\) is similar.
Lemma 4.1
If (\(f_{0}\)) and (\(f_{3}\)) hold, then I and \(I_{\pm}\) satisfy the \((P.S)\) condition.
Proof
It suffices to show that I and \(I_{\pm}\) are coercive on \(H_{0}^{1}(\Omega)\). The following method is similar to [7]. For the functional I, by contradiction, there is a sequence \(\{u_{n}\}\subset H_{0}^{1}(\Omega)\) such that
If we set \(v_{n}=\frac{u_{n}}{\|u_{n}\|}\), then \(\|v_{n}\|=1\) and there is a \(v_{0}\in H_{0}^{1}(\Omega)\) such that
From the condition (\(f_{3}\)), we get
this together with (4.1) gives
then we obtain
On the other hand, by the variational characterization of \(\mu_{1}\) and the lower semicontinuity of the norm we get
which implies that
and
Therefore
Then we get \(|v_{0}|\neq0\) for a.e. \(x\in \Omega \), and by (4.2) we also have
Using \(\beta<\frac{a\lambda _{1}}{2}\), (4.3) and (4.4) give
this is a contradiction with (4.1).
The case of \(I_{+}\) (\(I_{-}\)) is similar. □
Let \(e_{1}>0\) be the eigenfunction associated with \(\lambda _{1}\).
Lemma 4.2
If (\(f_{1}\)) with \(k\geq2\) holds, then there exists \(t>0\) such that \(I_{\pm}(\pm te_{1})<0\).
Proof
By (\(f_{0}\)) and (\(f_{1}\)), for \(\varepsilon >0\) with \(\lambda _{k}-\varepsilon>\lambda _{1}\) there exists \(2<\nu\leq2^{*}\) such that
Then we get
The other case is similar. □
Proof of Theorem 1.3
\(I,I_{\pm}\) are coercive on \(H_{0}^{1}(\Omega)\) and satisfy the \((P.S)\) condition by Lemma 4.1. From Lemma 4.2, the functional I has a positive critical point \(u_{1}\) and a negative critical point \(u_{2}\) such that
Using the mountain pass lemma in [1], we know that equation has a solution \(u_{3}\) such that (see [2])
Moreover, using (\(f_{1}\)) with \(k\geq2\), Theorem 1.1 gives
which implies that \(u_{3}\neq 0\). The proof is completed. □
5 Conclusions
There are many difficulties if we want to obtain critical groups estimates for the Kirchhoff type equation; for example, we are not sure if the generalized Morse splitting lemma can be used. Then in this paper, by using the basic properties that critical groups are invariant under homotopies preserving the isolatedness of critical points, we can compute critical groups at zero when we impose on f the non-resonance and resonance conditions. Moreover, using these critical groups estimates our theorem can get more nontrivial solutions. The main results presented in this paper improve and generalize many results in [4, 19, 25].
References
Ambrosetti, A., Rabinowitz, P.H.: Dual variational methods in critical points theory and applications. J. Funct. Anal. 14, 349–381 (1973)
Chang, K.-C.: Infinite Dimensional Morse Theory and Multiple Solution Problems. Birkhäuser, Boston (1993)
Chang, K.-C., Ghoussoub, N.: The Conley index and the critical groups via an extension of Gromoll–Meyer theory. Topol. Methods Nonlinear Anal. 7, 77–93 (1996)
Cheng, B., Wu, X.: Existence results of positive solutions of Kirchhoff problems. Nonlinear Anal. 71, 4883–4892 (2009)
Fiscella, A., Pucci, P.: P-Fractional Kirchhoff equations involving critical nonlinearities. Nonlinear Anal., Real World Appl. 35, 350–378 (2017)
Iannizzotto, A., Liu, S., Perera, K., Squassina, M.: Existence results for fractional p-Laplacian problems via Morse theory. Adv. Calc. Var. 9, 101–125 (2016)
Jiu, Q., Su, J.: Existence and multiplicity results for Dirichlet problems with p-Laplacian. J. Math. Anal. Appl. 281, 587–601 (2003)
Kirchhoff, G.: Mechanik. Teubner, Leipzig (1883)
Li, S.-J., Willem, M.: Applications of local linking to critical point theory. J. Math. Anal. Appl. 189, 6–32 (1995)
Lions, J.L.: 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, Rio de Janeiro. North-Holland Math. Stud., vol. 30, pp. 284–346. North-Holland, Amsterdam (1978)
Liu, J.-Q.: A Morse index for a saddle point. Syst. Sci. Math. Sci. 2, 32–39 (1989)
Liu, J.-Q., Su, J.: Remarks on multiple nontrivial solutions for quasi-linear resonant problems. J. Math. Anal. Appl. 258, 209–222 (2001)
Mao, A., Zhang, Z.: Sign-changing and multiple solutions of Kirchhoff type problems without the P.S. condition. Nonlinear Anal. 70, 1275–1287 (2009)
Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Springer, Berlin (1989)
Perera, K., Zhang, Z.: Nontrivial solutions of Kirchhoff-type problems via the Yang index. J. Differ. Equ. 221, 246–255 (2006)
Su, J.: Semilinear elliptic boundary value problems with double resonance between two consecutive eigenvalues. Nonlinear Anal. 48, 881–895 (2002)
Su, J.: Existence and multiplicity results for classes of elliptic resonant problems. J. Math. Anal. Appl. 273, 565–579 (2002)
Sun, J., Liu, S.: Nontrivial solutions of Kirchhoff type problems. Appl. Math. Lett. 25, 500–504 (2012)
Sun, J., Tang, C.: Existence and multiplicity of solutions for Kirchhoff type equations. Nonlinear Anal. 74, 1212–1222 (2011)
Sun, M.: Multiplicity of solutions for a class of the quasilinear elliptic equations at resonance. J. Math. Anal. Appl. 386, 661–668 (2012)
Sun, M., Zhang, M., Su, J.: Critical groups at zero and multiple solutions for a quasilinear elliptic equation. J. Math. Anal. Appl. 428, 696–712 (2015)
Sun, Y.: Indirect boundary integral equation method for the Cauchy problem of the Laplace equation. J. Sci. Comput. 71, 469–498 (2017)
Xiang, M., Zhang, B., Qiu, H.: Existence of solutions for a critical fractional Kirchhoff type problem in \(\mathbb{R}^{N}\). Sci. China Math. 60, 1647–1660 (2017)
Yang, Y., Zhang, J.: Nontrivial solutions of a class of nonlocal problems via local linking theory. Appl. Math. Lett. 23, 377–380 (2010)
Zhang, B., Molica Bisci, G., Xiang, M.: Multiplicity results for nonlocal fractional p-Kirchhoff equations via Morse theory. Topol. Methods Nonlinear Anal. 49, 445–461 (2017)
Zhang, Z., Perera, K.: Sign changing solutions of Kirchhoff type problems via invariant sets of descent flow. J. Math. Anal. Appl. 317, 456–463 (2006)
Acknowledgements
The authors thank Professor Jiabao Su for many valuable discussions and suggestions.
Availability of data and materials
Not applicable.
Funding
This paper is supported by the NSFC (11771302, 11601353, 1174013), the fund of Beijing Education Committee (KM201710009012, 6943), the fund of North China University of Technology (XN018010, XN012).
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Wang, Z., Sun, M., Chen, Y. et al. Multiplicity results for the Kirchhoff type equation via critical groups. Bound Value Probl 2018, 184 (2018). https://doi.org/10.1186/s13661-018-1107-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1107-7