1: \documentclass{snmp2001}

2: 

3: \begin{document}

4: 

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

6: \newcommand{\LL}{{\mathcal L}}

7: \newcommand{\Sc}{{\mathcal S}}

8: 

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

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

11: \newcommand{\PP}{{\mathbb P}}

12: 

13: \newcommand{\im}{\mathop{\rm Im}\nolimits}

14: 

15: \newcommand{\Der}{\mathop{\rm Der}\nolimits}

16: \newcommand{\vth}{\vartheta}

17: \newcommand{\be}{\beta}

18: \newcommand{\na}{\nabla}

19: \newcommand{\om}{\omega}

20: \newcommand{\Ga}{\Gamma}

21: \newcommand{\Om}{\Omega}

22: \newcommand{\bom}{\bar{\omega}}

23: \newcommand{\bGa}{\bar{\Gamma}}

24: \newcommand{\bOm}{\bar{\Omega}}

25: \newcommand{\Z}{Z^2/\{0\}}

26: \newcommand{\pa}{\partial}

27: \newcommand{\tF}{\tilde{F}}

28: \newcommand{\tH}{\tilde{H}}

29: \newcommand{\vom}{\vec{\om}}

30: \newcommand{\tom}{\tilde{\omega}}

31: \newcommand{\tq}{\tilde{q}}

32: \newcommand{\tz}{\tilde{z}}

33: \newcommand{\tx}{\tilde{x}}

34: \newcommand{\ty}{\tilde{y}}

35: \newcommand{\ta}{\tilde{a}}

36: \newcommand{\tN}{\tilde{N}}

37: \newcommand{\tw}{\tilde{w}}

38: \newcommand{\J}{{\cal{J}}}

39: \newcommand{\F}{{\cal{F}}}

40: \newcommand{\R}{{\cal{R}}}

41: \newcommand{\cf}{\mbox{f}}

42: \newcommand{\E}{{\cal{E}}}

43: \newcommand{\N}{{\cal{N}}}

44: \newcommand{\cS}{{\cal{S}}}

45: \newcommand{\g}{\vec{g}}

46: \newcommand{\q}{\vec{q}}

47: \newcommand{\p}{\vec{p}}

48: \newcommand{\e}{\epsilon}

49: \newcommand{\te}{\tilde{\epsilon}}

50: \newcommand{\U}{{\cal U}}

51: \newcommand{\cq}{\hat{q}}

52: \newcommand{\A}{{\cal A}}

53: \newcommand{\tA}{\tilde{{\cal A}}}

54: \newcommand{\cO}{{\cal O}}

55: \renewcommand{\k}{\kappa}

56: \newcommand{\ga}{\gamma}

57: \newcommand{\ve}{\vec{e}}

58: \newcommand{\vv}{\vec{v}}

59: \newcommand{\hcS}{\hat{\cS}}

60: \newcommand{\tcS}{\tilde{\cS}}

61: \newcommand{\hS}{\hat{S}}

62: \newcommand{\tS}{\tilde{S}}

63: \newcommand{\dl}{\delta}

64: \newcommand{\Dl}{\Delta}

65: \renewcommand{\th}{\theta}

66: \newcommand{\ra}{\rightarrow}

67: \newcommand{\al}{\alpha}

68: \newcommand{\sg}{\sigma}

69: \newcommand{\Sg}{\Sigma}

70: \newcommand{\bM}{\bar{M}}

71: \newcommand{\z}{\zeta}

72: \newcommand{\hQ}{\hat{Q}}

73: \newcommand{\hv}{\hat{v}}

74: \newcommand{\La}{\Lambda}

75: \newcommand{\la}{\lambda}

76: \newcommand{\tla}{\tilde{\lambda}}

77: \newcommand{\bq}{\bar{q}}

78: \newcommand{\bp}{\bar{p}}

79: \newcommand{\bQ}{\bar{Q}}

80: \newcommand{\bE}{\bar{E}}

81: \newcommand{\rf}{\bar{f}}

82: \newcommand{\nid}{\noindent}

83: \newcommand{\rc}{S_\omega}

84: \newcommand{\hrc}{\hat{S}_\omega}

85: \newcommand{\bW}{\bar{W}}

86: \newcommand{\hN}{\hat{N}}

87: \newcommand{\hF}{\hat{F}}

88: \newcommand{\hk}{\hat{k}}

89: \newcommand{\M}{{\cal M}}

90: \newcommand{\D}{{\cal D}}

91: \newcommand{\W}{{\cal W}}

92: \newcommand{\C}{{\cal C}}

93: \newcommand{\lag}{\langle}

94: \newcommand{\rag}{\rangle}

95: \newcommand{\es}{\mbox{\boldmath$s$}}

96: \newcommand{\eom}{\mbox{\boldmath$\omega$}}

97: 

98: 

99: %\FirstPageHeading{Li}

100: % The parameter is the label of the article. Good choice is the last name of the first author

101: 

102: \ShortArticleName{Integrable Structures for 2D Euler Equations} % maximum 75 symbols

103: 

104: \ArticleName{Integrable Structures for 2D Euler Equations \\

105: of Incompressible Inviscid Fluids}

106: 

107: 

108: % Names of the authors for the title of the paper

109: \Author{Yanguang (Charles)  LI~$^\dag$}

110: \AuthorNameForHeading{Y. Li}

111: \AuthorNameForContents{LI Y.}

112: 

113: 

114: % Address of First Author

115: \Address{$^\dag$~Department of Mathematics, University of Missouri, 

116: Columbia, MO 65211, USA}

117: \EmailD{cli@math.missouri.edu}

118: 

119: 

120: 

121: 

122: % In the case of the same organization, please use the following standard

123: %\Author{First Names LASTNAME and Second COAUTHOR}

124: %\AuthorNameForHeading{F.N. Lastname and S. Coauthor}

125: %\AuthorNameForContents{LASTNAME F.N. and COAUTHOR S.}

126: %\Address{Address of Author(s), Country}

127: %\Email{email1@address, email2@address}

128: 

129: \Abstract{In this article, I will report a Lax pair structure, a 

130: B\"acklund-Darboux 

131: transformation, and the investigation of homoclinic 

132: structures for 2D Euler equations of incompressible inviscid fluids.}

133: 

134: 

135: \section{Introduction}

136: 

137: The governing equation of turbulence, that we are interested in, is the 

138: incompressible 2D Navier-Stokes equation under periodic boundary conditions. 

139: We are particularly 

140: interested in investigating the dynamics of 2D Navier-Stokes equation in 

141: the infinite Reynolds number limit and of 2D Euler equation. Our approach 

142: is different from many other studies on 2D Navier-Stokes equation in which 

143: one starts with Stokes equation to prove results on 2D Navier-Stokes 

144: equation for small Reynolds number. In our studies, we start with 2D Euler 

145: equation and view 2D Navier-Stokes equation for large Reynolds number as 

146: a (singular) perturbation of 2D Euler equation. 2D Euler equation is a 

147: Hamiltonian system with infinitely many Casimirs. To understand the nature 

148: of turbulence, we start with investigating the hyperbolic structure of 2D 

149: Euler equation. We are especially interested in investigating the 

150: possible homoclinic structures. 

151: 

152: In \cite{Li00}, we studied a linearized 2D Euler equation at a fixed point. 

153: The linear system decouples into infinitely many one-dimensional invariant 

154: subsystems. The essential spectrum of each invariant subsystem is a band 

155: of continuous spectrum on the imaginary axis. Only finitely many of these 

156: invariant subsystems have point spectra. The point spectra can be computed 

157: through continued fractions. Examples show that there are indeed 

158: eigenvalues with positive and negative real parts. Thus, there is linear 

159: hyperbolicity. 

160: 

161: In \cite{Li01a} and \cite{LY01}, a Lax pair and a B\"acklund-Darboux 

162: transformation were found for the 2D Euler equation. Typically, 

163: B\"acklund-Darboux transformation can be used to generate homoclinic 

164: orbits \cite{Li00a}.

165: 

166: The 2D Euler equation can be written in the vorticity form,

167: \begin{equation}

168: \pa_t \Om + \{ \Psi, \Om \} = 0 \ ,

169: \label{li:euler}

170: \end{equation}

171: where the bracket $\{\ ,\ \}$ is defined as

172: \[

173: \{ f, g\} = (\pa_x f) (\pa_y g) - (\pa_y f) (\pa_x g) \ ,

174: \]

175: where $\Psi$ is the stream function given by,

176: \[

177: u=- \pa_y \Psi \ ,\ \ \ v=\pa_x \Psi \ ,

178: \]

179: $u$ and $v$ are the velocity components, and the relation between 

180: vorticity $\Om$ and stream 

181: function $\Psi$ is,

182: \[

183: \Om =\pa_x v - \pa_y u =\Dl \Psi \ .

184: \]

185: 

186: \section{A Lax Pair and a Darboux Transformation}

187: 

188: \begin{theorem}[Li, \cite{Li01a}]

189: The Lax pair of the 2D Euler equation (\ref{li:euler}) is given as

190: \begin{equation}

191: \left \{ \begin{array}{l} 

192: L \varphi = \la \varphi \ ,

193: \\

194: \pa_t \varphi + A \varphi = 0 \ ,

195: \end{array} \right.

196: \label{li:laxpair}

197: \end{equation}

198: where

199: \[

200: L \varphi = \{ \Om, \varphi \}\ , \ \ \ A \varphi = \{ \Psi, \varphi \}\ ,

201: \]

202: and $\la$ is a complex  constant, and $\varphi$ is a complex-valued function.

203: \label{li:2dlp}

204: \end{theorem}

205: Consider the Lax pair (\ref{li:laxpair}) at $\la =0$, i.e.

206: \begin{eqnarray}

207: & & \{ \Om, p \} = 0 \ , \label{li:d1} \\

208: & & \pa_t p + \{ \Psi, p \} = 0 \ , \label{li:d2} 

209: \end{eqnarray}

210: where we replaced the notation $\varphi$ by $p$.

211: \begin{theorem}[Li and Yurov, \cite{LY01}]

212: Let $f = f(t,x,y)$ be any fixed solution to the system 

213: (\ref{li:d1}, \ref{li:d2}), we define the Gauge transform $G_f$:

214: \begin{equation}

215: \tilde{p} = G_f p = \frac {1}{\Om_x}[p_x -(\pa_x \ln f)p]\ ,

216: \label{li:gauge}

217: \end{equation}

218: and the transforms of the potentials $\Om$ and $\Psi$:

219: \begin{equation}

220: \tilde{\Psi} = \Psi + F\ , \ \ \ \tilde{\Om} = \Om + \Dl F \ ,

221: \label{li:ptl}

222: \end{equation}

223: where $F$ is subject to the constraints

224: \begin{equation}

225: \{ \Om, \Dl F \} = 0 \ , \ \ \ \{ \Om +\Dl F, F \} = 0\ .

226: \label{li:constraint}

227: \end{equation}

228: Then $\tilde{p}$ solves the system (\ref{li:d1}, \ref{li:d2}) at 

229: $(\tilde{\Om}, \tilde{\Psi})$. Thus (\ref{li:gauge}) and 

230: (\ref{li:ptl}) form the Darboux transformation for the 2D 

231: Euler equation (\ref{li:euler}) and its Lax pair (\ref{li:d1}, \ref{li:d2}).

232: \label{li:dt}

233: \end{theorem}

234: 

235: \section{Preliminaries on Linearized 2D Euler Equation}

236: 

237: We consider the two-dimensional incompressible Euler equation

238: written in vorticity form(\ref{li:euler})

239: under periodic boundary conditions in both $x$ and $y$ directions

240: with period $2\pi$. We also require that both 

241: $u$ and $v$ have means zero,

242: \[

243: \int_0^{2\pi}\int_0^{2\pi} u\ dxdy =\int_0^{2\pi}\int_0^{2\pi} v\ dxdy=0.

244: \]

245: \nid

246: We expand $\Om$ into Fourier series,

247: \[

248: \Om =\sum_{k\in Z^2/\{0\}} \om_k \ e^{ik\cdot X}\ ,

249: \]

250: \nid

251: where $\om_{-k}=\overline{\om_k}\ $, $k=(k_1,k_2)^T$, 

252: $X=(x,y)^T$. In this paper, we confuse $0$ with $(0,0)^T$, the context 

253: will always make it clear. By the relation between vorticity $\Om$ and stream 

254: function $\Psi$,

255: the system (\ref{li:euler}) can be rewritten as the following kinetic system,

256: \begin{equation}

257: \dot{\om}_k = \sum_{k=p+q} A(p,q) \ \om_p \om_q \ ,

258: \label{li:Keuler}

259: \end{equation}

260: \nid

261: where $A(p,q)$ is given by,

262: \begin{equation}

263: A(p,q)= \frac{1}{2}[|q|^{-2}-|p|^{-2}](p_1 q_2 -p_2 q_1)\ ,

264: \label{li:Af} 

265: \end{equation}

266: \nid

267: where $|q|^2 =q_1^2 +q_2^2$ for $q=(q_1,q_2)^T$, similarly for $p$.

268: 

269: We denote $\{ \om_k \}_{k\in \Z}$ by $\om$. For any fixed 

270: $p \in Z^2/\{0\}$, we consider the simple fixed point 

271: $\om^*$:

272: \begin{equation}

273: \om^*_p = \Ga,\ \ \ \om^*_k = 0 ,\ \mbox{if} \ k \neq p \ \mbox{or}\ -p,

274: \label{li:fixpt}

275: \end{equation}

276: \nid

277: of the 2D Euler equation (\ref{li:Keuler}), where 

278: $\Ga$ is an arbitrary complex constant. 

279: The {\em{linearized two-dimensional Euler equation}} at $\om^*$ is given by,

280: \begin{equation}

281: \dot{\om}_k = A(p,k-p)\ \Ga \ \om_{k-p} + A(-p,k+p)\ \bar{\Ga}\ \om_{k+p}\ .

282: \label{li:LE}

283: \end{equation}

284: \begin{definition}[Classes]

285: For any $\hk \in \Z$, we define the class $\Sg_{\hk}$ to be the subset of 

286: $\Z$:

287: \[

288: \Sg_{\hk} = \bigg \{ \hk + n p \in \Z \ \bigg | \ n \in Z, \ \ p \ \mbox{is 

289: specified in (\ref{li:fixpt})} \bigg \}.

290: \]

291: \label{li:classify}

292: \end{definition}

293: \begin{figure}[ht]

294:   \begin{center}

295:     \leavevmode

296:       \setlength{\unitlength}{2ex}

297:   \begin{picture}(36,27.8)(-18,-12)

298: %%  \begin{picture}(40,310)(-20,-150)

299: %%%    \linethickness{5pt}

300:     \thinlines

301: \multiput(-12,-11.5)(2,0){13}{\line(0,1){23}}

302: \multiput(-16,-10)(0,2){11}{\line(1,0){32}}

303: %

304:     \thicklines

305: \put(0,-14){\vector(0,1){28}}

306: \put(-18,0){\vector(1,0){36}}

307: %

308: \put(0,15){\makebox(0,0){$k_2$}}

309: \put(18.5,0){\makebox(0,0)[l]{$k_1$}}

310: %

311: %% \put(0,0){\circle{100}}

312: %% circle (because latex will only draw circles upto 40pts)

313: %

314: % this circle a little too small

315: %\qbezier(-5,0)(-4.775,4.775)(0,5)

316: %\qbezier(0,5)(4.775,4.775)(5,0)

317: %\qbezier(5,0)(4.775,-4.775)(0,-5)

318: %\qbezier(0,-5)(-4.775,-4.775)(-5,0)

319: %

320: %\put(3.65,3.65){\circle*{0.5}}

321: %\put(0,0){\vector(1,1){3.5}}

322: %\put(4.5,3.5){$P$}

323: %

324: %\put(3.65,-3.65){\circle*{0.5}}

325: %

326: % this circle hits required points

327: \qbezier(-5.5,0)(-5.275,5.275)(0,5.5)

328: \qbezier(0,5.5)(5.275,5.275)(5.5,0)

329: \qbezier(5.5,0)(5.275,-5.275)(0,-5.5)

330: \qbezier(0,-5.5)(-5.275,-5.275)(-5.5,0)

331: %

332:     \thinlines

333: \put(4,4){\circle*{0.5}}

334: \put(0,0){\vector(1,1){3.7}}

335: \put(4.35,4.35){$p$}

336: %

337: \put(4,-4){\circle*{0.5}}

338: %

339: \put(8,0){\circle*{0.5}}

340: \put(-8,0){\circle*{0.5}}

341: \put(-8,-2){\circle*{0.5}}

342: \put(-12,-4){\circle*{0.5}}

343: \put(-12,-6){\circle*{0.5}}

344: \put(-4,2){\circle*{0.5}}

345: \put(-4,4){\circle*{0.5}}

346: \put(0,6){\circle*{0.5}}

347: \put(0,8){\circle*{0.5}}

348: \put(4,10){\circle*{0.5}}

349: \put(12,4){\circle*{0.5}}

350: \put(0,-8){\circle*{0.5}}

351: %

352: \put(-4,-12){\line(1,1){17.5}}

353: \put(-13.5,-7.5){\line(1,1){19.5}}

354: \put(-13.5,-5.5){\line(1,1){17.5}}

355: %

356: \put(-3.6,1.3){$\hat{k}$}

357: %

358: \put(-7,12.1){\makebox(0,0)[b]{$(-p_2, p_1)^T$}}

359: %\put(-7.85,11.75){\vector(1,-2){3.65}}

360: \put(-6.7,12){\vector(1,-3){2.55}}

361: %

362: \put(6.5,13.6){\makebox(0,0)[l]{$\Sg_{\hat{k}}$}}

363: \put(6.4,13.5){\vector(-2,-3){2.0}}

364: %

365: \put(7,-12.1){\makebox(0,0)[t]{$(p_2, -p_1)^T$}}

366: \put(6.7,-12.25){\vector(-1,3){2.62}}

367: %

368: \put(-4.4,-13.6){\makebox(0,0)[r]{$\bar{D}_{|p|}$}}

369: \put(-4.85,-12.55){\vector(1,3){2.45}}

370: %

371:   \end{picture}

372:   \end{center}

373: \caption{An illustration of the classes $\Sg_{\hk}$ and the disk 

374: $\bar{D}_{|p|}$.}

375: \label{li:class}

376: \end{figure}

377: \nid

378: See Figure \ref{li:class} for an illustration. According to the classification 

379: defined in Definition \ref{li:classify}, the linearized two-dimensional Euler 

380: equation (\ref{li:LE}) decouples into infinitely many {\em{invariant subsystems}}:

381: \begin{eqnarray}

382: \dot{\omega}_{\hat{k} + np} &=& A(p, \hat{k} + (n-1) p) 

383:      \ \Gamma \ \omega_{\hat{k} + (n-1) p} \nonumber \\  \label{li:CLE}\\

384: & & + \ A(-p, \hat{k} + (n+1)p)\ 

385:      \bar{\Gamma} \ \omega_{\hat{k} +(n+1)p}\ . \nonumber

386: \end{eqnarray}

387: \begin{theorem}

388: The eigenvalues of the linear operator $\LL_{\hk}$ defined by the 

389: right hand side 

390: of (\ref{li:CLE}), are of 

391: four types: real pairs ($c, -c$), purely imaginary pairs ($id, -id$), 

392: quadruples ($\pm c \pm id$), and zero eigenvalues.

393: \end{theorem}

394: \nid

395: The eigenvalues can be computed through continued fractions.

396: \begin{definition}[The Disk]

397: The disk of radius $\left| p \right|$ in $Z^2 / \left\{ 0

398: \right\}$, denoted by

399: $\bar{D}_{\left| p \right|}$, is defined as

400: \[ 

401:  \bar{D}_{\left| p \right|} = \bigg \{ k \in Z^2/ \left\{ 0 \right\} \ \bigg| 

402:      \ \left| k \right| \leq \left| p \right| \bigg \} \, .

403: \]

404: \end{definition}

405: \begin{theorem}[The Spectral Theorem] We have the following claims on 

406: the spectra of the linear operator $\LL_{\hk}$:

407: \begin{enumerate}

408: \item If $\Sg_{\hat{k}} \cap \bar{D}_{|p|} = \emptyset$, then the entire

409: $\ell_2$ spectrum of the linear operator $\LL_{\hk}$ 

410: is its continuous spectrum. See Figure \ref{li:spla2}, where

411: $b= - \frac{1}{2}|\Gamma | |p|^{-2} 

412: \left|

413:   \begin{array}{cc}

414: p_1 & \hat{k}_1 \\

415: p_2 & \hat{k}_2

416:   \end{array}

417: \right| \ .$

418: \item If $\Sg_{\hat{k}} \cap \bar{D}_{|p|} \neq \emptyset$, then the entire

419: essential $\ell_2$ spectrum of the linear operator $\LL_{\hk}$ is its 

420: continuous spectrum. 

421: That is, the residual 

422: spectrum of $\LL_{\hk}$ is empty, $\sg_r (\LL_{\hk}) = \emptyset$. The point 

423: spectrum of $\LL_{\hk}$ is symmetric with respect to both real and 

424: imaginary axes. 

425: See Figure \ref{li:spla2}.

426: \end{enumerate}

427: \label{li:spthla}

428: \end{theorem}

429: \begin{figure}[ht]

430:   \begin{center}

431:     \leavevmode

432:       \setlength{\unitlength}{2ex}

433:   \begin{picture}(36,27.8)(-18,-12)

434:     \thicklines

435: \put(0,-14){\vector(0,1){28}}

436: \put(-18,0){\vector(1,0){36}}

437: \put(0,15){\makebox(0,0){$\Im \{ \la \}$}}

438: \put(18.5,0){\makebox(0,0)[l]{$\Re \{ \la \}$}}

439: \put(0.1,-7){\line(0,1){14}}

440: \put(.2,-.2){\makebox(0,0)[tl]{$0$}}

441: \put(-0.2,-7){\line(1,0){0.4}}

442: \put(-0.2,7){\line(1,0){0.4}}

443: \put(2.0,-6.4){\makebox(0,0)[t]{$-i2|b|$}}

444: \put(2.0,7.6){\makebox(0,0)[t]{$i2|b|$}}

445: \put(2.4,3.5){\circle*{0.5}}

446: \put(-2.4,3.5){\circle*{0.5}}

447: \put(2.4,-3.5){\circle*{0.5}}

448: \put(-2.4,-3.5){\circle*{0.5}}

449: \put(5,4){\circle*{0.5}}

450: \put(-5,4){\circle*{0.5}}

451: \put(5,-4){\circle*{0.5}}

452: \put(-5,-4){\circle*{0.5}}

453: \put(8,6){\circle*{0.5}}

454: \put(-8,6){\circle*{0.5}}

455: \put(8,-6){\circle*{0.5}}

456: \put(-8,-6){\circle*{0.5}}

457: \end{picture}

458:   \end{center}

459: \caption{The spectrum of $\LL_{\hk}$.}

460: \label{li:spla2}

461: \end{figure}

462: 

463: \section{A Galerkin Truncation}

464: 

465: To simplify our study, we study only the case when $\om_k$ is real, $\forall 

466: k \in \Z$, i.e. we only study the cosine transform of the vorticity, 

467: \[

468: \Om = \sum_{k \in \Z} \om_k \cos (k \cdot X)\ ,

469: \]

470: and the 2D Euler equation (\ref{li:euler};\ref{li:Keuler}) preserves the cosine 

471: transform. To further simplify our study, we will study a concrete 

472: line of fixed points (\ref{li:fixpt}) with the 

473: mode $p=(1,1)^T$ parametrized by $\Ga$.

474: When $\Ga \neq 0$, each fixed point has $4$ eigenvalues which form a 

475: quadruple. These four eigenvalues appear in the only unstable invariant 

476: linear subsystem labeled by $\hk = (-3,-2)^T$. See Figure \ref{li:model}

477: for an illustration.

478: \begin{figure}[ht]

479:   \begin{center}

480:     \leavevmode

481:       \setlength{\unitlength}{2ex}

482:   \begin{picture}(36,27.8)(-18,-12)

483:     \thinlines

484: \multiput(-12,-11.5)(2,0){13}{\line(0,1){23}}

485: \multiput(-16,-10)(0,2){11}{\line(1,0){32}}

486:     \thicklines

487: \put(0,-14){\vector(0,1){28}}

488: \put(-18,0){\vector(1,0){36}}

489: \put(0,15){\makebox(0,0){$k_2$}}

490: \put(18.5,0){\makebox(0,0)[l]{$k_1$}}

491: \qbezier(-2.75,0)(-2.6375,2.6375)(0,2.75)

492: \qbezier(0,2.75)(2.6375,2.6375)(2.75,0)

493: \qbezier(2.75,0)(2.6375,-2.6375)(0,-2.75)

494: \qbezier(0,-2.75)(-2.6375,-2.6375)(-2.75,0)

495:     \thinlines

496: \put(2,2){\circle*{0.5}}

497: \put(0,0){\vector(1,1){1.85}}

498: \put(2.275,2.275){$p$}

499: \put(-12,-10){\circle*{0.5}}

500: \put(-10,-8){\circle*{0.5}}

501: \put(-8,-6){\circle*{0.5}}

502: \put(-6,-4){\circle{0.5}}

503: \put(-4,-2){\circle*{0.5}}

504: \put(-2,0){\circle*{0.5}}

505: \put(0,2){\circle*{0.5}}

506: \put(2,4){\circle*{0.5}}

507: \put(4,6){\circle{0.5}}

508: \put(6,8){\circle*{0.5}}

509: \put(8,10){\circle*{0.5}}

510: \put(-14,-12){\line(1,1){24}}

511: \put(-5.6,-5.4){$\hat{k}$}

512: \put(-4.4,-13.6){\makebox(0,0)[r]{$\bar{D}_{|p|}$}}

513: \put(-4.85,-12.55){\vector(1,3){3.4}}

514: \end{picture}

515: \end{center}

516: \caption{The collocation of the modes in the Galerkin truncation.}

517: \label{li:model}

518: \end{figure}

519: \nid

520: We computed the eigenvalues 

521: through continued fractions, one of them is \cite{Li00}:

522: \begin{equation}

523: \tla=2 \lambda / | \Gamma | = 0.24822302478255 \ + \ i \ 0.35172076526520\ .

524: \label{li:evun}

525: \end{equation}

526: We hope that a Galerkin truncation with a small 

527: number of modes including those inside the disk 

528: $\bar{D}_{\left| p \right|}$ can capture the eigenvalues.

529: We propose the Galerkin truncation to the linear system 

530: (\ref{li:CLE}) with the four modes $\hk +p$,  $\hk +2p$, $\hk +3p$, and $\hk +4p$,

531: \begin{eqnarray*}

532: \dot{\omega}_{1} &=& -A_{2} \Gamma \omega_{2} \, , \\

533: \dot{\omega}_{2} &=& A_{1} \Gamma \omega_{1}

534: - A_{3} \Gamma \omega_{3}\, , \\

535: \dot{\omega}_{3} &=& A_{2} \Gamma \omega_{2}

536: - A_{4} \Gamma \omega_{4}\, , \\

537: \dot{\omega}_{4} &=& A_{3} \Gamma \omega_{3} \, . 

538: \end{eqnarray*}

539: From now on, the abbreviated notations,

540: \begin{equation}

541:   \omega_n = \omega_{\hat{k}+np} \, , \ \  

542:   A_n = A(p,\hat{k}+np) \, , \ \  

543:   A_{m,n} = A(\hat{k}+mp,\hat{k}+np) \, ,  

544: \label{li:abbn}

545: \end{equation}

546: will be used. The eigenvalues of this four dimensional system can be 

547: easily calculated. It turns out that this system has a quadruple of 

548: eigenvalues:

549: %

550: \begin{equation}

551: \lambda = \pm \frac{\Gamma}{2 \sqrt{10}} \sqrt{1 \pm i \sqrt{35}} 

552: \dot{=} \pm\left( \frac{\Gamma}{2} \right) \times 0.7746 

553:   \times e^{\pm i \theta_1} \, , \label{li:evu}

554: \end{equation}

555: where $\theta_1 = \arctan (0.845)$, in comparison with the

556: quadruple of eigenvalues (\ref{li:evun}), where

557: \begin{displaymath}

558:   \lambda \dot{=} \pm \left( \frac{\Gamma}{2} \right) \times 0.43 \times 

559:   e^{\pm i \theta_2} \, ,

560: \end{displaymath}

561: and $\theta_2 = \arctan (1.418)$. Thus, {\em{ the quadruple of eigenvalues of

562: the original system is recovered by the four-mode truncation}}. We 

563: further study the corresponding Galerkin truncation of 2D Euler equation:

564: \begin{eqnarray}

565: \dot{\omega}_1 &=& -A_2 \ \omega_p \ \omega_2 \ , \nonumber\\

566: \dot{\omega}_2 &=& A_1 \ \omega_p \ \omega_1 -A_2 \ \omega_p \ \omega_3

567: \ , \nonumber \\

568: \dot{\omega}_3 &=& A_2 \ \omega_p \ \omega_2 -A_1 \ \omega_p \ \omega_4

569: \, , \label{li:invu} \\

570: \dot{\omega}_4 &=& A_2 \ \omega_p  \ \omega_3 \, , \nonumber \\

571: \dot{\omega}_p &=& A_{1,2} \ (\omega_3 \ \omega_4 - \omega_1

572: \ \omega_2) \, , \nonumber 

573: \end{eqnarray}

574: and the equations for the decoupled variables $\omega_0$ and $\omega_5$

575: are given by,

576: \begin{eqnarray*}

577: \dot{\omega}_0 &=& -A_1 \ \omega_p \ \omega_1 \, , \\

578: \dot{\omega}_5 &=& A_1 \ \omega_p \ \omega_4 \, .

579: \end{eqnarray*}

580: where

581: \begin{eqnarray*}

582: & & A_1 = - \frac{3}{10}\ , \  A_2 = \frac{1}{2} \ , \ 

583:   A_3 = A_2 \ , \ A_4 = A_1 \ ,  \\

584: & & A_{1,2} = A_1 -A_2 = - \frac{4}{5} \ , \ 

585:   A_{2,3} =0 \ , \ A_{3,4} = -A_{1,2} \ ;  

586: \end{eqnarray*}

587: %

588: There are three invariants for the system (\ref{li:invu}):

589: \begin{eqnarray}

590: I &=& 2 A_{1,2} (\omega_1 \omega_3 + \omega_2 \omega_4 )

591:         + A_2 \omega^2_p \, , \label{li:Iinv} \\[1ex]

592: U &=&  A_1 (\omega^2_1+ \omega^2_4 ) 

593:         + A_2 ( \omega^2_2 + \omega^2_3 )  \, , \label{li:Uinv} \\[1ex]

594: J &=&   \omega^2_p+ \omega^2_1  

595:         + \omega^2_2 + \omega^2_3 + \omega^2_4  \, . \label{li:Jinv}

596: \end{eqnarray}

597: $J$ is the enstrophy, and $U$ is a linear combination of the kinetic 

598: energy and the enstrophy. $I$ is an extra invariant which is peculiar 

599: to this invariant subsystem. With $I$, the explicit formula for the 

600: hyperbolic structure can be computed.

601: 

602: The common level set of these three invariants which is connected 

603: to the fixed point (\ref{li:fixpt}) determines the stable and

604: unstable manifolds of the fixed point and its negative

605: $-\omega^*$:

606: %

607: \begin{equation}

608: \omega_p = - \Gamma \, , \, \omega_n=0 \quad (n \in Z) \, .

609: \label{li:nfixpt}

610: \end{equation}

611: %

612: Using the polar coordinates:

613: %

614: \begin{displaymath}

615:   \omega_1 = r \cos \theta \, , \, 

616:   \omega_4 = r \sin \theta \, ; \, 

617:   \omega_2 = \rho \cos \vartheta \, , \, 

618:   \omega_3 = \rho \sin \vartheta \, ;

619: \end{displaymath}

620: %

621: we have the following explicit expressions for the stable and

622: unstable manifolds of the fixed point (\ref{li:fixpt}) and its

623: negative (\ref{li:nfixpt}) represented through the homoclinic orbits

624: asymptotic to the line of fixed points:

625: %

626: \begin{eqnarray}

627: \omega_p &=& \Gamma \ \tanh \tau \, , \nonumber \\

628: r &=& \sqrt{ \frac{A_2}{A_2-A_1}}\, \ \Gamma \ \mbox{sech}\ \tau \, , \nonumber  \\[1ex]

629: \theta &=& - \ \frac{A_2}{2\k} \ \mbox{ln}\ \cosh \tau + \theta_0 \, , 

630: \label{li:exus}\\[1ex]

631: \rho &=& \sqrt{\frac{-A_1}{A_2}} \  r \, ,\nonumber  \\[1ex]

632: \theta + \vartheta &=& \left\{

633:   \begin{array}{ll}

634:     - \arcsin \left[ \frac{1}{2} \sqrt{\frac{A_2}{-A_1}}\,  \right] 

635:         \ , & (\k>0) \ , \\[2ex]

636: \pi + \arcsin  \left[ \frac{1}{2} \sqrt{\frac{A_2}{-A_1}} \right]

637: \, , & (\k<0) \, ,

638:   \end{array} \right.  \nonumber 

639: \end{eqnarray}

640: %

641: where $A_1$ and $A_2$ are given in (\ref{li:invu}), $\tau = \k \Gamma t 

642: + \tau_0$, $(\tau_0, \theta_0)$ are the two parameters

643: parametrizing the two-dimensional stable (unstable) manifold,

644: and

645: %

646: \begin{displaymath}

647:   \k = \sqrt{-A_1 A_2} \cos (\theta + \vartheta) 

648:    = \pm \sqrt{-A_1 A_2} \sqrt{1+ \frac{A_2}{4A_1}} \ .

649: \end{displaymath}

650: %

651: The two auxilliary variables $\om_0$ and $\om_5$ have the

652: expressions:

653: %

654: \begin{eqnarray*}

655:   \omega_0 &=& \frac{\alpha \beta}{1+ \beta^2}\ \mbox{sech}\ \tau \left\{ 

656:             \sin [ \beta \ \mbox{ln}\ \cosh \tau +  \theta_0]

657:             - \frac{1}{\beta} \cos

658:             [ \beta \ \mbox{ln}\ \cosh \tau + \theta_0 ] \right\} \,

659:    , \\

660: %

661:   \omega_5 &=& \frac{\alpha \beta}{1+ \beta^2} \ \mbox{sech}\ \tau

662:   \left\{ \cos [ \beta \ \mbox{ln}\ \cosh \tau + \theta_0 ]

663:     + \frac{1}{\beta} \sin [ \beta \ \mbox{ln}\ \cosh \tau + \theta_0]

664:     \right\} \, ,

665: \end{eqnarray*}

666: %

667: where

668: %

669: \begin{displaymath}

670:   \alpha = -A_1 \Gamma \k^{-1} \sqrt{\frac{A_2}{A_2-A_1}} \ , \ \ 

671:   \beta = - \frac{A_2}{2\k} \ .

672: \end{displaymath}

673: The graphs of these homoclinic orbits are spirals on a 2D ellipsoid,

674: with turning points.

675: 

676: \section{Conclusion}

677: 

678: Certain newly developed results on 2D Euler equation have been 

679: discussed, which include a Lax pair, a Darboux transformation, 

680: and the investigation on homoclinic structures. 

681: 

682: 

683: 

684: \begin{thebibliography}{99}

685: 

686: \bibitem{Li00} Y. Li, \emph{On 2D Euler equations: Part I.

687: On the energy-Casimir stabilities and the 

688: spectra for linearized 2D Euler equations},

689: J. Math. Phys., 41, No.2, pp.~728--758, (2000).

690: 

691: \bibitem{Li01a} Y. Li, \emph{A Lax pair for the two dimensional 

692: Euler equation},

693: J. Math. Phys., 42, No.8, (2001).

694: 

695: \bibitem{LY01} Y. Li and A. Yurov, \emph{Lax pairs and Darboux transformations

696: for Euler equations},

697: Submitted, (2001).

698: 

699: \bibitem{Li00a} Y. Li, \emph{B\"acklund-Darboux transformations and Melnikov 

700: analysis for Davey-Stewartson II equations}, J. Nonlinear Sci. \textbf{10} 

701: 2000, pp.~103--131.

702: 

703: \bibitem{Li01b} Y. Li, \emph{On 2D Euler equations: Part II.

704: Lax pairs and homoclinic structures},

705: Submitted, (2001).

706: 

707: 

708: \end{thebibliography}

709: \end{document}

710: 

711: 

712: 

713: 

714: 

715: 

716: 

717: 

718: 

719: 

720: 

721: 

722: 

723: