Journal of Function Spaces
Volume 2020 (2020), Article ID 2197207, 5 pages
https://doi.org/10.1155/2020/2197207

Research Article

Existence of Solutions for a Schrödinger–Poisson System with Critical Nonlocal Term and General Nonlinearity

Jiafeng Zhang, Wei Guo, Changmu Chu, and Hongmin Suo

School of Data Science and Information Engineering, Guizhou Minzu University, Guiyang 550025, China

Correspondence should be addressed to Jiafeng Zhang; jiafengzhang@163.com

Received 2 May 2020; Accepted 27 July 2020; Published 28 August 2020

Academic Editor: Gennaro Infante

Copyright © 2020 Jiafeng Zhang et al. 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.

We study the existence and multiplicity of nontrivial solutions for a Schrödinger–Poisson system involving critical nonlocal term and general nonlinearity. Based on the variational method and analysis technique, we obtain the existence of two nontrivial solutions for this system.

1. Introduction and Main Result

The Schrödinger–Poisson system is usually used to describe solitary waves for the nonlinear stationary Schrödinger equations interacting with an electromagnetic field. Since the introduction of the Schrödinger–Poisson system by Benci and Fortunato [1], it has been extensively studied. For more detailed information, we refer the interested readers to [2, 3] and the references therein.

In recent years, some researchers extensively studied the Schrödinger–Poisson system with critical growth in an unbounded domain and obtained interesting results under various suitable assumptions (see, e.g., [4–10]).

But there are currently only a few results for the following Schrödinger–Poisson systems with critical nonlocal terms in a bounded domain [11–13]:

where ; are real numbers; and is a continuous function satisfying some suitable assumptions. In [11], assuming that and , the author proved that system (1) has a positive ground state solution for any and , where is a real number and is the first eigenvalue of . Later, when , where is a real number, the authors in [12] studied system (1); they proved existence and nonexistence results of positive solutions when and existence of solutions in both the resonance and the nonresonance case for higher dimensions. For the case is a real number, , and , in [13]; when , authors proved that system (1) has at least two positive solutions if for some small enough, and when , system (1) has at least one positive solution for any .

On the basis of the above literature, this paper continues to study system (1), and intends to deal with the following Schrödinger–Poisson system with critical nonlocal term and general nonlinearity that without (AR) condition:

where is an open bounded domain with smooth boundary ,

is the critical Sobolev exponent, and .

Throughout this paper, we make the following assumptions:

(g₁) , and there exist constants with which is small enough and such that .

(g₂) There exists a constant big enough such that for any and large enough.

(g₃) There are constants and such that

The main difficulties in the present paper are to estimate the critical value and prove the boundedness of (PS) sequence due to the lack of compactness. In order to overcome the above difficulties, by analytic techniques, we shall give the estimate of critical value of associated functional so that system (2) has at least two nontrivial solutions.

Throughout this paper, we use the following notations:

(i)The space has the inner product and the norm , and the norm in is denoted by (ii) (respectively, ) denotes the closed ball (respectively, the sphere) of center zero and radius r, i.e., (iii),... denote various positive constants, which may vary from line to line(iv)Define the best constant which is attained by the functions for all , where .

Theorem 1. Assume that satisfies (g₁), (g₂), and (g₃). Then, system (2) possesses at least two distinct nontrivial function pair solutions.

Remark 2. Relative to [11, 12], the nonlinearity is of a pure power form in [11, 12], and in the present paper, it is a general nonlinearity. Hence, we make a substantial improvement on the works of the former.

2. Proof of Main Result

Before proving our Theorem 1, we need the following lemmas.

Lemma 3 ([12, 13]). For every fixed , there exists a unique that solves the second equation of (2), and

(i)(ii)For all (iii)(iv)

Hence, according to the standard arguments as those in [1], system (2) can be converted into the following boundary value problem:

In order to study the existence of nontrivial solutions to problem (3), we shall firstly consider the existence of nontrivial solutions of the following problem:

where

The energy functional corresponding to (4) is

where

is well defined with and

The critical points of the functional are just weak solutions of problem (4). Let define a cutoff function such that

where for

Put ; hence, .

Lemma 4 ([14, 15]). satisfies the following estimates:

Lemma 5. Assume (g₁) and (g₃) hold; let be a sequence such that , where. Then, there exists such that , up to a subsequence. and is a nontrivial solution of problem (4).

Proof. First, we prove that is bounded in . To prove the boundedness of , arguing by contradiction, suppose that . Set . Then, and for . By (g₃), we have

where , which implies

Passing to a subsequence, we may assume that in , then in , and a.e. in . Hence, it follows from (13) that , and

where is chosen such that and is sufficiently big constant, which is a contradiction. Thus, is bounded in and there exists such that , up to a subsequence. Furthermore, by the weak continuity of . If in , since the term is subcritical, then implies

By Lemma 3-(iii), one has

It follows from (15) and (16) that

If , it contradicts . Therefore,

By (15) and (18), we get

which contradicts . Thus, and it is a nontrivial solution of problem (4).

Lemma 6. Assume that satisfies (g₁) and (g₂). Then, for small enough, .

Proof. For , we consider the functions

where the above inequality comes from Lemma 3-(iv).

Notice that , and as is sufficiently small. Therefore, is attained for some . Since

we have

where the nonnegativity of comes from (g₂), (g₃), and the definition of . Hence,

It follows from (g₁) that

Hence, we have

By (10), (11), and (25), when is sufficiently small, we have with .

On the other hand, the function attains its maximum at and it is increasing in the interval . By (10), (25), and for , we deduce that

From (11) and the fact that is sufficiently large, by choosing sufficiently small , we can obtain

Proof of Theorem 1. It follows from (g₁) that

for all and . By the Sobolev inequality, (28) and (29), for small enough, one has

So, when is sufficiently small, there is such that for . Moreover, by the nonnegativity of , for , it holds that

Hence, we can choose such that and . Using the Mountain Pass Lemma, there is a sequence satisfying

where

According to Lemma 5 and Lemma 6, we can get a sequence , and such that . Thus, is a solution of problem (4). And then, , where . Hence, , that is, . We conclude from the strong maximum principle that is a positive solution of problem (3).

Next, we give the proof of two nontrivial solutions to system (2).

From the above discussion, problem (3) has a positive solution . Put for. Note that if is a solution of (3), then, is a solution of (3) replacing with . Hence, the equation

has at least a positive solution v. Let ; then, is a solution of (3).

Obviously . So, problem (3) has at least two distinct nontrivial solutions and ; therefore, similar to [4, 5], system (2) has at least two distinct nontrivial function pair solutions and .

Data Availability

The findings in this research do not make use of data.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This paper is supported by the National Natural Science Foundation of China (Nos. 11661021 and 11861021); the Science and Technology Foundation of Guizhou Province (No. QKH[2017]1084); the Young Science and Technology Scholars of Guizhou Provincial Department of Education (No. KY[2016]164); and the Key Laboratory of Advanced Manufacturing Technology, Ministry of Education, Guizhou University (No. KY[2018]479).

References

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.

A. Ambrosetti, “On Schrödinger-Poisson systems,” Milan Journal of Mathematics, vol. 76, no. 1, pp. 257–274, 2008.

Z. Liu, Z.-Q. Wang, and J. Zhang, “Infinitely many sign–changing solutions for the nonlinear Schrödinger–Poisson system,” Annali di Matematica Pura ed Applicata, vol. 195, no. 3, pp. 775–794, 2016.

F. Li, Y. Li, and J. Shi, “Existence of positive solutions to Schrödinger– Poisson type systems with critical exponent,” Communications in Contemporary Mathematics, vol. 16, no. 6, article 1450036, 2014.

Y. Li, F. Li, and J. Shi, “Existence and multiplicity of positive solutions to Schrödinger–Poisson type systems with critical nonlocal term,” Calculus of Variations and Partial Differential Equations, vol. 56, no. 5, p. 134, 2017.

H. Liu, “Positive solutions of an asymptotically periodic Schrödinger-Poisson system with critical exponent,” Nonlinear Analysis: Real World Applications, vol. 32, pp. 198–212, 2016.

L. Zhao and F. Zhao, “Positive solutions for Schrödinger-Poisson equations with a critical exponent,” Nonlinear Analysis, vol. 70, no. 6, pp. 2150–2164, 2009.

J. Zhang, “On the Schrödinger–Poisson equations with a general nonlinearity in the critical growth,” Nonlinear Analysis, vol. 75, no. 18, pp. 6391–6401, 2012.

S. Chen, A. Fiscella, P. Pucci, and X. Tang, “Semiclassical ground state solutions for critical Schrödinger-Poisson systems with lower perturbations,” Journal of Differential Equations, vol. 268, no. 6, pp. 2672–2716, 2020.

M. M. Li and C. L. Tang, “Multiple positive solutions for Schrödinger-Poisson system in involving concave-convex nonlinearities with critical exponent,” Communications on Pure & Applied Analysis, vol. 16, no. 5, pp. 1587–1602, 2017.

A. Azzollini and P. dʼAvenia, “On a system involving a critically growing nonlinearity,” Journal of Mathematical Analysis and Applications, vol. 387, no. 1, pp. 433–438, 2012.

A. Azzollini, P. d'Avenia, and G. Vaira, “Generalized Schrödinger-Newton system in dimension : Critical case,” Journal of Mathematical Analysis and Applications, vol. 449, no. 1, pp. 531–552, 2017.

J. F. Zhang, C. Y. Lei, and L. T. Guo, “Positive solutions for a nonlocal Schrödinger–Newton system involving critical nonlinearity,” Computers & Mathematcs with Applications, vol. 76, no. 8, pp. 1966–1974, 2018.

H. Brezis and L. Nirenberg, “Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents,” Communications on Pure and Applied Mathematics, vol. 36, no. 4, pp. 437–477, 1983.

L. Ding and C. L. Tang, “Existence and multiplicity of solutions for semilinear elliptic equations with Hardy terms and Hardy–Sobolev critical exponents,” Applied Mathematics Letters, vol. 20, no. 12, pp. 1175–1183, 2007.