Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: einstein s theory of general relativity is described by a complicated set of coupled , nonlinear partial differential equations . like the maxwell equations of classical electromagnetism , the einstein equations are over - determined , and can be separated into hyperbolic evolution and elliptic constraint equations , as in the arnowitt  deser  misner ( adm ) decomposition  @xcite . the complexity of these equations is such that analytic solutions have been found for only very special configurations , and numerical studies arguably provide the only means to explore a wide variety of astrophysical and theoretically significant problems  @xcite . unfortunately , these numerical solutions are often prone to various instabilities , which we divide into three classes : ( 1 ) continuum instabilities , ( 2 ) numerical instabilities and ( 3 ) artificial long - term `` instabilities '' ( alti ) . _ continuum instabilities _ exist in the formulation of the continuum problem ( and thus are naturally reflected in any consistent numerical scheme ) , and are characterized by the solution itself or some perturbation of it either `` blowing up '' at a finite time or growing fast in time . these instabilities may reflect physical phenomena , such as turbulence in fluids or the threshold of black hole formation  @xcite , or may be an artifact of the formulation of the problem . for instance , ill - posed problems suffer from these instabilities , which also manifest themselves as numerical ones ( see  @xcite , and  @xcite for an illustration in numerical relativity ) . _ numerical instabilities _ are characterized by errors that , at a fixed time , _ increase _ as the discretization scale is decreased . these instabilities are present in many discretization schemes for well - posed problems that appear `` natural '' , such as the forward - time , centered - space scheme for the advection equation . finally , _ alti _ are sometimes exhibited even by numerically _ stable _ implementations , whenever errors grow too fast for the desired simulation time - scale and available computational resources . although these may not be instabilities in the strict sense , given that as defined here they are not present at the continuum and do go away with resolution , they are problematic in practice as they limit the time - length of a reliable simulation . in this paper we focus on this long - term error growth together with the application of the techniques described in  @xcite , which throughout this work we refer to as paper  i.    the stability of finite difference approximations ( fdas ) for simple initial value problems ( ivp ) with constant coefficients and periodic boundaries is often analyzed in discrete fourier space , by examining the norm of the amplification matrix . this method , however , does not generalize in a straightforward way to more complicated problems , such as those with variable coefficients or those with boundaries . a more powerful technique is based on the energy method  @xcite , also used to identify well - posed continuum problems . this method can be used in all problems for which the continuum energy method applies , e.g. , quasi - linear parabolic and symmetric hyperbolic partial differential equations with appropriate boundary conditions . the discrete formulation reproduces the continuum analysis , including the calculation of a discrete energy estimate , which can be used to meet sufficient conditions for a stable numerical method . combining these estimates with the consistency of the discrete system with the continuum problem , stability of the linear problem is equivalent to convergence via the lax equivalence theorem  @xcite . while our focus in general relativity is on the nonlinear einstein equations , stability of the linearized equations is obviously a necessary step for solving non - linear problems , in particular those with smooth solutions . in the absence of matter , smooth solutions are indeed expected in general relativity when appropriate slicing conditions are used  @xcite .    as described in paper  i , a discrete energy estimate can be obtained when using finite difference operators that satisfy _ summation by parts _ ( sbp ) @xcite , a discrete version of integration by parts , as well as appropriate boundary conditions  @xcite and time integrators  @xcite . paper  i presents and extends these techniques in the context of numerical relativity . in this paper we demonstrate these techniques using some common test problems employed in the field . we evolve klein  gordon scalar fields and maxwell fields on fixed schwarzschild spacetimes . we also consider gauge wave spacetimes , obtained via coordinate transformations of flat spacetime . we show that we naturally obtain stable and convergent numerical schemes by construction , even when an inner boundary is used to remove the black hole singularity ( black hole excision )  @xcite . a second goal of this paper is to understand some causes of long - term error growth ( alti ) , and ways of eliminating or minimizing it by achieving _ strict stability _  @xcite . numerical solutions of the einstein equations are frequently plagued by such long - term errors . since at least some of these appear in numerically stable implementations , their cause is often attributed to the formulation of the equations . while this may be the case in a number of problems , as discussed below , some numerical experiments of simple differential equations with no continuum instabilities also display this same artificial long - term instability even when discretized in a numerically stable way. hence , it is important to devise _ numerical _ techniques to control this spurious growth in the numerical error . we find that this spurious error growth is allowed in the absence of sharp energy estimates for the discrete problem . this can arise , from among other reasons , because the discrete derivatives fail to satisfy the leibnitz rule . with this observation in mind , we discuss here a method to remedy some of these problems by constructing schemes that suppress excitations of alti . this work is organized as follows : we first summarize , in section ii , some results from paper  i , in order to introduce some notation . section  [ strict ] discusses the notion of strict stability , and we present simple examples of `` natural '' schemes that are numerically stable but not strictly stable , for which the errors grow fast in time . we then explain the basic strategy to achieve strict stability , and show how this eliminates alti . in section  [ equations ] we present some test problems from numerical relativity : three - dimensional scalar and electromagnetic fields propagating on a fixed schwarzschild black hole geometry , and one - dimensional perturbations of a dynamical slicing of flat spacetime ( `` gauge wave '' ) . the first cases allow us to test black hole excision , while the gauge wave has a time dependent background without a sharp energy estimate . however , a sharp energy estimate does exist for the subsidiary constraint system , and it can be used to understand the nature of the alti and suppress them . although more work would need to be done , these observations and ideas could be useful when evolving einstein s equations in more complicated situations . in section  [ simulations ] we present numerical simulations of the systems discussed in section  [ equations ] . finally , in appendix  [ smallness ] we discuss cubical excision boundaries for black hole spacetimes . we first review the construction of numerically stable finite - difference schemes using the discrete energy method for linear , symmetric hyperbolic initial - boundary value problems ( ibvps ) with maximally dissipative boundary conditions . while the discussion here is brief , further information can be found in the standard text by gustaffsson , kreiss , and oliger  @xcite , works by olsson  @xcite , and paper  i , for their particular application in numerical relativity . sufficient conditions for a stable discretization are fulfilled when :    1 . the continuum problem can be shown to be well posed using the energy method . 2 .   spatial difference operators that satisfy sbp on the computational domain are used . boundary conditions are imposed via orthogonal projections  @xcite . the semi - discrete equations are integrated with a _ locally stable _ time integrator , e.g. , third or fourth order runge  kutta  @xcite . optionally , explicit dissipation may be added using operators that do not spoil the energy estimates , and different ways of writing the discrete equations may be explored to achieve strict stability .    as an example , consider a set of linear , symmetric hyperbolic equations on a one - dimensional domain , @xmath0 $ ] . this domain is discretized with points @xmath1 , @xmath2 , where @xmath3 , and a discrete scalar product , @xmath4 is introduced for some positive definite matrix with elements @xmath5 . in the limit @xmath6 this scalar product approaches the continuum one given by @xmath7 the standard continuum derivative operators and scalar products satisfy integration by parts : @xmath8 similarly , a discrete difference operator @xmath9 is said to satisfy sbp , if there is a scalar product with respect to which @xmath10 holds . the simplest difference operator and scalar product that satisfy sbp on this domain are @xmath11 where @xmath12 , @xmath13 , @xmath14 , and the scalar product is diagonal : @xmath15 for @xmath16 . higher order operators satisfying sbp have been constructed by strand  @xcite . domains with inner boundaries in several dimensions introduce additional complexities , and we refer the reader to paper  i for more information . we sometimes use explicit numerical dissipation . for that purpose we modify near boundaries the standard kreiss  oliger dissipative operator for second order derivatives , @xmath17 , so that it does not spoil the semi - discrete estimate , i.e. , so that it satisfies @xmath18 . the operator @xmath17 , which is fully described in paper  i , is added to the right - hand side of the evolution equations . in the absence of inner boundaries , it is ( on each direction ) @xmath19 we discretize the equations in time using the method of lines , and use third - order runge  kutta to integrate the equations . more precisely , for the ordinary differential system @xmath20 we integrate the solution @xmath21 , defined at time @xmath22 , to the advanced time , @xmath23 , obtaining @xmath24 , through @xmath25 where @xmath26 throughout this paper we call artificial long - term instabilities ( alti ) those instabilities that are _ neither _ numerical  the errors at a fixed time do not become larger when the resolution is increased , but rather converge to zero_nor _ true instabilities of the continuous solution . these instabilities , as shown in some examples below , can appear quite generically in long - term simulations . there are least two possible ways to suppress alti s :    1 . constructing _ strictly stable _ discretizations with respect to a conveniently defined energy . the equations are written such that a sharp continuum estimate also holds for the semi - discrete equations . the semi - discrete energy will then closely mirror the continuum energy estimate . explicit numerical dissipation can be used to eliminate high frequency errors , shifting the spectrum of the amplification matrix . although the latter solution is easy to implement , it may not be effective if the alti excites low frequency modes . the first solution , on the other hand , does not introduce artificial damping , but such a discretization may be difficult or even impossible to find for generic systems of equations . for example , no general sharp estimate for the full einstein equations is known at this time . thus , these two possibilities can be seen as complementary to each other . the energy of a solution , @xmath27 , of a set of linear partial differential equations is defined as @xmath28 where @xmath29 is a positive definite symmetrizer for the system . this energy is not unique , reflecting the freedom in choosing the symmetrizer , @xmath29 . the energy method provides an estimate for the growth rate of the energy in the form of an inequality , say , @xmath30 and thus provides a bound to the energy growth . this bound may be much larger than the actual growth rate for the continuum solution , in which case we say that the energy estimate is _ coarse . _ when the estimate is close to the actual energy growth rate of a solution , the estimate is _ sharp . _ while the behavior of the continuum solution is independent of a particular bound , as we discuss in this paper , numerical solutions sometimes do have a large growth if this is allowed . thus , the sharper the bound is , the smaller the possible spurious growth in the numerical solution . finding a sharp estimate is problem - dependent , and the definition of a convenient energy has to be analyzed on each case . one usually attempts to find a sharp energy bound by exploiting the freedom in choosing the symmetrizer . for example , a well - defined local physical energy exists in many physically motivated problems , which can be used to select a preferred symmetrizer . the evolution equations must be written such that they are symmetrizable with respect to this energy , but this is in general possible . although a locally positive definite energy for the einstein equations does not exist , relatively sharp estimates exist for some problems  @xcite . the energy method can be used to derive discrete estimates . using difference operators that satisfy sbp and representing the boundary conditions through orthogonal projections , the semi - discrete calculation mirrors the continuum analysis . when a discrete energy estimate is present , the discrete system is numerically stable by construction . a discrete system with the same energy estimate as the continuum problem may be defined as strictly stable . however , we are particularly interested in systems for which the energy estimate is sharp , and we therefore reserve the term _ strictly stable _ for discrete systems that match a sharp continuum energy estimate .    assuming a sharp energy estimate exists for the continuum problem , in this paper we consider how the discrete problem might be implemented to preserve this sharp estimate at the numerical level . this can be exploited to achieve long - term stability in an otherwise numerically stable but long - term unstable scheme . throughout this paper we only use numerically stable schemes , even when not explicitly mentioned . therefore , we concentrate on their long - term stability . finally , we note that the sharp energy estimates discussed here are for semi - discrete systems , where time is continuous but space has been discretized . a sharp estimate may , in principle , be lost owing to error introduced by the temporal integration . the experiments presented in this paper and in @xcite suggest that ( at least in the cases considered ) if strict stability is lost , the effects are not serious . the semi - discrete analysis appears to adequately represent the fully discrete simulation . consider the initial - boundary value problem defined by the equation @xmath31 , \qquad t\ge 0 \ ; , \label{1d}\ ] ] together with some initial data and maximally dissipative boundary conditions . let us consider the numerically stable discretization defined by @xmath32 with the discrete derivative , @xmath9 , given by eq . ( [ simpled ] ) , third - order runge  kutta for the time integration [ cf . ( [ eq : rk3 ] ) ] , and maximally dissipative boundary conditions imposed through orthogonal projections . figure [ conv_simple_eq ] shows results from simulations using this numerical scheme and @xmath33 as initial data and @xmath34 as boundary conditions , which corresponds to the time - independent solution @xmath35 . the figure plots the @xmath36 norm of the errors with respect to the exact solution as a function of time , at different resolutions ( obtained on uniform grids , where the number of points ranges from @xmath37 to @xmath38 ) . at a fixed time , the errors decrease with resolution , verifying that , as expected , the scheme is numerically stable . at fixed resolution , however , the error grows as a function of time , i.e. , the solution has long - term error growth , or alti . norm of the solution error for eq . ( [ 1da ] ) as a function of time at many different discretization scales , with initial data @xmath39 and boundary conditions @xmath34 . the solution is calculated with a numerically stable discretization that is not strictly stable . although convergent , the error in the solution clearly displays an exponential growth . the cfl factor used is 0.8 . , height=226 ]    . [ conv_simple_eq ]    to understand this behavior we examine an energy norm of the solution . let the continuum energy is used to denote that this is the first energy defined for this system . ] be ( using @xmath40 ) @xmath41 we obtain an energy estimate by taking a time derivative in both sides of eq . ( [ cenergy1 ] ) and using the evolution equation ( [ 1d ] ) , obtaining @xmath42 that is , @xmath43 only integration by parts was used to derive this estimate , between eqs . ( [ before ] ) and ( [ after ] ) . now consider the discrete problem . we define a semi - discrete energy analogous to that one defined in eq . ( [ cenergy1 ] ) , namely @xmath44 the derivation of the above continuum energy estimate can be repeated at the semidiscrete level , provided the difference operator satisfies sbp , since only integration by parts was used at the continuum . therefore , the same estimate holds for the semi - discrete energy defined in eq . ( [ denergy1 ] ) . that is , @xmath45    the continuum estimate , eq .  ( [ bad_estimate ] ) , and the semi - discrete counterpart , eq . ( [ bad_destimate ] ) , guarantee that the norm of the continuum and numerical solutions will grow with a rate bounded by @xmath46 . as these are estimates , this does not mean that the exponential growth actually occurs . indeed , the continuum solution does not grow , since eq . ( [ 1d ] ) is the advection equation with the time - independent change of variables , @xmath47 . with this transformation , eq . ( [ 1d ] ) becomes @xmath48 . however , the results shown in fig .  [ conv_simple_eq ] indicate that an exponential growth does appear in the numerical solution . we now define a new energy , . ] that allows for a sharper energy estimate and , consequently , a better discrete system . let this new energy ( defined with @xmath49 ) be @xmath50 as before , an estimate is obtained by differentiating in time , substituting in the evolution equations , and using integration by parts to get @xmath51 in deriving the estimate ( [ good_estimate ] ) we have used the leibnitz rule , in the third equality . the analogous semi - discrete energy is now @xmath52 however this semi - discrete energy will not , in general , satisfy a discrete version of the continuum estimate given in ( [ good_estimate ] ) . the reason is that although @xmath9 satisfies sbp , it does _ not _ generally satisfy the leibnitz rule , which was necessary in deriving the estimate ( [ good_estimate ] ) . it can actually be checked that , because of this , discretizing the system as in eq . ( [ 1da ] ) will _ not _ reproduce the continuum estimate , i.e. @xmath53 an alternative is to rewrite the evolution equation ( [ 1d ] ) such that the leibnitz rule is unnecessary to obtain the continuum estimate , eq . ( [ good_estimate ] ) . then a semi - discrete version of this estimate does hold if the difference operator satisfies sbp . to do so we write eq . ( [ 1d ] ) as @xmath54 this gives the same estimate as before : @xmath55 ^ 2 \le 0 . \label{est1}\ ] ] however , in deriving the estimate ( [ est1 ] ) we have only used integration by parts , and not the leibnitz rule . therefore , the semi - discrete energy estimate @xmath56 follows immediately if the semidiscrete equation is written as @xmath57 and @xmath9 satisfies sbp . figure  [ comparison_discretizations ] shows numerical results obtained by evolving eq . ( [ 1d ] ) using two discretizations , given by eqs . ( [ 1da],[1dc ] ) . ( [ 1d ] ) and ( [ rearrange1 ] ) are equivalent , they have the same set of solutions . however , their discrete counterparts , eqs . ( [ 1da ] ) and ( [ 1dc ] ) , _ do not _ have the same solutions at fixed resolution . in one case the solution error grows as a function of time , in the other case it does not . it is experimentally found that in this example ( and others discussed below ) the growing numerical error in the non - strictly stable discretization is manifest in high frequency modes , which can be eliminated by adding a small amount of dissipation , as is also shown in figure  [ comparison_discretizations ] .    ) . the dotted line shows the one of the lines of fig.1 , i.e. , the @xmath36 norm of the error for a non - strictly stable discretization , given by eq . ( [ 1da ] ) . the solid line shows the error for the same simulation with some numerical dissipation ( @xmath58 ) . the dashed line , in turn , shows the error for the ( non - dissipative ) strictly stable discretization given by eq . ( [ 1dc ] ) . in all these runs @xmath59 and cfl=0.8 . even though both the strictly stable and the non - strictly but dissipative schemes give long term stability , the former discretization is much more accurate.,height=226 ] consider now an equation with variable - coefficients in the principal part and a lower order term that in principle allows for energy growth , @xmath60 defined on a compact domain @xmath0 $ ] . for simplicity we assume that @xmath61 , and define the energy @xmath62 . homogeneous boundary conditions are given at @xmath63 . rewriting the equation as @xmath64 , one can easily show , using only integration by parts , that the estimate @xmath65 holds . therefore , writing the semi - discrete equation as @xmath66 gives the same semi - discrete energy estimate , @xmath67 if @xmath68 then @xmath69 and the continuum and discrete solutions can not grow in time . equations with features similar to those of eq.([shift_eq ] ) with @xmath68 appear in the klein  gordon and maxwell fields on fixed black hole backgrounds , as discussed later in this paper , where the shift plays the role of @xmath70 . if @xmath71 the energy may grow , already at the continuum ; for example , if @xmath72 . in that case one may want to discretize in a way such that artificial numerical growth is avoided as much as possible . for example , if @xmath72 , discretizing as in eq . ( [ discr ] ) gives @xmath73 which is the same equation satisfied by the continuum energy . fast growing numerical errors can arise even in numerically stable discretizations . in some cases they can be traced to the failure of the leibnitz rule for discrete derivatives , and failure of sharp continuum energy estimates to hold in the discrete problem . the use of difference operators satisfying sbp , appropriate numerical boundary conditions , and rearrangement of terms , give raise to strictly stable schemes which satisfy sharp semidiscrete energy estimates , if such estimates are available at the continuum . the goal of these rearrangement of terms is actually not only to avoid the leibnitz rule . clearly , since the growth rate for the energy usually involves derivatives , in general there would still be a discrepancy between the analytical and numerical estimates even if the leibnitz rule was satisfied , arising from the difference between numerical and analytical derivatives . these differences , however , can also be controlled by appropriately rearranging terms ( see , for example , sections [ wave_eqs]-[max_eqs ] , and refs . @xcite ) .    in the following we discuss more complex examples : the propagation of scalar and electromagnetic fields on the schwarzschild spacetime in three dimensions , and one - dimensional linear perturbations of gauge waves . in the former cases , we do have readily available sharp energy estimates derived from physical principles . in the latter a sharp estimate is available for the subsidiary system describing the constraint evolution . in this section we describe some model problems commonly used in relativity , while corresponding numerical results are presented in the following section . the first two problems are klein  gordon and maxwell fields on a schwarzschild black hole background , and linearization perturbations of the gauge wave is the third one . black holes contain physical curvature singularities that can not be included on the computational domain . black hole excision eliminates this problem by removing a region around the singularity from the computational domain  @xcite . this region must lie within the event horizon , and be _ causally disconnected _ from the spacetime outside the black hole so that the excised region does not affect the physics outside the hole . as discussed in the appendix , this region must be carefully chosen for these conditions to hold . numerical implementations of excision have traditionally presented a challenge in deciding how points near the inner boundary are updated . especially in higher dimensions , many combinations of one - sided derivative stencils , interpolation , and extrapolation have been investigated , mostly through experimentation  @xcite ( for an alternative excision strategy using pseudospectral methods see @xcite ) . however , as explained in paper i , derivative operators that satisfy sbp together with a diagonal inner product uniquely specify the excision algorithm . the procedure is unambiguous , and for linear problems guarantees a stable implementation . we follow this procedure , detailed in paper i , to excise the singularity . we consider three - dimensional evolutions on a schwarzschild background , in either painlev ' e  gullstrand ( pg ) and kerr - schild ( ks ) coordinates . the four - dimensional metric , written in terms of adm quantities , is @xmath74 in pg coordinates @xmath75 while in ks coordinates @xmath76 where @xmath77 and @xmath78 is the black hole s mass . we excise a cubical excision region centered on the black hole , and require the length of the cube , @xmath79 , to satisfy @xmath80 , or @xmath81 . larger cubes , as discussed in the appendix , result in excision boundaries that are _ not _ purely outflow .      the massless klein  gordon scalar wave equation , @xmath82 , where @xmath83 is the inverse four - dimensional metric , can be be written as @xmath84 where we have introduced new variables @xmath85 and @xmath86 to write the system in first order form . additionally , we define @xmath87 , where @xmath88 is the inverse of the three - metric , @xmath89 , and @xmath90 .    this formulation has a number of desirable features when the background metric is stationary  @xcite . for example , eqs . ( [ eq : wave1 ] ) are symmetric with respect to the physical energy , and a straightforward estimate shows that this energy does not grow when maximally dissipative boundary conditions , which are automatically constraint - preserving for this formulation , are given . moreover , eqs . ( [ eq : wave1 ] ) have been written such that the leibnitz rule is not needed to guarantee that the energy will not grow . for this reason , we refer to the discretization obtained by replacing @xmath91 by @xmath92 in eqs . ( [ eq : wave1 ] ) as _ energy preserving _ or _ strictly stable_. the physical energy , however , is not positive definite inside the black hole , since the killing vector becomes space - like there . we nevertheless choose this energy - preserving discretization , since it guarantees long - term stability if the computational domain does not include the black hole . more sophisticated formulations and discretizations , which are globally symmetric hyperbolic and conserve the physical energy in the exterior region , up to a distance arbitrarily close to the event horizon , can also be constructed  @xcite .      as a second example of classical fields on a black hole background we choose the vacuum maxwell equations . we write the maxwell equations in terms of the faraday tensor , @xmath93 , and its dual @xmath94 } & = & 0 \nonumber \\   \nabla_{[a } { } ^{\star}f_{bc ] } & = & 0 . \end{aligned}\ ] ] the dual of the faraday tensor is @xmath95 , where @xmath96 is the completely anti - symmetric symbol . contracting the above equations with a time - like vector field @xmath97 we get the evolution equations : @xmath98c}u^c),\nonumber \\   { \cal l}_u { } ^{\star}f_{ab } & = & - 2 \nabla_{[a}({}^{\star}f_{b]c}u^c ) . \end{aligned}\ ] ]    defining a foliation by dragging an initial space - like hypersurface along the integral curves of the vector @xmath97 ( each labeled with the proper time of the integral lines of @xmath97 , @xmath99 ) , and pulling back the above equations onto each of these hypersurfaces we get @xmath100c}u^c),\nonumber \\   { \cal l}_u \phi_{\star}({}^{\star}f_{ab } ) & = &              - 2 \partial_{[a}\phi_{\star}({}^{\star}f_{b]c}u^c ) , \end{aligned}\ ] ] where @xmath101 is the pull - back map into the hypersurface . notice that only exterior derivatives appear in the equations , so the geometry only enters through the star operation . the electric and magnetic fields are typically defined as @xmath102 , and @xmath103 , allowing one to decompose @xmath93 and @xmath104 into ( @xmath105 defined by @xmath106 ) @xmath107 } + { \varepsilon}_{ab}{}^{cd } b_c n_d , \nonumber\\ \ ,    { } ^{\star}f_{ab } & = & 2 b_{[a } n_{b ] } + { \varepsilon}_{ab}{}^{cd } e_c n_d . \end{aligned}\ ] ] contracting eqs . ( [ eq : max_evol_2 ] ) with @xmath108 , we get @xmath109 as with the klein - gordon equation , this system is symmetric hyperbolic outside the event horizon , where @xmath97 is time - like , and only strongly hyperbolic inside the event horizon , where @xmath97 is _ space - like _ , since the symmetrizer is not positive - definite there . we supplement the above equations with a no - incoming radiation boundary condition . no condition is needed to preserve the constraints , for they propagate along @xmath97 , as are the outer boundaries . thus , we set the incoming modes to zero at a boundary with normal @xmath110 , via the projector defined as @xmath111 where @xmath112 is the eigenvector basis , @xmath113 is the co - basis , we define @xmath114 and where the sum extends only over eigenvectors with positive eigenvalues .    as with the scalar field , we ask whether the maxwell equations can be written such that the discrete problem has a sharp energy estimate , giving numerical solutions without alti . the background spacetime is invariant under time translations , implying a conserved quantity or energy . this energy is the integral of @xmath115 , where @xmath97 is the killing vector field ( timelike outside the black hole ) over the hypersurface . for the pg foliation this energy is @xmath116\ ,    dv.\ ] ] just as with the klein  gordon equation , this expression is not positive - definite inside the horizon , reflecting a property of the geometry , not of the equation or coordinates used .    to discretize the above system we use the method of lines and substitute in eqs . ( [ max1],[max2 ] ) the partial derivatives with difference operators satisfying sbp . in this way strict stability with respect to the discretized version of the above energy is attained . one simple and common test for numerical implementations of the einstein equations is a gauge wave defined by @xmath117 which describes flat spacetime with a sinusoidal coordinate dependence , of amplitude @xmath118 , along the @xmath119 direction . the non - trivial adm variables for this metric are @xmath120 together with the gauge condition @xmath121 we evolve the einstein equations using the symmetric hyperbolic formulation presented in  @xcite with dynamical lapse and the time - harmonic gauge . the formulation is cast in first order form by introducing the variables @xmath122 and @xmath123 . rather than solving the full einstein equations here , we study linear perturbations of a background metric given by eq . ( [ gaugewavemetric ] ) . furthermore , we simplify the system by allowing perturbations depending only on @xmath124 , in the form @xmath125 this restriction can be justified by noting that full non - linear evolutions of data defined by eq . ( [ gaugewavemetric ] ) show that only these variables vary dynamically  @xcite , and variations in all other variables are consistent with round - off error . the resulting linearized equations are ( henceforth dropping the @xmath126 notation ) @xmath127 where we have defined @xmath128 . this system is symmetric hyperbolic ; three characteristic speeds are @xmath129 and the other two @xmath130 . we consider here an initial boundary value problem on the domain @xmath131 $ ] . we implement boundary conditions via the orthogonal projector method described in appendix d of paper  i. the positive / negative eigenmode decomposition of the matrix @xmath132 is @xmath133 ( see paper  i ) . here , the matrix @xmath118 is the principal part , and @xmath29 is its symmetrizer . for one - dimensional problems , @xmath134 , and @xmath135 is the matrix that diagonalizes @xmath118 , i.e. , @xmath136 , with @xmath137 a diagonal matrix . the system must satisfy two constraint equations , corresponding to the definition of the variables @xmath138 and @xmath139 . when linearized , these constraints are @xmath140 the other constraints are automatically satisfied owing to the restricted form of the allowed perturbations . despite the simplicity of this system , the numerical integration of these equations reveals some interesting features . indeed , straightforward discretizations of this system have lead to exponentially growing solutions with quickly growing constraint violations . that this instability has been observed by different groups in a variety of situations , led to the speculation that constraint violations _ drive _ the instability . we offer here a different interpretation of the results by examining the evolution of the constraints . evolution equations for the constraints can be obtained by taking the time derivative of @xmath141 and @xmath142 , and substituting in the einstein equations , giving @xmath143 these equations can be integrated in closed form to yield @xmath144 where @xmath145 and @xmath146 are free functions determined by the initial data : @xmath147 clearly the constraint behavior is _ purely oscillatory_. hence , any growth in the constraints observed during evolution must be purely numerical . we will show in the next section that this is indeed the case , and that the error growth can be eliminated . we now present some numerical simulations of the model problems discussed in the previous section . for the black hole tests , we examine configurations where the computational domain is outside the black hole and others that do contain an excised black hole . the former configuration allows us to investigate the evolution of a symmetric hyperbolic system with boundary interactions without the difficulties introduced by excision . we then examine the more demanding case in which excision is required , and the evolution systems here considered are only strongly hyperbolic inside the black hole . this section presents numerical results for the massless klein  gordon scalar field on a schwarzschild black hole background . we present some tests of our code , and then discuss differences between the strictly stable and non - strictly stable discretizations . consider an uniform computational domain that _ does not _ contain the black hole , @xmath148 ^ 3 $ ] . initial data with compact support are given to @xmath149 , the time derivative of the scalar field , as @xmath150 ^ 4   \label{eq : initial_data_1 } \end{aligned}\ ] ] when @xmath151 ^ 3 $ ] , and zero otherwise . all other fields are initially set to zero . is of order one despite the large factor in its definition , @xmath152 . ] this data is then evolved using two possible discretizations . the first one is that one obtained by direct substitution of partial derivatives by discrete ones in eq . ( [ eq : wave1 ] ) , this is the strictly stable discretization . the second one is obtained by expanding all derivatives of products with the product rule and then replacing partial derivatives of field variables by their discrete counterparts . we refer to this as the `` na " i ve '' discretization . both discretizations were used to evolve for around 250 crossing times , under different choices of courant factor ( @xmath153 ) . in all cases we found no sign of long term growth when monitoring the variables , though a closer inspection reveals several salient features of the obtained solutions . namely , a self - convergence analysis show results consistent with second order accuracy for a few crossing times ( with better values for the smallest @xmath154 ) . however , at later times , the observed convergence rate deteriorates considerably and achieve artificially large values . the time at which this behavior starts coincides with the fields mostly leaving the computational domain . for instance , figure [ conserve_straight_outside ] displays the @xmath36 norm of @xmath149 obtained with the strictly stable and `` na " i ve '' discretizations . the figure shows the @xmath36 norms of @xmath149 calculated at two resolutions , for 250 crossing times . the large decrease in the norm is a sign that basically most of the fields leave the domain after a few crossing times . both discretizations give a long - term stable algorithm for this case . but , as we will discuss later , the nave discretization without dissipation becomes long - term unstable when the black hole is included on the domain . norm of @xmath149 in a scalar field evolution outside the black hole for about 250 crossing times . the figure compares results for a nave discretization ( see text ) , and a strictly stable discretization at two resolutions , @xmath155 and @xmath156 . the domain is @xmath157 $ ] , @xmath158 , and no dissipation is added to the solution . , width=321 ]    to verify that we get the expected self - convergence factor in long term simulations when the fields do not decay to very small values after having left the domain , we now show results of a complementary set of tests on the domain @xmath159 $ ] , @xmath160 $ ] . here we concentrate in what corresponded to the worst case scenario considered , given by @xmath161 . we set the incoming modes on all outer faces to zero , except on the @xmath162 face , where the time derivative of the incoming fields is set to    @xmath163 $ } & \nonumber \\           0\qquad\qquad\qquad\mbox{otherwise } & { } \nonumber           \end{array }           \right . \label{eq : incoming_modes } \end{aligned}\ ] ]    this boundary condition is imposed through an orthogonal projection , as explained in paper i. initial data is given by @xmath164 ^ 4 \ ; ,    \label{eq : initial_data_1b } \end{aligned}\ ] ] and both discretizations ( strictly and non - strictly stable ) are evolved . figure  [ long_conv ] shows the self - convergence factor ( as before , in the @xmath36 norm ) of @xmath165 and @xmath149 versus time for the strictly stable discretization ( similar factors are obtained for the non - strictly stable one ) at the resolutions @xmath166 , @xmath167 and @xmath168 . convergence factors close to the expected value of two are observed , with no qualitative difference in the convergence factor as time progresses . ( solid line ) and @xmath165 ( dashed line ) on a domain outside the black hole , using the strictly stable scheme ( similar factors are obtained for the naive one ) , for about @xmath169 crossing times . these factors are calculated using resolutions of @xmath170 , @xmath167 , and @xmath168 . the obtained factors are close to the expected value of two . the courant factor is @xmath171 , and no dissipation is used . , height=226 ]      in this section , the computational domain contains the black hole , which is excised with an inner cubic boundary centered on the black hole . the domain is defined on @xmath172 ^ 3 $ ] , and the excision cube has a total length of @xmath173 . thus , the faces of the inner boundary are at @xmath174 . we first verify that the excision algorithm does not display alti when employing the strictly stable scheme . as mentioned earlier , very little freedom is available in constructing difference operators that satisfy sbp . indeed , for our second - order code with a diagonal scalar product , the stencils are uniquely specified . figure  [ long_excision ] shows the @xmath36 norms of @xmath149 and @xmath165 for a long up to @xmath175 evolution ( with no dissipation ) , designed to detect slowly growing modes . as shown in this figure , the algorithm specified by requiring sbp and the equations arranged so as to preserve the energy is long - term stable even with excision boundaries . for this run non - trivial initial data are given , as before , only to @xmath149 . @xmath176 ^ 3 ( r0-r ) &          \mbox{if $ |r - r_0|\le |\delta |$ }   \\           0 & \mbox{otherwise \ , . } \end{array }           \right . \end{aligned}\ ] ] with @xmath177 and @xmath178 . when studying the convergence of the code one again faces the fact that after a few crossing times the convergence value become meaningless . the behavior observed is analogous to the case where the black hole was outside the computational domain . namely , close to second order convergence is seen during the first few crossing times , and unrealistically high values are obtained afterwards . in fig . [ convergence_excision ] we show a short - term convergence test ( about two crossing times ) with excision . fig . [ norm_excision ] shows the corresponding @xmath36 norms for @xmath165 and @xmath149 . norms of @xmath149 ( solid line ) and @xmath165 ( dashed line ) are shown for about 2500 crossing times . no slowly growing unstable modes are detected in these runs . this run was performed with @xmath179 grid points , @xmath180 , and no dissipation is used . , height=226 ]     ( solid line ) and @xmath165 ( dashed line ) using the same configuration as in fig . [ long_excision ] . the self - convergence test is performed on uniform grids with @xmath181 , and @xmath182 grid - points . the convergence factor is close to the expected value of two . the measured convergence factor drops slightly from near two after one crossing time , when most of the field has left the domain and afterwards increases to unrealistic high values . , height=226 ]     norms for the runs shown in fig.[convergence_excision ] . the relative difference in the norms for @xmath165 at any two different resolutions , is at most about one percent . similarly for @xmath149 , except at the last point shown , where this field has mostly left the grid . , title="fig:",height=226 ]   norms for the runs shown in fig.[convergence_excision ] . the relative difference in the norms for @xmath165 at any two different resolutions , is at most about one percent . similarly for @xmath149 , except at the last point shown , where this field has mostly left the grid . , title="fig:",height=226 ]    as in the previous case , we also compare results obtained with the strictly stable and the nave discretizations . long term stability was found for both cases when the computational domain was outside the black hole . with excision , however , the solution obtained with the nave discretization quickly becomes corrupted , as shown in fig . [ conserve_straight_inside ] . as shown in this figure , the amplitude decreases with resolution , indicating that the growth is spurious and that the nave discretization suffers from alti . the strictly stable discretization , however , with a sharp semi - discrete energy estimate , remains well - behaved . the alti that contaminate the navely discretized solution are found to be of high - frequency type , which can be managed by adding explicit dissipation . figure  [ conserve_straight_dissip ] shows results using the same initial configurations , except that now dissipation is added to the nave discretization . now all of the runs produce long term stable simulations . norm of @xmath149 in a scalar field evolution on a domain containing an excised schwarzschild black hole . the solid and dot - dashed lines show the @xmath36 norm of @xmath149 obtained using the nave discretization of the wave equation . although the amplitude decrease with resolution , this solution quickly becomes long - term unstable , indicating an artificial instability . the strictly stable discretization ( shown with dashed and dotted lines ) , however , remains long term stable and well - behaved . the results are calculated with the resolutions @xmath183 and @xmath184 , @xmath158 , and no dissipation is added . , height=226 ]     norm of @xmath149 in a scalar field evolution on a domain containing an excised schwarzschild black hole . the solid and dot - dashed lines show the solutions obtained using the nave discretization with dissipation , the latter eliminating the artificial instability noted in fig .  [ conserve_straight_inside ] . the strictly stable discretization ( shown with dashed and dotted lines ) , without dissipation , is shown for comparison . the results are calculated with the resolutions @xmath183 and @xmath184 , @xmath158 , and the dissipation parameter is @xmath185 . , height=226 ]      as with the scalar field tests above , we perform tests with the maxwell equations on two kind of domains . specifically , we choose    1 .   computational domain outside the black hole : @xmath186 ^ 2 $ ] and @xmath187 $ ] ; 2 .   computational domain including part of the black hole : @xmath188 ^ 3 $ ] . the singularity is excised by means of a cubical region defined by @xmath189 ^ 3 $ ] . the initial data describe a `` pulse '' of electromagnetic field given by @xmath190 ^ 8          \epsilon_{ij3 } ( x^j - x_o^j ) & \mbox{if $ |r - r_0| < \delta$ }   \\           0 & \mbox{otherwise \ , , }                   \end{array }           \right . \end{aligned}\ ] ] where @xmath191 stands for @xmath192 and @xmath193 , @xmath194 is a strength parameter , @xmath195 is the location of the pulse s center , and @xmath126 its width . we discretize in a strictly stable way , as explained in section [ max_eqs ] . let @xmath196 , @xmath197 and @xmath198 , and we set the dissipation to zero . figure  [ maxwell12 ] shows @xmath199 vs.   time for four different resolutions ( @xmath200 and @xmath182 grid - points , corresponding to @xmath201 and @xmath168 , respectively ) , while the inset shows the decay in time for a long - term run with the coarsest resolution . figure  [ maxwell11 ] shows the self - convergence factor of @xmath202 for a short time , computed with @xmath179 , @xmath203 and @xmath182 grid - points , and @xmath203 , @xmath204 , and @xmath182 grid - points . as expected , the factor gets closer to two when resolution is increased . norm of @xmath202 vs.   time in an evolution of the maxwell fields at four different resolutions for a strictly stable discretization . the computational domain is outside the black hole . the inset shows a long - term evolution , @xmath205 , using the coarsest resolution . the runs were performed on uniform grids with resolutions @xmath170 , @xmath167 , @xmath206 and @xmath168 , and the courant factor is @xmath207 . , height=226 ]     for the runs of fig . [ maxwell12 ] . the factors improve with resolution , in the sense that they closer to the expected value of two . the labels @xmath37-@xmath208-@xmath209 and @xmath208-@xmath210-@xmath209 indicate the number of grid points in each direction used to perform the self - convergence test . , height=226 ]      now let @xmath196 , @xmath211 and @xmath212 . in contrast to the scalar field runs , solutions of the maxwell equations without explicit dissipation diverge at long times , even with a strictly stable discretization . the reason for this appears to be that the energy inside the black hole is not positive definite and boundedness ( either at the continuum or numerical level ) is not guaranteed ( it is not clear why this divergence does not appear in the scalar field case , when the singularity is excised , since the energy is also non - positive definite in that case . ) . high frequencies are seen in the solution , and we therefore add a small amount of dissipation , @xmath213 . figures  [ maxwell22 ] and [ maxwell21 ] show the norms and convergence data similar to the figures for the domain outside the black hole . as before , the simulations are long - term stable for long times . the self - convergence factors for the coarsest resolutions drop quickly from their initial value , indicating that the coarsest solutions are not in the convergent regime . in addition to effects caused by the fields leaving the computational domain , using a cubical excision boundary forces us to excise very close to the black hole , where the spacetime and field gradients are very large , effectively requiring higher resolution . norm of @xmath202 vs.   time in an evolution of the maxwell fields on a computational domain containing an excised black hole for a strictly stable discretization . the norms are shown for four different resolutions , and the inset shows a long - term evolution , @xmath205 , at the coarsest resolution . the runs were performed on uniform grids with resolutions @xmath170 , @xmath167 , @xmath206 and @xmath168 . the courant factor is @xmath180 , and dissipation is added to the evolution equations , with @xmath213 . , height=226 ]    . the self - convergence factors are calculated from @xmath202 . the excision boundary is very close to the black hole , and the large gradients encountered in the fields and spacetime near the excision boundary require very high resolution to resolve them adequately . the coarsest solutions are not resolved well enough to be in the convergence regime . however , it can be seen from the figure that the convergence improves with resolution . the labels @xmath37-@xmath208-@xmath209 and @xmath208-@xmath210-@xmath209 indicate the number of grid points in each direction used to perform the self - convergence test . , height=226 ]      the gauge wave is a useful test problem for examining some of the difficulties found in the simulation of the einstein equations ( see  @xcite ) , and to illustrate the usefulness of the techniques presented in paper i. to this end , we present results obtained using a straight - forward discretization of the right hand side of eqs . ( [ gauge1])([gauge5 ] ) , and show results obtained for long term evolutions with and without dissipation . moreover , we consider cases both where the constraints are initially satisfied , and where they are not . the latter illustrates that even when large constraint violations are introduced in the initial data , the solutions to the linearized equations remain well behaved . this , of course , may not necessarily be the case for the non - linear einstein equations , as for these relatively large amplitudes the linearized system need not be a close approximation to the non - linear ones . or even if the amplitudes were small , there could be purely non - linear effects in the solution which would naturally be missed in a linearized analysis @xcite .    for these tests we adopt trivial initial data for all fields , except for @xmath214 , @xmath138 and @xmath215 , which have compact support in @xmath216 $ ] and are given by @xmath217 ^ 4 , \\ d_{xxx } & = & \mu \partial_x   g_{xx } , \\ k_{xx } & = &   -\frac{\xi}{2 } \partial_x   g_{xx } \ , , \end{aligned}\ ] ] where @xmath218 , @xmath219 , and @xmath220 are constants . we set @xmath221 in the background solution and the computational domain is taken to be @xmath222 $ ] . boundary conditions are applied via olsson s projection operators . here , as we are interested in the long term behavior of the solution , we couple the incoming modes the outgoing ones such that @xmath223 for cases where the constraints are initially satisfied , we choose @xmath224 , @xmath225 ; otherwise we set @xmath226 , @xmath225 and @xmath227 . in all these simulations a courant factor of @xmath180 is used , to compare with similar simulations  @xcite .    figures [ gaugewave_c_straight]-[gaugewave_g_straight ] show results for constraint - satisfying initial data , without dissipation . figure  [ gaugewave_c_straight ] shows the @xmath36 norm of the constraint , @xmath228 and its convergence to zero with increasing resolution . initially the norm @xmath228 is almost constant . however , at later times a clear exponential mode is observed . while the solution is well - behaved for longer times with increasing resolution , this approach is impractical for long runs . figure  [ gaugewave_con_straight ] shows the convergence ( to zero ) factors in the @xmath36 norm obtained for @xmath228 . for the highest resolutions , the factor is very close to its expected value .    an exponential behavior for @xmath214 is also seen in figure [ gaugewave_g_straight ] . even though in principle this quantity could already grow at the continuum , the fact that at fixed time the norm of @xmath214 decreases with increasing resolution suggests that , as discussed below , this is an artifact of an alti . norm of @xmath228 vs. number of crossing times for four different resolutions . after an initial stage where the constraints are well behaved a clear exponential mode dominates the solution.,height=226 ]    . [ gaugewave_c_straight ]     as a function of number of crossing times , comparing runs with @xmath37 and @xmath208 points ( dotted line ) , @xmath208 and @xmath209 points ( dashed line ) and @xmath209 and @xmath229 points ( solid line ) . notice that even when the solutions are growing exponentially ( see figs.[gaugewave_c_straight],[gaugewave_g_straight ] ) , the constraints converge to zero.,height=226 ]    . [ gaugewave_con_straight ]     norm of @xmath214 vs. number of crossing times for four different resolutions with no dissipation . at early times , the norm remains fairly constant but at later ones an exponential growth dominates the solution.,height=226 ]    . [ gaugewave_g_straight ]    the alti for @xmath228 are , as in the previous examples , found to be of high frequency type and , therefore , the addition of dissipation eliminates these growing modes . figures  [ gaugewavediss_g_straight][gaugewavediss_con_straight ] illustrate the behavior of simulations with the same initial data and boundary conditions as those of figures [ gaugewave_c_straight]-[gaugewave_g_straight ] , except that now some dissipation is added , @xmath58 . the norm of @xmath142 is illustrated in fig . [ gaugewavediss_c_straight ] , where now only a slow growth is observed at late times . [ gaugewavediss_con_straight ] shows , as before , the convergence factors ( to zero ) for @xmath142 , in the @xmath36 norm . finally , figure [ gaugewavediss_g_straight ] shows the @xmath36 norm of @xmath214 for different resolutions . only a linear growth is observed in the solution is found ; furthermore , this growth decreases with resolution . norm of @xmath214 vs. number of crossing times for four different resolutions . only a small growth is observed in the solution.,height=226 ]    . [ gaugewavediss_g_straight ]     norm of @xmath228 vs. number of crossing times for four different resolutions . convergence to zero is observed and only slow ( linear ) growth is observed.,height=226 ]    . [ gaugewavediss_c_straight ]     vs. number of crossing times comparing runs with @xmath37 and @xmath208 points ( dotted line ) , @xmath208 and @xmath209 points ( solid line).,height=226 ]    as a last example we consider initial data violating the constraints . here , similarly good behavior is observed when dissipation is employed , in the sense that , as predicted by the continuum analysis of section [ eqs_gauge ] , the constraints oscillate in time . for instance , figure [ gaugewavediss_con_straight ] shows the @xmath36 norm of the constraint @xmath141 vs. time . as expected , these converge to a roughly constant behavior as resolution is increased , and no growth is observed . norm of @xmath230 vs. number of crossing times for three different resolutions , corresponding to the case where the initial data does not satisfy @xmath231 . as expected from the continuum analysis , even in this case the norm does not grow in time . , height=226 ] the construction of stable numerical methods for ibvps often involves a mixture of intuition and experimentation . the choice of numerical scheme and boundary conditions are often considered as necessarily separate ingredients . for certain problems , however , the energy method for discrete systems is an integrated , systematic method for creating numerically stable schemes and analyzing their behavior . while this method has not yet been widely used in general relativity , many current outstanding problems in the field vitally depend on understanding the subtle interplay of boundaries with the interior computational domain . in this paper we have applied the discrete energy method to test problems commonly found in numerical relativity and analyzed the numerical and long - term stability of the resulting schemes , with and without black hole excision . we have also investigated the numerical origin of fast growing modes which may artificially appear in numerical solutions , and used the energy method to discuss possible remedies . in particular , we have presented explicit examples of the techniques described in paper i and discussed what leads to alti and a way to remove or alleviate them . a message from this work is that it is not sufficient to construct numerically stable implementations , but also special care must be taken to devise suitable _ numerical _ methods to rule out , or alleviate alti . ( for a somewhat related approach , see the recent work @xcite ) .    to illustrate how this is achieved we have adopted a series of examples , which although considerably simpler than einstein equations , are relevant in the context of numerical relativity . in particular , in efforts to deal with black hole spacetimes and to understand the source of problems encountered with the gauge wave test . as shown throughout this work , even though there are examples in which low - frequency alti are present and for which no sharp estimate is known , a careful analysis and grouping of the variables and/or the addition of ( controllable ) artificial dissipation may in many cases be crucial in handling otherwise artificial long term instabilities . it is expected that these techniques will be important in a number of fronts , in particular in the simulation of einstein s equations . we wish to thank g.  calabrese , o.  sarbach , j.  pullin , e.  tadmor , p.  olsson , and h .- o . kreiss for helpful discussions , and e. schnetter for helpful comments on the manuscript . this work was supported in part by nsf grants phy0244699 , phy0312049 ; nasa - nag5 - 1430 ; the horace hearne jr . lab for theoretical physics , conicet , and secyt - unc . computations were done at lsu s center for computation and technology and parallelized with the cactus toolkit  @xcite . is an alfred p. sloan fellow . black hole excision removes the singularity by placing an inner boundary on the computational domain . while the boundary removes the singularity , the question now becomes finding physically and mathematically consistent inner boundary conditions . clearly , a general solution to this problem for an arbitrary boundary is unknown . the time - development of this boundary presents a further complication . namely , if the boundary becomes time - like , it will encounter the singularity in a finite amount of time . these two issues can be resolved simultaneously by adopting an inner boundary with a space - like world tube . this ensures it will not hit the singularity and that no boundary conditions are necessary if all the characteristics speeds are within the light cone , as the past domain of dependence of boundary points is wholly contained on the previous time slice . some freedom remains in choosing the particular region to be excised , and clearly the largest possible excision boundary is preferable to avoid the strongest gradients of the spacetime .    to illustrate some of these issues we now examine cubical excision for both the schwarzschild and kerr black holes , looking for the _ largest possible _ space - like excision cube . as we discuss below , the _ shape _ of the boundary plays a crucial role in satisfying the spacelike condition . we examine one face of the cube , a @xmath232 face . the condition that this surface is space - like implies that @xmath233 , as @xmath234 is the normal to the surface . since the coordinates are fixed _ a - priori , _ we can only vary the position of the boundary to meet this condition . we find that this condition is quite difficult to satisfy , and possible for only very slowly spinning black holes .    to see this in detail , consider the kerr metric in kerr  schild form  @xcite . the quantity @xmath235 is @xmath236 where @xmath237 is related to the cartesian coordinates by @xmath238 the space - like character requirement on the surface implies that @xmath239 for the schwarzschild black hole , @xmath240 , @xmath241 , and the above condition becomes @xmath242 the corner of the cube is the limiting point ( @xmath243 ) for the largest cube , giving the bound @xmath244 , or @xmath245 .    for the spinning black hole , the analysis is slightly more involved . the limiting point for the largest cube is given by @xmath246 , @xmath247 , giving the condition @xmath248 examining this condition shows that cubical excision can not be used when @xmath249 , as shown in fig . [ kerr_excise ] . furthermore , the singularity is not at a point , but is ring - like , implying that the cube may not be arbitrarily small . finding the minimum sized cube is more involved , as the faces of the cube need to be examined in addition to the corners  @xcite . this limitation of cubical excision for the schwarzschild spacetime was noted before  @xcite , by requiring that the excision boundary has no in - coming modes in a particular formulation of einstein equations . a similar analyzis to that of  @xcite for the kerr spacetime and cubical excision regions has also recently presented in  @xcite . here we would like to point out the following . first , when the eigenmodes are complete and the speeds are physical ( they lie within the null cone ) those results and the one presented here are equivalent , as it is rooted in the physical nature of the excision boundary . second , when dealing with a formulation admitting eigenspeeds outside the light cone , or a non - complete set of eigenmodes , the current straightforward analysis provides necessary conditions that have to be met . these necessary conditions are useful when dealing with any formulation , in particular one whose eigenspeeds might not be known . finally , we emphasize that these results are coordinate dependent ; nevertheless , for the families often used in numerical relativity tests , the same result applies . in particular for the family of slicings reported by martel and poisson  @xcite ( which contains both the kerr  schild and painlev ' e  gullstrand slicings of schwarzschild ) . h. friedrich and a. rendall , in _ einstein s field equations and their physical implications _ , lecture notes in physics  , edited by b. g. schmidt ( springer - verlag , berlin , 2000 ) , pp . 127 - 223 ; o. reula , living rev . * 1 * , 3 ( 1998 ) .                                          m. scheel , talk at `` miniprogram on colliding black holes : mathematical issues in numerical relativity '' , institute for theoretical physics , university of california at santa barbara , january 10 - 28,2000 .
Abstract:

Answer: the energy method can be used to identify well - posed initial boundary value problems for quasi - linear , symmetric hyperbolic partial differential equations with maximally dissipative boundary conditions . a similar analysis of the discrete system can be used to construct stable finite difference equations for these problems at the linear level . in this paper we apply these techniques to some test problems commonly used in numerical relativity and observe that while we obtain convergent schemes , fast growing modes , or `` artificial instabilities , '' contaminate the solution . we find that these growing modes can partially arise from the lack of a leibnitz rule for discrete derivatives and discuss ways to limit this spurious growth .