Discrete Dynamics in Nature and Society

Volume 2013 (2013), Article ID 786736, 7 pages

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

## Remarks on a Class of Nonlinear Schrödinger Equations with Potential Vanishing at Infinity

Faculty of Applied Mathematics, Guangdong University of Technology, Guangzhou 510006, China

Received 2 July 2013; Accepted 21 November 2013

Academic Editor: Stepan Agop Tersian

Copyright © 2013 Hongbo Zhu. 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 nonlinear Schrödinger equation , where the potential vanishes at infinity. Working in weighted Sobolev space, we obtain the ground states of problem under a Nahari type condition. Furthermore, if are radically symmetric with respect to , it is shown that problem has a positive solution with some more general growth conditions of the nonlinearity. Particularly, if , then the growth restriction in Ambrosetti et al. (2005) can be relaxed to , where if .

#### 1. Introduction

The motivation of the paper is concerned with the existence of standing waves of the following nonlinear Schrödinger equation: where is the imaginary unit, is a real function on , , and is supposed to satisfy that for all . Problem (1) arises in many applications. For example, in some problems arising in nonlinear optics, in plasma physics, and in condensed matter physics, the presence of many particles leads one to consider nonlinear terms which simulates the interaction effect among them.

For problem (1), we are interested in looking for a stationary solution; that is, with in and (the frequency); then it is not difficult to see that must satisfy Here and below, . Variational approach to (2) was initiated by Rabinowtiz [1], and since then several authors have studied (2) under different assumptions on and the nonlinearity. If is positive and bounded away from zero, then, by the well-known concentration compactness principle [2, 3], it is shown that there is bound states for problem (2); we mention here the work by Jeanjean and Tanaka [4, 5], Liu and Wang [6], Li et al. [7], Zhu [8], and the references therein.

If the potential decays to zero at infinity, the methods used in the proceeding papers cannot be employed because the variational theory in cannot be used here. The earlier work on (2) we know of where decays at infinity, is that by Ambrosetti et al. [9]; the authors proved that problem (2) has bounded states for with where Following [9], by requiring some further assumptions on , in [10], the authors showed that there exist bound states of equation , , , for all satisfying , provided that is sufficiently small. Motivated by the works [9, 10], in paper [11], the authors extended the results to potentials that can both vanish and decay to zero at infinity. And since then, there are many papers on problem (2) with potential vanishing at infinity; see, for example, [12–16].

In this paper, more precisely we will focus on the following model equation: To our best knowledge, it seems that there are few results on problem (5), where does not satisfy condition; that is, for some , and simultaneously decays to zero at infinity.

The main aim of the paper is to extend the result of [9] to problem (5) with much more general classes of . Moreover, if are radically symmetric with respect to , problem (5) will be proved to also have a positive solution with some more general growth conditions of the nonlinearity. Particularly, the result can exactly extend the growth restriction of the special case of to a new one, and the range of which is bigger than the usual in [9]; for more details please see Theorem 6.

Throughout the paper, we make the following assumptions on , , and . is continuous and there exist such that is smooth and there exist such that is a Caratheodory function and there exists such that and . is nondecreasing in .

*Remark 1. *If , then , which implies that .

Throughout this paper, we define the following weighted Sobolev space: Clearly, . is a Hilbert space with norm and scalar product, respectively, Denote by the weighted space of measurable such that and are particular cases of weighted spaces in discussions in [17], where the following result is proved.

Proposition 2. *Let , and suppose that , hold with and . Then
**
where , and there is such that
**
Furthermore, the embedding of into is compact if .*

*Remark 3. *For the case of , , and consequently , for all, and also the embedding is compact if .

Furthermore, we define the energy functional associated with problem (5) by By Proposition 2, is well defined on and with

*Definition 4. *A function is said to be a solution of problem (5) provided that satisfies

*Notation.* Hereafter we use the following notation.(i) if and for some if .(ii), , , denotes a Lebesgue space; the norm in is denoted by .(iii)For any and for any , denotes the ball of radius centered at .(iv) are various positive constants.(v) denotes the quantity which tends to zero as .

Our main results are the following.

Theorem 5. *Let and hold with , . Then problem (5) has a ground state .*

If are radically symmetric with respect to and satisfies the following conditions:, for all ; is nondecreasing with respect to ;; , where , and then we have the following.

Theorem 6. *Assume that , are radically symmetric with respect to , and let , , and hold. Then problem (5) has a positive solution .*

*Remark 7. *If , then the growth restriction in [9] can be relaxed to , where if .

#### 2. Variational Setting and Some Preliminaries

In this section, we describe the variational framework for the study of the critical points of the functional defined in (14).

Set where . First, it is necessary to show that is a positive number. Now we give the following two lemmas.

Lemma 8. *Suppose that hold. Then for each , there exists a unique such that and .*

*Proof. *The proof of this lemma is similar to the case of assuming condition, which can be found in [18], so we omit it here.

Lemma 9. *.*

*Proof. *Let
where . By Lemma 8, it is easy to see .

For any , by , there exists large enough such that . Let ; then , and
so . From , , there is small enough such that . Since , for large enough , , there exists such that , so
Thus, .

Lemma 10. *Let be a minimizing sequence of defined in (18). Then*(i)*there is such that ,*(ii)* is bounded in ,*(iii)*for a subsequence, converges weakly to .*

*Proof. *(i) By , , for any , there exists such that
From , , it is easy to get that .

(ii) If is not bounded, we define , so . Passing to a subsequence we have

If , we have
By Fatou’s lemma and , we have a contradiction as follows:
If , by Proposition 2, in . By (22) and for any which is determined later, we get
By Lemma 8, for any ; then we have
which is a contradiction if we take . Thus is bounded in .

(iii) We can assume weakly converges to . If , then by (i) and noting the fact that , is compact, we have a contradiction as follows:

#### 3. Proof of the Main Results

The aim of this section is to prove Theorems 5 and 6. For Theorem 5, we will take two steps; the first is to show the existence of nonzero critical point of , and the second is to prove the critical point is a bound state; that is . To prove Theorem 6, we use a weighted Sobolev embedding theorem, which is based upon the results discussed in [19].

*Proof of Theorem 5. *
*Step 1.* Let be the sequence minimizing for given in (18). By Lemma 10, is bounded in , and there is some such that
and by Proposition 2 and Remark 3, we get in , , and consequently
Using the lower semicontinuity, we have . If , we have . If , by Lemma 8, there exists such that ; then
Since is smooth, the minimizer is a critical point of .

Next we will show that the solution found above in belongs indeed to . For this purpose, we require some preliminary decay estimates on , which are essentially motivated by [9]. However, we should mention that these proofs are partly different from those in [9]. First we will give the following proposition, which is a special case of Proposition 11 in [9].

Proposition 11. *Let and . Then for all there exists such that for all *

Lemma 12. *Suppose that , , , and hold. Let , and let be the critical point of on . Then there exist and such that, for all ,
**
where
*

*Proof. *Since , there is such that . Let ; then , so there exists such that .

Noting that
we may choose such that
Let be given by (34), and let be a cut-off function such that
Moreover, there exists , independent of , such that for all . Noting that and , we see that
So there exists such that, for all ,
where is given by . From (39) and , for , we have
Then by the definition of , for all and ,

Since , by , , and Young inequality, for any , , we have
where . Taking , then by (41), (42), for all ,
Suppose that , ; then, from Proposition 11 and Remark 3, for the above given and sufficiently large, we deduce that
Choosing sufficiently small (and hence for large) such that , we obtain the assertion.

Lemma 13. *Let be given in Lemma 12. Then there exists such that, for any ,
**
where .*

*Proof. *From (36), there is such that
Since
There exists a constant such that
Given , there exist two integers , such that
Thus
By Lemma 12, (49), and (51), we deduce that
That is, (45) holds.

*Proof of Theorem 5. *
*Step* 2. Let be the weak solution found in , and let , and ; then
where . Denote
Then

Since , , by Lemma 13 and (55), for all , we have
where .

With similar arguments of [15], let with be such that

Let denote a positive integral such that ; by (56) we deduce that
Since , then the above inequality implies that and . Thus, is a bound state of problem (5).

Before the proof of Theorem 6, let us introduce some functional spaces. Denote by the weighted Sobolev space where .

Denote by the weighted space of measurable such that

Now we give the following embedding result, whose proof can be derived from Theorem 1 of [19].

Proposition 14. *Let , and suppose that , are radial, and the assumptions , hold with and . Then
**
where . Furthermore, the embedding is compact if .*

*Proof of Theorem 6. *Based upon Proposition 14, the proof of Theorem 6 can be followed from some standard techniques; we leave the details to the readers.

#### Acknowledgment

This work was supported by NSFC Grant no. 11201083.

#### References

- P. H. Rabinowitz, “On a class of nonlinear Schrödinger equations,”
*Zeitschrift für Angewandte Mathematik und Physik*, vol. 43, no. 2, pp. 270–291, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. L. Lions, “The concentration-compactness in the calculus of variation. The locally compact case, Part I,”
*Annales de l'Institut Henri Poincare (C) Non Linear Analysis*, vol. 1, pp. 109–145, 1984. View at Google Scholar - P. L. Lions, “The concentration-compactness in the calculus of variation. The locally compact case, Part II,”
*Annales de l'Institut Henri Poincare (C) Non Linear Analysis*, vol. 1, pp. 223–283, 1984. View at Google Scholar - L. Jeanjean and K. Tanaka, “A positive solution for an asymptotically linear elliptic problem on ${\mathbb{R}}^{N}$ autonomous at infinity,”
*ESAIM. Control, Optimisation and Calculus of Variations*, vol. 7, pp. 597–614, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Jeanjean and K. Tanaka, “A positive solution for a nonlinear Schrödinger equation on ${\mathbb{R}}^{N}$,”
*Indiana University Mathematics Journal*, vol. 54, no. 2, pp. 443–464, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Liu and Z.-Q. Wang, “Existence of a positive solution of an elliptic equation on ${\mathbb{R}}^{N}$,”
*Proceedings of the Royal Society of Edinburgh A*, vol. 134, no. 1, pp. 191–200, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Li, Z.-Q. Wang, and J. Zeng, “Ground states of nonlinear Schrödinger equations with potentials,”
*Annales de l'Institut Henri Poincaré*, vol. 23, no. 6, pp. 829–837, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Zhu, “A note on asymptotically linear Schrödinger equation on ${\mathbb{R}}^{N}$,”
*Advanced Nonlinear Studies*, vol. 9, no. 1, pp. 81–94, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Ambrosetti, V. Felli, and A. Malchiodi, “Ground states of nonlinear Schrödinger equations with potentials vanishing at infinity,”
*Journal of the European Mathematical Society (JEMS)*, vol. 7, no. 1, pp. 117–144, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Ambrosetti, A. Malchiodi, and D. Ruiz, “Bound states of nonlinear Schrödinger equations with potentials vanishing at infinity,”
*Journal d'Analyse Mathématique*, vol. 98, pp. 317–348, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Ambrosetti and Z.-Q. Wang, “Nonlinear Schrödinger equations with vanishing and decaying potentials,”
*Differential and Integral Equations*, vol. 18, no. 12, pp. 1321–1332, 2005. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Ambrosetti and D. Ruiz, “Radial solutions concentrating on spheres of nonlinear Schrödinger equations with vanishing potentials,”
*Proceedings of the Royal Society of Edinburgh*, vol. 136, no. 5, pp. 889–907, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Byeon and Z.-Q. Wang, “Spherical semiclassical states of a critical frequency for Schrödinger equations with decaying potentials,”
*Journal of the European Mathematical Society (JEMS)*, vol. 8, no. 2, pp. 217–228, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Bonheure and J. Van Schaftingen, “Nonlinear Schrödinger equations with potentials vanishing at infinity,”
*Comptes Rendus Mathématique*, vol. 342, no. 12, pp. 903–908, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Liu, Z. Wang, and H.-S. Zhou, “Asymptotically linear Schrödinger equation with potential vanishing at infinity,”
*Journal of Differential Equations*, vol. 245, no. 1, pp. 201–222, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Su, Z.-Q. Wang, and M. Willem, “Nonlinear Schrödinger equations with unbounded and decaying radial potentials,”
*Communications in Contemporary Mathematics*, vol. 9, no. 4, pp. 571–583, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Opic and A. Kufner,
*Hardy-Type Inequalities*, vol. 219 of*Pitman Research Notes in Mathematics Series*, Longman Scientific & Technical, Harlow, UK, 1990. View at MathSciNet - I. Ekeland,
*Convexity Methods in Hamiltonian Mechanics*, vol. 19, Springer, Berlin, Germany, 1990. View at MathSciNet - J. Su, Z.-Q. Wang, and M. Willem, “Weighted Sobolev embedding with unbounded and decaying radial potentials,”
*Journal of Differential Equations*, vol. 238, no. 1, pp. 201–219, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet