1: \documentclass[leqno, a4paper, 12pt]{article}

2: \pagestyle{myheadings}

3: \markboth{}{\textsl{G. Loeper,  Euler-Poisson and Euler-Monge-Amp\`ere}}

4: \usepackage{amsmath,amsfonts,here,epsf}

5: \usepackage[latin1]{inputenc}

6: \usepackage[T1]{fontenc}

7: \usepackage{amsmath,amssymb}

8: \usepackage{ae,aecompl}

9: 

10: 

11: 

12: 

13: \evensidemargin -2 cm

14: \oddsidemargin -1 cm

15: \setlength{\textwidth}{18cm}

16: \setlength{\textheight}{21.6cm}

17: \begin{document}

18: \newtheorem{theo}{Theorem}[section]

19: \newtheorem{lemme}[theo]{Lemma}

20: \newtheorem{cor}[theo]{Corollary}

21: \newtheorem{defi}[theo]{Definition}

22: \newtheorem{prop}[theo]{Proposition}

23: \newcommand{\beq}{\begin{eqnarray}}

24: \newcommand{\enq}{\end{eqnarray}}

25: \newcommand{\be}{\begin{eqnarray*}}

26: \newcommand{\en}{\end{eqnarray*}}

27: \newcommand{\Td}{\mathbb T^d}

28: \newcommand{\T}{\mathbb T}

29: \newcommand{\Rd}{\mathbb R^d}

30: \newcommand{\R}{\mathbb R}

31: \newcommand{\Zd}{\mathbb Z^d}

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

33: \newcommand{\N}{\mathbb N}

34: \newcommand{\Linf}{L^{\infty}}

35: \newcommand{\dt}{\partial_t}

36: \newcommand{\Dt}{\frac{d}{dt}}

37: \newcommand{\Dtt}{\frac{d^2}{dt^2}}

38: \newcommand{\demi}{\frac{1}{2}}

39: \newcommand{\vf}{\varphi}

40: \newcommand{\epu}{_{\epsilon}}

41: \newcommand{\ep}{^{\epsilon}}

42: \newcommand{\ds}{\displaystyle}

43: \title{Quasi-neutral limit of the Euler-Poisson and Euler-Monge-Amp\`ere systems}

44: \author{G. Loeper\thanks{Research supported by a doctoral grant at Laboratoire J.A. Dieudonn\'e, Universit\'e de Nice-Sophia-Antipolis}}

45: \date{}

46: \maketitle

47: \thispagestyle{empty}

48: \bibliographystyle{plain}

49: 

50: 

51: \begin{abstract}

52: This paper studies the pressureless Euler-Poisson system and its fully non-linear counterpart,  the 

53: Euler-Monge-Amp\`ere system, where the fully non-linear Monge-Amp\`ere equation substitutes for the linear Poisson equation.

54: While the first is a model of plasma physics, the second is derived as a geometric approximation to the Euler 

55: incompressible equations. Using 

56: energy estimates, convergence of both systems to the Euler incompressible equations is proved.   

57: \end{abstract}

58: \section{Introduction}

59: 

60: In this paper we consider a model of a collisionless plasma where the ions are supposed to be at rest and create a neutralizing background field.  The motion of the electrons can then be described by using either the kinetic formalism or the hydrodynamic equations of conservation of mass and momentum as we do here. The self-induced electric field is the gradient of a potential that depends on the electron's density $\rho$ either through the linear Poisson equation: $\ds\Delta \phi =\frac{1}{\epsilon}(\rho-1)$, or through the fully non-linear Monge-Amp\`ere equation: $\ds\det (I+\epsilon\partial_{ij}\phi)=\rho$.  This gives the Euler-Poisson ($(EP\epu)$) system  and Euler-Monge-Amp\`ere ($(EMA\epu)$)  system. 

61: The non-dimensional rescaled version of both systems is the following:

62: \be

63: &&\dt\rho +\nabla\cdot (\rho v)=0,\\

64: &&\dt v + v\cdot \nabla v=\frac{1}{\epsilon}\nabla \phi, \\

65: &&\epsilon\Delta \phi =\rho-1 \,\textrm{  in the Poisson case },\\

66: &&\det (I+\epsilon\partial_{ij}\phi)=\rho \,\textrm {  in the Monge-Amp\`ere case. }

67: \en

68: Note that the systems are pressureless, and the only force is due to electrostatic interaction.

69: The energy of those systems is given by

70: \be

71: {\cal E}\ep = \demi \int \rho|v|^2 + |\nabla\phi|^2 \ dx

72: \en for Euler-Poisson and

73:  

74: \be

75: {\cal E}\ep = \demi \int \rho|v|^2 + \rho |\nabla\phi|^2 \ dx

76: \en for Euler-Monge-Amp\`ere.

77: 

78: The asymptotic we look at consists in considering large scales compared to the Debye length ($\epsilon $). At those scales the plasma appears to be electrically neutral. In this limit the plasma is expected to behave like an incompressible fluid, therefore governed by the incompressible Euler equation $(E)$.

79: We intend to rigorously justify those limits in the present work.

80: 

81: \paragraph*{Physical interpretation of the quasi-neutral limit for Euler-Poisson}

82: The complete model of collisionless plasma describes the behavior of two species: the ions and the electrons. However the ratio of the electron's mass and the ion's mass is of several orders of magnitude, therefore we make the assumption that the ions are at rest, and distributed over a regular grid. This assumption will imply the neutralizing background electric field (the '-1' term in the Poisson equation $\ds \epsilon\Delta\phi=\rho-1$). 

83: The parameter $\epsilon$ comes from the vacuum permittivity, obtained after many rescalings of the equation. The typical value of $\epsilon^2$ is between $10^{-10}$ and $10^{-5}$. We consider therefore $\epsilon$ as a small parameter, and investigate the limit $\epsilon  \to 0$ of the Euler-Poisson system.

84: Note that if $(v,\rho,\phi)$ is a solution to the Euler-Poisson system with $\epsilon = 1$, $(v\ep, \rho\ep, \phi\ep):=(v,\rho,\phi)(\epsilon^{-1}t, \epsilon^{-1}x)$ is a solution of the Euler-Poisson system with parameter $\epsilon$. Therefore, the limit $\epsilon \to 0$ can be interpreted as a study of the long time - large scale behavior of the system.

85: 

86: 

87: \paragraph*{Geometric interpretation of the quasi-neutral limit for Euler-Monge-Amp\`ere}

88: Whereas the Euler-Poisson system relies on a well known physical model,

89: the Euler-Monge-Amp\`ere system,  less famous, is a fully non-linear (but asymptotically close in the quasi-neutral regime) version of the

90: Euler-Poisson system;

91: it can be seen as a non-linear model of electrostatic interaction with the advantage of allowing finite electric field for point charges (see also \cite{BrBI} where the Born-Infeld system of electromagnetism is studied, a system that exhibits similar non-linear features). 

92: Apart from this interpretation, the main motivation for the study of the Euler-Monge-Amp\`ere system is the following: it appears as a 'canonical' relaxation of the geodesics on the group of

93: measure preserving diffeomorphisms (therefore of the Euler incompressible equation, see \cite{AK}).

94: This interpretation will be 

95: developed more accurately in the section \ref{3section-euler}  devoted to the Euler-Monge-Amp\`ere equation. 

96: This model was first introduced, in a discrete version, by Y. Brenier in \cite{Br3}. 

97: Later, a kinetic version, the Vlasov-Monge-Amp\`ere system, has been introduced and studied by  Y. Brenier and the author  

98: in \cite{BL}.

99: The present work may be seen as a further step in this study.

100: 

101: 

102: To see why the $(EP\epu)$ and the $(EMA\epu)$ systems should be asymptotically close in the quasi-neutral regime,

103: notice that if $\rho$ is close to 1 then  $\epsilon\partial_{ij}\phi$ should be small, hence

104: $\det (I+\epsilon\partial_{ij}\phi)=1+\epsilon \Delta\phi+ O(\epsilon^2)$ and one recovers the Poisson equation. For this reason the proof of the convergence of both systems  will be very close 

105: and this is why we present them altogether.

106: 

107: \paragraph*{Related results concerning singular perturbations}

108: This work is concerned with the motion of slightly compressible fluids seen as singular perturbations of the Euler incompressible equation; this field has been widely investigated using different techniques:

109: 

110: - Traditional analysis and geometry on the group of volume preserving diffeomorphisms (see section \ref{3section-euler})  as done in \cite{Eb} where the convergence holds in $H^s$ norm, $s$ large, for well prepared initial data, restricted to the case of barotropic fluids (i.e. when the pressure is a local function of the density $\rho$,  a case different from the one studied here.) 

111: 

112: - Energy estimates as done in \cite{KM} again for the case of barotropic fluids, where convergence holds in all $H^s$ norms for well prepared initial data. The result has also been extended to the non-isentropic case by \cite{MeSc}.

113: 

114: - Pseudo-differential energy estimates as done in \cite{Gr} 

115: which can be seen as a pseudo-differential generalization of \cite{KM} and where the same

116: convergence holds for a broader class of singular perturbations, including non-local dependence between density and pressure. 

117: 

118: - Modulated energy techniques for convergence of  the Vlasov-Poisson system to the so-called dissipative solutions of the Euler equation, as done 

119: in  \cite{Br2}, and for the Vlasov-Monge-Amp\`ere system (a kinetic version of 

120: the Euler-Monge-Amp\`ere system) as done in \cite{BL}.

121: The  convergence result obtained there holds in  weighted ``$L^2$'' norms, this method has the advantage to be valid for weak solutions, and does not 

122: require any smoothness of the solution. We give here more details on this result:

123: \paragraph*{Modulated energy technique for Vlasov-Poisson and Vlasov-Monge-Amp\`ere}

124: Those systems are the kinetic extensions of the $(EP\epu)$ and $(EMA\epu)$ systems. They read as follows:

125: \beq

126: &&\frac{\partial f}{\partial t}+\nabla_x\left(\xi f\right)

127: +\frac{1}{\epsilon}\nabla_{\xi}\left( \nabla\phi)f\right)=0\label{3vma},\\

128: &&\Delta \phi =\frac{1}{\epsilon}(\rho-1) \,\textrm{  in the Poisson case }\label{3pv},\\

129: &&\det (I+\epsilon\partial_{ij}\phi)=\rho \,\textrm {  in the Monge-Amp\`ere case }\label{3mav},\\

130: &&f(0,\cdot,\cdot)=f^0\label{3vmainit}.

131: \enq

132: In \cite{Br2} and \cite{BL}, the following results have been obtained:

133: \begin{theo}

134: \label{3neutre}

135: Let $f$ be a weak solution of (\ref{3vma}, \ref{3mav}, \ref{3vmainit}) (resp. of  (\ref{3vma}, \ref{3pv}, \ref{3vmainit})) with finite energy, let 

136: $(t,x)\rightarrow\bar v(t,x)$ be a smooth solution of the incompressible Euler equation (\ref{3euler}) for $t\in[0,T],$ and $p(t,x)$ the corresponding pressure, let  

137: \begin{eqnarray*}

138: H_\epsilon(t)=\frac{1}{2}\int f(t,x,\xi)|\xi-\bar v(t,x)|^2 dx d\xi + E\epu(t),

139: \end{eqnarray*}

140: where $E\epu(t)=\epsilon^{-2} \int \rho |\nabla\phi|^2/2$ (resp. $E\epu(t)=\epsilon^{-2} \int |\nabla\phi|^2/2$ in the Poisson case), 

141: then 

142: \begin{eqnarray*}

143: H_{\epsilon}(t)\leq  C\exp(Ct)(H_{\epsilon}(0) + C\epsilon^2),\;\forall t \in [0,T].

144: \end{eqnarray*}

145: The constant $C$  depends only of the $W^{1,\infty}_x$ norm of 

146: $\{\bar v(s,.), p(s,.), \partial_t p(s,.), \nabla p(s,.)\,s\in [0,T]\}.$

147: \end{theo}

148: 

149: 

150: \paragraph*{Results}

151: Here we shall obtain by energy estimates a convergence to the Euler

152: incompressible system  in $\Linf_t H^s_x$ norm for any $s$ large enough (the minimal smoothness will be made precise). 

153: The convergence of both systems holds on the range of time 

154: on which the solution of Euler is smooth enough (roughly speaking, we will need at least $D^2v$ to be bounded in $\Linf$). Our work is based on the modulated energy techniques, restricted to the case of  monokinetic velocity profiles. Indeed, the quasi-neutral limit is much more difficult without this assumption, and is even known to be false in some cases (the two-streams instability, see \cite{CoGrGu}). We will mostly restrict ourselves to the case of  well-prepared initial data, but we will investigate briefly the case of non-prepared initial data: in that case the divergence part of the initial velocity is not assumed to be small, and we only assume that the initial fluctuations of the electronic density $\rho$ are of order $\epsilon$, so that the energy remains bounded.  

155: The electric field is expected to oscillate at frequency $\epsilon^{-1}$ and with amplitude $O(\epsilon^{-1})$. This case will be treated in section 2.3, and we will obtain that the divergence-free part of the velocity converges strongly to a solution of the Euler incompressible equation while its potential part stays bounded, but oscillates strongly with respect to time, and therefore converges weakly to 0.

156: 

157: 

158: 

159: 

160: 

161: 

162: 

163: We obtain also that both systems are closer to each other than they are close to the Euler

164: incompressible system; $(EP\epu)$ is thus a corrector in the convergence of $(EMA\epu)$ to $(E)$.

165: 

166: Although the operators that define the acceleration from the density 

167: are differential operators (and even fully non-linear in the second case), our proof

168: does not use the pseudo-differential formalism.

169: Actually, we were not able to use  the general theorem obtained by Grenier \cite{Gr} for singular perturbations: it might be because of the absence of pressure that changes the symmetrizers of the system.

170: After a convenient change of variable however, the system appears under a form which is strongly reminiscent (at least for the highest order terms) of the rapidly rotating fluids. This limit has been treated in \cite{Gr}.

171: 

172: 

173: Finally we also mention the work of Cordier  \& Grenier \cite{CG}, and Wang \cite{Ws}, where the quasi-neutral limit 'with pressure' is treated. The techniques used there do not apply here, and it is worth noting that the scaling obtained are not the same. The reader can also refer to \cite{Guo} and \cite{Pe} where different regimes of the Euler-Poisson system are studied. 

174: 

175: We split the rest of the paper in two sections: the first one devoted to the study of the Euler-Poisson system, and the second devoted to the study of the Euler-Monge-Amp\`ere system.

176: 

177: 

178: \subsection{Notation}

179: Hereafter $x\in \Td=\Rd/\Zd$ and $t\in \R^+$; $v(t,x)\in \Rd$ stands for the velocity and $\rho(t,x)\in \R^+$ is the macroscopic density of electrons; $\phi(t,x)\in \R$ is the electrostatic potential; $d=2$ or $3$.

180: 

181: It is always assumed that $\rho(t,\cdot)$ has total mass equal to 1.

182: 

183: The divergence of a vector field $v$ will be denoted by ${\rm div } v$ or $\nabla\cdot v$; its rotational (or curl) will be denoted by $\nabla\times v$ or ${\rm curl } v$.

184: 

185: The components of a vector will be denoted with superindices, i.e. $v\in \Rd=(v^i)_{i=1..d}$.

186: 

187: In all the paper, $[\cdot]$ will denote the integer part.

188: 

189: We denote respectively by $(E)$, $(EP\epu)$, $(EMA\epu)$ the systems Euler incompressible, Euler-Poisson, Euler-Monge-Amp\`ere. 

190: 

191: 

192: 

193: \section{The Euler-Poisson system}

194: We consider the following Euler-Poisson system denoted by $(EP\epu)$:

195: \beq

196: &&\dt \rho +\nabla\cdot (\rho v)=0\label{3continuite},\\

197: &&\dt v + v\cdot \nabla v = \frac{\nabla \phi}{\epsilon } \label{3euler-poisson},   \\

198: &&\epsilon\Delta \phi =\rho -1\label{3poisson},

199: \enq

200: and consider the limit $\epsilon $ going to 0. 

201: We recall also the incompressible Euler equation $(E)$:

202: \beq

203: &&\dt v + v\cdot \nabla v = \nabla p,\nonumber   \\

204: &&\nabla\cdot v=0. \label{3euler}

205: \enq

206: We recall (see  \cite{Che} for a reference on the topic) that in the periodic case, the Cauchy problem for (\ref{3euler}) is well posed in $H^s(\Td)$ if $s>d/2+1$. More precisely, if $d=2$, for any divergence-free initial datum in $H^s$, there exists a unique global solution in $\Linf_{loc}(\R, H^s(\Td))$; if $d=3$ one can only prove the existence of a smooth solution in finite time, belonging to $\Linf_{loc}([0,T[,H^s(\Td))$ for some $T>0$. 

207: We will then prove the following:

208: \subsection{Result}

209: \begin{theo}\label{3eulerpoisson}

210: Let $s\in \N$ with $s\geq [d/2]+2$. 

211: Let $\bar v_0$ be a divergence-free vector field on $\Td$.

212: Let $(\bar v,p)$ be a smooth solution of the Euler incompressible system (\ref{3euler}) on $[0,T]\times \Td$,

213: with initial data $\bar v_0$, satisfying $\bar v\in \Linf([0,T], H^{s+1}(\Td))$. 

214: Let $ (\rho_0\ep, v_0\ep) $ be a sequence of initial data such that 

215: $\int_{\Td}\rho\ep(x)dx =1$, and such that

216: $\ds \left(\epsilon^{-1}(v_0\ep-\bar v_0),\epsilon^{-2}(\rho_0\ep-1)\right)$ 

217: is bounded in $H^s\times H^{s-1}(\Td)$. Then there exists a sequence $ (v\ep, \rho\ep)$ of 

218: solutions to $(EP\epu)$  with initial data $(v_0\ep, \rho_0\ep)$, belonging to  $\Linf([0,T_{\epsilon}],H^s\times H^{s-1}(\Td))$, with $\liminf_{\epsilon\rightarrow 0}T_{\epsilon}\geq T$. Moreover for any $T'<T$ and $\epsilon$ 

219: small enough, 

220: $\ds\left(\epsilon^{-1}(v\ep-\bar v),\epsilon^{-2}(\rho\ep-1)\right)$

221: is bounded in $\Linf([0,T'], H^{s}\times H^{s-1}(\Td))$. 

222: Finally when $T=+\infty$, $T\epu$ goes to infinity.

223: \end{theo}

224: 

225: {\it Remark.} 

226: The models that we consider are valid in domains without boundaries, and although stated in the space periodic case, we believe that our results hold true, with some technical adaptation, in  the case of the whole space.

227: \subsection{Proof of Theorem \ref{3eulerpoisson}}

228: 

229: \subsubsection{Heuristics.}

230: Let us introduce $(\bar v, p)$ the solution of the Euler incompressible system (\ref{3euler}) and corresponding pressure.

231: Note that by taking the divergence of (\ref{3euler}) the pressure is given by the following:

232: \be

233: &&\Delta p =\sum_{i,j=1}^d\partial_i \bar v ^j \partial_j\bar v ^i.

234: \en

235: We will all along the paper use the following  notation: for two vector fields $u,v$,

236: \be

237: && \nabla  u : \nabla  v=\sum_{i,j=1}^d\partial_i  u ^j \partial_j  v ^i. 

238: \en

239: If $v$ is solution to $(EP\epu)$, we introduce also 

240: \be

241: &&v=\bar v + \epsilon v_1,\\

242: &&\rho=1+\epsilon^2 \rho_1.\\

243: \en

244: We suppose for now that $d=2$,

245: and we  take the curl and the divergence of the momentum equation, this yields

246: \be

247: && \dt {\rm curl} v_1 + v\cdot\nabla {\rm curl} v_1 = R_1,\\

248: &&\dt {\rm div} v_1 + v\cdot\nabla {\rm div} v_1 = \frac{\rho_1}{\epsilon} + R_2,\\

249: && \dt \rho_1 + v\cdot\nabla\rho_1 = -\frac{{\rm div}v_1}{\epsilon} + R_3.

250: \en

251: If we assume for now that $v_1, \rho_1$ and their spatial derivatives remain bounded (we do not specify in what sense yet), $R_i,i=1,2,3$ are bounded terms.

252: Hence the vorticity ${\rm curl}v$ is not affected by the  electric field, and 

253: the vector ${\bf u} = ({\rm curl}v_1, {\rm div}v_1, \rho_1)$ evolves through

254: \be

255: \dt {\bf u} + v\cdot\nabla{\bf u}= \frac{{\bf k}}{\epsilon}\times {\bf u} + {\bf R} ,

256: \en with ${\bf R}$ bounded, and ${\bf k} = (1,0,0)$. Under this form,   the system looks like a rapidly rotating fluid (up to the remainder ${\bf R}$, and the fact that $v\neq {\bf u}$) and the singular term

257: $\frac{{\bf k}}{\epsilon}\times {\bf u}$ induces time oscillations of frequency $\epsilon^{-1}$, but does not increase the energy of the perturbation, allowing energy estimates, as long as the remainder ${\bf R}$ is under control.

258: 

259:  

260: 

261: 

262: \subsubsection{Reformulation of the system with new unknowns}

263: For a vector $u\in \Rd$, we denote $u^1,...,u^d$ its components.

264: We define the new unknowns $\omega_1,\beta_1,\rho_1$ as follows:

265: \be

266: && \nabla \cdot v = \epsilon \beta_1,\\

267: && \rho=1+ \epsilon^2 \rho_1=1 + \epsilon \Delta\phi,\\

268: && \textrm{curl } v =\omega=\bar \omega+\epsilon \omega_1,

269: \en

270: with $(\bar v, p)$ the solution of $(E)$, and $\bar \omega= \textrm{curl } \bar v $. 

271: 

272: We will use the following observation: 

273: \begin{lemme}\label{3momentep}

274: Let $(\rho,v)$ be a solution to $(EP\epu)$. Then, the total momentum $\int \rho(t,x)v(t,x) \ dx$ does not depend on time.

275: \end{lemme}

276: 

277: {\bf Proof.} The momentum equation can be rewritten

278: \be

279: \dt(\rho v) + \nabla\cdot(\rho v\otimes v) = \rho \nabla\phi.

280: \en

281: We just have to show that the integral of the right hand side vanishes.

282: For this,  we use the identity

283: $$(1+\epsilon^2\Delta \phi)\nabla \phi=\epsilon^2\left[\nabla\cdot (\nabla \phi \otimes \nabla \phi)-\demi\nabla|\nabla \phi|^2\right]  + \nabla \phi,$$

284: that yields 0 when integrated over $\Td$.

285: 

286: $\hfill\Box$

287: 

288: 

289: 

290: We note also 

291: \be

292: v=\bar v + \epsilon v_1,

293: \en

294: but $v_1$ is not really an unknown since it can be obtained from the knowledge of $\omega_1, \beta_1$, and $\epsilon\int \rho v_1 = \int \rho_0 v_0 - \int \rho \bar v$: 

295: Indeed when $d=2$ we have 

296: \beq

297: &&\partial_1 \beta_1 +\partial_2\omega_1 =\Delta v_1^1\label{3alphabetav1},\\

298: &&\partial_2 \beta_1 - \partial_1 \omega_1 =\Delta v_1^2\label{3alphabetav2}.

299: \enq

300: In the 3 dimensional case we have equations (\ref{3alphabetav1}, \ref{3alphabetav2}) replaced by

301: \be

302: (\nabla\times \nabla\times v ) +\nabla (\nabla\cdot v)=\Delta v,

303: \en

304: and thus

305: \beq

306: (\nabla\times \omega_1 )^i+\partial_i\beta_1 = \Delta v^i_1\label{3alphabetav3}.

307: \enq 

308: Note that when $d=2$ the vorticity is scalar and when $d\neq 2$ it is a vector field of $\Td$.

309: We show now that $v_1$ can be estimated from $\omega_1$, $\beta_1$, and $\int \rho v$.

310: \begin{lemme}\label{3retrieve}

311: Let $(\rho,v)$ be the solution at time $t$ of $(EP\epu)$ with initial datum $(\rho_0, v_0)$, let $\bar v$ be a solution at time $t$  of $(E)$ with initial datum $\bar v_0$.

312: Then we have, for $s\in \R$, 

313: \be

314: &&\Big\|v-\bar v - \int [v-\bar v]\Big\|_{H^{s+1}(\Td)} \leq  C \Big( \|\nabla\cdot v\|_{H^s(\Td)} +  \|\nabla\times(v-\bar v)\|_{H^s(\Td)} \Big),\\

315: &&\left|\int [v- \bar v]\right| \leq \\

316: &&C \Big( \|\rho-1\|_{L^2(\Td)} (\|\bar v\|_{L^2(\Td)}+\|\nabla\cdot v\|_{H^{-1}(\Td)} + \|\nabla\times (v-\bar v)\|_{H^{-1}(\Td)}) + \left|\int [\rho_0v_0 - \bar v_0]\right| \Big).

317: \en

318: \end{lemme}

319: 

320:  {\bf Proof.} Let $u_1$ be the unique vector field with zero average such that 

321: \be

322: && \nabla\times u_1 = \nabla\times (v-\bar v),\\

323: && \nabla\cdot u_1 = \nabla\cdot v.

324: \en

325: We have directly from identities (\ref{3alphabetav1}, \ref{3alphabetav2}, \ref{3alphabetav3}) that $\|u_1\|_{H^{s+1}} \leq C \Big( \|\nabla\cdot v\|_{H^s} +  \|\nabla\times (v-\bar v)\|_{H^s} \Big)$, which is the first point of the lemma.

326: The difference $v-\bar v -u_1=w_1$ is  a constant vector field, and we have

327: \be

328: \int \rho v& =& \int \rho \bar v + \int \rho(v-\bar v)\\ 

329: &=& \int \bar v + \int (\rho - 1)\bar v + \int (\rho-1) u_1 + w_1,

330: \en

331: which yields

332: \be

333: w_1 = \int [\rho_0v_0 -\bar v_0] - \int (\rho - 1)\bar v - \int (\rho-1) u_1,

334: \en

335: and the result follows.

336: 

337: $\hfill \Box$

338: 

339: 

340: We immediately deduce the following corollary:

341: \begin{cor}\label{3estime}

342: Let $(\rho, v)$ be a solution to $(EP\epu)$, let $\bar v$ be a solution to $(E)$. Then, for any $s\geq 0$,

343: \be

344: \|v-\bar v\|_{H^s} &\leq& \left|\int [\rho_0 v_0 - \bar v_0]\right|  \\

345: &+& C(1+ \|\rho-1\|_{H^s}) \Big( \|\nabla\cdot v\|_{H^{s-1}} + \|\nabla\times (v-\bar v)\|_{H^{s-1}}\Big) \\

346: &+& C\|\rho-1\|_{H^s}\|\bar v\|_{H^s}.

347: \en

348: \end{cor}  

349: 

350: 

351: Taking the curl of equation (\ref{3euler-poisson}) we recall the following identities:

352: \beq

353: && \dt \omega + (v\cdot \nabla) \omega  + (\nabla\cdot  v)  \omega  =0 \textrm{ when } d=2,\label{3dtalpha2}\\

354: && \dt \omega + (v\cdot \nabla) \omega  + (\nabla\cdot  v ) \omega + (\omega \cdot \nabla) v=0 

355: \textrm{ when } d=3.\label{3dtalpha3}

356: \enq

357: When $d=2$ the $(EP\epu)$ system  then becomes:

358: \beq

359: &&\dt (\bar \omega+\epsilon \omega_1)+ v\cdot \nabla (\bar \omega+\epsilon \omega_1)

360: =-(\bar \omega+\epsilon \omega_1)\epsilon \beta\label{3e1},\\

361: && \dt \epsilon\beta_1 + v\cdot\nabla \epsilon\beta_1 + 2\epsilon\partial_i \bar v^j \partial_j v_1^i +\epsilon^2\partial_i v_1^j \partial_j v_1^i=\frac{\Delta \phi}{\epsilon }-\partial_i \bar v^j \partial_j \bar v^i,\\

362: && \dt \epsilon^2\rho_1 + v\cdot \nabla\epsilon^2\rho_1 = -(1+\epsilon^2\rho_1)\epsilon \beta_1,

363: \enq

364: whereas when $d=3$ one would have to replace equation (\ref{3e1}) by

365: \beq

366: \dt (\bar \omega+\epsilon \omega_1)+ v\cdot \nabla (\bar \omega+\epsilon \omega_1)

367: =-(\bar \omega+\epsilon \omega_1)\epsilon \beta

368: -\omega\cdot \nabla v\label{3e2}.

369: \enq

370: Noticing that $\Delta\phi=\epsilon\rho_1$, if we set 

371: \beq 

372: \tilde \rho_1 =\rho_1 -\Delta p,

373: \enq

374: we get the following system for $d=2$:

375: \beq

376: \left\{ \begin{array}{lll} 

377: \dt \omega_1+ v\cdot \nabla \omega_1=-\bar \omega \beta_1 - \epsilon \omega_1 \beta_1

378: -v_1\cdot \nabla \bar \omega,\\

379: \dt \beta_1+ v\cdot \nabla \beta_1=\ds{\frac{\tilde \rho_1}{\epsilon}}-2 \nabla  v_1: \nabla \bar v - \epsilon \nabla  v_1:\nabla v_1,\\

380: \dt \tilde \rho_1+ v\cdot \nabla \tilde \rho_1=-\ds{\frac{\beta_1}{\epsilon}}-\epsilon(\tilde \rho_1+\Delta p) \beta_1-(\dt \Delta p + v \cdot \nabla \Delta p).

381: \end{array}\right .\label{3newsystem}

382: \enq

383: When $d=3$, the first equation should be replaced by

384: \be

385: &&\dt \omega_1+ v\cdot \nabla \omega_1=\\

386: &&-\bar \omega \beta_1 -v_1\cdot \nabla \bar \omega

387: -\bar\omega\cdot \nabla v_1 - \omega \cdot \nabla \bar v -

388: \epsilon \omega_1 \beta_1 - \epsilon \omega_1\cdot \nabla v_1. 

389: \en

390: 

391: 

392: \subsubsection{Energy estimates}

393: We handle the energy estimates when $d=2$ but

394: the same result would hold when $d=3$, just with more terms.

395: The system can be written in the following way:

396: \beq

397: &&\dt {\bf u}\ep + \sum_i v^i \partial_i{\bf u}\ep + R\ep {\bf u}\ep = S\ep({\bf u}\ep)\label{3beau},\\

398: && {\bf u}\ep(0)={\bf u}\ep_0\label{3initiale},

399: \enq

400: where $v$ is still the velocity, 

401: and where 

402: \be

403: {\bf u}\ep=\left(\begin{array}{c}\omega_1\\\beta_1\\ \tilde \rho_1 \end{array}\right)

404: , \  R\ep=\left(\begin{array}{ccc}0&0&0\\0&0&-\frac{1}{\epsilon}\\0&\frac{1}{\epsilon}&0\end{array}\right).

405: \en

406: The 'source' term $S\ep$ is given by

407: \be

408: S\ep=\left(\begin{array}{c} -\bar \omega \beta_1 - \epsilon \omega_1 \beta_1 -v_1\cdot \nabla\bar \omega\\ -2 \nabla v_1:\nabla \bar v -\epsilon\nabla v_1:\nabla v_1 \\ -\epsilon(\tilde \rho_1+\Delta p) \beta_1-(\dt \Delta p + v \cdot \nabla \Delta p)\end{array} \right).

409: \en

410: We apply $\partial^\gamma$  to equation (\ref{3beau}), where $\gamma=(\gamma^1,...,\gamma^d)$, and

411: $\partial^\gamma$ stands for $\frac{\partial^{|\gamma|}}{\partial x_1^{\gamma^1}...\partial x_d^{\gamma^d}}$, with $|\gamma|=\sum_{i=1}^d \gamma^i$. We get

412: \be

413: \partial_t \partial^\gamma {\bf u}\ep + v^i \partial_i \partial^\gamma {\bf u}\ep + \Sigma\ep + R\ep \partial^\gamma {\bf u}\ep =\partial^\gamma S\ep, 

414: \en

415: where

416: \be

417: \Sigma\ep=\sum_{i=1}^d \sum_{|\mu| \geq 1, \gamma \geq \mu}\partial^\mu v^i \partial^{\gamma-\mu}\partial_i {\bf u}\ep.

418: \en

419: Then we have 

420: \begin{lemme}\label{3bound}

421: If $|\gamma| >d/2$, then for $\Sigma\ep$ and $S\ep$ defined as above we have:

422: \be

423: \|\Sigma\ep(t,\cdot)\|_{L^2(\Td)}\leq C(1+\|{\bf u}\ep(t,\cdot)\|_{H^{|\gamma|}(\Td)}+\epsilon\|{\bf u}\ep(t,\cdot)\|^2_{H^{|\gamma|}(\Td)})

424: \en

425: and 

426: \be

427: \|\partial^{\gamma}S\ep(t,\cdot)\|_{L^2(\Td)}\leq C(1+\|{\bf u}\ep(t,\cdot)\|_{H^{|\gamma|}(\Td)} +\epsilon \|{\bf u}\ep(t,\cdot)\|_{H^{|\gamma|}(\Td)}^2).

428: \en

429: 

430: 

431: \end{lemme}

432: 

433: {\bf Proof.}

434: 

435: 

436: - Point 1: the proof is a straightforward adaptation of the proof of \cite{AG} p.151.

437: It is based on the following estimate: \cite{AG} Proposition 2.1.2 p. 100:

438: 

439: \begin{prop}\label{3AG}

440: If $u,v\in \Linf\cap H^s$ $s\in \N$, then for any $\delta, \eta, |\delta|+|\eta|=s$, one has

441: \be

442: \|(\partial^\delta u)(\partial^\eta v)\|_{L^2}\leq C(\|u\|_{\Linf}\|v\|_{H^s} + \|u\|_{H^s}\|v\|_{\Linf}).

443: \en

444: \end{prop}

445: Applying this result to $\partial^\mu v^i \partial^{\gamma-\mu}\partial_i {\bf u}\ep$,  $|\mu|\geq 1$,

446: we obtain 

447: \be

448: \|\partial^\mu v^i \partial^{\gamma-\mu}\partial_i {\bf u}\ep\|_{L^2(\Td)}\leq 

449: C\left(\|\nabla v^i\|_{\Linf(\Td)}\|{\bf u}\ep\|_{H^{|\gamma|}(\Td)} + \|\nabla v^i\|_{H^{|\gamma|}(\Td)}\|{\bf u}\ep\|_{\Linf(\Td)}\right).

450: \en

451: We know that $\|\cdot\|_{\Linf(\Td)}\leq C\|\cdot\|_{H^{|\gamma|}(\Td)}$ if $|\gamma| >d/2$.

452: Thanks to (\ref{3alphabetav1}, \ref{3alphabetav2}) we have for any $s$ 

453: \beq

454: \|\nabla v_1\|_{H^s(\Td)}\leq C (\|\omega_1\|_{H^s(\Td)} +\|\beta_1\|_{H^s(\Td)})\label{3nabv},

455: \enq

456: thus $\|\nabla v_1\|_{H^{|\gamma|}(\Td)}\leq C \|{\bf u}\ep\|_{H^{|\gamma|}(\Td)}$.

457: Then using that $v=\bar v + \epsilon v_1$  we conclude. 

458: 

459: \bigskip

460: 

461: - Point 2: 

462: We also know thanks to Proposition \ref{3AG}  that for $s>d/2$  

463: \be

464: \|\nabla v_1:\nabla v_1\|_{H^s}\leq C\|\nabla v_1\|_{\Linf}\|\nabla v_1\|_{H^s}.

465: \en

466: It follows that for $s>d/2$, we have

467: \be

468: \|S\ep\|_{H^s}\leq C(1+\|{\bf u}\ep\|_{H^s} +\epsilon \|{\bf u}\ep\|_{H^s}^2)

469: \en

470: where $C$ depends on the smoothness of the solution of (\ref{3euler}).

471: 

472: 

473: 

474: $\hfill \Box$

475: 

476: \bigskip

477: \noindent

478: Having applied $\partial^\gamma$ to (\ref{3beau}), multiplied by $\partial^\gamma {\bf u}\ep$,

479:  and noticed that for any $w$, $(w,R\ep w)=0$, we obtain

480: \be

481: &&\dt \demi|\partial^\gamma {\bf u}\ep|^2 + \sum_{i=1}^d\partial_i (v^i \demi|\partial^\gamma {\bf u}\ep|^2)\\

482: &=&   \nabla\cdot v \ \demi|\partial^\gamma {\bf u}\ep|^2 + (\partial_\gamma S\ep-\Sigma\ep)\partial^\gamma {\bf u}\ep.

483: \en

484: Since $\|\nabla\cdot v\|_{\Linf}=\epsilon \|\beta_1\|_{\Linf}\leq C\epsilon\|{\bf u}\ep\|_{H^\gamma}$ if $\gamma>d/2$,  using Lemma \ref{3bound}, and integrating over $\Td$ we  have, for any $|\gamma| \leq s$, $s>d/2$:

485: \be

486: \Dt \|\partial_\gamma {\bf u}\ep(t,\cdot)\|_{L^2(\Td)}^2 \leq C\left(1 + \|{\bf u}\ep(t,\cdot)\|_{H^{s}(\Td)}^2 + \epsilon \|{\bf u}\ep(t,\cdot)\|_{H^{s}(\Td)}^3 \right).

487: \en

488: By summing this over all multi-indexes $|\gamma| \leq s$, we can conclude using a standard Gronwall's lemma, that if the  solution $\bar v,p$ of Euler is smooth (see below for the smoothness required) on the time interval $[0,T]$, for any $T'<T$

489: there exists $\epsilon_0$ such that the sequence $({\bf u}\ep)_{\epsilon<\epsilon_0}$ is bounded in $\Linf([0,T'], H^s(\R^2))$. Then we have 

490: \be

491: &&{\bf u}\ep=({\rm curl} v_1, {\rm div}v_1, \rho_1 - \Delta p),\\

492: &&v=\bar v + \epsilon v_1,\\

493: &&\rho=1 +\epsilon^2 \rho_1.

494: \en

495: We use Lemma \ref{3retrieve} to get $v$ from ${\bf u}, \bar v$, and from Corollary \ref{3estime}, 

496:  the bound obtained on ${\bf u}$ implies a bound on

497: $\epsilon^{-1}(v-\bar v), \epsilon^{-2}(\rho-1).$

498: (Note that from the assumption on the initial data, we have 

499: $\left|\int \rho_0\ep v_0\ep -\bar v_0\right| \leq C\epsilon$.)

500: 

501: 

502: This proves Theorem \ref{3eulerpoisson}.

503: 

504: $\hfill \Box$

505: 

506: 

507: \paragraph{Minimal regularity for the limiting field}

508: In order to perform our computations, we need to have at least $\beta_1, \tilde\rho_1, \omega_1$ in $\Linf([0,T]\times\Td)$ and thus to have an estimate on their norms in $\Linf([0,T], H^{s}(\Td))$,

509: with $s > d/2$.    

510: Therefore we need to control $\|v_1\|_{H^{s+1}}, \|\rho_1\|_{H^s}$. 

511: Then we need to apply $\partial^\gamma$ to \ref{3newsystem}, with $|\gamma|=s > d/2$, 

512: and we need to control $\|\dt \Delta p + v\cdot\nabla \Delta p\|_{H^s}$ (this is the 'worst' term).

513: This implies to control $\|\bar v\|_{H^{s+2}}$.

514: which requires $\bar v$ to be bounded in $\Linf([0,T], H^{s+2}(\Td))$ 

515: with $s>d/2$. If we take $s$ integer, we ask $s\geq [d/2]+1$, and $\bar v$ must be bounded in

516: $\Linf([0,T], H^{[d/2]+3}(\Td))$.

517: 

518: 

519: {\it Remark.} Usually, modulated energy techniques only require a bound on $\|\nabla \bar v\|_{\Linf}$. Here we need one more derivative, since  the 

520: 'div-curl' formulation of the system (performed in order to obtain energy estimates) is obtained by differentiation.

521: 

522: 

523: 

524: 

525: 

526: 

527: \subsection{Non-prepared initial data}

528: 

529: Here we obtain energy estimates in the general case of non-prepared initial data. 

530: What we mean by 'general case' is the case of a generic smooth initial velocity, and smooth initial density, with finite energy, hence $\rho-1$ will be of order $\epsilon$.

531: 

532: We will see that the energy estimates are the same as in the case of prepared initial data, the asymptotic $\epsilon \to 0$ is then handled similarly to \cite{Gr-ns}, although the algebra in our case is quite simple. The solution will exhibit a good space regularity and a strongly oscillating behavior with respect to time. 

533: As explained in \cite{Gr-ns}, the motion can be decomposed along a slow and a fast manifold; the slow manifold consists of divergence-free velocities with uniform density, and the fast manifold consists of potential velocities. Due to the rapid oscillations, the potential part of $v$ will converge weakly to 0, and the divergence-free part will converge strongly to a smooth solution of the incompressible Euler equation. 

534: 

535: We still consider $(\rho\ep, v\ep)$ solution to $(EP\epu)$.

536: For any vector field $v$, we introduce its soleno\"idal part and potential part, which is  the pair $(\Pi v, \nabla q)$ such that 

537: $v=\Pi v + \nabla q$ with $q$ periodic and $\nabla\cdot  \Pi v=0$.

538: 

539: \paragraph*{A priori estimates}

540: We first rescale the density fluctuation

541: \be

542: &&\rho\ep = 1 + \epsilon \rho_1\ep.

543: \en

544: We use the unknown ${\bf u}\ep$, given by

545: \be

546: {\bf u}\ep = \left( \begin{array}{c}\omega\ep=\text{curl} v\ep \\ \beta\ep=\text{div} v\ep  \\  \rho_1\ep\end{array} \right).

547: \en

548: (Note that we do not subtract $\Delta p $ to $\rho_1\ep$ in this case.)

549: 

550: We now restrict to the case $d=2$, but one can check easily that the same results hold when $d=3$.

551: 

552: We write the equation followed by ${\bf u}\ep$:

553: \beq

554: &&\dt {\bf u}\ep + \sum_i v^i \partial_i{\bf u}\ep + R\ep {\bf u}\ep = S\ep({\bf u}\ep)\label{3beaunp},\\

555: && {\bf u}\ep(0)={\bf u}_0\ep\label{3initialenp},

556: \enq

557: where $R\ep$ is a before, and the source term $S\ep$ is now given by

558: 

559: \be

560: S\ep=\left(\begin{array}{c}-\beta\ep \omega\ep  \\ -\nabla v\ep:\nabla v\ep \\  -\rho_1\ep\beta\ep \end{array} \right).

561: \en

562: When $s > d/2$, proceeding as in Lemma \ref{3bound}, we have the estimate

563: \be

564: \|S\ep\|_{H^s} \leq C_s  \|{\bf u}\ep\|_{H^s}^2.

565: \en

566: 

567: \bigskip

568: 

569: Arguing as in the previous case, we conclude that, given $s\geq  [d/2]+2$ and a sequence of initial data $(\rho_0\ep, v_0\ep) $, with $\int  \rho_0\ep =1$, and  such that

570: \be

571: &&\|v_0\ep\|_{H^s}\leq C, \\

572: && \epsilon^{-1}\|\rho_0\ep-1\|_{H^{s-1}} \leq C,

573: \en

574: there exists a sequence $(\rho\ep, v\ep)$ of solutions to $(EP\epu)$ with initial data $(\rho_0\ep, v_0\ep)$, 

575: and $(\epsilon^{-1}(\rho\ep-1),v\ep)$ remains bounded in $\Linf([0,T],H^{s-1}\times H^s(\Td))$ for some $T>0$, independent of $\epsilon$.

576: 

577: \paragraph*{Convergence}

578: We use the change of variable used for rotating fluids (see \cite{Sch}), that removes the time oscillations:

579: Considering the pair $\tilde {\bf u}\ep=  (\tilde \beta\ep , \tilde \rho_1\ep)$ such that

580: \be

581: \tilde \beta\ep +i\tilde \rho_1\ep = e^{it/\epsilon}\Big(\beta\ep +i\rho_1\ep\Big),

582: \en

583: we have 

584: \be

585: \dt \tilde {\bf u}\ep+ v\ep\cdot \nabla \tilde {\bf u}\ep = T\ep,

586: \en 

587: with 

588: \be

589: &&\|T\ep\|_{\Linf([0,T],H^{s-1})} \leq C,\\

590: && \|v\ep\|_{\Linf([0,T],H^{s})} \leq C,\\

591: &&\|\tilde{\bf  u}\ep\|_{\Linf([0,T],H^{s-1})} \leq C

592: \en

593: from the a priori bounds ( we still have $s\geq [d/2]+2$).

594: Hence, $\dt \tilde{\bf u}\ep$ is uniformly bounded at least in $L^2$, and we deduce classically that 

595: $(\beta\ep,\rho_1\ep)$ converges weakly to 0 in $[0,T]\times\Td$.

596: 

597: 

598: We assume now that $\Pi v_0\ep$, the soleno\"idal part of $v_0\ep$, converges weakly in $L^2$ to some limit $\bar v_0$, hence it converges strongly in $H^{s'}$ for $s' < s$.

599: We check that $\dt \omega\ep$ is bounded uniformly on $L^2$ under our assumptions. Hence from the a priori bound, $\omega\ep$ converges (if necessary passing to a subsequence, but see the remark below) in $C([0,T], H^{s'-1}(\Td))$ for all $s' < s$.

600: 

601: Let $\bar v\ep$ be the unique vector field with zero average such that $\nabla \times\bar v\ep = \omega\ep$. Then, $\Pi v\ep$, the soleno\"idal part of $v\ep$ is equal to $\bar v\ep + c\ep$ with $c\ep$ a constant vector field.

602: Since $\int \rho\ep v\ep = \int \rho_0\ep v_0\ep$, and since $\epsilon^{-1}(\rho\ep-1)$ is bounded in $H^{s}$, we have $\lim c\ep = \lim \int v_0\ep=\lim \int \Pi v_0 \ep$.

603: Hence $\Pi v\ep= \bar v\ep + c\ep$ converges in $C([0,T], H^{s'}(\Td))$ for all $s' < s$.

604:  

605: 

606: Decomposing $v\ep$ as $v\ep= \nabla q\ep + \Pi v\ep$, we have $q\ep=\Delta^{-1}\beta\ep$ that converges weakly to 0 in $L^2([0,T]\times \Td)$.

607: Hence, using the a priori bounds,  in the vorticity equation

608: \be

609: \dt\omega\ep+ v\ep\cdot\nabla\omega\ep = - \beta\ep \omega\ep,

610: \en 

611: we can pass to the weak limit in $L^2([0,T]\times \Td)$ and state that $\omega=\lim \omega\ep$ satisfies in ${\cal D}'([0,T]\times \Td)$,

612: \be

613: &&\dt\omega+ \Pi v\cdot\nabla\omega = 0,\\

614: && \omega(0) = \omega_0,

615: \en

616: where $\Pi v$ is the limit of the soleno\"idal part of $v\ep$.

617: Moreover we have $\omega = \nabla\times \Pi v$, 

618: hence $\Pi v$ is a solution to the incompressible Euler equation, with initial data $\bar v_0$ the limit of the soleno\"idal part of $v_0\ep$.

619: 

620: {\it Remark 1.} From the regularity of $v_0$, the solution (in the distribution's sense) to $(E)$ with initial data $\Pi v_0$ is unique. Therefore the whole sequence $\Pi v\ep$ is converging.

621: 

622: {\it Remark 2.} Here we did not introduce the solution of the limit equation (incompressible Euler in this case), and chose to argue by compactness. This method looks simpler,  however, we obtain less informations concerning the 'rate of convergence' of the sequence $(\rho\ep, v\ep)$ with respect to $\epsilon$.

623: 

624: 

625: 

626: 

627: 

628: 

629: 

630: 

631: We gather those results in the following theorem:

632: 

633: \begin{theo}\label{3eulerpoissonnp}

634: Let $s\geq [d/2]+2$, let $(\rho\ep_0, v\ep_0)$ be a sequence of initial data, such that $\int \rho_0\ep = 1$. Assume that  $v\ep_0$ is bounded in $H^{s}(\Td)$ and that $\epsilon^{-1}(\rho\ep_0-1)$ is bounded in $H^{s-1}(\Td)$. Then 

635: \begin{enumerate}

636: \item There exists $T>0$ such that a sequence of solutions to $(EP\epu)$ with initial data $(\rho\ep_0, v\ep_0)$ exists on $[0,T]$, and the sequence $(\epsilon^{-1}(\rho\ep-1), v\ep)$ is bounded in $\Linf([0,T],H^{s-1}\times H^s(\Td))$.

637: \item The potential part of $v\ep$, defined above, converges weakly to 0 in $L^2([0,T]\times \Td)$.

638: \item If $\Pi v_0\ep$, the soleno\"idal part of $v_0\ep$ converges to some $\bar v_0$ weakly in $L^2$, then, for all $s'<s$, $\Pi v\ep$, the soleno\"idal part of $v\ep$, converges in $C([0,T], H^{s'}(\Td))$ to $\bar v$ the solution of $(E)$ with initial data $\bar v_0$.

639: \end{enumerate}

640: \end{theo}

641: 

642: 

643: 

644: 

645: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

646: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

647: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

648: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

649: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

650: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

651: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

652: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

653: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

654: 

655: 

656: 

657: \section{The Euler-Monge-Amp\`ere system}

658: We consider here the following Euler-Monge-Amp\`ere system denoted by $(EMA\epu)$:

659: \beq

660: &&\dt \rho +\nabla\cdot (\rho v)=0\label{3conti},\\

661: &&\dt v + v\cdot \nabla v = \frac{\nabla \psi -x}{\epsilon^2 }\label{3ema},   \\

662: &&\det D^2 \psi  =\rho\label{3ma}.

663: \enq

664: The last equation must be understood in the following weak sense: $\psi$ is the only (up to a constant) convex function with $\psi -|x|^2/2$ being $\Zd$ periodic such that

665: \beq

666: \forall f \in C^0(\Td),\, \int_{\Td}f(\nabla\psi)d\rho =  \int_{\Td}f(x)dx\label{3weakma}.

667: \enq

668: This definition will be made precise in Theorem \ref{3polar-per} and Definition \ref{3MaTdrho}.

669: 

670: \subsection{Geometric derivation of the Euler-Monge-Amp\`ere system}

671: This derivation has been introduced in \cite{Br3},  \cite{BL}, \cite{These}. We reproduce it for sake of completeness, but the reader only interested in the proof of  convergence may skip this section.

672: \label{3section-euler}

673: \subsubsection{The Euler equations of an incompressible perfect fluid}

674: The motion of an inviscid and incompressible fluid in a domain $\Omega\subset\Rd$ is described by the

675:  Euler incompressible equation $(E)$ that we recall here:

676: \be

677: &&\dt v +(v\cdot\nabla) v=\nabla p,\\

678: &&\nabla\cdot v =0.

679: \en

680: Following Arnold (see \cite{AK}), we have a formal interpretation of the Euler incompressible equations:

681:  introducing $G(\Omega)$ the group of all volume preserving diffeomorphisms of $\Omega$

682:  with jacobian determinant equal to 1, the Euler equations describe the geodesics of $G(\Omega)$

683: with length measured in the $L^2$ sense.

684: 

685: \subsubsection{Approximate geodesics }\label{3section-apxgeo}

686: A general strategy to define approximate geodesics along a manifold $M$

687: (in our case $M=G(\Omega)$) embedded in a Hilbert space $H$ 

688: (here $H=L^2(\Omega,\Rd)$)

689: is to introduce a penalty parameter $\epsilon>0$

690: and the following $unconstrained$ dynamical system in $H$

691: \beq

692: \partial_{tt}{X} +\frac{1}{2\epsilon^2}\nabla_X\left(d^2(X,M))\right)=0.

693: \label{3apxgeo}

694: \enq

695: In this equation,

696: the unknown $t\rightarrow X(t)$ is a curve in $H$, 

697: $d(X,M)$ is the distance (in $H$) of $X$ to the manifold

698: $M$, i.e. in our case when $M=G(\Omega)$,

699: \beq

700: d(X,G(\Omega))=\inf_{g\in G(\Omega)}\|X-g\|_H,\label{3projection}

701: \enq

702: finally, $\nabla_X$ denotes the

703: gradient operator in $H$.

704: This penalty approach 

705: has been introduced for the Euler equations 

706: by Brenier in \cite{Br3}. 

707: It is similar-but not identical-

708: to Ebin's slightly compressible flow theory \cite{Eb}, and is

709: a natural extension of the theory of 

710: constrained finite dimensional mechanical systems \cite{RU}. 

711: Actually if $G(\Omega)$ were a smooth manifold, the result would be

712: exactly the one of \cite{Eb}, Theorem 2.7, but this is not the case, 

713: here because the $L^2$ metric is too weak.

714: The penalized system is formally hamiltonian in variables

715: $(X,\partial_t X)$ with 

716: hamiltonian (or energy) given by:

717: \be

718: E=\frac{1}{2}\|\partial_t X\|_H^2 + \frac{1}{2\epsilon^2}d^2(X,G(\Omega)).

719: \en

720: Multiplying equation (\ref{3apxgeo}) by $\partial_t X$, we get immediately 

721: that the energy is formally conserved. 

722: Therefore it is plausible that the map $X(t)$ will remain close to $G(\Omega)$ 

723: if it is close at $t=0$.

724: A formal computation shows that, given a point $X$ for which there is

725: a unique closest point $\pi_X$ to $X$ in the $H$ closure

726: of $G(\Omega)$, 

727: we have:

728: \beq

729: \nabla_X\left(d(X,G)\right)=\frac{1}{d(X,G)}(X-\pi_X).\label{3grad}

730: \enq

731: Thus the equation (\ref{3apxgeo}) formally becomes: 

732: \be

733: \partial_{tt} X + \frac{1}{\epsilon^2}(X-\pi_X)=0\label{3apxgeo2}.

734: \en

735: To understand why solutions to such a system may approach

736: geodesics along $G(\Omega)$ as 

737: $\epsilon$ goes to 0, just recall that, in the simple framework of a 

738: surface $S$ embedded in the 3 dimensional Euclidean space,

739: a  geodesic $t\rightarrow s(t)$  along $S$ 

740: is characterized by the fact that

741: for every $t$, the plane defined by $\{\dot s(t), \ddot s(t)\}$ is 

742: orthogonal to $S$.

743: In our case, $\partial_{tt} X(t)$ is orthogonal to $G(\Omega)$ thanks to 

744: (\ref{3projection}) and $X(t)$ remains close to $G(\Omega)$.

745: 

746: \paragraph*{Notation}

747: Since we intend to work on the flat torus $\Td$ we might consider

748: $\Zd$ additive mappings, i.e. mappings such that 

749: $$\forall \vec{p}\in \Zd, \  X(.+\vec{p})=X(.)+\vec{p},$$ 

750: as well as periodic mappings (i.e. mappings from $\Td$ into itself).

751: \\

752: Then given $m$ an additive mapping,we denote by $\hat m$ the naturally associated

753:  mapping on $\Td$.

754: The following polar factorization Theorem

755: is a periodic version of \cite{Br1}, it has been discovered independently by \cite{Mc2} and \cite{Co}.

756: \begin{theo}\label{3polar-per}

757: Let $X: \Rd \rightarrow \Rd$ be $\Zd$ additive 

758: and assume  that $\rho_X= X_{\#}dx$ has a density  in  $L^1([0,1]^d)$, 

759: then there exits an a.e. unique pair $(\nabla\phi_X, \pi_X)$   satisfying 

760: $$X=\nabla\phi_X\circ \pi_X$$ 

761: with $\phi_X$ a convex function such that

762: $\phi_X(x)-|x|^2/2$ is $\Zd$ periodic, and $\pi_X: \Rd \rightarrow \Rd$  

763: additive such that $\hat \pi_X$ is measure preserving in $\Td$.  

764: Moreover we have 

765: $$\|X- \pi_X\|_{L^2([0,1]^d)}=\|\hat X- \hat \pi_X\|_{L^2(\Td)}=d(\hat X,G(\Td))$$ 

766: and if $\psi_X$ is the Legendre transform of $\phi_X$ then 

767: $$\pi_X=\nabla\psi_X\circ X.$$

768: \end{theo}

769: 

770: 

771: {\it Remark 1.} The pair $(\phi_X, \psi_X)$ is uniquely defined by the density 

772: $\rho_X=X_{\#}dx$.

773:  

774: 

775: {\it Remark 2.} Important properties of the optimal potential: The periodicity of $\phi_X(x)-|x|^2/2$

776: implies that $\nabla\phi_X$ and $\nabla\psi_X$ are $\mathbb Z^d$ additive, and that 

777: $\psi_X -|x|^2/2$ is also $\mathbb Z^d$ periodic.

778: This allows the following definition:

779: \begin{defi}\label{3MaTdrho}

780: Let $\rho$ be a probability  measure on $\Td$, then we denote $\phi[\rho]$ 

781: (resp. $\psi[\rho]$) the unique up to a constant convex function such that

782:  \be

783: && \phi[\rho]-|\cdot|^2/2 \mbox{  is } \Zd \mbox{  periodic },\\ 

784: &&\forall f \in C^0(\Td),\;\int_{\Td} f(\hat{\nabla\phi}[\rho](x))dx=\int_{\Td} f(x)d\rho(x)

785: \en

786: (resp. its Legendre transform).

787: \end{defi}

788: 

789: {\it Remark.} We recover thus that $\psi[\rho],\phi[\rho]$ will be generalized 

790: solutions of the following Monge-Amp\`ere equations 

791: \be

792: &&\det D^2\psi=\rho,\\

793: &&\rho(\nabla\phi) \det D^2\phi =1.

794: \en

795: 

796: \subsubsection{Result}

797: 

798: We are now ready to state the main result of this section.

799: 

800: \begin{theo}\label{3th-ema}

801: Let $s\in \N$ with $s\geq [d/2]+ 2$. Let $\bar v_0$ be a divergence-free vector field on $\Td$, let $(\bar v,p)$ be a smooth solution of the Euler incompressible system (\ref{3euler}) on $[0,T]\times \Td$,

802: with initial data $\bar v_0$ and satisfying $\bar v\in \Linf([0,T], H^{s+1}(\Td))$.

803: Let $(v_0\ep, \rho_0\ep)$ be a sequence of initial data, with $\int \rho_0\ep=1$, and  such that

804: $\ds\left(\epsilon^{-1}(v_0\ep-\bar v_0), \epsilon^{-2}(\rho_0\ep-1)\right)$ 

805: is bounded in $H^s\times H^{s-1}(\Td)$. Then there exists a sequence $ (v\ep, \rho\ep)$ of 

806: solutions to $(EMA\epu)$  with initial data $(v_0\ep, \rho_0\ep)$ belonging to  $\Linf([0,T_{\epsilon}],H^s\times H^{s-1}(\Td))$ 

807: with $\liminf_{\epsilon\rightarrow 0}T_{\epsilon}\geq T$. Moreover for any $T'<T$ and $\epsilon$ 

808: small enough, 

809: $\ds\left(\epsilon^{-1}(v\ep-\bar v), \epsilon^{-2}(\rho\ep-1)\right)$

810: is bounded in $\Linf([0,T'], H^{s}\times H^{s-1}(\Td))$. 

811: Finally when $T=+\infty$, $T\epu$ goes to infinity.

812: \end{theo}

813: 

814: Before entering the proof of this result, we need some preliminary results concerning the linearization of the Monge-Amp\`ere operator.

815: 

816: 

817: \subsection{Linearization of the Monge-Amp\`ere operator in $H^s$ norm}

818: This section is devoted to the proof of the following Theorem:

819: \begin{theo}\label{3maHs}

820: Let $\rho$ be a probability measure  on $\Td$, $d\leq 3$,  let $\psi$ satisfy

821: \be

822: \det D^2\psi =\rho

823: \en

824: in the sense of  Definition \ref{3MaTdrho}. Then, there exists $\epsilon_0>0$ such that if $\|\rho-1\|_{H^2(\Td)} \leq \epsilon_0$,

825:  for any $s\in \N$ with $s>d/2$ there exists $C(s)$ that satisfies

826: \beq

827: &&\|D^2 \psi-I\|_{H^{s}(\Td)}\leq C(s)\|\rho-1\|_{H^{s}(\Td)}\label{3detdelta},\\

828: &&\|(\Delta\psi - d)-(\rho-1)\|_{H^s(\Td)}\leq C(s) \|(\rho-1)\|^2_{H^s(\Td)}\label{3detdelta2}.

829: \enq

830: \end{theo}

831: 

832: 

833: \subsubsection{Preliminary results}

834: 

835: We first state the following result obtained from \cite{Ca1}

836: on the regularity of solutions 

837: to Monge-Amp\`ere equation, adapted to the periodic case. This result will be the starting point of the proof of Theorem \ref{3maHs}.

838: 

839: 

840: \begin{theo}\label{3regper}

841: Let $\rho \in C^{\alpha}(\Td)$ for some $\alpha>0$, with $0<m\leq\rho\leq M$, be a probability measure on $\Td$,

842: let $\psi=\psi[\rho]$ in the sense of  Definition \ref{3MaTdrho}. Then $\psi$ is a classical solution of 

843: \be

844: \det D^2\psi=\rho

845: \en

846: and satisfies for any $\alpha '<\alpha$:

847: \begin{eqnarray} 

848: &&\|\nabla\psi(x)-x\|_{\Linf}\leq C(d)=\sqrt d /2,\\

849: &&\|D^2\psi\|_{C^{\alpha'}}\leq K(m,M,\|\rho\|_{C^{\alpha}}, \alpha, \alpha ').

850: \end{eqnarray}

851: \end{theo}

852: Then we state a classical result of elliptic regularity that we will need during the course of the proof. It can be found in \cite{GT}, Theorem 9.11.

853: \begin{theo}\label{3calzig}

854: Let $\Omega$ be an open set in $\Rd$, $u\in W^{2,p}_{loc}(\Omega)\cap L^p(\Omega), 1<p<\infty$, be a 

855: strong solution of the equation

856: \be

857: \sum_{i,j=1}^d a^{ij}\partial_{ij} u = f

858: \en

859: in $\Omega$ where the coefficients $a^{ij}$ satisfy

860: \be

861: && a^{ij} \in C^0(\Omega), f \in L^p(\Omega);\\

862: && \lambda |\xi|^2 \leq a^{ij}\xi_i\xi_j \leq \Lambda |\xi|^2 \ \ \forall \xi \in \Rd,

863: \en

864: for $i,j =1..d$, with $0<\lambda, \Lambda < \infty$. Then for any $\Omega'\subset\subset \Omega$, 

865: \be

866: \|u\|_{W^{2,p}(\Omega')}\leq C(\|u\|_{L^p(\Omega')}+\|f\|_{L^p(\Omega')}),

867: \en

868: where $C$ depends on $d,p,\lambda, \Lambda, \Omega', \Omega$ and the moduli of continuity of the 

869: coefficients $a^{ij}$ on $\Omega'$.

870: \end{theo}

871: 

872: \subsubsection{Proof of Theorem \ref{3maHs}}

873: 

874: 

875: \paragraph*{Sketch of the proof} 

876: 

877: We assume here $d=3$. We recall that $\psi$ satisfies $\det D^2\psi = \rho$.

878: We first have to prove that $\rho\in H^s$ implies $D^2\psi\in H^s$.

879: We will proceed by induction.

880: We recall first that for $A,B$ two $d\times d$ matrices, we have the following expansion:

881: \be

882: \det (A+tB) =\det A + t \  \text{trace}\left(A^t_{com} B\right) + o(t),

883: \en

884: where $A_{com}$ is the matrix whose elements are the minors of $A$, or co-matrix of $A$. 

885: Hence the elements of $A_{com}$ are polynomials of degree $d-1$ in the elements of $A$.

886: When $A$ is invertible, we have $A_{com} = \det A \ [A]^{-1}$.

887: 

888: Differentiating $s$ times the Monge-Amp\`ere equation, and denoting $M$ the co-matrix of $D^2\psi$, we will have

889: \be

890: \text{trace} \ \left(M D^2 \partial^s \psi\right) + {\cal T} = \partial^s \rho,

891: \en

892: where the first term contains the highest derivatives, and ${\cal T}$ will consist of products involving three derivatives of $\psi$. The order of each derivative will smaller or equal to $s-1$, and the sum of the three orders will be equal to $s$.

893: By a careful analysis, this product will be controlled  in $L^2$ by $\|D^2\psi\|_{H^{s-1}}$ and $\|\rho\|_{H^s}$, using Sobolev injections. 

894: From Theorem \ref{3regper}, assuming a minimal regularity for $\rho$ (i.e.  the bound (\ref{3maprop2})), $D^2\psi$, and therefore $M$ will be continuous elliptic matrices.

895: Hence $\partial^s \psi$ solves an elliptic problem, with continuous coefficients, and we will use the Theorem \ref{3calzig} to obtain $D^2\partial^s\psi\in L^2$.

896: 

897: This intermediate step will be done in Lemma \ref{3inter};

898: using this a priori estimate and the continuity method, we will obtain the estimate (\ref{3detdelta}). 

899: 

900: Then, the expansion $\det (I+D^2\varphi)= 1+ \Delta\varphi + P(\partial_{ij}\varphi)$, where $P$ is a polynomial

901: in $\partial_{ij}\varphi$ whose terms are of degree two or three (when $d=3$), 

902: will yield (\ref{3detdelta2}).

903: 

904: 

905: 

906: 

907:  

908: \paragraph*{Rigorous proof}

909: We recall that $\psi$ satisfies

910: \beq

911: &&\det D^2\psi =\rho\label{3maprop},\\

912: && \|\rho-1\|_{H^2}\leq \epsilon_0\label{3maprop2},

913: \enq

914: for some $\epsilon_0$ to be chosen later.

915: We suppose $d=3$ and the proof can be reproduced in the case $d=2$ with minor modifications.

916: The parameter $\epsilon_0$ is chosen such that (\ref{3maprop2}) implies 

917: \be

918: \lambda_1\leq \rho \leq \lambda_2

919: \en

920: for some $\lambda_1>0, \lambda_2 > 0$.

921: Note also that thanks to (\ref{3maprop2}), $\rho$ is in $C^{\alpha}$ for $\alpha=\demi$.  Then from Theorem \ref{3regper}, $D^2\psi\in C^{\alpha'}$ with $\alpha'< \alpha$.

922:  Note also that since $\rho \in [\lambda_1,\lambda_2]$ and using equation (\ref{3maprop}), $D^2\psi\in C^{\alpha'}$ implies that $[D^2\psi]^{-1} \in C^{\alpha'}$, and thus $M^{ij}$ the co-matrix of $D^2\psi$

923: is uniformly elliptic and  in $C^{\alpha '}$.

924: 

925: 

926: 

927: \bigskip

928: \noindent

929: We first prove by induction that if $\gamma \in \N^d$ then 

930: $\rho \in H^{|\gamma|}$  implies $D^2\psi \in H^{|\gamma|}$. It can be checked during the proof that this bound will be uniform under the condition (\ref{3maprop2}) for $\epsilon_0$ small enough. 

931: 

932: \begin{lemme}\label{3inter}

933: Under assumption (\ref{3maprop2}), for any $\gamma \in \N^d$,  $\rho \in H^{|\gamma|}$ implies that $\partial^{\gamma}D^2\psi \in L^2$. If moreover $\rho \in W^{|\gamma|,6}$  then $\partial^{\gamma}D^2\psi \in L^6$.

934: \end{lemme}

935: 

936: {\bf Proof.} This lemma will be proved by induction. We first deal with the cases $|\gamma|=0,1,2$.

937: 

938: 

939: \bigskip

940: 

941: The case $\gamma=0$ is a consequence of Theorem \ref{3regper}.

942: 

943: \bigskip

944: 

945: For $|\gamma|=1$ we differentiate (\ref{3maprop}) with respect to $x_\nu$, to obtain

946: \beq\label{3d1}

947: M^{ij}\partial_{ij}(\partial_\nu \psi)=\partial_\nu \rho,

948: \enq

949: with $M^{ij}$ the co-matrix of $\partial_{ij}\psi$.

950: Then if $\partial_\nu \rho \in L^2$, by Theorem \ref{3calzig}, $\partial_\nu\psi \in W^{2,2}$.

951: If $\partial_\nu \rho \in L^6$ we also get that $\partial_\nu\psi \in W^{2,6}$.

952: 

953: \bigskip

954: 

955: For $|\gamma|=2$ differentiating once more with respect to $x_\beta$ we obtain

956: \beq\label{3d2}

957: M^{ij}\partial_{ij}(\partial_{\nu\beta} \psi)+

958: (\partial_\beta M^{ij})\partial_{ij}(\partial_\nu \psi),

959: =\partial_{\nu\beta} \rho

960: \enq

961: still with $M^{ij}$ the co-matrix of $\partial_{ij}\psi$.

962: Suppose that $\rho \in H^2$, then $W^{2,2}\subset W^{1, \frac{2d}{d-2}}=W^{1, 6}$ if $d=3$, 

963: and  $\partial_\nu\psi \in W^{2,6}$. The term $\partial_\beta M^{ij}$ is a sum of terms of the form $\partial_{ij}(\partial_\beta\psi) \partial_{kl}\psi$ and 

964: the second term of the left hand side of (\ref{3d2}) is thus bounded in $L^2$.  Then once again by Theorem \ref{3calzig} one gets that $D^2\partial_{\nu\beta} \psi\in  L^2$ if  $\partial_{\nu\beta} \rho\in L^2$.

965: 

966: Moreover if $D^2\rho\in L^6$ then $\partial_\nu\rho \in C^{\alpha}$ for some $\alpha>0$. Using (\ref{3d1}) and Schauder interior estimates (see \cite{GT}, Theorem 6.2.), we obtain

967: $D^2\partial_\nu\psi \in C^{\alpha'}$  .  Thus  $(\partial_\beta M^{ij})\partial_{ij}(\partial_\nu \psi)\in C^{\alpha'}$. 

968: From (\ref{3d2}) and Theorem \ref{3calzig} we obtain 

969: $\partial_{\nu\beta}D^2\psi \in L^6$.   

970: 

971: \bigskip

972: 

973: As we just saw, Lemma \ref{3inter} is true for $|\gamma|=0,1,2$.

974: We assume that it holds for all $\gamma$ with $|\gamma| \leq n$ for some $n\geq 2$. 

975: Take now $|\gamma|=n+1\geq 3$, $\rho \in H^{|\gamma|}$, and apply $\partial^{\gamma}$ to 

976: (\ref{3maprop}):

977: \beq\label{3dgammadet}

978: M^{ij} \partial_{ij}\partial^\gamma \psi + \sum_{ \begin{array}{c}\scriptstyle\gamma_1+ \gamma_2 + \gamma_3=\gamma\\

979: \scriptstyle|\gamma|-1 \geq |\gamma_1|\geq  |\gamma_2| \geq |\gamma_3|\end{array}}* \ \partial_{ij}\partial^{\gamma_1}\psi \partial_{kl}\partial^{\gamma_2}\psi \partial_{mp}\partial^{\gamma_3}\psi=\partial^{\gamma}\rho

980: \enq

981: with $*$ some constant coefficients. We call $\cal T$ the second term of the left hand side of (\ref{3dgammadet}).

982: Since $\rho \in H^{|\gamma|}$, $\rho \in W^{|\gamma|-1,6}$, and  we have

983:  $\partial^\alpha D^2\psi \in L^6(\Td)$ for any $|\alpha|\leq n$ using the induction hypothesis.

984: Therefore ${\cal T} \in L^2$

985: and since $\partial^{\gamma}\rho \in L^2$ we obtain  $M^{ij}\partial_{ij}\partial^\gamma \psi \in L^2$.

986: Using  Theorem \ref{3calzig} it follows that $\partial^{\gamma}D^2\psi \in L^2$.

987: 

988: Remember that $|\gamma|\geq 3$ thus $|\gamma_3|\leq \frac{1}{3}|\gamma| \leq \gamma -2$, and

989: $|\gamma_2|\leq \frac{1}{2}|\gamma| \leq \gamma -2$. 

990: Since $d=3$, we have $H^2 \subset C^\alpha$ for some $\alpha>0$ and thus  $\partial_{kl}\partial^{\gamma_2}\psi$,  $\partial_{mp}\partial^{\gamma_3}\psi$ are in $C^\alpha$, moreover $H^1 \subset L^6$ and  since $|\gamma_1|\leq |\gamma|-1$, $\partial_{ij}\partial^{\gamma_1}\psi$ is in $L^6$. Therefore $\cal T$ is in $L^6$.

991: If $\partial^\gamma\rho \in L^6$ we have $\partial^{\gamma}D^2\psi$ in $L^6$. 

992: Hence the lemma holds for all $|\gamma| \leq n+1$.

993: This achieves the proof of Lemma \ref{3inter}.

994: 

995: $\hfill \Box$

996: 

997: \bigskip

998: 

999: Now by induction on $|\gamma|$ we prove (\ref{3detdelta}) and (\ref{3detdelta2}).

1000: From (\ref{3maprop2}) we have $\|\rho-1\|_{L^2}\leq \epsilon_0$ small. Take $\psi=|x|^2/2 + \varphi$ solution of $\det D^2\psi = \rho$ with $\varphi$ periodic and $\int_{\Td}\varphi =0$.

1001: We begin to show that $\|\varphi\|_{C^{2,\alpha}}$ for some $\alpha>0$, is controlled by $\|\rho-1\|_{H^2}$.

1002: Indeed, the periodic solution of 

1003: \be

1004: \det (I+D^2\varphi)=\rho

1005: \en

1006: can be built by the continuity method (see \cite{GT}).

1007: Starting from $\rho_0 = 1, \varphi_0 = 0$, we use the implicit function Theorem to obtain the solution $\varphi_t$ of

1008: \beq\label{3contin}

1009: \det (I+D^2\varphi_t)=t\rho + (1-t).

1010: \enq

1011: For this we differentiate (\ref{3contin}) with respect to $t$, to obtain

1012: \beq\label{3malin}

1013: M^{ij}_t \partial_{ij}\partial_t\varphi_t = \rho -1,

1014: \enq

1015: for $t\in [0,1]$,

1016: where $M_t$ is the co-matrix of $I+D^2\varphi_t$.

1017: We know, from the a priori estimate of Theorem \ref{3regper}, that for $\rho\in C^{1/2}$, $D^2\varphi_t$ and therefore $M^{ij}_t$ are $C^\alpha$ elliptic matrices for all $\alpha<1/2$. 

1018: 

1019: To see why (\ref{3malin}) indeed admits a unique (up to a constant) periodic solution, we recall that $M$ is  the comatrix of a Hessian matrix, therefore it is 'divergence-free':

1020: \be

1021: \forall i\in [1..d], \ \sum_j M^{ij}=0.

1022: \en

1023: Hence equation (\ref{3malin}) can be rewritten in divergence form 

1024: \be

1025: \sum_{i,j}\partial_i(M^{ij}_t \partial_{j}\partial_t\varphi_t) = \rho -1,

1026: \en

1027: and the operator ${\cal L}= M^{ij}_t\partial_{ij}\cdot$ is a self adjoint operator on $H^1(\Td)$ and induces a bounded coercive bilinear form on $H^1_0(\Td)$, where the subscript 0 means that we impose the mean value to be 0. Then the existence/uniqueness of a solution to (\ref{3malin}) in $H^1_0$ follows by Lax-Milgram Theorem. 

1028: 

1029: Hence, $\partial_t \varphi_t$ is the unique (up to a constant) periodic solution of the above elliptic problem,  and from Schauder interior estimates we obtain 

1030: \be

1031: \|\partial_t \varphi\|_{C^{2,\alpha}} &\leq& C\|\rho -1\|_{C^{1/2}}\\

1032: & \leq&  C\|\rho -1\|_{H^2},

1033: \en uniformly in $t\in [0,1]$, and finally for $\alpha<1/2$, 

1034: \be

1035: \|\varphi\|_{C^{2,\alpha}} \leq C\|\rho -1\|_{H^2}.

1036: \en

1037: 

1038: 

1039: \bigskip

1040: 

1041: Then we have

1042: \be

1043: \det (I+D^2\varphi)=1 + \Delta\varphi + R_{ij}\partial_{ij}\varphi

1044: \en

1045: where $R$ is a symmetric matrix whose coefficients are polynomials in $\partial_{ij}\varphi$ of degree larger or equal to 1.

1046: The norms $\|R_{ij}\|_{C^\alpha}$ are controlled by $\|\rho-1\|_{C^\alpha}\leq \epsilon_0$, hence, for $\epsilon_0$ small enough,  the matrix $\delta_{ij} + R_{ij}$ is uniformly bounded, elliptic, and $C^\alpha$ continuous.

1047: Since $\varphi$ satisfies

1048: \beq\label{3eqfi}

1049: (\delta_{ij} + R_{ij})\partial_{ij}\varphi =\rho -1

1050: \enq

1051: it follows from Theorem \ref{3calzig} that $\|\partial_{ij}\varphi\|_{L^2} \leq C \|\rho-1\|_{L^2}$ and this proves 

1052: (\ref{3detdelta}) for $\gamma=0$.

1053: 

1054: \bigskip

1055: 

1056: If $|\gamma|=1$, we have

1057: \be

1058: (M^{ij})\partial_{ij}\partial_\nu\varphi =\partial_\nu\rho 

1059: \en 

1060: with $M$ uniformly bounded, elliptic and $C^{\alpha}$ continuous. For the same reasons we have

1061: $\|\partial_{ij}\partial_\nu\varphi\|_{L^2} \leq C \|\partial_\nu\rho\|_{L^2}$.

1062: 

1063: 

1064: \bigskip

1065: 

1066: If $|\gamma|=2$, we do as in the Proof of Lemma \ref{3inter}: using (\ref{3d1}, \ref{3d2}) and keeping track of the bounds, we get 

1067: \be

1068: \|\partial_{ij}\partial_{\nu\beta}\varphi\|_{L^2} &\leq &C \|\partial_{\nu\beta}\rho\|_{L^2}+ C \|\rho-1\|_{H^2}^2\\

1069: &\leq& C\|\rho-1\|_{H^2},

1070: \en

1071: with $C$ uniform under the assumption of Lemma \ref{3inter}.

1072: 

1073: 

1074: 

1075: 

1076: \bigskip

1077: 

1078: If $|\gamma|\geq 3$, we go back to equation (\ref{3dgammadet}):  ${\cal T}$  is a sum of terms which contain all

1079: a product of at least  two derivatives of $\psi$ of degree higher than 3.

1080: Since $D^3\psi=D^3\varphi$, we have 

1081: \be

1082: \partial_{ij}\partial^{\gamma_1}\psi \partial_{kl}\partial^{\gamma_2}\psi \partial_{mp}\partial^{\gamma_3}\psi= \partial_{ij}\partial^{\gamma_1}\varphi \partial_{kl}\partial^{\gamma_2}\varphi \partial_{mp}\partial^{\gamma_3}\psi.

1083: \en

1084: We assume  by induction that $\|\partial_{ij}\varphi\|_{H^{|\gamma|-1}}\leq C\|\rho-1\|_{H^{|\gamma|-1}}$. Since $\rho-1 \in H^{|\gamma|}$ we also have that $D^2\psi \in H^{|\gamma|}$, with a uniform bound thanks to Lemma \ref{3inter}.

1085: We remember that when $|\gamma|\geq 3$, we have $|\gamma_2| \leq |\gamma|-2, |\gamma_3| \leq |\gamma|-2$,  

1086: therefore, using the injection of $H^2$ in $C^{1/2}$ when $d=3$, 

1087: $\partial_{kl}\partial^{\gamma_2}\varphi$ and $\partial_{mp}\partial^{\gamma_3}\psi$ are uniformly bounded in $\Linf$. We obtain that

1088: \be

1089: \|\partial_{ij}\partial^{\gamma_1}\psi \partial_{kl}\partial^{\gamma_2}\psi \partial_{mp}\partial^{\gamma_3}\psi\|_{L^2} \leq  C\|\rho-1\|_{H^{|\gamma|-1}}. 

1090: \en

1091: Then $\partial^{\gamma}\varphi$ satisfies 

1092: \be

1093: (M^{ij})\partial_{ij}\partial^{\gamma}\varphi=\partial^\gamma \rho -{\cal T} 

1094: \en 

1095: thus, using Theorem \ref{3calzig},

1096: \be

1097: \|\partial^\gamma D^2\varphi\|_{L^2}&\leq& C(\|\rho-1\|_{H^{|\gamma|-1}}+ \|\partial^\gamma \rho\|_{L^2})\\

1098: &\leq&C(\|\rho-1\|_{H^{|\gamma|}}),

1099: \en

1100: and we conclude that 

1101: \be

1102: \|D^2\psi-I\|_{H^s}\leq C(s)\|\rho-1\|_{H^s}

1103: \en

1104: for $s\in \N, s\geq 2$ and under condition (\ref{3maprop2});

1105: thus (\ref{3detdelta}) is obtained.

1106: 

1107: \bigskip

1108: 

1109: Using Proposition \ref{3AG} and the fact that $\partial_{mp}\partial^{\gamma_3}\psi$ is  uniformly bounded in $\Linf$ thanks to Lemma \ref{3inter}, we can also  obtain that

1110: \be

1111: \|\partial_{ij}\partial^{\gamma_1}\varphi \partial_{kl}\partial^{\gamma_2}\varphi \partial_{mp}\partial^{\gamma_3}\psi\|_{L^2} &\leq& C \|D^2\varphi\|_{H^{|\gamma|}}^2  \\ 

1112: &\leq& C\|\rho-1\|^2_{H^{|\gamma|}}

1113: \en

1114: for $|\gamma|\geq 3$. (When $|\gamma|=2$, the estimate holds also, but not using Proposition \ref{3AG}.) Therefore, for all $\gamma$, we have $\|{\cal T}\|_{L^2} \leq C \|\rho-1\|_{H^{|\gamma|}}^2$.

1115: 

1116: \bigskip

1117: 

1118: To conclude (\ref{3detdelta2}), we now write

1119: $\det (I+D^2\varphi) =\rho$ under the form

1120: \be

1121: \Delta \varphi  = \rho -1 + P(\partial_{ij}\varphi),

1122: \en

1123: with $P$ consisting of products of two or three second derivatives of $\varphi$. Hence, under assumption (\ref{3maprop2}), using Proposition \ref{3AG}, we have for $s>d/2$, $\|P(\partial_{ij}\varphi)\|_{H^s} \leq C \|D^2\varphi\|_{H^s}^2$.

1124: Using the bound (\ref{3detdelta}), we conclude that for $s\in \N, s> d/2$,

1125: \be

1126: \|\Delta \varphi - (\rho-1)\|_{H^s} \leq \|\rho-1\|^2_{H^s}.

1127: \en

1128: and 

1129: Theorem \ref{3maHs} is proved.

1130:   

1131: %To obtain (\ref{3detdelta2}) for $|\gamma| > d/2$ (i.e. $|\gamma| \geq 2$), 

1132: %note that   formula (\ref{3dgammadet}) can be written in the following way:

1133: %\be

1134: %\Delta \partial^{\gamma}\varphi + S^{ij}\partial_{ij}\partial^{\gamma}\varphi + 

1135: %{\cal T}=\partial^{\gamma}\rho

1136: %\en

1137: %where $S^{ij}=M^{ij}-I$. The components of $S$ are polynomials of degree greater or equal to 1 of $\partial_{ij}\varphi$,

1138: %thus $\|S^{ij}\|_{C^\alpha} \leq C\|D^2\varphi\|_{C^\alpha} \leq C\|\rho-1\|_{H^2}$ for some $\alpha >0$, and  $\|S^{ij}\partial_{ij}\partial^{\gamma}\varphi\|_{L^2}\leq C\|\rho-1\|_{H^{|\gamma|}}^2$.

1139: %It follows that 

1140: %\be

1141: %\|\Delta \partial^{\gamma}\varphi - \partial^{\gamma}\rho\|_{L^2}\leq C

1142: %\|\rho-1\|_{H^{|\gamma|}}^2.

1143: %\en

1144: %Since $\Delta\varphi$ and $\rho -1$ are periodic with zero mean value, 

1145: %(\ref{3detdelta2}) follows and 

1146: %Theorem \ref{3maHs} is proved.

1147: 

1148: $\hfill \Box$

1149: 

1150: 

1151: 

1152: 

1153: 

1154: \subsection{Energy estimates and proof of the convergence}

1155: 

1156: The proof of the energy estimates for Euler-Monge-Amp\`ere is much inspired from the proof of Theorem \ref{3eulerpoisson} for the following reason: by taking the divergence of equation (\ref{3ema}) one gets:

1157: \be

1158: \dt (\nabla\cdot v) + v\cdot \nabla (\nabla\cdot v) + \partial_i v^j \partial_j v^i 

1159: =\frac{\Delta\psi -d}{\epsilon^2}.

1160: \en

1161: Suppose that $\rho$ is close to 1 at an order $\epsilon^2$ as is the case for Euler-Poisson, we guess (from Theorem \ref{3maHs}) that we have the following:

1162: \be

1163: && \psi =|x|^2/2 + \epsilon^2 \varphi,\\

1164: && \rho =\det D^2\psi=1+\epsilon^2 \Delta\varphi +O(\epsilon^4), 

1165: \en

1166: and thus $\ds \Delta \psi =d + \epsilon^2 \Delta\varphi = d+\rho-1 + O(\epsilon^4)$. 

1167: Therefore we expect that

1168: \be

1169: \dt (\nabla\cdot v) + v\cdot \nabla (\nabla\cdot v) + \partial_i v^j \partial_j v^i 

1170: =\frac{\rho-1}{\epsilon^2} + O(\epsilon^2),

1171: \en

1172: and that the technique of Theorem \ref{3eulerpoisson}  will apply.

1173: 

1174: Before performing the div-curl decomposition for the energy estimates, we need to establish the analog of Lemma \ref{3momentep} in the present case, so that Lemma \ref{3retrieve} and its Corollary \ref{3estime} hold.

1175: \begin{lemme}\label{3momentema}

1176: Let $(\rho,v)$ be a solution to $(EMA\epu)$. Then, the total momentum $\int \rho(t,x)v(t,x) \ dx$ does not depend on time.

1177: \end{lemme}

1178: 

1179: {\bf Proof.} We proceed similarly as in the proof of Lemma \ref{3momentep}. We need to establish that $$\int_{\Td} \rho(t,x)(\nabla\psi(t,x) -x)dx \equiv 0.$$

1180: For this we use Definition \ref{3MaTdrho}. For $f(x)= \nabla\psi(x)-x$, we have

1181: \be

1182: \int_{\Td} \rho f& =& \int_{\Td} f(\nabla\hat\phi)\\

1183: &=& \int_{\Td}\nabla\psi(\nabla\phi )-\nabla\phi \\

1184: &=& \int_{\Td} x-\nabla\phi\\ 

1185: &=&0,

1186: \en

1187: where we have used at the third line that, for $\psi, \phi$ Legendre transform of each other, $\nabla\psi(\nabla\phi) = id$, and at the last line that  $\phi -|x|^2/2$ is periodic. 

1188: 

1189: $\hfill \Box$

1190: 

1191: Hence we have shown that one can retrieve $v$ from the initial value of $\int \rho v$, and $\nabla\cdot v, \text{curl} v$.

1192: 

1193: 

1194: 

1195: 

1196: 

1197: \paragraph*{General framework}

1198: We perform the same div-curl decomposition as in the Euler-Poisson case.

1199: We then express the difference between the solution of $(EMA\epu)$ and the limiting solution : either the solution of $(E)$ or the solution of $(EMA\epu)$. After having applied a proper scaling to this difference, 

1200: our solution is now described by a vector ${\bf u}$ whose first component (that can be a vector if $d=3$) is the rescaled vorticity, and whose last two components are a rescaled divergence and rescaled density fluctuation.

1201: For this perturbation we will obtain 

1202: \be

1203: &&\dt {\bf u}\ep + \sum_i v^i \partial_i{\bf u}\ep + R\ep {\bf u}\ep = Q\ep({\bf u}\ep),

1204: \en

1205: where we still use

1206: \be

1207: R\ep=\left(\begin{array}{ccc}0&0&0\\0&0&-\frac{1}{\epsilon}\\0&\frac{1}{\epsilon}&0\end{array}\right).

1208: \en

1209: For the source term $Q\ep$, we have $\|Q\ep\| \leq C(1+\|{\bf u}\ep\|_{H^s}+\delta_\epsilon\|{\bf u}\ep\|_{H^s})$ 

1210: where $\delta_\epsilon$ goes to 0 when $\epsilon$ goes to 0, and the constant $C$

1211: depends on  the regularity of the limiting field. 

1212: 

1213: {\it Regularity of the limiting field} The form of the source term will vary under the circumstances, but  the general idea is that in order to bound $Q\ep$ in $H^s$, we will need the limiting velocity to be bounded in $H^{s+2}$ and the limiting density to be bounded in $H^{s+1}$. Remember that the $H^s$ norm of ${\bf u}$ controls 

1214: the norm  of $(\rho, v)$ in $H^{s}\times H^{s+1}$, 

1215: thus the limiting field must have one more derivative bounded than the order of the energy estimate. 

1216: 

1217: A Gronwall's lemma then yields a control on the perturbation that holds on a range of time $[0,T\epu]$, where $T\epu \to T$, $T$ being the time of existence of a smooth solution for  the limiting equation.

1218: 

1219: 

1220: 

1221: 

1222: 

1223: 

1224: 

1225: \paragraph*{Convergence to Euler, two dimensional case}

1226: Doing the same change of variables as in the proof of Theorem \ref{3eulerpoisson} 

1227: \be

1228: && \nabla \cdot v = \epsilon \beta_1,\\

1229: && \rho=1+ \epsilon^2 \rho_1, \\

1230: && \textrm{curl} v =\omega=\bar \omega+\epsilon \omega_1,

1231: \en

1232: we obtain:

1233: \beq

1234: &&\dt (\bar \omega+\epsilon \omega_1)+ v\cdot \nabla (\bar \omega+\epsilon \omega_1)

1235: =-(\bar \omega+\epsilon \omega_1)\epsilon \beta,\label{3vortimaeu}\\

1236: && \dt \epsilon\beta_1 + v\cdot\nabla \epsilon\beta_1 + 2\epsilon\partial_i \bar v^j \partial_j v_1^i +\epsilon\partial_i v_1^j \partial_j v_1^i=\frac{\Delta \psi -d}{\epsilon^2 }-\partial_i \bar v^j \partial_j \bar v^i,\\

1237: && \dt \epsilon^2\rho_1 + v\cdot \nabla\epsilon^2\rho_1 = -(1+\epsilon^2\rho_1)\epsilon \beta_1.

1238: \enq

1239: Now   we define $\Xi$ by 

1240: \be

1241: \Delta\psi-d =\epsilon^2\rho_1+ \epsilon^4\Xi,

1242: \en 

1243: and from Theorem \ref{3maHs} inequality (\ref{3detdelta2}), 

1244: we have, if $s\geq 2$, 

1245: $\|\Xi\|_{H^s}\leq C \|\rho_1\|^2_{H^s}$.

1246: The system can here be written in the following way:

1247: \be

1248: &&\dt {\bf u}\ep + \sum_i v^i \partial_i{\bf u}\ep + R\ep {\bf u}\ep = S\ep({\bf u}\ep)

1249: +V\ep,\\

1250: && {\bf u}\ep(0)={\bf u}\ep_0,

1251: \en

1252: still with 

1253: \be

1254: {\bf u}\ep=\left(\begin{array}{c}\omega_1\\\beta_1\\ \tilde \rho_1 \end{array}\right)

1255: , R\ep=\left(\begin{array}{ccc}0&0&0\\0&0&-\frac{1}{\epsilon}\\0&\frac{1}{\epsilon}&0\end{array}\right),

1256: \en

1257: with the same $S\ep$ as in the Euler-Poisson case, $\tilde \rho_1=\rho_1-\Delta p$, and with 

1258: \be

1259: V\ep=\left(\begin{array}{ccc}0\\\epsilon \Xi \\0\end{array}\right).

1260: \en

1261: We have $\|V\ep\|_{H^s}\leq C\epsilon (1+ \|{\bf u}\ep\|^2_{H^s})$, for $s$ large enough.

1262: Then the energy estimates are the same as in the first proof, the solution 

1263: ${\bf u}\ep$

1264: satisfying a control of the form:

1265: \be

1266: \Dt \|{\bf u}\ep\|^2_{H^s}\leq C \left(1+ \|{\bf u}\ep\|^2_{H^s} + \epsilon \|{\bf u}\ep\|^3_{H^s}\right)

1267: \en

1268: and the same conclusion holds true.

1269: Then from Corollary \ref{3estime}, $v-\bar v, \rho-1$ can be retrieved from ${\bf u}\ep$, and we obtain the expected conclusion.

1270: 

1271: $\hfill\Box$

1272: 

1273: 

1274: \paragraph*{Convergence to Euler, three dimensional case}

1275: 

1276: In the 3-d case, equation (\ref{3vortimaeu}) should be replaced by 

1277: \be

1278: \dt (\bar \omega+\epsilon \omega_1)+ v\cdot \nabla (\bar \omega+\epsilon \omega_1)

1279: =-(\bar \omega+\epsilon \omega_1)\epsilon \beta

1280: -\omega\cdot \nabla v.

1281: \en

1282: Note that the vorticity equation is the same as in the Euler-Poisson case.

1283: This change would not affect the energy estimates.

1284: 

1285: 

1286: 

1287: 

1288: 

1289: \paragraph*{Higher order approximation}

1290: 

1291: Here we prove that the the Euler-Poisson system and the Euler-Monge-Amp\`ere system are closer as $\epsilon$ goes to 0 than Euler-Poisson and Euler.

1292: We fix $s\geq s_0=[d/2]+2$.

1293: For $\bar v_0$ a $H^{s+2}$ smooth divergence-free vector field, we consider $(\bar v, p)$  a solution of the Euler incompressible system (\ref{3euler}) such that $\bar v \in \Linf([0,T], H^{s+2}(\Td))$ for some $T>0$.

1294: We consider also a sequence $(v\ep_{ep},\rho\ep_{ep})$ of solutions of the $(EP\epu)$ system with initial data $(v\ep_{ep,0},\rho\ep_{ep,0})$ (with $\int \rho_0\ep=1$) such that  $\epsilon^{-1}(v\ep_{ep}-\bar v),\epsilon^{-2}(\rho\ep_{ep}-1)$

1295: is bounded in $\Linf([0,T'], H^{s+1}\times H^{s}(\Td))$, for any  $0<T'<T$,  if $\epsilon$ is small enough.

1296: Thanks to Theorem \ref{3eulerpoisson}, and from the regularity assumption made on $\bar v$,  such a sequence exists for any sequence of well prepared initial data.

1297: 

1298: 

1299: \begin{theo}\label{3poisson-ma}

1300: Let $s\in\N$ with $s\geq [d/2]+2$. Let $\bar v,v\ep_{ep},\rho\ep_{ep}$ be as above.

1301: Let $ (v_0\ep, \rho_0\ep)$ be a sequence of initial data such that

1302: $\ds\left(\epsilon^{-2}(v_0\ep-v\ep_{ep,0}),\epsilon^{-3}(\rho_0\ep-\rho\ep_{ep,0})\right)$ 

1303: is bounded in $H^s\times H^{s-1}(\Td)$. Then there exists a sequence $ (v\ep, \rho\ep)$ of 

1304: solutions to $(EMA\epu)$  with initial data $(v_0\ep, \rho_0\ep)$, belonging to  $\Linf([0,T_{\epsilon}],H^s\times H^{s-1}(\Td))$, 

1305: with $\liminf_{\epsilon\rightarrow 0}T_{\epsilon}\geq T$. Moreover for any $T'<T$ and $\epsilon$  small enough, the sequence 

1306: $\ds\left(\epsilon^{-2}(v\ep-v\ep_{ep}), \epsilon^{-3}(\rho\ep-\rho\ep_{ep})\right)$

1307: is bounded in $\Linf([0,T'], H^{s}\times H^{s-1}(\Td))$.

1308: \end{theo}

1309: 

1310: {\it Remark.} We see here that the difference between solutions of $(EP\epu)$ and $(EMA\epu)$ is of order

1311: $\epsilon^3$ for the density and of order $\epsilon^2$ for the velocity whereas the difference

1312: between solutions of $(EP\epu)$ (or $(EMA\epu)$) and Euler was of order $\epsilon^2$ for the density and of order $\epsilon$ for the velocity.

1313: 

1314: \bigskip

1315: 

1316: {\bf Proof.}

1317: We give the proof when $d=2$, the proof would be the same when $d=3$, just with more terms.

1318: We introduce $(v_{ep},\rho_{ep}=1+\epsilon^2\rho_1)$ solution to $(EP\epu)$, and $(\beta_{ep}, \omega_{ep})=(\nabla\cdot v_{ep}, \nabla\times v_{ep})$.

1319: Then we set

1320: \be

1321: && v=v_{ep} + \epsilon^2 v_2,\\

1322: && \nabla \cdot v = \beta_{ep}+ \epsilon^{2}\beta_2,\\

1323: && \rho=\rho_{ep} + \epsilon^{3}\rho_2,\\

1324: && \textrm{curl} v =\omega=\omega_{ep} + \epsilon^2 \omega_2. 

1325: \en

1326: The system \( (EMA\epu) \) now reads:

1327: \beq

1328: &&\dt (\omega_{ep}+\epsilon^2 \omega_2 )+ v\cdot \nabla (\omega_{ep}+\epsilon^2\omega_2 )

1329: =-(\omega_{ep}+\epsilon^2 \omega_2 )(\beta_{ep} + \epsilon^2\beta_2),\\

1330: && \dt (\beta_{ep} + \epsilon^{2}\beta_2)+ v\cdot\nabla (\beta_{ep}+\epsilon^{2}\beta_2)

1331: + \nabla(v_{ep}+ \epsilon^2 v_2):\nabla(v_{ep}+ \epsilon^2 v_2)

1332: =\frac{\Delta \psi -d}{\epsilon^2 },\\

1333: && \dt (\rho_{ep} + \epsilon^{3}\rho_2)+ v\cdot \nabla(\rho_{ep}+ \epsilon^{3}\rho_2) 

1334: = -(\rho_{ep}+ \epsilon^{3}\rho_2)(\beta_{ep}+ \epsilon^{2}\beta_2).

1335: \enq

1336: We still define 

1337: $\Xi$ by 

1338: \be

1339: \Delta\psi-d =\rho-1 + \epsilon^4\Xi,

1340: \en 

1341: and from Theorem \ref{3maHs} we will have

1342: \be

1343: \|\Xi\|_{H^s(\Td)}\leq C \epsilon^{-4}\|\rho-1\|^2_{H^s(\Td)} \leq C(\|\rho_1\|^2_{H^s(\Td)} + \epsilon^2\|\rho_2\|^2_{H^s(\Td)}),

1344: \en

1345: (we use the notation $\rho_{ep}=1+ \epsilon^2 \rho_1$).

1346: 

1347: Setting

1348: \be

1349: {\bf u}\ep=\left(\begin{array}{c}\omega_2\\\beta_2\\ \rho_2 \end{array}\right),

1350: \en

1351:  we obtain that 

1352: \be

1353: \dt {\bf u}\ep + v\cdot \nabla {\bf u}\ep + R\ep {\bf u}\ep = T\epu,

1354: \en

1355: with $R\ep$ as before and $T\epu$ defined by

1356: \be

1357: T\epu=\left(\begin{array}{c}  -v_2\cdot \nabla w_{ep} -\beta_{ep} \omega_2-\beta_2 \omega_{ep} -\epsilon^2\omega_2 \beta_2\\

1358: -v_2\cdot \nabla \beta_{ep} -2 \nabla v_{ep} : \nabla v_2 -\epsilon^2 \nabla v_2 : \nabla v_2 + \Xi\\

1359: -\epsilon v_2\cdot \nabla \rho_1 -\beta_{ep}\rho_2 -\epsilon\beta_2\rho_1 -\epsilon^2\beta_2\rho_2

1360: \end{array}\right). 

1361: \en

1362: 

1363: Using again Proposition \ref{3AG} as in Lemma \ref{3bound} we obtain that, for $s>d/2$,

1364: \be

1365: \|T\epu\|_{H^s(\Td)}\leq C_s(1+\|{\bf u}\ep\|_{H^s(\Td)}+ \epsilon\|{\bf u}\ep\|_{H^s(\Td)}^2),

1366: \en 

1367: where the constant $C_s$ is controlled by $\|v_{ep}\|_{H^{s+2}}, \|\rho_1\|_{H^{s+1}}$ (still with $\rho_1=\epsilon^{-2}(\rho_{ep}-1)$).  From Theorem \ref{3eulerpoisson} these quantities are controlled 

1368: for $0\leq t\leq T'<T$,  $T$ being  the time on which the solution of $(E)$ is smooth.  Hence we have by Gronwall's lemma a bound on $\|{\bf u}\ep\|_{\Linf([0,T'], H^s)}$.

1369: 

1370: 

1371: 

1372: Arguing as in the previous proofs, and using Corollary \ref{3estime}, we obtain that $( v_2, \rho_2)$ remains bounded in $\Linf([0,T''], H^{s+1}\times H^{s}(\Td))$ for any $T''<T'$ and for  $\epsilon<\epsilon_0$ small enough.

1373: It follows that $(\epsilon^{-2}(v_{ep}-v_{ema}), \epsilon^{-3}(\rho_{ep}-\rho_{ema}))$

1374: remains bounded in $\Linf([0,T''], H^s\times H^{s-1}(\Td))$. This achieves the proof of Theorem \ref{3poisson-ma}.

1375: 

1376: $\hfill \Box$

1377: 

1378: 

1379: \subsection{Non-prepared initial data}

1380: In this case, we obtain exactly the same result as for Euler-Poisson, using the same techniques. We follow closely section 2.3, and 

1381: we only have to estimate the additional source term that will appear in the equation followed by $\beta_1$, due to the Monge-Amp\`ere coupling.

1382: We recall that $\det D^2\psi=\rho$, and

1383: we will have to estimate the difference

1384: \be

1385: \frac{1}{\epsilon^2}\left[( \Delta \psi - d) - (\rho-1)\right]

1386: \en

1387: in $H^s$ when we know that $\epsilon^{-1} (\rho-1)$ is bounded in $H^s$.

1388: Thanks to Theorem \ref{3maHs}, we conclude that for $s\geq 2$ this term is controlled by $\|\epsilon^{-1}(\rho-1)\|^2_{H^s} = \|\rho_1\|_{H^s}$. Hence the energy estimate can be handled similarly just with an additional term, and the conclusion remains true.

1389: 

1390: \begin{theo}\label{3mongeamperenp}

1391: The Theorem \ref{3eulerpoissonnp} holds also when replacing the $(EP\epu)$ system by the $(EMA\epu)$ system.

1392: \end{theo}

1393: 

1394: 

1395: 

1396: 

1397: 

1398: 

1399: 

1400: 

1401: 

1402: 

1403: \( \hfill \Box \)

1404: 

1405: \bibliography{ema-biblio}

1406: \vspace{1cm}

1407: \begin{flushright} 

1408: Gr\'egoire Loeper

1409: \\

1410: EPFL, SB-IMA

1411: \\ 

1412: 1015 Lausanne, Switzerland

1413: \\

1414: gregoire.loeper@epfl.ch

1415: \end{flushright}

1416: 

1417: \end{document}

1418: 

1419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1420: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1421: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1422: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1423: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1424: 

1425: 

1426: \subsection{Non-prepared initial data}

1427: 

1428: Here we obtain energy estimates in the general case of non-prepared initial data. 

1429: What we mean by 'general case' is the case of a generic smooth initial velocity, and smooth initial density, with finite energy, hence $\rho-1$ will be of order $\epsilon$.

1430: 

1431: We will see that the energy estimates are the same as in the case of prepared initial data, the asymptotic $\epsilon \to 0$ is then handled similarly to \cite{Gr-ns}, although the algebra in our case is quite simple. The solution will exhibit a good space regularity and a strongly oscillating behavior with respect to time. 

1432: As explained in \cite{Gr-ns}, the motion can be decomposed along a slow and a fast manifold; the slow manifold consists of divergence-free velocities with uniform density, and the fast manifold consists of potential velocities. Due to the rapid oscillations, the potential part of $v$ will converge weakly to 0, and the divergence-free part will converge strongly to a smooth solution of the incompressible Euler equation. 

1433: 

1434: 

1435: 

1436: 

1437: 

1438: 

1439: 

1440: We still consider $(\rho, v)$ solution to $(EP\epu)$ (we drop the $\epsilon$ for convenience).

1441: For any vector field $v$, we introduce its soleno\"idal part and potential part, which is  the pair $(w, \nabla q)$ such that 

1442: $v=w + \nabla q$ with $q$ periodic and $\nabla\cdot  w=0$.

1443: We denote $\bar v_0$ the soleno\"idal part of $v_0$.

1444: 

1445: 

1446: \paragraph*{A priori estimates}

1447: We now consider $\bar v$ the solution of $(E)$ with  initial data $\bar v_0$, and

1448: we make the following ansatz: 

1449: \be

1450: &&v= \bar v + v_1,\\

1451: &&\rho = 1 + \epsilon \rho_1.

1452: \en

1453: We use the unknown ${\bf u}$, given by

1454: \be

1455: {\bf u} = \left( \begin{array}{c}\omega_1=\text{curl} v_1 \\ \beta_1=\text{div} v_1  \\  \rho_1\end{array} \right).

1456: \en

1457: (Note that we do not subtract $\Delta p $ to $\rho_1$ in this case.)

1458: Similarly, we denote $\omega = \text{curl } v, \bar \omega = \text{curl } \bar v$.

1459: 

1460: We now restrict to the case $d=2$, but one can check easily that the same results hold when $d=3$.

1461: 

1462: We write the equation followed by ${\bf u}$:

1463: \beq

1464: &&\dt {\bf u} + \sum_i v^i \partial_i{\bf u} + R\ep {\bf u} = S\ep({\bf u})\label{3beaunp},\\

1465: && {\bf u}(0)={\bf u}_0\label{3initialenp},

1466: \enq

1467: where $R\ep$ is a before, and the source term $S\ep$ is now given by

1468: 

1469: \be

1470: S\ep=\left(\begin{array}{c}-\beta_1 \omega - v_1\cdot \nabla \bar\omega \\ -\nabla v:\nabla v \\  -\rho_1\beta_1 \end{array} \right).

1471: \en

1472: When $s > d/2$, proceeding as in Lemma \ref{3bound}, we have the estimate

1473: \be

1474: \|S\ep\|_{H^s} \leq C_s (1+ \|{\bf u}\|_{H^s} + \|{\bf u}\|_{H^s}^2),

1475: \en

1476: where $C_s$ depends on $\|\bar v\|_{H^{s+2}}$.

1477: 

1478: \bigskip

1479: 

1480: Arguing as in the previous case, we conclude that, given $s\geq  [d/2]+2$ and a sequence of initial data $(\rho_0\ep, v_0\ep) $, with $\int  \rho_0\ep =1$, and  such that

1481: \be

1482: &&\|v_0\ep\|_{H^s}\leq C, \\

1483: &&\|\nabla\times v_0\ep\|_{H^{s}}\leq C,\\

1484: && \epsilon^{-1}\|\rho_0\ep-1\|_{H^{s-1}} \leq C,

1485: \en

1486: there exists a sequence $(\rho\ep, v\ep)$ of solutions to $(EP\epu)$ with initial data $(\rho_0\ep, v_0\ep)$, 

1487: and $(\epsilon^{-1}(\rho\ep-1),v\ep)$ remains bounded in $\Linf([0,T],H^{s-1}\times H^s(\Td))$ for some $T>0$, independent of $\epsilon$.

1488: 

1489: \paragraph*{Convergence}

1490: Considering the pair $\tilde {\bf u}=  (\tilde \beta_1 , \tilde \rho_1)$ such that

1491: \be

1492: \tilde \beta_1 +i\tilde \rho_1 = e^{it/\epsilon}\Big(\beta_1 +i\rho_1\Big),

1493: \en

1494: we have 

1495: \be

1496: \dt \tilde {\bf u}+ v\cdot \nabla \tilde {\bf u} = T\ep,

1497: \en 

1498: with $\|T\ep\|_{\Linf([0,T],H^{s-1})} \leq C$ and $\|v\|_{\Linf([0,T],H^{s})} \leq C$ from the a priori bounds ( we still have $s\geq [d/2]+2$).

1499: Hence, $\dt \tilde{\bf u}$ is uniformly bounded at least in $L^2$, and we deduce classically that 

1500: $(\beta_1,\rho_1)$ converges weakly to 0 in $[0,T]\times\Td$.

1501: Then we see that the source term for the vorticity  can be rewritten as

1502: $$-\beta_1 \omega - v_1\cdot \nabla \bar\omega=-\beta_1 \bar\omega - \beta_1 \omega_1 -v_{1}^{rot} \cdot \nabla\bar\omega -v_{1}^{pot} \cdot \nabla\bar\omega ,$$

1503: where  $v_{1}^{pot}= \nabla \Delta^{-1} \beta_1$, and  $-v_{1}^{pot}=v_1-v_1^{pot}$.

1504: Hence $v_{1}^{pot}$ is the potential part of $v$.

1505: Note that, using Corollary \ref{3estime},  $v_1^{rot}$ is bounded in $H^{s}$ by $C(\epsilon + \|\omega_1\|_{H^{s-1}})$

1506: (the '$\epsilon$' comes from the constraint $\int \rho\ep v\ep = \int\rho\ep_0 v\ep_0$). 

1507: 

1508: Hence we have for $\omega_1$:

1509: \be

1510: &&\dt\omega_1 + v\cdot\nabla \omega_1 = T_1 + T_2,\\

1511: &&T_1= - \beta_1 \omega_1 -v_{1}^{rot} \cdot \nabla\bar\omega, \\

1512: &&T_2= -\beta_1 \bar\omega -v_{1}^{pot} \cdot \nabla\bar\omega. 

1513: \en

1514: The vector field $v$ is uniformly Lipschitz in space, the term $T_1$ 

1515: satisfies $\|T_1\|_{\Linf} \leq C(\epsilon + \|\omega_1\|_{\Linf})$, and the term $T_2$ can be expressed as $T_2 = {\cal R}(\tilde T_2 e^{-it/\epsilon})$, with  $\nabla \tilde T_2, \dt \tilde T_2$  uniformly bounded in $L^2$.

1516: Hence considering $X(t,x)$ the flow of the vector field $v(t,x)$, writing 

1517: \be

1518: \omega_1(t,X(t,x)) = \omega_1(0,x)+ \int_0^t T_1(s,X(s,x)) + {\cal R}\Big(\tilde T_2(s,X(s,x))e^{-is/\epsilon}\Big) \ ds,

1519: \en

1520: and using the fact that the initial value of $\omega_1$ is 0, we obtain that

1521: $w_1$ converges uniformly to 0 in $[0,T]\times \Td$, as $\epsilon$ goes to 0.

1522: 

1523: We gather those results in the following theorem:

1524: 

1525: \begin{theo}\label{3eulerpoissonnp}

1526: Let $s\geq [d/2]+2$, let $(\rho\ep_0, v\ep_0)$ be a sequence of initial data, such that $\int \rho_0\ep = 1$. Assume that the soleno\"idal part of $v\ep_0$, defined above, is bounded in $H^{s+1}(\Td)$, assume that $v\ep_0$ is bounded in $H^{s}(\Td)$ and that $\epsilon^{-1}(\rho\ep_0-1)$ is bounded in $H^{s-1}(\Td)$. Then 

1527: \begin{enumerate}

1528: \item There exists $T>0$ such that the sequence of solutions to $(EP\epu)$ with initial data $(\rho\ep_0, v\ep_0)$ exists on $[0,T]$, and the sequence $(\epsilon^{-1}(\rho\ep-1), v\ep)$ is bounded in $\Linf([0,T],H^{s-1}\times H^s(\Td))$.

1529: \item The potential part of $v\ep$, defined above, converges weakly to 0 in $L^2([0,T]\times \Td)$.

1530: \item If $\bar v_0\ep$ converges to some $\bar v_0$ weakly in $H^{s+1}$, then, for all $s'<s$, the soleno\"idal part of $v\ep$ converges in $C([0,T], H^{s'}(\Td))$ to $\bar v$ the solution of $(E)$ with initial data $\bar v_0$.

1531: \end{enumerate}

1532: \end{theo}

1533: