compact stellar mass objects emit gravitational waves in the good sensitivity band of the planned laser interferometer space antenna ( lisa ) during their last year of inspiral into a supermassive black hole .
the gravitational waveforms of emris , extreme mass ratio insiprals , are therefore of interest , and when observed may shed light on the spacetime of the central black hole , including testing the kerr hypothesis @xcite , in addition to being a sensitive tool to measure the central black hole s parameters .
this possibility makes such sources of gravitational waves extremely interesting , despite the relatively low number of sources expected during the lifetime of the lisa mission .
specifically , tens to hundreds of such sources are expected to redshifts of @xmath1@xmath2 @xcite .
in addition , the solution of the two body problem in general relativity remains challenging , and emris orbits and waveforms correspond to its solution in the extreme mass ratio limit .
construction of theoretical templates is important both for detection of emris gravitational waves and for accurate parameter estimation .
numerical waveforms can be constructed using the frequency
domain ( fd ) or the time  domain ( td ) approaches .
the former approach has been developed to very high accuracy , and is considered robust and accurate . on the other hand , advances to the td approach have been hindered first by the success of the fd approach @xcite , and by the crudity of the initial attempts to evolve numerically the fields coupled to a point - like source with the teukolsky equation @xcite .
the breakthrough in the accuracy of td solutions of the inhomogeneous teukolsky equation , i.e. , the 2 + 1d solution of the teukolsky equation coupled to a point mass , was recently achieved in @xcite .
for the first time , it was shown that td calculations can be as accurate as fd calculations .
the td method of @xcite was improved with the introduction of the  discrete delta " model of the source @xcite and an appropriate low pass filter that makes the discrete delta useful also for eccentric or inclined orbits @xcite .
specifically , correlation integrals of gravitational waveforms done for the same system in the fd and td approaches show that the two agree to a high level @xcite .
one may therefore argue that the two methods are comparable in the results they are capable of producing .
we therefore contend that the viewpoint that the td solution of the inhomogeneous teukolsky equations is far from being competitive from the fd solution can no longer be supported .
however , we believe that one should not seek competition of the two approaches , but rather how they complement each other , as either method has non - overlapping strengths . in order to achieve this goal
one needs to compare the computational efficiency of the two approaches .
the question of the efficiency and the computation time with which the results are obtained remains an open question though .
the common wisdom is that the fd computation is more effective computationally than its td counterpart : fd approaches are particularly convenient when the system and the emitted gravitational waves exhibits a discrete set of frequencies .
indeed , as shown by schmidt  @xcite and by drasco and hughes  @xcite , all bound kerr orbits have a simple , discrete spectrum of orbital frequencies .
however , generic orbits and in particular high - eccentricity orbits , although in principle amenable to a fourier decomposition and a fd construction of the waveforms , require the summation of many terms in the fourier series .
this problem limits the accuracy and increases the computation time in fd calculations . while this statement , or similar ones , appear in the literature @xcite , it has not been quantified .
the motivation of this paper is to study the relative computational efficiency of fd and td codes for the solution of the inhomogeneous teukolsky equation .
specifically , we study the question of how much computational time is needed to find the fluxes of energy and angular momentum to infinity from an eccentric and equatorial orbit around a fast spinning kerr black hole .
we restrict the analysis here to equatorial orbits .
analysis of equatorial orbits is non - trivial , and teaches much of the method and properties also of non - equatorial orbits .
analysis of non equatorial orbits increases considerably the volume of the parameter space , and we leave its study to the future .
we do , nevertheless , comment on the analysis of generic orbits .
the estimation of the total needed computation time for td codes is relatively simple : after the desired accuracy level is set , one needs to estimate the number of azimuthal @xmath0 modes ( associated with the @xmath3 orbital angular frequency ) required for the total sum over @xmath0 modes to achieve the desired accuracy , and then compute each @xmath0 mode at the same accuracy level .
the number of needed @xmath0 modes is not hard to estimate , because the partial fluxes approach a geometric progression in @xmath0 for large @xmath0 values , with the asymptotic factor between two successive partial fluxes depending on the eccentricity of the orbit .
after the needed number of @xmath0 modes is determined , one can use the td code of @xcite ( possibly with the improvements included in @xcite ) to calculate the partial fluxes and sum over them . using the asymptotic geometric progression structure
one may also estimate the error associated with the summation over the partial fluxes , and verify that the desired accuracy level is indeed achieved .
this is done in section [ m_modes ] .
the td calculation of the individual partial fluxes can be done more efficiently than a straightforward calculation of the fields to very late times and great distances , that are required for an accurate estimate of the fluxes at infinity .
specifically , one can make use of the peeling properties of the weyl scalars at great distances , and fit the fields at finite distances to that behavior .
one may then use the fitted behavior to extract the behavior at infinity .
this is done in appendix [ appendixa ] .
we find this method to be cleaner and better motivated physically than the fit done in @xcite , that uses a general two
parameter fit function of a form which is not strongly motivated physically .
the estimation of the total needed computation time for fd codes starts similarly to the td analysis : specifically , one needs to first determine the number of @xmath0 modes needed for the determined accuracy level .
this can be done in a similar way to how it is done in the td .
the calculation of each @xmath0 mode in the fd approach requires the summation over a number of @xmath4 modes , that correspond to the radial and angular ( about the equatorial plane ) orbital angular frequencies and the radiative multipole @xmath5 . because we focus attention on equatorial plane orbits , the @xmath6 modes trivialize , and in practice only the @xmath7 modes are of importance .
we find in section [ k_mode ] that the number of @xmath7 modes that one needs to sum over to achieve the desired accuracy level increases with the eccentricity and with the corresponding value of @xmath0 in an intricate manner .
next , in section [ comp_time ] we estimate the computation time of each @xmath7 mode , and find it is a function of @xmath7 .
the behavior of the computation time of the @xmath7 mode is found to have a rather intricate dependence of the value of @xmath7 .
we use this behavior to approximate the computation time over a sum of @xmath7 modes up to some @xmath8 , and argue it is approximately quadratic in @xmath8 for high @xmath8 values .
then , in section [ compare ] we find the total computation time for all the fd modes on the same machine on which we perform the td computation , and compare the two .
we find that the fd code is more efficient at low @xmath0 values ( for a twofold reason : because those require few @xmath7 modes , and for low @xmath0 values each @xmath7 mode takes less time to compute ) , but the computation time increases rapidly with the value of @xmath0 .
we find the growth rate of the computation time with the mode number @xmath0 to increase as a power of @xmath0 , with the value of the exponent increasing with the eccentricity .
finally , we estimate that for generic orbits the two methods become comparable already for moderately high values of the eccentricity , in the range of @xmath9@xmath10 .
higher eccentricity orbits are more efficiently calculated using the td approach .
even when the calculation of the sum of all @xmath0 modes is done more efficiently using one method over the other , one may still compute the low @xmath0 modes using the fd approach and the high @xmath0 modes using the td approach .
such a hybrid method may prove to be the most efficient computationally .
one should also consider the fact that the total needed number of @xmath7 modes is an empirically found number .
when the full parameter space is mapped , one may tabulate the numbers of required modes as functions of the orbital parameters . until this is done
, extra computation time is needed to find the number of needed modes , including the computation of some modes that are found _ a posteriori _ to be unneeded .
no similar problem occurs in the td approach .
to obtain the sum over all @xmath0 modes we need to obtain results for high @xmath0numbers , and find a way to determine ( i ) how many @xmath0 modes we need to sum over to get the total flux to a certain pre - determined accuracy , and ( ii ) estimate the error in neglecting all the higher @xmath0 modes . in the case of circular and equatorial orbits , finn & thorne @xcite show that ( see @xcite for more details and for definitions ) @xmath11 ^ 2}\,\eta^2{\tilde \omega}^{2
+ 2m/3}\,{\dot{\cal e}}_{\infty\ , m}\ ] ] which has the nice property that @xmath12 as @xmath13 .
( notably , this property depends on the factor of @xmath14 . )
we may therefore approximate the sum over infinitely many modes by taking the series to be a geometric progression .    for eccentric orbits
we no longer have the finn
thorne formula , but we can do numerical experiments to test whether the same results holds also for such orbits . we first show in table [ table5 ] the average fluxes obtain for a number of eccentric orbits ( with a fixed value of the semilatus rectum @xmath15 ) as a function of the mode @xmath0 . the data presented is table [ table5 ] is intentionally coarse , and is not intended to be more accurate than at the 510% level .
below , we also present similar data with higher accuracy , where the latter are needed .
we plot in fig .
[ fig1 ] @xmath16 as a function of @xmath0 for several eccentric orbits .
we see that for all values of @xmath17 , the drop off rate is exponential in @xmath0 for large values of @xmath0 .
notably , the highest flux is in the fundamental mode , @xmath18 , and is highest for @xmath19 .
this result is indeed expected : the radiated power in gravitational waves averaged over one period for a point mass @xmath20 in a keplerian orbit around a schwarzschild black hole of mass @xmath21 is given by the quadrupole formula to be @xcite @xmath22 recalling that the semimajor axis @xmath23 is related to the semilatus rectum @xmath15 by @xmath24 , we find that for fixed @xmath15 , @xmath25 which has a maximum at @xmath26 @xcite . as the partial flux in any other mode is suppressed by over an order of magnitude compared with the fundamental mode ( @xmath18 ) , this result for the total flux is carried over to the fundamental mode .
notably , the larger @xmath0 , we find numerically that the larger the eccentricity for which most flux is obtained .     0.7 & 0.8 & 0.9 1 & @xmath27 & @xmath28 & @xmath29 & @xmath30 & @xmath31 2 & @xmath32 & @xmath33 & @xmath34 & @xmath35 & @xmath36 3 & @xmath37 & @xmath38 & @xmath39 & @xmath40 & @xmath41 4 & @xmath42 & @xmath43 & @xmath44 & @xmath45 & @xmath46 5 & @xmath47 & @xmath48 & @xmath49 & @xmath50 & @xmath51 6 & @xmath52 & @xmath53 & @xmath54 & @xmath55 & @xmath56 7 & @xmath57 & @xmath58 & @xmath59 & @xmath60 & @xmath61 8 & @xmath62 & @xmath63 & @xmath64 & @xmath65 & @xmath66 9 & & @xmath67 & @xmath68 & @xmath69 & @xmath70 10 & & @xmath71 & @xmath72 & @xmath73 & @xmath74 11 & & @xmath75 & @xmath76 & @xmath77 & @xmath78 12 & & @xmath79 & @xmath80 & @xmath81 & @xmath82 13 & & @xmath83 & @xmath84 & @xmath85 & @xmath86    [ table5 ]    epsf   mode to the partial - sum ( up to @xmath0 ) flux compared with the preceding mode , as a function of @xmath0 , for various values of the eccentricity @xmath87 .
same parameters as in fig .
[ fig1].,title="fig:",width=415 ]     mode to the partial - sum ( up to @xmath0 ) flux compared with the preceding mode , as a function of @xmath0 , for various values of the eccentricity @xmath87 .
same parameters as in fig .
[ fig1].,width=415 ]    we next consider the ratio of the relative contribution of the @xmath0 mode to the partial - sum ( up to @xmath0 ) flux compared with the preceding mode , as a function of @xmath0 .
an asymptotic drop off of the flux corresponds to this ratio approaching a constant value as @xmath13 . in fig .
[ fig2 ] we plot this ratio as a function of @xmath0 for various values of the eccentricity .
lastly , we extrapolate the curves in fig .
[ fig2 ] to find the asymptotic value for the ratio , and plot it in fig .
[ fig3 ] as a function of the eccentricity @xmath17 .
the best fit curve is given by @xmath88 with a correlation coefficient @xmath89 .
epsf   as a function of the eccentricity @xmath87 .
the individual error bars are shown , in addition to the best fit curve ( solid ) and @xmath90 confidence curves ( dotted).,title="fig:",width=415 ]    as @xmath16 behaves asymptotically like a geometric progression , we can approximately sum over all modes ( provided sufficiently many modes are calculated , so that the sequence of partial fluxes already converges approximately to the asymptotic behavior ) .
specifically , calculating the sequence @xmath91 , we can calculate the partial sums @xmath92 , and the remainder is approximated by @xmath93 , where @xmath94 is the asymptotic ratio evaluated above .
one can then approximate the total flux by @xmath95 , and use @xmath96 as a measure for the error .
we can therefore answer questions such as  how many modes @xmath0 do we need to sum over to obtain a desired accuracy level ? "
( assuming each mode individually has the desired accuracy level ) .
we show this in fig .
[ fig4 ] , that shows contour curves at a fixed accuracy level on the number of @xmath0-modes  eccentricity plane .
epsf -modes necessary for the sum over @xmath0-modes to have a certain accuracy .
we plot contour curves at a fixed level of accuracy , showing the number of @xmath0-modes needed as a function of the eccentricity @xmath87 .
the contours are at accuracy levels of @xmath97 , and @xmath98.,title="fig:",width=415 ]    based on fig .
[ fig4 ] , to determine the energy flux to 10% accuracy requires 4 modes at all values of the eccentricity @xmath17 .
we may therefore find the approximate total waveform by summing over the 4 modes of greatest energy flux .
for @xmath99 , @xmath100 , and @xmath101 , we show in figs .
[ fig5re ] and [ fig5im ] the waveform obtained when summing over these 4 modes , specifically @xmath102 .
indeed , the phase information is captured well by the sum of these 4 modes , and is no longer changing significantly by addition of more modes .
epsf   for @xmath99 , @xmath100 , and @xmath101 for @xmath103 ( dotted ) , @xmath104 ( dash - dotted ) , @xmath105 ( dashed ) and @xmath106 ( solid ) , as a function of @xmath107 . ,
title="fig:",width=415 ]     for @xmath99 , @xmath100 , and @xmath101 for @xmath103 ( dotted ) , @xmath104 ( dash - dotted ) , @xmath105 ( dashed ) and @xmath106 ( solid ) , as a function of @xmath107 . ,
width=415 ]    epsf . shown
are the phases corresponding to @xmath103 ( @xmath108 ) , @xmath104 ( @xmath109 ) , @xmath105 ( @xmath110 ) and @xmath106 ( @xmath111 ) , as a function of @xmath107 .
, title="fig:",width=415 ]
the behavior of the @xmath0-modes that corresponds to the angular frequency @xmath112 is common to both time - domain and frequency - domain approaches . in the td case
, however , the study of the behavior of the @xmath0-modes summarizes all the modes that need to be considered to get the full waveform and the total fluxes radiated . in the fd case , however , one needs to consider also the modes that arise from the three different frequencies of the problem : the @xmath7-modes , corresponding to the radial angular frequency @xmath113 , and the @xmath114-modes , corresponding to the inclination angle oscillations with angular frequency @xmath115 .
( we note that various authors exchange the notation of the latter two frequencies , @xmath116 . ) here , we concentrate on the equatorial plane , and defer discussion on motion outside the equatorial plane to a sequel .    the fd code that we use is based on the code presented in @xcite , where more details on the code can be found in addition to descriptions of the tests done to check the code and the sources for errors .
the fd numerical method is based on that of @xcite and solves the sasaki
nakamura equation @xcite using burlisch
stoer integration .
the accuracy level of the code is at the level of @xmath98@xmath117 .
values were noticed .
these inaccuracies occur for larger values of @xmath7 than those used here , and therefore do not affect our results . ]
first indication to the increase in the number of necessary @xmath7-modes with increasing eccentricity was shown in @xcite .
it should be noticed , however , that the results presented in @xcite for @xmath118 may be more indication of the failure of the solution of the radial teukolsky equation in the frequency domain and the need for the sasaki
nakamura formulation thereof , than a true behavior of the @xmath7-modes .
figure [ fig6 ] shows the flux in each @xmath7 mode for @xmath18 , after all @xmath5-modes were summed over , for @xmath99 and @xmath100 for different values of the eccentricity .
similar figures were obtained also for other values of @xmath0 .
figures [ fig6 ] and [ fig6a ] suggest the following types of behavior : first , the value of @xmath7 for which the flux is maximal shifts to higher values with the increase in eccentricity of the orbit .
second , with increasing eccentricity , the flux curve broadens ( mostly for positive values of @xmath7 , so that the curve becomes less and less symmetric in @xmath7 for high @xmath17 ) .
we also find ( fig .
[ fig6b ] ) that the peak of the flux curves become @xmath0-modal , i.e. , at high values of @xmath17 the flux curve breaks into a number of peaks equal to the mode @xmath0 .
similar behavior was reported first in @xcite .
the peaks background exhibits interesting oscillations , that appear to be independent ( or , at the most , weakly dependent ) of @xmath119 .
the broadening of the flux curves suggests that more @xmath7-modes are required in order to obtained the total flux . in what follows
we quantify this statement and make it precise .
epsf   for @xmath120.,title="fig:",width=415 ]     for @xmath120.,width=415 ]    epsf , for @xmath18 ( dotted ) , @xmath120 ( dashed ) , and @xmath121 ( solid ) , for @xmath122 .
notice that the first two curves repeat data already presented in figs .
[ fig6 ] and [ fig6a].,title="fig:",width=415 ]    the number of @xmath7-modes required at a fixed value of the eccentricity @xmath17 to obtain the total flux to a desired accuracy increases logarithmically with the accuracy .
this behavior is described in fig .
[ fig7 ] that plots the error involved in the inclusion of the @xmath123 modes ( of the greatest partial fluxes ) as a function of @xmath123 for various values of the eccentricity @xmath17 . in all cases
this behavior is exponential .
notice , however , that the slope of the fitted curve becomes steeper with increasing eccentricity .
this behavior suggests that as the eccentricity increases , the rate at which the number of @xmath7-modes that are required in order to obtain the same level of accuracy increases .
this rate also increases with the mode number @xmath0 ( fig .
[ fig8 ] ) .
notice , from fig .
[ fig6b ] , that also the number of _ negative _ @xmath7-modes increases with the mode number @xmath0 ( for fixed eccentricity ) , although not as fast as the number of positive @xmath7-modes . in fig .
[ fig9 ] we show the number @xmath123 of @xmath7-modes required for a given accuracy as a function of the eccentricity @xmath17 , for different values of the mode number @xmath0 .
the increase in @xmath123 is exponential in the eccentricity @xmath17 . for a given accuracy level ,
the exponential increase with @xmath17 becomes steeper as the mode number @xmath0 increases , as is shown in fig .
[ fig10 ] .
epsf   in summing over a number @xmath123 of @xmath7-modes , after summation over all @xmath5 , for @xmath18 , for @xmath99 and @xmath100 : @xmath101 ( @xmath111 ) , @xmath124 ( @xmath125 ) , @xmath126 ( @xmath108 ) , @xmath127 ( @xmath109 ) , @xmath128 ( @xmath129 ) , and @xmath122 ( @xmath130 ) . for each value of the eccentricity
, the solid line describes a fitted line as follows , corresponding to increasing eccentricity : @xmath131 ( @xmath132 ) , @xmath133 ( @xmath134 ) , @xmath135 ( @xmath136 ) , @xmath137 ( @xmath138 ) , @xmath139 ( @xmath140 ) , @xmath141 ( @xmath142 ) . for each fitted curve
we include the square of the correlation coefficient @xmath143,title="fig:",width=415 ]    epsf   in summing over a number @xmath123 of @xmath7-modes , after summation over all @xmath5 , for @xmath99 , @xmath100 , and @xmath126 : @xmath18 ( @xmath111 ) , @xmath120 ( @xmath109 ) , and @xmath121 ( @xmath125 ) . for each value of the eccentricity , the solid line describes a fitted line as follows , corresponding to increasing value of @xmath0 : @xmath135 ( @xmath136 ) , @xmath144 ( @xmath145 ) , @xmath146 ( @xmath147 ) . for each fitted curve
we include the square of the correlation coefficient @xmath143,title="fig:",width=415 ]    epsf   of @xmath7-modes required for an accuracy of @xmath117 as a function of the eccentricity @xmath17 . shown are 3 values of @xmath0 , and their corresponding contours , based on a fit to an exponential : @xmath18 ( @xmath111 ) , @xmath120 ( @xmath125 ) , and @xmath121 ( @xmath108 ) .
, title="fig:",width=415 ]     of @xmath7-modes required for an accuracy of @xmath117 as a function of the eccentricity @xmath17 . shown
are 3 values of @xmath0 , and their corresponding contours , based on a fit to an exponential : @xmath18 ( @xmath111 ) , @xmath120 ( @xmath125 ) , and @xmath121 ( @xmath108 ) .
, width=415 ]
the computation time of a single @xmath7 mode is a function of @xmath7 . to make a prediction of the @xmath7 dependence of the computation time for a @xmath7 mode we first write the radial teukolsky equation @xmath148 where the potential @xmath149 is a complex valued function of @xmath150 and the angular frequency @xmath151 @xcite .
the source term @xmath152 is a certain known function of the stress energy of the particle and its trajectory , and of the background geometry . as we are interested here only in the qualitative features of the solutions for eq .
( [ radial_teukolsky ] ) , the details of the source are unimportant for us here .
we next focus attention on the far field limit of eq .
( [ radial_teukolsky ] ) . to gain a qualitative understanding of the structure of the solution ,
we next consider only the asymptotic solution as @xmath153 . in that limit , @xmath154 ( corresponding to an outgoing solution ) , where @xmath155 is the usual kerr spacetime tortoise coordinate defined by @xmath156 .
the solution is an oscillatory solution in @xmath150 with angular frequency @xmath151 .
the typical length scale over which the solution is oscillating is therefore @xmath157 : the greater @xmath151 , the shorter the distance over which the solution oscillates .
the method we use to solve the frequency - domain equation is by a burlisch
stoer algorithm @xcite , that successively divides a single step into many substeps , until a ( polynomial or rational ) interpolation is accurate enough .
if the original step happens to be too large ( i.e. , after a certain pre - determined substep is calculated and the required accuracy is still not obtained ) , the original step will be bisected , and the process proceeds .
therefore , the greater @xmath151 and the shorter the oscillation length scale , the more divisions of the initial step are required , and the greater the number of substeps used to find the solution . as the angular frequency @xmath158
, it is clear that the larger @xmath7 ( for a fixed value of @xmath0 ) , the shorter the distance scale @xmath159 .
we therefore expect the computation time of a single @xmath7 mode to increase with @xmath7 .
in fact , the burlisch  stoer algorithm suggests that as @xmath160 increases , the more substeps are needed , until for some value of @xmath7 dividing the step into substeps is no longer sufficient , and the step is bisected .
then , division into substeps is again sufficient , until another @xmath7 value is obtained for which the step is bisected . each time the step is bisected , the total number of substeps computed jumps discontinuously , so that we expect the @xmath7 mode computation time to increase as a staircase function . in fig .
[ fig11 ] we show the computation time of an individual @xmath7 mode as a function of @xmath7 , and also the number of burlisch  stoer iterations done .
they both behave as expected .
the preceding discussion suggests that a similar behavior of the computation time is found also as a function of @xmath0 .
this is indeed seen in fig .
[ fig12 ] .
epsf   for the @xmath0 modes . here , @xmath161 and @xmath162 .
, title="fig:",width=415 ]     for the @xmath0 modes . here , @xmath161 and @xmath162 .
, width=415 ]    as can be seen from figs .
[ fig11 ] and [ fig12 ] the discontinuous jumps in the mode computation times occur at different values of @xmath163 .
indeed , our discussion about explains this behavior : jumps occur when the angular frequencies @xmath160 arrive at some threshold values , corresponding to threshold wavelengths . as these threshold values should be about the same
, we expect jumps to occur for @xmath164 satisfying @xmath165 . notice that @xmath166 ( @xmath167 ) is defined here for vanishing @xmath0 ( @xmath7 ) . for the data presented here , for @xmath127 we find @xmath168 , while @xmath169 ; for @xmath128 we find @xmath170 , while @xmath171 ; and for @xmath122 we find @xmath172 , while @xmath173 , so that the difference between @xmath174 and @xmath175 is at order 10% .
we argue that these results support our interpretation of the discontinuous jumps in the computation time .
our discussion suggests that for a fixed value of @xmath7 ( @xmath0 ) and varying @xmath0 ( @xmath7 ) , there are values of the latter for which the computational time drops .
these are the values that approximately satisfy @xmath176 .
( recall that @xmath177 can be either positive or negative . )
that is , while fixing either @xmath7 or @xmath0 and varying the other , we expect to find a drop in the computation time ( or , equivalently , in the number of burlisch  stoer iterations . ) indeed , we find this behavior , as is shown in fig .
[ fig13 ] .
notice , that for @xmath161 the drop in computational time is found for @xmath178 , and as @xmath7 increases , so does the value of @xmath0 for which the drop is found .
we also comment that this drop is broadened with increasing values of @xmath7 .
epsf   for fixed values of @xmath7 , for the same orbital parameters as above , for @xmath101 .
, title="fig:",width=415 ]    the dependence of the computational time on the mode number @xmath7 is therefore rather intricate .
it can be approximated as follows : for each value of the eccentricity @xmath17 we take in practice the computational time of a single mode @xmath7 to be a linear function of @xmath7 , that fits the computational data .
this approximation underestimates the computation time for some @xmath7 modes , specifically those immediately following a discontinuous jump in the computation time , and overestimates the computation time for @xmath7 modes just before a jump .
however , as we are mostly interested in the total computation time of the sum over all modes , this approximation may be quite reasonable for the sum over all modes . in this approximation
the sum over @xmath7 modes up to some @xmath8 is a quadratic function of @xmath8 .
notice , that we can use fig .
[ fig7 ] and [ fig8 ] to find how many @xmath7 modes we need to sum over to obtain the required accuracy level .
epsf   modes from @xmath161 to @xmath179 as a function of the eccentricity @xmath17 .
the computation time is presented in units of the maximal computation time in the chosen range of parameters .
, title="fig:",width=415 ]
finally , we put together all the previous results , to compare the actual total calculation time of td and fd codes .
we choose an orbit that gives no special preference for one approach over the other , i.e. , a moderate value for the eccentricity . in practice , we take @xmath128 and @xmath180 .    for the fd calculation we first set the desired level of accuracy , which in practice we choose here to be @xmath181 , and then use fig .
[ fig4 ] ( or the data in table [ table5 ] ) to determine the number of @xmath0 modes one needs to sum over to guarantee the desired accuracy level .
the needed number of @xmath0 modes is found in practice to be 7 , for @xmath182 .    for each individual @xmath0 mode
we then determine the number of @xmath7 modes necessary to obtain the desired accuracy level .
this determination is done with data as in figs .
[ fig9 ] and [ fig10 ] .
the values of the @xmath7 modes we used in practice are as follows : for @xmath18 we used @xmath183 , for @xmath120 we used @xmath184 , for @xmath121 we used @xmath185 , for @xmath186 we used @xmath187 , for @xmath188 we used @xmath189 , for @xmath190 we used @xmath191 , for @xmath192 we used @xmath193 , and for @xmath194 we used @xmath195 . in all cases we computed @xmath196 .
the data are summarized in table [ table6 ] and in fig .
[ fig15 ] .
the fd calculations were optimized for most efficient calculation for the desired accuracy level .
improvements to the computation time can be achieved , but only at the level of the code , e.g. , making the burlisch
stoer algorithm more efficient .
we believe that while such improvements can be made , their effect would be moderate . in this sense ,
the fd curve in fig .
[ fig15 ] represents a lower bound on the fd calculation time .
increasing the eccentricity of the orbit @xmath17 would result in the fd curve of fig .
[ fig15 ] moving up in the figure ( increase in the calculation time of each @xmath0 mode , because of increasing number of required number of @xmath7 modes and increase in the computation time of individual @xmath7 modes ) and also having a faster growth rate .
modes & fd time ( sec ) & td time ( sec ) 2 & @xmath183 & 13 & 51 & 954 3 & @xmath184 & 17 & 99 & 945 4 & @xmath185 & 20 & 116 & 952 5 & @xmath187 & 24 & 179 & 942 6 & @xmath189 & 25 & 218 & 953 7 & @xmath191 & 28 & 254 & 953 8 & @xmath193 & 30 & 303 & 952 9 & @xmath195 & 35 & 391 & 942    [ table6 ]    for the td calculations we used the 2 + 1d code of @xcite , with radial resolution of @xmath197 ( and temporal resolution of @xmath198 ) , and angular resolution of @xmath199 .
we placed the inner and outer boundaries at @xmath200 and at @xmath201 , respectively .
we approximate the scattering problem on the boundaries by assuming sommerfeld boundary conditions , i.e. , no incoming radiation from outside the boundaries .
one may of course make this approximation better by pushing the outer boundary outwards ( and the inner boundary inwards ) .
reflections from the boundaries then do not contaminate the center of the computational domain ( at @xmath202 ) until @xmath203 , and we integrate in time until then . in practice , we wait at each evaluation point until the initial spurious waves ( that result from imprecise initial data that correspond to a particle suddenly appearing at @xmath204 ) , and then average the flux over a full period of the orbit .
the angular period is @xmath205 , where @xmath150 is the semimajor axis . for our choice of parameters , @xmath206 .
the radial period is found to be @xmath207 , and it is the latter ( radial ) period we use for our analysis .
we extract the ( radial period averaged ) flux at a number of extraction distances , in practice at @xmath208 , and then fit the ( finite extraction distance ) fluxes to an inverse - square function as in eq .
( [ ansatz ] ) .
this allows us to achieve fluxes that agree with the fd fluxes to @xmath181 , while not having to integrate to very late times ( and commensurately increase also the spatial computational domain ) .
notably , we can obtain higher accuracy than that reported in @xcite while integrating to a shorter time because we make use of the finite time corrections to the energy flux .
we discuss this method in detail in the appendix .    the td computational time is presented in table [ table6 ] .
it can be made more efficient using code improvements , and data analysis improvements .
first , we used gaussian source modeling as in @xcite , and the discrete @xmath209 approach may improve efficiency considerably .
in fact , ref .   @xcite has argued for a full order of magnitude reduction in computation time . while this statement may be an overestimate of the numerical capabilities especially for generic ( i.e. , eccentric or inclined ) orbits it is certainly possible to improve the efficiency of the td code by changing the method of calculation of the source term .
( the discrete delta approach has also other advantages over the gaussian model .
see @xcite for more detail . )
an important property of the td code is that it is very naturally parallelizable .
certainly the fd computation is also parallelizable , most naturally by having each @xmath7 mode computed on a different processor .
in such a case , the total fd computation time is controlled by the @xmath7 mode that takes the longest to compute , i.e. , the largest @xmath7 ( see fig .  [ fig11 ] ) .
another improvement of efficiency of the fd code may come from improvements of the burlisch
stoer engine , specifically the solution for @xmath210 instead of @xmath150 .
it is currently unknown how the computational efficiency and numerical accuracy would be affected by such a change .
one factor that limits a possible reduction of the td computation time is the need to average over an orbital ( radial ) period to find the average flux per period . even for the strong field orbit considered here , with @xmath100 and @xmath128 ,
the radial period is @xmath211 , which puts a lower bound on how short the computational integration can be .
one could perhaps shorten the computation time if only half an orbital period is computed , but because the phase of the orbit at the end of the spurious wave epoch is arbitrary , on the average at least three quarters of an orbit need to be computed .
however , we were interested here in comparison of the fluxes to infinity .
if one is interested in the wave function itself , shorter computation times can be used , thus saving much of the td computation time .
no equivalent save in time can be achieved with the fd computation .
reduction of the td computation time would result in the dashed line in fig .
[ fig15 ] moving lower , thus making the computational time of td and fd comparable already for lower @xmath0 values .
most importantly , when higher eccentricity orbits are considered , the td computation time remains unchanged , whereas the fd computation time increases considerably .
more specifically , not only is the solid curve in fig .
[ fig15 ] shifted up , it also becomes steeper ( i.e. , its rate of growth increases ) , so that the td and fd computation times become comparable for lower @xmath0 values .
in addition , the td calculation does not require any extra computation to find the waveform , as it is already available .
in fact , an extra computation was needed to find the fluxes . on the other hand
, the fd calculation requires an extra computation to produce the waveform , which we have not done here .
therefore , the greater efficiency of fd over td for the modes shown here is much less impressive when the computation time for waveforms is of interest .
we therefore suggest that at high eccentricity orbits the computational efficiency of the td and the fd approaches is comparable for high @xmath0 values .
we believe that the question of the total ( sum over @xmath0 ) computation time is not necessarily a very important one , and suggest that for actual computations the low @xmath0 modes are calculated using the fd approach , and the high @xmath0 modes are calculated using the td approach . the determination of which @xmath0 values are low and which are high depends of course on the parameters of the system , and the accuracy level of the computation . using a single method , however , could still possibly make td more efficient than fd for very high values of the eccentricity .
epsf   and @xmath128 as a function of the mode number @xmath0 .
the circles ( @xmath111 ) denote fd computation time , and the squares ( @xmath109 ) show td computation times .
both sets of runs were done on the same computer , in this case a single processor of a dual 2.7ghz powerpc g5 .
the red curve is the fitted curve @xmath212 , that fits the numerical data with a squared correlation coefficient of @xmath213 . for both cases the accuracy level
is set at @xmath181 .
, title="fig:",width=415 ]    in the analysis of this paper we have focused on equatorial orbits .
such orbit simplify the problem not just computationally : the number of dimensions in the fd parameter space is significantly lower than that for generic orbits . while the analysis of equatorial orbits presented here is non - trivial , the added complications of handling generic orbits warrant separate treatment .
when generic orbits are considered , finding the number of @xmath5 modes required to achieve a set accuracy level with the fd approach becomes a non - trivial problem , as is the question of finding the computational time of each @xmath5 mode as a function of the mode number .
notably , the td calculations remain unchanged , as is the associated computation time .
we therefore expect the fd computation time to increase significantly with the transition from equatorial to inclined and then generic orbits , an increase that has no counterpart in the td case .
to do such an analysis , one needs to check the behavior of all combinations of the modes @xmath214 , find the minimal number of modes required for a set accuracy level , and then compute those modes .
the td calculation requires that the same number of @xmath0 modes are computed , and this computation time depends only on the duration of the computation , the size of the computational domain , and of course the grid resolution .
modest improvements to the td computation time may be achieved by improving the efficiency of the source calculations ( e.g. , the discrete delta approach ) , but they are not expected to be as dramatic as previously suggested @xcite .
we expect the threshold eccentricity above which the td approach is more computationally efficient than the fd approach for some of the needed @xmath0 modes to be moderate  high , specifically in the range of @xmath9@xmath10 .
the authors are indebted to kostas glampedakis for discussions and for making his fd code available to us .
lmb was supported in part by nasa / gsfc grant no .
ncc5580 , nasa / ssc grant no .
nnx07al52a , and by a minigrant from the office of the vice president for research at uahuntsville .
gk is grateful for research support from the university of massachusetts ( dartmouth )  college of engineering , the hpc consortium and sony corporation of america ( scea ) .
djl was supported by a research experiences for undergraduates in science and engineering fellowship , sponsored by the alabama space grant consortium under contract nng05ge80h and by the uahuntsville president s office .
the peeling theorem describes how the various components of the gravitational field of a bound gravitational system behave as the observer moves away from the source ( see , e.g. , @xcite ) .
specifically , in the wave zone of a radiating system , the @xmath215 component of the weyl curvature which describes in the wave zone the outgoing transverse radiative degrees of freedom typically drops off as @xmath216 , where @xmath150 is the distance from the radiating system .
the peeling theorem also gives the drop off rates for the remaining weyl scalars , and also for spin coefficients and other newman  penrose quantities .
in addition to the leading order decay rate , the peeling theorem has been extended also to include correction terms in @xmath217 .
specifically , newman and unti showed that @xcite @xmath218 where @xmath219 is a spin coefficient and @xmath220 is an  integration constant " from the radial equations .
a superscript  @xmath221 " means the coefficient of the slowest decaying term in an expansion in @xmath217 . as the flux of energy in gravitational waves at infinity @xmath222
, @xmath223 is directly related to the flux at infinity .
notably , the leading order corrections in @xmath217 to @xmath215 are proportional to the _ asymptotic _ value of the weyl scalar @xmath224 and its gradient . in the teukolsky formalism ,
that conveniently describes black hole perturbations , the weyl scalar @xmath225 (  transverse frame " ) , so that the leading order correction to @xmath215 is at the next order : @xmath226 .
therefore , @xmath227
^ 2\sim ( \psi_4 ^ 0)^2\,[1+o(r^{-2})]\ , .\ ] ]    we therefore are motivated to introduce the ansatz @xmath228
\label{ansatz}\ ] ] where @xmath229 , and @xmath230 is the boyer
lindquist radius of the orbit .
notice that @xmath231 , so that our ansatz can be written as @xmath232 $ ] .
note that the expansion parameter @xmath233 , as the field is evaluated far from the radiating system , specifically outside the  light cylinder . "
this ansatz is also suggested by fig .  1 of ref
.  @xcite and by table vi of ref .
@xcite , where a best fit was done to the ansatz @xmath234 $ ] , and the free parameter @xmath15 was found numerically to be rather close to 2 ( with deviations of @xmath235 ) for a large range of orbits .
we test our ansatz by fitting the outgoing flux of energy for a number of circular and equatorial orbits around a kerr black hole as detected at a sequence of distances from the radiating system to the ansatz ( [ ansatz ] ) . in table
[ table1 ] we show the outgoing fluxes from particles in circular orbits around a kerr black hole , taken at a sequence of distances . table [ table2 ] shows the squared correlation coefficient for the various cases we have checked . in all cases the high value of the correlation coefficient corroborates our ansatz . in table
[ table3 ] we show the values of the free parameter @xmath236 for the same cases .
lastly , in table [ table4 ] we compare the flux to infinity based on the ansatz ( [ ansatz ] ) to the flux obtained from a frequency - domain calculation .
notably , the associated errors appear to be larger for @xmath237 than for @xmath238 .
we attribute these higher errors to the lower values of the flux for high values of @xmath0 . specifically , to obtain
the flux with the time domain one needs to first subtract the  flux " due to the spurious radiation associated with the initial time of the simulation @xcite .
as the fluxes become smaller , this subtraction becomes less accurate .
@xmath239 & @xmath240 & @xmath241 & @xmath242 & @xmath243 & @xmath244 & @xmath245 1 & 4.0 & 0.99 & @xmath246 & @xmath247 & @xmath248 & @xmath249 & @xmath250 & @xmath251 2 & 4.0 & 0.99 & @xmath252 & @xmath253 & @xmath254 & @xmath255 & @xmath256 & @xmath257 3 & 4.0 & 0.99 & @xmath258 & @xmath259 & @xmath260 & @xmath261 & @xmath262 & @xmath263 4 & 4.0 & 0.99 & @xmath264 & @xmath265 & @xmath266 & @xmath267 & @xmath268 & @xmath269 5 & 4.0 & 0.99 & @xmath270 & @xmath271 & @xmath272 & @xmath273 & @xmath274 & @xmath275    1 & 10 & 0.90 & @xmath276 & @xmath277 & @xmath278 & @xmath279 & @xmath280 & @xmath281 2 & 10 & 0.90 & @xmath282 & @xmath283 & @xmath284 & @xmath285 & @xmath286 & @xmath287 3 & 10 & 0.90 & @xmath288 & @xmath289 & @xmath290 & @xmath291 & @xmath292 & @xmath293 4 & 10 & 0.90 & @xmath294 & @xmath295 & @xmath296 & @xmath297 & @xmath298 & @xmath299 5 & 10 & 0.90 & @xmath300 & @xmath301 & @xmath302 & @xmath303 & @xmath304 & @xmath305    1 & 10 & 0.99 & @xmath306 & @xmath307 & @xmath308 & @xmath309 & @xmath310 & @xmath311 2 & 10 & 0.99 & @xmath312 & @xmath313 & @xmath314 & @xmath315 & @xmath316 & @xmath317 3 & 10 & 0.99 & @xmath318 & @xmath319 & @xmath320 & @xmath321 & @xmath322 & @xmath323 4 & 10 & 0.99 & @xmath324 & @xmath325 & @xmath326 & @xmath327 & @xmath328 & @xmath329 5 & 10 & 0.99 & @xmath330 & @xmath331 & @xmath332 & @xmath333 & @xmath334 & @xmath335    1 & 12 & 0.0 & @xmath336 & @xmath337 & @xmath338 & @xmath339 & @xmath340 & @xmath341 2 & 12 & 0.0 & @xmath342 & @xmath343 & @xmath344 & @xmath345 & @xmath346 & @xmath347 3 & 12 & 0.0 & @xmath348 & @xmath349 & @xmath350 & @xmath351 & @xmath352 & @xmath353 4 & 12 & 0.0 & @xmath354 & @xmath355 & @xmath356 & @xmath357 & @xmath358 & @xmath359 5 & 12 & 0.0 & @xmath360 & @xmath361 & @xmath362 & @xmath363 & @xmath364 & @xmath365       0.999899201 & 0.9956862 & 0.99507507 ii & 0.99999139 & 0.99996189 & 0.99996031 & 0.999946517 & 0.99994224 iii & 0.99999644 & 0.99996171 & 0.99995783 & 0.998752311 & 0.99997298 iv & 0.99978769 & 0.99994700 & 0.99997873 & 0.99999386 & 0.99997505       0.86647(5 ) & 1.9655(3 ) & 1.9622(4 ) ii & 2.3812(2 ) & 0.6156(4 ) & 0.6915(4 ) & 0.7751(5 ) & 0.7716(5 ) iii & 2.4132(1 ) & 0.6224(4 ) & 0.6976(4 ) & 0.799(2 ) & 0.7734(5 ) iv & 2.250(2 ) & 0.5857(7 ) & 0.6287(5 ) & 0.6950(3 ) & 0.6917(5 )         @xmath239 & @xmath366 & @xmath367 & @xmath368 1 & 4.0 & 0.99 & @xmath369 & @xmath370 & -0.0187 2 & 4.0 & 0.99 & @xmath371 & @xmath372 & -0.0047 3 & 4.0 & 0.99 & @xmath373 & @xmath374 & 0.0023 4 & 4.0 & 0.99 & @xmath375 & @xmath376 & -0.0155 5 & 4.0 & 0.99 & @xmath377 & @xmath378 & -0.0051    1 & 10 & 0.90 & @xmath379 & @xmath380 & -0.0154 2 & 10 & 0.90 & @xmath381 & @xmath382 & 0.0018 3 & 10 & 0.90 & @xmath383 & @xmath384 & 0.0010 4 & 10 & 0.90 & @xmath385 & @xmath386 & -0.0125 5 & 10 & 0.90 & @xmath387 & @xmath388 & -0.0123    1 & 10 & 0.99 & @xmath389 & @xmath390 & -0.0162 2 & 10 & 0.99 & @xmath391 & @xmath392 & -0.0002 3 & 10 & 0.99 & @xmath393 & @xmath394 & 0.0007 4 & 10 & 0.99 & @xmath395 & @xmath396 & -0.0023 5 & 10 & 0.99 & @xmath397 & @xmath398 & -0.0042    1 & 12 & 0.0 & @xmath399 & @xmath400 & -0.0073 2 & 12 & 0.0 & @xmath401 & @xmath402 & 0.0033 3 & 12 & 0.0 & @xmath403 & @xmath404 & 0.0010 4 & 12 & 0.0 & @xmath405 & @xmath406 & -0.0114 5 & 12 & 0.0 & @xmath407 & @xmath408 & -0.0107        j.  r.  gair , c.  li , and i.  mandel , phys .
d*77 * , 024035 ( 2008 ) and references cited therein .
j.  r.  gair , l.  barack , t.  creighton , c.  cutler , s.  l.  larson , e.  s.  phinney , and m.  vallisneri , class .
quantum grav .
* 21 * , s1595 ( 2004 ) .
k.  glampedakis and d.  kennefick , phys .
d * 66 * , 044002 ( 2002 ) .
s.  a.  hughes , phys .
d * 61 * , 084004 ( 2000 ) .
r.  lopez  aleman , g.  khanna , and j.  pullin , class .
quantum grav .
* 20 * , 3259 ( 2003 ) .
g.  khanna , phys .
d * 69 * , 024016 ( 2004 ) .
l.  m.  burko and g.  khanna , europhysics letters * 78 * , 60005 ( 2007 ) [ arxiv : gr - qc/0609002 ] .
a.  sundararajan , g.  khanna , and s.  a.  hughes , phys .  rev .
d ( in press ) [ arxiv : gr - qc/0703028 ] .
a.  sundararajan , g.  khanna , s.  a.  hughes , and s.  drasco , arxiv:0803.0317 .
w.  schmidt , class .
quantum grav .
* 19 * , 2743 ( 2002 ) .
s.  drasco and s.a .
hughes , phys .  rev .
d * 69 * , 044015 ( 2004 ) .
l.  s.  finn and k.  s.  thorne , phys .
d * 62 * , 124021 ( 2000 ) .
p.  c.  peters and j.  mathews , phys .
rev .  * 131 * , 435 ( 1963 ) .
l.  s.  finn , private communication .
hughes , phys .
d * 61 * , 084004 ( 2000 ) ; erratum - ibid .
d * 63 * 049902 ( 2001 ) . c.  cutler , l.  s.  finn , e.  poisson , and g.  j.  sussman , phys .
d * 47 * , 1511 ( 1993 ) .
m.  sasaki and t.  nakamura , prog .
* 67 * , 1788 ( 1982 ) .
w.h .  press , s.a .
teukolsky , w.t .
vetterling , and b.p .
flannery , _ numerical recipes : the art of scientific computing _
, third ed .
( cambridge university press , cambridge , 2007 ) .
h.  stephani , _ relativity : an introduction to special and general relativity _ , 3@xmath409 ed .
, ( cambridge university press , cambridge , 2004 ) .
j.  stewart , _ advanced general relativity _ ( cambridge university press , cambridge , 1990 ) .
e.  t.  newman and t.  unti , j.  math .
phys .  * 3 * , 891 ( 1962 ) .