Searcharxiv⌕ Search

arXiv subjects

Jose M. Martin-Garcia

Publications and source records attributed to Jose M. Martin-Garcia.

At least 19 recordsLinked to original sources
arXiv2013

Summation by parts methods for the spherical harmonic decomposition of the wave equation in arbitrary dimensions

We investigate numerical methods for wave equations in $n+2$ spacetime dimensions, written in spherical coordinates, decomposed in spherical harmonics on $S^n$, and finite-differenced in the remaining coordinates $r$ and $t$. Such an approach is useful when the full physical problem has spherical symmetry, for perturbation theory about a spherical background, or in the presence of boundaries with spherical topology. The key numerical difficulty arises from lower-order $1/r$ terms at the origin $r=0$. As a toy model for this, we consider the flat space linear wave equation in the form $\dotπ=ψ'+pψ/r$, $\dotψ=π'$, where $p=2l+n$, and $l$ is the leading spherical harmonic index. We propose a class of summation by parts (SBP) finite differencing methods that conserve a discrete energy up to boundary terms, thus guaranteeing stability and convergence in the energy norm. We explicitly construct SBP schemes that are second and fourth-order accurate at interior points and the symmetry boundary $r=0$, and first and second-order accurate at the outer boundary $r=R$.

math.NA↗
arXiv2010

High-order perturbations of a spherical collapsing star

In Ref. [1, 2] a formalism to deal with high-order perturbations of a general spherical background was developed. In this article, we apply it to the particular case of a perfect fluid background. We have expressed the perturbations of the energy-momentum tensor at any order in terms of the perturbed fluid's pressure, density and velocity. In general, these expressions are not linear and have sources depending on lower order perturbations. For the second-order case we make the explicit decomposition of these sources in tensor spherical harmonics. Then, a general procedure is given to evolve the perturbative equations of motions of the perfect fluid for any value of the harmonic label. Finally, with the problem of a spherical collapsing star in mind, we discuss the high-order perturbative matching conditions across a timelike surface, in particular the surface separating the perfect fluid interior from the exterior vacuum.

gr-qc↗
arXiv2010

Mode coupling of Schwarzschild perturbations: Ringdown frequencies

Within linearized perturbation theory, black holes decay to their final stationary state through the well-known spectrum of quasinormal modes. Here we numerically study whether nonlinearities change this picture. For that purpose we study the ringdown frequencies of gauge-invariant second-order gravitational perturbations induced by self-coupling of linearized perturbations of Schwarzschild black holes. We do so through high-accuracy simulations in the time domain of first and second-order Regge-Wheeler-Zerilli type equations, for a variety of initial data sets. We consider first-order even-parity $(\ell=2,m=\pm 2)$ perturbations and odd-parity $(\ell=2,m=0)$ ones, and all the multipoles that they generate through self-coupling. For all of them and all the initial data sets considered we find that ---in contrast to previous predictions in the literature--- the numerical decay frequencies of second-order perturbations are the same ones of linearized theory, and we explain the observed behavior. This would indicate, in particular, that when modeling or searching for ringdown gravitational waves, appropriately including the standard quasinormal modes already takes into account nonlinear effects.

gr-qc↗
arXiv2009

The light-cone theorem

We prove that the area of cross-sections of light-cones, in space-times satisfying suitable energy conditions, is smaller than or equal to that of the corresponding cross-sections in Minkowski, or de Sitter, or anti-de Sitter space-time. The equality holds if and only if the metric coincides with the corresponding model in the domain of dependence of the light-cone.

gr-qc↗
arXiv2009

A complete gauge-invariant formalism for arbitrary second-order perturbations of a Schwarzschild black hole

Using recently developed efficient symbolic manipulations tools, we present a general gauge-invariant formalism to study arbitrary radiative $(l\geq 2)$ second-order perturbations of a Schwarzschild black hole. In particular, we construct the second order Zerilli and Regge-Wheeler equations under the presence of any two first-order modes, reconstruct the perturbed metric in terms of the master scalars, and compute the radiated energy at null infinity. The results of this paper enable systematic studies of generic second order perturbations of the Schwarzschild spacetime. In particular, studies of mode-mode coupling and non-linear effects in gravitational radiation, the second-order stability of the Schwarzschild spacetime, or the geometry of the black hole horizon.

gr-qc↗
arXiv2008

Hamiltonian theory for the axial perturbations of a dynamical spherical background

We develop the Hamiltonian theory of axial perturbations around a general time-dependent spherical background spacetime. Using the fact that the linearized constraints are gauge generators, we isolate the physical and unconstrained axial gravitational wave in a Hamiltonian pair of variables. Then, switching to a more geometrical description of the system, we construct the only scalar combination of them. We obtain the well-known Gerlach and Sengupta scalar for axial perturbations, with no known equivalent for polar perturbations. The strategy suggested and tested here will be applied to the polar case in a separate article.

gr-qc↗
arXiv2008

xPert: Computer algebra for metric perturbation theory

We present the tensor computer algebra package xPert for fast construction and manipulation of the equations of metric perturbation theory, around arbitrary backgrounds. It is based on the combination of explicit combinatorial formulas for the n-th order perturbation of curvature tensors and their gauge changes, and the use of highly efficient techniques of index canonicalization, provided by the underlying tensor system xAct, for Mathematica. We give examples of use and show the efficiency of the system with timings plots: it is possible to handle orders n=4 or n=5 within seconds, or reach n=10 with timings below 1 hour.

gr-qc↗
arXiv2008

xPerm: fast index canonicalization for tensor computer algebra

We present a very fast implementation of the Butler-Portugal algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written as a combination of a Mathematica package and a C subroutine. The latter performs the most demanding parts of the computations and can be linked from any other program or computer algebra system. We demonstrate with tests and timings the effectively polynomial performance of the Butler-Portugal algorithm with respect to the number of indices, though we also show a case in which it is exponential. Our implementation handles generic tensorial expressions with several dozen indices in hundredths of a second, or one hundred indices in a few seconds, clearly outperforming all other current canonicalizers. The code has been already under intensive testing for several years and has been essential in recent investigations in large-scale tensor computer algebra.

cs.SC↗
arXiv2008

The Invar tensor package: Differential invariants of Riemann

The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6x10^23 objects with up to 12 derivatives of the metric. This covers cases ranging from products of up to 6 undifferentiated Riemann tensors to cases with up to 10 covariant derivatives of a single Riemann. We extend our computer algebra system Invar to produce within seconds a canonical form for any of those objects in terms of a basis. The process is as follows: (1) an invariant is converted in real time into a canonical form with respect to the permutation symmetries of the Riemann tensor; (2) Invar reads a database of more than 6x10^5 relations and applies those coming from the cyclic symmetry of the Riemann tensor; (3) then applies the relations coming from the Bianchi identity, (4) the relations coming from commutations of covariant derivatives, (5) the dimensionally-dependent identities for dimension 4, and finally (6) simplifies invariants that can be expressed as product of dual invariants. Invar runs on top of the tensor computer algebra systems xTensor (for Mathematica) and Canon (for Maple).

cs.SC↗
arXiv2007

Critical phenomena in gravitational collapse

As first discovered by Choptuik, the black hole threshold in the space of initial data for general relativity shows both surprising structure and surprising simplicity. Universality, power-law scaling of the black hole mass, and scale echoing have given rise to the term "critical phenomena". They are explained by the existence of exact solutions which are attractors within the black hole threshold, that is, attractors of codimension one in phase space, and which are typically self-similar. Critical phenomena give a natural route from smooth initial data to arbitrarily large curvatures visible from infinity, and are therefore likely to be relevant for cosmic censorship, quantum gravity, astrophysics, and our general understanding of the dynamics of general relativity.

gr-qc↗
arXiv2007

The Invar Tensor Package

The Invar package is introduced, a fast manipulator of generic scalar polynomial expressions formed from the Riemann tensor of a four-dimensional metric-compatible connection. The package can maximally simplify any polynomial containing tensor products of up to seven Riemann tensors within seconds. It has been implemented both in Mathematica and Maple algebraic systems.

cs.SC↗
arXiv2007

High-order gauge-invariant perturbations of a spherical spacetime

We complete the formulation of a general framework for the analysis of high-order nonspherical perturbations of a four-dimensional spherical spacetime by including a gauge-invariant description of the perturbations. We present a general algorithm to construct these invariants and provide explicit formulas for the case of second-order metric perturbations. We show that the well-known problem of lack of invariance for the first-order perturbations with l=0,1 propagates to increasing values of l for perturbations of higher order, owing to mode coupling. We also discuss in which circumstances it is possible to construct the invariants.

gr-qc↗
arXiv2006

Second and higher-order perturbations of a spherical spacetime

The Gerlach and Sengupta (GS) formalism of coordinate-invariant, first-order, spherical and nonspherical perturbations around an arbitrary spherical spacetime is generalized to higher orders, focusing on second-order perturbation theory. The GS harmonics are generalized to an arbitrary number of indices on the unit sphere and a formula is given for their products. The formalism is optimized for its implementation in a computer algebra system, something that becomes essential in practice given the size and complexity of the equations. All evolution equations for the second-order perturbations, as well as the conservation equations for the energy-momentum tensor at this perturbation order, are given in covariant form, in Regge-Wheeler gauge.

gr-qc↗
arXiv2006

Well-posedness of formulations of the Einstein equations with dynamical lapse and shift conditions

We prove that when the equations are restricted to the principal part the standard version of the BSSN formulation of the Einstein equations is equivalent to the NOR formulation for any gauge, and that the KST formulation is equivalent to NOR for a variety of gauges. We review a family of elliptic gauge conditions and the implicit parabolic and hyperbolic drivers that can be derived from them, and show how to make them symmetry-seeking. We investigate the hyperbolicity of ADM, NOR and BSSN with implicit hyperbolic lapse and shift drivers. We show that BSSN with the coordinate drivers used in recent "moving puncture" binary black hole evolutions is ill-posed at large shifts, and suggest how to make it strongly hyperbolic for arbitrary shifts. For ADM, NOR and BSSN with elliptic and parabolic gauge conditions, which cannot be hyperbolic, we investigate a necessary condition for well-posedness of the initial-value problem.

gr-qc↗
arXiv2005

Constraint damping in the Z4 formulation and harmonic gauge

We show that by adding suitable lower-order terms to the Z4 formulation of the Einstein equations, all constraint violations except constant modes are damped. This makes the Z4 formulation a particularly simple example of a lambda-system as suggested by Brodbeck et al. We also show that the Einstein equations in harmonic coordinates can be obtained from the Z4 formulation by a change of variables that leaves the implied constraint evolution system unchanged. Therefore the same method can be used to damp all constraints in the Einstein equations in harmonic gauge.

gr-qc↗
arXiv2005

Hyperbolicity of second-order in space systems of evolution equations

A possible definition of strong/symmetric hyperbolicity for a second-order system of evolution equations is that it admits a reduction to first order which is strongly/symmetric hyperbolic. We investigate the general system that admits a reduction to first order and give necessary and sufficient criteria for strong/symmetric hyperbolicity of the reduction in terms of the principal part of the original second-order system. An alternative definition of strong hyperbolicity is based on the existence of a complete set of characteristic variables, and an alternative definition of symmetric hyperbolicity is based on the existence of a conserved (up to lower order terms) energy. Both these definitions are made without any explicit reduction. Finally, strong hyperbolicity can be defined through a pseudo-differential reduction to first order. We prove that both definitions of symmetric hyperbolicity are equivalent and that all three definitions of strong hyperbolicity are equivalent (in three space dimensions). We show how to impose maximally dissipative boundary conditions on any symmetric hyperbolic second order system. We prove that if the second-order system is strongly hyperbolic, any closed constraint evolution system associated with it is also strongly hyperbolic, and that the characteristic variables of the constraint system are derivatives of a subset of the characteristic variables of the main system, with the same speeds.

gr-qc↗
arXiv2004

Symmetric hyperbolicity and consistent boundary conditions for second-order Einstein equations

We present two families of first-order in time and second-order in space formulations of the Einstein equations (variants of the Arnowitt-Deser-Misner formulation) that admit a complete set of characteristic variables and a conserved energy that can be expressed in terms of the characteristic variables. The associated constraint system is also symmetric hyperbolic in this sense, and all characteristic speeds are physical. We propose a family of constraint-preserving boundary conditions that is applicable if the boundary is smooth with tangential shift. We conjecture that the resulting initial-boundary value problem is well-posed.

gr-qc↗