Outline Introduction The Abigel Code Jennifer Seiler jennifer.seiler@aei.mpg.de Max-Planck-Institut für Gravitationsphysik (Albert-Einstein-Institut) Oberjoch, Germany 10th June 2006
Outline Introduction The Abigel Code 1 Introduction Overview of the Harmonic Coordinates 2 The Abigel Code Excision Initial Data Evolution Gauges
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Harmonic Coordinates Harmonic coordinates, x µ satisfy the condition Γ λ g µν Γ λ µν = 0 1 ( gg λκ ) g x κ = 0 such that each x µ satisfies the wave equation x µ = 0 With the d Alembertian, φ 1 ( gg λκ φ ) g x λ x κ One of the advantages of harmonic coordinates is that it gives a simplified form of the covariant wave equation in a curved spaces time that contains only second derivatives: 2 φ g λκ 2 φ φ x λ Γλ x κ x λ = 0 ( because Γ λ 0 )
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Generalized Harmonic Coordinates An extension of harmonic coordinates, referred to as generalized harmonic slicing is defined by x b = F b. With F b as a source function chosen to provide more flexibility and possibly avoid problems encountered with F b = 0. Since Γ λ x α = 1 g x κ ( gg λκ ) and the Ricci Tensor, R µν = 1 2 g αβ α β g µν + g α(µ ν) Γ α + F µν (g, g ) generalized harmonic coordinates coupled to Einstein equation gives: G µν = (R µν 1 2 g µνr) = 8πT µν = ( 1 2 g αβ α β g µν + g α(µ ν) Γ α + F µν (g, g ) = 8π T µν 1 ) 2 g αβt = 0 (1) The gauge freedom is given by the ability to pick four arbitrary functions Γ µ (g αβ, x ρ ), set by the condition Γ µ = Γ µ. This will provide solutions of Einstein Equations provided that the four constraints: C µ Γ µ Γ µ = 1 ( gg λκ ) g x κ Γ µ = 0 and their time derivatives are initially satisfied (because C µ = R ν µ C µ ) Any matter evolution will not affect the characteristic structure of (1).
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Features of Harmonic Coordinates Express Einsteins equations in terms of harmonic coordinates with the addition of a source term for slicing/gauge choice freedoms. The constraint equations are the generalized harmonic coordinate conditions. System of equations is manifestly hyperbolic (given reasonable metric conditions (one timelike coordinate, rest spacelike)). Simplifies the evolution equiations: When the gradient of this condition is substituted for terms in Einstein equations, the PP of each metric element reduces to a simple wave equation: g γδ g αβ,γδ +... = 0
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Features of Harmonic Coordinates Express Einsteins equations in terms of harmonic coordinates with the addition of a source term for slicing/gauge choice freedoms. The constraint equations are the generalized harmonic coordinate conditions. System of equations is manifestly hyperbolic (given reasonable metric conditions (one timelike coordinate, rest spacelike)). Simplifies the evolution equiations: When the gradient of this condition is substituted for terms in Einstein equations, the PP of each metric element reduces to a simple wave equation: g γδ g αβ,γδ +... = 0
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Features of Harmonic Coordinates Express Einsteins equations in terms of harmonic coordinates with the addition of a source term for slicing/gauge choice freedoms. The constraint equations are the generalized harmonic coordinate conditions. System of equations is manifestly hyperbolic (given reasonable metric conditions (one timelike coordinate, rest spacelike)). Simplifies the evolution equiations: When the gradient of this condition is substituted for terms in Einstein equations, the PP of each metric element reduces to a simple wave equation: g γδ g αβ,γδ +... = 0
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Features of Harmonic Coordinates Express Einsteins equations in terms of harmonic coordinates with the addition of a source term for slicing/gauge choice freedoms. The constraint equations are the generalized harmonic coordinate conditions. System of equations is manifestly hyperbolic (given reasonable metric conditions (one timelike coordinate, rest spacelike)). Simplifies the evolution equiations: When the gradient of this condition is substituted for terms in Einstein equations, the PP of each metric element reduces to a simple wave equation: g γδ g αβ,γδ +... = 0
Outline Introduction The Abigel Code Overview of the Harmonic Coordinates Thinking About Harmonic Coordinates There is no intuitive geometric way to think about harmonic coordinates, but we can choose a system such the we can adapt it to look like systems for which we already have some kind of understanding: Once the Einstein equations are recast in this way there still remains the freedom to set the rate of change of the time coordinate (lapse), and the rate of change of x i at different along the normal to the level surfaces (shift): Let s think about the ADM formulation as an example view of these coordinate freedoms: n µ is the future pointing unit normal to the slice, with n µ α µ t acting as the lapse They are related to the shift vector by β µ t µ αn µ where β µ n µ 0. The resulting spacetime metric is ds 2 = αdt 2 + γ ij dx i + β i dt dx i + β j dt The normal component and spatial projection of the source functions b Γ µ are: b Γµ n b Γ µn µ = K ν(lnα)n ν b Γ i b Γγ µi = Γ i jk γjk + j (lnα)γ ij + 1 α gammaβi n γ The time derivative of α only appears in b Γ µ n and the time derivative of β i only appears in b Γ i. So evolution of b Γ µ n affects the rate of change with respect to time, and b Γ i affects the manner in which the spatial coordinates evolve with time.
Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges HarmExcision ( n i )3 D +i ḟ = 0 to all gaurd points, in layers stratified by length of the outward normal pointing vector, from out to in. LegoExcision with excision coefficients x µ extrapolated around a smooth r virtual surface for the inner boundary. Radiation outer boundary conditions (i.e. outgoing only).
Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges HarmIData The metric and its time-derivative on the initial Cauchy hypersurface. The vanishing constraints and time derivatives of the constraints on the same hypersurface. The boundary data for the field variables and the constraints: z γ zz = 0, γ za = 0, z γ ab = 0 where x a = (x, y, t) is well-posed and constraint preserving.
HarmEvol Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges We create the evolution variables γ µν gg µν and Q µν n ρ ρ γ αβ, where n ρ is future oriented and timelike. this preserves the wave equation form of the field equations. This simplifies the constraint equations to C µ 1 g alpha γ αµ Γ µ The Abigel code implements the equations: γ αβ α β γ µν = S µν (γ, γ, Γ, Γ) rewritten in the flux conservative form: α (g αβ β γ µν ) = S µν, and reduced to the first order in time system: t γ µν = γti g γ tt iγ µν + γ tt Q µν (2a) t Q µν ( = i g ij j γ µν + g it t γ µν) µν + S (2b) = i ( h ij j γ µν) i ( g it Qµν g tt ) + S µν (2c)
HarmEvol Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges We create the evolution variables γ µν gg µν and Q µν n ρ ρ γ αβ, where n ρ is future oriented and timelike. this preserves the wave equation form of the field equations. This simplifies the constraint equations to C µ 1 g alpha γ αµ Γ µ The Abigel code implements the equations: γ αβ α β γ µν = S µν (γ, γ, Γ, Γ) rewritten in the flux conservative form: α (g αβ β γ µν ) = S µν, and reduced to the first order in time system: t γ µν = γti g γ tt iγ µν + γ tt Q µν (2a) t Q µν ( = i g ij j γ µν + g it t γ µν) µν + S (2b) = i ( h ij j γ µν) i ( g it Qµν g tt ) + S µν (2c)
HarmEvol Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges Exponential resonance mode is removes by writing evolution equations in flux conservative form and using the auxilary variable Q µν g tα α γ µν We find a constaint satisfying high frequency resonance mode when we write the ADM-style guage as: By adding Q µν g tα αγ µν and the dnesitized metric: Finite differencing is 2nd or 4th order. Time integration with MoL with T µν = t γ µν. The code is evolved as a first differential order in time, second order in space system.
Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges Gauge Conditions For example, let us set the source function Γ to some system which evolves towards a harmonic system ( Γ = 0): For these coordinates, the lapse and shift can be represented t α = α 2 H n +... and t β i = α 2 H i +... H t (H i ) can be chosen to drive α(β i ) to the desired values. for example: H t = ξ α 1 will pull α(β i ) to one. α n t H t = ξ t ( α 1 α n ) (3a) (3b) µ µ H t = ξ α 1 α n ζ t H t (3c)
Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges Gauge Conditions For example, let us set the source function Γ to some system which evolves towards a harmonic system ( Γ = 0): For these coordinates, the lapse and shift can be represented t α = α 2 H n +... and t β i = α 2 H i +... H t (H i ) can be chosen to drive α(β i ) to the desired values. for example: H t = ξ α 1 will pull α(β i ) to one. α n t H t = ξ t ( α 1 α n ) (3a) (3b) µ µ H t = ξ α 1 α n ζ t H t (3c)
Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges Constraint Damping The constriant equations are the generalized harmonic coordinate conditions: C µ Γ µ Γ µ = 1 ( gg λκ ) g x κ Γ µ = 0 Dissipation: ḟ ḟ + ɛ(δij D +i D i )w(δ ij D +i D i )f where w is a weight factor that vanishes at the outer boundary.
Future Outline Introduction The Abigel Code Excision Initial Data Evolution Gauges Multipatch SBP Boundaries Better initial conditions...binary Black Hole Inspiral
End.
References L. Blanchet, Gravitational Radiation from Post-Newtonian Sources and Inspiralling Compact Binaries, Living Rev. Rel. 5 (2002), 3. M. Babiuc, B. Szilagyi, and J. Winicour, Some mathematical problems in numerical relativity, 21 April 2004, gr-qc/0404092. G. B. Cook, Initial Data for Numerical Relativity, Living Rev. Rel. 3 (2000), 5. 15