This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Gravitationally Bound Bose Condensates with Rotation

Souvik Sarkar111sarkarsi@mail.uc.edu    Cenalo Vaz222Cenalo.Vaz@uc.edu    L.C.R. Wijewardhana333Rohana.Wijewardhana@uc.edu Department of Physics, University of Cincinnati, Cincinnati, OH 45221-0011.
Abstract

We develop a self-consistent, Gravitoelectromagnetic (GEM) formulation of a slowly rotating, self-gravitating and dilute Bose-Einstein condensate (BEC), intended for astrophysical applications in the context of dark matter halos. GEM self-consistently incorporates the effects of frame dragging to lowest order in v/cv/c via the Gravitomagnetic field. BEC dark matter has attracted attention as an alternative to Cold dark matter (CDM) and Warm dark matter (WDM) for some time now. The BEC is described by the Gross-Pitaevskii-Poisson (GPP) equation with an arbitrary potential allowing for either attractive or repulsive interactions. Owing to the difficulty in obtaining exact solutions to the GEM equations of motion without drastic approximations, we employ the variational method to examine the conditions under which rotating condensates, stable against gravitational collapse, may form in models with attractive and repulsive quartic interactions. We also describe the approximate dynamics of an imploding and rotating condensate by employing a collective coordinate description in terms of the condensate radius.

I Introduction

The standard (Λ\LambdaCDM) model for the matter-energy distribution of the universe posits that the universe consists primarily of a cosmological constant (Λ\Lambda) plus cold dark matter (CDM). It has been fairly successful on scales larger than the typical galactic scale (\gtrsim 50 kpc) but appears to make predictions that are somewhat inconsistent with observations on smaller scales (\lesssim 50 kpc). In this model, only about 4% of the matter-energy budget of the universe is ordinary baryonic matter as we know it, 22% is non-baryonic dark matter (DM) and the rest is a mysterious form of energy (dark energy, DE), which appears to be reasonably well described by a positive cosmological constant rea98 ; pea99 ; eea05 . The model has provided a useful framework for understanding structure formation via density fluctuations and has had some success in explaining the power spectrum of the mass fluctuations in the Cosmic Microwave Background (CMB) radiation kea11 ; hea12 ; pla15 , the large scale structure san12 ; and12 and the large scale structure of DM halos wal09 ; vik09 ; new12 . On smaller scales, however, numerical simulations dc91 ; fp94 ; mo94 ; nfw96 predict unobserved cusps in the central dark matter density profiles of galactic halos. On the contrary, observations of rotation curves prefer cored distribution profiles i.e., having a nearly constant DM density near the center gts07 ; ohea07 ; dea09 ; ns13 . Furthermore, because of the hierarchical growth of structure in the CMB models, they predict an excess of low mass sub-halos within the galaxy as well as an excess of massive sub-halos, capable of being bright enough to be observed as satellite galaxies kkvp99 ; mgea99 ; swea08 ; bs09 ; bkbk11 ; fw12 ; wbgkn15 . Other problems also indicate that the Λ\LambdaCDM model may be in need of tuning: for example, pure disk (bulge free) galaxies cannot be simulated in this model gbea10 ; kdbc10 and some anomalies between the CMB mass power spectrum obtained by the Sloan Digital Sky Survey (SDSS) and that predicted by the CDM paradigm have been found bbk17 .

A proposed alternative to CDM is a light boson whose mass is small enough that its critical temperature is well above that of the CMB. This ensures that a significant fraction of the bosons settle in the ground state and form a BEC kaup68 ; rb69 ; wt83 ; bgz84 ; imr90 ; bh07 . If the particle mass is small enough so that its de Broglie wavelength is on the order of the typical galactic scale (say 50\sim 50 kpc), smaller scale structure will be suppressed while on the large scale it would be virtually indistinguishable from CDM mst83 ; prs90 ; sjs94 ; hbg00 ; jg00 ; pjp00 ; ab05 ; phc11 ; scb14 ; ds14 ; lds14 ; hoea17 . Such low masses are not inconceivable, considering that ultra-light bosons (of mass even as low as 1033\sim 10^{-33} ev) are predicted by multidimensional cosmology and string theory hw96 ; gz97 ; add99 ; ar10 . Larger particle masses lead to smaller, asteroid sized, stable, BEC structures (one example is the QCD axion), which, in sufficient numbers, could form one component of DM csw86 ; kmz85 ; bsk92 ; sk94 ; ssk96 ; kss99 ; sg01 ; krs04 ; k08 ; bb11 ; ghp15 ; esvw14 ; elsw16 ; lpt17 ; phc17 ; hmea17 ; sh17 . Of interest in either case, but particularly for large halos, is the description of rotating condensates sds95 ; mmea99 ; rds12 ; ds16 .

In this work, we provide a Gravitoelectromagnetic (GEM) description of gravitationally bound, non-relativistic, rotating BECs. It is not our intention to obtain exact solutions of the equations of motion. Instead, we analyze the effects of the rotation by applying the variational method. The variational method is widely used in the study of BECs, in condensed matter physics bist97 ; ps08 and was adopted early in the Boson star literature (eg. phc11 ) as well, owing to the difficulty in obtaining solutions of the coupled system of equations.

In section II, beginning with the relativistic Klein-Gordon field in a weak, axisymmetric gravitational field, we set up the effective Gross-Pitaevskii-Poisson (GPP) action, describing a BEC cloud with rotation and including the gravitational action appropriate to an axisymmetric spacetime in the weak field approximation. In section III, we describe stable configurations by applying the variational method with a single Gaussian Vortex ansatz appropriate to rotating BEC clouds. In section IV we examine the problem of vortex collapse and we summarize our results in section V.

II Action

As the candidate field for BEC halos is generally taken to be a light, but not massless, scalar field, we begin with the action for a complex scalar field in a curved background spacetime, S=Sϕ+SGS=S_{\phi}+S_{G}, where

Sϕ=d4xg[gαβ(αϕ)(βϕ)+V(|ϕ|)],S_{\phi}=-\int d^{4}x\sqrt{-g}\left[g^{\alpha\beta}(\nabla_{\alpha}\phi)^{*}(\nabla_{\beta}\phi)+V(|\phi|)\right], (1)

and V(|ϕ|)V(|\phi|) is an arbitrary potential, which we take to be of the form

V(|ϕ|)=m2c22|ϕ|2+2m2V~1(|ϕ|).V(|\phi|)=\frac{m^{2}c^{2}}{\hbar^{2}}|\phi|^{2}+\frac{2m}{\hbar^{2}}{\widetilde{V}}_{1}(|\phi|). (2)

This action is supplemented by the gravitational action

SG=c316πGd4xgR,S_{G}=\frac{c^{3}}{16\pi G}\int d^{4}x\sqrt{-g}~R, (3)

linearized about flat space, taking gμν=ημν+hμνg_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu}.

II.1 The GPP Action

In the weak field approximation tp10 ; sc16 , gμν=ημν+hμνg_{\mu\nu}=\eta_{\mu\nu}+h_{\mu\nu} where |hμν||ημν||h_{\mu\nu}|\ll|\eta_{\mu\nu}|, if we set g1+12h\sqrt{-g}\approx 1+\frac{1}{2}h, where h=ημνhμνh=\eta^{\mu\nu}h_{\mu\nu} is the trace of hμνh_{\mu\nu}, then the scalar field action can be written as the sum of three terms,

Sϕ=S0[ϕ]d4x[12h(ηαβ(αϕ)(βϕ)+V(|ϕ|))hαβ(αϕ)(βϕ)]S_{\phi}=S_{0}[\phi]-\int d^{4}x\left[\frac{1}{2}h\left(\eta^{\alpha\beta}(\nabla_{\alpha}\phi)^{*}(\nabla_{\beta}\phi)+V(|\phi|)\right)-h^{\alpha\beta}(\nabla_{\alpha}\phi)^{*}(\nabla_{\beta}\phi)\right] (4)

to linear order in hμνh_{\mu\nu}. The zeroeth order action, S0[ϕ]S_{0}[\phi], is the action in (1), but on a flat background. We will call the trace term S1[h,ϕ]S_{1}[h,\phi] and the second correction term S2[hαβ,ϕ]S_{2}[h_{\alpha\beta},\phi]. In the non-relativistic limit, the field can be described by a complex wavefunction ψ\psi according to

ϕ=2meimc2t/ψ,\phi=\frac{\hbar}{\sqrt{2m}}e^{-imc^{2}t/\hbar}\psi, (5)

which, at low temperatures, describes a condensed, NN-particle state and will be normalized as d3r|ψ|2=N\int d^{3}{\vec{r}}|\psi|^{2}=N in what follows. We will also take the scalar field potential to be of the form

V(|ϕ|)=mc22|ψ|2+V~(|ψ|).V(|\phi|)=\frac{mc^{2}}{2}|\psi|^{2}+{\widetilde{V}}(|\psi|). (6)

Expanding the zeroeth order action in the non-relaivistic limit, one finds

S0[ϕ]𝑑td3r[i2ψtψ22m|ψ|2V~(|ψ|)]S_{0}[\phi]\approx\int dt\int d^{3}{\vec{r}}\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-{\widetilde{V}}(|\psi|)\right] (7)

where we have dropped terms quadratic in ψ˙/c\dot{\psi}/c, using the fact that, in the non-relativistic approximation, the difference between the total energy and the rest mass energy is supposed to be small. In the same approximation,

S1[ϕ]𝑑td3rh[i2ψtψ22m|ψ|2V~(|ψ|)].S_{1}[\phi]\approx\int dt\int d^{3}{\vec{r}}~h\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-{\widetilde{V}}(|\psi|)\right]. (8)

Assuming the gravitational field is weak (|h|1|h|\ll 1), this term may therefore be dropped, as also the last term in the expansion of S2[hαβ,ϕ]S_{2}[h_{\alpha\beta},\phi],

S2[hαβ,ϕ]\displaystyle S_{2}[h_{\alpha\beta},\phi] =\displaystyle= d4xhαβ(αϕ)(βϕ)\displaystyle\int d^{4}x~h^{\alpha\beta}(\nabla_{\alpha}\phi)^{*}(\nabla_{\beta}\phi) (9)
=\displaystyle= d4x[htt|ϕ˙|2+hti(ϕ˙iϕ+iϕϕ˙)+hij(iϕj)ϕ]\displaystyle\int d^{4}x\left[h^{tt}|\dot{\phi}|^{2}+h^{ti}\left(\dot{\phi}^{*}\nabla_{i}\phi+\nabla_{i}\phi^{*}\dot{\phi}\right)+h^{ij}\nabla_{(i}\phi^{*}\nabla_{j)}\phi\right] (11)
\displaystyle\approx 𝑑td3r[12mc4htt|ψ|2+ic22hti(ψiψiψψ)].\displaystyle\int dt\int d^{3}{\vec{r}}\left[\frac{1}{2}mc^{4}h^{tt}|\psi|^{2}+\frac{i\hbar c^{2}}{2}h^{ti}\left(\psi^{*}\nabla_{i}\psi-\nabla_{i}\psi^{*}\psi\right)\right]. (13)

If we call hti=Ai/c2h^{ti}=-A^{i}/c^{2}, htt=2ΦG/c4h^{tt}=-2\Phi_{G}/c^{4}, then this correction term looks like

S2[hαβ,ϕ]𝑑td3r[mΦG|ψ|2JA],S_{2}[h_{\alpha\beta},\phi]\approx\int dt\int d^{3}{\vec{r}}\left[-m\Phi_{G}|\psi|^{2}-J\cdot A\right], (14)

where ΦG\Phi_{G} is the gravitational potential energy (to be obtained from the Einstein equations) and

Ji=i2ψiψJ_{i}=\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{i}}\psi (15)

is the scalar current. Putting everything together, the non-realtivistic, weak field GPP action for the scalar field is

Sψd4x[i2ψtψ22m|ψ|2V~(|ψ|)mΦG|ψ|2JA].S_{\psi}\approx\int d^{4}x\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-{\widetilde{V}}(|\psi|)-m\Phi_{G}|\psi|^{2}-J\cdot A\right]. (16)

The third term in the action above represents the self-interaction of the non-relativistic field, the fourth term represents its interaction with the gravitational field and the last term is the gravitomagnetic term, which incorporates frame dragging.

The non-relativistic action may be put in a more suggestive form if we define Aμ=(ΦG,Ai)A_{\mu}=(-\Phi_{G},A_{i}) and the “covariant” derivative

Dμψ=(μimAμ)ψ.D_{\mu}\psi=\left(\nabla_{\mu}-\frac{im}{\hbar}A_{\mu}\right)\psi. (17)

Then,

i2ψDtψ=i2ψtψ+mAt|ψ|2=i2ψtψmΦG|ψ|2\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{D_{t}}\psi=\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi+mA_{t}|\psi|^{2}=\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-m\Phi_{G}|\psi|^{2} (18)

and

22m(Diψ)(Diψ)=22m|ψ|2JA-\frac{\hbar^{2}}{2m}(D_{i}\psi)^{*}(D^{i}\psi)=-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-J\cdot A (19)

upon dropping terms that are quadratic in the gravitational field. Thus our action reads,

Sψd4x[i2ψDtψ22m|Diψ|2V~(|ψ|)],S_{\psi}\approx\int d^{4}x\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{D_{t}}\psi-\frac{\hbar^{2}}{2m}|D_{i}\psi|^{2}-{\widetilde{V}}(|\psi|)\right], (20)

so, in the weak field limit, the interaction of the scalar field with the gravitational field has the (well-known) form of an “electromagnetic” coupling.

II.2 The Gravitational Action

Turning to the gravitational part of the action, we first examine the Einstein equations of motion to determine the general form of the metric. It is convenient to work in the harmonic gauge, defining h¯μν=hμν12ημνh{\overline{h}}_{\mu\nu}=h_{\mu\nu}-\frac{1}{2}\eta_{\mu\nu}h and imposing the condition h¯μν,ν=0{{\overline{h}}_{\mu\nu}}^{,\nu}=0. The Einstein tensor is Gμν=12h¯μνG_{\mu\nu}=\frac{1}{2}\Box{\overline{h}}_{\mu\nu} and Einstein’s equations are

h¯μν=16πGc4Tμν\Box{\overline{h}}_{\mu\nu}=\frac{16\pi G}{c^{4}}T_{\mu\nu} (21)

The gauge condition, h¯μν,ν=0{{\overline{h}}_{\mu\nu}}^{,\nu}=0 tells us that the stress tensor is conserved on a flat background, so TμνT_{\mu\nu} is to be evaluated for the field on a flat background,

Tμν=μϕνϕ+νϕμϕ+ημν.T_{\mu\nu}=\nabla_{\mu}\phi^{*}\nabla_{\nu}\phi+\nabla_{\nu}\phi^{*}\nabla_{\mu}\phi+\eta_{\mu\nu}\mathcal{L}. (22)

In the non-relativistic limit, keeping only leading order terms, we find

Ttt\displaystyle T_{tt} \displaystyle\approx mc4|ψ|2\displaystyle mc^{4}|\psi|^{2} (23)
Tti\displaystyle T_{ti} \displaystyle\approx c2Ji\displaystyle c^{2}J_{i} (24)
Tij\displaystyle T_{ij} \displaystyle\approx 0\displaystyle 0 (25)

This shows that we can take h¯ij=0{\overline{h}}_{ij}=0. In this case, h¯=h=h¯tt/c2{\overline{h}}=-h=-{\overline{h}}_{tt}/c^{2}. If we take h¯tt=4ΦG{\overline{h}}_{tt}=-4\Phi_{G} then h¯=4ΦG/c2{\overline{h}}=4\Phi_{G}/c^{2} and htt=2ΦGh_{tt}=-2\Phi_{G}. The remaining metric coefficients are

hij=h¯ij12ηijh¯=2ΦGc2δij,hti=h¯ti=Aih_{ij}={\overline{h}}_{ij}-\frac{1}{2}\eta_{ij}{\overline{h}}=-\frac{2\Phi_{G}}{c^{2}}\delta_{ij},~~h_{ti}={\overline{h}}_{ti}=-A_{i} (26)

and the line element,

ds2=c2(1+2ΦG/c2)dt2+2Aidtdxi(12ΦG/c2)δijdxidxj,ds^{2}=c^{2}(1+2\Phi_{G}/c^{2})dt^{2}+2A_{i}dtdx^{i}-(1-2\Phi_{G}/c^{2})\delta_{ij}dx^{i}dx^{j}, (27)

is subject to the gauge conditions,

h¯tμ,μ=4Φ˙Gc2A=0,h¯iμ,μ=1c2A˙i=0.{{\overline{h}}_{t\mu}}^{,\mu}=\frac{4\dot{\Phi}_{G}}{c^{2}}-\nabla\cdot A=0,~~{{\overline{h}}_{i\mu}}^{,\mu}=\frac{1}{c^{2}}\dot{A}_{i}=0. (28)

In the non-relativistic limit, we may ignore the term Φ˙G/c2\dot{\Phi}_{G}/c^{2}, so our gauge conditions become A˙i=0=A\dot{A}_{i}=0=\nabla\cdot A.

To set up the total action it is convenient to compare the line element in (27) to the standard line element of Arnowitt, Deser and Misner (ADM) adm62

ds2=N2dt2Nidtdxiγijdxidxjds^{2}=N^{2}dt^{2}-N_{i}dtdx^{i}-\gamma_{ij}dx^{i}dx^{j} (29)

and write the bulk Lagrangian for the gravitational field in terms of the lapse function, NN, the shift, NiN_{i}, the first fundamental form, γij\gamma_{ij}, the intrinsic curvature scalar of spatial hypersurfaces, R(3){}^{(3)}R, and the extrinsic curvature (of spatial hypersurfaces), KijK_{ij},

𝔏G=c3N16πGγ[R(3)+KijKijK2]\mathfrak{L}_{G}=\frac{c^{3}N}{16\pi G}\sqrt{\gamma}\left[{}^{(3)}R+K_{ij}K^{ij}-K^{2}\right] (30)

where KK is the trace of KijK_{ij}. This gives us the lapse, shift and first fundamental form respectively in linear approximation,

Nc(1+ΦGc2)\displaystyle N\approx c\left(1+\frac{\Phi_{G}}{c^{2}}\right) (31)
Ni=Ai\displaystyle N_{i}=-A_{i} (32)
γij=δij(12ΦGc2),\displaystyle\gamma_{ij}=\delta_{ij}\left(1-\frac{2\Phi_{G}}{c^{2}}\right), (33)

from which we find the intrinsic curvature of the spatial hypersurfaces up to second order

R(3)=4c22ΦG+2c4[3(ΦG)2+8ΦG2ΦG]{}^{(3)}R=\frac{4}{c^{2}}\nabla^{2}\Phi_{G}+\frac{2}{c^{4}}\left[3(\nabla\Phi_{G})^{2}+8\Phi_{G}\nabla^{2}\Phi_{G}\right] (34)

and, up to first order, the extrinsic curvature

Kij=12N[γ˙ij(iNj)]12c(iAj)=fij2c,K_{ij}=\frac{1}{2N}\left[\dot{\gamma}_{ij}-\nabla_{(i}N_{j)}\right]\approx\frac{1}{2c}{\nabla_{(i}A_{j)}}=\frac{f_{ij}}{2c}, (35)

where we have defined fij=(iAj)f_{ij}=\nabla_{(i}A_{j)}. In this approximation, the trace of the extrinsic curvature, K=ηijKijK=\eta^{ij}K_{ij} vanishes by virtue of the gauge condition. After some algebra, we find the gravitational action

SG=β𝑑td3r((ΦG)2+c28fijfij),S_{G}=\beta\int dt\int d^{3}{\vec{r}}\left(-(\nabla\Phi_{G})^{2}+\frac{c^{2}}{8}f_{ij}f^{ij}\right), (36)

where β=(8πG)1\beta=(8\pi G)^{-1}. The resulting total effective action,

S=𝑑td3r[i2ψtψ22m|ψ|2V~(|ψ|)mΦG|ψ|2JAβ(ΦG)2+βc28fijfij],S=\int dt\int d^{3}{\vec{r}}\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-{\widetilde{V}}(|\psi|)-m\Phi_{G}|\psi|^{2}-J\cdot A-\beta(\nabla\Phi_{G})^{2}+\frac{\beta c^{2}}{8}f_{ij}f^{ij}\right],\\ (37)

now allows us to use the non-linear Schroedinger equation to describe large scale structure, so long as ψ(t,r)\psi(t,{\vec{r}}) is interpreted as a Schroedinger field, normalized to the particle number, as mentioned earlier.

II.3 Equations of Motion

Extremizing the action in (37) with respect to variations in ψ\psi and employing the gauge conditions gives non-linear Schroedinger equation for ψ\psi

i𝒟tψ=22m2ψ+mΦGψ+V~(|ψ|)ψi\hbar\mathcal{D}_{t}\psi=-\frac{\hbar^{2}}{2m}\nabla^{2}\psi+m\Phi_{G}\psi+{\widetilde{V}}^{\prime}(|\psi|)\psi (38)

where 𝒟t=(tAii)\mathcal{D}_{t}=\left(\nabla_{t}-A^{i}\nabla_{i}\right) is the transport derivative, which takes into account frame dragging due to the rotation. Likewise, varying AiA_{i} and ΦG\Phi_{G} give

jfji=2Ai=16πGc2Ji\nabla_{j}f^{ji}=\nabla^{2}A^{i}=-\frac{16\pi G}{c^{2}}{J^{i}} (39)

(employing the gauge condition) and

2ΦG=4πGm|ψ|2,\nabla^{2}\Phi_{G}=4\pi Gm|\psi|^{2}, (40)

up to first order. These are readily solved by

ΦG(r)=4πGmd3rψ(t,r)ψ(t,r)|rr|\displaystyle\Phi_{G}({\vec{r}})=-4\pi Gm\int d^{3}{\vec{r}}^{\prime}~\frac{\psi^{*}(t,{\vec{r}}^{\prime})\psi(t,{\vec{r}}^{\prime})}{|{\vec{r}}-{\vec{r}}^{\prime}|} (41)
(42)
Ai(r)=8πiGc2d3rψ(t,r)iψ(t,r)|rr|\displaystyle A_{i}({\vec{r}})=\frac{8\pi iG\hbar}{c^{2}}\int d^{3}{\vec{r}}^{\prime}~\frac{\psi^{*}(t,{\vec{r}}^{\prime})\overleftrightarrow{\nabla^{\prime}}_{i}\psi(t,{\vec{r}}^{\prime})}{|{\vec{r}}-{\vec{r}}^{\prime}|} (43)

respectively.

It is often useful to treat the BEC as a superfluid. We now consider the hydrodynamic analogy by employing the Madelung transformation m27 to rewrite equation (38). Setting phc11 ; bh07 ; phc16

ψ(t,r)=ν(t,r)eiS(t,r)\psi(t,{\vec{r}})=\sqrt{\nu(t,{\vec{r}})}~e^{iS(t,{\vec{r}})} (44)

where ν\nu is the number density of particles and SS is the real action. By comparing the real and imaginary parts of the Schroedinger equation for ψ\psi we find

𝒟tν+m(νS+ν2S)=0\displaystyle{\mathcal{D}}_{t}\nu+\frac{\hbar}{m}\left(\nabla\nu\cdot\nabla S+\nu\nabla^{2}S\right)=0 (45)
(46)
𝒟tS+2m(S)2+mΦG+1V~(ν)+Q(ν)=0\displaystyle{\mathcal{D}}_{t}S+\frac{\hbar}{2m}(\nabla S)^{2}+\frac{m}{\hbar}\Phi_{G}+\frac{1}{\hbar}{\widetilde{V}}^{\prime}(\nu)+Q(\nu)=0 (47)

where QQ is the “quantum potential”

Q=4m[2νν12(νν)2]Q=-\frac{\hbar}{4m}\left[\frac{\nabla^{2}\nu}{\nu}-\frac{1}{2}\left(\frac{\nabla\nu}{\nu}\right)^{2}\right] (48)

If we introduce the velocity field, u=S/mu=\hbar\nabla S/m, then the first of the above equations,

𝒟tν+(νu)=0,{\mathcal{D}}_{t}\nu+\nabla\cdot(\nu u)=0, (49)

has the form of a continuity equation. The second can also be put in an interesting form: write it as

tu(Au)+12(u)2+ΦG+(1mV~(ν))+Qm=0\nabla_{t}u-\nabla(A\cdot u)+\frac{1}{2}\nabla(u)^{2}+\nabla\Phi_{G}+\nabla\left(\frac{1}{m}{\widetilde{V}}^{\prime}(\nu)\right)+\frac{\hbar\nabla Q}{m}=0 (50)

and notice that uu is irrotational, so iuj=jui\nabla_{i}u_{j}=\nabla_{j}u_{i} implying that (u2)=2(u)u\nabla(u^{2})=2(u\cdot\nabla)u. Likewise i(Au)=(A)ui+ujiAj\nabla_{i}(A\cdot u)=(A\cdot\nabla)u_{i}+u_{j}\nabla_{i}A_{j}, therefore

𝒟tui+(u)ui=1mνiPiΦG+ujiAjmiQ{\mathcal{D}}_{t}u_{i}+(u\cdot\nabla)u_{i}=-\frac{1}{m\nu}\nabla_{i}P-\nabla_{i}\Phi_{G}+u_{j}\nabla_{i}A_{j}-\frac{\hbar}{m}\nabla_{i}Q (51)

where mνm\nu represents the mass density of the BEC and PP is the pressure given by

iP=νiV~(ν).\nabla_{i}P=\nu\nabla_{i}{\widetilde{V}}^{\prime}(\nu). (52)

This is the general form of the equation of state. For example, for quartic interactions, V~(ν)=λ4ν2{\widetilde{V}}(\nu)=\frac{\lambda}{4}\nu^{2}, we find bh07

P=λ4ν2.P=\frac{\lambda}{4}\nu^{2}. (53)

Thus, not surprisingly, a repulsive interaction (λ>0\lambda>0) leads to a positive pressure and an attractive interaction (λ<0\lambda<0) to a negative pressure. The effect of frame dragging is contained in the transport derivative, 𝒟t{\mathcal{D}}_{t}. In terms of the particle density and real action, the gravitational potential and shift are given by

ΦG(r)=4πGmd3rν(t,r)|rr|\displaystyle\Phi_{G}({\vec{r}})=-4\pi Gm\int d^{3}{\vec{r}}^{\prime}~\frac{\nu(t,{\vec{r}}^{\prime})}{|{\vec{r}}-{\vec{r}}^{\prime}|} (54)
(55)
Ai(r)=16πGmc2d3rν(t,r)ui(t,r)|rr|\displaystyle A_{i}({\vec{r}})=-\frac{16\pi Gm}{c^{2}}\int d^{3}{\vec{r}}^{\prime}~\frac{\nu(t,{\vec{r}}^{\prime})u_{i}(t,{\vec{r}}^{\prime})}{|{\vec{r}}-{\vec{r}}^{\prime}|} (56)

respectively.

III Stable Configurations

(Meta)stable, rotating BEC configurations may be obtained by extremizing the total energy of the system, which, according to (37) will be given by

H=d3r[22m|iψ|2+V(|ψ|)+m2ΦG|ψ|2+12JA].H=\int d^{3}{\vec{r}}\left[\frac{\hbar^{2}}{2m}|\nabla_{i}\psi|^{2}+V(|\psi|)+\frac{m}{2}\Phi_{G}|\psi|^{2}+\frac{1}{2}J\cdot A\right]. (57)

Introducing a length parameter, RR, a general ansatz for ψ(r)\psi({\vec{r}}) representing a rotating condensate in spherical coordinates would be

ψ(t,r)=wk|l|=0,1,Fkl(r/R)Ykl(θ,ϕ)eiμt,\psi(t,{\vec{r}})=w\sum_{k\geq|l|=0,1,\ldots}F_{kl}(r/R)Y_{kl}(\theta,\phi)e^{i\mu t}, (58)

where ww is a normalization, μ\mu is the non-relativistic chemical potential associated with the BEC, k,lk,l are integers, klk-k\leq l\leq k, Fkl(r/R)F_{kl}(r/R) are real functions of rr and YklY_{kl} are the spherical harmonics. In what follows, we will treat Fkl(r/R)F_{kl}(r/R) as a variational function. Here RR is a variational parameter. We hold the particle number and the total angular momentum fixed in the variational computation.

III.1 The Total Energy

For simplicity, we will analyze the situation when all particles are in the k=1=lk=1=l eigenstate of angular momentum, i.e., we take

ψ(t,r)=wF(r/R)sinθeiφeiμt.\psi(t,{\vec{r}})=wF(r/R)\sin\theta e^{i\varphi}e^{i\mu t}. (59)

The procedure below can be extended to arbitrary angular momentum states. The normalization condition gives,

w=3N8πR3C22w=\sqrt{\frac{3N}{8\pi R^{3}C_{22}}} (60)

where NN is the number of bosons in the BEC and C22=0𝑑ξξ2F2(ξ)C_{22}=\int_{0}^{\infty}d\xi~\xi^{2}F^{2}(\xi). To find an expression for ΦG\Phi_{G}, we use the expansion of the Green function in spherical harmonics with vanishing boundary conditions at the origin and at infinity,

1|rr|=4πl,m12l+1r<lr>l+1Ylm(θ,φ)Ylm(θ,ϕ)\frac{1}{|{\vec{r}}-{\vec{r}}^{\prime}|}={4\pi}\sum_{l,m}\frac{1}{2l+1}\frac{r_{<}^{l}}{r_{>}^{l+1}}Y^{*}_{lm}(\theta^{\prime},\varphi^{\prime})Y_{lm}(\theta,\phi) (61)

and find

ΦG(r,θ)\displaystyle\Phi_{G}(r,\theta) =\displaystyle= 3GmN2C22R{23[Rr0r/Rdηη2F2(η)+r/RdηηF2(η)]\displaystyle-\frac{3GmN}{2C_{22}R}\left\{\frac{2}{3}\left[\frac{R}{r}\int_{0}^{r/R}d\eta\eta^{2}F^{2}(\eta)+\int_{r/R}^{\infty}d\eta\eta F^{2}(\eta)\right]\right. (64)
+115(13cos2θ)[R3r30r/Rdηη4F2(η)+r2R2r/RdηηF2(η)]}.\displaystyle\left.\hskip 42.67912pt+\frac{1}{15}(1-3\cos^{2}\theta)\left[\frac{R^{3}}{r^{3}}\int_{0}^{r/R}d\eta~\eta^{4}F^{2}(\eta)+\frac{r^{2}}{R^{2}}\int_{r/R}^{\infty}\frac{d\eta}{\eta}F^{2}(\eta)\right]\right\}.

Now from (43) it follows that only AϕA_{\phi} survives (in this stationary state), and

Aϕ(r,θ)=4mc2ΦG(r,θ).A_{\phi}(r,\theta)=\frac{4\hbar}{mc^{2}}~\Phi_{G}(r,\theta). (65)

Putting these results into (57), and taking, for simplicity, quartic interactions of arbitrary sign, V(|ψ|)=λ4|ψ|4V(|\psi|)=\frac{\lambda}{4}|\psi|^{4}, we find the four terms in the total energy to be

HK(R)\displaystyle H_{K}(R) =\displaystyle= N22mR2C220𝑑ξ[ξ2F2(ξ)+2F2(ξ)]\displaystyle\frac{N\hbar^{2}}{2mR^{2}C_{22}}\int_{0}^{\infty}d\xi\left[\xi^{2}F^{\prime 2}(\xi)+2F^{2}(\xi)\right] (66)
HV(R)\displaystyle H_{V}(R) =\displaystyle= 3λN240πR3C222𝑑ξξ2F4(ξ)\displaystyle\frac{3\lambda N^{2}}{40\pi R^{3}C_{22}^{2}}\int d\xi~\xi^{2}F^{4}(\xi) (68)
HΦ(R)\displaystyle H_{\Phi}(R) =\displaystyle= Gm2N22RC222[0dξξF2(ξ)0ξdηη2F2(η)+0dξξ2F2(ξ)ξdηηF2(η)\displaystyle-\frac{Gm^{2}N^{2}}{2RC_{22}^{2}}\left[\int_{0}^{\infty}d\xi~\xi F^{2}(\xi)\int_{0}^{\xi}d\eta~\eta^{2}F^{2}(\eta)+\int_{0}^{\infty}d\xi~\xi^{2}F^{2}(\xi)\int_{\xi}^{\infty}d\eta~\eta F^{2}(\eta)\right. (72)
+1250dξξF2(ξ)0ξdηη4F2(η)+1250dξξ4F2(ξ)ξdηηF2(η)]\displaystyle\hskip 28.45274pt\left.+\frac{1}{25}\int_{0}^{\infty}\frac{d\xi}{\xi}F^{2}(\xi)\int_{0}^{\xi}d\eta~\eta^{4}F^{2}(\eta)+\frac{1}{25}\int_{0}^{\infty}d\xi~\xi^{4}F^{2}(\xi)\int_{\xi}^{\infty}\frac{d\eta}{\eta}F^{2}(\eta)\right]
HA(R)\displaystyle H_{A}(R) =\displaystyle= 32GN2c2C222R3[0dξξF2(ξ)0ξ𝑑ηη2F2(η)+0𝑑ξF2(ξ)ξ𝑑ηηF2(η)]\displaystyle\frac{3\hbar^{2}GN^{2}}{c^{2}C_{22}^{2}R^{3}}\left[\int_{0}^{\infty}\frac{d\xi}{\xi}F^{2}(\xi)\int_{0}^{\xi}d\eta~\eta^{2}F^{2}(\eta)+\int_{0}^{\infty}d\xi F^{2}(\xi)\int_{\xi}^{\infty}d\eta~\eta F^{2}(\eta)\right] (74)

where ξ=r/R\xi=r/R is a dimensionless variable. The second term in the integral in the expression for the kinetic energy, HKH_{K}, represents the contribution of the azimuthal motion of the condensate. HΦH_{\Phi} and HAH_{A} are the contributions of the gravitational field. These expressions may be put into simpler form in terms of the coefficients

Cmn=0𝑑ξξmFn(ξ)\displaystyle C_{mn}=\int_{0}^{\infty}d\xi~\xi^{m}F^{n}(\xi) (75)
(76)
Bmn=0𝑑ξξmFn(ξ)\displaystyle B_{mn}=\int_{0}^{\infty}d\xi~\xi^{m}F^{\prime n}(\xi) (77)
(78)
Dmn=0𝑑ξξmF2(ξ)0ξ𝑑ηηnF2(η)\displaystyle D_{mn}=\int_{0}^{\infty}d\xi~\xi^{m}F^{2}(\xi)\int_{0}^{\xi}d\eta~\eta^{n}F^{2}(\eta) (79)
(80)
Amn=0𝑑ξξmF2(ξ)ξ𝑑ηηnF2(η).\displaystyle A_{mn}=\int_{0}^{\infty}d\xi~\xi^{m}F^{2}(\xi)\int_{\xi}^{\infty}d\eta~\eta^{n}F^{2}(\eta). (81)

We find

H(R)\displaystyle H(R) =\displaystyle= HΦ(R)+HK(R)+HV(R)+HA(R)\displaystyle H_{\Phi}(R)+H_{K}(R)+H_{V}(R)+H_{A}(R) (82)
=\displaystyle= Gm2N22RC222(D12+A21+125(D14+A4,1))+N2(B22+2C02)2mR2C22\displaystyle-\frac{Gm^{2}N^{2}}{2RC_{22}^{2}}\left(D_{12}+A_{21}+\frac{1}{25}(D_{-14}+A_{4,-1})\right)+\frac{N\hbar^{2}(B_{22}+2C_{02})}{2mR^{2}C_{22}} (86)
+3λN2C2440πR3C222+3G2N2c2R3C222(D12+A01).\displaystyle\hskip 113.81102pt+\frac{3\lambda N^{2}C_{24}}{40\pi R^{3}C_{22}^{2}}+\frac{3G\hbar^{2}N^{2}}{c^{2}R^{3}C_{22}^{2}}\left(D_{-12}+A_{01}\right).

H(R)H(R) does not include the rest mass energy, Nmc2Nmc^{2}, of the condensate and the total energy can be written as E(R)Nmc2+H(R)E(R)\approx Nmc^{2}+H(R). If HB(R)H_{B}(R) is the binding energy per particle, then E(R)=N|mc2HB(R)|E(R)=N|mc^{2}-H_{B}(R)|. We can therefore identify |HB(R)|=|H(R)|/N|H_{B}(R)|=|H(R)|/N. In fact, using previous results esvw14 , let us define the dimensionless parameters ρ\rho and nn by

R=Mpm|λ|cρ,N=nMpm2(c)3/2c|λ|,R=\frac{M_{p}}{m}\sqrt{\frac{|\lambda|}{\hbar c}}~\rho,~~N=\frac{nM_{p}}{m^{2}}\left(\frac{\hbar}{c}\right)^{3/2}\frac{c}{\sqrt{|\lambda|}}, (87)

where Mp=c/GM_{p}=\sqrt{\hbar c/G} is the Planck mass. Then the binding energy per unit mass may be given as,

(ρ)=HmN=3c|λ|Mp2[Aρ+Bρ2+Cρ3],\mathcal{H}(\rho)=\frac{H}{mN}=\frac{\hbar^{3}c}{|\lambda|M_{p}^{2}}\left[\frac{A}{\rho}+\frac{B}{\rho^{2}}+\frac{C}{\rho^{3}}\right], (88)

where

A=n2C222(D12+A21+125(D14+A4,1))\displaystyle A=-\frac{n}{2C_{22}^{2}}\left(D_{12}+A_{21}+\frac{1}{25}(D_{-14}+A_{4,-1})\right) (89)
B=12(B22+2C02C22)\displaystyle B=\frac{1}{2}\left(\frac{B_{22}+2C_{02}}{C_{22}}\right) (90)
C=n(sgn(λ)3C2440πC222+33|λ|cMp2C222(D12+A01)).\displaystyle C=n\left({\text{sgn}}(\lambda)\frac{3C_{24}}{40\pi C_{22}^{2}}+\frac{3\hbar^{3}}{|\lambda|cM_{p}^{2}C_{22}^{2}}(D_{-12}+A_{01})\right). (91)

The coefficient AA characterizes the contribution of the gravitational potential energy to the total energy and is negative and BB represents the contribution of the kinetic energy of the bosons. The effects of the rotation are contained in a contribution to the kinetic energy through the coefficient C02C_{02} in BB and in the last term in the expression for CC, which combines the contributions of the scalar potential and frame dragging. This term is proportional to 3n/b23n/b^{2}, where bb is a dimensionless parameter, b2=|λ|cMp2/3b^{2}=|\lambda|cM_{p}^{2}/\hbar^{3}, characterizing the strength of the self interactions.

III.2 Minimum Energy Configuration

The extrema of {\mathcal{H}} in (88) are readily found to be given by

ρeq=B|A|B2|A|2+3C|A|,{\rho_{\text{eq}}}=\frac{B}{|A|}\mp\sqrt{\frac{B^{2}}{|A|^{2}}+\frac{3C}{|A|}}, (92)

assuming it is real, i.e., provided that B2>3|A||C|B^{2}>3|A||C| when C<0C<0. In what follows, we set

A\displaystyle A =\displaystyle= an\displaystyle an (93)
C\displaystyle C =\displaystyle= qn(dqb2+sgn(λ))\displaystyle qn\left(\frac{d}{qb^{2}}+{\text{sgn}}(\lambda)\right) (94)

where the parameters aa, qq and dd are obtained from the constants defined in (91), viz.,

a=12C222(D12+A21+125(D14+A4,1))\displaystyle a=-\frac{1}{2C_{22}^{2}}\left(D_{12}+A_{21}+\frac{1}{25}(D_{-14}+A_{4,-1})\right) (95)
(96)
q=3C2440πC222\displaystyle q=\frac{3C_{24}}{40\pi C_{22}^{2}} (97)
(98)
d=3C222(D12+A01).\displaystyle d=\frac{3}{C_{22}^{2}}\left(D_{-12}+A_{01}\right). (99)

The first , aa, characterizes the strength of the gravitational interaction, the second, qq, characterizes the strength of the self interaction and the last, dd, the effect of the frame dragging. In terms of these, the dimensionless equilibrium radius is

ρeq=B|a|n[1+1+3|a|qB2(dqb2+sgn(λ))n2].{\rho_{\text{eq}}}=\frac{B}{|a|n}\left[1+\sqrt{1+\frac{3|a|q}{B^{2}}\left(\frac{d}{qb^{2}}+{\text{sgn}}(\lambda)\right)n^{2}}\right]. (100)

For it to exist, we must require the quantity under the radical to be non-negative. If the kinetic energy of the bosons is ignored, as in the Thomas-Fermi approximation, BB approaches zero and the equilibrium radius approaches a constant independent of the number of particles. In the absence of rotation (d=0d=0) this equilibrium is possible only for repulsive self interactions. If one does not ignore the kinetic energy of the bosons then the equilibrium radius decreases with increasing nn.

When C>0C>0 an absolute minimum of the energy exists, as the interactions together with the rotations are able to stabilize the condensate. When C<0C<0 only attractive interactions are permitted and the energy of the system is unbounded from below, but we have found a local minimum in (100), not an absolute minimum, of the energy. This local minimum exists only when the number of particles is below a certain critical value, nc{n_{\text{c}}}, which will be determined below. It is important to discuss the validity of this solution.

There are three criteria that it must satisfy in order to be self consistent, the first two arising from the GEM approximation. First, the de Broglie wavelength of the bosons should be much larger than their Compton wavelength to ignore special relativistic corrections. Second, the size of the condensate at the minimum has to be much greater than the Schwarzschild radius of the corresponding mass, to justify not using general relativistic corrections. The impact of these two conditions on the range of the parameters is determined below and the conditions are satisfied by the examples we give. When the energy is unbounded from below (in the case C<0C<0, λ<0\lambda<0) the local minimum we have found could be unstable. This can be avoided if additional stabilizing terms exist in the effective potential (as is the case for QCD axions, where the effective potential is given by the Bessel function J0J_{0} esvw14 ). Irrespective of whether there is a stabilization term, the configuration at the local minimum could be a viable state, provided it has a lifetime greater than the age of the universe. This would occur if the probability of tunneling out of it is sufficiently small. The lifetime of metastable BECs formed by bosonic atoms with attractive interactions, confined by a harmonic trap, was estimated using instanton methods in st97 ; frar99 . One can use similar techniques to compute the lifetimes of gravitationally bound BEC systems against tunneling out of the metastable local minimum state. The result is that the tunneling rate behaves approximately as exp(2NJ/)\sim\exp(-2NJ/\hbar), where NN is the number of particles and JJ is the WKB expression for the exponent of the tunneling rate. In the case of an astrophysical BEC, the number of particles is very large (N1058N\sim 10^{58}1010010^{100}) and the WKB expression, JJ, is not vanishingly small unless the fraction f=n/ncf=n/{n_{\text{c}}} is commensurately close to unity. Thus so long as f<1f<1 the lifetime of the metastable state grows exponentially with the particle number.

III.2.1 C>0C>0

If C>0C>0 there is an absolute minimum of the energy and either λ>0\lambda>0 or

λ<0andb<dq.\lambda<0~~\text{and}~~b<\sqrt{\frac{d}{q}}. (101)

For attractive self-interactions (λ<0\lambda<0), rotation provides a stabilization mechanism. In the absence of rotation (d=0d=0), C>0C>0 is possible only for repulsive interactions.

So long as C>0C>0, the number of particles, nn, and the interaction strength, bb, are limited only by the GEM approximation. As mentioned, we obtain a criterion for the validity of the non-relativistic approximation by requiring that the de Broglie wavelength of the bosons, λdB\lambda_{\text{dB}}, is much larger than the Compton wavelength, λC\lambda_{\text{C}}. As the de Broglie wavelength is roughly the typical size of the condensate, which is on the order of the scale factor, RR, for a BEC and, from (87), ReqbρeqλCR_{\text{eq}}\sim b{\rho_{\text{eq}}}\lambda_{\text{C}}, it follows that the condition for the non-relativistic approximation to hold is

bρeq1.b{\rho_{\text{eq}}}\gg 1. (102)

To justify not including higher order general relativistic effects one also wants a stable configuration whose equilibrium radius is much larger than the Schwarzschild radius, ρS=2n/b2\rho_{S}=2n/b^{2}, so requiring that ρSρeq\rho_{S}\ll{\rho_{\text{eq}}}, we find

nb23q|a|4B+3d3q+b2sgn(λ)=defnS,n\ll\frac{b}{2}\sqrt{\frac{3q}{|a|}}\sqrt{\frac{4B+3d}{3q}+b^{2}{\text{sgn}}(\lambda)}~~\stackrel{{\scriptstyle\text{def}}}{{=}}~~n_{S}, (103)

which places an upper limit on the particle number for any given value of bb.

It will be seen from (102) and (103) that, for attractive self-interactions, the weak gravity approximation holds only for condensates with small nn because bb is bounded from above according to (101). On the contrary, there is no such restriction on nn for repulsive interactions as bb can be arbitrarily large csw86 . As mentioned, in this case (100) represents an absolute minimum of the energy. Increasing the particle number, nn, also increases the strength of the gravitational attraction, therefore the radius of the system decreases with increasing nn. In the limit of large nn (repulsive self interactions) the system approaches the equilibrium radius,

ρ=3q|a|(dqb2+1).\rho_{\infty}=\sqrt{\frac{3q}{|a|}\left(\frac{d}{qb^{2}}+1\right)}. (104)

III.2.2 C<0C<0

If C<0C<0 the energy is not bounded from below, but there is a local minimum of the energy. This case is only possible when

λ<0andb>dq.\lambda<0~~\text{and}~~b>\sqrt{\frac{d}{q}}. (105)

The condition for the validity of the non-relativistic approximation is (102), the same as in the case C>0C>0 above. As bb can be arbitrarily large, this condition can always be verified. The energy is not bounded from below, but a local minimum exists provided that there is an an upper limit on the number nn

nB3|a|q(1dqb2)1/2=defnc.n\leq\frac{B}{\sqrt{3|a|q}}\left(1-\frac{d}{qb^{2}}\right)^{-1/2}~\stackrel{{\scriptstyle\text{def}}}{{=}}~{n_{\text{c}}}. (106)

This therefore defines a critical number of particles above which there is no metastable configuration. The local equilibrium radius, which can now be written as

ρeq=B|a|n[1+1n2nc2],{\rho_{\text{eq}}}=\frac{B}{|a|n}\left[1+\sqrt{1-\frac{n^{2}}{{n_{\text{c}}}^{2}}}\right], (107)

continues to decrease with increasing nn, so the smallest metastable condensate size occurs for n=ncn={n_{\text{c}}}. The existence of a minimum size (maximum number of particles) for the case of negative self-interactions can be understood as follows: for an equilibrium solution it is necessary for the inward gravitational and self interaction pressures to be balanced by the outward quantum pressure. This condition was used in ds16 to estimate the mass and radius of a non-rotating axion drop. They found an upper bound on the drop mass (as previously determined by Chavanis phc11 ) as well as the virial relation between the radius and mass of an object supported against gravity by pressure.

Finally, to consistently ignore general relativistic corrections, we ask that nc{n_{\text{c}}} is small enough so that the equilibrium radius remains much larger than the Schwarzschild radius. This gives

ncbB2|a|=defnS{n_{\text{c}}}\ll b\sqrt{\frac{B}{2|a|}}~\stackrel{{\scriptstyle\text{def}}}{{=}}~n_{S} (108)

and ρc=B/(|a|nc)\rho_{c}=B/(|a|{n_{\text{c}}}) is the critical radius.

III.3 Single Vortex Ansatz

We can get a rough idea of the size of the rotating condensates by taking a variational approach phc11 ; ps08 ; rds12 ; elsw16 . This approach is known to be in good agreement with more precise (numerical) analyses kaup68 ; rb69 ; bb11 ; esvw14 ; dc11 ; eknw15 ; ps08 and requires some ansatz for the function F(ξ)F(\xi). We ask for a trial wavefunction that behaves as a vortex of width RR and that is continuous everywhere. As a trial wave function, it is not required to be a solution of the equations of motion. Continuity at the origin suggests that, as ξ\xi approaches zero, F(ξ)F(\xi) should behave as ξl\xi^{l}, where l1l\geq 1. We therefore take

F(ξ)=ξeξ2/2,F(\xi)=\xi e^{-\xi^{2}/2}, (109)

so that the wavefunction in cylindrical coordinates has the form

ψ(ζ,ϕ)=ζe(ζ2+z2)/R2eiϕ\psi(\zeta,\phi)=\zeta e^{-(\zeta^{2}+z^{2})/R^{2}}e^{i\phi} (110)

where ζ\zeta is the cylindrical radius. The gravitational potential becomes

ΦG(r,θ)\displaystyle\Phi_{G}(r,\theta) =\displaystyle= GmNr[(1+R24r2(13cos2θ))erf(r/R)\displaystyle-\frac{GmN}{r}\left[\left(1+\frac{R^{2}}{4r^{2}}(1-3\cos^{2}\theta)\right){\text{erf}}(r/R)\right. (113)
+rer2/R2πR{(12+3R24r2)cos2θ12+R24r2}]\displaystyle\left.\hskip 56.9055pt+\frac{re^{-r^{2}/R^{2}}}{\sqrt{\pi}R}\left\{\left(\frac{1}{2}+\frac{3R^{2}}{4r^{2}}\right)\cos 2\theta-\frac{1}{2}+\frac{R^{2}}{4r^{2}}\right\}\right]

and we find

a\displaystyle a =\displaystyle= 23302π,\displaystyle-\frac{23}{30\sqrt{2\pi}}, (114)
B\displaystyle B =\displaystyle= 54,\displaystyle\frac{5}{4}, (115)
q\displaystyle q =\displaystyle= 1162π3/2,\displaystyle\frac{1}{16\sqrt{2}\pi^{3/2}}, (116)
d\displaystyle d =\displaystyle= 532π.\displaystyle\frac{5}{3}\sqrt{\frac{2}{\pi}}. (117)

applying (91) and (99)

Refer to caption
Figure 1: The shaded region represents the possible values of the parameters nn and bb in (120) for which bρeqnS/n>104b{\rho_{\text{eq}}}\sim n_{S}/n>10^{4} for the case C>0C>0 and λ<0\lambda<0. Here bb is required to be <12.9<12.9.
Refer to caption
Figure 2: The shaded region represents the possible values of the parameters nn and bb in (120) for which bρeq>104b{\rho_{\text{eq}}}>10^{4} and nS/n>108n_{S}/n>10^{8} for the case C>0C>0 and λ>0\lambda>0. Here there is no limit on bb.

When C>0C>0, the conditions for the validity of the GEM approximation are (102) and (103),

bρeq=4.09bn[1+1+4.66×103(168b2+sgn(λ))n2]1\displaystyle b{\rho_{\text{eq}}}=\frac{4.09b}{n}\left[1+\sqrt{1+4.66\times 10^{-3}\left(\frac{168}{b^{2}}+{\text{sgn}}(\lambda)\right)n^{2}}\right]\gg 1 (118)
(119)
nSn=0.140bn378+b2sgn(λ)1\displaystyle\frac{n_{S}}{n}=\frac{0.140b}{n}\sqrt{378+b^{2}{\text{sgn}}(\lambda)}\gg 1 (120)

These conditions can be met by small condensates with attractive interactions and a suitably limited value of bb (b<12.9b<12.9). For repulsive interactions there is no upper limit on bb and large condensates are possible. The shaded regions in figures 2 and 2 represent the portion of the parameter space satisfying these conditions for the case of attractive interactions (figure 2) and repulsive interactions (figure 2). In each case, the trustworthy portion of the parameter space is limited by the second inequality in (120).

When C<0C<0 only a metastable state may exist. The critical (maximum possible) number of bosons is

nc=14.6(1168b2)1/2.{n_{\text{c}}}=14.6\left(1-\frac{168}{b^{2}}\right)^{-1/2}. (121)

and the minimum possible equilibrium radius is given by the limit as nncn\rightarrow{n_{\text{c}}},

ρc=ρeq(nnc)=0.2791168b2.\rho_{c}={\rho_{\text{eq}}}(n\rightarrow{n_{\text{c}}})=0.279\sqrt{1-\frac{168}{b^{2}}}. (122)

The two conditions (102) and (108) for the validity of the GEM approximation can therefore be stated as

bρc1\displaystyle b{\rho_{\text{c}}}\gg 1 (123)
(124)
nSnc=1.43bnc1.\displaystyle\frac{n_{S}}{{n_{\text{c}}}}=\frac{1.43b}{{n_{\text{c}}}}\gg 1. (125)

As there is no upper limit on bb, they are readily met so long as bb is sufficiently large. In addition, to ensure a large lifetime, the actual mass of the BEC cannot be too close to its maximum mass, i.e., the fraction f=n/ncf=n/{n_{\text{c}}} should not be too close to unity.

The parameters nc{n_{\text{c}}} and ρc{\rho_{\text{c}}} of the BEC cloud are uniquely determined by the size of the self-interaction, bb, so the length scale, RR, and the total mass, M=mNM=mN depend only on the strength of the self-interaction and the particle mass.

III.4 Asteroid vs. Galaxy Size Halos

As an example, we consider the condensates formed by particles of mass and interaction strength typical of the QCD axion, m105m\sim 10^{-5} ev and b2×107b\sim 2\times 10^{7}, where the axion decay constant is taken to be roughly fa/Mp5×108(c)3/2f_{a}/M_{p}\sim 5\times 10^{-8}\left(\frac{c}{\hbar}\right)^{3/2}. QCD axions have attractive interactions and the size of bb indicates that we are considering the case C<0C<0. From (87) we find that

Nc=ncb(Mpm)21.10×1060,N_{c}=\frac{{n_{\text{c}}}}{b}\left(\frac{M_{p}}{m}\right)^{2}~\approx 1.10\times 10^{60}, (126)

with a total mass of Mc=mNc=1.95×1019M_{c}=mN_{c}=1.95\times 10^{19} kg. We also find the critical length scale associated with the ball

Rc=bρc(mc)5.6×106mcR_{c}=b\rho_{c}\left(\frac{\hbar}{mc}\right)~\approx 5.6\times 10^{6}\frac{\hbar}{mc} (127)

The Compton wavelength of the 10510^{-5} eV boson is about 0.02 m, which gives the radius as about Rc110R_{c}\approx 110 km. The radius inside of which about 99.9% of the matter is confined, denoted by R99R_{99}, is roughly 3.5 times this radius, so we find R99385R_{99}\approx 385 km.

Continuing with attractive self-interactions and assuming that b102b\gg 10^{2}, (106) suggests that we take the maximum (critical) size to be approximately independent of bb. Then ρc1/nc\rho_{c}\sim 1/{n_{\text{c}}} is also approximately independent of bb and the dependence of McM_{c} and RcR_{c} on mm and bb is simple. Using (87) one finds that the particle mass and interaction strength required to produce a desired value of RcR_{c} and McM_{c} are given by

mBMp2|a|cMcRc,bBcMp2Rc3qMc.m\approx\sqrt{\frac{B\hbar M_{p}^{2}}{|a|cM_{c}R_{c}}},~~b\approx\sqrt{\frac{BcM_{p}^{2}R_{c}}{3q\hbar M_{c}}}. (128)

Taking R9950R_{99}\sim 50 kpc, and a mass of roughly three times that of the visible galaxy, Mc1042M_{c}\approx 10^{42} kg, we find mc21024mc^{2}\sim 10^{-24} eV and b104b\sim 10^{4}. The condensate continues to be non-relativistic, satisfying the condition bρc1b\rho_{c}\gg 1, with a total angular momentum of L=N1067L=N\hbar\approx 10^{67} J\cdots, which is comparable to that of the luminous matter cabe15 . For the vortex wavefunction in (109), however, the gravitational force in the equatorial plane, F=ΦG|θ=π/2F=-\nabla\left.\Phi_{G}\right|_{\theta=\pi/2}, is outward directed up to a distance of about 0.609R0.609R (see figure (3)). This can be attributed to the shape of the density profile which vanishes at the center and increases until about 0.707R0.707R as one moves outward in the equatorial plane before falling off, all the while decaying exponentially perpendicular to the equatorial plane. For stable orbits to exist within this distance from the center, the region must be dominated by ordinary (baryonic) matter. This can be used to set the scale for the wavefunction. For example, there is good evidence via near-infrared and optical photometry ipb15a ; pi15 ; ipb15c to suggest that the Milky Way is dominated by ordinary baryonic matter up to about 6-8 kpc from the center, which is roughly the location of our solar system. This implies that Rc1013R_{c}\approx 10-13 kpc, which gives R993550R_{99}\approx 35-50 kpc. On the other hand, for rRr\gg R the gravitational force obeys the usual inverse square law.

Refer to caption
Figure 3: Gravitational acceleration in the equatorial plane due to the Vortex BEC

A straightforward analysis of circular orbits within the BEC on the equatorial plane at r>0.609Rr>0.609R shows that the tangential speed may be given as the sum of two contributions,

vϕ=±rΦG+ΦGmc2r.v^{\phi}=\pm\sqrt{r\Phi_{G}^{\prime}}+\frac{\hbar\Phi_{G}}{mc^{2}r}. (129)

where the prime refers to a derivative with respect to rr. The first is due to the gravitational force, the second represents the effect of frame dragging. The latter is, however, negligible compared with the contribution due to the gravitational force. In the interior, r<0.609Rr<0.609R, the expression for the tangential speeds will be the same, but the first term will be significantly modified by the baryonic matter, which we assume dominates. However, the contribution from the BEC cloud due to frame dragging persists and may get significant near the center as it depends only on the depth of the gravitational potential well and not its gradient.

IV Vortex Oscillations

To describe the approximate dynamics of an imploding BEC, we employ a collective coordinate description in terms of the condensate radius ps08 ; st97 ; ul98 ; frar99 , taking

ψ(t,r)=Nπ3/2R(t)3rR(t)er22R(t)2sinθeimr22Γ(t)+iϕ\psi(t,{\vec{r}})=\sqrt{\frac{N}{\pi^{3/2}R(t)^{3}}}~\frac{r}{R(t)}e^{-\frac{r^{2}}{2R(t)^{2}}}\sin\theta~e^{\frac{imr^{2}}{2\hbar}\Gamma(t)+i\phi} (130)

where R(t)R(t) and Γ(t)\Gamma(t) represent two independent variables characterizing the dynamics of the imploding cloud. Instead of proceeding via the Madelung equations, it is more expedient to obtain the action of the condensate (37) as a functional of these two variables and vary this action to obtain equations of motion for R(t)R(t) and Γ(t)\Gamma(t).

Applying (56) and integrating by parts, the action (37) can be expressed as

S\displaystyle S =\displaystyle= 𝑑td3r[i2ψtψ22m|ψ|2V~(|ψ|)12mΦG|ψ|212JA]\displaystyle\int dt\int d^{3}{\vec{r}}\left[\frac{i\hbar}{2}\psi^{*}\overleftrightarrow{\nabla_{t}}\psi-\frac{\hbar^{2}}{2m}|\nabla\psi|^{2}-{\widetilde{V}}(|\psi|)-\frac{1}{2}m\Phi_{G}|\psi|^{2}-\frac{1}{2}J\cdot A\right] (131)
=\displaystyle= dt[N(54m(R2Γ˙+Γ2R2)+524mR2)\displaystyle-\int dt\left[N\left(\frac{5}{4}m(R^{2}\dot{\Gamma}+\Gamma^{2}R^{2})+\frac{5\hbar^{2}}{4mR^{2}}\right)\right. (134)
+N2(1R3{52G23c2+λ162π3/2}23Gm2302πR+288Gm2Γ2R25c2π499Gm2Γ2R50c22π)]\displaystyle\hskip 28.45274pt\left.+N^{2}\left(\frac{1}{R^{3}}\left\{\frac{5\sqrt{2}G\hbar^{2}}{3c^{2}}+\frac{\lambda}{16\sqrt{2}\pi^{3/2}}\right\}-\frac{23Gm^{2}}{30\sqrt{2\pi}R}+\frac{288Gm^{2}\Gamma^{2}R}{25c^{2}\sqrt{\pi}}-\frac{499Gm^{2}\Gamma^{2}R}{50c^{2}\sqrt{2\pi}}\right)\right]

The time dependence in (130) implies that the radial component of the shift, ArA_{r}, is no longer vanishing, as it was in the stationary case, and contributes to the equations of motion. Varying with respect to Γ(t)\Gamma(t) we find

Γ(t)=125c2πR˙(t)(11524992)GmN+125πc2R(t).\Gamma(t)=\frac{125c^{2}\sqrt{\pi}\dot{R}(t)}{(1152-499\sqrt{2})GmN+125\sqrt{\pi}c^{2}R(t)}. (137)

It is better to work with the dimensionless variables defined in (87), in terms of which Γ(t)\Gamma(t) may be expressed as

Γ(t)=ρ˙(t)ρ(t)+11524992125πnb2.\Gamma(t)=\frac{\dot{\rho}(t)}{\rho(t)+\frac{1152-499\sqrt{2}}{125\sqrt{\pi}}\frac{n}{b^{2}}}. (138)

Inserting this into the equation of motion for the condensate, L/R(t)=0\partial L/\partial R(t)=0, yields,

ρ¨+ρ˙22ρ(1+μρ)=F(ρ)\ddot{\rho}+\frac{\dot{\rho}^{2}}{2\rho\left(1+\mu\rho\right)}=F(\rho) (139)

where

F(ρ)=m2c4h2[P1ρ2+P2ρ3+P3ρ4+P4ρ5]F(\rho)=-\frac{m^{2}c^{4}}{h^{2}}\left[\frac{P_{1}}{\rho^{2}}+\frac{P_{2}}{\rho^{3}}+\frac{P_{3}}{\rho^{4}}+\frac{P_{4}}{\rho^{5}}\right] (140)

and μ,P1,P2,P3\mu~,P_{1},~P_{2},~P_{3} and P4P_{4} are the dimensionless coefficients

μ=125π11524992b2n\displaystyle\mu=\frac{125\sqrt{\pi}}{1152-499\sqrt{2}}\frac{b^{2}}{n} (141)
(142)
P1=23n752πb4\displaystyle P_{1}=\frac{23n}{75\sqrt{2\pi}~b^{4}} (143)
(144)
P2=23(5762499)n29375πb29375πb6\displaystyle P_{2}=\frac{23(576\sqrt{2}-499)n^{2}-9375\pi b^{2}}{9375\pi b^{6}} (145)
(146)
P3=3n(sgn(λ)252b2+16(384+832)π)2000π3/2b6\displaystyle P_{3}=\frac{3n(-{\text{sgn}}(\lambda)25\sqrt{2}b^{2}+16(-384+83\sqrt{2})\pi)}{2000\pi^{3/2}b^{6}} (147)
(148)
P4=(sgn(λ)3b2+160π)(5762499)n25000π2b8.\displaystyle P_{4}=-\frac{({\text{sgn}}(\lambda)3b^{2}+160\pi)(576\sqrt{2}-499)n^{2}}{5000\pi^{2}b^{8}}. (149)

The first integral of the motion is easily given as

12(μρ1+μρ)ρ˙2μρ𝑑ρρF(ρ)1+μρ=E,\frac{1}{2}\left(\frac{\mu\rho}{1+\mu\rho}\right)\dot{\rho}^{2}-\mu\int^{\rho}d\rho^{\prime}~\frac{\rho^{\prime}F(\rho^{\prime})}{1+\mu\rho^{\prime}}=E, (150)

so we may identify EE with the total energy of the system,

meff(ρ)=(μρ1+μρ)m_{\text{eff}}(\rho)=\left(\frac{\mu\rho}{1+\mu\rho}\right) (151)

with its effective mass, and

Veff(ρ)=μρ𝑑ρρF(ρ)1+μρV_{\text{eff}}(\rho)=-\mu\int^{\rho}d\rho^{\prime}~\frac{\rho^{\prime}F(\rho^{\prime})}{1+\mu\rho^{\prime}} (152)

with the effective potential energy. Direct integration reveals that

Veff=2m2c452b4[Aρ+Bρ2+Cρ3]V_{\text{eff}}=\frac{2m^{2}c^{4}}{5\hbar^{2}b^{4}}\left[\frac{A}{\rho}+\frac{B}{\rho^{2}}+\frac{C}{\rho^{3}}\right] (153)

where A,BA,~B and CC are given (91), (94) and (117), which confirms that equilibrium (ρ˙=0\dot{\rho}=0) is achieved according to the conditions laid out in section III C. We will now consider the dynamical collapse of a rotating BEC that begins at a radius larger than the equilibrium radius.

The equilibrium energy, EeqE_{\text{eq}}, can be determined from the equilibrium radius, Eeq=V(ρeq)E_{\text{eq}}=V({\rho_{\text{eq}}}). In terms of the rescaled time and energy,

τ=(2m2c452b4)1/2t,=(52b42m2c4)E,\tau=\left(\frac{2m^{2}c^{4}}{5\hbar^{2}b^{4}}\right)^{1/2}t,~~{\mathcal{E}}=\left(\frac{5\hbar^{2}b^{4}}{2m^{2}c^{4}}\right)E, (154)

the rescaled form of (150),

12meff(ρ)(dρdτ)2+V¯eff(ρ)=,\frac{1}{2}m_{\text{eff}}(\rho)\left(\frac{d\rho}{d\tau}\right)^{2}+{\overline{V}}_{\text{eff}}(\rho)={\mathcal{E}}, (155)

has the general solution

ττ0=ρ𝑑ρmeff(ρ)2[V¯eff(ρ)],\tau-\tau_{0}=-\int^{\rho}d\rho^{\prime}\sqrt{\frac{m_{\text{eff}}(\rho^{\prime})}{2[{\mathcal{E}}-{\overline{V}}_{\text{eff}}(\rho^{\prime})]}}, (156)

where

V¯eff(ρ)=Aρ+Bρ2+Cρ3{\overline{V}}_{\text{eff}}(\rho)=\frac{A}{\rho}+\frac{B}{\rho^{2}}+\frac{C}{\rho^{3}}

A solution beginning with a total energy >V¯eff(ρeq){\mathcal{E}}>{\overline{V}}_{\text{eff}}({\rho_{\text{eq}}}) will collapse and will oscillate about the local minimum of V¯eff(ρ){\overline{V}}_{\text{eff}}(\rho), provided that <V¯max{\mathcal{E}}<{\overline{V}}_{\text{max}} (in the case of attractive self-interactions).

Refer to caption
Figure 4: The effective potential for a rotating BEC with repulsive interactions as a function of radius, ρ\rho, for various values of nn. We have taken b=104b=10^{4}. The bottom most curve represents n=140n=140, the uppermost n=20n=20. All curves admit global minima.
Refer to caption
Figure 5: Collapse and rebounce for a rotating BEC with repulsive interactions begining at ρ(0)=3ρeq\rho(0)=3{\rho_{\text{eq}}} with zero initial velocity. We have taken n=37.5n=37.5 and b=104b=10^{4}. The dashed line is the equilibrium value of ρ\rho.

BEC clouds with repulsive self-interactions always admit a global minimum of the energy functional. This is because the repulsive interactions in combination with the quantum pressure ensures that the potential energy grows without bound as ρ0\rho\rightarrow 0 (see figure (5)). There is therefore no limit to the size of the condensate apart from the requirement that the equilibrium radius is larger than the Schwarzschild radius. However, if we consider a halo of mass M1042M\approx 10^{42} kg made of condensed bosons of mass energy mc21024mc^{2}\approx 10^{-24} ev and b104b\approx 10^{4}, we find n37.5n\approx 37.5 and ρeq0.409{\rho_{\text{eq}}}\approx 0.409 (bρeq4×1031b{\rho_{\text{eq}}}\sim 4\times 10^{3}\gg 1). Figure (5) represents a numerical integration of (139) with these conditions if the halo is assumed to begin with zero initial velocity at ρ(0)=3ρeq\rho(0)=3{\rho_{\text{eq}}}, and shows the collapse rebounce and subsequent oscillation of the cloud about equilibrium. The cloud collapses in τ0.76\tau\approx 0.76 or approximately 2.5 by.

We have seen that there is no local minimum with a positive ρ\rho for clouds with attractive self interactions unless the number of bosons is below some critical value, nc{n_{\text{c}}}, which is determined by the strength of the interactions. One can understand this as saying that beyond nc{n_{\text{c}}} the attractive inter-particle energy is sufficient to overcome the quantum pressure and the condensate implodes. When a local minimum exists, the equilibrium radius, ρeq{\rho_{\text{eq}}} depends on the actual number of bosons, nn, present (see figure 7). The equilibrium energy, Eeq=V(ρeq)E_{\text{eq}}=V({\rho_{\text{eq}}}) and also depends on the number of bosons. For an example, we have taken b104b\approx 10^{4} and n/nc=0.8n/{n_{\text{c}}}=0.8 (ρeq=0.583{\rho_{\text{eq}}}=0.583, bρeq6×1031b{\rho_{\text{eq}}}\sim 6\times 10^{3}\gg 1) and integrated (139) to obtain a snapshot of the collapse process beginning at ρ(0)=3ρeq\rho(0)=3{\rho_{\text{eq}}} with ρ˙(0)=0\dot{\rho}(0)=0 (see figure 7). As is to be expected because of the negative pressure and weakend gravitational field, the collapse of the halo is extremely slow, taking on the order of 10 by to cross equilibrium.

The first integral of the motion (150) allows us to determine the frequency of small oscillations about equilibrium. They occur with characteristic period

T=2π52b2mc2meff(ρeq)V¯eff′′(ρeq).T=2\pi\sqrt{\frac{5}{2}}\frac{\hbar b^{2}}{mc^{2}}\sqrt{\frac{m_{\text{eff}}({\rho_{\text{eq}}})}{{\overline{V}}_{\text{eff}}^{\prime\prime}({\rho_{\text{eq}}})}}. (157)

This gives approximately 1.3 by for repulsive self interactions with the above parameters and roughly four times longer for attractive self interactions. This discrepancy is to be expected as the contribution to the BEC pressure from repulsive interactions strengthens the gravitational attraction and weakens it when the interactions are negative.

Refer to caption
Figure 6: The effective potential for a rotating BEC with attractive interactions as a function of radius, ρ\rho, for various values of f=n/ncf=n/{n_{\text{c}}}. We have taken b=104b=10^{4}. The bottom most curve represents f=1f=1, the uppermost f=0.5f=0.5. The local minimum is shallow as f1f\rightarrow 1 and becomes deeper as ff decreases.
Refer to caption
Figure 7: Collapse and rebounce of a rotating BEC with attractive self-interactions beginning at ρ=3ρeq\rho=3{\rho_{\text{eq}}} with ρ˙(0)=0\dot{\rho}(0)=0. We have taken f=n/nc=0.8f=n/{n_{\text{c}}}=0.8 and b=104b=10^{4}. The dashed line indicates the equlibrium radius.

V Summary

While the standard CDM paradigm for DM does well on very large scales, few of its predictions on scales less that \sim 50 kpc have been successful. Chief among these are the absence of DM cusps at the centers of galaxies and the absence of an abundance of low mass and massive sub-halos predicted by the model. It is therefore worthwhile to analyze alternative models that behave like CDM on large scales but are more in keeping with observations on smaller scales. One such model proposes that at least a component of DM may consist of ultralight condensed bosons.

We have analyzed a model for gravitationally bound BEC dark matter vortices based on the Gross-Pitaevskii equation with quartic interactions, taking into account the effects of rotation. To include rotation, we introduced an axisymmetric background differing only weakly from flat space. By analyzing the weak field Einstein equations in the harmonic gauge, we determined the form of the metric and set up the non-relativistic action for the combined matter and gravitational fields. From this action we determined the equations governing the system and analyzed the criteria for stability.

In order to get a better feeling for stable configurations of the BEC, we used the variational approach. With a standard Gaussian Vortex ansatz for the trial wave function, in which the BEC halo is assumed to have a radial dependence of r/Rr/R, we obtained estimates for small and large condensates. The number of bosons in the condensate and its size depend only on the mass of the bosons and the strength of the self-interactions. As in the case of non-rotating BECs, two distinct cases arise with the votex ansatz as well. When the self interactions are attractive, a local minimum of the effective potential energy is present only when the number of bosons in the cloud is below a certain critical value. There is also a local maximum of the effective potential energy. If the number of particles exceeds the upper limit or when the total energy is greater than the maximum of the potential energy, it appears that the cloud would collapse into a black hole. However, one cannot be sure of this outcome due to the non-relativistic, linear approximation used in this paper. Harko h14 , Levkov et. al. lpt17 and Eby et. al. emw17 have proposed, in an alternative scenario, that as the central density grows and exceeds a certain critical value a fraction of the bosons will get expelled from the condensate, which will then stabilize. When the interaction strength is large enough, we obtained a simple relation between the critical (maximum) mass and the critical (minimum) radius of the cloud on the one hand and the mass and the coupling strength of the bosons on the other. Even in the non relativistic limit examined here, no such upper limit on the number of bosons (except the Schwarzschild limit) is apparent when the self interactions are repulsive. In this case, there is always a global minimum of the effective potential energy.

For example we considered attractive interactions, inputting the values of the interaction strength, b107b\sim 10^{7} and mass, m105m\sim 10^{-5} ev, for the QCD axion. We obtained stable condensates approximately 400 km in radius having a mass of approximately 101910^{19} kg. On the other hand, for sufficiently light bosons it is possible to achieve BECs of galactic size. We found that taking the boson mass m1024m\sim 10^{-24} ev along with an interaction strength of b104b\sim 10^{4} yielded a cloud with an outer radius (the radius within which 99% of the matter is contained) of roughly 50 kpc. Because of the density profile of a vortex, the gravitational field due to the BEC inside the core is outward directed up to a distance of about 17% of the outer radius. In this example, the central region is roughly 6-8 kpc in radius and dominated by ordinary (baryonic) matter, with the BEC taking over the gross gravitational dynamics beyond this distance.

We also analyzed the dynamics of rotating BECs by considering time dependent wave functions. The time dependence was introduced by employing a collective coordinate description in terms of the condensate radius, R=R(t)R=R(t). Equations for the evolution of R(t)R(t) were obtained from an effective action, achieved by integrating the action for the combined BEC and gravitational field. The choice of the trial wave function is not unique of course and the extent to which the results obtained with different trial wave functions differ qualitatively from one another is a topic for future investigation. In our ansatz there is just one free parameter and the system is one dimensional. The Poisson equations can be solved exactly and the gravitational potentials of the halo can be evaluated in analytical form. The motion of the condensate then becomes analogous to the motion of a single particle of variable mass in an effective potential. In an ansatz with multiple parameters one may expect multiple coupled equations, which could be considerably more difficult to solve. We showed from the dynamics that the equilibrium conditions are identical to the ones obtained earlier in the static case. Moreover, in both the attractive and repulsive cases, collapse from a diffuse state into the equilibrium state is a process that takes billions of years. We have also examined the time scale for small oscillations about equilibrium and found it to be, not surprisingly, on the same order of magnitude.

There are several aspects of this description that have not been addressed in this work. For one, our model does not include a microscopic mechanism for varying the number of particles in the condensate, so we cannot say what happens, for example, if a BEC near its critical mass is immersed in a cloud of free bosons. Again, our model does not include damping, so a BEC will oscillate about its equilibrium radius essentially forever. We will consider damped BEC models in a future work. It would also be interesting to examine what happens when several types of BECs or even a single boson with multiple accessible states share a single gravitational well.


Acknowledgments

L. C. R. W. thanks J. Eby, M. Leembruggen, M. Ma and P. Suranyi for discussions.

References

  • (1) A. G. Riess et al., Astron. J. 116 (1998) 1009.
  • (2) S. Perlmutter et al., Astrophys. J. 517 (2) (1999) 565.
  • (3) D. J. Eisenstein et al, Astrophys. J. 633 (2005) 560.
  • (4) E. Komatsu et. al., Astrophys. J. Suppl., 192 (2011) 18.
  • (5) G. Hinshaw et. al., Astrophys. J. Suppl., 208 (2013) 19.
  • (6) P.A.R. Ade et. al. (Planck), “Planck 2015 results. XIII. Cosmological parameters,” (2015), [arXiv:1502.01589].
  • (7) A. G. Sanchez et. al., MNRAS 425 (2012) 415.
  • (8) L. Anderson et. al., MNRAS 427 (2012) 3435.
  • (9) M. G. Walker et. al., Astrophys. J., 704 (2009) 1274.
  • (10) A. Vikhlinin et. al., Astrophys. J., 692 (2009) 1033.
  • (11) A. B. Newman et. al., Astrophys. J., 765 (2013) 24.
  • (12) J. Dubinski and R. G. Carlberg, Astrophys. J., 378 (1991) 496.
  • (13) R. A. Flores and J. R. Primack, Astropys. J., 427 (1994) L1.
  • (14) B. Moore, Nature 370 (1994) 629.
  • (15) J. F. Navarro, C. S. Frenk, and S.D.M. White, Astrophysical J., 490 (1997) 493.
  • (16) G. Gentile, C. Tonini and P. Salucci, Astron. Astrophys. 467 (2007) 925.
  • (17) S.-H. Oh, W. J. G. de Blok, F. Walter, E. Brinks and R. C. J. Kennicutt, Astron. J. 136 (2008) 2761.
  • (18) F. Donato, G. Gentile, P. Salucci, C. Frigerio Martins, M. I. Wilkinson, G. Gilmore, E. K. Grebel, A. Koch, R. Wyse, MNRAS 397 (2009) 1169.
  • (19) F. Nesti and P. Salucci, JCAP 7 (2013) 16.
  • (20) A. Klypin, A. V. Kravtsov, O Valenzuela and F. Prada, Astrophysical J., 522 (1999) 82.
  • (21) B. Moore et. al. Astrophys. J. 524 (1999) L19.
  • (22) V. Springel et. al., MNRAS 391 (2008) 1685.
  • (23) M. Boylan-Kolchin et. al. MNRAS 398 (2009) 1150.
  • (24) M. Boylan-Kolchin, J. S. Bullock, M. Kaplinghat, MNRAS 415 (2011) L40.
  • (25) C. S. Frenk, S. D. M. White, Annalen der Physik 524 (2012) 507.
  • (26) D. H. Weinberg, J. S. Bullock, F. Governato, R. Kuzio de Naray, and A.H.G. Peter, Proceedings of the National Academy of Science, 112 (2015) 12249.
  • (27) J. Kormendy, N. Drory, R. Bender and M. E. Cornell, Astrophys. J. 723 (2010) 54.
  • (28) F. Governato et. al., Nature 463 (2010) 203.
  • (29) J. S. Bullock and M. Boylan-Kolchin, Ann. Rev. Astron. Astrophys. 55 (2017) 343.
  • (30) D.J. Kaup, Phys. Rev. 172 (1968) 1331.
  • (31) R. Ruffini, S. Bonazzola, Phys. Rev. 187 (1969) 1767.
  • (32) W. Thirring, Phys. Lett. B 127 (1983) 27.
  • (33) G. Ingrosso, M. Merafina, R. Ruffini, Nuovo Cimento 105 (1990) 977.
  • (34) C. G. Boehmer and T. Harko, JCAP 0706 (2007) 025.
  • (35) J. D. Breit, S. Gupta, A. Zaks, Phys. Lett. B 140 (1984) 329.
  • (36) M. S. Turner, Phys. Rev. D 28 (1983) 1243.
  • (37) W. H. Press, B. S. Ryden, and D. N. Spergel, Phys. Rev. Lett., 64 (1990) 1084.
  • (38) S.-J. Sin, Phys. Rev. D 50 (1994) 3650.
  • (39) W. Hu, R. Barkana, and A. Gruzinov, Phys. Rev. Lett., 85 (2000) 1158.
  • (40) J. Goodman, New Astron. 5 (2000) 103.
  • (41) P.J.E. Peebles, Astrophys. J. 534 (2000) L127.
  • (42) L. Amendola and R. Barbieri, Phys. Lett., B 642 (2006) 192.
  • (43) P-H Chavanis, Phys. Rev. D 84 (2011) 043531.
  • (44) H.-Y. Schive, T. Chiueh, and T. Broadhurst, Nature Phys. 10 (2014) 496.
  • (45) T. Rindler-Daller, P. R. Shapiro, Mod. Phys. Lett. A 29 (2014) 1430002.
  • (46) B. Li, T. Rindler-Daller, P. R. Shapiro, Phys. Rev. D 89 (2014) 083536.
  • (47) L. Hui, J. P. Ostriker, S. Tremaine, E. Witten, Phys.Rev. D 95 (2017) 043541.
  • (48) P. Horava, E. Witten, Nucl. Phys. B 460 (1996) 506.
  • (49) U Günther, A. Zhuk, Phys. Rev. D 56 (1997) 6391.
  • (50) N. Arkani-Hamed, S. Dimopoulos, G. Dvali, Phys. Rev. D 59 (1999) 086004.
  • (51) A. Arvanitaki, S. Dimopoulos, S. Dubovsky, N. Kaloper, J. March-Russell, Phys. Rev. D 81 (2010) 123530.
  • (52) M. Colpi, S. L. Shapiro, I. Wasserman, Phys. Rev. Lett. 57 (1986) 2485.
  • (53) M. Yu. Khlopov, B. A. Malomed and Ya. B. Zeldovich, Mon. Not. Roy. Astr. Soc., 215 (1985) 575.
  • (54) Z. G. Berezhiani, A. S. Sakharov, and M. Yu. Khlopov, Sov. J. Nucl. Phys. 55 (1992) 1063.
  • (55) A. S. Sakharov and M. Yu. Khlopov, Phys. Atom. Nucl. 57 (1994) 485.
  • (56) A. S. Sakharov, D. D. Sokoloff, and M. Yu. Khlopov, Phys. Atom. Nucl. 59 (1996) 1005.
  • (57) M. Yu. Khlopov, A. S. Sakharov, and D. D. Sokoloff, Nucl.Phys. B (Proc. Suppl.) 72 (1999) 105.
  • (58) S. G. Rubin, A. S. Sakharov, M. Yu. Khlopov, J. Exp. Theor. Phys. 92 (2001) 921.
  • (59) M. Yu. Khlopov, S. G. Rubin, A. S. Sakharov, Astropart. Phys. 23 N-2 (2005) 265.
  • (60) M. Yu. Khlopov, Res. Astron. Astrophys. 10 (2010) 495.
  • (61) J. Barranco and A. Bernal, Phys. Rev. D 83 (2011) 043525.
  • (62) A. H. Guth, M. P. Hertzberg, C. Prescod-Weinstein, Phys.Rev. D 92 (2015) 103513.
  • (63) J. Eby, P. Suranyi, C. Vaz and L.C.R. Wijewardhana, JHEP (2015) 2015: 80.
  • (64) J. Eby, M. Leembruggen, P. Suranyi and L.C.R. Wijewardhana, JHEP (2016) 2016: 66.
  • (65) D. G. Levkov, A. G. Panin and I. I. Tkachev, Phys. Rev. Lett. 118 (2017) 011301.
  • (66) P-H Chavanis, “Phase Transitions between Dilute and Dense Axions”, [arXiv:1710.06268].
  • (67) T. Helfer, D. J. E. Marsh, K. Clough, M. Fairbairn, E. A. Lim, R, Becerril, JCAP 1703(03) (2017) 055.
  • (68) E. D. Schiappacasse, M. P. Hertzberg, [arXiv:1710.04729].
  • (69) V. Silveira, C. M. G. de Sousa, Phys. Rev. D 52 (1995) 5724.
  • (70) M. R. Matthews et. al., Phys. Rev. Lett. 83 (1999) 2498.
  • (71) T. Rindler-Daller and P. R. Shapiro, MNRAS, 422 (1)(2012) 135.
  • (72) S. Davidson, T. Schwetz, Phys. Rev. D 93 (2016) 123509.
  • (73) For example, C. J. Pethick and H. Smith, “Bose-Einstein Condensation in Dilute Gases”, Cambridge University Press, 2008.
  • (74) M. Bijlsma and H.T.C. Stoof, Phys.Rev. A55 (1997) 498.
  • (75) For example, T. Padmanabhan, “Gravitation: Foundations and Frontiers”, Cambridge University Press, 2014.
  • (76) A. Suárez and Pierre-Henri Chavanis, J. Phys: Conf. Series 654 (2015) 012008.
  • (77) R. Arnowitt, S. Deser and C.W. Misner in “Gravitation: An Introduction to Current Research”, ed. Louis Witten, Wiley, New York (1962).
  • (78) E. Madelung, Z. Phys. 40 (1927) 322.
  • (79) P-H Chavanis, “Dissipative self-gravitating Bose-Einstein condensates with arbitrary nonlinearity as a model of dark matter halos”, [arXiv:1611.09610].
  • (80) H. T. C. Stoof, J. Stat. Phys. 87 (1997) 1353.
  • (81) J. A. Freire and D. P. Arovas, Phys. Rev. A 59 (1999) 1461.
  • (82) P-H Chavanis and L. Delfini, Phys. Rev. D 84 (2011) 043532.
  • (83) J. Eby, C. Kouvaris, N. Grønlund Nielsen, L.C.R. Wijewardhana, JHEP (2016) 2016: 28.
  • (84) E. Casuso and J. E. Beckman, Mon. Not. R. Astron. Soc. 000 (2015) 1.
  • (85) F. Iocco, M. Pato and G. Bertone, Phys. Rev. D 92 (2015) 084046.
  • (86) M. Pato and F. Iocco, Astrophys. J. 803 (2015) L3.
  • (87) F. Iocco, M. Pato and G. Bertone, Nature Phys. 11 (2015) 245.
  • (88) M. Ueda and A. J. Leggett, Phys. Rev. Lett. 80 (1998) 1576.
  • (89) T. Harko, Phys. Rev. D 89 (2014) 084040.
  • (90) J. Eby, M. Ma, P. Suranyi, L.C.R. Wijewardhana, JHEP 1801 (2018) 066.