Journal of Function Spaces
Volume 2019 (2019), Article ID 6059459, 11 pages
https://doi.org/10.1155/2019/6059459

Research Article

Multiplicity Results for a Class of Kirchhoff-Schrödinger-Poisson System Involving Sign-Changing Weight Functions

Dandan Yang and Chuanzhi Bai

Department of Mathematics, Huaiyin Normal University, Huaian, Jiangsu 223300, China

Correspondence should be addressed to Chuanzhi Bai; czbai8@sohu.com

Received 13 March 2019; Accepted 24 April 2019; Published 2 June 2019

Academic Editor: Alberto Fiorenza

Copyright © 2019 Dandan Yang and Chuanzhi Bai. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper deals with the Kirchhoff-Schrödinger-Poisson system involving sign-changing weight functions. We prove the existence and multiplicity of solutions to the system. Our main results are based on the method of Nehari manifold.

1. Introduction

In this paper, we consider the following Kirchhoff-Schrödinger-Poisson system with sign-changing weight functions:

where , , , , , and .

We may assume that the weight functions and satisfy the following conditions:

(H1) and where , and in addition a.e. in in case .

(H2) , and , where .

When , system (1) is the following Kirchhoff-type equation:

The Kirchhoff-type equation was first put forward by Kirchhoff [1] as an extension of the classical D’Alembert wave equation for free vibrations of elastic string. Since the Kirchhoff-type problems arise in various models of physical and biological systems, many researchers have studied these problems in recent years; see [2–8] and references therein.

Recently, in [9], using the symmetric mountain pass theorem, Zhao, Zhu, and Li investigated the existence of infinitely many solutions to system (1) with the nonlinearity being replaced by , in which has sublinear growth in .

When , , and the nonlinearity is replaced by , system (1) reduces to the following Schrodinger-Poisson system:

which has been first introduced in [10] as a physical model describing solitary waves interacting with its own electrostatic field in quantum mechanics. For more physical background of the system (3), we refer the readers to [11–13] and the references therein. In recent years, a great deal of work has been done in the study of (3) with and via variational methods and critical point theory under various hypotheses on the potential and the nonlinear term ; see [14–20] and the references cited there.

Motivated and inspired by [9, 21, 22] and the aforementioned works, in this paper, we investigate the existence and multiplicity of solutions to system (1) involving sign-changing weight functions. The main results we get are based on Nehari manifold. This article is organized as follows. In Section 2, we give some notations and preliminaries. Section 3 is devoted to the proof of our theorems.

2. Preliminaries

Let be the Sobolev space equipped with the norm . Let with the norm .

Define

For , , the following hypotheses hold:

(H3) , . For every , the set has finite measure.

(H4) , and .

It is known that from (H3) is a Hilbert space with the inner product and endowed with the norm

Lemma 1 (see [9]). By conditions (H3) and (H4), is continuously embedded into Thus, the embedding is continuous for , and then there exists such that

Lemma 2 (see [9]). For any , there exists a unique which solves the following equation:

Moreover, for any , can be expressed in the following form:

Lemma 3 (see [9]). For any , we have

(i) and .(ii).(iii)If in , then in and in .

Now, we define the energy functional associated with problem (1) by

By [9], we know that is well defined and with

Obviously, if is a critical point of , then the pair is a solution of system (1).

The best Sobolev constant is defined as follows:

The Nehari manifold for is defined as

The Nehari manifold is closed linked to the behavior of functions of the form for named fibering maps [23]. If , we have

and

Clearly,

which implies that for and , if and only if ; i.e., positive critical points of correspond to points on the Nehari manifold. In particular, if and only if . Therefore, define

For each , we have

If , then , and it follows from (17) and (18) that

and

Lemma 4. If (H1)-(H4) hold, then the energy functional is coercive and bounded below on .

Proof. For , we have by Holder and Sobolev inequalities that

where . Thus is coercive and bounded below on .

Lemma 5. Assume that (H1)-(H4) hold. There exists such that, for any , we have .

Proof. If not, that is for each , then by (19) and the Holder and Sobolev inequalities we have for that

which implies that

and so

On the other hand, we obtain by (20) and the Holder and Sobolev inequalities that

which implies that

If is sufficiently small, then (24) contradicts with (26). Thus, we conclude that there exists such that for .

Let

From Lemma 5, for , we have and define

Lemma 6.  

(i)If , then .(ii)If , then .

The proof is an immediate result from (19) and (20).

Define the function as follows:

Clearly, if and only if . Furthermore,

which implies that for . That is, (or ) if and only if (or ).

Set

Lemma 7. Assume that (H1)-(H4) hold. Let . Then for each and , we have the following.
(1) If , then there exists a unique such that and

(2) If , then there exists a unique such that , and

Proof. From (29) and (30), we have that , as , and . Thus there exists a unique such that is increasing on and decreasing on and . Moreover, is the root of

which implies that

From (35), we obtain

Thus, we have by (35), (36), and the Holder and Sobolev inequalities that

Case 1 []. Then has unique solution and . On the other hand, we have

and

Therefore, or . For , we obtain

for . Thus, . Furthermore, we have

Let

Similar to the argument in the function , we get that achieves its maximum at . Thus, we have

Case 2 []. By (37),

Then there exist and such that ,

Moreover, we have and . Thus, there are two multiplies of lying in , that is, and , and for each and for each . Hence, and

Let

(H5) , and .

Remark 8. If , then , which implies that .

Lemma 9. Assume that conditions (H1)-(H5) are satisfied; then we have .

Proof. For , we obtain

Hence, we have

which implies that .

3. Main Results

Using the idea of Ni-Takagi [24], we obtain the following Lemma.

Lemma 10. For each , there exist and a differentiable function such that , the function , and

for all , where

Proof. For , we define a function by

Then and

From the implicit function theorem, we know that there exist and a differentiable function such that ,

where is as in (50), and

which is equivalent to

which implies that .

By means of the similar technique used in Lemma 10, we have the following consequence.

Lemma 11. For each , there exist and a differentiable function such that , the function , and

for all , where is as in (50).

Let

Lemma 12. Assume that (H1)-(H5) hold. If , then for ,
(i) there exists a minimizing sequence such that

(ii) there exists a minimizing sequence such that

Proof. By the Ekeland variational principle [11] and Lemma 5, there exists a minimizing sequence such that

and

Let be large enough; by Lemma 9, we get

which implies that

This implies and by using (61), (63), and the Holder inequality, we obtain

and

In the following, we will prove that

In fact, by using Lemma 10 with to get the functions for some , such that , fixed and we choose . Let with and let . Set ; since , we deduce from (61) that

and by the Mean Value Theorem, we get

Therefore,

By and (69) it follows that

Hence,

Since

and

taking limit in (71), we obtain

for some constant , independent of . In the following, we will show that is uniformly bounded in . From (49), (65), and the Holder inequality, we obtain for some that

We only need to prove that

for some and large enough. If (76) fails, then there exists a subsequence such that

Combining (77) with (64), we may find a suitable constant such that

By (77) and , we have

Furthermore, we obtain by (77) and (79) that

which implies that

Let

where

In view of (77), it is easy to know that

Thus,

But, by (78), (81), and ,

which contradicts (85). Hence, we obtain

This completes the proof of (i). Similarly, we can prove (ii) by using Lemma 11.

Theorem 13. Assume that (H1)-(H5) hold. For each ( is as in Lemma 12), the functional has a minimizer in satisfying that

(1);(2) is a solution of (1).

Proof. By Lemma 12 (i), there exists a minimizing sequence for on such that

From Lemma 9 and the compact imbedding theorem, we know that there exist a subsequence and such that

and

In the following we will prove that . In fact, if not, by (90) and the Holder inequality we can get that

as . Hence,

and

which contradicts as . Moreover,

Hence, is a nonzero solution of (1) and . Next, we will prove that . By Lemma 5, we get that

By using in [9], we obtain that

Combining Fatou’s lemma and (96), we have

Hence, . Moreover, we have . In fact, if , by Lemma 7, there are unique and such that and ; we have . Since

there exists such that . By means of Lemma 4, we get

which is a contradiction. Since and , we have that is a solution of (1) in virtue of Lemma 6.

Similarly, we can obtain the theorem of existence of a local minimum for on as follows.

Theorem 14. Assume that (H1)-(H5) hold. For each , the functional has a minimizer in satisfying that

(1);(2) is a solution of (1).

Finally, we give the main result of this paper as follows.

Theorem 15. Suppose that conditions (H1)-(H5) hold. Then there exists such that for , (1) has at least two solutions.

Proof. From Theorems 13 and 14, we have that (1) has two solutions and such that , . Since , we get that and are different, which completes the proof.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

Authors’ Contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

Acknowledgments

This work is supported by Natural Science Foundation of China (11571136).

References

G. Kirchhoff, Vorlesungen uber mathematische physik, BG Teubner, 1987.

B. Cheng and X. Wu, “Existence results of positive solutions of Kirchhoff type problems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 10, pp. 4883–4892, 2009.

J. Liu, J.-F. Liao, and C.-L. Tang, “Positive solutions for Kirchhoff-type equations with critical exponent in RN,” Journal of Mathematical Analysis and Applications, vol. 429, no. 2, pp. 1153–1172, 2015.

A. Fiscella and E. Valdinoci, “A critical Kirchhoff type problem involving a nonlocal operator,” Nonlinear Analysis: Theory, Methods & Applications, vol. 94, pp. 156–170, 2014.

W. Feng and X. Feng, “Multiple solutions for kirchhoff equations under the partially sublinear case,” Journal of Function Spaces, vol. 2015, Article ID 610858, 4 pages, 2015.

W. Shuai, “Sign-changing solutions for a class of Kirchhoff-type problem in bounded domains,” Journal of Differential Equations, vol. 259, no. 4, pp. 1256–1274, 2015.

Y. Li, F. Li, and J. Shi, “Existence of a positive solution to Kirchhoff type problems without compactness conditions,” Journal of Differential Equations, vol. 253, no. 7, pp. 2285–2294, 2012.

K. Wu and F. Zhou, “Nodal solutions for a Kirchhoff type problem in RN,” Applied Mathematics Letters, vol. 88, pp. 58–63, 2019.

G. Zhao, X. Zhu, and Y. Li, “Existence of infinitely many solutions to a class of Kirchhoff-Schrödinger-Poisson system,” Applied Mathematics and Computation, vol. 256, pp. 572–581, 2015.

V. Benci and D. Fortunato, “An eigenvalue problem for the Schrödinger-Maxwell equations,” Topological Methods in Nonlinear Analysis, vol. 11, no. 2, pp. 283–293, 1998.

P.-L. Lions, “Solutions of Hartree-Fock equations for Coulomb systems,” Communications in Mathematical Physics, vol. 109, no. 1, pp. 33–97, 1987.

P. A. Markowich, C. A. Ringhofer, and C. Schmeiser, Semiconductor Equations, Springer, Vienna, Austria, 1990.

V. Benci and D. Fortunato, “Solitary waves of the nonlinear Klein-Gordon equation coupled with the Maxwell equations,” Reviews in Mathematical Physics, vol. 14, no. 4, pp. 409–420, 2002.

Z. Wang and H.-S. Zhou, “Positive solution for a nonlinear stationary Schrodinger-Poisson system in R³,” Discrete and Continuous Dynamical Systems - Series A, vol. 18, no. 4, pp. 809–816, 2007.

J. Sun, H. Chen, and J. J. Nieto, “On ground state solutions for some non-autonomous Schrodinger-Poisson systems,” Journal of Differential Equations, vol. 252, no. 5, pp. 3365–3380, 2012.

L. Zhao and F. Zhao, “On the existence of solutions for the Schrödinger-Poisson equations,” Journal of Mathematical Analysis and Applications, vol. 346, no. 1, pp. 155–169, 2008.

D. Ruiz, “The Schrödinger-Poisson equation under the effect of a nonlinear local term,” Journal of Functional Analysis, vol. 237, no. 2, pp. 655–674, 2006.

S. Khoutir, “Infinitely many high energy radial solutions for a class of nonlinear Schrodinger-Poisson systems in R³,” Applied Mathematics Letters, vol. 90, pp. 139–145, 2019.

M. Shao and A. Mao, “Multiplicity of solutions to Schrodinger-Poisson system with concave-convex nonlinearities,” Applied Mathematics Letters, vol. 83, pp. 212–218, 2018.

E. G. Murcia and G. Siciliano, “Least energy radial sign-changing solution for the Schrodinger-Poisson system in R³ under an asymptotically cubic nonlinearity,” Journal of Mathematical Analysis and Applications, vol. 474, no. 1, pp. 544–571, 2019.

T.-F. Wu, “Multiplicity results for a semi-linear elliptic equation involving sign-changing weight function,” Rocky Mountain Journal of Mathematics, vol. 39, no. 3, pp. 995–1011, 2009.

C. Bai, “Multiplicity results for a fractional Kirchhoff equation involving sign-changing weight function,” Boundary Value Problems, Paper No. 212, 16 pages, 2016.

P. Drabek and S. I. Pohozaev, “Positive solutions for the P-Laplacian application of the fibrering method,” Proceedings of the Royal Society of Edinburgh, Section: A Mathematics, vol. 127, no. 4, pp. 703–726, 1997.

W.-M. Ni and I. Takagi, “On the shape of least energy solution to a Neumann problem,” Communications on Pure and Applied Mathematics, vol. 44, no. 7, pp. 819–851, 1991.