CC BY
23
UDC 517.958
NONLINEARITY-DEFECT INTERACTION: SYMMETRY BREAKING BIFURCATION IN A NLS WITH A 5' IMPURITY
R. Adami1, D. Noja1
1Dipartimento di Matematica e Applicazioni, Universita di Milano Bicocca, Italy [email protected], diego.noj [email protected]
PACS 05.45.-a, 03.65.-W, 05.45.Yv
We illustrate some new results and comment on perspectives of a recent research line, focused on the stability of stationary states of nonlinear NLS with point interactions. We describe in detail the case of a "S'" interaction, that provides a rich model endowed with a pitchfork bifurcation with symmetry breaking in the family of ground states. Finally, we give a direct proof of the stability of the ground states in the cases of a subcritical and critical (in the sense of the blow-up) nonlinearity power.
Keywords: nonlinear dynamics, quantum mechanics, solitons, symmetry breaking, pitchfork bifurcation.
1. A new range of application for point interactions
One of the most celebrated features of the point interactions (PI) lies in their capability of supplying exactly solvable models. For this reason, PI have been widely employed to construct toy models and for pedagogical purposes. Nonetheless, they prove useful also when used to model real physical systems: the more a physically relevant quantity (e.g. energy spectrum or time evolution) is explicitly known, the more information can be extracted. General theory and reference to physical applications with extended bibliography are in (see [10,11]). In particular, PI fit well the needs of modeling the so-called defects, namely, small inhomogeneities in a medium where a wave propagates, under the hypothesis that the details of the internal structure of the inhomogeneity are not relevant, so that its action can be modeled as concentrated at a point. More precisely, the smallness of the inhomogeneity is to be evaluated with respect to the typical wavelength of the incoming waves, or equivalently, in the case of a quantum system, to the width of the wave function. In this paper we address the analysis of effects of the interaction between nonlinearity and point defects in the behaviour of solutions of nonlinear Schrodinger (NLS) equation. We prefer not to enter in a description of the vast field of application of the NLS equation, from the theory of integrable systems and inverse scattering to the propagation of amplitude envelope of waves. We cite just two relevant applications of the NLS as an effective model for real physical systems: dynamics of Bose-Einstein condensates (BEC) and laser beam propagation in nonlinear (Kerr) media. In both cases it is physically meaningful to consider the propagation of NLS waves in the presence of defects. In particular, the recent spectacular development of both theoretical research and experimental technology involving BEC (see [45] and references therein, and [13,14,16]) provides point interactions with a wide range of applications.
As widely known, in current experiments the formation of a BEC is induced in bounded region of spaces, usually delimited by magnetic and/or optical traps. In such situations, the condensate lies in a one-particle quantum state, whose corresponding wavefunction is characterized
as the minimizer of the Gross-Pitaevskii functional. When the trap is removed, the wavefunction of the BEC spreads out according to the evolution prescribed by the cubic Schrodinger equation
idt^(t,x) = -dfy(t,x) + a\^(t,x)\2^(t,x), (1.1)
where we denoted by ^ the wave function of the condensate, and the space variable x belongs to R, R2 or R3 according to the fact that we are modeling a cigar-shaped or a disc-shaped or a genuinely three-dimensional BEC. We recall that the nonlinearity carries the information that, even though its state is an actual one-particle state, the condensate consists of a large number of interacting particles (in the experimentally realized condensates, at least thousands); the fact that the nonlinearity is cubic means that the dynamical effects of the two-particle interactions overwhelm the effects of many-body collisions. The strength of the nonlinear term, given by the constant a, is proportional to the scattering length of the two-body interaction between the particles. Here we do not summarize the progress in the derivation of (1.1) as an effective equation for a many-body quantum system. The interested reader is referred to [20-22] for the three-dimensional problem, to [34] for the two-dimensional case, and to [1,2,12] for the case of cigar-shaped condensates. In the following we focus on this last case, in which, on one hand, the nonlinearity is milder, while, on the other hand, the family of point interactions is richer.
A natural question in this context is the following: what happens when a wave (i.e. a condensate) is sent against a defect? One would guess (and it has been shown for some models, see e.g. [19,29,32,44]) that the incoming wave splits into a reflected wave, a transmitted wave and a captured component. Similar results have been proven for propagation on graphs also (see [4]), in the case of a repulsive vertex, where no capture occurs. Indeed, it seems reasonable to conjecture that a capture can occur only if a nonlinear stationary state exists. Since equation (1.1) is dispersive, the presence of a nonlinear stationary state (or more than one) must be related to the defect. This is the reason why such possible stationary states are called defect modes. Even though at this stage it is an unproven fact, it is plausible to link the persistence of a captured wave with some sort of stability (in a sense to be made precise) of the defect mode. For this reason the interest in determining the stability of the defect modes lies not only in the problem itself, but extends to models of reality too.
As a short review on results on stability and instability of defect modes in the presence of a power nonlinearity we recall results proved in [26,27,40], where the effects of a
i-like defect are analysed. The first cited work deals with an attractive defect, and shows that, for any frequency u above the proper frequency of the unique bound state of the delta potential, there is a unique defect mode that oscillates at frequency u. It turns out that the wavefunction of such a defect mode is nothing but the nonlinear deformation of the linear bound state. The stability (more exactly, the orbital stability, see Definition 2.2) of such a mode depends on fi and u: if ^ ^ 2, then the defect mode is stable for any u; if ¡i> 2, then it becomes unstable at high frequencies. References [26,40] extend the analysis to a repulsive delta-like defect. The situation becomes more involved in the case of a more singular defect, for instance, the so-called 5' defect. The following sections are devoted to this case. For more details see also the comprehensive review [7] and the forthcoming paper [6].
The established theoretical framework for the study of stability is provided by Weinstein and Grillakis-Shatah-Strauss theory (see [30,31,49,50]) or, alternatively, by Lions concentration-compactness method (see [41,42] and [17] for a review). The occurrence of bifurcation in the ground state has been investigated in [33] and more recently in [28,35,36,43,46].
2. Results
2.1. The 6' "potential"
The so-called 5'-defect, with strength , located (just to be definite) at zero, is defined imposing the boundary condition
■0(0+) — ^(0—) = —^ (0+) = —^ (0—) (2.1)
to the solutions to (1.1) (see [9,23]). The parameter 7 is real; when positive, the defect is called attractive, otherwise repulsive. More formally, one defines a linear Hamiltonian operator H1 as the operator that acts as —d2 on the domain D(H1) made of functions in H2(R~) © H2(R+) satisfying (2.1). Note that the only continuous elements of the domain of H1 have a vanishing derivative at the origin. The operator H1 is a self-adjoint operator with the following spectral features: singular continuous spectrum is empty, absolutely continuous spectrum is given by the positive halfline and point spectrum is empty in the repulsive case, and coincides with {—4/ry2} in the attractive case. In the last case the corresponding (non-normalized) eigenfunction is
<f7(:x) = e(x)e t'^',
where we denoted the sign function by e. Notice that is odd. The quadratic form F1 associated
to is ^^^^^^ ^^ ^^^ ^nrM mM /^l • — Ul /TCP + \ /T\ Ul /TCP ^
and reads
to H1 is defined on the domain Q := Hl(R+) © Hl(E ) (we stress that Q is independent of 7)
F, WO = WII2 — 7"V(0+) — ^(0—)|2,
where we made the following abuse of notation
Iip'(x)l2dx + lim / l^'(x)l2dx,
that will be extensively repeated.
At variance with the delta potential, the Schrodinger operator with a 5' interaction cannot be derived from a form sum, because the 5' is not small with respect to the laplacian. Nevertheless it can be obtained as the norm-resolvent limit of the sum of three S potentials (see [18,24]) with a fine tuned rescaling, defined as follows
-l
[H,+u]-1 = lim £^0
7 ¿e j \e ¿e2 j \7
for any —v in the resolvent set of H, (see Figure 1).
Moreover, since any delta potential, in its turn, can be approximated by a strong limit of rescaled regular potentials, then it is possible to interpret a i-prime potential as the suitable limit of rescaled, well-behaved potentials. Let us remark that if ^ belongs to the operator domain of H,, then the form associated to H, has the expression
= № 112 — ^' (0+)I2,
which explains the questionable name of .
2.2. Combining nonlinearity and defect
Once constructed the operator H,, the evolution in the presence of both a generic power nonlinearity and a defect is defined by
idt^(t ,x) = H^(t ,x) + al^(t ,x)l2^(t ,x). (2.2)
Fig. 1. A regular approximation for an attractive i-prime potential centred at zero. To obtain an approximation for a repulsive i-prime, one must reverse the central well.
For such equation it is possible to prove global well-posedness if ¡i < 2 (see [3]), local well-posedness if ^ ^ 2 (see [6]), and to provide examples of blow-up for this last case (see [8]). However, until the solution exists, L2-norm and energy
m = \wn2 - - v(o-)i2 - ^imZXl
are conserved by time evolution.
Thanks to the existence of a conserved energy it is possible to introduce a notion of nonlinear ground state: intuitively, one would define it as a minimizer of the energy among the wavefunctions endowed with the same L2-norm, as this is the definition that naturally extends the more familiar notion of linear ground state.
As in the linear case, it is meaningful to search for stationary states of (2.2), i.e. solutions of the form
^(x,t) = e1^ (x) . (2.3)
The amplitudes ^ are solutions of the stationary equation
H1 ^ + ^ - = 0. (2.4)
This leads to the introduction of the so-called action functional
suvo = ¿(VO + llHI2, (2.5)
defined on the energy domain Q. It is immediate indeed that Euler-Lagrange equations for Su are given just by (2.4). Note that the action (and the energy as well) is not bounded from below on Q. To overcome this problem, a ground state is usually defined as a minimizer of Su constrained on the Nehari manifold
1»№) = SL(W = ^ - + u^) = 0.
The above set is a codimension one manifold that obviously contains all stationary points of Su, and it tuns out that on it the action is bounded from below.
The relation between the constrained variational problem for £ and Su is a byproduct of the Grillakis-Shatah-Strauss theory on stability of stationary states (see [30], [31]) applied to mini-mizers of Su: a minimizer of the action on the Nehari manifold is a local minimizer of the energy among the function with the same L2-norm || if and only if it is stable (in the sense of Definition (2.2)).
The following preliminary result is obtained through variational techniques (we remove the subscript u from when not needed to avoid ambiguity):
Theorem 2.1. For any oj > there exists at least one minimizer of Su among all functions on the Nehari manifold. Furthermore, the minimizer solves the stationary Schrodinger equation with defect:
H1 ^ + - = 0. (2.6)
For oj ^ equation (2.6) admits no solutions in D(ii7).
The line of the proof is standard, except that: first, the functional space of reference Q is larger than H1(M); second, the problem is one-dimensional, so that one must cope with a lack of compactness when passing from weak convergence in Q to strong convergence in Lp; third, the boundary condition to be reconstructed is non standard. A complete proof is in [6].
An important point about Theorem 2.1 is that, in order to find the ground states, it suffices to determine which one among the solutions of (2.6) has least action. This can be made directly, as the solutions to equation (2.6) can be explicitly found. It has been said, however, that the variational analysis provides information beyond the one obtainable through the direct ODE approach; for example, the minimum is constrained to a finite codimension (one in this case) manifold, an information which is important for stability issues.
2.3. Symmetry breaking
Equation (2.6) can be rephrased as follows:
-<92$ + - m2^ = 0, (2.7)
with ^ e H2(R+) © H2(R-) satisfying the boundary condition (2.1).
The only solutions to (2.7) that vanish at infinity are constructed by gluing together two pieces of a solitary wave for the NLS, namely
{
,T1T„. . , ±A > (a + 1) Cosh v\nJZj{x — x i)l, x < 0 A > (fi + 1) 2CW2C cosh M [pLy/ûj(x — £2)], X > 0
where the parameters x1 and x2 are to be adjusted so that (2.1) is satisfied. Now, it is immediately seen by (2.5) that due to contribution of the point interaction energy, one has
su (C-2 ) < Su (Cf2 )
so we can restrict the search for minimizers to the functions fâ1-2, i.e. solutions of (2.6) that change sign at the origin (and only there).
For any such function, the boundary condition (2.1) translates into the system
{
,2^ ,2^+2 _ ,2^ ,2^+2
¿r1 + Ç1 = iVÛ
0^ = | tanh(n^fûxi)\ ^ 1, (2.8)
whose solutions can be depicted as the intersection of the full and the dashed lines in Figure 2. One immediately finds that for < oj ^ t'1c unique solution is given by l \
o li
Fig. 2. The full lines represent the solutions to the first equation in (2.8): they consist of the line 0 ^ t1 = t2 ^ 1, and of a curve, that is concave if f is not too small. The dashed lines represent the solutions to the second equation of (2.8): they consist of a family of hyperbola parametrized by u
that corresponds to an antisymmetric stationary state y, where
1 . 7v^+2
y = X ! = -X2 = ---j= log--=--.
Zf^/u jy/u — 2
At uj = tV1^- two new solutions arise, giving birth to two new branches of stationary states that persist for u > they correspond to the couple of asymmetric stationary states
^¡i1'-y2, ^i2 ,-yi, with both y1 and y2 positive but, except in the cubic case / = 1, not in explicit form. A direct computation yields, for these values of u,
Su(№-y2) = (rj'-yi) < suOft-).
We conclude that with the growth of the frequency u there exist two branches of asymmetric ground states which bifurcate from the branch of (anti)symmetric ones. We are then in the presence of a spontaneous symmetry breaking of the set of ground states.
2.4. Stability: a pitchfork bifurcation
The study of the stability for such a system can be made by applying the Grillakis-Shatah-Strauss theory (see [30,31]). This theory provides sufficient conditions for the orbital stability of stationary states, which is stability "up to the symmetries". Roughly speaking, the notion of orbital stability coincides with the ordinary Ljapunov stability for orbits instead of states, where orbits are to be understood with respect to a symmetry group. In our case the symmetry group is U(1), corresponding to the well known phase invariance of the NLS, which persists in the presence of point perturbation too. So, a stationary state is said to be orbitally stable if at any time a solution to (2.2) remains arbitrarily close to the orbit {e, 9 e [0, ¿k)}, provided that it started sufficiently close to it. More rigorously,
Definition 2.2. A stationary state is called orbitally stable if for any e > 0 there exists a a > 0 s.t.
inf 11^0 - \\q ^a ^ sup inf \\ipt — \\Q ^ e,
where is the solution corresponding to the initial condition ^0.
A stationary state is called orbitally unstable if it is not orbitally stable.
The Grillakis-Shatah-Strauss theory (see [30,31]) carries out a deep investigation of the orbital stability of stationary states of (infinite dimensional) hamiltonian systems with symmetries, generalizing previous work by the same authors and independently by Michael Weinstein (see [48-50]).
They succeeded in giving sufficient conditions for stability and instability by studying second-order approximation of the action (linearization) around a stationary state, and carefully controlling the nonlinear remainders exploiting symmetries and conservation laws. In the present situation, as it is well known, one gets a hamiltonian system from NLS equation passing to real variables (], p) = (Re0, Im-0). We confine ourself to a brief operative summary of the method, and so we omit the (however important) connection with hamiltonian systems referring to the original literature for details.
Neglecting higher order terms, one has for the action expanded around the stationary state fa (we omit other superscripts for simplicity)
1 i ( ] \ f ]
Su,{lpu, + V + ip) = Su(fa) + - S"(fa) ,
¿
The Hessian operator S" (fa) can be represented in matrix form as (we implicitly introduced the representation of a function ] + ip as the real vector function (], p))
SI (fa) := ' Ll 0
0 L2
0 L2
where Li and L2 are two selfadjoint operators with D(Li) = D(L2) = D(H1) given by
Li = H1 + u — A(2J + 1)\fa\2^
L2 = H1 + u — A\fa\2^.
Now, were S" (fa) a positive operator, the (linear) stability of fa would be immediately established, as the situation would be analogous to what happens for a classical particle in a potential well. Unfortunately, this cannot be the case. First of all, the operator S"(fa) is endowed with a non trivial kernel that consists of the linear span of (0,^), due to the symmetry. Second, recall that every ground state is a minimizer only on the constraint provided by the Nehari manifold, which has codimension one. On the space orthogonal to the Nehari manifold, S" (fa) is surely negative, as
(^ ) < 0.
It follows that there exists a cone on which S" (^) is actually negative.
Nevertheless, it is possible that the dynamical constraints given by the conservation laws prevent the wave function from further evolving far inside that cone, finally forcing the solution to remain close to the orbit of the ground state. The Grillakis-Shatah-Strauss theory establishes that this is the case if a certain number of conditions are satisfied. In its easiest version, such a set of conditions can be collected as follows ) Spectral conditions:
(1) KerL2 = Span{^w},
(2) L2 > 0,
Fig. 3. Bifurcation diagram for ^ ^ 2. The full line denotes stable stationary states, while the dashed line represents unstable stationary states. Notice that ground states are always stable
(3) KerLi = {0},
(4) L1 has exactly one negative eigenvalue. ii) Vakhitov-Kolokolov's criterion (see [47]):
k\\2
du
that, since dSu^u) = & equivalent to
> 0,
d2SUJ(ijjuj) n (2g)
duj* 1 j
In the case of interest, conditions i) and ii) are verified except for the the stationary states in the branch ipvj'~y with uj > t/z1^-, where a more sophisticated version of conditions /') and /'/' ) is needed, again provided by the Grillakis-Shatah-Strauss theory (see [31]). The results on stability can be summed up as follows.
Theorem 2.3. For any /i > 0
(1) If uj < then the unique (up to a phase) ground state iljy~y is orbitally stable.
(2) If uj > -^z1^, then the stationary state rt[)y~y is orbitally unstable.
For 0 ^ /j, ^ 2, uj > -^z1^, the two ground states ip^1~y2, ri)yJ~yi are orbitally stable.
For 2 < /j, < ¡1* < 2.5 there exist uji > and uj2 > uji, such that, if ^fz^-y- < uj < uj\,
then ipyi~V2 and ipy2~Vl are orbitally stable; if u > u2, then ipyi~V2 and —yi are orbitally
unstable.
For /j, > ¡j*, there exist uji > ^uj2 > uj\, such that, if < uj < uj\ or uj > uj2, then
ipyi~V2 and ipy2~yi are orbitally unstable.
The bifurcation diagrams for the system are portrayed in Figures 3 and 4.
Fig. 4. Bifurcation diagram for 2 < ¡i < ¡j*. We have no results for the interval (u1}u2), but we conjecture that it is always possible to choose = u2
3. Proof of stability
The content of this section is technical. Here we we give a proof of the stability of all ground states in the case ^ ^ 2. Under such a restriction, every ground state satisfies the Vakhitov-Kolokolov's criterion. The proof we present here differs from the one given in [6], as it does not use the Grillakis-Shatah-Strauss theory and so it does not refer to linearization. We decided to include in this report such a technical part in order to convey some information on the method of proofs and on the techniques employed. An analogous analysis is given for the case of a NLS with 5 interaction in [27], and both are inspired by [25]. In order to proceed we need some preliminary definitions and results.
First, the definition of orbital stability can be reformulated using the notion of orbital neighbourhood.
Definition 3.1. The set
Uv(0) := e Q, s.t inf U - eidt\\Q ^ V]
#€[0,2^)
is called the orbital neighbourhood with radius rq of the function 0.
It is convenient to introduce a function that associates to any frequency uj > tV the value of the minimum attained by evaluated on functions in the Nehari manifold corresponding to that frequency. Namely,
d : (-±,+0o)->R
u i—> d(u) := min[S'we Q, (0) = 0}.
It is then important to stress other points that we did not mention explicitly so far.
Remark 3.2.
(1) In the energy space Q the following norm is defined:
^|2 dx + £lim y WI2 dx.
(2) For any 9 e [0, 2n) and any (f) e Q, one has Su (e%d4>) = Su (0). As a consequence, if fa is a ground state, then all the functions e%d fa in its orbit are ground states too. In the proof of Theorem (3.4) we will make the phase explicit by denoting
faJ'X2'e :— ei&fa1'*2'0.
The result we need to go through the proof are summarized in the following Proposition. Their proof is contained in [6].
Proposition 3.3.
(1) For any function (f) in the Nehari manifold one has (4>) = S(4>), where S is the functional defined by
Xfj, 2^1+2'
(2) Any minimizer fa of the functional on the Nehari manifold minimizes also the functional S on the region ^ 0.
(3) Following Fibich and Wang (see [25]) we recall that the map
m :=^\mttl
Q : Q —> E, 0 ^
is well-defined. Notice that Q maps a function 0 into the frequency of a ground state having the same L2^+2-norm as 0. Such a ground state may not be unique, but the L2^+2-norm always is.
(4) If fa minimizes Su on the Nehari manifold Iu — 0, then minimizes Su on the set
W e Q, II0IU+2 = Wfa\W+2}-
(5) For any q > 0, the function minimizes the functional among the functions in Q that satisfy
(0):— II2 + q\I0I\2 -mWt+t — 0.
(6) If ^ ^ 2, then any ground state satisfies the Vakhitov-Kolokolov's condition (2.9). Now we can prove the
Theorem 3.4. If 1 ^ ^ ^ 2, then any ground state is stable.
Proof. We specialize to the case with u > namely, beyond the frequency of bifurcation.
In fact, for u < 77^-!-, this proof can be easily adapted and one recovers essentially the argument given in [27].
Fix u;0 > and suppose that the stationary solution r^^'tn^ is orbitally unstable.
This means that there exists e0 > 0 and a sequence e Ui {fa1'^2'0) such that
sup inf II^fc(t) -faJfa^IIQ > 60 where pk(t) is the solution to equation (2.2) with initial data pfc.
Nonlinearity-defect interaction: symmetry breaking bifurcation in a NLS with a 5' impurity 15 With no loss of generality, we assume
^ ^ f \№-w>° - c-^\\q = m-2'0 - rj(ryi'0h. (3.1)
Let tk be the smallest positive time for which
f. (3-2)
and let us use the notation = '-Pk (4). By conservation laws,
(60 = £(60 + yll&lll = + f Ml —+ yl№~w,0lll = = ¿M-
(3.3)
where we used the fact that, by construction, the sequence ipk converges to ^yi1'~y2'0 strongly in Q, that implies the convergence of the energy and of the L2-norm.
Let us denote uk — uj(^k). We recall the following result from [25], used in [27] also:
Suk(£k) - Sujk(4>o) ^ ^d"(uQ)(uk - Uo)2 (3.4)
where we denoted uk — w(£k). The fact that the Vakhitov-Kolokolov's condition is satisfied (see [6] ), together with (3.4) and (3.3), implies uk — u0, and therefore, by the definition of the function uj, we have
Mk II
k || 2^+2
■Oujk\iPujk)
1 _ __1
2/Li+2
* A - M_
Uk ||M+2
2^ + 2 0
^ vPuo J
2M+2
— im'-y2'oh»+2. (3.5)
,y 2 ,W,1n
We define the sequence (k := „ "M+2£fc. By (3.5),
Kk - —
M+2 _ 1
Mkh -- 0. (3.6)
\\£fc\U+2
As a consequence, ((k) - Suo (£k) ^ 0, so ((k) ^ Suo (Vu). For this reason, and as Kk^+2 = \^i10'-y2'°\2^+2, point (4) in Proposition 3.3 implies that {(k} is a minimizing sequence for the problem
min^ty), ^ e Q\{0}, \\^\2M+2 = \№2ryi'°h»+2}.
By Banach-Alaoglu theorem there exists a subsequence, whose elements we denote by (k too, that converges weakly in Q and therefore in L2^+2. Let us call its weak limit.
First, notice that = 0. Indeed, were it zero, then weak convergence in Q would imply C~(0±) ^ 0, and therefore ((k) - S°0 (00 ^ 0, so
Then, employing the fact that 0° := X[0,+^)^u!0 (0) = 0, points (4) and (5) in Proposition 3.3 yield
= iimS2o(a) ^ s°o(x+4>o) > s^ix+to) ^
which is absurd. So it must be = 0.
We claim that = 0. We proceed by contradiction.
Suppose indeed that < 0. Then, by point (2) in Remark 3.2 and points (1) and (2) in
Proposition 3.3 we know that the minimizers of the functional S on the region ^ 0 are given
by fa10'-y2'e and fa20'-yi'e, for all 9 e [0, 2^). Furthermore, all such functions lie on the set Iuo — 0. As a consequence, recalling the definition of the functional S, one obtains
IIUI
112^+2
1
2/Li+2
>
2/Li+2
= 11 ^u!'-^2112^+2 •
But this is not possible, as ^ is the weak limit of functions having the same L2^+2-norm as
J,yi'-y2'0
ru o
On the other hand, suppose that Iuo((&,) > 0. By (3.3) and (3.5)
lim Iuo(£k) = 2 lim Suo(€k) - lim Uk\\ZXl
kox kox U + 1 kiL ^
Xp,
¿Ti
Therefore, by (3.6),
lim Iuo ((k) — 0.
ki<x
From the following inequality (see [15])
IunIl - IIun -u^IIl -IMIl 0, V1 <p< (3.7)
one easily has
((k - -> -U (< 0
As a consequence, eventually in k we obtain IUo((k - () < 0 and then, using point (2) in Proposition 3.3
iiCk - au+2 > urur^I^. (3.8)
But from (3.7), and knowing that — 0, we have that the following inequality holds eventually in
II Ck - au+2 ^ wru-0'-y2'0W2,+2,
that contradicts (3.8).
We conclude that Iuo((&>) cannot be strictly positive and, as we already proved that it cannot be negative, it must vanish.
As a consequence, from point (2) in Proposition 3.3 again, we get || 112^+2 ^ W^U0'-y2'0112^+2. But, since is a weak limit, it must be
\\(^2^+2 — \\fal' V2'°W2v+2.
This fact has the following relevant consequences:
• Owing to (3.7), the sequence {(nj converges strongly to in the topology of L2^+2.
• The sequence {(k} converges to in the strong topology of Q. Indeed, by the convergence of SUo((k) to SUo(C~), the weak convergence in Q, and the strong convergence of
{(k} in L2^+2, we have
WCkII2 + Q0wCkW2 IIC,W2 + QoWUI2. (3.9)
So the convergence is strong in the space Q endowed with the norm given by (3.9), that is equivalent to the usual Q-norm.
• The sequence {£k} also converges to in the strong topology of Q. Indeed, applying (3.6), we have
IIa - ClIIq < IIa - CkI\q + IICk - ClIIq 0. (3.10)
— jyi '-y2'0
• The function minimizes SUo with the constraint IUo — 0, so, either — ^ or — fa20'-yi'e for some value of 9 in [0, 2^).
Let us suppose that — ^yi0'-y2'e, for a certain value of 6. By (3.10) we obtain ^ ^yi0 ~y2'& strongly in Q, that contradicts inequality (3.2), and thus the assumption of the orbital instability of the stationary state ^yi0'-y2'0 proves false.
On the other hand, consider the case with — fa20'-yi'e for some value of 6. By (3.2) there exists a sequence 6k such that
2
Uk-rjrm'dkh ^ 3£o- (3.ii)
Using elementary triangular identity, (3.1) and (3.11), we obtain, for any d e [0, 2^),
' ""HQ - """ -SfcllQ ^
This contradicts (3.10), so the proof is complete.
Uk-rj0'-yi'eh > IIC'^-C'^llo-IIC'^-^llo ^ 3
□
4. Perspectives
The interplay between nonlinearity and defects is, in our opinion, a promising and worth developing field. In particular, already in simple models highly non trivial behaviour can emerge. An enlightening example has been supplied by means of the ' defect, in which the occurrence of a pitchfork bifurcation with symmetry breaking has been proved for the family of nonlinear ground states.
Such results have to be considered as the first achievements of our research project. Many non trivial variations on the theme could be given by studying the entire family of one-dimensional defects (a four parameters family, see [9]) and thus investigate the effect of various self-adjoint boundary conditions, in particular, of those that give rise to two bound states. We expect that, in the nonlinear problem, each of the two linear modes could be deformed into nonlinear modes for any frequency greater than the energy of the corresponding linear mode. Think, for instance, of a point interaction that, roughly speaking, is the sum of a and a ' defect at the same point. It exhibits two bound states, one of which is even (as the ground state for a Dirac's delta), while the other is odd (as the ground state for a delta prime). A number of question then arises: how do the corresponding nonlinear mode interact? Does it exist a third family of stationary (possibly ground) states that does not preserve any parity symmetry?
However, all these steps are only preliminary to the problem of studying the detailed evolution of a travelling soliton that meets an impurity.
It remains completely open the problem of defining analogous models in higher dimension. We recall that in dimension two and three, the only point interaction is the delta interaction, and in dimension higher than three there are no point perturbations of the laplacian. For instance, in the three dimensional case a bare power nonlinearity seems to be too strong to be added to a Dirac's 5 potential; so a different type of nonlinearity with a moderated behaviour at infinity should be considered. Conversely, in space dimension two the nai'f power nonlinearity could be not necessarily in conflict with the domain of a delta interaction, but up to now no rigorous result exists on this problem.
Another related topic is given by quantum graphs (see [37-39] for the relevant definitions and analysis in the linear case). Also in the relatively simple case of a NLS on a star graph, the richer structure provides a larger number of nonlinear stationary states, for example two stationary states for a three edge star graph with a delta vertex, both attractive and repulsive, and the number increases with the number of edges (see [5]). In this respect, besides the determination of the ground state, it is an open interesting problem the analysis of stability of excited states, here
explicitly known. Nothing is known for the a star graph with more general vertex conditions, for
example the boundary condition of 5' type.
References
[1] Adami R., Bardos C., Golse. F, Teta A. Towards a rigorous derivation of the cubic NLSE in dimension one // Asymp. An. — 2004. — V. 40(2). — P. 93-108.
[2] Adami R., Golse, F, Teta A.: Rigorous derivation of the cubic NLS in dimension one // J. Stat. Phys. — 2007. — V. 127.— P. 1193-1220.
[3] Adami R., Noja D. Existence of dynamics for a 1-d NLS equation in dimension one // J. Phys. A Math. Theor. — 2009. — V. 42. — 495302, 19 p.
[4] Adami R., Cacciapuoti C., Finco D., Noja D. Fast Solitons on Star Graphs // Rev. Math. Phys. — 2011. — V. 23(4).
[5] Adami R., Cacciapuoti C., Finco D., Noja D. Stationary states of NLS on star graphs. — arXiv: 1104.3839, 2011.
[6] Adami R., Noja D. Stability, instability and symmetry breaking bifurcation for the ground states of a NLS with a S' interaction // arXiv. 1112.1318, 2011.
[7] Adami R., Noja D., Sacchetti A. On the mathematical description of the effective behaviour of one-dimensional Bose-Einstein condensates with defects // In: Bose-Einstein Condensates: Theory, Characteristics, and Current Research. — New York: Nova Publishing, 2010.
[8] Adami R., Sacchetti A. The transition from diffusion to blow-up for a NLS equation in dimension one // J. Phys. A Math. Gen. — 2005. — V. 38. — P. 8379-8392.
[9] Albeverio S., Brzezniak Z., Dabrowski L. Fundamental solutions of the Heat and Schrodinger Equations with point interaction // Journal of Functional Analysis. — 1995. — V. 130. — P. 220-254.
[10] Albeverio S., Gesztesy F., Hoegh-Krohn R., Holden H. Solvable Models in Quantum Mechanics: Second Edition, With an Appendix by Pavel Exner. — AMS Chelsea Publishing, Providence, 2005.
[11] Albeverio S., Kurasov P. Singular Perturbations of Differential Operators. — Cambridge University Press, 2000.
[12] Ammari Z., Breteaux S. Propagation of chaos for many-boson systems in one dimension with a point pair-interaction. — arXiv: 0906.3047, 2009.
[13] Brazhnyi V., Konotop V., Perez-Garcia V. Driving defect modes of Bose Einstein condensates in optical lattices // Phys. Rev.Lett. — 2006. — 96. 060403.
[14] Brazhnyi V., Konotop V., Perez-Garcia V. Defect modes of a Bose Einstein condensate in an optical lattice with a localized impurity // Phys. Rev.A. — 2006. — V. 74. — 023614.
[15] Brezis H., Lieb E.H. A relation between pointwise convergence of functions and convergence of functionals // Proc. Amer. Math. Soc. — 1983. — V. 88. — P. 486-490.
[16] BurioniR., Cassi D., Sodano P., Trombettoni A., Vezzani A. Soliton propagation on chains with simple nonlocal defects // Physica D -. 2006. — V. 216. — P. 71-76.
[17] Cazenave T. Semilinear Schrodinger Equations. — Courant Lecture Notes, 2003.
[18] Cheon T., Shigehara T. Realizing discontinuous wave functions with renormalized short-range potentials // Phys. Lett. A. — 1998. — V. 243(22). — P. 111-116.
[19] Datchev K., Holmer J. Fast soliton scattering by attractive delta impurities // Comm. Part. Diff. Eq. — 2009. — V. 34. — P. 1074-1113.
[20] Erdos L., Schlein B., Yau H-T. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of the Bose Einstein condensate // Comm. Pure Appl. Math. — 2006. — V. 59. — P. 1659-1741.
[21] Erdos L., Schlein B., Yau H-T. Derivation of the cubic nonlinear Schrodinger equation from quantum dynamics of many body systems // Invent. Math. — 2007. — V. 167. — P. 515-614.
[22] Erdos L., Schlein B., Yau H-T. Derivation of the Gross-Pitaevskii equation for the dynamics of the Bose Einstein condensate. // Ann. Math. — 2010. — V. 172(1). — P. 291-370.
[23] Exner P., Grosse P. Some properties of the one-dimensional generalized point interactions (a torso). — mp-arc 99-390, math-ph/9910029, 1999.
[24] Exner P. Neidhart H. Zagrebnov V.A. Potential approximations to S': an inverse Klauder phenomenon with norm-resolvent convergence // Comm. Math. Phys. — 2001. — V. 224. — P. 593-612.
[25] Fibich G., Wang X. P. Stability for solitary waves for nonlinear Schrodinger equations with inhomogenous nonlinearities // Physica D. — 2003. — V. 175. — P. 96-108.
[26] Fukuizumi R., Jeanjean L.: Stability of standing waves for a nonlinear Schrodinger equation with a repulsive Dirac delta potential // Disc. Cont. Dyn. Syst. (A). — 2008. — 21. — P. 129-144.
[27] Fukuizumi R., Ohta M, Ozawa T. Nonlinear Schrodinger equation with a point defect // Ann. I.H.Poincaré, AN. — 2008. — 25. — P. 837-845.
[28] Fukuizumi R., Sacchetti A. Bifurcation and stability for Nonlinear Schroedinger equations with double well potential in the semiclassical limit, preprint arXiv:1104.1511 (2011).
[29] Goodman R. H., Holmes P. J., Weinstein M. I. Strong NLS soliton-defect interactions // Physica D. — 2004. — 192.— P. 215-248.
[30] Grillakis M. Shatah J. Strauss W. Stability theory of solitary waves in the presence of symmetry I. // J. Func. An. — 1987. — V. 74. — P. 160-197.
[31] Grillakis M. Shatah J. Strauss W. Stability theory of solitary waves in the presence of symmetry II // J. Func. An. — 1990. — V. 94. — P. 308-348.
[32] Holmer J., Marzuola J., Zworski M. Fast soliton scattering by delta impurities // Comm. Math. Phys. — 2007. — V. 274. — P. 187-216.
[33] Jackson R.K, Weinstein M.I. Geometric analysis of bifurcation and symmetry breaking in a Gross-Pitaevskii equation // J. Stat. Phys. — 2004. — V. 116. — P. 881-905.
[34] Kirkpatrick K., Staffilani G., Schlein B. Derivation of the two-dimensional nonlinear Schrodinger equation from many body quantum dynamics // Am. J. of Math. — 2011. — V. 133(1). — P. 91-130.
[35] Kirr E.W., Kevrekidis P.G., Pelinovsky D. E. Symmetry-breaking bifurcation in the nonlinear Schrodinger equation with symmetric potentials. — arXiv:1012.3921, 2010.
[36] Kirr E.W., Kevrekidis R.G., Shlizerman E., Weinstein M.I. Symmetry-breaking bifurcation in nonlinear Schrodinger/Gross-Pitaevskii equations // SIAM J. Math. Anal. — 2008. — V. 40. — P. 566-604.
[37] Kostrykin V., Schrader R. Kirchhoff's rule for quantum wires // J. Phys. A: Math. Gen. — 1999. — V. 32(4). — P. 595-630.
[38] Kuchment P. Quantum graphs. I. Some basic structures // Waves Random Media. — 2004. — V. 14(1). — S107-S128.
[39] Kuchment P.: Quantum graphs. II. Some spectral properties of quantum and combinatorial graphs // J. Phys. A: Math. Gen. — 2005. — V. 38(22). — P. 4887-4900.
[40] Le Coz S., Fukuizumi., Fibich G., Ksherim B., Sivan Y.: Instability of bound states of a nonlinear Schrodinger equation with a Dirac potential // Phys. D. — 2008. — V. 237(8). — P. 1103-1128.
[41] Lions, P.L. The concentration-compactness principle in the calculus of variations. The locally compact case. I // Ann. Inst. H. Poincare Anal. Non Lineaire. — 1984. — 1. — P. 109-145.
[42] Lions, P.L. The concentration-compactness principle in the calculus of variations. The locally compact case. II // Ann. Inst. H. Poincare Anal. Non Lineaire. — 1984. — V. 1. — P. 223-283.
[43] Pelinovsky D.E., Phan T. Normal form for the symmetry-breaking bifurcation in the nonlinear Schrodinger equation. — arXiv: 1101.5402v1, 2011.
[44] Perelman G., A remark on soliton-potential interaction for nonlinear Schrodinger equations // Math. Res. Lett. — 2009. — V. 16(3). — P. 477-486.
[45] Pitaevskii L., Stringari S. Bose-Einstein condensation. — Oxford University Press, 2003.
[46] Sacchetti A. Universal Critical Power for Nonlinear Schrodinger Equations with a Symmetric Double Well Potential // Phys. Rev. Lett. — 2009. — V. 103. — 194101.
[47] M. G. Vakhitov, A. A. Kolokolov: Stationary solutions of the wave equation in a medium with nonlinearity saturation // Radiophys. Quantum Electron. — 1973. — V. 16. — P. 783-789.
[48] Weinstein M.: Nonlinear Schrodinger equations and sharp interpolation estimates // Comm. Math. Phys. — 1983.—V. 87.— P. 567-576.
[49] Weinstein M. Modulational stability of ground states of nonlinear Schrodinger equations // SIAM J. Math. Anal. — 1985. —V. 16. — P. 472-491.
[50] Weinstein M.: Lyapunov stability of ground states of nonlinear dispersive evolution equations // Comm. Pure Appl. Math. — 1986. — V. 39. — P. 51-68.
