Traveling waves for nonlinear Schrodinger equations with nonzero conditions at infinity II
71
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
71
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Traveling waves for nonlinear Schrodinger equations with nonzero conditions at infinity, II David CHIRON? and Mihai MARIS¸ † Abstract We present two constraint minimization approaches to prove the existence of traveling waves for a wide class of nonlinear Schrodinger equations with nonvanishing conditions at infinity in space dimension N ≥ 2. Minimization of the energy at fixed momentum can be used whenever the associated nonlinear potential is nonnegative and it gives a set of orbitally stable traveling waves. Minimization of the action at constant kinetic energy can be used in all cases, but it gives no information about the orbital stability of the set of solutions. Keywords. nonlinear Schrodinger equation, nonzero conditions at infinity, traveling wave, Gross-Pitaevskii equation, cubic-quintic NLS, constrained minimization, Ginzburg- Landau energy. AMS subject classifications. 35Q51, 35Q55, 35Q40, 35J20, 35J15, 35B65, 37K40. 1 Introduction We study a class of special solutions to the nonlinear Schrodinger equation (1.1) i ∂? ∂t + ∆? + F (|?|2)? = 0 in RN , where ? is a complex-valued function on RN satisfying the ”boundary condition” |?| ?? r0 as |x| ?? ∞, r0 > 0 and F is a real-valued function on R+ such that F (r20) = 0.
Voir
- associated nonlinear
- any
- minimizers completely
- local minimizers
- has been
- there exist
- †institut de mathematiques de toulouse umr
- nonlinear potential
- ginzburg-landau energy
Publié par
Langue
English
TravelingwavesfornonlinearSchr¨odingerequationswith nonzero conditions at infinity, II David CHIRON∗ARiMhaMi¸ISadn†
Abstract
We present two constraint minimization approaches to prove the existence of traveling wavesforawideclassofnonlinearSchr¨odingerequationswithnonvanishingconditionsat infinity in space dimensionN≥ of the energy at fixed momentum can2. Minimization be used whenever the associated nonlinear potential is nonnegative and it gives a set of orbitally stable traveling waves. Minimization of the action at constant kinetic energy can be used in all cases, but it gives no information about the orbital stability of the set of solutions. Keywords.nigvale,nonzeoncoroitndsnoinitatinfirt,ynonlinearScrho¨idgnreqeauit wave, Gross-Pitaevskii equation, cubic-quintic NLS, constrained minimization, Ginzburg-Landau energy. AMS subject classifications.35Q51, 35Q55, 35Q40, 35J20, 35J15, 35B65, 37K40.
1 Introduction
WestudyaclassofspecialsolutionstothenonlinearSchr¨odingerequation (1.1)∂i∂Φt+ ΔΦ +F(|Φ|2 in)Φ = 0RN, where Φ is a complex-valued function onRNsatisfying the ”boundary condition”|Φ−→|r0 as|x−|∞→,r0>0 andFis a real-valued function onR+such thatF(r02) = 0. Equation (1.1), with the considered non-zero conditions at infinity, arises in a great variety of physical problems such as superconductivity, superfluidity in Helium II, phase transitions and Bose-Einstein condensate ([1], [3], [4], [5], [18], [27], [29], [30], [31], [32], [44]). In nonlinear optics, it appears in the context of dark solitons ([35], [36]). Two important model cases for (1.1) have been extensively studied both in the physical and mathematical literature: the Gross-Pitaevskii equation (whereF(s) = 1−san)-csohedtSchrtic”nger¨odi”duclaeluqniib-c equation (whereF(s) =−α1+α3s−α5s2,α1, α3, α5are positive andFhas two positive roots). In contrast to the case of zero boundary conditions at infinity (when the dynamics asso-ciated to (1.1) is essentially governed by dispersion and scattering), the non-zero boundary conditions allow a much richer dynamics and give rise to a remarkable variety of special solu-tions, such as traveling waves, standing waves or vortex solutions. Using the Madelung transformation Φ(x, t) =pρ(x, t)eiθ(x,t)(which is well-defined in any region where Φ6is equivalent to a system of Euler’s equations for a= 0), equation (1.1) ∗A.D.eiduno´nUeRMLaboratoireJiNedS-ecihpotnAa2166ni,Ursve´eit1680es0,iNecis,PipolalroarcV Cedex 02, France.e-mail: chiron@unice.fr. †uesdeTouh´ematiqutdtMetaIsnitulPabaSarsve´eit9125inU,suolRMUe23106nne,arbodeNeortu1,81itre Toulouse Cedex 9, France.e-mail: mihai.maris@math.univ-toulouse.fr.
1
compressible inviscid fluid of densityρand velocity 2rθ this context it has been shown. In that, ifFisC1nearr20andF0(r02)<the sound velocity at infinity associated to (1.1) is0, vs=r0p−2F0(r20) (see the introduction of [41]). Equation (1.1) has a Hamiltonian structure. DenotingV(s) =Rrs20F(τ)dτ, it is easy to see that, at least formally, the ”energy” (1.2)E(Φ) =ZRN|rΦ|2ZRN dx+V(|Φ|2)dx is conserved. Another quantity which is conserved by the flow of (1.1) is the momentum, P(Φ) = (P1(Φ), . . . , PNof the momentum will be given in the next(Φ)). A rigorous definition section. If Φ is a function sufficiently localized in space, we havePk(Φ) =RRNhiΦxk,Φidx, whereh∙,∙iis the usual scalar product inC'R2. In a series of papers (see, e.g., [3], [4], [27], [31], [32]), particular attention has been paid to the traveling waves of (1.1). These are solutions of the form Φ(x, t) =ψ(x+ctω), where ω∈SN−1is the direction of propagation andc∈R∗is the speed of the traveling wave. They are supposed to play an important role in the dynamics of (1.1). We say thatψhas finite energy ifrψ∈L2(RN) andV(|ψ|2)∈L1(RNthe equation (1.1) is rotation invariant, ). Since we may assume thatω= (1,0, . . . ,0). Then a traveling wave of speedcsatisfies the equation ∂ψ+ Δψ (1.3)∂xic1+F(|ψ|2)ψ in= 0RN. It is obvious that a functionψsatisfies (1.3) for some velocitycif and only ifψ(−x1, x0) satisfies (1.3) withcreplaced by−c it suffices to consider the case. Hencec≥0.
In view of formal computations and numerical experiments, it has been conjectured that finite energy traveling waves of speedcexist only for subsonic speeds:c < vs. The nonexistence of traveling waves for supersonic speeds (c > vs[28] in the case of the) has been proved first in Gross-Pitaevskii equation, then in [41] for a wide class of nonlinearities. More qualitatively, the numerical investigation of the traveling waves of the Gross-Pitaevskii equation (F(s) = 1−s) has been carried out in [31]. The method used there was a continuation argument with respect to the speed, solving (1.3) by Newton’s algorithm. DenotingQ(ψ) =P1(ψ) the momentum ofψwith respect to thex1−direction, the representation of the solutions in the energy vs. momentum diagram gives the following curves (the straight line is the lineE=vsQ).
Figure 1: (E, P) diagrams for (GP): (a) dimensionN= 2; (b) dimensionN= 3.
2
The rigorous proof of the existence of traveling waves has been a long lasting problem and was considered in a series of papers, see [9], [8], [14], [7], [43]. At least formally, traveling waves are critical points of the functionalE−cQ it is a natural idea to look for such. Therefore, solutions as minimizers of the energy at fixed momentum, the speedcbeing then the Lagrange multiplier associated to the minimization problem. In the case of the Gross-Pitaevskii equation, in view of the above diagrams, this method is expected to give the full curve of traveling waves ifN= 2 and only the lower part ifN= 3 (since clearly, minimizers ofEat fixedQcan not lie on the upper branch). On a rigorous level, minimizing the energy at fixed momentum was used in [8] to construct a sequence of traveling waves with speedscn−→0 in dimensionN≥3. Minimizing the energyEat fixed momentumQhas the advantage to provide orbitally stable traveling waves, which is intimately related to the concavity of the curveQ7→E. On the other hand, ifQ7→Eis convex, as it is the case on the upper branch in figure 1 (b), one expects orbital instability. More recently, the curves describing the minimum of the energy at fixed momentum in dimension 2 and 3 have been obtained in [7], where the existence of minimizers ofEunder the constraintQ=constantis also proved for anyq >0 ifN= 2, respectively for anyq∈(q0,∞) (withq0>0) ifNin [7] depend on the special algebraic structure of the= 3. proofs The Gross-Pitaevskii nonlinearity and it seems difficult to extend them to other nonlinearities. The existence of minimizers has been proved by considering the corresponding problem on tori (R/2nπZ)N, proving a priori bounds for minimizers on tori, then passing to the limit as n−→∞ this method gives the existence of minimizers on. AlthoughRN, it does not imply the precompactness of all minimizing sequences, and therefore leaves the question of the orbital stability of minimizers completely open.
The existence of traveling waves for (1.1) under general conditions on the nonlinearity, in any space dimensionN≥3 and for any speedc∈(0, vs) has been proved in [43] by minimizing the actionE−cQ Theunder a Pohozaev constraint. method in [43] cannot be used in space dimension two (there are no minimizers under Pohozaev constraints). Although the traveling waves obtained in [43] minimize the actionE−cQamong all traveling waves of speedc, the constraint used to prove their existence is not conserved by the flow of (1.1) and consequently it seems very difficult to prove their orbital stability (which is expected at least for small speeds c).
In the present paper we adopt a different strategy. If the nonlinear potentialVis non-negative, we consider the problem of minimizing the energy at fixed momentumQ=qand we show that in any space dimensionN≥2 there exist minimizers for anyq∈(q0,∞), with q0≥0. The minimizers are traveling waves and their speeds are the Lagrange multipliers associated to the variational problem. These speeds tend to zero asq∞→−. IfN= 2 andF has a good behavior nearr20(more precisely, if assumption (A4) below is satisfied with Γ6= 0), we prove thatq0waves that we obtain tend to= 0 and that the speeds of the traveling vs asq−→nonlinearities we obtain the properties of the minimum of the energy general 0. For vs. momentum curve and this is in agreement with the results in [31], [32] and [7]. We also prove the precompactness of all minimizing sequences for the above mentioned problem, which implies the orbital stability of the set of traveling waves obtained in this way. IfVachieves negative values (this happens, for instance, in the case of the cubic-quintic NLS), the infimum of the energy on the set of functions of constant momentum is always −∞. In this case we minimize the functionalE−Qin the set of functionsψsatisfying RRN|rψ|2dx=k space dimension. InN≥2 we prove that minimizers exist for anykin some interval (k0, k∞ Moreover, if) and, after scaling, they give rise to traveling waves.N= 2 and Fbehaves nicely nearr20we havek0= 0 and the speeds of traveling waves obtained in this way tend tovsask−→0. Letresult of [43], which holds for any us emphasize that the N≥3,
3
does not require any sign assumption on the potentialV. In space dimension two, even in the case whenVtakes negative values it is still possible to find local minimizers of the energy under the constraintQ=qifq Ifis not too large.F satisfies assumption (A4) below with Γ60 this can be done for any= qin some interval (0, q∞) and the speeds of traveling waves obtained in this way tend tovsasp−→ we0. Moreover, get the precompactness of all minimizing sequences, and consequently the orbital stability of the set of local minimizers. Our results cover as well nonlinearities of Gross-Pitaevskii type and of cubic-quintic type. To the best of our knowledge, all previous results in the literature about the existence of traveling waves for (1.1) in space dimension two are concerned only with the Gross-Pitaevskii equation and the proofs make use of the specific algebraic properties of this nonlinearity. The main disadvantage of the present approaches is that although we get minimizers for any momentum in some interval (q0,∞) or (0, q∞or for any kinetic energy in some interval) (k0, k∞), the speeds we obtain are Lagrange multipliers, so we cannot guarantee that these speeds cover a whole interval. However, in all cases it can be proved that we get an uncountable set of speeds. One might ask whether there is a relationship between the families of traveling waves obtained from different minimization problems. In dimensionN≥3 we prove that all traveling waves that we obtain in the present paper also minimize the actionE−cQunder the Pohozaev constraint considered in [43]. The converse is, in general, not true. For instance, in the case of the Gross-Pitaevskii equation in dimensionN≥3, it was proved in [7, 21] that there are no traveling waves of small energy, and we generalize that result in the present paper; this implies that there isc0< vssuch that there are no traveling waves of speedc∈(c0, vs) which minimize the energy at fixed momentum. However, ifN≥the existence of traveling waves as3 minimizers ofE−cQunder a Pohozaev constraint has been proved in [43] for anyc∈(0, vs). This is in agreement with the energy-momentum diagram of figure 1 (b), where the traveling waves with speedcclose to the speed of soundvs Weare expected to be on the upper branch. also prove that all minimizers of the energy at fixed momentum are (after scaling) minimizers ofE−Qat fixed kinetic energy. is an open question whether the converse is true or not. It An affirmative answer to this question would imply that the set of speeds of traveling waves which minimize the energy at fixed momentum is an interval. Let us mention that traveling waves for (1.1) in dimensionN= 2 with general nonlinearities as those studied in dimension one in [15] have been studied numerically in [17]. The numerical algorithms in [17] allow to perform the constrained minimizations used is this paper. It appears that forN= 2, even when the potentialVis nonnegative, it is not true in general that minimizingEat fixedQor minimizingE−Qat fixed kinetic energy provides a single interval of speeds; for instance, it may provide the union of two disjoint intervals.
We will consider the following set of assumptions: 2 (A1)The functionFis continuous on [0,∞),C1in a neighborhood ofr0,F(r20) = 0 and F0(r2)<0. 0 (A2)There existC >0 andp0<N2−2(withp0<∞ifN= 2) such that|F(s)| ≤ C(1 +sp0) for anys≥0. (A3)There existC, α0>0 andr∗> r0such thatF(s)≤ −Csα0for anys≥r∗. (A4)FisC2nearr02and F(s) =F0(r02)(s−r20)+12F00(r02)(s−r20)2+O((s−r20)3) forsclose tor20.
4
If (A4) holds, we define
(1.4)
2 Γ := 6−4vr204F00(r0). s
If (A1) and (A3) are satisfied, it is explained in the introduction of [43] how it is possible ˜ to modifyFinfinity in such a way that the modified functionis a neighborhood of Fsatisfies also (A2) and (1.1) has the same traveling waves as the equation obtained from it by replacing ˜ FwithF (A1) and (A2) hold, we get traveling waves as minimizers of some functionals. If under constraints. However, if (A1) and (A3) are verified but (A2) is not, the above argument implies only the existence of such solutions, and not the fact that they are minimizers. If (A1) is satisfied, we denoteV(s) =Rrs20F(τ)dτanda=q−12F0(r20).Then the sound velocity at infinity associated to (1.1) isvs= 2ar0and using Taylor’s formula forsin a neighborhood ofr02we have (1.5)V(s1=)2V00(r20)(s−r20)2+ (s−r02)2ε(s−r20) =a2(s−r02)2+ (s−r20)2ε(s−r02), whereε(t)−→0 ast−→0.Hence for|ψ|close tor0,V(|ψ|2) can be approximated by the 2 2 Ginzburg-Landau potentiala2(|ψ|2−r0) . Energy and function spaces.We fix an odd functionϕ∈C∞(R) such thatϕ(s) =sfor s∈[0,2r0], 0≤ϕ0≤1 onRandϕ(s) = 3r0fors≥4r0 denote. WeW(s) =V(s)−V(ϕ2(√s)), so thatW(s) = 0 fors∈[0,4r20and (A2) are satisfied, it is not hard to]. If assumptions (A1) see that there existC1, C2, C3>0 such that s)| ≤C1(s−r02)2for anys≤9r20; (1.6)i|nVitucal,r(arp|V(ϕ2(τ))| ≤C1(ϕ2(τ)−r20)2for anyτ;
(1.7)|V(b)−V(a)| ≤C2|b−a|max(ap0, bp0 any) fora, b≥2r20; (1.8)|W(b2)−W(a2)| ≤C3|b−a|a11{a>2r0}+b2p0+11{b>2r0}for anya, b≥0. 2p0+ Givenψ∈Hl1oc(RN) and Ω an open set inRN, the modified Ginzburg-Landau energy ofψin Ω is defined by (1.9)EΩGL(ψ) =ZΩ|rψ|2dx+a2ZΩϕ2(|ψ|)−r202dx. We simply writeEGL(ψ) instead ofEGRLN(ψ modified Ginzburg-Landau energy will play). The a central role in our analysis. We denoteH˙1(RN) ={ψ∈Ll1oc(RN)| rψ∈L2(RN)}and ∈H˙1(RN)|ϕ2(|ψ|)−r02∈L2(RN)} (1.10)E=={{ψψ∈H1(RN)|EGL(ψ)<∞}. ˙ LetD1,2(RN) be the completion ofCc∞for the normkvk=krvkL2(RN)and let =u∈ D1,2(RN)|ϕ2(|r0−u|)−r20∈L2(RN)} (1.11)X {H˙1(RN)|u∈L2∗(RN), EGL(r0−u)<∞}ifN≥3. ={u∈
5
IfN≥3 andψ∈ E, there exists a constantz0∈Csuch thatψ−z0∈L2∗(RN), where 2∗=N2−N2(see, for instance, Lemma 7 and Remark 4.2 pp. 774-775 follows in [24]). It thatϕ(|ψ|)−ϕ(|z0|)∈L2∗(RN). On the other hand, the fact thatEGL(ψ)<∞implies ϕ(|ψ|)−r0∈L2(RN), thus necessarilyϕ(|z0|) =r0, that is|z0|=r0 it is easily seen. Then that there existα0∈[0,2π) andu∈ X, uniquely determined byψ, such thatψ=eiα0(r0−u). In other words, ifN≥3 we haveE={eiα0(r0−u)|α0∈[0,2π), u }∈ X. It is not hard to see that forN≥2 we have (1.12)E={ψ:RN−→C|ψis measurable,|ψ| −r0∈L2(RN),rψ∈L2(RN)}. Indeed, we have|ϕ2(|ψ|)−r20| ≤4r0| |ψ|−r0|, henceϕ2(|ψ|)−r20∈L2(RN) if|ψ|−r0∈L2(RN). Conversely, letψ∈ E. IfN= 2, it follows from Lemma 2.1 below that|ψ|2−r02∈L2(R2) and we have| |ψ| −r0|=|ψ|+1r0| |ψ|2−r20| ≤r10| |ψ|2−r02|.IfN≥3, we know thatϕ(|ψ|)−r0∈L2(RN) and 0≤ |ψ| −ϕ(|ψ|)≤ |ψ|1{|ψ|≥2r0}≤2(|ψ| −r0)1{|ψ|≥2r0}≤22∗2−1| |ψ| − |2∗ r021{|ψ|≥2r0}and r0 the last function belongs toL2(RN Moreover,) by the Sobolev embedding. one may find bounds fork |ψ| −r0kL2(RN)in terms ofEGL(ψ) (see Corollary 4.3 below). Proceeding as in [25], section 1, one proves thatE ⊂L2+L∞(RN) and thatEendowed with the distance
(1.13)dE(ψ1, ψ2) =kψ1−ψ2kL2+L∞(RN)+krψ1− rψ2kL2(RN)+k |ψ1| − |ψ2| kL2(RN) is a complete metric space. We recall that, given two Banach spaces of distributions onRN, the Banach norm on the spaceX+Yis defined bykwkX+Y= inf{kxkX+kykY|w=x+y, x∈ X, y∈Y}. We will also consider the following semi-distance onE:
(1.14)d0(ψ1, ψ2) =krψ1− rψ2kL2(RN)+k |ψ1| − |ψ2| kL2(RN). Ifψ1, ψ2∈ Eandd0(ψ1, ψ2) = 0, then we have|ψ1|=|ψ2|a.e. onRNandψ1−ψ2is a constant (of modulus not exceeding 2r0) a.e. onRN. In space dimensionN= 2,3,4, the Cauchy problem for the Gross-Pitaevskii equation has beenstudiedbyPatrickG´erard([24,25])inthespacenaturallyassociatedtothatequation, namely E={ψ∈Hl1oc(RN)| rψ∈L2(RN),|ψ|2−r02∈L2(RN)} endowed with the distance
dE(ψ1, ψ2) =kψ1−ψ2kL2+L∞(RN)+krψ1− rψ2kL2(RN)+k |ψ1|2− |ψ2|2kL2(RN). Global well-posedness is shown (see section 6) ifN∈ {2,3}or ifN= 4 and the initial data is small. IfN= 2,3 or 4 it can be proved thatE=Eand the distancesdEanddEare equivalent onE. Notation.Throughout the paper,LNis the Lebesgue measure onRNandHsis the s−dimensional Hausdorff measure onRN. Forx= (x1, . . . , xN)∈RN, we denotex0= (x2, . . . , xN)∈RN−1. We writehz1, z2ifor the scalar product of two complex numbersz1, z2. Given a functionfdefined onRNandλ, σ >0, we denote (1.15)fλ,σ(x) =fλx1xσ,0. If 1≤p < N, we writep∗for the Sobolev exponent associated top, that isp1∗=p1−1N. Main results.Our most important results can be summarized as follows.
6
Theorem 1.1Assume thatN≥2, (A1) and (A2) are satisfied andV≥0on[0,∞). For q≥0, let
Then:
Emin(q) = inf{E(ψ)|ψ∈ E, Q(ψ) =q}.
(i) The functionEminis concave, increasing on[0,∞),Emin(q)≤vsqfor anyq≥0, the right derivative ofEminat0isvs, andEmin(q)→−∞andEmiqn(q)−→0asq−→∞. (ii) Letq0= inf{q >0|Emin(q)< vsq}.For anyq > q0, all sequences(ψn)n≥1⊂ E satisfyingQ(ψn)−→qandE(ψn)−→Emin(q)are precompact ford0(modulo translations). The setSq={ψ∈ E |Q(ψ) =q, E(ψ) =Emin(q)}is not empty and is orbitally stable (for the semi-distanced0) by the flow associated to (1.1). (iii) Anyψq∈ Sqa traveling wave for (1.1) of speedis c(ψq)∈[d+Emin(q), d−Emin(q)], where we denote byd−andd+ Wethe left and right derivatives. havec(ψq)−→0asq−→∞. (iv) WhenN≥3, we haveq0>0. Moreover, ifN= 2and assumption (A4) is satisfied, we haveq0= 0if and only ifΓ6= 0, in which casec(ψq)−→vsasq−→0. IfVachieves negative values, the infimum ofEon the set{ψ∈ E |Q(ψ) =q}is−∞ for anyq. In this case we prove the existence of traveling waves by minimizing the functional I(ψ) =−Q(ψ) +RRNV(|ψ|2)dx(or, equivalently, the functionalE−Q) under the constraint RRN|rψ|2dx=k.More precisely, we have the following results: Theorem 1.2Assume thatN≥2 Forand (A1), (A2) are satisfied.k≥0, let Imin(k) = infnI(ψ)|ψ∈ E,ZRN|rψ|2dx=ko. Then, there isk∞∈(0,∞]such that the following holds: (i) For anyk > k∞,Imin(k) =−∞. The functionIminis concave, decreasing on[0, k∞), Imin(k)≤ −k/vs2, for anyk≥0, the right derivative ofIminat0is−1/vs2, andImikn(k)→ ∞ − − ask→−∞. (ii) Letk0= inf{k >0|Imin(k)<−k/vs2} ∈[0, k∞] any. Fork∈(k0, k∞), all sequences(ψn)n≥1⊂ EsatisfyingRRN|rψn|2dx−→kandI(ψn)−→Imin(k)are pre-compact ford0 If(modulo translations).ψk∈ Eis a minimizer forImin(k), there exists c=c(ψk)∈[p−1/d+Imin(k),p−1/d−Imin(k)]such thatψk(∙c)is tant traveling a non cons wave of (1.1) of speedc(ψk). (iii) We havek∞<∞if and only if (N= 2andinfV <0). Ifk∞=∞, the speeds of the traveling waves obtained from minimizers ofImin(k)tend to0ask−→∞. (iv) ForN≥3, we havek0>0. IfN= 2and assumption (A4) is satisfied we havek0= 0 if and only ifΓ6= 0the speeds of the traveling waves obtained from minimizers, in which case ofImin(k)tend tovsask−→0. In space dimension two, the tools developed to prove Theorem 1.2 enable us to find min-imizers ofEat fixed momentum on a subset ofEeven ifV Weachieves negative values. have:
Theorem 1.3Assume thatN= 2and that (A1), (A2) are satisfied. Let Ein]m(q) = infnE(ψ)|ψ∈ E, Q(ψ) =qandZR2V(|ψ|2)dx≥0o.
7
