- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 813417, 9 pages
Remarks on the Blow-Up Solutions for the Critical Gross-Pitaevskii Equation
1Visual Computing and Virtual Reality Key Laboratory of Sichuan Province, Sichuan Normal University, Chengdu 610066, China
2School of Finance, Southwestern University of Finance and Economics, Chengdu 610074, China
Received 22 August 2013; Accepted 29 November 2013
Academic Editor: Benchawan Wiwatanapataphee
Copyright © 2013 Xiaoguang Li and Chong Lai. 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.
This paper is concerned with the blow-up solutions of the critical Gross-Pitaevskii equation, which models the Bose-Einstein condensate. The existence and qualitative properties of the minimal blow-up solutions are obtained.
1. Introduction and Main Results
In this paper, we deal with the Cauchy problem of the nonlinear Schrödinger equation with a harmonic potential where : is the wave function, is the space dimension, and denotes the Laplace operator on . Equation (1) is also called Gross-Pitaevskii equation (see [1, 2]), which models the Bose-Einstein condensate (see [3, 4]). The harmonic potential describes a magnetic field. With the nonlinear term being replaced by , it is well known that the exponent is the minimal value for the existence of blow-up solutions (see e.g., [5, 6]). Hence (1) is called critical Gross-Pitaevskii equation.
Let us recall the classical nonlinear Schrödinger equation For Cauchy problem (3)-(4), Ginibre and Velo  established the local existence in . Glassey , Weinstein , and Zhang  proved that, for some initial data, the solutions of the Cauchy problem (3)-(4) blow up in finite time.
For the Cauchy problem (3)-(4), it is well known that there exists a minimum of norm for the initial data of blow-up solutions (see ). More precisely, let be the ground state, which is the unique, positive, radially symmetric solution (see ) of the semilinear elliptic equation Weinstein  proved that the solutions of the Cauchy problem (3)-(4) are globally defined if . On the other hand, for any , there exist blow-up solutions with . Since then, much progress has been made on the blow-up rate and profile of the blow-up solutions of the Cauchy problem (3)-(4) (see [12–15]). In particular, based on the pseudoconformal invariance of (3) and the variational characterization of the ground, elaborate and interesting conclusions were established on the existence and profile of the minimal blow-up solution, which is the blow-up solution such that (see [13, 15, 16]). By using the pseudoconformal invariance of (3), Weinstein  constructed the explicit blow-up solution with critical mass () for (3) in the form where , , and . Moreover, Weinstein proved that, for any minimal blow-up solution , the following holds: where is the blow-up time and and are some suitable functions.
For the Cauchy problem (1)-(2), local well-posedness in energy space was established in Cazenave . Moreover, from the result of Carles  and Zhang [6, 19], it is known that is globally defined if . In other words, if blows up in finite time.
Let and be the solutions of the Cauchy problems (1)-(2) and (3)-(4), respectively. Under the condition of , Carles  established a formula, which reflects the relation between and . According to the formula, Carles  established the following statements.(1)If blows up at a finite time , then .(2)If blows up at , blows up at time .(3)Conversely, blows up at time ; then blows up at .(4)If blows up at , exists globally ().
Moreover, Carles studied the qualitative properties of minimal blow-up solutions with (see [18, 20]). As for the minimal blow-up solutions with , though the existence was established by the formula in , there is no further information on the qualitative properties obtained by the formula. Up to our knowledge, there is no result about the qualitative properties of the minimal blow-up solutions of (1) with .
The purpose of the present paper is to investigate the qualitative properties of the minimal blow-up solutions without any limit to the blow-up time. The formula presented in  is not used to carry out the objective. We follow the ideas of Merle [13, 16], as well as Weinstein , in which the profile and uniqueness of the minimal blow-up solutions for (3) were investigated. However, in contrast to (3), (1) loses the invariance of pseudoconformal invariance, which is very important in the arguments of [13, 15, 16]. Therefore, some appropriate modifications will be made in the argument of this work to reach our goal. In particular, we note that some techniques developed by Pang et al.  are adopted in this paper.
We state our main results.
Theorem 2. Let be a blow-up solution of (1) with . Then there is such that in the sense of distribution as .
Theorem 3. There exists such that
Remark 4. For any blow-up solutions of (1), we know that ( is a blow-up time). When , the formula presented in  is valid. For the minimal blow-up solutions with , the conclusion of the above theorems can be found in . However, there exist minimal blow-up solutions with . For example, if the initial , with being the solution of problem (5), the solution of (1) will blow up at , while the corresponding solution of (3) is a solitary wave . The minimal blow-up solutions with were sensible as pointed in .
In this paper, , , and are denoted by , , and , respectively. The various positive constants are also denoted by .
This paper proceeds as follows. In Section 2, we establish some preliminaries. In Section 3, we give the proof of the existence and profile of the minimal blow-up solutions of (1) (Theorems 1 and 2). In Section 4, we derive the argument of the lower bound of the blow-up rate of the minimal blow-up solutions of (1) (Theorem 3).
2.1. Local Wellposedness
The energy space of (1) was defined as The inner product of the space is defined as The norm of is denoted by . Moreover, we define an energy functional on by
Proposition 5. For any , there exist and a unique solution of the Cauchy problem (1)-(2) in such that either (global existence) or and (blowup). Moreover, for any , it holds the conservation laws of mass and the energy
2.2. Variational Characterization of the Ground State
Consider the equation For (16), we set some notations such as (the solution set), (the ground solution set), and as follows: where .
For any , the following two identities hold true: The above two equalities imply where
Naturally, we get
According to Cazenave , the set can be described as where is a positive, spherically symmetric, decreasing, and real valued function.
With functional defined by (20), we now introduce the following constrained minimization problem
Now, we claim that
Lemma 6 (see Weinstein ). For any , one has
On the other hand, if is a minimizer of the variational problem of (27), it solves the Euler-Lagrange equation (16). So for some , and by (27) and (25), we know . This implies that Hence (28) holds true.
Proposition 7. Each of the following three statements is equivalent:(i),(ii) is a solution to the minimizing problem , (iii), for some , , and .
Consider the constrained minimization problem
For , we cite a lemma in .
Lemma 9 (see Weinstein ).
(a) Consider or .
(b) Let and be a minimizing sequence; then it holds that and weakly in .
Now, we recall some lemmas on the compactness.
Lemma 10 (see Brezis and Lieb ). Let , , and . Then there exists a shift such that, for some constant ,
Lemma 11 (see Lieb ). Let be a uniformly bounded sequence of functions in with . Assume further that there are positive constant and satisfying . Then there exists a sequence such that
Lemma 12. Let be a real-valued function on and with . Then
Proof. It follows from (30) and that for all real numbers . On the other hand, it has Thus the discriminant of the equation in must be negative or null and the desired inequality follows.
Lemma 13. There is a constant such that
Proof. Setting , we have It follows that which implies the conclusion.
Lemma 14 (see [16, page 433]). Let , , and , for arbitrary , satisfy where depends only on . Then, it holds that with .
3. Profile of the Minimal Blow-Up Solution
Now we prove the existence of the minimal blow-up solutions.
Proof of Theorem 1. Setting with being arbitrary positive real number and being complex number satisfying , then From (15) and (19), the corresponding energy is Thus Lemma 8 infers that blows up in a finite time.
Employing the concentration compactness lemma, we can prove the following proposition which is crucial to the study of the blow-up profile (Theorem 2).
Proof. Let . We choose to satisfy
Setting , noticing that tends to as , , and
we know that is uniformly bounded in and there is a weakly convergent subsequence such that
We note that Since we have assumed , by (52), (54), and (31), we know that is a minimizing sequence for the variational problem (27).
Next, we will prove that the minimizing sequence has a subsequence and a family such that has a strong limit in . To see this, we need to make use of the concentration-compactness lemma (Lions ) which means that has one of three properties: vanishing, dichotomy, and compactness.
Vanishing. For every , one has
Dichotomy. There exist a constant and sequences and , bounded in , such that, for all , there exists such that for
Compactness. There exists in . For any , we can find such that
Now, we exclude the cases of vanishing and dichotomy.
Exclusion of Vanishing. By (52), (51), and (54) there are and such that By the boundness of and the Sobolev inequality, there exist and such that Now, we show the existence of positive constants and such that Indeed, from (58) and (59), for sufficiently small , we get Thus we know that (60) with is valid. From (60) and Lemma 10, there exist and satisfying Thus, which excludes the occurrence of vanishing.
Exclusion of Dichotomy. Suppose by contradiction that dichotomy occurs. Then, by the same argument as that in the case of vanishing we can get where and are two constants and is bounded in . Hence, by Lemma 11, there are a subsequence and a sequence such that
Using (56) gives rise to On the other hand, the fact implies with Lemma 6 that Thus, for any fixed , it has We can then extract a minimizing subsequence, which we rename it by ; that is, . Using Lemma 9 yields which is impossible from (65).
Occurrence of Compactness. It follows from the previous arguments that compactness occurs. By (57), we get For being bounded in , there exist and a subsequence, which we again label it by , such that
Given , the embedding is compact and
Making use of (70) derives for any . Hence, it holds that
It follows that which implies with the Gagliardo-Nirenberg inequality (30) that
To show in , we only need to show that .
From (51) and (54), we know that Hence, derives . This contradicts Lemma 6 and the fact .
Since solves the minimizing problem (27), it satisfies the Euler-Lagrange equation (16). Noticing the fact , we infer that is also a solution to problem (27). Thus it is a nonnegative solution of (16). It follows from , , and Proposition 7 that for some and . By redefining the sequence , we can set .
Proof of Theorem 2. It follows from Proposition 15 that
Using Lemma 13 derives that
Hence we have a positive constant such that
From (82), for arbitrary , there is a such that . The formula (80) implies that On the other hand, Lemma 13 implies that Thus By Lemma 12, we obtain where . Hence there exists such that Combining (86) with (88), we know that as and we have
4. Blow-Up Rate
To establish the lower bound of the blow-up rate, we use the following proposition.
Proposition 16. Letting be the blow-up point determined in Theorem 2, it has
Proof. Let us define a positive function such that
and for and it is valid that
Carrying out direct computation and using Hölder's inequality, we have
Integrating on both sides gives rise to
From the fact , we have
By the virtue of Lemma 14 and Proposition 16, there exist and such that
Using the dominated convergence theorem, we infer that Thus, it holds that which implies that there is such that, for , The identity shows that In addition, we have Using Theorem 2 yields In conclusion, for all , we have shown that
Now, we establish the lower bound of the blow-up rate.
Proof of Theorem 3. Simple calculation yields
Therefore, the inequality (40) in the case implies that
Integrating from to , by Proposition 16, we obtain
Combining the above inequality and the following inequality we get the result
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
This work was supported by the National Natural Science Foundation of China (Grant no. 10771151), the Key Project of Chinese Ministry of Education (Grant no. 211162), and Sichuan Province Science Foundation for Youths (no. 2012JQ0011).
- E. P. Gross, “Hydrodynamics of a super uid condensate,” Journal of Mathematical Physics, vol. 4, pp. 195–207, 1963.
- L. P. Pitaevskii, “Vortex lines in an imparfect Bose gas,” Soviet Physics JETP, vol. 13, pp. 451–454, 1961.
- C. C. Bradley, C. A. Sackett, and R. G. Hulet, “Bose-Einstein condensation of Lithium, observation of limted condensate number,” Physical Review Letters, vol. 78, pp. 985–989, 1997.
- C. Huepe, S. Métens, G. Dewel, P. Borckmans, and M. E. Brachet, “Decay rates in attractive Bose-Einstein condensate,” Physical Review Letters, vol. 82, pp. 1616–1619, 1997.
- R. Carles, “Remarks on nonlinear Schrödinger equations with harmonic potential,” Annales Henri Poincaré, vol. 3, no. 4, pp. 757–772, 2002.
- J. Zhang, “Stability of attractive Bose-Einstein condensates,” Journal of Statistical Physics, vol. 101, no. 3-4, pp. 731–746, 2000.
- J. Ginibre and G. Velo, “On a class of nonlinear Schrödinger equations. II. Scattering theory, general case,” Journal of Functional Analysis, vol. 32, no. 1, pp. 33–71, 1979.
- R. T. Glassey, “On the blowing up of solutions to the Cauchy problem for nonlinear Schrödinger equations,” Journal of Mathematical Physics, vol. 18, no. 9, pp. 1794–1797, 1977.
- M. I. Weinstein, “Nonlinear Schrödinger equations and sharp interpolation estimates,” Communications in Mathematical Physics, vol. 87, no. 4, pp. 567–576, 1983.
- J. Zhang, “Sharp conditions of global existence for nonlinear Schrödinger and Klein-Gordon equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 48, pp. 191–207, 2002.
- M. K. Kwong, “Uniqueness of positive solutions of ,” Archive for Rational Mechanics and Analysis, vol. 105, no. 3, pp. 243–266, 1989.
- T. Hmidi and S. Keraani, “Remarks on the blowup for the L2-critical nonlinear Schrödinger equations,” SIAM Journal on Mathematical Analysis, vol. 38, no. 4, pp. 1035–1047, 2006.
- F. Merle, “Determination of blow-up solutions with minimal mass for nonlinear Schrödinger equations with critical power,” Duke Mathematical Journal, vol. 69, no. 2, pp. 427–454, 1993.
- F. Merle and P. Raphael, “Profiles and quantization of the blow up mass for critical nonlinear Schrödinger equation,” Communications in Mathematical Physics, vol. 253, no. 3, pp. 675–704, 2005.
- M. I. Weinstein, “On the structure and formation of singularities in solutions to nonlinear dispersive evolution equations,” Communications in Partial Differential Equations, vol. 11, no. 5, pp. 545–565, 1986.
- F. Merle, “On uniqueness and continuation properties after blow-up time of self-similar solutions of nonlinear Schrödinger equation with critical exponent and critical mass,” Communications on Pure and Applied Mathematics, vol. 45, no. 2, pp. 203–254, 1992.
- T. Cazenave, An Introduction to Nonlinear Schrodinger Equations, vol. 26 of Textos de Metodos Mathmatics, IM-UFRJ, Rio de Janeiro, Brazil, 1993.
- R. Carles, “Critical nonlinear Schrödinger equations with and without harmonic potential,” Mathematical Models & Methods in Applied Sciences, vol. 12, no. 10, pp. 1513–1523, 2002.
- J. Zhang, “Sharp threshold for blowup and global existence in nonlinear Schrödinger equations under a harmonic potential,” Communications in Partial Differential Equations, vol. 30, no. 10–12, pp. 1429–1443, 2005.
- R. Carles, “Nonlinear Schrödinger equations with repulsive harmonic potential and applications,” SIAM Journal on Mathematical Analysis, vol. 35, no. 4, pp. 823–843, 2003.
- P. Y. H. Pang, H. Tang, and Y. Wang, “Blow-up solutions of inhomogeneous nonlinear Schrödinger equations,” Calculus of Variations and Partial Differential Equations, vol. 26, no. 2, pp. 137–169, 2006.
- H. Brezis and E. H. Lieb, “Minimum action solutions of some vector field equations,” Communications in Mathematical Physics, vol. 96, no. 1, pp. 97–113, 1984.
- E. H. Lieb, “On the lowest eigenvalue of the Laplacian for the intersection of two domains,” Inventiones Mathematicae, vol. 74, no. 3, pp. 441–448, 1983.
- P.-L. Lions, “The concentration-compactness principle in the calculus of variations. The locally compact case. I,” Annales de l'Institut Henri Poincaré, vol. 1, no. 2, pp. 109–145, 1984.