Abstract and Applied Analysis

Volume 2013 (2013), Article ID 890126, 6 pages

http://dx.doi.org/10.1155/2013/890126

Research Article

Nonexistence Results for the Schrödinger-Poisson Equations with Spherical and Cylindrical Potentials in

Yongsheng Jiang,¹ Yanli Zhou,1,2 B. Wiwatanapataphee,³ and Xiangyu Ge¹

¹School of Statistics & Mathematics, Zhongnan University of Economics & Law, Wuhan 430073, China

²Department of Mathematics & Statistics, Curtin University, Perth, WA 6845, Australia

³Department of Mathematics, Faculty of Science, Mahidol University, Bangkok 10400, Thailand

Received 22 May 2013; Accepted 29 July 2013

Academic Editor: Yonghong Wu

Copyright © 2013 Yongsheng Jiang 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 following Schrödinger-Poisson system: , , , where are positive radial functions, , , and is allowed to take two different forms including and with . Two theorems for nonexistence of nontrivial solutions are established, giving two regions on the plane where the system has no nontrivial solutions.

1. Introduction

Schrödinger-Poisson systems arise in quantum mechanics and have been studied by many researchers in the recent years. A number of researches have been focused on quantum transport in semiconductor devices using both mathematical analysis and numerical analysis. Mathematical analysis plays a very crucial role in any investigation. In this paper, we study the nonexistence of nontrivial solutions for the following system in :

where are positive radial functions, , , and is allowed to have two different forms including and with .

The above system was introduced in [1] in the study of an N-body quantum problem, that is, the Hartree-Fock system, Kohn-Sham system and, so forth [1–4]. For in the form of a constant potential, the nonexistence of nontrivial solutions of (1) for was proved in [5] by using a Pohožaev-type identity. For in the form of the singular potentials as considered in this work, existence of positive solutions has been established under certain assumption [6]. However, the conditions under which nontrivial solutions do not exist have not yet been full established. Hence, in this paper, we study the nonexistence of solutions to the problem (1) with singular potential.

The main contribution of this work is the development of analytical results giving two regions on the plane where the system (1) has no nontrivial solutions. The two regions are shown in Figure 1. The rest of the paper is organized as follows. In Section 2, we first give some basic definitions and concepts and then, based on the method in Badiale et al. [7], establish a Pohožaev-type identity. In Section 3, we give two theorems summarizing the nonexistence results we obtained and then prove the theorems.

Figure 1: Diagram showing the two regions on the plane where system (1) has no nontrivial solution.

2. Preliminaries and a Pohožaev-Type Identity

Firstly, we briefly introduce some notation and definitions and recall some properties and known results of the second equations (Poisson equation) in (1). Throughout the paper, we let , , , and , and for we define

By Lemma 2.1 of [2], we know that has a unique solution in with the form of

for any , and

By the Hardy-Littlewood-Sobolev inequality, we know that is well defined for any . So we can make the following definition.

Definition 1. For or , if satisfies

for all , we say that is a solution of (1).

Now we establish a Pohožaev-type identity based on the work by Badiale et al. [7]. For any , , where , by a simple calculation, we have

For any open subset , by using the divergence theorem and (6), we get

So, by multiplying (1) by and using (7), we get

3. Nonexistence Results for the System of Pohožaev-Type Identity Equations

The nonexistence results we obtained for system (1) are summarized in the following two theorems.

Theorem 2. For and , if and , or and , any solution of problem (1) is trivial.

Proof of Theorem 2. Let , , , and ; we then have . Since , , we have

So, (9) shows that there exist sequences and such that

On we have . By using Cauchy inequality and (10), we get

Similarly, we have

Hence in (8), by setting , as , from (11) and (12), we have

By the second equation of (1), we have

From (13) and (14), we get

On the other hand, multiplying (1) by and integrating the result over , where , we have

Using the divergence theorem to the first term of (16) yields that

while the Hölder inequality gives

Setting , we have

From (16)-(17) and (19), we have

By combining (15) and (20), we have

For or , we have

Then (21) gives that the solution must be trivial.

Let . Similar to Theorem 2, we get another nonexistence result to the system (1) with potential function .

Theorem 3. For and , if and , or and , any solution of problem (1) with is trivial.

Proof of Theorem 3. For any , setting , then , where and on . Note that

Let

Then

So we must have such that

By using Cauchy inequality and (24)–(26), we have

It is easy to see that and . Let in (18) by using the definition of and (27), we get

Similar to (12), we have such that

As , (28)–(29) imply that

Since , we have

On the other hand, we have

So if we multiply (1) by and then integrate over the domain and let , we have

As for (20), we have

From (31) and (34), we have

For or , (35) implies that the solution of problem (1) with , which satisfies , must be trivial.

4. Conclusion

We mainly study the nonexistence of nontrivial solutions to system (1) in this paper, giving two regions on the plane where the system (1) has no nontrivial solutions; see Figure 1. In another paper, we will study the existence of nontrivial solutions to system (1).

Acknowledgments

This research was supported by the National Science Foundation of China (NSFC)(11201486), the Chinese National Social Science Foundation (10BJY104) and the Fundamental Research Funds for Central Universities (31541311208). B. Wiwatanapataphee gratefully acknowledges the support of the Faculty of Science, Mahidol University.

References

N. J. Mauser, “The Schrödinger-Poisson-X α equation,” Applied Mathematics Letters, vol. 14, no. 6, pp. 759–763, 2001.

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ánchez and J. Soler, “Long-time dynamics of the Schrödinger-Poisson-Slater system,” Journal of Statistical Physics, vol. 114, no. 1-2, pp. 179–204, 2004.

J. C. Slater, “A simplification of the Hartree-Fock method,” Physical Review, vol. 81, no. 3, pp. 385–390, 1951.

T. D'Aprile and D. Mugnai, “Non-existence results for the coupled Klein-Gordon-Maxwell equations,” Advanced Nonlinear Studies, vol. 4, no. 3, pp. 307–322, 2004.

Y. Jiang and H. -S. Zhou, “Nonlinear Schrödinger-Poisson equations with singular potentials or cylindrical potentials in ,” Submitted

M. Badiale, M. Guida, and S. Rolando, “Elliptic equations with decaying cylindrical potentials and power-type nonlinearities,” Advances in Differential Equations, vol. 12, no. 12, pp. 1321–1362, 2007.