spin zero particles play an important role in particle physics and cosmological models .
studies of the early universe have suggested that these types of bosons may have played significant roles in determining its history .
these roles range from the inflaton , a scalar field that could be responsible for the inflation of the universe at very early stages @xcite , up to the quintessence , which is a scalar field used to model the dark energy component of the current universe @xcite .
bosonic particles could come together through some kind of a jeans instability mechanism to form gravitationally bounded objects such as boson stars ( complex scalar field ) or oscillatons ( real scalar field ) @xcite .
these objects would be held together by the balance between the attractive force of gravity and the dispersive effects of the uncertainty principle ( the wave character of the scalar field ) .
boson stars in the newtonian regime have been considered as candidates for dark matter in the context of galactic halos @xcite . in the strong field regime
these stars have been shown to be reliable models for the supermassive objects in the center of some galaxies @xcite and it has been shown that they may play the role of black hole candidates @xcite .
if these objects exist , the process of formation could include multipolar components of the gravitational field that should transform into gravitational waves .
due to post - formation perturbations , boson stars could generate gravitational radiation .
the head - on collision of two boson stars has been investigated previously as a source of gravitational waves @xcite .
when two boson stars collide to form a black hole very little scalar radiation is emitted and most of the energy is lost in gravitational radiation @xcite .
ryan @xcite has studied the scenario of a boson star of mass greater than several @xmath1 coalescing with a particle such as a small black hole .
he finds that this system can generate a signal detectable by a gravitational wave interferometer such as ligo and future generation gravitational wave detectors .
recently , kesden _ et al .
_ @xcite have studied the infall of a stellar mass compact object onto a supermassive boson star and studied an approximate gravitational wave signal , which could point to differences between supermassive horizonless objects ( like those in ref .
@xcite ) and supermassive black holes in the center of galaxies .
the detection of boson stars , either as compact objects or as bricks of the dark matter component , necessitates studying their behavior under general nonspherical perturbations . extracting their particular gravitational wave signatures , under general perturbations ,
requires a fully general relativistic 3d code .
boson stars also have an important role in the field of numerical relativity aside from their relevance to astrophysics .
the performance of long - term stable 3d simulations of systems with general symmetry and construction of a full gravitational wave signal is a timely and challenging problem in general relativity .
boson stars are amenable to stable 3d simulation due to their smooth surface and the absence of singularities , offering a suitable testbed for the field .    the properties of spherically symmetric boson stars are well studied in the literature @xcite .
critical solutions and spherically symmetric boson stars brought to the threshold of black hole formation were studied by hawley and choptuik in ref .
they performed a comparison between radial quasinormal mode frequencies of boson stars calculated via perturbation theory and those of the numerically constructed critical solutions .
an investigation of the properties of boson stars beyond the spherically symmetric case was performed by yoshida _
the authors calculate the quasinormal mode frequencies corresponding to nonradial pulsations of a boson star .
they perform a linear expansion about the spacetime of a spherically symmetric static boson star configuration according to the decomposition into tensor spherical harmonics developed by regge and wheeler .
their results consist of a series of complex quasinormal mode frequencies for even parity perturbations for three models of stable , critical , and unstable boson star configurations .
these modes are damped in a short time because of large imaginary parts of the frequencies .
the focus of this paper is the nonspherical perturbation problem of spherical boson stars and the gravitational wave signals generated by such systems .
the simulations shown here are performed using the fully general 3d simulation code presented in @xcite , which is based on the cactus computational toolkit @xcite . the existence of the rapidly damping quasinormal modes predicted by yoshida _
is confirmed numerically .
both the zerilli and the newman - penrose @xmath0 gravitational waveforms are fully extracted for the first time for boson stars .
the generated waveforms are compared to modefits constructed with the @xmath2 quasinormal mode frequencies calculated by ref .
@xcite . after the waveforms
are extracted numerically , the energy loss to gravitational radiation is estimated .
in addition to subjecting stars to perturbations proportional to @xmath2 spherical harmonics that allowed the comparison between our waveforms and the frequency spectrum predicted by ref .
@xcite , we subjected stars to more physical perturbations and studied ( 1 ) the collapse of an unstable boson star to a black hole and ( 2 ) the migration of a star from the unstable to the stable branch .
the collapse of an unstable branch boson star was accelerated by applying a mixture of nonradial and radial perturbations .
the apparent horizon was observed to be measurably nonspherical when the horizon formed before the complete relaxation of the nonradial modes .
the migration is initiated by applying a radial perturbation that significantly reduces the mass of the star .
a nonspherical perturbation is superimposed on the spherical one and the system is evolved . at early times ( before a single radial oscillation is complete ) the full gravitational wave signal is extracted . the migration process was further followed to track the continuing low frequency radial oscillations of the metric function @xmath3 ( lasting hundreds of oscillations of the underlying complex scalar field  a very long time scale simulation ) .
the paper proceeds by providing a brief overview of the mathematical background that describes the evolution system and the formulation of the initial value problem . sec .
[ methods ] discusses the different types of perturbation methods and the different boson star models considered .
the results of simulations are then presented in sec .
[ pert ] for stable , critical and unstable boson star configurations under small nonradial perturbations .
the collapse of an unstable star to a black hole and the formation of the apparent horizon are subsequently presented in sec .
[ blackhole ] . finally , the migration of an unstable branch boson star to the stable branch under explicit radial and nonradial perturbations is detailed in sec .
[ migration ] .
the results are summarized in the conclusion .
the action describing a self - gravitating complex scalar field in a curved spacetime is given by    @xmath4   \right )   \label{action}\end{aligned}\ ] ]    where @xmath5 is the ricci scalar , @xmath6 is the metric of the spacetime , @xmath7 is the determinant of the metric , @xmath8 is the scalar field , @xmath9 its potential of self - interaction , and the geometric units @xmath10 have been used .
the variation of this action with respect to the scalar field leads to the klein - gordon equation for the complex scalar field , which can be written as    @xmath11    when the variation of eq .
( 1 ) is made with respect to the metric @xmath12 , the einstein s equations @xmath13 arise , and the resulting stress energy tensor reads
@xmath14 -\frac{1}{2}g_{\mu \nu } [ \phi^{*,\eta } \phi_{,\eta } + v(|\phi|^2 ) ) ] . \label{setensor}\ ] ]    in the present manuscript we focus on the free - field case , for which the potential is @xmath15 , where @xmath16 is interpreted as the mass of the field .    in order to find solutions to the einstein - klein - gordon system of equations we use the 3 + 1 decomposition of einstein s equations , for which the line element can be written as    @xmath17    where @xmath18 is the 3-dimensional metric
; from now on latin indices label the three spatial coordinates . the functions @xmath19 and @xmath20 in eq .
( [ lineelem ] ) are freely specifiable gauge parameters , known as the lapse function and the shift vector respectively . the determinant of the 3-metric @xmath21 is defined as @xmath22 . throughout this paper
the standard general relativity notation is used .
the greek indices run from 0 to 3 and the latin indices run from 1 to 3 .
the klein - gordon equation can be written as a first - order evolution system by first splitting the scalar field into its real and imaginary parts : @xmath23 , and then defining eight new variables in terms of combinations of their derivatives : @xmath24 and @xmath25 with @xmath26 and @xmath27 and similarly @xmath28 . with this notation
the evolution equations become    @xmath29    and @xmath28 . on the other hand ,
the geometry of the spacetime is evolved using the bssn formulation of the 3 + 1 decomposition . according to this formulation , the variables to be evolved are @xmath30 , @xmath31 , @xmath32 , @xmath33 and the contracted christoffel symbols @xmath34 , instead of the usual adm variables @xmath18 and @xmath35 .
the evolution equations of these new variables are described in refs .
@xcite :    @xmath36 \label{bssn - mol / eq :
evolk}\\ \partial_t \tilde{a}_{ij } & = & e^{-4 \psi } \left [   - d_i d_j \alpha + \alpha \left ( r_{ij } - t_{ij } \right ) \right]^{tf } \noindent\\          & & + \alpha \left ( k \tilde{a}_{ij } - 2 \tilde{a}_{il } \tilde{a}_j^l          \right ) \label{bssn - mol / eq : evola}\\ \frac{\partial}{\partial t } \tilde \gamma^i & = & - 2 \tilde a^{ij } \alpha_{,j } + 2 \alpha \big ( \tilde \gamma^i_{jk } \tilde a^{kj }                               \nonumber \\ & & - \frac{2}{3 } \tilde \gamma^{ij } k_{,j } - \tilde \gamma^{ij } t_{j t } + 6 \tilde a^{ij } \phi_{,j } \big )                                                                  \nonumber \\ & & - \frac{\partial}{\partial x^j } \big ( \beta^l \tilde \gamma^{ij}_{~~,l } - 2 \tilde \gamma^{m(j } \beta^{i)}_{~,m } + \frac{2}{3 } \tilde \gamma^{ij } \beta^l_{~,l } \big ) .
\label{bssn - mol / eq : evolgamma2}\end{aligned}\ ] ]    where @xmath37 is the covariant derivative in the spatial hypersurface , @xmath38 is the trace of the stress - energy tensor  ( [ setensor ] ) and the label @xmath39 indicates the trace - free part of the quantity in brackets .
the coupling between the evolution of the bssn variables and the variables describing the evolution of the scalar field is first order .
that is , eqs .
( 5 ) are solved using the method of lines with a modified version of the second order iterative crank - nicholson ( icn ) integrator ( see ref .
@xcite ) . after a full time step the stress - energy tensor in eq .
( 3 ) is calculated and used to solve the bssn evolution equations with an independent evolution loop based on the standard second order icn @xcite .
in addition to the formulation of einstein s equations and the first order form of the klein - gordon equation we use certain gauge choices to determine the lapse function of eq .
( 4 ) ( the shift vector is zero in all of our simulations ) .
the evolutions presented in sec .
[ pert ] were carried out using the @xmath40 slicing condition with the lapse given by @xmath41 , where @xmath42 is the trace of the extrinsic curvature .
the more dynamic evolutions in secs .
[ blackhole ] and [ migration ] , black hole formation from boson star collapse and migration of an unstable boson star to the stable branch , used a combination of both maximal and @xmath40 slicing .
maximal slicing was enforced using a k - driver  @xcite .    in order to set up the correct scaled quantities to be evolved we use dimensionless variables . for an equilibrium configuration
the complex scalar field has a time dependence of the form @xmath43 .
this implies that the stress energy components given in eq .
( 3 ) and therefore the geometry of the spacetime have to be time - independent , whereas the field is oscillating with the characteristic frequency @xmath44 that depends on the central value of the field @xmath45 .
this characteristic frequency @xmath44 together with the mass of the boson @xmath16 provide the natural dimensionless units ,    @xmath46    which are the ones used within the present analysis .
for further code details refer to ref .
@xcite .
performing numerical simulations in the 3 + 1 adm formulation requires the construction of valid initial data on some constant time hypersurface .
this task entails finding a numerical solution to the four nonlinear coupled elliptic equations given by the hamiltonian and momentum constraint equations of the adm formalism .
finding solutions for physically interesting systems that are not highly symmetric can be very difficult and computationally expensive .
the presence of matter terms as a source increases the complexity even further .
we consider the case of time symmetric initial data where the extrinsic curvature @xmath47 on the initial hypersurface ( @xmath48 ) and a background scalar field configuration @xmath49 is assumed . under the condition of time symmetry
the equations decouple and it becomes sufficient to solve only one nonlinear elliptic equation , i.e. , the hamiltonian constraint . for a massive complex scalar field
the constraint equation takes the form @xmath50 where the scalar curvature is @xmath51 and @xmath52 is the energy density . using the york formalism , we introduce a conformal factor @xmath53 that relates the actual 3-metric @xmath18 to an initial guess @xmath54 through the relation @xmath55 . under this transformation
the scalar curvature is given by @xmath56 in the standard york procedure , all the terms within the energy density are transformed uniformly using the relation @xmath57 .
this transformation would require finding a new bosonic field configuration corresponding to the new energy density @xmath52 , which is a nontrivial problem .
we circumvented this difficulty by explicitly writing the dependence of the energy density on the metric functions .
the conformal transformation is applied term by term within @xmath52 , leaving the scalar field configuration unchanged . on the initial hypersurface the hamiltonian constraint ( eq .
( [ ham ] ) ) can be rewritten as the nonlinear elliptic equation @xmath58 \label{constraint}\end{aligned}\ ] ] we start with an initial guess and then solve the constraint equation for the conformal factor @xmath59 .
this formulation of the ivp problem was first used in balakrishna s ph.d . thesis for a variety of physical situations related to boson stars  @xcite .
table [ models ] details the four different boson star configurations studied in this paper .
the mass profile plot in fig .  [ mass_profile ] shows the mass versus central field density @xmath45 .
all configurations listed in table [ models ] have negative binding energy ( @xmath60 ) .
model 1 is a star on the stable branch , model 2 is a critical boson star , and models 3a and 3b both lie on the unstable branch .
these four models are perturbed in different ways , evolved , and analyzed as described below .
model & @xmath45 & @xmath61&@xmath44 & @xmath62 + 1 & 0.1414 & 0.584 & 0.91 & 9.10 + 2 & 0.271 & 0.633 & 0.85 & 6.03 + 3a & 0.3536 & 0.622 & 0.82 & 5.05 + 3b & 0.300 & 0.631 & 0.84 & 5.65 +    all simulations presented in this paper are performed using octant symmetry .
more general simulations on a full grid are the subject of future work
. this will allow the study of the effect of using octant symmetry on the accuracy and stability of boson star simulations .
the waveforms are calculated using the cactus extract module for the zerilli function and the cactus psikadelia module for @xmath0 with a radial tetrad choice @xcite .
this particular wave extraction code has been widely used in the past @xcite .
the newman - penrose complex scalars @xmath63@xmath0
@xcite represent the ten independent components of the riemann tensor projected onto a basis formed by a null tetrad .
these scalars have asymptotic behavior @xmath64 .
thus , the scalar @xmath0 dominates in the distant wave zone and approximates an outgoing gravitational wave .
the zerilli function @xcite is a gravitational waveform that is generated in the study of linear perturbations of the einstein field equations .
when the full system of the einstein equations is expanded about a background schwarzschild metric with a small perturbation function @xmath65 ( proportional to spherical harmonics @xmath66 ) , the resulting linear equations contain a set describing even parity perturbations .
for the zerilli function @xmath67 , the energy loss to gravitational waves can be calculated using @xmath68    [ mass_profile ]      [ conformal_factor ]    various initial data sets that represent different classes of nonspherical perturbations of boson star configurations are prepared .
the equilibrium field configuration , spherically symmetric solution @xmath69 , is taken as a base and different types of perturbations are added to this configuration .
one method involved a scalar field perturbation of the form @xmath70 where @xmath71 is a weighting function .
various weighting functions were studied .    *
uniformly weighted : for this perturbation the weighting function was constant , @xmath72 . in this case
the scalar field was perturbed across the width of the star , and was of significant size near the origin where the field density @xmath73 is maximum .
* parabolic weighted : @xmath74 ( where @xmath75 is a radius at which the perturbation is centered ) . in this case
the perturbation is set to zero at the origin .
this results in a more slight perturbation , away from the central peak of the field density of the star .
more general perturbations involved both radial and nonradial components .
one such radial - nonradial ( r - nr ) perturbation type was constructed by giving full weight to a spherically perturbed profile along one direction , while keeping an unperturbed profile in the perpendicular directions and a smooth linear combination of the two in the intermediate region .
for all the perturbations described in this paper the metric functions are not explicitly perturbed .
the initial value problem solver starts with the perturbed scalar field configuration described above and an initial guess for the metric functions and then solves the constraint eq .
( [ constraint ] ) for the corrected metric functions .
the initial guess for the metric functions is taken to be the usual spherically symmetric models of ref .
@xcite obtained by solving a one - dimensional eigenvalue problem for time independent metric functions and for a field configuration oscillating with fixed frequency @xmath76 and constant amplitude at the origin .
these perturbations are similar to those performed by ref .
alternative perturbations could involve external fields that evolve independently of the scalar field of the star ( see ref .
@xcite ) .
an example of the results obtained from the ivp solver is shown in fig .
[ conformal_factor ] .
an isosurface of the conformal factor for a perturbation of the field proportional to the @xmath77 spherical harmonic is visualized . the prominent dumb - bell shape of the harmonic along the @xmath78-axis resurfaces in this display of the corrections to the initial metric .
[ amp ]    [ zerilli_y20 ]      the evolution of boson stars under ` pure ' nonspherical perturbations ( @xmath79 where @xmath80 is the mass change ) that are proportional to spherical harmonics was investigated . under such perturbations
the quasinormal modes corresponding to nonradial oscillations were found to have frequencies with both real and imaginary parts  @xcite ( even for configurations that are unstable or critical in nature with respect to spherical perturbations ) .
thus , it was anticipated that equilibrium boson star configurations would be stable with respect to nonspherical perturbations .
a series of simulations of perturbed star configurations was performed by taking different values for the coefficients @xmath81 and the weighting function @xmath82 in eq .
( [ ylm_pert ] ) .
these perturbations do not significantly change the mass of the star or the number of particles ( even for a large nonspherical perturbation the mass change is less than @xmath83 ) .
the gravitational wave content is calculated using the even parity quadrupole ( @xmath2 ) zerilli waveforms and the newman - penrose scalar @xmath0 .
the waveforms are computed at several different detector locations in the spacetime .
the detectors had to be located sufficiently far from the center of the star for the @xmath0 scalar to dominate the other scalars in the newman - penrose formalism . since the boson field tails off exponentially
, the spacetime in the exterior regions ( @xmath84 ) becomes increasingly close to schwarzschild as the radius increases .
the perturbation formalism associated with the zerilli waveforms is valid when the metric functions describing the spacetime are only small perturbations away from those of the schwarzschild spacetime . thus detectors measuring zerilli waveforms should be located at a distance greater than several @xmath62 from the center of the star .
simultaneously , the detectors can not be too close to the boundary in order to avoid the effects of reflection from the edge of the grid .
these two requirements coupled with computational limitations on the grid size and the need for good resolution are the main challenges of our numerical simulations .
a uniformly weighted perturbation was first considered .
two different perturbations were applied to a model 1 ( table [ models ] ) stable configuration .
one perturbation was proportional to the @xmath77 spherical harmonic with constant of proportionality @xmath85 .
the second perturbation was a linear combination of @xmath77 and @xmath86 with coefficients of @xmath85 and @xmath87 . in the beginning
several simulations were performed to determine the scale of accurate grid resolution .
[ amp ] shows the amplitude of the real part of the newman - penrose @xmath0 scalar for the same grid size at different resolutions for the stable star configuration under the perturbation proportional to @xmath77 described above .
the waveform is extracted at a radial location of @xmath88 . from the figure
it can be seen that at coarse resolution there is a strong dependence on amplitude .
however , for resolutions better than @xmath89 the curve flattens , with the slope heading rapidly towards zero .
the amplitude at the best resolution @xmath90 varies from an extrapolation to the infinite resolution limit by only about @xmath91-@xmath92 .
the final simulation was carried out on a @xmath93 grid with a resolution of @xmath90 .
the l2-norm of the hamiltonian constraint for this run remained below @xmath94 for the duration of the evolution .
the l2-norm of the momentum constraints is about an order of magnitude lower than that of the hamiltonian constraint with a maximum value of @xmath95
.    figs .
[ zerilli_y20](a ) and ( b ) show the @xmath96 zerilli function and the newman - penrose scalar @xmath0 from a detector at @xmath88 .
the plots also show a linear least squares regression using the first twelve @xmath2 quasinormal modes calculated in ref .
it is observed that after an initial precursor , the star rings into a linear combination of its quasinormal modes .
the waveforms are observed to be four orders of magnitude above the level of the noise , which is taken to be the signal obtained from a simulation of an unperturbed spherical star configuration with the same grid size and resolution .
although the perturbation of the field contains only @xmath97 spherical harmonics , it is observed that higher order @xmath98 zerilli modes of the gravitational radiation are also triggered .
however , these zerilli modes have sufficiently low amplitude ( about an order of magnitude smaller than @xmath2 modes ) that they do not contribute significantly to the energy loss in gravitational radiation .
the waveform @xmath0 contains all nontrivial modes of the star . nevertheless , the @xmath2 modes dominate and we are able to fit the signal with the @xmath2 frequencies determined by ref .
@xcite . using eq .
( [ zerilli_energy ] ) the energy loss in gravitational waves was calculated to be about @xmath99 of the mass of the star .    in fig .
[ zerilli_y20](c ) the relative weights of the twelve modes within the zerilli and @xmath0 waveforms for the stable star from fig .  [ zerilli_y20](a ) and ( b ) are shown .
both waveforms have roughly the same mode content .
the slow increase of the imaginary part of the modes as the order of the mode increases necessitates the use of numerous modes in our fit .
note that in black hole systems , it is usually sufficient to fit waveforms dominated by quasinormal modes using only the lowest two modes @xcite . in this case , however , it is justified to neglect only the modes beyond about twelve , on the grounds that by then the imaginary part is sufficiently large and they damp out quickly . as can be seen in the figure ,
even the @xmath100 and @xmath101 modes hardly contribute .
it is noteworthy that the first two quasinormal modes are almost absent from the fit .
however , these first modes have been described as inaccurate in ref .
@xcite by the authors because of the break down of their wkb approximation in that domain .
it should also be noted that values of the eigenfrequencies of ref .
@xcite are dependent on their choice for a definition of the surface of the boson star .
there is no unique definition for this radius , since the bosonic field extends to infinity with exponential damping .
hence , there is a degree of arbitrariness in the position of the surface and in the exact numerical values of the eigenfrequencies . in their work
the surface of the star was artificially placed where the value of the field was of order @xmath102 .
we take more realistic field configurations , which are limited by the size of the grid and the resolution of our simulations .
the maximum of the radial metric function @xmath3 is shown in fig .  [ gxx](a ) .
the nonradial quasinormal mode oscillations are superimposed on the radial oscillation .
the latter is introduced by grid discretization and its amplitude is resolution dependent . in the continuum limit
one should observe only the high frequency oscillations .
@xcite has shown that the amplitude of the radial oscillation converges toward zero as the resolution is improved and that in the spherical case no high frequency oscillations appear .
for this run at a resolution of @xmath103 , the maximum of the metric has risen only from about @xmath104 to @xmath105 .
the frequency of a radial oscillation of this star configuration was calculated for this simulation to be about @xmath106 @xmath107 , which agrees with the result @xmath108 @xmath107 obtained from a 1d code for the same configuration .
since the radial oscillation has a large time period , only half of this oscillation has occurred by the end of this run .
the damping of the nonradial modes can be seen towards the end of the simulation , indicating that the star was settling into a spherical configuration .
another simulation that doubled the amplitude of the nonspherical perturbation @xmath109 was performed .
it was observed that the amplitude of the nonradial oscillations in the metric @xmath3 also doubled .
this is consistent with the result of ref .
@xcite that the metric perturbation is comparable to the scalar field perturbation .
[ gxx](b ) shows the difference between the density @xmath52 in the @xmath110 and @xmath111 directions as a function of time .
this difference is seen to be decreasing by an order of magnitude in a short timescale .
furthermore , the radial location of the peak of the difference function is observed to be moving out as the star becomes more spherical , coinciding with the emission of gravitational radiation .
[ zerilli_y22 ]    [ crit_unst ]    we now apply a different perturbation to model 1 and study its evolution . in this case a uniformly weighted perturbation proportional to a linear combination of @xmath77 and @xmath86 ( amplitudes @xmath85 and @xmath87 , respectively ) was applied .
[ zerilli_y22](a ) presents the extracted zerilli @xmath2 ( both @xmath112 and @xmath113 ) waveforms for a stable star ( model 1 , table  [ models ] ) .
these waveforms are observed to have the same frequency .
furthermore , the zerilli @xmath114 signal for the star under this mixed @xmath77 and @xmath86 perturbation has the same size and frequency as the @xmath96 zerilli function of the same star under a perturbation proportional only to @xmath77 ( in both cases @xmath85 ) .
this result shows that the addition of other harmonics to the perturbation does not alter the original signal and demonstrates the accuracy of the code .
[ zerilli_y22](b ) shows a comparison between the newman - penrose scalars @xmath0 for the pure @xmath77 perturbation and the mixed @xmath77@xmath86 perturbation .
the signals have the same frequencies , but the signal for the mixed perturbation is larger in size because it incorporates more modes .
perturbations proportional to the @xmath77 spherical harmonic with amplitude @xmath85 were studied in the case of a critical boson star ( model 2 , table [ models ] ) and an unstable boson star ( model  3a , table  [ models ] ) .
since these stars are more compact than the stable star , they need better resolution . however , they have a smaller radius and do not need the same grid size .
a @xmath93 grid with a resolution of @xmath115 was used for both these simulations . for the time interval relevant to our study ( that prior to and encompassing waveform extraction ) the simulations proceed accurately with the l2-norm of the hamiltonian constraint remaining below @xmath116 for the critical case and below @xmath117 for the unstable case , respectively . at late times both stars collapse to black holes due to radial perturbations introduced by grid discretization errors .
more detailed simulations of unstable star collapse with apparent horizon analysis are presented in sec .
[ blackhole ] .
[ crit_unst ] displays the @xmath96 zerilli waveform and modefit for this unstable star configuration with a detector located at @xmath118 .
after a fairly large precursor , the star settles into a linear combination of its quasinormal modes with late time agreement between the modefit and numerical waveforms .
the extended precursors are representative of complex dynamics within unstable systems .
[ psi4_old ]    perturbations with radial and nonradial components as described in sec .
[ methods ] were also studied . in ref .  @xcite it was shown that for this type of perturbation the dominant radiation is in the form of scalar radiation .
the scalar radiation emission process , denoted gravitational cooling @xcite , relaxes the system to an equilibrium configuration . in this case the zerilli waveform appeared noisy and did not exhibit the quasinormal mode oscillation .
the zerilli perturbation expansion about a background schwarzschild spacetime was probably affected when scalar radiation moved through the region of the detector .
even when the initial configuration has the detector in an almost schwarzschild region , the dynamics of the star can push scalar radiation into this region during the evolution .
the newman - penrose scalar was observed to be more robust in the presence of scalar radiation .
[ psi4_old ] shows the @xmath0 waveform for this perturbation for a model 1 boson star superimposed on the waveform for the same star under the @xmath77 perturbation of fig .
[ zerilli_y20](b ) .
the r - nr simulation was conducted on a @xmath93 grid with resolution @xmath119 .
since the @xmath77 perturbation is significantly smaller , it gives a much smaller signal . in order to make a clear comparison
the waveform for the @xmath77 perturbation has been magnified by a factor of @xmath120 .
although the r - nr perturbation is not huge , it is large enough to prevent the star from ringing into its quasinormal modes initially .
however , it appears to move into these modes after a few oscillations as can be seen in the figure .
the oscillation is very clearly damping out on a short timescale as it is characteristic for boson stars @xcite .
[ collapse ]    [ collwave ]    in this section simulations that follow the collapse of unstable boson stars under nonspherical perturbations to the formation of black hole horizons are presented .
the unstable star designated as model 3b in table [ models ] is used as the starting configuration .
a parabolic weighted nonradial perturbation centered at @xmath121 ( about half of the @xmath122 radius of the unstable star ) was applied .
this nonradial perturbation was superimposed on different radial perturbations that accreted additional matter onto the star by means of a uniform amplification of the field of the form @xmath123 ( where @xmath124 is the initial equilibrium field configuration ) .
the addition of scalar matter by a spherical amplification hastens the collapse process .
in contrast , the star is observed to collapse at approximately the same rate with or without the nonradial perturbation .
the time dependence of the mass of the apparent horizon for two collapse simulations is displayed in fig .
[ collapse ] .
the nonspherical perturbations for the systems are parametrized by @xmath125 and @xmath126 ( using eq .
( [ ylm_pert ] ) ) .
the first simulation , denoted run  1 , has a radial amplification of @xmath127 while the second , denoted run  2 , has a radial amplification of @xmath128 . for these amplifications
the mass of the star changes to @xmath129 for the @xmath130 case ( an increase of about @xmath131 from the unperturbed mass ) and @xmath132 for the @xmath133 case ( an increase of about @xmath134 from the unperturbed mass ) .
the horizon is observed to form at a time of @xmath135 within run  2 .
this is earlier than the formation time of @xmath136 in run  1 , which is appropriate because of the larger initial mass .
it can be seen that the horizon mass is @xmath137 when first detected for the case of run  2 .
the evolution is carried forward for an additional time interval @xmath138 after horizon formation , corresponding to approximately @xmath139 of evolution of the black hole .
a smooth asymptotic approach towards the value of the initial mass is observed at early times after the formation .
however , at late times the errors in the simulation are becoming large and this is manifested in a slight upward turn of the curve along a path that would apparently cross the axis corresponding to the initial mass .
these features are also echoed in the results for run  1 , where the mass of the apparent horizon takes the value @xmath140 at formation and increases in an analogous manner .
the late time errors are caused by the familiar problem of grid stretching associated with singularity avoiding time slicing @xcite .
it should be noted that these simulations did not make use of advanced shift conditions or excision techniques .
future work will include the employment of such methods to extend the duration of the simulations for long times after the black hole formation .
the geometry of the apparent horizons formed in run  1 and run  2 is investigated by calculating the ratio of the polar to equatorial circumference @xmath141 for two different great circles @xmath142 and @xmath143 . the values for @xmath144 and @xmath145 are very close to unity , with values in the range @xmath146 on all timesteps for which horizons are detected in the simulations .
the nearly spherical shape of the horizons can be understood by considering the zerilli waveform of run  2 displayed in fig .
[ collwave ] .
the waveform starts to ring down near @xmath147 and damps to a small value by @xmath148 , which precedes the formation time of the apparent horizon within the simulation .
the nonradial perturbations have decayed away and the system has become nearly spherical by the time of horizon formation .
however , it can be demonstrated that a slightly nonspherical horizon may be obtained when the formation occurs before the full relaxation of the nonradial modes .
another simulation , run 3 , takes an initial configuration with a very large amplification factor @xmath149 and the same nonradial coefficients @xmath150 as runs 1 and 2 .
the initial mass of this configuration is @xmath151 , and the subsequent evolution results in a horizon formed by @xmath152 .
@xmath153 & @xmath154 + @xmath155 & @xmath156 + @xmath157 & @xmath158 +    from the values of the circumference ratios displayed in table [ c_rs ] it is seen that the horizons are measurably nonspherical .
the circumference ratios are seen to steadily decrease , suggesting the eventual evolution towards spherical symmetry .
furthermore , we see that the perturbation proportional to @xmath159 has resulted in a dependence in the ratio @xmath160 on the angle @xmath161 at which the polar circumference is measured . the formation and study of horizons with complex shape from boson star collapse will be investigated further by using advanced methods for the evolution of black holes .      a boson star on the unstable branch can migrate to a new configuration of smaller central field density that lies on the stable branch .
this behavior is analogous to the behavior of relativistic neutron stars @xcite . in both cases
there is a large initial expansion of the star followed by oscillations about the final stable star configuration it will settle into . in the case of boson stars these oscillations damp out slowly , similar to the case of stars with a perfect fluid equations of state . the neutron star with perfect fluid equation of state settles into a configuration on the stable branch of slightly lower mass than the initial unstable star .
the initial zero temperature star is heated due to gravitational binding energy being converted to internal energy by shock heating .
the boson star on the other hand loses mass to scalar radiation and settles to a configuration of lower mass on the stable branch .
the mass of a critical boson star ( model 2 , table [ models ] ) was lowered by about @xmath162 through a radial perturbation .
this large perturbation reduced the boson field everywhere to @xmath163 of its original value .
next , a nonradial parabolic weighted perturbation ( see sec .
[ methods ] ) was superimposed on the radial one .
the weighted perturbation was centered at a radius of @xmath164 , which is about half the @xmath165 radius of the star .
this was a pure @xmath77 perturbation with @xmath166 in eq .
( [ ylm_pert ] ) .
the data was then passed through the ivp and its evolution was tracked using the 3d code .    the strong dynamics within the simulation causes substantial coordinate drifting .
a dense unstable configuration with a small radius requires good resolution .
this star migrates to a dilute stable configuration with a larger radius ( about twice as large ) .
the different scales place demands on both the resolution and gauge choice within the simulation .
the gauge control was obtained by enforcing maximal slicing through a k - driver restoring term .
when @xmath42 is perturbed away from zero , this term drives it back exponentially in time @xcite . for computational efficiency , the enforcement of maximal slicing is performed intermittently , with the algebraic 1+log slicing condition used on intermediate timesteps . while some gauge drift persists the coordinates within the simulation are stable .
future work will involve studying better gauge control through an adaptive mesh refinement technique @xcite .
[ migr_wavef ]    fig .
[ migr_wavef ] shows @xmath167 at a detector at @xmath168 .
the star is dynamic and moves away from the initial state even in the short damping timescale of the gravitational wave signal .
hence , the gravitational wave does not carry the signature of the original configuration .
the migration process to a stable star is an extremely lengthy process , and the waveform shown is emitted during the very early stage of this process .
thus , the waveform does not show the quasinormal modes of the eventual final state stable star or the initial critical configuration , but rather a complex combination of the modes of a mixture of states that the system goes through during the migration .
a good modefit of this data with the quasinormal modes of any single star configuration is therefore not possible .
the lengthily and complicated precursor ( both low and high frequency parts ) is indicative of the complex dynamics of the strong perturbation and migration process . a fourier analysis of this waveform in the ring down region results in a dominant frequency of @xmath169 .
this frequency is reflective of the dynamics of the star under a strong perturbation , which does not result in excitation of quasinormal modes .
it is much higher than any of the quasinormal modes of a critical star ( as determined by ref .
@xcite ) .    since the detectors have to be far away for @xmath167 to represent the gravitational signature of the star , a large grid had to be used to obtain the waveform .
a very long run with such a grid would be computationally expensive
. however , due to the strong damping of these waves , one can see the full gravitational ringing of the star on a short time scale ( @xmath170 for this simulation ) .
on the other hand , if one wants to see the star continue its migration for a few radial oscillations , a longer run needs to be conducted .
the period of one radial oscillation for this configuration is a lot larger than the damping time of the gravitational wave ( almost four times as large ) .
a two pronged approach was used . a shorter run with a large grid ( @xmath93 of resolution @xmath171 )
was performed to obtain the gravitational wave .
subsequently , a smaller grid ( @xmath172 of resolution @xmath171 ) was used to handle the migration .
this was compared to a spherical perturbation run with the same grid and resolution .
the simulation proceeds accurately for several hundred oscillations of the underlying scalar field , with the l2-norm of the hamiltonian constraint on the grid persisting at a value of order @xmath173 at late times . at the time at which the simulation is stopped
, it has not reach an error prone state at which it must be terminated , but rather we simply exhaust our available computer time . by all available indicators , the simulation would continue further at this level of accuracy .
the level of the errors in our migration study compares very favorably to other published work .
3d numerical simulations by font _
@xcite follow long - term evolutions of relativistic neutron stars and show errors that grow to a level of @xmath174 by the end of the simulation .
the constraint values we report persist at least an order of magnitude below this level for hundreds of oscillations of the underlying scalar field , the relevant time scale for our problem .
[ grr_migration ]    fig .
[ grr_migration ] shows the maximal radial metric @xmath3 as a function of time for a migrating ( model 2 ) critical star .
the initial drop in the metric indicates a migration to the stable branch .
the star then oscillates about the new stable configuration that it will settle into with the radial oscillations damping out slowly .
the star settles into a fairly constant oscillation frequency .
the last four peaks are at @xmath175 and @xmath176 , all separated by @xmath177 .
the metric in fig .
[ grr_migration ] also exhibits a shift upwards .
we believe this a nonphysical effect , likely a result of gauge drift that occurs in response to the very large initial perturbation .
one can roughly estimate the final configuration to which the star will settle .
the final star configuration of mass @xmath178 corresponds to a maximum metric of @xmath179 .    since the star expands to a configuration of larger radius the grid size had to accommodate this expansion .
this was at the expense of the grid resolution of the initial denser , more compact configuration .
similar problems were seen for neutron star simulations . in the neutron star case
a @xmath172 grid was used to study the migration and the low grid resolution of the initial configuration caused a nonnegligible deviation of the average central rest mass density from the expected value @xcite .
we plan to investigate the use of fixed mesh refinement @xcite to accommodate the multiple length scales that occur within such migration studies .    in the nonradial perturbation case
the high frequency oscillations , associated with the nonradial modes , of the peak of the metric function @xmath3 are superimposed on the low frequency radial oscillation .
this superposition is not clear in the figure because the small amplitude of nonspherical oscillation is suppressed by the larger spherical oscillation amplitude .
the spherical oscillation amplitude is of order @xmath180 .
this is much larger then the corresponding radial oscillation amplitude due to discretization errors ( of order @xmath181 ) from fig .
[ gxx](a ) for the same timescale .
while the nonspherical oscillation can not readily be seen , the metric exhibits the same superposition of the radial and nonradial frequencies discussed in fig .
[ gxx](a ) .
this is the first paper to present the long time evolutions of boson stars under nonradial perturbations in full 3d general relativity . the existence of rapidly damping quasinormal modes as discussed by ref .
@xcite is confirmed .
for the first time gravitational waveforms ( both zerilli and newman - penrose scalar @xmath0 ) have been fully extracted and presented for boson stars in 3d .
we find that when a small nonradial perturbation is applied to a boson star , the star loses mass through gravitational radiation and has quasinormal modes frequencies that are much higher than its radial quasinormal mode frequency .
the metric acquires this frequency signature .
if the small nonradial perturbation in the scalar field is doubled the metric perturbation also doubles . for perturbations that have radial and nonradial components the metric exhibits both frequencies superimposed on one another .
the gravitational wave signal is observed to damp out quickly and the star becomes spherical on a short timescale .    in this paper ,
the gravitational waveforms have been presented for stable , critical and unstable boson star configurations .
our results were compared to linear perturbation results of ref .
@xcite . however , the comparison could only be approximate because their wkb formulation leads to inaccuracy for the calculation of the lowest modes .
furthermore , the calculation of the quasinormal frequencies in ref .
@xcite is slightly dependent on the choice of the surface of the star . in principle , a boson star is of infinite extent with exponential damping of the scalar field within a short radius .
this exponential damping allows one to consider a large part of the star to be virtually a vacuum and arbitrarily choose a surface somewhere in this region for calculational ( perturbation theory ) or numerical ( finite grid ) purposes .
different choices of surface can lead to slightly different results for the modes ( changes them within a few percent ) .
we have considered perturbations that are purely nonradial and are proportional to the spherical harmonics .
the zerilli gravitational waveforms of the @xmath96 mode for small perturbations proportional to @xmath77 have the same frequencies as waveforms generated from perturbations composed of a linear combination of @xmath77 and @xmath86 for a given star configuration .
this shows that a given star has a specific quasinormal mode signature .
it is more challenging to obtain gravitational waveforms when matter is present in the spacetime .
even if the system has an approximate schwarzschild exterior region the dynamics of the simulation might carry matter there .
the presence of matter can affect the zerilli waveform which requires a region that is close to schwarzschild .
this effect was tested explicitly by using different types of perturbations .
the first was purely nonradial , while the second was more general and had radial and nonradial components .
the former did not result in scalar radiation and the zerilli waveform was observed to exhibit the high frequency quasinormal mode oscillation , while the waveform in the latter case was noisy and seemed affected by the presence of scalar radiation .
the newman - penrose waveforms behaved better in all cases .
nonspherical apparent horizons were observed under nonradial perturbations when the horizon formed before the full emission of the gravitational waveform .
radial perturbations that amplify the mass of the star are seen to accelerate the collapse
. however , the nonradial perturbations do not affect the collapse time . the geometry of the horizon is seen to become more spherical as the star evolves .
even for large nonradial perturbations the degree of asymmetry is quite small .    under large radial perturbations that mimic the removal of scalar field , an unstable branch star can migrate to the stable branch @xcite .
a large radial perturbation of an unstable star was performed for the first time in 3d and several oscillations of the metric were observed with the star settling to a constant oscillation frequency .
this is a dynamic problem that involves multiple scales .
gauge control was obtained using a stable implementation of maximal slicing .
improvements are under study . a nonradial perturbation superimposed on the radial perturbation resulted in the emission of gravitational waves during the migration .
the migration of an unstable branch star to the stable branch under a general perturbation ( with both radial and nonradial components ) can be significant in the formation of boson stars @xcite .
we thank jason ventrella and manuel tiglio for the careful review of our manuscript .
our code is fully based on the cactus computational toolkit .
we gratefully acknowledge the cactus team for their help and extensive support , particularly thomas radke .
we want to especially thank gabrielle allen for her assistance and overall guidance .
we would like to recognize erik schnetter for developing the cactus tat interface to the petsc elliptic solver that is used by our ivp solver .
we thank jian tao , malcolm tobias , and wai - mo suen for useful conversations and access to washington university computer resources .
j.b . would like to especially thank matt visser for helpful discussions and encouragement for this project .
r.b . is grateful to doina , cornel , ileana and ruxandra costescu for their hospitality and support during the length of this project .
the large - scale computations were performed on the platinum and tungsten clusters at ncsa under the nsf nrac grant mca02n014 and on the supermike cluster at lsu .
we thank lsu cct for their well - organized visitor program .
we also acknowledge generous support from microsoft .
f. s. g. and e. s. acknowledge partial support from the bilateral project dfg - conacyt 444 mex-13/17/0 - 1 .
is partly granted by cic - umsnh-4.9 and promep - umich - ptc-121 .
99 a. h. guth , phys . rev . * d 23 * ( 1981 ) 347 .
a. d. linde , phys . lett . * b 108 * ( 1982 ) 389 .
r. brandenberger , rev .
* 57 * ( 1985 ) 1 .
r. r. caldwell , r. dave and p. j. steinhardt , phys .
* 80 * ( 1998 ) 1582 .
i. zlatev , l. wang and p. j. steinhardt , phys .
* 82 * ( 1999 ) 896 .
steinhardt , l. wang and i. zlatev , phis . rev .
* d 59 * ( 1999 ) 123504 .
e. seidel and w .- m .
suen , phys .
lett . * 66 * , 1659 ( 1991 ) .
m. alcubierre et al . class .
quantum grav .
* 20 * 2883 - 2904 ( 2003 ) . l. a. urea lpez , class .
quantum grav . * 19 * , 2617 - 2632 ( 2002 ) .
jae - weon lee , in - guy koh , phys . rev . * d 53 * ( 1996 ) 2236 .
e. w. mielke and f. e. schunck , phys .
d 66 * ( 2002 ) 023503 .
f. s. guzmn and l. a.urea-lpez , phys . rev . * d 68 * ( 2003 ) 024023 .
d. f. torres , s. capozziello , g. lambiase phys .
d 62 * ( 2000 ) 104012 f. s. guzman , phys .
d. * 73 * , 021501(r ) ( 2006 ) .
j. balakrishna , ph.d .
thesis , washington university 1999 .
e - version : gr - qc/9906110 .
f. d. ryan , phys .
d. * 55 * , 6081 ( 1997 ) .
m. kesden , j. gair and m. kamionkowski , phys .
d * 71 * , 044015 ( 2005 ) .
r. ruffini and s. bonazzola , phys . rev .
* 187 * ( 1969 ) 1767 .
d. j. kaup , phys . rev . * 172 * ( 1968 ) 1331 .
e. seidel and w .- m .
suen , phys .
d. * 42 * , 384 ( 1990 ) .
j. balakrishna , e. seidel , w .- m .
suen , phys . rev .
d. * 58 * 104004 ( 1998 ) .
m. gleiser , phys .
d * 38 * , 2376 ( 1988 ) ; * 39 * , 1257 ( e ) ( 1989 ) . t. d. lee , phys . rev .
d * 35 * , 3637 ( 1987 ) .
p. jetzer , phys . rep .
* 220 * , 183 ( 1992 ) .
f. e. schunck and e. w. mielke , class .
quantum grav .
* 20 * , r301 ( 2003 )
. s. h. hawley and m. choptuik , phys.rev .
* d62 * ( 2000 ) 104024 .
s. yoshida , y. eriguchi , t. futamase , phys .
d. * 50 * , 6235 ( 1994 ) .
f. s. guzman , phys . rev . *
d 70 * , 044033 ( 2004 ) .
m. alcubierre , b. breugmann , t. dramlitsch , j. a. font , p. papadopoulos , e. seidel , n. stergioulas , r. takahashi , phys .
d * 15 * , 62 , 124011 , ( 2000 ) .
t. w. baumgarte , s. l. shapiro , phys .
d * 59 * , 024007 ( 1998 ) .
m. shibata , t. nakamura , phys .
d * 52 * , 5428 ( 1995 ) .
m. alcubierre , f. s. guzmn , t. matos , d. nez , l. a. urea - lpez and p. wiederhold , class .
quantum grav .
* 19 * , 5017 ( 2002 ) .
s. teukolsky , phys .
d * 61 * , 087501 ( 2000 ) .
j. balakrishna , g. daues , e. seidel , w .- m .
suen , m. tobias , e. wang , class .
quantum grav . * 13*,l135-l142 ( 1996 ) .
m. alcubierre , b. brugmann , d. pollney , e. seidel , and r. takahashi , phys.rev .
d * 64 * , 61501 ( 2001 ) . m. alcubierre , w. benger , b. brugmann , g. lanfermann , l. nerger , e. seidel and r. takahashi , phys.rev.lett .
271103 ( 2001 ) , gr - qc/0012079 . s. brandt , j.a .
font , j.m .
ibanez , j. masso , e. seidel , comput.phys.commun . * 124*,169 - 196 ( 2000 ) .
g. allen , k. camarda , e. seidel , gr - qc/9806014 .
k. camarda , e. seidel , phys.rev .
d * 57 * , 3204 ( 1998 ) . k. camarda , e. seidel , phys.rev .
d * 59 * , 064019 ( 1999 ) .
p. anninos , r. h. price , j. pullin , e. seidel , and w .- m .
suen , phys.rev .
d * 52 * , 4462 ( 1995 ) .
a. abrahams , d. bernstein , d. hobill , e. seidel , and l. smarr , phys .
d * 45 * , 3544 ( 1992 ) .
j. baker , m. campanelli , c. o. lousto , phys .
d * 65 * , 044001 ( 2002 ) , gr - qc/0104063 .
e. t. newman , r. penrose , j. math . phys . * 3 * , 566 ( 1962 ) .
r. penrose , phys .
* 10 * , 66 ( 1963 ) .
f. j. zerilli , phys .
d , * 2 * , 2141 ( 1970 ) .
p. anninos , d. hobill , e. seidel , l. smarr , w .- m .
suen , phys.rev .
d * 52 * , 2044 ( 1995 ) .
seidel and w .- m .
suen , phys .
lett . * 72 * , 2516 ( 1994 ) . f. s guzmn and l. a urea - lpez , phys .
d 69 * 124033 ( 2004 ) .
l. smarr , ann .
acad . of sciences
* 302 * , 569 , ( 1977 ) .
p. anninos , g. daues , j. masso , e. seidel , w .- m .
suen , phys .
d. * 51 * , 5562 ( 1995 ) .
p. anninos , k. camarda , j. masso , e. seidel , w .- m .
suen , j. town , phys .
d. * 52 * , 2059 ( 1995 ) .
j. font , t. goodale , s. iyer , m. miller , l. rezzolla , e. seidel , n. stergioulas , w .- m .
suen and m. tobias , phys .
d , * 65 * 084024 ( 2002 ) .
e. schnetter , s. h. hawley and i. hawke , class .
quantum grav .
* 21 * , 1465 ( 2004 ) .