1: \documentclass[12pt]{amsart}

2: %

3: 

4: \usepackage{color}

5: 

6: \usepackage{amssymb}

7: \usepackage{graphicx}  

8: %

9: %

10: 

11: \newcommand{\PSbox}[1]{\includegraphics[0in,0in][3in,3in]{#1}}

12: 

13: 

14: \setlength{\textheight}{8in} \setlength{\oddsidemargin}{0.0in}

15: \setlength{\evensidemargin}{0.0in} \setlength{\textwidth}{6.4in}

16: \setlength{\topmargin}{0.18in} \setlength{\headheight}{0.18in}

17: \setlength{\marginparwidth}{1.0in}

18: \setlength{\abovedisplayskip}{0.2in}

19: 

20: \setlength{\belowdisplayskip}{0.2in}

21: 

22: \setlength{\parskip}{0.05in}

23: 

24: 

25: \pagestyle{headings}

26: \newcommand{\F}{{\mathcal F}} 

27: \newcommand{\CC}{{\mathbb C}}

28: \newcommand{\CI}{{\mathcal C}^\infty }

29: \newcommand{\CIc}{{\mathcal C}^\infty_{\rm{c}} }

30: \newcommand{\Oo}{{\mathcal O}} 

31: \newcommand{\D}{{\mathcal D}}

32: \newcommand{\ZZ}{{\mathbb Z}}

33: \newcommand{\Q}{{\mathbb Q}}

34: \newcommand{\RR}{{\mathbb R}}

35: \newcommand{\TT}{{\mathbb T}}

36: \newcommand{\SP}{{\mathbb S}}

37: \newcommand{\defeq}{\stackrel{\rm{def}}{=}}

38: \newcommand{\HH}{{\mathcal H}}

39: \newcommand{\NN}{{\mathbb N}}

40: \newcommand{\Tr}{\operatorname{Tr}}

41: \newcommand{\vol}{\operatorname{vol}}

42: \newcommand{\rank}{\operatorname{rank}}

43: \newcommand{\half}{\frac{1}{2}}

44: \renewcommand{\l}{\lambda}

45: \newcommand{\supp}{\operatorname{supp}}

46: \newcommand{\kerr}{\operatorname{ker}}

47: \newcommand{\itA}{\operatorname{it}}

48: \newcommand{\comp}{\operatorname{comp}}

49: \newcommand{\loc}{\operatorname{loc}}

50: \newcommand{\Diff}{\operatorname{Diff}}

51: \newcommand{\tr}{\operatorname{tr}}

52: \newcommand{\Spec}{\operatorname{Spec}}

53: \newcommand{\Res}{\operatorname{Res}}

54: \newcommand{\rest}{\!\!\restriction}

55: \newcommand{\ttt}{|\hspace{-0.25mm}|\hspace{-0.25mm}|}

56: \renewcommand{\Re}{\mathop{\rm Re}\nolimits}

57: \renewcommand{\Im}{\mathop{\rm Im}\nolimits}

58: \newcommand{\ad}{\operatorname{ad}}

59: \newcommand{\spec}{\operatorname{spec}}

60: 

61: 

62: \theoremstyle{plain}

63: \def\Rm#1{{\rm#1}}

64: \newtheorem{thm}{Theorem}

65: \newtheorem{prop}{Proposition}[section]

66: \newtheorem{cor}[prop]{Corollary}

67: \newtheorem{lem}[prop]{Lemma}

68: 

69: \theoremstyle{definition}

70: \newtheorem{ex}{EXAMPLE}[section]

71: \newtheorem*{exmple}{Example}

72: \newtheorem{rem}{Remark}[section]

73: \newtheorem{defn}[prop]{Definition} 

74: 

75: \numberwithin{equation}{section}

76: \newcommand{\thmref}[1]{Theorem~\ref{#1}}

77: \newcommand{\secref}[1]{Section~\ref{#1}}

78: \newcommand{\lemref}[1]{Lemma~\ref{#1}}

79: \newcommand{\exref}[1]{Example~\ref{#1}}

80: \newcommand{\corref}[1]{Corollary~\ref{#1}}

81: \newcommand{\propref}[1]{Proposition~\ref{#1}}

82: \def\bbbone{{\mathchoice {1\mskip-4mu {\rm{l}}} {1\mskip-4mu {\rm{l}}}

83: { 1\mskip-4.5mu {\rm{l}}} { 1\mskip-5mu {\rm{l}}}}}

84: \newcommand{\mn}[1]{\Vert#1\Vert}

85: \def\squarebox#1{\hbox to #1{\hfill\vbox to #1{\vfill}}} 

86: \newcommand{\stopthm}{\hfill\hfill\vbox{\hrule\hbox{\vrule\squarebox 

87:                  {.667em}\vrule}\hrule}\smallskip} 

88: \newcommand{\sech}{\textnormal{sech}}

89: %

90: 

91: %

92: \newcommand{\indentalign}{\hspace{0.3in}&\hspace{-0.3in}}

93: \newcommand{\la}{\langle}

94: \newcommand{\ra}{\rangle}

95: \newcommand{\ds}{\displaystyle}

96: \newcommand{\nlso}{\textnormal{NLS}_0}

97: \newcommand{\nlsq}{\textnormal{NLS}_q}

98: \newcommand{\trans}{\textnormal{tr}}

99: \newcommand{\refl}{\textnormal{ref}}

100: \newcommand{\R}{\textnormal{Re}\,}

101: %

102: \usepackage{amsxtra}

103: 

104: \ifx\pdfoutput\undefined

105:   \DeclareGraphicsExtensions{.pstex, .eps}

106: \else

107:   \ifx\pdfoutput\relax

108:     \DeclareGraphicsExtensions{.pstex, .eps}

109:   \else

110:     \ifnum\pdfoutput>0

111:       \DeclareGraphicsExtensions{.pdf}

112:     \else

113:       \DeclareGraphicsExtensions{.pstex, .eps}

114:     \fi

115:   \fi

116: \fi

117: 

118: \title

119: [Slow soliton interaction with delta impurities]

120: {Slow soliton interaction with delta impurities}

121: 

122: 

123: \author[J. Holmer]

124: {Justin Holmer}

125: \email{holmer@math.berkeley.edu}

126: \author[M. Zworski]

127: {Maciej Zworski}

128: \email{zworski@math.berkeley.edu}

129: \address{Mathematics Department, University of California \\

130: Evans Hall, Berkeley, CA 94720, USA}

131: 

132: 

133: \begin{document}    

134:    

135: 

136: \begin{abstract}

137: We study the Gross-Pitaevskii equation with a delta function potential, 

138: $ q \delta_0 $, where $ |q| $ is small

139: and analyze the solutions for which the initial condition is a 

140: soliton with initial velocity $ v_0 $.

141: We show that up to time $ (|q| + v_0^2 )^{-\frac12} \log(1/|q|) $ 

142: the bulk of the solution is a soliton evolving 

143: according the classical dynamics of a natural 

144: effective Hamiltonian, $ (\xi^2 + q \, \sech^2 ( x ) )/2 $.

145: 

146: %

147: %

148: %

149: %

150: %

151: \end{abstract}

152: 

153: \maketitle   

154: 

155:    

156: \section{Introduction}   

157: \label{in}

158: 

159: The Gross-Pitaevskii equation (NLS) with a 

160: delta function potential and soliton initial data, 

161: \begin{equation}

162: \label{eq:nls}

163: \left\{

164: \begin{aligned}

165: &i\partial_t u + \tfrac{1}{2}\partial_x^2 u -q\delta_0(x)u +u|u|^2 = 0\\

166: &u(x,0) = e^{ i v_0 x } \sech ( x - a_0 ) \,,  

167: \end{aligned}

168: \right.

169: \end{equation}

170: %

171: %

172: %

173: offers a surprising wealth of dynamical phenomena. In \cite{HMZ1},

174: (and numerically in \cite{HMZ2}), the authors and 

175: J. Marzuola studied the high velocity, $ v_0 \gg 1 $, case and showed

176: that the scattering matrix of the delta potential controls the

177: dynamics. In this paper we describe the case of small $ q $. The

178: most interesting dynamics is visible for 

179: initial  velocities satisfying $ v_0^2 \leq |q| $. 

180: The low $ v_0  $  regime has been studied in the physics 

181: literature \cite{CM},\cite{GHW},\cite{BL}, and the behaviour in the

182: intermediate

183: range of $ q$'s and $v_0$'s, that is 

184:  between the fully quantum and semiclassical cases studied

185: in \cite{HMZ1} and in this paper respectively, is still unclear. We state

186: the main result here with a slightly more precise version given in 

187: Theorem \ref{t:2} in 

188: \S \ref{pr} below.

189: 

190: \begin{thm}

191: \label{t:1}

192: Suppose that in \eqref{eq:nls} 

193: we have $  |q|\ll 1 $.

194: Then, on a time interval $0\leq t \leq \delta (v_0^2+|q|)^{-1/2}\log(1/|q|)$, 

195: \begin{equation}

196: \label{eq:t1}

197: \| u ( t ,\bullet ) -  e^{i\bullet v(t) }e^{i\gamma ( t ) } \sech

198: (\bullet -a ( t) ) \|_{H^1 ( \RR ) } \leq C |q|^{1-3 \delta} \,,

199: \end{equation}

200: where $ a$, $ v$, and $ \gamma$ solve the following system

201: of equations

202: \begin{equation}

203: \label{eq:t3}

204: \frac{d}{dt} {  a} =   v \,, \ \ 

205: \frac{d}{dt} {  v} = -\frac12 q\partial_x (\sech^2) (  a) \,, 

206: \ \ 

207: \frac{d}{dt} {  \gamma} = \frac12 + \frac {v^2} 2 

208: - q \sech^2 (   a ) - \frac12 q\partial_x (\sech^2) (  a) \,, 

209: \end{equation}

210: with initial data $(a_0,v_0,0)$.

211: \end{thm}

212: 

213: 

214: \begin{figure}[htp]

215: %

216: %

217: %

218: $$\hspace{-0.1in}\includegraphics[width=6.5in]{fiq1}$$

219: %

220: \caption{The top figure shows the evolution of $ | u ( x , t ) | $ for 

221:  $ v_0 = 0$, $ a_0=-3$, $ q=-0.01$ for $ 0 \leq t \leq 1000$.

222: %

223: %

224: In the bottom figure

225: the dashed curve is the computed center of motion, and the

226: continuous curve, the plot of $   a ( t) $ given by \eqref{eq:t3}. 

227: More figures illustrating other cases, some with an even more dramatic

228: agreement can be found at 

229: %

230: %

231: {\tt http://math.berkeley.edu/$\sim$zworski/HZ1.pdf} }

232: %

233: \label{f:1}

234: \end{figure}

235: 

236: Compared to numerical results, 

237: the theorem gives a remarkably good description of the dynamics 

238: of a slow soliton interacting with a small delta function potential. 

239: For example consider $v_0=0$, $a_0<0$ fixed, and $|q|\to 0$, illustrated in 

240: Fig.\ref{f:1}. When $ q < 0 $, 

241: the bulk of the solution is oscillatory about the origin, with the 

242: center moving from $a_0<0$ to $-a_0>0$.  Since

243: $$\frac12 v^2 + \frac12q\eta^2(a) = \frac12q\eta^2(a_0)\,, \ \ 

244: \eta ( x ) \defeq \sech ( x ) \,, $$

245: the time to complete one cycle of oscillation is

246: $$\int_{a_0}^{-a_0} \frac{2\, dx}{|q|^{1/2}\sqrt{\eta^2(x) - \eta^2(a_0)}}$$

247: which is of size comparable to 

248: $ |q|^{-1/2}$.  Since the theorem provides an accurate description up to time $\sim |q|^{-1/2}\log(1/|q|)$, it covers many cycles for small enough $|q|$. When $ q > 0 $ the soliton is repulsed by the $ \delta $ potential

249: and slowly slides to negative infinity with the terminal velocity 

250: $ q^{1/2} $ -- see Fig.\ref{f:turn} below.

251: 

252: \renewcommand\thefootnote{\dag}%

253: 

254: The proof of our theorem follows the long tradition of the study 

255: of stability of solitons which started with the work of M.I. Weinstein

256: \cite{We}. The interaction of solitons with external potentials was 

257: studied in the stationary semiclassical setting by 

258: Floer and A. Weinstein \cite{FlWe} and Oh \cite{Oh}, and the first

259: dynamical result belongs to Bronski and Jerrard \cite{BJ}. 

260: The semiclassical 

261: regime is equivalent to considering slowly varying potentials,

262: \begin{equation}

263: \label{eq:slow}

264: \left\{

265: \begin{aligned}

266: &i\partial_t u + \tfrac{1}{2}\partial_x^2 u - W ( h x ) u +u|u|^2 = 0\,, \ \

267: 0 < h \ll 1 \\

268: &u(x,0) = e^{ i v_0 x } \sech ( x - a_0 ) \,,  \ \ \| W^{ ( k )} \|_{\infty}

269: \leq C \,, \ \ k \leq 2 \,, 

270: \end{aligned}

271: \right.

272: \end{equation}

273: and that case 

274: has been studied in various settings and degrees of generality in 

275: \cite{FrSi}, \cite{FrSi1}, \cite{FrY} (see these papers for additional

276: references). The approach of these works was our starting point.

277: The results of \cite{FrSi} in the special case of \eqref{eq:slow}

278: give 

279: \begin{equation}

280: \label{eq:tslow}

281: \| u ( t ,\bullet ) -  e^{i\bullet v(t) }e^{i\gamma ( t ) } 

282: \sech(\bullet -a ( t) ) \|_{H^1 ( \RR ) } \leq C h \,,  \ \ 

283: 0 \leq t \leq C \log(1/h)/h \,, 

284: \end{equation}

285: where 

286: \begin{gather}

287: \label{eq:t3slow}

288: \begin{gathered}

289: \frac{d}{dt} {  a} =   v + {\mathcal O} ( h^2 ) \,, \ \ 

290: \frac{d}{dt} {  v} =  - h W' ( h a) + {\mathcal O} ( h^2 ) \,, 

291: \\ 

292: \frac{d}{dt} {  \gamma} = \frac12 + \frac {v^2} 2 

293: - W ( h a ) +  {\mathcal O} ( h^2 ) \,, 

294: \end{gathered}

295: \end{gather}

296: with initial data $(a_0,v_0,0)$.\footnote{Strictly speaking the 

297: result in \cite{FrSi} describes the dynamics for $ 0 \leq t \leq c_0 / h $ 

298: only. That corresponds to small time dynamics of the potential $ W $.

299: Iterating the full strength of the result of \cite{FrSi} seems to 

300: give the expected extension to Ehrenfest time $ \log (1/h) /h $ \cite{Gus}.}

301: We note that unlike in \eqref{eq:t3} the ordinary differential system

302: \eqref{eq:t3slow}

303: is not exact -- see Fig.\ref{f:drama} and the discussion below.

304: 

305: 

306: \begin{figure}

307: \begin{center}

308: \includegraphics[width=6in]{comp1}

309: \end{center}

310: \caption{Comparison of the dynamics of the center of motion of

311: the soliton for the Gross-Pitaevskii equation with a slowly 

312: varying potential, 

313: $$ iu_t = -\frac12 u_{xx} - |u|^2 u - \sech^2 ( h x ) u \,, \ \ 

314: h = 1/5 \,, \ \ h=1/4 \,, $$

315: and initial condition in \eqref{eq:nls} with $ v_0=0$, $ a_0=-3$.

316: The dashed {{red}} curve shows the solution to Newton's equations

317: used in \cite{BJ} and \cite{FrSi}, the {{blue}} curve shows

318: the center of the approximate soliton $ u $,  and the black dashed

319: curve is given by the equations of motion of the effective 

320: Hamiltonian

321: \[  \hspace{-1in} 

322: \frac 12 \left( v^2  +  \sech^2 ( h \bullet ) * \sech^2 (a )  \right) \,.\]

323: The improvement of the approximation given by the effective Hamiltonian

324: is remarkable even in the case of $ h = 1/4 $ in which we already see

325: radiative dissipation in the first cycle.}

326: \label{f:drama}

327: \end{figure}

328: 

329: 

330: At first the equations \eqref{eq:nls} and \eqref{eq:slow} appear to be very 

331: different: a delta function potential is very far from being slowly 

332: varying. The similarity of \eqref{eq:t3} and \eqref{eq:t3slow} is 

333: however a result

334: of the same underlying structure. As we recall in \S \ref{rhs} the

335: Gross-Pitaevski equations, \eqref{eq:nls} or \eqref{eq:slow}, are the 

336: equation for Hamiltonian flow of 

337: \begin{equation}

338: \label{eq:HV}

339:  H_V ( u ) \defeq \frac14 \int ( |\partial_x u |^2 - |u|^4 ) dx

340: + \frac12 \int V  | u|^2 \,, \ \ 

341: V  = q \delta_0  \,, \ \ V = W ( h \bullet ) \,, 

342: \end{equation}

343: with respect to the symplectic form on $ H^1 ( \RR , \CC ) $ (considered

344: as a real Hilbert space):

345: \begin{equation}

346: \label{eq:ome1}

347:  \omega ( u , v ) = \Im \int u \bar v \,, \ \ u , v \in H^1 ( \RR , \CC) 

348: \,.\end{equation}

349: When $ V \equiv 0 $, $ \eta = \sech $ is a critical value (minimizer)

350: of $ H_0 $ with prescribed $ L^2 $ norm:

351: \begin{equation}

352: \label{eq:defE} d {\mathcal E}_{\eta } = 0 \,, \ \ {\mathcal E}( u ) 

353: \defeq H_0 ( u ) + \frac14 \| u \|_{L^2}^2 \,.

354: \end{equation}

355: The flow of $ H_0 $ is tangent to the 

356: manifold of solitons,

357: \[  M = \{ e^{i \gamma} e^{ i v ( x - a ) } \mu \, 

358: \sech ( \mu ( x - a ) ) \,, \ \ 

359: a, v, \gamma \in \RR \,, \ \ \mu \in \RR_+ \} \,, \]

360: which of course corresponds to the fact that the solution of \eqref{eq:nls}

361: with $ q = 0 $ and $ u_0 ( x , 0 ) = e^{ i \gamma + i v_0 ( x - a_0 ) } \mu

362:  \sech ( \mu ( x - a_0 ) ) $, is

363: \begin{equation}

364: \label{eq:frees}  u ( x , t) = 

365: e^{ i \gamma + i v_0  ( x - a_0) + i ( \mu^2 - v^2) t/ 2 } 

366: \mu \, \sech ( \mu ( x - a_0 - v_0 t ) )

367: \,. \end{equation}

368: The symplectic form \eqref{eq:ome1} restricted to $ M $ is

369: \begin{equation}

370: \label{eq:ome2} \omega\rest_M

371:  = \mu dv\wedge da + vd\mu\wedge da + d\gamma \wedge d\mu

372: \,,\end{equation}

373: see \S \ref{ssms}. The evolution of the parameters $ ( a, v ,\gamma, \mu ) $

374: in the solution $ u ( x, t ) $ follows the Hamilton flow of 

375: \[  H_0\rest_M = \frac { \mu v^2 }2 - \frac{\mu^3 }6 \,, \]

376: with respect to the symplectic form $ \omega\rest_M $. 

377: 

378:  The systems of equations \eqref{eq:t3} and \eqref{eq:t3slow} are 

379: obtained using the following basic idea: if a Hamilton flow of $ H $, 

380: with initial condition on a symplectic submanifold, $ M $, 

381: stays close to $ M $, then the flow is close to the Hamilton 

382: flow of $ H \rest_M $. 

383: 

384: In our case $ M$ is the manifold of solitons and $ H $ is given 

385: by \eqref{eq:HV}

386: \begin{equation}

387: \label{eq:Heff}

388:  H_V\rest_M ( a ,v, \gamma, \mu ) =

389: \frac { \mu v^2 }2 - \frac{\mu^3 }6 +

390: \frac12 \mu^2 (V  * \sech^2) ( \mu a ) \,, 

391: \end{equation}

392: and in particular

393: \[ H_{ q \delta_0 } \rest_M = 

394: H_0 \rest_M + 

395: \frac12 \mu^2 \, \sech^2 ( \mu a ) \,, \ \

396: H_{ W( h \bullet) } \rest_M = H_0 \rest_M + \frac12 \mu^2 \, W ( h \bullet ) 

397: * \sech^2 ( \mu \bullet ) \,. \]

398: The equations \eqref{eq:t3} are simply the equations of the flow of 

399: $ H_{q \delta_0 } \rest_M $ -- see \S \ref{s:GPH}. The equations of

400: the flow of $ H_{W ( h \bullet) } \rest_M $ are easily seen to imply

401: \eqref{eq:t3slow} but some $ h$ corrections are built into the 

402: classical motion. It would be interesting to see if this provides

403: improvement of the analysis of \cite{FrSi}. Since our interests

404: lie in the study of various aspects of the delta impurity we

405: satisfy ourselves with a numerical experiment which shows that

406: the improvement is indeed dramatic -- see Fig.\ref{f:drama}.

407: 

408: In either case, 

409: all of this hinges on the proximity of the flow to $ M$ 

410: and to show

411: that we use the Lyapunov function, $ L ( w ) $, introduced in \cite{We} -- see

412: \S \ref{elf}. Typically, and as is done in \cite{FrSi}, $ L ( w ) $ is bounded

413: from below so that it controls the norm of $ w $ 

414: (roughly speaking the expression 

415: estimated in \eqref{eq:t1} and \eqref{eq:slow}), while

416: $ (d/dt) L ( w ) $ is estimated from above.

417: %

418: %

419: %

420: In this paper due to the irregularity of the potential that approach

421: for upper bounds does not seem to be  applicable but we can estimate $ L (w ) $

422: directly, controlling the propagation of $ a, v, \gamma $, and $ \mu$

423: more precisely. 

424: 

425: 

426: %

427: %

428: %

429: %

430: %

431: %

432: %

433: %

434: %

435: %

436: %

437: 

438: The paper is organized as follows. In \S \ref{rhs} we recall the Hamiltonian

439: structure of the nonlinear flow of \eqref{eq:nls} and describe the

440: manifold of solitons. Its identification with the Lie group $ G = 

441: H_3 \ltimes \RR_+ $, where $ H_3 $ is the Heisenberg group, provides

442: useful notational shortcuts. In \S \ref{re} we describe

443: the reparametrized evolution. The starting point there is an 

444: application of the implicit function theorem and a decomposition of the 

445: solution into symplectically orthogonal components. That method

446: has a long tradition in soliton stability and we learned it from \cite{FrSi}. 

447: In \S \ref{se} we give a self-contained and constructive presentation 

448: of well known spectral estimates. Weinstein's Lyapunov function is

449: adapted to our problem in \S \ref{elf}. It is estimated using classical 

450: energy. The ODE estimates needed for the iteration of our stability 

451: argument are given in \S \ref{ode} and a stronger version of Theorem \ref{t:1}

452: is proved in \S \ref{pr}.

453: 

454: Finally, we make comments on the numerics. The computations of 

455: solutions of \eqref{eq:nls} and \eqref{eq:slow} were done using 

456: the {\tt FORTRAN} code described in \cite[\S 3]{HMZ2} and written

457: as part of that project by J. Marzuola. Other computations and 

458: all the graphics were done using {\tt MATLAB}.

459: 

460: 

461: \noindent

462: {\sc Acknowledgments.} We would like to thank Jeremy Marzuola for allowing 

463: us the use of his code for NLS computations, and to 

464: Patrick Kessler and Jon Wilkening for generous help with various

465: computing issues.

466: The work of the first author was supported in part by an NSF postdoctoral 

467: fellowship, and that

468: of the second second author by an NSF grant DMS-0200732.

469: 

470: 

471: 

472: 

473: 

474: %

475: %

476: %

477: %

478: %

479: %

480: %

481: %

482: %

483: %

484: %

485: %

486: %

487: 

488: 

489: 

490: 

491: 

492: 

493: \section{The Hamiltonian structure and the manifold of solitons}

494: \label{rhs}

495: 

496: In this section we recall the well known facts about the

497: Hamiltonian structure of the nonlinear Schr\"odinger equation.

498: The manifold of solitons is given as an orbit of a semidirect

499: product of the Heisenberg group and $ \RR_+ $.

500: 

501: \subsection{Symplectic structure}

502: \label{s:sy}

503: 

504: Let $V$ be a complex Hilbert space with the inner product 

505: $ \langle \bullet, \bullet \rangle_V $. For $W$, a totally real 

506: subspace of $ V $ ($ W \cap i W = \{ 0 \} $), we have 

507: $V=W+iW \simeq W^2$, and we can consider $W$ and $ V$ 

508: as real Hilbert spaces. 

509: 

510: As a real Hilbert space $ V $ is equipped with the natural 

511: inner product or metric

512: \[ g(X,Y) = \Re \la X,Y \ra_V \,, \] 

513: and the natural symplectic form

514: \[ \omega(X,Y) = \Im \la X, Y \ra_V = g(X,iY)\,. \]

515: In other words $ g$, $ \omega $, and $ J $, multiplication by $ 1/i $

516: form a compatible triple:

517: \begin{equation}

518: \label{eq:nats} 

519: \omega ( X , Y ) = g ( J X , Y) \,, \ \ g ( X, Y ) = \omega ( X, i Y) \,.

520: \end{equation}

521: In terms of $W^2$, we have

522: $$g(X,Y) = \left< \begin{bmatrix} \Re X \\ \Im X \end{bmatrix}, 

523: \begin{bmatrix} \Re Y \\ \Im Y \end{bmatrix} \right>_{W^2} = 

524: \omega \left( 

525: \begin{bmatrix} \Re X\\ \Im X \end{bmatrix},  J  

526: \begin{bmatrix} \Re Y\\ \Im Y \end{bmatrix}  \right)$$

527: and

528: $$\omega(X,Y) = g \left( J 

529: \begin{bmatrix} \Re X\\ \Im X \end{bmatrix}, 

530: \begin{bmatrix} \Re Y\\ \Im Y \end{bmatrix}  \right)$$

531: where $J$ is the matrix representing  multiplication by $-i$:

532: $$J = \begin{bmatrix} 0 & I \\ - I & 0 \end{bmatrix}$$

533: For example, when we consider $V=\mathbb{C}^n$ and $W=\mathbb{R}^n$, then 

534: $\omega$ is just the standard symplectic form.  

535: 

536: In our work, we  take 

537: $V=H^1(\mathbb{R}, \mathbb{C})\subset L^2(\mathbb{R},\mathbb{C})$, and on $V$ 

538: we use the $L^2$ inner product.  The symplectic form $\omega$ is thus

539: \begin{equation}

540: \label{eq:omega}

541: \omega(u,v) = \Im \int u\bar v\,, 

542: \end{equation}

543: and the metric $g$ is

544: $$g(u,v) = \Re \int u\bar v$$

545: Now we consider Hamiltonians and associated Hamiltonian flows.  Let 

546: $H:V\to \mathbb{R}$ be a function, our Hamiltonian.  The associated Hamiltonian

547: vector field is a map $\Xi_H : V\to TV$, 

548: which means that for a particular point $u\in V$, we have 

549: $(\Xi_H)_u \in T_uV$. The vector field  $\Xi_H$ is defined by the relation

550: \begin{equation}

551: \label{eq:Hamvf} \omega(v , (\Xi_H)_u) = d_uH(v)

552: \,, \end{equation}

553: where $v\in T_uV$, and $d_uH:T_uV \to \mathbb{R}$ is defined by

554: $$d_uH(v) = \frac{d}{ds}\Big|_{s=0} H(u+sv) \,. $$

555: In the notation of \eqref{eq:nats} if we use $ g $ to define functionals,

556: $  dH_u ( v ) = g ( v, \nabla H_u ) $, then $ (\Xi_H)_u = J \nabla H_u  $.

557: 

558: 

559: If we take $ V = H^1 ( \RR , \CC ) $ with the symplectic form \eqref{eq:omega},

560: and

561: $$H(u) = \int \frac14|\partial_x u|^2 - \frac14|u|^4$$

562: then we can compute

563: \begin{align*}

564: d_uH(v) &= \Re \int ( (1/2) \partial_x u \partial_x \bar v - |u|^2u \bar v)\\

565: &= \Re \int ( - (1/2)\partial_x^2 u - |u|^2u)\bar v \,. 

566: %

567: %

568: \end{align*}

569: Thus, in view of \eqref{eq:nats} and \eqref{eq:Hamvf}, 

570: $$(\Xi_H)_u = \frac 1 i \left( - \frac12 \partial_x^2u - |u|^2u \right) $$

571: The flow associated to this vector field (Hamiltonian flow) is

572: \begin{equation}

573: \label{eq:Hflow}

574: \dot u = (\Xi_H)_u =  \frac 1 i  \left( - 

575: \frac12 \partial_x^2u - |u|^2u \right) 

576: \,.

577: \end{equation}

578: %

579: %

580: %

581: %

582: %

583: 

584: For future reference we state two general lemmas of symplectic 

585: geometry:

586: \begin{lem}

587: \label{l:gen1}

588: Suppose that $ g : V \rightarrow V $ is a diffeomorphism such 

589: that $ g^* \omega = \mu ( g ) \omega $, where $ \mu( g ) \in C^\infty ( 

590: V ; \RR)  $. Then for $ f \in C^\infty ( V , \RR ) $,

591: \begin{equation} 

592: \label{eq:lg1}

593: (g^{-1})_* \Xi_f(g(\rho)) = \frac{1}{\mu(g)}\Xi_{g^*f}(\rho) \,, \ \ 

594: \rho \in V \,. 

595: \end{equation}

596: \end{lem}

597: \begin{proof}

598: This is a straightforward generalization of Jacobi's theorem 

599: which is the case of $ \mu ( g ) \equiv 1 $.

600: To compute $(g^{-1})_* \Xi_f(g(\rho)) $, we note

601: \begin{align*}

602:   \omega_\rho((g^{-1})_*X, \, (g^{-1})_*\Xi_f(g(\rho))) 

603: &=((g^{-1})^*\omega)_{g(\rho)}(X, \, \Xi_f(g(\rho)))

604: = \frac{1}{\mu(g)}\omega_{g(\rho)}(X,\Xi_f(g(\rho))) \\

605: &=\frac{1}{\mu(g)} [ df(g(\rho))] (X) 

606: = \frac{1}{\mu(g)} [g^*df(\rho)] ((g^{-1})_*X ) \\

607: &= \frac{1}{\mu(g)}\omega_\rho((g^{-1})_*X, \Xi_{g^*f}(\rho))

608: \end{align*}

609: and the lemma follows.

610: %

611: %

612: \end{proof}

613: 

614: Suppose that $ f \in C^\infty ( V ; \RR ) $ and that $ df ( \rho_0  ) = 0 $.

615: Then the Hessian of $ f $ at $ \rho_0 $, 

616: $ f'' ( \rho_0 ) : T_{\rho_0} V \mapsto T^*_{\rho_0} V $, is well defined. 

617: %

618: %

619: %

620: The Hamiltonian map $ F : T_{\rho_0} V \rightarrow T_{\rho_0} V $ is given 

621: by the relation

622: \begin{equation} 

623: \label{eq:HamF}

624: %

625: \left[ f''(\rho_0 ) X \right] (Y )  = \omega_{\rho_0} ( Y , F X )

626: \,. 

627: \end{equation}

628: 

629: In this notation we have 

630: \begin{lem}

631: \label{l:gen2}

632: Suppose that $ N \subset V $ is a finite dimensional symplectic submanifold of 

633: $ V $, 

634: and $ f \in C^\infty ( V , \RR )$ satisfies 

635: \[  \Xi_f ( \rho ) \in T_\rho N \subset T_\rho V \,, \ \ \rho \in N \,.\]

636: If at $ \rho_0 \in N $, $ df ( \rho_0) = 0 $, then the Hamiltonian map

637: defined by \eqref{eq:HamF} satisfies

638: \[  F ( T_{\rho_0} N ) \subset T_{\rho_0} N  \,. \]

639: \end{lem}

640: \begin{proof} Since $ N $ is assumed to be finite dimensional 

641: we only need to prove the lemma for a finite dimensional $ V$ (any 

642: particular $ Y \in (T_\rho V)^\perp $ can be a value of a vector field

643: in a finite dimensional submanifold of $ V $ containing $ N $). 

644: We can then assume that $ \rho_0 = ( 0 , 0 ) $, and that in local 

645: coordinates near $ ( 0 , 0 ) $, $ N = \{ ( x, \xi ) \; | \; x''=\xi''=0 \}, $

646: $ x = ( x' , x'')$ , $ \xi = ( \xi' , \xi'') $, $ \bullet'= 

647: ( \bullet_1 , \cdots, \bullet_k ) $, where $ 2k = \dim N $ (see 

648: for instance \cite[Theorem 21.2.4]{Hor2}). The conditions of $ f $ mean

649: that 

650: \[  d_{x''} f ( x',\xi',0,0) = d_{ \xi''} f ( x',\xi',0,0) = 0 \,, \ \ 

651: d f ( 0 , 0 ) = 0 \,,\]

652: where we wrote $ ( x, \xi ) = ( x',\xi',x'',\xi'') $. 

653: Hence, the Hessian at $ ( 0 , 0 ) $ is given by 

654: \[  f''( 0 , 0 ) = \begin{bmatrix} f''_{x',\xi'} ( 0 , 0 ) & 0 \\

655: 0 & f''_{x'',\xi''} ( 0 , 0 ) \end{bmatrix} \,. \]

656: This means that 

657: \[       \langle f''(\rho_0 ) 

658: X , Y \rangle = 0 \ \ \forall\; X \in T_\rho N\,, 

659: \ Y \in ( T_\rho N )^\perp \,.\]

660: where $ \bullet^\perp $ denotes the symplectic orthogonal. Since 

661: the Hamiltonian map, $ F $, is defined by $ \langle f''(\rho_0 ) X , Y \rangle 

662: = \omega ( Y, F Y ) $ this proves the lemma.

663: \end{proof}

664: 

665: 

666: \subsection{Associated symmetries and Noether's theorem}

667: For completeness we comment on 

668: the Hamiltonian version of Noether's theorem which states that the

669: %

670: %

671: %

672: following three statements are equivalent

673: \begin{gather*}

674: \Xi_H E \defeq \omega ( \Xi_H , \Xi_E )  =0\,, \\  \text{$E$ is preserved by the Hamiltonian flow of $H$,}

675: \\ \text{$H$ is preserved by the Hamiltonian flow of $E$.}

676: \end{gather*}

677: For example, consider the mass $M = \int |u|^2$.  The associated Hamiltonian 

678: vector field is $(\Xi_M)_u = iu$.  We compute

679: $$\omega(\Xi_M,\Xi_H) = 

680: - \Im \int iu \, \overline{i(\partial_x^2 u + |u|^2u)} =0$$

681: The flow associated to $\Xi_M$ is $ u \mapsto e^{is} u $, 

682: which is the phase invariance of 

683: $H$ and thus solutions to $\partial_t u= i(\partial_x^2u + |u|^2u)$.

684: 

685: Similarly, the time translation, $ u ( x, t ) \mapsto u ( x , t + s ) $

686: gives the conservation of energy, $ H ( u ) $, 

687: the space translation, $ u ( x , t ) \mapsto u ( x +y , t  ) $, 

688: gives the conservation of momentum, $ \Im \int u_x \bar u $. 

689: %

690: %

691: %

692: %

693: %

694: %

695: %

696: %

697: 

698: 

699: \subsection{Manifold of solitons as an orbit of a group}

700: 

701: For $ g = ( a, v, \gamma , \mu ) \in \RR^3 \times \RR_+ $ we define

702: the following map 

703: \begin{equation}

704: \label{eq:repG}    H^1 \ni u \longmapsto g\cdot u \in H^1 \,, \ \ 

705: (g\cdot u)(x) \defeq e^{i\gamma}e^{iv(x-a)}\mu u(\mu(x-a)) \,. 

706: \end{equation}

707: This action gives a group structure on $ \RR^3 \times \RR_+ $

708: and it is easy to check that this

709: transformation group is a semidirect product of the Heisenberg group

710: $ H_3 $ and $ \RR_+ $:

711: \[ G= H_3\ltimes\mathbb{R}_+ \,, \ \ 

712: \mu\cdot(a,v,\gamma) = (\frac{a}{\mu} ,\mu v, \gamma) \,.\]

713: We recall that the Heisenberg group can be identified with the 

714: group of matrices of the form 

715: $$\begin{bmatrix}

716: 1 & v & \gamma \\

717: 0 & 1 & a \\

718: 0 & 0 & 1

719: \end{bmatrix}\,, \ \ a, v , \gamma \in \RR \,,

720: $$

721: and that the semidirect product of $ H $ and $ \RR_+ $ is defined

722: by 

723: \[ ( h , \mu ) \cdot ( h' , \mu' ) 

724: = ( h \cdot ( \mu \cdot h' ) , \mu \mu' ) \,, \ \ h , h' \in H \,.\] 

725: Explicitly, the group law on $ G $ is given by 

726: \[ (a,v,\gamma,\mu) \cdot (a',v',\gamma',\mu') = (a'',v'',\gamma'',\mu'') \,, 

727: \] 

728: where 

729: \[ \begin{split}

730: & v'' = v + v'\mu \,, \ \ 

731:  a'' = a + \frac{a'}{\mu} \,, \ \

732: %

733:  \gamma'' = \gamma + \gamma' + \frac{va'}{\mu} \,, \ \

734:  \mu'' = \mu \mu'

735: \end{split} \]

736: 

737: \noindent

738: {\bf Remark.} As was pointed to us by Bjorn Poonen, the 

739: group acts faithfully on the 4-dimensional space spanned

740: by $1$,$v$,$a$,$\gamma$ viewed as functions on the group. This can

741: be used to see that the group is faithfully represented by 

742: the group of matrices of the form 

743: $$\begin{bmatrix}

744: 1 & 0 & 0 & 0 \\ v & \mu & 0 & 0 \\ a & 0 & {1}/{\mu} & 0 \\ \gamma & 0 & 

745: {v}/{\mu} & 1 

746: \end{bmatrix} \,, \ \ v, a , \gamma \in \RR \,, \ \mu \in \RR_+ \,,

747: $$

748: but we will not use this below.

749: 

750: The action of $ G $ is not symplectic but it is {\em conformally symplectic}

751: in the sense that 

752: \begin{equation} 

753: \label{eq:conf} g^*\omega = \mu(g)\omega

754: \,, \ \ g = ( h ( g ) , \mu ( g ) ) \,, \ \ \mu ( g ) \in \RR_+ \,,

755: \end{equation}

756: as is easily seen from \eqref{eq:omega}.

757: 

758: The Lie algebra of $ G$, denoted by $ {\mathfrak g } $, 

759: is generated by $ e_1, e_2, e_3 , e_4 $, 

760: \[ \begin{split} & \exp( t e_1 ) = (t ,0,0,1)  \,, \ \  

761: \exp( t e_2 ) = (0 ,t,0,1)  \,,

762:  \\ &  \exp(t e_3 ) = ( 0, 0 , t, 1 ) \,, \ \ \exp ( t e_4 ) 

763: = ( 0 , 0 , 0 , e^t) \,, \end{split} \]

764: and the bracket acts as follows:

765: \begin{equation}

766: \label{eq:liea}

767: [e_1,e_4]=e_1, \quad [e_2,e_4] = -e_2, \quad [e_1,e_2]=-e_3, 

768: \quad [e_3,\bullet ] =0 \,, \end{equation}

769: so $e_3$ is in the center. 

770: The infinitesimal representation obtained from \eqref{eq:repG} 

771: is given by

772: \begin{equation}

773: \label{eq:liea1}  e_1 = -\partial_x \,, \ \

774: e_2 = ix \,,  \ \ e_3 = i \,, \ \  e_4 = \partial_x \cdot x \,. 

775: \end{equation}

776: It acts, for instance on $ {\mathcal S}( \RR ) \subset H^1 $, 

777: and by $ X \in {\mathfrak g} $ we will denote a linear combination of

778: the operators $ e_j $.

779: 

780: We have the following standard

781: \begin{lem}

782: \label{l:stan}

783: Suppose $ \RR \ni t \mapsto g ( t) $ is a $ C^1 $ function and that

784: $ u \in {\mathcal S} ( \RR ) $. Then, in the notation of \eqref{eq:repG},

785: \[  \frac{d}{dt } g(t) \cdot u = g( t ) \cdot ( X ( t ) u ) \,, \]

786: where $ X( t ) \in {\mathfrak g } $ is given by 

787: \begin{equation}

788: \label{eq:lstan}

789: X ( t ) =   \dot a  ( t) \mu ( t) e_1 +

790:  \frac {\dot v (t) } { \mu ( t ) } e_2 + 

791: (\dot \gamma ( t) - \dot a ( t ) v ( t )  ) e_3 + 

792: \frac  {\dot\mu( t) }{ \mu ( t ) } e_4 \,, 

793: \end{equation}

794: where $ g ( t) = ( a ( t ) , v ( t) , \gamma( t ) , \mu ( t) ) $.

795: \end{lem}

796: \begin{proof}

797: We differentiate

798: \[  g ( t ) \cdot u = \exp ( i \gamma ( t) ) \exp ( - a ( t) \partial_x ) 

799: \exp ( i v ( t) x ) \exp ( \theta ( \partial_x \cdot x ) ) u \,, \ \

800: \exp \theta ( t) = \mu ( t ) \,,\]

801: and note that 

802: \[ \begin{split}

803: &\partial_x \exp ( i v  x ) = \exp ( i v x ) ( \partial_x + i v ) \,, \\ 

804: &\partial_x  \exp ( \theta ( \partial_ x \cdot x ) )   = 

805:  \exp ( \theta ( \partial_ x \cdot x ) ) e^\theta \partial_x \,, \\

806: &i x  \exp ( \theta ( \partial_ x \cdot x ) )   = 

807:  \exp ( \theta ( \partial_ x \cdot x ) ) ( e^{-\theta } i x ) \,, 

808: \end{split} \]

809: either by direct computation or using \eqref{eq:liea}. The formula 

810: \eqref{eq:lstan} follows.

811: \end{proof}

812: 

813: The manifold of solitons is an orbit of this group, $ G \cdot \eta $, 

814: to which 

815: $ \Xi_H $, defined in \eqref{eq:Hamvf}, is tangent. In view of

816: \eqref{eq:Hflow} that means that 

817: \[  i \left( \frac12 \partial_x^2 \eta + |\eta|^2 \eta \right) = 

818: X \cdot \eta \,, \]

819: for some $ X \in {\mathfrak g } $. The simplest choice is given 

820: by taking $ X = \lambda i  $, $ 

821: \lambda \in \RR $, so that $ \eta $ solves

822: a nonlinear elliptic equation 

823: $$-\frac12 \eta'' - \eta^3 + {{\lambda}}\eta =0 \,. $$

824: This has a solution in $ H^1 $ if $ \lambda = \mu^2/2 > 0 $ and it then is

825: $\eta(x)= \mu \sech(\mu x)$.

826: We will fix $ \mu = 1$ so that 

827: $$\eta(x)=  \sech x \,. $$ 

828: Using Lemma \ref{l:gen1} we can check that $ G\cdot \eta $ is

829: the {\em only} orbit of $ G $ to which $ \Xi_H $ is tangent. 

830: 

831: We define the submanifold of solitons, $M \subset H_1$,

832: as the orbit of $\eta$ under $G$, 

833: $$M = G\cdot \eta \subset H_1$$

834: and thus we have the identifications

835: \begin{equation}

836: \label{eq:idG}

837:   M = G\cdot \eta \simeq G / \ZZ \,, \ \  T_\eta M = {\mathfrak g} \cdot 

838: \eta \simeq  {\mathfrak g }  \,. 

839: \end{equation}

840: The quotient corresponds to the $\ZZ$-action 

841: $$ ( a, v, \gamma, \mu)  \mapsto (a, v, \gamma + 2 \pi k , \mu ) \,, \ \ 

842:  k \in \ZZ $$

843: 

844: \subsection{Symplectic structure on the manifold of solitons}

845: \label{ssms}

846: We first compute the symplectic form $ \omega \rest_M $ on 

847: $ T_\eta M $ using the identification \eqref{eq:idG}:

848: \[ (\omega\rest_M )_\eta ( e_i , e_j ) = \Im \int (e_i \cdot \eta )(x)

849: (\overline {e_j \cdot \eta} ) ( x ) \,.\]

850: Since 

851: \[ \int \eta^2 ( x ) dx = 2 \,, \ \ \int \eta ( x) \partial_x \eta ( x ) = 0 

852: \,, \ \  \int \partial_x \eta ( x ) x \eta ( x ) dx = -1 \,, \]

853: we obtain from \eqref{eq:liea1} that 

854: \begin{equation}

855: \label{eq:omij}

856:   (\omega\rest_M )_\eta ( e_2 , e_1 ) = 1 \,, \ \ (\omega\rest_M)_\eta 

857: ( e_3, e_4 ) = 1 \,, 

858: \end{equation}

859: and all the other $   (\omega\rest_M )_\eta ( e_i , e_j ) $'s vanish.

860: In other words,

861: \[    (\omega\rest_M )_\eta = (dv \wedge da + d \gamma \wedge d \mu )_

862: { ( 0 ,0 , 0 , 1 ) } = ( d ( v da + \gamma d\mu ) )_{ ( 0, 0 , 0 , 1 )} \,. \]

863: 

864: To find an expression for $ \omega\rest_M $ we use \eqref{eq:conf}

865: and the following elementary

866: \begin{lem}

867: \label{l:elem}

868: If $ \sigma $ is a one form on $ \RR^3 \times \RR_+ $ such that

869: \[  \sigma_{(0,0,0,1)} =   (  v da + \gamma d\mu  )_{ ( 0, 0 , 0 , 1 )} 

870:  \,, \ \  g^* \sigma = \mu ( g) \sigma \,, \ \ g \in G \,, 

871: \] 

872: then 

873: \[ \sigma  = \mu v da + \gamma d \mu \,.\]

874: \end{lem}

875: \stopthm

876: 

877: We conclude that using the identification \eqref{eq:idG} 

878: \begin{equation}

879: \label{E:Momega}

880: \omega \rest_M  = \mu dv\wedge da + vd\mu\wedge da + d\gamma \wedge d\mu

881: \end{equation}

882: 

883: Now let $f$ be a function defined on 

884: $M$, $ f = f ( a, v, \gamma, \mu ) $.

885: The associated Hamiltonian vectorfield, $\Xi_f$, is defined by 

886: $$\omega(\cdot, \Xi_f) = 

887: df = f_ada+f_vdv+f_\mu d\mu + f_\gamma d\gamma \,. $$

888: Using \eqref{E:Momega} we obtain 

889: \begin{equation}

890: \label{eq:XifM}

891: \Xi_f = \frac{f_v}{\mu} \partial_a 

892: + \left( -\frac{f_a}{\mu}-\frac{vf_\gamma}{\mu}\right)\partial_v 

893: + f_\gamma \partial_\mu + \left(v\frac{f_v}{\mu}-f_\mu\right)\partial_\gamma

894: \,. \end{equation} 

895: The Hamilton flow is obtained by solving

896: \[ 

897: \dot v = -\frac{f_a}{\mu}-\frac{vf_\gamma}{\mu}\,, \ \

898: \dot a = \frac{f_v}{\mu} \,, \ \

899: \dot \mu = f_\gamma \,, \ \ 

900: \dot \gamma = v \frac{f_v} \mu - f_\mu \,. \]

901: %

902: %

903: The restriction of 

904: $$ H ( u) = \frac14\int |\partial_x u|^2 - \frac14\int |u|^4$$ 

905: to $ M $ is given by computing by 

906: \begin{equation}

907: \label{eq:ffM}

908:  f ( a, v, \gamma, \mu ) = H ( g\cdot \eta ) = 

909:  \frac{\mu v^2}{2}-\frac{\mu^3}{6} \,, \ \ g = ( a, v , \gamma, \mu ) \,. 

910: \end{equation}

911: The flow of \eqref{eq:XifM} for this $ f $ describes the evolution of

912: a soliton.

913: 

914: \subsection{The Gross-Pitaevski Hamiltonian restricted to the 

915: manifold of solitons}

916: \label{s:GPH}

917: 

918: We now consider the Gross-Pitaevski Hamiltonian for the delta function 

919: potential

920: \begin{equation}

921: \label{eq:GPH}

922: H_q ( u ) \defeq \frac14 \int ( |\partial_x u |^2 - |u|^4 ) dx 

923: + \frac12 q | u ( 0 ) |^2 \,, 

924: \end{equation}

925: and its restriction to $ M = G \cdot \eta $:

926: \begin{equation}

927: \label{eq:GPHM} 

928: {H_q }\rest_M = f ( a , v , \gamma, \mu ) = 

929: \frac { \mu v^2 }2 - \frac{\mu^3 }6 + 

930: \frac12 q \mu^2 \sech^2 ( \mu a ) \,. 

931: \end{equation}

932: This is obtained from 

933: \eqref{eq:ffM} and from calculating

934: \[  \frac12 q | ( g \cdot \eta ) | ( 0 ) = \frac12 q \mu^2 \eta^2 ( - \mu a ) 

935: = \frac12 q \mu^2 \sech^2 ( \mu a ) \,. \]

936: The flow of $ (H_q)\rest_M $ can be read off from \eqref{eq:XifM}:

937: \begin{equation}

938: \label{eq:GPfl}

939:  \begin{split}

940: &\dot v = -\frac{f_a}{\mu} - \frac{v f_\gamma}{\mu} = \mu^2 q \, \sech^2(\mu a) 

941: \tanh(\mu a)\\

942: &\dot a = \frac{f_v}{\mu} = v \\

943: &\dot \mu = f_\gamma = 0\\

944: &\dot \gamma = v \frac{f_v} \mu - f_\mu = \frac12 v^2 + \frac12 \mu^2 - 

945: q\mu \, \sech^2(\mu a) 

946: - \frac12q\mu^2 a \, \sech^2(\mu a) \tanh(\mu a)

947: \end{split} \end{equation}

948: This are the same equations as \eqref{eq:t3}. The evolution of $ a $ and 

949: $ v $ is simply the Hamiltonian evolution of 

950: $ ( v^2 + q \mu^2 \sech^2 ( \mu a ) )/2 $, $ \mu = \text{const} $. 

951: The more mysterious evolution of the phase $ \gamma $ is now explained

952: by \eqref{eq:GPHM}.

953: 

954: 

955: Since $\mu$ is constant by the third equation, solving this system reduces to 

956: solving the first two equations. The  

957: turning position, $a_\text{turn}$, is given by 

958: $$|a_\text{turn}| = \sech^{-1} \left( \frac{v}{ \sqrt q} \right)$$

959: and Fig.\ref{f:turn} gives a comparison between  $ a_\text{turn} $ and

960: the numerically computed turning point of the center of the

961: soliton.

962: 

963: 

964: 

965: \begin{figure}

966: \begin{center}

967: %

968: \includegraphics[width=6in]{turn}

969: \end{center}

970: \caption{

971: %

972: %

973: %

974: Two plots with $ q = 0.04 $ and $ q=0.09 $, respectively, and $ a_0= -10$.

975: The blue line is the theoretical prediction of the 

976: turning point of the soliton, 

977: $ |a_{\text{turn}}| = 

978: \sech^{-1} \left( {v}/{\sqrt q}\right)$, and the red dashed line

979: is the actual soliton turning point. For smaller values of $ q $ the

980: agreement is outstanding.}

981: %

982: %

983: %

984: %

985: \label{f:turn}

986: \end{figure}

987: 

988: \section{Reparametrized evolution}

989: \label{re}

990: 

991: To see the effective dynamics described in \S \ref{s:GPH} we 

992: write the solution of \eqref{eq:nls} as 

993: \[  u ( t) = g ( t ) \cdot ( \eta + w ( t )  ) \,,  \ \ 

994: w ( t) \in H^1 ( \RR, \CC ) \,, \]

995: where $ w ( t) $ satisfies

996: \[  \omega ( w ( t) , X \eta ) = 0 \,, \ \ \forall X \in {\mathfrak g}\,.\]

997: To see that this decomposition is possible, 

998: initially for small times, we apply the 

999: following consequence of the implicit function theorem and the nondegeneracy 

1000: of $ \omega\rest_M $ (see \cite[Proposition 5.1]{FrSi} for a more

1001: general statement):

1002: \begin{lem} 

1003: \label{l:FGJS}

1004: For $\Sigma \Subset G/\ZZ$ (where the topology on $G/\ZZ $ is given by 

1005: the identification with  $ \mathbb{R}\times 

1006: \mathbb{R} \times S^1 \times \mathbb{R}_+$) let 

1007: $$U_{\Sigma,\delta} = \{ \, u \in H_1 \, : \, 

1008: \inf_{g\in\Sigma}\|u -g\cdot \eta\|_{H^1}<\delta \} \,. $$

1009: If $ \delta \leq \delta_0 = \delta_0 (\Sigma)$ then for any $ 

1010: u \in U_{\Sigma,\delta}$, there exists a unique 

1011: $  g( u )\in \Sigma $ such that

1012: \[ \omega(g(u)^{-1} \cdot u -  \eta, X \cdot \eta ) = 0 \quad \forall 

1013:  X \in {\mathfrak g } \,. \] 

1014: Moreover, the map $ u  \mapsto g( u )$ is in 

1015: $C^1(U_{\Sigma,\delta},\Sigma)$. 

1016: \end{lem}

1017: \begin{proof}

1018: We define the transformation

1019: \[ F \; : \; H^1 ( \RR , \CC ) \times G \; \longrightarrow \; 

1020: {\mathfrak g}^* \,, \ \ [ F ( u , h ) ]( X)  \defeq 

1021: \omega ( h \cdot u - \eta , X \cdot \eta ) \,.\]

1022: We want to solve 

1023: $ F ( u , h ) = 0 $ for $ h = h ( u ) $ and by the implicit

1024: fuction theorem that follows for $ u $  near $ G \cdot \eta $ if for any 

1025: $ g_0 \in G $ the linear transformation

1026: \[  d_h F ( g_0 \cdot \eta , g_0 ) \; : \; T_{g_0} G \longrightarrow {\mathfrak

1027: g}^* \,, \]

1028: is invertible. Clearly we only need to check it for $ g_0 = e$, that is

1029: that 

1030: $  d_h F ( \eta , e ) \; : \; {\mathfrak g}  \rightarrow {\mathfrak

1031: g}^* \,, $ 

1032: is invertible. But as an element of 

1033: $ {\mathfrak g}^* \otimes {\mathfrak g}^* $, 

1034: $ d_h F( \eta , e ) = (\omega\rest_M)_\eta $, which is nondegenerate.

1035: \end{proof}

1036: 

1037: For \S\S \ref{s:sy} and \ref{s:GPH} we recall that the equation for 

1038: $ u $ \eqref{eq:nls} can be written as 

1039: \begin{equation} 

1040: \label{eq:utH}

1041: \partial_t u  = \Xi_{H_q} (u ) \,, \ \ 

1042: H_q ( u ) \defeq \frac14 \int ( |\partial_x u |^2 - |u|^4 ) dx 

1043: + \frac12 q | u ( 0 ) |^2 \,. \end{equation}

1044: Using Lemma \ref{l:FGJS} we define

1045: \begin{equation}

1046: \label{eq:wt}  w(t) = g(t)^{-1} u (t) - \eta \,, \ \ 

1047: g ( t ) \defeq g ( u ( t) ) \,, 

1048: \end{equation}

1049: and we want to to derive an equation for $ w ( t ) $. 

1050: 

1051: By the chain rule and Lemma \ref{l:stan} 

1052: \[ \begin{split}

1053: \partial_t u ( t) & = \partial_t (  g(t) \cdot ( \eta + w ( t ) ) )

1054:  = g ( t) \cdot ( Y ( t) ( \eta + w ( t ) ) + \partial_t w ( t ) ) \,,

1055: \end{split} \]

1056: \[ Y ( t) \defeq   \dot a  ( t) \mu ( t) e_1  +

1057:  \frac {\dot v (t) } { \mu ( t ) } e_2 + 

1058: (\dot \gamma ( t) - \dot a ( t ) v ( t )  ) e_3 + 

1059: \frac  {\dot\mu( t) }{ \mu ( t ) } e_4 \,, 

1060:  \]

1061: $ g ( t) = ( a ( t ) , v ( t ) , \gamma( t ) , \mu ( t ) ) $.

1062: Combined with \eqref{eq:utH} this gives

1063: \begin{equation}

1064: \label{eq:wtH}

1065: \partial_t w(t) = - Y ( t) \eta - Y ( t ) w + g(t)^{-1}\Xi_{H_q} ( (g(t)

1066: \cdot (\eta 

1067: + w ( t ) )))  \,.

1068: \end{equation}

1069: To make this more explicit

1070: we apply Lemma \ref{l:gen1} to see that 

1071: $$ g ( t)^{-1} \Xi_{H_q} g( t )  = \frac{1}{\mu(t)}\Xi_{g( t) ^*H_q}$$

1072: (since the action of $ g ( t ) $ is linear on $ H^1 $, $ g(t)^{-1} $

1073: and $ ( g ( t)^{-1})_* $ are identified). We compute

1074: \begin{equation}

1075: \label{eq:gstH}

1076: \begin{split}

1077: g^*H_q ( \tilde u ) &= \frac14 \int ( \mu |\partial_x(e^{ixv}\tilde u ( \mu x ) )|^2 

1078: - \mu^4 | \tilde u (\mu x ) |^4 ) dx  + \frac12 q \mu^2 

1079: |\tilde u(-\mu a)|^2 \\

1080: &= \frac14 \int ( \mu^3  |\partial_x \tilde u ( x ) |^2  - 2 v \mu^2 

1081: \Im \partial_x \tilde u ( x ) \overline{ {\tilde u} ( x )}

1082: + \Re  {v^2} \mu |\tilde u( x ) |^2- 

1083: \mu^3 | \tilde u  ( x ) |^4 ) dx \\ 

1084: & \ \ \ \ \ \ \ \ \ \ 

1085: + \frac12 \mu^2 q |\tilde u(-\mu a)|^2 \,, 

1086: \end{split}

1087: \end{equation}

1088: so that

1089: $$ \frac 1 { \mu ( g) }\Xi_{g^*H_q}(\tilde u) = \frac{1}{i} \left( 

1090:  -\frac{\mu^2}{2}\tilde u_{xx} +  v \mu 

1091: \tilde u_x- \mu^2 | \tilde u |^2 \tilde u +\frac{v^2}{2} \tilde u 

1092: + \mu q\delta( \bullet +\mu a)\tilde u \right) \,. $$

1093: For us $ \tilde u ( t) = \eta + w ( t) $ and we expand the nonlinear 

1094: term 

1095: $$|\eta+w|^2(\eta+w) = \eta^3 + \underbrace{2\eta^2w + \eta^2\bar

1096: w}_{\text{linear}} + \underbrace{2|w|^2\eta + \eta w^2}_{\text{quadratic}} +

1097: \underbrace{|w|^2w}_{\text{cubic}} $$

1098: 

1099: 

1100: Inserting this in \eqref{eq:wtH} gives

1101: \begin{lem}

1102: \label{l:wt}

1103: If $ w ( t) $ is given by \eqref{eq:wt} then 

1104: \begin{equation}

1105: \label{eq:lw1}

1106: \partial_t w = X ( t) w + X ( t) \eta -

1107: i\mu^2\mathcal{L}w +i\mu^2\mathcal{N}w 

1108: -iq \mu \delta_0({x} + {\mu}a)\eta -iq \mu \delta_0({x} + {\mu}a)w\,,

1109: \end{equation}

1110: where $ X ( t) \in {\mathfrak g }$ is given by 

1111: \begin{equation}

1112: \label{eq:lw2}

1113: X ( t) \defeq  

1114: \left(-\mu \dot a + v \mu \right)e_1

1115: - \frac{\dot v}{\mu} e_2 + 

1116: \left(-\dot \gamma + v \dot a - \frac{v^2}2 +\frac{\mu^2}{2} \right)e_3 

1117:   -\frac{\dot \mu}{\mu} e_4  \,, \ \ 

1118: \end{equation}

1119: and

1120: $$\mathcal{L}w = - \frac12 \partial_x^2 w - 2\eta^2 w - \eta^2 

1121: \bar w + \frac12 w  \,, \ \ \mathcal{N}w =  2|w|^2\eta + \eta w^2  + |w|^2w\,.$$

1122: %

1123: \end{lem}

1124: \stopthm

1125: 

1126: We now want to estimate the coefficients of $ X (t ) $ in \eqref{eq:lw1}

1127: using the symplectic orthogonality of $ Y \eta $, $ Y \in {\mathfrak g} $

1128: and $ w $.  For that we define

1129: \[  P \; : \; {\mathcal S}'( \RR, \CC ) \longrightarrow {\mathfrak g} \]

1130: as the unique linear map satisfying

1131: \[  \omega ( u - P(u)\eta, Y \eta ) = 0 \ \ \forall \, Y \in {\mathfrak g} 

1132: \,. \]

1133: We will need the following

1134: 

1135: \begin{lem}

1136: \label{l:P}

1137: Let $ \| \bullet \| $ be a norm on $ \mathfrak g $ obtained by 

1138: using the standard $ \RR^4 $ norm in the basis given by \eqref{eq:liea1}.

1139: Then for $ w \in H^1 $, and $ Y \in {\mathfrak g} $,

1140: \[ \begin{split} & \| P ( Y w ) \| \leq C \| Y\| \|w \|_{L^2} \,, \\ 

1141: & \| P ( i \mathcal{N} u ) \| \leq C \|w\|_{L^2}^2 \left( 1 + 

1142: \| w \|_{H^1}^{\frac12} \| w \|_{L^2}^{\frac12} \right) \,, \\

1143: & \| P ( ( i\delta_0({x} - x_0 )w ) \| \leq C 

1144: \| w \|_{H^1}^{\frac12} \| w \|_{L^2}^{\frac12} \,, 

1145: \end{split} \]

1146: with the constant independent of $ x_0 $.

1147: \end{lem}

1148: \begin{proof}

1149: We start with an explicit expression for $ P $ which follows from 

1150: \eqref{eq:omij}:

1151: \begin{equation}

1152: \label{eq:Pexp}

1153: \begin{split}

1154:  P & = \sum_{j=1}^{4} e_j P_j \,, \ \ P_j \; : \; {\mathcal S}' 

1155: \longrightarrow \RR 

1156: \,, \\

1157: P_1 ( u ) & = - \omega ( u , e_2 \eta ) =  \Re \int u ( x ) x \eta ( x ) dx \,, \\

1158: P_2 ( u ) & =  \omega ( u , e_1 \eta ) = - \Im \int u ( x) \partial_x\eta( x ) dx \,, \\

1159: P_3 ( u ) & = \omega ( u , e_4 \eta ) = \Im \int u ( x ) \partial_x ( x \eta ( x)) dx \,, \\

1160: P_4 ( u ) & = - \omega ( u , e_3 \eta) = \Re \int u ( x ) \eta ( x ) dx \,.

1161: \end{split}

1162: \end{equation}

1163: We now recall that $ \| u \|^2_{L^\infty ( \RR ) } \leq C \| u \|_{ L^2 ( \RR)}

1164: \| u \|_{H^1 ( \RR ) } $ and the estimates follow.

1165: \end{proof}

1166: 

1167: Since $ P w = P w_t = 0 $, \eqref{eq:lw1} gives

1168: \begin{equation}

1169: \label{eq:X1} \begin{split}

1170: X_1 ( t ) & \defeq X ( t) - q \mu P ( i \delta_0 ( \bullet + a \mu) \eta ) 

1171: \\ 

1172: & =

1173: - P ( X ( t) w) + \mu^2 P (i \mathcal{L}w ) - \mu^2 P ( i \mathcal{N}w ) 

1174: + q \mu P ( i\delta_0({x} + {\mu}a)w ) \,.

1175: \end{split}

1176: \end{equation}

1177: Since $ \mathcal{L}$ is the Hessian of $ \mathcal{E} $, given in 

1178: \eqref{eq:defE}, at the 

1179: critical point $ \eta $, and $ \Xi_{\mathcal E} $ is tangent to $ M$, 

1180: Lemma \ref{l:gen2} (or a direct computation) shows that

1181: \[  P ( i \mathcal{L} w ) = 0 \,, \]

1182: and hence that term can be dropped from the right hand side.

1183: We can then use 

1184: Lemma \ref{l:P} to obtain

1185: \begin{prop}

1186: \label{p:1}

1187: Suppose that $ w ( t ) $ is given in Lemma \ref{l:wt} and

1188: that $ X_1 ( t ) $ is given by \eqref{eq:X1}. Then 

1189: \begin{equation}

1190: \label{eq:Xt} 

1191: \| X_1 ( t)\| \leq C q \| w \|_{H^1} + C ( \|w\|_{L^2}^2 + \| w \|_{H^1}^3) 

1192: \,. 

1193: \end{equation}

1194: \end{prop}

1195: \stopthm

1196: 

1197: 

1198: Finally we interpret the coefficients of $ X_1 ( t ) $. First 

1199: we use \eqref{eq:Pexp} to see that

1200: \[ P ( i \delta_0 ( \bullet + a \mu) \eta ) = 

1201: \frac12 \partial_{x} ( \eta^2 ) (  a \mu ) e_2 + \left( \eta^2 ( a \mu ) + 

1202:  \frac12 a \mu \partial_x (\eta^2 ) ( a \mu )\right) e_3 \,.\]

1203: Then we combine this with 

1204: \eqref{eq:lw2} and  \eqref{eq:X1} to obtain

1205: \begin{equation}

1206: \label{eq:X12t} \begin{split} X_1 ( t) & =   

1207: \left(-\mu \dot a + v \mu \right)e_1 + 

1208: \left( - \frac12 q \mu 

1209: \partial_{x} ( \eta^2 ) (  a \mu ) - \frac{\dot v}{\mu} \right)

1210: e_2 \\ 

1211: & \ \ \ + 

1212: \left( - \mu q \eta^2 ( a \mu ) 

1213: - \frac12 q a \mu^2 \partial_x (\eta^2 ) ( a \mu )

1214: -\dot \gamma + v \dot a - \frac{v^2}2 +\frac{\mu^2}{2} \right)e_3 

1215:   -\frac{\dot \mu}{\mu} e_4  \,. \end{split} 

1216: \end{equation}

1217: We now see that

1218: \[  X_1 ( t ) = 0  \ \Longleftrightarrow \ \text{equations \eqref{eq:GPfl}

1219: hold.} \]

1220: 

1221: \section{Spectral estimates}

1222: \label{se}

1223: 

1224: %

1225: 

1226: In this section we will recall the now standard estimates on the

1227: operator $ {\mathcal L} $ which arises as Hessian of $ {\mathcal E} $ 

1228: at $ \eta $:

1229: \[ {\mathcal L} w = - \frac12 \partial_x^2 w - 2 \eta^2 w - \eta^2 \bar w 

1230: + \frac12 w \,, \]

1231: or 

1232: \[ {\mathcal L} w = \begin{bmatrix} L_+ &  0 \\  0 & L_- \end{bmatrix} 

1233: \begin{bmatrix} \Re w \\ \Im w \end{bmatrix} \,, 

1234:  \ \ L_\pm = - \frac 12 \partial_x^2 - ( 2 \pm 1 ) \eta^2 + \frac12 \,.

1235: \]

1236: In our special case we can be more precise than in the general case

1237: (see \cite{We}, and also \cite[Appendix D]{FrSi}). The 

1238: self-adjoint operators

1239: $ L_\pm $ belong the class of Schr\"odinger operators with 

1240: {\em P\"oschl-Teller} potentials

1241: and their spectra can be explicitly computed using hypergeometric 

1242: functions -- see for instance \cite[Appendix]{GuZw}. This gives

1243: \[ \sigma( L_- ) = \{ 0 \} \cup [1/2 , \infty ) \,, \ \

1244: \sigma(L_+) = \{ 0, - 3/2\} \cup [1/2, \infty ) \,. \] 

1245: The eigenfuctions can computed by the same method but a straightforward

1246: verification is sufficient to see that 

1247: \[ L_- \eta = 0 \,, \ \ L_+ (\partial_x \eta) = 0 \,, \ \ 

1248: L_+ (\eta^2) = - \frac32 \eta^2 \,.\]

1249: 

1250: We now have 

1251: \begin{prop}

1252: \label{p:coer}

1253: Suppose that for every $ X \in {\mathfrak g}$

1254: \[ \omega ( w , X \cdot \eta ) = 0 \,, \ \ w \in H^1 ( \RR, \CC )  \,. \]

1255: Then, with $ \langle w , v \rangle \defeq \Re \int w \overline v $ on $ 

1256: H^1 ( \RR , \CC ) $ (considered as a real Hilbert space),

1257: \begin{equation}

1258: \label{eq:coer}

1259: \langle {\mathcal L} w , w \rangle \geq \rho_0 \| w\|^2_{L^2} \,, \ \ 

1260: \rho_0 =  \frac{9}{2(12+\pi^2)} \simeq 0.2058 \,.

1261: \end{equation}

1262: \end{prop}

1263: We need 

1264: %

1265: the following elementary

1266: \begin{lem}

1267: \label{l:lina}

1268: Let $ V $ be a real vector space with an inner product 

1269: $ \langle \bullet, \bullet \rangle $, and let $ L $ be 

1270: a symmetric operator on $ V$.

1271: Suppose that for $ v_0 , v_1 \in V $, $ \| v_j \| = 1 $,  we have 

1272: \begin{gather}

1273: \label{eq:lina1} 

1274: \begin{gathered}

1275:  L v_0 = - c_0  v_0 \,, \ \ c_0 \geq 0 \,, \ \ 

1276: \langle v_0 , v_1 \rangle^2 = c_2  \,, \\ 

1277: \langle w , v_0 \rangle = 0 \ \Longrightarrow \ \langle L w , w \rangle 

1278: \geq c_1 \| w \|^2  \,, \ \ c_1 \geq 0 \,.

1279: \end{gathered}

1280: \end{gather}

1281: Then 

1282: \begin{equation}

1283: \label{eq:lina2}

1284: \langle v , v_1 \rangle =0 \ \Longrightarrow \ 

1285: \langle L v , v \rangle \geq c_3 \| v \|^2 \,, \ \ 

1286: c_3 \defeq  c_1 c_2- {c_0} ( 1 - c_2 )   \,. 

1287: \end{equation}

1288: \end{lem}

1289: \begin{proof}

1290: For reader's convenience we present 

1291: the straightforward argument in which we can assume that $ 0 < c_2 < 1 $.

1292: For $ v \in V $ we write $ v = \alpha v_0 + w $, $ \langle v_0, w \rangle 

1293: = 0 $. The condition $ \langle v , v_1 \rangle = 0 $ gives 

1294: \begin{equation}

1295: \label{eq:alpha}   \alpha^2 =  \frac{1}{c_2} \langle w, v_1 \rangle^2 = 

1296:  \frac{1}{c_2} \langle w , v_1 - c_2^{\frac12} v_0 \rangle^2 \leq 

1297: \frac{1 - c_2 }{c_2} \| w \|^2 \,. 

1298: \end{equation}

1299: Hence 

1300: \[

1301: \begin{split} 

1302: \langle L v , v \rangle & \geq c_1 \|w \|^2 - c_0 \alpha^2 \\

1303: & \geq c_1 \delta  \|w\|^2 + \left( c_1 ( 1 - \delta) 

1304: \frac{c_2} { 1 - c_2 } - c_0 \right) \alpha^2 \\

1305: & = (  c_1 c_2- {c_0} ( 1 - c_2 )  ) \| v \|^2 \,,

1306: \end{split}

1307: \]

1308: if we choose $ c_1 \delta =  (  c_1 c_2 - {c_0} ( 1 - c_2 )  ) $. 

1309: \end{proof}

1310: 

1311: \noindent

1312: {\em Proof of Proposition \ref{p:coer}:} The assumption means

1313: that 

1314: \[ \Im \int w \left\{ \begin{array}{l} \ \ i \eta \\

1315: \ \partial_x \eta \\ \ i x \eta \\ \partial_x (x \eta) \end{array}

1316: \right\} dx = 0 \,. \]

1317: Working with real and imaginary 

1318: parts the proof reduces to lower bounds on $ L_\pm $:

1319: \begin{gather}

1320: \label{eq:Lpm}

1321: \begin{gathered}

1322: \langle v , \eta \rangle = \langle v , x \eta \rangle = 0 

1323: \ \Longrightarrow \ \langle L_+ v , v \rangle \geq \rho_0 \|v \|^2_{L^2}

1324: \,, \\

1325: \langle v , \partial_x 

1326: \eta \rangle = \langle v , ( x\partial_x +1 )\eta \rangle = 0 

1327: \ \Longrightarrow \ \langle L_- v , v \rangle \geq \rho_0 \|v \|^2_{L^2}

1328: \,,

1329: \end{gathered}

1330: \end{gather}

1331: where now $ v \in H^1 ( \RR; \RR ) $. 

1332: Noting that 

1333: \[ \langle \eta , \partial_x \eta \rangle = \langle x \eta , \eta^2 \rangle

1334: = \langle \partial_x \eta, \eta^2 \rangle = 0 \]

1335: we can apply Lemma \ref{l:lina}

1336: in the following three cases:

1337: \begin{gather*}

1338:  V = (\partial_x \eta)^\perp \cap H^2 ( \RR, \RR ) \,, \ \ v_0 = \frac{\sqrt{3}}2 \eta^2 \,, 

1339: \ \ v_1 = \frac{1}{ \sqrt 2} \eta \,, \ \ L = L_+ \\

1340: c^1_0 = \frac32 \,, \ \ c^1_1 = \frac12 \,, \ \ c^1_2 = \frac{3 \pi^2}{32}

1341: \,, \\

1342: V = ( \eta^2)^\perp  \cap H^2 ( \RR, \RR ) \,, \ \ v_0 = \frac{\sqrt{3}}{\sqrt 2} 

1343: \partial_x \eta \,, \ \ 

1344: v_1 = \frac{\sqrt{6}}{\pi} x \eta \,, \ \ L = L_+ \\

1345: c^2_0 = 0 \,, \ \ c^2_1 = \frac12 \,, \ \ c_2^2 = \frac{9 }{\pi^2} \,,

1346: \\

1347: V = H^2 ( \RR , \RR ) \,, \ \ 

1348: v_0 = \frac{1}{ \sqrt 2} \eta \,, \ \ v_1 = \frac{2\sqrt 2}{\sqrt{12+\pi^2}} \partial_x ( x \eta) \,,  \ \ L = L_- \,, \\

1349: c^3_0=0 \,, \ \ c_1^3 = \frac12\,, \ \ c_2^3 = \frac{9}{12+\pi^2}  \,.

1350: \end{gather*}

1351: Here we used

1352: \begin{gather*}

1353: \int_\RR \sech^2 ( x ) dx = 2 \,, \ \ \int_\RR \sech^4 ( x) 

1354:  dx = \frac43  \,,  \ \ 

1355: \int_\RR \sech^3 ( x) dx = \frac{\pi}{2} \,, \ \ 

1356: \int_\RR x^2 \sech^2 (x ) dx = \frac{\pi^2}{6}

1357: \,, \\ 

1358: \int_\RR \tanh^2 ( x ) \sech^2 ( x ) dx = \frac23 \,, \ \ 

1359: \int_\RR ( \partial_x ( x \sech( x ) ))^2 dx = \frac{1}{18}(12+\pi^2) \,.

1360: \end{gather*}

1361: It follows that we can take

1362: \[ \rho_0 = \min_{j=1,2,3}( c_1^jc_2^j - c_0^j ( 1 - c_2^j) )

1363: = \min \left( \frac{3 \pi^2 }{16} - \frac32 , \frac {9}{2\pi^2} , 

1364: \frac{9 }{2 (12 + \pi^2)} \right) =  \frac{9 }{2 (12 + \pi^2)} \,,\]

1365: completing the proof.

1366: \stopthm

1367: 

1368: Proposition \ref{p:coer} gives a slightly stronger statement:

1369: \[ 

1370: \begin{split}

1371: \langle {\mathcal L} w , w \rangle & \geq 

1372: ( 1 - \delta ) \langle {\mathcal L} w , w \rangle + 

1373: \delta \rho_0 \| w\|^2_{L^2}  \\ 

1374: & \geq ( 1 - \delta ) \left( \frac12 \| \partial_x w \|^2 - 

1375: \frac{5}{2} \| w \|^2 \right) + \delta \rho_0 \|w \|^2_{L^2} \\

1376: & \geq \frac{2 \rho_0} { 5 + 2 \rho_0 } \| \partial_x w \|^2  

1377: \simeq 0.0760 \| \partial_x w \|^2 \,, \ \ 

1378: \delta = \frac{5}{5 + 2 \rho_0 } \,.

1379: \end{split} \] 

1380: In addition, 

1381: \begin{equation}

1382: \label{eq:lowerL}

1383: \langle {\mathcal L} w , w \rangle  \geq 

1384:  \frac{2 \rho_0  } { 7 + 2 \rho_0 }  \| w \|^2_{H^1} 

1385: \simeq 0.0555 \| w \|_{H^1}^2 \,.

1386: \end{equation}

1387: 

1388: \medskip

1389: \noindent

1390: {\bf Remark.} The smallness of these constants gives a possible

1391: explanation of the size of $ q$'s for which the asymptotic

1392: result agrees with numerical simulations. The implicit constants

1393: in \S \ref{elf} are closely related to the constants above.

1394: 

1395: 

1396: \renewcommand\thefootnote{\ddag}%

1397: 

1398: 

1399: \section{Estimates on the Lyapunov function}

1400: \label{elf}

1401: 

1402: Suppose $u=u(x,t)$ solves \eqref{eq:nls} 

1403: with\footnote{The symbol $\ll 1$ means smaller than an \textit{absolute} 

1404: positive constant, i.e.\ one independent of all parameters in this problem.} 

1405: $|q|\ll 1$ and initial data 

1406: \begin{equation}

1407: \label{E:init_cond}

1408: u_0(x) = e^{ixv_0}\eta(x-a_0), \qquad |v_0| \ll 1

1409: \end{equation}

1410: Let $T>0$ be the maximal time such that on $[0,T]$, the smallness condition 

1411: $\delta \leq \delta_0$ in Lemma \ref{l:FGJS} is met.  From Lemma \ref{l:FGJS}, 

1412: obtain the $C^1$ parameters $\mu=\mu(t)$, $\gamma=\gamma(t)$, $v=v(t)$, 

1413: $a=a(t)$ satisfying the symplectic orthogonality conditions stated there.  

1414: Let $\tilde u=\tilde u(x,t)$ be defined by

1415: \begin{equation}

1416: \label{E:psi}

1417: u(x,t)= g(t) \cdot \tilde u ( x , t ) \defeq 

1418:  e^{i\gamma}e^{ixv}\mu \tilde u(\mu (x-a),t) \, ,

1419: \end{equation}

1420: and let

1421: $$w(x,t)=\tilde u(x,t)-\eta(x) \, .$$ 

1422: 

1423: The Lyapunov function of \cite{We} and \cite{FrSi} is given by 

1424: \begin{equation}

1425: \label{eq:Lya} 

1426: L ( w ) \defeq {\mathcal E} ( \eta + w ) - {\mathcal E} ( \eta ) \,.

1427: \end{equation}

1428: The lower bound on $ L ( w ) $ follows from the spectral estimates of 

1429: \S \ref{se}, and in particular from \eqref{eq:lowerL}. 

1430: For the upper bound we will use the conservation of $ H_q ( u ) $

1431: and its relation to $ {\mathcal E}( \eta + w ) $.

1432: 

1433: For future reference we state the following crucial consequence of  

1434: the orthogonality conditions on $ w $, and in particular of the 

1435: condition that $  \Im \int  i \eta \bar w  =  \Re \int \bar w \eta =0 $:

1436: \begin{lem}

1437: \label{l:gath}

1438: Suppose that for every $ X \in {\mathfrak g}$

1439: \[ \omega ( w , X \cdot \eta ) = 0 \,, \ \ w \in H^1 ( \RR, \CC )  \,. \]

1440: Then 

1441: \begin{equation}

1442: \label{eq:lga1}

1443: \|w\|_{L^2}^2 = \frac2 \mu  (1 - \mu )\,, \ \ 

1444: \end{equation}

1445: \end{lem}

1446: \begin{proof}

1447: We first compute

1448: \[ \| \eta + w \|_{L^2}^2 = \| g^{-1} u  \|_{L^2}^2  = 

1449: \frac{1}{ \mu(g)} \| u  \|_{L^2}^2 = 

1450: \frac{2}{ \mu(g)} \,,\]

1451: where we used the conservation of the $ L^2 $ norm. As noted before the 

1452: statement of the lemma $ \Re \la w , \eta \ra = 0 $ and hence

1453: \[ \| \eta + w \|_{L^2}^2  = 2 + \| w \|_{L^2}^2 \,, \]

1454: from which the conclusion follows. 

1455: \end{proof}

1456: 

1457: 

1458: As a consequence, we can 

1459: dispense with $\mu$ in the estimates 

1460: of Proposition \ref{p:1},

1461: and we reformulate it as 

1462: \begin{prop}

1463: \label{C:nomus}

1464: Suppose $1-\mu \ll 1$ and $|q|\leq 1$.  Then

1465: %

1466: %

1467: %

1468: %

1469: \begin{gather*}

1470: |v-\dot a| + |\dot v + q \partial_x \eta^2(a)/2| +

1471: |-q \eta^2(a) - q a \partial_x \eta^2(a)/2  -\dot \gamma + v^2/2 + 1/2 |  \\

1472: %

1473: \leq C(|q| \|w\|_{H^1}^2 + \|w\|_{H^1}^2 + \|w\|_{H^1}^3) \,.

1474: %

1475: %

1476: \end{gather*}

1477: \end{prop}

1478: \begin{proof} We use \eqref{eq:lga1} in \eqref{eq:Xt}.

1479: For example, 

1480: \begin{align*}

1481: \Big|\frac12 q \partial_x \eta^2(a) + \dot v \Big| &\leq \mu \Big| \frac12 

1482: \frac{q}{\mu} \partial_x \eta^2 (a) + \frac{\dot v}\mu \Big| \\

1483: &\leq \mu \Big| \frac12 q \mu \partial_x \eta^2(a\mu) + \frac{\dot v}{\mu} 

1484: \Big| + c|q||1-\mu|\\

1485: &\leq 2 \Big| \frac12 q \mu \partial_x \eta^2(a\mu) + \frac{\dot v}{\mu} \Big| 

1486: + c|q| \|w\|_{L^2}^2

1487: \end{align*}

1488: We also use the estimate for $|v-\dot a|$ to replace $v\dot a$ by $v^2$ in the equation for $\dot \gamma$.

1489: \end{proof}

1490: 

1491: 

1492: 

1493: 

1494: We adopt the following notational convention:  

1495: denote the initial (time $t=0$) 

1496: configuration of the system by $0$-subscripts -- $u_0=u(0)$, $w_0=w(0)$,  and 

1497: $a_0=a(0)$, $v_0=v(0)$, $\mu_0=\mu(0)$, $\gamma_0=\gamma(0)$.  Similarly, 

1498: denote the configuration of the system at some fixed time $t_i$ by 

1499: $i$-subscripts.  Finally, the configuration at any arbitrary time $t$ we 

1500: denote without subscripts -- $w=w(t)$, $u=u(t)$ and $a=a(t)$, $v=v(t)$, 

1501: $\mu=\mu(t)$, $\gamma=\gamma(t)$.

1502: 

1503: With this notation we now state

1504: \begin{lem}

1505: \label{L:elf}

1506: Suppose $\mu_0=1$ and $w_0=0$ (equivalently, suppose \eqref{E:init_cond} 

1507: holds), and suppose that $T>0$ is the maximal time for which the smallness 

1508: condition in Lemma \ref{l:FGJS} holds.  Suppose that for an interval of time 

1509: $[t_i,t_{i+1}]\subset [0,T]$, the following conditions hold 

1510: \begin{equation}

1511: \label{E:hypoth}

1512: \begin{gathered}

1513: 0\leq 1-\mu \ll 1, \quad \max_{t_i\leq s \leq t_{i+1}} |v(s)|\ll 1, \quad 

1514: \|w_i\|_{H^1} \leq 1 \,, \\

1515: |q||t_{i+1}-t_i| \ll 1, \quad |t_{i+1}-t_i| \max_{t_i\leq s \leq t_{i+1}} 

1516: |v(s)| \ll 1\,. 

1517: \end{gathered}

1518: \end{equation}

1519: Then there is an absolute constant $c_*>1$ such that

1520: $$\sup_{t_i\leq s\leq t_{i+1}} \|w(s)\|_{H^1}^2 \leq c_*\|w_i\|_{H^1}^2 

1521: + c_*|q|^2 \,. $$

1522: \end{lem}

1523: We remark that the inequality, $ 0 \leq 1 - \mu $, in \eqref{E:hypoth} 

1524: is not an assumption but follows

1525: from Lemma \ref{l:gath}.

1526: 

1527: 

1528: The main result of this section is the following consequence of this:

1529: \begin{prop}

1530: \label{C:elf_iterated}

1531: Suppose $\mu_0=1$ and $w_0=0$, and suppose that $T>0$ is the maximal time for 

1532: which the smallness condition in Lemma \ref{l:FGJS} holds.  Let 

1533: $$n \leq \frac{\delta \log(1/|q|)}{\log c_*} -1$$

1534: and suppose there is a partition of the time axis

1535: $$0=t_0<t_1<\cdots < t_n\leq T$$

1536: such that on each subinterval $[t_i,t_{i+1}]$, \eqref{E:hypoth} in Lemma 

1537: \ref{L:elf} holds. Then,

1538: $$\sup_{0\leq s \leq t_n} \|w(s)\|_{H^1}^2 \leq |q|^{2-\delta}$$  

1539: \end{prop}

1540: 

1541: \begin{proof}[Proof of Lemma \ref{L:elf}]

1542: We start by noting that in the argument that follows, 

1543: we will not use any information about 

1544: $w$ or the parameters $\mu$, $\gamma$, $a$, and $v$ for times $0<t< t_i$; only

1545: that $\mu_0=1$ and $w_0=0$. 

1546: 

1547: We will conveniently reexpress $ L ( w ) $ given by \eqref{eq:Lya} using

1548: the conserved Hamiltonian and mass. Since $ u = g \cdot \tilde u $, 

1549: we recall \eqref{eq:gstH} 

1550: to obtain:

1551: \begin{equation}

1552: \label{E:Ham_u}

1553: H_q(u)= g^* H_q ( \tilde u ) = 

1554: \begin{aligned}[t]

1555: &\frac14 \mu v^2 \int |\tilde u|^2 + \frac12 \mu^2 v \Im \int 

1556: \partial_x \tilde u \, \bar{\tilde u} 

1557: + \frac14 \mu^3 \int |\partial_x \tilde u|^2 \\

1558: &-\frac14\mu^3 \int |\tilde u|^4 + \frac12 q\mu^2 |\tilde u(-\mu a,t)|^2

1559: \end{aligned}

1560: \end{equation}

1561: The expression for the mass,

1562: $M(u) = \int |u|^2$, becomes

1563: $ M(u) = \mu \int |\tilde u|^2 $.

1564: Using this and \eqref{E:Ham_u}, we obtain

1565: $$

1566: \mathcal{E}(\tilde u) =

1567: \begin{aligned}[t]

1568: &\frac{1}{\mu^3}H_q(u) + \frac{1}{4\mu}M(u) - \frac{v^2}{4\mu^3}M(u) 

1569: -\frac{v}{2\mu}\Im \int \bar{\tilde u} \partial_x \tilde u 

1570: - \frac{q}{2\mu}|\tilde u(-\mu a)|^2

1571: \end{aligned}

1572: $$

1573: Now substitute $\tilde u=\eta+w$ and use the orthogonality condition 

1574: $\Im \int w \partial_x \eta =0$ to obtain

1575: \begin{equation}

1576: \label{E:Lyap-final}

1577: \mathcal{E}(\eta+w) =

1578: \begin{aligned}[t]

1579: &\frac{1}{\mu^3}H_q(u) + \frac{1}{4\mu}M(u) - \Big( \frac{v^2}{4\mu^3}M(u) 

1580: + \frac{q}{2\mu}\eta(-\mu a)^2\Big)\\

1581: &-\frac{v}{2\mu}\Im \int \bar w \partial_x w 

1582: - \frac{q}{\mu}\eta(-\mu a)\Re w(-\mu a) - \frac{q}{2\mu}|w(-\mu a)|^2

1583: \end{aligned}

1584: \end{equation}

1585: Note that the classical energy term (with the $\mu$ terms dropped) 

1586: $$ E( u ) \defeq \frac 14 v^2M(u) + \frac12q\eta( a)^2\,,  $$

1587: has appeared in this expression.  

1588: Evaluate \eqref{E:Lyap-final} at $t=t_i$ to obtain

1589: \begin{equation}

1590: \label{E:Lyap-init}

1591: \mathcal{E}(\eta+w_i) =

1592: \begin{aligned}[t]

1593: &\frac{1}{\mu_i^3}H_q(u) + \frac{1}{4\mu_i}M(u) 

1594: - \Big( \frac{v_i^2}{4\mu_i^3}M(u) + \frac{q}{2\mu_i}\eta(-\mu_i a_i)^2\Big)\\

1595: &-\frac{v_i}{2\mu_i}\Im \int \bar w_i \partial_x w_i 

1596: - \frac{q}{\mu_i}\eta(-\mu_i a_i)\Re w(-\mu_i a_i) 

1597: - \frac{q}{2\mu_i}|w(-\mu_i a_i)|^2

1598: \end{aligned}

1599: \end{equation}

1600: By taking the difference of the right hand sides of 

1601: \eqref{E:Lyap-final} and \eqref{E:Lyap-init}, 

1602: we obtain

1603: \begin{equation}

1604: \label{E:Lyap}

1605: \begin{aligned}

1606: \indentalign \mathcal{E}(\eta + w) - \mathcal{E}(\eta) \\

1607: &=

1608: \begin{aligned}[t]

1609: &\Big( \frac{1}{\mu^3} - \frac{1}{\mu_i^3} \Big)H_q(u) 

1610: + \frac14\Big(\frac1\mu-\frac{1}{\mu_i}\Big)M(u) \\

1611: &-\Big( \frac{v^2}{4\mu^3}M(u) + \frac{q}{2\mu}\eta(-\mu a)^2\Big)

1612: +\Big( \frac{v_i^2}{4\mu_i^3}M(u) + \frac{q}{2\mu_i}\eta(-\mu_i a_i)^2\Big)\\

1613: &-\frac{v}{2\mu}\Im\int\bar w\partial_x w 

1614: - \frac{q}{\mu}\eta(-\mu a)\Re w(-\mu a) - \frac{q}{2\mu}|w(-\mu a)|^2 \\

1615: &+ \frac{v_i}{2\mu_i}\Im \int \bar w_i\partial_x \bar w_i 

1616: + \frac{q}{\mu_i}\eta(-\mu_ia_i)\Re w_i(-\mu_ia_i) 

1617: + \frac{q}{2\mu_i}|w_i(-\mu_ia_i)|^2\\

1618: &+(\mathcal{E}(\eta+w_i)-\mathcal{E}(\eta))

1619: \end{aligned}\\

1620: &=\text{I}+\text{II}+\text{III}+\text{IV}+\text{V}

1621: \end{aligned}

1622: \end{equation}

1623: where each line has been labeled by a Roman numeral.  From the spectral 

1624: estimate Proposition \ref{p:coer} (see \eqref{eq:lowerL}), we have

1625: \begin{equation}

1626: \label{E:spec_est}

1627: c_1\|w\|_{H^1}^2 - \|w\|_{H^1}^3 -\frac14\|w\|_{H^1}^4 \leq \mathcal{E}(\eta+w)-\mathcal{E}(\eta)

1628: \end{equation}

1629: We next estimate the right-hand side of \eqref{E:Lyap}, line by line.  

1630: For $t_i \leq t\leq t_{i+1}$, let

1631: $$\epsilon(t)^2 = \sup_{t_i\leq s \leq t} \|w(s)\|_{H^1}^2$$

1632: 

1633: \noindent \textit{Estimate of the 1st line of \eqref{E:Lyap}}.  By the 

1634: assumption $w_0=0$ and $\mu_0=1$, we have

1635: \begin{equation}

1636: \label{E:mass}

1637: M(u)=M(\eta)=2

1638: \end{equation}

1639: and

1640: \begin{equation}

1641: \label{E:energy}

1642: H_q(u) = -\frac16 + \frac12v_0^2+\frac{q}{2}\eta^2(a_0)

1643: \end{equation}

1644: By substituting \eqref{E:mass} and \eqref{E:energy} into Term I, we obtain 

1645: $\text{I} = \text{I}_a+\text{I}_b$, where

1646: $$\text{I}_a = -\frac16\Big( \frac{1}{\mu^3}-\frac{1}{\mu_i^3}\Big)

1647: +\frac12\Big(\frac{1}{\mu}-\frac{1}{\mu_i}\Big)$$

1648: and

1649: $$\text{I}_b = \Big(\frac{1}{\mu^3}-\frac{1}{\mu_i^3}\Big)\Big(\frac12v_0^2

1650: +\frac{|q|}2\eta^2(a_0)\Big)$$

1651: Inserting \eqref{eq:lga1} in 

1652: Term $\text{I}_a$, gives

1653: \begin{align*}

1654: \text{I}_a&=\frac16\Big(\frac1\mu-\frac1{\mu_i}\Big)\Big( 3- \frac1{\mu^2}

1655: -\frac1{\mu\mu_i}-\frac1{\mu_i^2}\Big)\\

1656: &=\frac16\Big(\frac1\mu-\frac1{\mu_i}\Big)\Big[\Big( 1- \frac1{\mu^2}\Big)

1657: + \Big(1-\frac1{\mu\mu_i}\Big)+\Big(1-\frac1{\mu_i^2}\Big)\Big]\\

1658: &= 

1659: \begin{aligned}[t]

1660: \frac16\Big(-\frac12\|w\|_{L^2}^2 & +\frac12\|w_i\|_{L^2}^2\Big)

1661: \Big[  \Big(\frac12\big(1+\frac1\mu\big)\|w\|_{L^2}^2\Big) \\

1662: &+ \Big(\frac12\|w\|_{L^2}^2+\frac1{2\mu}\|w_i\|_{L^2}^2\Big)

1663: + \Big(\frac12\big(1+\frac1\mu_i\big)\|w_i\|_{L^2}^2\Big)\Big]

1664: \end{aligned}

1665: \end{align*}

1666: and thus

1667: $$|\text{I}_a| \leq \frac16(\|w\|_{L^2}^2+\|w_i\|_{L^2}^2)^2$$

1668: For Term $\text{I}_b$, we have

1669: $$ \text{I}_b = \Big( \frac1\mu - \frac{1}{\mu_i}\Big)\Big( \frac1{\mu^2}

1670: +\frac1{\mu\mu_i}+\frac1{\mu_i^2}\Big)\Big(\frac12v_0^2

1671: +\frac{|q|}2\eta^2(a_0)\Big)$$

1672: and thus

1673: $$|\text{I}_b| \leq \frac34(v_0^2+|q|) (\|w\|^2+\|w_i\|^2)$$

1674: Collecting these estimates, we obtain

1675: \begin{equation}

1676: \label{E:line1}

1677: |\text{I}| \leq \epsilon^4 + 2(v_0^2+|q|) \epsilon^2

1678: \end{equation}

1679: 

1680: \medskip

1681: \noindent

1682: {\bf Remark:} This direct calculation is in fact the consequence

1683: of $ d {\mathcal E}_\eta = 0 $. We are using 

1684: \[  {\mathcal E} ( \mu\cdot \eta ) - {\mathcal E} ( \eta ) = 

1685: {\mathcal O} ( ( 1 -  \mu )^2 ) \,, \]

1686: which follows from 

1687: \[ \partial_\mu {\mathcal E}( \mu \cdot \eta ) \rest_{ \mu = 1 } = 0 \,. \]

1688: 

1689: \medskip

1690: 

1691: 

1692: \noindent \textit{Estimate of the 2nd line of \eqref{E:Lyap} (classical 

1693: energies)}.

1694: %

1695: %

1696: %

1697: %

1698: %

1699: %

1700: %

1701: We compute

1702: \begin{align*}

1703: \partial_t \Big( \frac{v^2}{2} + \frac{q}{2}\eta^2(a) \Big) &= v\dot v 

1704: + \frac12 q\partial_x \eta^2(a)\dot a\\

1705: &=  \Big( \dot v + \frac12 q\partial_x\eta^2(a)\Big)v 

1706: + \frac12q\partial_x\eta^2(a)(\dot a-v)

1707: \end{align*}

1708: and thus by Proposition \ref{C:nomus},

1709: $$ \Big| \partial_t \Big( \frac{v^2}{2} + \frac{q}{2}\eta^2(a) \Big) 

1710: \Big| \leq c(\|w\|_{H^1}^2 + |q|\|w\|_{H^1} + \|w\|_{H^1}^3)(|v|+|q|)$$

1711: By the fundamental theorem of calculus,

1712: $$

1713:  \Big|\Big( \frac{v^2}{2} + \frac{q}{2}\eta^2(a) \Big)- \Big( \frac{v_i^2}{2} 

1714: + \frac{q}{2}\eta^2(a_i) \Big)\Big| 

1715: \leq c(\epsilon^2+|q|\epsilon +\epsilon^3)\big( |t-t_i|\max_{t_i\leq s\leq t} 

1716: |v(s)| + |q||t-t_i|\big) 

1717: $$

1718: As in the proof of Proposition \ref{C:nomus}, we can install $\mu$'s in this 

1719: expression using \eqref{eq:lga1} to obtain

1720: \begin{equation}

1721: \label{E:line2}

1722:  | \text{II}| \leq c(\epsilon^2+|q|\epsilon)

1723: \big( |t-t_i|\max_{t_i\leq s\leq t} |v(s)| + |q||t-t_i| + v^2 + |q|\big) 

1724: \end{equation}

1725: 

1726: \noindent \textit{Estimate of the 3rd and 4th lines of \eqref{E:Lyap}}.

1727: By the Cauchy-Schwarz inequality and the Sobolev embedding theorem,

1728: $$|\text{III}| \leq |v| \|w\|_{H^1}^2 + |q| \|w\|_{H^1} 

1729: + |q| \|w\|_{H^1}^2$$

1730: Similarly, 

1731: $$|\text{IV}| \leq |v| \|w_i\|_{H^1}^2 + |q| \|w_i\|_{H^1} 

1732: + |q| \|w_i\|_{H^1}^2$$

1733: and thus

1734: \begin{equation}

1735: \label{E:line34}

1736: |\text{III}|+|\text{IV}| \leq 2(|v|+|q|)\epsilon^2 + 2|q|\epsilon

1737: \end{equation}

1738: 

1739: \noindent \textit{Estimate of the 5th line of \eqref{E:Lyap}}.  By definition 

1740: of $\mathcal{E}$, we have  

1741: \begin{equation}

1742: \label{E:Lpert}

1743: \mathcal{E}(\eta+w_i) = \frac14\int |\partial_x \eta + \partial_x w_i|^2 

1744: - \frac14\int |\eta + w_i|^4 + \frac14\int|\eta+w_i|^2

1745: \end{equation}

1746: Substitute into \eqref{E:Lpert} the three expansions:

1747: \begin{align*}

1748: &|\partial_x \eta+\partial_xw_i|^2 = |\partial_x\eta|^2 

1749: + 2\Re \partial_x \eta \, \partial_x w_i + |\partial_x w_i|^2\\

1750: &|\eta+w_i|^4 = \eta^4 + 4\Re \eta^3 w_i + 2\eta^2(2(\Re w_i)^2+|w_i|^2) 

1751: + 4\eta(\Re w_i)|w_i|^2 + |w_i|^4\\

1752: &|\eta+w_i|^2 = \eta^2 + 2\eta\Re w_i + |w_i|^2

1753: \end{align*}

1754: and observe that the linear terms cancel since $\eta$ solves $-\frac12\eta 

1755: + \frac12\eta'' + \eta^3=0$.  Thus, we obtain the estimate

1756: \begin{equation}

1757: \label{E:line5}

1758: |\text{V}| \leq 8\|w_i\|_{H^1}^2+4\|w_i\|_{H^1}^3+\|w_i\|_{H^1}^4 

1759: \leq 10\|w_i\|_{H^1}^2

1760: \end{equation}

1761: 

1762: This completes the line-by-line estimation of the right-hand side of 

1763: \eqref{E:Lyap}.  By combining \eqref{E:spec_est}, and the estimates 

1764: \eqref{E:line1},\eqref{E:line2},\eqref{E:line34},\eqref{E:line5} for the 

1765: right-hand side of \eqref{E:Lyap}, we obtain

1766: $$c_1\epsilon^2 \leq 

1767: \begin{aligned}[t]

1768: &\epsilon^3 + \frac14\epsilon^4 

1769: + c(\epsilon^2+|q|\epsilon+\epsilon^3)(|t-t_i|\max_{t_i\leq s\leq t}|v(s)| 

1770:   + |q||t-t_i| + v^2 + |q|) \\

1771: & + [\epsilon^4 + 2(v_0^2+|q|)\epsilon^2] + [2(|v|+|q|)\epsilon^2+2|q|\epsilon] + 10\|w_i\|_{H_1}^2

1772: \end{aligned}

1773: $$

1774: By hypothesis, every $\epsilon^2$ term on the right side has a small 

1775: coefficient, and thus can be absorbed on the left side.  Therefore, we obtain

1776: $$\epsilon^2 \leq c(|q|\epsilon+\|w_i\|_{H^1}^2)$$

1777: By applying the Peter-Paul inequality $|q|\epsilon\leq \frac12c|q|^2 

1778: + \frac{\epsilon^2}{2c}$, we obtain the desired estimate.

1779: \end{proof}

1780: 

1781: 

1782: \begin{proof}[Proof of Proposition \ref{C:elf_iterated}]

1783: Now let

1784: $$\epsilon^2(t) = \sup_{0\leq s \leq t} \|w(s)\|_{H^1}^2$$

1785: On the first interval $[0,t_1]$, we apply Lemma \ref{L:elf} with $i=0$, and 

1786: since $w_0=0$, we obtain

1787: $$\epsilon(t_1)^2 \leq c_* |q|^2$$

1788: On the second interval $[t_1,t_2]$, we apply Lemma \ref{L:elf} with $i=1$, and 

1789: since $\|w_1\|_{H^1}^2 \leq c_* |q|^2$, we obtain

1790: $$\epsilon(t_2)^2 \leq (c_* + c_*^2)|q|^2$$

1791: We continue, and after the $n$ applications, we obtain

1792: $$\epsilon(t_n)^2 \leq c_* \left( \sum_{j=0}^{n-1}c_*^j \right) |q|^2 

1793: = c_* \left( \frac{c_*^n-1}{c_*-1} \right) |q|^2 \leq c_*^{n+1}|q|^2$$

1794: Since we want $c_*^{n+1}q^2 \leq |q|^{2-\delta}$, we require

1795: $$n+1 \leq \frac{\delta \log(1/|q|)}{\log c_*}$$

1796: \end{proof}

1797: 

1798: \section{ODE analysis}

1799: \label{ode}

1800: 

1801: The assumptions of Lemma \ref{L:elf} involve estimates on 

1802: $ v ( s ) $. To control these we use Proposition \ref{C:nomus} 

1803: and ODE estimates which we present in this section.

1804: 

1805: \begin{lem}

1806: \label{L:ODEcompare}

1807: Suppose $q$ is a constant, $|q|\ll 1$,  and $a=a(t)$, $v=v(t)$, 

1808: $\epsilon_1=\epsilon_1(t)$, $\epsilon_2=\epsilon_2(t)$ are $C^1$ real-valued 

1809: functions.  Suppose $f:\mathbb{R}\to\mathbb{R}$ is a $C^2$ mapping such that 

1810: $|f|$ and $|f'|$ are uniformly bounded.  Suppose that on $[0,T]$, 

1811: \begin{equation}

1812: \label{E:ODE}

1813: \left\{

1814: \begin{aligned}

1815: &\dot a = v + \epsilon_1\\

1816: &\dot v = qf(a) + \epsilon_2

1817: \end{aligned}

1818: \right., \qquad

1819: \begin{aligned}

1820: &a(0)=a_0\\

1821: &v(0)=v_0

1822: \end{aligned}

1823: \end{equation}

1824: Let $\bar a=\bar a(t)$ and $\bar v=\bar v(t)$ be the $C^1$ real-valued 

1825: functions satisfying the exact equations

1826: $$

1827: \left\{

1828: \begin{aligned}

1829: &\dot{\bar a} = \bar v \\

1830: &\dot{\bar v} = qf(\bar a) 

1831: \end{aligned}

1832: \right., \qquad

1833: \begin{aligned}

1834: &\bar a(0)=a_0\\

1835: &\bar v(0)=v_0

1836: \end{aligned}

1837: $$

1838: with the same initial data.  Suppose that on $[0,T]$, we have 

1839: $|\epsilon_j| \leq |q|^{2-\delta}$ for $j=1,2$.  Then provided 

1840: $T\leq \delta |q|^{-1/2}\log (1/|q|)$, we have on $[0,T]$ the estimates

1841: $$|a-\bar a|\leq |q|^{1-2\delta}\log(1/ |q|), 

1842: \qquad |v-\bar v| \leq |q|^{\frac32-2\delta}\log(1/|q|)$$

1843: \end{lem}

1844: 

1845: Before proceeding to the proof, we recall some basic tools.

1846: 

1847: \noindent\textit{Gronwall estimate}.  Suppose $b=b(t)$ and $w=w(t)$ are $C^1$ 

1848: real-valued functions, $q$ is a constant, and $(b,w)$ satisfy the differential 

1849: inequality:

1850: \begin{equation}

1851: \label{E:diff_ineq}

1852: \left\{

1853: \begin{aligned}

1854: &|\dot b| \leq |w| \\

1855: &|\dot w| \leq |q| |b|

1856: \end{aligned}

1857: \right. ,

1858: \qquad

1859: \begin{aligned}

1860: &b(0)=b_0\\

1861: &w(0)=w_0

1862: \end{aligned}

1863: \end{equation}

1864: Let $x(t)= |q|^{1/2}b(|q|^{-1/2}t)$, $y(t)=w(|q|^{-1/2}t)$.  Then 

1865: $$

1866: \left\{

1867: \begin{aligned}

1868: &|\dot x| \leq |y| \\

1869: &|\dot y| \leq |x|

1870: \end{aligned}

1871: \right. ,

1872: \qquad

1873: \begin{aligned}

1874: &x(0)=x_0=|q|^{1/2}b_0\\

1875: &y(0)=y_0=w_0

1876: \end{aligned}

1877: $$

1878: Let $z(t)=x^2+y^2$.  Then $|\dot z| = |2x\dot x + 2y\dot y| \leq 2|x||y| 

1879: + 2|x||y| \leq 2(x^2+y^2) = 2z$, and hence $z(t) \leq z(0)e^{2t}$.

1880: Thus

1881: $$

1882: \begin{aligned}

1883: &|x(t)| \leq \sqrt 2\max(|x_0|,|y_0|) \exp(t)\\

1884: &|y(t)| \leq \sqrt 2\max(|x_0|,|y_0|) \exp(t)

1885: \end{aligned}

1886: $$

1887: Converting from $(x,y)$ back to $(b,w)$, we obtain the Gronwall estimate

1888: \begin{equation}

1889: \label{E:Gron}

1890: \begin{aligned}

1891: &|b(t)| \leq \sqrt 2\max(|q|^{1/2}|b_0|,|w_0|)

1892: \frac{\exp(|q|^{1/2}t)}{|q|^{1/2}}\\

1893: &|w(t)| \leq \sqrt 2\max(|q|^{1/2}|b_0|,|w_0|)\exp(|q|^{1/2}t)

1894: \end{aligned}

1895: \end{equation}

1896: 

1897: \noindent\textit{Duhamel's formula}.

1898: For a two-vector function $X(t): \mathbb{R} \to \mathbb{R}^2$, a two-vector 

1899: $X_0\in \mathbb{R}^2$, and a $2\times 2$ matrix function 

1900: $A(t):\mathbb{R}\to (2\times 2\text{ matrices})$, let $X(t)=S(t,t')X_0$ denote 

1901: the solution to the ODE system $\dot X(t) = A(t)X(t)$ with $X(t')=X_0$.  In 

1902: other words, $\frac{d}{dt} S(t,t')X_0 = A(t)S(t,t')X_0$ and $S(t',t')X_0=X_0$. 

1903: Then, for a given two-vector function $F(t):\mathbb{R}\to \mathbb{R}^2$, the 

1904: solution to the inhomogeneous ODE system  

1905: \begin{equation}

1906: \label{E:inhomODE}

1907: \dot X(t) = A(t)X(t) + F(t)

1908: \end{equation}

1909: with initial condition $X(0)=0$ is given by Duhamel's formula

1910: \begin{equation}

1911: \label{E:Duhamel}

1912: X(t) = \int_0^t S(t,t')F(t')dt'

1913: \end{equation}

1914: 

1915: \begin{proof}[Proof of Lemma \ref{L:ODEcompare}]

1916: Let $\tilde a= a-\bar a$ and $\tilde v = v-\bar v$; these perturbative 

1917: functions satisfy

1918: $$

1919: \left\{

1920: \begin{aligned}

1921: &\dot{\tilde a} = \tilde v + \epsilon_1\\

1922: &\dot{\tilde v} =  q g \tilde a + \epsilon_2

1923: \end{aligned}

1924: \right., \qquad

1925: \begin{aligned}

1926: &\tilde a(0)=0\\

1927: &\tilde v(0)=0

1928: \end{aligned}

1929: $$

1930: where $g=g(t)$ is given by

1931: $$g=\left\{

1932: \begin{aligned}

1933: &\frac{f( a)-f(\bar a)}{a-\bar a} & \text{if }\bar a \neq a\\

1934: & f'(a) &\text{if }a=\bar a

1935: \end{aligned}

1936: \right.

1937: $$

1938: which is $C^1$ (in particular, uniformly bounded).  Set 

1939: $$A(t) = \begin{bmatrix} 0 & 1 \\ qg(t) & 0 \end{bmatrix}, 

1940: \quad F(t) = \begin{bmatrix} \epsilon_1(t) \\ \epsilon_2(t) \end{bmatrix}, 

1941: \quad X(t)=\begin{bmatrix} \tilde a(t) \\ \tilde v(t) \end{bmatrix}$$

1942: in \eqref{E:inhomODE}, and appeal to Duhamel's formula \eqref{E:Duhamel} to 

1943: obtain

1944: \begin{equation}

1945: \label{E:Duhamel2}

1946: \begin{bmatrix}

1947: \tilde a(t) \\ \tilde v(t) 

1948: \end{bmatrix}

1949: = \int_0^t S(t,t') \begin{bmatrix} \epsilon_1(t') \\ \epsilon_2(t') 

1950: \end{bmatrix} \, dt'

1951: \end{equation}

1952: Apply the Gronwall estimate \eqref{E:Gron} with

1953: $$\begin{bmatrix} b(t) \\ w(t) \end{bmatrix} = S(t+t',t')\begin{bmatrix} 

1954: \epsilon_1(t') \\ \epsilon_2(t') \end{bmatrix},  \quad \begin{bmatrix} b_0 

1955: \\ w_0 \end{bmatrix} = \begin{bmatrix} \epsilon_1(t') \\ 

1956: \epsilon_2(t') \end{bmatrix} $$

1957: to conclude that 

1958: $$\left| S(t,t') \begin{bmatrix} \epsilon_1(t') \\ 

1959: \epsilon_2(t') \end{bmatrix} \right| \leq \sqrt 2 \begin{bmatrix} 

1960: |q|^{-1/2}\exp(|q|^{1/2}(t-t')) \\ \exp(|q|^{1/2}(t-t')) \end{bmatrix} 

1961: \max(|q|^{1/2}|\epsilon_1(t')|,|\epsilon_2(t')|)$$

1962: Feed this into \eqref{E:Duhamel2} to obtain that on $[0,T]$

1963: \begin{align*}

1964: &|\tilde a(t)| \leq \sqrt 2 \, T\frac{\exp(|q|^{1/2}T)}{|q|^{1/2}} 

1965: \sup_{0\leq s\leq T}\max(|q|^{1/2}|\epsilon_1(s)|,|\epsilon_2(s)|)\\

1966: &|\tilde v(t)| \leq \sqrt 2 \, T\exp(|q|^{1/2}T) 

1967: \sup_{0\leq s\leq T}\max(|q|^{1/2}|\epsilon_1(s)|,|\epsilon_2(s)|)

1968: \end{align*}

1969: Taking $T\leq \delta|q|^{-1/2}\log(1/|q|)$, we obtain the claimed bounds.

1970: \end{proof}

1971: 

1972: \section{Main theorem and proof}

1973: \label{pr}

1974: Here we put all the components together and give a stronger

1975: version of Theorem \ref{t:1}. The basic procedure is the

1976: iteration of Lemmas \ref{L:elf} and \ref{L:ODEcompare} which

1977: can roughly be described as follows: if the conditions \eqref{E:hypoth}

1978: hold, and the initial condition satisfies $ \| w_i \|_{H^1} \leq

1979: |q|^{1-\delta}$, say, then on the interval $ [t_i, t_{i+1} ]$,

1980: $ \| w ( t ) \|_{ H^1}  \leq  2| q|^{1-\delta } $. That means

1981: that the evolution of the parameters $ g ( t) \in G $ is close

1982: to the evolution using the effective Hamiltonian, in the way that

1983: makes Lemma \ref{L:ODEcompare} applicable. But that gives us

1984: a lower bound on $ t_{i+1}$ for which \eqref{E:hypoth} holds on 

1985: $ [ t_i , t_{i+1} ] $, 

1986: closing the bootstrap loop.

1987: 

1988: More precisely, we have

1989: \begin{thm}

1990: \label{t:2}

1991: Suppose $|q|\ll 1$ and $|v_0| \ll 1$.  Let $u$ solve 

1992: $$i\partial_t u + \partial_x^2 u - q\delta_0(x)u + |u|^2 u =0$$

1993: with initial data $u_0(x) $ 

1994: satisfying 

1995: \[  \| u_0 -  e^{i \bullet v_0} \eta( \bullet -a_0) \|_{H^1} 

1996: \leq C | q | \,.\]    

1997: Then, for times 

1998: $0\leq t \leq \delta (v_0^2+|q|)^{-1/2}\log(1/|q|)$, the smallness condition in Lemma 

1999: \ref{l:FGJS} is met, and thus there are $C^1$ parameters $\mu$, $v$, $\gamma$,

2000:  $a$ satisfying the symplectic orthogonality conditions stated there.  

2001: Furthermore, we have

2002: $$\| u - \mu e^{ixv}e^{i\gamma} \eta( \mu (x-a)) \|_{H^1} 

2003: \leq c|q|^{1-\frac12 \delta}$$

2004: Moreover, if $\bar a$, $\bar v$, $\bar\gamma$ solve the ODE system

2005: \begin{equation}

2006: \label{E:approxODE}

2007: %

2008: %

2009: %

2010: \dot{\bar a} = \bar v \,, \ \

2011: \dot{\bar v} = -\frac12 q\partial_x \eta^2(\bar a) \,, \ \

2012: \dot{\bar \gamma} = \frac12\bar v^2 + \frac12 -q\eta^2(\bar a) 

2013: + \frac12q\bar a \partial_x \eta^2(\bar a) \,.

2014: %

2015: %

2016: \end{equation}

2017: with initial data $(a_0,v_0,0)$, then 

2018: $$

2019: %

2020:  |a-\bar a| \leq c|q|^{1-3\delta} \,, \ \  |\gamma - \bar \gamma| 

2021: %

2022: +  |v-\bar v| \leq c|q|^{\frac32-3\delta} \,, \ \ 

2023:  |\mu -1 | \leq c|q|^{2-\delta}\,. 

2024: %

2025: $$

2026: \end{thm}

2027: 

2028: \begin{proof}

2029: The equations \eqref{E:approxODE} imply the conservation of energy

2030: $$

2031: \frac12\bar v^2 + \frac12 q\eta^2(\bar a) = \frac12v_0^2+\frac12q \eta^2(a_0)

2032: $$

2033: from which we obtain the bound

2034: \begin{equation}

2035: \label{E:vbarbd}

2036: |\bar v| \leq \sqrt{v_0^2+2|q|} \,. 

2037: \end{equation}

2038: Let 

2039: $$\epsilon(t)^2 = \sup_{0\leq s \leq t} \|w(s)\|_{H^1}^2 \,. $$ 

2040: By Proposition \ref{C:nomus},

2041: \begin{equation}

2042: \label{E:est1}

2043: |\dot a- v| + |\dot v + \frac12q \partial_x\eta^2(a)| \leq 

2044: c_0 ( 

2045:  |q|\|w\|_{H^1}+ \|w\|_{H^1}^2  + \|w\|_{H^1}^3 ) \,. 

2046: \end{equation}

2047: 

2048: Let $t_1$ with $T\geq t_1>0$ be the maximal time for which 

2049: the assumptions of Lemma \ref{L:elf} \eqref{E:hypoth}

2050: hold with $i=0$.  

2051: Then by Proposition \ref{C:elf_iterated} with $n=1$, we have 

2052: $\epsilon^2(t_1) \leq |q|^{2-\delta}$. The estimate \eqref{E:est1} 

2053: implies \eqref{E:ODE} in Lemma \ref{L:ODEcompare} 

2054: for $ t \in [0,t_1]$, with $f(a)=-\partial_x\eta(a)/2$.   By Lemma 

2055: \ref{L:ODEcompare} and \eqref{E:vbarbd}, we have 

2056: $$\max_{0\leq s\leq t_1} |v(s)| \leq 2 \sqrt{v_0^2+2|q|}\,. $$  

2057: Reviewing \eqref{E:hypoth}, we now see that 

2058: $$T\geq t_1 \geq c_4(v_0^2+2|q|)^{-1/2}\,, $$

2059: where $c_4$ depends only on the implicit absolute constant in \eqref{E:hypoth}.  

2060: 

2061: Now let $t_2$ with $T\geq t_2>t_1$ be the maximum time such that 

2062: \eqref{E:hypoth} holds with $i=1$.  Then by Proposition \ref{C:elf_iterated} 

2063: with $n=2$, we have 

2064: $$\epsilon^2(t_2) \leq |q|^{2-\delta}\,.$$

2065:   By \eqref{E:est1}, 

2066: we have that \eqref{E:ODE} in Lemma  \ref{L:ODEcompare} holds on $[0,t_2]$.   

2067: By Lemma \ref{L:ODEcompare} and \eqref{E:vbarbd}, we have 

2068: $$ \max_{0\leq s\leq t_2} |v(s)| \leq  2 \sqrt{v_0^2+2|q|} \,. $$

2069: Reviewing \eqref{E:hypoth}, we now see that 

2070: $$ | t_2-t_1| \geq c_4(v_0^2+2|q|)^{-1/2} \,, $$

2071: with the same $c_4$ as in the previous paragraph.

2072: 

2073: Continue until the $n$th step is reached, where 

2074: $$ n  =  \frac{\delta \log(1/|q|)}{\log c_*} -1 \,, $$ 

2075: which is the most allowed in 

2076: Proposition \ref{C:elf_iterated}.  But now we know that 

2077: $$ 

2078: T\geq t_n \geq c\delta (v_0^2+2|q|)^{-1/2}\log(1/|q|)\,, $$

2079:  and that on $[0,t_n]$, 

2080: $$|a-\bar a| \leq |q|^{1-2\delta}\log(1/|q|), \quad |v-\bar v| 

2081: \leq |q|^{\frac32-2\delta}\log(1/|q|)$$

2082: We also have from Proposition \ref{C:nomus},

2083: $$\Big|\dot \gamma - \Big(\frac12v^2 + \frac12 - q \eta^2( a) 

2084: + \frac12q a\partial_x\eta(a)\Big) \Big| \leq 2\|w\|_{H^1}^2 + |q|\|w\|_{H^1}$$

2085: Subtracting the equations for $\dot \gamma$ and $\dot{\bar \gamma}$ and using 

2086: that $\|w\| \leq |q|^{2-\delta}$, we obtain

2087: \begin{align*}

2088: |\dot \gamma - \dot{\bar \gamma}| &\leq |v^2-\bar v^2| 

2089: + |q| |\eta^2(a)-\eta^2(\bar a)| + |q| |a-\bar a| \eta^2(\bar a) 

2090: + |q||\bar a| |\partial_x^2 \eta(a) - \partial_x^2 \eta (\bar a)| \\

2091: &\leq \left( |q|^{1/2}|q|^{\frac32-2\delta} + |q| |q|^{1-2\delta}

2092: + |q||q|^{1-2\delta}\right)\log(1/|q|) + |q|^{3-4\delta}\log^2(1/|q|) \\

2093: &\leq |q|^{2-2\delta}\log(1/|q|)

2094: \end{align*}

2095: Since we restrict to times $t \leq \delta|q|^{-1/2}\log(1/|q|)$, we integrate to

2096: obtain

2097: $|\gamma - \bar \gamma| \leq |q|^{\frac32-3\delta}$.

2098: \end{proof}

2099: 

2100: \medskip

2101: \noindent

2102: {\bf Remark.} There remains the case of initial velocities, 

2103: $ v_0$, which are not small. When $ |q| \rightarrow 0 $

2104: and $ v_0 > 0 $ is fixed, the dynamics is not interesting and the 

2105: solution can be approximated by the solution with $ q =0 $, that

2106: is by the propagating soliton \eqref{eq:frees}. The proof of 

2107: that follows from the arguments of \cite[\S 3.1]{HMZ1}.

2108: 

2109: \begin{thebibliography}{XX}

2110: 

2111: %

2112: %

2113: 

2114: \bibitem{BJ} J. C. Bronski and R. L. Jerrard, 

2115: {\em Soliton dynamics in a potential,} Math. Res. Lett. 

2116: {\bf 7}(2000), 329-342. 

2117: 

2118: \bibitem{BL} C. Lee and J. Brand, 

2119: {\em Enhanced quantum reflection of matter-wave solitons,}

2120: Europhys. Lett. {\bf 73}(2006), 321--327.

2121: 

2122: \bibitem{CM} X.D. Cao and B.A. Malomed, {\em Soliton-defect collisions in the 

2123: nonlinear Schr\"odinger equation,}

2124: Physics Letters A {\bf 206}(1995), 177--182.

2125: 

2126: \bibitem{FlWe} A. Floer and A. Weinstein, {\em Nonspreading wave packets for 

2127: the cubic Schr\"odinger equation with a bounded potential}, 

2128: J. Funct. Anal. {\bf 69}(1986), 397--408. 

2129: 

2130: \bibitem{FrSi} J. Fr\"ohlich, S. Gustafson, B.L.G. Jonsson, and

2131: I.M. Sigal, {\em Solitary wave dynamics in an external potential,}

2132: Comm. Math. Physics, {\bf 250}(2004), 613--642.

2133: 

2134: \bibitem{FrSi1} J. Fr\"ohlich, S. Gustafson, B.L.G. Jonsson, and

2135: I.M. Sigal, {\em Long time motion of NLS solitary waves in a confining 

2136: potential,} Ann.~H.~Poincar\'e, {\bf 7}(2006), 621-660.

2137: 

2138: \bibitem{FrY} J. Fr\"ohlich, T.-P. Tsai, and H.-T. Yau, 

2139: {\em On the 

2140: point-particle (Newtonian) limit of the non-linear Hartree equation,}

2141: Comm.~Math.~Phys. {\bf 225}(2002), 223--274.

2142: 

2143: \bibitem{GHW} R.H. Goodman, P.J. Holmes, and M.I. Weinstein, 

2144: {\em Strong NLS soliton-defect interactions,}

2145: Physica D {\bf 192}(2004), 215--248.

2146: 

2147: \bibitem{GuZw} L.~Guillop\'e and M. Zworski, 

2148: {\em Upper bounds on the number of resonances on noncompact                   

2149: Riemann surfaces.}

2150: { J.~Func.~Anal.} {\bf 129}(1995), 364-389.

2151: 

2152: \bibitem{Gus} S.~Gustafson, {\em private communication}, December 2005.

2153: 

2154: \bibitem{HMZ1} J. Holmer, J. Marzuola, and M. Zworski, 

2155: {\em Fast soliton scattering by delta impurities,}

2156: to appear in Comm.~Math.~Phys. 

2157: 

2158: \bibitem{HMZ2} J. Holmer, J. Marzuola, and M. Zworski, 

2159: {\em Soliton splitting by delta impurities,}

2160: preprint 2006.

2161: 

2162: \bibitem{Oh} Y.G. Oh, {\em On positive multi-lump bound states of 

2163: nonlinear Schr\"odinger equations under multiple-well potentials,} 

2164: Comm. Math. Phys. {\bf 131}(1990), 223-253.

2165: 

2166: %

2167: %

2168: 

2169: \bibitem{Hor2} L. H\"ormander, {\em The Analysis of Linear Partial 

2170: Differential Operators, vol.III,IV,} Springer Verlag, 1985.

2171: 

2172: %

2173: %

2174: %

2175: %

2176: 

2177: \bibitem{We} M.I. Weinstein, {\em Lyapunov stability of ground

2178: states of nonlinear dispersive evolution equations,}

2179: Comm.~Pure.~Appl.~Math. {\bf 29}(1986), 51-68.

2180: 

2181: \end{thebibliography}    

2182:    

2183: \end{document}   

2184: