0806.0232/ms.tex
1: \documentclass[12pt,preprint]{aastex}
2: 
3: \newcommand{\vdag}{(v)^\dagger}
4: \newcommand{\myemail}{bonwood@scu.edu.tw}
5: \slugcomment{}
6: 
7: \shorttitle{Extremely Light Bosonic Dark Matter}
8: \shortauthors{Woo \& Chiueh}
9: 
10: \begin{document}
11: 
12: \title{High-Resolution Simulation on Structure Formation with Extremely Light Bosonic Dark Matter}
13: 
14: \author{Tak-Pong Woo\altaffilmark{1,3} and Tzihong Chiueh\altaffilmark{1,2,3}}
15: 
16: \email{bonwood@scu.edu.tw \& chiuehth@phys.ntu.edu.tw}
17: 
18: \altaffiltext{1}{Department of Physics, National Taiwan University, 106, Taipei, Taiwan, R.O.C.}
19: \altaffiltext{2}{Center for Theoretical Sciences, National Taiwan University, 106, Taipei, Taiwan, R.O.C. }
20: \altaffiltext{3}{LeCosPa, National Taiwan University, 106, Taipei, Taiwan, R.O.C.}
21: 
22: 
23: \begin{abstract}
24: A bosonic dark matter model is examined in detail via high-resolution simulations.
25: These bosons have particle mass of order $10^{-22}eV$ and are non-interacting. If they do exist and can
26: account for structure formation, these bosons must be condensed into the Bose-Einstein state and
27: described by a coherent wave function.  This matter, also known as \emph{Fuzzy Dark Matter} \citep{hu00}, is speculated
28: to be able, first, to eliminate the sub-galactic halos to solve the problem of over-abundance of dwarf
29: galaxies, and, second, to produce flat halo cores in galaxies suggested by some observations.  We investigate this model with simulations up to $1024^3$ resolution
30: in an 1 $h^{-1}Mpc$ box that maintains the background matter density $\Omega_m=0.3$ and $\Omega_\Lambda=0.7$.
31: Our results show that the extremely light bosonic dark matter (ELBDM) can indeed eliminate low-mass halos through the suppression of short-wavelength fluctuations, as predicted by the linear perturbation theory.
32: But to the contrary of expectation, our simulations yield singular cores in the collapsed halos, where the halo density profile is similar, but not identical, to the NFW profile \citep{nfw97}. Such a profile arises regardless of whether the halo forms through accretion or merger.  In addition, the virialized halos exhibit anisotropic turbulence inside a well-defined virial boundary.  Much like the velocity dispersion of standard dark matter particles, turbulence is dominated by the random radial flow in most part of the halos and becomes isotropic toward the halo cores.  Consequently the three-dimensional collapsed halo mass distribution can deviate from spherical symmetry, as the cold dark matter halo does.
33: \end{abstract}
34: 
35: \keywords{cosmology, dark matter, galaxies, large-scale structure
36: of universe}
37: 
38: \section{Introduction}
39: 
40: Observations of low surface brightness galaxies and dwarf galaxies
41: indicate that the cores of galactic halos have shallow density
42: profiles \citep{dal97,swt00} instead of central cusps
43: predicted by cold dark matter (CDM) \citep{nfw97}.
44: In addition, the number density of dwarf
45: galaxies in Local Group turns out to be an order of magnitude fewer
46: than that produced by CDM simulations \citep{kkvp99}.  These two features cast doubt on the validity of
47: standard CDM.  There have been at least three different solutions
48: proposed to resolve these problems: (1) warm dark matter, (2)
49: collisional dark matter and (3) fuzzy dark matter.
50: 
51: Warm dark matter can suppress small-scale structures by free
52: streaming.  It seems to be able to both solve
53: the over-abundance problem of dwarf galaxies and the singular core problem.
54: In this model the flat core is embedded within a radius a couple of percents of the virial radius \citep{jing01,colins08}, and the core smoothly connects to the NFW profile \citep{nfw97} outside.
55: However, this modification may generally adversely affect structures of
56: somewhat larger scales \citep{hu00}, despite that fine tuning of
57: the thermal velocity of dark matter particles may still be able to have
58: the larger scale structures consistent with observations \citep{abazajian06, viel08}.
59: 
60: For collisional dark matter, the halo core can be flattened and dwarf
61: galaxies destroyed, and N-body simulations
62: confirm this conjecture \citep{spst00}.  But simulations
63: also show that very frequent collisions can yield even more
64: singular cores than the standard collisionless CDM does \citep{yoshida00}. This opposite behavior is indicative of
65: the requirement of fine tuning for collisional parameters.
66: 
67: The third solution to the problem is to treat dark matter as an
68: \emph{extremely light bosonic dark matter} (ELBDM) or \emph{fuzzy dark matter} \citep{pr90,sin94,hu00}.
69: Axion has been thought to be a candidate of light bosonic dark
70: matter. But for the light dark matter to erase the singular galactic core
71: and suppresses low-mass halos, the particle mass must be far smaller than axion (m$\sim$ $10^{-22}$ eV), so low that the uncertainty
72: principle operates on the astronomical length scale.  Much like
73: axions, the ELBDM is in a Bose-Einstein condense state produced in
74: the early universe. These extremely light particles share the common
75: ground state and is described by a single coherent wave function. Its
76: de-Broglie wavelength is comparable to or even somewhat smaller than the
77: Jean's length \citep{dw97}, where the quantum
78: fluctuation provides effective pressure against self-gravity.
79: 
80: Several previous works have pondered on such an idea or its variance \citep{sin94,hu00,slopez03}, in which the wave mechanics
81: is described by the Schr\"{o}dinger-Poisson equation with Newtonian
82: gravity or by the Klein-Gordon equation with gravity.  The Schr\"{o}dinger-Poisson system addresses the scale-free regime of quantum mechanics, where the Jean's length is a dynamical running parameter.  On the other hand, the Klein-Gordon system makes use of the Compton wavelength as a natural length scale to create the flat core in a halo.  Widrow \& Kaiser conducted simulations for the two-dimensional Schr\"{o}dinger-Poisson system to approximate the standard
83: collisionless cold dark matter \citep{wk93}.  In the 2D case, the $1/r$ gravitational potential is replaced by $log(r)$, and
84: the 2D force law in their simulation becomes of longer range than it
85: actually is in 3D.  Due to the lack of 3D numerical simulations,
86: some authors resort to spherical symmetry \citep{sin94,slopez03} or even 1D \citep{hu00} to study this
87: problem. These simplifications may not capture what actually results
88: in a 3D system with realistic initial conditions. In particular, the
89: existence of a flattened core has been derived or inferred from these
90: previous works of 1D system or with spherical symmetry.  In this paper we report high-resolution fully 3D
91: simulations for this problem. Surprisingly, our simulations
92: reveal that the singular cores of bound objects remain to exist even when
93: the core size is much smaller than the Jean's length.
94: 
95: In Sec.2, we provide an explanation for the possible existence
96: of the Bose-Einstein state for the extremely low mass bosons under
97: investigation here. We then discuss two different representations of
98: ELBDM and the evolution of linear perturbations for the two representations.
99: In Sec.3, the numerical
100: scheme and initial condition are described. We present the simulation results in Sec.4.
101: In Sec.5, we look into the physics of collapsed cores with detailed analyses
102: from different perspectives.  Finally the conclusion is given in Sec.6.
103: In the Appendix, we present results of 1D and 2D simulations and demonstrate singular cores do not occur in 1D and 2D cases.
104: 
105: \section{Theory}
106: \subsection{Bose-Einstein Condensate}
107: 
108: A Bose-Einstein condensate (BEC) is a state of bosons cooled to a
109: temperature below the critical temperature. BEC happens after a
110: phase transition where a large fraction of particles condense into
111: the ground state, at which point quantum effects, such as
112: interference, become apparent on a macroscopic scale. The critical
113: temperature for a gas consisting of non-interacting relativistic
114: particles is given by \citep{bh96}:
115: \begin{equation}
116: T_c\sim (\frac{n_{ch}}{3 m})^{1/2},
117: \end{equation}
118: where the Boltzmann's constant and speed of light have been set to
119: unity.  Given the extremely low particle mass assumed here, $T_c$ is
120: derived from the relativitic Bose-Einstein particle-antiparticle
121: distribution with the chemical potential set to particle mass $m$. Here the "charge"
122: density $n_{ch}\equiv n_+ - n_-$, where $n_+$ and $n_-$ are the
123: number densities of particles and antiparticles in excited states.
124: On the other hand, we have $n_{ch}\sim (m/T) n_+$, and it follows
125: that $T_c\sim(\frac{n_+}{3T})^{1/2}$.  Note that $n_+$ scales as
126: $a^{-3}$ and $T$ as $a^{-1}$, and it follows $T_c$ scales as $a^{-1}$.
127: It means that when $T$ is below $T_c$ at some time after a phase
128: transition, the temperature will remain sub-critical in any later epoch.
129: As an estimate, if we assume one percent of ELBDM to be in the excited states after its decoupling, the current critical temperature becomes
130: \begin{equation}
131: T_c=3 \times 10^{-14}(\frac{m}{eV})^{-1/2} (\frac{T}{eV})^{-1/2} eV.
132: \end{equation}
133: Substituting $m\sim 10^{-22}$eV and $T\sim 10^{-4}$eV, the same as the present
134: photon temperature, we find that the current critical temperature
135: $T_c=0.3 eV >> T$.  Hence ELBDM, if exists and accounts for the dark matter,
136: may very well be in the BEC state ever since a phase transition in the early universe.
137: Despite ELBDM particles in the excited state are with a relativistic temperature, almost all particles are in the ground state and described by a single non-relativistic wave function.
138: 
139: \subsection{Basic Analysis}
140: 
141: The Lagrangian of non-relativistic scalar field in the comoving
142: frame is
143: \begin{equation}
144: L={a^3\over 2}[i\hbar(\psi^*{\partial\psi\over\partial t}-
145: \psi{\partial\psi^*\over\partial t}) +{\hbar^2\over
146: a^2m}(\nabla\psi)^2-2mV\psi^2],
147: \end{equation}
148: and the equation of motion for this Lagrangian gives a modified form
149: of Schr\"{o}dinger's Equation \citep{slopez03} :
150: \begin{equation}
151: i\hbar \frac{\partial\psi}{\partial t}=-\frac{\hbar ^{2}}{2
152: a^2m}\nabla ^{2}\psi + m V\psi,
153: \end{equation}
154: where $\psi\equiv \phi ({n_0}/a^3)^{-1/2}$ with $\phi$ being the
155: ordinary wave function, $n_0$ the present background number density
156: and $V$ is the self-gravitational potential obeying the Poisson
157: equation,
158: \begin{equation}
159: \nabla ^{2} V = 4 \pi G a^2\delta\rho = {4 \pi G \over a}{
160: \rho_0}(|\psi|^{2} -1).
161: \end{equation}
162: The only modification to the conventional Schr\"{o}dinger-Poisson
163: equation is the appearance $a^{-1}$ associated with the comoving
164: spatial gradient $\nabla$, and the probability density
165: $|\psi|^2$ to be normalized to the background proper density $\rho /m$.
166: In the above,
167: \begin{equation}
168: \rho_{0}\equiv \frac {3 H_{0} ^2}{8 \pi G} \Omega_{m}=m n_0
169: \end{equation}
170: is the background mass density of the universe.
171: 
172: To explore the nature of the ELBDM, we first adopt the
173: hydrodynamical description to investigate its linear evolution.  This
174: approach is not only more intuitive than the wave function
175: description, its advantage will also become apparent later.
176: Let the wave function be
177: \begin{equation}
178: \psi = \sqrt{\frac{{n}}{n_0}} e ^{i \frac{S}{\hbar}},
179: \end{equation}
180: where ${n}=\bar{n} a^3$, the comoving number density and ${\bar{n}}$ is the proper number density. The quadrature of Schr\"{o}dinger's equation can
181: be split into real and imaginary parts, which become the equations
182: of accerleration and density separately,
183: \begin{equation}
184: \frac{\partial}{\partial t} {\bf v}+ \frac{1}{a^2}{\bf
185: v}\cdot\nabla{\bf v} + \frac{\nabla V}{m} - \frac {\hbar ^{2}}{2 m^2
186: a^2} \nabla (\frac {\nabla ^{2} \sqrt{{n}}}{\sqrt{{n}}})=0
187: \end{equation}
188: \begin{equation}
189: \frac{\partial {n}}{\partial t} +{1\over a^2}\nabla \cdot
190: ({n} {\bf v})=0,
191: \end{equation}
192: where ${\bf v}\equiv\nabla S/m$ is the fluid velocity. There is a
193: new term depending on the third-order spatial derivative of the wave
194: amplitude $\sqrt{n}$ in the otherwise cold-fluid force equation.
195: This term results from the "quantum stress" that acts against
196: gravity, and it can be cast into a stress tensor in the energy and
197: momentum conservation equation \citep{chiu98,chiu00}. The quantum stress
198: becomes effective only when the spatial gradient of the structure is
199: sufficiently large.
200: 
201: The fluid equations, Eqs.(5),(8) and (9), are linearized and combined
202: to yield
203: \begin{equation}
204: \frac{\partial}{\partial t}a^2\frac{\partial}{\partial t}\delta
205: n-\frac{3 {H_0}^2 \Omega_m}{2a}\delta n
206: +\frac{\hbar^2}{4m^2a^2}\nabla^2\nabla^2\delta n=0.
207: \end{equation}
208: Upon spatially Fourier transforming $\delta n$, it follows
209: \begin{equation}
210: \frac{d}{d t}a^2\frac{d n_k}{d t}-({3 {H_0}^2 \Omega_m \over {2a}})
211: n_k +\frac{\hbar^2k^4}{4m^2 a^2}n_k=0,
212: \end{equation}
213: which can be recast into
214: \begin{equation}
215: x^2\frac{d^2}{dx^2}n_k+(x^2-6)n_k=0,
216: \end{equation}
217: and the solution to this equation is
218: \begin{equation}
219: n_k =\frac{(3\cos{x}-x^2\cos{x}+3x\sin{x})}{x^2}
220: \end{equation}
221: where $x\equiv \hbar k^2/(m\sqrt{ {H_0}^2 a})$ and $a=(t/t_0)^{2/3}$
222: and $\Omega_m = 1$ appropriate for early universe have been assumed.
223: In the small-$k$
224: limit, $x$ is small and $n_k\sim x^{-2}$, which grows in time as
225: $a$; for large $x$ the solution oscillates. Fig.(1) depicts the
226: solution, Eq.(13).   From Eq.(12) we can easily identify the oscillating
227: solutions when $x^2 \geq 6$, thereby defining the
228: Jeans wave number:
229: \begin{equation}
230: k_{J} = (6a)^{1/4}(\frac{mH_{0}}{\hbar})^{1/2}.
231: \end{equation}
232: 
233: Beyond the Jeans wave number, the perturbation is suppressed by
234: quantum stress. Moreover, the Jeans wave number scales as $a^{1/4}$
235: and is proportional to $m^{1/2}$ (Hu, Barkana \& Gruzinov 2000). We shall come back in a later section to examine up to what evolutionary stage the linear solution of $n_k$ can remain valid.
236: 
237: Next, we linearize the Schr\"{o}dinger-Poisson equation to derive
238: a governing equation for an alternative wave-function representation.
239: The wave function can be separated into real and imaginary parts,
240: \begin{equation}
241: \psi = 1+ R+ iI,
242: \end{equation}
243: with $R$, $I \ll 1$. In the linear regime, we have the real part of
244: linearized Schr\"{o}dinger's equation
245: \begin{equation}
246: -\hbar \frac{ \partial}{\partial t}I =-\frac{\hbar^2}{2 a^2
247: m}\nabla^{2}R + m V,
248: \end{equation}
249: and the imaginary part
250: \begin{equation}
251: \hbar \frac{\partial R}{\partial t} = -\frac{\hbar^2}{2 a^2
252: m}\nabla^{2}I.
253: \end{equation}
254: The Poisson Equation becomes
255: \begin{equation}
256: \nabla^2 V= \frac{8\pi G}{a} \rho_0 R.
257: \end{equation}
258: The spatial Fourier components of gravitational potential and
259: $\psi$ satisfy
260: \begin{equation}
261: V_k=-\frac{8\pi G \rho_0}{a}\frac{R_k}{k^2},
262: \end{equation}
263: \begin{equation}
264: -\hbar \frac{d}{dt}I_k =\frac{\hbar^2 k^{2}}{2 a^2 m}R_k + m V_k,
265: \end{equation}
266: and
267: \begin{equation}
268: I_k=\frac{2 a^2 m}{\hbar k^2} \frac{dR_k}{dt}.
269: \end{equation}
270: Combing the above, we have, as Eq. (11), that
271: \begin{equation}
272: \frac{d}{d t} a^2 \frac{d}{d t}R_k
273:  - (\frac{3 {H_0}^2 \Omega_m}{2a})R_k + (\frac{\hbar^2 k^4}{4 m^2 a^2} R_k=0,
274: \end{equation}
275: and $R_k$ has, up to a constant factor, the same solution as $n_k$.
276: Note that since $dR_k/dt = \dot{a} R_k/a$ for low-$k$ modes, it follows
277: that $|I_k|= (2mH_0 a^{1/2}/\hbar
278: k^2)|R_k|=({k_{J}}^2/\sqrt{3}k^2)|R_k| \gg |R_k|$. This feature will
279: serve as one of the indicators for the validity of the linear regime
280: in the wave function representation.
281: 
282: \begin{figure}
283:  \begin{center}
284:   \includegraphics[width=12cm,angle=0]{f1.eps}\\
285:   \caption{The solution of the linear perturbation given by Eq.(6). The vertical
286: line labels the location of squared scaled Jean's wavenumber at $x=6$.}\label{fig:Solution}
287:  \end{center}
288: \end{figure}
289: 
290: \begin{figure}
291:  \begin{center}
292:   \leavevmode
293:   \includegraphics[width=12cm,angle=0]{f2.eps}\\
294:   \caption{The linear evolution of the power spectrum from $z=100$ to $z=10$ in an 1 $h^{-1}$Mpc box. The low-$k$ power obeys the linear scaling $\propto a^2$. }\label{fig:Power_Evolve_Linea}
295:  \end{center}
296: \end{figure}
297: 
298: \section{Numerical Scheme and Simulations}
299: 
300: \subsection{Numerical Scheme}
301: 
302: We normalize the length to the computational grid size, $\Delta$, and
303: further define $\eta=(m \Delta^2 H_{0})/{\hbar}$. The value of
304: $\eta$ determines the size of Jean's length relative to the computational grid size.  Set $\nabla =
305: \frac{1}{\Delta} \widetilde{\nabla}$. The dimensionless
306: Schr\"{o}dinger-Poisson equations becomes
307: \begin{equation}
308: i\frac{\partial\psi}{\partial \tau}= -\frac{1}{2 a^2
309: \eta}\widetilde{\nabla} ^{2}\psi + \frac{3\Omega_m \eta}{2a} U\psi,
310: \end{equation}
311: and
312: \begin{equation}
313: \widetilde{\nabla}^{2} U = (\vert \psi \vert ^{2}- 1),
314: \end{equation}
315: where $U(x)={V(x)}/(\frac{3\Omega_{m} \eta}{2a})$, the
316: dimensionless gravitational potential, and $\tau=H_{0} t$.
317: 
318: Given a Hamiltonian $\bf {H}$, one can evolve the wave function
319: through (23). It is simply a unitary transformation of the system,
320: \begin{equation}
321: \psi^{j+1}= e^{-i{\bf{H}}dt}\psi^{j}.
322: \end{equation}
323: We use the \emph{pseudo-spectral method} to solve the Schr\"{o}dinger
324: equation in the comoving box. Let ${\bf{K}}$ be the kinetic energy
325: operator (${\bf{K}}=-\frac{1}{2\eta a^2}\widetilde{\nabla}^2
326: \rightarrow {{k}}^2/2\eta a^2$ in Fourier space)
327: and $\bf{W}$ the potential operator(${\bf{W}}=\frac{3\Omega_m}{2
328: a}U$ in real space). The evolution is then split into
329: 
330: 
331: \begin{equation}
332: e^{-i{\bf{H}}dt}=e^{-i({\bf{K}+\bf{W}})dt}=1-i({\bf{K+W}})dt-\frac{1}{2}{\bf(K^2+KW+WK+W^2)}
333: dt^2+O(dt^3).
334: \end{equation}
335: On the other hand, we need to consider the non-commutative relation
336: between ${\bf{K}}$ and ${\bf{W}}$, where
337: 
338: 
339: 
340: \begin{equation}
341: e^{-i{\bf{K}}{dt}}e^{-i{\bf{W}} dt}=1-i({\bf{K+W}})
342: dt-\frac{1}{2}{\bf{K}}^2 dt^2-\frac{1}{2}{\bf{W}}^2 dt^2-{\bf{KW}}
343: dt^2+O(dt^3),
344: \end{equation}
345: \begin{equation}
346: e^{-i{\bf{W}}{dt}}e^{-i{\bf{K}} dt}=1-i({\bf{W+K}})
347: dt-\frac{1}{2}{\bf{W}}^2 dt^2-\frac{1}{2}{\bf{K}}^2 dt^2-{\bf{WK}}
348: dt^2+O(dt^3).
349: \end{equation}
350: It follows that we obtain, to the second order accuracy,
351: 
352: 
353: \begin{equation}
354: e^{-i{\bf{(K+W)}}dt}\approx \frac{1}{2}[e^{-i{\bf{K}}
355: dt}e^{-i{\bf{W}} dt}+e^{-i{\bf{W}} dt}e^{-i{\bf{K}} dt}],
356: \end{equation}
357: which will be adopted to advance the time steps.
358: 
359: For each time step, the kinetic energy
360: operator is calculated in the Fourier domain,
361: \begin{equation}
362: {\psi_k}^{j+1}=e^{-i\frac{{k}^2}{2\eta
363: a^2}dt}{\psi_k}^{j}
364: \end{equation}
365: and $\psi$ is advanced in real space with the
366: potential energy operator,
367: \begin{equation}
368: {\psi({\bf x})}^{j+1}=e^{-i\frac{3 \Omega_m \eta U}{2a}dt}{\psi({\bf
369: x})}^{j}.
370: \end{equation}
371: To ensure numerical stability, we restrict the magnitude of $dt$
372: that rotates the phase angle of wave function less than
373: $\frac{\pi}{4}$ in each time step,
374: \begin{equation}
375: dt \leq \frac{\pi}{2} \frac{\eta a^2}{{k_{max}}^2},
376: \end{equation}
377: \begin{equation}
378: dt \leq |\frac{\pi a }{6 \Omega_m \eta U_{max}}|.
379: \end{equation}
380: In the early stage($a \sim 10^{-3}$), the stability condition is
381: governed by the kinetic energy term, where
382: ${k_{max}}^2=3{\pi}^2$ and $dt \leq {{(6 \pi)}^{-1}} (\eta
383: a^2)$. At the late time, the gravitational potential becomes ever
384: deeper, and therefore $dt$ is controlled by the potential energy,
385: where $U_{max}$ is the greatest value of potential in the real
386: space.
387: 
388: \subsection{Simulation Scale}
389: 
390: We prepare the initial conditions with CMBFAST \citep{cmbfast96} at $z=1000$ with $\Lambda$CDM cosmology.  Such initial conditions differ from that of \citet{hu00},
391: where the Compton length of ELBDM already has imprints on the power spectrum
392: at $z=1000$.  We choose this initial condition because only a few low-$k$ modes can grow for our choice of Jean's length and the details of initial power spectrum are irrelevant at the late time.
393: The simulations run up to $1024^{3}$-grid resolution in a 1 $h^{-1}$Mpc comoving box.  For simulations in a much larger box, the background density averaged over an 1$h^{-1}$ Mpc box can often change with time, the so-called environment effects, where galaxies prefer to form in regions of high background density.  Here, we ignore the environment effect by fixing $\Omega_m=0.3$.
394: We let the dimensionless parameter $\eta=1.22 \times 10^{-2}$ and $4.88\times 10^{-2}$ for the $1024^3$ and $512^3$ simulation boxes, which give a Jeans wavelength 50 kpc at $z=0$.  This value of $\eta$ corresponds to $m \sim 2.5 \times 10^{-22}eV$.  In the rest of this paper, we shall report only the simulation results of the highest resolution.
395: 
396: 
397: \section{Results}
398: 
399: \subsection{Validity of Linear Perturbation Theory}
400: 
401: We depict the early evolution of density power spectrum in Fig (2)
402: from $z=100$ to $z=10$. The density power spectrum increases as $a^2$
403: for modes with wave number $\ll k_{J}$, and $k_{J}$ indeed increases
404: as $a^{1/4}$. These features are in agreement with what the linear
405: perturbation theory predicts.
406: 
407: On the other hand, we show the early evolution of $4|R_k|^2$ and
408: $4|I_k|^2$ in Fig.(3) from $z=400$ to $z=10$. As expected the
409: low-$k$ modes grow initially, while the high-$k$ modes are
410: suppressed by quantum pressure. It is surprising to find that the
411: linear evolution of $\psi_k$ is valid only for a short period of
412: time before $z = 200$. After that, the wave function deviates from
413: what the linear theory predicts. In particular, the linear theory of
414: wave function representation predicts that $R_k$ and $I_k$ grow as
415: $a$ and $a^{3/2}$ respectively, and $|I_k|^2=({k_{J}}^4 /3 k^4)
416: |R_k|^2 \gg |R_k|^2$ for low-$k$ modes.  This prediction agrees with
417: the simulation result only when $z>200$.
418: At a somewhat later epoch
419: than $z=200$, we observe that the difference between $|I_k|^2$ and $|R_k|^2$
420: diminishes, and at $z=10$ we find $|I_k|^2 \approx |R_k|^2$.
421: 
422: This problem is also manifested in the growth rate of the linear
423: density power spectrum $|n_k|^2\approx 4|R_k|^2$. It is found that
424: $4|R_k|^2$ indeed scales as $a^2$ before $z=200$. When $z < 200$,
425: the quantity $4|R_k|^2$ grows much faster than $a^2$, and $4|R_k|^2$
426: becomes about one order of magnitude greater than what the linear
427: theory predicts at $z=100$.  That is, the density power spectrum $|n_k|^2$
428: vastly deviates from, and is much less than, $4|R_k|^2$ even since early on in the
429: evolution.
430: 
431: To examine this peculiar feature, we construct the imaginary part of wave function $I(\bf{x})$ from $I_k$ of a few
432: lowest $k$ modes and depict $|(I^2)_k|^2$ on the same plot as
433: $4|R_k|^2$ at $z=100$ in Fig.(3). It is found that
434: $|{(I^2)}_k|^2$ coincides with $4|R_k|^2$ at low-$k$. Since $n_k \approx 2R_k + (I^2)_k$, it follows that $(I^2)_k$ has the opposite
435: sign but approximately the same magnitude as $2R_k$ so that
436: the two terms of $n_k$ almost cancel to yield $|n_k|^2 \ll 4|R_k|^2$.
437: Thus nonlinearity already sets in as early as $z=100$ in
438: the wave function representation.  On the other hand, the fluid representation
439: does not have such a problem. We find that $|n_k|^2$ of low-$k$ modes in the
440: fluid representation agrees with what the linear fluid theory predicts even as late as
441: $z = 1$, despite that the high-$k$ modes already become nonlinear.
442: The difference arises from that $(\nabla S/m)(\equiv \bf{v})$ in the
443: fluid representation remains small at low-$k$, in contrast to $I=S$
444: in the wave function representation which has a large amplitude for low-$k$ modes
445: even at high $z$.
446: \begin{figure}
447:  \begin{center}
448:   \leavevmode
449:   \includegraphics[width=12cm,angle=0]{f3.eps}\\
450:   \caption{Evolution of $4|R_k|^{2}(z)$ and $4|I_k|^{2}(z)$ to check against the linear theory. Deviation from the linear theory is evident from z=200 on. Black dots are $|(I^2)_k|^2$ at $z=100$ constructed from few low-$k$ modes to show the cancellation between $2R_k$ and $(I^2)_k$ so as to make $n_k \ll 2R_k$. }\label{fig:4R2_4I2}
451:  \end{center}
452: \end{figure}
453: 
454: \subsection{Weakly Nonlinearity Regime}
455: 
456: \begin{figure}
457: \begin{center}
458:   \includegraphics[width=11cm,angle=0]{f4.eps}
459:   \caption{The weakly nonlinear evolution of the power spectrum from
460: $z=10$ to $z=1.5$, where the high-$k$ modes are seen to be nonlinearly excited.
461: }\label{fig:z_10_z_1}
462: \end{center}
463: \end{figure}
464: 
465:  Shown in Fig.(4) is the evolution of $|n_k|^2(=|2R_k+(R^2+I^2)_k|^2)$ for $1.5<z<10$.
466: The initial $n_k$ of high-$k$ mode has been linearly suppressed and is later replaced by the high-$k$ modes that are nonlinearly generated beginning around $z=5$. The nonlinear coupling arises from the coupling $V\psi$ in the Schr\"{o}dinger equation. Since $V$ is dominated by low-$k$ modes, the nonlinear coupling transfers modal energy local in $k$ space from one mode to the neighboring mode, and from low $k$ to high $k$. The gravitational potential $V$ is barely evolving in the weakly nonlinear regime, and hence the dynamics in this regime is for the wave function to settle into almost static potential wells.
467: 
468: \begin{figure}
469:  \begin{center}
470:   \leavevmode
471:   \includegraphics[width=8cm]{f5a.eps}
472:   \includegraphics[width=7.8cm]{f5b.eps}\\
473:   \caption{Two-dimensional projections of density in real space in a 1$h^{-1}$Mpc comoving box at z=3 (left panel) and z=0 (right panel). Halo A and B are at the top left and bottom left.}
474:   \label{fig:2D_project1}
475:  \end{center}
476: \end{figure}
477: 
478: We note that if $V$ were exactly static, the Schr\"{o}dinger equation would have been linear and the coupling from low to high $k$ modes would simply be the linear evolution of wave function starting with a non-eigenstate.  This argument may explain why the linear theory
479: of low-$k$ modes works so well even after high-$k$ modes are excited in this regime. Shown in the left panel of Fig.(5) is the real-space configuration of $\delta n$ at $z=3$ in this weakly nonlinear regime, where the wave function settling into individual quasi-static potentials well is underway.
480: 
481: \subsection{Strong Nonlinearity Regime}
482: 
483: Plotted in Fig.(6) is the evolution of density power spectrum after $z=1.5$. This is the strongly nonlinear regime where the gravitational potential develops deep wells at the collapsed cores.
484: To illustrate the contribution of the few collapsed objects to the final high-$k$ power spectrum, $P(k,0)$, at $z=0$, we remove all matter outside the virial radii of these collapsed halos and construct the power spectrum of these artificial objects, ${P_h}(k,0)$. The power spectrum of the removed matter, $P_{b}(k,0)$, is also constructed for reference. The two power spectra along with the original power spectrum are depicted in Fig.(7) for comparison. Clearly the bound objects contribute to almost all the power contained in the original power spectrum, except for the low-$k$ modes that are contributed dominantly by $P_b(k,0)$.  These few lowest-$k$ modes are grown out of the initial noise and remain so in the final configuration. That is, despite that the initial condition possesses many independent degrees of freedom, the final configuration has only a few degrees of freedom, where almost all randomly placed, small collapsed objects seen in standard CDM simulations are entirely suppressed.
485: 
486: During the final collapse phase, the core undergoes large-scale oscillations that send out waves to remove excess angular momentum deposited into the core region, rendering the core to settle into an almost stationary configuration in the physical space.  Fig.(8) shows the wavy structures of this nature around the collapsed halo A at z=1.  Even in the quasi-stationary state of these halos at $z = 0$, we find that this wave phenomenon is still pronounced around the halos, as will be discussed later.
487: 
488: There are two collapsed halos, A and B, of mass $5.7 \times 10^{9} M_{\bigodot}$
489: and $5 \times 10^{9} M_{\bigodot}$ respectively, at $z=0$ in our simulation as shown in the right panel of Fig.(5). Halo B is subject to major merger around $z=0.7$. Shown in Fig.(9) are halo B before and after the major merger. The final density profiles of halos A and B are plotted in Fig.(10).  Interestingly, they both develop singular cores, in spite of the presence of quantum pressure. Both power-law singular cores have a power index $-1.4$, reminiscent of that of the standard cold dark matter \citep{ginamor00}. The density profiles of the outskirts also obey power law, with a power index $-2.5$, slightly shallower than that produced by the cold dark matter \citep{nfw97}. Similar density profiles arising from different formation processes, i.e., accretion versus merger, suggest that the profile can be universal.
490: 
491: \begin{figure}
492:  \begin{center}
493:   \includegraphics[width=12cm,angle=0]{f6.eps}\\
494:   \caption{The nonlinear evolution of the power spectrum from
495: $z=1.5$ to $z=0.0$. The highest-$k$ modes acquire their full power after $z=0.4$, indicative of the creation of singular halo cores.
496: }\label{fig:z_1_z_0}
497:  \end{center}
498: \end{figure}
499: 
500: \begin{figure}
501:  \begin{center}
502:   \includegraphics[width=11cm,angle=0]{f7.eps}
503:   \caption{The comparison of the halo power spectrum $P_{h}$ (circle), the background power spectrum $P_{b}$ (triangle) and the full power spectrum $P$ (square) at $z=0$. Note that $P_{h}$ matches $P$ at high $k$  and $P_b$ matches P at low $k$. }\label{fig:Power_cut_vs_no_cut}
504:  \end{center}
505: \end{figure}
506: 
507: \begin{figure}
508:  \begin{center}
509:   \includegraphics[width=8cm,angle=0]{f8a.eps}
510:   \includegraphics[width=8cm,angle=0]{f8b.eps}
511:   \caption{Waves are sent out from the collapsing halo A at $z=1$ (left panel); it develops an oblate singular halo at $z=0$ (right panel).  }\label{fig:wave_structure}
512:  \end{center}
513: \end{figure}
514: 
515: \begin{figure}
516:  \begin{center}
517:   \includegraphics[width=8cm,angle=0]{f9a.eps}
518:   \includegraphics[width=8cm,angle=0]{f9b.eps}
519:   \caption{Halo B is subject to major merger at $z=0.7$. The left panel reveals the progenitors at $z=1$ and the right panel shows a singular halo with high degree of spherical symmetry at $z=0$.  }\label{fig:major_merger_before}
520:  \end{center}
521: \end{figure}
522: 
523: \begin{figure}
524:  \begin{center}
525:   \leavevmode
526:   \includegraphics[width=6cm]{f10a.eps}
527:   \hspace{0.5cm}
528:   \includegraphics[width=6cm]{f10b.eps}\hspace*{\fill}\\
529:   \caption{Density profiles of two massive halos at z=0. The left panel plots the profile of halo A and the right panel the profile of halo B. In both panels dot-dash lines and solid lines denote the power law of indices $-1.4$ and $-2.5$, respectively.}
530:   \label{fig:Density_Profile}
531:  \end{center}
532: \end{figure}
533: 
534: \begin{figure}
535:  \begin{center}
536:  \leavevmode
537:   \includegraphics[width=14cm,angle=0]{f11.eps}\\
538:   \caption{A two-dimensional slice of density for halo A through the core.}\label{fig:one_slice_image_A}
539:  \end{center}
540: \end{figure}
541: 
542: \begin{figure}
543:  \begin{center}
544:  \leavevmode
545:   \includegraphics[width=13cm,angle=-90]{f12.eps}\\
546:   \caption{The same two-dimensional slice of the velocity field for halo A in the comoving frame.}\label{fig:Velocity_Field_Halo_A}
547:  \end{center}
548: \end{figure}
549: 
550: \begin{figure}
551:  \begin{center}
552:  \leavevmode
553:   \includegraphics[width=14cm,angle=0]{f13.eps}\\
554:   \caption{A two-dimensional slice of density for halo B through the core}\label{fig:one_slice_image_B}
555:  \end{center}
556: \end{figure}
557: 
558: \begin{figure}
559:  \begin{center}
560:  \leavevmode
561:   \includegraphics[width=13cm,angle=-90]{f14.eps}\\
562:   \caption{The same two-dimensional slice of the velocity field for halo B in the comoving frame.}\label{fig:Velocity_Field_Halo_B}
563:  \end{center}
564: \end{figure}
565: 
566: Note that the final collapsed core contains angular momentum through angular dependence in the wave function.  The angular dependence manifests itself with large-amplitude, small-scale fluctuations in the wave function.  To examine this aspect of the halo, we let the wave function be represented by $\psi= f e^{iS}$.  The specific kinetic energy is obtained through the real part of the expression:
567: \begin{equation}
568: -{{\psi^*\nabla^2 \psi}\over{2{\eta}^2 {|\psi}|^2}} = {{1}\over {\eta}^2}[(\frac{(\nabla S)^2}{2} - \frac{\nabla^2 f}{2f} ) - i (\frac{\nabla f}{f} \cdot \nabla S   +  \frac{\nabla^2 S}{2})].
569: \end{equation}
570: On the other hand, the specific flow energy can be evaluated through
571: the real part of the following:
572: \begin{equation}
573: -\frac{\nabla^2 ({\psi^2}/|{\psi}|^2)}{4{\eta}^2 ({\psi^2}/|{\psi}|^2))} = {{1}\over {\eta}^2} [ \frac{(\nabla S)^2}{2} - i (\frac{\nabla^2 S}{2})].
574: \end{equation}
575: Combining the two, the specific internal energy is obtained.  Plotted in Figs.(11) and (13) are the 2D slices of density for halos A and B, showing large-amplitude, small-scale fluctuations in density.  We also plot the same slice for the 2D flow velocity $\nabla_\perp S/\eta$ $(=-i\nabla_\perp(\psi^2/|\psi|^{2})/(2\eta\psi^2/|\psi|^2)$ in Figs.(12) and (14).  The velocity patterns clearly reveal well-defined boundaries of turbulence regions in halos A and B against the infall.  The flow becomes randomized inside this sharp boundary.  Despite the boundary outlines an accretion shock-like structure, we find in the density slice that there is no obvious jump at the boundary and it is not a shock.
576: Thus, there is no analogy of such a structure in the fluid system.  This peculiar feature warrants our further investigation in the future.
577: 
578: \begin{figure}
579:  \begin{center}
580:  \leavevmode
581:   \includegraphics[width=8cm,angle=-90]{f15a.eps}\\
582:   \vspace{1cm}
583:   \includegraphics[width=8.1cm,angle=-90]{f15b.eps}\\
584:   \caption{Virial ratios of  the kinetic energy integrated up to a radius $r$ (square) to the potential energy integrated up to $r$, the specific flow energy (plus) and specific internal energy (star) for halos A (upper panel) and B (lower panel). This virial ratios are about 0.5 at the average radii of the infall boundaries.
585: The specific internal energy is about twice as large as the specific flow kinetic energy in the interiors of the two halos.}\label{fig:Energy_K_P}
586:  \end{center}
587: \end{figure}
588: 
589: \begin{figure}
590:  \begin{center}
591:  \leavevmode
592:   \includegraphics[width=8cm,angle=-90]{f16a.eps}\\
593:   \vspace{1cm}
594:   \includegraphics[width=8cm,angle=-90]{f16b.eps}\\
595:   \caption{Specific radial flow energy and tangential flow energy of  halo A (upper panel) and halo B (lower panel).}\label{fig:KE_r_t}
596:  \end{center}
597: \end{figure}
598: We next investigate the virial conditions in the two halos.
599: Plotted in Figs.(15a) and (15b) are the ratios of the kinetic energy integrated up to a radius $r$ to  the potential energy
600: ($\int_0^r 4\pi r'^2 (3\Omega_m\eta/4)[n(U-U_{min})] dr'$)
601: integrated up to $r$ for halos A and B.
602: The virial ratios are 0.5 at the average radii of the infall boundaries, within which turbulence occurs.  In addition, we also plot the specific flow energy and the specific internal energy respectively in Fig.(15). It is found that the specific internal energy is twice as large as the specific flow kinetic energy in the interiors of two halos.
603: 
604: Virialization can be correlated with the flow equi-partition.  Plotted in Fig.(16) are the random tangential specific flow energy and the random radial specific flow (subtracted off the mean radial infall) energy averaged over spherical shells for the two halos. The tangential flow energy is about twice the radial flow energy only well within the halos, thus providing an evidence of equi-partition at the halo cores.  In the outskirts of the halos, the random radial flow energy is larger than the equi-partition value.  This aspect is reminiscent of the velocity dispersion in a standard CDM halo.
605: 
606: Equi-partition is also related to the sphericity of mass distribution.  Significant large-scale angular dependence in the wave function can yield aspherical halos.  We define the quadrapole-to-monopole ratio as
607: \begin{equation}
608: Q\equiv (\frac{(\lambda_1-\lambda_2)^2+(\lambda_2-\lambda_3)^2+(\lambda_3-\lambda_1)^2}{2(\lambda_1^2+\lambda_2^2+\lambda_3^2)})^{\frac{1}{2}},
609: \end{equation}
610: where $\lambda_1$, $\lambda_2$ and $\lambda_3$ are the eigenvalues of $\int ({\bf{r}}{\bf{r}}/r^{\beta}) n d^3{\bf{r}}$, with $\beta=3.5$ to weigh in favor of the core.
611: The $Q$ value characterizes the low-order angular dependence of wave function, which assumes the extreme value zero or unity when the density profile has spherical symmetry or a one-dimensional shape.  It is found that $Q=0.34$ for halo A and $0.11$ for halo B respectively.  Perhaps violent relaxation after a major merger accelerates halo B to assume spherical symmetry.  We note that the quantum stress is in fact anisotropic: $T_{ij}^{Q}=(\partial_i \sqrt{n})(\partial_j \sqrt{n})/{\eta}^2 - \delta_{ij}(\nabla^2 n)/4{\eta}^2$ \citep{chiu00}.
612: Unlike fluid dark matter \citep{yoshida00}, the density asphericity arises from the anisotropic stress of quantum mechanics, similar to that produced by collisionless dark matter.  The similarity between the quantum dynamics and the collisionless particle dynamics in fact motivated \citet{wk93} to propose a model that approximates the latter by the former.
613: 
614: \section{Conclusion}
615: 
616: As far as we know of, this work presents the first result for the study of Bose-Einstein condensate under self-gravity via high resolution ($1024^{3}$ grids) simulation.
617: \citet{hu00} conjectured that if the dark matter is ELBDM, it can solve the long standing problem of far too many low-mass halos present in the standard CDM simulations, and also explains the existence of flat cores in some galaxies. In this work, we confirm that low mass halos are indeed suppressed by quantum stress even when the small-scale fluctuations are abundant in the initial power spectrum. This result is a consequence of long-time linear suppression of the
618: small-scale modes. We also find, from our simulations of different grid resolutions, that collapsed halos develop singular cores regardless of the halo formation processes. All these runs produce convergent density profiles.
619: Our $1024^{3}$ highest resolution run gives singular density profiles similar to what standard CDM simulations produce.
620: 
621: In retrospect this singular-core result may not be too surprising, as it arises from an almost scale-free Schr\"{o}dinger-Poisson system.
622: This system is not exactly scale free because there exists a Jeans length for fluctuations that are small in amplitude.  However, when the local density much exceeds the background density, the latter becomes locally ill-defined, the Jeans length no longer has any physical significance, and the Schr\"{o}dinger-Poisson system becomes locally scale free.
623: Being locally scale-free, the system develops singularities within a finite time.  By contrast, the conservation of phase-space density in classical particle dynamics precludes the space density of standard dark matter particles from developing any singularity \citep{chiu97,dal01}, and explains the existence of a flat core in the warm dark matter model.  Note that such a phase-space constraint does not exist for nonlinear wave dynamics; one example of this nature is a system described by the nonlinear Schr\"{o}dinger equation with attractive
624: self-interaction \citep{sulem99}.
625: 
626: Most recent observations of rotation curve in low-surface-brightness galaxies indicate inconclusive results, as far as the existence of singular halo core is concerned. Some galaxies are claimed not to possess singular halo cores,
627: and some are if non-circular motion is taken into consideration. Among those that do, many possess concentration parameters inconsistent with the constraint given by
628: $\Lambda$CDM cosmology \citep{swt03,zaku06,kuz06,kuz08}. Given the present status of observations, if galaxies indeed contain singular cores, ELBDM will likely be the only viable candidate for the dark matter that, on one hand, permits the galactic-scale, NFW-like halo cores, and on the other hand suppresses the sub-galactic low-mass halos.
629: 
630: \acknowledgments
631: 
632: \emph{Acknowledgements}- We thank Prof. Ue-Li, Pen who made the \emph{Sunnyvale cluster} of CITA available to us. We also thank Prof. Yih-Yu, Chen and Mr. Shing-Kwang, Wong for helpful discussions. This project is supported in the part by National Science Council of Taiwan under the grant: NSC 97-2628-M-002-008-MY3, and also by National Center for High-performance Computing for the availability of IBM 1350.
633: 
634: 
635: 
636: \begin{thebibliography}{}
637: 
638: \bibitem[Abazajian(2006)]{abazajian06} Abazajian, K. 2006, Phy. Rev. D, {\bf{73}}, 063513
639: 
640: \bibitem[Burakovsky \& Horwitz(1996)]{bh96} Burakovsky, L. \& Horwitz, L. P. 1996, Phy. Rev. D, {\bf{54}}, 4029
641: 
642: \bibitem[Chiueh \& Woo(1997)]{chiu97}Chiueh, T. H. \& Woo, T. P. 1997, Phys. Rev. E, {\bf{55}}, 1048
643: 
644: \bibitem[Chiueh(1998)]{chiu98}Chiueh, T. H. 1998, Phys. Rev. E, {\bf{57}}, 4150
645: 
646: \bibitem[Chiueh(2000)]{chiu00}Chiueh, T. H. 2000, Phys. Rev. E, {\bf{61}}, 3823
647: 
648: \bibitem[Colins, Valenzuela \& Avila-Reese(2008)]{colins08}Colins, P., Valenzuela, O. \& Avila-Reese, V., 2008, ApJ, {\bf{673}}, 203
649: 
650: \bibitem[Dalcanton et al.(1997)]{dal97} Dalcanton, J. J., Spergel, D. N., Gunn, J. E., Schmidt, M. \& Schneider, D. P. 1997, Astron. J., {\bf 114}, 635
651: 
652: \bibitem[Dalcanton \& Hogan (2001)]{dal01} Dalcanton, J.J. \& Hogan, C.J. 2001, \apj, {\bf{561}}, 35
653: 
654: \bibitem[Davies \&  Widrow(1997)]{dw97} Davies, G. \&  Widrow, L. M. 1997, \apj, {\bf{485}}, 484
655: 
656: \bibitem[Ghigna et al.(2000)]{ginamor00} Ghigna, S., Moore, B., Governato, F., Lake, G., Quinn, T. \& Stadel, J. 2000, ApJ, {\bf{544}} 616G
657: 
658: \bibitem[Hu, Barkana \& Gruzinov(2000)]{hu00} Hu, W., Barkana, R. \& Gruzinov, A. 2000, Phy. Rev. Lett., {\bf{85}}, 1158
659: 
660: \bibitem[Jing(2001)]{jing01} Jing, Y. P. 2001, Mod. Phys. Lett., A16, 1795
661: 
662: \bibitem[Klypin et al.(1999)]{kkvp99} Klypin, A., Kravtsov, A. V., Valenzuela, O. \& Prada, F. 1999, ApJ, {\bf 522}, 82
663: 
664: \bibitem[Kuzio de Naray et al.(2006)]{kuz06}Kuzio de Naray, R., McGaugh, S. S., de Blok, W.J.G. \& Bosma, A. 2006, ApJS, {\bf{165}}, 461
665: 
666: \bibitem[Kuzio de Naray, McGaugh \& de Blok(2008)]{kuz08}Kuzio de Naray, R., McGaugh, S. S. \& de Blok, W.J.G. 2008, ApJ, {\bf{676}}, 943
667: 
668: \bibitem[Navarro, Frenk \& White(1997)]{nfw97}Navarro, J. F., Frenk, C. S. \& White, S. D. M. 1997, ApJ, {\bf{490}}, 493
669: 
670: \bibitem[Press \& Ryden(1990)]{pr90}Press, W. H. \& Ryden, B. S. 1990, Phy. Rev. Lett. {\bf{64}}, 1084
671: 
672: \bibitem[Seljak \& Zaldarriaga(1996)]{cmbfast96}Seljak, U. \& Zaldarriaga, M. 1996, ApJ, {\bf{469}}, 437
673: 
674: \bibitem[Sin(1994)]{sin94} Sin, S. J. 1994, Phys. Rev. D, {\bf{50}}, 3650
675: 
676: \bibitem[Siddhartha \& Ur\'{e}na-L\'{o}pez(2003)]{slopez03} Siddhartha, F. G. \& Ur\'{e}na-L\'{o}pez, A. L. 2003, Phy. Rev. D, {\bf{68}}, 024023
677: 
678: \bibitem[Siddhartha \& Ur\'{e}na-L\'{o}pez(2004)]{slopez04}Siddhartha, F. G. \& Ur\'{e}na-L\'{o}pez, A. L. 2004,  Phy. Rev. D, {\bf{69}}, 124033
679: 
680: \bibitem[Spergel \& Steinhardt(2000)]{spst00} Spergel, D. N. \& Steinhardt, P. J. 2000, Phys. Rev. Letter, {\bf{84}}, 3760
681: 
682: \bibitem[Sulem, C. \& Sulem, P.-L.(1999)]{sulem99} Sulem, C.\& Sulem, P.-L, "The Nonlinear Schrodinger Equation. Self-Focusing and Wave Collapse" (Springer-Verlag, New York, 1999, ISBN: 978-0-387-98611-1).
683: 
684: \bibitem[Swaters, Madore \& Trewhella(2000)]{swt00}Swaters, R. A., Madore, B. F. \& Trewhella, M. 2000, ApJ, {\bf{513}}, L107
685: 
686: \bibitem[Swaters et al.(2003)]{swt03}Swaters, R. A., Madore B. F., van der Bosch, F. C. \& Balcells, M. 2003, ApJ, {\bf{583}}, 732
687: 
688: \bibitem[Viel et al.(2008)]{viel08}Viel, M., Becker, G. D., Bolton, J. S., Haehnelt, M. G., Rauch, M., Sargent, W. L. W. 2008, Phy. Rev. Letter, {\bf 100}, 041304
689: 
690: \bibitem[Widrow \& Kaiser(1993)]{wk93}Widrow, L. M. \& Kaiser, K. 1993, ApJ, {\bf 416}, L71
691: 
692: 
693: \bibitem[Yoshida et al.(2000)]{yoshida00}Yoshida, N., Springel, V., White, S. D. M. \& Tormen, G. 2000, ApJ, {\bf{535}}, L103
694: 
695: \bibitem[Zakurisson et al.(2006)]{zaku06}Zakurisson, E., Bergvall, N., Marquart, T. \& Ostlin, G. 2006, A\&A, {\bf{452}}, 857
696: 
697: \end{thebibliography}
698: 
699: \appendix
700: %\input appendix.tex
701: 
702: \begin{center}
703:   {\bf APPENDIX}
704: \end{center}
705: 
706: \renewcommand\thefigure{{A}.\arabic{figure}}
707: \setcounter{figure}{0}
708: 
709: \section{Comparison with One and Two Dimensional Simulations:}
710: 
711: We also examine the one-dimensional and two dimensional simulations
712: with the same numerical scheme used for the three-dimensional
713: simulations.  It is hoped that we can verify the scheme by reproducing
714: the results of previous works.
715: 
716: So far as we know of, the only work on one-dimensional simulation of the same
717: physical system is the work of \citet{hu00}.  In this work, they simulated
718: the 1D sheet collapse in a three-dimensional expanding universe.  Two cases of
719: different Jeans lengths were examined.  For the short Jeans length case,
720: they found fast oscillating solutions, in time and space, which corresponds
721: to a solution of repeated collapses and rebounds.   For the long Jeans
722: length case, they found slow oscillating solution.  In either case, the
723: collapsed sheet cores are smooth with no cusp.
724: 
725: The only two-dimensional simulation in the literature is that of \citet{wk93}.
726: Unfortunately, they did not examine individual profiles of
727: collapsed filaments and no comparison can be made, since the focus of
728: this work placed on the equivalence of the light bosonic system and
729: the cold dark matter system.
730: 
731: We run one-dimensional simulation with 8192 grids and a small-amplitude
732: initial random fluctuation.   The evolution follows the linear growth
733: described in the text.  Nonlinearity sets in quite quickly when the
734: density fluctuation grows to a amplitude comparable to the background density.
735: The saturation amplitude of $\delta\rho/\rho$ is around 10.  The solution
736: indeed oscillates, corresponding to repeated collapses
737: and rebounds.   We show the solutions in Fig.(A1) for two nearby
738: time steps where $\Delta a=0.001$ near $a=1$.  It is apparent that the
739: solution has no singular core.  This solution is similar to what
740: was found in the work of \citet{hu00}.
741: 
742: \begin{figure}
743:  \begin{center}
744:  \leavevmode
745:   \includegraphics[width=14cm,angle=0]{a1.eps}\\
746:   \caption{The density profiles of two nearby
747: time steps where $\Delta a=0.001$ near $a=1$ in a 1D simulation of 8192 grids.}\label{fig:Hu_result}
748:  \end{center}
749: \end{figure}
750: 
751: The two-dimensional case has also been examined with the same scheme as the 3D
752: code with 4096$^2$ grids.  We find that the collapsed filaments at $z=0$ do
753: not contain singular cores; rather, several dense clumps of
754: $\delta\rho/\rho\sim 1000$ are scattered over a area of finite radius in the
755: core region, as shown in the zoom-in image in Fig.(A2).
756: 
757: \begin{figure}
758:  \begin{center}
759:  \leavevmode
760:   \includegraphics[width=14cm,angle=0]{a2.eps}\\
761:   \caption{The density of the biggest halo found at the z=0 snapshot in
762: the 2D simulation of $4096^2$ grids. In this plot, the collapsed filament
763: does not contain any singular core.}\label{fig:2D_result}
764:  \end{center}
765: \end{figure}
766: 
767: It is understandable why low dimensional objects do not develop singularities.
768: This is due primarily to weakening of the focusing power in a
769: three-dimensionally expanding universe.  It appears that 2D is the critical
770: dimension, where the singularities are just not to appear.  In 3D, the
771: self-focusing power can be so strong as to bind the dense clumps tightly to
772: form singularity.
773: 
774: 
775: \end{document}
776: 
777: