1: %%

2: %% Beginning of file 'sample.tex'

3: %%

4: %% Modified 03 Jan 01

5: %%

6: %% This is a sample manuscript marked up using the

7: %% AASTeX v5.x LaTeX 2e macros.

8: 

9: %% The first piece of markup in an AASTeX v5.x document

10: %% is the \documentclass command. LaTeX will ignore

11: %% any data that comes before this command.

12: 

13: %% The command below calls the preprint style

14: %% which will produce a one-column, single-spaced document.

15: %% Examples of commands for other substyles follow. Use

16: %% whichever is most appropriate for your purposes.

17: 

18: \documentclass[12pt,preprint]{aastex}

19: 

20: %% manuscript produces a one-column, double-spaced document:

21: 

22: % \documentclass[manuscript]{aastex}

23: 

24: %% preprint2 produces a double-column, single-spaced document:

25: 

26: % \documentclass[preprint2]{aastex}

27: 

28: %% If you want to create your own macros, you can do so

29: %% using \newcommand. Your macros should appear before

30: %% the \begin{document} command.

31: %%

32: %% If you are submitting to a journal that translates manuscripts

33: %% into SGML, you need to follow certain guidelines when preparing

34: %% your macros. See the AASTeX v5.x Author Guide

35: %% for information.

36: 

37: \newcommand{\vdag}{(v)^\dagger}

38: \newcommand{\myemail}{skywalker@galaxy.far.far.away}

39: 

40: %% You can insert a short comment on the title page using the command below.

41: 

42: %\slugcomment{Not to appear in Nonlearned J., 45.}

43: 

44: %% If you wish, you may supply running head information, although

45: %% this information may be modified by the editorial offices.

46: %% The left head contains a list of authors,

47: %% usually a maximum of three (otherwise use et al.).  The right

48: %% head is a modified title of up to roughly 44 characters.  Running heads

49: %% will not print in the manuscript style.

50: 

51: \shorttitle{}

52: %\shortauthors{Djorgovski et al.}

53: 

54: %% This is the end of the preamble.  Indicate the beginning of the

55: %% paper itself with \begin{document}.

56: 

57: \usepackage{graphicx}% Include figure files

58: \usepackage{bm}% bold math

59: \usepackage{amssymb}

60: 

61: \begin{document}

62: 

63: %% LaTeX will automatically break titles if they run longer than

64: %% one line. However, you may use \\ to force a line break if

65: %% you desire.

66: 

67: \title{Effect of a non null pressure on the evolution of perturbations in the matter dominated epoch}

68: 

69: %% Use \author, \affil, and the \and command to format

70: %% author and affiliation information.

71: %% Note that \email has replaced the old \authoremail command

72: %% from AASTeX v4.0. You can use \email to mark an email address

73: %% anywhere in the paper, not just in the front matter.

74: %% As in the title, you can use \\ to force line breaks.

75: 

76: \author{A. Herrero}

77: \affil{Departament de Matem\`atica Aplicada, Universitat Polit\`ecnica de

78:        Val\`encia, Spain}

79: \email{aherrero@mat.upv.es}

80: 

81: \and 

82: 

83: \author{M. Portilla}

84: \affil{Departament d'Astronomia i Astrof\'{\i}sica, Universitat de

85:        Val\`encia, Spain}

86: \email{miguel.portilla@uv.es}

87: 

88: 

89: %% Mark off your abstract in the ``abstract'' environment. In the manuscript

90: %% style, abstract will output a Received/Accepted line after the

91: %% title and affiliation information. No date will appear since the author

92: %% does not have this information. The dates will be filled in by the

93: %% editorial office after submission.

94: 

95: \begin{abstract}

96: We analyze the effect of pressure on the evolution of perturbations of an

97: Einstein-de Sitter Universe in the matter dominated epoch assuming an ideal

98: gas equation of state. For the sake of simplicity the temperature is

99: considered uniform. The goal of the paper is to examine the validity of the

100: linear approximation. With this purpose the evolution equations are developed

101: including quadratic terms in the derivatives of the metric perturbations and

102: using coordinate conditions that, in the linear case, reduce to the

103: longitudinal gauge. We obtain the general solution, in the coordinate space,

104: of the evolution equation for the scalar mode, and, in the case of spherical

105: symmetry, we express this solution in terms of unidimensional integrals of

106: the initial conditions: the initial values of the Newtonian potential and its

107: first time derivative. We find that the contribution of the initial first

108: time derivative, which has been systematically forgotten, allows to form

109: inhomogeneities similar to a cluster of galaxies starting with very small

110: density contrast. Finally, we obtain the first non linear correction to the

111: linearized solution due to the quadratic terms in the evolution equations.

112: Here we find that a non null pressure plays a crucial role in constraining

113: the non linear corrections. It is shown, by means of examples, that

114: reasonable thermal velocities at the present epoch (not bigger than $10^{-6}$)

115: make the ratio between the first non linear correction and the linear

116: solution of the order of $10^{-2}$ for a galaxy cluster inhomogeneity.

117: 

118:  

119: \end{abstract}

120: 

121: %% Keywords should appear after the \end{abstract} command. The uncommented

122: %% example has been keyed in ApJ style. See the instructions to authors

123: %% for the journal to which you are submitting your paper to determine

124: %% what keyword punctuation is appropriate.

125: 

126: \keywords{cosmology: theory, galaxies: clusters: general}

127: 

128: %% From the front matter, we move on to the body of the paper.

129: %% In the first two sections, notice the use of the natbib \citep

130: %% and \citet commands to identify citations.  The citations are

131: %% tied to the reference list via symbolic KEYs. The KEY corresponds

132: %% to the KEY in the \bibitem in the reference list below. We have

133: %% chosen the first three characters of the first author's name plus

134: %% the last two numeral of the year of publication as our KEY for

135: %% each reference.

136: 

137: 

138: 

139: \section{Introduction}

140: 

141: The relativistic theory of the evolution of perturbations was initiated in

142: 1946  by Lifshitz using a special coordinate condition known as the

143: synchronous gauge. He linearized the Eintein's equations to obtain the

144: evolution of perturbations. In fact, he found plane wave solutions for the

145: radiation dominated epoch, assuming $p= (1/3) \rho$ as equation of state,

146: and for the matter dominated epoch, neglecting the effects of the pressure.

147: The theory, with subsequent improvements, is referenced in many books of

148: Cosmology \citep{PEEB,ZEL,LAN,WEI}.

149: 

150: However, the synchronous coordinate condition has two great drawbacks. The

151: first one is consequence of the fact that it does not completely fix the

152: coordinate system, allowing the existence of gauge modes. This problem can be

153: handled using a gauge invariant version of the theory, started by Bardeen

154: \citep{BAR} and collected by Mukhanov, Feldman \& Branderberger \citep{MUK}.

155: This last review also shows an easier way to obtain gauge invariant equations

156: using a coordinate condition that does not allow the existence of gauge modes.

157: These coordinate conditions define what is known as the longitudinal gauge.

158: 

159: The other inconvenience of the synchronous gauge is that the metric

160: perturbation and the density contrast both depend on the second space-like

161: derivatives of a potential. Then, great values for the density contrast imply

162: great values for the metric perturbation, and in consequence the linear

163: approximation in this gauge fails when the density contrast is bigger than

164: unity. On the contrary, in the longitudinal gauge the metric perturbation is

165: proportional to a potential while the density contrast is proportional to the

166: laplacian of the same potential. So, the metric perturbation can be a very

167: small quantity while the corresponding density contrast can achieve values

168: greater than unity. For example, galaxy clusters develop a potential of the

169: order of $\phi/c^2 \leq  10^{-5}$ varying at scales of $R\approx 1Mpc/6000 h$;

170: then, using the relation $\delta =(1/6) \Delta \phi$ for the density contrast,

171: in adimensional coordinates, we get $\delta \approx 1/(6 R^2) \approx  10^3$

172: for $h=0.5$. This makes, in principle, possible the validity of the linear

173: approximation in the longitudinal gauge to study the formation of

174: inhomogeneities similar to galaxy clusters.

175: 

176: Then, the question arises why the linear approximation (linear in the

177: metric perturbation) is always considered inaccurated to describe the

178: evolution when the density contrast is bigger than unity. In this paper we

179: are interested in analyzing when the linear approximation begins to fail in

180: describing the evolution of such objects. To do that, according to the

181: previous paragraph, it is necessary to take into account here on that the

182: spatial derivatives of the potential can be much bigger than the potential.

183: Let us to point, in advance, that the pressure plays a crucial role in this

184: issue.

185: 

186: So, in section \ref{EV} we write Einstein's equations in evolutive form,

187: keeping quadratic terms in the first derivatives of the metric perturbation

188: and neglecting quadratic terms in the potential. We use coordinates which

189: simplify the evolution of the tensor components of the metric perturbation

190: and which reduce, in the linear case, to the longitudinal gauge. Moreover, to

191: complete the evolution equations we need to give the stress tensor. In the

192: matter dominated epoch and after the decoupling with radiation, the

193: temperature of matter $T(t)$ decreases as $1/a^2(t)$, where $a(t)$ is the

194: expansion factor, and the pressure becomes so small that it is usually

195: neglected. But, as we shall see in this paper a non null pressure is necessary

196: to keep valid the linear approximation. Then, we will consider the simple case

197: of an ideal gas with an equation of state of the form $p=(a_o^2 T_o/ma^2(t))

198: \rho$. Notice that, although the temperature is becoming very small, the 

199: evolution will increase the energy density and this is the reason for keeping

200: the pressure. Under these conditions we write down, in section \ref{LEE}, the 

201: evolution equations of the gravitational potential in the linear approximation.

202: 

203: The evolution equations have two degrees of freedom: the potential and its

204: first time derivative. In section \ref{CPLE} we find the general solution

205: $\phi^{(0)}$ of the linear evolution equations for arbitrary initial

206: conditions. Next, we use this result in section \ref{EFNN} to obtain the

207: evolution of the density contrast and the macroscopic velocity starting from

208: appropriated initial conditions to form an inhomogeneity similar to a galaxy

209: cluster. The characteristic length of the structure will be given by the

210: parameter $\epsilon=\tau (1+z_i)^{1/2}$, as a sort of Jeans length, where

211: $z_i$ is the initial redshift and $\tau=\sqrt{T_o/m}$ represents the present

212: value of the random  mean square  velocity (r.m.s. velocity).

213: 

214: Finally, we face the problem of the validity of the linear approximation. The

215: validity criterion, working in the longitudinal gauge, cannot be based on

216: the value of the density contrast, as we have commented above. Instead, it

217: should be based on the value of the non linear corrections of the evolution

218: equations. So, in section \ref{VAL} we estimate the first non linear

219: correction, $\phi^{(1)}$, due to the quadratic terms in the Einstein's

220: equations, and obtain an upper bound estimation for the quotient $\Gamma=

221: |\phi^{(1)}/\phi^{(0)}|$. The linear approximation will be considered

222: suitable if this quotient is small, although the density contrast has reached

223: a great value. With this validity criterion, an inhomogeneity similar to a

224: cluster of galaxies could be described with the linear approximation because

225: we obtain a $\Gamma$ of the order of $10^{-2}$. Notice that, if we take the

226: well known solution for $p=0$, we obtain $\Gamma$ bigger than unity. So, the

227: pressure plays a crucial role for the validity of the linear approximation.

228: 

229: \section{The evolution equations}

230: \label{EV}

231: We assume in this paper the concepts and notations usual of the $3+1$

232: formalism of general relativity \citep{YORK}. We shall consider a

233: perturbation of an Einstein-de Sitter Universe, so we put the metric in the

234: form:

235: \begin{equation}

236: ds^2  =  -\alpha^2 (\phi) dt^2 + \gamma_{ij} dx^i dx^j

237: \end{equation}

238: The shift vector $\beta_i $ has been taken null, and the lapse function

239: $\alpha$ will be choosen conveniently later. We write the tridimensional

240: metric $\gamma_{ij}$ in terms of a scalar $\phi$ and a trace-less tensor:

241: \begin{equation}

242: \label{tridi}

243: \gamma_{ij}  =  a^2 ((1-2\phi)\delta_{ij}+\sigma_{ij})

244: \end{equation}

245: where $a= a(t)$ denotes the scale factor of the Einstein-de Sitter Universe,

246: and $\sigma_{ij}$ is a tridimensional tensor verifying $ \delta^{mn}

247: \sigma_{mn}=0$. In the following we shall neglect quadratic terms in the

248: metric perturbations, $\phi$ and $ \sigma_{ij}$, but those which are

249: quadratic in its first derivatives (as was explained in the introduction). We

250: shall need the extrinsic curvature of the surfaces $t=$constant,

251: $$

252: K_{ij}:= -\frac{1}{2\alpha}\partial_t \gamma_{ij}= - \frac{a^2}{\alpha}

253: \{(H(1-2\phi)-\partial_t \phi) \delta_{ij}+ H \sigma_{ij}+

254: \frac{1}{2}\partial_t \sigma_{ij}\},

255: $$

256: being $H = \dot a /a$ the Hubble constant, and the Ricci tensor of the

257: tridimensional metric $ \gamma_{ij}$:

258: $$

259: R_{ij}= (1+2\phi)\phi_{,ij}+3\phi_{,i}\phi_{,j}+((1+2\phi)\Delta \phi+

260: (\nabla \phi)^2 ) \delta_{ij}-\frac{1}{2}\Delta \sigma_{ij}-\delta^{mn}

261: \sigma_{(im,mj)}

262: $$

263: where the operators $\Delta$ and $\nabla$ are referred to the euclidean

264: tridimensional metric.

265: 

266: Splitting the energy tensor in parallel and orthogonal components to the

267: vector field $u= (1/\alpha )\partial_t$,

268: \begin{equation}

269: T^{\mu \nu}= \rho u^{\mu}u^{\nu} + p h^{\mu \nu} + q^{\mu}u^{\nu} +

270: q^{\nu}u^{\mu} + \pi^{\mu\nu},

271: \end{equation}

272: one gets the corresponding energy density, f{l}ux of energy and stress tensor.

273: Then, a Cauchy problem with constraints can be stated in General Relativity

274: \citep{BRUHAT}. Over a space-like surface $t= t_{i}$ a tridimensional metric

275: and an extrinsic curvature tensor are suposed to be given. These tensors

276: evolve in time according to the following equations:

277: \begin{equation}\label{EVE}

278: \begin{array}{rcl}

279: \partial_t \gamma_{ij} &=& -2\alpha K_{ij}  \\

280: \partial_t K_{ij} &=& -D_iD_j\alpha +\alpha (R_{ij}+tr K K_{ij} -

281: 2K_{ia}K^{a}_{j})+4\pi G\alpha(p-\rho)\gamma_{ij} - 8\pi G\alpha \pi_{ij}

282: \end{array}

283: \end{equation}

284: with $tr K$ representing the tridimensional metric trace of the extrinsic

285: curvature tensor and $D_i$ the tridimensional covariant derivative. In these

286: equations the components of the stress tensor, $p$ and $\pi_{ij}$, must be

287: choosen from the beginning, as we will do below.

288: 

289: The energy density and the f{l}ux of energy are linked by constraint

290: conditions to the Ricci tensor and the extrinsic curvature:

291: \begin{equation}\label{COE}

292: \begin{array}{rcl}

293: 16\pi G\rho &=& (trK)^2-tr(K^2)+R  \\

294: 8\pi G q_i &=& D^a K_{ai}- D_i trK

295: \end{array}

296: \end{equation}

297: where $R$ is the scalar curvature of the tridimensional metric. If one knows

298: at some initial instant $t_i$ the f{l}ux of energy and the energy density,

299: one must solve first the constraint equations (\ref{COE}) to determine a

300: valid set of initial conditions $ \gamma^{*}_{ij}(x) , K^{*}_{ij}(x) $. Then,

301: the evolution equations (\ref{EVE}) determine the $\gamma_{ij}(t,x),

302: K_{ij}(t,x)$ for $t > t_i$. Substituting them into the constraint equations

303: one gets the evolution of the energy density and the flux of energy.

304: 

305: Finally, we shall assume a one-component Universe with a pressure tensor of

306: the form:

307: \begin{eqnarray}

308: \pi_{ij} & = & A [\phi_{,ij}]^t + \pi^{(2)}_{ij}(\phi,t) \label{pi} \\

309: p & = & p_{B}+  E \Delta \phi + p^{(2)}(\phi,t) \label{pres}

310: \end{eqnarray}

311: where $[\phi_{,ij} ]^t$ means trace-less component, $A$ and $E$ are only

312: functions of time and $p^{(2)}$ and $\pi^{(2)}_{ij}$ are a scalar and a

313: second order 3-tensor formed with the 3-vectors $\phi_{,i} \ , \

314: \sigma_{im,m}$ and its first time derivatives respectively. This assumption

315: is quite general because it allows to consider an ideal gas as well as

316: solutions of an Einstein-Vlasov problem. Next, we shall develope the

317: evolution equations taking into account these last expressions.

318: 

319: Let us start splitting the second evolution equation into trace-less and

320: trace part equations. The trace-less part is:

321: \begin{equation}

322: -\frac{a^2}{2}\partial^2_t \sigma_{ij} - \frac{3}{2}a^2 H \partial_t

323: \sigma_{ij}+\frac{1}{2\alpha} \Delta \sigma_{ij}

324: +\frac{1}{\alpha} \sigma^t_{(im,mj)}= S_{ij}

325: \end{equation}

326: where

327: \begin{equation}\label{ese}

328: S_{ij}= (\alpha(1+2\phi)-\alpha' -8\pi G \alpha A) [\phi_{,ij}]^t

329:  + (-\alpha'' - 2\alpha' +3\alpha) [\phi_{,i}\phi_{,j}]^t- 8\pi G \alpha

330:  \pi^{(2)}_{ij} .

331: \end{equation}

332: An appropriate election of the lapse function $\alpha(\phi)$ can simplify the

333: problem. Lifshitz used the Gaussian gauge: $\alpha =1$, but this choice has

334: more than one inconvenience, as we have pointed out at the introduction.

335: Looking at equation (\ref{ese}) we see that the best choice is to take

336: $\alpha $ such that the coefficient of the Hessian vanishes. That means to

337: take $\alpha$ as the solution of the equation:

338: $$

339: \alpha(1+2\phi)-\alpha' -8\pi G \alpha A = 0

340: $$

341: which is $\alpha = e^{b_1 \phi + \phi^2}$, 

342: with $b_1 = 1-8 \pi G A$. With this election, the coefficient of $[\phi_{,i}

343: \phi_{,j}]^t$ in the expression of $S_{ij}$ becomes $-2 + 32 \pi G  A$, and 

344: the evolution of the trace-less component results:

345: $$

346: \partial^2_t \sigma_{ij} + 3  H \partial_t \sigma_{ij}-\frac{1}{a^2} (\Delta

347: \sigma_{ij}+2\sigma^t_{(im,mj)})= \frac{4}{a^2}(1-16\pi G  A)[ \phi_{,i}

348: \phi_{,j}]^t+ \frac{16 \pi G(1-8\pi G A)}{a^2} \pi_{ij}^{(2)}

349: $$

350: 

351: As to the trace component of the evolution equation, it writes down as:

352: $$

353: \partial^2_t \phi + 4 H \partial_t \phi - (\frac{8\pi G A} {3 a^2} +

354: 4 \pi G E)\Delta \phi+ \frac{1}{12 a^2} \partial_i \partial_m \sigma_{im}=

355: \frac{1}{2}(\partial_t \phi)^2 -\frac{1}{6 a^2}(\nabla \phi)^2 + 4 \pi G p^{(2)}

356: $$   

357: 

358: We have found convenient to introduce the conformal time $\eta$, defined by

359: $dt=a^2d\eta$. In this time coordinate the expansion factor writes down as

360: $a(\eta)=a_o\eta^2$ with $a_o$ related to the Hubble constant by $a_o=2/H_o$.

361: Then,the final form of the evolution equations is:

362: \begin{equation}\label{GNLE1}

363: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi -

364: \frac{4\pi G}{3}(2 A + 3 E a^2)\Delta \phi +

365: \frac{1}{12} \sigma_{im,im} = \frac{1}{2}(\partial_{\eta} \phi)^2 -

366: \frac{1}{6}(\nabla \phi)^2+ 4 \pi G a^2  p^{(2)} 

367: \end{equation} 

368: \begin{equation}\label{GNLE2}

369: \partial^2_{\eta} \sigma_{ij} + \frac{4}{\eta}\partial_{\eta}\sigma_{ij} -

370: \Delta \sigma_{ij}-2[\sigma_{(jm,im)}]^t = 4(1-16\pi G A) [\phi_{,i}

371: \phi_{,j}]^t + 16 \pi G(1-8\pi G A) \pi_{ij}^{(2)} 

372: \end{equation}

373: In addition to these equations, the constraint conditions should be

374: considered:

375: \begin{eqnarray}

376: 4\pi G \rho &=& \frac{1}{a^2} \Delta \phi - \frac{3H}{a} \phi_{,\eta}+

377: \frac{3H^2}{2}(1-2b_1 \phi)+\frac{5}{2a^2}(\nabla\phi)^2 + \frac{3}{2a^2}

378: (\phi_{,\eta})^2+\frac{1}{4a^2}\sigma_{im,im}  \\

379: 4\pi G q_{i} &=& - b_1 H \phi_{,i}-  \frac{1}{a}\phi_{,\eta i}+ \frac{1}{2a}

380: \sigma_{im,m\eta}+H \sigma_{im,m}

381: \end{eqnarray}

382: 

383: So, it remains to give the functions A, E, $p^{(2)}$ and $\pi^{(2)}_{ij}$

384: appearing in the pressure tensor. As we are interested in the matter

385: dominated epoch, it is reasonable to consider the one-component Universe as

386: an ideal gas, with energy tensor $ T_{\mu \nu}= \rho_c w_{\mu} w_{\nu} +

387: p_c (g_{\mu \nu}+w_{\mu} w_{\nu})$, equation of state $p_c =( T/m) \rho_c$

388: and temperature evolving as $T= const/a^2$. In the Appendix A we show how

389: this assumption means to take $A=0$ and $E\approx \tau^2  /4 \pi G  a^4 $,

390: where $\tau = \sqrt{T_o/m}$ is the r.m.s. veloctiy at the present epoch, and

391: neglect the second order expressions $p^{(2)}$ and $\pi^{(2)}_{ij}$.

392: 

393: Let us repoduce the complete set of equations:

394: \begin{eqnarray}

395: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi -

396: \frac{\tau^2 }{\eta^4}\Delta \phi +\frac{1}{12} \sigma_{im,im} & = &

397: \frac{1}{2}(\partial_{\eta} \phi)^2 - \frac{1}{6}(\nabla \phi)^2 \label{NLE1} \\

398: \partial^2_{\eta} \sigma_{ij} + \frac{4}{\eta}\partial_{\eta}\sigma_{ij} -

399: \Delta \sigma_{ij} -2[\sigma_{(jm,im)}]^t & = & 4 [\phi_{,i}\phi_{,j}]^t

400: \label{NLE2}

401: \end{eqnarray}

402: \vspace{-0.5cm}

403: \begin{eqnarray}

404: \delta & = & \frac{\eta^2}{6} \Delta \phi -  \eta \phi_{,\eta}- 2 \phi +

405: \frac{\eta^2}{24}\sigma_{im,im} \\

406: 4\pi G q_{i} & = & - H \phi_{,i}- \frac{1}{a}\phi_{,\eta i}+ \frac{1}{2a}

407: \sigma_{im,m\eta}+H \sigma_{im,m}

408: \end{eqnarray}

409: where we have substituted the energy density $\rho$ by the density contrast

410: $\delta$ using the relation $\delta=(\rho-\rho_{_B})/\rho_{_B}$, with 

411: $\rho_{_B}=3H^2/8\pi G$ the background energy density.

412: 

413: \subsection{The longitudinal gauge}

414: 

415: The longitudinal gauge, unlike the Gaussian gauge, fixes definitely the

416: coordinates. This is a well known fact, but let us give here an argument,

417: which may  be useful for other purposes.

418: 

419: If we start with the Robertson-Walker (R-W) metric in canonic coordinates,

420: $ds^2 = -d\bar t^2 + a^2(\bar t) \delta_{ij} d\bar x^i d\bar x^j $ and we

421: introduce new coordinates:

422: \begin{eqnarray*}

423: \bar t &=&  t + \varphi( t,  x) \\

424: \bar x^i &=&  x^i + \xi_i( t,  x)

425: \end{eqnarray*}

426: and impose the coordinate conditions $g_{oi} = 0$, one puts the metric in the

427: form:

428: \begin{equation}

429: ds^2 = -(1+2\dot \varphi) d  t^2+ a^2 (t)[ (1+ 2 H \varphi)\delta_{mn}

430: dx^m dx^n + 2 \xi_{(m,n)} d x^m d x^n]

431: \end{equation}

432: with

433: $$

434: \xi_m( t,  x)= \frac{1}{2} \psi_{,m} + \zeta_m (x) , \qquad  \psi = 2 \int

435: \frac{1}{a^2}\varphi dt

436: $$

437: being $\dot \varphi$ the time derivative of $\varphi$, and $\zeta_m $

438: arbitrary functions of the space-like coordinates. Then, the lapse function

439: and the tridimensional metric are:

440: \begin{eqnarray*}

441: \alpha &=&  1+\dot \varphi \\

442: \gamma^{RW}_{ij} &=&  a^2( t) \left[ (1+2H\varphi  +\frac{1}{3} \Delta \psi+

443: \frac{2}{3} \zeta_{m,m}) \delta_{ij} + \psi^t_{,ij}+ 2 \zeta^t_{(m,n)}\right]

444: \end{eqnarray*}

445: Comparing these expressions with equation (\ref{tridi}) we obtain the

446: gravitational potential and the trace-less tensor as:

447: \begin{eqnarray*}

448: -2 \phi &=& 2H \varphi + \frac{1}{3} \Delta \psi + \frac{2}{3} \zeta_{m,m} \\

449: \sigma_{mn}&=& \psi^t_{,mn} + 2 \zeta^t_{(m,n)}

450: \end{eqnarray*}

451: Consequently, if we choose the longitudinal gauge, i.e. $\alpha = 1+ \phi$,

452: the function $\varphi$, which define the new time coordinate, should satisfy

453: the equation:

454: \begin{equation}

455: \partial^2_t \varphi + \frac{1}{3a^2}\Delta \varphi + \dot H \varphi + H

456: \partial_t \varphi =0 .

457: \end{equation}

458: Notice that the coefficients of the second time derivatives and of the

459: laplacian operator in this equation  have the same sign. This makes

460: impossible to construct a time-like foliation with the function $\varphi$,

461: apart from the case $\varphi = 0$. So, we can conclude that if we develope a

462: R-W perturbation in the longitudinal gauge, it is impossible to recover a R-W

463: space-time in other coordinates. 

464: 

465: However, if one chooses the Gaussian gauge, i.e. $\alpha=1$, the function

466: $\varphi$ should now satisfy the equation $\dot \varphi=0$, making possible

467: to introduce new time coordinates. This forces to characterize the gauge

468: modes, i.e. the false metric perturbations.

469: 

470: 

471: \section{The linear evolution equations}\label{LEE}

472: 

473: We shall study now the linear equations:

474: \begin{eqnarray}

475: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi -

476: \frac{\tau^2 }{\eta^4}\Delta \phi + \frac{1}{12} \sigma_{im,im}  & = & 0  \\

477:  \partial^2_{\eta} \sigma_{ij} + \frac{4}{\eta}\partial_{\eta}\sigma_{ij} -

478:  \Delta \sigma_{ij} -2[\sigma_{(jm,im)}]^t & = & 0

479: \end{eqnarray}

480: \vspace{-0.5cm}

481: \begin{eqnarray}

482: \delta & = & \frac{\eta^2}{6} \Delta \phi -  \eta \phi_{,\eta}- 2 \phi

483:  +\frac{\eta^2}{24}\sigma_{im,im} \label{contrast} \\

484: 4\pi G q_{i} & = &  -  H \phi_{,i}- \frac{1}{a}\phi_{,\eta i}+

485: \frac{1}{2 a} \sigma_{im,m\eta}+H \sigma_{im,m} \label{flux}

486: \end{eqnarray}

487: 

488: Firstly, we consider that the trace-less symmetric tensor $\sigma_{ij}$ can

489: be decomposed \citep{YORK2} in a transverse part $\sigma^T_{ij}$, verifying

490: $\sigma^T_{im,m}=0$, and a longitudinal part $\sigma^L_{ij}$, with

491: $\sigma^L_{im,m} = \sigma_{im,m}$. These two components are orthogonal and

492: evolve independently. Then, one can distinguish three modes in our problem:

493: the scalar one $\phi$, the transverse tensor $\sigma^T_{ij}$ and the

494: longitudinal tensor $\sigma^L_{ij}$. The constraint equations show that the

495: scalar mode is the most important contribution to the density contrast

496: (\ref{contrast}) and to a rotational-free flux of matter (\ref{flux}); the

497: longitudinal tensor mode contributes weakly to the density contrast and, what

498: is more interesting, it is the only possibility of producing a non null

499: rotational component of the velocity field. Relative to the tensor transverse

500: mode, it does not contribute nor to the density neither to the energy flux,

501: in fact it represents the emission of gravitational waves.

502: 

503: Next, given that the scalar and the longitudinal modes are coupled and that

504: the double divergence of the longitudinal part appears in the evolution of

505: $\phi$, we can rewrite the equations introducing the scalar $\theta =-(1/12)

506: \sigma_{im,im}$. In this manner, the evolution of $\sigma_{ij}$ gives the

507: evolution of $\theta$ and the weak coupling between the scalar mode $\phi$

508: and the longitudinal one $\theta$ is given by:

509: \begin{equation}

510: \label{coupling}

511: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi -

512: \frac{\tau^2 }{\eta^4}\Delta \phi  = \theta

513: \end{equation}

514: \begin{equation}

515: \label{theta}

516:  \partial^2_{\eta} \theta + \frac{4}{\eta}\partial_{\eta}\theta -

517:  \frac{7}{3} \Delta \theta  = 0

518: \end{equation}

519: 

520: Both equations are hyperbolic, but there exist a great difference between

521: them due to the time dependent coefficient $\eta^{-4}$ that appears in the

522: evolution of $\phi$. This coefficient causes that the characteristic curves

523: of the first equation do not scape to infinity  as do the charateristics of

524: $\theta$, because in this case the laplacian operator has a constant

525: coefficient. This can be seen clearly in the case of spherical symmetry,

526: where the charateristic  curves $r(\eta)$ of (\ref{coupling}) tends to a

527: finit limit as the conformal time tends to infinity; while for the variable

528: $\theta$, the characteristic curves of (\ref{theta}) scape to infinity. This

529: makes possible that a linear hyperbolic equation might describe the

530: increasing of density in bounded regions.

531: 

532: Morever, this difference makes  the coupling between the scalar and

533: longitudinal modes almost irrelevant, because small initial values for

534: $\theta$ in a small region disperse to infinity.

535: 

536: Finally, we observe  an important difference between our evolution equations

537: an those in  the Gaussian gauge (lapse function $\alpha = 1$ and shift vector

538: $\beta = 0$) used by Lifshitz. In our gauge, the evolution equation for the scalar

539: mode can be reduced to a unique equation for a unique function, while in the

540: Gaussian gauge the scalar mode is described by two coupled equations.

541: 

542: In the next section we shall find the general solution in the coordinate

543: space of the evolution equation for the scalar mode, neglecting the coupling

544: with $\theta$ or assuming  $\theta(\eta_{i},x)= \partial_{\eta} \theta

545: (\eta_{i},x)=0$.

546: 

547: \section{The  Cauchy problem of the linear evolution equations}\label{CPLE}

548: 

549: From equation (\ref{coupling}) and in the case of null initial conditions for

550: $\theta $, we can  consider the following initial value problem:

551: \begin{equation}\label{CP}

552:  \begin{array}{rcl}

553:   \partial^2_{\eta}\phi + \frac{\textstyle 6}{\textstyle\eta} \partial_{\eta}

554:   \phi - \frac{\displaystyle\tau^2}{\displaystyle\eta^4}\Delta \phi  & = & 0

555:   \\ \phi(\eta_{i},x)  =  \phi_{i}(x) \ , \ \partial_{\eta}\phi(\eta_{i},x) &

556:    = &  \phi'_{i}(x)

557: \end{array}

558: \end{equation}

559: with $\phi_{i}(x)$ and  $\phi'_{i}(x)$ two arbitrary functions. We shall

560: solve this problem using the method of Fourier transforms.  

561: 

562: Firstly, let us denote by $\hat\phi(\eta,s)$, with $s \in \mathbb{R}^3$, the

563: Fourier transform of $\phi(\eta,x)$ with respect to the spatial coordinates.

564: In the Fourier space, equation (\ref{CP}) transforms into an initial value

565: problem for an ordinary differential equation:

566: \begin{equation}\label{CPO}

567:  \begin{array}{rcl}

568:   \partial^2_{\eta}\hat\phi + \frac{\displaystyle 6}{\displaystyle\eta}

569:   \partial_{\eta}\hat\phi + \frac{\displaystyle\tau^2}{\displaystyle\eta^4}

570:   s\cdot s \hat\phi  & = & 0 \\

571:   \hat\phi(\eta_{i},s)  =  \hat\phi_{i}(s) \,\

572:   \partial_{\eta}\hat\phi(\eta_{i},s) & = &  \hat\phi'_{i}(s)

573:  \end{array}

574: \end{equation}

575: 

576: So, the first task is that of constructing  a system of fundamental solutions,

577: which consists on two solutions $\hat\phi_1(\eta, s)$, $\hat\phi_2(\eta, s)$

578: that satisfy the initial conditions:

579: \begin{eqnarray*}

580:  \hat\phi_1(\eta_{i},s)  = 1 \qquad , \qquad

581:  \partial_{\eta}\hat\phi_1(\eta_{i},s)=0  \\

582:  \hat\phi_2(\eta_{i},s)  = 0 \qquad , \qquad

583:  \partial_{\eta}\hat\phi_2(\eta_{i},s) = 1

584: \end{eqnarray*}

585: These fundamental solutions can be obtained using complex Laplace transforms

586: \citep{SMIRNOV}, having the following result:

587: \begin{equation}\label{funda1}

588: \hat\phi_1(\eta,s) = \frac{3}{\epsilon^3}\left( \frac{\sin k g}{k^3}- g

589:  \frac{\cos k g}{k^2} \right ) + \frac{\eta_{i}(3\eta - \eta_i)}{\epsilon \eta^2}\frac{\sin k g}{k}+

590:  \frac{\eta^2_{i}}{\eta^2}\cos kg

591: \end{equation}

592: \begin{equation}\label{funda2}

593: \begin{array}{rcl}

594:  \hat\phi_2(\eta, s) & = & \frac{\textstyle 9 \eta_{i}}{\textstyle\epsilon^5} \left (

595:  \frac{\textstyle\sin k g}{\textstyle k^5}- g \frac{\textstyle\cos k g}{\textstyle k^4}-g^2 \frac{\textstyle\sin kg}{\textstyle 3 k^3}

596:  \right )+ \\ \\

597:  & + & \frac{\textstyle 3 \eta_{i}^2}{\textstyle\epsilon^3 \eta}\left ( \frac{\textstyle\sin k g}{\textstyle k^3}- g

598:  \frac{\textstyle\cos k g}{\textstyle k^2}\right ) + \frac{\textstyle\eta_{i}^3}{\textstyle\epsilon \eta^2}

599:  \frac{\textstyle\sin k g}{\textstyle k}

600: \end{array}

601: \end{equation}

602: where $k$ stands for the modulus of $s$, $k=\sqrt{s\cdot s}$, $\epsilon =

603: \tau/\eta_{i}$, and $g= \epsilon (1-\frac{\eta_i}{\eta})$. Then, the solution

604: of (\ref{CPO}), in the Fourier space, is expressed in terms of the fundamental

605: system as:

606: \begin{equation}

607: \hat\phi(\eta, s)=\hat\phi_{i}(s)\hat\phi_1(\eta, s)+ \hat\phi'_{i}(s)

608: \hat\phi_2(\eta, s) .

609: \end{equation}

610: 

611: The next task is to obtain the Green's functions $Q_1(\eta,x)$ and

612: $Q_2(\eta,x)$, defined as the inverse Fourier transform of the fundamental

613: system $\{ \hat \phi_{1}(\eta,s), \;  \hat \phi_{2}(\eta,s) \}$. As we show

614: in Appendix B, these Green functions are:

615: \begin{eqnarray}

616: Q_1(\eta, x) & = & \frac{3}{4\pi\epsilon^3}H(g-r)+(\frac{3\eta_{i}}{\epsilon

617: \eta}- \frac{\eta^2_{i}}{\epsilon \eta^2})\frac{\delta_D(r-g)}{4 \pi g}+

618: \frac{\eta^2_{i}}{4\pi \eta^2}\partial_{g}\left (\frac{\delta_D(r-g)}{g}

619: \right ) \label{Green1} \\

620: Q_2(\eta, x) & = & \left ( \frac{3\eta_i}{8\pi \epsilon^5} (g^2- r^2) +

621: \frac{3\eta^2_i}{4\pi \eta \epsilon^3}\right ) H(g-r)

622: + \frac{\eta^3_{i}}{4\pi\epsilon \eta^2}\frac{\delta_D(r-g)}{g} \label{Green2}

623: \end{eqnarray}

624: Therefore, the solution of (\ref{CP}) in the coordinate space is expressed as

625: the convolution product of the Green's functions with the initial conditions:

626: \begin{equation}\label{cauchysolution}

627: \phi(\eta,x)= Q_1(\eta,x)*\phi_{i}(x)+ Q_2(\eta,x)* \phi'_{i}(x)

628: \end{equation}

629: where $*$ stands for the convolution product with respect to the spatial

630: coordinates. Looking at the Green's functions we can observe that the

631: solution tends rapidly to a limit when the conformal time tends to infinity,

632: this limit has a simple expression:

633: \begin{equation}

634: \label{ACS}

635: \phi(\infty,x)= \frac{3}{4\pi \epsilon^3 }\int_{\mid x-\xi \mid < \epsilon }

636: \phi_i(\xi) d \xi + \frac{3 \eta_i}{8 \pi \epsilon^5}

637: \int_{\mid x-\xi \mid < \epsilon }(\epsilon^2 -\mid x-\xi \mid^2)

638: \phi'_i(\xi) d \xi

639: \end{equation}

640: as tridimensional integrals of the initial conditions. The $\epsilon$

641: parameter in expression ({\ref{ACS}) can be also written as $\epsilon =

642: \tau \sqrt{ 1+z_i} $, with $\tau $ the r.m.s. velocity of the matter

643: component at the present epoch and $z_i$ the initial redshift (recall the

644: relation $1+z=1/\eta^2 $ in an Einstein-de Sitter Universe). This parameter

645: will be crucial to the study of evolution because it will fix the

646: characteristic length of the evolved structures as a sort of Jeans length.

647: 

648: In the case of spherical symmetry the convolutions reduce to unidimensional

649: integrals, whose expressions are obtained in the Appendix B. They will be

650: used in the sequel to discuss some examples.

651: 

652: \section{The evolution of fluctuations with non null thermal motions}

653: \label{EFNN}

654: 

655: Having got the general solution of the linear initial value problem, the

656: constraint equations (\ref{contrast}) and (\ref{flux}) determine the density

657: contrast and the flux of matter  as simple functionals of the metric

658: perturbations. In the linear approximation we have that these equations for

659: $\delta$ and $q_m$ reduce to:

660: \begin{eqnarray} \label{delta}

661: \delta(\eta,x) &=&  \frac{\eta^2}{6} \Delta \phi -2 \phi  -  \eta \phi'  \\

662: 4 \pi G a  q_m &=& - a H \phi_{,m} - \phi_{,\eta m}

663: \end{eqnarray}

664: where we only have to substitute the expression (\ref{cauchysolution}) of the

665: solution $\phi$. Notice that in the case of an ideal gas, the flux of energy

666: in the longitudinal gauge represents the macroscopic velocity: $q_m= \rho V_m$.

667: In particular we are interested in the velocity norm, whose expression is:

668: \begin{equation} \label{velocity}

669: \mid V(\eta,x) \mid_{\gamma} = \frac{1}{1+\delta} \mid \nabla (\frac{\eta}{3}

670: \phi + \frac{\eta^2}{6} \phi_{, \eta}) \mid .

671: \end{equation}

672: 

673: Let us study these expressions when the general solution (\ref{cauchysolution})

674: is substituted. We shall assume that at some initial redshift $z_i$ we know

675: the initial conditions for the potential $\phi_i(x)$ and its first time

676: derivative $ \phi'_i(x) $. We shall begin with a qualitative description of

677: the evolution of the density contrast based on the following reduced

678: expression for $\delta$:

679: \begin{eqnarray}

680: \label{cda}

681: \delta(\eta,x) & \approx & \frac{\eta^2}{6}( Q_1(\infty,x) * \Delta \phi_i(x)

682:  + Q_2(\infty,x)* \phi'_i(x)) \\

683:  Q_1(\infty,x) &=& \frac{3}{4 \pi \epsilon^3} H(\epsilon - r) \\

684:  Q_2(\infty,x) &=&  \frac{3 \eta_i}{8 \pi \epsilon^5}(\epsilon^2 - r^2)

685:  H(\epsilon - r)

686: \end{eqnarray}

687: where we have only considered the laplacian term  neglecting the $\phi$ and

688: $\phi'$ contributions and we have also taken the asymptotic values for the

689: Green's functions. The idea is to obtain  $L^p$ estimations of the

690: convolutions using the H\H{o}lder inequalities \citep{Hormander}. In this

691: case we have enough with the relations $ \parallel f * g \parallel_{\infty}

692: \leq \parallel f \parallel_1 \parallel g \parallel_{\infty}$, where

693: $\parallel f \parallel_{\infty}$ means $ sup \mid f \mid $, and

694: $\parallel f \parallel_{1}$ means $ \int \mid f \mid dx $. We obtain in this

695: way, for $\eta >> \eta_i $, two upper bounds for $\delta$:

696: \begin{equation}

697: \label{c1}

698: \parallel \delta(\eta,x)\parallel_{\infty} \leq  \frac{\eta^2}{6}\Big (

699: \parallel Q_1 (\infty,x) \parallel_{\infty} \  \  \parallel \Delta \phi_i(x)

700: \parallel_1 + \parallel Q_2 (\infty,x) \parallel_{\infty} \  \  \parallel

701: \Delta \phi'_i(x) \parallel_1 \Big)

702: \end{equation}

703: \begin{equation}

704: \label{c2}

705: \parallel \delta(\eta,x)\parallel_{\infty} \leq  \frac{\eta^2}{6}\Big(

706: \parallel Q_1 (\infty,x) \parallel_{1} \  \  \parallel \Delta \phi_i(x)

707: \parallel_{\infty} + \parallel Q_2 (\infty,x) \parallel_{1} \  \  \parallel

708: \Delta \phi'_i(x) \parallel_{\infty} \Big)

709: \end{equation}

710: This will allow to reach the main conclusions with little calculations,

711: treating separately each one of our two degrees of freedom $\phi_i(x)$ and

712: $\phi'_i(x)$. In the subsections we shall give more details in numerical

713: examples where we shall assume spherical symmetry. To do it we need to fix

714: the parameters of the problem. We have three parameters related by the

715: condition $\epsilon =\tau \sqrt{1+z_i}$. As we have mentioned above the final

716: characteristic length of a structure will depend on the value of $\epsilon$,

717: so if we want to discuss galaxy clusters it will be  convenient to take

718: $\epsilon \approx 1Mpc/a_o $, $a_o = 6000 h^{-1}Mpc $, which is of the order

719: of an Abel's radius for this value of $\epsilon$. And assuming $z_i = 5000$

720: we obtain $\tau \approx 10^{-6} $ for  the  r.m.s. velocity at the present

721: epoch. Notice that this value can be supported by hot particles as neutrinos

722: with non null mass.

723: 

724: In these examples, to identify the final structure  as something similar to a

725: galaxy cluster, we shall estimate the total mass  at the present epoch $\eta

726: = 1 $ and inside an Abel's radius $r_a = 1.5 h^{-1} Mpc$ as a function of the

727: amplitude $A$ and the initial characteristic length $R$:

728: \begin{equation}\label{mass}

729:  M(<r_a)= 4 \pi  2.7 \times 10^{11} M_{\odot} \int_{0}^{r_a}

730:  \delta(r,1,R,A)dr

731: \end{equation}

732: Recall that a typical galaxy cluster has $ M(<r_a)\approx 3 h^{-1}\times

733: 10^{14} M_{\odot}$.

734: 

735: In the  subsections we examine the possibility of generating structures

736: similar to a galaxy cluster starting from reasonable initial conditions for

737: the potential, that is, such that the initial density contrast and the

738: macroscopic velocity be small. We shall also require that in both examples

739: the gravitational potential at the decoupling of matter and radiation be

740: smaller than $6\times 10^{-5}$.

741: 

742: \subsection{ Initial conditions of the form $\phi_i \neq 0$, $\phi'_i = 0 $}

743: \label{A}

744: 

745: Let us start studying the case of $\phi_i \neq 0$ and $\phi'_i = 0$. In this

746: case, from equations (\ref{delta}) and (\ref{velocity}), one gets the initial

747: density contrast and the initial macroscopic velocity as: $\delta_i(x)

748: \approx \frac{\eta_i^2}{6} \Delta \phi_i(x)$ and $\mid V(\eta_i,x)

749: \mid_{\gamma} \approx \frac{\eta_i}{3} \mid\nabla \phi_i \mid $.  Let us

750: consider an initial potential of the form  $\phi_i(x) = -A (1+r^2/R^2)^{-1/2}$,

751: in which we have two parameters, the amplitude $A$ and the characteristic

752: length $R$. The laplacian of this function is $\Delta\phi_i = 6

753: B(1+r^2 /R^2)^{-5/2}$, where $B$ is given by the relation $A= 2BR^2$ and is

754: proportional to the initial central density contrast, $\delta_i(0)= \eta_i^2

755: B$. Under these considerations, from equations (\ref{c1}) and (\ref{c2}) we

756: have that the final density contrast is upper bounded by:

757: $$

758: \parallel \delta(\eta,x) \parallel_{\infty} \leq minor \ \ of \ \ \left[

759:  \frac{\eta^2}{\eta_i^2} \frac{R^3}{\epsilon^3} \delta_i(0) \ , \

760:  \frac{\eta^2}{\eta_i^2} \delta_i(0)\right]

761: $$

762: 

763: So, one distisguishes two cases:

764: \begin{itemize}

765:  \item If $R < \epsilon $ we have $\parallel \delta(\eta,x) \parallel \leq

766:        (\eta/\eta_i)^2 (R/\epsilon)^3 \delta_i(0) $. In this case the density

767:        contrast decreases until the instant $\eta_{*} $, for which $(\eta_{*}/

768:        \eta_i)^2 (R/\epsilon)^3 = 1$, and then begin to increase with a power

769:        law. This possibility was stated first by Gilbert \citep{GILBERT} using

770:        a Newtonian approximation to the Einstein equations.

771:  \item If $R>\epsilon$ the object grows from the very beginning, tending to a

772:        power law: $\parallel \delta(\eta,x) \parallel \leq  (\eta/\eta_i)^2

773:        \delta_i(0)$.

774: \end{itemize}

775: 

776: Getting on with the example we will assign numerical values to the free

777: parameters $A$ and $R$. We shall choose them such that the total mass inside

778: an Abel sphere of radius $r_a = 1.5 h^{-1} Mpc$ be about $3 h^{-1}\times

779: 10^{14}$ solar masses and, at the same time, keeping bounded the

780: gravitational potential by  $\mid \phi(\eta,x)\mid < 6\times 10^{-5}$. For

781: example, taking $A= 2.8 \times 10^{-5}$ we can obtain  the mass $M(<r_a)$ as

782: a function of the characteristic length $R$, whose graph is given in Figure

783: \ref{f1}.

784: 

785: \begin{center}

786: \begin{figure}[!ht] 

787:   \begin{center}

788: \includegraphics{f1.eps}

789:   \end{center}

790:   \caption{\label{f1} The mass $M (<r_a)$ inside an Abel's radius ($ r_a =

791:            1.5 h^{-1} Mpc$ ) at the preset epoch as a function of the initial

792:            characteristic length $R$, given by equation (\ref{mass}) when we

793:            evolve the density contrast taking into account only the first

794:            degree of freedom, i.e., having as initial conditions $\phi_i = -A

795:            (1+r^2/R^2)^{-1/2}$ and $\phi'_i = 0 $, with $A= 2.8\times 10^{-5}$.

796:            We assume the values $\epsilon =  1 Mpc/a_o  \ , \ a_o = 6000 h^{-1}

797:            Mpc \ ,\ h=0.5 $ and $z_i= 5000$ for the $\epsilon $-parameter and

798:            the initial redshift. The r.m.s. velocity at the present epoch

799:            parameter takes the value $\tau = 1.2 \times  10^{-6}$.}

800:  \end{figure} 

801: \end{center}

802: This figure shows that we can choose $R= 1.6 \epsilon$ to obtain the mass of

803: a typical galaxy cluster. With this election, equations (\ref{velocity}) and

804: (\ref{cda}) give the evolution of the velocity and the density contrast,

805: whose graphs at the initial and final time are shown  in  Figure \ref{f2}.

806: 

807: \begin{center}

808: \begin{figure}[!ht]

809:   \begin{center}

810:  \includegraphics[width=16.2 cm]{f2.eps} 

811:   \end{center}

812:   \caption{\label{f2} Initial (left figures) and present (right figures)

813:            values for the density contrast and the macroscopic velocity,

814:            evolving the first degree of freedom under the same conditions as

815:            in Figure 1 and with $R=1.6\epsilon$. The mass inside an Abel's

816:            radius $r_a = 1.5 h^{-1}Mpc $ at the present epoch is about

817:            $6 \times 10^{14} M_{\odot}$.}

818:  \end{figure}

819: \end{center}

820: 

821: In Figure \ref{f3} we show the evolution of the central value of the density

822: contrast in the case where $R<\epsilon$ to illustrate the bouncing of

823: inhomogeneities with typical length $R$ smaller  than $\epsilon$, as we have

824: described above.

825: 

826: \begin{center}

827: \begin{figure}[!ht]

828:   \begin{center}

829: \includegraphics{f3.eps}

830:   \end{center}

831:   \caption{\label{f3}The central density contrast obtained evolving the first

832:            degree of freedom. The right figure shows the evolution under the

833:            same conditions as in Figure 1 and with $R=1.6\epsilon$. The left

834:            figure shows the bouncing produced on the central density contrast

835:            when we take an initial characteristic length $R= 0.2 \epsilon$.

836:            Then we can see that the $\epsilon$ parameter plays the role of a

837:            Jeans length.}

838:  \end{figure}

839: \end{center}

840: 

841: As conclusion of this subsection we can say that the evolution of Einstein's

842: equations with initial conditions of the form $\{ \phi_i(x)\neq 0,\phi'_i(x)

843: =0 \}$ is equivalent to the evolution goberned by Newton's equations

844: \citep{GILBERT} with initial conditions $ \{\delta_i(x), V_i(x)\} $ given at

845: the beginning of the subsection. The second example will lead us to a quite

846: different conclusion.

847: 

848: 

849: \subsection{Initial conditions of the form $\phi_i= 0$, $\phi'_i \neq 0 $}

850: \label{B}

851: 

852: Next we are going to study the case where  $\phi_i= 0$ and  $\phi'_i \neq 0 $.

853: In this case, the  initial  density contrast and the macroscopic velocity are not given by  the initial potential but by 

854:  its  initial first  time derivative in the form:  $ \delta_i(x) =  - \eta_i \phi'_i $  and  

855: $\mid  V(\eta_i,x) \mid_{\gamma} =  \frac{\eta_i^2}{6} \mid  \nabla \phi'_i \mid $. 

856: Now, we shall consider an initial condition  of the form   $\phi'_i(x) = -A (1+r^2/R^2)^{-1/2} $, with $A$ and $R$ two free parameters. Defining $A= 2BR^2$ we can write  $\Delta\phi'_i  = 6  B(1+r^2 /R^2)^{-5/2}$ having that the final density contrast is  upper bounded by:

857: $$

858: \parallel \delta(\eta,x) \parallel_{\infty} \leq   minor \  \ of \ \   \left[

859:  \frac{1}{2}\eta^2 \eta_i  \frac{R^3}{\epsilon^3} B \ , \   \frac{1}{5}\eta^2 \eta_i B \right] .

860: $$

861: 

862: Let us remark the main difference with the previous case. If we consider here $R \geq \epsilon $, the final density contrast will be bounded by $(1/5) \eta_i B $, but now $B$ is not constrained to be small  because  the initial density contrast and the macroscopic velocity as  functions of $B$ and $R$ are given by:

863: \begin{eqnarray}

864: \label{New2}

865: \delta_i(r) &=& \frac{2\eta_i BR^2}{ (1+r^2/R^2)^{1/2}}  \\

866: \mid V(\eta_i,r) \mid_{\gamma}  &=& \frac{\eta^2_i Br}{3(1+r^2/R^2)^{3/2}} \label{New3}

867: \end{eqnarray}

868: having that for objects much smaller than the horizon at the present epoch ($R=1Mpc/a_o $ with  $a_o=6000 h^{-1} Mpc $ implies  $R \sim  10^{-4}$),    $\eta_i BR^2$  can  be  small even when $B >> 1$. Therefore, the second degree of freedom allows to reach great values of the density contrast starting with very small initial density contrast.

869:  

870: 

871: As in  the previous subsection, we have to take  values for $A$ and $ R$

872: such that the total mass inside an Abel sphere of radius

873: $r_a = 1.5 h^{-1} Mpc $ be of the order of $3 h^{-1}\times  10^{14}$ solar

874: masses  and, at the same time, keeping bounded  the gravitational potential

875: by  $\mid \phi(\eta,x)\mid < 6\times 10^{-5}$.  For example, taking

876: $A= 3 \times 10^{-2}$ we can determine $M(<r_a) $ as a function of $R$, whose

877: graph is represented in Figure \ref{f4}.

878: 

879: \begin{center}

880: \begin{figure}[!ht]

881:   \begin{center}

882: \includegraphics{f4.eps}

883:   \end{center}

884:   \caption{\label{f4}The mass $M (<r_a)$ inside an Abel's radius ($ r_a = 

885:            1.5 h^{-1} Mpc$ ) at the preset epoch as a function of the initial 

886:            characteristic length $R$, given by equation (\ref{mass}) when we 

887:            evolve density contrast taking into account only the second degree 

888:            of freedom, i.e., having as initial conditions $\phi_i = 0$ and 

889:            $\phi'_i = -A(1+r^2/R^2)^{-1/2}$, with $A=10^{-2}$. We assume the 

890:            same values for $\epsilon$, $z_i$, $\tau$ and $h$ as in Figure 1.}

891:  \end{figure}

892: \end{center}

893: From this picture we obtain that a good value for the characteristic length

894: is $R= 1.6 \epsilon $. These values of the parameters allow us to evolve the

895: density contrast and the velocity, whose evolution is represented in Figure

896: \ref{f5}.

897: 

898: \begin{center}

899: \begin{figure}[!ht]

900:   \begin{center}

901: \includegraphics{f5.eps}

902:   \end{center}

903:   \caption{\label{f5} Initial (left figures) and present (right figures) values 

904:            for the density contrast and the macroscopic velocity, evolving the 

905:            second degree of freedom with the choice of parameters done in Figure 

906:            4 and with $R=1.6\epsilon$. The mass inside an Abel's radius $r_a = 

907:            1.5 h^{-1}Mpc $ at the present epoch is $6 \times 10^{14} M_{\odot}$.}

908:  \end{figure}

909: \end{center}

910: 

911: Then, we can conclude that the second degree of freedom, taking an appropriate 

912: value for $\phi'_i$, allows the formation of great structures starting from very 

913: small initial values for the density contrast.  This case has no Newtonian analogue 

914: because now we have significant initial time derivatives of the gravitational 

915: potential. In other words, a Newtonian evolution starting with initial density 

916: contrast and macroscopic velocities as given by expressions (\ref{New2}) and 

917: (\ref{New3}) will produce a structure with a very small final density contrast at 

918: the present epoch.

919: 

920: Finally, let us remark that the second degree of freedom can be described 

921: geometrically as follows: the initial surface $\eta = \eta_i$  has null intrinsic 

922: curvature (null laplacian  of $\phi_i$) and highly inhomogeneous extrinsic 

923: curvature (great space derivatives of $\phi'_i$).

924: 

925: 

926: \section{On  the validity of the linear approximation}

927: \label{VAL}

928: 

929: In this section we come back to the non linear equations (\ref{NLE1}) and (\ref{NLE2}) 

930: in order to study the validity of the linear approximation. Introducing the function  

931: $\theta$ as in section \ref{LEE}, we obtain a coupled system of evolution equations 

932: for the couple of functions $(\phi, \theta )$:

933: \begin{eqnarray*}

934: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi - \frac{\tau^2 }{\eta^4}

935: \Delta \phi &=& \theta + \frac{1}{2}(\partial_{\eta} \phi)^2 - \frac{1}{6}(\nabla \phi)^2 \\

936: \partial^2_{\eta} \theta + \frac{4}{\eta}\partial_{\eta}\theta -\frac{7}{3} 

937: \Delta \theta  &=& -\frac{1}{3}\partial_a \partial_b [\phi_{,a}\phi_{,b}]^t

938: \end{eqnarray*}

939: with initial conditions $\phi(\eta_i,x)=  \phi_i(x) ,\, \partial_{\eta}\phi(\eta_i,x)

940: = \phi'_i(x) ,\, \theta(\eta_i,0)=0,$ and $\partial_{\eta}\theta(\eta_i,x)=0 $. This 

941: is a semilinear hyperbolic initial value problem. In the Courant-Hilbert's book  

942: \citep{COHI} the unicity of solutions of this kind of problem is shown by means of the 

943: convergence of iterations. This supports the fact of considering the first iteration as 

944: criterion for validity of the linear approximation. In the following we shall focus 

945: on the reduced equation:

946: \begin{equation}

947: \partial^2_{\eta}\phi + \frac{6}{\eta} \partial_{\eta}\phi - \frac{\tau^2 }{\eta^4}

948: \Delta \phi  =  - \frac{1}{6}(\nabla \phi)^2

949: \end{equation}

950: because  it contains the essentials of the problem. Let us denote by $\phi^{(0)}$ the 

951: solution (\ref{cauchysolution}) to the linearized equation and by $\phi^{(1)}$ the 

952: first non linear correction, namely the solution of 

953: \begin{equation}

954: \partial^2_{\eta}\phi^{(1)} + \frac{6}{\eta} \partial_{\eta}\phi^{(1)} - 

955: \frac{\tau^2 }{\eta^4}\Delta \phi^{(1)}  = - \frac{1}{6}(\nabla \phi^{(0)})^2

956: \end{equation}

957: with  null initial conditions. Using the Fourier transform method, the problem reduces 

958: to an ordinary differential equation:

959: \begin{equation}

960: \label{first}

961: \partial^2_{\eta}\hat\phi^{(1)} + \frac{6}{\eta} \partial_{\eta}\hat\phi^{(1)} 

962: + \frac{\tau^2 }{\eta^4} s\cdot s \hat\phi^{(1)}   =  L^{(0)}(\eta , k)

963: \end{equation}

964: where $L^{(0)}(\eta,k)$ stands for the Fourier transform of the quadratic term $- \frac{1}{6}(\nabla \phi^{(0)})^2$, which 

965: is easily solved by the method of  constants variation. The fundamental solutions $\{\hat\phi_1(\eta, s),\hat\phi_2(\eta, s)\}$ of the homogeneous equation  were 

966: obtained in section \ref{CPLE}, see expressions (\ref{funda1}) and (\ref{funda2}). Then,  the solution of (\ref{first}) can be expressed by means of integrals:

967: $$

968: \hat \phi^{(1)}(\eta, k ) = \frac{\eta_i}{\epsilon}\left ( \hat \phi_2 \int_0^{g(\eta)} (1-\frac{g}{\epsilon})^4 

969: \hat \phi_1  L^{(0)}  dg - \hat \phi_1 \int_0^{g(\eta)} (1-\frac{g}{\epsilon})^4 

970: \hat \phi_2  L^{(0)} dg \right )

971: $$

972: and in the coordinate space it results:

973: \begin{equation}

974: \begin{array}{rcl}

975: \phi^{(1)}(\eta, x ) & = & \frac{\textstyle\eta_i}{\textstyle\epsilon}\left ( Q_2* {\displaystyle\int}_0^{g(\eta)} (1-\frac{\textstyle g}{\textstyle\epsilon})^4 

976: Q_1 *  L^{(0)}(g,x)  dg - \right. \\ & - & \left.

977:  Q_1 * {\displaystyle\int}_0^{g(\eta)} (1-\frac{\textstyle g}{\textstyle\epsilon})^4 

978: Q_2 *  L^{(0)}(g,x) dg \right )

979: \end{array}

980: \end{equation}

981: being $Q_1$ and $Q_2$ the Green's functions given by (\ref{Green1}) and (\ref{Green2}).

982: To decide about the validity of the linear approximation we need to compare $ \mid \phi^{(1)}(\eta ,x) \mid $ with $ \mid \phi^{(0)}(\eta ,x) \mid $ . This is not easy to do directly, but  using $L^p$ norms we shall get an upper bound for  the first non linear correction  which will be enough to discuss the problem. Then, we have:

983: $$

984: \mid \phi^{(1)}(\eta, x )\mid \ \ \leq \ \ \frac{\eta_i}{\epsilon}\left ( \mid Q_2* \int_0^{g(\eta)} (1-\frac{g}{\epsilon})^4 

985: Q_1 *  L^{(0)}(g,x)  dg \mid + \ldots  \right )

986: $$

987: where dots means the same expression but interchanging $Q_2$ for $Q_1$. As before we are going to use  the H\H older inequalities, in particular $ \parallel f*g \parallel_{\infty} \  \ \leq  \ \ 

988: \parallel f \parallel_1 \ \  \parallel g \parallel_{\infty}$  and  $ \parallel f*g \parallel_{2} \  \ \leq  \ \ 

989: \parallel f \parallel_1 \ \  \parallel g \parallel_{2}$, where $\parallel g \parallel_{2}$ means $\int \mid g \mid^2 dx $. We get in this  way:

990: $$

991: \parallel  \phi^{(1)}(\infty, x) \parallel_{\infty} \ \ \leq \ \  \frac{\eta_i}{\epsilon}\left ( \parallel  Q_2(\infty ,x) \parallel_1  \int_0^{\epsilon} (1-\frac{g}{\epsilon})^4 

992: \parallel Q_1(g,x) \parallel_{\infty}   \parallel L^{(0)}(g,x) \parallel_1   dg  + \ldots  \right )

993: $$

994: 

995: In the sequel we shall obtain this upper bound for  the numerical  example studied in  subsection \ref{B}  corresponding to the initial conditions of the form $\phi_i(x)= 0 $ and $ \phi'_i \neq 0 $. 

996:  So,  we  write  $\phi^{(0)}(\eta, x) = Q_2(\eta,x)* \phi'_i(x)$  and   get the estimation $\parallel L^{(0)}(g,x) \parallel_{_1} \ \ \leq  \ \ \frac{1}{6} \parallel Q_2(g,x) \parallel^2_{_1} \sum^3_{a=1} \parallel \nabla_a \phi'_i(x) \parallel^2_{_2} $. Substituting this  into the previous equation we obtain: 

997: \begin{equation}\label{primera}

998: \parallel \phi^{(1)}(\infty , x )\parallel_{\infty} \ \ \leq \ \ \frac{1}{6} G( \eta_i , \epsilon ) \sum^3_{a=1} \parallel \nabla_a \phi'_i(x) \parallel^2_2

999: \end{equation}

1000: with

1001: \begin{eqnarray*}    

1002: G(\eta_i ,\epsilon ) & = & \frac{\eta_i}{\epsilon}\left ( \parallel  Q_2(\infty,x) \parallel_1  \int_0^{\epsilon} \left(1-\frac{g}

1003: {\epsilon}\right)^4 \parallel Q_1 \parallel_{\infty} \ \  \parallel  Q_2 \parallel^2_1 dg + \right. \\

1004:  & & \left. \quad + \parallel Q_1(\infty,x) \parallel_1  \int_0^{\epsilon} \left(1-\frac{g}{\epsilon}\right)^4 

1005: \parallel Q_2 \parallel_{\infty} \ \   \parallel  Q_2 \parallel^2_1 dg \right )

1006: \end{eqnarray*}  

1007: Evaluating the corresponding  $L^p$ norms we  have:

1008: \begin{small}

1009: $$

1010: G(\eta_i, \epsilon) = \frac{3 \eta_i^4}{4 \pi \epsilon^3} \left (  \frac{1}{5}  \int_0^{1} (1-y)^4(\frac{y^5}{5} + y^3 - y^4)^2 dy + 

1011:  \int_0^{1} (1-y)^4(\frac{y^5}{5} + y^3 - y^4)^2(\frac{y^2}{2} +1 -y) dy \right )

1012: $$

1013: \end{small}

1014: which reduces, once calculated the integrals, to:

1015: \begin{equation}

1016: G(\eta_i, \epsilon)= 10^{-5} \frac{27 \eta_i^4}{4 \pi \epsilon^3}

1017: \end{equation}

1018: 

1019: Then, in the case considered in the previous subsection \ref{B}, a simple calculation gives  $\sum^3_{a=1} \parallel \nabla_a \phi'_i(x) \parallel^2_2 \  \ = \  \ 3 \pi^2 B^2 R^5 $. Substituting these results  into equation (\ref{primera}),  we get that the upper bound $ {\cal C}^{(1)}$ to the first non linear correction is:

1020: \begin{equation}

1021: \label{quota}

1022:  \mid \phi^{(1)}(\infty, x ) \mid  \ \ \leq  \ \  \parallel \phi^{(1)}(\infty , x )\parallel_{\infty} \ \ < \ \  {\cal C}^{(1)} =  10^{-4}\eta_i^4 \frac{R^3}{\epsilon^3} B^2 R^2 

1023: \end{equation}

1024: 

1025: Now, we have to compare this bound with the norm of the linear solution $\phi^{(0)}$. To do it  we form the quotient $\Gamma = {\cal C }^{(1)}/\mid \phi^{(0)}(\infty,0) \mid $.

1026: Given that for this example we have spherical symmetry, we can use the unidimensional integrals of Appendix B to calculate the modulus of  $\phi^{(0)}$. Then, $\Gamma$  expresses  as a function of the initial characteristic length $R$, which is represented in Figure  \ref{f6}.  

1027: 

1028: \begin{center}

1029: \begin{figure}[!ht]

1030:   \begin{center}

1031: \includegraphics{f6.eps}

1032:   \end{center}

1033:   \caption{\label{f6}Validity of the linear aproximation of the evolution of the second degree of freedom showed in Figure

1034:            5. The function $\Gamma$ is an upperbound, at the present epoch,  of the ratio of the first non linear 

1035:            correction and the linear solution for the gravitational potential.}

1036:  \end{figure}

1037: \end{center}

1038: 

1039: As we can see in this figure, the quotient $\Gamma $ is below $10^{-2}$ in the range $ R \leq 2 \epsilon $,  then the relation  $\mid \phi^{(1)}(\infty,x) \mid  < 0.01 \mid \phi^{(0)}(\infty,x) \mid $ is verified. So, as we have choosen $R=1.6 \epsilon$, we can neglect the first non linear correction and consequently, the linear approximation is an accurate description of this  problem even having reached a great final density contrast.  

1040: 

1041: Therefore, we can conclude that a  thermal  velocity $\tau$ of the order of $10^{-6}$ at the present epoch makes possible to follow with the linear approximation  the formation of an inhomogeneity similar to a galaxy cluster. We have seen also that the linear approximation  comes into problems with smaller values for the thermal velocity. 

1042:   

1043: \section{Conclusions}

1044:  

1045: In the current theory on evolution of perturbations, the matter dominated

1046: epoch is considered as a fluid with null pressure, and the evolution is

1047: described using the linear approximation until the density contrast becomes

1048: of the order of unity. However, as we have shown in this paper, if pressure

1049: is properly considered, the evolution with the linear approximation can be

1050: extended to values of the density contrast bigger than unity. We have assumed

1051: an isotropic pressure of the form $p= (a_o^2 T_o/ma^2(t))\rho$, which

1052: corresponds to an ideal gas with uniform temperature, and we have used

1053: reasonable values for the temperature. Concretely, in our examples we have

1054: taken a random mean square velocity of the order of $\sqrt{T_o/m}

1055: \approx 10^{-6}$.

1056: 

1057: In the following we summarize the main steps we have followed to get these

1058: conclusions:

1059: \begin{enumerate}

1060:  \item We have stated a Cauchy problem using sistematically the 3+1

1061:        formalisme of General Relativity and neglecting quadratic terms in the

1062:        metric perturbation. But, given that for inhomogeneities at scales of

1063:        a few Mpc the spatial derivatives of the potential are much bigger

1064:        than the potential, we have kept the quadratic terms in its first

1065:        derivatives. These non linear corrections will only be used to study

1066:        the validity of the linear approximation (see point 3). As usual, the

1067:        coordinates are fixed by choosing the lapse function $\alpha$ and the

1068:        shift vector $\beta$. We have put $\beta=0$, and $\alpha=

1069:        e^{b_1 \phi + \phi^2}$ has been taken in order to simplify the

1070:        evolution equations. When linearized, this choice of coordinates is

1071:        called the longitudinal gauge.

1072:  \item We have obtained the  solution of the linearized Cauchy problem for a

1073:        one-component Universe in the matter dominated epoch and assuming an

1074:        ideal gas equation of state $p= (a_o^2 T_o/ma^2(t))\rho$. We have

1075:        expressed this solution in terms of convolution integrals of the

1076:        initial conditions, which in our case are the initial potential

1077:        $\phi_i(x)$ and its first time derivative $\phi'_i(x)$. We have also

1078:        studied how to obtain a density inhomogeneity similar to a cluster of

1079:        galaxies, i.e., how to get a total mass inside an Abel radius of the

1080:        order of $3 h^{-1}\times 10^{14}$ solar masses. We have considered

1081:        separately both degrees of freedom obtaining in both cases an

1082:        inhomogeneity similar to a galaxy cluster at the present epoch. But

1083:        the initial density contrast and the initial macroscopic velocity in

1084:        each case are very different:

1085:   \begin{enumerate}

1086:    \item With initial conditions of the type $\{  \phi_i(x) \neq 0 \ , \

1087:          \phi'_i(x)=0 \} $, see subsection \ref{A}, one gets a cluster of

1088:          galaxies starting at redshift $z_i = 5000$. These inital conditions

1089:          correspond to an initial density contrast of $\delta_i \sim 0.1$

1090:          (which becomes about $0.5$ at the recombination redshift), and a

1091:          macroscopic velocity of $\mid V_i \mid \sim 3 \times 10^{-3}$. The

1092:          results of this case can be also obtained with a Newtonian analysis

1093:          starting with the same density contrast and macroscopic velocity.

1094:    \item With initial conditions of the type $\{ \phi_i(x)=0 \ , \ \phi'_i(x)

1095:          \neq 0 \}$, see subsectio \ref{B}, one gets a galaxy cluster starting

1096:          at the same redshift $z_i = 5000 $. But now one has a very small

1097:          initial density contrast $\delta_i \sim 0.0001$, and a similar

1098:          macroscopic velocity, $\mid V_i \mid \sim 8 \times 10^{-3}$. Unlike

1099:          the previous case, this evolution has no Newtonian analogue.

1100:   \end{enumerate}

1101:   

1102:        The second degree of freedom, which is currently forgotten, may

1103:        rapidly produce inhomogeneities similar to galaxy clusters starting

1104:        from faint initial density contrast. On the contrary, the first

1105:        degree of freedom needs an excessive initial density contrast.

1106:  \item We have estimated the first non linear correction to the linear

1107:        approximation and used it as the criterion of validity. Our first

1108:        results seem quite interesting: assuming at the present epoch a

1109:        thermal velocity of the order of $\tau \approx 10^{-6}$, the quotient

1110:        between the first correction to the gravitational potential

1111:        $\phi^{(1)}$ and the linear solution $\phi^{(0)}$ is small than

1112:        $10^{-2}$. Therefore, we can conclude that the linear approximation is

1113:        an accurate description of the formation of a big structure if the

1114:        effect of the pressure is not neglected.

1115: 

1116: \end{enumerate}

1117: 

1118: 

1119: \appendix

1120: 

1121: \section{Description of an ideal gas in the longitudinal gauge}

1122: 

1123: An ideal gas in the matter dominated epoch with four-velocity $w$ has a perfect fluid energy tensor  $ T_{\mu \nu}= \rho_c w_{\mu} w_{\nu} + p_c (g_{\mu \nu}+w_{\mu} w_{\nu})$, with  equation of state $p_c=T\rho_c/m$ being   $T= T_o a_o^2/a^2$, where $T_o$ is the temperature at the present epoch. The four-velocity $w$ is related to the four-velocity $u=(1/\alpha)\partial_t$ by $w =\gamma (V)( u + V)) $ where $V$ is the macroscopic velocity of the  Einstein-de Sitter perturbation in the longitudinal gauge, which is given by:

1124: $$

1125: V_i = \frac{1}{4 \pi G\rho}(-  H \phi_{,i}- \frac{1}{a}\phi_{,\eta i}+ \frac{1}{2a} \sigma_{im,m\eta}+H \sigma_{im,m})

1126: $$

1127: where $\rho$ is the energy density for the observer $u$. Using this relation, the energy tensor transforms into  $T_{\mu \nu}= \rho u_{\mu} u_{\nu} + p (g_{\mu \nu}+u_{\mu} u_{\nu})+ q_{\mu} u_{\nu}+q_{\nu} u_{\mu}+ \Pi_{\mu \nu}$, where now $\rho$, $p$ and  $\Pi_{\mu \nu}$ are quantities referred to the observer $u$ and are given by:

1128: \begin{eqnarray}

1129: \rho = \rho_c + O(V^2) \\

1130: p  = p_c + \frac{1}{a^2}\rho V^2 +O(p_c V^2) \\

1131: \Pi_{ij}= \rho [V_i V_j]^t + O(\rho V^4) \label{pig}

1132: \end{eqnarray}

1133: 

1134: Given the equation of state and the relation $\rho_c = \rho_{_B}(1+ \delta )$ we can write

1135:  $p_c= T\rho_{_B}/m + \delta \rho_{_B} T/m$, which allows  us to get:

1136: $$

1137: p = \frac{T}{m}\rho_{_B} + \frac{\tau^2}{4 \pi G a^2 } \left(\frac{1}{a^2}\Delta \phi - \frac{3H}{a}\phi_{\eta}-3H^2 \phi \right)+ \qquad

1138: $$

1139: $$

1140: + \frac{1}{18\pi G a^2 H^2(1+\delta)}\left(H^2 (\nabla \phi)^2 + \frac{1}{a^2}(\nabla \phi')^2+ 2\frac{H}{a}\nabla \phi \cdot \nabla \phi' \right)

1141: $$

1142: where we have also  introduced the r.m.s. velocity at the present epoch $ \tau^2= (T_o /m)$. From this expression and comparing with equation (\ref{pres}), we identify: 

1143: \begin{eqnarray}

1144: E&=&\frac{  \tau^2 }{ 4 \pi G a^4 }  \\

1145: p^{(2)}&=& \frac{1}{18\pi G a^2 H^2(1+\delta)}\left(H^2 (\nabla \phi)^2 + \frac{1}{a^2}(\nabla \phi')^2+ 2\frac{H}{a}\nabla \phi \cdot \nabla \phi' \right)

1146: \end{eqnarray}

1147: 

1148: As for the anisotropic pressures, in the same way, equation (\ref{pig}) gives:

1149: \begin{equation}

1150: \Pi_{ij}= \frac{1}{6 \pi G H^2(1+\delta)} \left ( H^2 [\phi_i \phi_j]^t + \frac{1}{a^2} [\phi'_i \phi'_j]^t  +\frac{H}{a} [\phi'_i \phi_j + \phi_i \phi'_j]^t  \right)

1151: \end{equation}

1152: and comparing with (\ref{pi}) we  obtain $A=0$, and $\pi^{(2)}_{ij} = \Pi_{ij}$.

1153: 

1154: Let us write the non linear evolution equations (\ref{GNLE1}) and (\ref{GNLE2}) as follows:

1155: \begin{eqnarray*}

1156: {\cal L}^1(\phi, \sigma) & = & \frac{1}{2}(\partial_{\eta} \phi)^2 - \frac{1}{6}(\nabla \phi)^2 + 4 \pi G a^2  p^{(2)} \\

1157: {\cal L}^2(\sigma) & = & 4 (1-16\pi G A) [\phi_{,i} \phi_{,j}]^t + 16 \pi G(1-8\pi G A) \pi^{(2)}_{ij}

1158: \end{eqnarray*}

1159: where we have used a compact notation for the first members of the equations. These expressions, substituting $A$, $p^{(2)}$ and $\pi^{(2)}_{ij}$, transform in:

1160: \begin{eqnarray}

1161: {\cal L}^1(\phi, \sigma) =\frac{1}{2}(\partial_{\eta} \phi)^2 - \frac{1}{6} (\nabla \phi)^2 + \frac{2}{3 H^2(1+\delta)}\left(H^2 (\nabla \phi)^2 + \frac{1}{a^2}(\nabla \phi')^2+ 2\frac{H}{a}\nabla \phi \cdot \nabla \phi' \right) \\

1162: {\cal L}^2(\sigma) = 4  [\phi_{,i} \phi_{,j}]^t +  \frac{8}{3  H^2(1+\delta)} \left ( H^2 [\phi_i \phi_j]^t + \frac{1}{a^2} [\phi'_i \phi'_j]^t  +\frac{H}{a} [\phi'_i \phi_j + \phi_i \phi'_j]^t  \right)

1163: \end{eqnarray}

1164: And taking into account that the density contrast $\delta$ will have a great value in the structures  we are interested on, the terms where it appears can be neglected. 

1165: 

1166: Let us to point out that keeping these terms only would  produce small corrections to the upper bounds estimations for the first nonlinear correction to the linear approximation as obtained in section \ref{VAL}.

1167: 

1168: \section{Obtaining the Green functions}

1169: 

1170: In this appendix we are going to summarize the process to obtain the Green's

1171: functions associated to the general solution of our initial value Cauchy

1172: problem (\ref{CP}). This general solution in the Fourier space has the form:

1173: $$

1174: \hat{\phi}(\eta,s)=\hat{\phi}_i(s)\hat{\phi}_1(\eta,s) +

1175: \hat{\phi}_i^{\prime}(s)\hat{\phi}_2(\eta,s).

1176: $$

1177: being $\hat{\phi}_i(s)$ and $\hat{\phi}_i^{\prime}(s)$ the Fourier transform

1178: of the initial conditions and $\hat{\phi}_1(\eta,s)$ and

1179: $\hat{\phi}_2(\eta,s)$ the fundamental solutions given by (\ref{funda1}) and (\ref{funda2}).

1180: In order to have the general solution in the coordinate space we need to make

1181: the corresponding inverse Fourier transforms with respect to the spatial

1182: coordinates. Taking into account that, in this general development, the  initial conditions are arbitrary functions of the

1183: spatial coordinates,

1184: the best way to give this general solution will be using the convolution

1185: product between functions (denoted by $*$) with respect to the spatial

1186: coordinates. That is, the properties of the inverse Fourier transforms and of

1187: the convolution product allow us to write the solution as:

1188: $$

1189: \phi(\eta,x)=Q_1(\eta,x)*\phi_i(x)+ Q_2(\eta,x)*\phi_i^{\prime}(x)

1190: $$

1191: where $Q_1(\eta,x)$ and $Q_2(\eta,x)$ are the Green functions, that is the

1192: inverse Fourier transforms of the fundamental solutions $\hat{\phi}_1(\eta,s)$ and

1193: $\hat{\phi}_2^{\prime}(\eta,s)$ respectively.

1194: Then, we need to calculate a few inverse Fourier transforms to obtain the

1195: Green functions.

1196: 

1197: Firstly, we consider that the fundamental functions (\ref{funda1}) and (\ref{funda2}) can also be 

1198: written in the following form:

1199: \begin{equation}\label{fiuno}

1200: \hat{\phi}_1(\eta,s)=\frac{3}{\epsilon^3}{\cal D}_g\left(\frac{\sin kg}{k^3}

1201: \right) +\frac{\eta_i(3\eta-\eta_{i})}{\epsilon \eta^2}\frac{\sin kg}{k} +

1202: \frac{\eta_{i}^2}{\eta^2}\partial_g\left(\frac{\sin kg}{k}\right)

1203: \end{equation}

1204: \begin{equation}\label{fidos}

1205: \hat{\phi}_2(\eta,s)  =\frac{9\eta_i}{\epsilon^5}\left( {\cal D}_g 

1206: +\frac{1}{3}g^2\partial_g^2 \right) \frac{\sin kg}{k^5} 

1207: + \frac{3\eta_i^2}{\epsilon^3\eta}

1208: {\cal D}_g\left(\frac{\sin kg}{k^3}\right)+ \frac{\eta_i^3}{\epsilon \eta^2}

1209: \frac{\sin kg}{k}

1210: \end{equation}

1211: 

1212: where $g=\epsilon\left( 1-\frac{\textstyle\eta_i}{\textstyle\eta}\right)$,

1213: $\epsilon=\tau/\eta_i$, $k=\sqrt{s\cdot s}$ and being the operator

1214: $D_g(f)=f-g\partial_g f$. This form simplifies the number of inverse Fourier

1215: tranforms that we have to obtain. In fact, we shall only need a pair of

1216: well--known inverse Fourier transforms as we shall see below.

1217: 

1218: Let us remind the definition of the inverse Fourier transform of a

1219: function with respect to the spatial coordinates, that is:

1220: $$

1221: {\cal F}^{-1}[W(s,\eta)]=\frac{1}{(2\pi)^3}\int_{{\mathbb R}^3}

1222:            e^{-is\cdot x}W(s,\eta)ds .

1223: $$

1224: With this definition, we have that the inverse Fourier transform of the

1225: function $(\sin kg)/k$ is known and has the following general form:

1226: \begin{equation}\label{inverse}

1227: {\cal F}^{-1}\left[\frac{\sin k\lambda}{k}\right]=\frac{1}{4\pi\lambda}

1228: \left\{ \delta_D(\lambda-r)H(\lambda)+\delta_D(\lambda+r)H(-\lambda)\right\}

1229: \end{equation}

1230: where $\delta_D(x)$ represents the Dirac delta distribution and

1231: $H(\lambda)$ is the Heaviside unity function.

1232: On the other hand, we also have the general expression \citep{guelf}:

1233: \begin{equation}\label{gamma}

1234: {\cal F}^{-1}[k^{-\lambda-n}]=\frac{\Gamma(\frac{-\lambda}{2})r^{\lambda}}

1235: {2^{\lambda+n}\Gamma(\frac{\lambda+n}{2})\pi^{3/2}}

1236: \end{equation}

1237: where $n$ denotes the dimension of the space where are realized the inverse

1238: Fourier transforms and $\Gamma(\cdot)$ represents the Gamma function. These

1239: two expressions will allow us to calculate all the inverse Fourier transforms

1240: involved in the Green's functions.

1241: 

1242: Having a look to the fundamental solutions (\ref{fiuno}) and (\ref{fidos}) we

1243: can see that we need the inverse Fourier tranforms of functions of the form

1244: $(\sin kg)/k^p$, which can be obtained from (\ref{inverse}) and (\ref{gamma})

1245: using the convolution product in the following way:

1246: $$

1247: {\cal F}^{-1}\left[\frac{\sin k\lambda}{k^p}\right]=

1248: {\cal F}^{-1}\left[\frac{\sin k\lambda}{k}\right]*

1249: {\cal F}^{-1}\left[k^{-(p-1)}\right] \, .

1250: $$

1251: 

1252: As the convolution product in general is given by the expression:

1253: \begin{equation}\label{conv}

1254: (f*g)(x)=\int_{{\mathbb R}^n}f(t)g(x-t)dt

1255: \end{equation}

1256: it results that the two inverse Fourier tranforms needed are expressed in

1257: general as:

1258: $$

1259: {\cal F}^{-1}\left[\frac{\sin k\lambda}{k^3}\right]=\frac{1}{4\pi}

1260: \left\{ \left[ H(\lambda-r)+\frac{\lambda}{r}H(r-\lambda)\right]H(\lambda)

1261: -\left[ H(-\lambda-r)-\frac{\lambda}{r}H(\lambda+r)\right]H(-\lambda)\right\}

1262: $$

1263: $$

1264: {\cal F}^{-1}\left[\frac{\sin k\lambda}{k^5}\right]=\frac{-1}{24\pi r}

1265: \Big\{ \left[ r(r^2+3\lambda^2)H(\lambda-r)+\lambda(\lambda^2+3r^2)

1266: H(r-\lambda)\right]H(\lambda)-  \qquad\qquad

1267: $$

1268: $$

1269:  -\left[ r(r^2+3\lambda^2)H(-\lambda-r)-

1270: \lambda(\lambda^2+3r^2)H(\lambda+r)\right]H(-\lambda)\Big\}

1271: $$

1272: 

1273: The corresponding operators acting over these expressions will give us that

1274: the Green functions have the form:

1275: $$

1276: Q_1(\eta,x)=\frac{3}{4\pi\epsilon^3}H(g-r)+\frac{\eta_i(3\eta-\eta_{i})}

1277: {4\pi\epsilon \eta^2}\frac{\delta_D(r-g)}{g} +

1278: \frac{\eta_{i}^2}{4\pi\eta^2}\partial_g\left(\frac{\delta_D(r-g)}{g}\right)

1279: $$

1280: $$

1281: Q_2(\eta,x)=\left(\frac{3\eta_i}{8\pi\epsilon^5}(g^2-r^2)+ \frac{3\eta_i^2}

1282: {4\pi\epsilon^3\eta}\right)H(g-r)+ \frac{\eta_i^3}{4\pi\epsilon \eta^2}

1283: \frac{\delta_D(r-g)}{g}

1284: $$

1285: To obtain these expressions we have considered that $g$ is always a positive

1286: number (that is, $H(g)=1$ and $H(-g)=0$).

1287: 

1288: Finally, as we have said above, the general solution of the initial value

1289: Cauchy problem in the real space is given by the convolution product between

1290: the Green functions and the initial conditions, that is:

1291: $$

1292: \phi(\eta,x)=Q_1(\eta,x)*\phi_i(x)+ Q_2(\eta,x)*\phi_i^{\prime}(x) .

1293: $$

1294: This expression reduces to unidimensional integrals in the case of spherical

1295: symmetry. That is, if we consider the initial conditions $\phi_i(x)=f_1(r)$

1296: and $\phi_i^{\prime}(x)=f_2(r)$ as functions depending only on the radial

1297: coordinate $r$, then the corresponding convolution product, defined by

1298: (\ref{conv}), is written as unidimensional integrals as we show in the following.

1299: 

1300: To make clear the expressions we can consider firstly the case when

1301: $f_1(r)\neq0$ and $f_2(r)=0$. In this case the final gravitational potential

1302: will be written as:

1303: $$

1304: \phi(\eta,r)= \frac{3}{2\epsilon^3}\left\{ 2\int_0^{g-r}q^2f_1(q)\, dq\;

1305: H(g-r)+ \frac{1}{2r} \int_{|r-g|}^{r+g} q f_1(q) \Big(2rq+K(r,q,g)\Big)dq

1306: \right\}+

1307: $$

1308: 

1309: $$

1310: +\frac{\eta_i g(3\eta-\eta_i)}{2\eta^2\epsilon}

1311: \int_{-1}^1 f_1(\sqrt{r^2+g^2-2rgx})dx +

1312: \frac{\eta_i^2}{2\eta^2}\int_{-1}^1 f_1(\sqrt{r^2+g^2-2rgx})dx +

1313: $$

1314: 

1315: $$

1316: + \frac{g\eta_i^2}{2\eta^2}\int_{-1}^1

1317: \frac{g-rx}{\sqrt{r^2+g^2-2rgx}}f_1^\prime

1318: (\sqrt{r^2+g^2-2rgx)} dx 

1319: $$

1320: 

1321: \noindent

1322: where $K(r,q,g)=g^2-r^2-q^2$.

1323: 

1324: On the other hand, the case in which we have $f_1(r)=0$ and $f_2(r)\neq 0$

1325: we will have that the final evolution of $\phi(\eta, x)$ is:

1326: $$

1327: \phi(\eta,r)= \frac{3\eta_i}{4\epsilon^5}\left\{ 2\int_0^{g-r}q^2f_2(q)

1328: K(r,q,g) dq  H(g-r) - \frac{1}{4r} \int_{|r-g|}^{r+g}q

1329:  f_2(q)\Big(K(r,q,g)^2+ 4r^2q^2\Big) dq +  \right.

1330: $$

1331: $$ \left. 

1332: +\frac{1}{2r}\int_{|r-g|}^{r+g} q K(r,q,g) f_2(q)\left( 2rq+ K(r,q,g)

1333: \right) dq \right\} +

1334: \frac{\eta_i^3g}{2\eta^2\epsilon}\int_{-1}^{1}

1335:  f_2(\sqrt{r^2+g^2-2rgx}) dx +

1336: $$

1337: $$

1338: + \frac{3\eta_i^2}{2\eta\epsilon^2}\left\{ 2\int_0^{g-r} q^2f_2(q)dq H(g-r)+

1339:  \frac{1}{2r}\int_{|r-g|}^{r+g} qf_2(q)\left( 2rq+K(r,q,g)\right) dq

1340:  \right\}

1341: $$

1342: 

1343: \begin{acknowledgments}

1344:  The authors would like to thank D. S\'aez, V. Quilis, J.A. Morales, J.J. Ferrando  for their helpful 

1345: discussions. This work has been partially supported by the Spanish MCyT, project number AYA 2000--2045. 

1346: \end{acknowledgments}

1347: 

1348: % now the references. delete or change fake bibitem. delete next three

1349: %   lines and directly read in your .bbl file if you use bibtex.

1350: \newpage

1351: 

1352: \begin{thebibliography}{}

1353: \bibitem[1934]{BAR} Bardeen, J. 1980, Phys. Rev. D, {\bf 22}, 1982

1354: \bibitem[Bruhat \& York 1980]{BRUHAT} Bruhat, Y. \& York, J. 1980, General Relativity and Gravitation, Vol. 1 (New York: Ed. A. Held. Plenum Press)

1355: \bibitem[Courant \& Hilbert 1962]{COHI} Courant, R. \& Hilbert, D. 1962, Methods of mathematical physics, Vol. II. (John Wiley)

1356: \bibitem[Gilbert 1966]{GILBERT} Gilbert, I.H. 1966, ApJ. {\bf 144}, 233G

1357: \bibitem[Guelfand \& Chilov 1962]{guelf} Guelfand, I.M. \& Chilov, G.E. 1962, Les distributions, Vol. I (Paris: Dunod).

1358: \bibitem[H\H ormander 1989] {Hormander} H\H ormander, L. 1989, The Analysis of Linear Partial Differential Operators I (Springer-Verlag)

1359: \bibitem[Landau \& Lifshitz 1979]{LAN} Landau, L.D. \& Lifshitz, E.M. 1979,  The Classical Field Theory (Pergamon)

1360: \bibitem[1992]{MUK} Mukhanov, V.F., Feldman, H.A. \& Brandenberger, R.H. 1992, Phys. Reports, {\bf 5 \& 6}, 203

1361: \bibitem[Peebles 1980]{PEEB} Peebles, J. 1980, The Large Scale Structure of The Universe (Princeton series)

1362: \bibitem[Smarr \& York 1978]{YORK} Smarr, L.\& York, J.W. 1978,  Phys. Rev. D, {\bf 17},  2529

1363: \bibitem[Smirnov]{SMIRNOV} Smirnov, V. Cours de Math\'ematiques superieures, Vol. 3, Part 2 (Moscou: Ed. Mir)

1364: \bibitem[Weinberg 1972]{WEI} Weinberg, S. 1972, Gravitation and  Cosmology (Wiley)

1365: \bibitem[York 1973]{YORK2} York, J.W. 1973, J.Math. Phys. {\bf 14}, 4

1366: \bibitem[Zel'dovich \& Novikov 1983]{ZEL} Zel'dovich, Ya.B. \& Novikov, I.D. 1983, The structure and evolution of the universe (Chicago: Chicago Press)

1367: \end{thebibliography}

1368: 

1369: \end{document}

1370: 

1371: %

1372: % ****** End of file sample.aps ******

1373: 

1374: