1: \input epsf

2: \input amstex

3: \loadbold

4: \documentstyle{amsppt}

5: \magnification=\magstep 1

6: \hsize29pc

7: \vsize42pc

8: \baselineskip=24truept

9: \def\mod{\text{mod}\,}

10: \def\res{\text{res}\,}

11: \def\d{\delta}

12: \def\psib{\bar{\psi}}

13: \def\psih{\hat{\psi}}

14: \def\psihb{\bar{\hat{\psi}}}

15: \def\g{\bold g}

16: \def\[{\left[}

17: \def\]{\right]}

18: \def\({\left(}

19: \def\){\right)}

20: \def\bpsi{\overline{\psi}}

21: \def\bl{\overline{\lambda}}

22: \def\l{\lambda}

23: \def\e{\bold e}

24: \def\f{\bold f}

25: \def\gh{\hat{\bold g}}

26: \def\gt{\tilde{\g}}

27: \def\tr{\text{tr}\,}

28: \def\det{\text{det}\,}

29: \def\M{\Cal M}

30: \def\X{\Cal X}

31: \def\H{\Cal H}

32: \def\F{\Cal F}

33: \def\D{\Cal D}

34: \def\G{\Cal G}

35: \def\R{\Cal R}

36: \def\B{\Cal B}

37: \def\I{\Cal I}

38: \def\K{\Cal K}

39: \def\P{\Cal P}

40: \def\N{\Cal N}

41: \def\W{\Cal W}

42: \def\T{\Bbb S}

43: \def\Z{\Bbb Z}

44: \def\C{\Bbb C}

45: \def\m{\boldkey M}

46: 

47: \topmatter

48: \title An Additional Gibbs' State for the Cubic Schr\"{o}dinger Equation on the 

49: Circle\endtitle

50: \author K.L.  Vaninsky\endauthor

51: \affil Courant Institute\\

52: 251 Mercer Street\\

53: New York University\\

54: New York, NY 10012 

55: \endaffil

56: \email vaninsky@math.ksu.edu\endemail

57: \thanks  The work is  partially supported by NSF grant DMS-9501002 and 

58: DMS-9971834\endthanks

59: \keywords  Spectral curve. Moduli. Symplectic volume\endkeywords

60: \subjclass 58F07, 70H15\endsubjclass

61: \abstract

62: An invariant Gibbs' state for the nonlinear Schr\"{o}\-dinger equation    

63: on the circle was constructed  by  Bourgain, \cite{B}, and  McKean, \cite{MC}, 

64: out of   the basic Hamiltonian   using a trigonometric cut-off. 

65: The cubic nonlinear Schr\"{o}dinger equation  is a completely integrable 

66: system having an  infinite number of additional integrals of motion. 

67: In this paper  we construct the second invariant Gibbs' state from one of 

68: these additional integrals for the cubic NLS on the circle. This additional 

69: Gibbs' state is singular with respect to the Gibbs' state previously 

70: constructed  from the basic Hamiltonian.

71: Our approach employs  the Ablowitz-Ladik system, a completely  integrable 

72: discretization  of the cubic Schr\"{o}dinger equation.

73: \endabstract

74: 

75: \endtopmatter

76: \rightheadtext{An additional Gibbs' State} 

77: \document

78: \subhead 1. Introduction \endsubhead The nonlinear Schr\"{o}dinger equation 

79: for the complex function $\psi(x,t),\; x\in \T,\; t\in R^1$ is 

80: $$

81: i\psi^{\bullet}=-\psi''+p|\psi|^{2p-2} \psi,

82: $$

83: where $p$ is an arbitrary integer.  It  can be written in Hamiltonian form. 

84: Let $\M=(\psi,\psib)$ be a space of pairs of  two complex functions

85: $\psi=Q+iP$ and $ \psib=Q-iP$ on the circle $\T$ of perimeter 1.

86: For any two functionals $F$ and $G$ on $\M$,  define

87: $$

88: \{F,G\}_{\omega}=i\int_{\T} {\d F\over \d \psi}{\d G\over \d

89: \psib} - {\d F\over \d \psib} {\d G\over \d \psi} dx.

90: $$

91: The Hamiltonian $\H(\psi,\psib)=\int_{\T} |\psi'|^2+ |\psi|^{2p} dx$ produces

92: the nonlinear Schr\"{o}\- - dinger flow

93: $$ 

94: \overset\bullet\to\psi=\{\psi, \H\}_{\omega} 

95: $$

96: The equation has two other generic integrals. They are $\N=\int |\psi|^2 dx$,  

97: the number of particles, and $\P=-\int i\psi'\psib \,dx$, the momentum.

98:  

99: The Gibbs' measure associated with the basic Hamiltonian

100: $$

101: e^{-{1\over 2} \H} d\, vol= e^{-{1\over 2} \H} {1\over \infty!}\,

102: \underset\infty\to\bigwedge\, \omega= e^{-{1\over 2} \H} {1\over \infty!}

103: \, \underset{x\in \T}\to\bigwedge \, i\d \psi(x) \wedge \d\psib(x)

104: $$

105: was constructed  by  Bourgain  and McKean \cite{B1-2, MC}; it 

106: is the product of two independent copies of circular Brownian motion for the  

107: components of the function $\psi=Q +iP$ coupled together by the

108: nonlinear factor $e^{-{1\over 2}\int_{\T}|Q^2 +P^2|^p dx}$. 

109: This measure is invariant under the flow;  for any $p$ the later exists 

110: almost everywhere with respect to the Gibbs' measure. 

111: 

112: The cubic NLS corresponds to the case $p=2$. It has infinite series of 

113: commuting Hamiltonians. The first five are listed below

114: $$

115: \align

116: \H_1& = \int|\psi|^2 dx,\\

117: \H_2& = \int -i \psi'\psib dx,\\

118: \H_3& = \int |\psi'|^2 + |\psi|^4 dx,\\

119: \H_4& = \int i \psi'''\psib-i\psib'\psi |\psi|^2-4 |\psi|^2 \psib \psi' dx,\\

120: \H_5&= \int |\psi''|^2 + 2 |\psi|^6 +8 |\psi'|^2|\psi|^2+\psib'{}^2\psi^2 +

121: \psi'{}^2 \psib^2 dx.

122: \endalign

123: $$

124: The classical generic integrals $\N,\;\; \P$ and $\H$ are the first three 

125: of this infinite series. All of them are integrals of the isobaric 

126: polynomials,  counting $\psi$ and $d/dx$ as having degree 1; for example, 

127: $\H_5$ is an integral of an isobaric polynomial of degree 6.

128: 

129: We consider  the phase space $\M$ of  pairs $(\psi,\psib)$ from

130: the Sobolev space $H^1$\footnote"*"{If $\psi(x)=\sum_k e^{2\pi i k x}

131: \hat{\psi}(k)$, then the Sobolev norm of $\psi(x)$ is $|\psi|^2_{H^s}=

132: \sum_k |\hat{\psi}(k)|^2 (1+k^2)^s$.}.  The original equation  defines a

133: global flow on $\M$, \cite{B2}. In this paper we construct  an invariant   

134: Gibbs' state from the higher Hamiltonian $\H_5$:

135: $$

136: e^{-{1\over 2} \H_5} d \, vol=

137: e^{-{1\over 2} \H_5} {1\over \infty!} \, \underset{x\in \T}\to\bigwedge\,

138: i\d \psi(x)\wedge \d \psib(x).

139: $$

140: This  state is  singular with respect to the  Gibbs' state

141: $e^{-{1\over 2}\H_3} d\, vol$.

142: To construct the measure and prove its invariance  we will use the

143: Ablowitz-Ladik (AL) system. 

144: 

145: The AL equation for the complex N-periodic function $\psi(n,t) \,, 

146: n\in Z^1,\, t \in R^1$,    

147: is\footnote"*"{$\bullet$  denotes a time derivative;

148: $\psi_n= \psi(n,t)$; periodicity means $\psi_{n+N}=\psi_n$ for $n\in \Z$.}

149: $$

150: i\overset\bullet\to\psi_n=- (\psi_{n+1} +\psi_{n-1} - 2\psi_n) +|\psi_n|^2

151: (\psi_{n+1} + \psi_{n-1}). 

152: $$

153: It is easy to check that the quantity

154: $$

155: D=\prod\limits_{k=0}^{N-1} R_k= \prod\limits_{k=0}^{N-1} (1-|\psi_k|^2)

156: $$

157: is an integral of motion. We  assume that $|\psi_n| < 1$

158: for all $n$. This area of the phase space we call the box $B$; it is invariant 

159: under the flow. In the box all quantities $R_n$ and $D$ are {\it positive}.

160: 

161: In fact, AL  has many integrals of motion. The first three  interesting ones are 

162: $I_0,\;I_2,\; I_4$: 

163: $$

164: \align

165: NI_0& \equiv  -{1\over 2} \log D ,  \\

166: NI_2&     =   \sum\limits_{r=0}^{N-1} \psi_r \bpsi_{r-1},\\

167: NI_4&     =\sum\limits_{r=0}^{N-1} \psi_r \bpsi_{r-2}\(1-|\psi_{r-1}|^2\) -

168: {1\over 2} (\psi_r \bpsi_{r-1})^2.

169: \endalign

170: $$

171: From these integrals we form   Hamiltonians

172: $$

173: \align

174: H_1& =N(I_0+\bar{I_0})\\

175: H_3& =N(I_2+\bar{I_2} - 2 I_0 -2\bar{I_0})\\

176: H_5& =N(I_4 +\bar{I_4} -4I_2- 4 \bar{I_2} +6I_0+6 \bar{I_0}).

177: \endalign

178: $$

179: Let $M_N$ be a space of complex $N$-periodic sequences $\psi_n= Q_n +iP_n,\; 

180: n \in Z^1$ with $|\psi_n| <1$.  Introducing  the bracket

181: $$

182: \{f,g\}_{\omega_0}\equiv i\sum\limits_{n=1}^{N} R_n\(

183: {\d f\over \d \psi_n} {\d g\over \d \psib_n}-

184: {\d f\over \d \psib_n} {\d g\over \d \psi_n}\),

185: $$

186: for two functionals $f$ and $g$ on $M_N$ 

187: we can write  the original AL  flow in  Hamiltonian form

188: $$

189: \overset\bullet\to\psi_n=\{ \psi_n, H_3\}_{\omega_0}. 

190: $$

191: The symplectic form $\omega_0$ producies the volume element

192: $$

193: d\, \text{vol}= {1\over N! D_N}  \underset{n}\to\bigwedge\;  i \d \psib_n\wedge \d

194: \psi_n.

195: $$

196: The volume of the box is infinite

197: $$

198: \int\limits_{B} d\, \text{vol} = \int\limits_{B}

199: {1\over N! D_N}\underset{n}\to\bigwedge\;i\d \psib_n\wedge \d\psi_n =\infty

200: $$

201: due to the singularity of the factor ${1\over D_N}$. 

202: On the box we can define the Gibbs' state with the density

203: $$

204: e^{-{N^5\over 2} H_5} d\, \text{vol}= e^{-{N^5\over 2} H_5} {1\over N!}

205: \, \underset{n}\to\bigwedge \, \omega_0 =

206: e^{-{N^5\over 2} H_5} {1\over N! D_N} \, \underset{n}\to\bigwedge\,

207: i \d\psi_n \wedge \d \psib_n, 

208: $$

209: The singularity of the volume element near the boundary is rectified  by the

210: vanishing factor  $ e^{-{N^5\over 2} 12 NI_0}= D^{3N^5}$:  the total mass

211: $$

212: \int\limits_{B}e^{-{N^5 \over 2}H_5 } d\, \text{vol} < \infty.

213: $$

214: The area of the box close to the boundary has negligible probability.  

215: The measure  of the area outside the box  we take  to be  zero.

216: 

217: 

218: Let $\epsilon={1\over N}$. Under the scaling $\psi_n=\epsilon 

219: \psi({n\over N})$ and $\theta=\epsilon^{-2}t$,   the AL vector field 

220: approaches the   NLS vector field as $N\rightarrow \infty$.  Indeed,

221: $$

222: \psi_{n+1} =\psi_n+\psi_n'\epsilon +{1\over  2} \psi_n'' \epsilon^2\hdots,

223: \quad \quad \quad

224: \psi_{n-1} =\psi_n - \psi_n'\epsilon +{1\over 2} \psi_n'' \epsilon^2\hdots.

225: $$

226: So,

227: $$

228: \psi_{n+1} +\psi_{n-1} -2\psi_n= \psi_n''\epsilon^2 + \hdots.

229: $$

230: and the flow in the time scale $\theta$, 

231: $$

232: i{\partial \psi_n\over \partial \theta}= -(\psi_{n+1}+\psi_{n-1} -2\psi_{n})

233: + |\psi_n|^2(\psi_{n+1}+\psi_{n-1}),

234: $$

235: scales as follows:

236: $$

237: i\epsilon^3{\partial   \psi\over \partial  t} =-\epsilon

238: \psi''\epsilon^2 + \epsilon^3|\psi|^2 2\psi+\hdots.

239: $$

240: This indicates  that AL flow  converges to the NLS flow,   

241: though statement  can not be taken literaly because these two flows live  

242: in two different spaces $M_N$ and $\M$.

243: 

244: The integrals $H_1,\; H_3$ and $H_5$ of the AL system converge to $\H_1,\,

245: \H_3$ and $\H_5$:

246: $$

247: \align

248: & N\; H_1(\psi_n,\psib_n) \rightarrow \H_1(\psi,\psib),\\

249: -&N^3 H_3(\psi_n, \psib_n)\rightarrow  \H_3(\psi,\psib),\\

250: &N^5H_5(\psi_n,\psib_n)\rightarrow  \H_5(\psi,\psib).

251: \endalign

252: $$

253: Also, for any $\psi$,  we have $D_N(\psi_n,\psib_n) \rightarrow 1$,  as

254: $N\rightarrow\infty$.

255: Therefore, one should expect to get from the Gibbs' state for AL,  

256: in the limit of $N\rightarrow \infty$, the desired invariant measure

257: $$

258: e^{-{1\over 2}\H_5} d\, vol=

259: e^{-{1\over 2} \H_5}

260: {1\over \infty!}\, \underset{x\in \T}\to\bigwedge\,

261: i \d\psi(x)\wedge  \d\psib(x).

262: $$

263: Again, this statement is correct but  can not be taken literaly, because

264: these measures do not live on the same space.  

265: To make the arguments  rigorous we need to embed the AL 

266: flows and measures into the function space.  For this, we use 

267: interpolating trigonometrical polynomials. 

268: 

269: The main goal of the paper is the  space-time random field 

270: $\psi(x,t),$ $  x\in \T,\;t\in R^1$ such that:

271: 

272: (i) $\psi(x,t)$ is stationary respect $x$ and $t$;

273: 

274: (ii) $\psi(\bullet, t)$ has Gibbs' distribution $e^{-{1\over 2}\H_5}d\, vol$;

275: 

276: (iii) the random variable $\psi(\bullet,t),\;t\neq 0$ is measurable with 

277: respect to the $\sigma$-field generated by $\psi(\bullet,0)$;

278: the measure is supported by the solutions of NLS;

279: 

280: (iv) The $x$-derivative of  almost every realisation of the random field 

281: is H\"{o}lder continuous:

282: $$

283: |\partial_x \psi(x_1,t_1) -\partial_x \psi(x_2,t_2)| \leq K\[|x_1-

284: x_2|^{{1\over 2}-} +|t_1- t_2|^{{1\over 4}-}\]

285: $$

286: with a random constant $K$. The exponents ${1\over 2}$ and ${1\over 4}$ 

287: are optimal.

288: 

289: The paper is organised as follows. In the section 2 we introduce the commuting 

290: flows of the AL hierarchy and commuatator formulas for them. 

291: Section 3 is devoted to the study of the direct spectral problem for the 

292: auxiliary linear system. We explain the details  of the spectral curve  for 

293: various types of potentials. Invariant quantities are computed in section 4. 

294: The Floquet and dual Floquet solutions are studied in sections 5 and 6. 

295: Section 7 provides formulas for the symplectic structure and the Poisson 

296: bracket. This completes  the first part of the paper about integrability 

297: properties and Hamiltonian formalism  for the AL system. 

298: 

299: 

300: The second part starts with  section 8 where the strategy for constructing the 

301: measure is outlined; it is implemented  in the subsequent sections 

302: 9-11. 

303: 

304: Finally I would like to thank I. Krichever, H. McKean, V. Peller and J. Zubelli 

305: for helpful discussion. It is also  pleasure to thank MPI in Bonn and IMPA 

306: for their  hospitality. 

307: 

308: 

309: 

310: 

311: 

312: 

313: 

314: 

315: 

316: \subhead 2. Ablowitz--Ladik hierarchy\endsubhead 

317: The Ablowitz--Ladik equation for the complex $N$--periodic function 

318: $\psi(n,t) \, n\in Z^1,\, t \in R^1$ is

319: $$

320: i\overset\bullet\to\psi_n=- (\psi_{n+1} +\psi_{n-1} - 2\psi_n) +|\psi_n|^2 

321: (\psi_{n+1} + \psi_{n-1}). \tag 1

322: $$ 

323: Recall that 

324: $$

325: D=\prod\limits_{k=0}^{N-1} R_k= \prod\limits_{k=0}^{N-1} (1-|\psi_k|^2)

326: $$

327: is an integral of motion, whence the "box" $B=(\psi:\; |\psi_n| < 1 

328: \;\text{for all}\;n)$ is invariant under the flow. In the box 

329: $R_n$ and $D$ are {\it positive}. 

330: 

331: The flow (1) is one of infinitely many flows of the AL hierarchy.

332: The rotation or the phase flow

333: $$

334: i\overset\bullet\to\psi_n=-  \psi_n \tag 2	

335: $$

336: is the first flow of the hierarchy. Let

337: $$

338: V_2(n,t,\l)= {1\over \sqrt{R_n}} 

339: \[ \matrix 

340: \lambda & \psi_n \\

341: \bpsi_n & \lambda^{-1} 

342: \endmatrix \].

343: $$

344: The phase flow is the compatibility condition for 

345: $$

346: \[\partial_t -V_1,\Delta- V_2\]=0,    \tag 3

347: $$

348: where $V_1=i\sigma_3/ 2$ and $\Delta f_n=f_{n+1}$ is a shift operator. 

349: Here and below  $\sigma$  denotes the  Pauli matricies

350: $$

351: \sigma_1=\left(\matrix

352:  0& 1\\

353: 1 & 0

354: \endmatrix \right), \quad

355: \sigma_2=\left(\matrix

356: 0 & -i\\

357: i &  0

358: \endmatrix \right), \quad

359: \sigma_3=\left(\matrix

360: 1 & 0\\

361: 0 & -1

362: \endmatrix \right).

363: $$

364: 

365: The original AL equation (1) is the compatibility condition 

366: for\footnote"*"{A similar form of the  

367: commutator formalism was considered in \cite{AL, MEKL}. Our form has the  

368: small advantage, that it leads to a {\it unimodular} monodromy matrix.} 

369: $$

370: \[\partial_t- V_3, \Delta- V_2\]=0,   \tag 4

371: $$

372: where

373: $$

374: \align

375: V_3& (n,t,\lambda) \\

376: & =i \[\matrix \lambda^2-1+{3\over 2} 

377: \psi_n \bpsi_{n-1}-{1\over 2}\bpsi_n\psi_{n-1} & 

378: \psi_n \lambda - \psi_{n-1} 

379: \lambda^{-1} \\

380: \bpsi_{n-1} \lambda -\bpsi_n \lambda^{-1} & 1  - \lambda^{-2} + {1\over 2}\bpsi_n \psi_{n-1} + 

381: {1\over 2}\psi_n \bpsi_{n-1}

382: \endmatrix \].

383: \endalign

384: $$

385: The formula means that\footnote"**"{The operator $V=V_2$ acts like shift: 

386: $V_2(n)\f_n=\f_{n+1}$.} 

387: $$

388: (\partial_t- V_3(n+1))(\Delta- V_2(n))-(\Delta- V_2(n))(\partial_t -V_3(n))=0

389: $$

390: i.e. 

391: $$

392: \overset\bullet\to V_2(n)=V_3(n+1)V_2(n) -V_2(n)V_3(n).

393: $$

394: 

395: 

396: \subhead 3. Monodromy matrix. The spectral curve \endsubhead

397: Since $\psi_{n+N}= \psi_n$, all matricies $V_k,\, k=1,2,\hdots$, satisfy the periodicity 

398: condition $V_k(n+N)=V_k(n)$. We  introduce  the transition matrix 

399: $$

400: T_{n,m}(t,\l) \equiv V(n-1,t,\l) V(n-2,t,\l)\dotso V(m,t,\l) \quad \quad 

401: (n>m).

402: $$

403: It is easy to see that the spectrum of $T_{m+N,m}(t,\l)$ does not depend on $m$. Indeed,

404: $$

405: T_{m+1+N,m+1}(t,\l)= V(m+N) \dotso V(m+1)= V(m+N) T_{m+N,m} V(m)^{-1}.

406: $$

407: Also, the spectrum of $T_N\equiv T_{N,0}$ does not depend on  time. This 

408: follows from the identity $\overset\bullet\to T_N =[ V_3(0), T_N]$, which 

409: is  proved as follows:

410: 

411: $$

412: \align

413: \partial_t& [V \dotso V(k+1)V(k) \dotso V] \\

414: &= \dotso +V\dotso  \overset\bullet\to  V(k+1)  V(k) \dotso V + 

415: V\dotso  V(k+1)   \overset\bullet\to V(k)  \dotso V+  \dotso  \\

416: &=\dotso + V\dotso (V_3(k+2) V(k+1)- V(k+1) V_3(k+1)) V(k) \dotso V \\  

417: & \quad \quad \quad +V\dotso  V(k+1)  (V_3(k+1) V(k)- V(k) V_3(k) ) \dotso V  + \dotso \\

418: & = V_3(N) T_N(\l)- T_N(\l) V_3(0).

419: \endalign

420: $$

421: 

422: Consider the special "Floquet" solution 

423: $$

424: \g_n=\[ \matrix g^1_n(\l)\\  g^2_n(\l) \endmatrix \]

425: $$

426: of the eigenvalue problem $\g_{n+1}(\l)=V(n,\l) \g_n(\l)$ specified  by the 

427: condition 

428: $$

429: \g_N(\l)=T_N \g_0(\l)=w \g_0(\l),

430: $$

431: where $w$ being the  complex "multiplier" determined by 

432: $$

433: 0=\det \[\matrix T_N^{11} -w  & T_N^{12}\\

434:                    T_N^{21}   & T_N^{22}-w \endmatrix \] = w^2 -2 w \Delta(\l) +1,

435: $$

436: where $\Delta(\l)=\tr T_N(\l)/2$. We know that $\Delta(\l)$ 

437: is an integral of motion. The multiplier is 

438: $$

439: w = \Delta(\l) +\sqrt{\Delta^2(\l) -1 };

440: $$

441: It becomes single-valued on the spectral curve \break 

442: $\Gamma=\{Q=(\l, y)\in {\Bbb C}^2 :\;\; y^2 =\Delta^2(\l) -1\}$. 

443: 

444: The curve $\Gamma$  inherits  symmetries from $V_2(n,\l)$. 

445: It is easy to check that

446: $$

447: \align

448: \sigma_1 V\({1\over \bl}\) \sigma_1 & =\overline{V(\l)}, \tag 1 \\

449: \sigma_3 V(-\l) \sigma_3 & =-V(\l). \tag 2

450: \endalign

451: $$

452: Obviously $T_N(\l)$ satisfies similar identities.  Whence 

453: $$

454: \align 

455: \Delta\({1\over \bl} \) & = \overline{\Delta(\l)}, \tag 3 \\

456: \Delta(-\l)& = (-1)^N \Delta(\l). \tag 4

457: \endalign

458: $$ 

459: The symmetries (3-4) produce an antiholomorhic involution $\tau_a$ and 

460: a holomorphic involution $\tau$ on the curve  

461: $$

462: \align

463: & \tau_a:\quad \quad \quad  (\l,y) \longrightarrow \({1\over \bl},

464: \overline{y}\), 

465: \tag 5 \\

466: &\tau:\quad \quad \quad  (\l,y) \longrightarrow \(- \l,(-1)^N y\). 

467: \tag 6

468: \endalign

469: $$

470: On $\Gamma$, there  exists another holomorphic involution $\tau_{\pm}$ which 

471: permutes the sheets, viz. 

472: $

473: \tau_{\pm}:   (\l,y) \rightarrow \(\l , -y\). 

474: $

475: From the quadratic equation for $w$, we have \break $w(Q)w(\tau_{\pm}Q)=1$. 

476: 

477: \noindent{\bf Remark.} Obviously, we have  freedom in the choice of  sign 

478: for the second coordinate of the involution, say

479: $$

480: \tau_a: \quad \quad    (\l,y) \longrightarrow  \( {1\over \bl} , \pm 

481: \overline{y} \).

482: $$

483: The sign in (5--6) is chosen in such way that $\tau_a$ and $\tau$  preserve 

484: the infinities of the curve (see example 5 of this section).

485: 

486: \noindent{\bf Example 1:} vanishing  potential $\psi_n\equiv 0$. Then

487: $$

488: T_N(\l) =\( \matrix \l^N & 0 \\ 0 & \l^{-N} \endmatrix \),  \quad \quad 

489: \Delta(\l)= \cosh N \log \l \quad \text{and}\quad w(Q)= e^{\pm N \log \l(Q)}.

490: $$

491: The points $\l_{k}^{\pm}= e^{i{2\pi\over 2N} k },\, k=0,\cdots, 2N-1$ satisfy 

492: the condition $\Delta^2(\l_k^{\pm})=1$ and at these 

493: points\footnote"*"{$\bullet$ now denotes 

494: derivative in $\l$ variable.} $\Delta^{\bullet}(\l_k^{\pm})=0.$ The points 

495: $\l_k^{\pm}$ are simple crossings of the curve $\Gamma$. 

496: They form periodic/antiperiodic spectrum; 

497: namely, $w=+1$ for $k$ even and $w=-1$ for $k$ odd. If $\l =e^{i\theta}$, then 

498: $\Delta(e^{i\theta})=\(e^{i\theta N}+ e^{-i \theta N}\)/  2= \cos \theta N$. 

499: The graph of $\Delta(\l)$ for  $N=2$ is shown in fig 1.

500: \midinsert

501: \epsfxsize=250pt

502: \centerline{

503: \epsfbox{fig118.eps}

504: }

505: \botcaption{fig. 1}

506: \endcaption

507: \endinsert

508: 

509: 

510: 

511: 

512: When $\psi_n$ is not identicaly zero,  then the double points $\l_{k}^{\pm}$ 

513: split into pairs $\l_{k}^{-}$ and  $\l_{k}^{+}$ of simple ramification. 

514: The symmetry (3) implies that $\Delta(\l)$ is always real for $|\l|=1$. Note 

515: also that,  due to the symmetry (4),  the branch points 

516: form symmetric pairs $\l_{k}^{-},\, \l_{k}^{+}$ and i

517: $\l_{k'}^{-},\, \l_{k'}^{+}$ such 

518: that $\l^{\pm}_k=- \l_{k'}^{\pm}$, when $k-k'\equiv 0$ (mod $N$). 

519: 

520: The branch points $\l_{k}^{\pm}$ lie only on the unit 

521: circle\footnote"**"{The statement 

522: is proved by the  method of \cite{AL}.}.  Indeed, the equation 

523: \break$\g_{n+1}(\l) = V(n,\l) \g_n(\l)$ 

524: can be written in the form $\Lambda_n \g_n(\l) =\l \g_n(\l)$, where

525: $$

526: \Lambda_n=  \[\matrix \sqrt{R_n}\Delta  & - \psi_n \\

527:                     \bpsi_{n-1} & \sqrt{R_{n-1}} \Delta^{-1}

528: \endmatrix \] \quad \quad \text{and} \quad  \Delta f_n= f_{n+1}.

529: $$ 

530: It is easy to see that $\Lambda$ is unitary in the space of 

531: $2N$--periodic vector functions  with the complex inner product 

532: $<\f,\g>_{2\heartsuit} =

533: {1\over 2N}\sum_{k=0}^{2N-1} f_k \overline{g}_k$. Indeed, introducing 

534: the formal inverse

535: $$

536: \Lambda^{-1}_n=\[ \matrix \sqrt{R_{n-1}} \Delta^{-1} & \psi_{n-1} \\

537:                        -\bpsi_n     & \sqrt{R_n} \Delta \endmatrix \]

538: $$

539: it is easy to derive the Cauchy identity

540: $$

541: \align

542: <\Lambda \f, \g >_{\heartsuit}  & = <\f, \Lambda^{-1} \g>_{\heartsuit} + \\

543: &+{1\over N} \sqrt{R_{N-1}} \( f^1_N \overline{g}_{N-1}^1 - f_0^1 \overline{g}_{-1}^1 \) +

544: {1\over N} \sqrt{R_{N-1}} \( f^2_{-1} \overline{g}_{0}^2 - f_{N-1}^2 \overline{g}_{N}^2 \),

545: \tag 7

546: \endalign 

547: $$

548: where $<\f, \g>_{\heartsuit} = {1\over N} \sum_{k=0}^{N-1} f_k \overline{g}_k$. 

549: Appling this formula twice, first to the interval $k=0,\cdots, N-1$ and then to the 

550: interval  $k=N,\cdots, 2N-1$  we obtain a similar identity for 

551: $<\bullet, \bullet>_{2\heartsuit}$ which implies the result.

552: 

553: \noindent{\bf Example 2:} $N=2$--periodic case.  It is instructive  to 

554: analyze this case complitely. The potential can be written in the form 

555: $$

556: \psi_n= \cases A+B, & n \;\; \text{is even}\\

557:                A-B, & n \;\; \text{is odd}. \endcases

558: $$

559: The matrix $T_2$ can be easily computed: 

560: $$

561: T_2= {1\over \sqrt{D}} \[\matrix \l^2 + ( A-B)(\overline{A}+ \overline{B}) & 

562:                          \l(A+B)+  \l^{-1}(A-B)\\

563:                          \l(\overline{A}- \overline{B}) + \l^{-1} 

564: (\overline{A}+ \overline{B}) &

565:             \l^{-2}+ (A+B) (\overline{A}- \overline{B})  \endmatrix\].

566: $$

567: Then $\Delta(\theta)= {1\over \sqrt{D}} \[ \cos 2\theta +|A|^2 -|B|^2\]$ for  

568: $\l=e^{i \theta}$,  and $D = (1-|A+B|^2)$ $\times(1-|A-B|^2)$.

569: Consider the case $B\equiv0$ and $A\neq 0$. Then $\Delta(\theta)= {1\over 

570: \sqrt{D}} \[ \cos 2\theta +|A|^2 \],$  and $D = (1-|A|^2)^2.$

571: The graph of $\Delta(\theta)$ is shown in fig. 2.

572: \midinsert

573: \epsfxsize=250pt

574: \centerline{

575: \epsfbox{fig218.eps}

576: }

577: \botcaption{fig. 2}

578: \endcaption

579: \endinsert

580: \noindent

581: The double points $\l_0^{\pm}$ and $\l_2^{\pm}$ split into pairs, while  

582: $\l_1^{\pm}$ and $\l_3^{\pm}$ remain double. 

583: 

584: Now consider the case when $A=0$ and $B\neq 0$. 

585: Then,  

586: $

587: \Delta(\theta)= {1\over \sqrt{D}} [ \cos 2\theta $ $  -|B|^2 ],$ $   D = (1-|B|^2)^2.

588: $

589: In this case,  the double points $\l_0^{\pm}$ and $\l_2^{\pm}$ do not split, 

590: while $\l_1^{\pm}$ and $\l_3^{\pm}$ split into pairs of simple roots.

591: 

592: Finally, there is an open area in the space of parameters, say, 

593: $A\sim B$, where 

594: $$

595: \Delta(\theta)\approx  {1\over \sqrt{D}}  \cos 2\theta , \quad \quad D \approx  1-4|A|^2 < 1.

596: $$

597: In this case {\it all} double roots split into  pairs of simple roots.

598: 

599: \noindent{\bf Example 3:} constant potential $\psi_n=\psi_0$. Consider, first, 

600: the case $N=2$. Then 

601: $$

602: T_2= {1\over \sqrt{D}} \[\matrix \l^2 + |\psi_0|^2 & \l\psi_0 +  

603: \l^{-1}\psi_0\\

604: \l \overline{\psi}_0 + \l^{-1} \overline{\psi}_0 &  \l^{-2} + 

605: |\psi_0|^2 \endmatrix\],

606: $$

607: $ \Delta(\theta)= {1\over \sqrt{D}} \[\cos 2\theta +|\psi_0|^2 \],$ 

608: and  $D = (1-|\psi_0|^2)^2$. 

609: The branch points $\l_k^{\pm}$ are given by the equation $\Delta^2(\l)=1$. 

610: Obviously, the points $\l^{\pm}_1$ and $\l^{\pm}_3$ do not split. For 

611: $\l_0^{\pm}$ we have the equation

612: $$

613: 1-|\psi_0|^2=\cos 2\theta + |\psi_0|^2,

614: $$

615: so for small  $|\psi_0|$,   

616: $$

617: 1- 2 |\psi_0|^2 = 1 - 2  \theta^2 +O(\theta^4).

618: $$

619: Finally, we arrive at  $\theta= |\psi_0| +O(|\psi_0|^3)$ and 

620: $$

621: \l_0^{\pm} =e^{\pm i (|\psi_0| +O(|\psi_0|^3))} \quad \quad \quad 

622: \l_2^{\pm} =e^{\pm i (|\psi_0| +O(|\psi_0|^3)) + i\pi}.

623: $$

624: In words, the open gap is proportional to the absolute value of the 

625: potential $|\psi_0|$. 

626: 

627: The case of general $N$ can be treated easily. One has to compute spectrum 

628: of $T_N$.  After simple algebra

629: $$

630: \l_0^{\pm} =e^{\pm i (|\psi_0| +O(|\psi_0|^3))},\quad\quad \quad 

631: \l_N^{\pm} =e^{\pm i (|\psi_0| +O(|\psi_0|^3)) + i\pi}.

632: $$

633: 

634: \noindent{\bf Example 4:} two-gap trigonometric potential. Consider 

635: the $N$--periodic potential $\psi^k$:

636: $$

637: \psi_n^k=e^{i\phi_k n} \psi_0,\quad\quad \quad \phi_k={2\pi k\over N}\quad   

638: k=0, \cdots, N-1.

639: $$

640: We will show that this potential opens $k$--th and $k+N$--th gap as in  

641: $$

642: \l_k^{\pm}=e^{i \phi_k/2 \pm i (|\psi_0| +O(|\psi_0|^3))}, \tag 8 

643: $$

644: and

645: $$

646: \l_{k+N}^{\pm} = e^{i \phi_k/2 \pm i (|\psi_0| +O(|\psi_0|^3)) + i\pi}. \tag 9

647: $$

648: To emphasise the dependence on $\psi^k$ we write 

649: $V(n,\l|\psi^k) = V^k(n),\; T(\l|\psi^k)=

650: T^k(\l)$ and $\Delta(\l| \psi^k)= \Delta^k(\l)$.  Note, first,  that

651: $$

652: L^k(n)=\Phi^n V^k(0) \Phi^{-n}, \quad \text{where} \quad \Phi=e^{i\sigma_3 

653: \phi_k/2}.

654: $$

655: Therefore,

656: $$\align

657: T(\l|e^{i\phi_k n}\psi_0) & = V^k(N-1) \cdots V^k(0) =  \Phi^N(\Phi^{-1} V^k(0))^N\\

658: & = (-1)^k (\Phi^{-1} V^k(0))^N= (-1)^k T (\l e^{-i\phi_k/2}|e^{-i\phi_k/2}\psi_0).

659: \endalign

660: $$ 

661: Taking the trace we obtain

662: $$

663: \Delta(\theta|  e^{i\phi_k n} \psi_0)= (-1)^k 

664: \Delta(\theta - {\phi_k\over 2}|  e^{- i\phi_k/2} \psi_0).

665: $$

666: This and the result of Example 3 produce the formula (8).  $(9)$ follows 

667: from this and the symmetry (4). 

668: 

669: \noindent{\bf Remark 1.} The situation here is similar  to the NLS equation, 

670: \cite{MCV1}, where the $N$--th gap opens in proportion to the  $N$-th Fourier 

671: coefficient.

672: 

673: \noindent{\bf Remark 2.} The $4N$ branch points 

674: $\l_0^{\pm}, \cdots, \l_{2N-1}^{\pm}$ determine  the curve. The symmetry (4) 

675: leaves only $2N$ free  parameters. In fact, there are only $N$ free 

676: independent parameters due to periodicity conditions.

677: 

678: \noindent{\bf Example 5:} generic periodic potential. The potential can 

679: be written as a sum of harmonics $\psi^k,\quad  k=0, \cdots , N-1$. All gaps 

680: are open.  To construct the curve $\Gamma$,  let us take two copies ``+'' 

681: and ``-'' of $\Bbb CP^1$ cut along circular arcs connecting $\l_k^-$ and 

682: $\l_k^+$ (fig. 3) \midinsert

683: \epsfxsize=250pt

684: \centerline{

685: \epsfbox{fig318.eps}

686: }

687: \botcaption{fig. 3}

688: \endcaption

689: \endinsert

690: 

691: Each copy  $\Bbb CP^1$ has two marked points $P_{0/\infty}^+$ and 

692: $P_{0/\infty}^-$. The behavior of $\Delta(\l),\;\; y(Q)= 

693: \sqrt{\Delta(\l)^2-1},$ and $w(Q)$ near these points is this:

694: $$

695: \Delta(\l)\sim {1\over 2} \l^N,\; y(Q)\sim \pm {1\over 2} \l^N, \;  

696: w(Q) \sim \l^{\pm N},\quad \quad \quad \quad \l=\l(Q),\; Q\in (P_\infty^{\pm});

697: $$

698: and

699: $$

700: \Delta(\l)\sim {1\over 2} \l^{-N},\; y(Q)\sim \pm{1\over 2}\l^{-N}, \;  w(Q) \sim 

701: \l^{\mp N}, \quad\quad \quad \quad    \l=\l(Q),  \;

702: Q\in (P_0^{\pm}).

703: $$

704: From this, we see that $\tau_a$ maps  point $Q=(\l, y)$ in the vicinity 

705: of $P_{\infty}^{+/-}$ to the  point $\tau_a Q=({1\over \overline{\l}}, 

706: \overline{y})$ in the vicinity of $P_0^{+/-}$. The curve is 

707: obtained by gluing together ``$\pm$'' copies of $\Bbb CP^1$ along the cuts and identifying the points $P_{\infty}^{+/-}$ 

708: with $P_0^{+/-}$  as specified 

709: $$

710: P^+=P_{\infty}^++ P_0 ^+,\quad \quad \text{and}\quad \quad   P^-=P_{\infty}^- + P_0^-.

711: $$ 

712: 

713: \midinsert

714: \epsfxsize=250pt

715: \centerline{

716: \epsfbox{fig418.eps}

717: }

718: \botcaption{fig. 4}

719: \endcaption

720: \endinsert

721: 

722: 

723: The cuts are the projections on the $\l$--plane of the real ovals of 

724: anti--holo\-morphic involution $\tau_a$. 

725: The infinities $P^+$ and $P^-$ are also fixed points of $\tau_a$. The 

726: multiplier $w(Q)$ is single-valued on $\Gamma$ and satisfies the identity 

727: $w(\tau_aQ) =\overline{w(Q)}$. This guaranties {\it continuity} 

728: of $w(Q)$ at the points $P^{+/-}$,  where $w(Q) \longrightarrow \infty/0$ 

729: respectively. The involution $\tau$ is defined so  that it preserves the 

730: infinities.  The formula 

731: $ w(Q)= \Delta(\l(Q))+ y(Q)$ implies $w(\tau Q)= (-1)^N w(Q)$. 

732: 

733: Let us introduce a multivalued function $p(Q)$ on $\Gamma$ by the formula $w(Q)=e^{p(Q)N}$. Obviously, 

734: $p(Q)$ is defined up to the integer multiple of $2\pi i/N$. The differential $dp$ is of the third kind with poles at 

735: $P^+$ and $P^-$. The relation $w(Q)w(\tau_{\pm}Q)=1$ implies that $p(Q)\equiv -p(\tau_{\pm}Q)$ (mod $2\pi i/N$). 

736: Therefore, in the vicinity of $P_{\infty}^{\pm}$,    

737: $$

738: \align

739: p_{\infty}^+(\l)& = + \log \l +I_0 + {I_1\over \l} + {I_2\over \l} + \cdots, \\

740: p_{\infty}^-(\l)& = -\log \l -I_0 - {I_1\over \l} - {I_2\over \l} + \cdots,

741: \endalign

742: $$

743: where $\l=\l(Q)$. The fact that $\tau$ preserves $P_{\infty}^{+/-}$ and 

744: $w(\tau Q) = (-1)^N w(Q)$ implies  $I_k=0$ 

745: for $k$ odd, so 

746: $$

747: \align

748: p_{\infty}^+(\l)& = + \log \l +I_0 + {I_2\over \l^2} + {I_4\over \l^4} + \cdots, \\

749: p_{\infty}^-(\l)& = -\log \l -I_0 - {I_2\over \l^2} - {I_4\over \l^4} + \cdots. 

750: \endalign

751: $$

752: The anti-involution $\tau_a$ maps $P_{\infty}^{+/-}$ to $P_{0}^{+/-}$.  This 

753: and relation $w(\tau_aQ)=\overline{w(Q)}$ imply, in 

754: the vicinity of $P_0^{\pm}$, 

755: $$

756: \align

757: p_{0}^+(\l)& = - \log \l +\overline{I}_0 + \overline{I}_2 \l^2 + \overline{I}_4 \l^4 + \cdots, \\

758: p_{0}^-(\l)& = +\log \l -\overline{I}_0 - \overline{I}_2 \l^2 - \overline{I}_4 \l^4 + \cdots. 

759: \endalign

760: $$

761: The explicit form of the integrals $I_0, I_2,\cdots$ will be computed in 

762: the next section.

763: 

764: 

765: 

766: \subhead 4. Integrals of motion\endsubhead 

767: To simplify the calculations, we introduce $V_{\text{new}}(n)=\sqrt{R_n}

768: V_{\text{old}}(n)$. The corresponding mulitipliers  are

769: $w_{\text{new}}=\sqrt{D} w_{\text{old}}$, and

770: $$

771: p_{\text{old}}=p_{\text{new}}-{1\over 2N} \log D.

772: $$

773: We write all formulas in this section for the {\it new} spectral problem.

774: 

775: We  introduce $T_{n,m}=

776: (1+W_n(\l))e^{Z_{n,m}(\l)}(1+W_m(\l))^{-1}$, where $Z$ is a diagonal matrix and 

777: $W$ is antidiagonal. Separating the diagonal and antidiagonal 

778: part in the equation $T_{n+1,m}= V(n) T_{n,m}$, we obtain

779: $$

780: \align

781: &e^{Z_{n+1,m}- Z_{n,m}}=\Lambda + \Psi_n W_n, \tag1 \\

782: &W_{n+1} e^{Z_{n+1,m}- Z_{n,m}} =\Lambda W_n+ \Psi_n, \tag2 

783: \endalign

784: $$

785: where

786: $$

787: \Lambda=\[\matrix   \l & 0\\

788:                      0 & \l^{-1} \endmatrix \] \quad \text{and} \quad 

789: \Psi_n=\[\matrix 0 & \psi_n\\

790:                 \bpsi_n & 0\endmatrix \].

791: $$ 

792: Let $W_n(\l)= \sum\limits_{k=1}^{\infty} W_n^{k} \l^{-k}$, where 

793: $$

794: W_n^k=\[\matrix 0 & w_n^{k+}\\

795:                 w_n^{k-} & 0 \endmatrix \].

796: $$

797: From  (1-2),  we have 

798: $

799: W_{n+1}(\Lambda + \Psi_n W_n) = \Lambda W_n + \Psi_n.

800: $

801: Introducing 

802: $$

803: \sigma_+=\[\matrix 1 & 0\\

804:                    0 & 0\endmatrix \] \quad \text{and} \quad 

805: \sigma_-=\[\matrix 0 & 0\\

806:                    0 & 1 \endmatrix \],

807: $$

808: we can write $\Lambda= \sigma_+ \l + \sigma_- \l^{-1}$ and 

809: $$

810: \aligned

811: \sum\limits_{k\geq 1} W_{n+1}^k \l^{-k} (\l\sigma_+ & + \l^{-1}\sigma_-) + 

812: \sum\limits_{k,p\geq 1} W_{n+1}^{r} \Psi_n W_n^p \l^{-r-p} \\

813: &= (\l \sigma_+ + \l^{-1}\sigma_-)\sum\limits_{k\geq 1} W_n^k \l^{-k}+\Psi_n. 

814: \endaligned \tag3

815: $$

816: Collecting terms with $\l^0$ in (3), we have 

817: $

818: W_{n+1}^1\sigma_+=\sigma_+W_n^1 +\Psi_n

819: $

820: and

821: $$

822: W_n^1=\[\matrix 0 & -\psi_n\\

823:                 \bpsi_{n-1} & 0 \endmatrix \].

824: $$

825: Collecting terms with $\l^{-1}$ in (3), we have 

826: $ W_{n+1}^2 \sigma_+= \sigma_+ W_n^2$.

827: This implies \break $W_n^2\equiv 0$.  

828: 

829: Collecting terms in (3) of the order $\l^{-k},\; k\geq 2$, 

830: we have the reccurence formula

831: $$

832: W_{n+1}^{k+1} \sigma_+ - \sigma_+W_n^{k+1}= 

833: \sigma_- W_{n}^{k-1}- W_{n+1}^{k-1}\sigma_- - 

834: \sum\Sb r+p=k,\\ r,p\geq 1\endSb  W_{n+1}^{r} \Psi_n W_n^p; \tag4 

835: $$

836: whence, for $k=2$, 

837: $$

838: W_n^3=\[\matrix 0 & -\psi_{n+1}+ \psi_{n+1}|\psi_n|^2\\

839:                 \bpsi_{n-2}-\bpsi_{n-2}|\psi_{n-1}|^2 & 0 \endmatrix \].

840: $$

841: Therefore, for $n=N$ and $m=0$ we have

842: $$

843: T_{N} (\l) =(1+W_{N}(\l)) e^{Z_{N,0}(\l)} (1+W_0(\l))^{-1}

844: $$

845: and 

846: $$

847: e^{Z_{N,0}}(\l)=\prod\limits_{r=0}^{N-1}(\Lambda+\Psi_r W_r).

848: $$

849: Using the fact that $\Psi_rW_r$ is diagonal we infer that  for 

850: $Q\in (P_{\infty}^+)$

851: $$

852: w(Q)=e^{p_{\infty}^+(\l)N} = \prod\limits_{r=0}^{N-1}\(\l + \psi_r 

853: \sum\limits_{k\geq 1} w_r^{k-}\l^{-k}\).

854: $$

855: 

856: 

857: Therefore,

858: $$

859: \align

860: p_{\infty}^+(\l)N& = N \log \l + \\

861: &+ {1\over \l^2} \sum\limits_{r=0}^{N-1} 

862: \psi_r w_r^{1-} + {1\over \l^4}\( \sum\limits_{r=0}^{N-1} \psi_r w_r^{3-} 

863: - {1\over 2}(\psi_r w^{1-}_r)^2\) + \cdots.

864: \endalign

865: $$

866: Using the explicit expression of  $W_n^1, W_n^3$, we have\footnote"*"{We 

867: write the coefficients for the {\it old} spectral problem.}

868: $$

869: \align

870: NI_0& \equiv  -{1\over 2} \log D ,  \\

871: NI_2&     =   \sum\limits_{r=0}^{N-1} \psi_r \bpsi_{r-1},\\

872: NI_4&     =\sum\limits_{r=0}^{N-1} \psi_r \bpsi_{r-2}\(1-|\psi_{r-1}|^2\) - 

873: {1\over 2} (\psi_r \bpsi_{r-1})^2.

874: \endalign

875: $$

876: 

877: 

878: \subhead 5. Floquet solution. Baker--Akhiezer function\endsubhead

879: The Floquet solution was defined in section 3 as a special solution of 

880: the spectral problem $\g_{n+1}=V(n) \g_n$ with the property 

881: $\g_N=T_N\g_0=w\g_0$. It is uniqlue specified by the boundary conditions 

882: $g_n^1 +g^2_n|_{n=0}=1$. 

883: 

884: \noindent

885: {\bf Example:} vanishing potential $\psi_n=0$. Then,

886: $$

887: V_2(n,\l)=\[\matrix \l & 0\\

888:                   0  & \l^{-1}\endmatrix \],  \quad \quad \quad \text{and} 

889: \quad \quad T_N(\l)= \[\matrix \l^{N} & 0\\

890:                   0  & \l^{-N}\endmatrix \].

891: $$

892: Therefore,\footnote"**"{For any $\g=\[\matrix a\\ c \endmatrix\]$ we  write 

893: $\gh=\[\matrix \bar{c}\\ \bar{a} \endmatrix\]$.} for $Q\in 

894: (P_{\infty}^{+}/P_0^{+}),$ 

895: $$

896: \g_n(Q) = e^{\pm n \log \l} \[ \g_0^+/\gh_0^+\], \quad\quad\quad w(Q)= e^{\pm N \log \l};

897: $$

898: and for $Q\in (P_{\infty}^{-}/P_{0}^-)$

899: $$

900: \g_n(Q) = e^{\mp n \log \l} \[ \g_0^-/\gh_0^-\], \quad\quad\quad 

901: w(Q)= e^{\mp N \log \l};

902: $$

903: vectors $\g_0^+,\; \g_0^-$ are 

904: $$

905: \g_0^+= \[\matrix 1\\0 \endmatrix \],\quad\quad\quad \g_0^- =\[\matrix 0\\1\endmatrix \].

906: $$

907: 

908: We  introduce another Floquet solution $\gt_n$ normalised by the condition 

909: $i\gt^1_n- i \gt_n^2|_{n=0}=1.$

910: Let us define

911: $$

912: D_0=1,\quad \quad \quad D_n=\prod\limits_{k=0}^{n-1} R_k,\quad n=1,\hdots, 

913: N-1; \quad \quad D_N=D.

914: $$

915: 

916: \proclaim{Lemma 1} i. The Floquet solution $\g_n(Q)$ is:

917: $$

918: \g_n(Q)=C(Q)\[\matrix T_n^{11}(\l)\\ T_n^{21}(\l) \endmatrix\] +(1-C(Q)) 

919: \[\matrix T_n^{12}(\l)\\ T_n^{22}(\l) \endmatrix\], \quad \quad \l=\l(Q).

920: $$

921: with

922: $$

923: C(Q)={T^{12}\over T^{12}- T^{11} +w(Q)}= {w(Q) -T^{22}\over T^{21}- 

924: T^{22} +w(Q)},

925: $$

926: here,  $T=T_N$.

927: 

928: ii. The Floquet solution $\gt_n(Q)$ is 

929: $$

930: \gt_n(Q)=R(Q)\[\matrix T_n^{11}(\l)\\ T_n^{21}(\l) \endmatrix\] +(i+ R(Q))

931: \[\matrix T_n^{12}(\l)\\ T_n^{22}(\l) \endmatrix\], \quad 

932: $$

933: with

934: $$

935: R(Q)={iT^{12}\over w(Q)- T^{11}- T^{12}} = { iT^{22} - iw(Q)\over w(Q)- T^{21}- T^{22}}.

936: $$

937: 

938: iii. The following formulas hold:

939: $$

940: \sigma_1 \g_n (\tau_a Q) =\bar{\g}_n(Q), \quad \quad \quad \sigma_1 \tilde{\g}_n(Q) 

941: (\tau_aQ)=\overline{\tilde{\g}_n(Q)}.

942: $$

943: and

944: $$

945: \g_n(\tau Q) = (-1)^n i \sigma_3 \tilde{\g}_n(Q).

946: $$

947: 

948: (iv). The Floquet solution $\g_n(Q)$ has $2N$ poles at the points $\gamma$'s on the real 

949: ovals of the curve $\Gamma$. On each oval there is just one $\gamma$.

950: 

951: (v). If $Q\in (P_{\infty}^+/P_0^+)$, then $\g_n(Q)$ has the development 

952: $$

953: \g_n(Q)=e^{\pm n\log \l}{1\over \sqrt{D_n}} \[ \sum\limits_{s=0}^{\infty} \g_s^+(n)\l^{-s} 

954: / \sum\limits_{s=0}^\infty \hat{\g}^+_s (n) \l^s\],

955: $$

956: with 

957: $$

958: \g_0^+ =\[\matrix 1\\ 0\endmatrix\],\quad \quad \quad \g_1^+(n) = 

959: \[ \matrix -\psib_{-1}\\ \;\;\;  \psib_{n-1}\endmatrix \].

960: $$

961: Also for $Q\in (P_{\infty}^-/P_0^-)$, 

962: $$

963: \g_n(Q)= e^{\mp n \log \l} \sqrt{D_n} \[ \sum\limits_{s=0}^{\infty} \g_s^-(n)\l^{-s}

964: / \sum\limits_{s=0}^\infty \hat{\g}^-_s (n) \l^s\],

965: $$

966: with 

967: $$

968: \g_0^- =\[\matrix 0\\ 1\endmatrix\],\quad \quad \quad \g_1^-(n) = 

969: \[ \matrix -\psi_{n}\\ \;\; \psi_{0}\endmatrix \].

970: $$

971: \endproclaim

972: \demo\nofrills{Proof.\usualspace} i. Obviously,

973: $$

974: \g_n(Q)= C'(Q)\[\matrix T_n^{11}(\l) \\ T_n^{11}(\l) i\endmatrix\] +C''(Q)

975: \[ \matrix T_n^{12}(\l) \\ T_{n}^{22}(\l) i\endmatrix \]

976: $$

977: with some $C'(Q)$ and $C''(Q)$. The normalisation $g_n^1 +g_n^2|_{n=0} =1$ 

978: implies $C''(Q)= 1-C'(Q)$. Another condition $T_n\g_0 =  w \g_0$ produces 

979: the system

980: $$

981: \[\matrix T_N^{11} & T_N^{12}\\

982:           T_N^{21} & T_N^{22}\endmatrix \] \[ \matrix C\\ 1-C \endmatrix \] = 

983: w \[ \matrix C\\ 1-C\endmatrix \].

984: $$

985: Solving the system, we obtain the stated formulas for $C(Q)$.

986: 

987: ii. The proof is identical to the proof of (i). 

988: 

989: iii. The proof is based on explicit formulas of (i) and (ii). Using (1) of 

990: section (3), we have

991: $$

992: T_{n,0}(\l (\tau_a Q))=\sigma_1 \overline{T_{n,0}(\l(Q))} \sigma_1 \quad 

993: \quad \quad \text{and} \quad \quad w(\tau_aQ)=\overline{w(Q)}.

994: $$

995: From this we have $1-\overline{C(\tau_aQ)}=C(Q)$.  The proof is finished by 

996: substituting $T_n(\l(\tau_aQ))$ and $C(\tau_aQ)$ into explicit formula of (i). 

997: Similarly  $\overline{R(\tau_aQ)}=i +R(Q)$.  This implies the stated formula 

998: for $\tilde{\g}_n$. 

999: 

1000: The last formula for $\g_n(\tau Q)$ is proved along the same lines using 

1001: (2) and (6) of section 3. 

1002: 

1003: (iv). It is easy to see, by perturbation arguments, that $\mu_k=\l(\gamma_k)$ 

1004: are near the points $\l^{\pm}_k= e^{i{2\pi\over 2N}k},\; k=0,\hdots, 2N-1$ 

1005: for a small potential.  We will prove that $|\mu_k| =1$ {\it always}. 

1006: 

1007: Let $\g_n(Q)$ have a pole at some point $\gamma$. Then, from the formula of 

1008: (i),  we have

1009: $$

1010: T^{11}- T^{12} = w(Q) \quad \quad \quad \text{and} 

1011: \quad \quad  T^{22}- T^{11}=w(Q).

1012: $$

1013: Consider the special solution $\f_n(\mu)=T_n^{(1)}(\mu) - T_n^{(2)}(\mu)$ 

1014: of the eigenvalue problem $\Lambda_n \f_n= \mu \f_n$. We have

1015: $$

1016: \f_0=\[\matrix 1\\ -1\endmatrix \] \quad \quad \quad \text{and} \quad \quad 

1017: \f_N =\[\matrix w(Q)\\ -w(Q) \endmatrix \].

1018: $$

1019: Now the Cauchy formula (7) of section 3 to obtain 

1020: $$

1021: <\Lambda \f, \f>_{\heartsuit} = <\f,\Lambda^{-1} \f>_{\heartsuit}+

1022: \text{boundary terms}.

1023: $$

1024: Note, that $\Lambda\f =\mu \f, \;\; \Lambda^{-1} \f =\mu^{-1} \f$.  

1025: It is easy to compute the boundary terms: to wit,  

1026: $$

1027: {1\over N} (|w|^2-1) (\bar{\mu}^{-1}- \mu).

1028: $$

1029: Substituting this into the Cauchy formula,  we obtain

1030: $$

1031: (1-|\mu |^2) \[ {1\over N} (|w|^2 -1) - (\f,\f)\]=0.

1032: $$

1033: This implies $|\mu|=1$.

1034: 

1035: (v). Consider $P_{\infty}^+/ P_0^+$. The relation between two asymptotic 

1036: expansions follows from the formula $\sigma_1 \g_n(\tau_a Q)=\g_n (Q)$. 

1037: The actual form of the coefficient is derived by substituting the asymptotic 

1038: expansion $$\g_n(Q)= e^{n\log \l} {1\over \sqrt{D_n}} \sum\limits_{s=0}^{\infty} \g_s^+(n) \l^{-s}$$ into the spectral problem $\g_{n+1} = 

1039: V(n,\l)\g_n$, where $V(n,\l) =[ \l \sigma_+ +\l^{-1} \sigma_- $ $ +\Psi_n].$ 

1040: We arrive at  the reccurence relation

1041: $$

1042: \sigma_+ \g_{s+1}^+(n) + \sigma_- \g_{s-1}^+ (n) +\Psi_n \g_s^+(n) =\g_{s+1}^+(n+1).

1043: $$

1044: The boundary condition $g_n^1 +g_n^2 |_{n=0}=1$ implies 

1045: $$

1046: g_0^1(n) + g_0^2(n)|_{n=0} =1; \quad \quad \quad \quad \quad \quad 

1047: g_s^1(n) + g_s^2(n)|_{n=0}=0 \quad \quad \text{for} \quad \quad  s\geq 1.

1048: $$ 

1049: Starting from $s=-1$, reccurently, one can compute $\g_0^+(n), \; \g_1^+(n), \, etc.$ 

1050: \qed

1051: \enddemo

1052: 

1053: On the curve $\Gamma$ one can consider  the Baker-Akhiezer (BA) function 

1054: $\g(\tau,n,t,\l)$ with $2N$ poles on the real ovals. On each oval there 

1055: is just one pole. The function 

1056: $\g(\tau,n,t,\l)$ has the following assymptotics at the infinities:

1057: $$

1058: \alignat 2

1059: \g(\tau,n,t,\l)&= e^{{i\over 2}\tau  +n\log \l + i(\l^2 -1) t} {1\over \sqrt{D_n}}

1060: \sum\limits_{s=0}^{\infty} \g_s^+ \l^{-s},\quad \quad \quad &Q\in (P_{\infty}^+),\\

1061: \g(\tau,n,t,\l)&= e^{-{i\over 2}\tau  -n\log \l - i(\l^{-2} -1) t} \sqrt{D_n} 

1062: \sum\limits_{s=0}^{\infty} \g_s^- \l^{-s},\quad \quad \quad &Q\in (P_{\infty}^-),\\

1063: \g(\tau,n,t,\l)&= e^{-{i\over 2} - n\log \l - i(\l^{-2}  -1) t} {1\over \sqrt{D_n}} 

1064: \sum\limits_{s=0}^{\infty} \hat{\g} _s^+ \l^{s},\quad \quad \quad &Q\in (P_{0}^+),\\

1065: \g(\tau,n,t,\l)& = e^{{i\over 2} +n\log \l + i(\l^2 -1) t}  \sqrt{D_n} 

1066: \sum\limits_{s=0}^{\infty} \hat{\g} _s^- \l^{s},\quad \quad \quad &Q\in (P_{0}^-).

1067: \endalignat

1068: $$

1069: The BA function with these properties exists and 

1070: defined uniqly. 

1071: The BA function $\g(\tau, n, t, Q)$ satisfies the identities

1072: $$

1073: \align

1074: &[\partial_{\tau} -V_1] \g(\tau, n, t, Q)= 0,\\

1075: &[\Delta  -V_2] \g(\tau, n, t, Q)= 0,\\

1076: &[\partial_{t} -V_3] \g(\tau, n, t, Q)= 0.

1077: \endalign

1078: $$

1079: The explicit form of the $V$'s is given in section 2. The Floquet solution 

1080: is a particular case of BA function with the variables $\tau, t$ fixed.  

1081: 

1082: \subhead 6. Dual Floquet solution. Variational identity\endsubhead 

1083: One can write the equation $V(n)\g_n =\g_{n+1}$ in the form\footnote"*"{$J=i\sigma_2$.} 

1084: $$

1085: [J\Delta- J V(n)]\g_n=0.

1086: $$

1087: Let us define the dual Floquet solution $\g^+=\[g^{1+}, g^{2+}\]$ at the 

1088: point $Q$  by 

1089: $$

1090: \g^+_n(Q)=\g_n(\tau_{\pm}Q)^T.

1091: $$

1092: \proclaim{Lemma 2} The dual Floquet solution $\g_n^+(Q)$ satisfies\footnote"**"{$\f_n 

1093: \Delta= \f_{n-1}.$}

1094: $$

1095: \g^+_n(Q)\[J\Delta-JV(n-1,\l)\]=0.

1096: $$

1097: \endproclaim

1098: \demo\nofrills{Proof.\usualspace} The equation $V(n-1)\g_{n-1}=\g_{n}$ can 

1099: be written as $\g_{n-1}= V^{-1}(n-1)\g_n$, where

1100: $$

1101: V^{-1}(n-1)={1\over \sqrt{R_{n-1}}}\[\matrix \l^{-1} & - \psi_{n-1}\\

1102:                                             -\psib_{n-1} & \l \endmatrix \];

1103: $$

1104: or, in coordinates,

1105: $$

1106: \align

1107: g_{n-1}^1&={1\over \sqrt{R_{n-1}}}(\l^{-1} g_n^1 - \psi_{n-1} g_n^2),\\

1108: g_{n-1}^2&={1\over \sqrt{R_{n-1}}}(-\psib_{n-1} g_n^1 +\l g_n^2).

1109: \endalign

1110: $$

1111: We can also rewrite it in the form

1112: $$

1113: (g_n^1,g_n^2)\(\[\matrix 0 & \Delta \\

1114:                   -\Delta & 0  \endmatrix\] - {1\over \sqrt{R_{n-1}}} 

1115: \[\matrix \psib_{n-1} & \l^{-1} \\

1116:   -\l & -\psi_{n-1} \endmatrix \] \) =0.

1117: $$

1118: This is exactly the stated identity.

1119: \qed

1120: \enddemo

1121: 

1122: We need the standard formula \cite{KP} for variations of the quasi-momentum.

1123: 

1124: \proclaim{Lemma 3} i. The expression $\g^+_n(Q)J\g_n(Q)$ does not depend on n and

1125: $$

1126: \g^+_n(Q)J\g_n(Q)=< \g^+J \g> =\Psi(Q).

1127: $$

1128: 

1129: ii. The following  identity holds

1130: $$

1131: \d p \Psi (Q)= <\g^+_n J \d V(n-1) \g_{n-1}>.

1132: $$

1133: \endproclaim

1134: \demo\nofrills{Proof.\usualspace} i. Can be checked using difference equation 

1135: for 

1136: $\g_n(Q)$ and $\g_n^+(Q)$. 

1137: 

1138: ii. Denote by $\tilde{V}(n,\l)$ and $\gt_n(\l)$ deformed matrix $V(n,\l)$ and 

1139: the Floquet solution $\g_n(\l)$; to wit,

1140: $

1141: \tilde{V}=V +\epsilon \delta V +o(\epsilon)$ and  $\gt=\g + \epsilon \delta 

1142: \g + o(\epsilon)$.  Then,

1143: $$

1144: \g_n^+(Q)\[(J\Delta -J\tilde{V}(n-1,\l))\gt_{n-1}(Q)\]=0,

1145: $$

1146: $$

1147: \[\g_n^+(Q)(J\Delta -JV(n-1,\l))\]\gt_{n-1}(Q)=0.

1148: $$

1149: Subtracting, we obtain

1150: $$

1151: \align

1152: \sum\limits_{n=0}^{N-1}& \g_n^+(J\Delta \gt_{n-1}) -(\g_n^+ J\Delta) \gt_{n-1}\\

1153: &=\sum\limits_{n=0}^{N-1}\g_n^+\(J\tilde{V}(n-1) \gt_{n-1} \)-\(\g_n^+ J V(n-1)\)\gt_{n-1}.

1154: \endalign

1155: $$

1156: It is easy to see, that

1157: $$

1158: \text{RHS}= \epsilon \sum\limits_{n=0}^{N-1} \g_n^+ J \d V(n-1) \g_{n-1} + 

1159: o(\epsilon).

1160: $$

1161: Using the formula

1162: $$

1163: \sum\limits_{n=0}^{N-1} (\g_n^+ J\Delta \g) \gt_{n-1}= \sum\limits_{n=0}^{N-1} 

1164: \g_n^+ (J\Delta\gt_{n-1}) + \g_{-1}^+ J \gt_{-1} - \g_{N-1}^+ J \gt_{N-1},

1165: $$

1166: we obtain

1167: $$

1168: \text{LHS}=\g_{N-1}^+ J\gt_{N-1} - \g_{-1}^+J \gt_{-1}.

1169: $$

1170: From the definition of the Floquet solution 

1171: $$

1172: \g_{N-1}^+= e^{-Np}\g_{-1}^+\quad \text{and}\quad 

1173: \gt_{N-1}=e^{N\tilde{p}}\gt_{-1},

1174: $$

1175: we have 

1176: $$

1177: \text{LHS}= \(e^{N(\tilde{p}- p)}-1\) \g_{-1}^+J \gt_{-1}=\epsilon N \d p \g_{-1}^+ 

1178: J \g_{-1} + o(\epsilon).

1179: $$

1180: Collecting terems with $\epsilon$,  we obtain the stated identity

1181: \qed

1182: \enddemo

1183: 

1184: Let us introduce $\g^*_n(Q)$, the dual Floquet solution normalized by the 

1185: condition $<\g^*J\g>=1$. Obviously,

1186: $$

1187: \g_n^*(Q)={\g^+_n(Q)\over \Psi(Q)};

1188: $$

1189: $\g_n^*(Q)$ has poles at the branch points of the curve.

1190: 

1191: 

1192: 

1193: \subhead 7. Hamiltonian formalism for the Ablowitz-Ladik system\endsubhead

1194: As  shown in \cite{KP}, the formula

1195: $$

1196: \omega_0={i\over 2} 

1197: \sum \res {1\over \Psi(Q)}<\g^+(n)J\delta V(n-1)\wedge \delta\g(n-1)> {d \l\over 

1198: \l}.

1199: $$

1200: defines a closed, nondegenerate 2 form on the space of operators $\Delta- V_2$ with 

1201: periodic potential. Our goal to compute the residue {\it explicitly}.

1202: 

1203: Near $P_0^+$,  

1204: $$

1205: {1\over \Psi(Q)}= \psi_0 + \psi_1 \l^1 + \cdots, 

1206: \quad\quad\quad \quad \quad  \; Q\in (P_0^+). \tag1

1207: $$

1208: The identity

1209: $$

1210: \align

1211: \Psi(\tau_{\pm}Q)=<\g^+(\tau_{\pm} Q) J \g(\tau_{\pm} Q)> & = 

1212: <\g^T( Q) J \g^+( Q)^T>\\

1213: & =- <\g^{+}( Q) J \g(Q)>= -\Psi(Q)

1214: \endalign

1215: $$

1216: implies

1217: $$

1218: {1\over \Psi(Q)}= -\psi_0 - \psi_1 \l^1  - \cdots, \quad\quad\quad\quad\quad 

1219: \; Q\in (P_0^-). \tag2

1220: $$

1221: The involution $\tau_a$ maps $P^{+/-}_{\infty}$ to $P^{+/-}_0$, 

1222: and $\g_n(\tau_a Q)=\sigma_1 \bar{\g}_n(Q)$. Therefore, using $\tau_{\pm} 

1223: \tau_{a}= \tau_{a}\tau_{\pm}$, we have

1224: $$\align

1225: \Psi(\tau_aQ)&=\g^T(\tau_{\pm}\tau_a Q) J \g (\tau_a Q)= 

1226: \g^T(\tau_a\tau_{\pm} Q) J \g (\tau_a Q)\\

1227: & =\bar{\g}^T(\tau_{\pm} Q) \sigma^T_1 J\sigma_1\bar{\g} (Q)= 

1228: -\overline{\Psi(Q)}

1229: \endalign

1230: $$

1231: so that, if $Q\in (P_{\infty}^+)$, then $\tau_a Q \in (P_0^+)$ and 

1232: $$

1233: \aligned

1234: {1\over \Psi(Q)}&=-\overline{{1\over \Psi(\tau_a Q)}}

1235: =-\overline{\(\psi_0 + 

1236: {\psi_1 \over \bar{\l}^1} + \cdots\) }\\ 

1237: &=-\psib_0 -{\psib_1\over \l^1}- \cdots, 

1238: \quad\quad\quad \quad \quad \quad  \; Q\in (P_{\infty}^+). \endaligned \tag3

1239: $$

1240: Again, applying $\tau_{\pm}$, we have 

1241: $$

1242: {1\over \Psi(Q)}=\psib_0 +{\psib_1\over \l^1}+ \cdots,

1243: \quad\quad\quad \quad \quad \quad  \; Q\in (P_{\infty}^-).  \tag4

1244: $$

1245: It is easy to compute

1246: $$

1247: \align

1248: \psi_0&=<\gh^{-T}_0 J \gh_0^+>=1\\

1249: \psi_1&=<\gh_0^{-T}J\gh_1^{+}> + <\gh_1^{-T}J\gh_0^{+}>= \psib_0-\psi_{-1}, \quad etc.

1250: \endalign

1251: $$

1252: 

1253: Similarly, introducing $S(Q)\equiv <\g_n^+(Q)J\d V(n-1)\wedge \d \g_{n-1}(Q)>$, we obtain

1254: $$

1255: S(\tau_a Q)=-\overline{S(Q)}. \tag5

1256: $$

1257: 

1258: One can show that, in the vicinity of the infinities:

1259: $$

1260: \align

1261: S(Q)&=c_0+c_1\l +\cdots, \quad \quad \quad Q\in(P_0^+),\\

1262: S(Q)&=d_0+{d_{-1}\over \l} +\cdots, \quad \quad \quad Q\in (P_{\infty}^{+});

1263: \endalign

1264: $$

1265: and

1266: 

1267: $$

1268: \align

1269: S(Q)&=a_0+a_1\l+\cdots \quad \quad \quad Q\in(P_0^-),\\

1270: S(Q)&=b_0+{b_{-1}\over \l}+\cdots \quad \quad \quad Q\in(P_{\infty}^-).

1271: \endalign

1272: $$

1273: (5) implies $d_{-k}=-\bar{c}_k$ and $b_{-k}=-\bar{a}_k$. 

1274: Computing residues,  we have 

1275: $$

1276: \align

1277: \underset{P_{\infty}^+}\to\res {S\over \Psi} {d\l\over \l} &= 

1278: \underset{P_{\infty}^+}\to\res \(d_0+\cdots\) \(-\psib_0 -\cdots\) 

1279: {d\l\over \l}= d_0 \psib_0,\\

1280: \underset{P_{\infty}^-}\to\res {S\over \Psi} {d\l\over \l} &= 

1281: \underset{P_{\infty}^-}\to\res \(b_0+\cdots\) \(\psib_0 +\cdots\) 

1282: {d\l\over \l}=-b_0 \psib_0,

1283: \endalign

1284: $$

1285: and

1286: $$

1287: \sum\limits_{P_{\infty}^{+/-}} \res {S\over \Psi} {d\l\over \l} =d_0-b_0.

1288: $$

1289: Similarly, 

1290: $$

1291: \align

1292: \underset{P_{0}^+}\to\res {S\over \Psi} {d\l\over \l} &=

1293: \underset{P_{0}^+}\to\res \(c_0+\cdots\) \(\psi_0 +\cdots\)

1294: {d\l\over \l}= c_0 \psi_0,\\

1295: \underset{P_{0}^-}\to\res {S\over \Psi} {d\l\over \l} &=

1296: \underset{P_{0}^-}\to\res \(a_0+\cdots\) \(-\psi_0 -\cdots\)

1297: {d\l\over \l}=-a_0 \psi_0,

1298: \endalign

1299: $$

1300: and

1301: $$

1302: \sum\limits_{P_{0}^{+/-}} \res {S\over \Psi} {d\l\over \l} =c_0-a_0=-\overline{(d_0-b_0)}.

1303: $$

1304: 

1305: Using the formulas for Floquet solutions from Lemma 1, we have

1306: $$

1307: \align

1308: b_0 =& \;\;\; <{\g_0^{+T}\over \sqrt{D_n}} J \d {\sigma_-\over 

1309: \sqrt{R_{n-1}}}\wedge \d 

1310: \sqrt{D_{n-1}}\g_0^-> \\

1311:  &+  <{\g_0^{+T}\over \sqrt{D_n}} J \d {\Psi_{n-1}\over 

1312: \sqrt{R_{n-1}}}\wedge \d \sqrt{D_{n-1}}\g_1^->\\

1313:  &+  <{\g_1^{+T}\over \sqrt{D_n}} J \d {\sigma_+\over \sqrt{R_{n-1}}}\wedge 

1314: \d \sqrt{D_{n-1}}\g_1^->\\

1315:  & +  <{\g_1^{+T}\over \sqrt{D_n}} J \d {\Psi_{n-1}\over \sqrt{R_{n-1}}}\wedge 

1316: \d \sqrt{D_{n-1}}\g_0^->\\

1317: =& \;\;\;  <{1\over \sqrt{D_n}} \d {1\over \sqrt{R_{n-1}}}\wedge \d \sqrt{D_{n-1}}>\\

1318: & - <{1\over \sqrt{D_n}} \d {\psib_{n-1}\over \sqrt{R_{n-1}}}\wedge \d \sqrt{D_{n-1}} 

1319: \psi_{n-1}>\\

1320: & + <{\psib_{n-1}\over \sqrt{D_n}} \d {1\over \sqrt{R_{n-1}}}\wedge \d \sqrt{D_{n-1}}

1321: \psi_{n-1}>\\

1322: & - <{\psib_{n-1} \over \sqrt{D_n}} \d {\Psi_{n-1}\over \sqrt{R_{n-1}}}\wedge \d \sqrt{D_{n-1}}>.

1323: \endalign

1324: $$

1325: After simple algebra,

1326: $$

1327: \therefore

1328: = {1\over 4} <{\d R_{n-1}\over R_{n-1}} \wedge {\d D_{n-1}\over D_{n-1}}> - 

1329: <{1\over R_{n-1}} \d \psib_{n-1}\wedge \d \psi_{n-1}>.

1330: $$

1331: Similarly,

1332: $$

1333: \align

1334: d_0 &= < \sqrt{D_n} \g^{-T}_0 J \d {\sigma_+\over \sqrt{R_{n-1}}}\wedge \d {\g_0^+\over 

1335: \sqrt{D_{n-1}}}>\\

1336: &= -{1\over 4} <{\d R_{n-1}\over R_{n-1}} \wedge {\d D_{n-1}\over D_{n-1}}>.

1337: \endalign

1338: $$

1339: Finally,

1340: $$

1341: \align

1342: \sum\limits_{P_{\infty}^{+/-}} \res {S\over \Psi} {d\l\over \l} &= 

1343: \;\; \; <{1\over R_{n-1}} \d \psib_{n-1} \wedge \d \psi_{n-1}> - 

1344: {1\over 2}<{\d R_{n-1}\over R_{n-1}}\wedge {\d D_{n-1}\over D_{n-1}}>\\

1345: \sum\limits_{P_{0}^{+/-}} \res {S\over \Psi} {d\l\over \l} &= 

1346: - <{1\over R_{n-1}} \d \psi_{n-1} \wedge \d \psib_{n-1}> + {1\over 2} <{\d R_{n-1}\over 

1347: R_{n-1}}\wedge {\d D_{n-1}\over D_{n-1}}>.

1348: \endalign

1349: $$

1350: Taking the sum, we obtain

1351: $$

1352: \omega_0=<{i\over R_{n-1}} \d \psib_{n-1}\wedge \d \psi_{n-1}>.

1353: $$

1354: 

1355: 

1356: 

1357: 

1358: 

1359: 

1360: \proclaim{Lemma 5} (i) The formula

1361: $$

1362: \xi_n(Q)=\l^n<\g^* J\d V \wedge \d \g> {d \l\over \l}

1363: $$

1364: $n=\hdots,-1,0,1,\hdots,$ defines meromorphic in $Q$ differential form on $\Gamma$ with poles

1365: at $\gamma_1,\cdots, \gamma_{2N}$ and $P_{\infty}^{+/-}, P_{0}^{+/-}$.

1366: 

1367: (ii) The symplectic 2-forms defined by the formula

1368: $$

1369: \omega_n= {i\over 2}\sum\limits_{P} \res \xi_n(Q)

1370: $$

1371: can be written as

1372: $$

1373: \omega_n= -{i\over 2} \sum\limits_{k=1}^{2N} \l^n(\gamma_k)  

1374: \d p(\gamma_k) \wedge {\d \l\over \l}  (\gamma_k).

1375: $$

1376: \endproclaim

1377: \demo\nofrills{Proof.\usualspace} (i) The poles of $\g_n^{*}$ at the branch points 

1378: $(\l^{\pm},0)$ are killed by the zeros of $d\l$. The rest are just 

1379: $\gamma_1,\cdots, \gamma_{2N}$ and $P_{\infty}^{+/-}$ and $P_{0}^{+/-}$. 

1380: 

1381: (ii) By Cauchy's theorem, 

1382: $$

1383: \sum\limits_{P} \res \xi_n(Q) + \sum\limits_{k=1}^{2N} \res \xi_n(Q)=0.

1384: $$

1385: Near $\gamma_k$,

1386: $$

1387: \g_n={\res \g_n\over \l-\l(\gamma_k)} +O(1).

1388: $$

1389: Therefore,

1390: $$

1391: \d \g_n(Q)= {\res \g_n\over (\l-\l(\gamma_k))^2} \d\l(\gamma_k) +O(1)=

1392: {\g_n\over \l-\l(\gamma_k)} \d\l(\gamma_k) +O(1).

1393: $$

1394: Note that $\g^*_n(\gamma_k)=0$ and,  using Lemma 3,  

1395: $$

1396: \underset{\gamma_k}\to\res \xi_n(Q)=\l^n<\g^*J\d V \g>\wedge {\d\l\over \l}

1397: (\gamma_k) \underset{\gamma_k}\to\res {d\l\over \l-\l(\gamma_k)}= 

1398: \l^n(\gamma_k) \d p(\gamma_k) \wedge {\d \l\over \l} (\gamma_k).

1399: $$

1400: We are done.

1401: \qed

1402: \enddemo

1403: 

1404: The bracket $\{\bullet,\bullet\}_{\omega_0}$ is constructed from the symplectic 

1405: form $\omega_0$

1406: $$

1407: \{f,g\}_{\omega_0}\equiv i\sum\limits_{n=1}^{N} R_n\( 

1408: {\d f\over \d \psi_n} {\d g\over \d \psib_n}-  

1409: {\d f\over \d \psib_n} {\d g\over \d \psi_n}\).

1410: $$

1411: The original AL flow from section 2 can be written 

1412: $$

1413: \overset\bullet\to\psi_n=\{ \psi_n, H\}_{\omega_0}, \quad \quad \quad H

1414: %=\sum \psi_n \psib_{n+1} + \psi_{n} \psib_{n-1} + 2 R_n 

1415: = N\( I_2 + \overline{I}_2 - 2 I_0 - 2\overline{I}_0\).

1416: $$

1417: The phase flow is also Hamiltonian

1418: $$

1419: \overset\bullet\to\psi_n=\{ \psi_n, P\}_{\omega_0}, \quad \quad \quad P=

1420: N(I_0+ \overline{I}_0). 

1421: $$

1422: 

1423: 

1424: 

1425: 

1426: \subhead 8. Embedding of the AL system into the function space\endsubhead

1427: First, we introduce   interpolating trigonometrical polynomials.  

1428: 

1429: Let $f(x)$ be a smooth 1-periodic complex function and  

1430: associate to it  the sequence of interpolating trigonometrical  polynomials  

1431: $$

1432: f_N(x)=\sum_{|k|\leq m} e^{2\pi i k} \hat{f}_N(k),\quad \quad \quad  

1433: N=2m+1,\;\; m=1,2\hdots.

1434: $$ 

1435: These have the property that $f_N(x)= f({x})$ for 

1436: $x\in \T_N=\{x\in\T: x={n\over N},\; n=0,\hdots, N-1\}$. Let $\M_N$ 

1437: be a space of  such trigonometric polynomials of degree $m$; it is in  

1438: one-to-one correspondence with the space $M_N$ of 

1439: N-periodic complex sequences: 

1440: $$

1441: f_N (x) \longleftrightarrow f_n, \quad  

1442: f_N (x) \in \M_N, f_n \in M_N\quad  $$

1443: if we put $ \epsilon f_N({n\over N})=f_n, \;\; n=0,\hdots, N-1.$

1444: 

1445: Introduce $\H_1^N(\psi)\equiv H_1^N(\epsilon \psi)$. The region    

1446: $$

1447: \B^N=\{ \psi_N\in \M_N:\; N\H_1^N(t \psi)<\infty, \;\;\text{for all} \;\; 

1448: 0\leq t\leq 1\}

1449: $$

1450: is called the "box" of the space $\M_N$; the trigonometric 

1451: polynomial $\psi_N$ belongs $\B^N$ if and only if $|\psi_N(x)|<N, \;x \in \T_N  $.  

1452: The map $\psi_N(x) \leftrightarrow \psi_n$ allows us to define the  

1453: flow $e^{t\X_3^N}$ on  $\B^N$ by the formula  

1454: $$

1455: e^{t\X_3^N}\psi_N\equiv \epsilon^{-1}e^{\theta X_3^N} \epsilon \psi_N,\quad \quad 

1456: \quad \theta=\epsilon^{-2}t.

1457: $$

1458: Evidently  $\B^N$ is invariant under the flow $^{t\X_3^N}$. Due to the 

1459: natural embedding $\M_N\subset \M$,  the dynamics $e^{t\X_3^N}$ also can be 

1460: defined by the formula $e^{t\X_3^N}\psi\equiv e^{t\X_3^N}\psi_N$ for any 

1461: function $\psi\in \M$ which satisfies the inequality 

1462: $|\psi(x)|< N,\; x\in \T_N$. 

1463: 

1464: We  define  on $\M_N$ the volume form 

1465: $$

1466: d\,vol^N\equiv  {1\over N! \D_N(\psi)} \underset{x\in \T_N}\to\bigwedge 

1467: i\d\psi(x) \wedge \d \psib(x),

1468: $$

1469: where $\D_N(\psi)\equiv D_N(\epsilon \psi)$ and the functional 

1470: $\H_5^N(\psi)$ is by definition $H_5^N(\epsilon\psi)$. The flow 

1471: $e^{\theta X_3}$ preserves both $H_3(\psi_n,\psib_n)$ and the volume form

1472: $$

1473: d\, \text{vol}= {1\over N! D_N}\, \underset{n}\to\bigwedge\,i 

1474: \d\psi_n\wedge\d \psib_n.

1475: $$

1476: \newpage

1477: 

1478: \noindent

1479: Therefore, the volume form $d\,vol^N= \epsilon^{- 2N}d\,\text{vol}$ and the 

1480: functional 

1481: $\H_5^N$ are  invariant under the flow $e^{t\X_3^N}$.

1482: The  finite measure $d \mu^N(\psi,\psib)$ on $\B^N$  with density

1483: $$

1484:  e^{-{N^5\over 2} \H_5^N(\psi)}d\, vol^N=

1485: e^{-{N^5\over 2}\H_5^N(\psi)} {1\over N! \D_N(\psi)} 

1486: \underset{x\in \T_N}\to\bigwedge i\d \psi(x)\wedge \d \psib(x)

1487: $$

1488: is also invariant under the flow $e^{t\X_3^N}$. 

1489: 

1490: 

1491: To ensure proper analytic control\footnote"*"{Similar cut-off was introduced in \cite{MCV2}.} we need to introduce  the function $h(x)$ (fig. 5) 

1492: \midinsert \epsfxsize=250pt

1493: \centerline{

1494: \epsfbox{fig518.eps}

1495: }

1496: \botcaption{fig. 5}

1497: \endcaption

1498: \endinsert

1499: \noindent

1500: and we define the invariant functional $\chi_K^N(\psi)\equiv h(N\H_1^N) 

1501: h(-N^3\H_3^N)$.  On the box $\B^N$ the probability measure  

1502: $d\mu^N_K(\psi,\psib)$ 

1503: $$

1504: {1\over \Xi_K^N} \chi_K^N(\psi) e^{-{N^5\over 2} \H_5^N(\psi)} d\, vol^N,

1505: $$

1506: where $\Xi_K^N$ is a normalisating factor\footnote"**"{The 

1507: precise definition of $\Xi_K^N$ and $\Xi_K$ will be given in Lemma 8.}.

1508: 

1509: Due to the  embedding $\M_N\subset \M$,  the measure $d\mu^N_K(\psi,\psib)$ 

1510: can be transfered to the whole of $\M$. We  define on $\M$ the probability 

1511: measure $d\mu_K(\psi,\psib)$ with the density 

1512: $$

1513: {1\over \Xi_K} \chi_K(\psi) e^{-{1\over 2} \H_5}d\, vol=

1514: {1\over \Xi_K} \chi_K(\psi) e^{-{1\over 2} \H_5} {1\over \infty!}

1515: \, \underset{x\in \T}\to\bigwedge\, i \d \psi(x) \wedge \d \psib(x),

1516: $$

1517: where $\chi_K(\psi)=h(\H_1)h(\H_3)$ and $\Xi_K$ is a normalisating factor.   

1518: 

1519: In order to prove  invariance of the measure $d\mu_K$, we use the method of 

1520: weak solutions introduced by McKean, \cite{MC}. 

1521: The measure $d\mu_K^N$ on the initial data 

1522: defines the measure $d \m^N_K$ in the space of paths 

1523: $C\([0,T]\rightarrow \M\)$ for  $T>0$. 

1524: All information about the measure $d\mu_K^N$ and the flow $e^{t\X_3^N}$ 

1525: is encoded now into the measure $d\m_K^N$.  The proof of invariance takes  

1526: three steps.

1527: 

1528: \noindent

1529: Step 1. The measures  $d\mu^N_K$ converge to 

1530: $d \mu_K$  weakly in $H^s,\; 

1531: 1\leq s<{3\over 2}$, as $N\rightarrow \infty$.  

1532: 

1533: \noindent

1534: Step 2. For any fixed $K$,  the family  $d\m_K^N,\; N=1,2\hdots$ 

1535: is tight and converges to  measure $d\m_K$. The stationary measure 

1536: $d\m_K$  for fixed $t$  has marginal distribution $d\mu_K$. 

1537: 

1538: \noindent

1539: Step 3. The measure  $d\m_K$ is supported on the solutions 

1540: of the NSL flow. 

1541: 

1542: All three steps will be completed in subsequent sections. 

1543: From the invariance of the measure $d\mu_K$, it is easy to infer the   

1544: invariance of the the desired Gibbs' state with the density  

1545: ${1\over \Xi} e^{-{1\over 2}\H_5} d\, vol$.

1546: 

1547: 

1548: \subhead 9. Convergence of AL Gibbs' state to the NLS Gibbs' state\endsubhead

1549: In the previous section,  we introduced the family of probability measures 

1550: $d\mu^N_K(\psi,\psib)$ on $\B^N\subset \M$ with the 

1551: densities\footnote"*"{To simplify notation, we omit the normalization 

1552: factors $\Xi$ for a moment.}

1553: $$

1554: \chi_K^N(\psi) e^{-{N^5\over 2} \H_5^N(\psi)}d\,  vol^N = \chi_K^N(\psi)

1555: e^{-{N^5\over 2} \H_5^N (\psi)} {1\over N!\,  \D_N(\psi)} \underset{x\in 

1556: \T_N}\to\bigwedge i\d\psi(x) \wedge \d \psib(x).

1557: $$

1558: We will show that $d\mu^N_K \rightarrow d\mu_K,\,\text{weakly in } \, H^s,\; 

1559: 1\leq s<{3\over 2}$,  as $N\rightarrow \infty$, where $d\mu_K(\psi,\psib)$ 

1560: has the density

1561: $$

1562: \chi_K(\psi) e^{-{1\over 2}\H_5(\psi)}d\, vol= \chi_K(\psi) 

1563: e^{-{1\over 2}\H_5(\psi)} 

1564: {1\over \infty!} \underset{x\in \T}\to\bigwedge i \d\psi(x)\wedge \d\psib(x).

1565: $$

1566: The cut-off in $K$ can be removed easily and $d\mu_K $ converges to  $d\mu$.

1567: 

1568: We  split the integral $H_5^N$ into a quadratic part $G^N(\psi)$ and  a

1569: nonlinear part $R^N(\psi)$.  Using the explicit expression for the integrals 

1570: $I$'s,  we have 

1571: $$

1572: \align

1573: H_5^N& (\psi_n)= G^N(\psi_n) + R^N(\psi_n)\\ 

1574: &       =\,\;  \sum(\psi_{n+1} \psib_{n-1} + \psib_{n+1} \psi_{n-1}) 

1575: - 4(\psi_n \psib_{n+1} + \psib_n \psi_{n+1}) + 6|\psi_n|^2\\

1576:        &\;\;  -\sum(\psi_{n+1}\psib_{n-1} + \psib_{n+1} \psi_{n-1}) |\psi_n|^2 

1577:        -{1\over 2} \sum (\psi_n\psib_{n-1})^2 + (\psib_n \psi_{n-1})^2 \\

1578: &\;\; - \sum 6|\psi_n|^2 + 12 N I_0.

1579: \endalign

1580: $$ 

1581: It is easy to check that 

1582: $$

1583: G^N(\psi_n)=\sum\limits_{n=0}^{N-1} |\psi_{n+1} -2 \psi_n + \psi_{n-1}|^2. 

1584: $$

1585: Introduce

1586: $$

1587: I^N(\psi_n)= \sum\limits_{n=0}^{N-1}|\psi_n|^2

1588: $$

1589: and also

1590: $$

1591: \G^N(\psi)=G^N(\psi_n),\quad \R^N(\psi)=R^N(\psi_n),

1592: \quad \I^N(\psi)=I^N(\psi_n),

1593: $$

1594: where $\psi_n=\epsilon \psi({n\over N})$. 

1595: With the new notations, 

1596: $$

1597: \align

1598: \chi_K^N(\psi) e^{-{N^5\over 2}\H^N_5(\psi)}  d\, & vol^N\\ 

1599:  =& \chi_K^N(\psi){1\over\D_N(\psi)}e^{-{1\over 2}

1600: \[-N\I^N(\psi)+N^5\R^N(\psi)\]}\\

1601: &\times  e^{-{1\over 2} \[ N^5 \G^N(\psi) + N\I^N(\psi)\]}\,  {1\over N!} 

1602: \underset{x \in \T_N}\to\bigwedge i \d\psi(x)\wedge \d \psib (x)\\ 

1603: \asymp & \chi_K^N(\psi){1\over \D_N(\psi)}e^{-{1\over 2} \W^N(\psi)}\times 

1604: d\gamma^N (\psi,\psib).

1605: \endalign

1606: $$

1607: Now we are ready to prove 

1608: \proclaim{Lemma 6} The family of Gaussian probability measures 

1609: $d\,\gamma^N(\psi,\psib)$ with the densities 

1610: $$

1611: e^{-{1\over 2} \[N^5\G^N(\psi)+ N\I^N(\psi)\] }{1\over N!}\underset{x \in 

1612: \T_N}\to\bigwedge i \d\psi(x)\wedge \d\psib(x)

1613: $$

1614: converges weakly in $H^s,\, s<{3\over 2}$, as $N\rightarrow \infty$,  to the 

1615: probability measure $d\gamma(\psi,\psib)$: 

1616: $$

1617: e^{-{1\over 2} \int |\psi''|^2 +|\psi|^2} {1\over \infty!} \underset{x \in \T}\to

1618: \bigwedge i \d\psi(x)\wedge\d\psib(x).

1619: $$

1620: \endproclaim  

1621: \demo\nofrills{Proof.\usualspace}

1622: For a smooth $\psi(x) =\sum\limits_{k} e^{2\pi i x k} 

1623: \hat{\psi}(k)$ and $N\rightarrow \infty$, 

1624: $$

1625: \align

1626: N^5  & \G^N  (\psi)   +N\I^N(\psi)\\ 

1627:  & = N^5 \epsilon^2\sum |\psi\(n+1/N\) - 

1628: 2\psi\(n/ N\) + \psi\(n-1/ N\)|^2 +N\epsilon^2\sum 

1629: |\psi\(n/N\)|^2\\

1630: & \approx N^3 \epsilon^4 \sum |\psi''\(n/ N\)|^2+\epsilon\sum |\psi\(n/ N\)|^2

1631: \rightarrow  \int\limits_{0}^{1} |\psi''(x)|^2 + |\psi(x)|^2 d\,x.

1632: \endalign

1633: $$ 

1634: This explains on a formal level, the convergence $d\, \gamma^N\rightarrow d\, 

1635: \gamma$.

1636:  

1637: To obtain the full proof, we write all measures in terms of Fourier 

1638: coefficients.  First we note that

1639: $$

1640: \int\limits_{0}^{1}|\psi''(x)|^2 +|\psi(x)|^2 dx=

1641: \sum\limits_{k} (16\pi^4 k^4 +1) |\hat{\psi}(k)|^2=\sum\limits_{k}

1642: \sigma^2(k)|\hat{\psi}(k)|^2.

1643: $$

1644: Using the identity 

1645: $$

1646: {1\over N}\sum\limits_{p=0}^{N-1} |\psi(n/N)|^2= 

1647: \sum\limits_{|k|\leq m} |\hat{\psi}_N(k)|^2,

1648: $$

1649: for $\psi \in H^1$,  we have 

1650: $$

1651: \align

1652: N^5  \G^N(\psi) +N \I^N(\psi) 

1653: &  = \sum\limits_{|k| \leq m}\[ N^4|e^{2\pi i k/N} - 2 

1654: + e^{-2\pi i k/N}|^2  + 1\] |\hat{\psi}_N(k)|^2\\

1655: & = \sum\limits_{|k| \leq m} 

1656: \sigma_N^2(k) |\hat{\psi}_N(k)|^2.

1657: \endalign

1658: $$

1659: Therefore,  the measures $d\, \gamma^N(\psi,\psib)$ can be written as

1660: \footnote"*"{The sign $\asymp$ means up to unessential constant real factor.}

1661: $$

1662: \asymp  e^{- {1\over 2} \sum\limits_{|k|\leq m} \sigma^2_N(k) 

1663: |\hat{\psi}(k)|^2} \underset{|k|\leq m}\to\bigwedge i\d \psih(k) 

1664: \wedge \d \psihb(k).

1665: $$

1666: Similarly,  for $d\gamma(\psi,\psib)$  

1667: $$

1668: \asymp  

1669: e^{-{1\over 2} \sum\limits_{k} \sigma^2(k) |\psih(k)|^2} 

1670: \underset{k}\to\bigwedge\;  i \d \psih(k) \wedge \d  \psihb(k).

1671: $$ 

1672: For any fixed $k$,   

1673: $$

1674: \sigma_N^2(k) = N^4|e^{2\pi i k/N} -2 + e^{-2\pi i k/N}|^2 + 1 

1675: \longrightarrow 16 \pi^4 k^4 +1 =\sigma^2(k),

1676: $$

1677: as $N\rightarrow \infty$, whence the convergence of measures  on 

1678: finite-dimentional subspaces generated by the Fourier harmonics.

1679: 

1680: To prove tightness of the measures $\gamma^N$,  we introduce a "brick" 

1681: $B_a\equiv\{\psi: |\psih(k)|\leq a_k,\;k \in \Z\}$, where $a_k\geq 0$. 

1682: A brick is compact in $H^s$ if and only if 

1683: $$

1684: \sum\limits_{k} (1+k^2)^s a_k^2 <  \infty.

1685: $$

1686: Let us estimate

1687: $$

1688: \align

1689: \gamma^N(B_a)= & \prod\limits_{|k|\leq m} {\sigma_N^2\over 2\pi} 

1690: \int\limits_{|\psih(k)|^2 \leq a_k^2} e^{-{\sigma_N^2\over 2}|\psih(k)|^2} 

1691: {i\over 2}\,  \d\psih(k)\wedge \d \psihb(k)\\

1692: =  & \prod\limits_{|k|\leq m} \[ 1- e^{-{\sigma_N^2(k)a_k^2\over 2}}\].

1693: \endalign

1694: $$

1695: The inequalities $(1-b_1)\times \hdots \times(1-b_n) \geq 1- b_1 -\hdots -b_n, 

1696: \; b_k\geq 0$,  and $e^{-x} \leq p\, ! x^{-p}, \, x \geq 0$,  imply

1697: $$

1698: \align

1699: \gamma^N(B_a)\geq &  1-\sum\limits_{|k|\leq m} 

1700: e^{-{\sigma_N^2(k) a_k^2\over 2}}\\

1701: \geq & 1- 2^p p\, ! \sum\limits_{|k|\leq m} {1\over \sigma_N^{2p} (k) a_k^{2p}}.

1702: \endalign

1703: $$ 

1704: Now we obtain an estimate for $\sigma_N^2(k)=4N^4(\cos{2\pi k\over N}-1)^2 +1, 

1705: \; |k|\leq m$. Obviously,

1706: $$

1707: a' x^4 \leq (\cos x -1)^2 \leq b' x^4\quad\quad \quad \text{for}\quad 

1708: -\pi \leq x \leq \pi.

1709: $$

1710: Therefore,

1711: $$

1712: ak^4 +1 \leq \sigma_N^2(k) \leq bk^4 +1.

1713: $$

1714: This,  together with 

1715: $$

1716: a_k^2={C\over (|k|+1)^\alpha},\quad\quad\quad C>0,

1717: $$

1718: implies

1719: $$

1720: \gamma^N(B_a)\geq  1 - {2^p p\,!\over C^p} \sum\limits_{k} {(|k|+1)^{\alpha p}

1721: \over (ak^4 +1)^p}.

1722: $$

1723: Pick any $s <  {3\over 2}$. Then $ 2s +1 <4$. Pick any $\alpha$ such that 

1724: $2s + 1<\alpha< 4$. Then the bricks  $B_a$ are  compact in $H^s$.  

1725: Now pick $p$  such that $(4-\alpha)p>1$. Then the sum in the last estimate  

1726: converges. Chose $C$  so large as  to make $\gamma^N(B_a)$ arbitrary 

1727: close to 1.

1728: \qed

1729: \enddemo

1730: 

1731: \proclaim{Lemma 7} (i). For any $\psi\in H^1$ the functionals

1732: $$

1733: \chi_K^N(\psi) {1\over \D_N(\psi)}e^{-{1\over 2} 

1734: \[- N \I^N(\psi) +N^5\R^N(\psi)\] } = \chi_K^N(\psi) {1\over \D_N(\psi)} 

1735: e^{-{1\over 2} \W^N(\psi)}

1736: $$

1737: converge  to

1738: $$

1739: \chi_K(\psi) e^{-{1\over 2}\int-|\psi|^2 +2 |\psi|^6 + 

1740: 6|\psi'|^2 |\psi|^2 +(\psib' 

1741: \psi + \psi' \psib)^2} = \chi_K(\psi) e^{-{1\over 2} \W(\psi)} <\sqrt {e},

1742: $$

1743: as $N\rightarrow \infty$.

1744: 

1745: (ii). 

1746: $$

1747: 1 \geq \D_N(\psi) \geq e^{-{K\over N}}

1748: $$

1749: and 

1750: $$

1751: \W^N(\psi) \geq - c_4(K),

1752: $$

1753: uniformly for all $N$, provided $N\H_1^N\leq K,\; -N^3\H_3^N \leq K$.

1754: \endproclaim

1755: \demo\nofrills{Proof.\usualspace} (i). The nonlinear term 

1756: $$

1757: \align

1758: R^N(\psi_n,\psib_n)= 

1759: &-\quad \sum(\psi_{n+1}\psib_{n-1} + \psib_{n+1} \psi_{n-1}) |\psi_n|^2\\

1760: &-{1\over 2} \sum (\psi_n\psib_{n-1})^2 + (\psib_n \psi_{n-1})^2 \\

1761: &- 6 \sum |\psi_n|^2 + 12 N I_0

1762: \endalign

1763: $$

1764: can be expressed as 

1765: $$

1766: \align

1767: R^N  (\psi_n, \psib_n)=&\;\;\\

1768: + & \sum \[(\psi_{n+1} -\psi_n)(\psib_n-\psib_{n-1}) + 

1769:        (\psib_{n+1} -\psib_n)(\psi_n-\psi_{n-1})\] |\psi_n|^2      \tag A \\

1770: -& \sum \[(\psi_{n+1} + \psi_{n-1}-2 \psi_n)\psib_n + 

1771:           (\psib_{n+1} + \psib_{n-1}-2 \psib_n)\psi_n\] |\psi_n|^2  \tag B \\

1772: -{1\over 2} &\sum \psi_n^2(\psib_{n-1} -\psib_{n})^2 + 

1773:                  \psib_n^2(\psi_{n-1} -\psi_{n})^2 \tag C\\

1774: -& \sum \psi^2_n \psib_n (\psib_{n-1}- \psib_n) + 

1775:            \psib^2_n \psi_n (\psi_{n-1}- \psi_n)   \tag D \\

1776: -3 & \sum |\psi_n|^4 - 6 \sum |\psi_n|^2 +12 N I_0.  \tag E

1777: \endalign

1778: $$

1779: As in  the continuous case, if one counts the difference of $\psi$'s in two  

1780: neighboring points $(\psi_{n+1}- \psi_{n})$ and the function $\psi_n$ itself 

1781: of weight 1, then the terms A, B and C are isobaric polynomials of degree 6. 

1782: The term D is isobaric polynomial of degree 5.

1783: 

1784: The term $A$ can be reduced to the form

1785: $$

1786: A(\psi_n,\psib_n) = \sum |\psi_{n+1} - \psi_{n-1}|^2 |\psi_n|^2 - 

1787: \sum \{ |\psi_{n+1} - \psi_n|^2 + |\psi_{n-1} - \psi_n|^2 \} |\psi_n|^2.

1788: $$

1789: We transform the terms  B and D to a more convinient form also: 

1790: $$\align

1791: B(\psi_n,\psib_n)=&  \sum(\psi_{n+1} - \psi_n)^2 \psib_n^2 + 

1792:                        (\psib_{n+1} - \psib_n)^2 \psi_n^2 \\

1793:   +  & \sum |\psi_{n+1} - \psi_n|^2 \[ \psi_{n+1}(\psib_n + \psib_{n+1}) +

1794:                                     \psib_{n+1}(\psi_n + \psi_{n+1})\] \\

1795: =& \sum \[ (\psi_{n+1} - \psi_n)\psib_n +(\psib_{n+1}- \psib_n) \psi_n \]^2 \\

1796: + & 2 \sum |\psi_{n+1} - \psi_{n}|^2 |\psi_{n+1}|^2\\

1797: + & \sum |\psi_{n+1}- \psi_n|^2 \[(\psi_{n+1}-\psi_n) \psib_{n} + (\psib_{n+1}- 

1798: \psib_n)\psi_n\]

1799: \endalign

1800: $$

1801: and

1802: $$\align

1803: D(\psi_n,\psib_n)={1\over 2} & \sum \psi_n^2(\psib_n -\psib_{n-1})^2 + 

1804: \psib_n^2(\psi_n-\psi_{n-1})^2\\

1805: + 2 & \sum |\psi_{n+1} - \psi_n|^2 |\psi_n|^2\\

1806: + {1\over 2}&  \sum |\psi_{n+1} - \psi_n|^2 \[ \psib_n(\psi_{n+1} - \psi_{n}) + 

1807: \psi_n(\psib_{n+1} - \psib_{n})\] \\

1808: -{1\over 2} &\sum |\psi_n|^2 \[|\psi_{n+1}-\psi_n|^2-|\psi_{n-1}-\psi_n|^2\].

1809: \endalign

1810: $$

1811: The first term in the formula is C with the opposite sign. Finally,

1812: $$

1813: \align

1814: R(\psi_n,\psib_n) =\quad \quad  & \\

1815: - 3  & \sum |\psi_n|^4 - 6 \sum |\psi_n|^2 +12 N I_0 \tag 1 \\ 

1816: + &   \sum  |\psi_{n+1} - \psi_{n-1}|^2 |\psi_n|^2 \tag 2 \\

1817: + {3\over 2} & \sum |\psi_{n-1} - \psi_n|^2 |\psi_n|^2 \tag 3 \\

1818: +{1\over 2} & \sum |\psi_{n+1} - \psi_n|^2 |\psi_n|^2 \tag 4 \\

1819: +& \sum \[(\psi_{n+1} - \psi_n) \psib_n + (\psib_{n+1} - \psib_n) \psi_n\]^2

1820: \tag 5\\

1821: +  {3\over 2}& \sum|\psi_{n+1}- \psi_n|^2 \[ \psib_n(\psi_{n+1} - \psi_n) +

1822: \psi_n(\psib_{n+1} - \psib_n)\] \tag 6         

1823: \endalign

1824: $$

1825: The advantage of such a representation is that the terms (1)-(5) are 

1826: nonnegative. The term  (6) is the only term which is not sign-definite. 

1827: This term vanishes when $N\rightarrow \infty$.

1828: Finally,  as $N\rightarrow \infty$

1829: $$

1830: \align

1831: & N^5 \R^N(\psi)\longrightarrow \int\limits_{0}^{1} 2|\psi|^6 + 6|\psi'|^2 

1832: |\psi|^2 + \(\psib'\psi + \psi' \psib\)^2,\\

1833: & N \I^N(\psi) \longrightarrow  \int\limits_{0}^{1} - |\psi|^2\\

1834: &\D_N(\psi)\longrightarrow 1.

1835: \endalign

1836: $$

1837: 

1838: (ii).  From the definition $H_1=N(I_0+\bar{I}_0)=-\log D$ we have 

1839: $

1840: \H_1^N (\psi)= -\log \D_N(\psi).

1841: $

1842: The inequality $N\H_1^N \leq K$ implies, that $1 \geq \D_N \geq 

1843: e^{-{K\over N}}$.

1844: 

1845: To obtain the lower bound for $R^N(\psi_n,\psib_n)$, we prove first  that 

1846: $$

1847: -3\sum |\psi_n|^4 - 6 \sum |\psi_n|^2 + 12 N I_0 \geq 2\sum |\psi_n|^6. \tag 7

1848: $$

1849: Indeed, for $0 < x < 1$

1850: $$

1851: -\log(1-x) \geq x + {x^2\over 2} + {x^3\over 3}.

1852: $$

1853: Then, 

1854: $$

1855: -6 \log (1-|\psi_n|^2) \geq 6 |\psi_n|^2 + 3 |\psi_n|^4 + 2|\psi_n|^6.

1856: $$

1857: This and $12NI_0= -6 \log \prod (1-|\psi_n|^2)$ imply the inequality (7). 

1858: Therefore, the term (1) is nonegative. 

1859: 

1860: We have just one term (6) which is not sign-definite

1861: $$

1862: {3\over 2}\sum |\psi_{n+1}- \psi_n|^2 \[ \psi_n \psib_{n+1} + 

1863: \psib_{n} \psi_{n+1} - 2 |\psi_n|^2\].

1864: $$

1865: Using the identity

1866: $$

1867: |\psi_{n+1}- \psi_n|^2 -|\psi_{n+1}|^2 - |\psi_n|^2 = \psi_{n+1} \psib_n + 

1868: \psib_{n+1} \psi_n 

1869: $$

1870: and adding to it the two positive terms (3) and (4), we have 

1871: $$

1872: \align

1873: {3\over 2}  & \sum |\psi_{n+1} -\psi_{n}|^2 \( \psi_n \psib_{n+1} + \psib_{n} 

1874: \psi_{n+1} - 2|\psi_n|^2\)\\

1875: + {3\over 2}& \sum |\psi_{n-1}- \psi_n|^2 |\psi_n|^2\\ 

1876: +  {1\over 2} & \sum |\psi_{n+1}-\psi_n|^2 |\psi_n|^2\\

1877:  \geq&  - 4\sum |\psi_{n+1} - \psi_n|^2 |\psi_n|^2.

1878: \endalign

1879: $$

1880: Therefore,

1881: $$

1882: R(\psi_n,\psib_n)\geq - 4 \sum |\psi_{n+1} - \psi_n|^2 |\psi_n|^2.

1883: $$

1884: and

1885: $$

1886: N^5 \R(\psi) \geq -4 \sum N |\psi({n+1/ N}) - \psi({n/ N})|^2 

1887: |\psi({n/ N})|^2.

1888: $$

1889: Now we use the constraint $-N\H_3^N \leq K$ and the explicit formula for $H_3$:

1890: $$

1891: -H_3^N(\psi_n,\psib_n)= \sum |\psi_{n+1} - \psi_n|^2 -2|\psi_n|^2 - 2\log(1-

1892: |\psi_n|^2).

1893: $$

1894: The estimate $-\log(1-x) \geq x +{x^2\over 2}$  for $0\leq x <1$ implies  

1895: $$

1896: -2 \log (1-|\psi_n|^2) \geq 2 |\psi_n|^2 + |\psi_n|^4.

1897: $$

1898: Therefore,

1899: $$

1900: -H_3^N(\psi_n,\psib_n)\geq \sum |\psi_{n+1} - \psi_n|^2 + |\psi_n|^4.

1901: $$

1902: Finally,

1903: $$

1904: K\geq -N^3 \H_3^N(\psi) \geq \sum N|\psi(n+1/N) - \psi(n/N)|^2 + N^{-1}

1905: |\psi(n/N)|^4.

1906: $$

1907: This inequality  also  provides the estimate for \linebreak 

1908: $\max |\psi(n/N)|$\footnote"*"{This is similar to the continuum case when 

1909: the $H^1$-norm provides a bound in the sup-norm.}. 

1910: Indeed, 

1911: $$

1912: {1\over N} \sum |\psi(n/N)|^4 \leq K ,

1913: $$

1914: implies that there exists $n''$ such that $|\psi(n''/N)|\leq K^{1/4}$. 

1915: Then,  for any $n'$, 

1916: $$

1917: \psi(n'/N) = \sum\limits_{n'\leq n < n''} \[ \psi(n+1/N) - \psi(n/N)\] 

1918: + \psi(n''/N)

1919: $$

1920: and,  by Schwartz's inquality,

1921: $$

1922: \align

1923: |\psi(n'/N)|& \leq \sum |\psi(n+1/N) - \psi(n/N)| {\sqrt{N}\over \sqrt{N}} 

1924: +|\psi(n''/N)|\\

1925: &\leq  \sqrt{\sum N |\psi(n+1/N) - \psi(n/N)|^2} + | \psi(n''/N)|\\

1926: & \leq c_2(K).

1927: \endalign

1928: $$

1929: Therefore,

1930: $$

1931: \align

1932: N^5 \R^N(\psi) & \geq - 4 \max |\psi(n/N)|^2 \sum N|\psi(n+1/N) - \psi(n/N)|^2\\

1933:              & \geq - 4 c_2^2(K) K = -c_3(K).

1934: \endalign

1935: $$

1936: Also,

1937: $$

1938: N\I^N(\psi)= \sum N^{-1} |\psi(n/N)|^2 \leq c^2_2(K).

1939: $$

1940: Finally,

1941: $$

1942: \W^N(\psi)=-N\I^N(\psi) +N^5 \R^N(\psi) \geq - c_2^2(K) - c_3(K)=-c_4(K).

1943: $$

1944: \qed

1945: \enddemo

1946: 

1947: \proclaim{Lemma 8} (i) The  probability measures 

1948: $$d\mu_K^N = {1\over \Xi_K^N} \chi_K^N(\psi) 

1949: {1\over \D_N(\psi)}e^{-{1\over 2} \W^N(\psi)}

1950: d\gamma^N(\psi,\psib),

1951: $$

1952: with

1953: $$

1954: \Xi_K^N\equiv \int\limits_{\M} \chi_K^N(\psi) {1\over \D_N(\psi)}

1955: e^{-{1\over 2} \W^N(\psi)} d\gamma^N(\psi,\psib)

1956: $$

1957: converge weakly in $H^s, 1\leq s < {3\over 2}$ as $N\rightarrow \infty$ to 

1958: the probability measure 

1959: $$d\mu_K={1\over \Xi_K} 

1960: \chi_K(\psi) e^{-{1\over 2}\W(\psi)} d\gamma(\psi,\psib),

1961: $$

1962: with 

1963: $$

1964: \Xi_K\equiv

1965: \int\limits_{\M}\chi_K(\psi) e^{-{1\over 2} \W(\psi)} d\gamma(\psi,\psib).

1966: $$

1967: 

1968: (ii). The measure $d\mu_K$ converges in $H^s,\; 1\leq s <{3\over 2}$ as 

1969: $K\rightarrow \infty$ to the probability measure 

1970: $$

1971: d\mu={1\over \Xi} e^{-{1\over 2} \W(\psi)} d\gamma(\psi,\psib),

1972: $$ 

1973: with

1974: $$

1975: \Xi\equiv \int\limits_{\M} e^{-{1\over 2} \W(\psi)} d\gamma (\psi,\psib).

1976: $$

1977: 

1978: \endproclaim

1979: \demo\nofrills{Proof.\usualspace} (i). Take $\M=H^s\times H^s,\; 

1980: 1\leq s \leq {3\over 2}$ and $f$ bounded  and continuous. We will prove 

1981: that 

1982: $$

1983: \int\limits_{\M} f \chi_K^N {1\over \D_N(\psi)}\,  e^{-{1\over 2} \W^N(\psi)} 

1984: d\gamma^N(\psi,\psib) \longrightarrow \int\limits_{\M} f \chi_K e^{-{1\over 2}

1985: \W} d\gamma(\psi,\psib), \tag 8

1986: $$

1987: as $N\rightarrow \infty$. 

1988: This implies that $\Xi_K^N\rightarrow \Xi_K$ as $N\rightarrow \infty$. 

1989: Then,  from (8), we have  

1990: $$

1991: \align

1992: \int f \, d\mu_K^N= & {1\over \Xi_K^N}\int f\, \chi_K^N {1\over \D_N(\psi)}

1993: e^{-{1\over 2}\W^N} d\gamma^N(\psi,\psib)\\ 

1994: & \longrightarrow {1\over \Xi_K} \int f\chi_K e^{-{1\over 2}\W} d \gamma(\psi,\psib)\times 

1995: {\Xi_K\over \Xi_K^N} = 

1996: \int f d\mu_K \times {\Xi_K\over \Xi_K^N},

1997: \endalign

1998: $$ 

1999: as $N\rightarrow \infty$  and weak convergence is proved. 

2000: 

2001: To begin with,

2002: $$

2003: \align

2004:  \int f \chi_K^N & {1\over \D_N(\psi)} e^{-{1\over 2} \W^N(\psi)} 

2005: d\gamma^N(\psi,\psib)\\

2006: &=\int f\( {1\over \D_N(\psi)} -1\) \chi_K^N e^{-{1\over 2}\W^N} d\gamma^N + 

2007: \int f \chi_K^N e^{-{1\over 2}\W^N} d\gamma^N(\psi,\psib).

2008: \endalign

2009: $$

2010: The first term can be estimated using the inequality of Lemma 8, item  (ii):

2011: $$

2012: \therefore\; \leq  \|f\|_{\infty}\,  e^{{1\over 2}c_4(K)} \int\limits_{\M} 

2013: \left|{1\over \D_N(\psi)} -1\right|\chi_K^N d\gamma^N(\psi, \psib) = o(1),

2014: $$

2015: as $N\rightarrow \infty$. As to  the second term,  

2016: $$

2017: \align

2018:   \int f \chi_K^N e^{- {1\over 2}\W^N} d\gamma^N(\psi,\psib)

2019:  =& \int f \chi_K e^{-{1\over 2} \W} d\gamma^N(\psi,\psib)  \\

2020:  +& \int f \chi_K^N \(e^{-{1\over 2}\W^N} - e^{-{1\over 2} \W}\) 

2021:      d\gamma^N(\psi,\psib) \tag 9  \\

2022: +& \int f \(\chi_K^N -\chi_K\) e^{-{1\over 2}\W} d\gamma^N(\psi,\psib). \tag 10

2023: \endalign

2024: $$ 

2025: The first integral on the right  converges to 

2026: $$

2027: \int f \chi_K e^{-{1\over 2} \W} d \gamma(\psi,\psib). 

2028: $$

2029: The other two integrals vanish as $N\rightarrow \infty$. 

2030: Indeed,  (9) can be overestimated by  

2031: $$

2032: {\|f\|_{\infty}\over 2} e^{{c_4(K)\over 2}} \int \chi_K^N |\W^N - 

2033: \W| d\, \gamma^N(\psi, \psib). \tag 11

2034: $$

2035: Using the explicit expressions for $\W^N$ and $\W$, we have 

2036: $$

2037: \align

2038: \W^N -  \W & = \\

2039: - &  \sum N^{-1} |\psi({n/N})|^2 + \int |\psi|^2 dx \tag 12\\

2040:  - 3& \sum N |\psi({n/N})|^4 - 6\sum N^{3} 

2041: |\psi({n/ N})|^2 + 12N^6 \I_0(\psi) - 2\int  |\psi|^6dx \tag 13\\

2042: + &  \sum N|\psi(n+1/N) - \psi(n-1/N)|^2 |\psi(n/N)|^2 - 4 \int 

2043: |\psi'|^2|\psi|^2 dx \tag 14\\

2044:  + {3\over 2}&  \sum N |\psi(n-1/N) -\psi(n/N)|^2 |\psi(n/N)|^2 - {3\over 2} 

2045: \int |\psi'|^2 |\psi|^2 dx \tag 15\\

2046: +{1\over 2}&\sum N|\psi(n+1/N) - \psi(n/N)|^2 |\psi(n/N)|^2 - {1\over 2} \int 

2047: |\psi'|^2 |\psi|^2 dx \tag 16 \\ 

2048: + & \sum N [ (\psi(n+1/N) - \psi(n/N)) \psib(n/N) + \tag 17 \\

2049: &+ (\psib(n+1/N)-\psib(n/N))\psi(n/N)]^2-\int[\psi'\psib+\psib\psi']^2 dx \\  

2050: + {3\over 2} &  \sum N |\psi(n+1/N) - \psi(n/N)|^2 [\psib(n/N)(\psi(n+1/N) - 

2051: \psi(n/N)) + \tag 18 \\

2052: & + \psi(n/N)(\psib(n+1/N) - \psib(n/N))]. 

2053: \endalign 

2054: $$

2055: Here, each term contributes nothing  when $N\rightarrow \infty$; for example, 

2056: substituting (12) into (11):

2057: $$

2058: \align

2059: \leq & \int_{\M} \left|\sum N^{-1} |\psi(n/N)|^2 - \sum\int_{n/N}^{n+1/N} 

2060: |\psi|^2 d x\right|d\gamma^N(\psi,\psib)\\

2061: \leq & \sum\int_{\M}\left| N^{-1}|\psi(n/N)|^2 - \int_{n/N}^{n+1/N} |\psi|^2 dx 

2062: \right| d\gamma^N(\psi,\psib)\\

2063: \leq & N\int_{\M} \left |\int_{0}^{1/N} |\psi(x)|^2 -|\psi(0)|^2 

2064: dx \right |d\gamma^N(\psi,\psib)\\

2065: \leq & N\int\limits_{0}^{1/N} \int_{\M} \left| |\psi(x)|^2 - |\psi(0)|^2

2066: \right| d\gamma^N 

2067: (\psi,\psib) dx.

2068: \endalign

2069: $$

2070: Now, by Schwartz, for $ 0 \leq |x| \leq {1/N}$, we have  

2071: $$

2072: \align

2073: \(\int_{\M} \left| |\psi(x)|^2-|\psi(0)|^2\right|d\gamma^N\)^2 

2074: \leq & \int_{\M} \(|\psi(x)|^2 - |\psi(0)|^2\)^2 d\gamma^N\\

2075: = & \int_{\M} |\psi(x)|^4-2|\psi(x)|^2|\psi(0)|^2 + |\psi(0)|^4 

2076: d\gamma^N \\

2077: =& 2\int_{\M} |\psi(0)|^4 - |\psi(x)|^2 |\psi(0)|^2 d\gamma^N

2078: \endalign

2079: $$

2080: The stationary Gaussian measure $d\gamma^N$ has the spectral representation  

2081: $$

2082: \psi_N(x)= \sum \Sb |k| \leq m \endSb e^{2\pi i k x} \hat{\psi}(k)

2083: $$

2084: where $\hat{\psi}$ are complex isotropic  Gaussian variables 

2085: $E^N|\hat{\psi}(k)|^2 = \sigma_N^{-2}(k)$.   Now 

2086: $$

2087: |\psi(0)|^2 |\psi(x)|^2 = \sum \Sb k_1,k_2\\ k_3, k_4 \endSb 

2088: e^{2\pi i x (k_1- k_2)} \hat{\psi}(k_1) \overline {\hat{\psi}}(k_2) 

2089: \hat{\psi}(k_3) \overline{\hat{\psi}}(k_4).

2090: $$

2091: The terms in the last sum  contributing into the expectation $E^N$ are 

2092: $$

2093: \xalignat 3

2094: k_1& = k_2    &   k_1& =k_4    &  k_1& =k_2=k_3=k_4.\\

2095: k_3& = k_4    &   k_3& =k_2    & \\

2096: k_1&\neq k_3  &   k_1&\neq k_3

2097: \endxalignat

2098: $$ 

2099: Now 

2100: $$

2101: \multline

2102: E^N  |\psi(0)|^2 |\psi(x)|^2 = \sum \Sb k_1\neq k_3 \endSb 

2103: E^N|\psih(k_1)|^2 E^N|\psih(k_3)|^2\\  

2104: +  \sum \Sb  k_1\neq k_2 \endSb e^{2\pi i x(k_1-k_2)} 

2105: E^N|\psih(k_1)|^2 

2106: E^N|\psih(k_2)|^2 + \sum \Sb k_1 \endSb E^N|\psih(k_1)|^4,

2107: \endmultline

2108: $$

2109: So,

2110: $$

2111: \align

2112: E^N|\psi(0)|^4 -  E^N & |\psi(x)|^2 |\psi(0)|^2\\

2113: & =\sum \Sb k_1 \neq k_2 \endSb \[ 1- e^{2\pi i x(k_1-k_2)}\] 

2114: E^N|\psih(k_1)|^2 E^N|\psih(k_2)|^2 \\

2115: & =\sum \Sb |k_i| \leq m \endSb  |1- e^{2\pi i x(k_1-k_2)}| 

2116: \sigma_N^{-2}(k_1) \sigma_N^{-2}(k_2).

2117: \endalign

2118: $$

2119: Using the estimate $a k^4 + 1 \leq \sigma_N^2(k)$ of Lemma 7, uniformly in 

2120: $0\leq x \leq 1/N$, the last sum can be overestimated as

2121: $$

2122: \therefore\; \leq \sum \Sb k_i \in \, \Z^1 \endSb 

2123: \left |1- e^{2\pi i x(k_1- k_2)}\right| 

2124: {1\over ak_1^4 + 1} {1\over ak_2^4 +1}= o(1),

2125: $$

2126: as $N\rightarrow \infty$. This implies that the term (12) contributes nothing  

2127: when $N\rightarrow \infty$.

2128: 

2129: To estimate the contribution of (13),  expand the $\log$ in $\I_0$: 

2130: $$

2131: \align

2132: 12N^6\I_0(\psi)=&-6N^5\log\prod(1-N^{-2}|\psi(n/N)|^2)\\

2133:   =& 6N^5[ N^{-2} |\psi(n/N)|^2 + {N^{-4}\over 2}|\psi(n/N)|^4 

2134: +{N^{-6}\over 3} |\psi(n/N)|^6\\ 

2135: +& {f^{(iv)}\over 4!}N^{-8} |\psi(n/N)|^8 ]

2136: \endalign

2137: $$

2138: where $f(x) = -\log(1-x)$ and the fourth derivative $f^{(iv)}= 3!(1-x)^{-4}$ 

2139: in the remainder term is bounded since $|\psi(n/N)|\leq c_2(K)$ and 

2140: $N^{-2}|\psi(n/N)|^2\leq \theta < 1$. 

2141: 

2142: Now for  (13), we have 

2143: $$

2144: 2\sum N^{-1} |\psi(n/N)|^6 - 2\int\limits_{0}^{1} |\psi|^6 dx

2145: +  {6\over 4!} N^{-3} \sum f^{(iv)} |\psi(n/N)|^6.

2146: $$

2147: The part with the the fourth derivative can be overestimated by 

2148: $$

2149: \therefore\; \leq {6\over 4!}N^{-3} {3!\over (1-\theta)^4} c_2^6(K) N 

2150: =o(1),

2151: $$

2152: as $N\rightarrow \infty$.  

2153: The contribution to (11) of  first two terms can be overestimated by

2154: $$

2155: \align

2156: \therefore &\leq 2 \left|\int_{\M} \sum N^{-1} |\psi(n/N)|^6 - 

2157: \int_{n/N}^{n+1/N} |\psi|^6 dx \right | d\gamma^N\\

2158: & \leq 2 N \int_{0}^{1/N} \int_{\M}\left||\psi(x)|^6-|\psi(0)|^6\right|  

2159: d\gamma^N  dx. 

2160: \endalign

2161: $$

2162: Again, by Schwarz,  

2163: $$

2164: \align

2165: & \(\int_{\M}\left| |\psi(x)|^6 - |\psi(0)|^6\right| d \gamma^N\)^2\\

2166: \leq 2 & \int_{\M} |\psi(0)|^{12} - |\psi(0)|^6 |\psi(x)|^6 d\gamma^N = o(1),

2167: \endalign

2168: $$

2169: as $N\rightarrow \infty$,  uniformly in $0\le x < 1/N$. This implies that  the 

2170: term (13) makes no contribution when $N\rightarrow \infty$. The estimation 

2171: of  (14-18) is similar. 

2172: 

2173: (10) can be overestimated  by 

2174: $$

2175: \|f\|_{\infty} \int |\chi_K^N-\chi_K|d\gamma^N. \tag 19

2176: $$

2177: Now, we have

2178: $$

2179: \chi_K^N-\chi_K= \[h(N\H_1^N)- h(\H_1)\] h(-N^3\H_3^N) 

2180:                 +\[h(-N\H_3^N) -h(\H_3)\] h(\H_1). 

2181: $$

2182: Therefore, (19) can be overestimated by 

2183: $$

2184: \align

2185: \therefore\;\leq& \|f\|_{\infty}\int|h(N\H_1^N)-h(\H_1)|h(-N^3\H_3^N)d\gamma^N

2186: \tag 20\\

2187: + & \|f\|_{\infty} \int | h(-N^3\H_3^N) - h(\H_3)|h(\H_1) d\gamma^N. \tag 21

2188: \endalign

2189: $$

2190: To estimate (20) we note that $|\psi(n/N)|\leq c_2(K)$  on the \break 

2191: support of $h(-N^3\H^N_3)$ and that  

2192: $$

2193: \align

2194: N\H_1^N& = -N\log \prod (1-N^{-2}|\psi(n/N)|^2)\\

2195:         &=N^{-1}\sum |\psi(n/N)|^2 

2196: +{N^{-3}\over 2!} \sum f^{(ii)} |\psi(n/N)|^4.

2197: \endalign

2198: $$

2199: Therefore,

2200: $$

2201: \align

2202: (20)  \leq \|f\|_{\infty} \|h'\|_{\infty} & \int_{|\psi(n/N)|\leq 

2203: c_2(K)} | N\H^N_1-\H_1|\; d\gamma^N\\

2204: \leq  \|f\|_{\infty} \|h'\|_{\infty}& \int_{|\psi(n/N)|\leq c_2(K)} \left| 

2205: N^{-1} \sum |\psi(n/N)|^2 -\int_{0}^{1} |\psi|^2\, dx \right| d\gamma^N \\

2206: +& \|f\|_{\infty} \|h'\|_{\infty} \int_{|\psi(n/N)|\leq c_2(K)} 

2207: \left| \sum {f^{(ii)}\over 2!} N^{-3} |\psi(n/N)|^4\right|d\gamma^N.

2208: \endalign

2209: $$

2210: The first term vanishes as in the estimate for the term (20) and the 

2211: second term vanishes as in the estimate for the term (21). 

2212: 

2213: To estimate the term (21), note that for any $\epsilon > 0$, 

2214: $$

2215: \gamma^N\( \|\psi\|_{\infty} \geq C \) \geq 1- \epsilon,

2216: $$

2217: for all $N$ provided  $C$ is sufficiently large. Then,  

2218: $$

2219: (21) \leq 2\epsilon + \int_{\|\psi\|_{\infty} \leq C} |h(-N^3\H_3^N) -

2220: h(\H_3)|h(\H_1) d \gamma^N, 

2221: $$

2222: in which the integral vanishes   for $N\rightarrow \infty$ as for (20). 

2223:  

2224: 

2225: 

2226: (iv). For any bounded continuous $f$

2227: $$

2228: \int f \chi_K(\psi) e^{-{1\over 2} \W(\psi)} d\gamma(\psi,\psib) \rightarrow

2229: \int f  e^{-{1\over 2}\W(\psi)} d \gamma(\psi,\psib),

2230: $$

2231: as $K\rightarrow \infty$, by the bounded convergence theorem. This 

2232: implies $\Xi_K \rightarrow \Xi$ as $K \rightarrow \infty$. Now  the last 

2233: statement is proved.

2234: \qed

2235: \enddemo

2236: 

2237: \subhead 10. Tightness of measures $d\m_K^N$\endsubhead We assume that the 

2238: initial data $\psi_N(x)$ has distribution $d\mu_N^K$. 

2239: The solutions of initial  value problem  $\psi(x,t)=e^{t\X_3^N}\psi_N(x),$ 

2240: $ (x,t)\in \T\times [0,T]$,  are realisations of the 

2241: complex random field with distribution $d\m_K^N$. 

2242: To prove tightness of measures  we need 

2243: \proclaim{Lemma 9} (Kolmogorov---\v Centzov). \cite{Ku}. 

2244: Let the family of complex 

2245: continuous random fields $\phi(x,t),\; (x,t) \in \T\times[0,T]$,  with 

2246: distributions $dm^N$ satisfy 

2247: $$

2248: E^N|\phi(x,t)|^\gamma \leq C \tag 1

2249: $$

2250: and

2251: $$

2252: E^N|\phi(x_1,t_1) - \phi(x_2,t_2)|^\gamma \leq C\(|x_1-x_2|^{\alpha_1}+ 

2253: |t_1-t_2|^{\alpha_2}\), \tag 2

2254: $$

2255: where $\alpha^{-1}_1 +\alpha^{-1}_2 < 1$ and $\gamma > 0$. 

2256: Then the family of measures $dm^N$ is tight with respect to the weak 

2257: topology of $C\(\phi:\T\times[0,T]\rightarrow \C^1\)$ 

2258: \endproclaim 

2259: Since realisations of the field are continuously differentiable in the spatial 

2260: variable $x$,  we consider the random fields $\psi'(x,t)$.  

2261: The main result of this section is 

2262: \proclaim{Lemma 10} For any $n=1,2,\hdots,$: 

2263: $$

2264: \align 

2265: E_K^N&|\psi'(x,t)|^{2n} \leq c(n,K) \tag 3\\ 

2266: E_K^N&|\psi'(x_1,t_1)-\psi'(x_2,t_2)|^{2n}\leq c(n,K)\(|x_1-x_2|^{n} + 

2267: |t_1-t_2|^{n/2}\) \tag 4

2268: \endalign

2269: $$

2270: where $E_K^N$ is expectation with respected to the measure $d\m_K^N$.

2271: \endproclaim

2272: This, together with Lemma 9, implies tightness of the measures  $d\m'{}^N_K$. 

2273: Tightness of the family $d\m_K^N$ can be proved along the same lines. The 

2274: distribution of the limiting stationary random field we denote by $d\m_K$. 

2275: It follows from the  previous section,  that the measure $d\m_K$ has 

2276: marginal distributions $d\mu_K$. In order to establish the H\"{o}lder 

2277: continuity 

2278: of the spatial derivatives of the random field we need another 

2279: \proclaim{Lemma 11} (Kolmogorov--\v Centzov). \cite{Ku}. 

2280: Let $\phi(x,t),\; (x,t)\in 

2281: \T\times[0,T] $,  be a complex random field. Assume that there exist positive 

2282: constants $\gamma,\; C,\; \alpha_1$ and  $\alpha_2$ with $\alpha^{-1}_1+ 

2283: \alpha_2^{-1}< 1$ satisfying 

2284: $$

2285: E|\phi(x_1,t_1)-\phi(x_2,t_2)|^\gamma \leq C\(|x_1-x_2|^{\alpha_1} 

2286: + |t_1-t_2|^{\alpha_2} \). 

2287: $$

2288: Then the random field $\psi(x,t)$ has a continuous modification. 

2289: Moreover $c_0\equiv (1- \alpha^{-1}_1 -\alpha^{-1}_2)/\gamma$, 

2290: if $\beta_1$ and $\beta_2$ are positive numbers less then $\alpha_1c_0$ or 

2291: $\alpha_2c_0$ respectively, then there exists a 

2292: positive random constant $C$ with $E C^\gamma <\infty$ such that 

2293: $$

2294: |\phi(x_1,t_1)-\phi(x_2,t_2)|< C\(|x_1-x_2|^{\beta_1} + |t_1-t_2|^{\beta_2}\).

2295: $$

2296: \endproclaim

2297: By Fatou's lemma, passing to the limit $N\rightarrow \infty$ in the inequality 

2298: (4), we have 

2299: $$

2300: E_K|\psi'(x_1,t_1)-\psi'(x_2,t_2)|^{2n} \leq C(n) \(|x_1-x_2|^{n}+

2301: |t_1-t_2|^{n/2}\)  

2302: $$

2303: Now Lemma 11  implies that the measure $d\m'_K$ is supported on  paths 

2304: satisfying 

2305: $$

2306:  |\psi'(x_1,t_1) - \psi'(x_2,t_2)|\leq\(|x_1-x_2|^{1/2-} + |t_1-t_2|^{1/4-}\).

2307: $$

2308: One can prove, using methods of \cite{V}, that the H\"{o}lder exponents 

2309: $1/2-$ and $1/4-$ are optimal. 

2310: 

2311: 

2312: \demo\nofrills{Proof of Lemma 10.\usualspace}

2313: To obtain (3), observe that by the invariance of $d\mu_K^N$

2314: $$

2315: \align

2316: E_K^N |\psi'(x,t)|^{2n}& =E_K^N|\psi'(x,0)|^{2n}  \\

2317: &\leq {e^{K\over N} e^{c_4\over 2}\over \underset N\to \inf \; \Xi_K^N}

2318: \int\limits_{\M}|\psi'(x,0)|^{2n} d\gamma^N \quad \quad \quad

2319: \text{by Lemma}\; 7

2320: \endalign

2321: $$

2322: Due to Lemma 8,  $\Xi_K^N\rightarrow \Xi_K> 0 $,  as $N\rightarrow \infty$. 

2323: Using  the Gaussian character of the measure $d\gamma^N$ the last integral 

2324: can be overestimated  by  

2325: $$

2326: \leq c_1(K,n) \[\; \int\limits_{\M} |\psi'(0)|^{2}d\gamma^N \]^n=

2327: c_2(K,n) \[\sum\limits_{|k|\leq m} k^2\sigma_N^{-2}(k)\]^n

2328: $$

2329: Now the estimate $ak^4 + 1 \leq \sigma_N^2(k)$ (see proof of Lemma 6) implies 

2330: (3).  

2331: 

2332: 

2333: To prove  (4),   write the differential equation for the 

2334: flow on $\M_N$ as in

2335: $$

2336: \align

2337: i{\partial \psi(x)\over \partial t} =-N^2(\psi(x+{1\over N})+&\psi(x-{1\over N})

2338: - 2\psi(x)) \\

2339: +& |\psi(x)|^2 (\psi(x-{1\over N}) +\psi(x+{1\over N})),

2340: \endalign

2341: $$

2342: where $\psi(x)=\psi_N(x,t) \in \M_N,\;\; x\in \T_N$;  equivalently,     

2343: $$

2344: \align

2345: e^{t\X_3^N} \[\psi(\bullet)\]& (x)=  e^{it\Delta_N}\[\psi(\bullet)\](x)\\

2346: - & i\int_{0}^{t} e^{i(t-s)\Delta_N} \[|\psi(\bullet,s)|^2

2347: \(\psi(\bullet+{1\over N},s) +\psi(\bullet -  {1\over N},s)\)\]_N(x) ds, \tag 5

2348: \endalign

2349: $$

2350: where 

2351: $$

2352: e^{it\Delta_N}[\psi(\bullet)](x)\equiv\sum\limits_{|k|\leq m} e^{2\pi i k x}

2353: e^{it \Delta(k,N)} \psih(k),\quad \quad \quad \Delta(k,N)=N^2(\omega^k +

2354: \omega^{-k}-2)

2355: $$

2356: and

2357: $$

2358: \psi(x)=\sum\limits_{|k|\leq m} e^{2\pi i  kx} \psih(k). 

2359: $$

2360: Since (5) holds for all $x\in \T_N$ with left and right   

2361: being polynomials, then (5) holds for all $x\in \T$. 

2362: 

2363: First,  we derive the estimate for spatial increments. 

2364: Much as before, 

2365: $$

2366: \align

2367: E_K^N|& \psi'(x+h,t) -\psi'(x,t)|^{2n} \\

2368: & = E_K^N|\psi'(x+h) - \psi'(x)|^{2n}\\

2369: &\leq c_2(K,n) \[E_{\gamma^N} |\psi'(h)-\psi'(0)|^2 \]^n.

2370: \endalign

2371: $$

2372: Using the spectral representation of the Gaussian measure $\gamma^N$ in the 

2373: form  

2374: $$

2375: \psi(x)=\sum\limits_{|k|\leq m} e^{2\pi i k x} \psih(k), \quad \quad 

2376: \quad \quad E_{\gamma^N} |\psih(k)|^2=\sigma_N^{-2}(k),

2377: $$

2378: we obtain

2379: $$

2380: E_{\gamma^N}|\psi'(h)-\psi'(0)|^2 =\sum\limits_{k\neq 0} 4\pi^2 k^2 

2381: |e^{2\pi i kh}-1|^2 \sigma^{-2}_N(k).

2382: $$

2383: The estimate $|e^{i2\pi x}-1|\leq cx, \;\; 0\leq |x|\leq {1\over 2}$, implies  

2384: $$

2385: \align

2386: & \leq c_3\sum\limits_{0 < |k| < h^{-1}/2} 

2387: {k^4 h^2\over a k^4 +1} + c_3 \sum\limits_{h^{-1}/2 \leq \, |k|} 

2388: {k^2\over ak^4 +1}\\

2389: & \leq c_4h^2\sum\limits_{0<|k|<\, h^{-1}/2} 1 + c_4 

2390: \sum\limits_{h^{-1}/2 \leq \, |k|}{1\over k^2}  \leq c_5 h.

2391: \endalign

2392: $$

2393: Finally,

2394: $$

2395: E_K^N|\psi'(x+h,t)-\psi'(x,t)|^{2n} \leq c_6(K,n)h^n. \tag 6

2396: $$

2397: 

2398: To obtain the estimate for temporal  increments  we use (5) and  

2399: write\footnote"*"{$e^{it\Delta_N} \psi(x)=e^{it\Delta_N}\[\psi(\bullet)\] (x)$} 

2400: $$

2401: \align

2402: E_K^N |\psi'(x,& t+h) - \psi'(x,t)|^{2n}  = E_K^N|\psi'(x,h)-\psi'(x,0)|^{2n}\\

2403: \leq & c_7\, E_K^N\left|e^{ih\Delta_N}\psi'(x)-\psi'(x)\right|^{2n} \tag 7 \\

2404: + &  

2405: c_7\; E_K^N\left|\int\limits_{0}^{h}e^{i(h-s)\Delta_N}\[|\psi(\bullet)|^2

2406: \(\psi(\bullet + {1\over N},s)+ \psi(\bullet-{1\over N},s)\)\]'_N(x)ds 

2407: \right|^{2n} \tag 8 

2408: \endalign

2409: $$

2410: 

2411: Here 

2412: $$

2413: (7)\quad \leq c_8\; E_{\gamma^N}|e^{ih\Delta_N}\psi'(x) -\psi'(x)|^{2n}=

2414: c_9 \[E_{\gamma^N} |e^{ih\Delta_N}\psi'(x)-\psi'(x)|^2\]^{n}.

2415: $$

2416: Now, from  the spectral respresentation,  

2417: $$

2418: \align

2419: E_{\gamma^N}|e^{ih\Delta_N} \psi'& (0) -\psi'(0)|^2 

2420: = \sum\limits_{|k|\leq m} |e^{ihN^2(\omega^k+\omega^{-k}-2)} 

2421: -1|^2 4\pi^2 k^2 \sigma_N^{-2}(k)\\

2422: =&\sum\limits_{|k|\leq m} 

2423: \(1- \cos hN^2(\omega^k+\omega^{-k}-2)\)^2 4\pi^2 k^2 \sigma_N^{-2}(k) \tag 9\\

2424: +& \sum \limits_{|k|\leq m}  

2425: \sin^2 hN^2(\omega^k+\omega^{-k}-2) 4\pi^2 k^2 \sigma_N^{-2}(k).  \tag 10 

2426: \endalign

2427: $$

2428: First, we note that for $|x|\leq \pi$ 

2429: $$

2430: c_{10}x^2 \leq 1-\cos x \leq c_{11}x^2 \tag 11

2431: $$

2432: Therefore,  for $|k|\leq  m$, we have 

2433: $$

2434: c_{12}k^2 \leq -N^2(\omega^k+\omega^{-k}- 2) \leq c_{13} k^2. \tag 12

2435: $$

2436: To estimate (8), we assume that $|k|\leq h^{-1/2}\alpha$,  where 

2437: $\alpha$ is a suitably chosen constant. Then, by (12),  

2438: $$

2439: \left|hN^2(\omega^k+\omega^{-k} - 2)\right|\leq \pi.

2440: $$

2441: Using (11) and (12), we  find

2442: $$

2443: \align

2444: (9)  &\leq c_{14}  \sum \Sb |k|\leq m\\ |k|\leq h^{-1/2}\alpha \endSb

2445: {\(hN^2(\omega^k+\omega^{-k}-2)\)^4\over k^2+1} + 

2446: c_{15}\sum \Sb |k| \leq m\\ |k|>  h^{-1/2}\alpha \endSb {1\over k^2+1}\\

2447: & \leq c_{16}h^4  \sum\limits_{|k|\leq h^{-1/2}\alpha} k^6+

2448: c_{17}\sum\limits_{|k| >  h^{-1/2} 

2449: \alpha} {1\over k^2} \leq c_{18} h^{1/2}.

2450: \endalign

2451: $$

2452: 

2453: The estimate of (10) is even simpler:

2454: $$

2455: \align

2456: (10)\quad & \leq c_{19} \sum \Sb |k|\leq m\\ |k|\leq h^{-1/2}\endSb 

2457: {h^2 k^4\over k^2+1} + c_{20}

2458: \sum\Sb |k|\leq m\\|k|>  h^{-1/2} \endSb {1\over k^2+1}

2459: \\

2460: & \leq c_{21} h^2\sum\limits_{|k|\leq h^{-1/2}} k^2 + 

2461: c_{22}\sum\limits_{|k|>  h^{-1/2}}

2462: {1\over k^2}\leq c_{23} h^{1/2}.

2463: \endalign

2464: $$ 

2465: 

2466: Finally, for  (7) we have the estimate  

2467: $$

2468: E_K^N|e^{it\Delta_N}\psi'(x) - \psi'(x)|^{2n}\leq c_{24}(K,n)h^{n/2}. \tag 13

2469: $$

2470: 

2471: To estimate (8),   observe that  

2472: $$

2473: \align

2474: E_K^N& \left|\int_{0}^{h} e^{i(h-s)\Delta_N} \[|\psi(\bullet,s)|^2(\psi(\bullet+

2475: {1\over N},s) +\psi(\bullet-{1\over N},s))\]_N'(x) ds \right|^{2n}\\

2476: & \leq h^{2n-1}\int_{0}^{h}E_K^N\left|e^{i(h-s)\Delta_N} \[|\psi(\bullet,s)|^2(

2477: \psi(\bullet+{1\over N},s)+\psi(\bullet -{1\over  N},s))\]_N'\right|^{2n} ds\\

2478: &\leq h^{2n-1} \int_{0}^{h}E_K^N\left|e^{is\Delta_N}\[|\psi(\bullet,s)|^2

2479: (\psi(\bullet +{1\over N},s)+\psi(\bullet -{1\over N},s))\]_N'\right|^{2n}ds.

2480: \endalign

2481: $$

2482: We will show that,  for any $s\geq 0$,

2483: $$

2484: E_K^N\left|e^{it\Delta_N}\[|\psi(\bullet)|^2(\psi(\bullet +{1\over N},s) + 

2485: \psi(\bullet -{1\over N},s))\]_N'\right|^{2n} \leq c_{25}(K,n). \tag 14

2486: $$

2487: Then, 

2488: $$

2489: (8)=E_K^N\left|\quad\hdots ditto \hdots \quad\right|^{2n} \;\leq c_{25}h^{2n}. 

2490: \tag 15

2491: $$ 

2492: The estimates (13) and (15) produce 

2493: $$

2494: E_K^N|\psi'(x,t+h) -\psi'(x,t)|^{2n}\leq c_{26}(K,n)h^{n/2}.

2495: $$

2496: This  and (6) produce   (4).

2497: 

2498: To prove (14) first we note, is $\psi(x)=\sum\psih(k) e^{2\pi i  kx}$, then 

2499: $$\psi_N(x)=\sum\limits_{|k|\leq m} \psih_N(k)e^{2\pi i kx},\quad \quad 

2500: \text{with} 

2501: \quad \quad  

2502: \psih_N(k)=\sum\limits_{n\equiv k,\;  (\mod N)} \psih(n).$$ 

2503: To simplify notation we write $\psi=\psi_N$, then 

2504: $$

2505: \align

2506: |\psi(x)|^2\(\psi(x+{1\over N}) + \psi(x-{1\over N}) \)& \\

2507: = \sum\limits_{|k_i|\leq m}& 

2508: e^{2  \pi i (k_1+k_3-k_2)x} 2\cos {2\pi k_3\over N} 

2509: \psih(k_1)\psihb(k_2) \psi(k_3)  

2510: \endalign

2511: $$

2512: and 

2513: $$

2514: \align

2515: e^{it\Delta_N}& \[|\psi(\bullet)|^2\(\psi(\bullet+{1\over N}) 

2516: +\psi(\bullet -{1\over N})\)\]_N' (x)\\

2517: = \sum\limits_{|k_i|\leq m}&  e^{it\Delta(N,p)} 

2518: e^{2\pi i p(k_1+k_3- k_2)x} 2\cos{2\pi k_3\over N} 

2519: 2\pi i p(k_1+k_3-k_2) \psih(k_1)\psihb(k_2) \psih(k_3), 

2520: \endalign

2521: $$

2522: where $p(k)\equiv k\;\;(\mod\; N)$ and $|p(k)|\leq m$. 

2523: 

2524: Now,  

2525: $$

2526: \align

2527: &\left|\partial_x e^{it\Delta_N}\[|\psi(\bullet)|^2

2528: \(\psi(\bullet+{1\over N}) + \psi(\bullet -{1\over N})\)\]_N'(x)\right|^2\\

2529: =&\sum\limits_{|k_i|\leq m} e^{it[\Delta(N,p)-\Delta(N,p')]}

2530:  e^{2\pi i x (p(k_1+k_3-k_2)- p(k_4+k_6-k_5))} 2\cos{2\pi k_3\over N} 

2531: 2\cos{2\pi k_6\over N}\\

2532: & \quad \quad \times 4\pi^2 p(k_1+k_3-k_2) p'(k_1+k_3-k_5)\psih(k_1) 

2533: \psihb(k_2) \psih(k_3) \psihb(k_4) \psih(k_5) \psihb(k_6).

2534: \endalign

2535: $$ 

2536: Estimating

2537: $$

2538: \phantom{ooo}

2539: E_{\gamma^N} \bigl|\hdots\text{ditto}\hdots\bigr|^{2n}=\bigl|E_{\gamma^N}

2540: |\hdots\text{ditto}\hdots |^{2n}\bigr| 

2541: $$

2542: $$

2543: = | \sum\limits_{j=1}^{n} 

2544: \prod e^{it[\Delta(N,p^j)-\Delta(N,p'{}^j)]}

2545: e^{2\pi i x( p(k_1^j-k_3^j-k_2)-p(k_4^j +k_6^j-k_5^j))}

2546: 2\cos{2\pi k_3^j\over N}2 \cos{2\pi k_6^j \over N} 

2547: $$

2548: 

2549: 

2550: $$

2551: \align

2552: &\times 

2553:  E_{\gamma^N} \prod 4\pi^2p\,(k_1^j+k_3^j-k_2^j)p'(k_4^j+k_6^j-k_5^j)

2554: \psih(k_1^j)\psihb(k_2^j)\psih(k_3^j)\\

2555: &\phantom{ooooooooooooooooooooooooooooooo}\times\psihb(k_4^j)

2556: \psi(k_5^j)\psihb(k_6^j)|\\

2557: &\leq \sum\limits_{j=1}^{n} E_{\gamma^N}\prod\limits_{|k_i^j|\leq m} 

2558: 4\pi^2 |p(k_1^j+k_3^j-k_2^j)||p(k_4^j+k_6^j-k_5^j)\\

2559: &\phantom{ooooooooooooooooooooooooooooo}

2560: \times \psih(k_1^j)\psihb(k_2^j)\psih(k_3^j) \psihb(k_4^j)\psih(k_5^j) 

2561: \psihb(k_6^j).

2562: \endalign

2563: $$

2564: Using the inequalities

2565: $$

2566: |p(k_1+k_3-k_2)|\leq |k_1+k_2-k_3|\leq (1+|k_1|)(1+|k_2|)(1+|k_3|),

2567: $$

2568: and

2569: $$

2570: (1+ |k|)^2\leq 2(1+|k|^2), 

2571: $$

2572: we overestimate the last sum by 

2573: $$

2574: \leq c_{27} \sum\limits_{|p_i|\leq m} E_{\gamma^N}(1+p_1^2)|

2575: \psih(k_1)|^2\hdots \quad \quad \quad \quad \hdots (1+p_1^2)|\psih(p_{3n})|^2.

2576: $$

2577: The worst term 

2578: $$

2579: \sum E_{\gamma^N} p_1^2|\psih(p_1)|^2\hdots\quad \hdots p_{3n}^2|\psih(3n)|^2.

2580: $$

2581: can be overestimated by 

2582: $$

2583: \therefore \leq E_{\gamma^N} |\psi'(x)|^{2\times 3n}\leq C(n,N)

2584: $$

2585: due to $ak^4 + 1\leq \sigma_N^2(k)$.

2586: \qed

2587: \enddemo 

2588: 

2589: \subhead 11. Identification of measure $d\M_K$\endsubhead This section  

2590: shows that the measure $d\M_K$ is supported on the solutions of the 

2591: NLS flow.

2592: 

2593: Multiplying both parts of the original equation

2594: $$

2595: i\psi^{\bullet}=-\psi''+2|\psi|^2 \psi

2596: $$

2597: by the test function $f(x,t),\; (x,t)\in \T\times(0,T]$ and integrating  

2598: produces 

2599: $$

2600: \int_{0}^{1}\int_{-\infty}^{+\infty} dx\, dt\[i\psi f^{\bullet} 

2601: -\psi f''+|\psi|^2 2 \psi f\]=0.

2602: $$

2603: \proclaim{Lemma 12} In the statistical ensemble $d\M_K$ 

2604: $$

2605: E_{\M_K}\left|\int_{0}^{1}\int_{-\infty}^{+\infty} dx dt \[i\psi f^{\bullet} - 

2606: \psi f'' +|\psi|^2 2\psi f\]\right|^2=0.

2607: $$

2608: \endproclaim

2609: \demo\nofrills{Proof.\usualspace} The equation for the AL flow on $\M_N$ is  

2610: $$

2611: i\psi^{\bullet}(x,t)= -\Delta_N\psi(x,t) +|\psi(x,t)|^2(\psi(x+{1\over N},t)

2612: +\psi(x-{1\over N},t)),  

2613: $$

2614: where $\Delta_N\psi(x)=N^2\(\psi(x+{1\over N})+\psi(x-{1\over N})-2\psi(x)\)$ 

2615: and $x\in \T_N$. We multiply by the test function $f(x,t)$ 

2616: and integrate over the variables  $t$ and $x$.

2617: $$

2618: \align

2619: \int_{0}^{1}\int_{-\infty}^{+\infty} dx\,dt \, \delta_N(x) [& i\psi(x,t)

2620: f^{\bullet} -\psi(x,t)\Delta_N f \\

2621: +& |\psi(x,t)|^2\(\psi(x+{1\over N},t) +

2622: \psi(x-{1\over N},t)\)f]=0,

2623: \endalign

2624: $$

2625: in which  $\delta_N(x)={1\over N} \sum\limits_{x_0\in \T_N} \delta(x-x_0).

2626: $

2627: Now 

2628: $$

2629: \align

2630: & E_{\M_K}\left|\int\int dx\,dt \[i\psi f^{\bullet}-\psi f''+|\psi|^2 2\psi 

2631: f\] \right|^2\\

2632: = \lim_{N\rightarrow \infty} & E_{\M_K^N} |...\; ditto\; ...|^2\\

2633: = \lim_{N\rightarrow \infty} & E_{\M_K^N} |\int\int dx\,dt \; i\psi f^{\bullet} 

2634: (1- \delta_N(x))- \int\int dx\,dt \;\psi  (\partial_{xx}^2-\delta_N\Delta_N)f\\ 

2635: &+   \int\int dx\,dt  \[|\psi|^22\psi -|\psi|^2 \(\psi(x+{1\over N}) +

2636: \psi(x-{1\over N})\) \delta_N(x)\]f|^2\\

2637: \leq  \lim_{N\rightarrow \infty} c& E_{\M_K^N} \left|\int\int dx \,dt \psi 

2638: f^{\bullet} (1-\delta_N)\right|^2 \\

2639: + & \lim_{N\rightarrow \infty} c E_{\M_K^N} \left|\int\int dx dt \psi 

2640: (\delta_{xx}^2-\delta_N \Delta_N)f\right|^2 

2641: \endalign

2642: $$

2643: $$

2644: +\lim_{N\rightarrow \infty} c  E_{\M_K^N} \left|\int \int dx\,dt \[|\psi|^22 

2645: \psi -

2646: |\psi|^2\(\psi(x+{1\over N}) + \psi(x-{1\over N})\) \delta_N(x)\] f\right|^2.

2647: $$

2648: 

2649: The first term  overestimated by 

2650: $$

2651: \align

2652: \therefore  \leq &|f^{\bullet}|_{\infty} E_{\M_K^N} \(\int_0^1\int_0^T 

2653: dx\,dt |\psi(x,t) - \psi(k/N,t)|dx\)^2\\

2654:  \leq & |f^{\bullet}|_{\infty} T \int_0^T E_{\M_K^N} \( \int_0^1|\psi(x,t)-

2655: \psi(k/N,t)|dx\)^2 \\

2656:  \leq & |f^{\bullet}|_{\infty} T^2 \int_0^1 dx E_{\M_K^N} 

2657: |\psi(x,t) - \psi(k/N,t)|^2\\

2658: =& |f^{\bullet}|_{\infty} T^2 N \int^{1/N}_0 E_{\M_K^N}|\psi(x)-\psi(0)|^2 dx\\

2659: \leq & |f^{\bullet}|_{\infty} T^2 \underset0\leq x\leq 1/N\to\sup E_{\M_K^N}

2660: |\psi(x)- \psi(0)|^2=o(1),

2661: \endalign

2662: $$

2663: as $N\rightarrow \infty$ 

2664: due to the stochastic continuity of the random field $\psi$. Estimates for the 

2665: remaining terms can be obtained along the same lines.   

2666: \qed

2667: \enddemo

2668: 

2669: Due to the results of \cite{MCV1, B2} the initial data $\psi(x,t)$ determines 

2670: the flow $\psi(\bullet,t)$ for all $t$. In probabilistic language this means 

2671: that  $\psi(\bullet,t)$ is measurable with respect to the field generated 

2672: by $\psi(\bullet,0)$.  

2673: 

2674: 

2675: 

2676: 

2677: 

2678: 

2679: 

2680: 

2681: 

2682: 

2683: 

2684: 

2685: 

2686: 

2687: 

2688: 

2689: 

2690: 

2691: 

2692: 

2693: \Refs

2694: 

2695: 

2696: 

2697: \widestnumber\key{KEKLM}

2698: 

2699: \ref \key AL \by  M.J. Ablowitz and J.F. Ladik 

2700: \paper Nonlinear differential-difference equations and Fou\-rier   

2701: analysis  

2702: \jour  Journ. Math. Phys. 

2703: \vol  17 \yr 1976 \pages 1011-1018\endref

2704: 

2705: \ref  \key B1 \by J. Bourgain

2706: \paper Periodic Nonlinear Schr\"{o}dinger Equation and Invariant Measures 

2707: \jour Comm. Math. Phys. \yr 1994 \issue 166 \pages 1-26

2708: \endref

2709: 

2710: \ref \key B2 \by J. Bourgain 

2711: \book Global solutions of Nonlinear Schr\"{o}dinger Equations

2712: \publ Amer. Math. Soc.\publaddr Providencece, Rhode Island \vol 46 

2713: \bookinfo Colloquium Publications \yr 1999 

2714: \endref  

2715: 

2716: \ref \key KP \by I. Krichever and D.H. Phong

2717: \paper Symplectic Forms in the Theory of Solitons

2718: \paperinfo hep-th/9708170

2719: \endref 

2720: 

2721: \ref \key Ku \by H. Kunita

2722: \book Stohastic Flows and Stohastic Differential Equation

2723: \yr 1990 \publ Cambridge University Press \publaddr Cambridge 

2724: \endref

2725: 

2726: \ref \key MC \by H.P. McKean

2727: \paper Statistical Mechanics of Nonlinear Wave Equations (4) Cubic 

2728: Schr\"{o}\-dinger \jour Comm. Math. Phys. \issue 168 \yr 1995 \pages 479--491

2729: \moreref \jour Comm. Math. Phys. \issue 173 \pages 675 \yr 1995 

2730: \endref  

2731: 

2732: 

2733: \ref \key MCV1  \by H.P. McKean and K.L. Vaninsky

2734: \paper Action-angle variables for nonlinear Schr\"{o}dinger equation

2735: \jour Comm. Pure Appl. Math. \vol 50 \yr 1997 \pages 489-562

2736: \endref

2737: 

2738: \ref \key MCV2  \by H.P. McKean and K.L. Vaninsky

2739: \paper Cubic Schr\"{o}dinger: The Petit canonical Ensemble in Action--Angle 

2740: variables 

2741: \jour Comm. Pure and Appl Math. \vol 50\pages 593-622 \yr 1997 

2742: \endref

2743: 

2744: \ref \key MEKL \by P.D. Miller, N.M. Ercolani, I.M. Krichever, C.D. Levermore

2745: \paper Finite Genus Solutions to the Ablowitz-Ladik Equations 

2746: \jour Comm. Pure. Appl. Math.

2747: \vol 48 \yr 1995 \pages 1369--1440

2748: \endref

2749: 

2750: \ref \key V \by K.L. Vaninsky

2751: \paper On Space-time Properties of Solutions for Nonlinear Evolutionary 

2752: Equations with Random Initial Date \jour Revista de Matematica: Theoria y 

2753: Aplicaciones \vol 3 \issue 1 \yr 1996 \pages 11-20

2754: \endref

2755: 

2756:  

2757: 

2758: 

2759: 

2760: 

2761: 

2762: 

2763: 

2764: 

2765: 

2766: 

2767: 

2768: 

2769: \endRefs

2770: 

2771: 

2772: \bye

2773: 

2774: