1: %-----------------------------------------------------------------------

2: % Beginning of article.tex

3: %-----------------------------------------------------------------------

4: %

5: % AMS-LaTeX 1.2 sample file for book proceedings, based on amsproc.cls.

6: %

7: % Replace amsproc by the documentclass for the target series, e.g. pspum-l.

8: %

9: \documentclass{conm-p-l}

10: 

11: \newtheorem{theorem}{Theorem}[section]

12: \newtheorem{lemma}[theorem]{Lemma}

13: 

14: \theoremstyle{definition}

15: \newtheorem{definition}[theorem]{Definition}

16: \newtheorem{example}[theorem]{Example}

17: \newtheorem{xca}[theorem]{Exercise}

18: 

19: \theoremstyle{remark}

20: \newtheorem{remark}[theorem]{Remark}

21: 

22: \numberwithin{equation}{section}

23: 

24: %    Absolute value notation

25: \newcommand{\abs}[1]{\lvert#1\rvert}

26: 

27: %    Blank box placeholder for figures (to avoid requiring any

28: %    particular graphics capabilities for printing this document).

29: \newcommand{\blankbox}[2]{%

30:   \parbox{\columnwidth}{\centering

31: %    Set fboxsep to 0 so that the actual size of the box will match the

32: %    given measurements more closely.

33:     \setlength{\fboxsep}{0pt}%

34:     \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%

35:   }%

36: }

37: 

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

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

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

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

42: \newcommand{\Z}{\mathbb{Z}^2/\{0\}}

43: \newcommand{\E}{{\mathcal E}}

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

45: \newcommand{\cS}{{\mathcal S}}

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

47: \newcommand{\vq}{\vec{q}}

48: \newcommand{\p}{\vec{p}}

49: \newcommand{\f}{\vec{f}}

50: \newcommand{\F}{{\mathcal F}}

51: \newcommand{\e}{\epsilon}

52: \newcommand{\vth}{\vartheta}

53: \newcommand{\U}{{\mathcal U}}

54: \newcommand{\N}{{\mathcal N}}

55: \newcommand{\cq}{\tilde{q}}

56: \newcommand{\tDl}{\tilde{\Delta}}

57: \newcommand{\tQ}{\tilde{Q}}

58: \newcommand{\vQ}{\vec{Q}}

59: \newcommand{\A}{{\mathcal A}}

60: \newcommand{\B}{{\mathcal B}}

61: \newcommand{\C}{{\mathcal C}}

62: \renewcommand{\k}{\kappa}

63: \newcommand{\ga}{\gamma}

64: \newcommand{\Ga}{\Gamma}

65: \newcommand{\ve}{\bf{e}}

66: \newcommand{\we}{{\hat{{\bf{e}}}}}

67: \newcommand{\he}{\hat{e}}

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

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

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

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

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

73: \newcommand{\hD}{\hat{D}}

74: \newcommand{\hJ}{\hat{J}}

75: \newcommand{\tD}{\tilde{D}}

76: \newcommand{\tC}{\tilde{C}}

77: \newcommand{\dl}{\delta}

78: \newcommand{\Dl}{\Delta}

79: \renewcommand{\th}{\theta}

80: \newcommand{\ra}{\rightarrow}

81: \newcommand{\al}{\alpha}

82: \newcommand{\be}{\beta}

83: \newcommand{\sg}{\sigma}

84: \newcommand{\Sg}{\Sigma}

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

86: \newcommand{\pa}{\partial}

87: \newcommand{\z}{\zeta}

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

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

90: \newcommand{\hw}{\hat{w}}

91: \newcommand{\hx}{\hat{x}}

92: \newcommand{\hz}{\hat{z}}

93: \newcommand{\bv}{\bar{v}}

94: \newcommand{\bw}{\bar{w}}

95: \newcommand{\La}{\Lambda}

96: \newcommand{\tLa}{\tilde{\Lambda}}

97: \newcommand{\la}{\lambda}

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

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

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

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

102: \newcommand{\nid}{\noindent}

103: \newcommand{\cF}{{\mathcal F}}

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

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

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

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

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

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

110: \newcommand{\om}{\omega}

111: \newcommand{\Om}{\Omega}

112: \newcommand{\na}{\nabla}

113: \newcommand{\lag}{\langle}

114: \newcommand{\rag}{\rangle}

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

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

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

118: \newcommand{\vtQ}{\vec{\tilde{Q}}}

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

120: \newcommand{\tE}{\tilde{E}}

121: \newcommand{\cH}{{\mathcal H}}

122: \newcommand{\W}{{\mathcal W}}

123: \renewcommand{\L}{{\mathcal L}}

124: \renewcommand{\O}{{\mathcal O}}

125: \newcommand{\T}{{\mathcal T}}

126: 

127: 

128: 

129: %Commuting Diagram Need

130: \def\maprightu#1{\smash{

131:     \mathop{\longrightarrow}\limits^{#1}}}

132: \def\maprightd#1{\smash{

133:     \mathop{\longrightarrow}\limits_{#1}}}

134: \def\mapdownl#1{

135:     \llap{$\vcenter{\hbox{$\scriptstyle#1$}}$}\Big\downarrow}

136: \def\mapdownr#1{\Big\downarrow

137:     \rlap{$\vcenter{\hbox{$\scriptstyle#1$}}$}}

138: \def\mapupl#1{

139:     \llap{$\vcenter{\hbox{$\scriptstyle#1$}}$}\Big\uparrow}

140: \def\mapupr#1{\Big\uparrow

141:     \rlap{$\vcenter{\hbox{$\scriptstyle#1$}}$}}

142: 

143: 

144: 

145: \begin{document}

146: 

147: \title{On 2D Euler Equations: III. A Line Model}

148: 

149: 

150: %    Information for first author

151: \author{Yanguang (Charles)  Li}

152: %    Address of record for the research reported here

153: \address{Department of Mathematics, University of Missouri, 

154: Columbia, MO 65211}

155: %    Current address

156: \curraddr{}

157: \email{cli@math.missouri.edu}

158: %    \thanks will become a 1st page footnote.

159: \thanks{}

160: 

161: %    Information for second author

162: %\author{Author Two}

163: %\address{Mathematical Research Section, School of Mathematical Sciences,

164: %Australian National University, Canberra ACT 2601, Australia}

165: %\email{two@maths.univ.edu.au}

166: %\thanks{Support information for the second author.}

167: 

168: %    General info

169: \subjclass{Primary 76, 35; Secondary 34, 37.}

170: \date{}

171: 

172: %\dedicatory{This paper is dedicated to.}

173: 

174: \keywords{Euler equation, invariant manifold, line model, 

175: point spectrum, continuous spectrum.}

176: 

177: \begin{abstract}

178: The spectral theorem of the linear 2D Euler operator in Sobolev spaces 

179: is presented as a corollary of the spectral theorem in $\ell_2$ space 

180: in \cite{Li00}. Study on the (dashed) line model introduced in 

181: \cite{Li01} is continued. Specifically, invariant manifolds for the 

182: line model is established. The corresponding line model for 2D Navier-Stokes 

183: equation is also introduced.

184: \end{abstract}

185: 

186: \maketitle

187: 

188: %\section*{}

189: %This is an example of an unnumbered first-level heading.

190: 

191: %\specialsection*{This is a Special Section Head}

192: %This is an example of a special section head%

193: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

194: %\footnote{Here is an example of a footnote. Notice that this footnote

195: %text is running on so that it can stand as an example of how a footnote

196: %with separate paragraphs should be written.

197: %\par

198: %And here is the beginning of the second paragraph.}%

199: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

200: 

201: %\section{This is a numbered first-level section head}

202: %This is an example of a numbered first-level heading.

203: 

204: %\subsection{This is a numbered second-level section head}

205: %This is an example of a numbered second-level heading.

206: 

207: %\subsection*{This is an unnumbered second-level section head}

208: %This is an example of an unnumbered second-level heading.

209: 

210: %\subsubsection{This is a numbered third-level section head}

211: %This is an example of a numbered third-level heading.

212: 

213: %\subsubsection*{This is an unnumbered third-level section head}

214: %This is an example of an unnumbered third-level heading.

215: 

216: \section{Introduction}

217: 

218: To understand the nature of turbulence, we select 2D Euler equation under 

219: periodic boundary condition as our primary example to study. 2D 

220: Navier-Stokes equation at high Reynolds number is regarded as a singularly 

221: perturbed 2D Euler equation. That is, we are interested in studying the 

222: zero viscosity limit problem.

223: 

224: To begin an infinite dimensional dynamical system study, we consider a 

225: simple fixed point and study the spectrum of the linear 2D Euler operator 

226: in \cite{Li00}. The spectral theorem in $\ell_2$ space is proved. As a 

227: corollary of the spectral theorem in $\ell_2$ space, we will present the 

228: spectral theorem in Sobolev spaces in this article. Sobolev spaces are of 

229: more interest to us, since we are interested in understanding the invariant 

230: manifolds of 2D Euler equation at the fixed point. The main obstacle toward 

231: proving the invariant manifold theorem is that the nonlinear term is 

232: non-Lipschitzian. In \cite{Li01}, a (dashed) line model is introduced 

233: to understand the invariant manifold structure of 2D Euler equation. At 

234: a special parameter value, the explicit expression of the invariant manifolds 

235: of the dashed line model can be calculated. The stable and unstable manifolds 

236: are two dimensional ellipsoidal surfaces, and together they form a lip-shape 

237: hyperbolic structure. Such structure appears to be robust with repsect to 

238: the parameter. In this article, we will prove the existence of invariant 

239: manifolds for the line model.

240: 

241: Another more exciting development is the discovery of a Lax pair for 2D 

242: Euler equation \cite{Li01a}. From the Lax pair, we have obtained a Darboux 

243: transformation for the 2D Euler equation \cite{LY00}. In principle, explicit 

244: expressions of the hyperbolic structures can be obtained from Darboux 

245: transformations \cite{Li00a}.

246: 

247: Hyperbolic structures are the source of chaos when the system is under 

248: perturbations. The corresponding line model for 2D Navier-Stokes equation 

249: with temporally periodic forcing is a singular perturbation of the line 

250: model for 2D Euler equation. Numerical simulations on these line models 

251: are conducted. 

252: 

253: The article is organized as follows: In section 2, we present the 

254: spectral theorem in Sobolev spaces. In section 3, we present the  

255: invariant manifold result on the line model. In section 4, we 

256: introduce the corresponding line model for 2D Navier-Stokes equation.

257: 

258: \section{The Spectral Theorem of the Linear 2D Euler Operator in 

259: Sobolev Spaces}

260: 

261: Consider the 2D Euler equation in vorticity form

262: \begin{equation}

263: {\pa \Om \over \pa t} + \{ \Psi, \Om \} = 0 \ ,

264: \label{euler}

265: \end{equation}

266: where $\Om$ is the vorticity, $\Psi$ is the stream function, 

267: $\Om = \Dl \Psi$, $\Dl$ is the 2D Laplacian, and

268: the bracket $\{\ ,\ \}$ is defined as

269: \[

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

271: \]

272: Expanding $\Om$ into Fourier series,

273: \[

274: \Om =\sum_{k\in \Z} \om_k \ e^{ik\cdot X}\ ,

275: \]

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

277: and $X=(x,y)^T$. The 2D Euler equation

278: can be rewritten as 

279: \begin{equation}

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

281: \label{Keuler}

282: \end{equation}

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

284: \begin{eqnarray}

285: A(p,q)&=& {1\over 2}[|q|^{-2}-|p|^{-2}](p_1 q_2 -p_2 q_1) \nonumber \\

286: \label{Af} \\      

287:       &=& {1\over 2}[|q|^{-2}-|p|^{-2}]\left | \begin{array}{lr} 

288: p_1 & q_1 \\ p_2 & q_2 \\ \end{array} \right | \ , \nonumber

289: \end{eqnarray}

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

291: Denote $\{ \om_k \}_{k\in \Z}$ by $\om$. We consider the simple fixed point 

292: $\om^*$:

293: \begin{equation}

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

295: \label{fixpt}

296: \end{equation}

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

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

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

300: \begin{equation}

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

302: \label{LE}

303: \end{equation}

304: \begin{definition}[Classes]

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

306: $\Z$:

307: \[

308: \Sg_{\hk} = \bigg \{ \hk + n p \in \Z \ \bigg | \ n \in \mathbb{Z}, \ 

309: \ p \ \mbox{is specified in (\ref{fixpt})} \bigg \}.

310: \]

311: \label{classify}

312: \end{definition}

313: \nid

314: See Fig.\ref{class} for an illustration of the classes. 

315: According to the classification 

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

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

318: \begin{eqnarray}

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

320:      \ \Gamma \ \omega_{\hat{k} + (n-1) p} \nonumber \\

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

322:      \bar{\Gamma} \ \omega_{\hat{k} +(n+1)p}\ . \label{CLE}

323: \end{eqnarray}

324: \begin{figure}[ht]

325:   \begin{center}

326:     \leavevmode

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

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

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

330: %%%    \linethickness{5pt}

331:     \thinlines

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

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

334: %

335:     \thicklines

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

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

338: %

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

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

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

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

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

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

345: %

346:     \thinlines

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

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

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

350: %

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

352: %

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

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

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

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

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

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

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

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

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

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

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

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

365: %

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

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

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

369: %

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

371: %

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

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

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

375: %

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

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

378: %

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

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

381: %

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

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

384: %

385: \end{picture}

386: \end{center}

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

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

389: \label{class}

390: \end{figure}

391: Let $\LL_{\hk}$ be the linear operator defined by the right hand side of 

392: (\ref{CLE}), and $H^s$ be the Sobolev space where $s \geq 0$ is an integer and 

393: $H^0=\ell_2$. 

394: \begin{theorem}

395: The eigenvalues of the linear operator $\LL_{\hk}$ in $H^s$ are of 

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

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

398: \end{theorem}

399: Proof. The same proof as in \cite{Li00} works here. QED

400: 

401: \nid

402: The eigenvalues can be computed through continued fractions \cite{Li00}.

403: \begin{definition}[The Disk]

404: The disk of radius $| p |$ in $\Z$, denoted by

405: $\bar{D}_{| p |}$, is defined as

406: \[ 

407:  \bar{D}_{| p |} = \bigg \{ k \in \Z \ \bigg| 

408:      \ | k | \leq | p | \bigg \} \, .

409: \]

410: \end{definition}

411: \nid

412: See Fig.\ref{class} for an illustration. 

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

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

415: \begin{enumerate}

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

417: $H^s$ spectrum of the linear operator $\LL_{\hk}$ 

418: is its continuous spectrum. See Figure \ref{splb}, where

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

420: \left|

421:   \begin{array}{cc}

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

423: p_2 & \hat{k}_2

424:   \end{array}

425: \right| \ .$

426: That is, both the residual and the point spectra of $\LL_{\hk}$ are empty.

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

428: essential $H^s$ spectrum of the linear operator $\LL_{\hk}$ is its 

429: continuous spectrum. 

430: That is, the residual 

431: spectrum of $\LL_{\hk}$ is empty. The point 

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

433: imaginary axes. 

434: See Figure \ref{spla2}.

435: \end{enumerate}

436: \label{SST}

437: \end{theorem}

438: Proof. The same proof as in \cite{Li00} can be carried through here for 

439: $H^s$, with the following minor modifications:

440: \begin{enumerate}

441: \item In the proof of Theorem VI.1 on page 747 of \cite{Li00}, simply 

442: replace the $\ell_2$-norm by $H^s$-norm.

443: \item In the proof of Theorem VI.3 on page 750 of \cite{Li00}, the inner

444: product $\lag \ , \ \rag$ should still be an $\ell_2$ inner product.

445: \item In the proof of Theorem VI.4 on page 751 of \cite{Li00}, $\ell_1$, 

446: $\ell_2$, and  $\ell_\infty$ should be replaced by the Sobolev spaces 

447: $W^{s,1}$, $W^{s,2}$ ($=H^s$ in our notation), and $W^{s,\infty }$. In the 

448: expression (VI.60) of $f_n$ on page 753, one has 

449: \begin{eqnarray*}

450:  n^sf_n &=& \frac{2 \left[ 1-w_*^{-4} \right]}{W_0} 

451:        \ \sum^{n-1}_{j=0} \left[ (n-j)^s w_*^{n-j} + (n-j)^s 

452: (-w_*)^{n-j} \right] \\

453: & & \bigg ( \frac{n^s}{(n-j)^s (j+2)^s} \bigg )(j+2)^sy_{j+2} 

454:      - \frac{2 \left[ 1-w_*^4 \right]}{W_0} 

455:        \sum^{\infty}_{j=n} \\

456: & & \left[ w_*^{j-n} + (-w_*)^{j-n} \right]

457: \bigg ( \frac{n^s}{(j+2)^s} \bigg )(j+2)^s y_{j+2} \, ,  

458: \end{eqnarray*}

459: where both $\bigg ( \frac{n^s}{(n-j)^s (j+2)^s} \bigg )$ and 

460: $\bigg ( \frac{n^s}{(j+2)^s} \bigg )$ are bounded in $n$ and $j$, and 

461: the Riesz convexity theorem can be applied.

462: \end{enumerate}

463: The proof of the theorem is completed. QED

464: 

465: \begin{figure}[ht]

466:   \begin{center}

467:     \leavevmode

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

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

470:     \thicklines

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

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

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

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

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

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

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

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

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

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

481: \end{picture}

482:   \end{center}

483: \caption{The spectrum of $\LL_{\hk}$ in case (1).}

484: \label{splb}

485: \end{figure}

486: \begin{figure}[ht]

487:   \begin{center}

488:     \leavevmode

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

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

491:     \thicklines

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

514: \end{picture}

515:   \end{center}

516: \caption{The spectrum of $\LL_{\hk}$ in case (2).}

517: \label{spla2}

518: \end{figure}

519: \begin{figure}[ht]

520:   \begin{center}

521:     \leavevmode

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

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

524:     \thicklines

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

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

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

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

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

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

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

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

533: \put(0.1,-10){\line(0,1){20}}

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

535: \put(-0.2,-10){\line(1,0){0.4}}

536: \put(-0.2,10){\line(1,0){0.4}}

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

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

539: \end{picture}

540:   \end{center}

541: \caption{The spectrum of $\LL_{\hk}$ with $\hk = (-3,-2)^T$, when $p=(1,1)^T$.}

542: \label{figev}

543: \end{figure}

544: \begin{figure}[ht]

545:   \begin{center}

546:     \leavevmode

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

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

549:     \thinlines

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

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

552:     \thicklines

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

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

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

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

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

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

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

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

561:     \thinlines

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

580: \end{picture}

581: \end{center}

582: \caption{The collocation of the modes in the line model.}

583: \label{model}

584: \end{figure}

585: 

586: \section{Invariant Manifolds of the Line Model}

587: 

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

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

590: \[

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

592: \]

593: and the 2D Euler equation (\ref{euler}) preserves the cosine 

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

595: line model based upon the fixed point (\ref{fixpt}) with the 

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

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

598: quadruple. These four eigenvalues appear in the invariant 

599: linear subsystem labeled by $\hk = (-3,-2)^T$. We computed the eigenvalues 

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

601: \begin{equation}

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

603: \label{evun}

604: \end{equation}

605: See Figure \ref{figev} for an illustration. The essential spectrum 

606: (= continuous spectrum) of $\LL_{\hk}$ with $\hk = (-3,-2)^T$ is the segment 

607: on the imaginary axis shown in Figure \ref{figev}, where 

608: $b = -\frac{1}{4} \Ga$. The essential spectrum 

609: (= continuous spectrum) of the linear 2D Euler operator at this fixed point 

610: is the entire imaginary axis. The line model is a Galerkin truncation with 

611: the modes on the line $\{ \hk + n p , \ n \in \mathbb{Z} \}$ and $p$, where 

612: $\hk = (-3,-2)^T$ and $p=(1,1)^T$. See Figure \ref{model} for an 

613: illustration of the modes in this model, which has the 

614: line nature leading to the name of the model. The line model is designed to 

615: model the hyperbolic structure in the neighborhood of the fixed point. For 

616: simplicity of presentation, we use the abbreviated notations,

617: \[

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

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

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

621: \]

622: The {\em{line model}} is,

623: \begin{eqnarray}

624: \dot{\omega}_n &=& A_{n-1} \omega_p

625: \omega_{n-1} - A_{n+1} \omega_p \omega_{n+1} \ , 

626: \nonumber \\ 

627: \label{rdlm} \\

628: \dot{\omega}_p &=& - \sum_{n \in Z}

629: A_{n-1,n} \omega_{n-1} \omega_n \, . \nonumber

630: \end{eqnarray}

631: We also use $\om^*$ to denote the fixed point of the line model 

632: $\{ \om_p = \Ga; \ \om_n = 0, \ \forall n \in \mathbb{Z} \}$. The linearized 

633: line model at the fixed point $\om^*$ is the same with the invariant 

634: subsystem (\ref{CLE}) with $\hk = (-3,-2)^T$ and $p=(1,1)^T$. In the 

635: neighborhood of the fixed point $\om^*$, the line model can be rewritten as

636: \begin{equation}

637: \dot{\om} = L\om +Q(\om)\ , 

638: \label{mlm}

639: \end{equation}

640: where

641: \begin{eqnarray*}

642: & & \om = (\om_p, \quad \om_n \quad (n \in \mathbb{Z}))\ , \\

643: & & [L\om]_n = A_{n-1} \Ga \om_{n-1} - A_{n+1} \Ga \om_{n+1} \ , \\

644: & & [L\om]_p =0 \ , \\

645: & & [Q(\om)]_n = A_{n-1} \om_p \om_{n-1} - A_{n+1} \om_p \om_{n+1} \ , \\

646: & & [Q(\om)]_p = - \sum_{n \in \mathbb{Z}}A_{n-1,n}\om_{n-1} \om_{n}\ . 

647: \end{eqnarray*}

648: The spectrum of $L$ is given in Figure \ref{figev}. We have

649: \begin{theorem}[Invariant Manifold Theorem]

650: The line of fixed points $\om^*$ parametrized by $\Ga$ of the line model has 

651: codimension 2 smooth center-unstable and center-stable manifolds, and 

652: codimension 4 smooth center manifold, in $H^s$ ($s \geq 1$).

653: \end{theorem}

654: Proof. The spectrum of $L$ in $H^s$ ($s \geq 1$) is given in Figure 

655: \ref{figev}. $Q(\om)$ is quadratic in $\om$ for $H^s$ ($s \geq 1$) is 

656: a Banach algebra. In a small neighborhood of $\om^*$, the existence of 

657: smooth center-unstable, center-stable, and center manifolds follows from 

658: standard arguments. QED

659: 

660: \section{A Line Model for 2D Navier-Stokes Equation}

661: 

662: We consider the 2D Navier-Stokes equation with temporally periodic forcing,

663: as a singular perturbation of the 2D Euler equation (\ref{euler}),

664: \begin{equation}

665: {\pa \Om \over \pa t} + \{ \Psi, \Om \} = \e [\Dl \Om + f(t,x,y)] \ ,

666: \label{nse}

667: \end{equation}

668: where $\e = 1/\mbox{Re}$ is the inverse of Reynolds number, and $f(t,x,y)$ 

669: is periodic in $t$, periodic in $x$ and $y$ of period $2\pi$, and of 

670: spatial mean $0$. The corresponding line model is

671: \begin{eqnarray}

672: \dot{\omega}_n &=& A_{n-1} \omega_p

673: \omega_{n-1} - A_{n+1} \omega_p \omega_{n+1} +

674: \e [-\k_n^2 \om_n +f_n(t)]\ , \nonumber \\ 

675: \label{nslm} \\

676: \dot{\omega}_p &=& - \sum_{n \in Z}

677: A_{n-1,n} \omega_{n-1} \omega_n +

678: \e [-\k_p^2 \om_p +f_p(t)]\, , \nonumber

679: \end{eqnarray}

680: where $f_n$ and $f_p$ are periodic functions of $t$, and 

681: \[

682: \k_n = | \hk +np|\ , \quad \k_p =|p|\ , \quad \hk = (-3,-2)^T\ ,

683: \quad p=(1,1)^T \ .

684: \]

685: 

686: 

687: 

688: 

689: \begin{thebibliography}{99}

690: \bibitem{Li00} Y. Li, On 2D Euler equations. I. On the energy-Casimir 

691:            stabilities and the spectra for a linearized two 

692:            dimensional Euler equation, {\it Journal of Mathematical 

693: Physics} {\bf 41, no.2} (2000), 728.

694: \bibitem{Li01} Y. Li, On 2D Euler equations: part II. Lax pairs 

695: and homoclinic strucutres, {\it Submitted} (2001). 

696: \bibitem{Li01a} Y. Li, A Lax pair for the 2D Euler equation, {\it 

697: Journal of Mathematical Physics} {\bf 42, no.8} (2001), 3552.

698: \bibitem{LY00} Y. Li and A. Yurov, Lax pairs and Darboux transformations 

699: for Euler equations, {\bf Preprint, available at: 

700: http://xxx.lanl.gov/abs/math.AP/0101214, or 

701: http://www.math.missouri.edu/\~{}cli} (2000).

702: \bibitem{Li00a} Y. Li, B{\"{a}}cklund-Darboux transformations 

703:          and Melnikov analysis for Davey-Stewartson II equations, {\it

704: Journal of Nonlinear Sciences} {\bf 10, no.1} (2000), 103.

705: 

706: \end{thebibliography}

707: 

708: \end{document}

709: 

710: %-----------------------------------------------------------------------

711: % End of article.tex

712: %-----------------------------------------------------------------------

713: