-
Simflowny 3: An upgraded platform for scientific modelling and simulation
Authors:
C. Palenzuela,
B. Miñano,
A. Arbona,
C. Bona-Casas,
C. Bona,
J. Massó
Abstract:
Simflowny is an open platform which automatically generates efficient parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support simultaneously a quite generic family of partial differential equations. These equations can be discretized using: (i) standard finite-difference for systems with derivatives up to any orde…
▽ More
Simflowny is an open platform which automatically generates efficient parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support simultaneously a quite generic family of partial differential equations. These equations can be discretized using: (i) standard finite-difference for systems with derivatives up to any order, (ii) High-Resolution-Shock-Capturing methods to deal with shocks and discontinuities of balance law equations, and (iii) particle-based methods. We have improved the adaptive-mesh-refinement algorithms to preserve the convergence order of the numerical methods, which is a requirement for improving scalability. Finally, we have also extended our graphical user interface (GUI) to accommodate these and future families of equations. This paper summarizes the formal representation and implementation of these new families, providing several validation results.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
The horizon problem as a clue: a smooth big bang?
Authors:
Carles Bona
Abstract:
The necessary and sufficient condition for the absence of particle horizons in a big bang Friedmann-Robertson-Walker universe is provided. It happens to be a "smooth big bang" initial condition: the proper time derivative of the expansion factor $a(t)$ must be finite at the big bang. Equivalently, the energy density must not diverge faster than $a^{-2}$ at the big bang. This is just an initial con…
▽ More
The necessary and sufficient condition for the absence of particle horizons in a big bang Friedmann-Robertson-Walker universe is provided. It happens to be a "smooth big bang" initial condition: the proper time derivative of the expansion factor $a(t)$ must be finite at the big bang. Equivalently, the energy density must not diverge faster than $a^{-2}$ at the big bang. This is just an initial condition: only the scale factor asymptotic behavior at the very moment of the big bang matters. The causal connection between remote space regions could then take place immediately after the big bang. Even $10^{-36}$ seconds of proper time, would allow for an infinite number of light crossing times between any two space regions, no matter how far apart. This justifies inflationary scenarios starting from a quasi-homogeneous scalar field close to equilibrium. The high degree of homogeneity of the Cosmological Background Radiation can be seen then not as a problem, but rather as a clue to the equation of state in the big bang limit.
△ Less
Submitted 7 November, 2019;
originally announced November 2019.
-
Blended Integrated Open Data: dados abertos públicos integrados
Authors:
Fabiola Santore,
Lucas F. Oliveira,
Rafael de Paulo Dias,
Henrique V. Ehrenfried,
Alessandro Elias,
Diego Pasqualin,
Luis C. E. de Bona,
Marcos Didonet Del Fabro,
Marcos Sunye
Abstract:
While several public institutions provide its data openly, the effort required to access, integrate and query this data is too high, reducing the amount of possible dataset users. The Blended Integrated Open Data (BIOD) project has as objective to ease the access to public Open Data. It integrates and makes available more than 300Gb of data, containing billions of records from different Open Data…
▽ More
While several public institutions provide its data openly, the effort required to access, integrate and query this data is too high, reducing the amount of possible dataset users. The Blended Integrated Open Data (BIOD) project has as objective to ease the access to public Open Data. It integrates and makes available more than 300Gb of data, containing billions of records from different Open Data Sets, allowing to query over them, and thus to retrieve related information from originally disconnected data sets. This paper presents the set of open data available, how to access it and how produce new compatible data to improve the existing data set.
△ Less
Submitted 4 September, 2019; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Kaluza-Klein Cosmology: the bulk metric
Authors:
Carles Bona,
Miguel Bezares
Abstract:
The Cosmological Principle is applied to a five-dimensional vacuum manifold. The general (non-trivial) solution is explicitly given. The result is a unique metric, parametrized with the sign of the space curvature ($k=0,\pm 1$) and the signature of the fifth coordinate. Friedmann-Robertson-Walker (FRW) metrics can be obtained from this single 'mother' metric (M-metric), by projecting onto differen…
▽ More
The Cosmological Principle is applied to a five-dimensional vacuum manifold. The general (non-trivial) solution is explicitly given. The result is a unique metric, parametrized with the sign of the space curvature ($k=0,\pm 1$) and the signature of the fifth coordinate. Friedmann-Robertson-Walker (FRW) metrics can be obtained from this single 'mother' metric (M-metric), by projecting onto different space-homogeneous four-dimensional hypersurfaces. The expansion factor $R$ is used as time coordinate in order to get full control of the equation of state of the resulting projection. The embedding of a generic (equilibrium) mixture of matter, radiation and cosmological constant is given, modulo a quadrature, although some signature-dependent restrictions must be accounted for. In the 4+1 case, where the extra coordinate is spacelike, the condition ensuring that the projected hypersurface is of Lorentzian type is explicitly given. An example showing a smooth transition from an Euclidian to a Lorentzian 4D metric is provided. This dynamical signature change can be considered a classical counterpart of the Hartle-Hawking 'no-boundary' proposal. The resulting FRW model shows an initial singularity at a finite value of the expansion factor $R$. It can be termed as a 'Big unfreeze', as it is produced just by the beginning of time, without affecting space geometry. The model can be extended in order to fit the present value of the density parameters.
△ Less
Submitted 1 July, 2019; v1 submitted 25 April, 2019;
originally announced April 2019.
-
A Simflowny-based high-performance 3D code for the generalized induction equation
Authors:
Daniele Viganò,
David Martínez-Gómez,
José A. Pons,
Carlos Palenzuela,
Federico Carrasco,
Borja Miñano,
Antoni Arbona,
Carles Bona,
Joan Massó
Abstract:
In the interior of neutron stars, the induction equation regulates the long-term evolution of the magnetic fields by means of resistivity, Hall dynamics and ambipolar diffusion. Despite the apparent simplicity and compactness of the equation, the dynamics it describes is not trivial and its understanding relies on accurate numerical simulations. While a few works in 2D have reached a mature stage…
▽ More
In the interior of neutron stars, the induction equation regulates the long-term evolution of the magnetic fields by means of resistivity, Hall dynamics and ambipolar diffusion. Despite the apparent simplicity and compactness of the equation, the dynamics it describes is not trivial and its understanding relies on accurate numerical simulations. While a few works in 2D have reached a mature stage and a consensus on the general dynamics at least for some simple initial data, only few attempts have been performed in 3D, due to the computational costs and the need for a proper numerical treatment of the intrinsic non-linearity of the equation. Here, we carefully analyze the general induction equation, studying its characteristic structure, and we present a new Cartesian 3D code, generated by the user-friendly, publicly available {\em Simflowny} platform. The code uses high-order numerical schemes for the time and spatial discretization, and relies on the highly-scalable {\em SAMRAI} architecture for the adaptive mesh refinement. We present the application of the code to several benchmark tests, showing the high order of convergence and accuracy achieved and the capabilities in terms of magnetic shock resolution and three-dimensionality. This paper paves the way for the applications to a realistic, 3D long-term evolution of neutron stars interior and, possibly, of other astrophysical sources.
△ Less
Submitted 11 December, 2018; v1 submitted 20 November, 2018;
originally announced November 2018.
-
3+2 Cosmology: unifying FRW metrics in the bulk
Authors:
Carles Bona,
Miguel Bezares,
Bartolomé Pons-Rullan,
Daniele Viganò
Abstract:
The Cosmological Problem is considered in a five-dimensional (bulk) manifold with two time coordinates, obeying vacuum Einstein field equations. The evolution formalism is used there, in order to get a simple form of the resulting constraints. In the spatially flat case, this approach allows to find out the general solution, which happens to consist in a single metric. All the embedded Friedmann-R…
▽ More
The Cosmological Problem is considered in a five-dimensional (bulk) manifold with two time coordinates, obeying vacuum Einstein field equations. The evolution formalism is used there, in order to get a simple form of the resulting constraints. In the spatially flat case, this approach allows to find out the general solution, which happens to consist in a single metric. All the embedded Friedmann-Robertson-Walker (FRW) metrics can be obtained from this 'mother' metric ('M-metric') in the bulk, by projecting onto different four-dimensional hypersurfaces (branes). Having a time plane in the bulk allows to devise the specific curve which will be kept as the physical time coordinate in the brane. This method is applied for identifying FRW regular solutions, evolving from the infinite past (no Big Bang), even with an asymptotic initial state with non-zero radius (emergent universes). Explicit counter-examples are provided, showing that not every spatially-flat FRW metric can actually be embedded in a 3+2 bulk manifold. This implies that the extension of the Campbell theorem to the General Relativity case works only in its weaker form in this case, requiring as an extra assumption that the constraint equations hold at least in a single 4D hypersurface.
△ Less
Submitted 1 February, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
A Simflowny-based finite-difference code for high-performance computing in Relativity
Authors:
Carlos Palenzuela,
Borja Miñano,
Daniele Viganò,
Antoni Arbona,
Carles Bona-Casas,
Andreu Rigo,
Miguel Bezares,
Carles Bona,
Joan Massó
Abstract:
The tremendous challenge of comparing our theoretical models with the gravitational-wave observations in the new era of multimessenger astronomy requires accurate and fast numerical simulations of complicated physical systems described by the Einstein and the matter equations. These requirements can only be satisfied if the simulations can be parallelized efficiently on a large number of processor…
▽ More
The tremendous challenge of comparing our theoretical models with the gravitational-wave observations in the new era of multimessenger astronomy requires accurate and fast numerical simulations of complicated physical systems described by the Einstein and the matter equations. These requirements can only be satisfied if the simulations can be parallelized efficiently on a large number of processors and advanced computational strategies are adopted. To achieve this goal we have developed Simflowny, an open platform for scientific dynamical models which automatically generates parallel code for different simulation frameworks, allowing the use of HPC infrastructures to non-specialist scientists. One of these frameworks is SAMRAI, a mature patch-based structured adaptive mesh refinement infrastructure, capable of reaching exascale in some specific problems. Here we present the numerical techniques that we have implemented on this framework by using Simflowny in order to perform fast, efficient, accurate and highly-scalable simulations. These techniques involve high-order schemes for smooth and non-smooth solutions, Adaptive Mesh Refinement with arbitrary resolution ratios and an optimal strategy for the sub-cycling in time. We validate the automatically generated codes for the SAMRAI infrastructure with some simple test examples (i.e., wave equation and Newtonian MHD) and finally with the Einstein equations.
△ Less
Submitted 11 June, 2018;
originally announced June 2018.
-
On the final fate of compact boson star mergers
Authors:
Miguel Bezares,
Carlos Palenzuela,
Carles Bona
Abstract:
Boson stars, self-gravitating objects made of a complex scalar field, have been proposed as simple models for very different scenarios, ranging from galaxy dark matter to black hole mimickers. Here we focus on a very compact type of boson stars to study binary mergers by varying different parameters, namely the phase shift, the direction of rotation and the angular momentum. Our aim is to investig…
▽ More
Boson stars, self-gravitating objects made of a complex scalar field, have been proposed as simple models for very different scenarios, ranging from galaxy dark matter to black hole mimickers. Here we focus on a very compact type of boson stars to study binary mergers by varying different parameters, namely the phase shift, the direction of rotation and the angular momentum. Our aim is to investigate the properties of the object resulting from the merger in these different scenarios by means of numerical evolutions. These simulations, performed by using a modification of the covariant conformal Z4 (CCZ4) formalism of the Einstein Equations that does not require the algebraic enforcing of any constraint, indicate that the final state after a head-on collision of low mass boson stars is another boson star. However, almost complete annihilation of the stars occurs during the merger of a boson-antiboson pair. The merger of orbiting boson stars form a rotating bar that quickly relaxes to a non-rotating boson star.
△ Less
Submitted 2 May, 2017;
originally announced May 2017.
-
Simflowny 2: An upgraded platform for scientific modeling and simulation
Authors:
A. Arbona,
B. Miñano,
A. Rigo,
C. Bona,
C. Palenzuela,
A. Artigues,
C. Bona-Casas,
J. Massó
Abstract:
Simflowny is an open platform which automatically generates parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support an extended set of families of models, in particular: i) a new generic family for partial differential equations, which can include spatial derivatives of any order, ii) a new family for agent based…
▽ More
Simflowny is an open platform which automatically generates parallel code of scientific dynamical models for different simulation frameworks. Here we present major upgrades on this software to support an extended set of families of models, in particular: i) a new generic family for partial differential equations, which can include spatial derivatives of any order, ii) a new family for agent based models to study complex phenomena --either on a spatial domain or on a graph--. Additionally we introduce a flexible graphical user interface (GUI) to accommodate these and future families of equations. This paper describes the new GUI architecture and summarizes the formal representation and implementation of these new families, providing several validation results.
△ Less
Submitted 14 February, 2017;
originally announced February 2017.
-
Almost-Killing conserved currents: a general mass function
Authors:
Milton Ruiz,
Carlos Palenzuela,
Carles Bona
Abstract:
A new class of conserved currents, describing non-gravitational energy-momentum density, is presented. The proposed currents do not require the existence of a (timelike) Killing vector, and are not restricted to spherically symmetric spacetimes (or similar ones, in which the Kodama vector can be defined). They are based instead on almost-Killing vectors, which could in principle be defined on gene…
▽ More
A new class of conserved currents, describing non-gravitational energy-momentum density, is presented. The proposed currents do not require the existence of a (timelike) Killing vector, and are not restricted to spherically symmetric spacetimes (or similar ones, in which the Kodama vector can be defined). They are based instead on almost-Killing vectors, which could in principle be defined on generic spacetimes. We provide local arguments, based on energy density profiles in highly simplified (stationary, rigidly-rotating) star models, which confirm the physical interest of these 'almost-Killing currents'. A mass function is defined in this way for the spherical case, qualitatively different from the Hernández-Misner mass function. An elliptic equation determining the new mass function is derived for the Tolman-Bondi spherically symmetric dust metrics, including a simple solution for the Oppenheimer-Schneider collapse. The equations for the non-symmetric case are shown to be of a mixed elliptic-hyperbolic nature.
△ Less
Submitted 12 December, 2013;
originally announced December 2013.
-
Statistical complexity measures as telltale of relevant scales in emergent dynamics of spatial systems
Authors:
A. Arbona,
C. Bona,
B. Miñano,
A. Plastino
Abstract:
The definition of complexity through Statistical Complexity Measures (SCM) has recently seen major improvements. Mostly, effort is concentrated in measures on time series. We propose a SCM definition for spatial dynamical systems. Our definition is in line with the trend to combine entropy with measures of structure (such as disequilibrium). We study the behaviour of our definition against the vec…
▽ More
The definition of complexity through Statistical Complexity Measures (SCM) has recently seen major improvements. Mostly, effort is concentrated in measures on time series. We propose a SCM definition for spatial dynamical systems. Our definition is in line with the trend to combine entropy with measures of structure (such as disequilibrium). We study the behaviour of our definition against the vectorial noise model of Collective Motion. From a global perspective, we show how our SCM is minimal at both the microscale and macroscale, while it reaches a maximum at the ranges that define the mesoscale in this model. From a local perspective, the SCM is minimum both in highly ordered and chaotic areas, while it reaches a maximum at the edges between such areas. These characteristics suggest this is a good candidate for detecting the mesoscale of arbitrary dynamical systems as well as regions where the complexity is maximal in such systems.
△ Less
Submitted 6 November, 2013;
originally announced November 2013.
-
The role of the ergosphere in the Blandford-Znajek process
Authors:
Milton Ruiz,
Carlos Palenzuela,
Filippo Galeazzi,
Carles Bona
Abstract:
The Blandford-Znajek process, one of the most promising model for powering the relativistic jets from black holes, was initially introduced as a mechanism in which the magnetic fields extract energy from a rotating black hole. We study the evolution of force-free electromagnetic fields on regular spacetimes with an ergosphere, which are generated by rapidly rotating stars. Our conclusive results c…
▽ More
The Blandford-Znajek process, one of the most promising model for powering the relativistic jets from black holes, was initially introduced as a mechanism in which the magnetic fields extract energy from a rotating black hole. We study the evolution of force-free electromagnetic fields on regular spacetimes with an ergosphere, which are generated by rapidly rotating stars. Our conclusive results confirm previous works, claiming that the Blandford-Znajek mechanism is not directly related to the horizon of the black hole. We also show that the radiated energy depends exponentially on the compactness of the star.
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
Conformal and covariant formulation of the Z4 system with constraint-violation damping
Authors:
Daniela Alic,
Carles Bona-Casas,
Carles Bona,
Luciano Rezzolla,
Carlos Palenzuela
Abstract:
We present a new formulation of the Einstein equations based on a conformal and traceless decomposition of the covariant form of the Z4 system. This formulation combines the advantages of a conformal decomposition, such as the one used in the BSSNOK formulation (i.e. well-tested hyperbolic gauges, no need for excision, robustness to imperfect boundary conditions) with the advantages of a constrain…
▽ More
We present a new formulation of the Einstein equations based on a conformal and traceless decomposition of the covariant form of the Z4 system. This formulation combines the advantages of a conformal decomposition, such as the one used in the BSSNOK formulation (i.e. well-tested hyperbolic gauges, no need for excision, robustness to imperfect boundary conditions) with the advantages of a constraint-damped formulation, such as the generalized harmonic one (i.e. exponential decay of constraint violations when these are produced). We validate the new set of equations through standard tests and by evolving binary black hole systems. Overall, the new conformal formulation leads to a better behavior of the constraint equations and a rapid suppression of the violations when they occur. The changes necessary to implement the new conformal formulation in standard BSSNOK codes are very small as are the additional computational costs.
△ Less
Submitted 25 March, 2012; v1 submitted 11 June, 2011;
originally announced June 2011.
-
Robustness of the Blandford-Znajek mechanism
Authors:
Carlos Palenzuela,
Carles Bona,
Luis Lehner,
Oscar Reula
Abstract:
The Blandford-Znajek mechanism has long been regarded as a key ingredient in models attempting to explain powerful jets in AGNs, quasars, blazzars etc. In such mechanism, energy is extracted from a rotating black hole and dissipated at a load at far distances. In the current work we examine the behaviour of the BZ mechanism with respect to different boundary conditions, revealing the mechanism rob…
▽ More
The Blandford-Znajek mechanism has long been regarded as a key ingredient in models attempting to explain powerful jets in AGNs, quasars, blazzars etc. In such mechanism, energy is extracted from a rotating black hole and dissipated at a load at far distances. In the current work we examine the behaviour of the BZ mechanism with respect to different boundary conditions, revealing the mechanism robustness upon variation of these conditions. Consequently, this work closes a gap in our understanding of this important scenario.
△ Less
Submitted 17 February, 2011;
originally announced February 2011.
-
Action principle for Numerical Relativity evolution systems
Authors:
C. Bona,
C. Bona-Casas,
C. Palenzuela
Abstract:
A Lagrangian density is provided, that allows to recover the Z4 evolution system from an action principle. The resulting system is then strongly hyperbolic when supplemented by gauge conditions like '1+log' or 'freezing shift', suitable for numerical evolution. The physical constraint $Z_μ= 0$ can be imposed just on the initial data. The corresponding canonical equations are also provided. This op…
▽ More
A Lagrangian density is provided, that allows to recover the Z4 evolution system from an action principle. The resulting system is then strongly hyperbolic when supplemented by gauge conditions like '1+log' or 'freezing shift', suitable for numerical evolution. The physical constraint $Z_μ= 0$ can be imposed just on the initial data. The corresponding canonical equations are also provided. This opens the door to analogous results for other numerical-relativity formalisms, like BSSN, that can be derived from Z4 by a symmetry-breaking procedure. The harmonic formulation can be easily recovered by a slight modification of the procedure. This provides a mechanism for deriving both the field evolution equations and the gauge conditions from the action principle, with a view on using symplectic integrators for a constraint-preserving numerical evolution. The gauge sources corresponding to the 'puncture gauge' conditions are identified in this context.
△ Less
Submitted 18 November, 2010; v1 submitted 4 August, 2010;
originally announced August 2010.
-
Constraint-preserving boundary conditions in the 3+1 first-order approach
Authors:
C. Bona,
C. Bona-Casas
Abstract:
A set of energy-momentum constraint-preserving boundary conditions is proposed for the first-order Z4 case. The stability of a simple numerical implementation is tested in the linear regime (robust stability test), both with the standard corner and vertex treatment and with a modified finite-differences stencil for boundary points which avoids corners and vertices even in cartesian-like grids. Mor…
▽ More
A set of energy-momentum constraint-preserving boundary conditions is proposed for the first-order Z4 case. The stability of a simple numerical implementation is tested in the linear regime (robust stability test), both with the standard corner and vertex treatment and with a modified finite-differences stencil for boundary points which avoids corners and vertices even in cartesian-like grids. Moreover, the proposed boundary conditions are tested in a strong field scenario, the Gowdy waves metric, showing the expected rate of convergence. The accumulated amount of energy-momentum constraint violations is similar or even smaller than the one generated by either periodic or reflection conditions, which are exact in the Gowdy waves case. As a side theoretical result, a new symmetrizer is explicitly given, which extends the parametric domain of symmetric hyperbolicity for the Z4 formalism. The application of these results to first-order BSSN-like formalisms is also considered.
△ Less
Submitted 6 August, 2010; v1 submitted 17 March, 2010;
originally announced March 2010.
-
Gowdy waves as a test-bed for constraint-preserving boundary conditions
Authors:
C. Bona,
C. Bona-Casas
Abstract:
Gowdy waves, one of the standard 'apples with apples' tests, is proposed as a test-bed for constraint-preserving boundary conditions in the non-linear regime. As an illustration, energy-constraint preservation is separately tested in the Z4 framework. Both algebraic conditions, derived from energy estimates, and derivative conditions, deduced from the constraint-propagation system, are considere…
▽ More
Gowdy waves, one of the standard 'apples with apples' tests, is proposed as a test-bed for constraint-preserving boundary conditions in the non-linear regime. As an illustration, energy-constraint preservation is separately tested in the Z4 framework. Both algebraic conditions, derived from energy estimates, and derivative conditions, deduced from the constraint-propagation system, are considered. The numerical errors at the boundary are of the same order than those at the interior points.
△ Less
Submitted 6 November, 2009;
originally announced November 2009.
-
Towards a gauge-polyvalent Numerical Relativity code
Authors:
Daniela Alic,
Carles Bona,
Carles Bona-Casas
Abstract:
The gauge polyvalence of a new numerical code is tested, both in harmonic-coordinate simulations (gauge-waves testbed) and in singularity-avoiding coordinates (simple Black-Hole simulations, either with or without shift). The code is built upon an adjusted first-order flux-conservative version of the Z4 formalism and a recently proposed family of robust finite-difference high-resolution algorith…
▽ More
The gauge polyvalence of a new numerical code is tested, both in harmonic-coordinate simulations (gauge-waves testbed) and in singularity-avoiding coordinates (simple Black-Hole simulations, either with or without shift). The code is built upon an adjusted first-order flux-conservative version of the Z4 formalism and a recently proposed family of robust finite-difference high-resolution algorithms. An outstanding result is the long-term evolution (up to 1000M) of a Black-Hole in normal coordinates (zero shift) without excision.
△ Less
Submitted 10 February, 2009; v1 submitted 11 November, 2008;
originally announced November 2008.
-
Linear high-resolution schemes for hyperbolic conservation laws: TVB numerical evidence
Authors:
C. Bona,
C. Bona-Casas,
J. Terradas
Abstract:
The Osher-Chakrabarthy family of linear flux-modification schemes is considered. Improved lower bounds on the compression factors are provided, which suggest the viability of using the unlimited version. The LLF flux formula is combined with these schemes in order to obtain efficient finite-difference algorithms. The resulting schemes are applied to a battery of numerical tests, going from advec…
▽ More
The Osher-Chakrabarthy family of linear flux-modification schemes is considered. Improved lower bounds on the compression factors are provided, which suggest the viability of using the unlimited version. The LLF flux formula is combined with these schemes in order to obtain efficient finite-difference algorithms. The resulting schemes are applied to a battery of numerical tests, going from advection and Burgers equations to Euler and MHD equations, including the double Mach reflection and the Orszag-Tang 2D vortex problem. Total-variation-bounded behavior is evident in all cases, even with time-independent upper bounds. The proposed schemes, however, do not deal properly with compound shocks, arising from non-convex fluxes, as shown by Buckley-Leverett test simulations.
△ Less
Submitted 12 December, 2008; v1 submitted 13 October, 2008;
originally announced October 2008.
-
A new dissipation term for finite-difference simulations in Relativity
Authors:
Daniela Alic,
Carles Bona,
Carles Bona-Casas
Abstract:
We present a new numerical dissipation algorithm, which can be efficiently used in combination with centered finite-difference methods. We start from a formulation of centered finite-volume methods for Numerical Relativity, in which third-order space accuracy can be obtained by employing just piecewise-linear reconstruction. We obtain a simplified version of the algorithm, which can be viewed as…
▽ More
We present a new numerical dissipation algorithm, which can be efficiently used in combination with centered finite-difference methods. We start from a formulation of centered finite-volume methods for Numerical Relativity, in which third-order space accuracy can be obtained by employing just piecewise-linear reconstruction. We obtain a simplified version of the algorithm, which can be viewed as a centered finite-difference method plus some 'adaptive dissipation'. The performance of this algorithm is confirmed by numerical results obtained from 3D black hole simulations.
△ Less
Submitted 29 November, 2007;
originally announced November 2007.
-
Gauge and constraint degrees of freedom: from analytical to numerical approximations in General Relativity
Authors:
C. Bona,
Dana Alic
Abstract:
The harmonic formulation of Einstein's field equations is considered, where the gauge conditions are introduced as dynamical constraints. The difference between the fully constrained approach (used in analytical approximations) and the free evolution one (used in most numerical approximations) is pointed out. As a generalization, quasi-stationary gauge conditions are also discussed, including nu…
▽ More
The harmonic formulation of Einstein's field equations is considered, where the gauge conditions are introduced as dynamical constraints. The difference between the fully constrained approach (used in analytical approximations) and the free evolution one (used in most numerical approximations) is pointed out. As a generalization, quasi-stationary gauge conditions are also discussed, including numerical experiments with the gauge-waves testbed. The complementary 3+1 approach is also considered, where constraints are related instead with energy and momentum first integrals and the gauge must be provided separately. The relationship between the two formalisms is discussed in a more general framework (Z4 formalism). Different strategies in black hole simulations follow when introducing singularity avoidance as a requirement. More flexible quasi-stationary gauge conditions are proposed in this context, which can be seen as generalizations of the current 'freezing shift' prescriptions.
△ Less
Submitted 24 October, 2007;
originally announced October 2007.
-
Efficient implementation of finite volume methods in Numerical Relativity
Authors:
Daniela Alic,
Carles Bona,
Carles Bona-Casas,
Joan Massó
Abstract:
Centered finite volume methods are considered in the context of Numerical Relativity. A specific formulation is presented, in which third-order space accuracy is reached by using a piecewise-linear reconstruction. This formulation can be interpreted as an 'adaptive viscosity' modification of centered finite difference algorithms. These points are fully confirmed by 1D black-hole simulations. In…
▽ More
Centered finite volume methods are considered in the context of Numerical Relativity. A specific formulation is presented, in which third-order space accuracy is reached by using a piecewise-linear reconstruction. This formulation can be interpreted as an 'adaptive viscosity' modification of centered finite difference algorithms. These points are fully confirmed by 1D black-hole simulations. In the 3D case, evidence is found that the use of a conformal decomposition is a key ingredient for the robustness of black hole numerical codes.
△ Less
Submitted 9 August, 2007; v1 submitted 8 June, 2007;
originally announced June 2007.
-
Geometrically motivated hyperbolic coordinate conditions for numerical relativity: Analysis, issues and implementations
Authors:
Carles Bona,
Luis Lehner,
Carlos Palenzuela-Luque
Abstract:
We study the implications of adopting hyperbolic driver coordinate conditions motivated by geometrical considerations. In particular, conditions that minimize the rate of change of the metric variables. We analyze the properties of the resulting system of equations and their effect when implementing excision techniques. We find that commonly used coordinate conditions lead to a characteristic st…
▽ More
We study the implications of adopting hyperbolic driver coordinate conditions motivated by geometrical considerations. In particular, conditions that minimize the rate of change of the metric variables. We analyze the properties of the resulting system of equations and their effect when implementing excision techniques. We find that commonly used coordinate conditions lead to a characteristic structure at the excision surface where some modes are not of outflow-type with respect to any excision boundary chosen inside the horizon. Thus, boundary conditions are required for these modes. Unfortunately, the specification of these conditions is a delicate issue as the outflow modes involve both gauge and main variables. As an alternative to these driver equations, we examine conditions derived from extremizing a scalar constructed from Killing's equation and present specific numerical examples.
△ Less
Submitted 22 September, 2005;
originally announced September 2005.
-
Almost-stationary motions and gauge conditions in General Relativity
Authors:
C. Bona,
J. Carot,
C. Palenzuela-Luque
Abstract:
An almost-stationary gauge condition is proposed with a view to Numerical Relativity applications. The time lines are defined as the integral curves of the timelike solutions of the harmonic almost-Killing equation. This vector equation is derived by a variational principle, by minimizing the deviations from isometry. The corresponding almost-stationary gauge condition allows one to put the fiel…
▽ More
An almost-stationary gauge condition is proposed with a view to Numerical Relativity applications. The time lines are defined as the integral curves of the timelike solutions of the harmonic almost-Killing equation. This vector equation is derived by a variational principle, by minimizing the deviations from isometry. The corresponding almost-stationary gauge condition allows one to put the field equations in hyperbolic form, both in the free-evolution ADM and in the Z4 formalisms.
△ Less
Submitted 14 December, 2005; v1 submitted 5 September, 2005;
originally announced September 2005.
-
Constraint-preserving boundary conditions in the Z4 Numerical Relativity formalism
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela-Luque,
M. Zacek
Abstract:
The constraint-preserving approach, which aim is to provide consistent boundary conditions for Numerical Relativity simulations, is discussed in parallel with other recent developments. The case of the Z4 system is considered, and constraint-preserving boundary conditions of the Sommerfeld type are provided. A necessary condition for the stability of the proposed boundary conditions is obtained,…
▽ More
The constraint-preserving approach, which aim is to provide consistent boundary conditions for Numerical Relativity simulations, is discussed in parallel with other recent developments. The case of the Z4 system is considered, and constraint-preserving boundary conditions of the Sommerfeld type are provided. A necessary condition for the stability of the proposed boundary conditions is obtained, which amounts to the requirement of a symmetric ordering of space derivatives. This requirement is numerically seen to be also sufficient in the absence of corners and edges. Maximally dissipative boundary conditions are also implemented. In this case, a less restrictive stability condition is obtained, which is shown numerically to be also sufficient even in the presence of corners and edges.
△ Less
Submitted 14 June, 2005; v1 submitted 23 November, 2004;
originally announced November 2004.
-
Gauge pathologies in singularity-avoidant spacetime foliations
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela-Luque,
J. A. Pons,
M. Zajeck
Abstract:
The family of generalized-harmonic gauge conditions, which is currently used in Numerical Relativity for its singularity-avoidant behavior, is analyzed by looking for pathologies of the corresponding spacetime foliation. The appearance of genuine shocks, arising from the crossing of characteristic lines, is completely discarded. Runaway solutions, meaning that the lapse function can grow without…
▽ More
The family of generalized-harmonic gauge conditions, which is currently used in Numerical Relativity for its singularity-avoidant behavior, is analyzed by looking for pathologies of the corresponding spacetime foliation. The appearance of genuine shocks, arising from the crossing of characteristic lines, is completely discarded. Runaway solutions, meaning that the lapse function can grow without bound at an accelerated rate, are instead predicted. Black Hole simulations are presented, showing spurious oscillations due to the well known slice stretching phenomenon. These oscillations are made to disappear by switching the numerical algorithm to a high-resolution shock-capturing one, of the kind currently used in Computational Fluid Dynamics. Even with these shock-capturing algorithms, runaway solutions are seen to appear and the resulting lapse blow-up is causing the simulations to crash. As a side result, a new method is proposed for obtaining regular initial data for Black Hole spacetimes, even inside the horizons.
△ Less
Submitted 18 October, 2004;
originally announced October 2004.
-
Dynamical shift conditions for the Z4 and BSSN hyperbolic formalisms
Authors:
C. Bona,
C. Palenzuela
Abstract:
A class of dynamical shift conditions is shown to lead to a strongly hyperbolic evolution system, both in the Z4 and in the BSSN Numerical Relativity formalisms. This class generalizes the harmonic shift condition, where light speed is the only non-trivial characteristic speed, and it is contained into the multi-parameter family of minimal distortion shift conditions recently proposed by Lindblo…
▽ More
A class of dynamical shift conditions is shown to lead to a strongly hyperbolic evolution system, both in the Z4 and in the BSSN Numerical Relativity formalisms. This class generalizes the harmonic shift condition, where light speed is the only non-trivial characteristic speed, and it is contained into the multi-parameter family of minimal distortion shift conditions recently proposed by Lindblom and Scheel. The relationship with the analogous 'dynamical freezing' shift conditions used in black hole simulations discussed.
△ Less
Submitted 22 March, 2004; v1 submitted 7 January, 2004;
originally announced January 2004.
-
A symmetry-breaking mechanism for the Z4 general-covariant evolution system
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela,
M. Zacek
Abstract:
The general-covariant Z4 formalism is further analyzed. The gauge conditions are generalized with a view to Numerical Relativity applications and the conditions for obtaining strongly hyperbolic evolution systems are given both at the first and the second order levels. A symmetry-breaking mechanism is proposed that allows one, when applied in a partial way, to recover previously proposed strongl…
▽ More
The general-covariant Z4 formalism is further analyzed. The gauge conditions are generalized with a view to Numerical Relativity applications and the conditions for obtaining strongly hyperbolic evolution systems are given both at the first and the second order levels. A symmetry-breaking mechanism is proposed that allows one, when applied in a partial way, to recover previously proposed strongly hyperbolic formalisms, like the BSSN and the Bona-Massó ones. When applied in its full form, the symmetry breaking mechanism allows one to recover the full five-parameter family of first order KST systems. Numerical codes based in the proposed formalisms are tested. A robust stability test is provided by evolving random noise data around Minkowski space-time. A strong field test is provided by the collapse of a periodic background of plane gravitational waves, as described by the Gowdy metric.
△ Less
Submitted 22 March, 2004; v1 submitted 15 July, 2003;
originally announced July 2003.
-
Toward standard testbeds for numerical relativity
Authors:
Miguel Alcubierre,
Gabrielle Allen,
Carles Bona,
David Fiske,
Tom Goodale,
F. Siddharta Guzman,
Ian Hawke,
Scott H. Hawley,
Sascha Husa,
Michael Koppitz,
Christiane Lechner,
Denis Pollney,
David Rideout,
Marcelo Salgado,
Erik Schnetter,
Edward Seidel,
Hisa-aki Shinkai,
Bela Szilagyi,
Deirdre Shoemaker,
Ryoji Takahashi,
Jeffrey Winicour
Abstract:
In recent years, many different numerical evolution schemes for Einstein's equations have been proposed to address stability and accuracy problems that have plagued the numerical relativity community for decades. Some of these approaches have been tested on different spacetimes, and conclusions have been drawn based on these tests. However, differences in results originate from many sources, inc…
▽ More
In recent years, many different numerical evolution schemes for Einstein's equations have been proposed to address stability and accuracy problems that have plagued the numerical relativity community for decades. Some of these approaches have been tested on different spacetimes, and conclusions have been drawn based on these tests. However, differences in results originate from many sources, including not only formulations of the equations, but also gauges, boundary conditions, numerical methods, and so on. We propose to build up a suite of standardized testbeds for comparing approaches to the numerical evolution of Einstein's equations that are designed to both probe their strengths and weaknesses and to separate out different effects, and their causes, seen in the results. We discuss general design principles of suitable testbeds, and we present an initial round of simple tests with periodic boundary conditions. This is a pivotal first step toward building a suite of testbeds to serve the numerical relativists and researchers from related fields who wish to assess the capabilities of numerical relativity codes. We present some examples of how these tests can be quite effective in revealing various limitations of different approaches, and illustrating their differences. The tests are presently limited to vacuum spacetimes, can be run on modest computational resources, and can be used with many different approaches used in the relativity community.
△ Less
Submitted 6 May, 2003;
originally announced May 2003.
-
General-covariant evolution formalism for Numerical Relativity
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela,
M. Zacek
Abstract:
A general covariant extension of Einstein\'{}s field equations is considered with a view to Numerical Relativity applications. The basic variables are taken to be the metric tensor and an additional four-vector $Z_μ$. Einstein's solutions are recovered when the additional four-vector vanishes, so that the energy and momentum constraints amount to the covariant algebraic condition $Z_μ=0$. The ex…
▽ More
A general covariant extension of Einstein\'{}s field equations is considered with a view to Numerical Relativity applications. The basic variables are taken to be the metric tensor and an additional four-vector $Z_μ$. Einstein's solutions are recovered when the additional four-vector vanishes, so that the energy and momentum constraints amount to the covariant algebraic condition $Z_μ=0$. The extended field equations can be supplemented by suitable coordinate conditions in order to provide symmetric hyperbolic evolution systems: this is actually the case for either harmonic coordinates or normal coordinates with harmonic slicing.
△ Less
Submitted 20 February, 2003;
originally announced February 2003.
-
General-covariant constraint-free evolution system for Numerical Relativity
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela,
M. Zacek
Abstract:
A general covariant extension of Einstein's field equations is considered with a view to Numerical Relativity applications. The basic variables are taken to be the metric tensor and an additional four-vector. The extended field equations, when supplemented by suitable coordinate conditions, determine the time evolution of all these variables without any constraint. Einstein's solutions are recov…
▽ More
A general covariant extension of Einstein's field equations is considered with a view to Numerical Relativity applications. The basic variables are taken to be the metric tensor and an additional four-vector. The extended field equations, when supplemented by suitable coordinate conditions, determine the time evolution of all these variables without any constraint. Einstein's solutions are recovered when the additional four-vector vanishes, so that the energy and momentum constraints hold true. The extended system is well posed when using the natural extension of either harmonic coordinates or the harmonic slicing condition in normal coordinates
△ Less
Submitted 23 September, 2002;
originally announced September 2002.
-
A 3+1 covariant suite of Numerical Relativity Evolution Systems
Authors:
C. Bona,
T. Ledvinka,
C. Palenzuela
Abstract:
A suite of three evolution systems is presented in the framework of the 3+1 formalism. The first one is of second order in space derivatives and has the same causal structure of the Baumgarte-Shapiro-Shibata-Nakamura (BSSN) system for a suitable choice of parameters. The second one is the standard first order version of the first one and has the same causal structure of the Bona-Masso system for…
▽ More
A suite of three evolution systems is presented in the framework of the 3+1 formalism. The first one is of second order in space derivatives and has the same causal structure of the Baumgarte-Shapiro-Shibata-Nakamura (BSSN) system for a suitable choice of parameters. The second one is the standard first order version of the first one and has the same causal structure of the Bona-Masso system for a given parameter choice. The third one is obtained from the second one by reducing the space of variables in such a way that the only modes that propagate with zero characteristic speed are the trivial ones. This last system has the same structure of the ones recently presented by Kidder, Scheel and Teukolski: the correspondence between both sets of parameters is explicitly given. The fact that the suite started with a system in which all the dynamical variables behave as tensors (contrary to what happens with BSSN system) allows one to keep the same parametrization when passing from one system to the next in the suite. The direct relationship between each parameter and a particular characteristic speed, which is quite evident in the second and the third systems, is a direct consequence of the manifest 3+1 covariance of the approach.
△ Less
Submitted 28 August, 2002;
originally announced August 2002.
-
The Gravitational Radiaton degrees of freedom in Hyperbolic Systems for Numerical Relativity
Authors:
C. Bona,
C. Palenzuela
Abstract:
The gravitational radiation degrees of freedom of freedom are described in the framework of the 3+1 decomposition of spacetime. The relationship with eigenfields of the Kidder-Scheel-Teukolsky (KST) equations is established. This relationship is used to fix a parameter in the KST equations which is related to the ordering ambiguity of space derivatives in the Ricci tensor, which is inherent to f…
▽ More
The gravitational radiation degrees of freedom of freedom are described in the framework of the 3+1 decomposition of spacetime. The relationship with eigenfields of the Kidder-Scheel-Teukolsky (KST) equations is established. This relationship is used to fix a parameter in the KST equations which is related to the ordering ambiguity of space derivatives in the Ricci tensor, which is inherent to first order evolution systems, like the ones currently used in Numerical Relativity applications.
△ Less
Submitted 6 August, 2002;
originally announced August 2002.
-
Flux Limiter Methods in 3D Numerical Relativity
Authors:
C. Bona,
C. Palenzuela
Abstract:
New numerical methods have been applied in relativity to obtain a numerical evolution of Einstein equations much more robust and stable. Starting from 3+1 formalism and with the evolution equations written as a FOFCH (first-order flux conservative hyperbolic) system, advanced numerical methods from CFD (Computational Fluid Dynamics) have been successfully applied. A flux limiter mechanism has be…
▽ More
New numerical methods have been applied in relativity to obtain a numerical evolution of Einstein equations much more robust and stable. Starting from 3+1 formalism and with the evolution equations written as a FOFCH (first-order flux conservative hyperbolic) system, advanced numerical methods from CFD (Computational Fluid Dynamics) have been successfully applied. A flux limiter mechanism has been implemented in order to deal with steep gradients like the ones usually associated with black hole spacetimes. As a test bed, the method has been applied to 3D metrics describing propagation of nonlinear gauge waves. Results are compared with the ones obtained with standard methods, showing a great increase in both robustness and stability of the numerical algorithm.
△ Less
Submitted 28 February, 2002;
originally announced February 2002.
-
Explicit Gravitational Radiation in Hyperbolic Systems for Numerical Relativity
Authors:
C. Bona,
C. Palenzuela
Abstract:
A method for studying the causal structure of space-time evolution systems is presented. This method, based on a generalization of the well known Riemann problem, provides intrinsic results which can be interpreted from the geometrical point of view. A one-parameter family of hyperbolic evolution systems is presented and the physical relevance of their characteristic speeds and eigenfields is di…
▽ More
A method for studying the causal structure of space-time evolution systems is presented. This method, based on a generalization of the well known Riemann problem, provides intrinsic results which can be interpreted from the geometrical point of view. A one-parameter family of hyperbolic evolution systems is presented and the physical relevance of their characteristic speeds and eigenfields is discussed. The two degrees of freedom corresponding to gravitational radiation are identified in an intrinsic way, independent of the space coordinate system. A covariant interpretation of these degrees of freedom is provided in terms of the geometry of the wave fronts. The requirement of a consistent geometrical interpretation of the gravitational radiation degrees of freedom is used to solve the ordering ambiguity that arises when obtaining first order evolution systems from the second order field equations. This achievement provides a benchmark which can be used to check both the existing and future first order hyperbolic formalisms for Numerical Relativity.
△ Less
Submitted 28 February, 2002; v1 submitted 14 February, 2002;
originally announced February 2002.
-
Robust evolution system for Numerical Relativity
Authors:
A. Arbona,
C. Bona,
J. Masso,
J. Stela
Abstract:
The paper combines theoretical and applied ideas which have been previously considered separately into a single set of evolution equations for Numerical Relativity. New numerical ingredients are presented which avoid gauge pathologies and allow one to perform robust 3D calculations. The potential of the resulting numerical code is demonstrated by using the Schwarzschild black hole as a test-bed.…
▽ More
The paper combines theoretical and applied ideas which have been previously considered separately into a single set of evolution equations for Numerical Relativity. New numerical ingredients are presented which avoid gauge pathologies and allow one to perform robust 3D calculations. The potential of the resulting numerical code is demonstrated by using the Schwarzschild black hole as a test-bed. Its evolution can be followed up to times greater than one hundred black hole masses.
△ Less
Submitted 3 March, 1999; v1 submitted 18 February, 1999;
originally announced February 1999.
-
Dealing with the center and boundary problems in 1D Numerical Relativity
Authors:
A. Arbona,
C. Bona
Abstract:
Instabilities in finite difference codes due to the singularity of spherical coordinates at the center are studied. In typical Numerical Relativity applications, standard regularization techniques by themselves do not ensure long term stability. A proposal to remedy that problem is presented, which takes advantage of redundant quantities introduced in recent hyperbolic formulations of Einstein's…
▽ More
Instabilities in finite difference codes due to the singularity of spherical coordinates at the center are studied. In typical Numerical Relativity applications, standard regularization techniques by themselves do not ensure long term stability. A proposal to remedy that problem is presented, which takes advantage of redundant quantities introduced in recent hyperbolic formulations of Einstein's evolution equations. The results are discussed through the example case of a boson star, where a significant improvement in the implementation of boundary conditions is also presented.
△ Less
Submitted 21 May, 1998;
originally announced May 1998.
-
Three Dimensional Numerical Relativity with a Hyperbolic Formulation
Authors:
Carles Bona,
Joan Masso,
Edward Seidel,
Paul Walker
Abstract:
We discuss a successful three-dimensional cartesian implementation of the Bona-Massó hyperbolic formulation of the 3+1 Einstein evolution equations in numerical relativity. The numerical code, which we call ``Cactus,'' provides a general framework for 3D numerical relativity, and can include various formulations of the evolution equations, initial data sets, and analysis modules. We show importa…
▽ More
We discuss a successful three-dimensional cartesian implementation of the Bona-Massó hyperbolic formulation of the 3+1 Einstein evolution equations in numerical relativity. The numerical code, which we call ``Cactus,'' provides a general framework for 3D numerical relativity, and can include various formulations of the evolution equations, initial data sets, and analysis modules. We show important code tests, including dynamically sliced flat space, wave spacetimes, and black hole spacetimes. We discuss the numerical convergence of each spacetime, and also compare results with previously tested codes based on other formalisms, including the traditional ADM formalism. This is the first time that a hyperbolic reformulation of Einstein's equations has been shown appropriate for three-dimensional numerical relativity in a wide variety of spacetimes.
△ Less
Submitted 29 April, 1998; v1 submitted 22 April, 1998;
originally announced April 1998.
-
Stuffed Black Holes
Authors:
A. Arbona,
C. Bona,
J. Carot,
L. Mas,
J. Masso,
J. Stela
Abstract:
Initial data corresponding to spacetimes containing black holes are considered in the time symmetric case. The solutions are obtained by matching across the apparent horizon different, conformally flat, spatial metrics. The exterior metric is the vacuum solution obtained by the well known conformal imaging method. The interior metric for every black hole is regular everywhere and corresponds to…
▽ More
Initial data corresponding to spacetimes containing black holes are considered in the time symmetric case. The solutions are obtained by matching across the apparent horizon different, conformally flat, spatial metrics. The exterior metric is the vacuum solution obtained by the well known conformal imaging method. The interior metric for every black hole is regular everywhere and corresponds to a positive energy density. The resulting matched solutions cover then the whole initial (Cauchy) hypersurface, without any singularity, and can be useful for numerical applications. The simpler cases of one black hole (Schwarzschild data) or two identical black holes (Misner data) are explicitly solved. A procedure for extending this construction to the multiple black hole case is also given, and it is shown to work for all time symmetric vacuum solutions obtained by the conformal imaging method. The numerical evolution of one such 'stuffed' black hole is compared with that of a pure vacuum or 'plain' black hole in the spherically symmetric case.
△ Less
Submitted 26 February, 1998; v1 submitted 24 October, 1997;
originally announced October 1997.
-
First order hyperbolic formalism for Numerical Relativity
Authors:
Carles Bona,
Joan Masso,
Ed Seidel,
Joan Stela
Abstract:
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution equations, that can lead to numerical inaccuracies, can be eliminated by using the Hamiltonian constraint. Furthermore, we show that the entire system is hyperb…
▽ More
The causal structure of Einstein's evolution equations is considered. We show that in general they can be written as a first order system of balance laws for any choice of slicing or shift. We also show how certain terms in the evolution equations, that can lead to numerical inaccuracies, can be eliminated by using the Hamiltonian constraint. Furthermore, we show that the entire system is hyperbolic when the time coordinate is chosen in an invariant algebraic way, and for any fixed choice of the shift. This is achieved by using the momentum constraints in such as way that no additional space or time derivatives of the equations need to be computed. The slicings that allow hyperbolicity in this formulation belong to a large class, including harmonic, maximal, and many others that have been commonly used in numerical relativity. We provide details of some of the advanced numerical methods that this formulation of the equations allows, and we also discuss certain advantages that a hyperbolic formulation provides when treating boundary conditions.
△ Less
Submitted 7 September, 1997;
originally announced September 1997.
-
New Formalism for Numerical Relativity
Authors:
Carles Bona,
Joan Masso,
Edward Seidel,
Joan Stela
Abstract:
We present a new formulation of the Einstein equations that casts them in an explicitly first order, flux-conservative, hyperbolic form. We show that this now can be done for a wide class of time slicing conditions, including maximal slicing, making it potentially very useful for numerical relativity. This development permits the application to the Einstein equations of advanced numerical method…
▽ More
We present a new formulation of the Einstein equations that casts them in an explicitly first order, flux-conservative, hyperbolic form. We show that this now can be done for a wide class of time slicing conditions, including maximal slicing, making it potentially very useful for numerical relativity. This development permits the application to the Einstein equations of advanced numerical methods developed to solve the fluid dynamic equations, {\em without} overly restricting the time slicing, for the first time. The full set of characteristic fields and speeds is explicitly given.
△ Less
Submitted 1 August, 1995; v1 submitted 22 December, 1994;
originally announced December 1994.
-
Numerical Black Holes: A Moving Grid Approach
Authors:
Carles Bona,
Joan Masso,
Joan Stela
Abstract:
Spherically symmetric (1D) black-hole spacetimes are considered as a test for numerical relativity. A finite difference code, based in the hyperbolic structure of Einstein's equations with the harmonic slicing condition is presented. Significant errors in the mass function are shown to arise from the steep gradient zone behind the black hole horizon, which challenge the Computational Fluid Dynam…
▽ More
Spherically symmetric (1D) black-hole spacetimes are considered as a test for numerical relativity. A finite difference code, based in the hyperbolic structure of Einstein's equations with the harmonic slicing condition is presented. Significant errors in the mass function are shown to arise from the steep gradient zone behind the black hole horizon, which challenge the Computational Fluid Dynamics numerical methods used in the code. The formalism is extended to moving numerical grids, which are adapted to follow horizon motion. The black hole exterior region can then be modeled with higher accuracy.
△ Less
Submitted 22 December, 1994;
originally announced December 1994.
-
Invariant Algebraic Slicing of the Spacetime
Authors:
Carles Bona,
Joan Stela,
Joan Masso,
Edward Seidel
Abstract:
Using the momentum constraint, the standard evolution system is written in a fully first order form. The class of first order invariant algebraic slicing conditions is considered. The full set of characteristic fields is explicitly given. Characteristic speeds associated to the gauge dependent eigenfields (gauge speeds) are related to light speed.
Using the momentum constraint, the standard evolution system is written in a fully first order form. The class of first order invariant algebraic slicing conditions is considered. The full set of characteristic fields is explicitly given. Characteristic speeds associated to the gauge dependent eigenfields (gauge speeds) are related to light speed.
△ Less
Submitted 20 December, 1994;
originally announced December 1994.
